/8 + 7*i**3/6 + i**2. Is s(-7) a composite number?
True
Let u(x) = 53*x - 1. Let t(c) = c + 8. Let h be t(-4). Is u(h) composite?
False
Let j = 9 + -4. Suppose 2*s + 10 = 0, -3*s = j*i - s - 60. Is i a composite number?
True
Let f(v) = -3*v + 2. Let w(b) = -25*b + 16. Let h(y) = -51*f(y) + 6*w(y). Let m be h(4). Let q(n) = 6*n - 5. Is q(m) a composite number?
False
Let o(t) = t**3 + 7*t**2 + t + 9. Let z be o(-7). Is z/4*596/2 a composite number?
False
Suppose -5*x = 10 + 5. Is 0/(-1) + x + 92 composite?
False
Let z be 16/(-3)*-1*3. Let q = -11 + z. Let g(r) = 3*r**3 - 7*r**2 + 2*r - 7. Is g(q) prime?
False
Suppose -2*d + 511 = 2*h - 279, 4*h + 3*d - 1583 = 0. Is h a prime number?
False
Suppose 5*b = 4*r - 10, -2*r - 2*r - 2*b + 24 = 0. Suppose i - 162 = -i - 4*a, r*i - 423 = -4*a. Is i composite?
True
Let q(s) = s + 2. Let w be q(2). Suppose w*r + r = 15, -5*z + 4 = -2*r. Is (7/z + -3)*14 composite?
False
Let t = -6 + 4. Let s be t/5 + 34/10. Suppose 10 = z + s. Is z prime?
True
Let p(d) = d**2 + 5*d - 37. Is p(-14) composite?
False
Let h be 818*(-4)/(-8) - 2. Suppose 2*g = g + h. Is g composite?
True
Suppose -4*x = 20, 9*d - 4*d - x - 20 = 0. Is (37/(-3))/((-1)/d) prime?
True
Let g(y) = 6*y + 3*y**2 + 3*y - 2*y**2 + 11. Let n = -20 - -11. Is g(n) a composite number?
False
Let h be (2 - 5)/(3/9). Is (-633)/h*(3 + 0) prime?
True
Is 35/(-10)*1*-4474 a prime number?
False
Let k(d) = 117*d - 4. Is k(3) a composite number?
False
Is (-4 + 3)/((-5)/(0 - -1795)) a prime number?
True
Suppose 3*j - 7 + 22 = d, 3*d + 9 = 0. Let g(p) = p**3 + 8*p**2 + 3*p + 5. Is g(j) a prime number?
True
Suppose 3*a - 4 = 2*a + v, 3*v + 12 = 5*a. Suppose -5*c + 25 = -2*x, a = 4*x - 3*x + 3*c + 18. Is ((-25)/x)/((-1)/(-57)) composite?
True
Let g = 2 + -23. Let p = 56 - g. Is p prime?
False
Suppose 0 = 3*d + 5*i - 1196, -5*d - 907 + 2893 = i. Is d a prime number?
True
Let y(v) = -v**2 + 6*v + 5. Let w be y(6). Suppose 0 = -s + 5*o + 186, w*s = -4*o + 666 + 293. Is s a composite number?
False
Suppose -1475 = -0*l - 5*l. Let a = -46 - -48. Suppose -2*w = 5*j - l, -29 = -a*w - 4*j + 265. Is w composite?
True
Is ((-484)/6)/((-4)/6) prime?
False
Let m(z) = -z**3 - 2*z**2 - z. Let x(r) = 3*r + 1. Let l be x(-1). Let n be m(l). Suppose 153 = w + n*w. Is w composite?
True
Suppose -32840 = -5*w - 3*w. Is w a composite number?
True
Suppose -3*i + 18890 = 7*i. Is i prime?
True
Suppose -4*s + i + 276 - 8 = 0, -4*i - 67 = -s. Let g = -3 - -6. Suppose 5*t - g*r - s = 0, -r = r + 8. Is t a prime number?
True
Let f be ((-2)/(-4))/(2/(-68)). Let o be 2/(-3)*2*78. Let m = f - o. Is m a prime number?
False
Let h be ((-1)/3)/(2/(-30)). Suppose -3*n = -7*n + 3*u + 3, 0 = h*n - 4*u - 4. Is 2 + 51/(n - -3) composite?
False
Let n(p) be the second derivative of -p**3/2 + 5*p**2 - 4*p. Is n(-12) composite?
True
Suppose 3*x + 2*b - 422 = 7*b, 3*b - 6 = 0. Suppose x = 5*l - 5*n - 126, -5*n = l - 84. Let h = l - 37. Is h a prime number?
False
Suppose 15 = 6*j - j. Suppose -3*o + j = -i, -13 - 12 = -5*o. Suppose i = -m + 47. Is m a composite number?
True
Let k = 31 + -52. Let x = 42 + k. Let o = x - -2. Is o composite?
False
Let j = 1 - -3. Suppose -j*v - h + 2*h + 571 = 0, 0 = -5*v - h + 725. Suppose -2*s - 5*c = -v, 0 = -2*s - c + 75 + 77. Is s prime?
False
Is 4/((-48)/(-9244)) - 8/6 prime?
True
Let u = 1 - -1. Let m(z) = -u*z**3 + 3*z**3 + 3 - 1 + z**2 - z. Is m(3) prime?
False
Let s = 1 + 15. Suppose -2*w + s = 2*w. Suppose -1285 = -w*m - m. Is m prime?
True
Let m(w) = w**2 + 3*w + 2. Let p be m(-3). Suppose -v = v + 5*d - 85, 0 = -3*v - p*d + 155. Suppose -2*j + 15 = -v. Is j a composite number?
True
Let o(i) = 284*i**2 + 4*i - 21. Is o(-4) a composite number?
False
Suppose -3*x + 2*x = 2*o + 17, x = -4*o - 33. Let w(n) = 0*n**2 + 3*n**2 - 4*n**2 - 9*n - 5. Is w(o) a prime number?
True
Suppose 0 = z + z - 106. Is z prime?
True
Suppose 0*d = 5*h - d - 6803, -4*d + 6813 = 5*h. Is h composite?
False
Let u be (1 + -2)*0/2. Suppose 3*g + 2*j - j = 15, 4*g + 4*j - 28 = 0. Suppose u = g*c - 22 - 6. Is c a composite number?
False
Let v(h) = -h**3 + 9*h**2 - 7*h - 1. Let c be v(8). Let a = c + -3. Suppose 0 = -a*i - 8, d + 5*i - 119 = i. Is d a prime number?
True
Let r be -34*(-21 + 1 - 2). Suppose 0 = -5*j - 4*n + r, -n = -2*n - 3. Let h = -101 + j. Is h a composite number?
True
Suppose 5*k + 3*v + 958 = 0, -2*k + 0*v - 383 = v. Let c = k + 485. Suppose 0 = -4*a + 3*j + 381, j + c = 3*a - 4*j. Is a prime?
False
Let c = 8 + -8. Let z be (-2 + (-3)/(-1))*c. Suppose -3*p + z*p + 381 = 0. Is p a prime number?
True
Let h = -2 + 6. Suppose 194 = 2*g - 0*g + h*a, -4*a + 291 = 3*g. Is g a prime number?
True
Let g(a) = -90*a - 11. Let v be g(5). Let o = 648 + v. Is o composite?
True
Let n(i) = -7*i - 2. Suppose 0 = -3*h - 27 - 0. Let f be n(h). Suppose -2*b + f = -261. Is b a composite number?
True
Suppose -26 = -4*o + b, -3*b = 4 + 2. Is o a prime number?
False
Let t(l) = 2*l**2 + 8*l + 7. Let x(y) = -y**2 + y. Let n(z) = t(z) - 2*x(z). Suppose -2*i - 12 + 2 = 0. Is n(i) a prime number?
False
Let y = -2 - -21. Is y prime?
True
Suppose 0 = -3*v - 4*f + 25, -5*v + 16 = -v + f. Suppose -16 = v*g - 409. Is g composite?
False
Let v be (-3040)/(-7) - 4/14. Let n = v - 271. Is n a prime number?
True
Suppose -4*p + 3421 = 2*m - 1897, -2653 = -m + 4*p. Is m composite?
False
Let s = -65 + 102. Is s composite?
False
Let y(j) = 2*j + 2. Let t be y(-2). Is (-129)/t + 1/2 a composite number?
True
Suppose 2*x - 186 = -n, x + 5*n = -8 + 83. Is x composite?
True
Suppose h - 1051 = -5*p, -3*p - 5*h = -2*p - 191. Is p a prime number?
True
Let p(t) = -t - 1. Let q(y) be the first derivative of -5*y**2 + 7*y + 3. Let o(r) = -4*p(r) - q(r). Is o(2) composite?
True
Suppose 3*u + 3*k - 2*k - 6 = 0, 4*u - 8 = -4*k. Let o = 4 - u. Let x(z) = 4*z**2 - z. Is x(o) a prime number?
False
Suppose -b - 41 = -5*v, 0 = -4*v - 0*v + 4*b + 20. Suppose -4*s + 3 = -v. Is s a prime number?
True
Let d(m) = -11*m**3 - m**2 + 3*m + 2. Let y be d(-2). Let n = y - 9. Suppose -4*t + n = -13. Is t a prime number?
False
Suppose 0 = -7*l + 18142 - 2483. Is l a composite number?
False
Let v = 1295 - 524. Is v prime?
False
Let x = -3 + 4. Let t = 3 + x. Suppose -5*i - t*s + 147 + 79 = 0, 5*s = 5*i - 235. Is i composite?
True
Let q(m) = 6*m - 9. Let k be q(9). Let d = k + 1. Is d composite?
True
Let z be (-149)/(-3) + (-4)/6. Let h = z - 24. Is h a prime number?
False
Suppose 0 = -l + 5 - 0. Suppose -2*z = -0*z - 4*n - 246, -5*n - 625 = -l*z. Is z a prime number?
True
Suppose -46 = 2*q - 4*q. Is q a prime number?
True
Suppose -c = -3 + 1. Let z be 5*-53*(0 - 1). Suppose -5*s - c*q = -z, -q - 60 = s - 2*s. Is s prime?
False
Let g be 1/3*(4 + 2). Suppose g*q = 25 + 13. Is q a prime number?
True
Let i = -3 - -7. Suppose -i*n + 167 = -181. Is n a prime number?
False
Suppose r + 2 = 3. Suppose 2*k - 6*k = -8. Is 58 - r - k - 2 composite?
False
Let y(r) = r**2 - 5*r - 2. Let i be y(6). Let u = i + 1. Is 1281/35 + 2/u prime?
True
Suppose -2*z - z = 9. Let m = 9 + z. Suppose f = m*f - 55. Is f a composite number?
False
Let j = -1 + 7. Suppose j*x - x = 70. Is x a composite number?
True
Suppose 0 = -7*b + 3*b. Let p(v) = -2*v**2 + 2*v - 82. Let x(w) = -5*w**2 + 5*w - 247. Let k(o) = 8*p(o) - 3*x(o). Is k(b) composite?
True
Suppose -3*k = -k + 3*l + 40, 2*k + 5*l + 40 = 0. Let b = k - -54. Let j = b + -15. Is j prime?
True
Let x be 28/6 + 16/(-24). Suppose x*g = -g + 5*c + 35, -5*g = c - 11. Suppose -4*n - g = y - 2*y, 0 = 5*y - 3*n - 66. Is y a prime number?
False
Let x = 6038 - 3201. Is x prime?
True
Suppose -3*w - c + 6*c + 2398 = 0, 0 = -4*w - 2*c + 3232. Suppose 5*v + 171 = w. Is v composite?
False
Suppose -2*v = -2*m - m + 6, -2*v + 8 = 4*m. Suppose 4*r + m*p = 14, 0*p + 3*p - 6 = -r. Suppose 3*s = r*i - 93, 4*i + 31 = 5*i - 2*s. Is i composite?
False
Let o = 0 - -1. Suppose -3*w + 19 = o. Is w composite?
True
Suppose y + 54 = j + 146, 5*y - 456 = 3*j. Let t = y - 23. Is t prime?
True
Suppose -4*q + 2*q + 510 = 0. Suppose -4*h - q = -9*h. Is (5 + -6)/((-1)/h) a prime number?
False
Let m be ((-9)/(-2) + -3)*-2. Let d = m + 0. Let z(s) = -54*s + 1. Is z(d) prime?
True
Let o(b) = b**2 + b + 1. Let c(f) = 16*f**2 - f - 6. Let d(j) = c(j) + 3*o(j). Let z be d(3). Let