 4*x + s - 1, -5*x + 71 = 2*b. Is b a prime number?
True
Let c(k) = -2*k**2 - 2*k. Let l be c(-2). Is -4*1/(l/51) prime?
False
Let d(a) = 3*a**2 + 2*a + 3. Let b(t) = -t + 1. Let s(o) = b(o) + d(o). Is s(3) prime?
False
Suppose -4*z = -2*h + 10, -3 = 3*z - 0*h + 3*h. Is 3 + z + (2 - -131) a composite number?
True
Let c(q) = -1760*q**3 + 2*q**2 + 3*q + 2. Is c(-1) prime?
False
Is (-165)/(-2)*(-2)/(-3) a composite number?
True
Suppose 2*v = 4*c - 72, -c + 2*v - 9 = -33. Suppose -2*s + 4*h = -c, s + 3 = 3*h + 12. Let d(n) = 12*n**2 - n + 1. Is d(s) composite?
True
Let g(x) = -18*x**3 + x**2 + x - 5. Is g(-3) prime?
True
Let h(s) be the first derivative of -s**4/4 + 3*s**3 - s**2 + 3*s + 14. Suppose 5*j + 5 = 6*j. Is h(j) a composite number?
True
Is (-10)/(-50) - (-1494)/5 composite?
True
Let o be 4/(-2)*(1 - 0). Let u = o - -7. Suppose -9 - 26 = -u*j. Is j a composite number?
False
Let r(t) = 26*t**2 - 16*t + 29. Is r(9) composite?
True
Suppose -4535 = -5*n + 2*d - 3*d, 4535 = 5*n + 3*d. Is n prime?
True
Let b = 9124 + -35706. Is b/(-18) - 2/(-9) composite?
True
Suppose -5*o = -v - 1688 - 368, -5*v + 1639 = 4*o. Is o prime?
False
Suppose 92 = 3*g - 232. Let v = g + -65. Is v a prime number?
True
Let g(l) = 5*l**3 + 8*l**2 - l + 1. Let q be g(-4). Let f = q - -600. Is f a composite number?
True
Suppose 0 = 3*i + 4*t + 239, -4*i - 4*t + 186 - 502 = 0. Let q = 126 - -36. Let c = q + i. Is c a prime number?
False
Let x be ((-28)/8)/(1/2). Let g(w) = -w - 8. Let f be g(x). Is 36*(f + 2) - -1 prime?
True
Is 3*(-3)/9 - (-634 + 2) prime?
True
Suppose -3*r - 82 - 17 = -3*w, 4*w + 4*r = 140. Is w a prime number?
False
Suppose -70*y + 67*y = -5745. Is y prime?
False
Let b = 1106 + -506. Suppose -3*f = 6, 5*q - b = -2*f - 189. Is q a composite number?
False
Let u = 5 - 10. Let w(n) = -n**3 - 3*n**2 - 6*n + 3. Let p(s) = -3*s**3 - 7*s**2 - 12*s + 7. Let t(f) = 2*p(f) - 5*w(f). Is t(u) a composite number?
True
Suppose -2*w = -2, 3*n - 4*w = 4*n - 293. Is n a composite number?
True
Suppose -2*x - 4*c = -78, -4*x + 156 = -c - c. Suppose 5*b = 109 - x. Is (-23)/(-7) + (-4)/b composite?
False
Is 907/(3 + 4/(-2)) composite?
False
Let c = -687 - -1202. Is c prime?
False
Let d(u) = -5*u + 2. Let a be d(-4). Let t = a + -16. Suppose -4*s = 4*f - 360, t*s = 4*s - f + 181. Is s composite?
True
Let l be (4/(-6))/(16/(-72)). Let m(j) = -3*j**2 - 5*j + 3. Let a be m(l). Let w = -20 - a. Is w composite?
False
Let w(h) = -h**3 + 9*h**2 - 4*h + 3. Let d(v) = v**3 - 8*v**2 + 7*v - 7. Let p be d(7). Let l(i) = -2*i - 9. Let m be l(p). Is w(m) a composite number?
False
Suppose 11*z - 4561 = 1522. Is z prime?
False
Suppose 5*f = -3*f + 3608. Is f a prime number?
False
Suppose -w = 4*w + 4*p - 12, w = -2*p + 6. Suppose i = 5*q - 298, w = 2*q - 4*i + 89 - 219. Is q prime?
True
Suppose -105 - 140 = -5*s. Is s a prime number?
False
Let q = 107 - -4. Let w = q + 34. Is w a composite number?
True
Let v = 1 - 2. Let g = v + 4. Suppose -5*w + 63 = g*p, 2*w + 2*w + 42 = 2*p. Is p composite?
True
Suppose 9*c - 1996 = 5*c. Is c prime?
True
Suppose -v = -2*v + 3, 3*t = v + 6. Suppose 22 = q + t*c, 3*q - 13 = 2*c + 9. Is q prime?
False
Let w(s) = 292*s - 51. Is w(8) prime?
False
Let q(v) = 15*v + 1. Let s be q(-1). Let b be (-4)/s + (-4)/14. Suppose b*m - 133 = -m. Is m prime?
False
Suppose 3*d + 15 = -2*d. Let h be 2/(-6)*d + 122. Let b = -86 + h. Is b composite?
False
Let j(c) = -46*c + 1. Let h be j(1). Let g = -24 - h. Suppose 0*n = 3*n - g. Is n a prime number?
True
Suppose 2*u + 4*q + q = 59, -u - 5*q = -37. Let w be u/(-5) + 16/40. Is 694/6 - w/(-6) composite?
True
Suppose -10*x + 2*x + 4456 = 0. Is x a prime number?
True
Suppose 6 + 3 = 3*i. Suppose u + 1 = 0, 5*k - 769 = i*u - 151. Is k composite?
True
Suppose -4*r + 0*u + 17 = -u, 5*u = -2*r - 19. Suppose 3*z = 15, q - 289 = -r*q + 3*z. Suppose p = q + 135. Is p prime?
True
Let a = -355 - -672. Is a prime?
True
Suppose 0 = -0*k - 2*k, 5*z = -4*k + 700. Let d = z + -100. Let i = 55 + d. Is i composite?
True
Let x(j) = -j**3 - 9*j**2 + 5*j + 8. Let m(l) = l + 1. Let c(q) = 6*m(q) - x(q). Let b(i) = -i**2 + 4*i - 2. Let o be b(5). Is c(o) a prime number?
True
Let z(p) = p**2 + 2*p + 6. Let t(q) = -1. Let d(i) = -6*t(i) - z(i). Let g be d(-2). Suppose 0 = -g*j + j - 59. Is j composite?
False
Let v(j) = -19*j + 4. Let b be v(-6). Suppose -2*k = -4*k + b. Is k a composite number?
False
Let z be 6/15 + (-306)/(-10). Let u = 11 - 6. Suppose -2*f + f = -u*v - z, -4*v - 218 = -5*f. Is f composite?
True
Suppose -45 = -l - 4*o, -4*l = -0*o + o - 195. Is l prime?
False
Let g(q) = 10*q**2 - 3*q + 3. Let f = -10 + 18. Suppose f*w - 3*w = 5*c - 10, -5*w + 14 = c. Is g(w) prime?
True
Let w(l) = -l**3 + 8*l**2 + 9. Let d be w(8). Is (3/1)/d*2841 a prime number?
True
Is 8/(-2) + 3 - -134 composite?
True
Let c = 124 - -33. Is c a prime number?
True
Let d = 1035 + 1016. Is d a composite number?
True
Suppose -7*y = -2*y - 3*d + 29, d - 12 = 2*y. Let u(i) = 3*i**2 + 6*i + 3. Let n be u(y). Let q = 187 - n. Is q a composite number?
False
Suppose 2*p - 3*n + 2 + 13 = 0, -p = -2*n + 10. Suppose p = -3*f + 31 + 74. Is f composite?
True
Let x(v) = v**2 + 4*v - 5. Let y be x(-5). Suppose -1803 = -2*k - m, -2722 = -3*k - 5*m - y*m. Is k a composite number?
True
Let o be (14/10 - 1)*-5. Let v(z) = -31*z. Let g(a) = 62*a. Let s(h) = o*g(h) - 5*v(h). Is s(1) composite?
False
Suppose -5*o = -m - 5334, -5*o + 0*m = -2*m - 5333. Is o a prime number?
False
Suppose -4*s + 111 = 5*i, 0*i + 69 = 3*i + 3*s. Let x = 12 + i. Is x composite?
False
Suppose 0*n + 5*n - p + 37 = 0, 3*n = 3*p - 15. Is 266/8 + 2/n a composite number?
True
Let m be (-3)/6*0/1. Suppose 4*k + 5*f = 101, -2*f + 67 = 3*k - m*f. Is k a composite number?
False
Let m(a) = -a**3 + 5*a**2 - 3*a + 2. Let d be m(2). Suppose d*n = 7*n + 211. Is n a prime number?
True
Let s(t) = -4*t**2 - t - 1. Let c(z) = 8*z**2 + 3*z + 1. Let k(h) = -2*c(h) - 5*s(h). Let r be k(-3). Is 1/(-2)*r/(-3) a composite number?
False
Suppose 0 = -7*h - 3*h + 2330. Is h a prime number?
True
Suppose 0 = -3*i + 1 - 4. Let q = i - -5. Suppose -162 = 5*c + n - 644, 0 = -q*c + 3*n + 397. Is c a prime number?
True
Let v(b) = 6*b + 1. Let a = 15 + -8. Is v(a) a composite number?
False
Suppose 2*v = 5*v. Suppose -5*h + 5 = v, 2*h + 2*h - 26 = -u. Is u a prime number?
False
Is (-879)/(-2)*26/39 a prime number?
True
Is (-1 - 117)/((-52)/182) prime?
False
Let o = -43 - -41. Let g(r) = r - 1. Let l(w) = -45*w + 2. Let b(f) = 3*g(f) + l(f). Is b(o) a composite number?
False
Is 0 + (-6)/(-4) + 7064/16 a composite number?
False
Let q(f) = f**3 - 4*f**2 + 4*f. Let k = 2 + 1. Let d be q(k). Suppose -x = -d*x + 106. Is x a composite number?
False
Let d = 7008 + -3666. Is d/4 + 1/(-2) a composite number?
True
Suppose j - 68 + 21 = 0. Is j composite?
False
Let u(b) = 24*b - 5. Let d be u(9). Let x = -134 + d. Is x composite?
True
Is (-85818)/(-30) + (-8)/(-20) a prime number?
True
Let v = -15 + 11. Is 61 + (v - (-2 - 0)) a prime number?
True
Let y be 2/6*(-11 + 5). Suppose i - 3 = 2*i, -5*h = -3*i - 19. Is 89 - 0 - (h + y) composite?
False
Suppose -4*r = 3*n - 812, 3*r - 2*n - 1038 = -2*r. Suppose 4*s = -p + 97, p - 4*p + 5*s = -r. Is p prime?
False
Let v = -190 - -400. Suppose -q + 5*q = -364. Let b = q + v. Is b a composite number?
True
Is (-7 - -38) + 0/2 a prime number?
True
Let x = 435 + -232. Is x a composite number?
True
Suppose 3771 = 5*k - 3559. Is k composite?
True
Suppose 0 = -6*r + 3*r - 15. Is 289/5 - 1/r a composite number?
True
Suppose -2*i + 3*i + 45 = 0. Let m be (2/5)/((-3)/i). Is (2 - (2 + m))/(-2) a prime number?
True
Let b = 918 + -156. Suppose -3*g + b = -g. Suppose -g = -2*i - i. Is i composite?
False
Let d(n) = 288*n**2 - 8*n - 7. Is d(-3) a composite number?
False
Suppose -v + 3*b - 27 = -4*v, -3*b = 5*v - 39. Is (3 + 45/v)*2 a composite number?
True
Let p(j) = 39*j**3 - j**2 + 4*j - 1. Let a be (-5)/15 - 20/(-6). Is p(a) a composite number?
True
Is ((-22)/(-4))/((-15)/(-390)) a composite number?
True
Suppose -20 = -5*y - 0. Suppose 5*x - 10 = -0*x. Suppose -x*r - y = -26. Is r composite?
False
Let w(y) = -3*y**3 - 7*y**2 + 7*y + 40. Is w(-6) prime?
False
Suppose l + 59 = -v - 0*l, -65 = v + 4*l. Let h = v - -154. Is h a comp