. Is z composite?
True
Let x be (13 - 5)/(4/2). Suppose 5*k = -x*a - 5, k - 34 = 5*a - 2*k. Let y(t) = t + 8. Is y(a) a composite number?
False
Let y(c) = 12*c - 6. Suppose -8*f + 3*f = -30. Let g be y(f). Suppose -5*a = n - 2 - 3, 4*n - 3*a = g. Is n prime?
False
Let t(d) = d + 8. Suppose j = -j - 16. Let p be t(j). Let l(b) = -b**3 - b**2 + 77. Is l(p) a composite number?
True
Suppose 6 = -2*w + 4. Is w - (-143 + 0) - -1 a prime number?
False
Let c be ((-210)/3)/2*-1. Suppose -210 = -5*q + c. Is q a prime number?
False
Suppose -1 = x + 4*n, -12 = -3*x + 2*n + n. Let w = 9 + -4. Suppose 5*v + 9*l = 4*l + 105, -63 = -x*v - w*l. Is v prime?
False
Let o(v) = 3*v**3 + 2*v**2 - v - 1. Let f be o(3). Suppose -5*i + f + 60 = 0. Is i prime?
True
Let x = 124 + -37. Is x prime?
False
Let b(l) = -2*l**3 - 2*l**2 + 7*l - 8. Let u be b(-6). Suppose u = 5*y + w, 0*w = -3*y - w + 188. Suppose 4*f - z = 55, f + 3*f - y = -5*z. Is f composite?
True
Let m = 5 - 3. Let b be (m - 9)/(1/(-1)). Let q(w) = 3*w - 2. Is q(b) composite?
False
Suppose 187 = 7*q - 6*q. Is q prime?
False
Let v(m) = -2*m**2 + 3*m + 4. Let b be v(3). Let h be 20/(-25)*b/2. Suppose 5*u = 3*k - 637, -k = -h*u + 4*u - 205. Is k a prime number?
False
Suppose 0 = 3*n - n - 22. Let i(p) = 2*p - 16. Let x be i(n). Let f(c) = 4*c**2 - 8*c - 1. Is f(x) a prime number?
False
Let j = 16 + -11. Suppose -j*a - 4*l = -27, -3*a + 2*l + 3 + 0 = 0. Suppose 75 = 2*d + a*d. Is d a composite number?
True
Let n = -577 - -908. Is n a prime number?
True
Suppose 3*j + j = 0. Suppose j = 9*a - 4*a - 345. Is 1/(210/a - 3) a composite number?
False
Let r(d) = 78*d**2 - 4*d + 3. Is r(2) prime?
True
Let h(b) = 398*b - 2. Let r be h(1). Suppose -2*k = 3*k - 2795. Let c = k - r. Is c composite?
False
Let b(j) = j + 4. Let h be b(0). Let i(l) = -l**2 + 5*l - 4. Let v be i(h). Suppose -4*p + v*p = -132. Is p a composite number?
True
Is 7/(7/375) - 2 - 2 prime?
False
Let r(u) = 6*u**2 - 18*u - 5. Is r(-11) a prime number?
True
Let d(q) = -q**3 - 3*q**2 - q + 1. Suppose 2 = -v - 1. Let f be d(v). Suppose 4*p + f*h - 3 = 9, 0 = -2*p - 4*h. Is p a composite number?
True
Let b = 966 + -549. Is b a prime number?
False
Let b(a) = 15*a**3 + 3*a**2 + 2*a - 1. Suppose -5*r - 8 = -3*t, 4*t = r - 4 - 8. Let c be b(r). Is (-1)/(-4) + c/(-12) prime?
False
Let n(u) = 3*u + 6. Let p be n(-4). Let g(v) = -v**3 - 7*v**2 - 4*v + 5. Let m be g(p). Let d = 14 + m. Is d prime?
True
Suppose 0 = 4*d - 15 + 7. Suppose -d*a = -4, 0*a = 4*y - a - 6. Is (-1)/y - 780/(-8) a composite number?
False
Suppose -y - x = 9, -3*y + x + 0*x = 7. Let w = y + 3. Is w/((2/74)/(-1)) a composite number?
False
Let n(s) = -219*s - 13. Is n(-32) composite?
True
Let s(p) be the third derivative of -p**8/6720 + p**7/315 - p**6/144 - 7*p**5/120 + p**4/12 + 2*p**2. Let w(v) be the second derivative of s(v). Is w(6) prime?
False
Let k = -3373 - -4734. Is k a prime number?
True
Suppose 0 = -l + 3*l - 92. Suppose -l = -5*i + 529. Let x = 318 - i. Is x composite?
True
Suppose 0 = -4*g + 3*r + 3919, -3*r + 491 + 485 = g. Is g prime?
False
Let k = 63 - -82. Is k a prime number?
False
Suppose 4*r + 4*j - 5056 = 0, -r + 3*j + 286 = -966. Is r a composite number?
True
Suppose 1401 = 10*n + 111. Is n a prime number?
False
Let t(b) = -b**3 - 12*b**2 - 5*b - 17. Let q(f) = -11*f**2 + f. Let j be q(-1). Is t(j) prime?
True
Suppose -3*y = -m + 140, -26 + 281 = 2*m - y. Let n = 390 - m. Is n a prime number?
False
Let p(m) = -m**2 + m - 59. Let g be p(0). Let i = 38 - g. Is i a prime number?
True
Let q(i) = 4 + 7*i - 80*i - 1. Is q(-2) a composite number?
False
Let m(b) = 21*b**2 - 5*b - 4. Let i(z) = -10*z**2 + 2*z + 2. Let d(f) = -13*i(f) - 6*m(f). Let t be d(-7). Is (-1)/(-1*2/t) a prime number?
True
Suppose 0 = 3*m + 5*t - 599, 0 = -2*m + 5*t - 3*t + 410. Is m composite?
True
Let x(u) = u**3 + 26*u**2 + 17*u - 3. Is x(-23) a composite number?
False
Suppose 4*v = 4*f + 556, 3*v + 5*f = 5*v - 272. Is (-6)/((-3)/(-1)) + v composite?
False
Let o = -20 - -8. Let w = o + 25. Is w a composite number?
False
Suppose 7*m - 8*m + 1238 = 0. Is m a prime number?
False
Let m(y) = -80*y + 3. Let i be m(-3). Is (-4)/((-12)/i) + -2 prime?
True
Suppose 0 = 3*n - 25 - 20. Suppose 4*m - 3*h - 68 = h, 0 = 2*m - 3*h - 33. Let y = n + m. Is y a composite number?
True
Is 42*454/20 - 90/225 composite?
False
Is 7 + -10 + -1 + 18 prime?
False
Let d(m) = 2*m**2 + 3*m + 8. Is d(7) a prime number?
True
Suppose -2*l = 2*v + 32, -2*v - 72 = 5*l - 5*v. Let d = l - -9. Let c = d - -13. Is c a prime number?
True
Let z(n) = -n**3 - 5*n**2 - 6*n + 3. Is z(-5) prime?
False
Let k(f) = -f**3 - 2*f**2 + 7*f. Let b be k(-4). Suppose 2*s = -2*g + s + 195, 4*g = -b*s + 392. Is g prime?
True
Let h(s) = -s**2 + 34*s + 43. Is h(16) a prime number?
True
Let y be 649/(2 - (2 - 1)). Suppose -5*l + y = 3*n - 666, 4*l - n - 1052 = 0. Is l prime?
True
Let f(t) = t**3 - t**2 + 2*t - 6. Let h = -1 - -5. Let l be f(h). Suppose 0 = 4*v - 10 - l. Is v a prime number?
False
Let a(l) = 461*l - 9. Is a(2) prime?
False
Suppose 3*c + 3*p = -c + 8, 3*c + 2*p - 6 = 0. Suppose 0*a = -c*u - 3*a - 45, -3*u + 5*a = 77. Is 42/(-8)*u/9 a prime number?
False
Let r = 148 + -81. Let z = 270 + r. Is z prime?
True
Let x(c) = -9 + c**2 + 0*c + 55 - c + c**3 + 2*c. Is x(0) a composite number?
True
Let q(j) = 33*j**3 - 1. Let t be q(-1). Let n be t/(-10) - 2/5. Suppose n*p + 14 = 4*p. Is p a prime number?
False
Let t(u) = 214*u**2 - 1. Let b be t(1). Suppose b = 3*c + 2*f, 0 = 3*c - 5*f - 282 + 90. Suppose -3*z + 0*z + c = 0. Is z a prime number?
True
Is 10154/6 + (-7)/(168/(-16)) a composite number?
False
Suppose 2*u - 7*u + 10 = 0. Is 9/u*(-6)/(-3) prime?
False
Is 10/24*9574 + 3/(-18) prime?
True
Suppose -t - 4*t + 5*a = 10, -4*t - 4*a + 24 = 0. Suppose r + 293 = 2*w - 0*w, t*w + 3*r = 313. Is w composite?
False
Let w = 98 + -46. Suppose -5*x = -n + 16, 0*n - 5*n + w = 3*x. Is n a prime number?
True
Let b(h) = -5*h. Let o(m) = 2*m. Let j(p) = 3*b(p) + 7*o(p). Let w be j(-5). Suppose 0 = -2*d - 6 - 4, -220 = -w*v - 3*d. Is v composite?
False
Suppose 0*n = -2*n + 4. Let m = 16 - n. Is m a prime number?
False
Let y(g) = -7*g**3 + 2*g**2 - 3*g - 3. Suppose -k = -6*k + 5. Let n(d) = -2*d. Let l be n(k). Is y(l) composite?
False
Let h(q) = -6*q - 11. Is h(-8) a prime number?
True
Suppose -2*o = -3*o. Suppose o = 3*b - 2*b - 21. Is b prime?
False
Suppose 2*q = -q + 12. Suppose 2*b + 0*c + c = 8, 2*c + 24 = q*b. Suppose -r + 24 = b. Is r composite?
False
Let s = 0 + 4. Suppose -5*p + 1330 = 3*k, s*k + p - 1334 = k. Is k composite?
True
Suppose -20 = -2*n - 6. Suppose 0 = n*y - 3*y - 436. Is y a composite number?
False
Let l(x) = 1 + 0*x - 5*x + 2*x + 9. Is l(-7) a composite number?
False
Let g = 111 - 157. Let c = 149 + g. Is c composite?
False
Suppose -2*d = 2*c - 248 - 30, 0 = c - 4*d - 164. Suppose -2*f + c = -154. Is f prime?
True
Suppose -2*h + 2 - 4 = a, 0 = h - 5*a + 23. Let g be (-13)/(-2) + h/2. Suppose g*n = -5*k + 29 + 11, -3*k - 5*n = -34. Is k prime?
True
Suppose 4*v - 24 = -0*v. Is v a composite number?
True
Let u(c) = -48*c**2 - 7. Let y(r) = 97*r**2 + 15. Let s = 14 + -27. Let a(m) = s*u(m) - 6*y(m). Is a(1) a composite number?
False
Suppose w - 86 - 30 = 3*q, -2*w - q + 239 = 0. Is w a composite number?
True
Let y(r) = -r**2 - 5*r - 13. Let p(g) = 1. Let h(f) = -6*p(f) - y(f). Let w(t) = -t**2 - 5*t - 6. Let n be w(-5). Is h(n) a composite number?
False
Let g(u) = -u**2 + 6*u - 4. Let m be g(5). Let h be 2*12/(m + 2). Is (h/12)/((-4)/(-222)) a composite number?
False
Is (3 - -2)*(-53438)/(-70) composite?
True
Suppose 0 = -155*t + 150*t + 4895. Is t prime?
False
Suppose 2*y + 4*s - 7 = 3*s, -2*s = 5*y - 17. Suppose 341 - 104 = y*z. Is z prime?
True
Let s(x) = -2*x**2 + 4*x - 7. Let p be s(9). Let z = p + 216. Let f = z - 28. Is f composite?
True
Let a(b) = -b**3 - 7*b**2 - 9*b - 4. Let h be 390/(-54) - 4/(-18). Is a(h) a prime number?
True
Suppose -4*o = 2*a - 598, -2*o - 3*a - a + 302 = 0. Is o prime?
True
Suppose p - 1226 + 107 = 2*z, 5*p + 4*z = 5567. Is p a prime number?
False
Let n = -30 - -43. Suppose -82 = -r + n. Is r prime?
False
Let b be ((-38)/(-10))/(3/15). Suppose -n = 2*w - 6, -4*n - 5*w = -b - 2. Suppose -4*l + 3*u + 0*u = -224, n