 Is (-230)/(-12) + h/30 a prime number?
True
Let j(p) be the first derivative of -p**2/2 + 55*p - 2. Is j(0) composite?
True
Let y = 172 - 61. Is y a prime number?
False
Let g(y) = y**3 + 4*y**2 - 10*y - 7. Let s be g(-7). Let x = s - -123. Is x a composite number?
True
Let q(j) be the first derivative of 17*j**2/2 + 2*j - 2. Let v be q(6). Suppose -4*y + v = -44. Is y prime?
True
Suppose -2*l = -4, 2*x - 4*l - 1592 + 282 = 0. Is x prime?
True
Let q(i) = -i**3 + 10*i**2 - 5*i - 13. Is q(9) prime?
True
Let a(s) = 3*s**2 + 4. Let g be a(-3). Suppose u - g = -4*i, 3*u - 4*i = -2*i + 37. Is u a composite number?
True
Suppose -3*b + 2*b + 5*q - 35 = 0, b + 30 = 4*q. Let p(d) = -2*d - d + 21 + 4*d. Is p(b) a composite number?
False
Suppose r + 5*h = 129, r + r - 226 = -2*h. Suppose -3*u + 335 = -0*u - 2*a, 2*a = u - r. Is u composite?
False
Let o(p) = 6*p**2 - p - 5. Let t(l) = -7*l**2 + 5. Let n(u) = 4*o(u) + 3*t(u). Is n(6) prime?
True
Let x(l) = 1 - l**2 - 13*l - 9*l**3 + 8*l - 4 - 3*l**3. Is x(-4) a prime number?
True
Let a be 4 + -7 - (0 + -5). Is (-483)/a*(-6)/9 composite?
True
Let m be -1 + 0/2 + 37. Suppose 3*v - 102 = 5*t, 2*t + 0*v + 3*v = -45. Let f = t + m. Is f composite?
True
Suppose f = -5*y - 5, 0 = 3*f - 4*y - 25 - 36. Suppose 0 = 5*s - f, -3*s + 29 = k - s. Is k composite?
False
Let z(x) = 7*x**2 - x - 3. Let m be z(-3). Let i = 14 - 24. Let q = i + m. Is q prime?
True
Let g(s) = -s**3 + 11*s**2 + 12*s + 3. Let c be g(12). Let o(i) = 10*i + 4. Is o(c) prime?
False
Suppose -30*m + 29*m + 896 = 0. Let a = 1945 - m. Is a a prime number?
True
Suppose -5*q + 2*w - 100 = -4*q, 208 = -2*q - 4*w. Let t = 56 + q. Let r = t - -65. Is r composite?
False
Let m = -63 + 45. Let i(a) = a**3 + 20*a**2 + 21*a + 23. Is i(m) prime?
True
Suppose -4*n = -16, 0*o + 1012 = 4*o + 2*n. Is o a composite number?
False
Suppose 2*k - 3*s - 122 = -2*s, -5*k + 319 = s. Let x(c) = -c**3 + 22*c**2 - 22*c - 7. Let o be x(21). Let v = o + k. Is v composite?
True
Suppose -3*q = -p - 6*q + 245, -3*p - 3*q + 759 = 0. Is p prime?
True
Suppose -p = 2, -6*l + 3*l + 3*p = -684. Is l a prime number?
False
Let f = -16 - -20. Suppose 4*m - 4*q - 896 = 0, f*m - 5*q - 962 = -65. Is m composite?
False
Let g(x) = -3*x. Let v be g(1). Let p be (-6)/4*(v - -5). Let m = p + 36. Is m prime?
False
Let v(n) = -2 - n**3 - 5*n + 3 - 2*n**2 + 2*n. Is v(-6) a prime number?
True
Suppose -3*g - 2 = -v - 7, -3*v = 2*g + 15. Suppose x = -g*x + 131. Is x composite?
False
Let c = 7 - 5. Is -14*c*(-3)/12 composite?
False
Suppose -v = -3*h + 12977, -5537 - 7424 = -3*h + 5*v. Is h a prime number?
True
Let j(q) = -q**2 - 4*q - 2. Let f be j(-3). Is 0/f + -2 + 85 a composite number?
False
Let d(h) = -h**2 + h + 1. Suppose t - 3*t = -6. Let y be d(t). Is (0 + -5)*33/y prime?
False
Let z(u) = 4*u - 25. Is z(26) composite?
False
Let p(n) = -20*n**3 - 160 + 19*n**3 + 453 - n**2. Is p(0) a prime number?
True
Let c(x) = -268*x**3 - 2*x**2 - 2*x - 1. Is c(-1) composite?
True
Let a(v) = v**2 + 8*v + 7. Let c be a(-7). Let d be (2 + -3 + c)*-1. Is d - 1 - 0 - -23 composite?
False
Let g = -6 + 4. Let x be (-59 - (g + 3)) + -2. Is 1/(-2 - x/30) a prime number?
False
Let m(o) = -o - 1. Let r be m(-6). Suppose 715 = r*p + 5*g, p - 5*g = -36 + 179. Is p a prime number?
False
Let s(n) = n**3 - n - 1. Let b be s(2). Suppose 2*r - b*r + 45 = 0. Is r a composite number?
True
Let r = 190 - -303. Is r prime?
False
Suppose -2*f - 4*k = -1058, -3*f + 0*k = 3*k - 1593. Is f composite?
True
Is (269 - 0)/(-4 + 5) composite?
False
Suppose -31 = -t - 4*j, -t - 2*j + j + 37 = 0. Is t composite?
True
Suppose 3727 = 3*t + 1150. Is t a composite number?
False
Suppose 0 = l - 3*l + 6. Let w(f) = 44*f + 2. Let s be w(l). Suppose 4*z - s + 10 = 0. Is z prime?
True
Let k(u) = -97*u - 5. Let m be k(-7). Suppose 0*j - 2*j + m = 0. Is j composite?
False
Suppose -491 = -2*c - 3*c + 2*d, -c + 91 = 2*d. Is c prime?
True
Suppose -k + 83 = -48. Is k composite?
False
Let u(t) = t**3 - 9*t**2 + 17*t + 17. Is u(8) a prime number?
True
Suppose -3*m = 3*c + 6, -3*m + 6 = -3*c - 0*c. Suppose m = 4*v - 4*x - 160, -v + 2*v - 34 = -x. Suppose 5*u - 28 - v = 0. Is u a composite number?
False
Let m(j) = j**3 - 3*j**2. Let g be m(3). Suppose g = 5*s + 2*c - 105, -80 + 19 = -4*s + 3*c. Is s a composite number?
False
Let n(w) = 11. Let z(t) = -t - 12. Let p(d) = -4*n(d) - 3*z(d). Is p(6) a prime number?
False
Suppose 4*q = 4*f + 8, -2*q + 5*f = -q + 6. Suppose 0 = 3*i - 5*l - 23, q*l + l = -2*i - 18. Is (-3 - -1)*i + 85 a prime number?
True
Suppose 3288 - 509 = w. Is w a prime number?
False
Suppose 4*f + 11 - 31 = 0. Suppose 53 = -4*o + o - q, -2*o = -f*q + 41. Let g = o - -28. Is g composite?
True
Suppose 4 + 6 = -5*c. Is ((-39)/(-12))/(c/(-24)) composite?
True
Suppose 2*f + 195 = 583. Is f composite?
True
Suppose 5*a + m - 6 = 9, -3*a - 3 = 3*m. Suppose 0 = 2*g - a. Suppose -12 = -k + g*p + 17, k - 17 = -2*p. Is k a composite number?
False
Suppose -7*c + 3*c - 4 = 0. Let j be 1 + (108*c)/(-1). Suppose -j = -2*z + 209. Is z a composite number?
True
Is 4/(-26) + (-13305)/(-39) a composite number?
True
Let l be (8/10)/((-2)/(-60)). Suppose 0 = -4*j + 5*h + 24, -2*j + 2*h + l = 2*j. Is j a prime number?
False
Suppose -5*b - 6 = m, 0*m = 5*m - 3*b - 110. Is m a prime number?
True
Let q(u) = u**3 + 2*u**2 + 2*u + 2. Let f be q(-2). Let h be 77/5 - f/(-5). Let k = 20 + h. Is k composite?
True
Let z(y) = y**2 + 7*y + 4. Let f be z(-7). Suppose 3*l + 227 = 2*i, 0*i + 479 = f*i - l. Is i a prime number?
False
Let p(t) = t**2 - t - 2. Let v be p(2). Is 0 - (v - (-1 - -36)) composite?
True
Let i be (1 - 2/3)*9. Is -1 - (9/i + -37) a composite number?
True
Suppose 3*j - 1697 - 664 = 0. Is j a composite number?
False
Let d = -35 - -50. Let y be (-2)/(2 - d/6). Suppose q + 5*b = 18, y*b = 4*q - 0*b - 48. Is q a composite number?
False
Suppose 0 = 3*w - 4*w - 2*x - 13, 76 = -4*w + 4*x. Is 3 - 1*w*2 composite?
False
Suppose 2*t - 12 = -0. Let n(l) be the third derivative of l**5/60 + l**4/6 - 7*l**3/6 - l**2. Is n(t) a composite number?
False
Suppose -15 = -v - 5. Let k(s) = -s**2 + 14*s - 3. Is k(v) composite?
False
Let q(u) = 4*u - 2*u**3 + 87 + u**3 - 5*u + u**2. Is q(0) a composite number?
True
Suppose 0 = i + 2*m - 39, -5*m = 2*i + i - 120. Let u = 22 + i. Is u prime?
True
Let u = 2 - 1. Suppose 3*f = 2*f + u. Is 3/(-3) - (f + -12) a prime number?
False
Suppose 0*u + 8 = u + 3*h, h = 2. Suppose 0*y - 2*y - 172 = -2*t, 0 = u*y - 6. Is t composite?
False
Let g = 608 - 277. Suppose 2*j - g = j. Is j a prime number?
True
Let u be ((-18)/(-27))/(1/(-9)). Let y(b) = b**3 + 7*b**2 - 5*b - 1. Is y(u) a composite number?
True
Suppose -2*j - 26 = -4*j - 5*d, 5*d + 14 = 3*j. Let m(f) = 2*f - 9. Let s be m(j). Suppose 3*z - 26 - s = 0. Is z prime?
True
Let t(l) = l**2 - 7*l + 4. Let k be t(7). Suppose 2*u = k*u - 74. Is u a composite number?
False
Let y(j) = 21*j**2 - 1. Let a be y(-1). Let o be a/4*(-2)/(-2). Suppose 356 = o*f - 14. Is f a prime number?
False
Let n(s) = s**3 - 6*s**2 + 17*s - 7. Is n(11) a prime number?
False
Let t be -2*1 - (-1255)/5. Suppose -4*u + u = -t. Is u composite?
False
Is (-30 - -1)*(-3 - 2) a composite number?
True
Suppose -5938 = -3*x - 193. Is x a prime number?
False
Let b = 11 + -4. Suppose 5*i - k = 11, b + 3 = 4*i - 2*k. Is 73/i + (-2)/(-4) composite?
False
Suppose -y + 5*m - 167 + 524 = 0, 734 = 2*y - 5*m. Is y prime?
False
Is 2/3*(-354)/(-4) a prime number?
True
Let z(a) = -a**3 - 2*a**2 - 4*a. Let w be z(6). Let m = w + 463. Let d = -60 + m. Is d a composite number?
True
Let w be (0 - -10)/(4/(-22)). Let f(s) = -36*s**3 + s - 1. Let n be f(1). Let t = n - w. Is t prime?
True
Let p be (10/6 - -2)*-18. Let q = 103 + p. Is q prime?
True
Let i = 1 - 1. Is i/1 + (257 - -2) prime?
False
Suppose 0 = -b - b. Suppose b = -0*p - 5*p + 345. Is p a composite number?
True
Is (-4)/(-6) + 14042/42 prime?
False
Suppose -161 = -2*r - 3*z, -565 + 100 = -5*r + 5*z. Let u = r - 49. Is u prime?
False
Suppose -1586 = -3*c + 4*w - 3*w, -4*w = -c + 525. Suppose 5*m - c = 276. Suppose 0*z = -z - 4*s + 153, m = z - 4*s. Is z a prime number?
True
Let d(w) = -w**3 + 3*w**2 + 4*w + 4. Let q be d(4). Suppose -y - q*z = -2*y + 83, -3*z = 4*y - 332. Is y prime?
True
