 Suppose -4*j + 245 = -w. Is j a composite number?
True
Let s(m) = m**2 + m + 3. Let i be s(3). Suppose -n + 2*y + i = -2*y, 15 = -5*y. Suppose 2*j - 215 = -n*j. Is j prime?
True
Suppose 0*r - 1011 = -3*r. Is r a composite number?
False
Let c = 4315 + -3030. Is c composite?
True
Let u(v) = 378*v + 1. Is u(1) a prime number?
True
Let o be 2 + 2 - -2 - 1. Suppose 4*z = -g + 123 + 184, -4*g - 389 = -o*z. Is z composite?
True
Suppose -4*x - 88 = -4*w, -5*x + 2*x - 43 = -2*w. Suppose 2*u - w = 215. Is u composite?
True
Let h = -6 - -3. Let z(l) = l - 4. Let i be z(7). Is (-26)/(-2) - h/i a prime number?
False
Suppose 0 = 5*m - 5 - 5. Suppose 5*f + 94 - 283 = -m*k, 3 = -3*f. Is k prime?
True
Suppose -5*k - 6*t = -t - 1525, -3*t + 1529 = 5*k. Is k a composite number?
False
Let g be (-1)/(-5) - (-2)/(-10). Suppose 2*z = -4*r + 32, -3*r + 0*r + 4*z + 13 = g. Is r prime?
True
Let k(z) = -z**3 - 3*z**2 - 5*z - 8. Is k(-7) prime?
True
Let s(g) = 9*g**2 - 2*g - 2. Let t be (-6)/(-27) + (-60)/27. Is s(t) composite?
True
Suppose -391 = -4*d - 2511. Is ((-2)/(-4))/((-5)/d) composite?
False
Let u(z) = -6*z - 33. Is u(-14) a prime number?
False
Suppose -4*g + 3*g + 226 = 0. Suppose 0 = 2*t - 4*t + g. Is t prime?
True
Suppose -3*o + 760 = o. Suppose -o = 4*m - 66. Let w = 118 - m. Is w composite?
False
Suppose 3*i + 0*i - 1432 = 5*b, 3*i - 1387 = -4*b. Is i a composite number?
True
Let c(t) = -t + 7. Let r be c(6). Let u be (-68)/(-12) + r/3. Is 100/(-2)*(-3)/u a composite number?
True
Let u(y) = -5*y**2 - y - 71. Let s(k) = 6*k**2 + k + 70. Let t = -2 + -4. Let x(j) = t*s(j) - 7*u(j). Is x(0) prime?
False
Suppose 57 + 288 = 5*f. Is f composite?
True
Let j(s) = s**2 + 7*s - 5. Let t(z) = -z**3 - z**2 - 5*z - 4. Let g be t(-3). Suppose 2*y + g = 11. Is j(y) a composite number?
False
Suppose 4*j - 72 = -0*j. Let v = -18 - -26. Let l = j - v. Is l prime?
False
Suppose 0*x = 2*x + 14. Let a = 3 - x. Is a composite?
True
Let k(a) = 84*a - 1. Is k(1) prime?
True
Let p = 41 - -270. Is p a prime number?
True
Let g(m) = m**3 - 9*m**2 + 9*m - 5. Is g(10) a prime number?
False
Let a = 1038 - 553. Is a a prime number?
False
Let y(m) = 116*m + 21. Is y(4) a prime number?
False
Let v(l) = 2*l - 4. Let c be v(3). Suppose 7 = q + c*k - 5, 7 = q + 3*k. Is q composite?
True
Let f(c) = 5*c**2 - 3*c + 1. Let l be f(2). Suppose -u + l = 4*u. Let g = u + 11. Is g prime?
False
Let b(r) = r - 8. Let t be b(10). Let l be 1*2*t/4. Is -2*l*69/(-6) composite?
False
Suppose -15 = -0*r - 5*r. Suppose 3*q = 3*j - 15, 2*j - 4*q = -r*j + 21. Let h(y) = 52*y**3 - y. Is h(j) a prime number?
False
Suppose 85 = k + 5*f, 2*k + 0*f = -f + 170. Is k a prime number?
False
Suppose 2*t + 2 = 0, -4*t = 2*m - 70 - 296. Is m a prime number?
False
Suppose r = -0*t + 2*t - 87, t - 42 = 2*r. Suppose -2*z + t = 2*z. Is z prime?
True
Let w be 2/(12/(-111))*-20. Suppose v + w = 3*v. Is v prime?
False
Let v(k) = -k. Let h be v(-3). Suppose -5*l + h*z + 106 + 57 = 0, 0 = 2*l - z - 66. Is l prime?
False
Let o(l) = 30*l - 3. Suppose f = 2*j - 3, -f + 3*f = 5*j - 9. Is o(f) prime?
False
Let v(g) = -g**3 - 9*g**2 - 9*g + 5. Is v(-8) composite?
False
Let n(f) = -49*f**3 - f**2 + 1. Let l be n(-1). Suppose 3*d = -3*v + d + 136, -v + 3*d = -l. Is v a composite number?
True
Let s be -1 - (0 + 1) - -13. Let z(y) = 39*y + 18. Is z(s) a composite number?
True
Suppose 5*r + 13 = -22. Let s(w) = -w + 3. Let z be s(r). Is (z/3)/(2/6) composite?
True
Let j(q) = -141*q - 4. Let a be j(2). Let i = a + 579. Is i a composite number?
False
Let h(k) = 2*k**3. Let j be h(2). Let l be 4/j - (-2478)/8. Suppose t = -t + l. Is t a composite number?
True
Suppose 2*p + 16 = 5*d, 0*p + p = -2*d + 10. Suppose -p*u + 11 = -w + 2, 4*u - 19 = w. Let m(l) = 7*l - 4. Is m(u) a composite number?
False
Suppose -3*o = 3 + 3. Let w = o - -3. Let b = 16 - w. Is b a composite number?
True
Let t be (1 + 1)*27/6. Let r(i) = i**2 - 4*i - 10. Is r(t) a composite number?
True
Suppose -4*l - 153 = -5*l. Is 4/18 - (-1496)/l a composite number?
True
Suppose x - 8*o + 5*o = 1271, -o = 0. Is x a composite number?
True
Let o = 107 + -1. Let g = o + -55. Is g a composite number?
True
Let v(k) = 93*k - 2. Let w be v(3). Let c = 181 - w. Let m = c + 179. Is m a composite number?
False
Let r(d) = -d + 8. Let f be r(6). Suppose -f*k = -4*o - 0*k + 286, 0 = -o - 3*k + 54. Is o composite?
True
Let o = -716 + 1053. Is o a prime number?
True
Suppose -4*k - 3*v + 721 = 0, -5*k + 57 = -3*v - 851. Is k composite?
False
Let r be (2 - 3)*(-1 - 2). Let o be (9/6)/r*0. Suppose -4*x = -4*t - 0*x + 108, o = -3*t + x + 89. Is t prime?
True
Is 3/2*5952/18 - 3 a composite number?
True
Is (-3)/(((-45)/185)/3) composite?
False
Let d = 3 - 1. Let h be 11/d + 3/(-2). Suppose -3*l - 106 = -h*a, 4*l + 6 = -2. Is a a composite number?
True
Is (-2)/(30/(-2855))*3 composite?
False
Let y(o) = o**3 - 6*o**2 + 6*o - 7. Let z be y(5). Let k be 290/12 - (-1)/(-6). Is (3/(-6))/(z/k) composite?
True
Let y = -208 - -496. Let m = -127 + y. Is m prime?
False
Let x(m) = -m + 13. Is x(-9) a composite number?
True
Let r = -3 - -6. Suppose 0*c - 4*c - 3*b = -55, 0 = -r*c + b + 25. Is c a composite number?
True
Let a(q) = 3*q**3 - 2*q**2 + 4*q - 19. Is a(4) a prime number?
True
Let i(l) = -7*l**3 - 9*l**2 - 7*l - 6. Let d(y) = -y**2 + 4*y + 7. Let r be d(6). Is i(r) composite?
True
Let j = 970 - 624. Is j prime?
False
Suppose 338 = -7*d + 9*d. Is d composite?
True
Let d be (0 - (2 - 3)) + 2. Is (-660)/(-3) + d - 0 a composite number?
False
Suppose 2*u = -0*u + 356. Is u a composite number?
True
Let l be (-4 + 3)*-1*7. Suppose 3*t - 5 = l. Is t/(-12) + 166/3 prime?
False
Suppose 883 = 2*h - 157. Let y = h - 183. Is y prime?
True
Let r = 1329 + -2113. Is 2/6 - r/6 prime?
True
Suppose -3*g + 15 + 6 = 0. Suppose 3*f - g*f + 148 = 0. Is f a composite number?
False
Let q(j) = 2*j**3 - 4*j**2 - 4*j - 2. Let k(y) = y**3 + 6*y**2 - 2*y - 8. Let w be k(-6). Is q(w) composite?
True
Suppose 0 = 4*f - 5*c + 846 - 0, 4*c - 844 = 4*f. Let k = f - -143. Let b = -35 - k. Is b a prime number?
True
Let r(g) = g**2 - 2*g - 1. Let c be r(-1). Suppose 0 = -2*j - 3*t - 3 - 6, c*j - 5*t - 31 = 0. Is j composite?
False
Let y = -36 + 26. Let k = y + 8. Is k + (136/2 - -1) composite?
False
Let h = 13 + -22. Let y be 3*6/h*-1. Suppose 0 = -3*f + 2*t - 5*t + 12, f + y*t = 6. Is f prime?
True
Let u be -81*(16/(-12))/4. Let v = 53 - u. Is v prime?
False
Let p = -2 + -7. Let n be ((-12)/p - 2)*12. Is (76/n)/(2/(-12)) a prime number?
False
Suppose -2*v + 6*v = 3988. Is v composite?
False
Suppose 0 = 6*m - 3*m - 93. Is m composite?
False
Suppose 401 = 3*h - 5*b - 70, 4*b - 471 = -3*h. Is h composite?
False
Suppose 4*r = 18 + 22. Let d(c) = 2*c**2 + 0*c**2 - 3*c**2 - 6 + r*c. Is d(7) composite?
True
Suppose -3*m + 4*p = -0*p - 41, 3*m - 44 = p. Is m prime?
False
Suppose f = -3*f + 4, 3*d = -3*f + 51. Let y = -6 + 18. Is 42/4*d/y composite?
True
Suppose -2*d + 4*d = -22. Let t = -8 - d. Is t*(58/3 + 0) a composite number?
True
Let w = -11 - -15. Let l(f) = -f. Let j be l(-7). Suppose -w*r + k + 56 = 0, -5*r = j*k - 2*k - 45. Is r prime?
True
Suppose h + 12 = 5*h. Suppose -h*r + 0*r + 195 = 0. Is r a prime number?
False
Let g = -13 - -3. Is g*(2/(-1) - -1) a prime number?
False
Suppose -g + 4*z = -24, -2*g - 5*z = -0*z + 17. Suppose 0 = y + 3*p - 3, 3*y + g*p - 15 - 14 = 0. Is y prime?
False
Let q(a) = 150*a**3 - a**2 - a + 1. Suppose 5*z - t = -6*t + 30, -10 = -5*z - t. Is q(z) composite?
False
Let v(h) = -h + 7. Let i = -5 - -13. Let y be v(i). Let c = y - -22. Is c a composite number?
True
Let k(p) = 89*p**2 + p + 1. Let x(b) = b**3 - 6*b**2 - 6*b - 6. Let l be x(7). Suppose 3 - l = -2*a. Is k(a) composite?
False
Let i = -3 - -4. Let j = 2 + i. Let n(r) = -r**3 + 3*r**2 + r + 3. Is n(j) prime?
False
Let u(l) = -l - 9. Let j be u(-11). Suppose i = j - 3, 5*s - 12 = 2*i. Suppose -2*k + 316 = s*k. Is k prime?
True
Is 15*29/(-6)*-2 a prime number?
False
Let k = 234 - -97. Is k prime?
True
Suppose 0 = -4*i - 2*q + 6, 2*i - 5*q + q = -22. Is 1934/12 + i/6 prime?
False
Suppose 0*v = 4*v. Let b be (-3)/((-9)/249) - v. Suppose 4*x = 3*x + b. Is x prime?
True
Suppose -4*a - 3*m - 92 = -2*m, 4*m = 2*a + 46. Let f = a - -100. Is f a prime number?
Fal