*r - 132. Is c prime?
False
Let c = -9 - -11. Suppose 370 = 3*n + c*n. Is n prime?
False
Let v = -17 + 31. Let m be (-4)/v - 54/7. Is (-125)/(-20) - (-2)/m a composite number?
True
Let p be (-9)/(-3 + 0) + 2. Suppose -p*r + 345 = -5*c, -3*r + 207 = -4*c - c. Is r prime?
False
Let c(i) = 4*i - 3. Let g be c(2). Suppose 4*j + 5*r - 245 = 0, j + 3*r + 269 = g*j. Is j a prime number?
False
Let r(h) = -h**3 + 6*h**2 + 3*h + 7. Let q be r(6). Let f = 44 - q. Is f composite?
False
Suppose -255 = -2*y - y. Let o(f) = -f**3 - 14*f**2 + 14*f - 15. Let j be o(-15). Suppose l = -j*l + y. Is l a prime number?
False
Let x(o) = 9791*o**3 + o**2 - 2*o + 1. Is x(1) a composite number?
False
Let x = 807 - -260. Is x a composite number?
True
Suppose -11 - 29 = 5*r. Let z(b) = -b**3 - 9*b**2 - 8*b + 9. Let d be z(r). Suppose 0 = -2*q + 5*q - d, 0 = -2*s + 3*q + 19. Is s prime?
False
Let a be (2 - -1) + (1 - 3). Is 4 - 3 - -10 - a a prime number?
False
Let b(y) = -y + 53. Is b(20) a composite number?
True
Let k = -22 + 21. Is 110 - (4 + k)*-1 a composite number?
False
Let p be 2/(-4) - (-87)/2. Suppose i - p = -u + 12, 4*i = -3*u + 218. Is i a prime number?
True
Suppose 5*z - 2*z + 3 = 0. Is (-3)/3 + z - -39 composite?
False
Suppose -3*k - 2*n + 4*n + 9 = 0, -12 = -4*k - n. Suppose -5*w = k*c - 96 - 96, -180 = -3*c - w. Is c a prime number?
True
Suppose 3*x - 1429 = 3*a + 287, 582 = x - 3*a. Let i = -328 + x. Is i a composite number?
False
Let a(z) = 2*z**2 - 17*z + 1. Is a(-8) composite?
True
Suppose -3*q = 0, 5*n + 3*q - 155 = -0*n. Is n a prime number?
True
Let y(i) = -i + 669. Let q be y(0). Is q/2 + (-6)/(-12) a composite number?
True
Let x(v) = 23*v**2 + v - 1. Let r be -5 + 0 + -7 + 9. Is x(r) a composite number?
True
Suppose 33 = -4*y + 9. Let q = 11 + y. Suppose 0 = 3*k + 2*h - 30, k + q*h - 12 + 2 = 0. Is k prime?
False
Suppose u = -3*n + 324, 381 = 2*u + 4*n - 269. Let l be 1*(2 + 0 + u). Suppose 0 = -5*x - 94 + l. Is x composite?
False
Let g(u) = -u**2 + 4*u - 1. Let i be g(3). Suppose -i*f + j + 21 = 0, f = -2*f - 2*j + 42. Is ((-6)/f)/(2/(-356)) prime?
True
Let j = -7 - 30. Suppose 2*z - 4*v + 128 = 0, 0 = 4*v + 10 + 6. Let f = j - z. Is f a composite number?
True
Suppose 24*r = 26*r - 78. Is r a composite number?
True
Let q(y) = 10*y**2 - 23*y + 62. Is q(21) a composite number?
False
Let b(o) = 74*o**2 + 1. Let p be b(-1). Suppose -4*f - 3 = -r, -2*r = 2*r + 5*f - p. Suppose 119 = 3*y - 5*k + r, 5*y - 166 = k. Is y prime?
False
Let p(o) = -15*o - 5. Is p(-2) prime?
False
Let w(m) = 5 - 4 + 0*m**2 - 5*m - 2 + m**2. Is w(-6) prime?
False
Let v(l) = 6*l**3 + 10*l**2 + 6*l - 4. Let s(c) = -c**3. Let j(q) = -4*s(q) - v(q). Let h be j(-6). Let p = h + -57. Is p a prime number?
False
Let y(a) = a**2 + 3*a - 6. Let v be y(-5). Suppose 0 = -h + v - 3. Is 14 - ((h - 1) + -1) prime?
False
Let w be -4*((-294)/4)/7. Suppose 0 = -3*a + 2*a + w. Suppose -2*g = p - 175, 2*p = 5*g - 493 + a. Is g composite?
False
Let r(u) = -19*u**2 + 10*u + 3. Let k(o) = -20*o**2 + 11*o + 3. Let w(j) = 6*k(j) - 7*r(j). Is w(-4) prime?
False
Suppose s - 28 = -4*q + 5*s, -2*s = 5*q. Suppose q*p = 230 + 284. Is p prime?
True
Let g be (614 + 0)/(2 - 0). Let w = g - 188. Is w a prime number?
False
Suppose 0 = -2*b + 6*u - 2*u + 2774, 3*b - 4*u - 4153 = 0. Is b prime?
False
Let f(a) = -a**3 - 2*a**2 + 6*a - 1. Let w be f(-5). Suppose 5*n = -s + 63, 2*s + 5*n - 57 = w. Suppose 0*i = -2*i + s. Is i a prime number?
True
Suppose 5*y = 2*i + 1681, 1985 = 5*y - 3*i + 306. Is y a composite number?
False
Suppose 3*r = r + 10. Suppose -2*c + 417 = -5*d, -2*d - 3*d = -r*c + 1050. Is c prime?
True
Is 22/121 - 2231/(-11) prime?
False
Let q(f) = -5 - 9 + 4 + f**2 - 5*f. Let a be q(7). Is ((-6)/9)/(a/(-42)) composite?
False
Let s be (-76)/(-6)*3 - 1. Is 2*s*70/20 a prime number?
False
Is (-5646)/(-18)*(-1 + -1 + 5) composite?
False
Let a = -2864 + 4699. Is a a prime number?
False
Let y(l) = 3 + 0*l**2 + l**3 + 8*l**2 - 2*l + 3*l**2. Let m = -20 - -12. Is y(m) a prime number?
True
Let k(u) = -192*u - 1. Is k(-1) a prime number?
True
Suppose 1786 = -d - 575. Is d/(-6) - 6/(-4) prime?
False
Let t be 3*((-3 - -5) + -4). Is (-320)/t - 3/9 a composite number?
False
Suppose -4*a + 4*k + 547 = 3*k, 5*k + 406 = 3*a. Let c = a - 43. Is c a composite number?
True
Let d(x) = x**3 - 5*x**2 - 19*x - 3. Is d(10) a composite number?
False
Let y = -4408 - -7835. Is y composite?
True
Suppose 5*p = 2*y, 4*y - p = -3*p + 24. Suppose -20 = 5*w, 5*g + y*w - 9 = w. Suppose -3*o - 106 = -2*k, -151 = -g*k - o + 80. Is k prime?
True
Let r(g) = -g**3 + 4*g**2 - 2*g + 4. Let z be r(4). Is 1743/12 - (-1)/z a prime number?
False
Let f be (-6)/(-27) - (-4)/(-18). Let r = f - 0. Suppose -p - 4*n + 11 = 0, r = 4*p + 5*n - n - 44. Is p a prime number?
True
Let v(a) = 0*a + 1 - 3*a + 9*a. Let p be 6*2/4 + -2. Is v(p) a prime number?
True
Is ((-1539)/(-117) - 4/26) + 1 a composite number?
True
Let c(m) be the first derivative of m**4/4 - 8*m**3/3 + m**2/2 - 3*m + 3. Let o be c(4). Is 2/(-4) + o/(-2) a composite number?
False
Let x(j) = -j**3 - 11*j**2 - 18*j - 11. Let t be x(-12). Suppose 2*l - 2*n = 136, -5*l - 3*n = n - t. Is l a composite number?
True
Let y = -327 + 584. Is y a composite number?
False
Suppose 4*f + 9 = 33. Suppose -3*s - 1761 = -f*s. Is s a composite number?
False
Is -10*(-1 - (-155)/(-2)) a composite number?
True
Suppose -138 = -3*v + 483. Suppose -5*d + 500 = 4*q, d - v = -d - 3*q. Is 2/7 - d/(-7) a prime number?
False
Let c(h) = 9*h**2 + 8*h - 10. Let u be c(-8). Suppose -2*g = -528 - u. Is g a prime number?
False
Let c(n) = 8*n + 5. Let l(g) = 24*g + 14. Let x = 11 - 7. Let d(f) = x*l(f) - 11*c(f). Is d(4) a composite number?
True
Let m(z) be the second derivative of z**3/6 - z**2/2 + 3*z. Let s(u) = -u**2 + 6*u + 9. Let q(o) = -2*m(o) - s(o). Is q(10) a prime number?
True
Let h be 0/1 - -2 - 0. Let s(k) be the third derivative of 7*k**6/120 - k**5/60 + k**3/6 + 10*k**2. Is s(h) composite?
False
Let y(p) = 63*p - 5. Is y(4) prime?
False
Let u(d) = -19*d - 2. Let v be u(-3). Let a be (49/2)/((-2)/(-4)). Suppose -4*w + a + v = 0. Is w prime?
False
Is 398/6*(1 - -2) prime?
True
Suppose 0*p = -2*p + 54. Suppose -t = r - 132, -t = 3*r - 169 + p. Is t a composite number?
False
Suppose b = -5*o - 2 + 15, 3*o = -5*b + 109. Suppose -2*k + 3*j - 13 = 0, 3*k + 2 + 10 = 2*j. Is 3/(k + b/11) composite?
True
Let s(d) = -4*d - d**2 + 4*d**2 - 6 - 2*d. Suppose -x + 11 = 2*o, 6*x - 10 = x + 5*o. Is s(x) composite?
True
Is 3/(-12)*9258*(-2)/3 composite?
False
Let a be 1 + 37 - (13 - 11). Suppose 0 = m - 11 - a. Is m composite?
False
Let h = 574 + -405. Let q = h - 14. Is q a composite number?
True
Suppose 2*u = -0*c - 5*c + 175, -2*u + 193 = -c. Let i = -10 + u. Let p = i + -60. Is p a composite number?
True
Is 449 - (-2)/(10/(-15)) composite?
True
Is 2 - (-415 - 8/4) a composite number?
False
Let t(o) = -12*o - 3. Let x(s) = s. Let k(p) = -t(p) - 2*x(p). Is k(5) prime?
True
Let t = 221 + 2. Is t/4*(7 + -3) composite?
False
Let u(i) = i**3 + 4*i**2 + 3. Let k be u(-4). Suppose -6 = k*y, -3*b - b + 4*y = -556. Let a = b - 46. Is a prime?
False
Suppose y = 4*y + 69. Let n = 13 + y. Is n/2*(-16 + 5) prime?
False
Let o(l) be the third derivative of -l**6/120 + l**5/10 - l**4/8 + 5*l**3/6 + 4*l**2. Let w be o(5). Suppose 0 = -2*g + w + 99. Is g a prime number?
False
Let k(v) = -v**3 - 6*v**2 - 6*v - 2. Let w be k(-5). Suppose 0 = -c + w*c - 318. Is c a composite number?
True
Let x be (6/10)/(4/20). Let d(t) = -t. Let h be d(x). Is 4/(-6) + (-101)/h composite?
True
Let q = 73 + -50. Is q prime?
True
Suppose -3*u - 4*l = -0*u + 6, -2*u - 5*l = 11. Suppose -4*a = -10 + u. Suppose -a*s - s + 216 = 3*f, -4*f - 248 = -4*s. Is s composite?
False
Let a = -2 + 6. Let t(y) = a + y**3 + 2 - 10*y + 0 + 7*y**2. Is t(-8) composite?
True
Suppose -5*j = 2*v - 168, -2*v + j = 16 - 172. Is v a prime number?
True
Let l(s) = s**2 + 3*s + 4. Let i be l(-3). Let b = -1025 + 1543. Suppose 3*y - z = 4*z + 779, -2*y + i*z + b = 0. Is y prime?
True
Is 24024/15 - 6/10 a prime number?
True
Let x(o) = -318*o - 17. Is x(-4) a composite number?
True
Suppose 3*h - 122 = h. Let f = h + 172. Is f a prime number?
True
Let g(y) = y - 4. Let v be g(6). Suppose -2*l +