t h = j - -25. Is h prime?
False
Let m(j) = j**3 + 11*j**2 + j + 5. Let y(q) = q**3 + 2*q + 2. Let a be y(-2). Is m(a) prime?
False
Let s = 209 + 9. Is s a composite number?
True
Suppose 5*x = 27 - 12. Suppose 3*d = 2*s + 55, s - x - 74 = -4*d. Is d a composite number?
False
Suppose 0 = 2*v + v - 9. Is (1/v)/(4/1572) a composite number?
False
Let b(h) = 1097*h**3 + h**2 - 2*h + 1. Is b(1) a composite number?
False
Let n = -25 - -36. Suppose n - 46 = -r. Is r composite?
True
Let v = 39 + -37. Let a(s) be the second derivative of 73*s**3/6 - 3*s**2/2 - s. Is a(v) a prime number?
False
Let o = -225 + 119. Let p = 149 + o. Is p composite?
False
Let r(g) = 329*g - 27. Is r(8) a composite number?
True
Let c(v) = v**3 - 7*v**2 + 7*v - 4. Let w(m) = m - 2. Let u be w(8). Let r be c(u). Suppose r*p - 24 = -2*p. Is p a prime number?
False
Let i(n) = 187*n + 8. Is i(5) prime?
False
Suppose s + 7*m + 12 = 2*m, 4*s = 3*m + 21. Suppose -10 = y + 5*h, 4*y - 15 - 8 = h. Suppose -s = -y*r + 32. Is r composite?
False
Suppose 2*w - 4*w = -10. Suppose 4*y + 3*l - 21 = -2*l, -w*l - 60 = -5*y. Is y composite?
True
Let z = -3 + 5. Let x be 5*(-4 + z - 2). Is (-2)/(-8) + (-55)/x composite?
False
Suppose -3*j - 768 = -5*j. Let d = 715 - j. Is d a composite number?
False
Let w be -2*(-2 + 138/(-4)). Suppose 85 = 4*g + 3*o, 4*g = -0*o + o + w. Is g prime?
True
Let k = -9 - -40. Is k composite?
False
Is 2 + 378 - (-1 - -4) composite?
True
Suppose -12 = -3*z + 4*w + 23, 4*z - 5*w - 45 = 0. Suppose -f = -5*k - 32, -k - 28 + 0 = -2*f. Suppose -2*u = -2*h + 38, z*u - 3 = f. Is h a composite number?
True
Let v(d) = 77*d + 9. Is v(6) composite?
True
Let q be 2/(-6) - (-2)/6. Suppose q = 5*j - 2*j - 168. Suppose 0 = 3*s + s - j. Is s a composite number?
True
Let o(g) = 9*g**2 + 6*g - 4. Is o(-3) prime?
True
Let f(w) = 64*w - 1. Is f(5) a prime number?
False
Let f = -946 - -1853. Is f a prime number?
True
Suppose -4*i + 2*r + 4 = -2*r, r - 5 = 3*i. Let w be (0 - (-159)/(-9))*i. Let b = w - -24. Is b a prime number?
False
Let y(d) = d**3 + 6*d**2 + 4*d - 1. Let p be y(-5). Suppose 119 + 49 = 2*n - 5*u, u + 318 = p*n. Is n a prime number?
True
Suppose 0 = u - 4 + 12. Let i(f) = 40*f**3 + 2*f**2 + f. Let h be i(-1). Let t = u - h. Is t composite?
False
Let n(d) = d**3 - 6*d**2 + 3*d + 5. Let v = -19 - -25. Is n(v) a composite number?
False
Is ((-9)/18)/((-2)/764) a prime number?
True
Let p(y) = -y**2 + y + 3. Let x be p(3). Let l be 3/x - (-2)/(-2). Is (-337)/(-5) + l/5 a composite number?
False
Let l be 3/9 + 235/(-3). Let y be (-4)/(-18) + (-485)/(-45). Let n = y - l. Is n a composite number?
False
Suppose -5*j = -3*f + 877, -2*j - 2 = -4. Suppose -2*z + f = 4*r, 0 = 4*z + 4*r - 618 + 14. Is z composite?
True
Suppose 0 = 2*u - 2*q - 6, 3*u = 4*u + 4*q - 28. Suppose -u*g + 3*g = -160. Suppose -3*l = 2*x - 59, -l + 0*l - g = -x. Is x prime?
True
Let n(r) = 2*r**2 + 1. Let w be n(2). Let y = 5 - w. Let d = 2 - y. Is d composite?
True
Suppose 3*l = 6*l - 1947. Is l a composite number?
True
Suppose -4*c + 6 = -5*l, 16 = 5*l + 6. Let u(h) = 5 - 2 + c*h**2 + 0. Is u(4) prime?
True
Suppose 3*d - 3 = 2*z - 5, -2*z + 6 = -5*d. Is (-3300)/(-8) - d/4 composite?
True
Let k(o) = -4*o + 18. Is k(-10) a prime number?
False
Let h = -1 + 1. Suppose h*r = 4*r - 24. Suppose -559 = -3*l - 2*m, -r*l + 3*l - 5*m = -565. Is l composite?
True
Let r = 201 - -29. Let f(p) = 15*p + 2. Let w be f(-9). Let q = w + r. Is q a prime number?
True
Let x be 298/(2/(-40)*-4). Suppose -7*h = -2*h - x. Is h composite?
True
Let c = -2 - -5. Let z be 1354/4 - c/(-6). Suppose z = 2*x + x. Is x a prime number?
True
Suppose 0 = -2*s - 2*s - 3*v + 714, s - 5*v - 167 = 0. Is s composite?
True
Let m = 38 + -64. Let b = -11 - -9. Is -3 - (m + (b - 1)) composite?
True
Let r(p) = -p**3 - p - 1. Let i be r(-1). Is (-393)/(-18) - i/(-6) a prime number?
False
Suppose -4*n = -5*n - 11. Let j = n + 48. Is j a prime number?
True
Suppose -5*k = 4*m + 29, -2*m - 21 + 5 = 4*k. Let a(j) = -j**3 - 6*j**2 - 2*j - 5. Let n be a(m). Suppose -265 = 2*b - n*b. Is b prime?
True
Let v(d) = d**2 - 9*d - 4. Let q be v(10). Let o = q - 1. Suppose -2*p = -o*p + 255. Is p prime?
False
Suppose 2*r - 62 = -232. Let w = -19 - r. Suppose 2*p + i - 33 = 0, -i - 5 = 4*p - w. Is p a composite number?
True
Suppose 2*j - 165 = 193. Is j composite?
False
Let t(n) = 2*n**3 + 4*n**2 + 6*n. Let a(j) = j - 1. Let q(d) = -5*a(d) + t(d). Is q(6) a composite number?
False
Let q = -438 - -925. Is q a prime number?
True
Let m(j) = j**2 - j + 3. Let n be m(0). Suppose 6*u - 2*o = 2*u + 50, -n*u + 3*o = -36. Suppose -u = -3*g + k, -3*g + 5*g = -4*k - 10. Is g a prime number?
True
Is -3 - (-5)/5 - -501 prime?
True
Suppose -2*f - 2*x + 306 = 0, -f - 3*x = -3*f + 316. Let p = f + 224. Is p composite?
False
Let j be (218/8)/((-2)/(-8)). Let s(d) = -d**2 + 4*d - 10. Let r be s(10). Let k = j + r. Is k prime?
False
Suppose 0 = -3*c + 4*o - 0*o + 1326, -3*c + o + 1317 = 0. Suppose 2*q - 2*d + d = c, 16 = 4*d. Is q a composite number?
True
Let a = -35 + 40. Let y(h) = h**3 - 5*h**2 - 1. Let g(o) = o**2 - o. Let l(j) = 4*g(j) + y(j). Is l(a) a prime number?
True
Let s(y) be the third derivative of 0 + 0*y**4 + 0*y + 2*y**2 + 1/120*y**6 + 31/6*y**3 + 1/60*y**5. Is s(0) composite?
False
Suppose -2*t = -3*t + 15. Let l = -8 + t. Is l a prime number?
True
Suppose -f - 2412 = -2*c, 3*c = -f - f + 3625. Suppose c - 5162 = -5*t. Is t a prime number?
False
Suppose -4*s + 7*s + 327 = 0. Let d = 206 + s. Is d a composite number?
False
Let l(c) = -73*c - 2. Let m(o) = o + 1. Let j(b) = -l(b) - 5*m(b). Let s be j(4). Suppose 88 + s = 3*x. Is x a prime number?
False
Suppose -3*h = -h - 106. Let o = h + 26. Is o a composite number?
False
Suppose 4*a - 2*z = 3*z - 882, 0 = a - 4*z + 226. Let f = -69 - a. Is f a prime number?
True
Suppose 44*l = 49*l - 22735. Is l prime?
True
Let q = -56 - -90. Is q a prime number?
False
Let a be (-6)/(-21) + (-761)/(-7). Suppose -h + 36 = -a. Is h composite?
True
Let d(b) = -30*b + 1. Is d(-1) composite?
False
Suppose -3 - 21 = 4*l - 2*g, -4*l + g = 20. Let v = -1 - l. Suppose 6*k - 180 = 2*k - 2*j, 3*k - v*j = 153. Is k a composite number?
False
Let m(r) = 5*r**3 - 8*r**2 + r + 7. Is m(7) composite?
True
Suppose -i + 12 = -0*i. Let z be (i - 2)*(-17)/(-1). Suppose -4*q = -2*g + z, g + 3*q - 43 - 57 = 0. Is g prime?
False
Let f(a) = -a**2 + 6*a. Let i be f(5). Suppose 6*t + i = t. Is (t/((-3)/(-111)))/(-1) a composite number?
False
Suppose 0*a - 2 = -2*a + c, -2*a - 10 = -4*c. Suppose 3*p = -a*j + 84, -116 = -2*j + 5*p - 25. Is j a composite number?
True
Let u be -1*1*(1 + 1). Let w be u*2*(-2 + 14). Let q = 67 + w. Is q a prime number?
True
Let i(v) = -v**2 + 1043. Is i(0) a prime number?
False
Let p(q) = 3*q**3 - q**2. Let y be 2/3 + (-4)/(-12). Let t be p(y). Suppose t*g + 0*g = 70. Is g composite?
True
Suppose 13 = 3*x + 1. Suppose -358 = -4*s + 3*y, -y - x = -6. Is s prime?
False
Suppose -15 = 2*d - 9. Let q(m) = 3 - 2*m + 0 - 2*m. Is q(d) composite?
True
Let c(g) = g**2 + 4*g - 1. Let l be 10/4*(-6)/(-5). Let j be c(l). Is 355/4 - (-5)/j a composite number?
False
Suppose 2*y + 2*b = 5*y - 4735, -2 = b. Is y a composite number?
True
Suppose 5*q - 2*q = 2*m + 5, 5*q = m + 20. Suppose -m*i - 1650 = -10*i. Suppose -2*r + 315 = 3*r - 2*c, 5*r - i = -c. Is r a prime number?
False
Let x(b) = b**3 - 17*b**2 + 2*b + 25. Is x(17) prime?
True
Suppose 5*t - 4*i = 1053, 2*t + 2*t - 834 = -i. Is t composite?
True
Let o(d) = 20*d - 3. Let t(s) = -s**3 - 4*s**2 - 5*s - 4. Let m be t(-3). Is o(m) prime?
True
Let r = 157 - -42. Is r a composite number?
False
Suppose -2*h - 1 + 3 = 2*i, -3*h = -i - 11. Let b be i*(-57)/(-6)*-3. Let f = b + -36. Is f a composite number?
True
Let l = 7 - 5. Suppose -3 = -d - 4*p + 12, 0 = d - l*p - 27. Is d prime?
True
Suppose -4*s + 3*c + 0*c = -13, 3*s = -4*c + 16. Suppose -s*b + h + 1298 = -703, h = -3*b + 1492. Is b prime?
True
Let p(w) = w**3 - w**2 + w + 2. Let b be p(0). Is (b/4)/((-1)/(-178)) prime?
True
Suppose -4*d = -0*d + x - 17408, -4*d - 3*x = -17400. Is d prime?
False
Let o(v) = 34*v**3 - 1 - 36*v**3 + 0. Is o(-4) a prime number?
True
Suppose 5*y = 4*a + 20, -a + 6*a + 25 = -2*y. Suppose y = 2*p + p - 267. Is p prime?
True
