True
Suppose -7*f + 470 = -2*f. Is f a composite number?
True
Let b = 59 + -25. Is b a prime number?
False
Suppose 2*g = -202 - 44. Let w = g - -322. Is w a prime number?
True
Let y(n) = -n**3 + n**2 + 8*n - 1. Let r be y(-6). Suppose 0 = 4*d + 3*q - 1210, -2*d + q = -803 + r. Is d composite?
True
Let x = 205 + 2122. Is x composite?
True
Let s(p) = -402*p - 7. Is s(-1) prime?
False
Is 1561/14*(-1 - -15) composite?
True
Suppose 2*c - 6*c = -16. Suppose -4*s + 4*m + 12 + 80 = 0, c*s - 3*m - 90 = 0. Is s a composite number?
True
Let z(d) = -3*d**3 - 15*d**2 - 9*d - 13. Is z(-6) a composite number?
False
Let h = -27 + 13. Let f = 27 + h. Is f composite?
False
Let m(l) = -4*l + 2 + 4*l + l. Let v be m(-3). Is 39 - (v + -1 + 2) a composite number?
True
Let g be (-52)/3 + 2/(-3). Let f(p) = p**3 + 19*p**2 + 12*p - 11. Is f(g) composite?
False
Suppose 0*a - 2*a = -12. Let o = 45 + a. Is o a composite number?
True
Let f(t) = t**3 + 2*t**2 + 5*t + 8. Is f(6) composite?
True
Let p(l) = -24*l**2 - 3. Suppose 5*r - 2*h = 4, -3 = -h - 0. Let a(b) = -71*b**2 + b - 9. Let u(v) = r*a(v) - 7*p(v). Is u(-2) a composite number?
False
Suppose q + q + 3 = d, -5*d + 15 = -2*q. Suppose 2*s = 5*u + 206, u + 3*u + d*s + 151 = 0. Let f = -21 - u. Is f prime?
True
Suppose 0 = 4*t + 16. Let p(j) = 9*j**3 + 15*j**2 - 19*j - 3. Let u(n) = 5*n**3 + 8*n**2 - 10*n - 1. Let b(o) = 4*p(o) - 7*u(o). Is b(t) prime?
True
Is 4833/72 + 1/(-8) prime?
True
Let u be -2 - 1*1*-3. Let x be (-3 + 3)/(0 + u). Suppose x = -5*c + 5*h + 5, -2*c + 2*h - 16 = -6*c. Is c a prime number?
True
Let q(x) be the first derivative of x**3/3 + 4*x**2 + 9*x - 3. Let p be q(-6). Is (42/9)/(-2)*p composite?
False
Suppose 1 - 7 = -3*j. Suppose -j*o - d = o - 2, 5*o = 2*d - 4. Let g = 21 + o. Is g composite?
True
Suppose 0 = 4*o + o + j - 5703, 5*o = j + 5707. Is o a composite number?
True
Let r(i) = i - 4. Let a be r(0). Let l = a - -12. Suppose -t = 5*o - l, -5*t + 176 = -5*o + 46. Is t a composite number?
False
Let j be 3/(27/(-12))*-3. Suppose 3*c + 1103 = 5*a, 5*a - 221 = j*a + c. Suppose -a = -m - 3*m. Is m prime?
False
Let j = 78 - -49. Is j prime?
True
Suppose 3*x - 2*t + 96 = -21, 195 = -5*x + 2*t. Let v be 0/((-3)/1) - x. Let o = v + -5. Is o a composite number?
True
Let b(q) be the second derivative of q**5/60 - 5*q**4/24 + 2*q**3/3 - q**2/2 + 3*q. Let v(w) be the first derivative of b(w). Is v(5) a composite number?
True
Suppose f - 4*f = 0. Suppose f = -l - 4*l + 415. Is l a composite number?
False
Is (44/6)/((-12)/(-198)) composite?
True
Let q = 360 + -193. Let r = q + -52. Is r a composite number?
True
Is ((-2553)/(-6) - -1)*2 a composite number?
False
Let z(t) = -189*t - 1. Let x be z(1). Let a = x - -309. Is a prime?
False
Let b(y) = 1 - 47*y + 1 - 2 + 3. Is b(-4) a composite number?
False
Suppose -5*j + 6 = -2*j. Let t be (3 + -2)*(-9 + j). Let f = t - -13. Is f composite?
True
Suppose 2*g = 4*w - 40, 2 = 4*w + 4*g - 26. Suppose 2*k - 17 = w. Is k a prime number?
True
Let k = -12 - -20. Let i be ((-12)/k)/(1/(-2)). Suppose 4*g = -i*j + 127, 5*j - j = -g + 191. Is j a prime number?
False
Let i = -10 - -15. Suppose 4*y - 110 = 2*y + i*h, -5*y + 313 = -3*h. Is y composite?
True
Let u(y) = -30*y - 5. Is u(-5) prime?
False
Let w(t) = t + 1. Let o be w(1). Let g be (-2)/(-4) - o/4. Suppose g = i - 2*z - 39, -4*i + 130 = -0*i + 5*z. Is i a prime number?
False
Let j = -24 + -6. Let t = 92 + j. Is t composite?
True
Let h(i) = 26*i + 20. Let a be h(-9). Is a*(2 + 0)/(-2) a composite number?
True
Let a(r) = 11*r**2 + 6*r + 4. Suppose 0 = k - 2*t + 1 + 6, -5*t = 2*k + 5. Is a(k) prime?
False
Let a be -6*((-14)/(-4))/7. Is 77 - (-2 - -2)/a a composite number?
True
Suppose d + 1 = -8. Let j(x) = x**3 - x**2 - x + 294. Let b be j(0). Is 1/3 - b/d a prime number?
False
Let t = -7355 + 12192. Is t composite?
True
Let q(d) = 3*d**2 - 6*d - 5. Let h be q(6). Suppose y - 9 = -6. Suppose y*c - h = -5*l + 25, 99 = 5*l - 4*c. Is l a composite number?
False
Let c = 1140 - 124. Suppose -2*q = -0*q - c. Suppose r - 5*r + q = 0. Is r composite?
False
Suppose -2698 = -3*n + 5*r, n = 3*n + 3*r - 1805. Is n prime?
False
Let m be 114/(-2) - (-7)/(-7). Let i = -26 - m. Let s = i + -9. Is s composite?
False
Let k = -261 - -143. Is ((-6)/12)/(1/k) prime?
True
Suppose -3*l + 1557 = 2*d, l - 3*d - 124 - 406 = 0. Is l prime?
True
Let k(s) = -s**3 + 4*s**2 - 2*s - 1. Let z be k(3). Let c be (-40)/(-12)*(-6)/(-5). Suppose 0 = z*h - 2*q + c*q - 24, 3*q + 69 = 4*h. Is h prime?
False
Is -596*4/32*-10 a composite number?
True
Suppose 0 = -4*p - 2*b + 6, 3*p = 4*b + b + 11. Suppose -p*j + 1010 + 219 = -3*u, -2*j = 2*u - 1224. Is j prime?
True
Let d = 1 - -4. Suppose -d*t = -43 - 27. Suppose w = -t + 49. Is w prime?
False
Suppose 2*l + 82 + 12 = w, -376 = -4*w - 3*l. Suppose 0 = -2*o + 5*c + 21, 0*o + 5*c - w = -3*o. Is o a prime number?
True
Let m(y) = -3*y - 1. Let r be m(-1). Suppose r*c + s - 27 = 0, -5*c + 10 = 2*s - 57. Is c composite?
False
Let v(s) = -s**3 + 4*s**2 - 4*s + 3. Let w be v(2). Suppose 5*m - w*m - 10 = 0. Suppose m*x - 635 = -5*y, y + 0*y + 254 = 2*x. Is x a composite number?
False
Suppose 0 = -r + 7*p - 3*p + 35, -3*r + 2*p = -65. Is r a composite number?
False
Let l = -1550 + 3047. Is l a composite number?
True
Suppose -5*d = -2*d. Suppose 4*o + 4*r = 128, r + 116 = -d*o + 3*o. Is o a composite number?
False
Let k(f) = f**3 + 7*f**2 - 2*f - 9. Let d be k(-7). Suppose q + 5 = d*b + 2, q + 3 = b. Suppose m - 2*m + 51 = b. Is m composite?
True
Suppose 3 = -w - 3. Is (8/(-4))/(w/159) a composite number?
False
Let w(k) = -k**2 - 10*k - 9. Let f(c) = 2*c**2 + 20*c + 17. Let x(g) = -3*f(g) - 5*w(g). Is x(-8) a composite number?
True
Let h = -577 + 235. Let i = h + 641. Is i a composite number?
True
Let o = 8 + -2. Let l be -2 - (-4)/(8/o). Is (l - 4)*(-7)/3 a prime number?
True
Suppose 54 + 160 = 4*h + 2*w, 2*w + 51 = h. Is h composite?
False
Suppose -65 = 5*d - 5. Is 8/d*(-633)/2 composite?
False
Suppose -5*p + 6*p = 439. Is p a prime number?
True
Suppose 0 = 12*p - 11*p - 293. Is p prime?
True
Is (-3 + 2)*(-4 - 207) a composite number?
False
Let h = -2 - -4. Suppose -w + 6*w - 1849 = -3*t, 2*t + 746 = h*w. Is w a composite number?
True
Suppose f + 4*z - 183 = 0, 0 = 3*f - 6*f + z + 562. Is f a composite number?
True
Let k be 4/(-16) + 1262/(-8). Let g be (3*-2)/(4/50). Let m = g - k. Is m a prime number?
True
Let w(i) = -386*i + 17. Is w(-6) a prime number?
True
Let c(m) = -m - 1. Let k be c(4). Let d = k - -8. Suppose -d*f + 25 = -41. Is f a prime number?
False
Let u = -10 - -7. Is (-1 + -93)*(u + 2) prime?
False
Let j(x) = 298*x**2 + x. Is j(1) prime?
False
Is -15*(-1 + (-8)/(-10)) + 6112 a prime number?
False
Suppose 3*t + 0*t = -5*u + 27, -t - u + 7 = 0. Suppose 0 = t*y + 4, 5*w + 6*y - 40 = y. Suppose -29 - w = -x. Is x a prime number?
False
Let z = -56 + 101. Let w be 1/1*1 + 42. Suppose -v + 61 = 3*h, -4*h - 3*v + z + w = 0. Is h a prime number?
True
Let t be 16/(-12)*9/2. Suppose 11 = 2*b - 7. Is 158/(-3)*b/t a prime number?
True
Let c be 1 + ((-4)/2 - -3). Is -3 - (-2 - 82*c) composite?
False
Let g(b) be the third derivative of b**5/30 + 3*b**4/8 + 5*b**3/2 - 5*b**2. Is g(-6) a prime number?
False
Let z be 5*((-14)/10 + 1). Let k = 3 + z. Is (k + 0 - 2) + 56 composite?
True
Let j(l) = 2*l**2 + l - 1. Let f be j(-2). Is 168/f - 9/15 prime?
False
Suppose 7*o - 18295 = 1914. Is o composite?
False
Let v(k) = -341*k**3 + 2*k**2 + 2*k. Is v(-1) a prime number?
False
Let s(t) = -t**3 + 7*t**2 + t - 8. Let o be s(7). Let p(w) = -112*w**3 - w - 1. Let b be p(o). Suppose b = g + 23. Is g a prime number?
True
Let q(n) = -10*n**3 - 2*n**2 + 8*n - 15. Is q(-7) prime?
False
Let t = -193 - -481. Suppose t = 5*w + 33. Is w prime?
False
Let w be (-162)/30 - (-4)/10. Is (-2496)/(-30) - (-1)/w a composite number?
False
Suppose -5*d - 93 = -8*d. Is d a prime number?
True
Is -1059*((-39)/9 - -4) prime?
True
Suppose -56*l + 1865 = -51*l. Is l composite?
False
Let n be 0 - (-5)/2*2. Suppose z = 3*z + n*q - 79, 44 = z + 4*q. Let o = z - 22. Is o a prime number?
False
Suppose v - 345 = -4*v. Suppose 3*z + 3 = 4*i + 5, -2*i = z - 4. Suppose v = h - z*r, -211 = -4*h + h + 5*r. Is h prime?
False
Let a = -5 - -8. Let m be ((-3)/a)/(