 -1733. Is a a prime number?
True
Suppose -78 - 8 = -u. Let i = 121 - u. Suppose -v - i = -2*v. Is v a composite number?
True
Let f = -16 + 67. Let c = f - 5. Is c a prime number?
False
Suppose -3*f + 0*n - 20 = 4*n, 0 = -n - 5. Suppose -3*v + v + 226 = f. Is v composite?
False
Suppose 0*s - 5*a - 13 = -2*s, 3*s - 15 = 3*a. Let g = -59 - -132. Suppose s*x - g - 19 = 0. Is x a composite number?
False
Let d(c) = -c**2 - 3*c. Let m be d(-3). Suppose 3*w + m*w - 357 = 0. Is w a composite number?
True
Let l be 5*(-3 + (-51)/(-15)). Is 55 - (2 + -4 - l) a prime number?
True
Let b(n) = n**3 + 4*n**2 - 6*n - 5. Let t be b(-5). Suppose 469 = -t*f + f. Is f a prime number?
False
Let d(b) = -b**2 - 5*b - 2. Let j be d(-4). Suppose -4*u + 13 = z, -j*z = -3*u - 4*z + 11. Suppose 3*v - 2*v - 156 = -u*q, -q = v - 50. Is q a composite number?
False
Let l be 5*(-1)/10*-4. Is 1 - -85 - l/2 a prime number?
False
Let y = 139 - -240. Is y composite?
False
Suppose 3*o + 36 = 4*l, l + l + 18 = -3*o. Let z = o - -10. Suppose 2*d - z - 2 = 0. Is d composite?
False
Suppose c - 128 = 100. Let y = c + -107. Is y prime?
False
Let x be (-6)/(-10) + (-1084)/(-10). Let r = x - 50. Is r prime?
True
Suppose -6 = -4*a + 2. Suppose -2*v + 6 = -3*c, v + a*v - 2*c - 9 = 0. Suppose 0*r + v*r - 174 = 0. Is r prime?
False
Let y = -33 + 45. Suppose -r - 6 = -5*i + 16, -25 = -5*i. Let o = y - r. Is o composite?
True
Suppose 3*x + 16 = 2*h - 13, 0 = 2*h + x - 17. Let f = h - 5. Suppose -k + 104 = f*y, -k - 3*k = 5*y - 101. Is y prime?
False
Let f be (-4)/(-10) + (-21)/15. Let u be 0 + 0 - (-2 - f). Let b = 14 - u. Is b composite?
False
Suppose 4868 = 4*s - 2*j - j, 0 = -4*s + j + 4868. Is s a composite number?
False
Suppose 6*s = 5*s + 49. Is s composite?
True
Is 3898/10*(11 - (-36)/(-6)) composite?
False
Suppose -5*p - 9 = -4*p. Suppose -3*n + 0*n - 9 = 0. Is (-744)/(-9) + n/p a composite number?
False
Let t = -11 - -9. Is -149*(-2)/(-4)*t a composite number?
False
Let d(i) be the third derivative of -i**4/24 + 25*i**3/6 - i**2. Is d(0) composite?
True
Suppose -2*g + 470 = -t, 0 = -5*g + 5*t - 4*t + 1181. Is g a composite number?
True
Suppose -3*d - 4*u + 473 = u, 4*d + u = 659. Is d prime?
False
Suppose -6*k + 5*k = -59. Is k prime?
True
Let z(u) = -5*u + 3 + 2*u + u. Is z(-2) a prime number?
True
Suppose 0 = -d - 0*d + 1. Let q(p) = -2*p**2 - p. Let u be q(d). Is (130/(-4))/(u/6) a composite number?
True
Let z(m) = 484*m - 11. Is z(7) prime?
False
Suppose -6681 = -2*h + 5977. Is h a composite number?
False
Let y = 7156 - 2535. Is y prime?
True
Let d = 30 - 42. Is 1*-76*d/48 composite?
False
Let s(y) = 2*y - 6. Let x be s(4). Is x/(-10) - 384/(-20) a composite number?
False
Suppose -9 = -s - 6. Suppose s*c = -0*c + 483. Is c a composite number?
True
Let y = 7 + 0. Let x = y - 1. Is x prime?
False
Let y(w) = 182*w. Let z be y(4). Suppose -4*d + z - 156 = 0. Is d a composite number?
True
Suppose x = -2*x - 5*c + 1618, 0 = -x + 2*c + 543. Is x a composite number?
False
Suppose -5*g + 322 + 3343 = 0. Is g composite?
False
Suppose 0 = k - 2 - 10. Let j be (-6)/2*k/9. Is (-222)/j*4/6 a prime number?
True
Let p(u) = -u + 51. Let m be p(0). Suppose j + 4*n - m = 0, 0*j + 2*j + 4*n = 82. Is j composite?
False
Let r be (3/6)/((-4)/232). Let c = -48 - r. Is (-3 + 2)/(1/c) a prime number?
True
Suppose -200 - 132 = -2*g. Suppose -2*w - w = -i - 38, -3*w + g = -5*i. Let m = -11 - i. Is m a composite number?
True
Is 6/(-21) - (-1185)/7 composite?
True
Suppose -3*g - 3159 = -5*d, 2*g = 3*d - 1366 - 530. Suppose 5*z - 3*t - d = 2*t, -z = 2*t - 135. Is z a composite number?
True
Let w(o) = -o**3 - 8*o**2 + 8*o - 5. Let m be w(-9). Suppose -x + 4*n + 8 = 0, -m*x - 10 = -0*x + 5*n. Suppose x = q + 3*q - 268. Is q a prime number?
True
Let h(d) = -30*d**3 - d. Let k = -3 + 2. Let w be h(k). Let o = w - 18. Is o prime?
True
Suppose 3*c + 2*u = 7*c - 1102, -u = 5*c - 1367. Is c prime?
False
Let j(w) = -4*w + 0*w + 16*w**2 - 3*w + 4*w. Let d be j(5). Suppose -d = -3*a + 62. Is a composite?
False
Suppose 9 - 81 = -4*i. Suppose -4*q = g - i, 4*q - 14 = -2*g - g. Let n(f) = 15*f**2 + 4*f + 3. Is n(g) a prime number?
False
Let s(t) = -1 + 17*t**2 + 97*t**2 - 3*t + t. Is s(-1) prime?
False
Suppose -5*f + 82 = -3*f. Let c(j) = -4*j - 9. Let g be c(-8). Suppose a - f = -p, 3*p = -a + 14 + g. Is a a composite number?
False
Let p = 4 + -5. Let a(f) = 2*f + 1. Let z be a(p). Is z/(-2)*140/2 prime?
False
Let f(b) = -6*b**2 + b + 3. Let u(k) = k**2 - 1. Let x(l) = -f(l) - 2*u(l). Let z be x(-1). Suppose 3*o - 19 = z*p, -3*o + 3*p + 2*p = -17. Is o composite?
True
Suppose 19 = -4*w + 3*v, -2*w = 3*v - 4*v + 9. Is ((-266)/w)/((-3)/(-6)) a composite number?
True
Let l be (105*2 - 3) + 0. Let g = -10 - -14. Suppose g*v = 733 + l. Is v prime?
False
Let x(m) = -4*m - 15. Is x(-9) prime?
False
Is ((-1226)/(-12))/(11/66) a prime number?
True
Suppose 4*z + 220 = 2*y, 0*y - 4*y = -2*z - 122. Suppose -4*g - 226 = 2*u - 710, 5*u = 2*g - 230. Let x = z + g. Is x composite?
False
Suppose 2*i + 355 = 7*i. Suppose 2*n - 3*n + i = 0. Is n a composite number?
False
Let s(d) be the second derivative of -3*d**5/5 - d**4/6 + 2*d**3/3 - d**2 + 4*d. Let u be s(3). Is u/(-10) + 4/(-20) prime?
False
Suppose 2*d - 1128 - 1882 = 0. Suppose 5*n - d = -0*n. Is n composite?
True
Let q(s) = 11*s. Suppose -7 = 5*x - 17. Let n be q(x). Suppose 4*b - 80 = 2*t - n, b + 4*t = 10. Is b a composite number?
True
Let r(a) = -a**3 + 13*a**2 + a - 1. Suppose 10 = p - 3*g, 2*p + g + 2*g = 20. Is r(p) prime?
False
Suppose -6 = -2*g + 2. Suppose 2*h + 5*d + 647 = -2*h, 20 = g*d. Let x = -83 - h. Is x prime?
False
Let g = 1 + -6. Let i = -3 - g. Is (-23)/i*20/(-2) composite?
True
Is (-16456)/(-32) + (-1)/4 a composite number?
True
Suppose 5*d = c - 4*c + 3379, 0 = d - 3*c - 683. Is d a composite number?
False
Suppose 2*h - 3*h = 4*m - 24, -2*m = -10. Suppose 4 = 4*v, -5*y - h*v = -39 - 0. Is y a composite number?
False
Let f(h) = h**2 - 4*h - 1. Let x be f(5). Suppose -446 = -4*b + 2*l, -x*b - 4*l = -l - 441. Is b a composite number?
True
Let l(z) = -z + 35. Is l(0) a prime number?
False
Let d = 29 - 25. Suppose 3*g + 643 = 5*v, 0*v - d*v + 512 = -3*g. Is v composite?
False
Let d be (-1)/((1 + -2)/(-2)). Let l(h) = -h**3 - 4*h - 3. Is l(d) a prime number?
True
Let m(n) = -3*n. Let d be m(1). Let v = d - 0. Let q = v - -38. Is q a prime number?
False
Suppose -4*k + 2*l = -246, 4*k - k - 4*l - 182 = 0. Let v = k + -89. Is (22/6)/((-9)/v) a composite number?
False
Let p be (-31)/5 - (-1)/5. Let b be (-20)/p - 8/(-12). Is 78/b*4/6 prime?
True
Let o = -15 - -34. Suppose -o = -g + 2*g. Let s = 6 - g. Is s composite?
True
Suppose -n = -h - 1, -h - 5*n + 5 = 3*h. Suppose -2*w + 0*o + 598 = -2*o, h = -2*w - 3*o + 598. Suppose -w = -5*r - 44. Is r a prime number?
False
Suppose -u = -5*u. Suppose -5*c - 33 = -2*r, 25 = 5*r - u*c - c. Suppose -r*n = 5*q - 1011, 76 = n + 2*q - 173. Is n composite?
True
Let k be (-1)/2 + 194/4. Suppose 2*q - k = -2*d, q - 85 = -4*q + 2*d. Is q a prime number?
True
Suppose 0 = -2*w + 231 - 49. Is w prime?
False
Let b = -1 - -3. Suppose 0 = -2*q + c - 0*c + 325, q + b*c = 165. Is q a prime number?
True
Let m be 2/4*0/3. Suppose m = -3*r + r - 10. Is ((0 + r)*2)/(-1) prime?
False
Let y = 244 - 143. Suppose -v = 3*n - y, 5*n = -v + 101 - 8. Is v a prime number?
True
Is 453/((-4)/(-2 - 2)) composite?
True
Let p(g) = 179*g**2 - 2*g + 1. Is p(1) a prime number?
False
Let d = 1184 - -95. Is d composite?
False
Let c = 8 + -7. Suppose -7 = 2*h - 4*n + 7, 2*n = -h + c. Is h + (8 - -2) + -1 a prime number?
False
Let n = 3870 - 1709. Is n prime?
True
Suppose -11*m = -13*m + 470. Is m a composite number?
True
Suppose 692 = f + 173. Is f prime?
False
Suppose 5*u = 2*c + 2865, -3*u + 735 + 984 = -2*c. Is u a composite number?
True
Let q = 8 - 4. Suppose -q*a = -0*a - 8. Suppose -5*u = 3*z - 254, -z = u + a*z - 58. Is u a composite number?
True
Let s(f) = -4*f**3 - f**2 + 2*f + 4. Is s(-3) composite?
False
Let k = 41 - 57. Let o be (4 - 0)*12/k. Is (119 + -2)/o*-1 composite?
True
Let t(d) = d**2 - 9*d + 11. Let j be t(8). Is j/6*(1 - -19) a prime number?
False
Let z = -15 - -38. Is z a composite number?
False
Is 12/3 - 4750/(-10) a prime number?
True
Suppose