Suppose 0 = 5*m - j + 221. Is m composite?
True
Let k = 299566 - 188249. Is k a prime number?
True
Let d(l) = l + 6. Let c be d(-5). Is (-3465)/(-22) - c/2 composite?
False
Suppose 2*c - 32 = -2*c. Suppose -c*p + 7385 = -p. Is p prime?
False
Suppose 0 = -5*l - m + 3, 2*m + 9 = 5*m. Let i be (l + (-5 - -2))*-158. Suppose 4*a - 340 = 2*d + i, d = -4*a + 799. Is a prime?
False
Suppose -6*k + 10*k = 248. Let n = k - 43. Suppose -3*r = g - 359, 3*r + n = 7. Is g prime?
False
Suppose -4*o + 19059 = w, 2*o - 3*w - 9533 = -0*w. Is o composite?
True
Suppose -4*i + 3*q + 9137 + 12739 = 0, -21876 = -4*i + 5*q. Is i a composite number?
True
Is -1*(-8 + 36567/(-3)) prime?
True
Let m = -11 - -5. Let i(j) = 49*j**2 + 22*j - 5. Let t be i(-2). Let z = t + m. Is z a composite number?
True
Let w = 1898 + -1267. Is w a prime number?
True
Let t = 20 - 15. Suppose -n - t*i - 25 = 0, -n - i - 5 = 3*n. Suppose n = 2*g - 22 - 48. Is g a composite number?
True
Let k(v) = 11 + 0*v - v - 9*v - 4. Let r be 7/(-3)*(4 - 1). Is k(r) a composite number?
True
Suppose 2063 + 157 = 4*f. Suppose 0 = -10*n + 5*n + f. Suppose -3*g + 2*g + n = 0. Is g a prime number?
False
Let b(d) = 5*d**2 - 13*d + 15. Is b(16) prime?
True
Let h(i) = 19*i + 6659. Is h(0) a prime number?
True
Let g = 3 - -1. Suppose 5*v = v - 3*t + 1869, -2*t = -6. Suppose -w - v = -g*w. Is w a composite number?
True
Suppose 5*d = h + 95521, 4*d + 20*h - 22*h - 76412 = 0. Is d a composite number?
True
Suppose -5*m + 10 = -0*m. Let v = -21 + m. Let f = 38 + v. Is f a composite number?
False
Let t = -6 + 4. Let f be 8628/14 - t/(-7). Let w = f - 317. Is w a prime number?
False
Let x(t) = t**2 + 3. Let i be x(0). Suppose 2 = h, 4*c + 0*h + i*h = 1930. Is c a prime number?
False
Let r = -1 - -3. Suppose 3*w + 4*m - 465 = 0, r*m = -0*w - w + 153. Is ((-5)/(-15))/(1/w) a composite number?
False
Let l = -106 - -572. Is l composite?
True
Let z be 8/12 + (-124)/(-3). Suppose -9*s + 2*s = 217. Let t = z + s. Is t a prime number?
True
Suppose -p - 4*p - 50 = 0. Is 10/(-25) + (-1214)/p a prime number?
False
Let f(p) = -p - 3. Let h be f(0). Let y be (2 + -1435)/(-4 - h). Suppose -3*n + 1 = -4*n, -5*l - 2*n = -y. Is l a composite number?
True
Let m be (-2954)/(-6) - (-2)/(-6). Suppose 5*s = 4*x - 34, -1 = 2*x + 2*s - 9. Suppose x*f + 0*f = m. Is f composite?
True
Let o = 52672 + -17765. Is o a composite number?
True
Suppose -311 + 131 = -5*i. Let d = i + -5. Is d prime?
True
Suppose -3*q = q - 5*h - 37, 0 = -4*q - 2*h + 58. Let c(m) = -3*m - 6 - q*m**2 + 12*m**2 - 5*m. Is c(-6) a composite number?
True
Let x be 1 - (-1)/(1 - 2). Suppose 11*l - 13*l + 1394 = x. Is l a composite number?
True
Suppose 26*p - 7144 = 78058. Is p a prime number?
False
Let m be (-185)/10*(-24 + -2). Suppose 184 = 2*p + 3*x, -2*p - 3*p + m = -3*x. Is p prime?
False
Let k(h) = -h**3 + 9*h**2 + 53*h + 23. Is k(-18) a prime number?
True
Let h(o) = -10*o**3 + 3*o**2 - 28*o - 24. Is h(-11) composite?
True
Suppose -17*q + 70 = -12*q. Let h = 571 - q. Is h prime?
True
Let o be (102/21)/((-6)/(-42)). Suppose 167 = p - o. Is p a composite number?
True
Let y = -832 + 2002. Suppose 4*q - 2*m = -0*q - y, -5*q - 1464 = -2*m. Let x = -161 - q. Is x a composite number?
True
Suppose -2*u + 8066 = 4*s - 0*u, s - 2*u = 2029. Is s composite?
True
Let j be (-4)/24 + (-94)/12. Let u = j - -2. Is u + 1 + 2 - -37 a composite number?
True
Let k(v) = -24*v - 20. Let d be k(-14). Suppose -2*o = o + 4*x - 207, 3*x = 5*o - d. Is o a prime number?
False
Suppose 3*s - 3054 = 3*z, 3*z + 261 - 4333 = -4*s. Suppose j + 2*p = 205, 5*j - 2*p + 5*p = s. Is j a composite number?
True
Suppose -3*t = 16 - 1, -3*t = -5*k + 35. Suppose 7*n - 114 = k*n. Let i = n + 13. Is i composite?
True
Suppose 237*j - 5139 = 228*j. Is j prime?
True
Suppose -22 = -5*j + 16*j. Is (3/6)/(j/(-1156)) a prime number?
False
Let i be 21/(-6)*(6 + -2). Let f = i - -17. Suppose 0 = -4*z - 5*v + 35, 3*v = -f*z + 2 + 25. Is z prime?
False
Suppose -20 = 8*l - 52. Is 67*(l/(-2) - (-4 - 3)) prime?
False
Let u be 54/(-3)*(-3)/9. Suppose -u*t = -t. Suppose 0 = -h - t*h + 121. Is h a composite number?
True
Suppose -3*h = -r + 487, -r - 966 = -3*r - 2*h. Let a = 51 - 47. Suppose 0*p = a*p - r. Is p prime?
False
Let f = 5054 - -491. Is f a composite number?
True
Is (-100)/10 - (-13238 - 3) a prime number?
False
Let p(i) = 411*i**3 - 4*i + 17. Is p(4) a prime number?
False
Let m be (6/4)/((-6)/(-8)). Suppose 5*n - 4*q = 704, m*q + 142 = n - 0*n. Suppose 2*f - 6*f + n = 0. Is f a composite number?
True
Suppose 3*d = -4*h + 40, -2*h + 10 = -4*h. Suppose -3*i = -2*i - 15. Suppose i*f = d*f - 1055. Is f a composite number?
False
Suppose -t = 3*t - 8628. Is (-2)/(4 + (-8634)/t) a prime number?
True
Suppose -12*m - 13*m = -45925. Is m prime?
False
Suppose 0 = 18*z - 21*z + 21663. Suppose -19*v + 22*v - z = 0. Is v prime?
False
Let n(h) = 2*h**3 - h - 2*h - 6*h**3 + 6*h**2 - 3*h - 9. Is n(-8) prime?
False
Let x be 56/10 + -2 + 27/(-45). Suppose -5*k = -7*n + 2*n - 3580, x*k + 5*n = 2172. Is k a prime number?
True
Suppose -d + 25 = 4*d. Let s(r) = -2*r - 1. Let o(p) = -p**2 + 3*p + 16. Let b(a) = -o(a) - 5*s(a). Is b(d) a composite number?
True
Let b(o) = -344*o - 46. Is b(-15) composite?
True
Suppose -5*p + 3*l + 5 = 2, -2*p - 2 = -2*l. Suppose -12 = -p*d + 6. Is 12/(-18) + 466/d prime?
False
Suppose -9*x + 11*x = 4. Suppose -144 = l + x*d, 0*l + 4*d = -3*l - 422. Let a = l + 265. Is a a prime number?
True
Let a be 9/(-7) + (7 - (-282)/(-42)). Is a + (6/(-3) - -382) prime?
True
Let o = 7335 - 4613. Is o prime?
False
Let h(x) = -4*x - 50. Let o be h(-13). Suppose 5*m - 14588 = 12*b - 15*b, 9721 = o*b - m. Is b composite?
False
Let r = 232 - -14. Suppose -4*h + 332 = -4*b, -3*b + 2*h - r = -0*h. Let c = 105 - b. Is c a prime number?
False
Let k = -3 - -8. Suppose 0*a = -k*a + 3*i - 5822, -a + 3*i - 1174 = 0. Let u = 1629 + a. Is u composite?
False
Is (-717164)/(-56)*(2 + 0) a prime number?
False
Let y(f) = -15*f + 2. Let l be y(-7). Suppose m - 5*m - 4*v = 216, -2*v = 3*m + 162. Let k = m + l. Is k composite?
False
Suppose 6*q - 12 = -0. Suppose -3*m - q*t = -1165, 3*m + 3*t + 1170 = 6*m. Is m a prime number?
True
Let y(v) = 785*v**3 + 3*v**2 + v. Let o(l) = -1178*l**3 - 5*l**2 - 2*l. Let u(k) = -5*o(k) - 8*y(k). Is u(-1) a composite number?
False
Is (-2465)/(-10)*((4 - 3) + 1) prime?
False
Let f = -17701 - -28424. Is f composite?
False
Suppose -4*s = -5*r + 86711, -3*s = 174*r - 178*r + 69368. Is r a composite number?
True
Suppose g - 4*g + 5 = -2*y, 0 = 2*g - 3*y - 5. Is -2 + 1178 + 0 + g prime?
False
Suppose -6*g - 4*g = -40. Suppose -4*b + 0*i = i - 5449, -4*i + 5464 = g*b. Is b composite?
False
Let p(t) = -3*t**2 - 2*t**2 - 14 + 8*t**2 + 5*t**2 + 17*t. Is p(-13) a composite number?
False
Suppose 9*m - 13861 = 77300. Is m a prime number?
False
Let f = 4 + -4. Suppose -3*o + u - 1722 = f, -3*o - u = -3*u + 1725. Let x = 946 + o. Is x a composite number?
False
Suppose -155065 = 7*f - 12*f. Is f composite?
False
Suppose 5*s - 3*x - 3359 = 1667, 12 = 4*x. Is s a prime number?
False
Suppose -p + 2*p - 7 = 0. Let u = p + -44. Let x = u - -59. Is x prime?
False
Suppose 16*z - 12021 = 13*z. Is z prime?
True
Let n be 3 + 3/(-1) - -7. Let a(p) = 67*p**2 - 7*p - 3. Let t be a(n). Suppose 0 = 22*u - 19*u - t. Is u a prime number?
False
Let k(y) be the third derivative of 29*y**5/120 - y**4/24 + 2*y**3/3 - 5*y**2. Let w(r) be the first derivative of k(r). Is w(2) a composite number?
True
Is (11806/4)/(-4 + 9/2) a prime number?
True
Suppose -3*r = -0*r - o - 4322, 0 = 2*o + 10. Is r prime?
True
Let u be -39*((-8)/(-12))/(2/(-4)). Let o = u + 97. Is o a composite number?
False
Let x(a) = -39*a**3 - a - 4. Let g be x(3). Let r = -689 - g. Is r prime?
False
Let t(s) = 632*s**2 + 2*s - 1. Suppose -n = 5*l - 9, -5*n - 4 = 2*l - 26. Is t(l) prime?
False
Let r = -5 - -7. Suppose -4 = r*i - 8. Suppose 3*u - i*x = 101, -3*u + 4*x + 99 = 2. Is u a prime number?
False
Suppose 6 = 4*k - k. Suppose 0 = -2*a - 5*x - 10 + 38, 0 = k*a + 3*x - 20. Suppose a*m - 16 = -4*p - 0, -26 = -4*m - 2*p. Is m a prime number?
False
Let g(v) = -2503*v - 183. Is g(-8) composite?
False
Suppose -5*b + 20 = 5*m, 0 = -4*m - 3*b + 23 - 7. Suppose -m = -4*h, 5*h - 402 = -0*x - 