se
Suppose 0*z = -3*z - 24. Let m(s) be the second derivative of s**5/20 + 5*s**4/6 + 7*s**3/6 + 7*s**2/2 + s. Is m(z) prime?
True
Let g = 10 + -7. Suppose -g*v - 3*d + 984 = 0, -3*v + 5*d = -v - 677. Is v composite?
False
Is (-3 - 19)*(-7)/2 a prime number?
False
Suppose 0 = -4*n - n + 135. Is 1264/6 + 9/n composite?
False
Suppose 18967 = -9*y + 66658. Is y composite?
True
Suppose -15 = h + 2*h. Let j = h - -10. Suppose 662 + 123 = j*f. Is f prime?
True
Suppose 4*l - 1636 = -0*l. Is l composite?
False
Is (2/4)/(6/14244) a composite number?
False
Suppose 4*d - f = 5*d - 102, 0 = 2*d - 2*f - 208. Is d a prime number?
True
Let q = -13 + 8. Is (-1 + 6)*(-46)/q a composite number?
True
Let c be (-48)/20 + (-4)/(-10). Let x be c/10 - 4/(-20). Suppose x = 2*v - 0*v - 154. Is v a composite number?
True
Let x be 3/(-3) + 398 - -2. Suppose -4*f = 119 - x. Suppose 3*o - 8*o = -f. Is o a prime number?
False
Suppose 31*v - 11*v = 38980. Is v composite?
False
Suppose -5*h + 3*d = -164, 4*h = -d - 51 + 189. Is h a composite number?
True
Suppose -4*d - 12 - 8 = 0, 5*d - 595 = -4*u. Suppose -5*q + u = 1035. Let p = q - -259. Is p prime?
True
Let y = 1516 - 1031. Is y a prime number?
False
Suppose 0 = -5*x + 2*v + 1556 + 946, -5*x = -3*v - 2498. Is x a composite number?
True
Suppose -2*z + 57 = 19. Let g = -13 + z. Is g a composite number?
True
Suppose 2*t + 5*v = 1352, t + 665 = 2*t - 3*v. Is t composite?
True
Let z = 10 - 11. Let q = 8 + z. Is q a prime number?
True
Suppose -2 = -2*d + 8. Let k(v) = v + 9. Let o be k(-4). Suppose -o*x - 18 + 103 = -d*w, -4*x = -w - 62. Is x prime?
False
Suppose -5*d + 1265 = -5*f, 2*d - 4*f = 480 + 30. Is d a composite number?
False
Let z(m) = 39*m - 19. Is z(7) composite?
True
Suppose 4*b - 3 - 1 = 0, -5*w - 3*b + 63 = 0. Let n = w - 7. Suppose -n*v = -383 - 722. Is v prime?
False
Suppose -3*c + 450 = -0*c. Suppose -2*z = -5*s + s - c, 4*z = s + 321. Suppose -4*p = 4*a - 120, p - 5*a - z = -p. Is p composite?
True
Let x(d) be the second derivative of d**4/12 + d**3/6 - 5*d**2/2 + 4*d. Is x(9) prime?
False
Let t(r) = 7*r + 5*r - 5*r - 2. Let u = 7 - 4. Is t(u) composite?
False
Let y(i) = 10*i - 3*i + 6 + 6*i**2 + 2*i**2 + i**3. Let d be y(-7). Let j = d + 7. Is j composite?
False
Let t be 0/(-1) - 2*-1. Suppose 0 = -t*d - 37 + 177. Suppose 2*h - i = d, 3*i = -h - 0*i + 28. Is h a composite number?
True
Is ((-3345)/(-30))/(1/2) composite?
False
Is 5*2*(494/4 - -5) composite?
True
Suppose -85 = 5*o - 6*o. Is o a prime number?
False
Let t = 7 - -1. Let o be 2*-2*14/(-4). Let r = o + t. Is r a prime number?
False
Let l(x) = -2*x**3 - 21*x**2 - 17*x + 71. Is l(-17) composite?
True
Let h = -162 + 268. Is h composite?
True
Is (4 + -3)/(-1)*-631*1 a prime number?
True
Let g(b) = -b + 5. Let n be g(-6). Let r = n - -39. Suppose 0*h + r = 2*h. Is h a prime number?
False
Let t = -1 - -7. Let i = 10 - t. Suppose i*w - 141 = c, -w + 2*c = -0*c - 37. Is w prime?
False
Let x be (-2 - -5)/((-9)/(-15)). Suppose -x*v + 569 + 156 = 0. Is v composite?
True
Let r = -95 - -114. Is r a prime number?
True
Suppose -1 = 2*p + 3*k - 13, 5*p - 4*k = -16. Is 4*38 + (-3 - p) prime?
True
Suppose -3*u - 31 = -5*u + 5*b, -4*u = -3*b - 27. Suppose -3*f - 3 = 0, -5*f + 130 + 96 = u*t. Is t a prime number?
False
Let n(f) be the second derivative of f**2 + 1/6*f**3 + 0 + 1/12*f**4 - 3*f. Is n(-2) composite?
True
Let a(t) = 7*t**3 + 0 + 1 - 5 - t**2 + 4*t - 4*t**3. Let q be a(4). Let g = -129 + q. Is g composite?
False
Let g(c) = 42*c**2 + 1. Is g(-4) prime?
True
Let s(u) be the second derivative of 9/2*u**2 + 0 + 2*u + 1/3*u**3. Is s(7) prime?
True
Suppose 24*a = 18*a + 4206. Is a composite?
False
Suppose i = -2*q + 2477, -2*i = -4*q - 3414 + 8356. Is q composite?
False
Suppose 5*a + 24 = 2*a. Let p(m) = m + 2. Let g be p(a). Let t(x) = -5*x + 8. Is t(g) prime?
False
Let j = 5 - -5. Let a = 26 - j. Let w = -9 + a. Is w a prime number?
True
Suppose -5*b - 2*z + 24 + 1 = 0, 4*b - 5*z = -13. Suppose 5*r - 17 - 8 = b*n, -3*n - 11 = 2*r. Suppose r*i = 3*i - 14. Is i composite?
True
Suppose 28 + 28 = 2*q - j, -48 = -2*q - 3*j. Is (6 - 8) + 1*q composite?
True
Let l be 5/2 - 3/6. Suppose -67 = u - l*u. Is u composite?
False
Let f = -1 - -6. Suppose -273 + 28 = -f*w. Is w a composite number?
True
Let u be 2/12 + (-365)/30. Is (-51)/(-2)*(-16)/u a prime number?
False
Let m be -175 + -4*(-4)/8. Let f = m + 268. Is f composite?
True
Let b be (59 - -2) + -2 + 1. Suppose -4*g - 4 = 0, -2*l + 0*g = 2*g - b. Is l a prime number?
True
Let w be (4*-1 - -3)*-1. Let k = w - -76. Is k prime?
False
Suppose 0 = 4*w - 12, -x - 3*w - 2 = -2*w. Is (-283)/(-5) - 2/x a prime number?
False
Let s be (-2 - (-3 - 0)) + 0. Let j(t) = 127*t**2 + t - 1. Is j(s) a composite number?
False
Let h(c) = -c**3 + 7*c**2 - 4*c + 7. Suppose -3*z = -3*j + 6, -5*j + 25 + 13 = 2*z. Is h(j) prime?
True
Let j(f) = 2*f + 3. Let n be j(-2). Let w be n + 2 + 3/1. Is 429/12*(w + 0) composite?
True
Suppose -d = -0 - 2. Suppose d*y - 4 = -0*y. Suppose -5*s - 5*q + y*q = -66, s = q + 18. Is s a composite number?
True
Suppose -2*w + 0*w = -4*p + 818, p + 5*w = 177. Is p a composite number?
True
Suppose -1586 = -5*z - 496. Is z a prime number?
False
Let l(s) = 8*s**2. Let y be l(1). Let v(n) = 2*n**2 + 6*n - 6. Let c be v(y). Let d = c - 57. Is d prime?
True
Let a be 2/3 - 4/(-3). Suppose -a*c + 0*c = -6. Suppose -c*f = -34 - 71. Is f composite?
True
Is (4 - 0) + (-232)/(-8) a prime number?
False
Suppose -6*d - 110 + 452 = 0. Is d prime?
False
Suppose -3*u + 3*a - 6 = -0*u, -u = -5*a + 14. Let h be (2 + -1)*2 + u. Suppose 0*m - h*m = -2*r + 30, 5*r - 5*m = 85. Is r prime?
False
Let z(n) = n + 6. Let v be z(-5). Let l be (-1)/((-6)/(-4) + -1). Is v/(l + 117/57) a composite number?
False
Let n = 1 + 1. Suppose 2*m - 1 + 0 = 5*y, 13 = 5*m - n*y. Suppose m*h - 267 = -0*h. Is h prime?
True
Let a = -5 - -4. Is (a + -1 + 1)*-89 a prime number?
True
Let g(p) = 7*p + 3 + p**2 - 4*p + p**2 - 1 - 88*p**3. Is g(-1) composite?
False
Let i(t) = t + 17. Let q be i(-7). Let l be (-305)/q - 2/(-4). Is (-188)/5*l/12 a prime number?
False
Let q be (2 - 6/2)*-3. Suppose q = k + 2*u - 10, 0 = 5*k - 4*u - 135. Is k composite?
False
Suppose -3*s - p + 46 = 15, 0 = 5*s - p - 57. Suppose 3*h = -s - 1. Is (-17)/(-4) + 1/h composite?
True
Let v(r) be the first derivative of 7*r**3/3 + r**2 + 6*r - 3. Is v(5) prime?
True
Suppose -4*z + 10 + 8 = -2*j, -4*z - 2*j - 2 = 0. Is z a composite number?
False
Let b = -23 + 125. Let w = b - 65. Is w a composite number?
False
Let z(k) = k + 1. Let p(c) = c**2 - 9*c + 7. Let g(w) = -p(w) + 2*z(w). Is g(4) a composite number?
False
Let v = -31 - -51. Let w be (v/(-25))/((-2)/10). Suppose 4*q - i = 214, -2*i + w = -4*i. Is q composite?
False
Let w(l) = -l**3 - 9*l**2 - 7*l + 8. Let y be w(-8). Suppose f - 4*v - 33 = y, 0*f + 72 = 2*f - 2*v. Is f a composite number?
False
Let k be -2 - (1 + (-6)/2). Suppose -4*v + 154 + 58 = k. Is v composite?
False
Let v = -32 + 71. Is v prime?
False
Let i(k) = k**3 + 10*k**2 + 10*k + 10. Let h be i(-9). Is h*2/4*118 a prime number?
True
Let w = -436 + 1323. Is w a composite number?
False
Suppose -2*l = -l - 2*p - 229, -4*l = -4*p - 924. Is l composite?
False
Suppose -b + 10 = 5*q, -q + 25 = 4*b + 4*q. Let o = b - 1. Is ((-8)/10)/(o/(-110)) composite?
True
Let r(f) = f**3 + 11*f**2 + 9*f + 7. Let w be r(-10). Let s = w - -2. Is s a prime number?
True
Let v = 9 + -5. Suppose -20 = v*m - 0*m. Is m/((-15)/(-9)) + 58 prime?
False
Let u = -10 - -13. Suppose -194 = -2*i + u*x, -4*i + 5*x + 97 = -3*i. Is i a composite number?
False
Suppose 3*s = 4*z - 2181, 5*z - 1094 - 1612 = -3*s. Suppose 4*q + 197 = -z. Let r = 312 + q. Is r a composite number?
False
Suppose 38 = r - 7. Suppose 3*h + 0*h = -5*c + 61, h = -5*c + 67. Let t = r - c. Is t composite?
False
Let t(q) = -q**3 - 6*q**2 + 2. Let h be t(-6). Suppose 3*g - 2*v + 13 = 0, -3*g = -5*g - h*v + 8. Let j(c) = 66*c**2 + 1. Is j(g) a prime number?
True
Suppose 385 = -b + 2*b. Suppose 3*j + u = -b - 550, 4*u + 932 = -3*j. Let m = -167 - j. Is m composite?
True
Let i(a) = -a**2 - 7*a + 11. Is i(-7) composite?
False
Suppose 0*j = j - 79. Is j a prime number?
True
Let y(q) = 5*q**2 + 7*q + 7. Let z be y(-7). Let m = -192 + 122. Let