 b(q) = -12*q**3 + 28*q**2 - 5*q + 7. Let j(v) = -3*v**3 + 7*v**2 - v + 2. Let y(x) = 2*b(x) - 9*j(x). Is y(5) a prime number?
True
Let v(j) = 9*j**3 + 6 + 3*j + 77*j**3 + 24*j**3 - 5*j**2 - 7. Is v(3) a composite number?
True
Suppose 2*y - 7 = 3*y. Let k(h) = -1 - 37*h + 9*h - 1. Is k(y) a composite number?
True
Let m = 105 - 100. Let h = 262 - 110. Suppose 3*w = m*d - h, -3*w - 66 - 24 = -3*d. Is d a composite number?
False
Is (66/9)/(24/68868) prime?
False
Let x(v) = 6*v**3 + v**2 - 6. Suppose -k - 28 = -33. Is x(k) composite?
False
Is (-15)/10*(3 - 148348/12) prime?
True
Let c(y) = 203*y - 60. Is c(7) composite?
False
Let v = 17 + -10. Suppose -m - v*m = -616. Is m a prime number?
False
Suppose 13 = -3*w - 23. Let v = w - -377. Is v a composite number?
True
Let s be 4/14 - 14/49. Suppose s = -4*h + 2*j + 2, 5*h - j - 11 = -4. Suppose -h*r + 3*r - 87 = 0. Is r prime?
False
Let c(r) be the first derivative of -18*r**2 + 7*r - 74. Let p(n) = n**3 - 5*n**2 + n + 3. Let b be p(3). Is c(b) prime?
True
Let k be -3 - ((-1)/(-4) + (-9)/4). Is (24199/(-21))/(2*k/6) a prime number?
True
Suppose -5*s = 10, -20 = -4*f - 4*s + 8*s. Suppose -5*j - 5*d = -2920, 4*d = f*j - 5*j + 1162. Is j prime?
True
Let f(p) = -p**3 + 13*p**2 - 11*p + 9. Let c be f(12). Suppose 15 = 5*t, 2*t - c = -3*u + t. Is 9429/14*4/u a prime number?
True
Let g be 1/(-4) - (-1025)/4. Suppose 3*s = 889 - g. Is s composite?
False
Let i be 4916/(-6)*(3 - 27/6). Let m = i + -538. Is m prime?
True
Let m be ((-16)/20)/(1/(-5)*1). Suppose 117 - 461 = -3*u + 5*h, -5*u + m*h + 569 = 0. Is u prime?
True
Suppose 0 = -156*u + 164*u - 194248. Is u prime?
True
Let k = 22641 - -20128. Is k prime?
False
Suppose -u - 4 + 1 = 0. Let h be (3 - -2492) + 3 + u. Suppose -4*y - y + h = 0. Is y a prime number?
True
Suppose -2 = -r + 1. Suppose -r = -t, l + 3 + 4 = 3*t. Suppose -108 = l*c - 4*f - 342, -c = -3*f - 121. Is c prime?
True
Let g be 39286/(-10) + (-8)/20. Let j = -2646 - g. Is j a composite number?
False
Let o = 34 - 33. Is o/((-5)/(-1013)) + 4/10 a prime number?
False
Let u be (-1)/2 - 7/2. Is ((-3)/(-3))/(u/(-5140)) a prime number?
False
Suppose -2*a = -2*l + 6*l - 118594, -2*l + a + 59291 = 0. Is l prime?
False
Suppose 1 = -t + 13. Suppose 0 = 3*k - 6*k - t, 3*o - 3*k = 111. Suppose -f = -o - 0. Is f prime?
False
Let l(j) = j**3 + 10*j**2 + 8*j - 7. Let v be l(-9). Let y(f) = f**3 - f + 12 + f**v - 5 - 3. Is y(2) composite?
True
Let g = -594 + 1853. Is (6 - (1 + 6))/((-1)/g) composite?
False
Let s(t) = -t**2 - 4*t + 5. Suppose -5*d = 9 + 16. Let b be s(d). Suppose -3*h + 286 - 49 = b. Is h prime?
True
Let x = -24 + 24. Suppose 7*l + x*l + 3045 = 0. Let n = -104 - l. Is n a composite number?
False
Suppose 10341 = -33*o + 42*o. Is o prime?
False
Let y(k) = k**2 - 1. Let o be y(1). Let u = o - -27. Is 58/((-3)/(u/(-6))) a composite number?
True
Let r(u) = u**3 + u**2 + 8*u + 11. Let o be 24/(-84) - (-37)/7. Is r(o) a prime number?
False
Let y = -4 - -14. Suppose -y = 3*c - 5*c. Suppose 2*t + 69 = f, -3*f - 2 = -c*t - 213. Is f composite?
True
Let g be (-4)/(-18) - 50846/(-18). Let r be (-8)/2 + -1614 - -6. Let y = g + r. Is y composite?
False
Let o be (0/(-3) - 2)/(-1). Suppose 2*b + 0*u = -2*u + 1822, 5*b + o*u - 4543 = 0. Suppose 4*k - 769 - b = 0. Is k a composite number?
False
Suppose 2*l - 22 = -4*u, 4*u - 13 = 3*l + 4. Suppose u*c - 2024 = 41. Is c a composite number?
True
Suppose 5*z - b = 3*b - 2, 4 = 3*z - 5*b. Is z/(-4)*(1935 - 1) a composite number?
False
Suppose 4*z = 631 - 147. Suppose 117*y = z*y - 508. Is y a composite number?
False
Let x(y) = y**2 + 8*y + 7. Let d be x(-8). Is (d + -2)*2238/15 a composite number?
True
Let w = 31 + -26. Suppose 96 = d + w*d. Suppose 12*f - d*f = -596. Is f composite?
False
Let z = 1238 + 1178. Suppose -5*x + v = -9505, 515 = -x - 3*v + z. Is x prime?
True
Let d = 156 - 143. Is 10073/8 + d/(-104) a composite number?
False
Suppose 5*k + 7*h - 3*h = 5927, 4 = -2*h. Is k prime?
True
Let q(n) = n**3 - 8*n**2 - 9*n + 11. Let h be q(9). Let m = -10 + h. Suppose 2*f - 42 = -2*l, 9 = -4*f + m. Is l a composite number?
False
Suppose -2*x = -4*w + 24116, 3*w + 6*x - 18087 = x. Is w a prime number?
True
Suppose -2*o = -3*y + 66565, y = -18*o + 19*o + 22188. Is y prime?
True
Let q(s) = 2*s**2 - 43. Let h be q(0). Let v = h - -177. Is v a prime number?
False
Let k = 9 + 9. Let c be (-6)/(-4)*(-8)/(-6). Is 93/c - (-9)/k a prime number?
True
Suppose -v = 1, -2*x = 3*v - 36 - 683. Suppose -5*o + x = -149. Let y = o - 55. Is y a prime number?
True
Suppose 0 = -5*s + 5*h - 6*h + 399, 0 = -4*s + 3*h + 304. Suppose 3*k = 1397 + s. Let j = -233 + k. Is j a prime number?
False
Let l be 100/55 + 0 + 2/11. Is -3 - (4/(-2) + l + -34) a composite number?
False
Suppose -3*n + 1227 = -0*n - 2*h, 3*n - 1236 = 5*h. Suppose 29*w - 30*w = -n. Is w a prime number?
False
Let s = 12 + -12. Suppose 5*g = -0*g + 5*d, s = -4*g + d. Suppose g*u + 1655 = 5*u. Is u a composite number?
False
Suppose -3*u = -2*n + 1217 + 1142, -n - 3*u = -1202. Is n a composite number?
False
Suppose -7*v - 5 = -40. Let h = 18 - v. Is h prime?
True
Suppose -12*u + 6394 = 1378. Suppose 2*m = 370 + u. Is m composite?
True
Let w(l) = -2*l - 16. Let i be w(-9). Suppose i*c = -4*x - 8, -c - 12 = x + 2*c. Suppose -4*y + 3*a + 265 = x, 0 = 2*y + 2*y + a - 269. Is y prime?
True
Let p(k) = k - 6. Let z be p(9). Let b be (-9 + 4)/(-1) - z. Suppose 0*c - b*c + 42 = 2*s, 2*s - 50 = 2*c. Is s a composite number?
False
Let w(d) be the third derivative of -25*d**4/24 + 13*d**3/6 + 4*d**2. Let f = -14 + 8. Is w(f) composite?
False
Is ((-32986)/(-3))/(30/45) a composite number?
False
Let q(g) be the third derivative of g**5/30 - 2*g**3/3 + 6*g**2. Let a be q(-5). Suppose 0 = -2*n + 4*d + 90, -n + 4*d - 11 = -a. Is n composite?
True
Let z(u) = -u**3 + 7*u**2 + u + 2. Let b(p) = 3*p**2 + p. Let s be b(-1). Suppose 0*d = s*d - 10. Is z(d) a composite number?
True
Let m(o) = 7*o**2 - 6*o. Let x = 14 - 8. Let z be m(x). Let l = z - 31. Is l a prime number?
False
Let p be (6/3)/((-2)/(-4)). Suppose -4*i - 42 - 90 = -p*w, i = 5*w - 17. Is (i/(-4))/(2/8) prime?
True
Suppose 13*r = 15*r + 24. Is (r + 5415)/(0 - -1) prime?
False
Let c(x) = -83*x**2 + 30*x + 15. Let d be c(-9). Is ((-6)/4 + 2)*d/(-3) a prime number?
True
Let w = -16 + 21. Let c = w + -8. Is 0 - c - (-6 - 74) prime?
True
Let v(g) = 308*g**2 - 2*g - 5. Is v(-3) composite?
True
Let m = 4 + 59. Suppose 5*s + m = -2*o, s - 3*o - 45 = 4*s. Let p = s + 30. Is p composite?
False
Suppose -5 = 4*x + 3. Let a = x + -2. Is 4 + (a - -1) + 10 prime?
True
Let t(i) = 300*i + 473. Is t(19) prime?
True
Let m = 54 + -290. Let c = m - -643. Is c a prime number?
False
Let z(l) = 68*l**2 - 8*l + 8. Let b(d) = -d + 1. Let j(m) = -5*b(m) + z(m). Suppose 0 = 4*w - 2*w - 4. Is j(w) prime?
True
Let x be (44/99)/(2/18). Suppose 4*q = -4*u - 0*u + 4856, -x*u = -5*q + 6061. Is q a composite number?
False
Let v(y) = -493*y**3 + 2*y**2 + 6*y + 7. Is v(-2) prime?
True
Let i(n) = 7*n**3 - 1. Let t = 14 + -13. Let s be i(t). Let w(d) = d**2 + d - 7. Is w(s) a prime number?
False
Let j = -2465 + 7026. Is j a composite number?
False
Let x(f) = 3553*f**3 - f**2 - 4*f + 17. Is x(2) a prime number?
True
Let j(q) = -q**3 + 5*q**2 - 4. Let a be j(4). Suppose -3*x + 0*x + a = 0. Suppose 0*n - n = x*d - 87, -5*n = -2*d - 391. Is n prime?
True
Let g(j) = -2*j + 19. Let h be g(8). Suppose h*o = 1 + 14. Suppose -4*w + 2*m = -458, -3*m = o*w - 0*m - 556. Is w prime?
True
Let w(k) = 34*k**2 + k + 1. Suppose -14 = -0*i + 5*i + 4*h, -3 = 2*i - h. Let j be w(i). Suppose 5*u + 2*x = j, -3*u + 0*x + 85 = 2*x. Is u a composite number?
True
Let p be (-3086)/(-14) - 15/35. Let g be (-4)/14 - p/(-35). Suppose -2*q - 644 = -g*q. Is q prime?
False
Let p = -9115 + 12876. Is p a prime number?
True
Let l(z) = z**3 - 10*z**2 + 10*z - 7. Let x be l(9). Suppose -4*f - 16 = 0, -r + x*f = 3*f + 4. Suppose c - 211 = -r*c. Is c prime?
True
Let n(z) = 24*z**2 + 19 - z**2 - 5*z**2 + 14*z. Is n(-8) a prime number?
False
Let x = 10 - 9. Let o = -8 + 12. Is o/(-2) - x - -26 a composite number?
False
Let c(y) = -y + 6. Let m be c(0). Suppose -m*l = -9*l + 381. Is l a composite number?
False
Suppose 0 = -18*r + 11*r + 5411. Let g = 1172 + r