ppose -2*x + 188 + 63 = 5*h, -3*h = n. Is x composite?
True
Let z(b) = -b + 2. Let v be z(0). Suppose v*t - 340 = -2*t. Is t a prime number?
False
Let b(x) = 2*x**3 - 10*x**2 + 15. Is b(7) composite?
False
Suppose 0 = -k - 0*b + 3*b - 12, 5*b = 0. Is (-33)/k + (-1)/(-4) a composite number?
False
Is (-163)/(-5) + (-2)/(-5) a composite number?
True
Let q(l) = -6*l - 9. Let g be q(8). Let k = 170 + g. Is k prime?
True
Is ((-371)/(-14))/((-2)/(-4)) composite?
False
Suppose -17 - 18 = -5*w. Let u(b) = 2*b**3 - 10*b**2 + 2*b - 5. Is u(w) a prime number?
False
Is ((-379)/2)/(2/(-4)) a composite number?
False
Let m = 65 + -10. Is m a composite number?
True
Let t be 26/12 + (-9)/54. Is (1/t)/((-1)/(-116)) a composite number?
True
Let f(s) = 2*s**2 + 7*s + 10. Let t be f(7). Let w = -90 + t. Is w composite?
False
Let t = 71 + -37. Is t a prime number?
False
Suppose -4*x + 15 = x. Suppose x*d = -5*q + 242, 5*q = -8*d + 3*d + 250. Is q a prime number?
False
Let w(g) = -114*g - 17. Is w(-9) prime?
True
Suppose -1 - 1 = -f. Let v = -1584 - -450. Is f/4 - v/12 a prime number?
False
Is 7/(-28) - (20866/(-8) - 1) a prime number?
True
Let g = -36 - -39. Let i(d) = -3*d + 1. Let b(q) = -3*q + 2. Let h(x) = 3*b(x) - 4*i(x). Is h(g) composite?
False
Suppose -6 = -3*t + t. Suppose 4*x = t*x - 4. Is 0 + 2 + x - -79 prime?
False
Let j = -668 + 999. Is j composite?
False
Let d be -626 - 0*(-4 + 3). Let f = 360 + d. Is f/(-18) - 8/(-36) a prime number?
False
Let h(c) = 2*c + 411. Let m(x) = x + 1. Let g(y) = h(y) - 4*m(y). Is g(0) prime?
False
Is ((-44)/3)/(2/(-3)) prime?
False
Suppose 5*v + 0*x + 194 = x, v + 5*x = -44. Is (-1188)/(-52) + (-6)/v a prime number?
True
Let z(l) be the third derivative of 11*l**5/30 + l**4/12 - l**3/6 - l**2. Is z(2) composite?
True
Let x(o) be the third derivative of 17*o**4/8 + 2*o**3/3 - o**2. Suppose 5*c - 7*c = -10. Is x(c) composite?
True
Suppose 0 = f - 5*f. Suppose f*i - i + 481 = 0. Is i a prime number?
False
Let a(t) = 4*t - 1. Let r be a(4). Is (-114)/4*(-10)/r prime?
True
Let l = 305 - -102. Is l composite?
True
Let o be (-1 - 1)/((-5)/(-10)). Let i(n) be the second derivative of -n**3/3 + 3*n**2/2 + n. Is i(o) prime?
True
Let z = -41 - -126. Is z prime?
False
Let p(q) = q + 1. Let s be p(4). Suppose 0 = 3*t + 4*x - 16, 0 = 2*t - 2*x - 0*x + 8. Suppose -5*g = -2*o + 236, s*g + 575 = -t*o + 5*o. Is o a prime number?
True
Let u = 6 - 3. Let c(n) = -n**3 - 13*n**2 - 13*n + 6. Let x be c(-12). Is 12*3/x*u prime?
False
Let c = 4588 - 2723. Is c composite?
True
Suppose 11 = -2*b - 19. Is (-20)/(-150) + (-2233)/b prime?
True
Let u(a) = 12*a**2 - 4*a - 1. Let f be ((-14)/(-35))/(2/100). Suppose 0 = -5*s + 5 - f. Is u(s) composite?
True
Suppose -3*l + 25 = -y, -3*l - 3*y + 8 + 1 = 0. Suppose l*a + 5*s - 206 = 3*a, -4*a + 2*s + 192 = 0. Is a a prime number?
False
Let d = 1969 + -649. Suppose 4*y = -4, -3*b - 84 = 3*y - d. Is b a prime number?
False
Let r(d) be the second derivative of d**6/240 - d**5/60 + d**4/12 - 2*d. Let b(c) be the third derivative of r(c). Is b(3) prime?
True
Suppose -5*a - 44 = -4*f - 2*a, -4*f + 44 = -4*a. Let r = 36 - f. Is r prime?
False
Suppose -j - 257 = -2*j. Is j composite?
False
Let m = 374 - 127. Is m prime?
False
Let g be 0 + 0/(-3) - 30. Let l = 123 + g. Suppose -3*c + l = 3*i, -5*i + 4*c + 175 + 7 = 0. Is i a prime number?
False
Suppose 0 = -5*v + 42 - 462. Is ((-1)/3)/(2/v) a prime number?
False
Let g = -8 + 11. Suppose 5*h + 235 = n + g*n, -3*h - 229 = -4*n. Is n a prime number?
False
Suppose -c + 133 = -2*i - 23, 0 = i + 4. Suppose -y + c = y. Is y prime?
False
Is 4*(4 - (-9255)/12) prime?
False
Let g(f) = -3 + f - 2*f + 13*f. Is g(2) composite?
True
Let l(v) = -v**3 - 16*v**2 + v + 1. Let j(z) = -2*z**3 - 32*z**2 + 3*z + 2. Let c(m) = 2*j(m) - 5*l(m). Is c(-14) a prime number?
False
Let d = 28 - 25. Suppose -d*j + 2*j + 847 = -3*t, 0 = -5*j + 2*t + 4183. Is j prime?
False
Let t(d) = 23*d**2. Let i be t(1). Suppose i = -2*f + 3*f. Is f composite?
False
Let m = 1697 - 910. Is m a composite number?
False
Suppose 0*v + v = 4*j + 3665, -3*v - 5*j = -10944. Is v composite?
True
Is (-141)/(-3)*230/10 prime?
False
Suppose -22*r + 27*r - 2135 = 0. Is r a prime number?
False
Is 14/(-63) + 39514/18 prime?
False
Let n = -270 + 493. Is n a composite number?
False
Let l = -237 - -428. Is l a composite number?
False
Is 1 + -3 - (-2 - 87) a composite number?
True
Let v(f) = -94*f + 5. Let l be v(-8). Suppose 2*d = 2, -d = -0*s - 2*s + l. Is s composite?
False
Suppose -3*y - 253 = -2002. Is y a prime number?
False
Let p(f) = 3*f**2 - 4*f - 13. Is p(-14) a composite number?
False
Let p(u) = 5*u**2 - 4*u - 2. Let b be p(-3). Let f = -27 + 44. Let h = b - f. Is h composite?
True
Let u(n) = -8*n - 2. Let i(g) = 3*g**3 - g. Let y be i(-1). Is u(y) composite?
True
Let c(d) = -d**2 + 9*d - 6. Let o be c(6). Suppose 7*k = o*k - 575. Is k composite?
True
Let v(n) = 3*n**3 - 4*n - 7. Let m be v(6). Suppose -m = -4*a + 27. Is a prime?
False
Suppose 4 = -2*p + 10. Suppose -r = -1, 2*w + p*r - 4 = -r. Suppose -2*v + 5*v - 33 = w. Is v composite?
False
Suppose -3*a + 3585 = -1752. Is a a composite number?
True
Let r = 0 - 1. Let m be (-1)/2 + 9/2. Is (-20 - r)*m/(-4) a prime number?
True
Let l(c) = -13*c**3 - 5*c**2 - 3*c + 12. Is l(-5) a composite number?
True
Suppose u = -u + p - 1, 5*u - 4*p = -7. Is u/(4/892*1) a composite number?
False
Let l(y) = -y**3 - 11*y**2 - 3*y - 5. Let h be l(-12). Suppose -16*f + 11*f + h = 0. Is f prime?
False
Let r(t) = 0*t**3 - 2*t + 1 - t**3 - 4 - 3*t**2. Let k be r(-4). Let m = k + 25. Is m a prime number?
False
Let p(k) = 4*k - 1. Let g be p(-7). Let d = 1 + g. Let j = d + 47. Is j a composite number?
False
Suppose 2*y = -0*w + w - 1286, -5*w - 2*y + 6478 = 0. Is w composite?
True
Let a(m) = -m**2 + 6*m + 2. Let c be ((-24)/9 + -2)*-3. Suppose -c = -3*h - 2. Is a(h) composite?
True
Let n(u) = 5*u - 18. Suppose -f + 10 + 18 = -5*v, 2*v + 45 = 3*f. Is n(f) a composite number?
False
Suppose 2067 = 4*k - 425. Is k prime?
False
Suppose 283 = -3*n + 829. Let x = n - 103. Is x a prime number?
True
Suppose -11*a + 6*a = 10. Let r be a/6 + 64/12. Suppose -2*u - 5*b + 503 = 0, 0*b = -r*u + b + 1298. Is u a prime number?
False
Let q(j) = -j**2 + 3*j + 1. Suppose -2*c - 2*o + 2 = 0, -c + 3 = -5*o + 4*o. Let w be q(c). Suppose i = -w*r + 53, -i - 4*r + 15 + 40 = 0. Is i composite?
False
Let i(l) = l + 6. Let u be i(-6). Is (-77)/(u + -1) - -2 composite?
False
Let c(x) = x**3 - 10*x**2 - 4*x - 35. Is c(16) composite?
True
Let l = 17 - -3. Suppose -4*r = -b - l, -4*r - 6*b + 2*b = 0. Suppose -243 = -r*o + 5*w + 50, -3*o - 2*w = -191. Is o composite?
False
Suppose -5*x + 3*h + 1698 = 0, -x - 5*h = 46 - 408. Suppose -x - 278 = -5*f. Let k = f - 65. Is k a composite number?
False
Suppose -t = 3*t - 88. Let l = t - -65. Is l composite?
True
Let o be (25/10)/(2/4). Let r(g) = g - g + 1 + 4 + g**2 + o*g. Is r(-6) prime?
True
Let a = 66 + -3. Suppose -a - 6 = -t. Is t composite?
True
Suppose 7*j - 2049 = 3*j + i, 4*j = -5*i + 2019. Is j composite?
True
Suppose 12 = -3*u - 4*z - 2, 0 = -u + 2*z + 12. Suppose 3*k - 105 = -u*k. Is k prime?
False
Suppose -2953 = -3*z + 2126. Is z composite?
False
Suppose -3 = -i - i + 5*y, 4*i - 1 = 5*y. Let z = 4 - 3. Is z/(-1)*i*133 composite?
True
Let d(o) be the third derivative of o**2 + 0 + 0*o - 7/6*o**3 - 5/12*o**4. Is d(-5) a prime number?
True
Suppose -3*c + 5*c - 106 = 0. Is c a prime number?
True
Suppose 45 = 8*g - 3*g. Let x(j) = 3*j - 2*j + g + 30. Is x(0) prime?
False
Let f(y) = y**3 - 3*y**2 - 7*y + 6. Let v be f(4). Is (-1120)/(-6) - v/18 prime?
False
Let b(f) = -16*f + 2. Let o(n) = n**3 + 13*n**2 + 10*n - 17. Let k be o(-12). Let h be b(k). Let s = 207 + h. Is s prime?
True
Let j(x) = x**3 + 13*x**2 + 12*x - 9. Let b be j(-9). Let u = -118 + b. Is u a prime number?
True
Suppose -30 = 3*q + 2*q. Let v be 128/q + (-6)/9. Let w = -13 - v. Is w prime?
False
Suppose d + r + 4 = -2*d, 3 = -3*r. Let n be 87*(d/(-3) + 0). Is n/4 - (-1)/(-4) composite?
False
Let t = -1246 + 4228. Suppose 7*c - t = c. Is c a prime number?
False
Let i be -6*(-6)/(-45)*-5. Suppose 48 + 136 = i*k. Is k composite?
True
Let q(w) = 380*w**3 - 1. Let f be (-20)/(-14) + 6/(-14). Is q(f) prime?
T