) a composite number?
True
Let d be (-102)/(-30) - (-8)/(-20). Suppose d*g - 3510 = 2391. Is g a composite number?
True
Suppose -3*x = x - 108. Let q = x + -20. Is 1143/12*(q + -3) prime?
False
Is (-98 + 1)/(10/1770*-3) a composite number?
True
Let j(q) = 19*q**2 + 2*q + 31. Let v be j(7). Suppose h = -d + 1200, -v = 5*d + h - 6956. Is d composite?
True
Suppose h + 5*t - 2812 = 0, 0*h - 5*h = -4*t - 14002. Suppose h = 11*s - 5*s. Is s composite?
False
Let p(x) = 5 - 2*x**3 + 6*x**2 - 7*x**2 + 2*x - 9*x**2. Suppose -5*m - 29 = 6. Is p(m) composite?
True
Let i = 1458 - -356. Is i composite?
True
Let m(h) = 17*h**2 - 5*h + 2. Let z be m(-4). Suppose -z = -u + 824. Suppose 4*c + 274 = u. Is c composite?
False
Suppose 2*c + 8 = 44. Suppose -c + 178 = 2*t. Is t - (-1)/(-1 - 0) prime?
True
Let t = 54114 - 38455. Is t a prime number?
False
Suppose 2*n - 38 = 4*q, 0 = -3*q + 5*q + n + 29. Let l be 2/2 + -1816 + 2. Is (-6)/q + l/(-2) composite?
False
Let u(a) = a**2 - 7*a - 111. Is u(-32) a composite number?
True
Let b = 4665 - 1522. Is b a composite number?
True
Let t(g) = 23*g**2 - g + 1. Suppose 2*i + i = 0. Suppose i*w = -w + 1. Is t(w) composite?
False
Let q(m) = -161*m + 55. Is q(-14) a composite number?
False
Let o(l) be the third derivative of 0 + 5*l**2 - 1/20*l**5 + 0*l + 1/40*l**6 - 1/3*l**3 - 1/12*l**4. Is o(4) composite?
True
Let d(k) = -12*k - 7*k + 3 + 1. Let i be d(-5). Suppose 3*q - z = i, 60 = 4*q - 4*z - 72. Is q composite?
True
Let g(c) = 124*c**2 - 10*c - 13. Is g(14) composite?
False
Let l(d) = 590*d - 7. Let g(q) = -295*q + 4. Let k(i) = -9*g(i) - 4*l(i). Is k(3) composite?
False
Let i be (-144)/27*(-6)/2. Suppose -i = f + 3*f. Is (2 - 1124)/(-2) + f a prime number?
True
Suppose 45 = 5*g - 5*v, -v - 13 = -5*g + 3*g. Suppose w - 44 = t, 0*t + 3*t = g*w - 181. Is w a prime number?
False
Let n = 583 + 192. Let a be 1*-4*n/10. Let s = a + 479. Is s a prime number?
False
Suppose 3*b - 106 = 98. Suppose 3*n = -5 - 4, o - 5*n = b. Is o prime?
True
Suppose -3 = -2*n + x, -5*n = -2*n - 2*x - 4. Is (-203)/(-3)*(5/5 + n) composite?
True
Suppose -3 = v + 3*r, -3 - 2 = -4*v + 5*r. Suppose d + m - 446 = v, -5*d - 3*m + 7*m + 2257 = 0. Is d prime?
True
Let h(k) = 3*k**3 - 18*k**2 - k - 12. Let z(i) = 5*i**3 - 35*i**2 - 2*i - 25. Let v(o) = 7*h(o) - 4*z(o). Let c be v(-14). Is 505/c + 6/(-4) a prime number?
True
Let z = 9870 - 5543. Is z a prime number?
True
Let c be 3*(-3)/(-27)*0. Suppose c = -2*z - 879 - 31. Let m = z + 828. Is m composite?
False
Let t(z) be the first derivative of -42*z**2 - 10*z - 3. Is t(-13) a prime number?
False
Let d(x) = x**3 + 4*x**2 + x - 1. Let i be d(-4). Let z(y) = -7*y + 6. Let w(m) = 8*m - 5. Let u(p) = -3*w(p) - 2*z(p). Is u(i) prime?
True
Let s(m) = 8*m + 1. Let u be s(5). Let p(r) = -42 + r**2 + r**2 - 2*r + u. Is p(8) prime?
False
Let d(n) = 14*n + 17. Let k be d(-8). Let j = 64 - k. Is j a prime number?
False
Suppose -197302 = -78*j + 1352636. Is j prime?
False
Let i(d) = 10*d**2 - 17 - d - 6*d + 4*d + d. Is i(-7) composite?
False
Let l(m) = -6 + 6 + 951*m**2 - 2*m + 0. Is l(-1) a composite number?
False
Suppose 3*d - 3 - 1 = j, d = -j + 4. Suppose d*y = -k + 4*y + 27, y + 99 = 5*k. Is k a prime number?
True
Suppose -9*j + 10*j - 10 = 0. Let y = j + -3. Suppose -8*v = -y*v - 59. Is v prime?
True
Let u be ((-15)/10)/((-1)/2). Suppose 0*a - 936 = -3*v - 4*a, -u*a - 936 = -3*v. Let t = -163 + v. Is t a prime number?
True
Is 18/(-99) - 99065/(-55) composite?
False
Let h(p) be the third derivative of p**5/20 - p**4/12 - p**3/6 - 12*p**2. Let s be h(4). Is 26/s - (-6038)/6 composite?
True
Suppose z = 6*z - 30. Suppose 4*b + z = -k + 18, -2*b - 2*k = 0. Suppose 0 = -5*l - b - 1, l + 636 = 5*h. Is h a prime number?
True
Suppose 2*x + g = -4*g + 397, -201 = -x - 3*g. Let u = x + -73. Is u a prime number?
True
Suppose -183*n + 165*n + 65538 = 0. Is n a prime number?
False
Let j = -1481 + 3710. Suppose 4*r = 7*r - j. Is r a composite number?
False
Let u(x) be the first derivative of 117*x**2/2 - 4*x - 8. Is u(5) composite?
True
Is (-4)/38 - 227070/(-190) a prime number?
False
Suppose -w = 2*w - 4*z - 59, -4*w - z = -66. Suppose -1082 - w = -7*m. Is m a prime number?
True
Let w be 180/24 - (-6)/(-4). Suppose -w*r + 247 = 3*m - r, m - 2*r - 75 = 0. Is m composite?
False
Let b(k) = -k**2 + 6*k + 13. Let j be b(7). Is (-1832)/(-24) - (-4)/j a composite number?
True
Let d(h) = h**3 - h + 13. Let r be d(0). Suppose r = 2*c - 165. Is c a prime number?
True
Suppose 6865 = 3*l + 2*c, -3*c = 2*l - 1700 - 2870. Is l a prime number?
False
Suppose 26 + 106 = 4*q. Is q/12 - 2 - (-8890)/40 composite?
False
Let m(s) = -14*s**3 + 6*s**2 - 4*s - 5. Suppose v = 5*d + 20, 22 = -4*v + 2. Is m(d) prime?
False
Is (-4391)/(12/(-20) - (-6)/(-15)) prime?
True
Suppose 4*g = 3*i + 5596, 3*g - 790 = -5*i + 3407. Is g prime?
True
Let y(c) be the first derivative of -c**4/4 - 13*c**3/3 - 23*c**2/2 - 19*c + 40. Is y(-12) prime?
True
Suppose 0 = 8*k - 3*k + 5*u - 2080, 3*u = 2*k - 817. Is k prime?
False
Let l = 3224 - -7475. Is l composite?
True
Let x = 52 + -36. Let c be (-3)/12 + 4452/x. Suppose -3*z - 23 = -c. Is z a prime number?
False
Let z = -19934 + 11520. Is -2*(z/36 - (-12)/54) prime?
True
Suppose 244203 = 3*h - 2*y, 5*h + 7389 = -3*y + 414394. Is h a prime number?
True
Suppose -3*c + 25566 + 1395 = -2*q, 5*q = -c + 9004. Is c a prime number?
False
Suppose 5*o - 4590 = 5*a, -2762 = -3*o + 2*a - 7*a. Is o a composite number?
False
Suppose 4*n - n - 10 = 5*b, 5*b - 2*n + 5 = 0. Is (-2)/((b/(-2))/(573/12)) prime?
True
Let k be 24752/133 + 6/(-57). Let l = k + 613. Is l composite?
True
Let c(i) = 28*i**2 - i + 2. Suppose 0 = -g - 4*v + 6, 3*v - 12 = 4*g - g. Let q be (-4 - 0 - -3) + g. Is c(q) a composite number?
False
Suppose 4*q + 67 - 1563 = -4*i, -q - 2*i + 373 = 0. Let y = -124 + q. Is y composite?
False
Suppose 0 = -2*g - 8, -3*j + 391 + 2785 = -2*g. Suppose 0 = -2*v - 4*f + 730, 5*f - 344 + j = 2*v. Is v composite?
True
Suppose l + 4 = -3*z - 7, 0 = -l - 5*z - 21. Suppose -l + 10 = 3*u. Suppose -3*k + 2*k + 123 = u*j, k - 129 = j. Is k a composite number?
False
Let t(h) be the third derivative of h**6/120 + 13*h**5/30 - h**4/8 - 15*h**3/2 - 19*h**2. Is t(-26) a prime number?
False
Suppose 2 = -2*y - 4*k, -4*y + 5*k + 2 = 6. Is (141 + y/(-1))/(5 + -3) prime?
True
Suppose 575 = 5*r + 5*v, -3*r + 365 = -4*v + 2*v. Is r a prime number?
False
Let j = -13 + 29. Let q = j - 11. Suppose q*n - 1884 = 1291. Is n composite?
True
Suppose 48*o + 17412 = 54*o. Is o prime?
False
Let q(d) be the second derivative of d**4/4 - 5*d**3/6 + 3*d**2/2 - 6*d. Is q(16) composite?
False
Let n(t) = 231*t - 9. Is n(28) prime?
False
Suppose 2*q + 2*q + 5*w = 411, 208 = 2*q + 2*w. Suppose f + y = 42, -3*f = -f + 3*y - 88. Let x = q - f. Is x composite?
False
Let m(g) = -33*g + 479. Is m(-44) a prime number?
True
Suppose 3*u - 2*a = 3034, -2*a = -u + 182 + 836. Suppose -2*g + 100 + u = 0. Is g composite?
True
Let w(c) = -2*c**3 + 33*c**2 + 14*c - 31. Is w(-20) composite?
True
Suppose -569 - 611 = -4*s. Is s prime?
False
Suppose 5*m = -4*t + 10, -3*m - m = 3*t - 8. Suppose 2*j - 10 = t, 18 = 3*k + 2*j - 10. Suppose 2*n - 114 = 4*v, 0 = 4*v - k + 2. Is n a prime number?
True
Suppose -3*z = -13*z - 1190. Let t = z + 174. Is t prime?
False
Let q(z) = 2*z - 9. Let j be q(5). Suppose -21 = -3*w - 0*w. Is j*(-2 + w)*7 prime?
False
Let n = 3423 - 2144. Is n a composite number?
False
Suppose -15*u - 38 = 457. Let g = u - -86. Is g composite?
False
Let s = -64 + 66. Suppose 2*d + 170 = s*x, -7*x + 5*x + 168 = -d. Is x a composite number?
False
Let c(j) = j**2 - 21*j + 32. Let u be c(18). Suppose -2*f = -5*f - 123. Let o = u - f. Is o a composite number?
False
Let d(b) = 4*b**3 + 6*b**2 + b - 631. Let y(n) = n**3 + n**2. Let z(s) = -d(s) + 5*y(s). Suppose -19 = -27*f - 19. Is z(f) a composite number?
False
Suppose -72*q = 6*q - 1360398. Is q composite?
True
Let x be (1/3)/(3/18). Let r = -1603 + 1129. Is (10/(-30))/(x/r) a prime number?
True
Let w = 28429 + -9840. Is w a prime number?
False
Let s be -12*(-5)/(-15)*2. Let z(k) = -k**2 + 0*k**2 - k**3 + 7*k - 17 - 4*k**2. Is z(s) composite?
True
Let u(z) = 3161*z + 57. Is u(4) composite?
True
Let b(f) = -f**3 - 3*f**2 + 2. Let 