prime number?
False
Suppose 861 = 5*a - 409. Is a a composite number?
True
Let c be 2*1 + 3 + -5. Suppose 3*b + 3 + 6 = c. Is (38*-1)/(6/b) a composite number?
False
Is (-5 + 8379/14)/((-2)/(-4)) composite?
False
Suppose -5*b - 348 = -4*t - 2663, -25 = -5*t. Is b a composite number?
False
Is 2958/14 + (-2)/7 a composite number?
False
Let c(k) be the second derivative of k**5/10 - k**4 + 5*k**3/3 + 7*k**2/2 - k. Is c(9) prime?
False
Suppose 0 = 4*m - 672 - 40. Let n = 24 + -1. Suppose -n = 5*o - m. Is o prime?
True
Is (4/(-8))/(0 - (-3)/(-19338)) a composite number?
True
Let b(n) = -31*n + 6. Is b(-5) prime?
False
Suppose -2562 = -3*a + x, -2*a = -0*x + 3*x - 1697. Is a a prime number?
True
Let l(q) = -4 + 2 + 4*q**2 + 3*q**2 - q**2. Let j be l(-3). Let k = 111 - j. Is k composite?
False
Suppose -3358 = 7*v - 8937. Is v a prime number?
True
Let g be ((-12)/(-8))/((-3)/(-4)). Suppose -o + g + 109 = 0. Is o a composite number?
True
Is (-5)/2*2398/(-55) a composite number?
False
Suppose -2*z = f - 3*z - 2166, -5*z = 5*f - 10780. Is f prime?
True
Suppose -w = 3*l - 14, 2*l - 6*w = -2*w + 28. Suppose -2*s - 128 = -l*s. Suppose 4*a = s + 12. Is a a prime number?
True
Let l(m) = m + 16. Let y be l(0). Suppose 3*u - y = 41. Is u a prime number?
True
Suppose -3*a - d = -451, 2*d = 2*a + 3*d - 302. Is a a composite number?
False
Suppose m = 2*w - 528, -4*m - 118 = -w + 153. Is w prime?
True
Let m(d) = d - 1. Let w be m(7). Suppose 9*r = 7*r + w. Suppose 0 = r*y - 294 - 123. Is y a composite number?
False
Let k = 1 + 1. Suppose 3*i = -5*l, -2*l - 15 = -k*i + 1. Is i + (-1)/3*-3 prime?
False
Suppose -4*f - 68 = 4*c, -5*f - 71 = 4*c - 2*f. Let s = -7 - 4. Let g = s - c. Is g a composite number?
True
Let x = 13 - 20. Is ((-7)/(x/614))/2 composite?
False
Let i be (1 - 1)/((-10)/5). Suppose i*f + 4*f - 812 = 0. Is f a composite number?
True
Let n(b) = -3*b**3 + 2*b**2 + 2*b + 1. Let g be n(-1). Suppose h + 36 - g = 0. Let y = h - -51. Is y a prime number?
True
Suppose 0 = -3*i + 3*n + 9, -11 = -5*n - 1. Suppose -445 = -i*l + 5*t, 2*l - 3*t - 146 - 30 = 0. Is l a prime number?
False
Let y = -642 - -1289. Is y composite?
False
Let q(n) = -975*n**3 - 2*n**2 - 3*n + 3. Is q(-2) a composite number?
True
Let z = -1751 + 2470. Is z composite?
False
Let y = -56 - -23. Suppose -2*b + 24 = -4*b. Let g = b - y. Is g prime?
False
Suppose 1 = h - 1, 2*s - 4*h - 188 = 0. Let c = s + -45. Is c a prime number?
True
Suppose -5*h + 2 = -13. Suppose p = -h + 38. Is p a prime number?
False
Let z = -205 - -1094. Is z a prime number?
False
Let u = -11 + 6. Let f(w) = -w**3 - 4*w**2 - w + 3. Is f(u) a composite number?
True
Is 0 - 1 - (-2730)/7 a prime number?
True
Let p = -593 + 1282. Is p a composite number?
True
Let a be 130*(48/(-15))/(-2). Suppose -l - 70 = -5*k - a, -668 = -5*l + 3*k. Is l a prime number?
False
Is (-3)/6*-254 + -4 a prime number?
False
Let j(m) = -m**3 + 8*m**2 - 3*m + 1. Suppose -10 = -5*w + 5. Suppose -w = 3*x - 21. Is j(x) composite?
True
Let n be -24*3/6*-8. Suppose 0 = 5*a - n - 199. Is a prime?
True
Suppose -4*q + 24 = -4*t, 2*q - 11 = 5*t + 7. Suppose -445 = -q*s - s. Is s composite?
False
Is 73/1 - (-10 - -9) a composite number?
True
Is ((-4)/(-2))/((-11)/(-8657)) prime?
False
Let m = 2 + 1. Is (-1)/m + (-780)/(-18) prime?
True
Let j be -3*(-3)/(18/(-4)). Let w(s) = -3*s**2 + 3*s - 4. Let c be w(4). Let i = j - c. Is i a composite number?
True
Let c(p) = -3*p + 1. Let a be c(8). Let g = a + 13. Let j = g + 101. Is j a composite number?
True
Let p = 80 - 54. Is p composite?
True
Suppose -3*q = 4*x - 134, 70 + 58 = 3*q + x. Suppose -2*w + q = -112. Suppose -279 = -3*k - i - 48, k = 3*i + w. Is k composite?
True
Suppose 2*i = -105 - 165. Let t = -46 - i. Is t a composite number?
False
Let d be (-6)/27 + (-4)/(-18). Let n be 1 + (-2 - -2) - d. Let f(i) = 13*i**3 + i. Is f(n) a prime number?
False
Let x be 4/14 + 24/14. Let z be -1 + (x - -1 - 211). Is z/(-4) - (-6)/8 composite?
False
Let q(w) be the third derivative of -17*w**4/12 + w**3/6 + w**2. Let k be (-14)/(-21)*3/(-2). Is q(k) prime?
False
Let r(i) = -3*i**3 + 3*i**2 + 7*i + 1. Let q(u) = 4*u**3 - 3*u**2 - 8*u. Let l(d) = 2*q(d) + 3*r(d). Suppose 4*g - 6*g = -8. Is l(g) prime?
True
Let l(t) = 25*t**2 - 2*t + 27. Is l(-8) a composite number?
True
Is (-993)/6*(-22 - -8) a prime number?
False
Let w(x) = -2*x + 4. Suppose 2*h - 6 + 2 = 0. Suppose 2 + 8 = -h*u. Is w(u) composite?
True
Let y = 286 + 70. Suppose -y = -5*g + g. Is g composite?
False
Suppose 2*b + 3*b = 3*d + 2797, 2*b - 4*d = 1130. Is b composite?
False
Let v(k) = 10*k + 9. Let s(z) = -5*z - 5. Let m(f) = 11*s(f) + 6*v(f). Let y be m(2). Suppose -3*i - 4*n = -369, 2*i - 4*n = -y*n + 253. Is i a prime number?
False
Let g = 8 - 6. Let i(x) = 22*x**2 - x. Is i(g) prime?
False
Let y = -2003 - -3592. Is y composite?
True
Suppose v = -0*v - 27. Let n be (-6)/v - (-79)/9. Let o = 16 - n. Is o composite?
False
Let i(v) = 14*v + 2 - 4 - 1. Is i(2) prime?
False
Suppose 4*t + 2*q = 42, t - 3*q = -2*q + 6. Let z be t + -2 + (-1)/1. Let c = 12 - z. Is c composite?
True
Suppose -76801 + 13325 = -4*q. Is q composite?
True
Let r = 4236 - 2477. Is r prime?
True
Let k(i) = i + 1. Let f be k(5). Let v = f - 1. Suppose v*p + r = 243, 0*p - 92 = -2*p - 3*r. Is p a prime number?
False
Suppose -48 = -5*z + 187. Suppose -s = -0*s - z. Is s a prime number?
True
Let g = -16 - -28. Let t be (81/g)/(3/8). Is (-2138)/(-18) + 4/t a prime number?
False
Let l = -7 - -47. Suppose -4*u + 84 = -l. Is u prime?
True
Let u(y) = y**2 + 3*y + 4. Let m(t) = -4*t + 2. Let k be m(2). Let o be u(k). Suppose 3*s + o = v, -2*v + 0*v - 4*s + 54 = 0. Is v composite?
True
Let s(w) = -4*w**3 - 2*w**2 + w. Let d be s(1). Let a = 11 - d. Let r = 29 - a. Is r composite?
False
Is (0 + 3)*(-158)/(-6) a composite number?
False
Suppose 2*i + 171 = o, -3*o + o - 5*i = -306. Is o a composite number?
False
Suppose 0 = -5*c + 3*b + 805, -b + 2*b = 2*c - 322. Is c prime?
False
Is (-879)/(-3) - (5 + -5) prime?
True
Suppose -3*f - 2*z + 277 = 0, 6*f + 5*z - 360 = 2*f. Is f composite?
True
Let u be (3 - 12)/(-3) + 0. Suppose 682 = u*a - 875. Is a prime?
False
Let r be 3 - (2 + -613 + 3). Let i = r + -246. Is i prime?
False
Let f = 449 - 255. Is f a composite number?
True
Suppose b = 4*b - 3*v - 174, 5*b - 281 = -4*v. Is b a composite number?
True
Suppose -m = -129 - 276. Suppose 3*n - 4*y = 387, 0*y - 2*y + m = 3*n. Is n a prime number?
False
Suppose 0 = 3*j + j + a - 3071, -5*j + 3830 = 3*a. Is j prime?
True
Let d(y) = y + 1. Let t be d(-4). Is 120 + 1 + t + 3 a prime number?
False
Let x(w) = -24*w - 2. Is x(-7) composite?
True
Is 211*-2*7/(-14) a prime number?
True
Let p(q) = -q**2 - 10*q + 5. Let r be p(-10). Suppose -r*a + 131 = -114. Is (-3 + a)/(4/14) a prime number?
False
Let d(n) = -3*n**2 + n + 2. Let p be d(-4). Is -1 - 2 - 1*p prime?
True
Is (-2 - (-16)/5)*27640/16 prime?
False
Let n(u) = 20*u + 10*u - 1 - 6*u. Let y be n(-1). Let v = -12 - y. Is v prime?
True
Let n(q) = 819*q**2 - q + 3. Is n(1) a prime number?
True
Let s(z) = z**2 + 5*z - 2. Let n be s(-6). Suppose 2 = -2*b + 3*u, n*b + 0*u = 4*u. Is (-2)/(b + (-68)/33) prime?
False
Suppose -2*j + 66 = -4*g, 2*j = -0*j + 3*g + 67. Is j composite?
True
Suppose 0 = -s - s - 4. Let y(o) = -3 + 6 - 70*o - 4. Is y(s) a prime number?
True
Suppose -4741 = -18*v + 785. Is v prime?
True
Let c(h) = 8*h**2 - 2*h - 1. Let w = -23 + 37. Let l = w - 10. Is c(l) a prime number?
False
Let z = 4 + -2. Let k(h) = 16*h**2 + h - 1. Let t be k(1). Suppose -c = z*p + 3*c - 58, t = 4*c. Is p a composite number?
True
Suppose -7*a + 6993 = -7910. Is a a composite number?
False
Let m be (-6 + 3)*7/3. Let u(r) = 2*r**2 + 11*r + 10. Is u(m) a prime number?
True
Let z = -1821 + 2606. Suppose -4*h - 634 = -2*a, 6*h - 4*a + z = h. Let n = -108 - h. Is n prime?
True
Suppose -2*z + 6*s + 6037 = 3*s, -z - 5*s = -3012. Is z a composite number?
True
Let y(r) = 96*r**3 + 2*r**2 - r. Let c(z) = -z + 6. Let x be c(5). Is y(x) a prime number?
True
Let y be 2/(-4) + (-6)/4. Is y/(-1 + 3044/3052) prime?
False
Suppose -3*f - 3 = -5*i, 4*f = 4*i + f. Suppose -153 = -i*g + 5*x, 2*x + 3 = -2*g + 105. Is g composite?
True
Let y(z) = 13*z**3 + 2*z**2 + 4*z - 5. Is y(2) composite?
Tru