?
True
Is 1 + 4665 + -4*15/20 a prime number?
True
Suppose t + d - 1281 = 0, -1297 = -t - 0*d - 5*d. Is t a prime number?
True
Suppose -7*k + 121064 = k. Suppose -k = 2*s - 6*s - 3*t, -11371 = -3*s + 2*t. Is s prime?
False
Let n be 4*5/(40/(-1498)). Let v be -3 - 3/((-6)/(-2186)). Let b = n - v. Is b prime?
True
Suppose 4 = l + 3*l. Let i(g) = 708*g**2 - g. Is i(l) prime?
False
Suppose -4*d = -8 - 8. Suppose -4*z - d = 4*w, 0*z + 5*w + 17 = z. Suppose z*s - 4*i = -s + 233, 96 = s - 5*i. Is s composite?
False
Suppose 8 = 3*a - a. Suppose -2*q = -6*q + 5*d + 5016, 2*d + 5004 = a*q. Is q a prime number?
True
Suppose 5*r + 2*m = -3631, -4*m + 7*m = -2*r - 1459. Let v = 1420 + r. Let j = -478 + v. Is j prime?
False
Is 40092 - (-6 + (23 - 12)) a prime number?
True
Let y(k) = 3*k + 2*k + 5 + 0*k + 12*k**2 - 3*k. Is y(6) a composite number?
False
Let h(a) = a**2 - 14*a + 13. Let v be h(13). Suppose 3*z + v*z - 1347 = -3*o, -4*z + 2*o = -1820. Is z prime?
False
Let u be (-12)/78 - ((-72)/(-39) + -2). Suppose 4*m + u*o + o - 598 = 0, -2*o + 4 = 0. Is m composite?
False
Let c = -80 - -121. Let n = c + 2. Is n composite?
False
Let w = -348 - 7. Let r = w + 533. Suppose 4*a = r + 154. Is a prime?
True
Let q(h) = h**2 + 2*h. Suppose -r = -3*r. Let y be q(r). Suppose 10*d - 15*d + 265 = y. Is d a composite number?
False
Suppose -5*s + 21 = -2*s. Suppose 4 = 9*r - s*r. Is (-24)/4*(-109)/r prime?
False
Let k = 8 - 22. Let i be 23/(-2) + 7/k. Let d = 1 - i. Is d a composite number?
False
Is (1/5)/((-3)/(-282045)) a composite number?
False
Suppose -4*j + 3*v = -49459, -3*j + 7*v + 37088 = 6*v. Is j a composite number?
True
Suppose 18*m = -3*m + 145551. Is m a composite number?
True
Let u(i) be the third derivative of 7393*i**4/24 - 11*i**3/6 + 9*i**2. Let x be u(-6). Is 8/(-14) - x/91 prime?
True
Let f = 6657 - 1103. Is f a composite number?
True
Suppose n = -2*i + 4*n + 15, 2*n + 10 = -3*i. Suppose i*l + 4025 = 5*l. Suppose -4*s + l = s. Is s a prime number?
False
Suppose -112*q + 1939678 = -2791090. Is q composite?
False
Let i be (12/5)/((-6)/(-20)). Let m(d) = 2*d**3 + 7*d**2 + 5*d + 9. Let l be m(-3). Is -2*((-628)/i - l) a composite number?
False
Let n(h) = h**3 - 3*h**2 + 42*h + 45. Is n(16) a composite number?
True
Let r = -38 - -19. Let x = 19 + r. Suppose x*l - 201 = -3*l. Is l a composite number?
False
Suppose -20 = -4*f, 3*f - 17 = s - 2*s. Suppose 0 = -n + s*n - 8. Is (n/10)/(1/5) composite?
True
Suppose 3*l - 2*w = 5921, 4*l + 0*w - w = 7893. Is l prime?
True
Suppose -19286 = 46*b - 398832. Is b composite?
True
Suppose 5*i - 133272 = 3*m - 21132, -2*i + m = -44857. Is i composite?
True
Let k(m) = 203*m**3 + 9*m**2 - 7*m + 12. Is k(5) a composite number?
False
Let q = -7999 + 18452. Is q prime?
True
Let h = -1 - 4. Let q = h - -7. Suppose q*u - 204 = 218. Is u prime?
True
Suppose 0 = m - 1364 + 1105. Is m composite?
True
Suppose -81912 = -4*y + n, 94*y + n - 40950 = 92*y. Is y composite?
False
Let t be (-8 - -5)*(-8)/6. Suppose 6235 = t*d + 3*g, -2*g - 3131 = -2*d + g. Is d prime?
False
Suppose p + 5*r - 955 = -371, -4*p - 4*r + 2256 = 0. Is p prime?
False
Suppose 4*h + 7 = 27. Suppose -139 = h*g - 1589. Let p = g - 197. Is p a composite number?
True
Let f be -1*6/(-8)*4. Suppose 5*a - 550 = -f*s + 3888, -1483 = -s + 2*a. Is s a composite number?
False
Suppose 3*u - 54 = 3*g - 0*g, -2*u - 3*g = -61. Suppose 3*a = c - u, -a = c + 2 - 13. Is c composite?
True
Suppose 0*r - 9145 = -5*r. Is r a composite number?
True
Let f = -6 + 6. Suppose f = -4*z - 12 + 28. Suppose z*j - 485 = 3*v, -5*j + 3*v + 0*v = -604. Is j prime?
False
Let q(p) = -11*p**3 - p**2 + 1. Suppose -5 = -f, 2*g - 5*g - 38 = -f. Let u = -13 - g. Is q(u) prime?
False
Is (-654390)/(-231) - (-3)/21 a prime number?
True
Let h be (-234)/18 - (1 - 0). Let w(r) = 17*r**2 + 12*r + 19. Is w(h) a prime number?
False
Let u(t) be the second derivative of t**5/20 - t**4/2 - 5*t**3/3 - 4*t**2 + 4*t. Is u(11) prime?
True
Let d = 845 - 477. Suppose -4*g + 526 = -3*m + 150, -3*m + 2*g = d. Let s = m - -283. Is s prime?
True
Let r(n) = 19*n**2 + 12*n - 45. Is r(14) composite?
False
Suppose 3*h + 3*i = 141144, -6*h - 2*i = -8*h + 94108. Is h composite?
False
Suppose -58617 = -16*c - 11*c. Is c prime?
False
Let s(c) = -c**3 - 36*c**2 - 42*c - 86. Is s(-35) composite?
True
Suppose 4*n - 20459 = 3*n - 2*y, -81871 = -4*n - y. Is n composite?
True
Let d = 1 - -1. Suppose d*l + u = -412 + 13535, -3*l + 4*u + 19657 = 0. Is l a composite number?
True
Let i = 16 - -18. Suppose 0 = i*q - 36*q + 330. Suppose q + 46 = h. Is h prime?
True
Let l = 1105 - -197. Let t = l - 293. Is t composite?
False
Suppose 3*p - 45901 = -4*t, 0 = -p - 5*t + t + 15287. Is p a prime number?
True
Let w = 6 + 22. Let l = -15 + w. Is (3 - l)/((-4)/94) prime?
False
Let i be (-4)/6 - (-11)/3. Suppose -i*t + 4*t - 793 = -u, -4*t = u - 3175. Is t a composite number?
True
Let s = 943 + 284. Is s a prime number?
False
Suppose 356*v = 336*v + 101180. Is v a composite number?
False
Let s be ((-2 - 1) + 6)/(-1). Let u be 0*(-3 + s + 5). Suppose 3*x - 362 = 5*n, -2*x + x + 3*n + 122 = u. Is x a composite number?
True
Let x(g) = 3*g**3 - 5*g - 13. Is x(9) a prime number?
True
Suppose 0 = k + 2, -4*t + k = 6*k - 6. Let g(f) = 98*f - 15. Is g(t) prime?
False
Let q(h) = 3*h**2 + 5*h - 1. Let w be q(-4). Let s = 66 - w. Suppose 3 - s = -4*z. Is z prime?
False
Suppose -s + 5*h = -2*s - 11, 3*h + 6 = 0. Let a(z) = z. Let m be a(s). Is m/2 + 1495/10 a composite number?
False
Suppose -3*s = 7*s - 20. Suppose -r + 3*n + 812 + 731 = 0, -3086 = -2*r - s*n. Is r composite?
False
Let q(r) = 73*r**2 + 3*r + 1. Suppose 9*c - 32 = c. Is q(c) a composite number?
False
Let s be 2/(-11) - (-798)/33. Let w be 35/(-10)*s/(-21). Suppose -w*a + 2*l + 89 = -a, -l = 5*a - 170. Is a prime?
False
Let c(q) = -1606*q - 659. Is c(-15) composite?
False
Let a(i) = -3*i**2 - 4*i + 12. Let q(o) = 6*o**2 + 7*o - 23. Let t(f) = -f**2 - 4*f + 3. Let c be t(-4). Let x(p) = c*q(p) + 5*a(p). Is x(-7) composite?
False
Suppose 2*o = a - 559 + 58, -o = -5*a + 2460. Suppose -5*z = -5*g - 15, -3*g + 1 + 0 = -z. Suppose -95 - a = -g*x. Is x a prime number?
True
Let f(t) = -t**2 + 5*t + 5. Let d be f(5). Let x(z) = 9*z**3 + 9*z**2 - 14*z + 11. Is x(d) prime?
True
Let c(f) = 65*f - 2. Let u be c(1). Suppose 0 = -2*v - 4*d - d + u, 4*v + 4*d = 96. Is (-6)/2 - (3 - v) a prime number?
True
Suppose -10 = 3*v - 37. Let a(h) = 12*h + 3. Let y be a(v). Suppose 3*d = -0*d + y. Is d prime?
True
Suppose -1409 = -c + 4*r - 7*r, 2806 = 2*c + 3*r. Is c composite?
True
Let g be 120/(-16)*(-4)/5. Let w be (20/g)/(12/18). Suppose w*x = -k + 63, -3*k + 2*k + x + 87 = 0. Is k a composite number?
False
Let p(w) = -46*w - 56. Let z(f) = 23*f + 28. Let r(g) = 2*p(g) + 5*z(g). Is r(13) a composite number?
True
Suppose -4*p - 9460 = -8*p + 4*u, 0 = -p + 2*u + 2367. Is p a composite number?
True
Let p be ((-4)/5)/((-2)/790). Let x = 564 - 36. Suppose -4*q = -x - p. Is q a composite number?
False
Suppose 2*i = 4, 2*i + 381997 = 5*x + 8736. Is x a composite number?
False
Suppose 5943 = 5*w - 62752. Is w composite?
True
Let k = -5 - -12. Is k/((-2)/(-116)*2) prime?
False
Suppose 49522 = -8*a + 19*a. Is a a composite number?
True
Let v = 134 - 117. Is 2195/v + (-28)/238 prime?
False
Let d(w) = -489*w + 2*w**2 + 3*w**2 + 473*w - 29. Is d(-16) composite?
True
Suppose n - 25 = -4*n, -n = -2*l - 3. Is (-2392)/(-13) + 3/l composite?
True
Is (481/74)/(1/734) prime?
False
Is ((-15798)/(-4))/((-132)/(-88)) prime?
True
Is (-8 - (-3 - -2058))*1*-1 a composite number?
False
Suppose 4*v = -8 + 48. Let o = 14 - v. Suppose o*b - 9 + 0 = -3*j, 0 = -2*j - 4*b + 2. Is j prime?
True
Let x = -225 - -369. Suppose -5*r + x = -331. Suppose 3*t = 8*t - r. Is t composite?
False
Let f = -1327 - -2310. Is f composite?
False
Suppose 13*v - 4*i = 16*v - 139713, -2*v + 93142 = 2*i. Is v a prime number?
False
Suppose -w = 18 + 2. Let z(g) = g**2 + 20*g + 3. Is z(w) composite?
False
Let m(p) be the third derivative of -17*p**4/4 + 4*p**3/3 + 4*p**2. Let t be m(-5). Is (t/(-8))/(2/(-8)) prime?
False
Let n(h) = 4*h + 16. Suppose -8 = 4*y - 4*p, 0 = -4*p - 6 - 14. Let j be n(y). Is (11 + j)/(1/(-13)) composite?
False
Suppose 0 = -2*b + 83 + 21. Suppose -b