3*u + 231. Let k(z) = 4*c(z) + 11*g(z). Let l be k(0). Let w = l - 54. Is w prime?
True
Suppose -2*b - 8 = 2. Let x be (8/20)/((-1)/b). Let n(t) = 2*t**2 + 1. Is n(x) prime?
False
Let n be (3 + 0)/(-3)*-2. Suppose n*t - 44 = -2*p, 3*t - 4*p - 63 = -4. Suppose -2*a = -17 - t. Is a a prime number?
True
Let k(j) = 129*j**2 - 10. Is k(3) a composite number?
False
Suppose 0 = -2*s - z - 2, 4*s - 2*z - 12 = 0. Suppose -m + s = 8. Let g = 0 - m. Is g prime?
True
Let i = 3 + -3. Suppose 3*j - 6 = -i*j. Let p = j + 1. Is p a prime number?
True
Suppose 2*a - 2 = a. Suppose 0 = -p + a*q - 4, 3*p = -3*q + 5*q. Is p a composite number?
False
Let u be (2 + -2)*(-2 - -1). Suppose -4*p = -3*p + 2. Is (u + 11/(-2))*p a prime number?
True
Let t = 4 - 1. Suppose -a - 5*b = 0, -5*a + t*a + 52 = -3*b. Suppose a = -4*k, -2*k - 9 = -d + 24. Is d composite?
False
Let u(l) = l**3 - 6*l**2 - 2. Let g be u(6). Let x(v) = -v**3 - 3*v**2 - v - 1. Let n be x(g). Is 1*(28 - n) + 0 a prime number?
True
Is -14*(4 - 11/2) a prime number?
False
Let g = 1466 - 775. Is g a prime number?
True
Let j(u) = -u**3 + 15*u**2 - u - 5. Is j(14) a composite number?
True
Let m(c) = -c**3 - 6*c - 5. Let h(g) = g**3 - 5*g**2 - 2*g + 6. Let t be h(5). Is m(t) a prime number?
True
Let c = -182 + 1299. Is c a composite number?
False
Let o(x) = -7*x**2 - 8*x + 3. Let u(h) = h**2 + h. Let v(p) = -o(p) - 5*u(p). Let r be v(2). Let s = r + 26. Is s a composite number?
False
Let r = 8 + -6. Suppose 4*a - 168 = -4*p, -r*p + 0*a = a - 79. Is p a composite number?
False
Let b(y) = -y**2 + 7*y - 4. Let r be b(7). Let o(d) = d + 8. Let i be o(r). Suppose 528 = 4*p - x - 0*x, 0 = i*p - 3*x - 536. Is p composite?
False
Let i(a) = a**2 + 6. Suppose 5*m + 4*h + 2 = 0, 0*h = -4*h - 12. Let z be (-6 + 1)*(m - 1). Is i(z) a prime number?
True
Let q(p) be the third derivative of p**4/24 - p**3/6 + 2*p**2. Let h be q(5). Suppose u - 41 = 4*s - 2*s, -4*s = h*u - 116. Is u composite?
True
Suppose m = -0*m + 211. Is m composite?
False
Let r be 4/(-6)*(-114)/4. Let q = 50 - r. Is q prime?
True
Let r = 4 + -14. Let p be (4/(-2))/2*-4. Let g = p - r. Is g prime?
False
Suppose -3*s + 684 = 3*d, -4*s - 928 + 56 = -4*d. Let b = d + 78. Is b a composite number?
True
Suppose -s - 4 = -x, -2*x + 3*x = 5*s. Let c(j) = 127*j**3 - 8 + 8. Is c(s) prime?
True
Let w(l) be the first derivative of 19*l**2/2 - 2*l + 12. Let z be -2 - (10*1)/(-2). Is w(z) composite?
True
Let c(k) = -17*k**2 + k. Let l be c(1). Let r = -1 - l. Let z = 26 - r. Is z prime?
True
Let n(d) = 12*d**2 - 7. Let j = 22 - 32. Let x = 5 + j. Is n(x) a prime number?
True
Let f be -2*(-1 + 2)*-1. Is (46/4 - 2)*f a composite number?
False
Suppose 665 = 4*l - 543. Suppose -77 + l = 5*k. Let w = k + -30. Is w composite?
True
Suppose -p - 116 = -2*b - 38, 25 = b + 3*p. Is b prime?
True
Let t(q) = 21*q**2 + 2*q - 4. Is t(3) a prime number?
True
Let m(o) = o**3 - o**2 - 8*o + 6. Let b be m(6). Suppose 25*d + 6 = 27*d. Suppose 9 = d*z - b. Is z composite?
True
Suppose 2*r + 2*r - 1168 = 0. Suppose -4*x + 239 = 3*l, -4 - r = -5*x - l. Is x composite?
False
Let k be -6*5/(15/2). Is (-2)/k*194/1 a composite number?
False
Let h(g) = g + 2. Let x be h(5). Let m(q) = 3 + 10*q - 35*q + 3*q**2 + 16*q. Is m(x) a composite number?
True
Let g = -7 - -9. Suppose -37 = -u + 5*n, -g*u = n - 46 - 28. Is u composite?
False
Let c = -760 - -1751. Is c composite?
False
Let r = 19 - -55. Is r - (1 - 1 - 3) prime?
False
Let i(o) = 288*o**2 + o. Is i(-1) a composite number?
True
Is (13/(-3) + 4)/((-2)/8394) a prime number?
True
Let i be (-1)/(-3) - 11/33. Suppose i*s = -5*u + 2*s + 1027, 5*u - 1024 = -s. Is u composite?
True
Let q(d) be the first derivative of -d**4/4 + 14*d**3/3 - 11*d**2/2 - 3*d - 2. Is q(8) a prime number?
True
Suppose -12*r = -9*r - 4083. Is r a prime number?
True
Let f(y) = -7*y**3 - 13*y**2 + 3*y - 1. Let j(a) = 8*a**3 + 14*a**2 - 2*a. Suppose 13 + 1 = -2*x. Let g(l) = x*f(l) - 6*j(l). Is g(-8) composite?
True
Let j(d) = -d**3 + 5*d**2 + 7*d + 1. Let q = 10 - 4. Is j(q) a composite number?
False
Is (-34)/187 - 158/(-22) a prime number?
True
Suppose 8*i - 5958 = -10*i. Is i a prime number?
True
Suppose 5*w + 27 - 2 = 0. Let z be (-2 - w)*(1 + -2). Is -7*(z + 2)*1 composite?
False
Suppose l = 3*i - 8*i - 46, 5*i + 112 = -2*l. Suppose 2*n - 4*n + 322 = 0. Let f = l + n. Is f a prime number?
False
Let m be ((-2)/(-6))/((-16)/(-144)). Suppose 0 = -m*x - x + 424. Is x a prime number?
False
Suppose 4*m = -0*m + 24. Suppose 0 = -4*r + 2*r + m. Is r composite?
False
Let o = 12 - 7. Suppose 13 = 2*m + o. Suppose 625 = 3*a + 5*r, a + 46 = -m*r + 259. Is a a composite number?
True
Let i(r) = 22*r**2 - 10*r + 28. Let v(a) be the first derivative of -7*a**3/3 + 3*a**2/2 - 9*a + 3. Let k(y) = -2*i(y) - 7*v(y). Is k(5) a prime number?
True
Suppose w + 10 = -69. Let i = w + 118. Is i a composite number?
True
Let v = 2 - -3. Suppose -l - 2*j = -v*l + 1008, -3*l = -5*j - 763. Is l a prime number?
True
Let z(m) = -5 + 8*m + m**2 - 3 + 3. Suppose 4*g - 21 = 3. Is z(g) a prime number?
True
Is ((6/(-4))/(-3))/(19/23978) a composite number?
False
Suppose -2*v = -4*v - 8. Let x(z) = -54*z - 5. Is x(v) composite?
False
Suppose 4*w - 132 = -3*t + 109, 0 = 2*t + 3*w - 160. Is t*3/12*4 a composite number?
False
Is (-1*1)/((-4)/204*1) a prime number?
False
Let t = -1308 - -1939. Is t a composite number?
False
Is 638/((-4)/(0 + -2)) a composite number?
True
Let o(i) = 9*i - 1. Let t(j) = 8*j - 1. Let n(d) = -6*o(d) + 5*t(d). Is n(-1) a composite number?
True
Let j(b) = 22*b**2 - 5. Is j(4) a prime number?
True
Suppose 6*t - 2*t = 32. Suppose 0 = 2*w - 4*w - 3*r + 9, w + 5*r - t = 0. Is w prime?
True
Suppose 0 = 4*d + d - 10. Let k be (-5)/(-2) - 1/d. Suppose -2*c + 4*c = -2*q + 4, -k*q - c + 4 = 0. Is q prime?
True
Let t be (-4)/10 + (-2841)/(-15). Let h = 28 + t. Is h composite?
True
Let y(r) = r**3 + 10*r**2 - 2*r - 9. Suppose -6*o = -4*o + 20. Is y(o) a composite number?
False
Let o(x) = x**3 - 4*x**2 + 4. Let c be o(4). Suppose -4*j = -8, -4*q + c*j = 5*j + 106. Let k = q + 46. Is k composite?
False
Suppose 5 = -0*z + z, 2*z - 163 = -3*d. Is d composite?
True
Let q = -8 + 10. Suppose q*g - 8 = 12. Is g a composite number?
True
Let b = 8 + -14. Let p(d) = -28*d - 9. Let o be p(b). Let y = o - 90. Is y a prime number?
False
Is (-3773)/(-14) - (-2)/(-4) prime?
True
Suppose -b = -0*b - 21. Is b a prime number?
False
Let n(a) = -9*a + a**2 + 13*a**2 - 13*a**2 - 4. Suppose 4*i - 6 = 3*i - 2*r, 0 = i + 4*r - 2. Is n(i) a prime number?
False
Let b = 4 - 1. Suppose -2*w + 3*o + 4 = -b*w, -2*w - o = -2. Is w/6 + 41/3 a prime number?
False
Suppose -3*o + 3*p - 6 = 0, -2*p - 30 = 3*o - 4. Let n(r) = -12*r + 5. Is n(o) prime?
False
Let x(o) = -o**3 + 3*o**2 - o - 4. Let t be x(3). Let i(u) = -19*u - 6. Is i(t) prime?
True
Let x(a) = 15*a**3 + 2*a**2 - 2*a + 3. Let v = 8 - 6. Let k be x(v). Suppose 0 = 2*c + 5*s - 57, 5*c = 2*s + s + k. Is c prime?
False
Let y = 6 - 3. Suppose -m + y*m = -2. Is 96 + m + (-4)/(-2) composite?
False
Let l = -140 + 199. Is l a composite number?
False
Suppose -8*o + 3*o = 350. Is 42/o + 658/5 prime?
True
Suppose 11 = 5*l + 1. Suppose -4 + 0 = l*p. Is p/4 - (-411)/2 prime?
False
Suppose -5*h + 975 = -175. Suppose 0 = 5*c + h - 0. Is 3/((-6)/c)*1 composite?
False
Suppose 0 = -5*x - 3*v + 2404 + 739, -3*x + 2*v + 1901 = 0. Is x composite?
False
Suppose n + 236 = 5*n. Is n a prime number?
True
Suppose -4*m + 4*t + 6080 = 0, t + t = -6. Is m a composite number?
True
Suppose -11*f - 1005 = -16*f. Is f composite?
True
Let k be (1/(-2) + 1)*0. Is 1 + -8*(-20 + k) prime?
False
Let u = -32 - -58. Is (-5 - -7)/(4/u) prime?
True
Let j = 64 - -319. Let f(p) = p**2 - 8*p - 19. Let c be f(11). Is 4/c + j/7 composite?
True
Let u(x) = x**2 - 3*x + 2. Let y be u(3). Let h = 2 - y. Suppose -2*a + 338 = 5*f + 38, -a + 2*f + 159 = h. Is a composite?
True
Let o = 1347 - 596. Is o a composite number?
False
Let h be 12/9*639/6. Is (-9 + -1)*h/(-4) a prime number?
False
Suppose v = -1 + 11. Suppose 26 - 10 = 4*w - 4*s, v = -5*s. Suppose 5*d - 45 = w*d. Is d a composite number?
True
Let i(w) = -3*w**3 - 6*w**2 - 5. Let m(s) = -8*s**3 - 17*s**2 - s - 14. Suppose -4*f = 6 + 38. Let b(l) = f*i(l) + 4*m(l). 