+ 237, -w - 2*p + 233 = 0. Is w prime?
True
Suppose -4*x + 132 = -3*c - 2*c, -x - 5*c = -58. Let m = x - 1. Let u = m + -16. Is u a composite number?
True
Suppose 0 = -3*o + 3*z - 48, o + z + 14 = 4*z. Suppose -2*v = 2*v + 216. Let a = o - v. Is a a composite number?
False
Suppose 0 = -0*o - 4*o + 416. Let d = 269 - o. Suppose 4*t - 2*k + 23 - d = 0, 5*k = -2*t + 89. Is t prime?
True
Let j be -36*3/(-6)*-1. Let z(g) = -2*g**2 - 2*g. Let y be z(4). Let s = j - y. Is s composite?
True
Suppose -3 - 1 = -2*f. Let c(x) = -3*x**2 + 2*x + 2. Let a be c(f). Let l = 9 + a. Is l a composite number?
False
Suppose -y + 3 = 5, 2*f = y - 20. Let k(l) = -8*l - 14. Is k(f) composite?
True
Let v = -307 - -614. Is v a prime number?
True
Let w(z) = -16*z**2 - 3*z - 2. Let a be w(-2). Let n = 93 + a. Is n composite?
True
Suppose 0 = 2*l - 48 - 4. Let p = l + 29. Is p composite?
True
Suppose 2*l + 0 - 3 = -3*j, 3*l - 5 = -4*j. Suppose -4*v + 988 = -5*f, 3*v - l*f = v + 494. Is v composite?
True
Let g = -297 - -211. Let v = g - -130. Suppose -2*a + v + 18 = 0. Is a composite?
False
Suppose -4*f + 4 - 1 = -3*k, 5*k = 4*f - 5. Let o be 15*(f/(-2) - 1). Is 14/(0 + (-6)/o) a composite number?
True
Let k(b) = -2*b - 5. Let c be k(-4). Suppose 5 + c = -4*t. Is 1562/18 + t/(-9) prime?
False
Suppose -w + 10 = 4*w. Let r = -76 - -153. Suppose 3*d - r = -w*q, 3*q - q = -5*d + 123. Is d prime?
True
Suppose -2*g + 124 = -80. Let d be 2*3/((-9)/(-6)). Suppose -i - g = -d*i. Is i a prime number?
False
Let k = -21 + 20. Is 517/(0 - k)*1 prime?
False
Let y(o) = o**3 + 6*o**2 + 4*o - 3. Let q be y(-6). Let m = q - -49. Is m a composite number?
True
Suppose 2*f + 1 - 7 = 0. Suppose -44 = -i - 5*n, i - f*i - 2*n = -48. Is i prime?
True
Suppose -6*a + 9*a = 4191. Is a composite?
True
Suppose -11 - 9 = 5*a. Let y = 2 + a. Let i(w) = w**3 + 3*w**2 - 1. Is i(y) a composite number?
False
Suppose 4*l = -2*h - 6, 4*l + 8 = h - 1. Let r be h*-4*4/8. Is -1 - (r + -1*68) a prime number?
False
Let k(x) be the third derivative of 1/30*x**5 - 13/6*x**3 + 0 - 7/24*x**4 - 2*x**2 + 0*x. Is k(12) a composite number?
False
Suppose -1090 - 11 = -3*d. Is d a prime number?
True
Suppose -3*v = v. Suppose -2*u + 62 = -v*u. Is u composite?
False
Suppose u + 3240 = 4*r, 2*r - 4*u + 0*u - 1634 = 0. Is r prime?
True
Let m(s) = s**3 + 6*s**2 + 4*s + 1. Let i be m(-5). Let b be 2/1 - (-2 - 1). Suppose 4*c = -k + b - 2, -2*k = c - i. Is k prime?
True
Let b = -17 + 43. Is b a composite number?
True
Suppose -732 = -g - 3*g. Suppose 5*w - g = -2*v, 0*w + 5*v + 15 = w. Is w a prime number?
False
Suppose -4*y - 59 = -163. Is y composite?
True
Let c(i) = 25*i - 1. Let h be c(-2). Let q = 34 - h. Is q prime?
False
Let o(i) = 3*i**3 + i**2 - 4*i + 3. Is o(2) prime?
True
Suppose 0 = 2*w - 389 + 151. Is w composite?
True
Suppose i + 2*p + 9 = 0, 5*p = -5*i + 16 - 61. Let y(o) = -o**3 - 9*o**2 - 7*o - 2. Let x be y(i). Let v = 94 - x. Is v prime?
False
Let u be ((-16)/24)/(2/9). Let q = 18 - u. Is q composite?
True
Let u(q) = -1541*q. Is u(-1) composite?
True
Suppose -2*b + 1273 = 3*f, -4 + 6 = 2*f. Is b composite?
True
Let z(h) = -267*h**3 + 11*h**2 - 4*h + 9. Let u(v) = -134*v**3 + 6*v**2 - 2*v + 5. Let n(q) = -7*u(q) + 4*z(q). Let d be n(1). Let l = d - -220. Is l prime?
False
Let w = -5 - 1. Let q(i) = -i**2 - 6*i + 4. Let j be q(w). Suppose -v = j*v - 455. Is v a composite number?
True
Suppose 55 = -2*m + 531. Suppose -91 = -k - 2*i, -5*k - 5*i + 197 = -m. Is k a prime number?
True
Suppose -5*l = -0*l. Let s = 3 + l. Is s a composite number?
False
Let s = 312 - 181. Is s a prime number?
True
Let m = -24 - -7. Let z = m + 19. Is z composite?
False
Suppose -4*t = 3*d - 3, 3 + 1 = t + 4*d. Suppose t = -4*u - 30 + 114. Is u a prime number?
False
Let g(u) = 4*u. Let v be g(1). Suppose v*c - 105 = -c. Is c prime?
False
Let v(g) = 2*g - 1. Let x be v(6). Let h = -21 + 13. Let u = h + x. Is u a composite number?
False
Let v(i) = -i**3 - i**2 + 5*i + 4. Let r be v(-3). Let s(d) = 41*d + 8. Is s(r) a composite number?
True
Suppose 3*w - 37 = 110. Is w a composite number?
True
Let l be -5*(-5)/((-75)/6). Let d = -3 - l. Let a(v) = 11*v**2 + 2*v + 1. Is a(d) composite?
True
Let m(t) be the first derivative of t**4/4 - t**2 + 2*t - 2. Suppose -6 = 3*g, 2*h = 7*h + 3*g - 4. Is m(h) composite?
True
Let a(i) = i + 2. Let x be a(0). Suppose -x*c = -5*c - 84. Let f = c - -41. Is f prime?
True
Let m = -349 - -816. Suppose -5*c = -3*c - 5*n - 934, m = c + n. Suppose -c + 87 = -5*q + 5*z, -5*q = -z - 392. Is q composite?
False
Suppose 472 = -11*o + 13*o. Suppose 3*p - o = -q - 2*p, 4*q + 5*p - 989 = 0. Is q composite?
False
Let w(i) = -i**3 - 9*i**2 - 2*i - 13. Suppose -2*r = 4 + 14. Let n be w(r). Suppose -n*u + 85 = 2*l, -u + 121 + 57 = 5*l. Is l prime?
False
Suppose -33 - 37 = 5*q. Is (-4)/q - 725/(-35) a prime number?
False
Let w be (2/(-4))/1 + (-5960)/(-16). Let s = 1031 + -480. Let n = s - w. Is n prime?
True
Suppose -5*t = -2*v + 2907, -2*v - 5*t = -3*v + 1466. Is v a prime number?
False
Suppose 0 = 7*p - 5*p + 38. Let r = 38 - p. Is r a prime number?
False
Let w(v) = -v**3 - 6*v**2 - 8*v + 5. Let f be w(-6). Suppose -16 - 40 = -j - 3*p, -2*j + 92 = p. Let s = j + f. Is s a composite number?
False
Let n = 211 - 105. Is n a prime number?
False
Let d(a) = a**3 + a + 293. Is d(0) prime?
True
Let a be (-28)/5 + (-16)/40. Is (-395 - a)*(-2 + 1) prime?
True
Let l be (9/(-6))/((-6)/376). Suppose -v - v = -l. Is v prime?
True
Let p(u) = 48*u**2 - 4*u - 1. Is p(3) a prime number?
True
Suppose 0 = -3*q + 6*q - 18. Suppose -5*s + 4*b = -q + 3, b = -s + 6. Suppose 0 = -2*i - 5*u + 63, 0 = 4*i + 2*u + s*u - 131. Is i composite?
True
Let t = 4696 - 1263. Is t composite?
False
Let t(w) = w**3 - 5*w**2 + 6*w + 3. Let a be t(5). Let z = a - 20. Is z prime?
True
Suppose 4*l - 872 = -4*x, 2*l = 6*l - 3*x - 844. Let m be (-38)/(-8) - (-1)/4. Suppose -l = -m*q - 2*o + o, -133 = -3*q + 4*o. Is q a prime number?
True
Let h(o) = o**3 + 13*o**2 - 18*o + 17. Is h(-13) prime?
True
Let g(o) be the first derivative of -o**4/2 + 5*o**3/3 - o**2 - 5*o + 3. Is g(-4) composite?
False
Is (-1257)/(-15)*20/4 a composite number?
False
Let l(x) = -x**3 + x**2 - 2. Let d be l(2). Is 3 - d - (0 + -2) a prime number?
True
Let f(p) = p**3 + 2*p**2 - 4. Let k(o) = -3*o**3 - 7*o**2 + 11. Let g(j) = 8*f(j) + 3*k(j). Is g(-6) prime?
True
Let u = 6 - 2. Suppose 357 = -p + u*p. Is p prime?
False
Let w = -1193 + 1750. Is w prime?
True
Let c(s) = -12*s**3 - s + 1. Let x be c(1). Let w be (11/2)/((-2)/x). Suppose 5*y - w = 4*y + 2*m, 3*m = -3*y + 54. Is y a prime number?
True
Is 2*-1382*2/(-8) a prime number?
True
Let r = 18 + -6. Let s be 1/((-3 + 6)/r). Suppose -2*j = -174 - s. Is j composite?
False
Let z = 672 + 31. Is z a composite number?
True
Suppose -f + 87 + 64 = 0. Let n = -24 + f. Is n a prime number?
True
Suppose 2 = n - 2. Let p = 7 - n. Suppose -24 = -3*y + f, 8*y - 32 = p*y - f. Is y a composite number?
False
Let w be (-6)/(1/1*1). Let i(x) be the first derivative of x**4/4 + 2*x**3 - 5*x**2/2 + 7*x + 1. Is i(w) prime?
True
Let x(g) = -g + 1. Let l be x(3). Is (-2)/(-4) - 43/l prime?
False
Let d = -1 + 1. Let r be (-8)/(-1*(d - -1)). Is (r/(-12))/((-4)/222) a prime number?
True
Let r = 217 - 111. Let x = r + -48. Is x prime?
False
Suppose o - 777 = 5*u - u, -4*u = -5*o + 3901. Is o a composite number?
True
Is (1388/(-6))/(24/(-36)) a composite number?
False
Let o = -3 - -3. Suppose o*a = 4*k + 2*a - 22, -22 = k - 5*a. Suppose k*i - 155 + 38 = 0. Is i prime?
False
Suppose l + 1 = 0, -n + 2*n - l - 2 = 0. Let b be n*-3 - 0/4. Is 3/b*-1*295 prime?
False
Let w = 365 - 63. Is w a prime number?
False
Is (-1 + (-1336)/12)*-3 a prime number?
True
Suppose k - 5*k + 20 = 0. Suppose -p = r - 18, -k*p = 2*r - 65 - 40. Is p a prime number?
True
Let c(x) be the second derivative of x**5/20 + 3*x**4/4 - 2*x**3/3 + x**2/2 - 7*x. Is c(-7) composite?
False
Let y(m) = 3*m**3 - 2. Let g = 0 + 3. Is y(g) composite?
False
Suppose -9 = -3*q, 2*q + 194 = -3*w - 736. Let b = w + 473. Suppose b + 224 = 5*a. Is a a composite number?
True
Let p be (40/(-15))/(2/(-3)). Suppose 4*m - 220 = -3*i, p*m - 4*i + 16 = 236. Is m prime?
False
Suppose i - 5*j = 290, j = -5*i + 1624 - 148. Suppose 0*z 