u + 264 = -22. Is u a prime number?
False
Is (140/40)/((2 + -1)/38) composite?
True
Let d be 4 + (-2)/(-3)*-3. Suppose j + 5 = 4*g + d*j, -4*j - 10 = g. Is (-174)/(-9) - g/6 prime?
True
Suppose 4*v = 2*v + x + 1778, -5*v = 3*x - 4445. Is v a prime number?
False
Let h(k) = -20*k + 3. Let d(y) = -40*y + 6. Let w(q) = 4*d(q) - 9*h(q). Is w(2) prime?
True
Suppose 2*c - 7 = -0*c + 5*d, -3*d - 15 = -3*c. Suppose 4*b = -c - 74. Let p = b - -35. Is p composite?
True
Suppose -4*n + 945 = -4315. Is n prime?
False
Suppose 4*m = 4*n - 2246 - 3842, 6113 = -4*m - n. Is m/(-12) - (-3)/(-12) prime?
True
Suppose -2*j = 2*i - 1032, 2*i + 4 = -2*i. Is j composite?
True
Let f(k) = k**3 - 15*k**2 + 14*k + 3. Is f(15) a prime number?
False
Let o(x) = -x**2 - 11*x + 5. Let j be o(-10). Is ((-93)/j)/((-1)/5) a composite number?
False
Let b = -9 + 9. Suppose k + 4*g - 61 = -b*k, -3*g + 6 = 0. Is k a prime number?
True
Let j = -12 - -18. Let x(b) = b**3 - 3*b**2 - 9*b + 1. Is x(j) a composite number?
True
Let s = 274 + 29. Is s prime?
False
Is 2 + 3/3 + 583 a composite number?
True
Suppose -5*i = -0*i - 1255. Is i a composite number?
False
Is 19671/21 + -3 + 69/21 a prime number?
True
Let h = -7 + -3. Is h/(-3) - 2/6 a prime number?
True
Let h be ((-1)/2)/(1/(-4)). Suppose -n = h*n - 9. Suppose u = 4*k - 3*u - 80, -n*u = -4*k + 79. Is k a composite number?
False
Suppose -5*i + 3*i + 586 = 0. Is i composite?
False
Let b = 15 - -20. Is b a prime number?
False
Let o = 85 - 19. Let h = o - -4. Let m = 159 - h. Is m a prime number?
True
Is (10/25*-5)/((-4)/2486) prime?
False
Suppose -3*o + 0 = 3. Let n be ((-63)/(-36))/(o/(-68)). Is 3 + 0 + n - -1 a prime number?
False
Let p be 73/(-2) - 3/2. Let t = p - -465. Is t a prime number?
False
Let q be (-138)/7 + 8/(-28). Let d be (1*3)/((-15)/q). Suppose s + 3*b + 120 = d*s, 4*b + 90 = 2*s. Is s a prime number?
False
Let a = 318 + 649. Is a composite?
False
Let x(v) = -6*v**3 - v**2 - 2*v - 2. Is x(-3) prime?
True
Suppose 0 = -3*q - 13 + 4, 5*q = -4*o + 281. Is o composite?
True
Suppose 2*h - 6 = -h. Is (153/3)/1 + h composite?
False
Let k = 792 + 7. Is k prime?
False
Let k(s) = -s**2 - 7*s - 2 + 0*s**2 + 4. Let c be k(-4). Suppose -i = i - c. Is i a composite number?
False
Suppose -4 = -3*y - 2*w - 2, y + 16 = -4*w. Suppose 2*z = y*l - 6, -l = z - 6 - 3. Suppose l*o = -0*o + 92. Is o prime?
True
Let y = -110 + 185. Suppose -3*d = 2*d - y. Is d a composite number?
True
Let q be (2 - 0) + 0/2. Let m be (-445)/q*24/(-15). Suppose 5*t = t + m. Is t prime?
True
Let k(x) = -x**3 - x**2 - 2*x + 295. Is k(0) a prime number?
False
Suppose 7*p = 3*p + 16. Suppose 9*w - p*w = 75. Is w a composite number?
True
Let r(h) = 6*h**2 - 2*h + 3. Is r(10) a composite number?
True
Let q = 38 - -15. Is q prime?
True
Let k(r) = -2*r - 2. Let u be k(-2). Suppose b + 11 = 5*v + u*b, -13 = -4*v - 5*b. Suppose -5*w - 4*f + 395 = 0, 395 = v*w + 3*w - 5*f. Is w prime?
True
Suppose 3*s - 2*i - 2 = 0, -3*s + 27 = -0*i + 3*i. Suppose -3*t = 3*w - 333, s*w = 3*t - t + 438. Suppose w = k + k. Is k prime?
False
Suppose -4*u - 4 = -56. Suppose -4*w + 5*s + 8 + u = 0, 0 = -5*w + 3*s + 10. Is ((-14)/4)/(w/10) a prime number?
False
Let h(k) = 10*k - 1. Let j be (0 - -1)/(2/10). Is h(j) a prime number?
False
Let q = 9 - 14. Let p = q + 8. Is p a prime number?
True
Let b be (9/(-4))/((-6)/(-24)). Let u = -2 - b. Suppose 2*r - 81 = -u. Is r a composite number?
False
Let j = 29 + -41. Let u(n) = -n**2 + 12*n + 10. Let q be u(9). Let f = j + q. Is f composite?
True
Let t be ((2 - -4)*-1)/(-1). Let g(s) = s**2 - 5*s + 1. Let u be g(t). Suppose u*l - 147 = 4*l. Is l prime?
False
Let n = -1 + -5. Is 62*(n/4)/(-3) a prime number?
True
Suppose 2*l - 3630 = -4*w, 3*w = -0*l - 5*l + 9082. Is l a prime number?
False
Let z = -73 - -197. Let h = -2 - -4. Suppose -2*p = h*p - z. Is p prime?
True
Let q = 156 + 5. Is q a prime number?
False
Is 614/6 - 12/(-18) composite?
False
Let u = -49 + 107. Is u a prime number?
False
Let r be (-2 - (-89 + -4)) + 1. Suppose 0*j = -5*j - 175. Let n = r - j. Is n composite?
False
Let u = -3 + 3. Suppose -2*f + 38 + 24 = u. Is f a composite number?
False
Let m = -227 - -481. Is m a prime number?
False
Let v = -5 + 10. Suppose -5*f = v*g + 885, -2*g - 3*g = -4*f + 867. Let l = -108 - g. Is l a prime number?
True
Suppose -3*h - 6 = -2*u + 13, 3*h + 43 = -4*u. Let w = 0 + h. Is 2/w - (-418)/18 a composite number?
False
Let s(l) = 15*l**3 - l**2. Suppose -2*f + 2*n = -0*n + 6, 0 = -2*n + 6. Suppose 2*v + v + 4*c = -1, f = v + c. Is s(v) prime?
False
Let k(m) = m**3 - m. Let y be k(0). Let p(q) = 1 + 6 - 4*q + 3*q. Is p(y) a prime number?
True
Let v = 38 - -31. Suppose -184 = -a + v. Is a composite?
True
Let w(g) = -g**2 - g**3 + 3*g**2 + 3*g - 4*g**2. Let m be w(-6). Suppose -2*s + m + 32 = 0. Is s a composite number?
False
Let x(u) = -554*u**3 + u**2 + u + 1. Let n be x(-1). Suppose 222 = 2*h + 3*d, d - n = -5*h - d. Is h prime?
False
Let j be (-1 - 0)/((-1)/5). Let m(x) be the first derivative of 9*x**2 - x - 3. Is m(j) composite?
False
Suppose -7*x + 2*x = 4*f - 7912, -9873 = -5*f - 2*x. Is f composite?
False
Let d(p) = -7*p - 11. Is d(-14) a prime number?
False
Suppose -416 = -8*v + 4*v. Let n = v + 7. Is n a composite number?
True
Suppose k + 13 = 3*g, 2 = 4*g + 5*k - 9. Suppose -10 = -g*f + 3*f. Is f a composite number?
True
Let b(x) = 3*x**2 + 2*x. Let f be b(2). Suppose -f + 4 = 2*m. Let k = 91 - m. Is k a composite number?
False
Let p be (-19)/(1*2/(-6)). Suppose 7 = -2*y + 3, 4*w = 3*y + 494. Let v = w - p. Is v composite?
True
Suppose 0 = -0*h - 2*h - 2. Let c be (-664)/(-12) + h/3. Let j = 14 + c. Is j composite?
True
Let c be ((-9)/(-15))/((-3)/(-15)). Let b be 1*3 + 0/c. Suppose 5*j = -3*u + 47, b*u = 3*j + 4 - 13. Is j a composite number?
False
Let o(z) = z**3 + 12*z**2 + 5*z - 13. Let l be o(-9). Let v = 72 + l. Is v a prime number?
True
Let b = 155 + -239. Let d be -2 + ((-4)/(-2) - b). Suppose 2*a = -3*x + 7*x - d, -2*a = 0. Is x a composite number?
True
Is 1 - (-3 + 25*-15) composite?
False
Is (-3)/(-2)*(10 - -336) a composite number?
True
Let b(p) = -p**3 + 12*p**2 - p - 3. Let x be b(12). Let r(a) = -a**2 - 18*a + 8. Is r(x) prime?
True
Let q = 2 - -22. Let i(b) = 3*b**2. Let y be i(1). Suppose -y*o = -135 + q. Is o a composite number?
False
Suppose -3*a + 2 = 4*b + 5, -5*a - 22 = b. Let c(o) = 2*o**2 + 4*o + o**2 - b - o**3 + 2. Is c(3) a prime number?
True
Suppose -16 = -3*z + 200. Suppose q + 2*q + z = 0. Is ((-1)/(-2))/((-2)/q) a prime number?
False
Let f(j) = -2*j - 7. Let m be f(-5). Suppose 0 = -m*l + 1 + 8. Suppose -16 = -s - l*s. Is s a prime number?
False
Let s be (3/2)/(6/16). Let h be 3/s*-362*-2. Suppose 0 = 5*w + 5*i - h - 87, 4*w - i - 509 = 0. Is w a prime number?
True
Let p be (-995)/(-2)*24/30. Let f = p + -187. Is f prime?
True
Let l = 653 - 346. Is l a prime number?
True
Let v = 6 - -4. Suppose -5*m - 84 = 2*i - v*m, 0 = m - 4. Let s = 23 - i. Is s prime?
False
Let p be (-615)/(-25) - (-4)/10. Suppose r = -p + 134. Is r a composite number?
False
Let s = -87 + 196. Is s composite?
False
Let u(t) = -135*t + 6. Is u(-3) composite?
True
Let b = 29 - 25. Is -73*(b/(-4) + -2) prime?
False
Let v = 1070 + -549. Let a = -264 + v. Is a a prime number?
True
Suppose -5*y - s + 3*s = 735, -3*y - 441 = -s. Let g = y + 594. Is g composite?
True
Let s(n) = n**3 - 8*n**2 + 9*n - 11. Let g be s(8). Let x be 2/7 - 536/14. Let b = x + g. Is b a composite number?
False
Suppose 0 = 2*c - 6434 + 400. Is c a prime number?
False
Let p(s) be the first derivative of 0*s**2 + 31*s + 2 + 0*s**3 - 1/4*s**4. Is p(0) prime?
True
Let g(o) = o**2 + 3*o + 2. Let m be g(-2). Suppose m*p = -2*p + 76. Is p composite?
True
Let o(s) = s**3 + 10*s**2 - 10*s + 9. Let a be o(-11). Is a/(-5) - (-26)/10 a prime number?
True
Suppose 2*o = -3*o + 180. Let g = o - 26. Is g composite?
True
Let k(d) be the second derivative of d**4/6 - d**3/6 - 3*d**2 + 3*d. Is k(4) a composite number?
True
Let t(j) = -12*j**3 - 5*j**2 - 2*j + 4. Is t(-3) prime?
False
Let k(w) = 15*w + 2. Suppose -2*l = -7*l + 25. Is k(l) a composite number?
True
Let h(r) = -2*r + 2. Let j be h(7). Let o = -18 - j. Is (4 - -1)*o/(-3) composite?
True
Let n be (0 - -3)/(8 - 7). Suppose q - 5*u