 + 13643. Is o a prime number?
True
Let q = -24 - -32. Suppose -714 = -q*s + 5022. Is s composite?
True
Suppose 0 = -4*b - 3*w + 32 - 4919, 0 = 2*b + 3*w + 2445. Let g = b + 3506. Is g composite?
True
Let g = 5 - 2. Let c be 288/6 + g*-1. Suppose -3*k + c + 21 = 0. Is k a composite number?
True
Let l = -1503 - -141. Let c be (l/(-5))/((-4)/(-20)). Is -1*(c - -2)/(-4) composite?
True
Let x(v) = -2*v + 3. Let s be x(-9). Suppose 4*i + s - 71 = 5*q, 5*i - 49 = 4*q. Let w(d) = -2*d**3 - 8*d**2 - 3*d - 5. Is w(q) composite?
False
Let j = 18 - 16. Suppose 5*n + 2682 + 106 = 2*b, 3*n = -j*b + 2804. Is b prime?
True
Let t(y) = -5*y + 2. Let h be (9/3 + -4)*16. Is t(h) prime?
False
Let u = -317 + 657. Let n = u + -89. Is n composite?
False
Is (-6 + -7 - -10) + 11955 + 1 composite?
False
Let o(i) = -440*i + 49. Is o(-9) a prime number?
False
Let d be (-334)/(-7) + (-8)/(-28). Suppose 7*o = 11*o - d. Let a(k) = -k**3 + 14*k**2 - 14*k + 7. Is a(o) prime?
True
Let a(r) = r**2 + 15. Let p be a(0). Suppose 4*k = 9*k - p. Suppose 5*z - 196 = -k*j + 35, -2*j = -5*z - 154. Is j a prime number?
False
Is 1 + (-4)/6 + (-2784730)/(-195) a prime number?
True
Suppose 6*r + 0 - 6 = 0. Let y = r - 1. Suppose 5*u = 4*q + 565, -5*u + y*q + 565 = 5*q. Is u composite?
False
Let b(s) = -s**2 + 25*s - 17. Let f(o) = o**2 - 5*o - 10. Let c be f(8). Let l = c - -2. Is b(l) a prime number?
True
Is (18 + (-40)/1)*1478/(-4) a prime number?
False
Let z(q) be the second derivative of q**4 + 7*q**3/6 - 7*q**2 + 45*q. Is z(-5) a composite number?
False
Suppose -3*s + 4392 + 3720 = 0. Suppose -4*q + 2168 = 4*k, -q + s = 4*q - k. Is q prime?
True
Let w = -31905 - -57206. Is w prime?
True
Suppose 29*r + 5*m = 31*r - 115343, -2 = -2*m. Is r a prime number?
False
Let q(d) = d**3 + 8*d**2 + 7*d + 8. Let w be q(-7). Suppose -w*n + 3*n = -55. Let t(s) = 41*s. Is t(n) a prime number?
False
Let l(n) = -n**3 - n**2 - 4*n + 408. Let z be l(0). Is (3/(-12))/(5/20) + z composite?
True
Let k(n) = 8421*n + 20. Is k(1) composite?
True
Is (-1178)/4*(-10 - -14)/(-2) prime?
False
Let s = -4 + -771. Let d = 1112 + s. Is d a prime number?
True
Is (1 + 45226)/7 + 8 a prime number?
True
Is 1/(-3) - 3306464/(-168) prime?
True
Let l(d) = d - 6. Let v be l(-7). Let z = 13 + v. Suppose 3*o + 1547 = 5*p - z*o, -4*p + 2*o = -1236. Is p prime?
True
Let b be ((-3)/4)/((-3)/12). Suppose -2*o + z = o - 1140, 4*o = b*z + 1525. Is o a prime number?
True
Suppose -7*b = -9*b + 1932. Let w = b + -429. Suppose -8*q + 11*q - w = 0. Is q prime?
True
Suppose 9*g - 26*g + 239921 = 0. Is g composite?
True
Suppose -v = 2*v - 5*c + 22, -5*v - 4*c = -25. Is (-3026)/(-119)*(6 + v) prime?
False
Suppose -3*m + 10 = 4. Let r be (2 - 4)/m*-1382. Let i = -969 + r. Is i a prime number?
False
Let x = 8 - 5. Suppose 0 = -x*a + 12 + 3. Suppose -a*d = 1680 - 5015. Is d composite?
True
Let q be 3 - (-1 + (-2388)/1). Suppose 5*r + 2*m - q = -m, -2*r = 4*m - 954. Is r prime?
True
Let z be ((-2)/3)/((-2)/3). Suppose -9 + 19 = -10*p. Is ((-399)/3)/p + z a composite number?
True
Let n(a) = 19*a**2 + 4*a - 7. Let x be n(6). Let t = x + 178. Is t composite?
True
Let o = -25840 + 43019. Is o composite?
True
Let b(r) = r + 11. Suppose 0 = -y - 0*y + 2. Suppose y*h = 7*h. Is b(h) a composite number?
False
Suppose -21324 = -4*u - 4*t, 10*t = -3*u + 9*t + 15997. Is u a prime number?
True
Let w = 57 + 9. Suppose 225 = 3*z + w. Is z a prime number?
True
Suppose 5*u = -2*d + 5253, d = -4*u + 645 + 1977. Let z = d + -1747. Is z prime?
True
Let o(s) = 2376*s + 29. Is o(4) a prime number?
True
Suppose 13*s + 87 - 4208 = 0. Is s composite?
False
Is 5/((-65)/(-78143)*1) a prime number?
True
Is -7486*(63/14)/(-9) composite?
True
Let t = -15 + 22. Suppose t*f = -f + 1064. Is f composite?
True
Suppose -222*r - 64264 = -230*r. Is r prime?
False
Suppose 4*z - 4*a - 5736 = 0, 2*z + 1765 = -a + 4621. Is 1/(246/z + (-2)/13) a composite number?
True
Suppose -26 = -5*w - 1. Let d = 55 + -23. Is (-18)/(-6) + d*w composite?
False
Let q(m) = -13*m - 40. Let r be q(-18). Suppose 16 - r = -2*z. Is z prime?
True
Let k(z) = 20*z**3 - 11*z**2 - 3*z - 1. Is k(9) composite?
True
Suppose 0 = -3*g - 2*a + 481, 3*g + g = -5*a + 653. Let f = 38 - -56. Suppose -f - g = -r. Is r prime?
True
Suppose 2*x + 50295 = 5*p - 3*x, 0 = p + 5*x - 10071. Is p composite?
False
Suppose 71333 = 5*y - 4*o, 6*o - 3*o - 57085 = -4*y. Is y a composite number?
True
Let i(z) = 4*z**2 - 3*z - 6. Let p be i(-5). Let j = p - -19. Suppose -4*y + a = -j, -a = y - 11 - 26. Is y prime?
False
Let q(k) = 896*k - 1. Let y be (-1)/(2*(-1)/(-2)). Let t be (-1*3/3)/y. Is q(t) a prime number?
False
Let v = 4 + 79. Let i = v + 168. Is i a prime number?
True
Let z(g) = 15*g**3 + 2*g**2 + 5*g - 4. Suppose 0 = -5*u - 5, -5*h = -9*h + 2*u + 10. Is z(h) a prime number?
False
Let k(q) = 5*q**3 + 15*q**2 - 11*q**3 + 5 + 4*q - 17*q**2. Is k(-4) prime?
False
Suppose 0 = 2*v + 6*d - 4*d - 938, 0 = 3*d + 15. Let i = v + -215. Is i a prime number?
False
Let w = -228 - -345. Suppose -w - 59 = z. Let v = 282 + z. Is v prime?
False
Let t(x) be the first derivative of x**2/2 + 46*x - 1. Let k(o) = -o**2 + 4*o. Let b be k(4). Is t(b) a composite number?
True
Let i be 3/1 - 2 - 13. Let m be (-4)/10 - i/5. Suppose -190 = -0*d - m*d. Is d prime?
False
Let h be (-1)/(-1*1/24). Let z = 9 + h. Is z composite?
True
Suppose -2*p - 4957 = -3*h, -2*h = 3*h + 4*p - 8247. Is h prime?
False
Let i(w) be the first derivative of -w**4/4 - 11*w**3/3 + w**2/2 - 10*w + 3. Let s be i(-10). Let m = s - -197. Is m composite?
True
Suppose 5*d + 4*d = 18. Suppose 6*j + 2501 = 5*t + 3*j, 1004 = d*t - 3*j. Is t a prime number?
True
Suppose -2*j = -2*g - 2*g - 28, 1 = -g - j. Is (g + 8)*586/6 a prime number?
True
Let b(y) = y**3 + 59*y**2 - 65*y - 8. Is b(-35) prime?
True
Is 3062397/130 + 1/10 prime?
True
Let a(h) = -27*h + 4. Suppose -p + 19 = 3*p + u, 5*u = -5*p + 35. Suppose m = -m - 2*j - 14, p*m = -3*j - 24. Is a(m) prime?
False
Let k(d) be the third derivative of 19*d**5/60 + 15*d**4/8 - 11*d**3/6 + d**2. Is k(17) prime?
False
Let d(a) = -a + 15. Let v be d(10). Let o = v - 3. Is (o/(-6))/((-2)/126) prime?
False
Let a(v) = 19*v + 105. Is a(10) prime?
False
Let f(z) = 136*z**3 - 14*z**2 + 6*z - 9. Let d(c) = -91*c**3 + 9*c**2 - 4*c + 6. Let u(n) = -8*d(n) - 5*f(n). Is u(2) a composite number?
True
Let o(h) = -3*h. Let p be o(-2). Let z(c) = -c**2 + 7*c - 2. Let f be z(p). Suppose -101 - 119 = -f*n. Is n a prime number?
False
Suppose -4*r = -4*d + 504, 2*r = 5*r. Suppose c - d = -2*m + m, -675 = -5*c + 4*m. Is c prime?
True
Suppose 15871 - 162223 = -16*o. Is o a prime number?
False
Let q = 7683 - -118. Is q a composite number?
True
Let j = 39 - -196. Let k(t) = -t**3 - 8*t**2 + 10*t - 1. Let y be k(-7). Let b = y + j. Is b a composite number?
True
Let q(o) = 23*o + 20. Let p be q(20). Suppose -3*z = -p - 309. Is z composite?
False
Let s(r) = 151*r - 263. Is s(16) composite?
False
Let b = -10415 - -14824. Is b a prime number?
True
Let m = -9 - -13. Suppose -y = m*y - 25. Suppose 0 = -y*a + a + 36. Is a a prime number?
False
Suppose -4*c - 9*c = 260. Is (-1412)/c - (44/(-10) + 4) composite?
False
Suppose 0 = 2*t + 4*k - 3754, 1717 = t - 5*k - 181. Is t prime?
False
Let v = 1926 - -535. Is v composite?
True
Suppose 3 + 7 = 5*l. Suppose -166 = 2*f + l*t, 2*f + 5*t = -0*t - 175. Let k = -27 - f. Is k prime?
True
Let l = 49552 + -29711. Is l composite?
False
Let d = 975 + 6308. Is d a composite number?
False
Let h = -2386 + 1637. Let k = -278 - h. Is k composite?
True
Let t be (42/28)/(2/(-412)). Is 10/(3 + 2) - t a prime number?
True
Is ((-8)/6)/(-13 - -15)*-13353 a prime number?
False
Let f = 262 - 32. Let u = 481 - f. Suppose 69 = -2*r + u. Is r prime?
False
Let q(o) = 1703*o**2 + 25*o - 59. Is q(2) a composite number?
False
Is 1/((14/(-2902))/(-7)) a composite number?
False
Let g(c) = 1348*c - 53. Is g(7) a composite number?
True
Let g(s) = -9 - 9*s**2 + 20*s - s**3 + 4*s + 2*s**3 - 3*s - 9*s. Let l(a) = -3*a - 4. Let m be l(-4). Is g(m) a prime number?
True
Suppose 0 = 4*p - 3*g - 106691, -8*p - g + 133340 = -3*p. Is p a prime number?
True
Let x(b) = -1090*b + 229. Is x(-25) a prime number?
True
Suppose 5*t - 12 = -3*d + 3, 0 = 2*t + d - 5. Suppose -i = -t*