 = 0. Is t prime?
True
Suppose -v = -f - 2277, 4*v - 284 = -f - 2561. Let g = f - -4016. Is g composite?
True
Suppose 2*y - 2187 = o + 4647, o + 17091 = 5*y. Is y prime?
False
Suppose -4*k = 7*k + 7843. Let m = 692 - k. Is m composite?
True
Let t(l) = -5*l - 47. Let b be t(-9). Is b/(10/(-2045)) - 2 prime?
False
Let a(c) = 279*c - 17. Suppose -3*r - 3 = -3*q, -r + 4*q = 12 - 2. Is a(r) a prime number?
True
Let x = -3 - -4. Let t be (-172)/(-2) - 3/x. Suppose t - 5 = 2*m. Is m composite?
True
Suppose 8*k = 6*k - 220. Let w = k + 777. Is w composite?
True
Suppose 3*g - 4*g = 2*z - 10169, -15266 = -3*z + g. Is z a composite number?
False
Suppose -53*o + 65*o - 20892 = 0. Is o composite?
False
Let s(p) = 4 + 7*p + 7*p - 13*p**2 - 7*p + 0. Let i(v) = 26*v**2 - 14*v - 7. Let m(x) = -6*i(x) - 13*s(x). Is m(-4) composite?
True
Suppose -9*h + 5*h + 32212 = 4*w, -h = 4. Is w composite?
True
Let j(s) = s - 6. Let m be j(8). Let c(v) = -12*v**m - v**3 + 2*v**3 - 9*v + 7 - 11*v. Is c(14) prime?
False
Let k be 7 + (-7 - -3)/2. Suppose 4*w - k*h - 545 = 0, -3*w = -5*w - 3*h + 267. Suppose 2*b + w = 361. Is b composite?
False
Suppose -14 = t - 0*t - 4*v, -v = 3*t - 10. Suppose 3*q - t = 1. Let b(m) = 687*m**3 - m**2 + m. Is b(q) composite?
True
Let j be 2/4 - (-18267)/6. Let f = -2150 + j. Suppose 0 = -h - 4*h + f. Is h prime?
True
Let a(v) = -v**2 + 8*v + 7. Let q be a(9). Let s be 215 - q/(-4)*6. Let z = -67 + s. Is z composite?
True
Let o(m) = -14*m**2 - 9*m - 19. Let k be o(-5). Let b = 737 + k. Is b a composite number?
True
Suppose -a = 2*a + 30. Let r = a - -10. Suppose 8*v - 15 = 3*v, r = 2*b - 4*v - 182. Is b composite?
False
Let j(l) = -1 - 1 - 10*l + 3*l**2 + 3*l**2 - 1. Let g(s) = -6*s**2 + 11*s + 2. Let t(w) = 2*g(w) + 3*j(w). Is t(6) composite?
False
Suppose 91*u - 75*u = 225968. Is u a composite number?
True
Let r = -20 - -42. Suppose r = 7*b - 335. Is b a composite number?
True
Is (860 - (17 - 16)) + (0 - 0) a prime number?
True
Let r(d) = 99*d + 13. Let n(v) = -248*v - 32. Let y(g) = -5*n(g) - 12*r(g). Let t be y(8). Let o = 598 - t. Is o a prime number?
False
Let q(o) = 27*o - 8 + 0*o**2 + o**2 - 8*o - 16*o. Let f be q(-5). Suppose -k - 592 = -f*g, -2*g - 2*k + 702 = 116. Is g a composite number?
True
Suppose -4*z - 5*t + 1308 = 0, t = -z + 4*t + 327. Is z prime?
False
Let o(q) = q + 8. Let c be o(-8). Let y be 2 + 0 + c/2. Suppose -k = -2*d + 325, -k + y = k. Is d composite?
False
Suppose 1 = j, -4*j + 257 = -3*o + 1813. Suppose t + 0*a - o = 3*a, -5*t - 2*a + 2583 = 0. Is t a composite number?
True
Let b(u) = -u - 15. Let i be b(-8). Is i/((-28)/16) - -399 a prime number?
False
Let j(n) = -34*n**2 + 19*n - 8. Let m be j(8). Is (9/(-6))/(12/m) composite?
True
Suppose 4*c = -3*m + 2959, 3*c + 5 = 2*c. Let i = 411 - m. Is 2/(-5) - i/30 a composite number?
False
Suppose 5*z = 3*m - 32, 4*m - 3*z - 2*z - 36 = 0. Is m/14*7 + 2369 prime?
True
Let n = 29 + -34. Is 6/(-15) - 1092/n prime?
False
Let c be (-3)/(6/50) + 0. Let f be (-10117)/(-6) - c/(-150). Let d = -889 + f. Is d prime?
True
Is -379*((-6)/(-9))/((-6)/9) a composite number?
False
Suppose 0 = 2*w - j, 0 = j - 6*j + 20. Suppose i - o = 477 - 84, -o = w*i - 786. Is i composite?
True
Let y be 8891/(-51)*(1 - 4). Suppose 3*l - 5*x - y = -137, -x + 362 = 3*l. Suppose 2*z - 107 = k, 2*k + l = 2*z - 2*k. Is z a composite number?
True
Let w = -47 - -50. Suppose -3*y + 899 + 935 = k, w*k = -y + 598. Is y prime?
True
Let d(y) = -y**2 + 10*y - 7. Let x be d(9). Suppose j - x = -v, 0*j + 5 = 2*v + j. Suppose 0 = 4*a - v*t - 138 + 40, -13 = -a - 5*t. Is a composite?
False
Suppose -53 - 13 = 3*g. Is (526/(-6))/(g/462) a composite number?
True
Let f = -11085 + 15706. Is f prime?
True
Let h(u) = 4*u**2 - 4*u + 6. Let b be h(2). Let x(y) = 7 - 28*y + b*y - 50*y. Is x(-3) composite?
False
Suppose k - 4*k + 9 = 0. Let j(w) = w**2 - 2*w + 3*w - 5 + 0 + w**k - 2*w**2. Is j(4) composite?
False
Let p(y) = y**3 + 6*y**2 + 7. Let u be p(-6). Let n(z) = z - 5. Let r be n(u). Is r + 25*(-20)/(-4) prime?
True
Suppose 5*q + 3*t - 50173 = 0, -5*q + 38335 = 4*t - 11834. Is q composite?
False
Suppose 0 = f + 3*c - 25284, -25308 = -f - 145*c + 150*c. Is f prime?
False
Is 1/(-879*20/5865 + 3) prime?
False
Suppose 218*b - 95690 = 208*b. Is b composite?
True
Let a(q) = -q - 10. Let o be a(-5). Let g(x) = x**2 + 3*x - 6. Let y be g(o). Let s(d) = 10*d**2 - 5*d + 1. Is s(y) composite?
True
Suppose 18*o + 18 = 24*o. Suppose -o*u + 7112 = -h - 4148, 2*u - 7535 = -5*h. Is u composite?
True
Suppose 5*w + m + 43290 = 7*w, 3*m = 12. Is w a composite number?
False
Suppose 20 = 12*g - 8*g. Suppose -4*o = -6*o - g*s + 2561, 0 = -2*o + 5*s + 2511. Suppose -3*a = -2*y + 634, -3*a = -4*y + 2*a + o. Is y composite?
False
Suppose 5*o - 66 = 2*l, 0 = 3*l - l + 4*o + 84. Let m = 12 - l. Suppose -5*i + m = -3*i. Is i a composite number?
True
Suppose -5*o = 4*b - 947 - 245, -3*o - 3*b + 717 = 0. Suppose m - 3315 = -o. Is m composite?
False
Let u = 91 - 194. Let p be u/((-124)/32 - -4). Let z = 1177 + p. Is z a composite number?
False
Suppose 0 = -4*i - 245 + 1509. Let u be (-2)/13 - i/(-26). Is (-4328)/u*(-3)/2 a prime number?
True
Suppose 0 = 5*g - 4*g - 60. Let n = g + -14. Let y = 173 - n. Is y a prime number?
True
Let o = -74 + 53. Let z = o - -23. Is 1*(-446)/((-4)/z) composite?
False
Suppose 6*u - 2136 = -210. Is u a composite number?
True
Suppose 3*c - 2*c = 5*s - 252, 0 = -4*c - 5*s - 1108. Let i = 421 + c. Is i composite?
False
Is (120/25)/4 + 153845/25 a composite number?
True
Let s(x) = x**3 - 4*x**2 + x + 1. Let t be s(2). Let d(y) = 3*y**2 - 2*y - 2. Is d(t) a prime number?
True
Let l(d) be the first derivative of -3*d**4/4 + d**3/3 + 3*d**2/2 + 2*d - 10. Is l(-1) composite?
False
Suppose 4*f = f + 348. Suppose i + 6*m = 2*m + 24, 3*i + 5*m = 44. Is (5 - i) + 1*f a composite number?
False
Let p(s) = 3*s - 16. Let a be 165/27 - 4/36. Let f be p(a). Suppose f*t = 3*t - 53. Is t a prime number?
True
Let r be ((-8)/(-5))/((-14)/35). Is 3350/8 - 1/r prime?
True
Let c(l) = 15*l**2 - 28*l - 47. Is c(-8) composite?
True
Let b be (324/(-48))/((-2)/8). Is (-45)/b + (-18448)/(-6) a prime number?
False
Let x = -685 - -4368. Is x composite?
True
Let r(j) = 5214*j**2 - 6*j + 11. Is r(3) prime?
True
Let w be 6/(-2) - 48375/(-6 - -3). Suppose 0*p + 16110 = 2*p + 4*r, 2*p = 2*r + w. Is p composite?
False
Let x be 1365/84 + 3/4. Let c = -14 + 8. Let r = x - c. Is r a composite number?
False
Let s(z) = -521*z**3 - 5*z**2 + z - 3. Is s(-2) prime?
False
Let t(q) be the first derivative of q**4/4 - 5*q**3/3 + 5*q**2/2 + q + 3. Let y be t(4). Is (-1574)/(-10) + (-2)/y prime?
True
Let g be -18*(-1)/2 - -1. Let w(a) = 2*a**3 - 6*a**2 + 14*a - 9. Is w(g) a prime number?
True
Suppose 5*l - 1216 = l. Suppose -p + l = 2. Let z = p - 157. Is z composite?
True
Let v(m) = 135*m**2 + 12*m - 26. Is v(5) a composite number?
True
Let f be 0 - (3 - 6) - -2. Suppose -f*b = -b - 12. Suppose -2*v + v = -b*s + 528, s - v - 174 = 0. Is s prime?
False
Let y be ((-9981)/(-4))/(-1*1/8). Is 9/(-36) - y/8 a composite number?
True
Suppose 17*o + 5*o = 2244. Let i = -306 + 437. Let u = i + o. Is u a prime number?
True
Let d(i) = -309*i + 3. Let y be d(-1). Let n be 4 - (-3)/(1 + 2). Suppose -n*a + 4*f = -314, 5*a - f = f + y. Is a prime?
False
Let z(g) = 8*g**3 - 6*g**2 + 3*g - 4. Let p = -9 - -13. Let u be z(p). Suppose -6*a = -2*a - u. Is a prime?
False
Suppose 5*u - 647 = 10663. Suppose 0 = -4*v - 5*k + u, -4*v + 2427 = k + 173. Let d = v + -190. Is d a prime number?
True
Suppose 22 = 5*p - 23. Suppose p*x - 2024 - 2017 = 0. Is x a prime number?
True
Let w be (-4)/(-1 - 3) + -2. Let i be ((-588)/24)/(w/(-4)). Let c = i - -207. Is c a prime number?
True
Let a(q) = 6*q**2 - 1. Let w be (-8 + 7)/(-1 - -2). Let o be a(w). Suppose o*k - 812 = 3*i, -2*i = 4*k - 241 - 413. Is k composite?
False
Suppose -33*j + 27923 = 2*i - 30*j, -j - 1 = 0. Is i a prime number?
True
Suppose -5*p + 0*p = -40. Suppose 9*q - p*q + 48 = 0. Is q/(-3) - 3*-1 prime?
True
Suppose 3*i + i - r - 317 = 0, 5*i - r = 397. Let g = -49 + i. Suppose 2*z = g + 87. Is z prime?
True
Suppose 30*n + 13*n - 6315281 = 0. Is n a prime number?
False
Let q be -2 + (-48)/(-26) + (-168)/(-78). Suppose y - q*h - 8 = 0, 3