?
True
Let l(g) = g**3 + 3*g**2 + 4*g + 3. Let s be l(-2). Let j be (-1 - 0)*(-3)/s. Is (-19)/j + 2/3 a prime number?
True
Let y(r) = -1178*r - 3. Is y(-2) prime?
False
Suppose 0 = 5*b - 4*j + j - 30, 2*j = -b - 7. Is 6/(6 - b) - -95 a composite number?
False
Suppose -34 = n + 94. Let z = n + 243. Is z prime?
False
Let l(w) = 16*w**2 + w - 1. Let m be l(-2). Suppose -3*u - 4*k + 21 - 59 = 0, -2*u - 37 = 5*k. Let b = m + u. Is b a composite number?
True
Let n = -36 + 68. Suppose 2*g - 15 = u - 62, 0 = u + g - n. Is u composite?
False
Is ((-1688)/8)/((-1)/2*2) a prime number?
True
Let q be (-2)/(-2) - -4 - -1. Let w = q - 3. Suppose -v - 3*b + 38 = 0, w*v + 4*b - 152 = -13. Is v prime?
True
Suppose -3*k + 1784 = g, 257 = 2*k + g - 932. Suppose -k = -4*z - x, -2*z = -3*z + x + 150. Is z prime?
True
Suppose -5*g + t + 3*t = -8203, -2*t = -3*g + 4923. Is g a composite number?
True
Suppose -3*c - 3*i = 2*i - 1074, -3*i = -5*c + 1756. Let z = 571 - c. Let u = z - 153. Is u a prime number?
False
Let f(u) = 17*u**2 + 5. Is f(4) a composite number?
False
Let b be (-24)/(-15)*(-10)/(-4). Suppose g = -b*l + 3*l + 32, 3*l = -15. Is g a prime number?
True
Let l be (-1)/((-6)/(-2))*-3. Let z(j) = j + j + 4 + 118*j**2 - 5. Is z(l) prime?
False
Suppose -2*z = -6*z + 228. Is z a prime number?
False
Suppose 3*k = -5*x - 20, -k + 12 = -3*k - 4*x. Is (-334)/k - (-6)/(-15) a prime number?
False
Let t(g) = g**2 - 1. Let w be t(4). Let u = -8 + w. Is u a composite number?
False
Suppose 2*w + 7 = 3*z, -5*w + 13 = 3*z - 1. Suppose -z*o + o = -148. Is o composite?
True
Suppose 0*y + 73 = -y. Let i be (-1)/(-1) - (-2 + y). Let x = i + 55. Is x a prime number?
True
Let w(o) = -7*o. Let p be w(-6). Let a(b) = -2*b**2 - 3*b - 3. Let r be a(-4). Let h = r + p. Is h prime?
True
Suppose -40*v + 3676 = -36*v. Is v prime?
True
Let c(f) = -f**2 - 64*f - 16. Is c(-27) composite?
False
Suppose -5*b + 19 + 616 = 0. Is b composite?
False
Let r(d) = 141*d**3 + 5*d**2 - 2*d + 3. Is r(2) a prime number?
False
Suppose -275 = -3*n + 460. Suppose -k - 4*k + n = 0. Is k composite?
True
Suppose 2*c - 102 = 320. Suppose 2*o - o - 2*y - c = 0, 0 = -o - 5*y + 183. Is o a composite number?
True
Let m = 6 + -3. Let v(c) = 0*c**2 + 4*c**m - 3*c + c**2 + 2*c**2 + 0 + 1. Is v(3) prime?
True
Let j(c) = -17*c + 8. Is j(-9) prime?
False
Let s be -1157 + (-4 - 3/(-1)). Is s/(-8) + (-4)/(-16) a prime number?
False
Let h be -2*1*(-3 + 2). Let g be h - 5/(15/(-876)). Is (g/9)/((-4)/(-6)) composite?
True
Suppose -o - 6 = -7. Let m(i) = 4*i - 4*i**2 + o + 12*i**2 - 3 + 1. Is m(-3) composite?
False
Let n(b) = 11*b. Let i(o) = -11*o + 1. Let t(r) = 2*i(r) + 3*n(r). Is t(7) a composite number?
False
Let d(t) = -7*t + 1 - 7*t - 3*t. Let j = 29 - 33. Is d(j) a composite number?
True
Let q be 3 + -4 + -4*18. Let g = q + 155. Is g a prime number?
False
Let o = 163 + -81. Is o a composite number?
True
Suppose -n + 15 = -170. Suppose -2*q + 7*q - n = 0. Is q composite?
False
Let u(k) = -17*k**3 - 3*k**2 - 5*k - 3. Let w = -2 + 0. Is u(w) a composite number?
False
Let y = -139 - -458. Is y a composite number?
True
Suppose -17 = -4*w - 5. Suppose -w*g + g = -242. Is g a prime number?
False
Let u(f) = f**3 + 2*f**2 + 2*f + 1. Let z be u(-1). Suppose z*s + 356 = 4*s. Is s a prime number?
True
Let o(d) = 74*d + 5. Is o(7) a prime number?
True
Let x(y) = y. Let j be x(8). Suppose -j*w + 1691 = -621. Is w composite?
True
Let c = -84 - -155. Is c a prime number?
True
Let u = 149 - 294. Let j = 282 - u. Is j prime?
False
Suppose 4*c = 4*p + 67 - 15, 2*p = -10. Suppose -2*u + c = 0, z - 3*u + 8 = -z. Is 38*2/8*z prime?
True
Suppose -2*u - u - 9 = -3*m, -5*m = u - 15. Suppose 2*s + 0 - 12 = u. Is s a composite number?
True
Let v = 2845 + -1682. Is v a prime number?
True
Suppose 0 = -a + 90 + 71. Is a composite?
True
Suppose -z + 2*w = -3*w - 1126, -2273 = -2*z + 3*w. Is z a composite number?
True
Suppose q + 3*y - 6*y = -571, -4*q + y = 2240. Let c = q - -792. Is c composite?
False
Let s(h) = 4*h**3 - h**2 + 4*h + 4. Suppose 0 = 5*p - 7*p + 10. Is s(p) a composite number?
False
Let d(x) = -96*x + 21. Let h(w) = 19*w - 4. Let j(s) = -2*d(s) - 11*h(s). Let m be j(4). Let a = m - -101. Is a a composite number?
True
Suppose d = -6 + 29. Let m = 56 + d. Is m prime?
True
Let a(y) = y**3 + 9*y**2 - 6*y - 1. Let l be a(-8). Suppose -q + 3*w = 3*q - l, -5*q = -3*w - 141. Suppose p - q + 9 = 0. Is p a composite number?
True
Let q = 570 - 317. Is q composite?
True
Let a(k) = k**3 - 4*k**2 - 6*k. Let h(w) = 2*w**3 - 9*w**2 - 11*w - 1. Let c(i) = 7*a(i) - 3*h(i). Is c(6) prime?
False
Suppose -160 = -4*r + 108. Is r composite?
False
Is 0/2 + (-1 - -70) composite?
True
Suppose 5*y = y. Let i be (-2)/3 + 106/6. Suppose 2*n + f = 2*f + i, 4*n + 3*f - 59 = y. Is n composite?
False
Is -5 - (-5 + (-21635)/5) a composite number?
False
Let n be (12/(-10))/((-4)/(-20)). Is -3*(-1 + 86/n) prime?
False
Suppose 3*o + 4 + 0 = -2*x, 8 = -4*x - 2*o. Let a = -5 - x. Is 28 + (0/(-3) - a) prime?
True
Let s = 4504 + -1011. Is s a composite number?
True
Let q(m) = -m**3 + m**2 + m + 4. Let x be q(-3). Suppose 0*a = 2*a - 238. Let v = a - x. Is v a prime number?
False
Let k be 15/20 - (-1095)/12. Is 3 + k + 3 - 3 a composite number?
True
Let n(k) = -361*k**3 + k**2. Let m be n(-1). Suppose 0*j = 2*j - m. Is j composite?
False
Let q(v) = -v**2 - v - 4. Let l(p) = -p**2 - 2*p - 4. Let u(g) = 4*l(g) - 5*q(g). Is u(5) a composite number?
True
Let h = -181 + 65. Let z = 169 + h. Is z composite?
False
Let x = 16 + -14. Suppose -2*c - 2*n + 142 = 3*n, -x*c = -4*n - 142. Is c composite?
False
Is (43109 - 12/(-3))*2/6 prime?
False
Let j(w) = w**2 - 3*w - 4. Let f be j(-5). Suppose 3*i - 4*i = -1. Suppose -5*g + f = i. Is g composite?
False
Is ((-75)/6)/((-4)/8) prime?
False
Let q(v) = -v**3 + v**2 - v + 2. Let y be q(0). Suppose y*n - 324 = -2*g, -n + 638 = 3*n + 2*g. Is n composite?
False
Suppose 0 = 5*w - 4*f + f + 27, 0 = 4*f + 4. Let i = w - -8. Suppose 0*l + l + 4*q = 19, 0 = -i*l - 2*q + 38. Is l prime?
True
Let b = 7 - 6. Let d(l) = 72*l**3 - 2*l**2 + 1. Is d(b) composite?
False
Let n = 81 + -38. Is n a composite number?
False
Let f be (-2)/(-8) + (-9)/36. Suppose f = 4*y - 613 - 2023. Is y a prime number?
True
Suppose -r - 1899 = -6*r - x, 2*r + x - 762 = 0. Is r composite?
False
Let c = 1048 - 365. Is c a prime number?
True
Is ((-337)/(-4))/(16/64) a composite number?
False
Suppose 12 = 5*b - 103. Is b prime?
True
Let i(r) = -203*r**2 - 28*r. Let m(n) = 37*n**2 + 5*n. Let w(h) = 5*i(h) + 28*m(h). Suppose 3*k - 2*k = 1. Is w(k) a prime number?
False
Let b(w) = 1 - w**2 + 13 - 7*w - 1 - 6. Is b(-7) a composite number?
False
Let r be (4 - 1) + 5*21. Let u = r + -53. Is u prime?
False
Let f(a) = -a**2 + 196. Let n be f(0). Suppose n = 3*v + v + 4*m, 4*v - 196 = -m. Is v a prime number?
False
Let h be (-14)/(-2) - 6/3. Let b = 4 - h. Is ((-1)/2)/(b/66) composite?
True
Suppose -m - 4*o + 2 = 2*m, -5*m - 4*o + 6 = 0. Suppose -2*l - 3*l - 25 = 0. Is ((-55)/m)/(l/10) a prime number?
False
Is (-4)/22 + (-13516)/(-44) a prime number?
True
Let u(z) = z**2 - 8*z + 3. Let h(k) = -k**3 - 7*k**2 - 2*k - 6. Let g be h(-7). Let q be u(g). Suppose 0 = -2*p - q*p + 325. Is p prime?
False
Let d be (-159)/9 - (-3)/(-9). Let a = d - -44. Is a a prime number?
False
Let o(l) = l**3 + 2*l**2 - 3*l + 2183. Is o(0) prime?
False
Suppose -4*a + 237 = d - 5*a, -5*d - 3*a = -1169. Is d a composite number?
True
Suppose 0 = 4*b - b - 270. Let o be -59 + (2 - 0 - 2). Let s = o + b. Is s composite?
False
Suppose 3*v + 18 = 195. Is v a composite number?
False
Let u(c) = -c + 8. Let y be u(6). Suppose 0 = -4*g - y*m + 94, 5*g + 48 = -5*m + 173. Is g a prime number?
False
Let o be (-4)/((-3)/18 - 0). Suppose -f + 2*v = 7*v - o, 4*f - v = 12. Suppose 2*u - 25 = -s, -2*u + 23 = -u + f*s. Is u prime?
True
Let h = 838 + -571. Is h a composite number?
True
Suppose -2*s + 930 = 13*s. Is s composite?
True
Suppose -5*k + 881 = 2*v, 360 = 2*k - 0*k - 3*v. Is k a composite number?
True
Let v(f) = 7*f**2 - f - 7. Is v(7) a composite number?
True
Let q = 2606 - -116. Is q a composite number?
True
Let r(p) = 7*p**3 - p**2 - 5*p + 2. Is r(3) a composite number?
False
Let x = 231 + -100. Is -2*(x/(-2) + 2) pri