= -a, -5*c = -4*a - 2209. Is c a prime number?
False
Let a(f) = -5*f - 12. Is a(-13) a composite number?
False
Suppose 295 = 3*v + 2*v. Is v a prime number?
True
Let a be (-3)/9 + (-10)/(-3). Suppose -a*k + 635 = 2*k. Is k a composite number?
False
Let w(a) = -a**3 + 6*a**2 - 4*a + 6. Let g(o) = 2*o**3 - 13*o**2 + 7*o - 13. Let q(l) = 6*g(l) + 11*w(l). Is q(13) composite?
False
Suppose 3*d - 19539 = -6*d. Is d a composite number?
True
Let u(k) = 2301*k - 5. Is u(2) composite?
False
Let o(p) = -p**3 - 5*p**2 + 11*p - 14. Is o(-9) a composite number?
False
Let k(a) = 3*a - 4. Let n be k(4). Suppose n*y - 3*y = 15. Let p(h) = 7*h + 4. Is p(y) composite?
True
Suppose -w = 4*w - 5*t - 2710, t = 3. Is 2/(5/(w/2)) a composite number?
False
Suppose -3*i = 3*j - 6, 20 - 49 = -4*j + 3*i. Suppose 0*f = -j*f + 690. Suppose 3*a = f + 129. Is a composite?
False
Let g(d) be the third derivative of d**5/60 + d**4/4 - 2*d**2. Let n be g(-5). Is n/(0 + 1)*-5 prime?
False
Let q(s) = -195*s + 19. Is q(-10) prime?
False
Is (1 - 3)/1 - -145 composite?
True
Let o(g) = g**3 + 2*g**2 - 4*g + 2. Is o(5) a composite number?
False
Let a(k) = -175*k - 16. Is a(-11) a composite number?
True
Suppose -2*y + 114 = 4*u, -4*y + 3*y + 5 = 0. Suppose 2*i + 2*l - u = 0, 5*l - 37 = -3*i + 3*l. Is i a prime number?
True
Let l(d) = -d + 1. Let c be l(-2). Suppose -s = c*s. Suppose w + w = -3*p + 151, s = p - w - 57. Is p a prime number?
True
Let m = 196 - 137. Is m a composite number?
False
Suppose 0 = -3*t + 457 + 662. Is t prime?
True
Let y(x) = -138*x**3 - 2*x**2 - x. Let q be y(-1). Suppose 0 = 5*s + 3*w + q + 71, -5*s + 3*w - 202 = 0. Let h = s - -78. Is h a prime number?
True
Is (4/2 - 2) + 67 prime?
True
Is (-1326)/(-4)*(-6)/(-9) a composite number?
True
Suppose 2*y + 2*y = 4*d - 648, 319 = 2*d - y. Is d composite?
False
Suppose 2376 = 2*x + 2*d - 5*d, -3*x + 5*d = -3565. Suppose -4*c - 273 + x = 0. Suppose u = -b - 0*b + c, -2*b + 5*u = -421. Is b prime?
True
Suppose 1 - 7 = 2*z. Let x(j) = j**2 + 3*j + 4. Let s be x(z). Suppose -s*o + 9 = -239. Is o a prime number?
False
Suppose -4 - 12 = -4*b. Suppose 0*v + b*v = -8. Is v/(2*(-2)/46) composite?
False
Let s(d) = d**2 - 4*d + 4. Let u be s(5). Is 1/(u/51)*21 composite?
True
Suppose 0*x + 5*a = -4*x - 28, 0 = -3*x - a - 10. Is (66/(-9))/(x/3) a composite number?
False
Let k = -198 + 114. Let m = -47 - k. Is m composite?
False
Suppose 1432 = 4*u - 732. Is u a prime number?
True
Suppose -2*a + 6*a = 492. Is a prime?
False
Let s be (-12)/66 - 13/(-11). Let g(t) = -5*t + 1 - 3*t - 6*t + s - t**2. Is g(-11) a composite number?
True
Suppose -z = -30 - 47. Suppose -k = -2*k + z. Suppose 2*p - p - k = 0. Is p composite?
True
Suppose 0 = -2*d + 11 + 65. Suppose -c + 110 + d = 4*u, 5*u = -2*c + 185. Is u a composite number?
False
Let h(v) = 17*v - 14. Let s(q) = 8*q - 7. Let y(j) = -6*h(j) + 13*s(j). Is y(16) prime?
False
Let p(h) = h**2 - 6*h + 2. Let u be p(6). Suppose -3*m = -f - 177 - 28, -u*m - 2*f = -126. Is m a prime number?
True
Suppose l = 6*l - 5075. Suppose -5*o = -l + 270. Is o composite?
False
Let i(c) = 10*c - 1 - c**2 - 3*c - 2. Let y be i(6). Suppose -153 = -y*b + 3*o, 5*o - 266 = -3*b - 97. Is b a prime number?
True
Is 61*11 + (10 - 14) prime?
False
Suppose -10*h + 6*h + 2456 = 0. Is h a prime number?
False
Let i = 1526 + 1241. Is i composite?
False
Suppose -1535 = -11*y + 6*y. Is y a prime number?
True
Suppose -3*a = 15, -a - 3*a + 1543 = 3*h. Is h a prime number?
True
Let t(n) = 5*n**2 - 1. Let b be t(2). Let p be (-424)/32 - 3/4. Is p/(-2)*b - 2 a composite number?
False
Suppose z = 4 - 2. Is (4 - z) + 2/2 prime?
True
Suppose -5*x = 3*k - 48, 2*x = 5*k - k - 38. Suppose z + k = 2*z. Is z composite?
False
Let r(f) = -f**3 + 11*f**2 - f + 9. Let q be r(9). Let w = -85 + q. Is w prime?
False
Let a(f) = f**3 - 4*f**2 + f + 3. Let x(v) = -v - 6. Let c be x(-8). Let b = 7 - c. Is a(b) prime?
False
Let n(g) = 6*g**2 + 4*g - 5. Let x be n(5). Suppose -z - 4*z = -x. Is z a prime number?
False
Let t be (7/(-2))/(-1)*-2. Let d = t + 17. Is d/(-25) - (-44)/10 prime?
False
Suppose 3*r + 0*r = 5*p + 10059, -2*r - 3*p = -6706. Is r a prime number?
False
Let q be 6/9 + (-39)/(-9). Suppose q*u - 202 = -2. Suppose 2*o - u = -2*o. Is o a prime number?
False
Let b(a) = a**2 - 4*a + 25. Is b(-8) a prime number?
False
Let n(y) = -y**2 + 2*y + 15. Let h(q) = -q**2 + q + 7. Let c(i) = -13*h(i) + 6*n(i). Let p be (-9 + 1)/(-4) - 0. Is c(p) composite?
True
Suppose -j + 4 = -0*j + m, -j + 8 = 5*m. Suppose i - j*i + h = -25, -3*h + 15 = 3*i. Is i prime?
False
Suppose 4*y - 3196 = -560. Is y a composite number?
False
Let g(i) = 3*i**2 - 17*i + 45. Is g(-14) prime?
False
Suppose -33171 = -5*q + 7024. Is q composite?
False
Let w(i) = -i**3 + 1. Let c be w(1). Suppose c = 4*x - 33 - 859. Is x a composite number?
False
Let p(k) = -k + 8. Let z be p(4). Suppose 2*f - 104 = -z*w + 222, -5*f + 151 = 2*w. Is w prime?
True
Let r be 16/(-2)*(-65 - 3). Let h = r - 177. Is h prime?
True
Suppose 6*z - 3*z + 45 = 0. Is 491/3 - (-10)/z a composite number?
False
Let l(u) = -u**2 + 5*u + 2. Let g be l(5). Suppose -f = -5 - g. Let y(i) = i**3 - 4*i**2 + 3*i - 5. Is y(f) a composite number?
False
Let g be (-70)/30 - (-1)/3. Let r(n) = -146*n + 1. Is r(g) composite?
False
Let y be (6 - 2)/((-1)/3). Let h = y + 86. Is h a prime number?
False
Suppose -7*k + 10*k = 0. Suppose 145 = 5*v - 5*m, v + k*m - 49 = -4*m. Is v prime?
False
Let i(p) = p**2 - 4*p - 11. Is i(-5) composite?
True
Let p(m) = m**2 + 6*m - 3. Let z be p(-7). Suppose 12 = -z*s, x + 3*x - s = 67. Suppose -2*q = -12 - x. Is q a composite number?
True
Let g = -433 + 1893. Suppose -4*r - 232 = -g. Is r prime?
True
Let d(h) = 13*h - 2. Let g(l) = -l + 1. Let v(c) = d(c) + g(c). Let a = -3 + 6. Is v(a) composite?
True
Let l = 1184 + -691. Is l prime?
False
Let v(w) = w**3 + 5*w**2 + 4*w - 1. Let f be v(-4). Suppose 0 = 3*z - 8*z + 520. Is f - (-3)/(6/z) a composite number?
True
Is 1*-119*(2 + -3) a prime number?
False
Let q = 179 + -92. Is q composite?
True
Is 1/(-5) - 26424/(-45) prime?
True
Suppose 0 = -0*m + 3*m - 27. Let t = 5 - m. Is 4/(-6)*(t - 5) a composite number?
True
Suppose -2*u - 2 = h, -2*h - 5 + 0 = 5*u. Let a be u/((-2)/(-4)) + 237. Suppose 3*i - a = i + k, 116 = i - k. Is i prime?
False
Suppose 0 = -o + 1 - 7. Let g = o - -5. Is (g - (-5 + 2)) + 13 composite?
True
Suppose 0 = 2*g - 4*v - 0 - 4, 5*v + 4 = 2*g. Suppose 0 = -3*u - g*u - 25. Let w(b) = -b**3 - 3*b**2 + 4*b - 5. Is w(u) prime?
False
Is (-5)/(-15)*67*3 prime?
True
Suppose 146 = -3*w + 395. Is w a prime number?
True
Suppose -6*z = -2*z + 100. Let p = z - -50. Is p a prime number?
False
Suppose -3*o - 1 + 2 = -s, s = 4*o - 2. Let x be ((-6)/(-5))/(3/10). Suppose 3*a - 120 = -a + 2*v, 0 = s*v - x. Is a composite?
False
Let u = 2348 - -231. Is u a composite number?
False
Suppose -55 + 841 = 2*v. Suppose 6*b - v = 3*b. Is b composite?
False
Let s(q) = -3*q**3 + 8*q**2 - 9*q - 9. Let y(z) = -5*z**3 + 12*z**2 - 14*z - 14. Suppose -k + 3*k = -10. Let j(v) = k*y(v) + 8*s(v). Is j(-2) a prime number?
False
Let i = 25 + 36. Let l = 107 - i. Is l composite?
True
Let p(f) = -11*f**3 - f**2 - f - 1. Let a(h) = h**3 - 10*h**2 - 11*h - 3. Let q be a(11). Let s = q + 1. Is p(s) prime?
False
Let f be (-852)/16*1*-4. Suppose -f = -3*r + 186. Is r composite?
True
Let x(p) = p**3 + 5*p**2 + 5*p + 2. Suppose 0 = 4*t - 0*t + 12. Let c be x(t). Suppose -c*g + 36 = -2*b - 69, -5*g - 5*b + 105 = 0. Is g composite?
True
Let j = -3 - 1. Let o(m) = m**3 + 5*m**2 + 5*m + 1. Let s be o(j). Is (11 - (-6)/s)*1 a prime number?
False
Suppose -4*r - 4*y + 1316 = 352, 3*y + 462 = 2*r. Is r a composite number?
True
Let h(a) = 160*a**3 + 2*a**2 - a. Let u(q) = q + 10. Let k(g) = -3*g + 9. Let f be k(6). Let o be u(f). Is h(o) a prime number?
False
Suppose 2*c + 2*z - 18 = 0, -4*z = -c - z - 3. Let k = -2 + 98. Suppose -4*y + k = f, 5*y + c*f = 5*f + 119. Is y composite?
False
Let r(w) = 9*w**2 + 9*w - 3. Is r(-5) a prime number?
False
Let l = 1448 + 311. Is l a prime number?
True
Let k(c) = -7*c**3 + 7*c**2 - 9*c + 7. Is k(-8) a composite number?
False
Let x = 3 - 1. Suppose x*q - 4*q = -102. Is q composite?
True
Suppose 6 = 5*s - 2*s. Suppose 0 = 3*q - s*q - 161.