 = 13*v**3 - 2*v**2 - 2*v + 1. Let j(y) = y**2 - 2. Let x be j(-2). Let b be t(x). Let p = 130 - b. Is p a prime number?
True
Let h be (-6*10/2)/(-2). Suppose -10*p + h*p = 115. Is p a prime number?
True
Let h be (4/2)/(4/38). Let f = 54 - h. Is f composite?
True
Let u be (-6)/(-9) - 66/(-9). Let q = 13 - u. Let v(m) = 2*m**2 - 7*m + 6. Is v(q) prime?
False
Let f = 99 - 40. Is f a composite number?
False
Let k(l) = 379*l**2 - 2*l - 1. Is k(2) a prime number?
True
Let q(g) = -8*g**3 - 5*g**2 - 8*g - 8. Is q(-5) composite?
False
Let l(p) = -4*p**3 - 2*p**2 + 4*p + 5. Suppose -2*j = -7*j - 20. Is l(j) composite?
True
Suppose 0*l + 4 = -2*l. Let s(q) = 48*q**2 - 5*q - 1. Is s(l) composite?
True
Suppose -c - 2*c = 2*v, c + 4*v + 10 = 0. Suppose 0*h + h = c. Is (h/(-3))/((-4)/258) a prime number?
True
Let d = 8 - 5. Suppose 429 - 1234 = 5*m - p, 5*m - d*p = -805. Is 3 + -6 + 3 - m prime?
False
Suppose t + 2 + 1 = 0. Is -3*1/t*15 prime?
False
Suppose 4*i + 0 = 3*q + 17, 3*i - 15 = 0. Let t(y) = 635*y**2 - 2*y + 2. Is t(q) prime?
False
Let i(k) = 21*k**2 - k - 3. Let a be i(-4). Suppose -3*j = -4*l + 368, 3*j + a = 3*l + 58. Is l a prime number?
True
Let v be (-1)/(2 + 6/(-4)). Let b be (v/4)/((-3)/(-90)). Is (-6)/b + 323/5 a composite number?
True
Let b = 7 + -4. Suppose 0 = 2*q - b*s - 48, 0*s - 97 = -5*q - 4*s. Suppose 0*o - 5*o = z - q, -23 = -z - 3*o. Is z prime?
False
Suppose -4*a + 1389 = -1615. Is a a composite number?
False
Suppose 5*y - 2143 = -3*n - n, 2*y + 2*n = 858. Is y prime?
False
Suppose -2*m = 2*v - 1478, -2*v - 1474 = -4*v - 3*m. Is v a prime number?
True
Is -1*331*(-2 - (-15)/(-5)) a prime number?
False
Suppose -4*b = -3*b + 11. Is (59/(-4))/(b/132) a prime number?
False
Let v(k) = k**3 - 4*k**2 - k + 1. Let b be v(5). Suppose 0 = x + 5, -j = 4*x - b - 18. Is j prime?
True
Let i(h) = h**2 + 5*h + 2. Let o be i(-3). Let y be 1815/27 + o/18. Is -1 + 0 + (y - -1) a composite number?
False
Let i(q) = -2*q**3 - 7*q**2 + q + 7. Suppose 2*k + 5 = -5. Is i(k) composite?
True
Let i(t) = -9*t + 5. Is i(-2) a composite number?
False
Let x = 77 + 1114. Is x composite?
True
Let r(f) = 4*f**2 - 2*f + 3. Let w(p) = p - 1. Let b = 4 + -1. Let j be w(b). Is r(j) prime?
False
Let v(l) = l + 9 - 2*l + 2*l**2 + 4*l - 1. Suppose 0 = i + y - 2, -i - 2*y - 3*y = 18. Is v(i) a composite number?
False
Suppose 0 = 5*j - 8136 - 22469. Is j a prime number?
True
Suppose -3*p + 4*d = -941, d = -4*d - 25. Is p a composite number?
False
Suppose -23*l + 20*l = -177. Is l composite?
False
Let a = 10 - 7. Is -3 + 59 + a + -6 a composite number?
False
Let l = -508 + 763. Is (0 + 2)*l/6 composite?
True
Let b be 76/6*3/2. Let k be b + 3/3 + 0. Suppose -3*c + 77 = k. Is c composite?
False
Let o(v) = v**3 - 8*v**2 + 8*v - 5. Let k be o(7). Suppose -193 = k*j + 19. Let w = -71 - j. Is w a prime number?
False
Is (-39)/(-13)*15226/6 a composite number?
True
Let x = -1418 + 3001. Is x a prime number?
True
Suppose -2*w - 2*m + 50 = -10, -2*w + 55 = 3*m. Is w a composite number?
True
Let j(i) = 5*i**3 + 4*i**2 + 5*i - 181. Let f(o) = o**3 + o**2 + o - 45. Let r(n) = -9*f(n) + 2*j(n). Let x = -1 + 1. Is r(x) a composite number?
False
Suppose 137 = 5*v + 17. Let s = 2 + -2. Suppose s = -2*k + 178 - v. Is k composite?
True
Suppose -2*k = -k - 38. Suppose 0 = -m + k - 12. Is m prime?
False
Suppose 13*x - 11*x = 428. Is x a prime number?
False
Let d = -1 - -4. Suppose 0 = -2*v + d*v - 103. Is v composite?
False
Suppose 0 = -3*j - 3*g + 33, -4*g = 3*j - 2 - 29. Suppose 6 = -d + j. Is d composite?
False
Let a = -12 + 16. Suppose 0 = a*b - b - 921. Is b a composite number?
False
Is (-17 + -652)*1/(-3) composite?
False
Suppose -167 = -4*n - 3*a, 4*n = 5*a + 46 + 81. Let k = n - -1. Is k prime?
False
Suppose 8*d - 13*d + 1045 = 0. Is d composite?
True
Let l = 332 - 189. Is l prime?
False
Is ((-9)/18)/(3/(-1938)) composite?
True
Is ((-4 - -2) + -267)*-1 a composite number?
False
Let f be 8/(-20)*-1*5. Suppose 0*c = -2*c + f*o + 36, o = -c + 26. Let a = c - -31. Is a composite?
False
Suppose -3*w - 2*w = 0. Suppose 0 = -b - w*b. Suppose 0 = -3*c - 4*i + 123, 71 = 2*c - b*i - i. Is c a composite number?
False
Suppose 0 = -4*d + b + 167, 5*d = -4*b + 120 + 73. Let l = 246 - d. Is l a composite number?
True
Suppose 3*d + 13 = 1. Let u = 2 - d. Is u composite?
True
Suppose -4*b = -2*b. Suppose -127 = -3*x + 4*w, -2*x + b*w = -w - 78. Is x a prime number?
True
Is 144/6 - ((-12)/(-3) + -1) composite?
True
Let q be (-6)/2*20/(-6). Suppose -4*c + q = -2*c. Suppose -c*p + m = -181, -3*m + 10 - 35 = -p. Is p composite?
False
Let m be 3/(4*(-3)/(-8)). Let f = 2 + m. Is f prime?
False
Suppose 0 = 4*b + 5*c - 21720, 5*b + 3414 = 4*c + 30605. Is b prime?
False
Let z = -176 + 661. Is z prime?
False
Let r(a) = -a**2 - 8*a. Let k be r(-8). Suppose 2*w - 4*q + 2*q - 254 = k, -540 = -4*w - 4*q. Is w prime?
True
Let i(b) = 13 - 27 + 15*b + 18 - b**2. Is i(6) a prime number?
False
Suppose -16 = -w - 3*w. Suppose -3*q = 2*v - 260, -4*q + 186 = -w*v - 154. Suppose 16 - q = -2*s. Is s a composite number?
True
Let y(h) = -8*h - 9. Let u(t) = -5*t**2 - t. Let d be u(1). Is y(d) a prime number?
False
Let s be 11*((-3)/(-1) - 4). Let r = 20 + s. Is r composite?
True
Suppose 195 = 4*w - 385. Is w composite?
True
Let z be (-336)/(-9)*3/(-2). Is ((-1)/(-2))/((-2)/z) prime?
False
Let z(h) = -h**3 - 11*h**2 - 33*h + 5. Is z(-14) prime?
False
Let c = 23 + 2. Let f = c + -100. Let s = 238 + f. Is s a prime number?
True
Let u = 21 - 15. Is 2/((-4)/u) + 164 composite?
True
Is 62289/99 + (-4)/22 prime?
False
Suppose -5*h - 3*w + 4 = -3, 4*w = -2*h + 14. Let s be 4 + 2 + 4*h. Suppose -s*v - 108 = -374. Is v a composite number?
True
Suppose 46 = 2*g - 0*s - 4*s, 10 = -5*s. Let k be (30/4)/((-6)/8). Is (-1)/(-2 - g/k) prime?
False
Let v be (-2)/9 + 1124/36. Suppose -5*o + v = -79. Suppose f = o + 1. Is f composite?
False
Let w = -6 + 10. Suppose 3*d = w*d - 411. Is d composite?
True
Suppose h - 2*v = 2, -22 = -5*h + 4*v + 18. Suppose 5*b - h = b. Suppose 0 = b*l - j - 0*j - 28, -5*l - 2*j = -65. Is l composite?
False
Suppose 0 = -0*s - 3*s + 6. Let l be (17/2)/(s/8). Is (10 + 4)*l/4 a prime number?
False
Let k(z) = -z**2 + z + 2*z - z - 4 + 6*z. Is k(5) a composite number?
False
Let t = -4 + 3. Let s(l) be the first derivative of 4*l**3/3 - l**2/2 - l + 9. Is s(t) a composite number?
True
Let f(g) = 8*g - 1. Let z be f(2). Suppose -z = -3*n, -n = -3*u + u + 2277. Is u a composite number?
True
Suppose 15*q - 17*q = -1538. Is q a prime number?
True
Let k(b) = 9*b**2 + 4*b - 7. Is k(-6) prime?
True
Suppose 4*p = -2*u - 12, -2*p = 6*u - 3*u + 6. Suppose 3*o = -u*o + 45. Is o prime?
False
Suppose -3*o = -0*q + 2*q - 1, -3*q = 3. Is (o + 0/3)*85 a composite number?
True
Is 6182/6 + 0 + 6/9 prime?
True
Suppose -486 = -3*f + 645. Is f a composite number?
True
Let d(k) be the second derivative of -k**5/60 + 13*k**4/24 - k**3 + k**2 + 2*k. Let b(w) be the first derivative of d(w). Is b(8) a prime number?
False
Let a = -4742 - -13706. Let t be 16/(-56) + a/14. Let m = -381 + t. Is m prime?
False
Let o(l) = -l**3 - 2*l**2 + 2*l + 1. Let n be o(-6). Let j = 198 - n. Is j a prime number?
False
Let f = 3 + 2. Let n = -26 - -55. Suppose -3*l + 4*y + n = 0, 0*l = f*l + 2*y - 31. Is l a prime number?
True
Suppose 7*h - 4*h = 5541. Is h composite?
False
Suppose -2*p + 5*p = -132. Let n = p + 303. Is n a prime number?
False
Suppose 3*i - 220 = -i. Is i composite?
True
Suppose -28 = l - 105. Is l a prime number?
False
Let v be (-252)/16 - 2/8. Is 958/8 + 12/v composite?
True
Suppose 5*g = 3*j - 1127, j + 1119 = -5*g + 2*j. Is (-4 + (3 - 0))*g prime?
True
Suppose 9*d = 4*d + 55. Let f = d - 4. Is f a composite number?
False
Let m(b) = 17*b + 1. Is m(5) prime?
False
Suppose -5*d - 474 = -c, -c - 2*c + 4*d + 1455 = 0. Let a = c - 236. Is a a composite number?
True
Let g(k) = 42*k - 10. Is g(2) prime?
False
Let s = 13 - 20. Let w = s + 13. Is w composite?
True
Is 307/((-1 + 2)/1) a prime number?
True
Suppose 3*m - 20 = -2*m. Suppose 0 = 5*c + 2*k - 473 + 174, m*c - 2*k = 232. Is c composite?
False
Let v(h) = 1501*h - 4. Is v(1) a composite number?
True
Suppose -k = 3 - 5. Suppose n - 4 = -2*j, -2*n = -n - 4*j + 2. Suppose -p + 19 = -4*u + k, -n*p 