-201. Is x a prime number?
True
Suppose -5*o + 17 = -13. Suppose 3*m = -0*m + 12. Suppose m + o = t. Is t a prime number?
False
Suppose -4*x = -4*t + 252, 4*x - 97 = -2*t + 17. Is 0 + (t - 1) + -1 a composite number?
False
Let n(v) be the second derivative of -v**3/6 + 2*v**2 + v. Is n(-9) a prime number?
True
Let o(s) = -s**2 - 12*s + 12. Suppose 0 = -4*d + 28 - 72. Let c be o(d). Let a = c + 32. Is a a prime number?
False
Let m = 659 + 144. Is m prime?
False
Let i(l) = -l**2 - l - 8. Let y be i(6). Let p = y + 99. Is p a prime number?
False
Suppose -2*z = 3*b - 2059, b = z - 6*z + 682. Let t = -418 + b. Is t composite?
False
Is (17 - 16)*(487 - 0) a composite number?
False
Suppose -15 = 28*p - 33*p. Suppose p*c = -215 + 1004. Is c a composite number?
False
Let y be -30 - (-3)/(9/3). Is (-15)/(-3) - 3 - y prime?
True
Suppose 15 = 5*h + 5*v, -3 = -4*h - 5*v + 10. Let d = -41 + 29. Let a = h - d. Is a composite?
True
Let k = 50 + 42. Suppose -z = -x + 112, 5*x + 3*z = -k + 628. Is x a prime number?
True
Let b = -21 + 29. Let c be 6/(-24) - (-1466)/b. Suppose -4*n - 2*o + 281 = -c, o - 347 = -3*n. Is n a composite number?
True
Let n = 226 + 97. Is n prime?
False
Let u(m) = m**3 + 9*m**2 + 7*m - 2. Let v be u(-8). Suppose -8*y = -v*y - 78. Is y a composite number?
True
Let b(v) = 2*v - 14. Let t be b(9). Suppose k + 8 = -3*k. Is 38 - (k + -1 + t) a composite number?
False
Let f be 8 + -8 + (0 - -4). Suppose 7*d - 48 = f*d - 3*s, 4*s + 107 = 5*d. Let l = 0 + d. Is l composite?
False
Suppose -5*i + 2*t = -19, -5*i - 4*t = -i - 4. Suppose -4*d - 409 = -i*p, -d = -3*p + 666 - 251. Is p a composite number?
False
Let t(y) = 2*y**2 + 3*y + 9. Let m be t(-6). Let r be (2/(-6))/((-3)/m). Suppose f = 2*f - r. Is f a prime number?
True
Suppose 2*m + 110 = 338. Suppose 750 = 4*f + m. Is f composite?
True
Let h(k) = k**3 + k**2 - k + 1. Let x(u) = 3*u**3 - u**2 - 8*u + 7. Let v(d) = -2*h(d) + x(d). Let z be v(5). Suppose -4*s = -3 - z. Is s a composite number?
False
Let i(q) = q**3 + 8*q**2 + 6*q + 4. Let f be (-2)/8 + (-81)/(-4). Suppose -f = 4*o - 0. Is i(o) prime?
False
Let m = 20 + -20. Suppose m = -2*p + d + 175, 3*p - 134 - 139 = -2*d. Is p a prime number?
True
Let m be (-6)/(-2) + (-167 - 1). Let t = m + 244. Is t a prime number?
True
Suppose s = 164 - 37. Is s a composite number?
False
Let v(f) = -f - 2. Let p be v(-7). Suppose -10 = p*j, 0*c = -4*c - 2*j + 224. Is c a composite number?
True
Let c(g) = g + 0 + 6*g + 13. Is c(6) a prime number?
False
Suppose -5*o + l = -85, -4*o - 3*l + 68 = l. Suppose -3*h - 2*b + 3*b = 16, h + 2*b + o = 0. Let v = 13 + h. Is v a prime number?
False
Let o(g) = -5*g + 3. Let b(i) = 3*i - 9. Let w be b(7). Suppose -w + 0 = 3*t. Is o(t) a composite number?
False
Let j be ((-4)/(-10))/(1/25). Suppose 0 = -d - 3*w + j + 4, 5*w = -3*d + 54. Let b = d - -2. Is b composite?
True
Suppose -293 = -5*z - 108. Is z a prime number?
True
Let n(f) = 5*f + 4. Is n(3) a prime number?
True
Suppose 0*l - 19 = -l - 4*k, 2*k - 17 = -3*l. Suppose 5*j = -g + 579, l*j - 2*g = j + 222. Is j a composite number?
True
Let h(d) = -450*d + 49. Is h(-3) a composite number?
False
Let f = 4 - 1. Let g(u) = u + 4. Let s be g(-2). Suppose -4*b + 84 = 2*t, f*b - 4*t - 79 = -s*b. Is b prime?
True
Let j(m) = 137 + 2*m - 3*m - 10. Let b = 35 - 35. Is j(b) prime?
True
Let s(c) = -73*c. Let g be s(-13). Suppose 99 = 4*z - g. Is z a composite number?
True
Suppose 0 = l - 5*a - 2662, 0*l - 4*l = -2*a - 10594. Is l composite?
False
Let w = -46 - -24. Let v = 80 + w. Is v composite?
True
Let u(g) = 2*g**3 - 3*g**2 + 4*g - 1. Is u(5) a composite number?
True
Suppose -2 = -j, 5*i - 9*j + 13*j = 6573. Is i composite?
True
Let x = -2 - -6. Suppose k + 273 = x*k. Suppose 3*b - 89 = 5*v, v - k = -3*b + 5*v. Is b a composite number?
True
Suppose 0 = 4*m + b + 584, 8*b = 4*b. Let g = m - -211. Is g prime?
False
Suppose 3*v + 29 = 2*k, -5*v - 46 + 3 = 2*k. Let t(q) = q**3 + 9*q**2 - 5*q - 7. Is t(v) composite?
True
Let o(u) = 8*u + 16. Let j be o(6). Let s = j + 159. Is s a prime number?
True
Let c(y) = 15*y**2 + 2*y - 4. Is c(5) composite?
True
Is (6/9)/((-8)/(-17268)) a composite number?
False
Let u(o) = 35*o**2 - 3*o - 1. Is u(-2) a composite number?
True
Let b = -10 - -14. Let l be (-1)/(-2)*0 + b. Suppose 477 = 3*u - 3*n, 654 = l*u + 4*n + n. Is u a composite number?
True
Is (-1*1)/((-1)/457) prime?
True
Suppose 5*o - 5*z - 1050 = 0, -4*o + 5*z = -2*o - 417. Is o composite?
False
Suppose 248 = 3*r - 583. Is r prime?
True
Let j(l) = 72*l - 13. Is j(8) composite?
False
Suppose -3*z - 28 = -r, -2*r + z + 86 = 5*z. Is r prime?
True
Let j(k) = 3*k**2 - 9*k + 11. Is j(-13) a composite number?
True
Let r = -525 - -820. Is r a prime number?
False
Let h(b) = -4*b - 8*b**3 - 3*b**3 + 9*b - 4*b - 3. Is h(-3) composite?
True
Let c be -8*(-21)/6*4. Suppose -3*r + 35 = -c. Is r prime?
False
Suppose -3*x + 3*m + 198 = -6*x, -m = -x - 74. Is x/(-5)*(-1)/(-2) composite?
False
Suppose 6*g + 295 = g. Let u = 174 + g. Is u prime?
False
Let i(f) = -f - 4. Let w be i(-5). Let t(m) = -10*m**2 + 4*m - 1. Let n be t(3). Is (n/4)/(w/(-4)) a composite number?
False
Suppose 4*x - 2*l - 9 - 1 = 0, -4*x = -3*l - 15. Suppose -4*h + 1340 = -x*h. Is h a composite number?
True
Suppose -2*v + 3276 = 158. Is v composite?
False
Let r(w) = 14*w + 3. Let s be r(8). Suppose 7*p - 4*p = 2*v - s, 60 = v + p. Is v a prime number?
True
Let w = 39 - 72. Let h = -93 - w. Let c = h + 129. Is c composite?
True
Let u(v) = v**3 + v**2 + v + 1. Let k be u(-1). Suppose 3*i - 4*b - 242 = k, 4*b = -2*i - b + 123. Is i a prime number?
False
Suppose a + 0 = 3. Suppose w = 2*y + 252, 343 + 168 = 2*w + a*y. Is w a composite number?
True
Let z = 1 + 68. Is z composite?
True
Suppose 0*u + 1020 = 4*u. Suppose j + u = 4*j. Is j a composite number?
True
Let z be (-3 + 1 - -4)/1. Suppose 0 = 5*d - z*d - m - 356, 118 = d - m. Is d a composite number?
True
Let t = -158 - -244. Let d = -43 + t. Is d a composite number?
False
Let o(l) = l**3 + 8*l**2 + 7*l + 5. Let s be o(-7). Suppose -2*x - 2*n - 447 = -n, 653 = -3*x - s*n. Let j = -161 - x. Is j a prime number?
False
Let v(h) = -44*h - 13. Let z be v(-11). Let l = z - 220. Is l prime?
True
Suppose 2*j + j - 1630 = -4*d, 4*j + 826 = 2*d. Is d composite?
False
Let g(v) = 380*v + 1. Suppose 0 = w - 4 + 3. Is g(w) composite?
True
Suppose 0 = -w + 3*s + 3, -2*s + 3 = 3*w + 5. Let r be w/(-3) - 0/3. Is 24/2 + r + -1 prime?
True
Let n = 27 - 22. Suppose -p = n*p - 222. Is p prime?
True
Is 0 + 179 + -2 + 4 a composite number?
False
Suppose -719 = 5*n + 4*a, 4*n + 7*a - 2*a + 577 = 0. Let l = 13 - n. Suppose 16 = -4*d + l. Is d composite?
True
Suppose -7 = 3*u + 4*l, u = -2*u - 2*l - 11. Let d(y) = -3*y**3 - 7*y**2 - 3*y - 4. Is d(u) a composite number?
False
Suppose 0 = -4*l + 5*l - 771. Suppose 8*b = 5*b + l. Is b prime?
True
Let h = -4 + 7. Let x be -12*h*(-1)/(-2). Let y = 61 - x. Is y a prime number?
True
Let p(c) = 32*c**2 + 2*c + 1. Suppose 5*r - 6*r = 1. Is p(r) prime?
True
Let c be 574 + 6/(-3) + 1. Suppose -c = -3*g - 0*g. Is g composite?
False
Suppose -1 = -4*r - n, -2*r = 3*n - 0*n - 3. Let c = r + 35. Is c prime?
False
Let t(y) be the second derivative of 0 + 1/20*y**5 + 0*y**4 + y + 2*y**2 + 1/3*y**3. Is t(3) a prime number?
True
Suppose 0 = 3*k + 4*u - 2848, 5*k + 3*u + u = 4736. Let j = -265 + k. Is j prime?
False
Is (-25972)/(-34) + -1 - (-6)/51 a prime number?
False
Let x be (-6)/4*27664/(-57). Suppose -3*f = -3, f = -5*l - 2*f + x. Is l prime?
False
Let x(t) = 32*t**2 - t - 2. Let q(g) = 48*g**2 - 2*g - 3. Let k(b) = -5*q(b) + 8*x(b). Is k(-2) prime?
True
Let t(q) = -31*q. Suppose 3*k - j = 2*j - 18, 5*k - 4*j = -25. Is t(k) composite?
False
Suppose -11 + 3 = -2*k. Let n = -4 + k. Suppose n*v - 13 = -v. Is v a composite number?
False
Suppose -4*b = -7*b - 159. Let g = b + 104. Is g a composite number?
True
Suppose 0 = -5*v - 4*t + 2460, -v - 2*t + 984 = v. Suppose -3*s + v = s. Is s a composite number?
True
Let x(r) be the first derivative of 6*r**4 + 2*r**3 - r**2/2 + 2*r + 3. Is x(3) prime?
True
Let i(d) = -5*d**3 - 6*d**2 + 2*d**3 + 2*d**3 + 4. Is i(-7) composite?
False
Let n = 816 - 487. Is n a prime number?
False
Suppose c + 16 = 4*c - 2*r, -3*r + 6 = 3*c. Let l