
False
Let t(b) = -b. Let x be t(-2). Let r(y) = 9*y**2 + y + 1. Is r(x) a prime number?
False
Suppose -635 = -5*q + 1720. Is q a prime number?
False
Let x = 2493 + -1156. Is x prime?
False
Let r be (10/20)/((-2)/(-16)). Suppose 0 = -r*x + 1162 - 294. Is x a composite number?
True
Let r(c) = -c**3 - 4*c**2 - 3*c + 2. Let a be r(-4). Let w(g) = 12*g - 3. Let k be w(3). Let s = k - a. Is s a composite number?
False
Suppose -5*p + 31 = -34. Let g = 56 - p. Is g prime?
True
Let v = 2233 - 1194. Is v a composite number?
False
Is (-88480)/(-288) - 3/(27/2) prime?
True
Suppose 2*d - 4*d + 340 = 0. Suppose 5*m = d + 75. Is m prime?
False
Let s(q) be the second derivative of -q**5/10 - q**4/6 - 5*q**3/6 - q**2/2 - 3*q. Is s(-4) a prime number?
False
Let s = 1 + 5. Let q = s + 17. Is q a composite number?
False
Let k be ((-12)/(-15))/((-2)/(-5)). Suppose k*p - 2 = -2*i - 0, 4*p - i = 4. Is 460/15 - p/(-3) prime?
True
Let y(w) = 14*w**2 + 5*w - 7. Is y(2) composite?
False
Is (0 - (1 + -4)) + 70 + 4 a prime number?
False
Is 6/(-27) - 52535/(-9) a prime number?
False
Suppose 0*d + 85 = d. Suppose 5*z + d - 350 = 0. Is z a composite number?
False
Let n(j) = 4*j + 20. Let i be n(-9). Let c(x) = -x**3 - 2*x**2 + 3*x + 1. Let f be c(-4). Let z = f - i. Is z a composite number?
False
Let c(w) = 11*w**2 - 6*w + 9. Let q be c(6). Suppose 0 = -j + 4*j - 15. Is 1/j - q/(-5) composite?
True
Suppose 2*g + 328 = 3*g + 5*b, g = b + 322. Is g a prime number?
False
Suppose 3*b = 3*t + 2*b + 47, 5*t + 45 = -5*b. Let j = -194 + 106. Let m = t - j. Is m a prime number?
False
Suppose 0 = 3*v - 6*v + 27. Suppose 3*h = -0*h + v. Is (-34)/(-2) - (h - 1) prime?
False
Let k be 1/1*(-10)/(-2). Suppose 2*w + 0*w - 252 = -2*a, 0 = 2*w - k*a - 259. Is w composite?
False
Let v(i) = -65*i - 22. Is v(-9) a prime number?
True
Let z(y) = 42*y + 1. Suppose -3*x = -5 - 4. Suppose -t + 8 = x*t. Is z(t) composite?
True
Let j = 3 - 3. Suppose j = -0*f + 4*f + 40. Is ((-52)/f)/((-4)/(-20)) prime?
False
Let z(c) = -c**2 + 6*c. Suppose 3*s - 18 = s + 4*o, -2*o = -2*s + 14. Let g be z(s). Suppose -g*a - l + 245 = 0, 5*a - 3*l - 245 = -0*a. Is a a prime number?
False
Suppose 2*b - 7*b - 18 = i, 4*b + 4*i = -8. Suppose 0 = 4*x + 13 - 105. Let h = x + b. Is h composite?
False
Let o be (2 - 2 - 1) + -1. Let j(r) = -6*r. Let v be j(o). Suppose 2*q - 76 = -3*q + 2*t, 0 = 4*t + v. Is q a prime number?
False
Suppose 4*y - 5*s = 18, s + 3 + 16 = 3*y. Let z = y + 18. Is z composite?
True
Suppose 4*n + 13 + 3 = 0. Let g = n - -3. Is g + (0 - (-23)/1) composite?
True
Suppose 0 = 3*u - 3*a + 444, -a + 328 = -5*u - 392. Let m = 2 - u. Is m a composite number?
True
Let b = -10 + 60. Let q = 171 - b. Is q a composite number?
True
Let d(n) = -3*n**2 + 7*n + 3. Let g(m) = m**2 - m + 1. Let i(y) = -d(y) - 2*g(y). Is i(-9) a composite number?
True
Let y(r) = -r + 26. Suppose 5*n + 5*i - 21 + 1 = 0, 0 = n + 2*i - 6. Suppose 0 = -u - n*m, -4*m = -0*u + u. Is y(u) a prime number?
False
Suppose -q = -6*q + 175. Let z = 82 - q. Is z a composite number?
False
Suppose 3*q = 267 + 48. Is (-14)/q - 2374/(-30) prime?
True
Suppose -3*m + 76 = -38. Is -2*(m/(-4) - -2) prime?
False
Let k(x) = 2*x + 10. Let b be k(-7). Let v be b + 2 - (-28 + 1). Let t = v + -4. Is t a prime number?
False
Suppose -g + 40 = 2*f, 6*g = 2*f + 3*g - 40. Let p be 3/2*f/6. Let b = p + -2. Is b a prime number?
True
Suppose -2*j - 4 = -0*j. Let w(c) = -8*c**3 - 2*c + 1. Is w(j) a composite number?
True
Let j(h) = 7*h**3 + 6*h**2 - 11. Let i(s) = 20*s**3 + 18*s**2 - s - 32. Let l(m) = 6*i(m) - 17*j(m). Is l(-6) prime?
True
Suppose -140 = -4*w + 1376. Is w a prime number?
True
Suppose -5 = -h - 3. Is 47 - (4 + -6 + h) prime?
True
Let y(d) = 48*d**2 + 2*d - 1. Is y(1) a composite number?
True
Suppose -5*b = 44 - 19. Let c(w) be the second derivative of -w**5/20 - w**4/3 - 2*w**3/3 - 3*w**2 + w. Is c(b) prime?
False
Let l = 639 + -302. Is l composite?
False
Suppose -4*d + 5*f - 2*f = -4, 4*d - 4 = -2*f. Is 28/8*2*d prime?
True
Let w(r) = 5*r - 1. Let v be w(1). Suppose -v*u = -5*q - 9*u + 265, -5*u + 214 = 4*q. Is q composite?
True
Let h be (3 + -3)/1 + 35. Suppose 5*v + d - h = -4*d, 0 = d. Is v a prime number?
True
Is ((-1087)/(-2))/((-1)/2)*-1 composite?
False
Let i(q) = -q**2 + 10*q. Let g(m) = 1. Let c(y) = -3*g(y) + i(y). Is c(4) a prime number?
False
Suppose -3*s = -3001 + 1159. Is s prime?
False
Suppose n - 4*y = 177, 4*n - 444 = -y + 196. Is n a prime number?
False
Suppose 14 = -p + 8*p. Suppose p*n + 2*m - 206 = 0, -2*n + 3*m + 206 = 2*m. Is n prime?
True
Let a(n) = -3*n + 0*n - 8 + 5*n. Let v be a(8). Let p = 15 - v. Is p composite?
False
Suppose 0*w = 2*w - 1110. Suppose -v = 3*v - 12, 0 = -5*k - 5*v - w. Is 1 - (k - (1 + -1)) a composite number?
True
Let y(t) = 2*t**2 + 3*t - 201. Let n(v) = v**2 + v. Let u(k) = 3*n(k) - y(k). Suppose 0 = -2*h + 4*x, 0*x - 3*x = 3*h. Is u(h) prime?
False
Suppose 4*d = 5 + 3. Let p(y) = 5*y + y + d*y + y**2 + 6 + 3. Is p(-8) a composite number?
True
Let a(f) = 14*f**3 + 2*f**2 - 2*f + 1. Let u(n) = -n**3 - 8*n**2 + 3. Let v be u(-8). Suppose 0 = l - v - 0, 5*o - 14 = -3*l. Is a(o) a prime number?
False
Let h = 312 + -206. Suppose l - b - 54 = -l, -4*l + h = -b. Suppose -41 - l = -r. Is r a prime number?
True
Suppose 0*m + 2 = -m. Is m/2*67*-1 composite?
False
Let g = 1201 - 812. Is g composite?
False
Is ((-5)/(-2))/((-9)/(-6462)) composite?
True
Suppose 0 = -2*u + 4*t + 138, 5*u + t - 6*t - 365 = 0. Is u a prime number?
False
Let q(s) = -s**2 - 2. Let v be q(-2). Is (-1593)/(-11) - v/33 a prime number?
False
Let w be (2 + -3)*-4 + -3. Is -6 + 18 + 2*w a prime number?
False
Suppose j + 12 = 5*m, m - 5*m = 5*j + 2. Let f be ((-38)/(-8))/(m/8). Let o = 30 - f. Is o a composite number?
False
Suppose 0 = 2*h - 4*h - z + 676, -3*h + 1017 = 3*z. Is h prime?
True
Suppose 19787 = 14*k - 13967. Is k prime?
True
Let t be (7 + -6)/((-1)/(-3)). Suppose -120 = -4*r - r + t*p, 4*p = -2*r + 22. Is r a composite number?
True
Let x(q) = -2*q - 34. Let t be x(-19). Let j(f) = 4*f + 1 - 3 + 5. Is j(t) prime?
True
Let v be 3/1 - 5 - -2. Suppose -i + 73 - 18 = v. Is i a prime number?
False
Let d(g) = 26*g**2 - g. Let w be (6/10)/(4/(-20)). Let h be w*(-3)/(6 - -3). Is d(h) prime?
False
Let a = -34 + 50. Is (-3)/(1 + -2) + a composite?
False
Let t(i) = i**3 + 13*i**2 - 7*i - 3. Let z be t(-11). Let j = z - 167. Is j a prime number?
True
Suppose 4*n - 3*n + 3 = 0. Let i be ((-9)/(-3))/n + 1. Suppose -3*m + i*m = -57. Is m a prime number?
True
Let i be (7 - 5)/(2/83). Let s(q) = -q**3 - 6*q**2 + 6*q - 3. Let b be s(-7). Suppose -p + 4*m = -0*m - i, -b*m + 8 = 0. Is p composite?
True
Suppose -3*m - 4 = 2. Let z = m - -2. Suppose z = -l + 5 + 6. Is l a prime number?
True
Let z = 1 + -3. Is ((-161)/z)/(2/4) a composite number?
True
Let y(h) = -2*h - 8. Let t be y(-7). Suppose 0 = -v + t*v - 45. Is v composite?
True
Is 2/(-3) - ((-274196)/12)/13 a composite number?
True
Let a(l) be the first derivative of -l**2/2 + 7*l + 1. Let z be a(4). Suppose -2*u + 37 = -z*f, -3*f = -5*u + f + 82. Is u a composite number?
True
Suppose 7*f + 297 - 2110 = 0. Is f prime?
False
Let n = -63 - -134. Is n prime?
True
Suppose -100 + 10 = -u. Suppose -u = 3*j - 243. Is j a prime number?
False
Is (-8)/36 - 1307/(-9) a composite number?
True
Suppose -h + w + 103 = 3*w, -4*w + 12 = 0. Suppose -k - 5*x = -h, -2*x = 2*k - 102 - 60. Is k composite?
True
Let a(g) = g**3 - 7*g**2 + 8*g - 8. Let p be a(6). Suppose -15 = -3*i + 4*r + p, 5*i = 2*r + 27. Suppose -l - 170 - 93 = -i*k, 2*l - 216 = -4*k. Is k composite?
False
Suppose 3*n - 2*n - 4 = 0. Suppose -356 = -n*m + 3*g, -5*g = -2*m + 93 + 85. Is m a composite number?
False
Suppose 5*z - 1294 = -2*g, -245 = -4*z + 3*z - 5*g. Suppose -o + z = o. Suppose 3*c + 2*b - 7*b = o, 0 = 5*b + 25. Is c prime?
False
Suppose -3*n = j - 10, -3*n - 2*j + 3*j + 2 = 0. Suppose 5*x - 4*x + n*a = 19, 3*a - 34 = -2*x. Is x a composite number?
False
Suppose -3*x - h = -2*x - 1762, 3530 = 2*x + 4*h. Is x composite?
False
Let g = -9 - -62. Is g composite?
False
Suppose -5*w - p + 3*p = -1245, -994 = -4*w + 2*p. Is w prime?
True
Suppose -65*y - 1108 = -69*y. Is y a composite number?
False
Let z be 13/(-3)*(-9 - 30). Suppose -3*o - z = -4*