e -b = -52 - c. Is b a prime number?
True
Let v(z) = z**2 + 19*z - 41. Is v(12) composite?
False
Let p(f) = 12*f - 2. Let g = 15 - 11. Is p(g) a composite number?
True
Let s(j) = -j**3 + j**2 - j - 4. Let i be s(0). Let o = -6 - i. Is ((-2)/(-2))/(o/(-154)) prime?
False
Let l = 10 + -9. Let w be (-4)/6*3*1. Is 51 + l + 2/w prime?
False
Let g(y) = -16*y - 24. Let k(w) = 1. Let j(s) = g(s) + 3*k(s). Is j(-14) prime?
False
Let c be 1/(0 + 3/6). Suppose -2*x + z + 101 = 0, -3*x + c*z - 21 = -170. Is x prime?
True
Let a be (-2)/((-2)/3*-1). Let l be -22 - (a + 2 - -1). Is 0 + l*(-2)/4 a prime number?
True
Let p = 271 - -342. Is p prime?
True
Suppose 3*k + 1 = 4*k. Let u(p) = -16*p - 1. Let g be u(k). Let x = -7 - g. Is x composite?
True
Let q = -173 + 303. Suppose 0 = -y - 3*i - 2*i + q, -y - 2*i + 133 = 0. Suppose 4*b = y + 485. Is b composite?
True
Let s(o) = o**3 + 9*o**2 + 3. Let w be s(-9). Is (-3)/(-1)*55/w prime?
False
Let c(t) = 74*t**2 + 6*t + 1. Let f(n) = -148*n**2 - 13*n - 2. Let k(v) = 9*c(v) + 4*f(v). Is k(-2) composite?
False
Suppose 5*c - h - 6571 = 0, -2*c + 6*c = 4*h + 5244. Is c composite?
True
Suppose h = -0*h + 30. Let c(t) = t**3 + 7*t**2 + 2*t + 4. Let p be c(-5). Let n = p - h. Is n prime?
False
Let b(v) be the second derivative of v**4/12 + v**3/3 - v. Let r be b(-3). Suppose 86 = -r*c + 5*c. Is c prime?
True
Is 1 - (-789 - 3/3) a prime number?
False
Let f be (-279)/(-45) + 2/(-10). Suppose 0 = -f*m + m + 415. Is m prime?
True
Let q(c) = 10*c - 8 - 3*c**3 + c**3 + c**3 + 4*c**2 + 2*c**2. Let f be q(7). Suppose 0 = 3*u - 52 + f. Is u a prime number?
True
Let q = -445 + 1230. Suppose q + 330 = 5*k. Is k a composite number?
False
Is (-12750)/(-14) - (-7)/((-196)/(-8)) composite?
False
Let i = 15 + -12. Is (8 + -11)/(i/(-83)) prime?
True
Let k(s) = s**2 - 11*s + 13. Let h be k(10). Suppose 7*z = h*z. Suppose z*o + o = 35. Is o prime?
False
Let t(g) = g**2 + g - 3. Let u be t(6). Let k be (-712)/36 + (-2)/9. Let x = u + k. Is x a composite number?
False
Let m = -1 - -6. Let d = m - 5. Suppose d = -4*x + 2*x + 2, 3*r - 173 = -2*x. Is r prime?
False
Suppose -4*c + 0 = -12. Suppose -4*y + 1861 = -5*v - 561, 0 = -y + c*v + 602. Suppose 0*i - 4*s = -4*i + 612, y = 4*i - 3*s. Is i composite?
False
Let k be 6/9 - 13/(-3). Let h(f) = -2*f - f - 3 - 4*f**3 + k*f**3 + 2*f**2. Is h(-2) composite?
False
Let b be (-1)/(-4) + (-13)/52. Let q(n) = -n**3 + n**2 + 89. Is q(b) composite?
False
Let b(l) = -25*l**2 - 2*l - 4. Let p be b(-3). Let c = p - -350. Is c a prime number?
True
Is 423*((-6)/3)/(-6) composite?
True
Let c(k) = -206*k - 9. Is c(-13) a prime number?
False
Suppose -4*x = -1563 - 2105. Is x composite?
True
Let r = -11 - -14. Is 3/r + (295 - 3) composite?
False
Let p(f) be the first derivative of f**3/3 + 3*f**2/2 - 7*f + 1. Is p(-6) a prime number?
True
Let b = -1059 + 1568. Is b a composite number?
False
Suppose 171 = -4*j - 201. Suppose -g + 10 + 132 = 0. Let w = j + g. Is w a prime number?
False
Let t = 111 + 4. Is t a prime number?
False
Let d = 61 - -388. Is d a prime number?
True
Let d be ((-1)/3)/((-1)/(-3)). Is ((-3)/9)/(d/1257) a composite number?
False
Let k(l) = 9*l**2 + 6*l - 9. Is k(-8) composite?
True
Let s be (-40)/12*(-3 + 0). Suppose -s = -0*n - 5*n. Is (14/6)/(n/18) a composite number?
True
Let v = -1 - 3. Let o be 4 - (1 + v + 2). Let y = 12 - o. Is y a composite number?
False
Suppose 0 = -h + s - 2*s + 2195, -2*h = 5*s - 4402. Is h a composite number?
True
Let m(j) = 74*j**2. Is m(1) prime?
False
Suppose -5*k - 113 + 538 = 0. Is k a composite number?
True
Let m(q) = -2*q. Let b be m(-1). Let k(a) = -a**3 + 6*a**2 - 5*a - 3. Let f be k(5). Is ((-2)/f)/(b/93) a composite number?
False
Let t = 10 - 7. Suppose -2*x + t*z + 73 = -90, -5*x + 4*z = -397. Is x composite?
True
Let i(b) be the third derivative of b**5/60 - b**4/24 - 5*b**3/6 + b**2. Suppose 0 = 3*w - 10 - 2. Is i(w) a composite number?
False
Suppose -15*o - 2749 = -16*o. Is o a composite number?
False
Suppose 5*q + 1775 = -600. Let d = q + 944. Is d composite?
True
Suppose 2*j - j - 27 = 0. Suppose 38 = 5*s - j. Is s prime?
True
Suppose -3*z = -6*r + 2*r + 289, 0 = -4*r + 16. Let j = 158 + z. Is j composite?
False
Let i(a) = 12*a + 1. Let f be i(1). Suppose -5*v + 5*s + 30 = 0, 0 = 4*v + 4*s - 2*s. Suppose -v*j - 5*x = -f, -4*j - 3*x = -7 - 54. Is j prime?
True
Suppose 0 = 5*k - 22 + 2. Suppose 2*z - k*z - 4*u + 734 = 0, 5*u = -3*z + 1103. Is z a composite number?
True
Let h(r) be the second derivative of r**5/10 - 3*r**4/4 + r**3/3 - 9*r**2/2 - 2*r. Let f = 3 + 3. Is h(f) prime?
False
Let q(c) be the first derivative of c**5/40 + c**4/24 + c**3/3 - 2. Let i(a) be the third derivative of q(a). Is i(6) a composite number?
False
Suppose 9 = -3*d, 3*k + d - 86 = 76. Is k a prime number?
False
Let q = 11 - 11. Suppose -2*f - 10 = q, -6*l - 2*f + 105 = -l. Is l prime?
True
Let j(x) = 86*x**2 - 2*x - 1. Suppose 3*g + 3 = -0. Is j(g) composite?
True
Let q = 821 + -432. Is q prime?
True
Let p be -1 - -2 - (-3)/(-3). Suppose p*q - 21 = -q. Is q a prime number?
False
Suppose -x = -3*i + 6155, 0*x - 3*x - 6 = 0. Is i composite?
True
Let o(l) = 250*l - 1. Let x(n) = -n**3 + 3*n**2 - n - 1. Let z be x(2). Is o(z) composite?
True
Let s = -7 + 12. Suppose 5*k - 5 = -s*y, 0 = -y - 5*k - 0*k - 7. Suppose 195 = -0*o + y*o. Is o a composite number?
True
Let j(z) = 2*z**3 - 3*z**2 - 5*z + 7. Let f = 13 + -5. Let x(s) = 2*s - 11. Let y be x(f). Is j(y) a prime number?
True
Let g(c) = -3*c**2 - 21*c - 21. Let u(p) = -p**2 - 7*p - 7. Suppose -3*y + 3 - 12 = 0. Let f(a) = y*g(a) + 8*u(a). Is f(-8) a composite number?
True
Let i = 1542 - 1061. Is i a composite number?
True
Is 2 - (177*-3)/3 prime?
True
Is (2062/(-8) + -3)/(1/(-4)) a composite number?
True
Let x be (-132 + 0)/(-1) - 0. Let z = 199 - x. Is z composite?
False
Suppose -2*v = 2*v - 268. Is v composite?
False
Let j(u) = u + 2. Let h be j(0). Is (-538)/h*(7 - 8) a composite number?
False
Let k(l) be the first derivative of -l**3/3 - 10*l**2 - 11*l - 1. Let r be k(-9). Let a = -53 + r. Is a prime?
False
Let k(t) = -13*t**3 + 2*t**2 - 9*t - 1. Is k(-4) a composite number?
True
Let h be 2/(-6) + (-65)/(-15). Suppose k + 10 = -h*k. Is 2/4 - 105/k composite?
False
Suppose -15 = -0*q - 5*q. Suppose -q*x + 7*x - 13 = z, z + 2*x = 5. Is (z/(-2))/((-2)/(-844)) prime?
True
Let p = 3 + 0. Suppose -5 = -4*f + p. Suppose 0 = -f*v - v + 777. Is v a composite number?
True
Suppose 3*j - 437 = -0*j + 2*f, j + 2*f = 135. Is j composite?
True
Let m be (-2)/(-10) + 36/20. Is (0 + 191/m)*2 composite?
False
Is -2 + (1896/4 - (-3 + 4)) prime?
False
Suppose 5*h = -5*n + 1990, 3*h - 400 = -n - 0*h. Is n prime?
True
Let x be (-2)/(-5) + (-2)/5. Let h(v) = 0*v**2 + 71*v**3 + x - 6*v**3 + v**2 - 2*v + 1. Is h(1) a composite number?
True
Let r = 15 + -12. Let g(i) = -i**3 + 3*i**2 - 2*i + 2. Let x be g(2). Is r*15 + -1 + x a composite number?
True
Suppose 2*w = r - 1061, 0 = 2*w - 0 + 2. Is r a prime number?
False
Suppose 0 = 3*p - 21 - 126. Suppose -3*a + p + 47 = -3*j, 4*a - 123 = 5*j. Suppose a = 2*h - 39. Is h prime?
False
Is (0 - -230) + -4 + 7 prime?
True
Is 1011/(-2)*(-6)/9 prime?
True
Suppose 7*y = 5*y + 6. Suppose -f + y*f = 62. Is f composite?
False
Suppose -4*h = -h - 24. Suppose h = -5*u + 18. Suppose -u*z = -3*z + 3. Is z composite?
False
Suppose 35 + 8 = 2*u + i, 2*i - 44 = -2*u. Let n be (u/(-4))/(3/12). Is (-491)/(-3) + 14/n prime?
True
Let x be ((0 + 0)/(-3))/3. Suppose r - 26 - 69 = x. Is r composite?
True
Let q be (-3)/2*(-50)/15. Suppose q*o - 17 = 28. Is o prime?
False
Let s be 2214/45 + (-2)/10. Let k = -27 + s. Is k a prime number?
False
Suppose -2*r + r - 9 = 4*o, -4*o + r - 15 = 0. Is 2 + -2 + (-993)/o a prime number?
True
Let x = -1 + 6. Suppose 0*y + 427 = 2*o - x*y, -5*o + 1054 = y. Is o a composite number?
False
Let v(f) = 6 + 11*f**2 - 5 - f - 3. Let m be v(2). Suppose -n + 5*n = m. Is n prime?
False
Suppose -3*z - 5*c + 0*c = -382, 2*z - 5*c = 213. Is z a composite number?
True
Let q = 102 - 64. Suppose 334 = 4*j + q. Is j a prime number?
False
Let b be 1 - (-1 - -2 - 2). Suppose -2*w - b*y - 10 = -450, 2*w + y = 441. Is w composite?
True
Let f be -126*(9/(-3))/(-3). Is 6/(-9)*f/4 prime?
False
Let j(q) = 2*q - 9