s g(1) prime?
True
Suppose 27*o - 34331 = 103342. Is o a composite number?
False
Is (56/64)/((-6)/(-381552)) a prime number?
False
Let l = -21 - -13. Let g be -24*(-2)/l*-2. Let u = g + 55. Is u composite?
False
Let w(t) = -5*t**3 - 6*t**2 - 8*t - 5. Let p = -31 + 27. Is w(p) a prime number?
True
Let r = -21842 + 108525. Is r a composite number?
True
Suppose 2*f = 6*f - c - 13748, -10326 = -3*f - 3*c. Suppose f = 6*x + 516. Is x composite?
False
Let y = -34 + 64. Let q be (0 + -111)/(y/(-340)). Let o = q + -805. Is o composite?
True
Suppose -3*f + 5 = 3*l + 2, -3*l - f + 7 = 0. Let s(d) be the third derivative of 4*d**5/15 + d**4/6 + d**3/6 - 6*d**2. Is s(l) a prime number?
True
Let t(y) = 225*y - 3. Let d be t(6). Let j be 2/6 + (-132)/18 + 8. Is 9/18*(d - j) a composite number?
False
Is (-147154)/483*(-213)/2 composite?
True
Let x = 11310 - 7343. Is x a composite number?
False
Suppose -4*t = -7 - 5. Suppose -l - t*l = 0. Suppose 0 = 5*p - l*d - d - 1042, d = p - 206. Is p a prime number?
False
Let i(o) = o**3 + 8*o**2 + 5*o - 7. Suppose 4*b + 2*m = -12 - 10, -2*b + 1 = 5*m. Is i(b) prime?
True
Let l be (-24)/(-60) + (-4678)/(-5). Suppose 0 = -5*i + i - l. Let b = 355 + i. Is b a prime number?
False
Suppose -4*d - 611 = -k - 113, 5*d - 5*k = -615. Let j = -119 - d. Is j composite?
True
Let t(k) be the second derivative of -k**5/20 - k**3/6 - 49*k**2/2 - 5*k. Let d be t(0). Let r = d + 70. Is r composite?
True
Suppose 2 = 3*u + z - 3*z, -3*u - 3*z + 27 = 0. Suppose t = -4*s - 5, -u*t = -0*s - s + 3. Let p(x) = 337*x**2. Is p(s) a prime number?
True
Let m = -41772 + 88975. Is m a composite number?
True
Suppose 4673 = 3*f - 3*w - 2*w, 2*f - 3*w = 3116. Is f a prime number?
False
Suppose -328 = -2*u + 54. Is u prime?
True
Let c(q) = 5*q**3 + q**3 - 2 - 4*q**3 + 7*q - 11*q**2 + 0. Is c(7) a composite number?
True
Let z(n) = -306*n + 257. Is z(-38) composite?
True
Let c(y) = -3*y**2 - 2*y + 16. Let a(f) = -4*f**2 - f + 15. Let n(j) = -5*a(j) + 4*c(j). Suppose -2*g + 2*t = 7*t - 2, 5*t + 16 = g. Is n(g) a prime number?
False
Let d be (-14)/21 - 3116/(-12). Suppose 5*g + 6*y = 3*y + 1261, -4*g - 4*y + 1012 = 0. Suppose 7*k + d = 2*z + 2*k, -3*k = 2*z - g. Is z a composite number?
False
Let f(i) = -585*i - 16. Let c(t) = 1172*t + 31. Let z(v) = 6*c(v) + 13*f(v). Is z(-7) a composite number?
False
Let b(f) = f**2 - 4*f + 10. Let y be 15/12 - 1/4. Let v be (y - 4 - -13) + 3. Is b(v) a composite number?
False
Let j(c) = -35 + 2*c - 10*c + 32*c. Is j(9) prime?
True
Let v be 20/(-6)*24/20. Let d(x) be the second derivative of x**5/20 + 7*x**4/12 + 2*x**3/3 - x**2/2 - 101*x. Is d(v) a composite number?
False
Let b(y) = 3*y + 27. Let j be b(-5). Suppose j*i - 585 = -3*i. Is i a composite number?
True
Is (-20433)/(-27) + 16/72 a prime number?
True
Suppose -5*t + 17945 = 4*k, -9*t + 5*t + 14367 = k. Is t a prime number?
True
Let j(x) = 52*x + 342. Is j(43) prime?
False
Suppose 6*y + 685 = -2*h + 3*y, -3*y = h + 347. Let g = 645 + h. Is g prime?
True
Is 10239/27 - (-6 + 224/36) a prime number?
True
Let n = 35 + -39. Is 776 - ((-36)/(-3))/n a prime number?
False
Suppose -9560 = -2*b - r, 5*b + r - 23913 = -10. Is b a composite number?
True
Suppose 6*u - 8*u - 5*n = -4105, 0 = n + 3. Let l = u - -1317. Is l composite?
True
Suppose -9*p + 4373 = -27046. Is p a prime number?
True
Suppose 63 = 16*u - 19*u. Let h = -15 - u. Is (-4)/h + 437/3 a composite number?
True
Suppose -3095 = -17*x + 12*x - 4*u, 4*x - u = 2497. Is x a composite number?
True
Let r be (-6)/(-39) + (-30)/26. Is (342/(-24))/(r/4) prime?
False
Let s(l) = -l**2 + 6*l + 14. Let n = 11 + -4. Let k be s(n). Suppose k*u = 11*u - 1172. Is u a composite number?
False
Let x(z) = z**3 - z**2 + z - 3. Let k be x(4). Let h = 157 - k. Suppose -5*o + h = -67. Is o a prime number?
False
Suppose -49*h + 256257 = -184694. Is h a prime number?
True
Let r(q) = -q**2 + 6*q - 3. Suppose 3*a = 7 + 5. Let f be r(a). Suppose 245 = -f*j + 1840. Is j prime?
False
Suppose 8430 + 32429 = 7*w. Is w composite?
True
Suppose 0 = -6*p + 3389 + 733. Is p a prime number?
False
Suppose 7*r - 2*r - 40 = 0. Let c be (-6)/r*(-24)/9. Suppose c*l + 179 = 3*l. Is l prime?
True
Let v be ((1 - -3) + -5)*-3. Is 1 - (-1 + (4 - v) + -32) a prime number?
False
Suppose 4*q - 8*t + 5*t - 49682 = 0, 2*t = 2*q - 24840. Is q prime?
False
Let w(y) = -7709*y**3 - 2*y**2 - 4*y - 2. Is w(-1) composite?
True
Let z = -2224 - -6591. Is z composite?
True
Let u(n) = -1127*n + 10. Let r be u(-6). Suppose 0 = 7*k + 563 - r. Is k composite?
False
Let c(t) = t**3 - 2*t**2 + 5*t + 1. Let s = -5 + 9. Let z be c(s). Suppose -z - 170 = -i. Is i a prime number?
True
Let f = 4269 - 1122. Is f a prime number?
False
Let v be 165/10*(13 + -1). Is v/1 - (14 - 10) composite?
True
Let u be (0 - -2)/((-36)/(-81450)). Suppose -9*s + 13826 = -u. Is s a prime number?
True
Is (-28)/(-12) - (-178424)/12 composite?
True
Let g = 1 - -2. Suppose 126 + g = 3*d. Is d a composite number?
False
Let x = 461 + 65. Is x a composite number?
True
Let o = 7 + -5. Suppose -u = 5*a + 638, 0 = -0*u - u + o. Let x = -31 - a. Is x a composite number?
False
Suppose 0 = 10*z - 15*z - 20, -5*q + 5*z + 384975 = 0. Is q prime?
True
Suppose -4*k = 3*a - 6999, 2*a - 4549 = 3*k + 100. Is a a composite number?
True
Let v(d) = -4*d**3 + 3*d**2 + 2*d + 6. Is v(-7) prime?
True
Suppose -2*m = -4*m - 2*c, 4*c + 8 = 0. Suppose -x - 2*t - m*t + 161 = 0, 9 = 3*t. Is x prime?
True
Let f(r) = -212*r + 15*r + 9*r - 134*r - 21. Is f(-5) a composite number?
True
Let s = 211 + 11. Let f be s/5*70/21. Let z = f + 297. Is z prime?
False
Let m = -221 + 2044. Is m a prime number?
True
Suppose -258*x + 69839 = -251*x. Is x composite?
True
Suppose 2*d - 5*v = 87239, -4*d = -51*v + 48*v - 174443. Is d prime?
True
Let i(l) be the third derivative of 4*l**5/15 - 11*l**4/24 + 5*l**3/6 - 5*l**2. Is i(-8) prime?
True
Let a = -294 - -205. Suppose p - 3*l - 323 = -p, 0 = 3*p - l - 495. Let o = p + a. Is o composite?
True
Suppose 29*m + 3652668 = 137*m. Is m composite?
True
Let w be ((-6)/8)/((-16)/(-128)). Is 2734 - (w - -3) - -4 prime?
True
Let p(l) = 11544*l + 199. Is p(8) prime?
True
Suppose -5*q + 2 = -3*r + 36, 0 = 3*r - 2*q - 19. Let j(k) = -1 + 5*k**3 - 15*k + 4*k + 4*k + 11*k**3 + 3*k. Is j(r) prime?
True
Let b(a) be the first derivative of a**4/4 + 8*a**3/3 - a**2 + 6*a + 1. Let x be ((8/10)/(-1))/(6/60). Is b(x) a composite number?
True
Let v = 5 + 0. Suppose 0 = -v*s + 5 + 5. Is 6*8 - (0 + s) composite?
True
Suppose 0 = -m - 4*m - 4*g + 4493, -2*g + 895 = m. Is m prime?
False
Let j(k) be the first derivative of 8*k**3/3 + k**2 + 7*k - 4. Let u be j(-4). Suppose -3*t = -2*t - u. Is t a composite number?
False
Let m(j) = 9 + 3 + 1 + 1 + 3*j. Let w be m(-6). Is w/8*-74*1 composite?
False
Let o = 534 + 2509. Is o composite?
True
Let j(p) = -638*p + 7. Let r be j(-3). Let u = r + -1068. Is u a composite number?
False
Suppose -2*s - 40 = -2*l - 16, 4*s = -l - 63. Let n(h) = 64*h - 2. Let v be n(5). Is (v/8)/(s/(-20)) a composite number?
False
Let y = 19 + -13. Let f(q) = 131*q + 10. Let h be f(y). Suppose 2*r - h = -4*u - r, u + 3*r = 199. Is u a composite number?
False
Let s = -6 + 11. Suppose -2*f = -2*a - 437 - 1175, -s*a = f - 788. Let z = f - 408. Is z composite?
True
Suppose -4*j + 677 = 3*a, -2*j = -a + 5*a - 886. Let w = a - 106. Suppose 0 = -3*r + 73 + w. Is r composite?
True
Let y = -33 - -35. Suppose y*q + 0*m - 3800 = -2*m, -7599 = -4*q - 5*m. Is q a prime number?
True
Suppose 79 = p - 4*b, 13*p + b - 54 = 12*p. Is p composite?
False
Suppose -3*f + 5*b + 115 = 0, -2*f + 0*f + 4*b + 78 = 0. Let n = f - -176. Is n prime?
True
Let x = -5546 - -11733. Is x composite?
True
Let x(w) = -w - 4. Let t be x(3). Let o(k) = 20*k**2 + 11*k + 4. Is o(t) a composite number?
False
Suppose -64169 = -14*y + 156009. Is y composite?
False
Suppose 0 = -0*p - 4*p + 40. Suppose 0*a = -2*a + 4*c - p, a + c = 10. Suppose -3*h = -3*q + 35 + 37, -q + 28 = -a*h. Is q a composite number?
False
Suppose c = -2 + 4. Let n be 2 + (4 - (4 + c)). Suppose n*h - 2*h + 3525 = 5*p, 3*p - 2141 = 4*h. Is p composite?
True
Let i = 9246 + -4037. Is i prime?
True
Suppose -13*i + 9*i = 0, -3*w + 5*i = -1773. Is w prime?
False
Let g be 4/(-22) - 350/(-110). 