c(j) = -25*j**2 + 4*j - 12. Let p be c(m). Let v = 2713 + p. Is v a prime number?
True
Let g(m) = 788*m**3 - 3*m**2 + 9*m + 53. Is g(4) prime?
False
Let r be ((-3574282)/(-213))/(2/(-6)). Let f = r - -93456. Is f prime?
False
Suppose 9*z - 54 + 0 = 0. Suppose -f - 5*l - 14 = 0, 5*f - 3*l - z = 8. Is 1690 - -3 - (1 - f) a composite number?
False
Suppose 606*z = 544*z + 62147374. Is z a prime number?
True
Suppose 2*w = -3*w - 4*j + 32, 3*w - 4*j = 0. Let b = 6296 + -3256. Suppose -b = -w*d + 4*u, 89 = 3*d - u - 2197. Is d composite?
True
Suppose -2*x - 3*n = -2805292 + 709605, 4*n - 3143527 = -3*x. Is x composite?
False
Let r = 87 - 87. Suppose 0 = 4*d - 2*g - 770, d - 3*g - 190 = -r*g. Suppose -x + 0*o - o = -201, -x = 5*o - d. Is x a composite number?
True
Suppose -6*c = -12*c + 12. Suppose 3*m + c*v - 11665 = -2*m, 2*m - 4675 = v. Is m composite?
True
Suppose 0 = 91*p - 86*p + q - 1099862, 5*p - 1099850 = -5*q. Is p composite?
True
Suppose c = -k + 2*c + 9, 0 = 2*k + c - 15. Let f be (-8)/(-16)*k*1. Is (-267)/f*10/5*-2 composite?
True
Let z be 40 - (5 + 1) - (2 + 1). Suppose z*r - 21*r - 53810 = 0. Is r a composite number?
False
Let u(q) = -14969*q**3 + 3*q**2 - 4*q - 7. Is u(-1) composite?
False
Is ((-4113543)/(-17 + 20))/(-7) prime?
True
Suppose 47*r + 28496 = 55*r. Let v = r + -2003. Is v composite?
False
Suppose l + 3*r = 1677 + 1642, 0 = 2*l + 2*r - 6658. Suppose -i = d + 1550, 2*d - 242 = 2*i - l. Let v = 2689 + d. Is v a composite number?
True
Let g(w) = 4*w - 4. Let b = 52 - 51. Let q be g(b). Suppose q*k = 9*k - 6705. Is k prime?
False
Suppose 0 = 66*i - 1769371 + 245748 - 1441559. Is i a composite number?
False
Let q = 273 - 156. Is 276445/q + 4/18 a prime number?
False
Let l(k) = -3*k**2 + 3*k + 4. Let a be l(5). Let s = 61 + a. Suppose -3*t = -s*t + 1298. Is t a prime number?
False
Let v(x) = 1033*x + 1. Let c be v(1). Suppose -613 + 94 = -g + 2*i, -2*g + c = -2*i. Suppose -27 - g = -2*h. Is h prime?
True
Suppose -4*r - r + 3060 = 0. Let y = 6699 + r. Suppose 106*i = 103*i + y. Is i a composite number?
False
Let y be 0 + 4 + -8 - -4. Is (y + -1 + 0)*-631 composite?
False
Let b(g) = -2*g + 7. Let r be b(2). Suppose 0 = 15*d + r*d - 78174. Is d a composite number?
True
Suppose -19*u + 24*u - 440 = 0. Let y = -83 + u. Let g(r) = 18*r**3 + 6*r**2 + r + 8. Is g(y) composite?
True
Let y(w) = -545*w + 967. Is y(-48) prime?
True
Is (-56302)/1*(-124)/248 prime?
True
Suppose 33 = h + 2*p, 111 = 5*h - 4*p - 12. Suppose -2*o + 10 = 0, -3*y + 2*o + h = -o. Suppose -y*m + 370 = -12*m. Is m composite?
True
Suppose -10*s = -16*s - 24. Is (s/(-12)*-22)/(10/(-9615)) a prime number?
False
Is (-24)/(-10) - 1439688587/(-895) prime?
False
Let p(j) = j**3 + 2*j**2 - 2*j - 1. Let c be p(3). Let y(z) = -109*z - 43. Let n be y(-4). Let f = c + n. Is f a prime number?
True
Suppose 4*i - 17926 = 22410. Suppose -i = -z - 3*z. Suppose -764 = 7*t - z. Is t prime?
True
Let t(a) = -1181*a - 2. Let p be t(-1). Suppose -758 = -y + p. Is y a composite number?
True
Let f(w) = -3*w - 65. Let x be f(-22). Let a(s) = 9810*s - 17. Is a(x) composite?
True
Suppose -24*o = -10*o - 70. Is 128 + 0 + o + -4 composite?
True
Suppose -3 = 3*l - 9, 0 = 2*z + 3*l - 20. Let q(v) = 14*v - 13. Is q(z) prime?
False
Is 5594384/8 - -28*(-6)/(-24) a prime number?
False
Suppose -19*i + 16*i - 87 = 0. Let a = i + 41. Suppose -a*v + 635 = -7*v. Is v a prime number?
True
Suppose -6*s + 82274 = -5*d, -4*s + s + 41111 = 4*d. Is s a composite number?
False
Suppose 2058 = 30*j - 28*j. Let q = 17608 + j. Is q a composite number?
False
Let h(y) = 7*y + 1. Let f be h(2). Suppose -9*p = -6*p - f. Is (-4400)/(-1) + -6 + p composite?
True
Let u(l) be the first derivative of l**2 + 157*l - 58. Suppose -2*v = -5*v. Is u(v) a composite number?
False
Let j = -359 - -325. Let s(m) = 4*m**2 + 41*m + 21. Is s(j) a composite number?
False
Let x = 48 + -58. Is 5*((-1154)/x + 2) a prime number?
True
Let l(m) = -7*m**3 - 8*m**2 - 18*m - 19. Let g = 131 + -137. Is l(g) composite?
True
Let y(i) = 842*i - 3. Let k be 2/10 - (1 + (-59)/5). Suppose 0 = -7*v + k*v - 4. Is y(v) a prime number?
True
Let z = -10 - -13. Suppose 4*c = z*q - 1188 - 2686, -2*q + 2*c + 2584 = 0. Is q a prime number?
False
Is (55457/(-2))/((-6)/24 - (-6)/(-24)) composite?
False
Let a(v) be the first derivative of -v**4/3 + 5*v**3/6 - 3*v**2 + 16. Let l(q) be the second derivative of a(q). Is l(-6) a prime number?
True
Suppose 169*h = 24*h - h + 9119306. Is h prime?
False
Let r = 45703 - -131214. Suppose -9*x - 22*x = -r. Is x prime?
False
Suppose -b - 4*b = 30. Let z be (-2)/b - 1*(-49)/(-3). Is (z/(-6) + -2)*(-20052)/(-8) a prime number?
False
Suppose -5*u - k - 38 = 0, 3*u + u = 2*k - 22. Let b be (3 - (u + 3 + 3)) + 13318. Let n = -8989 + b. Is n composite?
True
Let g(t) = -t**3 + 8*t**2 - 5*t - 10. Let z be g(7). Suppose -5*c - 878 - 8058 = -m, 2*m + z*c = 17886. Let k = m - 4190. Is k a composite number?
False
Let b(y) = 38*y - 13. Let t be b(4). Let n = 139 - t. Is 9 + 3419 - (n + 1) composite?
True
Let n = -23 + 56. Let q = n + -31. Suppose u = -q*g + 424, -g + 203 = -u - 3*u. Is g a composite number?
False
Suppose -315*z = -346*z + 405759. Is z prime?
False
Suppose -4*m - 5*c + 8 = 0, 0 = -2*m + 4*m + c - 10. Let g(h) be the third derivative of h**6/120 - 7*h**4/24 - h**3/6 + 345*h**2. Is g(m) a composite number?
False
Suppose -2595*n = -2578*n - 7690681. Is n composite?
False
Let f be (50/(-125))/(-2) - (-122)/(-10). Suppose 4*a - 3*y - y = 520, -4*y + 278 = 2*a. Let n = f + a. Is n a prime number?
False
Let u(s) = -127*s. Let v = -10 + 24. Suppose -v = 2*b - 8. Is u(b) prime?
False
Let l = -55447 + 177134. Is l a prime number?
True
Suppose 16*b - 42*b = 52*b - 7802106. Is b a composite number?
True
Let a(v) = -115*v - 24. Let n(q) = q**3 - 17*q**2 + 15*q + 17. Let d be n(16). Let p(o) = -o + 1. Let w(i) = d*a(i) + 6*p(i). Is w(-5) composite?
False
Let w(p) = p**3 - 6*p**2 - 27*p - 4. Let c be w(9). Is (6/4)/(c/((-130976)/6)) composite?
True
Suppose 74*m + 6 + 68 = 0. Let s(y) = 6 - 59*y - 44*y + 0. Is s(m) composite?
False
Is 122500 + 0 + (133 - 136) a composite number?
False
Let o be (-4 - -3)*1 - -3. Let u(t) = -3339*t + 4. Let c(h) = 1113*h - 1. Let z(d) = -11*c(d) - 4*u(d). Is z(o) composite?
False
Let k = -165 - -168. Suppose 0 = k*y - 2*n + 6*n - 7733, -4*n - 7741 = -3*y. Is y a prime number?
True
Is (-2)/(-14) - 36/(-168)*231760 prime?
True
Suppose 23*a - 3*b = 19*a + 221185, -3*a - 5*b + 165838 = 0. Is a composite?
False
Suppose 4*u - 10*u + 11754 = 0. Let y = 3632 - u. Is y a prime number?
False
Let t be (-1)/(4/12*-1). Suppose 4*s + 20 = 0, -s = -t*w + 3*s + 4742. Is w composite?
True
Suppose 68*x - 5*l + 1482390 = 73*x, -x = 2*l - 296483. Is x composite?
False
Let v(z) = -5544*z - 353. Is v(-26) a composite number?
False
Suppose 70*m + 51171 = 4831. Let a = m + 1335. Is a a prime number?
True
Suppose -5*y - 19 = -2*x, 2*x - 13 = 7*y - 4*y. Is 3 + -4460*x/(-1) composite?
False
Let u be (376/14)/(4 - (-328)/(-84)). Suppose 0 = -2*d - 0*d + 176. Let n = u - d. Is n a composite number?
True
Let a = -27805 + 52486. Suppose -3*w + a = 4*d - 65476, -4*d - 30031 = -w. Is w prime?
True
Let n(d) = 2 + 426*d + 3 - 36*d + 1. Let k be n(-5). Is -1 - (-1)/((-2)/k) prime?
True
Suppose -12*b = 11*b - 58029. Suppose 3*g = 738 + b. Is g a composite number?
False
Let o(m) = -m**3 - 42*m**2 + 87*m - 75. Let h be o(-44). Let f = h + 1280. Is f composite?
False
Let d be (-12)/(-2)*8/16. Suppose 2*j - 2*c - 25530 = 0, d - 5 = c. Is j composite?
False
Suppose 11*z - 15*z = -8. Suppose r + 1367 + 1132 = -4*n, z*r = -4*n - 2494. Let w = n - -943. Is w a prime number?
True
Let t(c) = -2*c**2 + 56*c + 234. Let m be t(-14). Let l be -1 - 5/(5/532). Let g = l - m. Is g a prime number?
True
Let q(v) = -3 - 2*v - 500*v + 9 + 5. Let w be 29/174 + (-31)/6. Is q(w) a prime number?
True
Let n be 20/48*-14 + (-4)/24. Let q be 16/(-72) - n/27. Let g(a) = -a**3 + a**2 + a + 2459. Is g(q) a prime number?
True
Let j(h) = 14070*h**3 + 12*h**2 - 69*h + 116. Is j(3) prime?
False
Let n(x) = -9*x - 8. Let u be n(-4). Let z = u + -34. Let c(l) = -55*l + 1. Is c(z) a composite number?
False
Suppose 0 = 7*n + 29*n - 21*n - 59055. Is n composite?
True
Suppose 8 = 5*s 