*s + u - 31228, 0 = -12*s + 9*s + 5*u + i. Is s prime?
False
Let i be (-5 + 4)*18 + 4. Let l = i + 220. Suppose -2*a + 3*v = -l, 0*a + 4*a = -v + 412. Is a a composite number?
False
Suppose 0 = 4*s - 165 - 2355. Let k = s + 581. Is k a composite number?
True
Let u(l) = 288178*l - 393. Is u(1) a prime number?
False
Let d(v) = 3*v - 23. Let z be d(6). Let n be 4 + 93/((-5)/z). Is n - ((2 - 0) + 1) composite?
True
Let i be (-5714)/8 - 20/(-80). Let y = 1201 + i. Is y a composite number?
False
Suppose 0 = -6*y - 663376 + 4626502. Is y a prime number?
True
Suppose -34*u + 27*u = -376411. Is u a prime number?
True
Suppose -516*c - 12 = -520*c. Suppose -39730 - 9035 = -c*n. Is n prime?
False
Suppose 0 = -5*q + 5*n + 182730, -189*q + 185*q - n = -146159. Is q prime?
True
Let a(f) = 316*f**2 - 94*f - 127. Is a(9) composite?
False
Let p(b) = -84*b - 89. Suppose -201*x = -197*x + 56. Is p(x) prime?
True
Let c(w) = 1962*w**2 + 2*w + 1. Let i(z) = -z**3 - 11*z**2 + 12*z - 1. Let t be i(-12). Is c(t) composite?
True
Suppose 5*m - 893078 = 241787. Is m a composite number?
True
Let k(n) = -352*n + 5. Suppose 0*c + 2*c + 4 = 0. Let u be 1/c + ((-1)/2 - 1). Is k(u) prime?
True
Let h be (16 + -16)*-1*1. Let t be 4 - (h - 216/4). Is 3975/2 - 29/t prime?
True
Let y(j) = j**3 + 15*j**2 - 14*j - 27. Let o be y(-12). Suppose o = 3*d - 0*d. Is d a composite number?
False
Let s be 68*3/30*45/3. Let w = s + 69. Suppose 3*h + w = 3*v, -2*v + 2*h + 114 = h. Is v composite?
True
Let g(i) be the third derivative of 13*i**7/420 - 29*i**6/360 - i**5/2 - 27*i**2. Let c(r) be the third derivative of g(r). Is c(10) a prime number?
False
Let j be 2 - (0 + 1 + -17409). Suppose 114*w - 104*w - j = 0. Is w composite?
False
Let f(x) = -6*x - 34. Let v be f(-6). Suppose -4006 = -4*j + v*j. Let u = 3370 - j. Is u a prime number?
True
Let p(s) = -562*s**2 + 2*s - 3. Let t be p(2). Is (-22)/(7/(t/6)) composite?
True
Suppose 5*j - 337280 = -3*u, 0 = -j + 144*u - 148*u + 67473. Is j composite?
False
Suppose -5*w + 5 = 0, 4*w = p + 5*w - 846. Suppose v - 1614 = p. Is v composite?
False
Suppose -86*h = -52*h - 226848. Let d = h - -1591. Is d prime?
True
Suppose -3*d + 6*d - 3 = -3*c, 2*c - 3*d = -8. Let i be (1 - c/4)*1340. Suppose v - 6*v + i = 0. Is v composite?
True
Let s(i) = i**3 + i + 1. Let t(o) = 4*o**3 - 19*o**2 - 10*o + 62. Let m(z) = 5*s(z) - t(z). Let y be m(-18). Is 3/y*(-3)/(-6)*-4834 prime?
True
Let j(o) = -11*o + 114. Let i be j(10). Suppose i*m - 6914 = u - 1802, m = -2*u + 1269. Is m a composite number?
False
Let j = 2 + 8. Let p be (288/60)/(4/j). Is -1 + -3 - (-299 - p) prime?
True
Suppose -17*d = -8259 - 7534. Let i = -36 + d. Is i a composite number?
True
Let x be 3/2 + (-9488)/(-32). Let o be (1*(-1 - 0))/(2/x). Let l = 442 + o. Is l a prime number?
True
Let o = 2 + -6. Let b(z) = -15*z**3 - 2*z**2 + z - 3. Let s be b(o). Suppose -13*n - s = -14*n. Is n a composite number?
True
Suppose 4*j + d + 11 = -4*d, -8 = -2*j + 2*d. Let k be (-4)/j + 3 - -90. Suppose -5*r + 21 = -k. Is r a composite number?
True
Suppose 0 = -5*h - 5*a + 227005, -4*h - 56029 + 237639 = a. Is h composite?
False
Suppose -30*d + 2527661 = -5240629. Is d a composite number?
True
Let n(b) = -108*b**2 + b - 4. Let h be n(4). Let r = h + 3881. Is r prime?
True
Let v = 2610 + 9709. Is v a prime number?
False
Let c be ((-8168)/(-16) - -7) + 2/4. Suppose -2*d = -4*d + c. Is d a prime number?
False
Let o = 289 - 259. Let s(k) = 2*k**2 + 24*k + 59. Is s(o) a prime number?
True
Let l(v) = 213*v**2. Let f(g) = -2*g - 9. Let h be f(-6). Let a be l(h). Let x = -724 + a. Is x a composite number?
False
Let p(y) = 6121*y + 10. Let l be p(-1). Let b = -2890 - l. Is b prime?
True
Suppose 7*f + 0*f = -197176. Let r = 59829 + f. Is r a composite number?
True
Suppose -54*s = -64*s + 1620. Suppose 25722 = -s*d + 168*d. Is d a prime number?
False
Let l(q) be the third derivative of 47*q**5/30 + 19*q**4/24 - 2*q**3 - q**2. Let z(d) be the first derivative of l(d). Is z(6) composite?
True
Suppose -97*x + 246*x = 121*x + 1043140. Is x a composite number?
True
Suppose 0 = 4*b + 20 - 12. Let l = -7 + b. Is (l/(-6))/((-15)/(-2510)) prime?
True
Let u(i) = -38*i**2 - 22*i + 87. Let h be u(11). Let p = 9976 + h. Is p composite?
True
Let n = 1610 - 774. Let d = 525 + n. Is d composite?
False
Let n be ((-9)/12)/((-7)/(-224)). Is n/(-12) - 1057*-1 composite?
True
Let u(r) be the second derivative of 21*r**4/8 - 34*r**3/3 + 10*r**2 + 6*r. Let f(x) be the first derivative of u(x). Is f(7) a composite number?
False
Suppose -2*r - 1439543 = -i, 0 = -5*i - 7*r + 2*r + 7197760. Is i composite?
False
Let k = 63801 + 156262. Is k composite?
False
Let i(y) = 2*y**2 + 23*y + 13. Let b be i(-11). Suppose -2*x + 6 = -0. Suppose 5*a - b*c - 2593 = 0, -a + x*c - 2079 = -5*a. Is a prime?
False
Let w(b) = 9*b**3 - b**2 - 3*b - 1. Let x be w(-1). Let r be (x/14)/(2/(-28)). Suppose -r*z - g + 24421 = -3*z, 3*z - 4*g = 14671. Is z a composite number?
True
Suppose 4*t = -3*w + 31, 5*w - t - 16 - 5 = 0. Suppose 3*j - 3*d - 20251 = -w*d, 0 = -4*j + 2*d + 26992. Is j prime?
False
Let v be -15 + 13 - 1*-3. Let w be 1/(2/3616) + v. Suppose -4*a + w = 5*a. Is a prime?
False
Suppose i + 1 + 0 = z, -5*i + 5 = -3*z. Let b(f) = f**3 - 2*f**2 + 2*f - 1. Let u be b(1). Suppose -z*j + 4303 + 9307 = u. Is j a prime number?
False
Suppose 0 = -4*v + 20, -5*i = -4*v + 3*v + 25. Is ((-166832)/(-32))/((-2)/i) a composite number?
False
Let d(i) be the first derivative of -11*i**4 - i**3/3 - i**2/2 + 5*i + 29. Is d(-3) a composite number?
False
Let m(x) = -x**3 + 81*x**2 - 96*x + 209. Is m(72) a prime number?
True
Suppose -2*b = 6*b - 24. Let z be (3/6*b)/(6/736). Suppose 0 = i - z - 70. Is i composite?
True
Let r be -3*3272/24 - 1. Let q = 4639 + r. Is q prime?
True
Suppose 2*g + 2*g - 33318 = 2*k, -3*g + 4*k = -24996. Let p = g - 5830. Is p a prime number?
False
Let z(b) = -2201*b**3 + 4*b**2 + 9*b - 7. Is z(-3) composite?
True
Let u be 2/9 + 68/18. Suppose 5*g = 3*t + 8894, 0 = -t - u*t - 15. Is g composite?
False
Is (134462/16)/((-66)/(-528)) a composite number?
False
Let d = 3 + -38. Let s be ((-63)/d)/((-1)/(-10)). Suppose 14*h = s*h - 764. Is h a composite number?
False
Let a = -10309 - -20186. Suppose 0 = -5*z + 6*z - 3*n - a, -49357 = -5*z + n. Is z prime?
True
Suppose -3*k - b = -43, -10*b = -k - 9*b + 21. Is k/(-28) + 303485/49 prime?
False
Suppose -w = -6*w + 15. Suppose -w*k - b + 20 = -3*b, 15 = 3*k + 3*b. Is 1066/k - -2 - (-6)/(-9) prime?
True
Suppose 0 = o + 4*u + 13748, u - 5*u = -4*o - 54952. Let y = o - -20687. Is y prime?
True
Let l(m) = 4655*m**2 + 48*m - 27. Is l(8) prime?
False
Suppose -9742 - 13468 = -2*p. Let i = 17360 - p. Is i composite?
True
Let m(h) = -35*h + 2. Let o = 56 + -17. Let g = o + -48. Is m(g) a composite number?
False
Let v(w) = -w**3 + 37*w**2 + 47*w + 67. Let h be v(38). Suppose 4348 = c - 5*t, 4*c - h = -4*t + 17103. Is c a composite number?
False
Let i(r) = -9*r + 20. Let z(k) = -19*k + 39. Let n = 51 - 54. Let s(y) = n*z(y) + 7*i(y). Is s(-9) prime?
False
Suppose -y - 3*z = -1739, 703*z = -5*y + 702*z + 8667. Is y composite?
False
Let v = 118476 + 746. Is v prime?
False
Suppose -3*c + 2*w - 11521 = 0, 4*c + c = -w - 19206. Suppose -109*y - 6218 = -110*y - 3*a, -2*a + 6212 = y. Let d = c + y. Is d a composite number?
True
Let m(i) = 55*i**3 + 12*i**2 + 69*i + 1. Is m(22) composite?
False
Let i(m) = 448*m + 9. Let h(s) = 4039*s + 71. Let r(l) = -1346*l - 24. Let n(u) = -2*h(u) - 7*r(u). Let v(t) = -17*i(t) + 6*n(t). Is v(1) composite?
True
Let p(i) = 3*i - 49. Let f be p(14). Suppose -5*h = -5*j - 0*h - 25, -2*h + 20 = -4*j. Is 2 + 415 + (j - f) a prime number?
True
Let h(x) = -2*x**3 - x**2 + 3*x - 4. Let n be h(-3). Suppose 5*a + n - 57 = 0. Suppose f - 350 = -a*b, -5*b - 3*f + 198 = -2*b. Is b prime?
True
Let n = 11 + -6. Let k(y) = 16 - 30 - 5*y**2 + 36*y**2. Is k(n) composite?
False
Let v(m) = -41*m**2 + 17*m - 82. Let t be v(14). Is 9/(-6)*20/(-5) - t prime?
False
Suppose -11*w - 240 = -6*w. Let h = 46 + w. Is 0 + 1325/4 + h/8 a composite number?
False
Suppose -4*q + 6 = y - 23, -5*y = -4*q + 47. Suppose q*r + 12*r = 197420. Is r composite?
False
Suppose -3 = 2*v - 15. Let z(a) = -6 + 12 + 1 + 62*a + 15*a. Is z(v) compo