w(-6) composite?
True
Let w(r) = 3*r**2 - 6*r + 7. Let o be w(-5). Let z(y) = -3*y + 20. Let q be z(6). Suppose -q*c + 82 + o = 0. Is c a composite number?
False
Let a = 14 - 17. Is 3033/12*(-52)/a composite?
True
Let v = 7 + -2. Let i(z) = 47*z + 9. Let p be i(v). Suppose -j - j = -p. Is j a prime number?
False
Let o = -274 - -1590. Is o/7 + 3*1 prime?
True
Let b be (-3 - 3/(-7))*(-14)/(-3). Is ((-3518)/(-3))/((-8)/b) a composite number?
False
Is 1/(-5) - 331606/(-55) prime?
True
Suppose 0 = 5*a - 5*y - 92117 - 17633, y + 43903 = 2*a. Is a a prime number?
False
Suppose -2*y = y + 2*o - 52, 2*y - 32 = -2*o. Suppose 1221 = -17*i + y*i. Is i prime?
False
Suppose 2*a - 6 = -o + 4, 3*a = -2*o + 16. Suppose 0*c = -a*c + 28. Suppose -4*q = -c*q + 435. Is q composite?
True
Suppose -5*c + 2*d + 4 = 0, 4*c = 2*d - 1 + 3. Suppose 0 = -b + 2, c*r - 4 = -3*b + 6. Suppose f - 198 = 2*j + 2*j, 0 = r*j + 2. Is f prime?
False
Let i = -46 + 54. Suppose i*y - 5*y = 21. Is y a prime number?
True
Let l(b) = -b**3 - 6*b**2 - b - 2. Suppose -c + 2 = 0, 3*o - o + c = -10. Let h be l(o). Is 113 + 4 - h/2 a prime number?
False
Let d(s) = -s + 9. Let y be d(-5). Suppose 2*a - 6 + 4 = 0. Let n = y - a. Is n a prime number?
True
Let a(d) = -15*d + 16. Suppose b - 1 = -6. Let c(p) = -7*p + 8. Let h(z) = b*c(z) + 2*a(z). Is h(9) a composite number?
False
Let x(y) = 2*y**3 + 6*y**2 + 6*y - 10. Let v be x(-7). Is (-3 - 1)*v/16 a composite number?
True
Let w be 170/60 - 2/(-12). Suppose w*c = -c + 632. Is c prime?
False
Suppose 0 = 4*w - 901 - 1287. Let p = -148 + 153. Suppose -p*f = j - 660, 0 = 4*f - 0*j - 3*j - w. Is f a composite number?
True
Let j = 577 + 1101. Is j a prime number?
False
Suppose 2*l - y = 23910, -136*l - 2*y - 11961 = -137*l. Is l composite?
False
Is 108912/(-96)*-6*1 composite?
True
Suppose -4*x + 123 = -197. Suppose 138 = 5*r - 312. Suppose 5*c - r = x. Is c prime?
False
Suppose 1 + 12 = b + 4*x, -4*b - 5*x + 30 = 0. Let k(g) = 30*g**2 + 3*g - 12. Is k(b) a prime number?
False
Let d(z) = -810*z**3 + z**2 - 8*z - 7. Is d(-2) a composite number?
True
Let l = 5616 - 10167. Let n = l - -6440. Is n prime?
True
Is (8027529/345)/(1/5) prime?
True
Suppose 20 = 5*f - 3*z, 0 = 2*f + 2*f + 5*z - 16. Suppose 0 = -k - 5*j + 69, 5*j = f*k + 4*j - 360. Is k prime?
True
Suppose -11*c + 16*c = 7385. Is c a composite number?
True
Suppose 3*x - 7716 = 5*b, 4*b = 7*x - 2*x - 12873. Is x + ((-14)/(-21))/(1/3) a composite number?
False
Let q = 6530 - 2881. Is q prime?
False
Is 10527 - ((3 - 12) + 7) prime?
True
Let q(y) = -28*y**3 - 7*y**2 - 6*y + 12. Suppose -3*f = -3*m + 12, -3*m - 6*f + 10 = -10*f. Let d be q(m). Is d/(-30) + 1/5 a composite number?
False
Suppose -4*v = -5*z - 10371, 3557 = -4*v - 3*z + 13936. Is v a prime number?
False
Suppose v = -260 - 10. Let x = 223 - v. Is x a prime number?
False
Let v be (4 - 1)/((-11)/(88/(-12))). Suppose -b + 7887 = v*b. Is b a composite number?
True
Let n = 14 - 10. Suppose 0*d = -n*d + 160. Is (d - 0) + 15/(-5) composite?
False
Let n = -1 + 3. Suppose -f + 16 = 2*v + n*v, 0 = -f. Suppose -l - o = -376, -v*o + 432 = 3*l - 695. Is l composite?
True
Let c(m) = -32*m + 8. Suppose -3*b - n + 5*n = -18, -4*b + 17 = -3*n. Let i(a) = -64*a + 17. Let t(r) = b*i(r) - 5*c(r). Is t(11) composite?
True
Let o(v) = 5*v - 20. Let n be o(2). Is (-7386)/n + 10/25 prime?
True
Suppose -3663 = 4*p - 13747. Is p composite?
False
Let m(v) = -108*v - 7. Is m(-6) composite?
False
Suppose -11*x = -36*x - 1950. Let p(r) = 18*r**2 + 1. Let j be p(3). Let b = x + j. Is b composite?
True
Let i = 197 + -19. Let x = 926 - i. Suppose -3*f - n = 2*n - 756, 5*n = 3*f - x. Is f prime?
True
Let t(a) = -a**3 - 16*a**2 - 18*a - 19. Let k be t(-16). Let r = k - -144. Is r prime?
False
Let n = -940 - 564. Let b be (0 - -1)/(16/n). Let w = b + 185. Is w prime?
False
Suppose -1796518 + 229400 = -49*q. Is q a prime number?
False
Suppose -27 = d - 5*v, 3*v - 11 = -4*d + 2*d. Let i(j) = -244*j - 15*j - 2 + 5. Is i(d) a composite number?
False
Let p = 9 + -6. Suppose 4*i + p*d - 12 = -d, 2*d = -3*i + 9. Suppose u + 2*h - 1199 = 0, u = -i*u - 2*h + 4796. Is u composite?
True
Suppose -3*u = -6, 7*r - 14 = 3*r + u. Suppose -2*y - 66 = -r*q, -2*q + 2*y + 18 = -q. Suppose -q*g + 652 = -12*g. Is g prime?
True
Let u(d) = 31*d + 21. Let o be u(-6). Let p = -22 - o. Is p composite?
True
Suppose -4*s + 61091 = 3*x, 4*x + x = -3*s + 101833. Is x composite?
False
Suppose -2*c = 4*s - 12854, 0 = -5*c - 5*s + 2*s + 32114. Is c a prime number?
True
Let p(q) = -224*q + 185. Is p(-4) prime?
False
Let l(z) be the first derivative of z**5/20 - 5*z**4/6 + 7*z**3/6 - 7*z**2/2 - z + 10. Let i(y) be the first derivative of l(y). Is i(11) composite?
False
Let m(i) = i**2 - 2*i + 1931. Let k be 3/(-4) - (4 - 76/16). Is m(k) a composite number?
False
Let p(r) = 857*r + 6. Let m(q) = -2*q**3 - q**2 + 7*q + 7. Let i be m(-2). Is p(i) a prime number?
False
Let h = -1445 + 20080. Is h a prime number?
False
Let b = -1557 + 1051. Let a = 715 + b. Is a composite?
True
Let m be ((-4)/18 + (-29)/(-9))*1. Suppose -m*v - 1246 = -2*a, -4*a + v + 1734 = -758. Is a a prime number?
False
Suppose 0 = -3*u - 3*n + 30, 5*n = -16 + 1. Let v = 16 - u. Suppose 0*h + v*h = 795. Is h a prime number?
False
Let y(p) = 5*p**2 + 22*p + 5. Suppose 19 - 1 = -3*z. Is y(z) prime?
True
Let y be 2/(-7) - (-60)/(-35). Let b be 1272/3 - (y - 0). Let t = -164 + b. Is t composite?
True
Let n(t) = t**3 + 8*t**2 + 8*t + 12. Let r be n(-7). Is (-787)/((-1)/(5/r)) a composite number?
False
Suppose 5*f + d - 753 = -0*d, 0 = -4*f - 2*d + 600. Suppose 389 = 5*s - 3*y, -y = 2*s - f - 9. Is s a composite number?
False
Let a be (-16)/(-2)*(-1)/2. Let g be a/10*-5 + 660. Suppose -704 - g = -2*s. Is s prime?
True
Is (365/219)/((-1)/(-1317)) composite?
True
Suppose 2*v + 520 = -2*g + 4074, 0 = -4*v + 5*g + 7144. Is v composite?
True
Suppose 4*t - 5*b - 9272 = 0, 5*t = 4*b - 9*b + 11635. Let j = -762 + t. Is j composite?
True
Let m(s) = -110*s - 138. Is m(-26) a composite number?
True
Suppose -4*b = -5*b + 8. Suppose 4*j = -5*x + b, j + 4*x - 10 = -j. Is 119/3 + 2/j a composite number?
True
Suppose 3*m + 4 = 10. Let g be 2*(-586)/(-8)*2. Suppose m*s + 2*t + 91 = 3*s, 0 = -3*s - 4*t + g. Is s a composite number?
True
Suppose 2*m - 7*m = -1170. Let f = m + -107. Is f a composite number?
False
Suppose -885 = -p + 5*r, 2636 = 3*p + r + 3*r. Suppose 0 = -5*t + 56 + 2489. Let a = p - t. Is a a prime number?
False
Let r = -72 + -52. Let d = r - -248. Suppose 0 = -3*n - d + 505. Is n a prime number?
True
Let u be (17/34)/((-1)/4). Let l(j) = 79*j**2 - 2. Let h be l(u). Let f = h - 203. Is f a prime number?
False
Suppose -121 = -5*n - 3*s, -5*n + 40 = -5*s - 65. Let u = n + 414. Is u prime?
False
Let t(h) = h**3 + 6*h**2 - 8*h - 8. Let f be t(-7). Is ((-412)/7)/f - (-1)/7 a composite number?
False
Let o(z) = 214*z**2 + 3*z - 1. Let f be o(1). Let g = -123 + f. Is g a composite number?
True
Suppose -q - 77 + 105 = 0. Suppose 33*u - q*u - 5870 = 0. Is u a prime number?
False
Is 4/5 - 1*177724/(-20) composite?
False
Suppose 3*q = -8*q - 2288. Let a = 419 + q. Is a a composite number?
False
Let g(t) = -t**3 + t**2 + t. Let i be g(-1). Let y(x) = x + 1. Let c be y(i). Is (2/(-2))/(c/(-226)) a prime number?
True
Let u(f) = 81*f**2 + 2*f - 58. Is u(9) prime?
True
Suppose -3*c - 4*q = -2*q + 147, -3*c = -2*q + 159. Let b = 49 - c. Is b - 4*(-9)/(-12) composite?
False
Let v be 150/(-15)*8/10. Let b = 8 + v. Suppose g = -b*g + 37. Is g composite?
False
Suppose 1689180 + 818455 = 65*g. Is g composite?
True
Let q be -4 - 0 - (-19 + 3). Let z = -18 + q. Let c(y) = 6*y**2 + y + 1. Is c(z) a composite number?
False
Is 37139*(-4 + 11)/7 composite?
False
Let s = 11 + -44. Let i = s - -30. Is 373*(-4 - i)*-1 composite?
False
Let b = 627327 - 91694. Is b composite?
True
Suppose -5*z = -4*l - 1170, 695 = 2*z + 5*l + 194. Suppose 261 + z = c. Is c a prime number?
True
Suppose -861439 = -27*d + 740552. Is d composite?
False
Is (10543/(-26))/((7/22)/(-7)) prime?
False
Let z = -6515 - -12486. Is z a prime number?
False
Suppose 4*k = -k - 10. Let u(c) be the second derivative of 41*c**4/6 - c**3/3 - c**2/2 - 19*c. Is u(k) composite?
False
Let s = 127 - -132. Suppose 31 = -3*n 