Is y a composite number?
False
Suppose 309 + 1041 = 3*a - 3*r, 0 = 3*a - 4*r - 1355. Is a prime?
False
Suppose 3*b - 4*b = 0. Suppose -4*a + 101 + 87 = b. Is a composite?
False
Suppose 2*d - 193 = -4*t - 3, -294 = -3*d + 3*t. Is d composite?
False
Let l(r) = -149*r. Is l(-5) a prime number?
False
Let y = -46 - -69. Is y prime?
True
Suppose t + 21 + 85 = 0. Let j = 269 + t. Is j a composite number?
False
Let u(l) = 213*l. Is u(1) prime?
False
Let d = -29 + 41. Suppose 0 = -2*w + y - 3 + d, 0 = -4*y - 12. Suppose -3*x - 5*b + 382 = 0, -w*b - 88 - 135 = -2*x. Is x prime?
False
Let f(a) = -a**2 + 9*a + 11. Let v be f(13). Let n = -6 - v. Is n a composite number?
True
Suppose 3*r + 3570 = 5*n, 3*n - 2*r + 0*r - 2141 = 0. Is n a prime number?
False
Let p(r) = -24*r**2 + 3*r - 4. Let w be p(-3). Let i = 440 + w. Is i prime?
True
Let s = -2 - -2. Let d(l) = -l**2 + 5*l + 2. Let v be d(0). Suppose v*p = -s*p + 30. Is p prime?
False
Suppose n - 3*f + 1390 = 11390, -3*n + 3*f = -30030. Is n a prime number?
False
Let s be (8/12)/(4/2010). Suppose -4*d = -9*d + s. Is d a prime number?
True
Let q be -2 - (0 - -2 - -2). Let g be 6/((-9)/q - 1). Is g/(-42) - (-298)/14 prime?
False
Suppose -3*x = -2*x + 21. Let j = x - -64. Is j composite?
False
Let m(r) = -79*r + 20. Is m(-11) prime?
False
Let r(w) = 32*w - 2. Let f be r(12). Suppose 5*p + k = f, p - 3*k - 56 - 30 = 0. Is p prime?
False
Suppose 0 = 10*v - 7*v - 1221. Is v a prime number?
False
Let j(o) = o + 2. Let f be j(-7). Is (-5)/f*(-1 - -4) a prime number?
True
Let a = 49 - 29. Suppose g - a = -9. Is g a composite number?
False
Let p(i) = 7*i + 11 + 9 + 16 + 2. Let v(o) = 6*o + 38. Let t(k) = -5*p(k) + 6*v(k). Is t(0) a prime number?
False
Let s = 836 + 59. Is s a prime number?
False
Let a(y) = 6*y**3 + 7*y**2 + 4*y + 8. Is a(7) a composite number?
False
Let c(y) = y**3 - 5*y**2 + y - 2. Let x be c(5). Suppose 5*p + 18 = x, -4*p + 283 = 5*a. Is a a prime number?
True
Let m = 81 + 346. Is m a composite number?
True
Suppose -14*q = -16*q + 4358. Is q a prime number?
True
Let u(i) = 58*i + 3. Let t be u(10). Suppose 0 = 5*a - 2*c - t, -2*a - 2*c - 353 = -5*a. Is a composite?
True
Let d(f) = 163*f**2 - f - 1. Is d(-3) composite?
True
Let d be ((-6)/(-8))/(3/12). Suppose -d*n = n. Is n + -2 + 43 + -4 prime?
True
Suppose -u - 5 = -h, -2*h + 7*h = u + 17. Suppose -6*z + h*z + 42 = 0. Suppose f = -f + z. Is f a composite number?
False
Suppose -8*y + 9*y = 769. Is y composite?
False
Suppose 8 = 3*u + 29. Let n(o) = -o**3 - 6*o**2 - o - 1. Is n(u) a prime number?
False
Let n be 4/(-6) - (-11)/3. Suppose -5*x + 3*x + 12 = 0. Is n/x + (-34)/(-4) a prime number?
False
Suppose -3*q + 1656 = -0*q + 3*u, -4*q - 3*u + 2209 = 0. Is q composite?
True
Let l be (3/(-2))/(2/16). Is (-1250)/(-14) + l/42 composite?
False
Let h = 193 - 36. Suppose -a + 106 = -h. Is a a prime number?
True
Is 0 + -3 - 51*492/(-18) prime?
False
Let y be ((-42)/(-12))/((-2)/8). Is (-9)/(-1)*y/(-6) prime?
False
Let w(u) = -3*u - 34*u + 2 - 1. Is w(-6) prime?
True
Let h = 11 - 6. Suppose -z = -5*w - 9, -9 = z + h*w - w. Is z - 0 - (-8 + 1) prime?
False
Let p = 38 + -19. Is p prime?
True
Let t = 3 - 5. Let d be (-41)/2 + (-2)/4. Is (d/9)/(t/6) a composite number?
False
Let c(k) be the third derivative of k**7/840 + k**6/90 + k**5/60 + k**4/8 - k**3/6 + k**2. Let v(q) be the first derivative of c(q). Is v(-3) composite?
True
Let s(l) = -4*l + 1. Let p be s(-1). Suppose 51 = p*x - 99. Suppose -2*f + 4*f - x = 0. Is f composite?
True
Let b = 9 - 4. Suppose -3*x + 19 = 4*p, -p - 12 = -b*x + 12. Let h = 18 + x. Is h composite?
False
Let w = 6 + -2. Suppose -w*t = -3*t - 37. Is t a composite number?
False
Let x be (-20)/9 - (-6)/27. Let u = 4 + x. Suppose -4*f + 615 = f + 5*q, u*q = -f + 119. Is f a prime number?
True
Let c = 1 + -3. Let y be (3/c)/((-18)/96). Suppose d - 23 - y = 0. Is d prime?
True
Suppose j + 20 = -4*m, -2 = -5*j + 2*m + 8. Let t be j*(1 - -1 - 1). Suppose t = p + 4*p - 55. Is p prime?
True
Let p = 83 + -36. Suppose -1 = -f - p. Is (f/8)/((-3)/12) a composite number?
False
Suppose 5*b - 27 = -4*j, -2*j - 6 = -b - 3*j. Suppose 0 = -b*u + 2*u + 53. Is u prime?
True
Let c = -4 + 10. Is ((-4)/c)/((-12)/2682) prime?
True
Let d(m) = 2*m**2 - 7*m + 6. Let i be d(4). Suppose 3*w - 4 = -i. Is w*(69/(-6) - -1) a composite number?
True
Let m(q) = 48*q + 5. Let o be m(4). Let n = -130 + o. Is n composite?
False
Suppose -5*h - 35 = j - 0*j, -3*j + 14 = -2*h. Is 16/56 + (-1517)/h a prime number?
False
Let z(t) = t**2 + 2*t + 4. Let v be 30/(-10) - (-12)/(-2). Is z(v) a prime number?
True
Let k = 224 + -130. Is k prime?
False
Let p(t) = 26*t - 75. Is p(11) prime?
True
Is 239 + 2 + -6 + 2 a composite number?
True
Let f = 221 + 668. Is f composite?
True
Let q(o) = -o**3 - 2*o**2 + 2. Is q(-4) a composite number?
True
Let z = 1151 + -630. Is z a composite number?
False
Let u(q) = 8*q**3 - 7*q**2 + 2*q - 4. Is u(5) a prime number?
False
Let v(x) = -9*x. Let c = 0 + 0. Suppose -5*p + c*p = 5. Is v(p) prime?
False
Is ((-1)/(2/(-598)))/(9/9) prime?
False
Let g = 1966 - 1293. Is g a composite number?
False
Suppose -2*i = 3*i - 3155. Is i a composite number?
False
Suppose -769 = -r - 0*r. Is r composite?
False
Let l(c) be the third derivative of -c**7/2520 - c**6/720 + 37*c**5/120 - c**4/12 + c**2. Let z(j) be the second derivative of l(j). Is z(0) prime?
True
Suppose 3*n + 354 = 102. Let w be (-12)/(-18)*699/2. Let v = n + w. Is v composite?
False
Let w be (-46)/(-4) - (-4)/(-8). Let t(f) = -f**3 + 11*f**2 + 8*f + 9. Is t(w) composite?
False
Suppose -3*x + 2 = -10. Is 2/x + 102/4 a prime number?
False
Let t(j) = -180*j - 1. Let w be t(-1). Let x = w + -109. Suppose -4*q = -2*q - x. Is q composite?
True
Suppose -6*p - 10 = -11*p. Suppose -p*j - z = -392, 4*j - 772 = z - 0*z. Let v = j + -117. Is v composite?
True
Suppose 0 = 5*p + 3*j - 13, -3*j + j = -p + 13. Suppose 2*a + 294 = p*a. Let u = a + -1. Is u a composite number?
False
Let k = 4 - 2. Let a = -2 + k. Suppose 2*c + a*c - 14 = 0. Is c prime?
True
Let n(a) = -2*a - 2. Let q be n(-3). Suppose -q*v + 47 = -101. Is v composite?
False
Let l be (-16 + 1)*(-3)/(-9). Let o(v) = v**3 + 5*v**2 - v + 6. Is o(l) a prime number?
True
Let f(x) = 11*x + 2. Is f(3) prime?
False
Let v = -17 + 3. Let f be (-60)/v + (-16)/56. Let d(q) = 9*q + 1. Is d(f) a composite number?
False
Suppose 465 = -3*y + 1584. Is y a prime number?
True
Let m(a) = a**3 + 4*a**2 - 4*a + 6. Let x be m(-5). Let h = x - 0. Suppose w = 4 - h. Is w prime?
True
Suppose -5*q = -5*j, 3*j - 2 = q + q. Let t(k) = 202*k + 3. Is t(q) a prime number?
False
Suppose 0*h + h = 3. Suppose 0 = -u - h*u + 1172. Is u composite?
False
Let w = 9 - 4. Suppose 3*j = -4*f + 381, -4*f - 357 = -8*f + w*j. Is f a composite number?
True
Let u = 158 + -91. Is u a composite number?
False
Let s(y) = 13*y - 12. Let h be s(-5). Let z = 12 - h. Is z a composite number?
False
Let c = -5 - -10. Suppose 3*o = -c*i - 28, 0*i = 3*o - 3*i - 12. Is (-1)/((-1)/o)*-7 prime?
True
Suppose -c + 9 = -4*c. Let p(q) = 33*q**2 + 2*q + 2. Is p(c) prime?
True
Is ((-4406)/6)/((-5)/15) a composite number?
False
Let s be (-12)/(-9)*(-42)/(-4). Is (9 - 8)/(2/s) a prime number?
True
Let x be 2739/12 - 3/(-4). Suppose x + 20 = 3*l. Is l prime?
True
Suppose -4*c = -v - 5521, v - 3*v - 1389 = -c. Is c prime?
False
Suppose -4*v + 5*v = 0. Suppose 3*p = v, h + p + 91 = 240. Is h a composite number?
False
Let n(l) = 7*l**2 - 13*l - 31. Is n(-4) prime?
False
Suppose 4*s - 7 = -35. Let m = 11 + s. Suppose 0 = 3*w - m*l - 28 - 49, -2*w = -l - 58. Is w a prime number?
True
Let d = -5 - -7. Let n(j) = 1 + d*j + 6*j - 42*j. Is n(-1) composite?
True
Let m be (-3)/((-3)/6 + -1). Is (-76)/(-8) + m/4 composite?
True
Let m be 672/26 + (-4)/(-26). Let q = 100 - m. Is q a prime number?
False
Let d(k) be the first derivative of 71*k**2/2 - 2*k + 1. Is d(3) prime?
True
Let i(b) = -4*b - 4. Let l be i(-2). Is (1/l)/((-6)/(-6024)) prime?
True
Let v = 22 + -4. Is -5*(-2 - -1 - v) composite?
True
Suppose 2233 + 1137 = 5*y - 2*d, 0 = 5*d. Is y prime?
False
Let w(j) = -j**3 - 6*j**2 + j - 5. Let q(l) = -l. Let p be q(7). Is w(p) composite?
False
Suppose 0 = 5*h - 789 - 1846. Is h a composite number?
True
Let r(l) = -4*l + 