ite?
True
Let g(h) = 8*h**2 - 12*h + 13. Is g(7) prime?
False
Let s(w) = -38*w**3 - 2*w**2 + 1. Is s(-1) prime?
True
Suppose 3*h = 2 + 4. Suppose -h*l = 2*l - 44. Is l a composite number?
False
Suppose 3*s = s + 8. Suppose -s*k = -f + 103, 89 + 155 = 3*f + k. Is f composite?
False
Suppose 2*y = -y - 3*l + 1827, 2*y + 5*l = 1209. Suppose -5*g + y = -623. Is g a prime number?
False
Suppose 15*d - 9256 = 7*d. Is d a prime number?
False
Is (-2)/(8/2)*-610 composite?
True
Suppose 0*k = k - 45. Suppose k = 3*c - 3*s, 1 = 4*s - 3. Suppose -3 = -j + c. Is j a prime number?
True
Let j(k) = -3*k**2 + 4*k. Let l be j(4). Suppose 0 = -20*s + 16*s + 220. Let g = l + s. Is g a composite number?
False
Let s be 1 - ((-4)/2 - -4). Is (0 + s)/(1/(-149)) composite?
False
Suppose c + 5*w = -7, 1 + 5 = -3*w. Let z = 6 - c. Suppose 0 = -3*j + z*k + 183, 2*j - k - 2*k = 126. Is j composite?
True
Suppose 909 = 2*z + 247. Is z a composite number?
False
Let p(j) = j**3 - 3*j**2 + 3*j. Let g be p(2). Suppose 5*n + b = 627, -3*b = -g*n + 139 + 122. Is 3 + (n - (1 - -1)) composite?
False
Is 1/(2 - (-1095)/(-549)) prime?
False
Let o(y) = -y - 4. Let m be o(-8). Suppose m*k = g + 7*k - 658, 2*g + k = 1341. Is g a prime number?
True
Let h be 0 - 3/(9/(-6)). Suppose n + 12 = h*i - 6*i, -4*i + 5*n = 36. Is (118/4)/((-2)/i) composite?
False
Let c = -48 - -206. Is c a composite number?
True
Is -2 + 4 - 429/(-1) a composite number?
False
Let a(y) = -8*y**3 - 2*y**2 + y + 9. Is a(-4) a composite number?
True
Suppose -3*h + 12 = -0*h. Suppose 2*m = h*m - 12. Is m a prime number?
False
Let p be -6 - (0 + 0 - 1). Let d be 14/4 + p/(-10). Is 140/d + (5 - 3) prime?
True
Suppose 2873 + 1009 = 6*y. Is y prime?
True
Let o(w) = -w + 2. Let m be o(0). Let r be (-8)/6*(-25 - m). Suppose h + 4*h - 104 = -3*z, -z + r = h. Is z a prime number?
False
Is 42911/77 - (-4)/(-14) composite?
False
Let s(i) = -i**2 + i**2 + 1 + 3*i**2. Let k be 1/(1*(1 + -2)). Is s(k) a prime number?
False
Suppose -262 = -5*n - 3*i, 2*n - 105 = -0*n - i. Is n a composite number?
False
Let c(i) = 7*i**2 + 7*i - 1. Is c(-4) a prime number?
True
Suppose -z = -10 + 1. Let p = z + -3. Suppose -p = -x + 29. Is x prime?
False
Let s = 0 + 2. Suppose -5*v = 2*c - 16, 5 + 9 = 4*v + s*c. Suppose -v = -w, 3*w - 38 = -3*x - w. Is x a prime number?
False
Suppose 5*s = 25 - 0. Let c = 37 + -25. Let d = c - s. Is d a composite number?
False
Suppose 5 = -2*t + 1. Let j be 1/(-1) + (-8)/t. Suppose -4*v - 3*s - 22 = -624, j*v - 2*s - 443 = 0. Is v a composite number?
False
Let w(d) = -5*d**2 - 2*d + 1. Let v be w(-2). Suppose 4*o - 60 = -n, -3*n - 3*o = o - 148. Let c = n - v. Is c composite?
False
Let f = -360 - -509. Is f prime?
True
Let i(q) = q**3 - 6*q**2 + q - 4. Let d be i(6). Suppose d*m - m + 16 = 0. Let z = m + 26. Is z prime?
False
Let q be 1*1*(1 + 50). Let t = -12 + q. Suppose 27 = 2*r - t. Is r a composite number?
True
Suppose -20 = -8*y + 3*y. Suppose -5*w - 2*b + 947 = 0, -5*w = y*b - 340 - 599. Is w composite?
False
Is (-1 - 72/(-3))/((-1)/(-7)) prime?
False
Suppose 3*v - 2*z = 8975, 4*v + 2*z = -2738 + 14714. Is v a prime number?
False
Suppose -1113 - 352 = -5*c. Is c a prime number?
True
Suppose 0*q - 5*q = 0. Let x be 0 - (q + 0)/(-2). Is (x - (-3)/6)*102 a composite number?
True
Let q(l) = 0*l - 3*l + 4*l. Let j be q(4). Suppose 3*a - 5 = -3*s + 16, 0 = 5*a - j*s + 1. Is a a prime number?
True
Let h = -8 - -8. Suppose -3*z - 2*u + 900 = -3*u, 2*z - 4*u - 590 = h. Is z a prime number?
False
Let j = 8 + -6. Suppose m + j*m = 93. Is m composite?
False
Is (-3)/(-4) + (-2525)/(-20) a prime number?
True
Let j be (-56)/5 - 1/(-5). Let x(g) = -g**3 - 10*g**2 + 5*g + 1. Is x(j) a prime number?
True
Let k be (11 - 7) + (-1 - 1). Is (-1144)/(-6) + k/6 a prime number?
True
Let p(a) = -3*a + 12. Let j be p(6). Is ((-93)/j)/(3/42) composite?
True
Let i(w) be the first derivative of w**3/3 - 2*w - 3. Let k be i(-2). Suppose 0 = -k*b - 0*b + 46. Is b prime?
True
Let d be (-2)/(1 - 13/15). Let q = d + 68. Is q a prime number?
True
Let b(l) = -6*l**3 - 4*l**2 - 4*l - 4. Is b(-3) prime?
False
Suppose 0*y = 5*y - 150. Let r = y - 17. Suppose x - 4*a - 10 = r, 38 = 2*x - 4*a. Is x a prime number?
False
Let l be 1 + 2/(-2) + -290. Let m = l - -455. Suppose m = h + 2*h. Is h a composite number?
True
Suppose -b = 3*s - 101 - 278, -b = 5*s - 383. Is b composite?
False
Suppose 3*o + 3*k - 246 = 0, 4*o - 171 = 4*k + 133. Is o prime?
True
Let a(j) = -j**3 - 3*j**2 + 2*j + 5. Let d(b) = -2*b**2 + 2*b + 4. Let g be d(3). Let r = 4 + g. Is a(r) composite?
False
Let y = 4302 + -2143. Is y prime?
False
Let i = -2930 + 4467. Is i a prime number?
False
Let s = 10 - 10. Suppose 15 = i - s*i. Is i a prime number?
False
Let a(b) = 3*b - 4. Let i be a(4). Let m = -15 + 22. Let y = m + i. Is y a prime number?
False
Let u = -366 - -1155. Is u prime?
False
Let r = -6 + 11. Let w(q) = 3*q**3 - r - 8*q**2 - 2*q**3 + 2 + 2*q. Is w(8) prime?
True
Let d(t) = 153*t - 1. Let p be d(1). Let a = p + -99. Is a composite?
False
Let c = 9474 + -4229. Is c a composite number?
True
Let h(m) = -m**3 + 3*m**2 + 5*m + 7. Let u be h(5). Is (-3)/u - 740/(-24) composite?
False
Suppose 0 = -10*t + 6*t + 628. Is t a prime number?
True
Is (1082/4)/((-23)/(-92)) composite?
True
Let x be 10/4*(-24)/(-30). Is 66/2 + x + -2 a composite number?
True
Let i(o) = 4*o**2 + 2*o - 1. Suppose -4 = -7*d + 5*d. Is i(d) a prime number?
True
Is 1 + 1034 - (-56)/(-14) a prime number?
True
Suppose 10 = 3*x - 2. Is 122/4 - (-2)/x a prime number?
True
Suppose -29 + 4 = 5*v. Is -2*(-58)/(-4)*v a composite number?
True
Suppose 0 = 3*v + 84 + 36. Is 2864/10 + (-24)/v a composite number?
True
Let i = 1540 + -747. Is i prime?
False
Let t(f) = 3*f + 3. Let s be t(10). Suppose 2*k - s - 41 = 0. Is k composite?
False
Suppose 0 = n - 751 - 810. Is n prime?
False
Let a be (-3 - -7) + (0 - 4). Suppose 4*h = -a*h + 3556. Is h a prime number?
False
Let f = 1039 - 398. Is f prime?
True
Suppose -5*i + 1320 = -0*i. Suppose c - 73 = -2*p, 4*c - 46 = p + i. Is c a composite number?
True
Let s = 40 - 27. Suppose -s*g + 9*g + 3172 = 0. Is g a composite number?
True
Is 4/10 + (-40977)/(-45) a composite number?
False
Let n(m) = m**2 + m + 1. Let y(j) = -19*j**2 - 3*j - 6. Let a(g) = 5*n(g) + y(g). Let t be a(1). Let d = t - -20. Is d composite?
False
Is (-708)/(-21) + (-4)/(-14) a composite number?
True
Let k(q) = -q + 12. Let t be k(0). Let s be (-4)/(-8)*t/(-2). Is (s/(-9))/(3/495) prime?
False
Suppose 0 = -2*a - 4*b + 132, -217 = -3*a - 4*b - 13. Let h = a - 3. Is h composite?
True
Suppose 3*g = 96 + 288. Let y be 1*(0 - 3)*-13. Let l = g - y. Is l composite?
False
Let d(i) = -116*i + 5. Is d(-7) composite?
True
Let m = 375 + -262. Is m a composite number?
False
Let h(s) = -3*s**3 - 3*s**2 + 1. Is h(-2) a composite number?
False
Let s(w) = 22*w**3 - 3*w**2 + 4*w + 2. Is s(3) composite?
True
Let g(b) = 61*b - 35. Is g(6) a prime number?
True
Suppose 0 = 4*u + 2*v + 2*v - 12, -12 = -4*u - 5*v. Is -1 + 3 - u - -80 a prime number?
True
Suppose 5*c - 1290 + 272 = -3*l, -2 = -c. Let k = 643 - l. Is k a composite number?
False
Let v(g) = -g**2 + 8. Let x(p) = p. Let t(m) = v(m) + 5*x(m). Let i be t(6). Suppose -2*q - i*q = -84. Is q a prime number?
False
Suppose -2*w + 5422 = -m - 2*m, w + 4*m = 2689. Is w prime?
False
Suppose -3*s + 5764 = -845. Is s a prime number?
True
Let r = -93 + 130. Is r prime?
True
Let k(n) = 11*n**3 + 2*n**2 - 3*n + 1. Is k(3) a composite number?
False
Let r(z) = 3 + 8*z**2 + 3*z - z**2 + 7*z**2. Is r(-2) a composite number?
False
Let l(p) = -p**2 + 6*p + 2. Let n be l(3). Suppose -t = -n - 0. Is t prime?
True
Is (-21)/63 + (-1964)/(-6) prime?
False
Let j(y) = -2*y + 9. Let l be j(9). Let c = 31 + l. Is c composite?
True
Suppose 3*h = 1625 - 311. Suppose -5*r = -337 - h. Is r prime?
False
Is 3 - 6 - (-762)/3 a composite number?
False
Let l be 10/6 - (-2)/(-3). Suppose 1 = 5*r + 2*u - u, -3*r - l = u. Is (-1 + 3 - r) + 6 a composite number?
False
Let z(j) = j**3 + 2*j**2 - 3*j - 3. Suppose 6 = -f + 3*c, c - 3 - 3 = -f. Is z(f) composite?
True
Let a(j) = -6*j - 1. Let f be a(1). Let k(m) = -m**2 - 6*m + 9. Let l be k(f). Suppose -166 = -0*v - l*v. Is v a prime number?
True
Let f = -5 + 7. Suppose