False
Suppose -12*c + 7*c = 0. Let i(g) = 273*g**2 + g + 1. Let j be i(-1). Suppose c = 2*s + s - j. Is s a composite number?
True
Let y be (1 - -1) + 1 + -7. Let i(o) = o + 4. Let r be i(y). Suppose r*v - 94 = -2*v. Is v a composite number?
False
Let o(l) = 3*l**2 + 8*l - 7. Suppose 4*j + 12 = 0, 3*j + 11 = w + 2*j. Is o(w) prime?
False
Suppose 0 = -5*t - 6*h + 2*h + 1466, 0 = t - 4*h - 298. Suppose 2*n = n + 4*k + 154, 2*n - k = t. Is n prime?
False
Let z be (-2)/12 + (-385)/(-6). Let o = z + -42. Is o prime?
False
Let u be (1 - 3 - -5) + -130. Let x = u + 392. Is x prime?
False
Suppose -3*u = -w - 1252, -3*u + 8*u = -3*w - 3728. Is (-6)/8 - w/8 prime?
False
Let q(m) = -m**3 + m + 3. Is q(0) prime?
True
Let z = -5 + 7. Suppose z*a = 5*t + 157, a - 152 = 5*t + 4*a. Let i = t - -53. Is i a composite number?
True
Let r(z) = -3*z**3 - 6*z**2 - 4. Let p be (-9)/2 + (-2)/4. Is r(p) a composite number?
True
Suppose 22 + 1503 = 5*d. Is d prime?
False
Suppose -2*i + 20 = 2*i, i + 160 = 5*x. Suppose 0 = o + s + s - 100, -2*s = -5*o + 452. Suppose -k - x + o = 0. Is k a prime number?
True
Let j = 30 - 20. Is j a composite number?
True
Suppose 5*w + 0*m - 3727 = 2*m, 2*m = -2*w + 1502. Suppose 2*u + u = w. Suppose -5*r + u = -2*r. Is r a prime number?
True
Suppose 0 = 2*x - 5*s + 16, 4*s = -x + 3*x + 12. Let d(w) = 222*w + 1. Is d(x) a prime number?
False
Is (1637*(1 - 2))/(-1) a composite number?
False
Let o be (3/6)/((-4)/(-24)). Suppose 3*w = 5*s - 95, o*w = -4*s - 2*w + 113. Is s a composite number?
True
Let a be (-39)/(-9)*9*-1. Is ((-1)/(-1))/((-3)/a) a prime number?
True
Let x(b) = 24*b**2 - b + 1. Let i be x(1). Suppose -7*m + i = -3*m. Let l(q) = q**3 - 4*q**2 - 2*q + 5. Is l(m) composite?
True
Suppose -1 = 4*z - 5*z, -4*z + 74 = -5*n. Suppose -2*b + b = 7. Let q = b - n. Is q a composite number?
False
Suppose -2*i = -6 - 10. Let q be 2/(-3)*(1 + 2). Is (-844)/(-16) - q/i a composite number?
False
Let j = 5 - 3. Suppose j*h - h = 0. Suppose d + d - 18 = h. Is d a prime number?
False
Let u be (-1)/5 - (-5164)/20. Suppose -2*t - h + u = 23, -5*t + 607 = -4*h. Is t a prime number?
False
Suppose 4*i - 4*z = -140, z + 171 = -5*i + 2*z. Let c = i - -47. Suppose 0 = -4*u + 5*u - c. Is u a composite number?
False
Let g = -19 + 5. Is (-4608)/(-84) + (-2)/g prime?
False
Suppose 3*g = 4*g - 65. Suppose 0 = -2*u + u + g. Is u a composite number?
True
Let q = 19 - 13. Let w be (-1)/(((-4)/6)/2). Is 0 - w/(q/(-98)) prime?
False
Is (1/(-3))/((-1)/417) a composite number?
False
Let z = 0 - 0. Suppose z = -2*f + 80 + 506. Suppose 2*k + 2*t = 118, 2*k = 7*k + 3*t - f. Is k composite?
True
Let n(r) = -r**3 - r**2 + 641. Is n(0) composite?
False
Suppose -4*k - 16 = 4*o, -o + 4*k + 15 = -4*o. Let y be (-4)/6*o*-6. Is (-10)/(1 - y/(-2)) composite?
True
Suppose -2*j + 1054 = -0*j. Is j composite?
True
Suppose 2*g = 136 - 20. Is g a composite number?
True
Let v(y) = y**3 - y**2 + y. Let x(u) = -10*u**3 + 6*u**2 - 2*u + 4. Let w(q) = -5*v(q) - x(q). Is w(3) composite?
False
Suppose -4*f + 5*y = -36, -y + 0*y = 0. Suppose f + 1 = 2*i. Suppose -4*w - 97 = -i*w. Is w a prime number?
True
Let p(i) be the first derivative of i**3 + 4*i**2 + 11*i + 4. Is p(-8) prime?
True
Let k be ((-12)/(-14))/((-8)/(-560)). Suppose -4*w + 124 = 8. Let h = k + w. Is h composite?
False
Let p(b) be the third derivative of -2/3*b**3 + 1/12*b**4 + 0 + 3*b**2 + 0*b. Is p(5) a prime number?
False
Suppose 2*l - 116 = -152. Let x be 554/10 + (-2)/5. Let w = x + l. Is w a composite number?
False
Let x = 115 - -222. Is x prime?
True
Let s = 7 + 9. Let d = 126 + s. Is d composite?
True
Let h = -25 - -64. Suppose 2*j - 157 = -h. Is j composite?
False
Let i = 297 - -1202. Is i composite?
False
Let k = -48 - -122. Suppose h - 2 = 2. Suppose 4*z + 0*z = 2*r - k, -5*z = -h*r + 148. Is r a composite number?
False
Let s be 10/25 + (-1494)/10. Let l = s + 264. Is l a composite number?
True
Let d(p) = p + 3. Let h be d(-3). Let a(l) = -1 - 7 + l**2 + 19. Is a(h) prime?
True
Let i be 38/(-8) - 2/8. Let h(z) = -z**3 - 5*z**2 - 2*z - 7. Let r be h(i). Is r/(-2)*148/(-6) a prime number?
True
Let f(j) = 7*j**2 + 7*j - 6. Let p be f(-7). Let m = p - 137. Suppose 3 = -5*u + 2*u, -4*i = -3*u - m. Is i composite?
False
Suppose 0 = -2*p + 7*p. Suppose p = 3*u - 629 + 152. Is u a prime number?
False
Is ((-1)/2)/((-2)/1516) prime?
True
Suppose 0*q - 2*q - 20 = 0. Let l = 3002 - 5082. Is 2/q - l/25 a prime number?
True
Suppose w = -h - 2*h + 42, 4*w = -5*h + 77. Let p = 7 - h. Is ((-2)/1)/(p/435) prime?
False
Suppose w - 5 = 2*j + 12, 5*w - 4*j = 109. Is w composite?
True
Let y(u) be the third derivative of u**5/30 + u**4/8 + u**3/6 - 2*u**2. Let k(m) be the first derivative of y(m). Is k(4) composite?
False
Let l = 25 - 0. Let c = l - -10. Is c prime?
False
Let f(s) = -s**3 + 13*s**2 - 16*s - 2. Is f(9) composite?
True
Suppose 4*k + 3*a - 18 = 0, 2*k = 2*a - 0*a + 2. Suppose -2*w - k*l + 4 = 3*w, l = -2. Is (3/(-6))/(w/(-36)) composite?
True
Let w = -135 + 488. Is w a prime number?
True
Is (28/21)/((-6)/(-279)) composite?
True
Let c(v) = 358*v - 7. Is c(3) composite?
True
Let r be (-10)/(-15) + (-661)/(-3). Let h = 8 - 5. Suppose -p = 2*y - 156, 0*y - 5*p = -h*y + r. Is y prime?
False
Suppose -y + 40 = y. Is (-155)/(-4) - (-5)/y a composite number?
True
Suppose 4*x + 9940 = 9*x. Suppose -i - x = -5*i. Is i a prime number?
False
Suppose -3*r = 2*r + 2*p + 8, 20 = 5*r - 5*p. Suppose 2*b - 3*z - 191 = r, 4*z - 5*z + 83 = b. Let a = 67 + b. Is a a prime number?
False
Let v(r) be the first derivative of -r**4/4 - 3*r**3 + 15*r**2/2 - 8*r - 2. Is v(-11) a prime number?
False
Suppose -i + 3*v = -1070, -3*i - v + 6*v + 3190 = 0. Is i prime?
False
Is ((-1)/3)/((-4)/23172) prime?
True
Let t = 8 + -6. Let r(v) = 0*v**2 + 2*v + 0*v**2 - 2 + v**t. Is r(9) composite?
False
Let x(n) = n**2 + 115. Let j(a) = 5*a**2 - 7*a + 2. Let w(o) = 14*o**2 - 20*o + 6. Let i(b) = 17*j(b) - 6*w(b). Let r be i(-2). Is x(r) prime?
False
Let x(q) = 5*q**2 + 1. Let o be x(1). Let y = o - 5. Is -1 - -79 - (0 + y) a composite number?
True
Let u(o) = 7*o**2 + 3. Let z be u(3). Suppose -z = -4*c + 242. Is c prime?
False
Let c(j) = j**2 + 8*j + 9. Let f be c(-6). Let m be (f/2)/(3/44). Let u = 13 - m. Is u a composite number?
True
Let y(v) = 5*v - 1. Let b be y(1). Suppose 2*x + 125 = r, x + 482 = b*r + 2*x. Is r a composite number?
True
Let n be (30/9 + -2)*3. Suppose 0*s = n*u + 5*s - 32, -2*s + 8 = 0. Suppose -124 = -t + 3*j, 5*t - 369 = u*j + 215. Is t a prime number?
False
Is (1 - -248)*(-14 + 15) a prime number?
False
Let c = 2780 + -4464. Let g = -891 - c. Is g a prime number?
False
Let i(b) = b**3 - 6 + 2*b**3 - b + 2*b**2 + 7. Is i(3) a composite number?
False
Let u be (-5 + 4)*(-11 - 0). Let o be (18/5)/((-2)/(-20)). Suppose 0 = -g + u + o. Is g a prime number?
True
Let d(o) = 41*o + 4. Let i(b) = b + 10. Let z be i(-8). Suppose -k - 4*k - 2*h = -23, z*k - h - 2 = 0. Is d(k) composite?
False
Let y(l) = l**3 + 5*l**2 - 11*l - 4. Let c be y(-7). Let b = 24 - c. Is b a composite number?
True
Let t = 59 - 3. Let n = t + -9. Is n a prime number?
True
Is (-4)/14 + (-415)/(-7) a composite number?
False
Let p(i) = 7*i + 4. Let d = 20 - 10. Suppose -45 = -5*r - d. Is p(r) a composite number?
False
Let u be -2 + 4 + -4 + 23. Suppose 0 = -4*v - s + 111 - u, -117 = -5*v + s. Is v a composite number?
False
Is -3*(-1)/((-1)/(-157)) prime?
False
Let a = 1998 + -1325. Is a composite?
False
Suppose -2*b + 5*b = 249. Is b prime?
True
Let f(v) = 28*v - 3. Let x(w) = w**2 + 11*w + 2. Suppose m + 0 = -11. Let u be x(m). Is f(u) a composite number?
False
Let t = -106 + 289. Is t a composite number?
True
Suppose 2*i = 4*i - 974. Is i a prime number?
True
Is 1201/(((-14)/(-21))/((-2)/(-3))) a composite number?
False
Let u(i) = -2*i - 15. Let l be u(-10). Suppose 1 = -x + 2*j + j, j - 11 = -l*x. Suppose -13 - 1 = -x*r. Is r prime?
True
Is (-212)/6*-6 - (-3 - -4) composite?
False
Suppose k - 32 = 5*o - 0*k, 0 = -4*o + k - 26. Is (-10)/(-30) - 76/o composite?
False
Suppose 1 = s - 4, 3203 = 4*u + 3*s. Is u prime?
True
Let a(u) = -2*u**2 - 6 + 0*u - 4*u + u**3 + 1. Let f be a(4). Suppose -32 = -v - f. Is v a composite number?
True
Is (1021 + -16)*1/3 composite?
True
Suppos