Let t be s(2). Suppose -v - 26 = t. Let i = v + 133. Is i prime?
True
Let j = 1173 + -322. Is j a composite number?
True
Suppose -3*z = -2*q - 9, -2*z + 15 = 5*q + 3*z. Suppose q*x = 2*x - 120. Suppose 2*m - w + x = 259, -m - w = -92. Is m prime?
True
Suppose 0 = -2*g + 5*g - 9. Suppose g*k - 1743 = -3*h, -4*k + 2342 = -5*h - 0*h. Is k composite?
True
Suppose 4*g - 2*w - w = 8947, 0 = 5*w + 5. Suppose -g = -5*m + f - 3*f, 3*m = f + 1335. Suppose -5*j - 1 = -m. Is j a prime number?
True
Let y(s) = s**3 + 2*s**2 - 3*s - 3. Let x be y(-2). Let k be (180 - -5) + 1*x. Is (k/(-12))/(2/(-12)) prime?
False
Suppose 0 = -3*k + 9 + 33. Is 6814/k - 28/(-98) prime?
True
Suppose -5*s - 1 = -6. Is s + 2/(-1) - -195 prime?
False
Suppose 4*z + 0*l = 2*l + 18, -2*z = -2*l - 4. Let y = -1 + -7. Let w = z - y. Is w prime?
False
Suppose 0 = -5*d - 2*d + 4613. Is d a prime number?
True
Suppose 4*m + 6 = m. Is (3 + 379)*(-1)/m composite?
False
Let a(g) = g - 1. Let p be a(3). Let b(f) = 4 + 4*f - 9 + 5 - p. Is b(3) composite?
True
Is ((-1)/2)/(5/(-5830)) composite?
True
Let z be (-2)/8 + 1419/12. Let m = 13 + z. Is m composite?
False
Let o(l) = 6*l**2 - 9*l + 10. Let x(z) = -7*z**2 + 9*z - 10. Let w(p) = -6*o(p) - 5*x(p). Let s be w(7). Suppose 0*c - 24 = -s*c. Is c prime?
False
Let i be (-773)/2*-2 + 3. Suppose 0 = k + 3 + 1, -5*q + i = k. Suppose 0*d + q = 4*d. Is d a prime number?
False
Let z be 1*(1 - 2) - 8. Let n(x) = -15*x - 1. Is n(z) prime?
False
Let j be (5 + 2)*79 + 4. Let w = j + -304. Is w a prime number?
False
Let g = -373 - -584. Is g composite?
False
Let h(s) = 42*s**2 - 6*s + 1. Is h(-4) a prime number?
False
Suppose 0*m - 14 = 2*m + 5*g, -m + 2*g = 7. Let u = 4 + m. Let c(l) = -12*l - 2. Is c(u) a composite number?
True
Suppose 3*k - 375 = -0*k - 3*v, -2*k = v - 253. Let g = 459 - k. Is g composite?
False
Suppose 3 + 1 = -2*q. Is 2/(-4)*89*q a prime number?
True
Let a(r) be the second derivative of r**5/20 + r**4 - 4*r**3/3 + r**2 - 4*r. Is a(-11) a prime number?
True
Suppose -186 - 352 = -2*a. Is a a prime number?
True
Is (-4398)/(-15) - (-3)/(-15) prime?
True
Suppose 4 = -2*h + 14. Suppose -2*p + h*o = -113, o - 233 = -5*p - 3*o. Is p prime?
False
Suppose 4*r - 5*f - 12 = 0, -2*f + 7*f = -4*r - 28. Is ((-274)/4 + 3)*r a composite number?
False
Let i(t) = 9*t + 0*t**3 + 13 - 12 - 4*t**2 + t**3. Is i(7) composite?
False
Suppose 5 = -5*d, -4*b + 0*d + 2*d = 70. Let r be 6/27 + (-7448)/b. Let m = r - 259. Is m a composite number?
True
Let n(z) = z**3 + 4*z**2 + 2*z - 1. Let c be n(-3). Suppose c*p + 462 = 8*p. Is p prime?
False
Suppose -4*c = -2*m - 18, 2*c - 4*m - 10 = 8. Suppose -c*n - 2*n = -725. Is n a prime number?
False
Let a(r) = 6*r - 5. Let c be a(4). Let p = c - 11. Is 884/p + (-1)/(-2) composite?
True
Let q(y) = 5*y**3 + y**2 - 4*y + 1. Let h(v) = v**3 - v**2 + v + 1. Let z(l) = -4*h(l) + q(l). Suppose -2*g + 5*t = -5*g - 43, 4*t = -g - 26. Is z(g) composite?
True
Let q = -39 - -15. Let f be ((-6)/(-8))/((-2)/q). Let j(i) = 2*i + 7. Is j(f) composite?
True
Let j = 557 + 312. Is j prime?
False
Is (-65496)/(-54) + 1/9 composite?
False
Let q be 40/12*6/4. Let o be ((-5)/3)/(3/(-9)). Suppose 0 = 5*s - o - 20, -q*s + 311 = 2*k. Is k composite?
True
Suppose -4*i - 83 = 233. Let t = i + 233. Suppose -t = -u - u. Is u a prime number?
False
Let b = 49 + -14. Let u = 25 - b. Is (1 - -61)*(-5)/u a prime number?
True
Let r(h) = 42*h + 2. Let k be r(2). Suppose -2*f + i = 9 - k, 0 = 3*f - i - 118. Suppose 4*x + f = -3*s + 162, -5*x - 213 = -4*s. Is s a prime number?
True
Let o = -2 + 3. Let m = 54 + -55. Is m/1*o + 84 a composite number?
False
Let d(y) = -11*y - 46. Is d(-19) prime?
True
Suppose 1 = f - 0. Let p(m) be the third derivative of 7*m**5/5 + m**4/24 + m**2. Is p(f) a prime number?
False
Let n(u) = 7*u**3 - 2*u**2 - 4*u. Is n(3) composite?
True
Is (6/(96/(-148)))/((-3)/228) a prime number?
False
Suppose -3*z + 2*c + 439 = 0, z - 5*c - 101 = 28. Is z a composite number?
False
Let y(a) = 117*a + 2. Is y(1) a prime number?
False
Let s(b) be the second derivative of b**3/3 - 13*b**2/2 - 4*b. Let l be s(9). Suppose -25 = -l*o, -2*j + 2*o + 212 = -284. Is j a composite number?
True
Suppose 3*c - p - 6154 = 0, 3*c + 278 = -p + 6430. Is c prime?
False
Let x be (-2)/5 - (-12)/30. Suppose -u = 4*m - 65, 2*u + x*m = 3*m + 75. Let j = u + -31. Is j a composite number?
True
Let l = 7 - 10. Is l/(-9) - (-3030)/9 composite?
False
Let u = -368 - -1117. Is u a prime number?
False
Is (-14)/(-21) - (-547)/3 prime?
False
Let s = -35 + 13. Let y be s/(-4) + 1/(-2). Suppose y*r = m + 153, -2*m - 3*m - 83 = -3*r. Is r prime?
True
Suppose 3*d + 5*o - 14 = d, -3*d + 2*o = -2. Suppose r = -d*r + 15. Suppose 0 = -c + s + 69, -3*c - 140 = -r*c + 3*s. Is c a prime number?
True
Let s = 3324 - 2071. Is s prime?
False
Suppose 0 = -4*x + 20, 2*x + 399 = 2*f - f. Is f prime?
True
Let q = -28 - -15. Let u(o) = -o**3 - 5*o**2 - o - 7. Let r be u(-5). Let d = r - q. Is d prime?
True
Let h(l) = -l**2 + 5*l + 1. Let g = 6 + -2. Let n be h(g). Suppose -74 - 21 = -n*j. Is j prime?
True
Let c be (30/9 - -3)*3. Suppose c*o - 356 = 15*o. Is o composite?
False
Suppose 0 = -s - 0*s + 6. Suppose 5*f - 35 = -2*h, -s*h + h + 50 = 5*f. Suppose 5*j - 394 = b, -147 = h*j + b - 543. Is j a prime number?
True
Let u(d) = 57*d - 1. Suppose -2*m - 4*q + 4 = 2*m, -3*m = -q - 7. Is u(m) composite?
False
Let y = -8 - -6. Let s be (-1)/2 + 1/y. Is -2 + (-4 + s)/(-1) a prime number?
True
Let p(k) = 10*k + 3. Is p(14) a composite number?
True
Suppose 0 = 2*y + 257 - 37. Let m = -7 - y. Is m prime?
True
Let t be 18/(-45) + (-44)/(-10). Suppose k = -0*k + 5*s - 9, -s = -3. Suppose 0 = t*n + k - 14. Is n prime?
True
Let l(b) = 30*b - 4. Let d be l(5). Suppose 23 = 4*i + 5*h + d, -h = -i - 33. Let v = 14 - i. Is v prime?
False
Let b(f) = 851*f + 19. Is b(2) a composite number?
False
Is (-6)/2 - (-480 + -10) a prime number?
True
Let j = 41 - 24. Let t = -8 + j. Is t a composite number?
True
Let y = -72 - -109. Is y composite?
False
Let h be 131/(1 - (-4)/(-2)). Let m = 9 - -199. Let s = m + h. Is s prime?
False
Suppose 4*d + 4*s - 1308 = 0, 0 = -s - 2*s - 12. Is d a prime number?
True
Let s(n) = n**2 + 1. Let v(y) = -10*y**2 + 2*y + 2. Let b(i) = 3*s(i) - v(i). Let j(w) = 2*w**2 - 2*w - 2. Let d be j(2). Is b(d) a prime number?
False
Let o(f) = f - 22. Let n be o(18). Let i(g) = 2*g**3 - 7*g**2 + g - 1. Let r(l) = l**3 - l**2 - l - 1. Let d(p) = -i(p) + 3*r(p). Is d(n) a composite number?
True
Is (-75)/(-25) + 1938 + 0 a prime number?
False
Let i = 31 - 21. Is i a composite number?
True
Suppose 0 = 3*t - j - 10, 2*j + 13 + 2 = 5*t. Let o(h) = 7 + h**3 - 2*h**2 + 6*h - 6*h**2 + 3*h**2. Is o(t) a composite number?
False
Let f = -5 - -7. Suppose 4*m - 3*r - 85 = 0, 2*m + f*m + 3*r - 67 = 0. Is m a prime number?
True
Let u = -216 + 717. Is u prime?
False
Let r = 106 + 49. Is r composite?
True
Suppose 5*m + 16 = 741. Is m a prime number?
False
Let o = 208 - 59. Is o a composite number?
False
Is (-1162)/(-4) - (-1)/2 a composite number?
True
Suppose m - y - 2935 = -0*y, -5*m + 14651 = y. Is m composite?
True
Let h(y) = 408*y + 1. Is h(1) composite?
False
Let d(x) = x**3 + 7*x**2 + 3*x. Is d(-5) a prime number?
False
Let x = 51 + 44. Is x a composite number?
True
Let w = -118 - -197. Is w a composite number?
False
Suppose -y = 2*i + y - 132, 5*i + 3*y - 322 = 0. Is i prime?
False
Let w = 6 - 4. Is w/(3 + 3)*669 a composite number?
False
Let i(s) = -s**2 - 3*s + 3. Let x be i(-3). Suppose -3*z = -x, -m - 5 = -2*m + z. Is m prime?
False
Is ((-337)/(-2))/(-5 - 22/(-4)) prime?
True
Let b(k) = 52*k**2 + 3*k - 2. Let v be b(1). Let z = v + -34. Is z a prime number?
True
Let m(d) be the second derivative of d**7/840 + d**6/240 - 7*d**5/120 + d**4/6 - d. Let a(u) be the third derivative of m(u). Is a(-6) prime?
True
Let p(h) = 28*h**2 + 4*h + 1. Let b(t) = -t. Let s(k) = 5*b(k) + p(k). Let j be s(2). Is (1 - 4)/((-3)/j) a composite number?
True
Let t = 291 + 1007. Suppose h + 3*q = 280 + 385, -2*h + 2*q + t = 0. Is h a prime number?
True
Suppose 0 = -0*b + b. Suppose b = -4*n + 10 + 250. Is n a composite number?
True
Is ((3/(-6))/((-3)/(-516)))/(-1) a prime number?
False
Let h = 679 - 216. Is h a prime number?
True
Let