 prime number?
False
Let a(d) be the third derivative of d**5/60 + d**4/8 + d**3/6 + 13*d**2. Is a(-9) composite?
True
Suppose -6*w + w = -10. Suppose -w*o = -4*o + 38. Suppose 2*f = f + o. Is f a composite number?
False
Suppose -5 = -m - 0. Suppose 0 = 3*w - m*w - 564. Let c = w + 629. Is c prime?
True
Let x(w) = 10*w**2 - 6*w + 1. Suppose -5*m = 3*j + 13, 24 = 5*j - 5*m - 21. Suppose -j*y + 11 = 3*l, 4*l = -2*y + 6*y - 32. Is x(y) a composite number?
True
Let o(h) = -8443*h**3 - 2*h**2 - 2*h. Is o(-1) composite?
False
Let y(v) = v**2 + v + 5. Let k be y(0). Suppose -32 = -5*r - 3*g, -g - 16 = -k*r - 0*g. Suppose s + 4 - 3 = 0, r*p - s - 1061 = 0. Is p composite?
True
Let w = -4 - -7. Suppose -2*a - 4 = -w*a. Suppose 0 = a*p - 547 - 1065. Is p a composite number?
True
Let d = 356 - 353. Let w be 2 + -1 - (-2909 + -1). Suppose -d*k = 988 - w. Is k a prime number?
True
Let v = 274 + -13. Let c(r) = -162*r + 8. Let p be c(-1). Let s = p + v. Is s composite?
False
Let c be ((-3)/((-12)/(-32)))/(-2). Suppose -m - c*m = 3*b + 25, -5 = 5*b + m. Suppose 3*r + 13 = 3*g - 2*r, -2*g + r + 11 = b. Is g prime?
False
Let w(t) = t**3 + 42*t**2 - 43*t - 23. Is w(-25) composite?
False
Let z be (9/3)/(-1 + 0). Is (-1436)/(-5) - z/(-15) a composite number?
True
Let i = -3219 + 5797. Is i a composite number?
True
Let t = -1 + -4. Let b(n) = -n - 5. Let w be b(t). Suppose w = -5*f + 282 - 27. Is f a prime number?
False
Let f(y) = 340*y**3 - 3*y**2 - 2*y + 8. Let g be f(2). Is (g + 20)*(-2)/(-8)*13 prime?
False
Let h(s) = s**2 + 1. Let n(x) = 5*x**2 - 5*x + 12. Let z(v) = -4*h(v) + n(v). Is z(15) a composite number?
True
Let p = -25 - -17. Let w be 705/(-12) - (-2)/p. Is w/(-1)*(14 - 13) a prime number?
True
Let w = -32 + 56. Let n = 103 - w. Is n a prime number?
True
Let r(o) = -o + 13. Let m be r(9). Let z(f) = 2*f - 6. Let d be z(m). Suppose 6*x + 4*u - 600 = d*x, 3*x - 420 = 3*u. Is x a composite number?
True
Let q(r) = -r**2 - 10*r - 6. Let m be q(-9). Suppose 0 = m*l - f - 11, 2*l + 3*f + 9 = -l. Is ((-259)/(-4))/(l/8) composite?
True
Let b(c) = c**3 - 3*c**3 - 2*c**2 - 3*c**2 - 5 - 2*c + 0*c**2. Let t be b(-5). Let l = t + 3. Is l composite?
True
Suppose 2*l + 5*b - 161 = 0, 4*l - b = -0*b + 311. Let o = 75 - 85. Is o/5 + l/2 a composite number?
False
Is (-13159)/((4 + -2)/(-2)) prime?
True
Suppose -4*l = 2*b - 48, -b + 48 = 4*l - 6*b. Let p = -291 - -444. Let m = p - l. Is m a composite number?
True
Let w(j) = -1247*j - 6. Let f be 4 + (-64)/12 - (-3)/9. Is w(f) composite?
True
Let v be ((-6)/5)/(8/80). Let p = v + 17. Suppose -p*s = -3448 - 137. Is s composite?
True
Is 16110/14 - ((-20)/(-28) - 1) a composite number?
False
Suppose -3*b + 23707 = 2*c, -5*b + 14523 = 2*c - 24986. Is b composite?
False
Let o(m) = 50*m**3 - 5*m + 2*m + 4*m. Let s(j) = j**2 + 4*j - 4. Let u be s(-5). Is o(u) a prime number?
False
Let j(i) = 19 - 12*i - 68*i - 17*i. Is j(-4) a prime number?
False
Let f(j) = -j**2 - j + 2. Let h be f(0). Suppose w + h = 15. Is w a composite number?
False
Suppose 0 = 4*i - 15 - 5. Suppose -2*m - 60 = -3*x - i*m, -4*x = -m - 60. Suppose 3*c - 261 = -3*k, -c + 99 - x = -k. Is c composite?
True
Suppose -3*x = -7*x + 100. Let g be (-4)/10 - (-10)/x. Suppose -5*l + 285 + 160 = g. Is l a composite number?
False
Let x be 79 - (4 - 1 - 0). Suppose 6*s - x = 4*s. Is s a composite number?
True
Suppose -7*y - 2048 = -2*y + 2*o, 1228 = -3*y - o. Let f(n) = -8*n**2 + n + 8. Let s be f(6). Let i = s - y. Is i a composite number?
True
Let m(r) = 3738*r - 199. Is m(20) a composite number?
False
Let s(a) = -a**3 - 6*a**2 - 3*a + 8. Let d = -6 - 0. Is s(d) composite?
True
Let h = 11899 + -785. Is h prime?
False
Let w be -1 + 3 - (21 - 15). Is w - (-115)/5*9 prime?
False
Let g(u) = 432*u. Let t(d) = 431*d - 1. Let f(x) = 6*g(x) - 5*t(x). Is f(2) prime?
False
Let f = 14 - 12. Let i(s) = f*s + 4*s + 3*s - 5. Is i(3) composite?
True
Suppose c - 34000 = -n, -3*c - 102018 = -n - 2*n. Is n a prime number?
False
Let z be ((-2)/4)/((-17)/136). Is 466/z - 3/(-2) prime?
False
Let w(m) = m + 1315. Let f(j) = -j - 5. Let v be f(-5). Let q be w(v). Suppose 5*l + 320 - q = 0. Is l composite?
False
Suppose -4*u = -201 - 439. Suppose 3*b - u = -b. Suppose -3*h = -3*q - 462, h = 4*q - b + 209. Is h prime?
True
Suppose -5*j = 3*g - 4*g - 2821, -5*g + 1150 = 2*j. Is j a composite number?
True
Suppose -4*z = -4*m - 24, 2*m = -2*z + 6*m + 14. Suppose -553 = -3*q + q + n, z*q - 2*n - 1380 = 0. Is q a composite number?
True
Suppose -4*g = 2*i - 8, 4*g - 16 = 3*i - 7*i. Suppose -i*r + 8 = -0*r. Let o(q) = 39*q + 1. Is o(r) a composite number?
False
Let k(n) = -n + 18. Let y be k(13). Suppose 4*p + 0*v = -2*v - 14, -15 = -y*p + 4*v. Let o(g) = 71*g**2 - g - 1. Is o(p) composite?
False
Let r(d) = 723*d**2 - 7*d + 217. Is r(12) a composite number?
True
Let k(s) = 332*s**2 + 9*s - 4. Let w be ((-4)/6)/((-40)/180). Is k(w) a prime number?
True
Let q(f) be the first derivative of f**3/3 + 5*f**2/2 + 2*f - 3. Let d be q(-2). Let p(m) = -6*m**3 - m**2 + 6*m + 3. Is p(d) a composite number?
False
Let x = 51 + -29. Let s = x + -19. Suppose -4*d - 5*a = -92 - 807, 0 = s*d + a - 666. Is d a composite number?
True
Suppose -3*b - 20 - 11 = -5*q, q = b + 7. Suppose q*c - 2*c = 354. Is c a prime number?
False
Suppose -3 = u - 2*n, 0 = -0*n + 2*n - 4. Let s(c) = 151*c. Let g be s(u). Let h = -36 + g. Is h composite?
True
Let m = 370446 - 242533. Is m a composite number?
False
Suppose -3*f + 4*y = -819, -3*f + 846 = -0*y + 5*y. Let s = 437 - f. Is ((-4)/1)/4 + s a composite number?
True
Suppose -4*g - 35764 = -5*t - 167, 5*t = -5*g + 35615. Is t a prime number?
True
Let h(u) be the first derivative of 4*u**3/3 - 13*u**2/2 - 7*u + 4. Let k be h(-16). Suppose 4*t + k = 3*b, -2*b + 2*t + 45 = -771. Is b a composite number?
True
Let p(c) = -c**2 - 21*c - 14. Let s be p(-10). Suppose -2*w = 4*w - s. Suppose -4*f + w = -1372. Is f a composite number?
False
Let t = -13 + -1. Let p(h) = -7*h**3 - 3*h**2 - 2*h + 1. Let u be p(-2). Let a = t + u. Is a composite?
True
Let t(s) be the second derivative of -161*s**3/6 - 14*s. Is t(-1) a prime number?
False
Let v(i) = 3322*i**2 - 8*i - 13. Is v(-2) prime?
True
Let u = 5 - 0. Let o(c) be the third derivative of 31*c**4/24 - c**3 + 6*c**2. Is o(u) a composite number?
False
Let y = -334 - -791. Is y composite?
False
Suppose 4*d - h + 0*h - 138 = 0, 2*d + h = 72. Let l = 114 - d. Is l prime?
True
Let u be (7/21)/(1/26148 - 0). Is 2*(-18)/24*u/(-6) a prime number?
True
Let b(g) = 4 - 2 - 157*g**3 - 1 + g + 0. Is b(-1) a prime number?
True
Suppose -12*i + 17*i = 52520. Let j = 14775 - i. Is j prime?
True
Suppose 12 = 3*y - b, -6 = -2*y - 4*b + 2. Suppose 2*w + 423 = 3*w + 2*q, y*q + 435 = w. Is w a composite number?
True
Suppose -5*x + 7*b = 12*b - 21690, x - 3*b - 4334 = 0. Is x prime?
True
Let o = -25 - -25. Suppose o = 2*t - 4*x - 5526, -5*x + 6*x = 2*t - 5523. Is t a composite number?
True
Suppose -189 = -14*f - 21. Suppose -8499 = f*y - 40959. Is y a prime number?
False
Suppose z = 2*z - 6. Suppose 0 = -3*s - g - 0*g + 5, 4*g - z = -5*s. Suppose -3*t + 384 = x, 5*t - s*x = -0*x + 629. Is t composite?
False
Suppose -2*d + 140 = -d + 2*u, 20 = 4*u. Let x = d + 863. Is x composite?
True
Let c(u) = u + 13. Let h be c(-10). Suppose -h*j + 11 = -4, 0 = 5*t + j - 450. Is t composite?
False
Let t(r) = 3*r - 20. Let n be t(8). Let z be (76/16 - 0)*n. Suppose -22*q = -z*q - 381. Is q composite?
False
Suppose 0 = 4*p - x - 32, 3*p + 0*x = 2*x + 24. Suppose -7*a + p = -3*a. Suppose -a*j + 3737 = 5*v, -j + 2*j + 2251 = 3*v. Is v a prime number?
False
Is ((-91)/(-14) + 3)/((-8)/(-36944)) composite?
True
Let t = -92 + 79. Let l(i) = -12*i**2 + 5*i**3 - 2*i**3 + 13*i + 13 - 4*i**3. Is l(t) prime?
True
Suppose 3*m + 3 = 2*m. Let i be 1/m + (-12901)/(-21). Suppose g - i = -g. Is g a composite number?
False
Let w = 17153 + -2230. Is w composite?
False
Let q be 2/(2/(-4)*-1). Suppose -2*k = 3*t - 224, 3*t - 100 = q*k - 512. Suppose -3*r - 2*f = 3*f - k, f = -2*r + 73. Is r composite?
False
Let g = -10024 - -15767. Suppose 2*r - 5*r - 3441 = -3*m, -r - g = -5*m. Is m prime?
False
Suppose -4*t + 3577 = -5*i, 21*i - 22*i = 2*t - 1785. Is t a composite number?
True
Suppose 0*r - 5 = -r. Su