r?
False
Let k(c) = 20*c**3 + 13*c**2 - 10*c - 4. Is k(5) prime?
False
Suppose 0*x - 3*y - 3644 = -x, -4*x - 5*y + 14559 = 0. Is x composite?
True
Suppose -12*a + 8*a = -108. Is 1 + (237/2 - a/(-18)) a composite number?
True
Suppose r + 94655 = 5*m, 3*m - r = 2*m + 18931. Is m a composite number?
True
Let s(p) = -4 + 3 - p**2 + 4 - p. Let k be s(4). Let a = k + 52. Is a a prime number?
False
Suppose 44*o + 40*o = 3986052. Is o a prime number?
False
Is -1758*(-4 + (-78)/(-36)) composite?
True
Let w(u) = u**3 + 18*u**2 - 11*u - 20. Let a = 10 + -28. Is w(a) a prime number?
False
Suppose 5*b + 51 = -294. Let o = -252 - b. Let z = o + 302. Is z composite?
True
Let w(x) = 203*x + 158. Is w(15) a prime number?
True
Let c(r) be the first derivative of 5 - 2*r - 151/2*r**2. Is c(-1) composite?
False
Suppose 0 = -2*k + 5*o + 1507 + 4606, 4*o + 9159 = 3*k. Is k a composite number?
False
Let w = 3 + 1. Suppose -w*m = -4, -5*u + m = -3*u + 1. Suppose u = -3*a + 6 + 6, 0 = 2*x - a - 82. Is x composite?
False
Let d(f) = 5*f**3 + 2*f**2 - 5*f - 1. Let c(u) = -2*u + 32. Let m be c(14). Is d(m) prime?
True
Suppose -4*c + 10208 = -2*k - 2*k, 0 = -5*k + 25. Is c composite?
False
Let r(d) = -d**3 - 14*d**2 + 16*d + 20. Suppose t = -p - 12, -5*t + 0 = -15. Let v be r(p). Suppose -v*a + 7*a = 670. Is a a prime number?
False
Is (-3947)/(-2) - ((-15)/10 - -2) a composite number?
False
Let t = -90 + 88. Is -2*t*(-2)/((-8)/2053) a prime number?
True
Let f be 2 + (3 + 0)/3. Suppose f*c - 32 = 5*m + 3, 6 = -2*c - 4*m. Suppose 2*j - c*n + 2*n - 184 = 0, -n = j - 87. Is j a prime number?
True
Suppose 5*s + 5*k + 76 = 506, 5*s + 2*k = 424. Suppose -5*c = -5*r + 175, 4*c = -4*r + 72 + s. Is r a prime number?
True
Suppose 22*w - 26217 = 205. Is w a prime number?
True
Let p be 1 + 2 + 2/(-1). Let c be (-4*p)/((-16)/344). Suppose -2 = 4*q - c. Is q composite?
True
Let l be (-7131)/(-12) + (-3)/(-4). Suppose -l = -2*h - 3*h. Is h a prime number?
False
Let o = -5906 - -10059. Is o a composite number?
False
Let m(k) = -48*k - 50. Is m(-3) prime?
False
Let f(a) = -a - 13*a**3 - 4 - 15*a**3 - 7*a**2 + 15*a**3. Is f(-3) prime?
False
Let x(s) = -s**3 + 13*s**2 - 18*s + 25. Let b be x(11). Let t = 150 + b. Is t a composite number?
True
Let j(y) = y**2 - 18*y - 16. Let b be j(19). Suppose 0 = -2*i + 4*k + 3674, 2271 + 5102 = 4*i - b*k. Is i a prime number?
True
Suppose -v + 1011 = d + 63, v = 5. Let k = d - 606. Is k a composite number?
False
Let l(k) = -3*k + 0*k - k**2 + 11*k**2 + 2*k**3 + 8 + 9*k. Is l(11) a prime number?
False
Let m(n) = -2*n**3 - 27*n**2 + 9*n - 13. Is m(-14) a composite number?
True
Let j be (4/(-4))/((-1)/2). Suppose -4*o + 2132 = 364. Suppose o = -0*r + j*r. Is r a composite number?
True
Let i be ((-22)/(-8))/(1/24). Let b = i + 353. Is b a prime number?
True
Let q(a) = 0*a - 3*a + 4*a - 5 + 0. Let l be q(5). Suppose l = 4*y + 25 - 253. Is y a composite number?
True
Let a = 33 - 64. Let n = -10 - a. Is 3/n - 4260/(-21) composite?
True
Let c be (28/(-12) + 2)*-6. Suppose 3*s + 1 = 2*t - c, 3 = 3*t - 3*s. Is 0 + t - 117/(-3) prime?
False
Let j(x) = -4244*x + 37. Is j(-3) prime?
False
Is (0 + -1)*(-1659 - 1) + -3 a prime number?
True
Suppose -2*r - 15 = -3*s, 5*r - 3*s + 20 = s. Suppose 2*x - 440 - 2816 = r. Let b = x + -907. Is b a composite number?
True
Let s(f) = -5 + 2 - 178*f + 2. Is s(-3) a prime number?
False
Let j(c) = -c**3 + 2*c**2 - 2. Let g(l) = l**2 - l + 1. Let v(b) = 6*g(b) + j(b). Let h be v(9). Let o = h + 384. Is o composite?
True
Suppose -9 = 3*v + 3*m, 4*m - 29 = 4*v + 7. Let i(d) = 6*d**2 - 10*d - 19. Is i(v) composite?
False
Let h = 22 - 25. Let i(l) = -17*l**3 + 4*l**2 + l - 5. Is i(h) a composite number?
False
Let m(l) = 1237*l - 30. Is m(5) a composite number?
True
Is 1689 - 16/(0 - 4) a composite number?
False
Let j(m) = -m**2 + m - 1. Let s(d) = -3*d + 7. Let n(l) = -3*l + 6. Let q(u) = -4*n(u) + 5*s(u). Let i(t) = -4*j(t) - q(t). Is i(-8) a prime number?
True
Let x be (-2)/(-5) - 8/20. Suppose x = 2*l - 5*l - 33. Let u(g) = 2*g**2 - 12*g - 1. Is u(l) composite?
False
Suppose -4*x - 2*q + 246 = 0, 2*x = -2*q - 0*q + 128. Suppose c + 1673 = -3*s - x, 1717 = -c + 2*s. Let r = -1164 - c. Is r composite?
True
Suppose 0 = -11*z + 15*z - 12, -11976 = -3*w - 3*z. Is w composite?
False
Suppose g + 4*b = -178, g + 242 - 40 = 4*b. Is 3/((-4)/(g - -2)) a prime number?
False
Suppose -g + 5*j + 21649 = -2139, -5*g = 4*j - 119085. Is g a prime number?
True
Let q = 7440 + -4697. Is q composite?
True
Suppose 54*y = 23*y + 619969. Is y prime?
False
Let j(z) = -z**3 - 2*z**2 - 16*z - 49. Is j(-6) a prime number?
True
Suppose -p = -14 + 176. Let v be 56/(-24)*p/2. Let l = 70 + v. Is l a prime number?
False
Let n = 3654 + 2593. Is n a composite number?
False
Let f = -875 + 3112. Is f a prime number?
True
Let l be 1 - 3/6*-2. Suppose -2*j - 2*j + l*h + 326 = 0, 247 = 3*j + h. Is j a composite number?
True
Let j = 65 + 1116. Is j a prime number?
True
Suppose 3*g - o = -3*o - 1, 2*g - 1 = -o. Let b(p) = 4*p + 7*p**2 - 7 + 0*p**3 + p**g - 8*p. Is b(-6) a prime number?
True
Let i = -1631 + 4558. Is i prime?
True
Let i(d) = -6111*d**3 - 3*d - 2. Let h be i(-1). Suppose -h = 11*c - 20973. Is c a prime number?
False
Let u be 4 + (-2856)/(8/2). Let p = -378 - u. Suppose 3*d - p = 301. Is d a prime number?
True
Let u(r) = r**3 + r**2 - 3*r + 3. Let j be u(1). Suppose 0 = 3*p + 2*h - 15263, -p = -3*p + j*h + 10172. Is p composite?
False
Suppose 0*x + 4*x = 132. Let o be x/11*(1 + 0). Suppose o*c - 568 = -c. Is c a prime number?
False
Suppose 0*o + 2*o - 2 = 0. Suppose o = -3*k + 13. Suppose -27 = -2*f + 2*y + 93, -k*f - 4*y + 280 = 0. Is f a prime number?
False
Suppose 3*p - 3*z = 2*z + 1, 0 = 5*p - 3*z - 7. Suppose -4*w - p*w - 666 = 0. Let q = w + 162. Is q a prime number?
False
Let j(i) = 57*i**2 + 3*i - 2. Let g(b) = b**2 - 7*b - 6. Let l be g(8). Let v be j(l). Let u = -150 + v. Is u composite?
True
Let u = -68 - -205. Let h be (-18)/(-4)*(4 - 64/(-3)). Let t = u + h. Is t prime?
True
Suppose -1144 = -3*r - 949. Is r composite?
True
Let x(n) = -n**2 - n + 13. Let i be x(0). Let m = 1 + i. Suppose 2*o = m + 12. Is o composite?
False
Let i(m) = 189*m + 7. Let b(t) = t**3 + 6*t**2 - 7*t + 5. Let v be b(-7). Let r be i(v). Suppose -5*c + r = -1453. Is c a composite number?
True
Let y(n) = 6*n**3 + 10*n**2 + 30*n + 27. Is y(17) a prime number?
False
Suppose 11*k - 7*k - 16 = 0. Suppose -2*p = k*g - 1090, -6 - 9 = 5*p. Is g prime?
False
Let u = -56 - -60. Suppose u*y - 1860 = g + 3688, 0 = 2*y + 5*g - 2774. Is y a composite number?
True
Let g = 19 - 34. Is ((-109011)/g)/7 - 4/(-5) composite?
False
Suppose -5*u + 3*n = 2, -4 - 6 = -3*u - n. Suppose 2*g = u*w - 504, -w - 4*w = g - 1254. Is w a prime number?
True
Suppose -r = -2*r. Suppose r = -5*x + 2*n - 3*n - 35, 2*n = -x + 2. Is x/(-16) + (-330)/(-4) a composite number?
False
Suppose -162644 + 408700 = 8*b. Is b a prime number?
True
Let w = 3 + 1. Suppose w*o - 2716 = -4*h, 0*h + 3*o - 679 = -h. Is h a composite number?
True
Let t = -15167 + 33520. Is t prime?
True
Let r(k) = k**2 - 8*k + 10. Let u be r(6). Let o(b) = -b**3 + 4*b + 2. Let d be o(u). Suppose 0 = d*v - q - 153, 0*v + 3*v = -q + 242. Is v a prime number?
True
Let t = 0 + 2. Suppose -2*w - 5*b + 85 = -102, w + t*b - 96 = 0. Suppose 4*n - 2*n = w. Is n composite?
False
Is (1 - 746)*10/(-10) prime?
False
Suppose 3*l - 93 - 1527 = 0. Let j = l + -349. Is j a composite number?
False
Let d be (51 - 2)/(5/30). Let q = d - 163. Is q composite?
False
Let o = -27996 + 45901. Is o a prime number?
False
Let d = -16 - -30. Let b be d*((-8)/(-28) - 0). Suppose b*g = 4, -825 = -2*w - g - 2*g. Is w a prime number?
False
Suppose -p = -0*p - 5*y + 12, 0 = 5*p + 3*y - 52. Suppose p*r + 6*r = 10402. Is r a composite number?
False
Let x(l) = l**3 - 9*l**2 + l + 3. Let v be x(9). Suppose 4*i = 4*k + v, 3*i + 32 + 1 = -4*k. Let g = 13 + k. Is g a composite number?
False
Let n(y) = 399*y + 11. Let z(h) = h**2 - 4*h + 8. Let o be z(4). Is n(o) composite?
False
Let x be -2 + (-13)/(-7) - (-150)/70. Suppose 0 = -x*g + 5*f + 1022, g + 4*f - 2*f = 529. Is g a prime number?
True
Suppose -3*r - 10*g + 3638 = -9*g, 6054 = 5*r + 4*g. Is r a prime number?
False
Let m(c) = -14900*c + 