 + 542. Let s = h + c. Is s a prime number?
True
Let j(q) = -6*q**3 - q**2 + 6*q + 9. Is j(-4) a prime number?
True
Let z(f) = -4*f**3 - 5*f**2 - 27*f - 25. Is z(-9) prime?
True
Suppose 4*t - 2*t = -5*w + 775, -5*w = -3*t - 775. Suppose 5*n = 3*l - 476, 0 = -6*l + 5*l - 2*n + w. Is l a prime number?
True
Suppose 7*n = 22699 + 17852. Is n a prime number?
False
Let x(q) = 0*q + q**2 + q - 4*q. Let m be x(2). Is (-570 - 3)*(-3 - m) a prime number?
False
Let i(j) = j + 9. Let y be i(-8). Let c be y/2 - (-6)/(-12). Suppose -3*l + 24 = 2*h, -3*h + 10 = -2*l - c*l. Is h prime?
False
Let v = -693 + -510. Let m be (1 + (-33)/(-9))*(-2061)/(-2). Is 1/(m/v - -4) a composite number?
False
Suppose 0*y + 2*y + 16 = 2*o, -y = 3*o - 16. Suppose -x + 28 = o*x. Suppose x*w - 3518 = 2*w. Is w a composite number?
False
Let j = 2150 + -762. Suppose 2*a - 1566 - j = 0. Suppose a = 3*p + 484. Is p a composite number?
False
Let c = 22336 - 13679. Is c a composite number?
True
Suppose 3*m = 10 + 110. Suppose -f - l = -m, -6*f = -2*f - 5*l - 187. Is f prime?
True
Let v(z) = 81*z - 8. Let n(x) = -82*x + 9. Let o(j) = -5*n(j) - 6*v(j). Is o(-4) a composite number?
False
Is (4/(-1))/(-4) + 4860 prime?
True
Let l(z) = z**3 - 4*z**2 - 42*z. Is l(17) a composite number?
True
Is ((-37119)/(-5))/(16/80) a prime number?
False
Let b be -312*-1*(-2 - (-92)/12). Let f = 4539 - b. Is f a prime number?
False
Let n(z) = 1360*z**2 + z - 4*z - 8 + 299*z**2 + 9. Is n(1) a prime number?
True
Is (-25385)/(-1 + 0/11) prime?
False
Suppose -30807 = -5*h + 4*m, 3*m + 6165 = h + m. Is h a prime number?
False
Let z be 4/14 - (-10716)/28. Is (z/2)/(2/12) a composite number?
True
Suppose -p = -3*a + 2, 3*p = 5*a + 2*p - 6. Let k(x) = 205*x**3 + x**2 - 4*x + 3. Is k(a) composite?
True
Suppose 5*s - 4 = 31. Let y(v) = 10*v**2 + 1. Let o(a) = 11*a**2 + 2. Let k(m) = 3*o(m) - 2*y(m). Is k(s) prime?
True
Let k = -66 - -70. Is (973 + -1 - -2)*2/k composite?
False
Let k(f) = f**3 + 11*f**2 + 2*f + 24. Let y be k(-11). Suppose 5896 = -y*i + 6*i - 4*n, 0 = -3*n - 9. Is i a prime number?
True
Let k(m) = 148*m**2 - 6*m + 13. Is k(2) a prime number?
True
Suppose 210591 = 34*q - 25*q. Is q a composite number?
False
Is 1/(-2)*(-3648 - 46) composite?
False
Suppose 2*v - 3*v - 3 = 0. Let h be 69/12 - v/12. Is (852/(-16))/(h/(-16)) prime?
False
Let v = 0 + -14. Let b = 11 + v. Let l(z) = -23*z - 2. Is l(b) a prime number?
True
Let i(h) = 3*h - 2. Let d be i(2). Let y(o) = -39 - 44 + 30*o + 76. Is y(d) a prime number?
True
Let y = 12314 + -4335. Is y prime?
False
Let o = -81349 - -195273. Is 1 + (4/(-18) - o/(-171)) prime?
False
Let y(o) = 11*o - 25. Is y(10) prime?
False
Suppose 0 = 2*i - 5*q - 432, -3*q - 501 - 363 = -4*i. Let w = i + -36. Suppose -m - 22 + w = 0. Is m prime?
False
Let f be 8/(-28) + (-2748)/(-14). Let u = 397 - f. Is u composite?
True
Let f(v) = v**2 + 2*v - 6. Let l be f(3). Suppose -3*o - o = 12. Is l/27 - 158/o composite?
False
Let h = 101 + -49. Let t(a) = 4*a - 17. Let s be t(13). Suppose -l = -q + s, -3*q = 5*l - h - 69. Is q a prime number?
True
Let d(t) = 3*t**2 - 3*t + 2981. Is d(0) prime?
False
Suppose 0 = y - 4*w - 42, -2*w - 90 = -2*y + 3*w. Let k be (1 - (5 - 5))/((-1)/(-1751)). Let s = k + y. Is s a composite number?
False
Suppose -612 = -0*g - g. Suppose -3455 = -7*y + g. Is y a prime number?
False
Suppose 0 = l + 85 - 414. Suppose 2*t = l + 2705. Is t composite?
True
Let r(q) = -q**2 - 5*q - 1. Let v be r(-5). Is ((-858)/(-12))/(v/(-2)) a composite number?
True
Suppose 2806 = 5*i + 2*v, i + 117 - 681 = v. Let n = i - 255. Is n prime?
True
Is ((-3)/21)/((-4)/2851324) prime?
True
Let n(i) = i**2 + 16*i - 14. Let o be n(-17). Let s(m) = 14 - o*m - 7 + 5*m**2 + 4. Is s(-13) a prime number?
False
Let p be 970*(0 + (-2)/(-1)). Suppose -1135 = -5*i + 5*u + p, 4*i - 2464 = 5*u. Is i composite?
True
Let m be (4/(12/(-1925)) - -3)*-3. Suppose -179*c + 175*c + m = 0. Is c a composite number?
False
Let c(l) = l + 14. Let j be c(0). Suppose 4*k = -5*u - j, -6 = 3*u + 4*k + 4. Let o(t) = -103*t - 1. Is o(u) prime?
False
Suppose 5*z + 4*w - 16 = 0, 3*z + 0*z + 20 = 5*w. Let q = 9 + -4. Suppose -f = q*h - 2*f - 15, -2*h + 3*f + 6 = z. Is h composite?
False
Let c(o) be the first derivative of -32*o**4 - 2*o**3/3 - o**2 - o - 5. Is c(-1) a prime number?
True
Let p be (-12)/4*1 - -3. Suppose 2*v = -p*v - 116. Is v/(-4) + (-3)/(-6) prime?
False
Let v be (-2)/3 - (6184/(-6) - -1). Let i = 2722 - v. Is i a composite number?
False
Let m = 92 + -87. Suppose -4*d + 398 = 2*t, -5*t + 420 = m*d - 555. Is t composite?
False
Suppose -4*q = -5*q - 2*b + 88543, 177098 = 2*q - 2*b. Is q prime?
True
Suppose 20 = z + 2*z + b, -5*z - b = -34. Let k be (-2862)/21 - (-2)/z. Let a = k + 263. Is a a prime number?
True
Let a be 1*(2 - 1)*(-1600)/(-16). Let s = 2 + 2. Suppose 0 = 2*i - 10, s*i - 85 = -5*g + a. Is g a prime number?
False
Suppose 4*b - 4096 = -2*y + 3*b, 4*b + 6133 = 3*y. Is y prime?
False
Let m(r) = 0 - 13 - r - 4. Let z be m(14). Let i = z - -53. Is i prime?
False
Let w = 40 - 35. Suppose 4*x = -3*v + 5*v - 6310, 3*x - 15827 = -w*v. Is v prime?
True
Let x(y) = y**3 - 2*y**2 + 2. Let a be x(2). Suppose -6630 = -5*g + w, 6*w - w - 2679 = -a*g. Is g a prime number?
True
Let o be 5/(-1)*4/10. Let p be (4 - 0)/o + 1116. Suppose -u + p = u. Is u prime?
True
Let d = 552 + 121. Is d a prime number?
True
Suppose -173 = 4*i + 531. Let l = i - -558. Is l composite?
True
Let d = -390 - -1063. Is d a prime number?
True
Let d = -1398 + 2538. Suppose 4*l - d = 536. Is l composite?
False
Let w = -2985 + 11423. Suppose -w + 2850 = -4*x. Is x prime?
False
Suppose 0 = -5*q + 3*m + 9742, -2*m + 3 - 1 = 0. Is q a prime number?
True
Let m = 18834 + -11839. Is m composite?
True
Let k(y) = -281*y - 28. Let p(z) = -15*z + 3. Let a be p(1). Let c be k(a). Suppose v = 5*i - c, 2*v - 2674 = -4*i + 4*v. Is i a composite number?
True
Suppose 4*q + 851 - 235 = 0. Let t = q - -39. Let k = t - -316. Is k a prime number?
False
Let x = 7270 + -2757. Is x composite?
False
Suppose 0 = 28*h - 30*h + 14. Is ((-4 + h)*-83)/(-1) a composite number?
True
Suppose 0 = -p - 3*p - 2*b - 10, 0 = 2*p + 2*b + 10. Suppose m - 2*g - 1473 = p, 7356 = -3*m + 8*m - g. Is m prime?
True
Let o(q) = q**2 - 11*q - 27. Let l(s) = s**2 - 5*s - 14. Let d be l(7). Suppose d = -c + 3*v - 16, c + 14 = -v + 6*v. Is o(c) prime?
False
Let b be (-8)/2 - (12 - 16). Suppose v - 649 - 688 = b. Is v a composite number?
True
Let y(l) = 5*l**2 + 203*l + 57. Is y(49) a composite number?
True
Let r(h) = -h - 1. Let v be r(-6). Suppose 2*t + 2*p + 17 = v, p = -5. Let j(c) = -889*c - 2. Is j(t) a prime number?
True
Let z(w) = -w**3 + 5. Let q be z(0). Suppose 0 = -26*c + 4563 + 29367. Suppose q*y - 1190 = c. Is y a prime number?
True
Let d = -63 - -65. Is (-4)/((-8)/1666) + d a prime number?
False
Let t(p) be the first derivative of -23*p**2/2 + 5*p + 31. Suppose -w + 3*w + h + 4 = 0, 8 = 2*h. Is t(w) composite?
False
Let d be -2*(1 + (-10)/4) - -28. Suppose -d - 40 = -b. Is b prime?
True
Suppose 0 = 34*m - 31*m - 3606. Suppose -2*v = -v + l - 404, 5*l - m = -3*v. Is v a composite number?
False
Suppose -15 = 2*k - 5*r, -2*r = -5*k - 6*r + 45. Suppose -3*u - 3*t + 1198 - 430 = 0, t - k = 0. Is u prime?
True
Let a = 5613 + -3734. Is a prime?
True
Let f(s) = -s**2 - s**3 + 7*s - 3*s + 2819 - 3*s. Is f(0) prime?
True
Let i(n) = 658*n**2 + 14*n + 3. Let m(w) = 219*w**2 + 5*w + 1. Suppose 22 = -7*a + 5*a. Let g(x) = a*m(x) + 4*i(x). Is g(-1) prime?
True
Let a(c) = 8*c**3 + 4*c**2 - 74*c + 4. Is a(7) composite?
True
Suppose -5*h + 2000 = -220. Let a = h - 90. Suppose r = 3*r - a. Is r prime?
False
Suppose 19*n - 12*n - 215299 = 0. Is n prime?
True
Let r be -8*(1 - (-6)/(-4)). Let c = 2 - -176. Is c + r - (0 + -3) a composite number?
True
Let o(j) = -12*j**3 - 28*j**2 + 15*j - 51. Let d be o(24). Is (-28)/(-3)*d/(-148) a prime number?
False
Suppose 5*d + 9*d - 48874 = 0. Is d a prime number?
True
Suppose -1638*p + 1646*p = 137752. Is p composite?
True
Suppose u = -6*u. Suppose -2*i + 886 = -u*i. Is i a prime number?
True
Let v(k) = k**3 + k**2 + 2*k + 62. Suppose 5*c + 2 = 2*f - 3, 1 = -f - c. Is v(f) a prime number?
False
Suppose -2*p + 4*k + 28 = 0, -p = -0*p + k - 2. Is -2 + (-11