ppose -2*j + r*j = 0. Suppose -4*a + 70 + 238 = j. Is a composite?
True
Suppose 2*j - 4*q - 8 = 0, -2*j + 7*j + 4*q + 36 = 0. Let a be (-8)/j*19/2. Is (-2 - (-1 - 1)) + a composite?
False
Suppose 0 = 5*f + 3*u - 18, 2*f - 5*u = -0*f + 1. Suppose -12 = f*q - 7*q. Is -6*(-34)/q - 1 a composite number?
False
Let p be (2 + -6)/2 + 1. Let y(n) = n - 1. Let c(k) = 49*k + 6. Let s(u) = p*c(u) - 6*y(u). Is s(-1) a prime number?
False
Suppose w = 7*w - 564. Is w composite?
True
Suppose 1294 = -4*p + 4*k + 4874, 2*p - 1790 = 5*k. Is p prime?
False
Let i be 1/1 + 0 + 5. Suppose -4*t + 2*t = 2*f - 6, -f = -2*t - i. Is (2 + 146/f)*2 a composite number?
True
Let i = 91 - 51. Let y(k) = -k**3 - 3*k**2 + 2*k - 5. Let a be y(-4). Is 1/a + i/6 a prime number?
True
Let n(a) = a**3 + 13*a**2 - 3*a - 12. Let v be 90/(-9) - (0 + 1). Is n(v) prime?
True
Let w(j) = 844*j**3 + 2*j**2 - 2*j + 5. Is w(2) a composite number?
False
Suppose 2*n + 359 = -3*d, 23 = -5*n + 5*d - 887. Let p = n - -596. Is p prime?
False
Let v = -125 + 53. Let w = 41 + v. Let t = w + 52. Is t prime?
False
Let y(k) = 18*k - 1. Let a be y(-1). Let f = -9 - a. Suppose -m + 105 = -f. Is m composite?
True
Let m = -21 - -658. Suppose 0 = -5*x + 603 + m. Suppose w + x = 5*q, 4*q - 193 = -5*w + 4*w. Is q a composite number?
True
Let z be 2/(-6) - (-166)/(-6). Suppose 3*x = x + 6. Is (0 - 1)*(z - x) a prime number?
True
Suppose 5*v + 276 = 3*q, 0 = 3*v - 3 - 6. Suppose -q - 13 = -2*c. Is c prime?
False
Let q(w) = w**3 + 14*w**2 - 8*w - 13. Is q(-12) a prime number?
False
Let m(j) = -2*j**3 + 3*j**2 + 2*j + 9. Is m(-6) prime?
False
Let z be (-2)/(1 + -2) - 35. Let f = z + 57. Suppose 0 = d + i - f, 76 = 3*d - 0*i - i. Is d composite?
True
Suppose 5*h + 4*k = 3*k + 369, 5*k = -h + 69. Is h a composite number?
True
Let m(v) = v**3 - 10*v**2 + 10*v - 8. Let x be m(9). Is (x/(-4))/((-1)/892) prime?
True
Let b(c) = -55*c**3 - c - 1. Let g be 0 - (2 + 3/(-3)). Is b(g) a prime number?
False
Let y be 145/45 - 4/18. Let r be (-1 + 7)*2/y. Suppose 0*q + 5*d + 41 = 2*q, 5*q + r*d - 185 = 0. Is q a composite number?
True
Suppose -5*n = -6*n + 115. Suppose -20 + n = 5*a. Is a a composite number?
False
Let j(a) = -a**3 + 6*a**2 + 8*a - 5. Let f be j(7). Suppose 0 = -f*x + x. Is (-1 - x) + -1 + 33 composite?
False
Let n be 10/6 + (-1)/(-3). Let f(t) = -1 + t**3 + 0*t**3 - t**n - 3*t**3. Is f(-2) prime?
True
Let p be (16/5)/(-2)*5. Let t be 174/(-10) - p/20. Let a = 5 - t. Is a a prime number?
False
Let l(s) = 2*s**3 - 2*s**2 - 2*s + 2. Let i be l(2). Suppose 4*k = i*k - 142. Is k composite?
False
Let k(x) be the third derivative of x**4/8 + 5*x**3/3 - 2*x**2. Is k(9) prime?
True
Let k be 4/6 + (-26)/(-6). Suppose -425 = -k*d + 100. Suppose 4*w = 3*w - j + 54, j + d = 2*w. Is w a composite number?
False
Let i be (9 - 4)*(-3 - -2). Let a = i + 160. Is a a prime number?
False
Is 3*(-5 - -146) + -4 a composite number?
False
Is (-15)/(-3)*(-751)/(-5) a composite number?
False
Suppose 0 = -5*n + 10*n - 635. Is n composite?
False
Let l = -247 + 462. Is l prime?
False
Let x = -16 + 22. Let w(f) = 4*f**2 + 4*f + 8. Let t be w(-7). Suppose x*y - 3*y - g - t = 0, 0 = 5*y + 4*g - 299. Is y prime?
True
Let j = -5 + 3. Let i be j/(3 + (-22)/6). Is 22 + 3/3 + i prime?
False
Let o(p) = 4*p**2 + 7*p + 7. Is o(8) prime?
False
Is 712/(-12)*(-9)/2 prime?
False
Let i(q) be the first derivative of q**4/4 - q**3 + q**2/2 + 2*q - 1. Let y be i(2). Suppose y = 2*n + 36 - 106. Is n composite?
True
Suppose -9078 = 55*g - 61*g. Is g a composite number?
True
Is 2/(-11) + (-6639)/(-33) a prime number?
False
Let o = 3 - 6. Let k = o + 1. Is (-84)/(-15) + k/(-5) a composite number?
True
Suppose 3*x = 2*j - 1, 42 = 4*j - 0*x + 2*x. Let p = -5 + j. Suppose -p*r - 13 = -70. Is r prime?
True
Suppose -6 = -2*a - 4*g, -2*g + 4*g - 7 = -5*a. Is a*-1 + -5 + 29 a prime number?
True
Let x(u) = 25*u**2 + 5*u + 1. Let p = -8 - -4. Is x(p) a prime number?
False
Suppose -3*q = 3*y - 1446, 2403 = 2*y + 3*y - 2*q. Is y composite?
True
Let f(o) = -o + 1. Let x be f(-8). Let l(j) = j**3 - 8*j**2 + 7*j + 5. Is l(x) prime?
True
Let d = 7 - 4. Suppose 0 = 3*b + 4*a - 239, 0 = -3*b + d*a - 5*a + 235. Let k = b + -40. Is k prime?
True
Suppose 5334 + 1234 = 4*c. Is c composite?
True
Let z(g) be the third derivative of g**6/120 + g**5/12 - g**4/24 - 5*g**3/6 - 3*g**2. Let k be z(-4). Is 335/k - 2/(-3) composite?
False
Let q be 27/2*(-8)/6. Let c = q + 149. Is c composite?
False
Let v(b) = -b**2 - 11*b - 11. Let c be v(-10). Is c + 2 + 130 + 3 prime?
False
Let j(t) = t**3 + 431. Let n be j(0). Suppose a = -0*a + 54. Let l = a + n. Is l a composite number?
True
Let x = -14 + 0. Let i(y) = -y + 17. Is i(x) a composite number?
False
Suppose -o = 2*n - 5, 1 = -5*n + 5*o + 51. Suppose 30 = -10*d + n*d. Is 33 - (3 + d - -1) prime?
False
Suppose 5*f + 0*c = -c - 12, -3*f = -5*c - 4. Let x(z) = -1 + 3*z**2 + 3*z - 3*z + z + 0. Is x(f) a composite number?
True
Let k(s) = 3 - 3*s - 1 - 3*s. Let q be k(-3). Suppose -9 = 3*d, -d = -v + 48 - q. Is v composite?
True
Suppose -4 = -2*j + j. Suppose j*b + 879 = 7*b. Is b prime?
True
Let y(u) = 0*u**2 + 14*u - 3 + 3*u**2 - 2 - 5*u. Is y(-7) a composite number?
False
Let k = 11 + -11. Suppose k = r - 0*r - 127. Is r composite?
False
Suppose -2*f - 20 = -0*f. Is 3/5 - 3304/f prime?
True
Let a = -21 - -122. Suppose -3*w + 6*w = 78. Let q = a + w. Is q composite?
False
Let l(o) be the third derivative of o**5/30 + 5*o**4/12 - 11*o**3/6 - 11*o**2. Suppose 14 = -f + 6. Is l(f) a prime number?
True
Let g(q) = 49*q + 28. Is g(9) a composite number?
True
Let a(q) = 3*q**2 + 13*q + 1. Let u(v) = v**2 - 13*v - 9. Let i be u(13). Is a(i) a composite number?
False
Suppose -27 = -2*s - 2*s - 5*i, 2*s + 2*i = 12. Suppose -s*q = 18 + 15. Let x = 2 - q. Is x composite?
False
Let q(p) = 1. Let g(b) = 5 + 15*b + 0*b + 2*b. Let n(v) = -g(v) + 3*q(v). Is n(-3) prime?
False
Suppose -3*q - 10 = i - 0*i, q + 8 = 2*i. Is (-9051)/(-49) - q/14 prime?
False
Suppose -4*p - 4 = 0, a - p - 59 = -0*a. Is a composite?
True
Let a(n) = -71*n + 6. Let o be a(7). Let j = -306 - o. Is j a composite number?
True
Let o be -2*2*(-41 - -2). Let m be (-5 + 7)/(4/2). Suppose -4*y - 437 = -5*w - o, 0 = y - m. Is w a composite number?
True
Suppose -3*a + 1 + 0 = -2*d, 0 = -a + 3*d + 5. Is -157*-2*a/(-2) a prime number?
True
Suppose -3*p + 968 = 5*h, 3*p + 2*h = 3*h + 998. Is p a composite number?
False
Let c be (870/(-10))/(1 - 2). Let n(w) = 10*w - 2. Let h be n(3). Let g = c - h. Is g prime?
True
Let c(u) = 2*u + 257. Is c(0) a prime number?
True
Let z(a) = -17*a - 16. Let m(o) = -4*o - 4. Let p(c) = 9*m(c) - 2*z(c). Let l be p(-3). Suppose 18 = 4*f + l*h - 66, 5*h + 84 = 4*f. Is f a prime number?
False
Suppose -3*w - 2*w + 20 = 0. Let n be (-38)/(-4) - w/8. Let b(v) = 2*v**2 - 13*v + 8. Is b(n) a composite number?
False
Let p be 2/3*1968/16. Suppose 45 + p = q. Is q prime?
True
Suppose 0 = -5*c + 3*a + 808, -3*a = 4*c + 59 - 700. Is c a prime number?
False
Suppose -150 = -2*t + 62. Is t prime?
False
Is 26 + 0*5/(-10) prime?
False
Is (2*(-4955)/(-10))/1 prime?
True
Let y(o) = 4*o**2 + 13*o + 17. Is y(-10) a prime number?
False
Let s(k) = 3*k + 4*k**3 + 0*k**2 + 3 - 13*k**3 + 2*k**2. Is s(-2) composite?
True
Let r be -3*37*(-3)/9. Suppose 16 + r = g. Is g composite?
False
Let m(d) = 126*d - 15. Is m(8) a prime number?
False
Let a(y) = -y**3 + 19*y**2 - 11*y - 24. Is a(17) a prime number?
True
Let o(j) = 4*j. Let b be o(1). Suppose -b*w + 5 + 3 = 0. Suppose -w*d = -6*d + 140. Is d composite?
True
Suppose -4*j = 12, 3*z + 48 = 4*j - 294. Let h(s) = -s**2 - s + 1. Let k be h(5). Let l = k - z. Is l a prime number?
True
Let r(q) = q**3 + q**2 - q + 449. Let c be r(0). Is (-3)/3*-1*c a prime number?
True
Let s(q) = -q - 2. Let v be s(-6). Let t = v - 4. Is 1 + 19 + t + 1 composite?
True
Suppose 2*o - 16 = -2*o - 4*s, -s + 2 = 0. Suppose j + 33 + 199 = 4*z, -o*z + 5*j + 116 = 0. Is z composite?
True
Let v(x) = -17*x**2 + x + 2. Let a be v(-5). Let y = a + 613. Is y a composite number?
True
Is (-495)/(-36) - (-2)/8 composite?
True
Suppose 11*g - 6*g = 3*r - 6102, -r + 2054 = 5*g. Is r a prime number?
True
Is (-33)/55 - (-973)/5 a composite number?
True
Is (-4)/(-2)*443/2 a prime number?
Tr