0. Suppose 5*q - k = -2*x, -2*q = -4*x - q + 343. Is x composite?
True
Is 5 + (-2 - (0 - 88)) prime?
False
Let q = 82 + -11. Is (7 - 7) + 2*q prime?
False
Suppose -2*l = -0*l - 4. Suppose l*n + 113 = 3*h, -3*h + 0*n + 109 = 2*n. Is h prime?
True
Let o = 7 + -2. Suppose -k + o = -4. Is k a composite number?
True
Suppose 5*c - 9715 = 5*v, -9687 = -8*c + 3*c - 2*v. Is c a prime number?
False
Suppose -5*m + 8532 + 3133 = 5*f, 5*f = 0. Is m composite?
False
Is ((-123)/2)/(9/(-12)) composite?
True
Is (-38383)/(-15) + 2/15 prime?
False
Suppose 4*k - 487 = r - 1248, -2*k - 8 = 0. Suppose 0*a - r = -5*a. Is a composite?
False
Suppose 0 = 6*y - y - 4385. Is y prime?
True
Let h(j) = 35*j - 1. Is h(9) prime?
False
Let t(x) = -4412*x + 9. Is t(-1) a prime number?
True
Let x(o) = -6*o - 1. Let d be x(-1). Suppose 3*g = d*g - 238. Is g a composite number?
True
Let y be 0 + 2 + -2 - -28. Let n = y - -164. Suppose -5*m - 37 + n = 0. Is m prime?
True
Let t be 3/1 + -1*3. Suppose z + t - 5 = 0. Suppose -z*n - 5*l = -4*n - 447, -4*n + 2*l = -1876. Is n composite?
False
Suppose -4*v = -v. Suppose v = -4*i + m + 392, -3*i - 4*m + 338 = 63. Is i prime?
True
Let l(a) = -a**2 - 4*a. Let b be l(-4). Suppose b = -2*k - 0*k + 6. Suppose k*v = -4*j + 91, -v = -6*v - 3*j + 159. Is v prime?
False
Let g be ((-340)/(-8))/(1/(-2)). Let f = g - -240. Let o = f - 97. Is o prime?
False
Let i = 614 + -370. Let y = i + -5. Is y a composite number?
False
Let j(d) = 2*d + 2. Let x be j(-2). Let t(v) = -12*v**3 - v**2 + 2*v + 1. Is t(x) prime?
True
Suppose 7*j - 3214 = 1609. Is j a composite number?
True
Let x = 42 - 7. Suppose -4*z = -5*f + 6, -3*f = z - 0*z - 7. Let u = x + f. Is u a composite number?
False
Suppose -3*m = -6 + 18. Is 12/(-3)*419/m prime?
True
Let i(c) be the third derivative of 5*c**4/12 - 5*c**3/6 - 2*c**2. Is i(4) a composite number?
True
Let y(m) = 20*m**2 - 4*m - 1. Is y(4) prime?
False
Is (-2 - (-80)/45) + (-1426)/(-18) a prime number?
True
Suppose -5*o = -4*a - 31, -3*o + 26 = -o - 5*a. Suppose o*k + 5 = 26. Is k a prime number?
True
Let a be 0 + -5 + 0 + -1. Let t(p) = 2*p**2 - 3*p - 7. Is t(a) a composite number?
False
Suppose 4*u - 18 = 126. Suppose -c - u + 6 = 0. Let s = c - -69. Is s composite?
True
Let f(w) be the first derivative of 5*w**2 - 4. Is f(1) a prime number?
False
Suppose 0 = -2*d - 0*d + 8. Let l be (3*-1)/(1 - 2). Suppose 0 = g + 3*k - 92, 0*g + 271 = l*g + d*k. Is g a prime number?
True
Suppose 0 = h + 4*g - 7, 5*g = 2*g + 3. Let u(b) = b - 3 + h*b + b**2 + 1. Is u(-7) composite?
False
Suppose 4*g - 2*m - 2*m - 132 = 0, -3*g = m - 91. Is g composite?
False
Let t(b) = 15*b**2 - 7*b - 13. Is t(7) a composite number?
False
Suppose 29 = 4*b - 5*h - 2, -5*b + 3*h = -29. Let o(r) = r**3 - 3*r**2 - 3. Let z be o(b). Let j = -9 + z. Is j a composite number?
True
Let m be 21/(-35) - (-6)/10. Suppose -2*d + 0*d + 326 = m. Is d prime?
True
Suppose -4*k + 3*x + 1573 = 0, -k + 72 = 4*x - 345. Is k composite?
False
Let j = 1 + -1. Suppose -l = -2*n - j*l + 62, 3*l - 114 = -4*n. Is (n/(-9))/(2/(-6)) prime?
False
Let s = 2 - -6. Suppose -s = -4*u + 8*u. Is 4 + 2 + u - 1 a prime number?
True
Let t(m) = -17*m**3 - m**2 + 2*m - 1. Suppose 0 = z + z + 4. Is t(z) composite?
False
Let d = -159 - -2326. Is d composite?
True
Suppose -3*n - 2*n + 20 = 0. Let h(d) = 3*d**2 + d + 4. Let i be h(n). Suppose -i = -z + 2. Is z a composite number?
True
Let a(l) be the first derivative of l**3/3 + l**2/2 - l - 3. Suppose -h = z - 3*z - 20, 0 = z + 5*h - 12. Is a(z) composite?
True
Is (249/(-9))/((-10)/(-6) + -2) a prime number?
True
Let o(v) = v**2 + 4*v + 2. Let c be o(-4). Suppose -196 = -0*z - z + 2*f, -3*f = -c*z + 389. Suppose 2*a + z = 7*a. Is a prime?
False
Suppose -4*k = 1 + 55. Is k/(-6)*(18 - -3) composite?
True
Suppose -3*l = -8*l. Suppose l = -2*i - 0 + 110. Is i composite?
True
Let d = -2 + 21. Is d a composite number?
False
Let u(v) = -v**2 - 13*v + 6. Suppose -4*a - 22 = 5*r + 13, 2*a + 3*r = -17. Let s be u(a). Is 1317/4 + (-9)/s a composite number?
True
Let h(b) = 12*b**2 + b - 7. Is h(-6) a composite number?
False
Let j(s) = -s**3 + s**2 + 2*s. Let b be j(2). Suppose n - 8 = -d, -2*d + 6*d + n - 17 = b. Suppose d*z - 539 - 208 = 0. Is z a composite number?
True
Let a = -1031 + 1567. Let w be (-4)/(-18) + a/18. Suppose 0 = 2*d - 12 - w. Is d prime?
False
Let n be 280/7 + 4/(-2). Let z = 69 - n. Suppose 3*i = -3*r + 21, 6*r + i - z = r. Is r composite?
True
Let q(l) = 3*l**2 - 2*l - 7. Let p(o) = -o**2 - o. Let w(y) = -4*p(y) - q(y). Let v = -10 - -3. Is w(v) prime?
False
Suppose 3*t - 195 = -3*h, -2*h + 3*t = 2*t - 133. Suppose -q = 5*u - 3*q - 125, 4*q + h = 2*u. Is u prime?
True
Suppose 35 = -4*z + 3*q - 9, -2*z + 4*q = 32. Suppose -a + 0*a = -2*f + 31, -60 = -4*f + 4*a. Is (-306)/z + (-4)/f a composite number?
True
Let p(w) = -w**3 + 11*w**2 - 6*w - 3. Is p(10) a prime number?
True
Suppose 0 = 3*j + 5 + 1. Suppose 2*y = -0*g + 4*g + 114, -25 = g - 4*y. Is j + 1 + 3 - g a prime number?
True
Let u = 803 - -312. Is u a composite number?
True
Suppose -718 = -3*t + 620. Is t a prime number?
False
Let s = 1300 - 435. Is s composite?
True
Let c be 14/(-4)*(13 - -25). Suppose -2*a = d - 204, -3*d + 222 = -2*d - 4*a. Let t = c + d. Is t a composite number?
True
Let r(i) = 81*i - 5. Let y be 3/(-2)*(-4)/3. Is r(y) composite?
False
Let r be 1 + 6 + (2 - 2). Is 4/14 + 103/r a prime number?
False
Suppose -a + 18 = 4*v + a, a = -3*v + 11. Let j = 21 - v. Is j prime?
True
Let t be 3 - 1 - (-212)/2. Let n = -55 + t. Is n a composite number?
False
Let n = -1209 + 2192. Is n a composite number?
False
Suppose -4*l - h + 5*h + 3688 = 0, -3*h - 4612 = -5*l. Is l a prime number?
False
Let w(a) = 10*a - 19*a - 3 + 262*a**2 + 11*a. Is w(2) a composite number?
False
Let d(k) = -6*k**3 + k**2 - 7*k - 1. Is d(-3) a prime number?
True
Suppose -5*q = -3*q - 474. Let z = 1 + 1. Suppose z*v = 3*p - q, -4*p + 2*v = -7*p + 237. Is p prime?
True
Let z be 1/3 + (-46)/(-6). Suppose 30 = 2*u + z. Is u a composite number?
False
Suppose 21 = 3*i - 24. Suppose -3*t - i = 2*t. Is -51*(10/t)/2 prime?
False
Is ((-6)/4)/((-3)/124) a composite number?
True
Let b(n) = 404*n + 23. Is b(6) a composite number?
False
Suppose -106 = -3*n + c - 27, 3*c = 4*n - 107. Suppose 0 = f - 152 - n. Is f prime?
False
Let j(t) be the third derivative of t**5/15 + t**4/3 - 7*t**3/6 + 3*t**2. Is j(6) a prime number?
False
Let s = 18 - -34. Is (s/(-2 + 3))/2 a composite number?
True
Suppose -4*w + 1 = -3*v - 4, 0 = -2*w - 5*v + 9. Suppose -2*q - 5*x - 9 = -0, 0 = -5*q - x + 12. Suppose -w*h + 385 = q*h. Is h a prime number?
False
Suppose 5*h - 52 = 43. Suppose -t + 2*t = h. Is t composite?
False
Suppose 5*y - 501 = -0*c - 3*c, 2*c = -y + 96. Suppose 2*s - 52 = -3*w + 16, y = 3*s - 5*w. Is s a composite number?
True
Suppose 2830 = 5*r + 5*y, 3*r - 6*r + 1718 = -2*y. Suppose -r = -5*l + 2*l. Let a = l + -101. Is a a composite number?
False
Let v(z) = -z**3 + 8*z**2 - 11*z + 9. Is v(-10) composite?
True
Suppose -23 + 141 = 2*n. Is n composite?
False
Let w(g) = -13*g**3 + 5*g**2 - 6*g - 3. Is w(-5) prime?
True
Let g(i) = -i**2 - 8*i - 9. Let y be g(-7). Is 1*((-92)/y - 3) prime?
True
Let z(t) = -2*t**3 - 8*t**2 - 5*t - 10. Is z(-7) composite?
True
Let b = 291 + -146. Is b a prime number?
False
Suppose 0*g + 2*g = 4. Is g + (-4)/8*-238 composite?
True
Is ((-6626)/(-4))/((-14)/(-28)) a prime number?
True
Is (-12)/15 - 838/(-10) a prime number?
True
Suppose 0 = -4*l - 0*l + 380. Let t = -58 + l. Is t a prime number?
True
Let z be (-3)/(-6)*(-1736)/(-2). Let k = z - 185. Is k prime?
False
Let t(v) = 15*v - 3. Let n(p) = 31*p - 5. Let l(x) = -3*n(x) + 5*t(x). Let j be l(2). Let i = j - -89. Is i a prime number?
True
Suppose -2*b = -d - 5, 3*d + 5 = -4*b + 8*b. Suppose -2*t + 2 - 7 = -3*u, -b*t = -4*u + 9. Is (-1)/(3/(-63))*u a composite number?
True
Let s = 31 - 11. Let w be (-26)/(-10) + 8/s. Suppose w*z = 35 - 2. Is z composite?
False
Let b(k) = -k**3 + 19*k**2 + 6*k + 19. Is b(15) prime?
True
Let f = -3226 + 5199. Is f a prime number?
True
Let o = 290 - 79. Is o composite?
False
Suppose -4*p - 6 = -22. Suppose 452 = p*v - 192. Is v composite?
True
Let q(m) = -3*m**3 - m**2 + m - 1. Let z be q(-3). Let w = z - 45. Is w