 11142*d**2 - 20*d + 21. Is z(1) a prime number?
False
Let v = -2429 + 4136. Is v prime?
False
Suppose 4*l = 5*b + l - 11, 3*l = -b + 13. Let t be 1/(((-12)/b)/3054). Is t/(-8) - (-5)/(-20) a prime number?
True
Suppose -2*s - 5*g = -22, s + 2*g - 16 = -s. Suppose -4*b + 8 = 4*v, 0 = -5*b - v - 4 + s. Suppose -3*d + 4*d - 1157 = b. Is d prime?
False
Let x = -46955 - -148876. Is x prime?
True
Let j(t) = 1668*t**2 + 12*t + 1. Is j(-1) a prime number?
True
Suppose 0 = -866*g + 871*g - 115. Is g composite?
False
Is (0 + 1)*-122361*(-3)/9 prime?
True
Suppose 0 = 4*g - 16 - 8. Suppose -i + g*i - 30 = 0. Is -21*(-4)/i + 1 prime?
False
Let u(b) = 3 - 3 - b**2 - 8*b + 3 - 11*b. Let j(d) = -d**2 - 39*d + 7. Let o(f) = 2*j(f) - 5*u(f). Is o(-17) a composite number?
False
Suppose 4*n = 2*n. Suppose o - f = 3, 4*o - 3*f + 0*f - 9 = n. Suppose -70 = -5*w - j + 5*j, -4*w + j + 45 = o. Is w composite?
True
Let p(l) = 3 + 4 - 7*l + 1 + 1. Is p(-8) a prime number?
False
Suppose -3*v + 2*v = -18. Suppose -2*u = -5*r + v, 2*r = 3*u - 0*r + 5. Is 114/5 - u/(-5) a prime number?
True
Let o(y) = 32*y**2 + 2*y - 2. Let l be o(4). Suppose -5*c = 3*a - a - 25, 5*c = -3*a + 30. Suppose b + l = c*b. Is b composite?
True
Let m(j) = 487*j**2 + 3*j - 6 + 6 - j. Let i be m(1). Suppose -3*n + i = -264. Is n a prime number?
True
Suppose -38*w - 6119 = -39*w. Is w composite?
True
Suppose 2*u - 104055 = 132939. Is u a composite number?
True
Let o be 3346/3 - 34/(-51). Suppose r + o = 6*r - n, 3*n = -5*r + 1112. Is r a prime number?
True
Suppose 0*i = -5*l + 2*i + 696, 4*l + 3*i = 566. Suppose -6*f = -2*f - p - 91, 0 = 2*f + 2*p - 48. Suppose o - j = l, 107 + f = o - 3*j. Is o composite?
True
Let p = -1451 - -7920. Is p prime?
True
Let y(g) = 3*g + 4640. Let v be y(0). Suppose -3*w = -v - 277. Is w composite?
True
Is ((-2)/(-10))/((-80)/(-544400)) a prime number?
True
Let j(k) = k**2 - 11*k + 20. Let m be j(9). Suppose 0 = a - m, 4*a + 468 - 122 = 3*p. Is p prime?
False
Suppose 0 = -3*j + 4*d - 2*d + 87907, -2*d = -2*j + 58604. Is j a composite number?
False
Let k = 4148 + -855. Is k a composite number?
True
Suppose 0*y = 2*y - 30. Is 5208/y + 6/(-30) a composite number?
False
Let c(r) = r**3 + 13*r**2 - 3*r - 30. Let m be c(-13). Is 53*(16 + m/(-3)) prime?
False
Let p(w) = 11*w**2 + w + 11. Let c = -22 - -28. Is p(c) a prime number?
False
Let o be ((1*-9)/(-3) + -26)*-1. Is (o/(-3) - -4)*-87 composite?
True
Let h = 1043 - 669. Let o = 920 - h. Let p = o - 209. Is p composite?
False
Suppose 4*r = -3*b - 16, -b + 4 = -r - 0. Suppose 2*q - 2443 = -3*z, 5*q - 1625 = 2*z - 4*z. Suppose 0 = 4*l, -3*l + b*l - z = -5*k. Is k prime?
True
Is -7 - ((-2924436)/51 + (-10)/85) a composite number?
True
Let s(k) = 38*k + 15. Let c(f) = -113*f - 44. Let y(p) = 4*c(p) + 11*s(p). Let a be y(-8). Is (-10)/25*-5 + a composite?
False
Let m(j) = -3*j + 6. Let g(l) = 1. Let y(s) = 3*g(s) - m(s). Suppose 3*u - u = a + 23, -4*a + 28 = 2*u. Is y(u) prime?
False
Let v(f) = -51*f**2 - 6*f - 6. Let n be v(-3). Let h = n - -828. Is h a prime number?
False
Let p be (-21588)/15 - 1/(-5). Let v = 42 - p. Is v composite?
False
Is (-4 + 17)*(0 - (-671 - 2)) a prime number?
False
Let l(g) = -943*g + 254. Is l(-5) a prime number?
True
Suppose 102 = 4*j - 50. Suppose 0 = -j*n + 42*n - 1348. Is n prime?
True
Suppose 2*v - 68 = -4*r, 6*v - 95 = v + 5*r. Suppose 0 = 13*m - 11*m - v. Is ((-318)/m)/(2/(-4)) composite?
False
Suppose -7 = -2*k - 25. Let n be 6/k - 33/(-9). Suppose 0 = n*o - 27 - 168. Is o prime?
False
Let k = 6814 - 2279. Suppose -k = -5*u + 4*h, 3*h - 4*h = -4*u + 3628. Is u a composite number?
False
Let t = 69142 + -33069. Is t composite?
False
Let n(k) = 40*k**3 + 3*k**2 - 1. Let a(y) = y - 4. Let o(w) = -6*w. Let x be o(-1). Let f be a(x). Is n(f) a composite number?
False
Is (-4)/12*1*-669 composite?
False
Let p(u) = 2150*u - 195. Is p(5) prime?
False
Let a(h) = 102*h**2 + 438*h + 5. Is a(-13) composite?
False
Let x(n) = -12*n**3 - 4*n**2 - 4*n - 1. Let y be x(-3). Suppose -t + 2*k = -76, -4*t + 3*k = -0*k - y. Is t a prime number?
False
Is (-5 - (-996)/(-18))*-123*1 prime?
False
Suppose 11*m = 105346 + 2355. Is m a prime number?
True
Let w be (-44)/(-12) + (-2)/(-6). Suppose h + 2*x + 1 = 2*h, 2*h + w*x = 18. Suppose 5*t = h*a + 1125, t = 6*t + 5*a - 1105. Is t prime?
True
Let v(m) = -55*m - 241. Is v(-44) composite?
False
Let h = 13 - 5. Suppose 5*u - 731 + 245 = -4*p, 0 = 4*u - h. Is p a composite number?
True
Let p(j) be the second derivative of j**4/12 + j**3/3 + 9*j**2/2 - j. Suppose -14*w - 150 = w. Is p(w) a composite number?
False
Let h(r) = -232*r**3 - 4*r**2 - 3*r - 1. Let a be h(-2). Let p = 3169 - a. Suppose 2*x - p = -2*x. Is x composite?
False
Let t be 8 + (4 - 2) + -4. Let y(f) = -38*f**2 + 3*f - 3 + 18*f**2 + 3*f**3 + 25*f**2. Is y(t) a composite number?
True
Suppose 3*t + t - 2*l - 25502 = 0, 5*l - 5 = 0. Is 1/((-2)/t*-4) prime?
True
Let w(s) = 13465*s**3 + 4*s**2 - 29*s + 51. Is w(2) prime?
False
Let f = -16467 + 39898. Is f a composite number?
False
Let p(c) = -c**2 - 1. Let r(b) = -b**3 - 4*b**2 + 6*b + 7. Let v(s) = -2*p(s) - r(s). Let w be (-2)/(-7) - 572/91. Is v(w) a composite number?
False
Is 1 + 4 + (-13)/(117/(-148338)) prime?
True
Let y = 935 + -220. Let x = y + 54. Let g = -24 + x. Is g prime?
False
Let o be (-6)/9*-3 - 0. Suppose 0 = -2*y - 3*v - 9, 0 = 3*y + 2*v + 3 - o. Suppose -179 - 52 = -y*f. Is f prime?
False
Suppose -b - 3*b - 3*g = -211904, b + 2*g = 52981. Is b composite?
False
Let i(u) = -u**3 + 8*u**2 - 8*u + 7. Let n be i(7). Suppose n = -4*q + 728 + 876. Is q composite?
False
Let d = -20 + 50. Let p = d + 289. Is p a prime number?
False
Let h = 3858 + -2641. Suppose -5*m - 2467 = -2*a, a + 3*m - h = -0*m. Suppose 8*b = 10*b - a. Is b a prime number?
True
Suppose 13*z - 16*z + 45 = 0. Is (-13380)/(-25) + 12/z + -1 a prime number?
False
Let q = -82 + 164. Suppose 0*z = 4*z - 4*b - 80, -5*z = 4*b - q. Let j = 19 + z. Is j a composite number?
False
Suppose -o = 3*w + 430, -4*w + 3*o - 8*o - 555 = 0. Let s = w + 208. Suppose -5*q = -x + 3*x - 67, -5*q + 2*x + s = 0. Is q a composite number?
False
Suppose -4*x - 5*v = 14, -5*x + v - 5 + 2 = 0. Is x - 9/(18/(-10312)) prime?
False
Let z(i) = 17*i**2 + 18*i - 1. Is z(-18) a composite number?
True
Suppose b + 2*r + 5 = 0, b + 4 = -4*r - 1. Is b - 22/(-4) - 474/(-4) composite?
True
Let r(m) = -13*m**3 - 2*m**2 - m + 217. Is r(-15) a prime number?
False
Let r(v) = 81*v**2 + 8*v - 3. Let c(s) = 2*s**3 + 15*s**2 + 5*s - 18. Let p be c(-7). Is r(p) a composite number?
True
Let j be (3 + (-11)/3)*-1362. Let f be (-10)/4*j/(-5). Suppose 0 = -t - t + 4*a + 234, 0 = -4*t + a + f. Is t prime?
True
Let z be ((-4)/(-8))/((-2)/(-4)) + 1473. Suppose -l - u + 600 = l, 5*l = 4*u + z. Is l a composite number?
True
Let g(i) = -i**3 + 13*i**2 - 12*i + 13. Suppose 19 = 4*w - 37. Let v be g(w). Let a = 554 + v. Is a composite?
True
Suppose -2*h - 5*l + 5 = 0, 2*l + 0 - 2 = 0. Let i be ((h - 3)/1)/(-1). Suppose i*b - 194 - 55 = 0. Is b a prime number?
True
Let w = 1533 - 214. Is w a composite number?
False
Let y = 1448 + -693. Suppose 6*n - y = 5*n. Is n composite?
True
Let f(k) = 2*k**2 + 9*k + 2. Let d(j) = 2*j**3 - 2*j**2 - 2*j + 1. Let o be d(2). Let c = o + -12. Is f(c) prime?
True
Let r = -14 - 9. Let n = r - -15. Let x = 179 - n. Is x a composite number?
True
Suppose -5*h + 1 + 4 = 0. Let x(d) = 24*d + 110*d**3 + 148*d**3 - 23*d - 1 + d**2. Is x(h) prime?
False
Suppose 0 = 6*c - 19*c + 19981. Is c composite?
True
Let c(q) = q**3 + 23*q**2 - 47*q - 14. Is c(-19) a composite number?
True
Let r be ((-2)/(-6))/((-6)/(-342)). Let k(u) = 56 + 18 - r + u. Is k(0) a composite number?
True
Let c be 1/(-3) - (-936)/54. Suppose 1761 = -c*x + 20*x. Is x a composite number?
False
Let q(f) = -307*f - 28. Is q(-23) composite?
True
Let m(a) = 7*a**2 - 14*a + 18. Let r be m(13). Suppose 7*y - r = 2348. Let d = y + -272. Is d a prime number?
False
Let l(f) = 3*f**2 - 4*f - 6. Let i = -33 + 60. Let a be 8/(-36) + (-129)/i. Is l(a) a composite number?
False
Suppose -2*l - 2*i = 808 + 84, 3*l + 5*i + 1340 = 0. Let m = l - -1308. Is m composite?
False
Let b = 2252 + -1114. Let k = b + -667. Suppose -180 = -7*n + k. Is n a composite number?
True
Suppose