q) = -q - 3. Suppose 6*p = 4*p. Let h be m(p). Let s = 40 - h. Is s composite?
False
Suppose -3*h = 3*y - 6*y + 9, -5*h - 15 = -y. Suppose y*w = 3*w + l - 164, 0 = -2*l - 2. Is w a prime number?
False
Let k(a) = 17*a**3 - 8*a**2 - 3*a - 1. Let u(t) = 33*t**3 - 15*t**2 - 6*t - 2. Let i(z) = 11*k(z) - 6*u(z). Is i(-2) composite?
True
Let f(c) = -c**2 - 8*c - 7. Let m be f(-5). Let z = m - 5. Suppose 6 = z*q - 12. Is q a prime number?
False
Let d = -2 + 7. Suppose 12 = 2*p + p + 3*i, d*i - 8 = -p. Suppose -31 = -4*w + p*w. Is w a prime number?
True
Suppose 4*g + 371 = 5*n - 312, 5*n + g - 698 = 0. Is n prime?
True
Suppose -6663 = -12*x + 1485. Is x a composite number?
True
Suppose -m - 4*m - 95 = 0. Suppose 4 = -4*h - 8. Is h - (m - (1 + -2)) a prime number?
False
Suppose 3*o + 1314 = 5*i, 0 = -2*o - o - 9. Suppose 4*s - 5*f = i, -4*s = -2*f - 117 - 153. Is s a composite number?
True
Suppose -3*p - 13699 = -4*u, 3*u - 3*p - 1666 = 8606. Is u a composite number?
True
Let h = 276 + -25. Is h prime?
True
Suppose -2*s = c - 5*c - 502, 5*s - c = 1246. Is 2/(255/s + -1) composite?
False
Let z = 2 + -2. Suppose -4*y + 3*d + 2767 = z, -1379 = -2*y + 3*d - 6*d. Is y a composite number?
False
Suppose 15 = -5*g + 2*s, g + 3*g + 5*s = -12. Let o(m) = -71*m - 3. Let a be o(g). Is (-1 - 4/(-2)) + a composite?
False
Suppose -2*m + 2*p = -3*m + 306, -4*m - 3*p = -1204. Suppose -j - 3 = 0, -2*l + j - 105 + m = 0. Is l composite?
True
Suppose 4*l = 399 + 857. Suppose i + i = l. Is i composite?
False
Let h(g) = 12*g**3 + 6*g**2 - 3*g. Let z be h(4). Let k = z + -451. Is k composite?
False
Let w = 50 - 83. Is (-962)/(-6) + (-22)/w prime?
False
Let n(z) be the second derivative of -3*z + 0 + 3*z**2 + 1/12*z**4 + z**3. Is n(-6) a prime number?
False
Suppose -k - 2 = v - 0, -2*k = v - 1. Suppose -3*q - 6 = k*h - 0, -3*h + 29 = -4*q. Suppose -x = 5*c - 89, -3*c + 245 - 2 = h*x. Is x prime?
True
Let i(h) = -3*h**2 - 4*h + 1. Let d be i(-3). Let o = 33 + d. Is o a prime number?
True
Suppose -2*i + 1078 = 2*p, -p + 1623 = i + 2*i. Is i prime?
False
Suppose -2*v - 3*v = -375. Suppose v = -2*d + 7*d. Is d composite?
True
Let g(f) = 12*f - 25. Is g(15) prime?
False
Suppose 2*h = -x + 927, 4*h - 1245 = x + 624. Let b = -101 + h. Is b a prime number?
False
Let j be ((-15)/6)/((-1)/6). Suppose 190 = -2*v + 7*v. Let f = j + v. Is f a composite number?
False
Is 0 - 4 - 1/((-1)/5667) a composite number?
True
Let j = 558 - -83. Is j a prime number?
True
Suppose -5*k + v = -1, 4 = -k - v - 3*v. Suppose k*o = -5*o + 395. Is o prime?
True
Let q be 0 - ((-18)/3)/(-2). Let s(a) be the second derivative of a**4/4 + a**3/2 + a**2/2 + a. Is s(q) composite?
False
Suppose d = 59 + 31. Let p = d - 48. Suppose 36 + p = 3*o. Is o a prime number?
False
Suppose 12*x - 11*x = 623. Is x a composite number?
True
Is ((-28)/6)/((-16)/8616) a prime number?
False
Let t = -16 - -17. Is (39 - 2)/(t/1) a prime number?
True
Let y(j) = -60*j**3. Let d be y(-1). Suppose 4*v - 2*x - 574 = 0, 3*x = -4*v - d + 629. Is v a prime number?
False
Let j be 6/(-4)*(-4 - -2). Suppose 0*k - l + 161 = j*k, 0 = -k - 5*l + 63. Is k a prime number?
True
Let h(d) be the second derivative of d**4/12 - d**3/3 - d**2 + 5*d. Is h(-5) a prime number?
False
Let v(y) = 30*y - 5. Is v(2) prime?
False
Let f(y) = 3*y - 2. Suppose 8 = -3*j + 2*j. Let s = j + 11. Is f(s) a prime number?
True
Let d(c) be the second derivative of -5*c**3/3 - 4*c**2 + 5*c. Is d(-9) prime?
False
Suppose 0 = -2*v - 9 + 5. Let l = 1 - v. Suppose -349 = -7*w + 4*w - 4*d, 0 = l*w + 5*d - 347. Is w a composite number?
True
Suppose -6 = -2*y - y. Let p(t) = -t**2 + y*t**3 + 5*t + 3*t**2 - t**2 - 3*t**3 + 2. Is p(-3) a composite number?
False
Let z(c) be the third derivative of c**6/120 - c**5/20 - c**3/2 + 3*c**2. Is z(4) prime?
True
Let u(m) = -371*m - 3. Is u(-2) prime?
True
Suppose -3*z = -5*a + 48 + 6, 2*a - 4*z = 30. Suppose 0 = -3*i - a, -m + 288 = 2*m - 2*i. Is m a prime number?
False
Let w = 7 - 5. Let a = w + -2. Suppose n + 2*n - 93 = a. Is n a composite number?
False
Is (1 - (1 + -1))*1187 a composite number?
False
Suppose -n = 2*n - 21. Suppose -2*r + n*r = 0. Suppose r = k - 2*k + 115. Is k prime?
False
Suppose -14 + 1 = -g - 3*i, -4*g - 5*i + 31 = 0. Suppose 2*d = g*d - 326. Is d prime?
True
Let s = 25 - -1149. Is s a composite number?
True
Suppose -5*x - 3*o = 1957, 2*o + 555 + 620 = -3*x. Let y = -244 - x. Is y prime?
False
Suppose 2*w - 3*x = -0*w + 2332, w + x = 1176. Suppose w = -3*i + 7*i. Is i prime?
True
Suppose 279 = 2*i + 17. Is i a composite number?
False
Let u = -1 - -3. Suppose 0 = 3*c - 20 + u. Is c composite?
True
Let g = -116 + 396. Let h = g + -113. Is h prime?
True
Suppose 0 = 2*f + 5*g - 55, 3*g + 60 + 31 = 5*f. Suppose 4*t = -f, 3*t - 4*t + 10 = r. Is r a composite number?
True
Let h = 127 + -62. Is h composite?
True
Let s(d) = 2*d**2 + 5*d - 12. Let j(r) = r**3 + 13*r**2 - r - 18. Let u be j(-13). Is s(u) prime?
True
Let y be (-16)/2*(-3 + 2). Let x(c) = 3*c**2 - 7*c + 7. Is x(y) prime?
False
Suppose 26 = 7*g - 555. Is g a prime number?
True
Let j(n) = -n**2 - 7*n + 11. Let w be j(-8). Let c = -5 - w. Is (-1)/(-4) - 278/c composite?
True
Let i = -45 + 84. Suppose 5*a + 47 = -2*w, w - 4*a + 31 = a. Let g = i + w. Is g a composite number?
False
Suppose 8*x - 3*x = -45. Let k(l) = l**2 + 10*l + 11. Let j be k(x). Is 810/12 - j/4 a composite number?
False
Is 2/4 - (225/(-6) + 0) composite?
True
Let o = 22 - 13. Let x(r) = r**3 - 7*r**2 - 4*r + 1. Is x(o) a prime number?
True
Suppose 4*r - 1844 = 1840. Is r prime?
False
Let p(q) = -q**2 + 2*q - 1. Let z be p(1). Suppose z = -3*v + 92 + 7. Is v prime?
False
Suppose -16 = -4*b - 0*b. Let q(s) = -2*s**2 - 5*s - 4*s + b + 3*s**2 + 3*s. Is q(9) a prime number?
True
Let r = -149 + 283. Let t = r - 252. Let p = 197 + t. Is p a prime number?
True
Suppose 0*o = 3*h + 4*o + 1, 2*h + 3*o = 0. Is (7/4)/(h/(-36)) prime?
False
Let k(n) = -n**3 - 4*n + 0*n - 5*n - 7 - 10*n**2. Let o be k(-9). Is (-2)/o + (-1084)/(-28) a prime number?
False
Let x(w) = 221*w - 2. Let t be x(12). Is t/5*1/2 a prime number?
False
Let s = 28 - -31. Is s composite?
False
Let p(l) = -19*l + 12. Let w be p(-9). Suppose 0 = -y + 43 + 83. Let r = w - y. Is r a composite number?
True
Let n(v) = v**2 - 6*v - 6. Let c = 4 + -7. Let k(q) = q**2 - 6*q - 6. Let s(o) = c*n(o) + 4*k(o). Is s(-7) prime?
False
Suppose -4*q = -0*q - 4*h + 76, 3*q - 2*h = -62. Is -446*4/q*3 prime?
True
Let x(s) = s**2 + 7*s + 1. Let h = 7 + -12. Let r be x(h). Is (-3)/(-9) - 1176/r a composite number?
False
Let w = 10 - 15. Let r(a) be the first derivative of -23*a**2/2 + 6*a + 1. Is r(w) composite?
True
Suppose -2 = 4*y + 5*t - 4, 0 = -3*y + t + 11. Suppose 2*j - j + y*v - 9 = 0, -4*v + 12 = 4*j. Is 1 - (-91 - (j - 1)) prime?
False
Let k(j) = j**3 - 2 + 0*j**2 + 2*j**2 + 0*j**2. Is k(3) a prime number?
True
Is (-2)/8 - (-1)/(16/26772) a composite number?
True
Let j = 1959 - 1138. Is j a composite number?
False
Suppose -4*g + u = -470, -2*g + 240 = u + u. Is g prime?
False
Let m(q) = -q**2 + 2. Let r be m(-5). Let h = r + 42. Is h a prime number?
True
Is 212 + -2 - (-1 - -2) prime?
False
Suppose -45*b - 1115 = -46*b. Is b a prime number?
False
Let z(a) be the first derivative of a**4/4 - a**3 - 7*a**2/2 - a - 3. Is z(5) a prime number?
False
Let k(n) = 3*n**3 - 4*n**2 - 5*n + 3. Let q be k(4). Is q/9 - 4/(-6) prime?
True
Suppose 4*v - 4 = 2*w, 4*v = w + 6 - 0. Let k be (-3)/(1/w - 1). Suppose 5*b - 96 = -3*y, k*y - 105 = 3*y - 2*b. Is y prime?
True
Let o(g) = 74*g**3 - g**2 + 2*g - 1. Suppose 18*r - 16*r - 2 = 0. Is o(r) composite?
True
Suppose v + 2*r = 8, 4 - 1 = 3*r. Let c = 8 - v. Suppose 2*q + 184 = 2*y, -3*q + 270 = c*y + y. Is y a composite number?
True
Suppose 0 = -3*f + 7*f - 180. Suppose -2*k - 2 = 0, -k - f + 308 = 2*g. Is -3 + 2 - g/(-2) a composite number?
True
Suppose 0 = -5*j + 417 - 92. Let d = -40 + j. Is d composite?
True
Let k be (-2)/(-4) - 4/8. Suppose -o + 5*o - 620 = k. Is o prime?
False
Suppose 2*c = 2*h, 4*c + 3*h + 2 + 12 = 0. Is c/(444/(-436) + 1) composite?
False
Let x = -677 - -1590. Is x a prime number?
False
Suppose -8*g + 4*g + 489 = 3*a, -245 = -2*g - a. Is g prime?
False
Suppose -4*t + 4 = 4*h, -4*t + 12 = -2*h - 2*h