derivative of -s**5/20 + s**4/3 + 5*s**3/6 + 3*s**2/2 - 3*s. Let j be (5/1)/(0 - -1). Is f(j) prime?
True
Suppose 17 - 521 = 3*k. Let g(y) = -8*y + 5. Let u be g(8). Let p = u - k. Is p composite?
False
Let h = 52 + -22. Let z = 23 - 21. Suppose -j = -0*k + k - h, 59 = z*j + 3*k. Is j composite?
False
Let p(v) = -v**2 - 15*v - 8. Let w be p(-14). Suppose -w*f - g + 717 = -f, 5*f - 713 = g. Is f a prime number?
False
Suppose 5*g - 421 = 2*d + 5168, 0 = -5*g + d + 5587. Is g prime?
True
Suppose -w + 3 + 0 = 0. Suppose 0 = -2*o - w + 71. Is o composite?
True
Let t(x) be the first derivative of -x + 2*x**2 + 1/4*x**4 - 1 + 1/3*x**3. Is t(3) prime?
True
Suppose -x + 5 = 0, n = -n - x + 9. Suppose -61 = -n*v + 97. Is v prime?
True
Let g(c) = -15*c**3 - 2*c**2 - c - 5. Let x(u) = -29*u**3 - 4*u**2 - 3*u - 11. Let q(p) = 9*g(p) - 4*x(p). Is q(-3) prime?
False
Let y = 337 + 325. Is y composite?
True
Suppose -2*j = -7*j. Suppose j = 4*h - q + 811, h + 0*q + 194 = 2*q. Let f = -146 - h. Is f a prime number?
False
Suppose a - 3*l = -100, -5*a - 420 = 5*l - 0*l. Let d = a - -139. Is d prime?
False
Let a(s) = -5*s - 8. Let f(n) = 5*n + 8. Let h(m) = -2*a(m) - 3*f(m). Is h(-17) prime?
False
Let g(r) = -9*r - 1. Let l be g(1). Let u(z) = z**2 + 4*z - 9. Is u(l) composite?
True
Let b(m) = -9*m**2 + 10*m - 3. Let l(j) = 3*j**2 - 3*j + 1. Let p(f) = 2*b(f) + 7*l(f). Let u(n) be the first derivative of p(n). Is u(2) a composite number?
False
Let d(w) = 20*w + 14. Is d(12) a prime number?
False
Is (2 - 0)/((-48)/(-165720)) a prime number?
False
Suppose -2*x = -4*x. Suppose x*c = 5*c + 30. Is (-63)/c*(-4)/(-6) composite?
False
Let b(u) = -8*u**2 + 2*u - 2 - 2*u**3 + 3*u**3 - 3*u. Let r be b(8). Is (-1194)/r - 4/10 a prime number?
False
Let c = -44 + 267. Is c composite?
False
Let f(p) = 123*p**2 - 2. Let n be f(-2). Suppose 2*r - 196 = 2*a, -5*r + 0*a + 2*a = -n. Suppose s + s = r. Is s a composite number?
True
Let h = 1378 + -101. Is h composite?
False
Let q = 1074 - 685. Is q a composite number?
False
Let v(d) = -2*d**3 - 18*d**2 + 5*d - 43. Is v(-14) composite?
False
Let l = 14 + -17. Let j(h) = -5*h - 5. Is j(l) a composite number?
True
Suppose -12 = 3*n + 3*b, 5*b + 4 = 5*n - 16. Suppose 2*y + 3*y - 10 = n. Suppose -3*k + 5*c = -111, c + y*c = -k + 37. Is k a composite number?
False
Let p be (6*-2)/((-3)/2). Suppose -4*n = -2*u - 2*n + p, -5*n + 16 = u. Let x = u - -31. Is x a composite number?
False
Let u(t) = t**2 - 5*t + 1. Let m be ((-1)/(-2))/((-1)/(-12)). Is u(m) a composite number?
False
Is (3 + 27/(-6))*-34 prime?
False
Let m(n) = -24*n**3 - n**2. Suppose -4*p + 10 = 2*b, b = -4*b + 5*p - 20. Let l = b - 0. Is m(l) a prime number?
True
Suppose -5*d + 415 = -365. Let g be (3/(-12))/((-3)/d). Let c = g + 8. Is c composite?
True
Let n(m) = m**3 - 5*m**2 - 7*m + 4. Let w be n(6). Is ((-6)/(-9))/(w/(-141)) a composite number?
False
Suppose 5*q + 2*u + 46 = 0, 2*q + 0*u + 18 = -u. Let a be ((-4)/(-5))/(q/(-25)). Is (-1)/2 - (-21)/a a prime number?
False
Is (-2)/4*(462 + 4)*-1 composite?
False
Let p = -527 - -954. Is p composite?
True
Is ((-479)/(-2))/(2*(-3)/(-12)) a prime number?
True
Let i be ((-18)/(-27))/(4/18). Suppose 0 = i*p - 5*p - 24. Let d(c) = -c - 1. Is d(p) a prime number?
True
Let m = 109 - -51. Let b = m + -114. Is b prime?
False
Let g(q) = -q**3 + 7*q**2 - q + 6. Let z be g(6). Is (-6)/27 + 1232/z composite?
True
Suppose 0 = -2*o + o + 5. Suppose z = o*z. Suppose 4*u - 140 = -z*u. Is u a composite number?
True
Let w = 139 + -83. Suppose i = -1 + w. Is i a composite number?
True
Suppose 0 = 3*g - 4*f + 2*f - 572, 3*f = 15. Let k be (-1)/((-16)/964)*4. Suppose -k = -5*p + g. Is p a composite number?
True
Let u(a) = 33*a**2 + 3*a + 7. Is u(4) composite?
False
Let g = -9 - -9. Let z = -16 + g. Is 369/7 - z/56 a composite number?
False
Suppose 0 = k + 4*k - 65. Let m = -14 + 20. Suppose t - m = k. Is t a prime number?
True
Is 3 - (-194)/1*15 prime?
False
Suppose 4*u - 2*i - 217 = -3*i, 5*u + 2*i - 272 = 0. Let b = 113 - u. Is b prime?
True
Let a(m) = m**3 + 7 - m - 5*m**2 + 1 - 2*m**3 + 6*m. Is a(-6) a prime number?
False
Suppose 3*a = 7*a + 4. Is ((-2049)/12)/(a/4) a prime number?
True
Let w = 3 + -2. Suppose 0 = -5*d - 4 - w. Is ((-14)/4)/(d/2) composite?
False
Let b(y) be the third derivative of -11*y**5/60 - y**4/12 + 2*y**3/3 - y**2. Let n be b(-5). Is 2/(-8) - n/4 prime?
False
Suppose -3123 = -3*w + 2*f, -2*f = -w + 6*w - 5221. Is w a composite number?
True
Let w(z) = -4*z + 10. Let n(h) = h - 1. Let j(o) = 5*n(o) + w(o). Let r be j(-3). Suppose 34 = 2*y + 2*f - 14, -r*y = 5*f - 57. Is y prime?
False
Suppose 0 = n + 2*n + 3. Let d = 49 + n. Let x = 29 + d. Is x composite?
True
Let i(v) = -v**3 + 4*v**2 + 7*v - 6. Let q be i(5). Suppose -q*m - 3 = 25. Is m/(3/(1 + -40)) a composite number?
True
Let d = 0 + 0. Suppose 10 = -5*j, 31 - 11 = 5*k - 5*j. Suppose -k*b + 5*b - 39 = d. Is b a prime number?
True
Let i(v) = -v**2 + v - 1. Let s be i(1). Is (2 + -1)*(-19)/s a prime number?
True
Suppose -94*s = -93*s - 3943. Is s composite?
False
Suppose 0 = 2*q - 5 - 5. Suppose -q*f + s = -957, -4*f - 3*s + 551 + 207 = 0. Is f a prime number?
True
Let k be (-4)/1*95/2. Let n = k + 339. Is n composite?
False
Suppose -3*k + 2 = -2*k. Is (2/6 + k)*51 composite?
True
Let x be 5/((-10)/(-3))*6. Let y = 48 + x. Is y a prime number?
False
Let m = 2 - 2. Let h = 2 - m. Suppose 2*q = 4, -41 = -3*n - h*q - 4. Is n a composite number?
False
Suppose 4*l = 110 + 1306. Let v = l + -28. Is v prime?
False
Suppose -2*r = 3*r - 1055. Suppose -r = -2*c + 3*g, -7*c + 2*g = -3*c - 402. Suppose 0*v = 3*v - 2*a - 70, 0 = 4*v - 5*a - c. Is v prime?
False
Suppose -5*x = p - 67, x = -x - p + 28. Suppose -2*z + x + 93 = 0. Is z prime?
True
Suppose -2*v - 8 = -4*v. Suppose m + 4*t = 198, 4*m - 792 = v*t - 0*t. Suppose -5*y = 43 - m. Is y a composite number?
False
Suppose 0*v + v = -3*k + 1402, -2*v + 2797 = -k. Is v prime?
True
Suppose 1295 = -0*z + 5*z + 5*j, -z + 265 = -j. Suppose 64 + z = 2*n. Is n composite?
False
Let t = 779 + -400. Is t prime?
True
Let a be (-2)/7 - (-32)/14. Let r(o) = -o + 2. Let g be r(a). Suppose g = -0*b - 4*b + 8. Is b a composite number?
False
Let o(v) = 0*v - v - 5*v**2 + 3 + v**3 + 0*v**3 + 0*v. Is o(7) a composite number?
True
Suppose r + 55 = -54. Let x = r + 201. Let z = 5 + x. Is z a prime number?
True
Let k be 45/6*2/3. Suppose -k*s = -s. Suppose -4*j - 5*n = -61, -3*j - 2*n + s = -51. Is j a composite number?
False
Let k = 121 - 70. Let f = 3 + k. Is (-2)/(-8) - f/(-8) a composite number?
False
Is 7*3/((-6)/(-94)) prime?
False
Suppose -v - 6 = 9. Let k = 22 - v. Is k prime?
True
Let b be (-6)/(-4) - (-1)/2. Let r(l) = 3 + l**3 + 0 - 4*l + 6*l**b + 3*l. Is r(-6) composite?
True
Let w(t) be the second derivative of -125*t**3/6 + t**2/2 - 3*t. Let l be w(1). Let g = l - -186. Is g composite?
True
Let u(k) = k**2 - 5*k + 1465. Is u(0) a composite number?
True
Is 3681/18*2*1 a composite number?
False
Let a(c) = -8*c**3 + c**2 - c - 5. Is a(-3) a composite number?
False
Suppose 5*v + 72 = -0*g + 3*g, -3*g = 5*v - 42. Let n = g + -9. Let w = 24 - n. Is w a composite number?
True
Let j be (-4)/(-14) - 30/7. Is 1405/45 + j/18 a prime number?
True
Suppose 0 = 4*x - 2*y - 882, -3*y = -3*x - 5*y + 679. Is x a prime number?
True
Suppose f - 3*o - 612 = 438, -4*f = -2*o - 4230. Is f composite?
True
Is 3/(-12)*0 + 1151 prime?
True
Let g(a) = -a**2 - 8*a - 7. Let y be g(-6). Let u = y - 6. Is (1 - u) + -2 + 67 prime?
True
Let w(v) be the second derivative of v**5/20 - v**4/3 - 4*v**3/3 - 2*v**2 - v. Is w(9) composite?
True
Suppose 0*s = -s - 4, 3*s = -5*n + 713. Let p = n + -58. Is p a prime number?
False
Let j(l) = -l**2 - 6*l + 9. Let m be j(-7). Is (-471)/m*20/(-30) a prime number?
True
Let v = 203 - 88. Is v a composite number?
True
Let t(h) be the second derivative of -h**4/8 - h**3/2 + h**2 - 3*h. Let u(q) be the first derivative of t(q). Is u(-2) prime?
True
Suppose 3*s = 5*k - 123 + 16, 46 = 2*k - 2*s. Let w be 20/8*16/10. Suppose -3*o + w*o = k. Is o a prime number?
True
Let i = 390 + -25. Is i a composite number?
True
Suppose g = 1 + 1. Is g/(-3) + (-233)/(-3) prime?
False
Suppose 7*y - 236 = 3*y. Is y a prime number?
True
Let a = 5 + -4. Let l 