. Is j composite?
True
Suppose -5*b + 86 = -f + 619, 4*f - 2232 = -5*b. Is f composite?
True
Is 10/(-5) + -3 - -972 a composite number?
False
Suppose -20*r - 662 = -22*r. Is r composite?
False
Suppose -2*p + 1880 = -5034. Is p composite?
False
Suppose -4*n - 2 = -8*n + 3*l, 5*n + l = -7. Let a = n + 6. Suppose a*p - 188 + 3 = 0. Is p a prime number?
True
Suppose 2*h - 173 = -5*d, 3*h - 6*d + 2*d = 271. Let o be (-718)/(-14) + (-16)/56. Let n = h - o. Is n prime?
False
Is 3/(12/5444)*1 a prime number?
True
Suppose 0 = -31*r + 27*r + 776. Is r prime?
False
Let l be (-1 - -36) + (4 - 6). Suppose 0 = 4*r + 5 - l. Suppose 0 = 4*k - r*k + 75. Is k composite?
True
Let w(a) = 91*a**2. Suppose -2*l = -6*l - 12. Let v = l + 2. Is w(v) composite?
True
Suppose z + 7 + 17 = 5*x, 0 = 2*x + 2*z. Suppose -264 + 731 = 4*u + 5*n, -3*u = x*n - 351. Is u a composite number?
False
Let x(v) = v**2 + 5*v. Let t(z) = -3*z**2 - 15*z - 1. Let f(q) = 4*t(q) + 11*x(q). Let u(a) = 6*a + 5. Let c(y) = -6*f(y) - 5*u(y). Is c(-3) prime?
True
Suppose -19 = 2*t + 5. Let s be (9/t)/((-1)/4). Is 0 + 37*s/3 a composite number?
False
Suppose -4 = -3*j + 2*j. Suppose j*t + 3 = t + 4*s, t = -2*s + 9. Suppose 0*r - 5*r = -t*d - 730, -5*r + 755 = 2*d. Is r prime?
True
Let i = -10 - -15. Suppose 2*h - 1 - i = 0. Suppose -4*g + p = -15 - 59, h*p = 3*g - 51. Is g prime?
True
Let m(t) = 0*t + 2*t - 4*t + 9*t**2 - 4. Let w be m(4). Let l = w + -79. Is l composite?
False
Let j = -315 + 634. Is j a composite number?
True
Suppose -8189 = -5*c + 2*i, 4*c + 657 = -3*i + 7222. Is c a composite number?
True
Let z(t) = t**3 + 11*t**2 - 8*t - 2. Is z(-8) a composite number?
True
Suppose 108 + 4717 = 5*r. Is r prime?
False
Suppose -5*i - 2*q - 30 = -4*i, i = -q - 31. Let d = 123 + i. Is d a composite number?
True
Is (-2)/(-9) - 302753/(-153) a composite number?
False
Let d = -124 + 203. Let y = 66 + d. Is y a prime number?
False
Let i(g) = 134*g**2 - 3*g - 4. Is i(-1) a prime number?
False
Suppose 2*z = -0*z + 158. Is z prime?
True
Let x(f) be the first derivative of f**4/4 - 5*f**3/3 + 3*f**2/2 - 3*f - 2. Let s(h) = h**3 - 10*h**2 + 10*h - 3. Let c be s(9). Is x(c) composite?
True
Let h = 8 - 4. Suppose 5*q - 37 = h*q. Is q composite?
False
Let o = 372 - 211. Suppose 4*n - 147 = o. Is n composite?
True
Suppose 5*q + 5*l = 0, -20 = -6*q + 5*q + 3*l. Is 0 - (-70 + q + -2) a composite number?
False
Is (3/(-12)*-998)/((-6)/(-12)) a prime number?
True
Let s be ((-2)/(-6) + 1)*-3. Is ((-1)/1)/(s/508) composite?
False
Let z = 8 + -5. Suppose -2*f = -z*f + 46. Let r = 83 - f. Is r composite?
False
Let l = 6 + -2. Suppose 0 = l*v - 0*v - 308. Is v a composite number?
True
Let f(l) = -l**3 - 2*l**2 - l. Let h be f(-2). Let k(d) = 48*d + 1. Is k(h) composite?
False
Let g = 1 - -1. Suppose w = 2*f + 37, 3*w - 37 = g*w - 5*f. Is w prime?
True
Suppose -4*l + 2*l = -582. Is l a prime number?
False
Let s = -26 - 4. Let q be 42/s + 4/10. Is (-1)/((-1)/(-7)*q) a composite number?
False
Let m be (-2132)/(-14) - (-20)/(-70). Suppose -2*n - 2*z = -494, -1160 + m = -4*n + z. Is n a prime number?
True
Suppose -2 - 2 = p. Let q(z) = 7*z**2 - 2*z + 1. Is q(p) composite?
True
Let l(k) = 44*k**3 + k**2 - 3*k + 1. Is l(1) a composite number?
False
Is 3/6*(3087 + 0 + -1) a composite number?
False
Let a = -1861 + 3110. Is a a composite number?
False
Is -1 + -3 + 300 - (0 - 2) prime?
False
Suppose 14795 + 12380 = 5*x. Is x composite?
True
Let n be 1017/4 + (-30)/(-40). Suppose -3*g = -c + 340, 0 = -3*c + g + 741 + n. Is c a prime number?
True
Suppose j + 2250 = 5*j - y, 4*y + 2244 = 4*j. Is j a prime number?
True
Suppose -f + 1 = -0. Is 2*f*952/16 a composite number?
True
Suppose 4*q = 51 - 555. Let r = q - -213. Is r a prime number?
False
Let k(r) = 42*r + 13. Let m = -15 - -22. Is k(m) a prime number?
True
Let d = -32 + 85. Is d composite?
False
Suppose 0 = -11*t + 16*t - 3585. Is t prime?
False
Let p = -5 + 11. Suppose 0 = 2*d + l, -3*d - 3*l - p = -0*d. Is (-2)/d - (-24 + 0) prime?
True
Suppose q = -3*y + 11 + 1, -5*y = -q - 12. Let u = 11 - 7. Suppose -311 = -5*l - u*i, 4*l = -l + q*i + 283. Is l composite?
False
Let k(d) = d**3 - 12*d**2 - d + 15. Let i be k(12). Let f be 1/(-2)*-2 - -4. Suppose 0 = f*a - i*n - 103 - 11, -5*n = 15. Is a prime?
False
Let g(x) = -x**3 - 7*x**2 + 11*x + 16. Let u be g(-10). Suppose -3*c = -c - u. Is c a composite number?
False
Let h = 8088 + -5555. Is h prime?
False
Suppose -10 - 70 = -u. Suppose s + s + 2 = 0, 4*c = -4*s + u. Is c prime?
False
Let c = -1 - 2. Let p = -2 - c. Is p/(-2)*0 + 149 a prime number?
True
Let x(k) = 91*k**2 - 4*k + 2. Is x(5) a prime number?
False
Suppose 1 - 4 = f, -2*f = 4*g + 50. Let o = g + 33. Let u = o + -3. Is u composite?
False
Suppose 4*p + 100 = 2*s, -4*s + 58 = -2*p - 7*s. Let o = 48 + p. Is o composite?
True
Suppose 3*f = 10 + 2. Suppose 0 = s - 3*s + f. Is -2 - ((-47 - 0) + s) prime?
True
Let q(m) = m - 1. Let c be q(6). Suppose -v = -4*b - 19, -4*b + c*b = -5*v + 116. Is v a prime number?
True
Is ((-32)/12)/4*(-6582)/4 a composite number?
False
Suppose 0 = -0*r + r - 5. Suppose 4*i + 2*k = -0*k + 658, r*k = 5*i - 800. Is i a composite number?
False
Let v(s) = 4*s**3 - 3*s**2 - 2*s + 7. Let n be v(5). Suppose -6*o = -8*o + n. Is o prime?
True
Let x(q) = 7*q + 13. Let g be x(-10). Let j = g - -94. Is j a prime number?
True
Let r(p) = -4*p**2 + 5. Let v(m) = 5*m**2 - 6. Let k(s) = 6*r(s) + 5*v(s). Let w be k(-2). Suppose g + 5*b - 38 = 0, -w*b - 103 = -0*g - 5*g. Is g prime?
True
Let u(r) = r**2 + 2*r - 3. Let t be u(7). Suppose 4*w + 5*d - 117 = t, 3*w = 4*d + 94. Is w a composite number?
True
Let x be (-150)/(-9) + (-2)/3. Suppose w = -5*g + x, g + 4*w + 0*w = -12. Suppose -y = -2, g*r + y - 214 = -0*y. Is r prime?
True
Let i(j) = 3*j**3 - 3*j**2 + 5*j - 1. Let u = 10 + -5. Let c be i(u). Suppose 4*d - 4*x = c, 4*d - 403 = -2*x - 67. Is d prime?
True
Suppose -3*i + 86 = 2*t, t = -0*t - 2*i + 43. Is t composite?
False
Let m(x) = 8*x + 2. Let h be m(-5). Let d = -79 + 154. Let z = d + h. Is z composite?
False
Let g(j) = -15*j + 1. Suppose -30 = 7*v - 2*v. Is g(v) composite?
True
Let i(c) = -240*c - 37. Is i(-5) a prime number?
True
Let y = 1 + 1. Let p = y - -4. Is p composite?
True
Let y be (-1 - 0)/((-2)/(-4)). Let d be (2 - (-5)/(-2))/(1/(-4)). Is 5/y*(-64 + d) prime?
False
Let z be (-3 + 0 - -1) + 10. Suppose p - 6*p = -4*x + 20, -p - 4 = -x. Is (-263)/p + (-6)/z prime?
False
Suppose m - 9 = -s, 2*m + 0*s - 5*s = 18. Let z = m + 35. Let k = z - 23. Is k a composite number?
True
Let p(q) be the first derivative of -q**3/3 - 2*q**2 + 1. Let d be (3 - 6) + 0 + 0. Is p(d) a prime number?
True
Suppose -4*d = 4*u - 6*u + 28, u - d - 9 = 0. Is (-4 + -318)*(-2)/u prime?
False
Suppose -5*i - 15 = 0, -r + 6*i + 131 = 2*i. Is r a prime number?
False
Let w(q) = -2*q**3 - 4*q**2 - 3*q - 4. Is w(-5) prime?
False
Let y(u) = -1 + 3*u**2 - u**3 + 0 + 3. Let c be y(3). Suppose o = c*a + 5, -o + 3*a - 25 = -2*o. Is o composite?
False
Let q(w) = -66*w - 7. Let t be q(-7). Let x = t - 237. Is x a composite number?
True
Suppose 3*x = -5*s - 13, -s - 4*x - 10 = 2*s. Let d(z) = -23*z**3 - z**2 + z - 1. Is d(s) a prime number?
False
Let z(d) = 7*d + 2. Is z(8) prime?
False
Let u(h) be the third derivative of -h**6/12 - h**5/30 + h**4/24 + 2*h**3/3 + 2*h**2. Let g be u(-3). Suppose -5*d = -4*d - g. Is d prime?
False
Let h(r) = 6*r + 4. Let v(o) = 12*o + 9. Let m(z) = -5*h(z) + 3*v(z). Is m(5) composite?
False
Is 1 + (-2)/(-1) + (22 - -282) a prime number?
True
Suppose -5*k + 933 = -2*o, 0*k + 378 = 2*k + 4*o. Is k composite?
True
Let s be (-1)/(-2) - 949/(-2). Suppose -3*p + s = 2*l + 3*l, -2*l - 740 = -5*p. Suppose p = 4*o - 34. Is o prime?
False
Let r(f) = f**3 - 5*f**2 + 6*f - 6. Let b be r(4). Suppose 0 = -0*y + b*y + 78. Let h = 58 + y. Is h prime?
True
Let s = -3 + 3. Suppose s = -3*u + 4 + 2. Is u*(0 + 21/2) a composite number?
True
Let i(c) = c - 8. Let p be i(7). Is (-1)/p - (-8 + -362) prime?
False
Let b = 21 - -44. Is b a composite number?
True
Let n = 5 + -4. Let p be 3 + -1 - (-2 + n). Suppose -p*s - 2*s + 65 = 0. Is s composite?
False
Suppose -3*b + 4*n = -70, 2*n = -2*n - 16. Suppose 4*m - 18 - b = 0. Is m composite?
True
Suppose -4*n + 4 = -2*n. Suppose -n*