 12393 + 2159. Is q a composite number?
True
Suppose -3*n = -2*n - 2. Suppose -4*v - 4 = -0*v, 3*v = -n*r + 657. Let l = r - 167. Is l a prime number?
True
Suppose -4*d = 4*v - 3*v - 18, 5*d = -2*v + 21. Let c(w) = -42*w**3 + 1. Is c(v) a prime number?
True
Suppose -3*r + 8 = -1. Suppose 4*c = -4*x + 16, 4*x = r*c + x - 18. Suppose -2*v + 553 - 206 = c*l, 3*l = v + 206. Is l a composite number?
True
Let w(j) = -42*j**3 - j**2 + j - 1. Let s be w(1). Suppose -4*t - 41 = 2*n + 265, 4*t = 2*n - 318. Let f = s - t. Is f a composite number?
True
Let v(m) = 2*m**3 - 4*m**2 + m + 2. Let r(x) = x**3 - 5*x**2 + 6*x - 4. Let c be r(4). Suppose -y + 10 = c*y. Is v(y) prime?
False
Suppose -79 = 4*r - 3*m, 0 = m + 1 + 2. Let w = 134 - r. Let s = -67 + w. Is s prime?
True
Let o(m) = -m**3 + m - 68. Let y be o(0). Suppose -81 - 24 = f. Let h = y - f. Is h a composite number?
False
Suppose 0 = 3*s - 344 + 116. Suppose -s - 28 = -4*d. Is d composite?
True
Let j(s) = s**3 - 7*s**2 + 7*s + 10. Is j(7) prime?
True
Let u = 26 - 36. Is (-5566)/u - (-4)/10 prime?
True
Let a be -2 - 1 - 11/(-1). Let n(t) = 84*t + 5. Is n(a) composite?
False
Let c(k) = 14*k**2 + 9*k + 21. Is c(-4) prime?
False
Suppose -3*f + 125 + 46 = 0. Is f a composite number?
True
Suppose -w = 16 - 131. Is w a composite number?
True
Let w = -2431 - -4062. Is w prime?
False
Suppose 3*a - 129 = 3*y + 447, 0 = 4*a + 2*y - 738. Is a prime?
False
Let v = -417 + 860. Is v prime?
True
Let t = 2 - 4. Is 13*(-1 + t)/(-3) prime?
True
Let f(p) = p**3 + 4*p - 2. Let i be ((-13)/3)/(5/15). Let m = 18 + i. Is f(m) a composite number?
True
Suppose 3*j = 2*d + 535 + 988, -4*d - 3036 = 4*j. Let z = 2021 + d. Suppose -3*x - 3*f = -585, -5*x - 314 + z = -2*f. Is x a composite number?
False
Let b(o) = o**2 - 6*o - 21. Is b(10) prime?
True
Suppose -3*m + 3*h = -9, -3*m - 3*h - 6 - 3 = 0. Suppose -4*t - 3*p = -1085, -5*p = -m*p + 5. Is (-1)/(-3) - t/(-3) composite?
True
Let h be (1 + 1)/2 - -1. Suppose 0*f - 38 = h*f. Let g = -13 - f. Is g a prime number?
False
Suppose -4*a + 1922 = -2682. Is a a composite number?
False
Suppose -2*s + 0*b = b - 413, -2*s + 4*b + 388 = 0. Let m = s + -107. Is m composite?
False
Suppose -4 = -o + 2*o. Is (-7 - o)/(1/(-11)) a prime number?
False
Let t be (-240 - 1)/(0 - -1). Let h = -80 - t. Is h a composite number?
True
Suppose 2*j = 2*w + 5*j - 118, j - 4 = 0. Is w a prime number?
True
Let l = 894 + -489. Let q = l + -194. Is q composite?
False
Suppose -3*c = -4*c + 4. Suppose 2*j - 1 = -y, c*y = 8 - 28. Suppose j*g - 144 = 15. Is g a prime number?
True
Let r(d) = -8*d**3 + 2. Let z be r(-3). Let k = z + -91. Is k prime?
True
Let c = -670 + 1301. Is c prime?
True
Suppose -5*q + 3*d + 7 = -25, 20 = -5*d. Suppose 0*a + 268 = q*a. Is a prime?
True
Let r = 377 - 76. Is r prime?
False
Suppose -2*p = -5*j - 1, 2*j = -j + 3*p + 3. Let t be -1*2 + 1 - j. Is 30 + 1 + t/3 a prime number?
True
Suppose 5*n + 2210 = 5*y, 1767 = 7*y - 3*y - 5*n. Is y a prime number?
True
Let k be (-7)/14 + (-262)/4. Let h = k - -175. Is h composite?
False
Let r(o) = -o**2 + 17*o - 3. Suppose 0*f + f - 10 = 0. Is r(f) composite?
False
Is 6/(-21) - (-25190)/14 composite?
True
Let y(a) = a**3 - a - 2. Let p be y(2). Suppose -p*w + 75 - 31 = 0. Is w a composite number?
False
Let x = -7 - -11. Suppose 0 = x*p - 20, 4*s + 3*p - 14 = 13. Suppose 0 = 3*z - 12, 5*t - s*z - 216 = t. Is t a composite number?
True
Suppose -u - 2*u = -711. Is u composite?
True
Suppose 1535 = 4*o + v, 80 - 1998 = -5*o - v. Suppose -5*p = -o + 48. Is p a prime number?
True
Suppose 3*r - 4*r = -23. Is r a prime number?
True
Suppose 691 = f + 162. Is f a composite number?
True
Suppose 10*z - 5*z = 1945. Is z a prime number?
True
Let j = -8 + 1. Let i = j + 12. Is (-788)/(-20) + (-2)/i a prime number?
False
Suppose -2 = -4*k + 2. Let r be 1/(k*2/20). Is (12/10)/(3/r) a prime number?
False
Suppose 1002 + 480 = 6*o. Is o composite?
True
Let w(l) = -7*l**3 + 2*l + 12. Is w(-5) prime?
True
Suppose 0 = 4*j + 5*x - 5, 5*x - 5 = 7*j - 3*j. Suppose j = -w + 3*w - 4. Is w a prime number?
True
Suppose -2*l = -4*h - 4*l + 5596, 5596 = 4*h + 4*l. Is h a composite number?
False
Let c = -8 + 9. Suppose -c = -5*u + 29. Is u a prime number?
False
Suppose 0 = -5*l - 20, 5*i + 0*l + 2*l = 162. Suppose h + h + 3*x + 39 = 0, 4*x + 27 = -h. Let f = i + h. Is f composite?
False
Let j(s) = 52*s**2 - 2*s - 1. Let c(b) be the first derivative of b**3/3 - b**2 - b + 2. Let v be c(2). Is j(v) a composite number?
False
Let r be (-8)/(-1 + (3 - 4)). Suppose 2*z = -r*f - 0*z + 56, 32 = 2*f - z. Is f prime?
False
Suppose -13*z = -858 - 715. Is z prime?
False
Let t(z) = -z**2 - 17*z + 1. Let f be (-12)/(-8)*(-9 + -1). Is t(f) a composite number?
False
Let k be 1 - (-1)/((-2)/434). Let i = -150 - k. Suppose -66 = d - 3*d - 4*h, 0 = 2*d + 5*h - i. Is d a prime number?
False
Suppose -5*i = -4*i - 19. Suppose 3*d + 3*f - 84 = 0, 4*d - 105 = -5*f + 5. Let h = d - i. Is h composite?
False
Let o(l) = -l**3 + 8*l**2 + l - 4. Let r be o(8). Suppose 12 - r = 4*y. Suppose v - c - 16 = 4*c, 2*v - y*c - 24 = 0. Is v prime?
True
Suppose -2*m - 372 = -5*m. Suppose 7*x + 4*c - 572 = 2*x, x - 4*c = m. Suppose 17 = a - x. Is a a prime number?
False
Suppose -8*r + 3*p + 2641 = -3*r, p + 2110 = 4*r. Is r a composite number?
True
Let y(n) = n**3 + 5*n**2 - 7*n - 31. Is y(10) composite?
False
Let b(z) = -2*z. Suppose -2*j = 5 + 5. Let d be b(j). Let w = 87 + d. Is w composite?
False
Let a = 418 - 278. Let r be (4 + -1)*20/12. Suppose 4*k - 151 = -3*d + a, 0 = -2*k - r*d + 163. Is k prime?
False
Let o(g) = -49*g - 2. Is o(-7) a prime number?
False
Let z be 2910/27 + 2/9. Let l = -43 + z. Is l prime?
False
Suppose 2*v = 2*g - 328, 0 = 3*v - 0*v - 4*g + 492. Let p = v + 387. Is p a composite number?
False
Let d be 4/(-22) - 104/(-88). Let v be -2 + 1 + d - 2. Is 91/1 + 0 + v prime?
True
Suppose 147 = 6*c - 3*c. Is c prime?
False
Suppose 0 + 2 = 2*l. Is l + (742 - (-2 + 0)) a prime number?
False
Let m(x) = -x. Let u be m(-3). Suppose 0 = -u*l + 2*l + 54. Suppose 0 = -6*t + 3*t - v + 48, -4*t + l = -2*v. Is t a composite number?
True
Let u(f) = 100*f. Let o be u(1). Let t be (-27 - -28)*3*1. Suppose t*b - o = 149. Is b prime?
True
Let d be 6/4*-1*-2. Suppose d*u + t = -2682, 2*u - 2*t = u - 894. Is (-1)/2 + u/(-4) prime?
True
Suppose p - 4*q = 3*p + 6, -5*p - 51 = q. Let f(u) = -u**2. Let h(v) = 7*v**2 + 16*v + 6. Let k(a) = -6*f(a) - h(a). Is k(p) prime?
False
Let u = 360 + -177. Suppose u = 3*v - 12. Is v prime?
False
Let f be (-16549)/(-65) - 3/5. Let p = f - -93. Is p a composite number?
False
Suppose 6*q = 3*q + 159. Is q a composite number?
False
Let b(h) = h**2 + h + 178. Let j be b(0). Let n be 4 + -8 + (5 - 1). Suppose 4*f - 2*l - 202 = n, 0 = -5*f - 2*l - j + 453. Is f a prime number?
True
Suppose 3*a = 3*z - 2466, -6*z - 1640 = -8*z - 2*a. Is z composite?
False
Let d(q) be the first derivative of q**2/2 + 2*q + 2. Let a be d(2). Suppose -f = n - 23, -a*f + 9*f = 4*n + 79. Is f a prime number?
True
Let d(t) be the third derivative of t**4/8 + 2*t**3/3 - 10*t**2. Let b = 10 + -5. Is d(b) a prime number?
True
Let f = 0 + 6. Suppose -2*s + 102 = -v + 5*v, 2*v = -f. Is s a prime number?
False
Is 10/35 - 22868/(-28) a prime number?
False
Let v(r) = -38*r**3 - 39*r**3 + 1 + r**2 - 2 + 18*r**3. Is v(-1) composite?
False
Suppose -2*c + 3*d + 19 = 0, 3*c + 2*d - 6*d - 27 = 0. Suppose 2*r - 515 = -3*n, -r = c*n + 2*r - 858. Suppose 0*t = -3*t + n. Is t prime?
False
Suppose 0 = 5*l - 0*q - 4*q - 22, -l + 3*q = -11. Is -4 + 9 + 4/l a prime number?
True
Suppose 4*d + 0 = 8. Let r = 99 - d. Is r a composite number?
False
Suppose 2*n - 454 = -x, -3*n + 5*x - 2*x = -672. Is n composite?
True
Let c = 2504 + -5489. Let f = -16 - -12. Is c/(-25) - f/(-10) a composite number?
True
Is 1*(-1)/(-2) - (-25783)/38 composite?
True
Is -6*(-8)/(-12) + 1607 a prime number?
False
Suppose 0 = -3*x + 2*x - 2. Let w be 1/(x*2/(-76)). Suppose t + w = 45. Is t composite?
True
Is -127*(4 + (-1 + -3 - 1)) prime?
True
Suppose 2*i + 6265 = 5*k, -3*i + 5012 = 4*k - 0*k. Is k a composite number?
True
Let h(r) = r**2 - 3*r - 2. Let d(q) = -q**2 + 7*q - 7. Let n be d(5). Let v be h(n). Is (3/v)/((-2)/4) composite?
False
Suppose 1 = 2*z 