x(h) = h**3 + 8*h**2 + 2*h. Let p(u) = 6*u - 1. Let z be p(1). Suppose v + 5 = -5*s, 5*s = -5*v - 20 - z. Is x(v) a composite number?
True
Let u(r) = r**3 - 9*r**2 - 6*r + 4. Let k be u(6). Let y = k + 229. Is y a prime number?
True
Suppose 5*t - 2*k - 59 = 1842, 2*k - 1510 = -4*t. Is t a prime number?
True
Is -123*2/((-4)/2) prime?
False
Let l be 1*(-3 - -3 - 3). Is (26/8 + l)*1228 a prime number?
True
Suppose k + n = -2*n - 459, -n = -3*k - 1347. Is 0 + (k + 1)*-1 a composite number?
False
Let r be 8/(-3)*(-12)/8. Let w = 4 - r. Suppose -3*d - a + 5*a = -231, w = -2*d + 3*a + 154. Is d a composite number?
True
Suppose 24*t = 29*t - 3385. Is t a prime number?
True
Let i = 2452 - 829. Is i composite?
True
Suppose 22*r = 20*r + 1918. Is r prime?
False
Let i = -6 + 17. Let b(z) = 3*z - 14. Is b(i) a composite number?
False
Let h = 70 - 63. Is h a composite number?
False
Is 2639 - (5 - 9) - 5 composite?
True
Suppose -3*z = -6 - 6. Suppose 4*b = z*v - 44, v - 5 = 4*b + 3. Suppose -3*f = f - v, 3*f = 4*j - 31. Is j prime?
False
Let t be (-2)/(-8) + 13/(-4). Is (t - (0 + -4))*67 a prime number?
True
Let h be 14/63 - 2/9. Suppose l = 2*g + 73, h = -2*l - 2*l + 5*g + 301. Is l a composite number?
False
Let f = 441 - -28. Is f composite?
True
Suppose -1211 = -3*j + 5*i, 0 = 3*j - 4*i - 0*i - 1207. Is j composite?
False
Let x(i) = 41*i**2 - 6*i + 3. Is x(4) prime?
False
Let u be 2/(-8) + (-29)/(-4). Suppose -u*f + 4*f = -471. Is f prime?
True
Let u be 1766/6 - 2/(-3). Let f = u + -206. Is f a prime number?
True
Suppose -91 - 124 = -5*f. Suppose 2*i = 133 + 27. Let o = i - f. Is o composite?
False
Let z(t) = -120*t**3 + t**2. Is z(-1) a prime number?
False
Suppose -5*z + 30 = -x, -2*x = 2*x - 3*z + 35. Let g(i) be the third derivative of i**5/30 + 7*i**4/24 + 2*i**3/3 - 2*i**2. Is g(x) a composite number?
False
Suppose 0 = 2*x + 3*d - 102, x - 3*x + 4*d + 116 = 0. Suppose 3*h - 35 = -2*a, 1 - x = -3*a - 4*h. Is a composite?
False
Suppose y = 4*m + 22, -2*y + 28 = 2*y - 4*m. Suppose g + p - 133 = -4*p, -246 = -y*g - 5*p. Is g prime?
True
Let y be (-2)/(-7) - (-52)/14. Suppose 65 = 5*d - 4*c, 5*d - c - 45 = 35. Let f = d - y. Is f a composite number?
False
Let x = -2 - -7. Suppose -4*p + 330 = -n, 3*n + 82 = p + x. Is p a prime number?
True
Let o(s) = 339*s + 7. Let u be o(6). Suppose u = 4*w + 53. Is w prime?
False
Let a = 8 + -6. Suppose -576 = -3*i - 3*h, -94 = i + 4*h - 292. Suppose a*v - i = -3*v. Is v a composite number?
True
Let w(o) = 3*o - 14. Let h be w(6). Suppose -188 = -2*f + 5*d + 224, h*f + d - 846 = 0. Is f composite?
False
Suppose -2*y - 2*y + 19540 = 0. Is y prime?
False
Suppose -3*n = 3*y - 480, 2 - 4 = -2*y. Is n prime?
False
Let s be 1*2*6/4. Suppose s*c + 2*c = 310. Let p = c + -29. Is p composite?
True
Suppose -300 = -4*u - u. Suppose -87 = -3*y + u. Is y composite?
True
Is (-15782)/(-18) + 28/126 prime?
True
Suppose 0 = 5*b - 6 - 4. Let m = b + -2. Suppose -4*i - 5*p + 152 = m, 4*i - 3*i - 41 = -2*p. Is i prime?
False
Let m be (-5)/5*-1*3. Suppose m*p + 2*f = 17, 4*f + 0 - 10 = 2*p. Suppose -p*b = -b - 14. Is b prime?
True
Let m = 122 - -129. Let t = m + -128. Is t a prime number?
False
Let q = -8297 - -14034. Is q prime?
True
Suppose -i + 45 = 4*i. Suppose -c = i - 29. Suppose -3*v + 2*s + 55 = 0, -v + s + c = -0*v. Is v prime?
False
Suppose 6 = 3*r - 3. Suppose 3*p - r*k - 576 = 0, 0 = 5*p + 4*k - 324 - 654. Is p prime?
False
Suppose -3*v = -5*q - 1, 3*v = -v - 5*q - 57. Let u be 4/v*(-10)/1. Is (u + -2)*(-46)/(-6) prime?
True
Let z be ((-10)/(-25))/((-1)/(-10)). Is 2/z + (-52)/(-8) a prime number?
True
Let l be (-38)/(-6) + (-12)/(-18). Let g = -8 + l. Is (-1)/((-1)/(-163)*g) a composite number?
False
Let t(n) = -n**2 - 8*n - 4. Let y = -9 + 2. Let q be t(y). Suppose 7 = q*a + 19, 2*a - 13 = -f. Is f composite?
True
Suppose 228 = 11*d - 7*d. Is d prime?
False
Suppose -54*d = -49*d - 29075. Is d a composite number?
True
Let u(o) = -18*o**2 + 3*o - 1. Let r be u(2). Is (-15 + 10)/(1/r) composite?
True
Let v(o) = o**3 - 5*o**2 + 4*o. Let k be v(5). Let y be ((-129)/(-5))/(4/k). Suppose -5*q + y = 19. Is q a composite number?
True
Suppose 459 = 5*f - 176. Is f prime?
True
Let x(h) = -h**3 + 6*h**2 - 4*h - 5. Let c be x(5). Let v = 66 + 161. Suppose 5*q - 28 - v = c. Is q a prime number?
False
Let v = -86 - -292. Suppose -v + 38 = -3*j + 3*t, -j = 4*t - 51. Is j prime?
False
Suppose 6*a - 4*a = 1042. Is a a prime number?
True
Suppose r + 4*m = -m + 1674, -5*m = 15. Is r composite?
True
Suppose -3*y = -f - 89, 0 = -5*y + 5*f + 226 - 81. Let i = 51 - y. Is i composite?
True
Let r = 6414 - 4133. Is r a composite number?
False
Suppose 2*p = 4*j + 1244, 3*j = -3*p - 2*p + 3058. Is p composite?
True
Suppose 0 = 4*t - t - 12. Let n be (0 + 1)*-1*t. Is n/18 - 357/(-27) a prime number?
True
Let z(c) = 66*c + 14. Let d(g) = 22*g + 5. Let f(b) = -11*d(b) + 4*z(b). Is f(3) composite?
False
Let f = -74 - -127. Suppose 2*w - f = -11. Is w prime?
False
Let n(o) = 2*o**2 - 16*o - 14. Let q be n(-13). Let i = q + -371. Is i a prime number?
False
Is 1/2*2 - -630 prime?
True
Let g = 21 - 6. Suppose 4*c + c - g = 0. Is ((-2)/c)/((-12)/2178) a composite number?
True
Suppose -19*s + 18*s = -218. Is s prime?
False
Suppose -10*b + 6*b + 340 = 0. Is b a prime number?
False
Let t = 36 + -34. Let b = 0 - -5. Suppose -v = -b*d - 33, t*v - 38 = -2*d - 2*d. Is v a composite number?
False
Let s(t) = 7*t - 3*t**3 - 7*t**2 - t**3 + 3*t**3 - 4. Let m be s(-8). Suppose 4*w + m*a - 6*a = 206, -4*w + 3*a = -211. Is w a composite number?
True
Suppose -t + 5 = -4. Let z(y) = -y**3 + y**2 + y + 1. Let l(o) = -4*o**2 - 6*o + 3. Let n(r) = l(r) - z(r). Is n(t) prime?
True
Suppose 3*o - 34 = -4*a, 0 = -4*a + 9*a - 4*o - 58. Suppose -4*s + a = -2*s. Suppose b = f + 4, 0 = -5*b - s*f + 27 + 23. Is b composite?
False
Suppose 1682 = -16*a + 17*a. Is 24/32 + a/8 a prime number?
True
Suppose 369 + 1 = 5*b. Is b prime?
False
Let f(i) = i**2 - 8*i + 13. Let a be f(9). Is (a/(-3))/((-12)/90) composite?
True
Let m(s) = 4*s**3 - 9*s**2 + 4*s - 8. Is m(7) prime?
False
Suppose -4*r - r = -2*d - 1730, -5*d + 1730 = 5*r. Is r composite?
True
Suppose 0 = -2*q + 538 - 44. Is q composite?
True
Let h(u) = -27*u + 2. Is h(-3) composite?
False
Let u(x) = 29*x**3 - 9*x**2 + x - 17. Let v(m) = 7*m**3 - 2*m**2 - 4. Let w(r) = -2*u(r) + 9*v(r). Is w(3) a prime number?
True
Suppose -65 - 40 = 5*g. Let k = g + 52. Is k a composite number?
False
Suppose 0 = -5*b + 2456 + 2379. Is b prime?
True
Suppose 8 = 7*a - 3*a. Suppose a*o + 4 = 3*o. Suppose -78 = o*u - 410. Is u a composite number?
False
Suppose 603 - 208 = 5*o. Is o - (6/3)/1 a prime number?
False
Suppose 9*z + 358 = 11*z. Is z prime?
True
Let j(w) = w**3 - 3*w**2 - 4*w. Let p be j(4). Suppose 2*h - 5*s = 813, 5*h - 2047 = -2*s - p*s. Is h a prime number?
True
Let r = 287 + -749. Let o = -247 - r. Is o prime?
False
Is 2*(-24159)/(-42) + (-32)/(-56) a prime number?
True
Suppose -l - 4*c - 232 = 0, -2*l - 4*c - 475 = -7*c. Let m be l*1/(-2) - 3. Suppose 0 = -8*g + 3*g + m. Is g composite?
False
Suppose b - 1 = 2. Suppose 4*d + 3*o - 223 = 0, -3*d + b*o - 168 = -6*d. Is d composite?
True
Suppose 0 = -4*t + 16. Suppose 6*q - 154 = t*q. Is q a composite number?
True
Let u = 1087 + -546. Is u a prime number?
True
Let w(r) = 2*r. Let c be w(-3). Is (-874)/c + 9/27 a composite number?
True
Let g(h) be the third derivative of h**5/60 - h**4/6 + 3*h**2. Let p be g(4). Suppose t + 9 = -4*q + 105, p = 4*q + 2*t - 92. Is q prime?
False
Suppose 2*b - 5*m = 1426 + 607, 0 = -3*b + 4*m + 3032. Suppose 6*n = n - 5*c + 1255, 5*c = -4*n + b. Is n prime?
True
Let z = -22 - -33. Let f = -8 + z. Suppose 489 = f*x - 0*x. Is x a prime number?
True
Let w be (-30)/8*(-24)/9. Suppose 2*s + 0*s = -i - 5, 4*i = 2*s + w. Is 1 + (-2)/i - -36 composite?
True
Is (7 + 4)/((-4)/(-356)) prime?
False
Suppose 5*o - 153 = 2*o + 5*w, 0 = w. Is o a prime number?
False
Suppose -594 = -w - 2*y + 687, 0 = 5*w - 2*y - 6429. Is w a composite number?
True
Suppose 0*u + 206 = 2*u. Is u a composite number?
False
Suppose -5*c = g - 59, 2*g + 3*c = -0*g + 83. Is g a composite number?
True
Let j(o) be the first derivative of -12*o**2 + o - 2. Let z(r) = r**3 - 3*r**2 - 2. Let x be z(3). Is j(x)