 0 = -4*c - 2*c + 29622. Is c composite?
False
Let f(y) = -y - 7. Let g be f(-12). Suppose -g*b + 72 = -m + 17, 0 = 3*b + 2*m - 46. Let o(h) = h + 11. Is o(b) a composite number?
False
Suppose -2*h = 2*h - 2*f + 24, 0 = 4*f. Is ((-18015)/(-10))/(h/8*-1) prime?
False
Let d(v) = -15*v**3 + 8*v**2 - 18*v - 1. Is d(-6) a composite number?
True
Let b(u) = 7*u**3 - u**2 + u. Let n be b(3). Suppose -2*p = -c - n + 24, p = -5*c + 85. Let t = 69 + p. Is t a composite number?
False
Let z = 20641 - -11044. Is z composite?
True
Suppose 5*r = -3*r + 168. Let x = -44 + r. Is 452/1 + x + 24 a prime number?
False
Suppose -15 = 3*r, -13 = k + r - 3. Let y(i) = -25*i - 10. Is y(k) prime?
False
Let p(q) = 6*q**2 - q - 8. Let g(o) = -6*o**2 + 2*o + 9. Let a(t) = 2*g(t) + 3*p(t). Is a(5) composite?
False
Let l(f) = 2*f**3 - 10*f**2 - 4*f - 8. Let y be l(11). Let a = -663 + y. Is a composite?
True
Let r be 2 - (-4)/((-20)/(-15)). Suppose -537 = 4*t - r*t. Is t composite?
True
Suppose -19 = -4*q - 3*f, -2*f - 5 = -7*f. Suppose q*i = 10*i + 258. Let a = 200 + i. Is a a prime number?
True
Suppose 2*j = -5*x + 3*j - 38595, -x - j - 7725 = 0. Let p = -2939 - x. Is p prime?
False
Suppose 11*v + 5*v = 80. Suppose -3*x = 0, -v*o - 2*x + 5064 = -3371. Is o composite?
True
Let p = 2236 - 1257. Is p a prime number?
False
Suppose 2*t - 6*t - 244 = 0. Let l = t + 113. Suppose -84 = -2*o + 2*x, l = 2*o - o - 3*x. Is o a prime number?
True
Is 305484/30 + (3 - 5)/(-10) prime?
False
Let n(a) = 10*a**2 + 18*a + 7. Suppose -2*i = -2*r - 22, -36 = 4*r - 2*i - 0*i. Is n(r) prime?
False
Suppose -4*n + 4*d = -16, 7*n - 4*n - 12 = -d. Let i = 934 - 344. Suppose c = -n*c + i. Is c a prime number?
False
Let h(c) = 3*c**2 + 5*c - 101. Is h(20) a prime number?
False
Let y(n) = -n**2 + 26*n - 23. Let p be y(25). Let u be ((-3)/2)/(-3)*6. Suppose -2*r - 4*w = -6*r + 444, -u*w = -p*r + 220. Is r a composite number?
False
Let a(m) = m**3 - 23*m**2 + 48*m - 15. Is a(27) a prime number?
False
Let h = -6402 + 10723. Is h composite?
True
Let x(z) = -z**3 - 12*z**2 - 8*z - 18. Let n(h) = h - 6. Let w be n(-6). Let u be x(w). Suppose 64 = o - u. Is o a prime number?
False
Suppose -9 = l - 2*l. Suppose -1837 + 8758 = l*i. Is i prime?
True
Let w(a) = -12389*a**3 + 3*a**2 - 1. Let l be w(-1). Let u = 27644 - l. Is u a composite number?
True
Let x be (-1)/((4/(-48))/(-1)). Let a be (-95)/(-20) + (-3)/x. Suppose 65 = 2*n - 3*c - 39, a*n = -5*c + 310. Is n composite?
True
Let f = -9 + 12. Let v(t) = -t**2 - 1 + 9*t**f - 4*t + 8 - 10*t**3. Is v(-9) a composite number?
False
Suppose -9679*s = -9688*s + 172953. Is s composite?
True
Is (7 - 4)*5951/3 a prime number?
False
Suppose 244874 + 744892 = 54*w. Is w prime?
True
Let h be (80/12)/((-1)/42). Let i = h - -409. Is i prime?
False
Let n be 1/(-2)*68/(-2). Suppose -3*k - 2*x = -n, 0*k - x - 4 = -k. Suppose -4*v = -5*f + 725, k*v + 230 = 4*f - 341. Is f a prime number?
True
Suppose 0 = -x - 2*z + 23231, 5*x + 3*z - 96461 = 19715. Is x prime?
False
Suppose 4*p = 3*p + 46. Suppose p*u - 50*u = -708. Is u composite?
True
Suppose 3*x + 2*x = 6900. Suppose 3*s + 2*a = 1380, 3*s + 5*a + x = 6*s. Suppose -4*y + 5*t = -0*t - s, -3*y + 345 = t. Is y a composite number?
True
Suppose -3*l + 3 = -3*f, -3*f + 6*f = l + 5. Is 14/l*(1 + 61) prime?
False
Suppose -o + 2*s + 21229 = 0, 25*o - 63675 = 22*o + 3*s. Is o a prime number?
True
Let z = 11 - 1. Suppose w + z = 70. Suppose 0 = 3*b + 5*p - 13, 4*b = -p + 5*p + w. Is b prime?
True
Let z(i) be the third derivative of 3*i**2 + 0*i + 11/6*i**4 + 0 + 1/2*i**3. Is z(6) composite?
True
Let a(g) = 130*g**2 + 43*g + 68. Is a(-14) composite?
True
Let c(l) = 271*l - 64. Is c(5) composite?
False
Let n = -6 + 12. Let b(o) = -o**3 + 5*o**2 + 7*o - 4. Let i be b(n). Suppose -i*y = y - 261. Is y a composite number?
True
Let b = -507 + 732. Let c(z) = 20*z + 8. Let y be c(-6). Let w = y + b. Is w a composite number?
False
Let c = 71976 - 37835. Is c a prime number?
True
Let o(c) = 2*c**2 - 18*c + 11. Let f be o(8). Is -7*(3544 - -1)/f a prime number?
False
Suppose -3*z + 20952 = 4*s, -2*s + 0*z = z - 10478. Let k = s + 1006. Is k composite?
False
Is -4 + (2/5 - 465730/(-50)) composite?
False
Let d(m) be the second derivative of 1337*m**4/12 - 14*m. Is d(-1) prime?
False
Suppose -3 - 6 = -g. Suppose f = -2*f + g. Suppose 0 = f*q - 37 - 212. Is q a prime number?
True
Let w = 29 - 21. Let y(f) = 2*f**3 - 8*f + 19. Is y(w) prime?
False
Let d(t) = t + 262. Let a be d(0). Suppose -3*s + 780 = f - a, 2*s - 697 = -3*f. Is s a composite number?
False
Let b = 4 - 5. Let p be ((-8)/(-6))/(b/(-3)). Suppose p*y - 16 - 24 = 0. Is y a composite number?
True
Let f be (5 - -477)/(-1 + 3). Let l = 386 - f. Is l a composite number?
True
Let y(w) = w**3 + 13*w**2 - 11*w - 20. Suppose -29 + 42 = -s. Is y(s) a composite number?
True
Let i(o) = 2*o**2 + 189*o + 33. Is i(18) a prime number?
False
Let m(h) = h**2 + 9*h - 11. Let k be m(-10). Let r(l) = 2*l - 7. Let y(a) = -a + 1. Let x(d) = k*r(d) - 3*y(d). Is x(7) a prime number?
True
Let d(r) = -r**3 + 12*r**2 + 12*r + 14. Let h be d(13). Is -1 + (346 - h - -3) a prime number?
True
Let j = -4131 + 8120. Is j composite?
False
Let m(r) = -5 + 0 - 6*r + 2 + 3*r**2. Suppose -2*g = -50 + 58. Is m(g) prime?
False
Suppose -13*y = 13 - 78. Let u be 8/6*(-3)/2. Is u/y - 4870/(-50) a composite number?
False
Is (-5)/((-76296)/(-840587) + 3/(-33)) a prime number?
False
Suppose -5*w + 2 = -3. Is 271 + (1 - 4 - w) a composite number?
True
Let l(s) = 2*s + 13. Let y be l(-6). Let d(c) = 114*c**2 - c + 2. Is d(y) a composite number?
True
Suppose 0 = -5*c - 0*c + 3165. Suppose c = -10*p + 13*p. Is p composite?
False
Let f(i) = 87*i - 5. Let r = -23 - -29. Is f(r) prime?
False
Let m = -16 - -21. Let n = m - 1. Suppose -n*q = -181 - 127. Is q a prime number?
False
Let d(x) = -x**3 + 15*x**2 + x + 2. Let k be d(15). Suppose 0 = -23*n + k*n + 7638. Is n composite?
True
Let c(j) = 5375*j - 45. Is c(2) prime?
False
Is (-12)/42 + (-182970)/(-14) composite?
True
Let c = 22418 - 3667. Is c composite?
True
Suppose 8*s = 5*s. Suppose 2*q - 4*n - 687 - 1863 = s, -3*n + 6401 = 5*q. Is q composite?
False
Suppose -5*y + 28 = 2*q, -2*y - 4*q = y - 14. Suppose 3*u = y*u. Suppose -4*b = 20, u = -4*s - 4*b - 13 + 81. Is s a prime number?
False
Let f(g) = 58*g**2 - 2*g + 2. Suppose 2*b + 2*b + 68 = 5*v, 4*v = -2*b + 70. Suppose -w + 26 = -5*i, -4*w + v + 13 = -5*i. Is f(w) a composite number?
True
Let r(o) = o**3 - 9*o**2 - o + 13. Let j be r(9). Suppose 2 = 2*h - j. Suppose -h*g - 224 = -3*b + 7, -5*g - 69 = -b. Is b composite?
False
Let d = -15 - -18. Suppose 1246 = 5*b + d*j, 5*b - 487 = 3*b - 5*j. Is b a composite number?
False
Let f(x) = 21*x**2 - 11*x + 1. Let c be f(8). Suppose 4*t - 7*t + c = 0. Is t composite?
False
Let d(k) = -2*k - 5. Let l be d(-4). Suppose -l*j + 71 = -28. Let g = j + 128. Is g a composite number?
True
Let d(p) = -p**3 - 6*p**2 - 34*p + 74. Is d(-27) prime?
True
Suppose -n = -5*c - 1622, 4*n - 3287 - 3273 = -4*c. Suppose 0 = j - 2*m - 1611, 3*m + 4832 = 4*j - n. Is j composite?
False
Suppose -72447 + 14462 = -5*x. Is x a prime number?
True
Suppose -3*w - 5*j + 17845 - 7460 = 0, 3*w - 5*j - 10345 = 0. Is w prime?
False
Suppose -2*w = 9 + 9. Let o(a) = 7*a**2 + 3*a + 1. Let c be o(-2). Let u = w + c. Is u a composite number?
True
Suppose 5*g + 15 = 0, 96*d - 93*d - 3*g = 2118. Is d composite?
True
Let w = -236 + 237. Suppose 0*c - 2*c + v = 196, 2*v = c + 101. Is c*(w + 2)/(-3) prime?
True
Let u = 4610 - 2973. Is u prime?
True
Let l(x) = -x. Let k(z) = -42*z - 26. Let i(v) = k(v) - 2*l(v). Is i(-6) a composite number?
True
Suppose -3*y + 5952 = -24447. Is y a prime number?
True
Let z be (4 - 34)*2/3. Let o = z - -22. Suppose -o*h + 30 + 108 = 0. Is h a composite number?
True
Suppose -5*c = -n + 5054, n - 7462 = 2*c - 2417. Is n a composite number?
False
Let q(h) = -3*h**3 - h**2. Let d(y) = y**2 - 1. Let x be d(0). Let b be q(x). Suppose 681 = 5*m - b*t + 186, -72 = -m - 5*t. Is m a prime number?
True
Let a = 23662 - 16023. Is a a prime number?
True
Suppose -3 = b - v, 2 = -4*b + 2*v - 4. Suppose -3*s + 5*k = -239, -2*s - 2*k = -b*s - 170. Is s a prime number?
True
Let x be 1 - (-4 - (-5 - -1)). Is 0 + 3 + (448 - x)