*3 + q + 145. Is j(n) a composite number?
True
Suppose 4*t + 341 = 2*d - 369, 0 = t - 2. Is d composite?
False
Is ((-424)/(-20))/((-5)/(-25)) prime?
False
Let k = -33 - -31. Let b(o) = -26*o - 1 - 4 + 4. Is b(k) a prime number?
False
Let w = 97 + 18. Is w prime?
False
Suppose 5*b = b + j - 15, j - 3 = b. Let t = b - -23. Is t a prime number?
True
Suppose 1 + 0 = g. Let n = 1 - g. Suppose -3*k + 230 = 5*j, n = 3*j - 8*j + k + 250. Is j composite?
True
Suppose -4*l = -9*l + 90. Let j = 27 - l. Suppose 2*d = 75 - j. Is d composite?
True
Suppose -4*k - g = -1085, 5*g = -4*k - 560 + 1649. Suppose 0 = -2*i + 387 + k. Is i a composite number?
True
Suppose 3*i - 512 = i. Let b = -217 + 88. Let u = b + i. Is u composite?
False
Let d be (-4)/(-6)*36/6. Suppose d*i = -0*i. Suppose i = 5*k - 6*x + 2*x - 587, 342 = 3*k + x. Is k composite?
True
Let y(q) = q**3 - 2*q**2 - 3*q + 4. Let o be y(7). Let l = 569 - o. Is l prime?
False
Suppose 59 + 251 = 2*c. Suppose u + 0*u = -c. Let i = -90 - u. Is i prime?
False
Let d(s) = -17*s**3 - 6*s**2 - 5*s - 7. Is d(-3) a composite number?
True
Let x(w) = w**2 - w - 4. Let y be x(0). Let t = -4 - y. Suppose -4*h + 7 + 81 = t. Is h a prime number?
False
Let h(v) be the first derivative of -9*v**3/2 + v**2/2 - 2*v + 1. Let x(y) be the first derivative of h(y). Is x(-2) a composite number?
True
Suppose y = -c + 492, -y + 242 = -2*c - 241. Is y composite?
True
Let p(k) = 81*k - 35. Is p(6) a prime number?
False
Let c = 10 + -39. Suppose 0*o = 3*o + 2*s - 142, o - 2*s = 58. Let b = c + o. Is b a prime number?
False
Let n be (4 + 0)/(2/1). Is (n - 0)*(-37)/(-2) a composite number?
False
Let f(q) = -q**2. Let w be f(0). Suppose w*k = 3*k - 159. Is k composite?
False
Let j = 205 + -71. Is j a prime number?
False
Suppose 19 + 11 = -5*h + 2*x, -h = 4*x - 16. Let a = -2 - h. Suppose 4*f = 2*r + 2*f - 38, 4*f + 48 = a*r. Is r a prime number?
False
Suppose -4*z - 5*h = -539, -4*z + 34 = -3*h - 481. Is z composite?
False
Is -214*25/(-80) - (-1)/8 a composite number?
False
Let i(r) = -r - 7. Let a be i(-11). Suppose -100 = s - 5*s + a*k, 5*k + 79 = 3*s. Is s prime?
True
Let b(w) = w**3 + 12*w**2 + 4*w - 12. Let s = 4 - 15. Is b(s) a prime number?
False
Let y be (-2)/4 + 15/(-2). Let f be 13 - 1 - y/(-4). Suppose -15 = 5*a + f, 4*a = -4*o + 192. Is o prime?
True
Let t be (14/2)/(3/369). Let b = t + -568. Is b a prime number?
True
Let j(m) = m**3 - 2*m**2 + m - 25. Is j(13) composite?
False
Let o = 299 + -48. Is o prime?
True
Suppose c - 6 = -3. Suppose -121 = -c*r - 22. Is r a composite number?
True
Let f be 12/(-9) - (-3)/9. Let s(u) = -2*u**3 + 1. Let y be s(f). Suppose 4*p = 2*i + 718, 4*i = y*p + 5*i - 536. Is p prime?
True
Let x = 23 + 59. Suppose -w = -5*v + 1074, -v + 3*w + x = -130. Is v a composite number?
True
Suppose 0 = 4*n - 3*l - 126, -2*n + l = -4*l - 70. Is 4/10 - (-408)/n a prime number?
False
Suppose -2*o + 1424 = -302. Is o a composite number?
False
Suppose 5*q - 2*k = -0 - 2, 0 = -3*q + 2*k + 2. Let s be (1 - (-6)/2) + q. Suppose g + 5*d - 19 = 1, -2*g + 24 = s*d. Is g composite?
True
Let r(n) = 26*n + 2. Let d be r(8). Suppose -5*k - 432 - 183 = 0. Let b = k + d. Is b a prime number?
False
Let n(z) = z + 1. Let y be n(-7). Let i(o) = o**3 + 9*o**2 + 6*o + 7. Is i(y) prime?
True
Let n be (-24)/(-14) + 4/14. Suppose -3*j = n*l - 23, j = l - 5 + 1. Is l composite?
False
Let o(p) = -90*p**2 + p - 2. Let x be o(1). Let k = -56 - x. Is k prime?
False
Suppose 0 = 4*i - f - 15175, i - 4659 = -5*f - 881. Is i a composite number?
False
Let d(b) = -b**3 + 9*b**2 - 9*b + 10. Let q be d(8). Is -2 + q/((-4)/(-386)) prime?
True
Let w be -17 + 1 + (-5 - -2). Let v be (-1)/(-4) + w/(-4). Let l(z) = z**2 - 6. Is l(v) prime?
True
Suppose 3*b - b = 0. Suppose b*r + 4*r - 216 = 0. Let l = 103 - r. Is l a prime number?
False
Let j = 413 + -106. Is j a composite number?
False
Let j(x) = 3*x**3 - 4*x**2 - 4*x + 1. Let g be j(-4). Let i = -73 - g. Is i a prime number?
False
Suppose -l + 2377 = 4*r, 4*l + 2*r - 7*r = 9403. Is l a prime number?
True
Suppose -3*w = -2*w - 44. Let j = 28 - 7. Let p = w - j. Is p composite?
False
Let k(z) = -z - 24. Let c be k(0). Is 36/c*(-100)/6 a composite number?
True
Let b = 232 - 105. Is b a composite number?
False
Suppose 8*r = 12*r - 1884. Suppose 0 = 4*j - j - r. Is j prime?
True
Let r(t) = -t**2 + 9*t - 1. Let d(h) = -h**2 + 10*h. Let q(g) = -2*d(g) + 3*r(g). Is q(5) composite?
False
Let b be ((-352)/24)/((-4)/78). Suppose -4*h + 6*h - b = 0. Is h a prime number?
False
Suppose -4*i = r - 11275, 5*r = -5 - 0. Is i a prime number?
True
Suppose -4*c - 4*s - 176 = -8*c, 5*c - 210 = -5*s. Let b = -4 - -16. Suppose d - c = -b. Is d a composite number?
False
Let a(v) = v**3 + 2*v - 1. Let x be a(1). Let s = 5 - 0. Suppose 0 = 2*k - x*u - 52, 0*u - 124 = -s*k + 3*u. Is k prime?
True
Suppose 4*z + 0*z + 12 = 0. Let i(g) = 5*g**2 + 5*g + 3. Is i(z) a prime number?
False
Let q be -27 + -1*(2 - 3). Let f = q - -9. Let c = 2 - f. Is c prime?
True
Let j = 42 + -16. Let o = j - -53. Is o prime?
True
Suppose -2*l - l = -4*k + 333, l - 440 = -5*k. Is k prime?
False
Let v(c) = -c**3 + 12*c**2 - 5*c - 7. Is v(9) prime?
True
Suppose 0*o + 4*o - 314 = -2*y, 5*y + 5*o = 785. Is y prime?
True
Let g(h) = 20*h**3 - 2*h**2 + 1. Let n = 3 + -5. Let f be 0/n + 1 + 0. Is g(f) composite?
False
Let q(v) = -8*v**3 - v**2 - 1. Is q(-2) a composite number?
False
Suppose -3*a + 140 - 11 = 0. Is a prime?
True
Suppose i - s = -0*s - 7, 0 = s + 5. Is (-2)/i*2*159 a prime number?
True
Let w(g) = 49*g - 50. Is w(15) a composite number?
True
Is 18430/70 - (-4)/(-14) a prime number?
True
Let r(o) = o**3 - 2*o**2 - 5*o - 7. Let q be r(5). Let c = 71 - q. Suppose c = -4*f + 168. Is f composite?
True
Let u(x) = x - 2. Let l be u(9). Let p(d) = -d**3 + 9*d**2 - d - 8. Is p(l) prime?
True
Let s = 127 + -78. Is s prime?
False
Suppose 0 = -3*d + 19351 - 304. Is d a composite number?
True
Let j(s) = -5*s**3 - s**2 + 1. Suppose 2 = 4*y + 6. Let z be j(y). Suppose -12 = z*b - 142. Is b a prime number?
False
Is (18/12)/((-3)/(-16522)) prime?
False
Let i(f) = f - 1. Let g(v) = v**2 - v - 2. Let p be g(0). Let d be i(p). Is ((-1)/(-1))/(d/(-165)) composite?
True
Let l(v) = 40*v**3 - 4*v**2 + 4*v - 1. Is l(3) a prime number?
False
Suppose 0 = 6*d - 2*d - 32. Let o(j) = j + 2*j + 2*j**2 - 6*j - 9. Is o(d) a prime number?
False
Let k = -922 - -1335. Is k prime?
False
Let m(b) = b**3 + 3*b**2 - 4*b. Let l(v) = 3*v + 2. Let a be l(-2). Let k be m(a). Suppose k*f = f - 67. Is f a prime number?
True
Is ((-25)/(-5))/(3/21) a composite number?
True
Suppose x = -8*n + 3*n + 18, 15 = x + 4*n. Is (x - (0 + 6)) + 40 a composite number?
False
Suppose -2*g - 5*v = -g + 8, 2*g - 5*v = 14. Suppose -6 = 3*f, b - 114 = -b + g*f. Is b prime?
False
Let t be 146/((-4)/(-2)) - -2. Suppose 3*p = 8*p - t. Is p a prime number?
False
Suppose -33 - 11 = -4*q. Suppose 2*y = 5*z + q, -2 = -4*z - y - y. Is 112 - (0 + 4 + z) composite?
False
Let k(s) = s - 4. Let l be k(6). Suppose -l*a + 835 = 3*a. Is a a prime number?
True
Suppose -a + 10 = a. Suppose 2*i + 3*f - 148 - 90 = 0, -a*i - f = -569. Is i composite?
False
Suppose 14*x + 185 = 19*x. Is x prime?
True
Is 1338/(-4)*18/(-27) a prime number?
True
Let g(t) = -t**2 + t + 641. Is g(0) a composite number?
False
Is (3 - -3) + -4 + 1283 a prime number?
False
Suppose -497 = -2*d + 615. Suppose -5*x + d = -x. Is x composite?
False
Let b(w) = w + 10. Let j be b(-8). Suppose 0 = -v + 5*y + 710, -3*v = j*v + 2*y - 3415. Is v composite?
True
Suppose 6*a - 35 = -n + 5*a, -a = -3*n + 105. Let g be (-1 + 0)/((-7)/n). Let x = g + -2. Is x a composite number?
False
Let x = 2 - 2. Let o(s) = -2*s + s**2 + 0*s + x*s**2 - 1. Is o(-6) composite?
False
Let w be -3 + 3 - (-1 + -6). Suppose -w*f + 389 = 3*a - 3*f, -3*a - 5*f = -391. Is a composite?
False
Let v be 50/4*(-8)/(-10). Let u(a) = -a**2 + v - 9*a + 12*a + 11*a. Is u(9) a prime number?
False
Let n(r) = r**3 + 8*r**2 - r - 3. Let m be n(-8). Suppose 3*w - 576 = 3*l, m*w - 399 = 2*l - 0*l. Let h = l - -320. Is h composite?
True
Let r = 0 + 309. Is r composite?
True
Let o(t) = 5*t**3 + 14*t**2 - 3*t. Let h(b) = -9*b**3 - 27*b**2 + 6*b + 1. Let q(d) = -6*h(d) - 11*o(d). Is q(7) prime?
False
Let