?
False
Let a(f) = f**3 + 12*f**2 + 19*f + 2. Is a(-9) prime?
False
Let z(b) be the first derivative of -b**3/3 + b**2/2 - 7*b - 1. Let a be z(-6). Let x = a - -100. Is x prime?
False
Let w be 2/9 - 52/(-9). Let u(a) = -a**2 - 8*a + 6. Let q be u(-9). Let y = q + w. Is y a composite number?
False
Let q = -2713 - -4776. Is q a composite number?
False
Suppose -6 = -2*g - g - 2*a, 0 = -3*g - 4*a. Is (-1)/4 + 189/g a composite number?
False
Let r(p) = -15*p**3 - 2*p**2 + 1. Let f be r(-1). Is (-4168)/(-28) + 2/f composite?
False
Suppose -2*p + 3*y - 11 = -0*p, -4*y + 10 = -5*p. Suppose -5*k + 25 = 5*l, -3*l = -k + 1 - 0. Suppose p*w - k*w = -26. Is w a prime number?
True
Let l be (-6 - 0)/((-4)/(-596)). Is ((-6)/18)/(2/l) composite?
False
Let f be 2 + (-38)/(-2) - 1. Let l be ((-6)/15)/((-2)/f). Suppose l*p - h + 4*h - 164 = 0, h - 4 = 0. Is p a composite number?
True
Let k = 1 - -2. Let v(h) = 68*h - 6. Let g(q) = -23*q + 2. Let y(s) = 11*g(s) + 4*v(s). Is y(k) a prime number?
False
Let v(y) = 105*y**2 - 2*y + 4. Is v(-3) a prime number?
False
Suppose 2*k + 0 = 2. Let h(v) = -k - 1 - 1 + 21*v + 5*v. Is h(2) composite?
True
Is 14574/(-105)*(-10)/4 prime?
True
Let c(f) = -9*f**2 + 3*f - 1. Let v(a) = -a**2 + 1. Let w(o) = -c(o) + 2*v(o). Is w(5) a prime number?
True
Suppose -3*t + 5*c = 22, -4*t + c = 2*c - 9. Suppose -3*y + 3*a = -33, 0 = y - 4*y - 5*a + 9. Let k = y - t. Is k composite?
False
Let y(u) = 63*u**2 + 2*u + 3. Is y(-2) composite?
False
Let c(k) = -1 + 1 + 2 + k**2. Suppose 0*b - a - 10 = -4*b, -2*a + 7 = b. Is c(b) a composite number?
False
Suppose x = 3*l - 241, -2*l - l + 256 = 2*x. Suppose -4*r - l - 9 = -5*f, 0 = -4*r + 4. Is f composite?
False
Let k(t) = -4*t + 19. Is k(-15) a prime number?
True
Let q(g) = -364*g**3 + g**2. Is q(-1) a composite number?
True
Suppose 6*d - 2*d - 3*n = -5, 0 = -d - 5*n + 16. Let t be (-1 - 8 - d) + 1. Is 32 + -3*3/t composite?
True
Is (-32898)/(-7) + -1 + (-22)/(-77) a prime number?
False
Suppose 2*j - 6 = -0. Let u = j - -3. Suppose -o + 2*o - u = 0. Is o a prime number?
False
Let w = -4 - 83. Let r = w - -290. Is r composite?
True
Let w = 8 - 5. Suppose 4*g = -w - 1. Is (-800)/(-6) - g/(-3) prime?
False
Suppose -k + 137 + 1092 = 0. Is k a prime number?
True
Let u(k) = 17*k - 7. Let y be u(-10). Let f = -98 - y. Is f a prime number?
True
Suppose -2*w + 169 = -109. Is w composite?
False
Let y(m) = -m**3 - 3*m**2 - 2*m - 1. Let z be y(-2). Let v be z/(-3) + (-224)/6. Let r = -18 - v. Is r a composite number?
False
Let j be (6 - -109) + (0 - 3). Let n = j + -61. Is n composite?
True
Let j = 9 + -10. Let n = 3 + j. Suppose -n*k + b - 5*b + 150 = 0, -20 = -5*b. Is k a composite number?
False
Let n(t) = t**2 + 6*t. Let h be n(-4). Let p = -5 - h. Is p prime?
True
Let x = 8 + -35. Is (-1383)/x - (-4)/(-18) a prime number?
False
Is (7/21)/((-2)/(-2892)) a composite number?
True
Suppose -3*t - 534 = -0*t - 5*v, -3*v = 3*t + 510. Let l = t - -256. Is l prime?
True
Let c(h) = -h**2 + 8*h + 3. Suppose -4*f + 12 = -28. Suppose -b + 5*d = -1, 2*d + 2 = -b + f. Is c(b) a composite number?
True
Suppose -3*y + 2 = -4*u + 10, -2*y + 4*u = 12. Suppose -3*n - 97 = -y*n. Is n a prime number?
True
Let f(d) = 2*d - 6. Let q be f(8). Suppose 9 = -4*t + y, q = 3*y - y. Let x(r) = -109*r**3 - r**2 + 1. Is x(t) a composite number?
False
Let l be (2/(-4))/((-2)/24). Let z be (-1 - 21/(-9))*l. Let d = 11 + z. Is d a composite number?
False
Let m(p) = p**2 - 5*p + 2. Let h be m(5). Suppose 4*c - 331 = y, 0 = h*c - 4*y - 130 - 32. Is c composite?
False
Let f(j) = -28*j**3 + 4*j**2 + 2*j + 5. Is f(-3) composite?
True
Let b(o) = o**3 + 3*o**2 + 15*o - 7. Is b(6) prime?
False
Let d(h) = -3 + 0*h - 15*h - 2. Suppose -4 - 8 = 2*k. Is d(k) composite?
True
Let q = 11 + 0. Is (q - -29) + -1*1 composite?
True
Is ((-5)/10)/((-1)/1146) composite?
True
Let r(x) = -52*x - 6. Is r(-5) prime?
False
Let s(l) = 60*l - 10. Let d be s(8). Suppose 3*i + d = 4*c, c + 0*c + 2*i = 123. Is c composite?
True
Suppose -18 = -3*a - 0. Let k(d) = 2*d - 8. Let h be k(a). Suppose -h*z = 96 - 356. Is z prime?
False
Let k(d) = -d**2 + 7*d - 6. Let a be k(5). Suppose -2 = -2*y + a. Let s(n) = 2*n**3 + 2*n**2 - 3*n + 4. Is s(y) a prime number?
True
Is 27174/54 - (-4)/(-18) a composite number?
False
Let r(o) = -10*o + 5. Is r(-9) a prime number?
False
Let b(w) = -w. Let c be b(-5). Suppose 0 = -o + g - c*g + 168, -g = -5*o + 819. Suppose 5*u - o = 281. Is u composite?
False
Suppose 2*l - 21 = -5*s - 71, 4*l = 5*s + 20. Let f be (-65)/20 - 2/s. Is (-1 - -4) + 79 - f a composite number?
True
Let i be (-2)/8 - 2/(-8). Let p(y) = y**3 + 5*y**2 - 8*y - 9. Let c be p(-6). Suppose -x + i*v + 3*v = -19, -c*v = -3*x + 33. Is x a prime number?
True
Let f(h) = -5*h - 35. Let o be f(-8). Let a(z) = 5*z - 1. Let v be a(1). Suppose -y - 2*x = 3*x - 132, -o*x + 513 = v*y. Is y composite?
False
Suppose 7*n + 474 = 13*n. Is n composite?
False
Suppose -i + 4*i - 6 = 0. Suppose i*v = -v + 231. Is v composite?
True
Let s(l) = -l - 6. Let k be s(-6). Let h(p) = p**2 + p + 526. Let c be h(k). Suppose -b = b - c. Is b prime?
True
Let w(t) = t**2 + t + 3. Let o(i) = i**3 - 10*i**2 + 8*i + 9. Let j be o(9). Let l be w(j). Suppose -3*b - b + 2*m = -10, 0 = -3*m - l. Is b a composite number?
False
Suppose z - 469 + 90 = 0. Is z prime?
True
Suppose -6*g + 12 = -4*g. Suppose h + 35 = g*h. Is h a prime number?
True
Suppose 0*m = m. Suppose m = -6*s + 4*s + 38. Is s composite?
False
Let o(i) = -62*i**2 + 2*i - 1. Let f = 2 + -1. Let b be o(f). Let p = b + 104. Is p a composite number?
False
Let x be (-4)/8 + (-1)/(-2). Suppose x = -5*v + v - 132. Is (-5 + -1)*v/6 a prime number?
False
Suppose -o - o = -w + 2, 4*w - o - 15 = 0. Suppose -w*b + 3*b + 2*f = -69, b = -3*f + 74. Is b a prime number?
True
Let s be 8/(-44) + (-64)/11. Let b(t) = 9*t**2 + t + 1. Is b(s) a prime number?
False
Suppose 3*v - 4 = -3*r + 5, -31 = -5*r + 3*v. Suppose 0 = 3*q - 4*a + 3*a - 143, 245 = r*q - 3*a. Is q a composite number?
True
Let f = -1 + 4. Suppose -f*v = v - 56. Is v a prime number?
False
Suppose 5*r = -2*b + 1242, 5*r + 1901 = 3*b + 3*r. Is b a prime number?
True
Suppose 0 = 2*w - 4*w - y + 893, -5*y + 1771 = 4*w. Is w a composite number?
False
Let q = 134 - 71. Let w = q - -50. Is w composite?
False
Let w = -18 + 28. Let o be (-357)/(-28) + 3/(-4) + 1. Let t = w + o. Is t a prime number?
True
Suppose -149 = -3*h + 2*h. Suppose -2*s + h = -17. Is s a composite number?
False
Suppose 0 = -f + 1 + 1. Suppose -104 = -6*g + f*g. Let j = g + 9. Is j a prime number?
False
Let k = -1 + 3. Let b(i) = -i**2 - 10*i + 14. Let x be b(-11). Suppose -2*n = x*u - 35, u = -k*u + 3*n + 30. Is u a prime number?
True
Suppose -d = 171 - 49. Let a = 199 + d. Is a prime?
False
Suppose 4*c + 2*i - 10 = 12, 4*c + i = 19. Suppose -c*z - 157 = -529. Is z composite?
True
Let l(w) = -20*w + 1. Suppose 0 = -u - 1 - 6. Is l(u) a prime number?
False
Let v be 1 - ((-499 - -2) + 3). Suppose 5 = -n - 0, -d + v = n. Suppose 2*c - d = -4*f, c - 3*c = 8. Is f a composite number?
False
Suppose 2*b = -3*z + 64, -2*z - b = b - 46. Let w = -8 + z. Is w/(-25) + (-387)/(-5) a prime number?
False
Suppose 0*o = -5*o + 15. Suppose 0*t + 26 = -5*i + o*t, 0 = i - t + 6. Is (-77)/(-4) + 1/i composite?
False
Let u(v) = 2*v**2 - 6*v + 7. Let r(n) = n**3 - 11*n**2 - 13*n + 14. Let c be r(12). Let z be 0 - ((-18)/c)/1. Is u(z) a composite number?
True
Let r(q) = 6*q**2 + 3*q + 4. Is r(3) composite?
False
Let l be (-8)/(-20) + (-8)/(-5). Suppose 4*w - 5*j - 27 = 0, w - l*j - 3*j = 18. Suppose w*r = 47 + 10. Is r a prime number?
True
Suppose 72 + 136 = 2*h. Let m be (1 - (1 + 1)) + -48. Let c = m + h. Is c composite?
True
Let v = -2 - -2. Suppose v = -w + 7 - 2. Is (-1)/w - (-1852)/10 a composite number?
True
Suppose -1043 = -5*j - d, -5*j - 3*d + d + 1041 = 0. Is j prime?
False
Is ((-48)/(-18) - 2)*(-23802)/(-4) a composite number?
False
Suppose -4*s + 5*v = -1099, 2*s + 6*v - 555 = 3*v. Suppose -d - s = d. Let h = 215 + d. Is h prime?
False
Let i(j) = 7*j. Let g = 1 + -5. Let t(k) = 6*k + 1. Let y(w) = g*t(w) + 3*i(w). Is y(-5) a prime number?
True
Let o be 2/7 + (-514)/(-14). Suppose 2*t - t - o = 0. Is t composite?
False
Let h(g) = g + 5. Let y be h(-6). 