(-557)/p*(-9)/(-3) a composite number?
False
Suppose -h - 5*s = -46199, 0 = h + 4*s - 14623 - 31576. Is h a composite number?
False
Let h(u) = 25*u**2 - 4*u - 22. Is h(-15) a composite number?
True
Let l(k) = k**2 + 4*k - 11. Let x be l(-7). Let m be (-6 + x)/((-1)/(-8)). Is (5 - 1) + m + 1 a prime number?
True
Let v(u) = u**3 + u**2 + 2*u - 5. Suppose 11*i = 8*i + 12. Is v(i) a prime number?
True
Let b = 178 + -139. Is 13*b/15 - 9/(-45) a prime number?
False
Let z = -37 + 37. Let t be (6/(-3) - 0) + 640. Suppose 2*v = 4*m - t, 4*m + z*m - 4*v = 632. Is m composite?
True
Suppose 392 = -4*h + 80. Let i = h - -116. Suppose i = 4*s + 2*g + 2, -2*s = 3*g - 10. Is s a prime number?
True
Let c(d) = d**3 + 58*d**2 + d + 231. Is c(-25) a composite number?
True
Suppose -2*o - 402 = -0*o. Let r = o - -392. Is r composite?
False
Let r(y) = -45*y**2 - 2*y + 1. Let w be r(2). Let l(b) = -2*b**3 + 5*b**2 + 9*b + 4. Let k be l(-6). Let z = w + k. Is z prime?
True
Suppose 5*u - 992 = -l, 0 = -3*l + 3*u - 600 + 3594. Is l prime?
True
Let v be 3*(327/3 + -1). Let i be (-3 - 36/(-8))*v. Let w = -285 + i. Is w a prime number?
False
Is (-4 - 30/(-10)) + 9792 composite?
False
Let w(k) be the second derivative of 1/2*k**3 + 3*k + 0*k**4 + 1/20*k**5 + 1/2*k**2 + 0. Is w(3) composite?
False
Suppose -2*c - 25 = -7*c. Suppose 3*k - c*k + 10 = 0. Suppose 4*j + k + 3 = 0, -784 = -2*g - 3*j. Is g prime?
False
Let g(c) = -5779*c**3 - 3*c**2 + 13*c + 16. Is g(-1) a composite number?
False
Suppose -123*m - 10 = -128*m. Is -2*(-2)/6*1899/m composite?
True
Let d(n) be the second derivative of -n**5/4 + n**4/12 + n**3/2 + 3*n**2 + 2*n. Suppose 4*y + 28 = 4*b, -17 + 1 = 4*y - b. Is d(y) a composite number?
True
Suppose 5*l = d + 314, -2*l = 3*d + 3*l + 882. Is d/(-2) + (-11)/2 + 5 a prime number?
True
Let v(u) = u**2 - 2*u - 1. Let f be v(0). Let g = 208 - f. Is g composite?
True
Let f(p) be the first derivative of 121*p**4/4 - 2*p**3/3 + p**2/2 - 9. Let i be f(1). Let j = i + 91. Is j composite?
False
Suppose 0 = -2*s + j + 841, -4*j + 22 = -3*s + 1276. Suppose 912 = 2*f - s. Is f a composite number?
True
Suppose 4*c - 5810 = 11018. Suppose t = -4*b + c, 6*b - 5*b = -2*t + 8393. Is t composite?
True
Let y(s) = -20*s**2 - 2*s - 2. Let v(l) = -l + 10. Let f be v(7). Let a be y(f). Let j = -91 - a. Is j composite?
False
Suppose -3*l + 35 = -4*n - 0*n, -5*n = 3*l + 10. Let f be (-2)/n - (-12)/20. Is ((-153)/(-18))/(f/34) a prime number?
False
Let q = 155 + -37. Suppose -2*t + 4*a + q = 0, 2*t - 3*a = 186 - 64. Is t composite?
False
Let q be (-1)/((-21)/(-7021)) + 8/6. Suppose 2*b - 815 - 369 = 0. Let u = b + q. Is u prime?
False
Suppose 9*p = 7*p + 6. Let n be -3 - (-10 + p) - -2. Is (-44)/n*(-132)/8 a prime number?
False
Suppose -4*t - c = -0*c + 22, 2*c = -4*t - 24. Let n(b) be the first derivative of 23*b**3/3 + b**2/2 + 17*b + 1. Is n(t) composite?
False
Let j(b) be the second derivative of 49*b**6/360 - 7*b**5/120 + 7*b**4/12 + b. Let o(l) be the third derivative of j(l). Is o(7) a prime number?
False
Suppose i - 23239 = 30*t - 33*t, 4*i + 7755 = t. Is t prime?
False
Let r(n) = -2*n + 23. Let g be r(10). Let y be (-1054 + -1)*(-4 + g). Suppose -3*j = 2*j - y. Is j prime?
True
Let h(m) = 7*m**2 + 35*m - 31. Is h(-21) prime?
False
Let s be (18/(-15))/((-8)/20). Suppose -5*m - 7 - s = i, 24 = 3*i - 3*m. Suppose -6*l + 819 = -4*l + i*o, 1239 = 3*l + 4*o. Is l composite?
True
Let p(r) = 4*r**2 + 24*r - 3. Is p(14) composite?
False
Suppose 96 = 12*o - 9*o. Suppose -4*b = -l + o, 3*b + 0*b - 3*l = -33. Is 1 + b/(14/(-1352)) a composite number?
False
Let j(l) = -413*l + 25. Is j(-6) composite?
False
Let u = 361 + -1264. Let y = u + 1264. Is y composite?
True
Let x(t) = 12*t**3 - 27*t**2 + 2*t - 53. Is x(14) composite?
False
Let p(a) = 2*a + 185. Let x be p(0). Is (-6 - x)*(-4 + -3) prime?
False
Let u = -122 - -238. Let j = 327 - u. Is j composite?
False
Suppose -2*g + 10 = -4. Let s(d) = -d**3 + 8*d**2 - 6. Is s(g) a prime number?
True
Suppose 3*l = 4*t + 3, 0 = -3*l + 5 - 2. Let z(h) = h**2 - 2*h + 163. Is z(t) a prime number?
True
Let t(u) = 331*u**2 + 1. Suppose 0 = -2*j + 1 + 3. Let i be t(j). Suppose 0 = -8*q + 3*q + i. Is q a composite number?
True
Let r(b) be the second derivative of 21/20*b**5 + 1/2*b**2 + 0 - 1/6*b**3 - 2*b - 1/6*b**4. Is r(2) prime?
False
Let w(q) = 19*q**2 - 11*q - 6. Let r(l) be the first derivative of -13*l**3 + 23*l**2/2 + 13*l + 5. Let m(x) = 3*r(x) + 7*w(x). Is m(4) a prime number?
False
Suppose 43 - 1 = 3*h. Suppose -h*i - 753 = -17*i. Is i composite?
False
Let i(b) = 2*b + 26. Let s be i(-8). Let n(m) = m**3 + 6*m**2 - 8*m - 9. Is n(s) a composite number?
False
Is ((-1270984)/(-99) - 9) + 2/(-9) prime?
True
Suppose 0 = 6*i - 0*i - 9810. Suppose 5*t - i = 2400. Is t/9 - (-8)/(-12) composite?
False
Suppose -4*c = n - 77510, 4*c - 63899 = n + 13615. Is c composite?
True
Suppose 82*f - 124*f = -881034. Is f prime?
False
Let t(i) = 115*i + 3. Let n(w) = 172*w + 5. Let g(v) = 5*n(v) - 8*t(v). Is g(-2) a prime number?
False
Let z(h) = 3297*h - 115. Is z(4) a prime number?
False
Let x = 11 + -11. Suppose 5*g + 632 = 5*k - 2*k, -4*k + 2*g + 852 = x. Is k a prime number?
False
Let m = -47 + 49. Is m - 4 - 6*4/(-1) a composite number?
True
Let q = 356 + -359. Let t(l) be the third derivative of 9*l**5/20 - l**4/12 + 2*l**3/3 + l**2. Is t(q) composite?
True
Let c = 29 - 8. Suppose -4*x = -2*h + 10, x - c = -2*h - 1. Suppose j - 2 = h. Is j a composite number?
False
Suppose -8*r + 4*r = -784. Let j = r - 102. Is j a prime number?
False
Let b(a) be the second derivative of -1/2*a**3 - 9*a + 0 + 15/2*a**2. Is b(-8) prime?
False
Let h(w) = 7 + 4*w**2 + 24*w - 22*w + 0*w**2. Is h(-11) a composite number?
True
Is (-21 + 24460)*(-1 + 2) composite?
False
Let q(p) = -9*p**2 + 483 + 2*p**2 - 6*p + p**3 - 497. Let i be q(8). Suppose 3*n - 3*h + 61 = 538, 0 = -i*h - 4. Is n prime?
True
Let p = -3953 - -2754. Let x = -750 - p. Is x a prime number?
True
Let h be 20/3*-3*1. Let n = -110 - -108. Is (4/n)/(h/1310) a composite number?
False
Suppose 2 = 8*i + 2. Suppose 3*c - 3*t - 1749 = 0, i*c - 2*t = 2*c - 1182. Is c a prime number?
True
Suppose o - 5991 = -p, -3*o + 4777 = -2*p - 13186. Is o prime?
False
Let b = 70 + -41. Let u = 31 - b. Suppose -q = 2*v - 2298, u*v - 2*q - 1541 = 769. Is v a composite number?
False
Suppose 3*l + s = -4*s + 37, 0 = -2*s + 10. Suppose -l*r - 322 - 50 = -4*v, 2*r + 4*v = -180. Let i = -43 - r. Is i a composite number?
True
Let m be 6074/4 - 2/(-4). Let i = m + -922. Is i a composite number?
True
Let i(y) = -3*y**3 + y**2 + 2*y + 3. Let f = 14 + -19. Let o be i(f). Let z = -202 + o. Is z a composite number?
False
Let h(a) = a**3 - 5*a**2 - 6*a + 2. Let p be h(6). Let b(l) = -4 + 74*l**p + 6 - l - 1. Is b(2) prime?
False
Let y = 581 - -48. Is y composite?
True
Let x(c) = 77*c**2 + 4*c + 39. Is x(18) a composite number?
True
Suppose -u - 789 + 113 = 0. Let p = -225 - u. Is p a prime number?
False
Let q(v) = v**3 + 8*v**2 + 7*v + 3. Let c be q(-7). Suppose 0*w - c*l = 4*w + 3, 0 = w - 2*l - 13. Suppose -2*t - 4*d = -26, w*t + 2*d - 65 = -2*t. Is t prime?
True
Suppose 2*x + 1 = -3*i, 3*x + 8 = 4*i + x. Is -3 - i - -3 - -1208 a composite number?
True
Let c = -3 - 11. Let y be c/(-3)*138/2. Suppose 3*i - y = i. Is i a prime number?
False
Suppose -41 = 4*x - 5*b - 16, 2*x - 2*b = -14. Is (-1564)/x - (-6)/10 a prime number?
True
Let z be 16/2 - (3 + -5). Is z/(-40) - 1389/(-4) prime?
True
Let f(q) = 23 - 26 - 2*q**2 - 6*q + 6*q**2. Let o be f(3). Is (4 + -9)*(-249)/o prime?
True
Let y be (-73)/3 + 1 + 3/9. Let d = 63 - y. Is d a prime number?
False
Suppose -28 = -2*g + 52. Let d = g + 6. Is d a composite number?
True
Suppose 3*u - d = 19853, 0 = 5*u + 3*d - 25050 - 8057. Is u a composite number?
False
Suppose 4*w - 20 = -w. Suppose -5 - 11 = -w*q, -p + q = 3. Is 1 + -1 + 373/p composite?
False
Is 583488/162 + (-4)/(-18) a prime number?
False
Suppose -58 = 3*m - 4*a, 17 = 5*m - 6*m - a. Let r = m - -184. Is r a prime number?
False
Suppose -57*h + 55*h = -1174. Is h a prime number?
True
Let d(r) = 3174*r - 169. Is d(12) a composite number?
True
Let m(y) = 1593*y + 9. Let n be m(-3). Let j = -3207 - n. Is j composite?
True
Suppose 0 = -7*n + 15*n - 6376