s 3/24*22*b composite?
True
Let m(u) be the second derivative of u**5/20 - 5*u**4/4 + u**3 + 7*u**2/2 + u. Suppose -51*f + 90 = 5*b - 54*f, 0 = 5*b - 4*f - 95. Is m(b) prime?
True
Is ((-22)/11)/((-2)/6521) a composite number?
False
Let q(s) = -s**3 - 10*s**2 - 4*s. Let d be q(-7). Let t = -21 - d. Suppose o + o = t. Is o composite?
True
Let d = -103 + 105. Let b be (-3)/(-12) - 2582/(-8). Suppose 2*j + 3*j = 4*u + b, -4*u = -d*j + 122. Is j composite?
False
Suppose 8 = 7*y - 5*y. Let w be (171/4 - 1)*y. Suppose -325 = -4*t + w. Is t a prime number?
False
Suppose 16 = 2*f + 4*p, 4*f + 4*p = -6 + 34. Let b be ((-3)/(-2))/(f/20). Suppose -b*x + 950 = 5*u, -x + 0*x = 2*u - 189. Is x a prime number?
True
Let p = 17 + -9. Suppose 2*z - 5*c = -0*c + 150, -p = 2*c. Suppose 4*f - 485 = 4*a - z, 3*a + 521 = 5*f. Is f composite?
False
Let b(r) = -2*r**3 + 3*r**2. Let c be b(3). Let m be 4 + (2/2)/(-1). Is (7002/c)/((-2)/m) a composite number?
False
Let a = -17038 + 29511. Is a prime?
True
Is 64144/5 + (-51)/(-255) composite?
False
Suppose -g + n + 28425 = -n, -8 = -4*n. Is g prime?
True
Let g(p) = 55*p**2 - 5. Let x be g(6). Suppose 5*o + q = 3*q + 2460, 0 = 4*o - 3*q - x. Let y = o + 297. Is y a composite number?
False
Let x be ((-2078)/(-3))/((-14)/63). Let d be 1 + 3*x*1. Is d/(-35) + 1/(-7) a composite number?
True
Let v(r) be the first derivative of 3*r**4/4 - 3*r**3 + 7*r**2/2 - 6*r - 7. Is v(7) composite?
False
Let c(n) = n + 9. Let z be c(11). Is (38/5)/(z/650) a composite number?
True
Let x = -14 - -17. Suppose -7723 = -x*g + c, 4*g - 3*g + 4*c - 2596 = 0. Suppose -4*b + g = -356. Is b composite?
False
Let c(t) = 32*t**3 + 3*t**2 - 6*t + 2. Suppose -2*r - 10 + 14 = 0. Let h be c(r). Let n = -97 + h. Is n a prime number?
False
Let g be 4/1 + 10 + -24. Is (42/g)/(4/(-20)) a composite number?
True
Suppose 3*v = n + 18, v + 4*n = 2*v - 17. Let f(l) be the second derivative of 4*l**3 - 9*l**2/2 - 10*l. Is f(v) composite?
True
Let s be 2/(-4) - (1105/(-10) + -5). Suppose 55 + s = 2*h. Is h a prime number?
False
Let l(w) = 21*w - 45. Let o(v) = 31*v - 68. Let i(d) = -7*l(d) + 5*o(d). Let q(k) = 9*k**2 - 2*k - 1. Let t be q(-1). Is i(t) composite?
True
Let o(n) = -3913*n - 809. Is o(-6) a prime number?
True
Suppose -4933 = 24*d - 33181. Is d a prime number?
False
Is (222/(-9))/((-8)/(-732)*-1) a composite number?
True
Suppose 0 = 12*w - 5*w - 19033. Is w a composite number?
False
Let b = 3 - -1. Suppose 4*i = 4*x - b, 45 = -2*x + 7*x + 5*i. Suppose 0 = -4*h, -3*h = -x*g - 4*h + 445. Is g composite?
False
Let n(z) = z + 2. Let a be n(0). Suppose -4*i = -m - 536 - 146, i = 5*m + 180. Suppose -a*k - 186 = -2*c, i = 2*c - 2*k + 4*k. Is c composite?
False
Suppose -48*v + 42*v + 30 = 0. Suppose 0 = -5*x - 4*q + 2425, -6*q - 2390 = -v*x - 3*q. Is x composite?
True
Let m(q) = q**3 - q**2 + 17*q - 28. Is m(10) prime?
False
Let n(i) be the second derivative of -i**5/20 - 5*i**4/12 - 5*i**3/6 + 5*i**2 + 3*i. Suppose -3 = b, -3 - 1 = v - b. Is n(v) a composite number?
True
Suppose 2*s + u = 1167, 10 = u + 9. Is s prime?
False
Let d(m) = -668*m - 65. Is d(-6) prime?
True
Suppose 4*s = -4*o + 22500, -2*o - s = 4*s - 11256. Is o a composite number?
False
Suppose -5*n + v = -3397, 3*v + 685 = -3*n + 4*n. Is n a composite number?
True
Suppose -2*l + 4097 = -3*o, 2*l - 4099 = 5*o - 0*o. Is l a prime number?
False
Suppose 0 = 2*q - 4*w - 199914, -w + 20 = 3*w. Is q composite?
True
Let i = -8358 + 15481. Is i composite?
True
Suppose -w - 4*o + 1535 - 568 = 0, 0 = -5*w + 4*o + 4811. Let d = w + 176. Is d a composite number?
True
Suppose w + 4*b + 3274 - 16479 = 0, 26443 = 2*w - 3*b. Is w prime?
True
Let m = -4190 - -5923. Is m a composite number?
False
Suppose 743*u - 57953 = 736*u. Is u a prime number?
False
Let i(o) = o**3 + o**2 - 3. Let l be i(0). Let t(q) = -56*q - 4. Let f be t(l). Let p = f + -41. Is p composite?
True
Let p(u) be the third derivative of -u**6/144 + 3*u**5/40 + u**4/6 - 4*u**2. Let i(h) be the second derivative of p(h). Is i(-6) composite?
True
Suppose 0 = 2*y + y - 8595. Suppose -510 = 5*d - y. Is d a composite number?
True
Suppose 8*v = 3*v + 10. Suppose -a + 544 = 5*y, -4*a + 541 = 3*y + v*y. Is y a composite number?
False
Let h(w) = -85*w - 28. Let j be h(20). Let i = j + 2941. Is i a composite number?
False
Let m be 1/2 + (-9)/(-2). Suppose 6 = -2*k + m*k. Suppose k*o + 239 = 5*g, g = 2*g + 5*o - 64. Is g composite?
True
Suppose 32 = -5*u - 13. Let o be (-2)/2*36/6. Is -1209*(-1 + o/u) a prime number?
False
Let o be 1/(2/4767)*(-8)/(-6). Suppose -5*m + 2787 = -o. Is m a composite number?
False
Let f be 38/6 + (-5)/((-15)/2). Is 3/f + 6416/56 a composite number?
True
Let y be (-4 + 2 - -10) + -2. Suppose 3*z - y*z - 100 = -t, 374 = 4*t + z. Is t prime?
False
Let s(l) = 42*l**3 - 3*l**2 + 4*l - 3. Suppose -2*y - 2*p - 2 = 0, 3*p = 2*y - 0*p - 13. Is s(y) prime?
False
Let q(c) = -819*c**3 - 9*c**2 - 2*c + 5. Let t(k) = 1229*k**3 + 13*k**2 + 3*k - 7. Let s(n) = -7*q(n) - 5*t(n). Let v be s(-1). Let m = v - 248. Is m prime?
True
Let a = 147393 - 100706. Is a prime?
True
Let g(w) = -146*w - 3. Suppose p + 4*p + 30 = -5*u, 2*u = 3*p - 2. Is g(u) a composite number?
True
Let o be (1 - 2)*2 - 8. Let x(y) be the first derivative of y**3/3 - y**2/2 + 3*y + 16. Is x(o) prime?
True
Suppose -4*u = 3*s - u - 16917, u = 0. Is s a composite number?
False
Let i = -37 - -41. Suppose -i*y - 405 = -m, 5*m - y - y = 1989. Is m composite?
False
Let m(j) = -190*j**2 + 2*j - 2. Let t be m(2). Let x = t + 2157. Is x composite?
False
Suppose 4*a = 2*t - 25160 + 7402, 0 = 4*t - 5*a - 35525. Is t composite?
True
Suppose 2*j - 29888 - 1008 = 5*q, -5*q - 77225 = -5*j. Is j a prime number?
True
Let r(d) = -d**2 - 9*d. Suppose 7 - 23 = 4*l. Let o be r(l). Suppose -o = 5*a, -a + 2010 = 2*k - 5*a. Is k a prime number?
True
Let q = 46 + 603. Is q a prime number?
False
Suppose -10*x + 41656 = -341334. Is x a prime number?
True
Suppose -2748 = b - 12007. Is b a prime number?
False
Let f be (6/(-4))/(3/(-6)). Let l be 3*((-111)/(-9) - f). Suppose 0*v + 4*v = -b + l, 0 = -5*v - 3*b + 35. Is v a prime number?
True
Let c(s) = 759*s - 23. Is c(18) a prime number?
False
Let u(a) = 3*a**2 + 74*a + 190. Is u(-27) prime?
True
Let i = 7 - 5. Suppose 0*s - 4 = -i*s. Suppose g + s*g + 5*k = 363, 484 = 4*g - 5*k. Is g prime?
False
Suppose -17*t = -31*t + 209566. Is t prime?
True
Let v(y) = -1802*y - 33. Is v(-7) composite?
True
Suppose 0 = 12*d + 5*d - 19567. Is d prime?
True
Suppose 76 = 5*s - 4*i - 79, 3*i = -3*s + 66. Let t = -25 + s. Is (t*-7)/((-14)/721) a composite number?
True
Let m(h) be the first derivative of h**4/2 - 2*h**3/3 + 2*h**2 - 7*h + 18. Is m(6) a composite number?
True
Let u(g) = -g**3 - 5*g**2 + 8*g + 12. Let f be u(-6). Suppose f = -4*m + 1644 + 920. Is m a composite number?
False
Let d = 1260 - -606. Suppose -5*i + d = i. Is i prime?
True
Let k(w) = -w + 9. Let q be k(9). Suppose -3*c - 279 + 1200 = q. Is c a prime number?
True
Suppose -2*c - 29303 = -3*u - 0*c, -u + 2*c + 9769 = 0. Is u prime?
True
Let x(f) = 2*f - 3. Let t be x(3). Suppose 400 = t*o + o. Suppose -4*k + 48 + o = 0. Is k a prime number?
True
Suppose 0 = -76*i + 5779636 + 2565240. Is i prime?
False
Let a(m) = m**2 + 15*m + 18. Let d be a(-10). Is 331 - (d/(-12))/((-4)/6) a prime number?
False
Suppose -3*v + 1 = 3*i - 11, -2*i = v - 5. Let w be (-105)/(-20) + i/(-4). Suppose -w*z + 153 = u, -u = -3*z + 59 + 36. Is z a prime number?
True
Suppose 5*o - 4*o - 4 = 0. Suppose -o*w = -w + 132. Let h = -31 - w. Is h a prime number?
True
Suppose 13544 = 4*c - 4*y, -6941 = -2*c + y - 166. Is c composite?
False
Let k = -32 - -36. Is 9510/45*6/k prime?
True
Let b = -47 - -29. Let c be (b/(-4))/((-4)/(-136)). Suppose -c = -f - 8. Is f a composite number?
True
Suppose 5*m = -0*x + x + 22564, -x = 3*m - 13540. Is m a prime number?
True
Suppose -11*m - 4*m + 44565 = 0. Is m composite?
False
Is 12/114 + (-178233)/(-57) a composite number?
True
Suppose -2*q - 3*t + 6 = q, -5*q = 2*t - 19. Suppose 290 = q*b - 755. Is b prime?
False
Suppose 6 = 19*j - 32. Let q(v) = 525*v**2 + v - 3. Is q(j) a prime number?
True
Let m(f) = -2*f + 6. Let x be m(0). Suppose x*j = 8*j - 1642. Is j a prime number?
True
Let x = -10 - -13. Supp