 Is h a prime number?
True
Let d = -11576 - -35905. Is d a composite number?
False
Let o(d) = -d**2 + 8*d - 5. Let f = 22 - 15. Let b be o(f). Suppose 0 = 2*v + 5*w - 251, w + 5 = b*w. Is v prime?
True
Let u(w) = 15*w**2 + 9*w - 6. Let b be u(-6). Suppose 3*j + 2*d = b, 4*d - d + 160 = j. Let r = 561 - j. Is r composite?
False
Let a = -529 + 2820. Is a a prime number?
False
Is 700379/(-116)*8/(-2) composite?
False
Let p = -21 - -9. Let g be (-2)/p + (-825)/(-18). Suppose -4*b = -4*n + 150 + g, -4*n + 2*b = -204. Is n a prime number?
True
Suppose 6*w - 15 - 3 = 0. Is (0 + 1082/w)*15/10 composite?
False
Let p(b) = 140*b**2 + 3*b - 83. Let f be p(11). Suppose -3*s - 2*s = m - f, 5*m = -5*s + 16910. Is s a prime number?
False
Let t = -17 - 124. Let y(d) = 4*d**3 + 3*d**2 - 6*d + 5. Let f be y(5). Let r = f + t. Is r a composite number?
False
Let q(a) = 131*a + 34. Let x(d) = -d**3 + 11*d**2 - 9*d - 1. Let c be x(10). Is q(c) prime?
True
Let d = -28 + 30. Suppose -14 + 6 = -d*f. Suppose -y - 2*g + 114 = -3*g, -f*y - 3*g + 484 = 0. Is y a composite number?
True
Suppose -2*g + 0*g - 2679 = -3*h, -g = 4*h + 1323. Let s = -736 - g. Is s composite?
False
Suppose -10 = 5*q, 3*w - 3*q - 5671 - 4964 = 0. Is w a composite number?
True
Let r(u) = 3*u - 3. Let b(k) = 6*k - 7. Let z(i) = 2*b(i) - 5*r(i). Is z(-12) a prime number?
True
Let i(q) = -37*q - 6. Let x be i(-4). Suppose x*z - 137*z - 5930 = 0. Is z composite?
True
Is (-11012)/(-5) - 429/(-715) a prime number?
True
Suppose 0 = 4*g + 3*g - 84. Is 1624/g*3/2 prime?
False
Let r(n) = 33*n**2 + 3*n + 3. Let q = -4 + 2. Is r(q) a composite number?
True
Let h = 837 + 82. Is h a composite number?
False
Let d(b) = 28*b**2 - 14*b + 15. Let v(p) = 29*p**2 - 13*p + 14. Let u(f) = -5*d(f) + 6*v(f). Is u(4) prime?
True
Suppose 24 = -6*o - 0. Is 24556/(-42)*6/o a prime number?
True
Is 37/185 - 20988/(-10) prime?
True
Suppose 4 = 2*y, -11*b = -16*b - y + 22087. Is b prime?
False
Let u(f) = 36*f**2 + 12*f + 125. Is u(19) a prime number?
False
Suppose -35*j = -19*j - 83152. Is j a composite number?
False
Let n(t) = 2*t - 10. Let g be n(6). Suppose -g*l = -8*l + 66. Let j = 12 + l. Is j composite?
False
Suppose 0 = -l - 3*g + 17605, 0 = 21*g - 17*g - 8. Is l composite?
False
Let l(a) = -1352*a - 4. Let u be l(-12). Suppose 2*z - 3244 = z - 5*o, 0 = 5*z - 5*o - u. Let w = z + -1691. Is w prime?
True
Let w(y) = 34*y**2 + 4*y - 106. Is w(-14) prime?
False
Let v(l) = -117*l + 25. Let z be 5*2*12/30*-2. Is v(z) a composite number?
True
Suppose 2*x = -p + 19, 16 = -5*p - 2*x + 71. Is (20598/p)/(24/36) composite?
False
Suppose 3*m + 7 = -2. Let q(k) = 219*k**2 - 4*k - 10. Is q(m) prime?
True
Suppose 28 = -6*s + 154. Suppose -s*n + 20*n = -331. Is n a composite number?
False
Suppose -5*d + 16 = -d. Suppose -o + y = -522, -2*o - d*y - 260 = -1298. Is o a composite number?
False
Suppose r + 63282 = 2*d - r, r + 126570 = 4*d. Is d a composite number?
False
Let j(t) = -t**3 - t**2 - t + 40. Suppose s = -5*s. Let k be j(s). Suppose -3*n = 2*p - 0*p - k, 0 = 4*n + 2*p - 50. Is n a composite number?
True
Let y be (-1 - 1636)/(1 + -2) + -1. Is y*(17/36 - 2/9) a prime number?
True
Suppose -3*i + 20 = -8*i, -4*i = 4*a - 760. Is a a composite number?
True
Suppose -49 = 3*a + 119. Suppose 5*s + 111 = -74. Let p = s - a. Is p a composite number?
False
Let f be (-5)/10 - (-9)/2. Suppose 567 = -3*k - 3*y, f*y - 420 = 4*k + 368. Let z = -114 - k. Is z composite?
False
Suppose g - 4 = -0*g. Is (0 - 58/g)/(4/(-16)) a composite number?
True
Let i(p) = -8*p - 8. Let l be i(-2). Let r(k) = 24*k**2 - 10*k + 9. Is r(l) prime?
False
Let s(b) = 4118*b + 96. Is s(5) a prime number?
False
Suppose -4*r = -2*t - 32, -2*r - t + 8 = 2*t. Suppose 2*l - 1005 = r*l. Let y = 10 - l. Is y a prime number?
True
Let p(s) be the third derivative of 307*s**5/30 - s**3/6 + 28*s**2. Is p(1) prime?
True
Let l = 16 - 11. Suppose 0*a - 303 = -w - 2*a, 5*w - 1525 = -l*a. Is w a composite number?
False
Suppose 3*o + 190 = -2*o. Let w = o + 105. Is w a composite number?
False
Let o = 1 - 5. Let d be (-18)/((-9)/3) + o. Suppose -g = 2*t - 114, 0 = -g + d*g + 2. Is t a composite number?
True
Suppose 4*m + 2*m - 12 = 0. Is ((-5)/(-15))/(m/966) a prime number?
False
Suppose 3*c - 5*t - 7188 = 0, 5*c - 2*c - 7185 = 4*t. Is c a prime number?
False
Let k(z) = 5*z + 4. Suppose 6*i - 12 = 3*i. Suppose i*y + y - 15 = 0. Is k(y) a prime number?
True
Let s(d) = -d**2 - 12*d + 1. Suppose -5*x = w + 38, -2*x + 3*w = -w + 24. Is s(x) prime?
False
Suppose y - 34996 = -q + 2*y, -2*q = -y - 69993. Is q a prime number?
False
Suppose 2*d - 2988 = 3418. Is d composite?
False
Suppose 0 = 3*d + 4*i - 32115, 2*d - 5*i + 2043 = 23453. Is d prime?
False
Let a = -3928 - -6893. Is a prime?
False
Suppose -j = 4*c - 318479, 6*j - 159217 = -2*c + j. Is c prime?
True
Let c = 24697 + -17520. Is c a prime number?
True
Suppose -3*t + 2*b + 5 = -0, -b + 30 = 5*t. Suppose -5 - 15 = t*g. Is 2/((8/(-347))/g) composite?
False
Suppose -3*x + 2*w - 1939 = 0, -2*w + 1169 + 125 = -2*x. Let q = 1318 + x. Is q prime?
True
Is (-25)/(-20) + 198/16*282 composite?
False
Let v(g) be the first derivative of 199*g**5/10 - g**4/12 + 5*g - 6. Let k(h) be the first derivative of v(h). Is k(1) composite?
False
Suppose 3*i = -2*o - 240, -20 = -0*i - 5*i. Let g = 237 + o. Is g composite?
True
Let z(w) = -w**3 - 9*w**2 - 5*w - 2. Let n be z(-6). Let y = 397 + n. Is y a prime number?
True
Let k = 12 - 9. Suppose 0 = -k*w + 3951 + 1446. Is w a composite number?
True
Let j(w) = w**3 - w**2 + w + 5. Let f be j(0). Suppose -q + 441 = f*h, -3*q - 184 = -3*h + 95. Is h composite?
False
Let t = -175 + 1316. Is t a prime number?
False
Suppose 0 = 11*v - 6*v + 25. Is (v + 546)/(-2 - (-6)/2) a composite number?
False
Let r(p) be the third derivative of p**6/120 - 7*p**5/60 + p**4/2 + 5*p**2. Let q be r(5). Is -101*25/q*-2 a prime number?
False
Let m = 182 + -152. Suppose -22*j - 7528 = -m*j. Is j composite?
False
Suppose -26*r + 8 = -30*r. Is 992 + r + -2*(-4)/(-8) a prime number?
False
Let f(l) = -l**3 - 14*l**2 + 14*l - 11. Let q be f(-15). Let b = -7 + 5. Is (-493)/b + q/8 prime?
False
Let k(l) = -l**3 + 5*l**2 + 2*l - 5. Let y be k(5). Suppose -y*i - 6*u = -u - 4325, 3*u + 4309 = 5*i. Is i a composite number?
False
Suppose -115*t + 9419367 + 9710768 = 0. Is t a prime number?
True
Suppose 9 = -3*p + 2*p - 3*x, -x = -5*p - 29. Is p/8 + (-855)/(-4) prime?
False
Let t = 890 + 1331. Is t a composite number?
False
Suppose -3*i - 131 = 2*w, -i - 2*w = -7*w + 38. Let h(t) = -2*t**2 - 11*t - 7. Let k be h(-7). Let f = k - i. Is f composite?
True
Let k(v) = -6 - 8*v**2 + 13*v**2 + 5. Let s be -2*(-2 - -1) + 4. Is k(s) composite?
False
Suppose -4*i = -14*i + 120. Suppose i*g - 5211 = 3*g. Is g a prime number?
False
Let p = 68 - -1540. Suppose 7*o - p = 611. Is o a composite number?
False
Suppose 20*i - 15*i = 3*p - 60760, -5*i = 2*p - 40465. Is p composite?
True
Let g be (-2)/(-10) + 18/(-90). Let m(f) = 2*f - 1072. Let u be m(g). Let z = u - -1705. Is z composite?
True
Let o(c) = 37*c**2 + 9*c + 3. Let q be o(-4). Suppose 3*y - 564 = -0*y + 3*g, -3*y - 2*g = -q. Is y a composite number?
True
Let d(i) = 643*i - 77. Is d(10) prime?
True
Let b = 3 - 6. Let g be (-8)/b - (-12)/(-18). Is 8/g + -4 - -265 prime?
False
Suppose -h - 4 = -2*k - 0*k, -4*k + 10 = -3*h. Let c be 6/(-3) - k*-5. Suppose -102 = -c*r - 3*i, -36 = -r - i + 2*i. Is r prime?
False
Let q be (-3 - (12 - -5))*874/(-4). Suppose q = 5*r + 5*r. Is r a composite number?
True
Let h = -15 - -9. Is ((-538)/(-6))/(h/((-108)/6)) composite?
False
Let p = -20282 + 37753. Is p a prime number?
True
Let f be (15/(-5) - 0) + -1. Let t(v) = -11*v**3 - 15*v**2 - 3*v + 2. Is t(f) prime?
False
Let x(d) = -5*d**3 + 4*d**2 - 24*d - 58. Is x(-9) a prime number?
True
Suppose -9 - 9 = -3*r. Suppose 0*b - b = -r. Is b prime?
False
Suppose -359 = -8*h + 17. Is h composite?
False
Let p = 16 - 16. Suppose -15*i + 10*i - 10 = p. Is (-388)/(-3) + i/6 a prime number?
False
Let z be 4/(16/36) + 1. Suppose l = x + 6, -l + 5*x = -0*l + z. Suppose l + 84 = r. Is r composite?
True
Suppose 6*c = 3*c + 6. Suppose -2*h + 12 = 4*w, -w + 3 = c*h - 6. Is 8 - (0 + w + 0) a composite number?
False
Is (-49)/(-14)*(-173694)/21*-1 