e b = u + 4*w, -u + 4*w + 54 = -65. Is u composite?
True
Suppose 4*y - 4 - 4 = 3*t, 5*t = -3*y + 6. Suppose 1 = -y*z + z, 5*d + 4*z - 26 = 0. Is d prime?
False
Let q be (-6)/(-8) + (-1048)/32. Let k = q - -75. Is k a composite number?
False
Let m(w) be the third derivative of w**5/10 + w**4/2 - 13*w**3/6 + 8*w**2. Is m(12) a prime number?
False
Let k = -19 - -98. Is k a prime number?
True
Suppose 991 + 1463 = 6*n. Is n composite?
False
Let r be (4/(-6))/(2/(-9)). Suppose -r*h - u + 2 - 5 = 0, 0 = -h + 2*u + 6. Is (-1 + h)/(1/(-23)) prime?
True
Let j be (-66)/(-8) - (-3)/(-12). Let g = j - 6. Suppose 0*h + 2*h + 60 = 2*o, -g*o = 3*h - 35. Is o a prime number?
False
Suppose 5*o = 4*o - 5*n + 6, -4*n + 5 = o. Is 0/2 - (-34)/o a prime number?
False
Let k be (-2)/(-4) - 27/6. Is (357/(-12) - -2)*k composite?
True
Let s be 3/(-2*3/(-4)). Suppose 0*f = -3*f + 4*c + 519, -3*f - s*c = -537. Is f prime?
False
Suppose 2*o - 15 = -5*d, -4*o - d + 5*d = 12. Suppose o = w - 6*w. Suppose 2*j + x - 271 = -2*j, w = 3*j - 3*x - 192. Is j composite?
False
Suppose -3*w + 2*j = -366 - 450, 4*w + j - 1099 = 0. Is w composite?
True
Let o(j) = j**3 - j**2 + 5. Let i be o(0). Let s(v) = -v**3 + 6*v**2 - 5*v + 1. Let h be s(i). Is 9*h + (-12)/6 prime?
True
Let w(y) = -51*y**3 - 5*y**2 - 4*y + 1. Suppose 2*v + m + 4 = -3, 2*v = -3*m - 13. Is w(v) a composite number?
False
Let z be (840 - -1) + 0 + 0. Suppose -z = -5*a - 136. Is a a prime number?
False
Let u(v) = -v**2 - 8*v + 1. Let z(m) = m**2 + 7*m. Let c(s) = -2*u(s) - 3*z(s). Let a be c(-2). Suppose 39 = a*q - q. Is q composite?
False
Let m be (170 + -1 - 0)*1. Let l = m + 40. Is l a prime number?
False
Let l = 2522 - 1435. Is l a composite number?
False
Is (-2)/(-3)*(-3051)/(-6) a composite number?
True
Let j(o) = o**3 + o**2 - o + 34. Let d be 10*((-21)/(-15) - 1). Suppose a - d*a = 0. Is j(a) a prime number?
False
Let k be (-1)/4 - 26/(-8). Let u be (-2 - (k - 0))/1. Is 633/5 + (-2)/u composite?
False
Is (-1)/((-666)/332 + 2) prime?
False
Let m = 6 + -8. Let i be (17/2)/(m/4). Let a = -10 - i. Is a prime?
True
Let w(t) = 2*t + 2. Let j be w(-2). Let a be 28/6 - j/(-3). Suppose 20 = 3*g - 0*q + q, 0 = g - a*q + 2. Is g a prime number?
False
Suppose 0 = 2*b - 0*b - 16. Let q = -3 + b. Suppose 4*z + 133 = q*a - 32, 173 = 4*a + 5*z. Is a a composite number?
False
Let u(z) be the first derivative of z**4/4 + 10*z**3/3 + 7*z**2/2 + 8*z + 1. Let r be u(-9). Suppose -r + 4 = -q. Is q a composite number?
True
Let c = -3 + 7. Let o = c - -4. Is 1/(-4) + 106/o prime?
True
Suppose 2*g - 4435 = -3*g. Is g prime?
True
Suppose 5*q - 560 = -5*w, -q - 332 = -5*w + 198. Let z = w - -184. Is z composite?
True
Suppose -2*n + 6 = -5*w, n - 4*w - 3 = -2*w. Suppose -n*u + 36 = u. Suppose -219 = -4*a + u. Is a a composite number?
True
Is 1250/(-10)*156/(-10) + -1 prime?
True
Suppose 2367 = q - 212. Is q composite?
False
Suppose -3*k + 371 = -2*w, -4*w + 401 = 3*k - 0*w. Is k composite?
False
Let k(s) = 3*s + 5*s - 5*s - 4*s - 1 + 14*s**2. Let w be k(-5). Suppose 0 = -t - 3*t + 2*y + w, -5*t = -y - 450. Is t prime?
False
Let q(c) = 92*c**3 - c**2 + 3*c - 7. Is q(3) a prime number?
True
Let r(o) = -3*o + 2. Let h(a) = -7*a + 3. Let f(u) = 2*h(u) - 5*r(u). Let w be f(8). Suppose 108 + 88 = w*q. Is q composite?
True
Let i(y) = y**3 - 7*y**2 + y + 3. Let b be i(5). Let g = b + 61. Is g prime?
True
Suppose 5*m + 2*d - 13 = 0, 5*m - d - 5 - 11 = 0. Suppose -m*o + 106 = -o. Is o a prime number?
True
Let j = 3 - 93. Let c be j + (-1 + 2)/(-1). Let r = 180 + c. Is r prime?
True
Suppose -5*c = -7*c + 8. Is 0 + (c - (-326 - 4)) composite?
True
Suppose 0 = -5*q + 4*v - 38, -4*q = -9*q - 5*v - 65. Is ((-586)/10)/(2/q) composite?
False
Let r(u) = 579*u - 70. Is r(11) a composite number?
False
Let a(z) = -z - 10. Let h(i) = -2*i - 20. Let w(x) = -13*a(x) + 6*h(x). Is w(-7) a composite number?
False
Let g(v) be the first derivative of 0*v + 5 + 1/2*v**2 + 3*v**3. Is g(1) a prime number?
False
Let s(d) = 5*d - 17*d + d**3 + 3 - 6*d**2 + 0*d**3. Is s(8) a prime number?
False
Let f(h) = -h + 4. Let t(w) = w**3 + 4*w**2 - 6*w - 3. Let y be t(-5). Suppose 0 = -0*o + y*o. Is f(o) prime?
False
Let f(y) = -y. Let g be f(-4). Let p be g/(-6) - 2481/(-9). Suppose -3*h = -p + 38. Is h prime?
True
Suppose -2*y = 4*v - 554, -269 = -y - v + 3*v. Let s = y - 149. Suppose j = -3*j + s. Is j prime?
True
Let g be (-3957 - -1)*33/(-44). Let m = 1659 - g. Is m/(-30) + 3/(-5) a prime number?
True
Let d be 3 - (1/1 + -178). Suppose 4*b = d + 80. Is b a prime number?
False
Let f(k) = k**2 - 3*k + 1. Let i be f(3). Suppose 2*x + 4*m = 2 - 12, -15 = 3*x + 5*m. Let p = i - x. Is p a composite number?
True
Suppose 2*m + 40 = 4*j - 2*m, 4*m = 16. Is j/(-35) - 657/(-5) prime?
True
Is 2326/(1/(1/2 + 0)) composite?
False
Suppose 3*l = -l. Suppose l*z = 2*z - 40. Let q = z - 9. Is q a prime number?
True
Let a be (-115)/(-2) - (-4)/(-8). Suppose 0 = -2*x, 2*m + 3*x - 85 = 183. Let y = m - a. Is y a prime number?
False
Let r(s) = s**2 + 10*s - 11. Let f be r(-11). Let y(v) = -v + 257. Is y(f) composite?
False
Suppose 0*z - z + 2 = 0. Suppose -6*m = -z*m - 1804. Is m prime?
False
Let a(n) = -n**2 + 7*n - 6. Let x be a(6). Suppose x*y - 111 = -3*y. Is y prime?
True
Let x = 1289 - 819. Suppose -4*l - 99 = -g, -3*g + 8*g + 5*l - x = 0. Is g a composite number?
True
Let a(u) = 38*u + 7. Is a(3) a composite number?
True
Let h(w) = -119*w + 1. Let j be h(-2). Suppose 2*b + 2006 = 5*p - 2*b, -2*b + 1208 = 3*p. Let n = p - j. Is n a composite number?
False
Is 143/(-26)*(-2 + 0) composite?
False
Let g(d) be the first derivative of 9*d**2 - d - 1. Is g(2) a prime number?
False
Is 6/15 + (-692)/(-20) prime?
False
Let n be 4 - (4 - (0 + 2)). Suppose 0*c = n*c - 8. Is c prime?
False
Let r be (-12)/90 + 1457/15. Let q = -23 + r. Is q composite?
True
Let j(d) = 6*d**3 - 2 + 6*d - 3*d**2 - d**2 - 2*d. Is j(2) a prime number?
False
Suppose 2697 = 4*y - 2*m - 3*m, 0 = 2*y - 4*m - 1350. Is y a composite number?
False
Is 1948/(-8 - -4)*-1 a prime number?
True
Suppose 2*j - 3*y = -7*y - 362, 0 = 2*j - 4*y + 394. Let b = -130 - j. Is b a prime number?
True
Suppose 5 = -3*k - 2*k. Let j(y) = -146*y**3 - y**2 - y - 1. Is j(k) a prime number?
False
Let a be -2 + 0*2/6. Let y be (35/15)/(a/(-126)). Let u = y + -68. Is u prime?
True
Let s(f) = 20*f + 1. Let x be s(-7). Let d = -54 - x. Is d a prime number?
False
Let d = 27 - 42. Let o(c) = c**2 + 10*c - 22. Is o(d) prime?
True
Let a(t) = t**2 - t - 25. Let q be a(0). Let o(w) = -w**2 + 19*w + 42. Let m be o(18). Let x = q + m. Is x a prime number?
False
Let x = -17 - -23. Let r = 16 - x. Is r a prime number?
False
Let r(m) = 6*m + 11. Is r(8) composite?
False
Suppose -4*p + s = -610, -s - 612 = -4*p + s. Suppose -49 = -2*a - 5*j + 9, 4*a - p = -j. Is a composite?
True
Suppose -4*l - 2*a + 1518 = 0, -3*l + 1523 = l + a. Is l a prime number?
False
Suppose 3 = 2*b + v - 1, -v = 5*b - 10. Suppose -b*c + x = -0*x - 17, 4*x = 20. Is c a composite number?
False
Suppose -2*t = 3*t - 3585. Is t prime?
False
Let q = -159 - -264. Suppose 4*f = 127 + q. Let d = f - 21. Is d composite?
False
Let t(n) = -n**3 - 6*n**2 - n - 3. Let d be t(-6). Let h(m) = m**3 + m**2 - 3*m - 4*m**2 + 7 - 3*m**2 + 0*m**d. Is h(7) a prime number?
False
Let b = 152 - 103. Let x = b - 34. Is x prime?
False
Let z = -11 - -11. Is z/1 + 3 + 56 prime?
True
Suppose 0*a - 5*a = -2*k - 30, 0 = -4*a + 2*k + 26. Suppose a*t - t - 9 = 0. Is t*-1 + (-3 - -32) a prime number?
False
Let q(f) = -40*f**2 + 1. Let b be q(-1). Let k(l) = l - 28. Let x be k(0). Is (x/2)/(6/b) prime?
False
Let k be (-1)/5 - (-2866)/5. Suppose 2*c = -c + k. Is c composite?
False
Let p(y) = 2*y**2 + 2*y + 3. Suppose -k = -3 - 0. Suppose k*x + 6 + 0 = 0. Is p(x) a prime number?
True
Suppose 4*d - 4*w - 3904 = 0, 5*w - 3103 = -4*d + 810. Is d composite?
False
Let v = 7 - 7. Suppose 5*j - 989 + 264 = v. Is j a composite number?
True
Suppose -4*h = -0*h - 20. Suppose h*o = -0*o - 250. Let q = o - -73. Is q a prime number?
True
Let s(u) = -u + 6. Let i be s(3). Suppose 4*l = -5 - i. Is (-3 - -35) + (l - -1) composite?
False
Let i = -2 - -11. Suppose 3*u + 0 + i = 0, 3*k = -4*u - 12. Is 133/(-2 - (-3 + k)) composite?
True
Suppose 2*s - 49