. Is p a composite number?
True
Let r = -20 - -20. Suppose -2*k + 385 = k - q, -k - q + 123 = r. Is k composite?
False
Suppose 0 = -5*y - 7 + 2. Let i = 3 + y. Suppose i*v - 5*p = 84, 0*v - 68 = -2*v - 3*p. Is v composite?
False
Suppose -7*t = -t - 2334. Is t a composite number?
False
Is ((-1974)/9)/((-2)/3) prime?
False
Let q be (2 - (1 - 1)) + -158. Let z = -85 - q. Suppose -z - 56 = -r. Is r composite?
False
Suppose -2*j + 4*j = 1486. Is j prime?
True
Let f = 6023 - 3666. Is f composite?
False
Suppose 0 = 4*g - 5*k - 12874, -3*g + 4304 = 5*k - 5369. Is g a prime number?
True
Suppose 3*f - 23 = 2*f. Let g = -11 + f. Is 1638/g*2/3 a composite number?
True
Suppose g - 207 = -4*m, 195 = g + 5*m - 4*m. Is g a composite number?
False
Let p = -15 + -1. Let c be (-869)/(-33) + (-2)/(-3). Let r = c + p. Is r a composite number?
False
Suppose 3*g = -5*d + 14101, -5*d + d = -5*g - 11266. Is d a prime number?
True
Suppose 0 = -0*i + 5*i - 275. Suppose 0*o - i = -o. Is o a prime number?
False
Let u(i) = -i**3 + i + 1. Let l(p) = 3*p**3 - p**2 - p - 8. Let n(m) = l(m) + 4*u(m). Let d be n(-4). Let j = d + 42. Is j a composite number?
True
Suppose -150 = -3*s + 327. Is s a composite number?
True
Suppose 2*d - i - 20 = -6*i, -12 = 2*d - 3*i. Suppose j + 43 - 167 = 3*h, d = h + 1. Is j prime?
False
Is (-2 - (-591)/(-9))*-3 composite?
True
Let s(y) = 88*y - 3. Is s(9) composite?
True
Suppose 4*l + 2*u = 6*u, 5*u = 0. Suppose l = -5*v + 66 + 4. Is v a prime number?
False
Let r be 15/(0 - -1) - 1. Suppose -r + 1 = -v - 3*x, 5*x - 10 = 0. Is v composite?
False
Let o(j) = -j**3 - 10*j**2 - 11*j - 12. Let f be o(-9). Suppose f = 5*b - 4. Suppose -b*u + 100 = 2*g, 3*u = -2*g + 6*u + 95. Is g a composite number?
True
Let n(x) = -8*x**2 + 3*x + 7. Let d(j) = -7*j**2 + 3*j + 6. Let z(m) = 7*d(m) - 6*n(m). Let b be z(3). Let r = b + 7. Is r prime?
True
Let t(u) = -64*u + 2. Let y(v) = v**2 - 2*v + 3. Let p be y(3). Let n be t(p). Is (4 + -2)/((-4)/n) composite?
False
Let i(d) = -d**3 + 6*d**2 + 7*d - 6. Let k be i(7). Is 3/k - (-195)/2 a composite number?
False
Suppose 38*j = 31*j + 1757. Is j a composite number?
False
Let b(o) = -64*o - 20. Let w(a) = 21*a + 7. Let c(u) = 3*b(u) + 8*w(u). Let n(i) = -12*i - 2. Let h(l) = -6*c(l) + 13*n(l). Is h(-4) a composite number?
True
Let m(u) = -6*u**3 - u**2 + 1. Let z be m(-1). Suppose 3*v = z*v. Suppose 2*l = -v*l + 254. Is l a composite number?
False
Let n(y) = -2*y + 3. Let p be n(2). Let o be (-10)/(-2 - (p + 1)). Suppose o*c = 10, r + 3*c = -2*c + 25. Is r a prime number?
False
Let c(u) = 17*u - 3. Let f = 8 + -4. Suppose 5*g - 17 = f*w + 1, -5*w - 2 = 4*g. Is c(g) composite?
False
Let a(o) = 11*o - 17. Is a(8) a composite number?
False
Let v be (10 + -1)/((-3)/(-3)). Let i be ((-10)/(-6))/(3/v). Suppose -3*n - n = -4*a + 80, 3*n = i*a - 98. Is a a composite number?
False
Suppose 2*j + 10 = -4*t - 0, -4*j = 5*t + 20. Suppose -2*k - 2 = q - t, -2*q = 3*k + 4. Suppose 2*h = -k*h + 30. Is h prime?
False
Let x(c) = 7*c - 6. Is x(4) prime?
False
Suppose -2*f - 134 = -5*q, -f = -4*f + 3*q - 210. Let r = f + 149. Is r prime?
False
Let l be -2 - 2*(1 + -2). Suppose -10 = -5*b - l*b. Suppose -b*z = -2 - 6. Is z a composite number?
True
Suppose -5*s + 3*a = -153, -3*a - a + 82 = 2*s. Suppose 0 = -w + 80 + s. Is w a composite number?
False
Let i(k) = 15*k**2 - 21*k + 29. Is i(12) a prime number?
False
Let g(m) = 5*m + 4. Let y be g(4). Let k be ((-1072)/y)/(4/(-18)). Suppose -b = 5*z - 639, -4*b + k = 4*z - 323. Is z prime?
True
Suppose 4*y - 145 = 3*y. Is y composite?
True
Let k(q) = 25*q - 4. Let x(f) = -26*f + 5. Let h(j) = 3*k(j) + 4*x(j). Is h(-7) a composite number?
False
Suppose -240 = -g + 2*w + 250, 3*w - 987 = -2*g. Let z = g + -343. Is z a prime number?
True
Suppose 5835 = 19*l - 14*l. Is l prime?
False
Let o(j) = 124*j**2 + 23*j - 6. Is o(5) composite?
False
Let l(f) = -25*f**3 + 2*f**2 - f - 5. Is l(-3) a prime number?
True
Let s(v) = -2*v + 5. Let d be s(13). Let z = d + 43. Is z a prime number?
False
Suppose 5*l + 4*d = 321, -d - 142 = -2*l - 6*d. Suppose 0 = -2*f - f - 3*z + 189, -f - 3*z = -l. Suppose 3*v - 22 = -5*x + f, 0 = -3*x - v + 54. Is x prime?
True
Let t = 29 + -15. Let k = t + 5. Is k composite?
False
Suppose 5*z - 2002 + 6612 = 5*c, 3*z + 3685 = 4*c. Is c composite?
False
Let j(q) = -3*q**3 + 2*q**2 - q - 2. Let k be j(-4). Let o = k + -149. Is o composite?
True
Suppose 9*b - 150 = 3*b. Is b a composite number?
True
Let r(g) = 59*g - 13. Is r(6) a composite number?
True
Suppose 2*g = 5*g + 12. Let i(t) = -t**3 + 4*t**2 - t + 1. Is i(g) composite?
True
Is 20/5*877/4 composite?
False
Is (6*(-4)/12)/((-2)/1282) prime?
False
Let z(c) = -c**3 + 6*c**2 + 5. Let f be z(6). Suppose -2*o + 335 = -o + 2*k, k + 1653 = f*o. Is o composite?
False
Let d = 3 - -2. Suppose -d*n + 127 = -88. Is n a composite number?
False
Let a be ((-6)/(-5))/((-6)/(-20)). Suppose -148 - 180 = -4*x - 3*z, -4*x = -a*z - 356. Is x a prime number?
False
Let v(m) = m**2 - 4*m - 1. Suppose 1 - 17 = 2*l. Is v(l) prime?
False
Suppose 2*p = -2*t - 0*p + 10, 3*p + 41 = 5*t. Let x = t + -4. Suppose j - 60 = -m, j + x*m - 16 = 34. Is j prime?
False
Let a(z) = 10*z**3 + 2*z**2 + z - 1. Suppose -4*m + 4*h = -9*m + 26, 20 = 4*m + 3*h. Let g be a(m). Suppose 5*d + g = 364. Is d a prime number?
False
Let k(j) = -113*j + 2. Is k(-1) composite?
True
Let p = 72 - -419. Is p composite?
False
Let i(t) = 10*t**3 - t**2 - 4*t + 2. Is i(3) a composite number?
False
Let b(p) = 4*p**3 - p**2 - 3*p - 2. Let h(d) = -7*d**3 + d**2 + 6*d + 4. Let f(u) = 5*b(u) + 3*h(u). Is f(-5) a composite number?
True
Let h = 43 + -12. Let k = 0 + h. Is k composite?
False
Suppose 5*t = 3*x - 14947, 0*t - 24961 = -5*x - 4*t. Is x a prime number?
False
Suppose x + d = 3*d - 6, 3*x = 3*d - 3. Suppose -b + 1270 = x*b. Is b a prime number?
False
Let n(m) = -6*m - 25. Is n(-14) a prime number?
True
Let y(q) = q**3 - 9*q**2 + 6*q + 8. Let a be y(8). Let z = 82 + a. Is z a composite number?
True
Let z(k) = 13*k + 5. Let t(d) = -6*d - 2. Let v(m) = 7*t(m) + 3*z(m). Let y be (4/(-6))/((-9)/(-54)). Is v(y) composite?
False
Suppose -2*z + 160 = 54. Is z a prime number?
True
Let y(j) = -30*j. Let h = -1 - -2. Let q be y(h). Is 6/q - (-772)/10 a composite number?
True
Let f(n) = 2*n - 7. Let r be f(5). Let x(m) = 7*m**3 - m**2 - 6*m**r + 6*m**3 - 1 + 3*m**2 + m. Is x(3) composite?
True
Let f(v) = v**3 + 2*v**2 - 3*v. Let z be f(-3). Suppose j - 3*j + 18 = z. Is 101/j + 8/(-36) a composite number?
False
Let y(r) = r**3 - 5*r**2 - 7*r - 12. Is y(7) a prime number?
True
Let p be 1/(-1) - -2 - 172. Let r = p - -248. Is r a prime number?
False
Suppose 0 = 3*u - 4*u + 196. Suppose f - y = -6*y + 23, -2*y - u = -5*f. Is f a composite number?
True
Suppose -289 = -3*z + 56. Is z composite?
True
Let f(l) = 94*l**3 - 2*l**2 + 1. Suppose 3*v - 9 = 12. Let g = v - 6. Is f(g) composite?
True
Suppose -11 + 5 = -3*l. Is (4 - 7) + 112/l composite?
False
Let r(t) = -t + 7. Let h be r(0). Suppose 4*f = 4*v - 12, h = 4*f - 3*v + 22. Is (-87)/f*(1 - -9) prime?
False
Let z = -4 + 0. Let a(s) = -2*s**3 - 6*s**2 - 2*s - 2. Is a(z) prime?
False
Let k = 5 - 2. Suppose 8*o - 2095 = k*o. Is o a prime number?
True
Suppose 0 = 3*o + 2*o - 355. Is o a composite number?
False
Let r be 3 - (1 + (0 - 125)). Let f = r - 68. Is f prime?
True
Suppose -2*g - 16 = -4*g. Is ((-66)/g)/((-6)/24) composite?
True
Suppose 7*o = 3*o + 364. Is o composite?
True
Suppose 5*h = 15, o - h + 7 - 489 = 0. Is o a composite number?
True
Suppose 2*i = 300 + 442. Is i a composite number?
True
Suppose -3*q = -9 - 30. Is q prime?
True
Let g(o) = -o**3 - 15*o**2 - 17*o + 9. Let j be g(-14). Suppose 6 - 1 = w. Suppose 0 = n - 1, -w*m + j = 2*n - 6*n. Is m prime?
True
Suppose -15 - 15 = -5*u. Suppose -2*d - 184 = -u*d. Is d composite?
True
Suppose -o + 3 = -h - 65, -2*h - 136 = -3*o. Is 10/(-15) - h/3 a prime number?
False
Let z be (-56)/(-12) + (-3)/(-9). Suppose z*t - 8 = t. Suppose m = 4*k + t*m - 264, -2*k + 3*m + 146 = 0. Is k composite?
False
Suppose 18 = y - 289. Is y a composite number?
False
Let u(g) = g**3 + g + 115. Suppose 2*z + 10 = 0, 3*z + 25 = 5*c - 2*z. Is u(c) composite?
True
Let c be ((-4)/(-10))/((-1)/5). Let x(i) be the first deri