t + 3*i = 4632, -1538 = -4*t + 3*t + i. Is t a composite number?
True
Let m be 18/6 + -8 + 0. Is 197 - ((-2)/(-2) + m) prime?
False
Let i(o) = -o**2 - o - 1443. Let l be i(0). Let g = l + 3080. Is g composite?
False
Suppose 115*w - 114*w - 2909 = 0. Is w a composite number?
False
Let p be (-6)/((-12)/430) - -2. Suppose 4*j - p = -3*w, -w + 133 = w + 5*j. Is w a prime number?
True
Suppose -4*r + w = 4*w - 23, 0 = -2*r + w + 19. Let b be (-2)/8 - 1758/r. Let i = b + 405. Is i prime?
False
Let p = 23 + -20. Suppose -5*u + 4874 = -2*u - t, p*t = 3*u - 4884. Is u composite?
True
Let q(f) = -203*f**2 - 3*f - 4. Let v(x) = -68*x**2 - x - 1. Let w(g) = 2*q(g) - 7*v(g). Is w(4) a prime number?
True
Let g(m) = -3 - 152*m + 224*m + 4. Is g(11) prime?
False
Let q(f) = 55*f - 585. Is q(20) a composite number?
True
Suppose 0*z - 4*z = 92. Let j = z - -262. Suppose -5*h + 2*w + j = 0, 3*h - 2*h = -4*w + 39. Is h a prime number?
True
Let f(w) = -6*w - 15. Let g be f(-3). Let x(z) = 84*z**2 - 10*z + 7. Is x(g) composite?
False
Suppose -290*p + 301*p - 119141 = 0. Is p composite?
False
Let j = 6 - 16. Let m(c) = -7*c**2 - 2*c + 12. Let i be m(j). Is i/4*-1 + 0 a prime number?
True
Suppose -2*z - s + 2878 = 0, -s + 2723 - 9918 = -5*z. Is z a prime number?
True
Let j = 3528 + -1848. Let r = -1103 + j. Is r a prime number?
True
Suppose -14495 = -671*z + 666*z. Is z composite?
True
Suppose -1 = g + s, 27 = 5*g - 3*s - 0*s. Suppose -l = 4*r - 787, l - 1594 = -l - g*r. Is l a composite number?
True
Suppose -4*z = -4*s + 20, 4*s = -5*z + 23 + 6. Let k be (6/(-4))/(3/(-4)). Is ((-1119)/s)/(k/(-4)) a prime number?
True
Suppose -4*j = -2*j - 60. Is j/20*(-2206)/(-3) a prime number?
True
Is 3*-25*6619/(-15) a prime number?
False
Let w(d) be the third derivative of 11*d**4/3 + 13*d**3/6 - 24*d**2. Is w(6) a prime number?
True
Suppose 257771 = 19*p - 254735. Is p prime?
False
Suppose -23 = 3*b + 1. Is 1608*b/(-6) - -5 prime?
False
Is (-11 - -71)/(-12) - -28156 prime?
True
Suppose 0 = 4*l - 21 - 3. Let u(g) be the third derivative of g**6/120 - g**5/15 - 5*g**3/6 - g**2. Is u(l) a prime number?
True
Let f(d) = -4 + 20*d + 33*d - 4. Is f(5) composite?
False
Is 1483 - (-19)/(38/(-4)) a composite number?
False
Suppose 2*b - 2993 = b - 3*w, 0 = 4*b - 5*w - 12006. Is b prime?
True
Suppose -563 = -b + 6050. Let y = -3002 + b. Is y a prime number?
False
Suppose 7991 = 8*v - 19649. Is v a prime number?
False
Let l be 4 + (-4 - -3) - -3. Is (l + -2 + -2)*3633/6 a composite number?
True
Suppose 2*y + 0*y - 22 = 0. Suppose -y*q + 6*q = 0. Suppose j - 61 - 58 = q. Is j prime?
False
Let l(u) be the first derivative of 5*u**2/2 + 62*u + 37. Is l(21) a prime number?
True
Is (586/14)/(30/4830) prime?
False
Suppose -24*x = 61*x - 1884535. Is x prime?
True
Let g be (0 - 3)/(6/(-8)). Suppose 0 = -4*w - 3*a + 1630, 0*w - a - 1638 = -g*w. Is w prime?
True
Let d = 37 - 64. Let x = -13 - d. Let j = 132 + x. Is j composite?
True
Suppose -3*k - 13741 = -4*n, -n = -k - 286 - 3150. Is n a composite number?
False
Suppose 2*d + 3*p = 32, -5*d + 69 = 2*p - 0*p. Let v(n) = 5*n - 19. Let b be v(d). Suppose b + 30 = 4*c. Is c a composite number?
False
Suppose 8*j = j + 21. Let l = j - 0. Suppose 514 = l*h - 59. Is h prime?
True
Let l(c) be the first derivative of -c**2/2 - 9*c + 9. Let i be l(-7). Let a(p) = -321*p - 7. Is a(i) a prime number?
False
Let d(a) = -3798*a + 113. Is d(-14) prime?
False
Suppose 8*h = -6*h - 1344. Let u be ((-56)/(-4))/((-2)/(-21)). Let y = h + u. Is y prime?
False
Let u(x) = -6*x + 7*x + x**2 - 3 + 5*x + 3*x**2. Let s be (1 - 2/4)*10. Is u(s) composite?
False
Suppose 0 = -6*i + i - m + 7, -4*m - 12 = 0. Suppose 0*b - b + i = 0. Suppose -2*z - b*z = -212. Is z composite?
False
Suppose -4*v = 3*z - 605062 + 104814, -125079 = -v - 5*z. Is v prime?
False
Let p(g) = -95*g + 9. Is p(-26) composite?
True
Let z(t) be the third derivative of t**6/120 - 19*t**5/60 + 3*t**4/8 + 10*t**3/3 + 3*t**2. Is z(19) a prime number?
True
Suppose 147221 = 17*o - 179298. Is o composite?
False
Suppose -3203 - 5428 = -9*b. Is b a composite number?
True
Suppose -12*y + 88 = -116. Suppose 0 = -15*h + y*h - 3314. Is h a prime number?
True
Let j(r) = 5649*r + 428. Is j(7) a prime number?
True
Suppose -3*s + 309014 = 5*l, l + 4*s = 5*l - 247192. Is l composite?
True
Suppose 0 = 2*k + w - 5001, -3170 + 652 = -k + 3*w. Is k composite?
False
Let w be (-4176)/(-8) - 2*-1. Suppose 2*b - 1008 = -f - f, 0 = -f - 5*b + w. Is f prime?
True
Let c(y) = -y + 2. Let g be c(5). Let l(z) = z**3 + 2*z**2 - z + 4. Let i be l(g). Is 155/(-10)*(0 + i) a composite number?
False
Suppose 3*j - 3678 = -3*q, -1958 - 490 = -2*q - 3*j. Let v = -589 + q. Is v composite?
False
Let q(t) = -t**3 + 5*t**2 + t - 1. Let g be q(5). Let d(i) = 11*i**2 - 2. Let s be d(g). Let u = s - 121. Is u a composite number?
False
Suppose 0*r + r - 17 = 0. Let w = r - 12. Suppose 0 = -5*l + z + 1524, 3*z = w*l - 4*l - 302. Is l composite?
True
Suppose j - 17 = -184. Let o = 460 + j. Is o a prime number?
True
Is (-457576)/(-70) + (-1)/(-5) prime?
False
Let z(m) = 4*m**2 + 3*m - 18. Let v be z(10). Suppose v = -46*a + 50*a. Is a prime?
True
Is (-2 - -206) + -6 + 1 prime?
True
Suppose -43*n + 49872 = 5*n. Is n a composite number?
False
Let q = -43 - -11. Let m = 1273 + q. Is m a composite number?
True
Let j = 6354 + -3415. Is j a composite number?
False
Suppose -8*o + 11*o = -258. Let r = o + 171. Is r a composite number?
True
Suppose 2*b - 35 = -3*t, -3*t = 2*t - 2*b - 37. Let z(y) = 5*y + 2. Let w(f) = 1. Let r(l) = 2*w(l) + z(l). Is r(t) a prime number?
False
Let d(i) = 115*i**2 + 3*i - 9. Let k(c) = -115*c**2 - 3*c + 10. Let l(q) = 7*d(q) + 6*k(q). Let f be l(2). Let h = f - 314. Is h a prime number?
True
Let h(c) = -78*c. Suppose -48 = -2*w + 5*w. Let r be h(w). Suppose -r = -3*p - 3*l - 135, -4*l = p - 365. Is p prime?
True
Let y(b) = b + 96. Let a be y(0). Suppose 2*w = -3*d + a, -w - 4 + 41 = -4*d. Suppose 5*k - 118 - w = -4*f, 50 = k - 5*f. Is k a prime number?
False
Let o = 16044 - 3017. Is o a composite number?
True
Let r = -33 - -40. Suppose -1551 = 4*z - r*z. Is z a prime number?
False
Let m = -35 - -35. Suppose 3*f + 2597 = 4*k, -k - 3*f - 91 + 729 = m. Is k prime?
True
Suppose -7*u + 1218 = -0*u. Let h = u - 107. Is h a prime number?
True
Let l(a) = 87*a - 19. Let k be l(-11). Let b = 1422 + k. Is b a composite number?
True
Suppose 4*o + 1570 = 2*f, 3*o + 1437 = 3*f + 264. Let b = o - -657. Is b prime?
True
Suppose 0 = g + 1 - 3. Let a(v) be the third derivative of 19*v**5/60 + v**4/12 - v**3/6 - 3*v**2. Is a(g) composite?
False
Suppose -100 + 10 = 5*i. Let w be (2/3)/((-6)/i). Suppose j + w*j = 45. Is j a composite number?
True
Let l(a) = 15*a**2 - 40*a - 44. Is l(39) prime?
True
Let f = 14 - 12. Suppose -f*d = -491 + 49. Is d composite?
True
Suppose -3*a + 7434 = -4533. Is a a prime number?
True
Suppose 0 = 12*k + 3*k - 185595. Is k a prime number?
True
Let b(l) = 8*l**3 + 3*l**2 - 11*l + 4. Let g be b(6). Let r = g + -1085. Is r prime?
False
Let g be (12/(-36))/(2/78). Let b(p) = -86*p + 56. Is b(g) a prime number?
False
Let b(v) = -v**2 + v + 135 - 4*v**3 + 4*v**3 + v**3 + 75. Let f be b(0). Let x = f + -124. Is x a prime number?
False
Let b = 1716 - 793. Is b a prime number?
False
Let s be ((-3)/6 - 0)*-48. Let l be s/(-9)*(-1611)/12. Let q = -224 + l. Is q composite?
True
Let f be -102 + (-1)/((-1)/2). Let z(n) = -22*n**3 - 3*n**2 - 3*n - 3. Let d be z(-2). Let h = d + f. Is h composite?
False
Let p be (-6)/(-2) + -6 + 13. Suppose -8*h - 5158 = -p*h. Is h a prime number?
True
Let w(z) = -97*z + 51. Is w(-16) a prime number?
False
Let x(a) = 492*a + 193. Is x(15) composite?
False
Suppose 3*f + d + 8 = 26, 6 = 2*d. Suppose -5*y + 0*y + 45 = 2*w, -f*w + 120 = 5*y. Is w composite?
True
Suppose 0 = -9*v + 3*v + 7278. Suppose -4*t = -v - 415. Is t prime?
False
Let n = 465 + -332. Is n a prime number?
False
Suppose -4*h = -5*d - 11991, 6*h + 2*d = 11*h - 14993. Is h prime?
True
Let b(k) = 5*k**3 - 17*k**2 + 30*k + 17. Let a(y) = -4*y**3 + 17*y**2 - 29*y - 17. Let j(z) = 6*a(z) + 5*b(z). Is j(-16) composite?
True
Let w be -1 + 2 + -3 - -10. Let b be (-4)/w*(2 + 10). Is ((-211)/(-3))/((-2)/b) composite?
False
Suppose 18*r - 28*r = -9510. Is r 