t n = c + x. Is n a composite number?
False
Let c = 173 - 344. Suppose 3*b = -0*b - 1434. Let p = c - b. Is p a composite number?
False
Let c be (-1090)/(-45) - 2/9. Let v = 2149 + -5158. Is 2*v/(-24) - (-6)/c a composite number?
False
Suppose 28 + 14 = -h. Suppose -3*k - 216 = -3*p, -2*p - 5*k = -0*k - 165. Let c = h + p. Is c composite?
True
Suppose 65*i - 36781714 = 11155851. Is i a composite number?
False
Let a(r) = 238*r + 37. Suppose -3*v + 15 = 4*x, -3 + 9 = v + x. Is a(v) composite?
False
Let j(q) = -2*q**2 + 7*q - 6. Let l be j(4). Let g(v) = -v**2 + 49*v + 215. Let d be g(53). Is (-41)/((-2)/(-6)*l + d) composite?
True
Is 6 + 106589/14 - (-6)/4 prime?
True
Let o be -14 - -16 - (131*1)/(-1). Is 14/o - 1083550/(-190) composite?
True
Suppose -158580 = -3*t - s, -525*s + 522*s + 9 = 0. Is t a prime number?
True
Let y(o) = o**3 + 2*o**2 - 3*o + 1. Let z be y(2). Suppose z*a = -a + 48. Let n(s) = 35*s**3 - 2*s**2 - 2*s + 3. Is n(a) composite?
False
Let b be 2/5*(-9 - 1). Let n be (-2933)/196 - (-33)/(-924). Is (((-81195)/b)/n)/(2/(-8)) prime?
True
Let g be (29 - (12 - 4))/((-2)/(-6)). Let w = -63 + g. Suppose -17*k + 2*k + 6735 = w. Is k prime?
True
Suppose -36383 + 772247 = 18*a + 63438. Is a a prime number?
True
Suppose a - 5*s - 1 = 0, 6*s - 5 = -a + 7*s. Suppose -a*o + 12 = -5*o. Is ((-6)/4 + 0)*(-616)/o a prime number?
False
Suppose 4*x - 150579 = 5*m, -4*m + 112973 = -221*x + 224*x. Is x a composite number?
True
Suppose -246*h + 248*h = 8. Let v be 25/h + (-5)/20. Suppose 0 = -8*m + v*m + 3646. Is m prime?
True
Let u be 7/42 + 40277/6. Suppose -13*f + u = -2400. Is f a composite number?
False
Suppose -326*i - 52994433 + 232961755 = 0. Is i prime?
True
Suppose 4*i + 66 = 3*x, 2*i = -4*x + 6 - 28. Is (-18)/i*(25384/16 - 9) composite?
True
Suppose 8*l = -3*l + 66. Suppose l*j = 2087 - 563. Is j a prime number?
False
Suppose -4*k - 7 = 2*j + 3, 0 = -5*j - 5. Is ((-4)/2)/(k/4547) a prime number?
True
Let d(q) = 7269*q + 83. Is d(2) a prime number?
True
Let g be ((-24726)/(-6) - 0)*(-5 + 4). Let n = 13738 + g. Is n a prime number?
False
Suppose -6 = -m, -x = 150*m - 151*m - 457283. Is x a composite number?
True
Suppose -h - 72 = 4*a, 7*h = -5*a + 2*h - 90. Let r be 39/(-18) - 3/a - -909. Let c = r + -604. Is c a prime number?
False
Let k = -50 + 49. Is 0 - k - (-97 + -9 - 6) a prime number?
True
Let y = -108 - -111. Suppose 2*g - 4*g = -y*d - 2264, 2*g - 2284 = -2*d. Is g prime?
False
Is 0 + 1 + ((-119384)/(-5))/((-58)/(-145)) composite?
False
Let h(r) = r**3 - 114*r**2 + 308*r - 1429. Is h(142) prime?
True
Suppose -j = 4*i - 5*j - 872, 2*i = 5*j + 427. Suppose r - 2*r = w - 108, 0 = -2*r + 3*w + i. Suppose 45 = 2*q - r. Is q composite?
True
Let p(o) = o**3 + 7*o**2 - 20*o - 20. Let n be p(-9). Is (-1436715)/(-60) + n/8 composite?
True
Suppose 3*u - 3 - 12 = -2*y, -5*u + y + 12 = 0. Suppose -5*d = u*o - 177395, 0 = 7*d - 3*d + o - 141916. Is d a composite number?
True
Let r(l) = -7*l + 4. Let y be r(-1). Suppose -24*u + 52481 = -y*u. Is u prime?
False
Let j = 3461 - -7719. Suppose -4*k - 2*i + 11186 = 0, -4*k + j = i + 3*i. Is k a prime number?
False
Let c(r) = -12013*r + 591. Is c(-16) composite?
False
Let n = 1405 - 486. Suppose -4*j = 5*u + 15, -3*j = -2*u - 18 + 12. Suppose n = -4*o + 5*o - 3*g, j = g. Is o a composite number?
False
Suppose 0 = 11*s - 8506 - 8445. Is s a composite number?
True
Suppose 17396735 = 163*y - 8*y. Is y prime?
True
Suppose 3*t + 1350764 - 6847391 = 0. Is t composite?
True
Suppose 0 = -5*b - 5*p - 10, 15 - 11 = b - 2*p. Suppose b = 3*w + 5*o - 7453, 0*o = -4*w + 4*o + 9980. Is w a prime number?
False
Let a(l) = -1433*l + 307. Is a(-12) composite?
True
Suppose -12*u = -8*u - 4*i - 43616, -5*u + 4*i = -54525. Is u a prime number?
True
Let r(y) = 54*y**2 + 10*y + 34. Let x be r(8). Suppose -4*h = -6*h + 4*z + x, -4*z + 8869 = 5*h. Is h a prime number?
True
Is (-6)/(-9) + 59*2/(6/10151) composite?
False
Let b = 87 + -73. Suppose b*u = 15*u. Suppose u = -p - 4*p + 3955. Is p prime?
False
Suppose -2*c + 0*f - 1 = -f, -21 = 2*c - 5*f. Let k = c + 1. Is 1733/(-3)*(k/3 - 4) prime?
True
Let q(p) = -p**3 + 8*p**2 - 17*p + 97073. Is q(0) composite?
False
Let x(y) be the first derivative of 4525*y**3/3 + y**2/2 - 2*y + 33. Let q be x(1). Suppose q - 740 = 8*h. Is h composite?
True
Suppose 2*u + 3*u + 5*z = -315, -u - 4*z - 63 = 0. Let n = u - -62. Let g(k) = -873*k - 2. Is g(n) a composite number?
True
Let c be (-1 - -23)*-3*2157/(-18). Suppose 11*f - 22*f = -c. Is f a composite number?
False
Let d = 3126 - 6650. Let v = d + 7345. Is v composite?
False
Suppose 145 = 18*k + 37. Suppose -5*h = -k*r + 4*r + 4014, -20 = -5*h. Is r prime?
True
Suppose -2*d + 21529 = 5*j, -7*d = 4*j - 4*d - 17219. Is j composite?
True
Suppose -3 + 0 = j, 3*j = -3*u + 1170. Let w = u + -8. Let z = w - 174. Is z composite?
False
Suppose 15*z - 6794 = 37801. Is z a prime number?
False
Suppose -5*h = 25, h + 37349 - 126998 = -2*m. Is m composite?
True
Let v(f) = 2291*f**2 - 25*f + 613. Is v(14) composite?
False
Let f be 5/4 - 172964/16. Let q = -6656 - f. Is q composite?
False
Let u be 16473/18 + 5/30*-1. Let o = -598 + u. Is o prime?
True
Let z(w) = -1208*w - 5. Let i(p) = 1207*p + 6. Let v(l) = -4*i(l) - 3*z(l). Is v(-2) a prime number?
True
Suppose 0 = -5*k + 5*c - 8145, 3*c - 8*c - 6507 = 4*k. Let y = k + 3171. Is y a prime number?
True
Is (6/(-2) - (-7 + 3))*6999/3 composite?
False
Let m(q) = 2*q + 22. Let c be m(-9). Suppose 8*f = c*f + 12. Suppose 0 = f*j + 2 + 1, -j + 133 = 2*w. Is w a prime number?
True
Let p = 203 + -210. Let m(u) = -32*u**3 + 5*u**2 + 12*u + 1. Is m(p) prime?
False
Let r be (-46)/207 - 6050/(-9). Suppose r = 4*q + 44. Is q a composite number?
False
Suppose -74 = 3*d - 4*a - 24, 4*d - 2*a + 50 = 0. Let l be 8/d*(-35)/14. Suppose l*x + 2584 = 4*z - 4044, -x = 4. Is z prime?
False
Suppose -1339 = -2*m - 5*z + 4762, 4*z - 3052 = -m. Suppose -x = -c - m, -4*x - 3*c + 12157 = -0*c. Is x composite?
True
Suppose 0 = -4*j + z + 427641, j - 66*z - 106889 = -70*z. Is j a prime number?
False
Suppose -2*m = -2*z + 4, -2*z - 3*z + 16 = m. Let w be 0*(6/8)/3. Suppose -2*q - z*u + 2302 = w, 4*q + u - 4604 = -u. Is q a prime number?
True
Suppose 583571 = 5*w + 4*r, 0 = -325*r + 322*r - 18. Is w composite?
False
Let l be 12 - (-8)/(1 - 3). Suppose -9233 = -l*m - 3273. Is m a prime number?
False
Suppose 6*v = 69746 - 11504. Suppose 6*z - z - 2*n - v = 0, 3*n = 3*z - 5817. Is z composite?
True
Let w(k) = 1284*k**3 + 2*k**2 - 2*k + 1. Let g be (1/((-4)/(-16)))/(-2) + -3. Let y = -4 - g. Is w(y) composite?
True
Let y = 61 - 58. Suppose -y*p - 2*p = -28775. Suppose 0 = g + 4*g - p. Is g a composite number?
False
Let u(g) = 2*g - 16. Let v be u(10). Suppose -m = -2*j - 3 - 3, 4*m - v*j = 24. Suppose h - 3*o + 883 = m*h, 4*h = -3*o + 704. Is h a composite number?
False
Let k(x) = -1043*x**2 - 7. Let g(z) = -3128*z**2 + z - 20. Let y(s) = -4*g(s) + 11*k(s). Suppose -h - 3*n + 14 = 3, -4*n + 2 = -5*h. Is y(h) composite?
True
Let j(r) = r + 351. Let u be j(0). Let k = u + -777. Let a = k - -761. Is a composite?
True
Suppose -2 = -i + 1. Suppose 3*a + 3804 = 4*z, -2*a + 963 - 12 = z. Suppose -5*x + 7919 + z = 5*b, 5*x = -i*b + 5316. Is b a composite number?
False
Let b(n) = 169257*n**2 + 15*n - 5. Is b(2) prime?
False
Let w(a) = -4*a**2 - 9*a - 9. Let m(g) = -g**2 + 1. Let d(c) = 3*m(c) - w(c). Let j be d(-8). Suppose 5*b = 5*o + 2805, -2*b - 573 = -3*b + j*o. Is b prime?
True
Let b(l) = l**2 + 32. Let s be b(0). Suppose 5*i = -5*f + 90, -30 - s = -3*f + i. Is (1 - 16/f)*5755 prime?
True
Let o(v) = -7385*v + 5331. Is o(-38) a composite number?
True
Let s(c) = 21 - 2*c + 22*c**2 - 6*c**2 - c**3 + 18*c. Let m be s(17). Suppose -m*l + 6*f = f - 1784, 5*l = -3*f + 2267. Is l prime?
False
Suppose 254174 = 15*d + 80489. Is d a prime number?
True
Let x = 20 + -1. Suppose x*t = 14*t + 65785. Is t a prime number?
False
Let s(n) be the third derivative of 587*n**4/8 + 29*n**3/6 + 14*n**2. Is s(14) a composite number?
False
Let q(w) = 1865*w**3 + 2*w**2 + 3*w - 4. Let x be q(1). Let d = 2392 + x. Is d a prime number?
False
Let m(p) be the third derivative of p**5/30 + 7*p**4/6 - 47*p**3/6 - 4*p**2. Let u be ((-21)/(-9))/(3/(-27)). Is m(u) prime?
False
Supp