(-14)) prime?
True
Let r(i) = -116*i + 5. Let v(d) = 3*d + 12. Let u be 2/5 - 259/35. Let n be v(u). Is r(n) prime?
True
Let y(m) be the first derivative of -435*m**2/2 + 2*m - 11. Suppose 37*i = 39*i + 2. Is y(i) prime?
False
Let a = -188 - -175. Let o(b) = -b**3 + 18*b**2 + 6*b - 6. Is o(a) composite?
True
Let c = 385 - 402. Is 9/3 + c/(68/(-26600)) a prime number?
True
Let r = -74 - -74. Suppose 0 = -r*l + l - 11. Suppose m = -l*m + 2988. Is m composite?
True
Suppose -311*p = -309*p - 4*q - 6423150, -p = -5*q - 3211569. Is p prime?
False
Let w(r) = 7446*r + 5990. Is w(26) prime?
False
Let h = 104020 - 46691. Is h prime?
True
Suppose -5*q + 29 = 9. Suppose -28*z = -29*z + q. Suppose -5*a = -3*i + 899, 0 = -3*i + z*i + 4*a - 277. Is i a composite number?
False
Let r(x) = -10*x + 80. Let f be r(7). Is 28744/16*f/5 a composite number?
False
Suppose -380737 = 134*n - 135*n - 11*r, -3*n + 4*r + 1142063 = 0. Is n prime?
False
Suppose 2*g + 4*p - 54702 = 0, -4*p + 218868 = -10*g + 18*g. Is g a composite number?
False
Is -1*(6 + -5 + -3) + 33245 composite?
False
Suppose 0 = 5*h + 5*s - 6250, -2*h + 7*h - 3*s - 6218 = 0. Let o = 2048 - h. Is o a composite number?
True
Suppose 0 = -2*t + 6*t - 608. Let y = t - 100. Suppose -3*q = -397 + y. Is q a prime number?
False
Suppose -15*v = -14*v - 2797. Let p = -510 + v. Is p composite?
False
Let c(i) = i**2 - 6*i + 278. Suppose -2*j + 53*a = 57*a - 68, 4*j = -4*a + 128. Is c(j) a prime number?
False
Let m = 17332 - -11179. Suppose -28526 = -12*f + 8*f + 2*x, -4*f = 3*x - m. Suppose f = 4*n + 6*n. Is n prime?
False
Suppose -4*w + 22731 = 13*z - 12*z, -113685 = -5*z - 5*w. Is z a composite number?
False
Let v(w) = -126251*w + 403. Is v(-2) a prime number?
False
Let j(n) = 104013*n**2 + 30*n - 41. Is j(2) a prime number?
True
Let h(y) = 432*y**2 - 18*y - 25. Let w(k) = -216*k**2 + 9*k + 13. Let t(x) = 3*h(x) + 5*w(x). Is t(-5) a composite number?
True
Is 1/(2/(-16)*2)*(-6721970)/136 a prime number?
False
Suppose -78684 + 1676 = -4*d + 2*b, -b - 96251 = -5*d. Is d prime?
True
Suppose 4*m = -3*o - 520, 19*o - 23*o - 516 = 4*m. Let p = m + 204. Is p composite?
False
Let p be 5*1 + (12 - 12 - 2). Suppose p*y - 5*b - 52381 = 0, y + 2*b = b + 17471. Is y a composite number?
False
Let b(f) = f**3 + 31*f**2 - 31*f + 36. Let w be b(-32). Is 42621/(w/(-10) - (-578)/170) a composite number?
False
Let g(p) = -p - 5. Let m be g(1). Let x(j) = -260*j - 17. Is x(m) composite?
False
Suppose -7*g - 9 = -44. Suppose 2*c + 12412 = 2*h, h - 18642 = -2*h - g*c. Is h composite?
True
Let f be -1 - 8/(-5) - 83710/(-25). Suppose 0 = 3*v - 23648 - f. Suppose v = 5*u - 3*c, -2*c - 2 = -6. Is u a prime number?
True
Let o = 31 - 30. Suppose -p = o, -3*p + 5*p - 147826 = -4*y. Is 2/9 + y/27 composite?
True
Suppose -3*n = -10*n. Suppose n = 3*u - 9 - 15. Suppose -2933 - 211 = -u*t. Is t prime?
False
Let a(g) = -1 - 8 + 139*g + g**2 + 18 + 16. Is a(41) a composite number?
True
Suppose -3321524 = -75*u - 400196 - 171303. Is u a composite number?
True
Let b(w) = 72*w**2 + 10*w - 30. Let c be b(19). Suppose 5*j = 13*j - c. Is j a prime number?
False
Suppose 1 = h, -t - 4*h - 323 = -911. Let n = t - 265. Is n a composite number?
True
Let c = 259655 + 386994. Is c a prime number?
False
Let w be (-2 - -1)/((-2)/(-6)). Let b = 3 - w. Suppose -11*a = -b*a - 590. Is a a prime number?
False
Suppose 2*d = 10*d + 64. Let o be (-1)/(d + 4) - (-62)/8. Suppose -2*x + 1084 = -c, x + o*c - 13*c = 551. Is x a prime number?
True
Suppose -5*g - 35 = 5*m, 3*m - 5*g - 11 = -0*g. Is m/5 + 82696/10 prime?
True
Let y = 131 + -598. Let j = 111 - y. Let i = j - -91. Is i a prime number?
False
Is (-148)/(-259) - 522458/(-14) a prime number?
False
Is (-7)/(-3) - 2 - (41737728/36)/(-29) a prime number?
True
Let q = 19 + -20. Let r(t) = 3*t**3 + t + 1. Let a be r(q). Is 1 - -403*1 - a a composite number?
True
Let x be (1 - -3) + -2 + -9. Suppose 5*t = 2 - 7. Is 3/t*(x + 12500/(-15)) composite?
False
Let d(a) = 674*a**2 - 7*a - 2. Let f(c) = 675*c**2 - 6*c - 2. Let z(b) = -5*d(b) + 6*f(b). Suppose 2*w + 0*w = 2. Is z(w) a prime number?
True
Let a = 78 + -72. Suppose a*y - 48 = -0. Suppose -2750 + 54 = -y*q. Is q prime?
True
Let k be (1 - 21/15) + (-174)/(-10). Suppose -k*q = -18*q + 6163. Is q a composite number?
False
Let v(i) = i**3 - 7*i**2 + 2*i - 11. Let f be v(7). Suppose f*b = -b + 20. Suppose c + 2*k + 2*k = 583, 0 = b*c + 4*k - 2835. Is c composite?
False
Let d(z) = z**3 - 4*z**2 - 23*z + 2. Let r be d(7). Suppose -7*i + 15 = -2*i. Is -3 - (-365 - r/i) composite?
True
Suppose 110 = 9*c - 7*c. Let i = 57 - c. Suppose 3*l + 2*l = 0, i*h - 2794 = -2*l. Is h a composite number?
True
Let j(f) = 6824*f**2 + 5*f. Let w be (0 + 3)*-2 + -2 + 7. Is j(w) composite?
True
Suppose -62*w + 358 = -32626. Let u be -9 + 0/(-3 - -2). Is (w/21)/((-6)/u) composite?
True
Let d = -121 + 112. Is 57099/63 + (6/d)/(-1) prime?
True
Let s = 593 + -594. Let x(z) = -2948*z - 21. Is x(s) a composite number?
False
Let q(n) = n**3 + 2*n**2 + 21*n - 11. Let r(l) = -l + 26. Suppose 0 = 11*z - 52 - 124. Let d be r(z). Is q(d) a composite number?
False
Suppose -2*x + 1224 = 1718. Let a = x - -916. Is a a prime number?
False
Let h = 2748 + -1295. Let f = h - 600. Is f prime?
True
Suppose 3*m = 3*d - 26415, 8*m - 4*m = 3*d - 26413. Let p = d + -4516. Is p prime?
False
Let h(s) = -s**2 - 8*s + 1. Let x be h(-7). Suppose 0 = -4*o - r + 14946, 18675 = -3*o + x*o + 5*r. Is o a composite number?
True
Let o(p) = 1017*p**2 + 97*p - 51. Is o(14) a composite number?
False
Suppose 2*x + 58*s - 51618 = 54*s, -s - 103281 = -4*x. Is x a prime number?
True
Let w = -24 + 28. Suppose -w*l = 2*l + l. Suppose 0 = -l*m - m + 5*k + 1097, -k = 3*m - 3355. Is m prime?
True
Suppose 2*u + 164493 = k, -5*u - 31 = -56. Is k a prime number?
True
Let t = 58162 - 29249. Is t a prime number?
False
Suppose 5*i = 5*s + 152090, -4*i - 5*s + 72598 = -49101. Is i composite?
True
Suppose 5*x + 2*p - 6 = 3*x, 5*x + 3*p = 15. Suppose 0 = 2*n + 4, -7*b + 1618 = -x*b + 3*n. Suppose 6*z - 2032 = -b. Is z composite?
False
Let p = 506527 - -342382. Is p a prime number?
True
Let n(t) = -t - 4 - 2 + 4*t. Let o be n(2). Is o + (-4)/(16/(-148)) a composite number?
False
Suppose s - 3*s = 7674. Let u = -380 - s. Is u composite?
False
Let l be (-1)/4 + (85/20 - -2). Is 7893 - (-12)/9*l a prime number?
True
Let z(x) = -10*x + 17. Let y be z(2). Is 3*(-5)/y + 3132 a composite number?
False
Let r(w) = -w - 2010. Let m be r(0). Let s be (-9)/(-24) + m/(-16). Suppose -a + s + 562 = -p, p - 690 = -a. Is a prime?
False
Suppose 2292152 = 47*v + 486835. Is v a composite number?
True
Let k be (-2)/6 - (-132)/18. Suppose k*g - 6*g - 2327 = 0. Is g a composite number?
True
Let b = 11757 - 6416. Let j = -3368 + b. Is j prime?
True
Let i(q) be the third derivative of 45*q**4/4 - 11*q**3/6 - 7*q**2 - 8. Is i(9) a composite number?
True
Let g = 28 - 28. Suppose g*c + 2*c = -7644. Is (1/(-3))/(14/c) a composite number?
True
Suppose 3*w - 24 = -3*d + 6*d, 4*d = 5*w - 36. Suppose -4144 = -4*g - t + 12640, -w*t - 16 = 0. Is g prime?
False
Let r(m) = -m**3 - 8*m**2 - 2*m + 7831. Let k(f) = -27*f + 324. Let u be k(12). Is r(u) composite?
True
Let w(r) = 6*r - r - 2*r**3 - 6*r**3 + r**2 + 4. Let o be (-3)/2*(-8 - -10). Is w(o) a composite number?
True
Suppose -11*u + 19*u = 41*u - 670857. Is u composite?
True
Let r be (-2)/(-5) + (-24)/(-15). Suppose -4*x - 71*q = -67*q + 8, 0 = -x - 3*q - 10. Suppose -r*y + 2038 = -x*b + 6*b, 5*y + 3*b - 5060 = 0. Is y composite?
False
Suppose 6*r = 3*r - 12. Is r/((-6)/(-6)) - (1 - 2584) composite?
False
Let b(n) = n**3 + 11*n**2 - 10*n + 19. Let i = -49 + 38. Is b(i) a composite number?
True
Suppose 0 = 25*k - 88*k + 2181753. Is k a composite number?
False
Let p = -8139 - -12860. Is p prime?
True
Let j(l) = -l**3 + l**2 + l + 6. Let d be j(-2). Let r = d + -11. Suppose -b + 5961 = r*f + 2125, 3*b = 3. Is f a composite number?
True
Let c = 26 - -178. Is (-28)/(-3)*16371/c composite?
True
Let q(f) = -240*f + 25. Let n be q(-6). Suppose -5355 = -4*w - 3*u, 4*w - 5*u - 3882 - n = 0. Suppose 0 = 5*c + 3*o - w, 2*c - 4*o - 424 = 106. Is c prime?
False
Let i be (-42600)/35 + 3 - 1/(-7). Let j = i + 3287. Is j/2*(-2)/(-3) a prime number?
Tr