 -17*c**5/120 + c**4/6 - c**3/3 - 2*c**2. Let h(g) be the first derivative of u(g). Is h(-3) prime?
False
Let r(s) = 35 - 127*s - 35. Is r(-1) a composite number?
False
Let f = 10 + -5. Suppose -f*t + 0*t = 0. Suppose t = -0*w - w + 19. Is w a prime number?
True
Suppose -s - s = 56. Let z be (-4)/14 + (-120)/s. Suppose z*n + 0*n - 55 = -5*a, -3*a + 33 = 2*n. Is a prime?
True
Let y = -1 + 1. Suppose 4*m - 13 + 1 = y. Is m prime?
True
Suppose -742 = 9*i - 11*i. Is i prime?
False
Let u(a) = -2*a**2 + 20*a + 7. Is u(8) a prime number?
False
Suppose 3*z - 3*x - 2112 = 21048, 0 = -2*x - 10. Is z a composite number?
True
Let x(u) = 13*u**2 - 3*u + 7. Is x(-6) composite?
True
Suppose -3*l - 8 = -2*j - 3, 3*l + 17 = -4*j. Let o be 2 + (-4)/j + -2. Suppose -g - o*g = -33. Is g a composite number?
False
Let x(h) = 42*h**3 + 7*h**2. Let b(d) = 41*d**3 + 6*d**2. Let u(a) = 6*b(a) - 5*x(a). Is u(1) prime?
True
Suppose 2*u - 2*h = 256, 2*h - 59 + 188 = u. Is u a prime number?
True
Suppose 0 = -4*x + 5*x - 2. Suppose x*n - 456 = -k - k, 0 = k - 5*n - 198. Is k a prime number?
True
Let m = 4421 - 2620. Is m prime?
True
Let d = -117 - -196. Is d a composite number?
False
Suppose -2*u + 16 = -4. Suppose -s - 4 = -u. Is s a prime number?
False
Is ((-1036)/(-8) - 3)*2 prime?
False
Let h = -54 - -315. Suppose -i = n - 64, -4*n - 3*i + 0*i + h = 0. Is n a composite number?
True
Let o be ((-12)/(-9))/((-3)/(-9)). Suppose 4*u = 5*a - 537, -o*a = -0*a - 5*u - 426. Is a a composite number?
False
Let v be (-8 + 2)*(-1)/2. Suppose -5*j + 7 = -v. Is j/(-5) + (-397)/(-5) a prime number?
True
Is (1 + -6)*(-1318)/10 a composite number?
False
Suppose -2*w = 4 - 0. Let h = 2 - w. Suppose -a + 61 = 5*y - 2, 0 = h*y - 3*a - 58. Is y prime?
True
Let t(b) = b**2 + 6*b + 7. Let q be t(-5). Suppose 5*w = 4*p - 326, -q*p = p + 4*w - 229. Is p a composite number?
False
Let h(g) = g**3 - 20*g**2 - 16*g + 6. Is h(21) a prime number?
False
Suppose -2*h - 4 = -2*s + 2, h = 3*s - 7. Is (-32)/h + -1 + 2 prime?
False
Suppose -m - 65 = -0*m - 2*d, 3*m = -3*d - 150. Let u = -24 - m. Is u a composite number?
False
Let s = -689 + 1230. Is s composite?
False
Suppose 3*o - 9537 = 8880. Is o composite?
True
Suppose -5*d + 5*t + 494 = t, -293 = -3*d - t. Suppose 3 = f, 2*v - 4*f = 5 - 17. Suppose 2*c + v*c = d. Is c a composite number?
True
Let c(p) = 9*p**3 + 2*p**2 + 2*p - 2. Let s(h) = h**3 + h - 1. Let t(x) = -c(x) + 3*s(x). Is t(-2) prime?
True
Suppose -21822 = 29*v - 35*v. Is v composite?
False
Suppose 2 = -2*c + 6. Let l = c - -12. Suppose 3*z = 71 - l. Is z a composite number?
False
Let i be ((-1)/2)/(9/(-4194)). Suppose 0 = -2*d + i + 233. Is d composite?
False
Suppose a - 5*a + 20 = 0. Let s = -8 - -11. Let h = a - s. Is h composite?
False
Let n be (-360)/(-5)*(-2)/(-4). Let c = n + 12. Suppose f - 34 = -2*v - 4, 0 = -2*f - v + c. Is f composite?
True
Let t(k) = k**3 + 13*k**2 - 11*k - 2. Is t(-13) a composite number?
True
Let n = 250 + -67. Suppose -n = -k - 0*k. Is k prime?
False
Let u = 5 + 0. Let r be (u - -1)*6/9. Suppose 3*x - 5*x + 45 = i, -r*x + 86 = -2*i. Is x a composite number?
True
Let f(z) = -z**3 + 6*z**2 - z + 2. Let t be f(4). Suppose 5*p = -10 + t. Suppose -p*k + 104 = i, -3*i - 122 = -4*k - 34. Is k prime?
False
Suppose -j - 4*j - 20 = -5*i, -4*i - 5*j - 20 = 0. Suppose -2*p + 6*p - 20 = i. Suppose 2*b = -4*c + 382, p*b + 2*c = 4*c + 931. Is b prime?
False
Let f(w) = -w + 2. Let o be f(5). Let v = 50 + o. Is v a composite number?
False
Let v(u) = 31*u - 6. Is v(7) composite?
False
Suppose -3*q + 10 = 148. Let b = q + 101. Is b a composite number?
True
Let g(c) = 6*c**2 + 3*c - 6. Let w be g(-7). Suppose -4*z + w = -385. Is z composite?
False
Let q be (-12)/(-16) + 5/4. Suppose 2*g + 2*u = 762, q*u - 4*u - 378 = -g. Suppose -10 = 5*i, 3*i - 629 = -5*o + g. Is o a composite number?
True
Suppose -463 = 5*v - 2358. Is v composite?
False
Let u(a) = a**2 + a. Let o be u(1). Suppose -2*k = o*k - 212. Is k prime?
True
Suppose c = -v + 1112, 13 = 3*v + 4. Is c prime?
True
Let u(f) = f**3 - 3*f + 2. Let j be u(2). Is 53*(j - (0 + 3)) a composite number?
False
Suppose 2390 = 5*q - w, 1 = w - 4. Is q prime?
True
Is 0 + -3*(-6)/27*3711 a composite number?
True
Let i(u) be the second derivative of -u**4/12 + u**3 + 9*u**2/2 + 2*u. Let j be i(7). Suppose j*c = 32 + 78. Is c prime?
False
Suppose y - v - 119 - 868 = 0, 0 = 3*y + 5*v - 2993. Is y composite?
False
Let b(k) = 24*k**2 + 25*k + 63. Is b(-14) composite?
True
Let k be 0 + -1 - (173 - -3). Suppose 0*p - 1720 = -4*p. Let r = k + p. Is r a composite number?
True
Let n(a) be the third derivative of -a**6/120 + a**5/30 + a**4/6 - 4*a**2. Is n(3) a prime number?
True
Suppose -9*t = -17*t + 6232. Is t a prime number?
False
Let u(v) = -71*v**2 - 1. Let t be u(-1). Let g = t - -186. Suppose -g = -5*c - 19. Is c prime?
True
Suppose 0 = -0*n + 5*n. Let p be 39 + (-4 - (-2 - -1)). Suppose 3*g + 3*v - 135 - p = n, 4*v = 2*g - 102. Is g a prime number?
False
Let z(h) = 0*h**2 - 9 + h**2 - 3*h + 0*h**2 + 4. Let c(w) = w**2 + 6*w + 6. Let d be c(-6). Is z(d) a composite number?
False
Let s be -1 + 2 + (163 - -6). Suppose 5*j - 375 = s. Is j a prime number?
True
Let p(s) = -s**3 + 4*s**2 + s. Let n be p(4). Is (2/n)/((-1)/(-158)) prime?
True
Let a(n) = -n**2 - n + 5. Let l be a(0). Suppose -219 = -l*o - 44. Is o prime?
False
Suppose 0 = 78*s - 83*s + 60245. Is s prime?
True
Let p = 3 + -8. Let q(c) = -10*c + 3. Is q(p) prime?
True
Let p = 6 + -4. Suppose -4*m = -4*r + 88, 0*r + 5*m = -p*r + 51. Is r composite?
False
Let j = -114 + 336. Let x = j + -28. Let f = -117 + x. Is f a composite number?
True
Let f = -7 + 0. Is 0 + -1 + (151 - f) composite?
False
Let t be 9/(1 - 4) - -7. Suppose m - 2*n = 5*m - 6, 5*m - 4*n - 40 = 0. Suppose c - t*v - 14 = -3*v, -m = -4*v. Is c a prime number?
False
Let j be (0 - -1)*(164 + -5). Suppose 2*p = -p + j. Is p a composite number?
False
Let j(a) = a**2 - 5*a + 9. Let f be j(7). Suppose 0 = -l + f - 8. Let o = l + -2. Is o composite?
False
Suppose -4*z - 2 = 3*l - 3*z, z = l - 2. Suppose -i + 4 = -l. Suppose 183 = i*n + 35. Is n composite?
False
Let u(w) = 68*w - 1. Let c = -15 - -16. Is u(c) prime?
True
Let c(i) = i**3 - 5*i**2 + 5. Let z be c(5). Suppose -3*k - 5*q = -2*k - 75, -q = -z*k + 323. Let x = k + -42. Is x composite?
False
Let n = 13 - 8. Let b be (2/6)/(n/(-1065)). Let z = b + 108. Is z a prime number?
True
Let b = -5 + 6. Let l be ((-12)/(-10))/(b/(-185)). Is ((-3)/2)/(9/l) composite?
False
Suppose 3*i + w - 14 + 0 = 0, -3*w = -2*i + 2. Suppose -i*v + 110 = -2*v. Is v composite?
True
Let u = 130 - -87. Is u prime?
False
Suppose i + 3 = -2*s + 4*s, 18 = 4*i + 2*s. Let k(h) = -h**2 + 6*h - 4. Let f be k(i). Suppose -x = -2*v + 101, -5*v + f*x = -0*x - 240. Is v prime?
True
Let s(o) = o**2 + 3*o + 2. Let a be s(-3). Suppose -a*u = 3*u - 235. Is u composite?
False
Let p(b) = -b**3 - 12*b**2 - 10*b + 15. Let s be p(-11). Let w(c) = -5 - 6*c**2 + 2*c**3 + 0 + 0*c + 5*c. Is w(s) composite?
False
Is (15/45)/((-2)/(-4146)) a prime number?
True
Let f(x) be the first derivative of x**5/6 - x**4/24 - 2*x**3/3 - 2. Let h(c) be the third derivative of f(c). Is h(6) prime?
False
Let q = -3038 + 1941. Is 0 - q - -1 - 1 composite?
False
Let z = 2126 + -949. Is z a composite number?
True
Suppose 979 = 7*z - 14092. Is z a composite number?
False
Suppose t + t = 14. Suppose -60 = t*s - 3*s. Let g = s - -30. Is g composite?
True
Let o(x) = -x**3 - 8*x**2 + 11*x + 5. Let d be o(-9). Let s = -2 - d. Is s prime?
True
Let h = 10 - 8. Suppose -2*j = h*j - 2208. Let v = j - 317. Is v prime?
False
Let w(n) be the third derivative of n**6/120 - n**5/60 + n**4/24 + 2*n**2. Is w(3) prime?
False
Let v(r) be the third derivative of 5*r**4/12 + 7*r**3/3 - 5*r**2. Is v(6) a composite number?
True
Let b = 2690 - 1875. Is b prime?
False
Let a(x) = 2*x**2 - 12*x + 2. Let m be a(6). Is 518 + 2*m/(-4) a prime number?
False
Suppose 5*q = -0*q - 50. Is (q*5 - -1)/(-1) composite?
True
Let b = 215 - 92. Is b a prime number?
False
Suppose 3*y = 2*y - 3*s + 79, -5*y + 417 = 4*s. Let u = 152 - 20. Let m = u + y. Is m composite?
True
Suppose -292 = -4*k - 60. Let v = k - 19. Let f = 14 + v. Is f a prime number?
True
Suppose -115 - 95 = -2*n.