q**3 + 4*q**2 - 2*q + 2. Let h be k(3). Is (h/(-4))/((-3)/(-186)) composite?
True
Let m = 7 - 4. Suppose -h = -u - 9 + 21, 0 = -5*u - m*h + 52. Is u prime?
True
Let b = -520 + 831. Suppose -5*v + 1019 = -h, 0 = v + 2*h + 116 - b. Is v composite?
True
Let s(f) = f + 13. Suppose -12 = 3*b + 3*z, 5*b - 12 = 2*z - 4. Is s(b) composite?
False
Suppose -6*j + 1778 = -2176. Is j a composite number?
False
Suppose -7*g + 505 + 622 = 0. Is g a composite number?
True
Suppose 4*t - 2*t = 0. Suppose t = -r + 2*a + 141, a = -4*r - 0*a + 600. Is r a prime number?
True
Suppose -12 = -3*u - 3. Suppose -u*t - 37 = -136. Is t composite?
True
Let p(r) = -22*r + 29. Is p(-19) a composite number?
True
Let t = 8 - 22. Let x(f) = 2*f**2 - 8*f - 13. Is x(t) a composite number?
False
Let d = 28 - 20. Let m = d - -18. Is m a composite number?
True
Suppose 0 = d - 2*d + 441. Let r = d - 230. Is r prime?
True
Let r = 15 + -13. Suppose -2*c + a + 1646 = 0, -r*c - 2*a + 3276 = 2*c. Is c a composite number?
False
Suppose 0 = 5*y - y - 36. Let a(c) = 7*c + 10. Let r(z) = -20*z - 30. Let h(d) = -11*a(d) - 4*r(d). Is h(y) a composite number?
False
Suppose 0 = 5*f + 276 + 1029. Suppose 5*l = -q + 492, 0 = -3*q - 0*q + l + 1412. Let p = q + f. Is p a prime number?
True
Let w(h) = -54*h - 3. Let a(y) = -y - 1. Let s(f) = -5*a(f) + w(f). Is s(-3) a composite number?
False
Suppose 0 = -5*p - 4*v + 279, 0 = p - 3*v - 0*v - 71. Is p a composite number?
False
Is -1*0/1 + 113 a composite number?
False
Suppose 0 = -c + 3*x + 11, c - 2*x - 14 = -3*c. Suppose -c*g = t + 16 - 109, 45 = g + 2*t. Is g a prime number?
True
Let o be (-2578)/3 + (-8)/12. Let h = -441 - o. Is h a prime number?
True
Is 107307/54 + (-1)/6 composite?
False
Let l be 3 + (-2 - -5) - 3. Suppose -5*n + 137 = y - 0*y, -491 = -l*y + 5*n. Is y prime?
True
Suppose -a = -1 - 2. Suppose -107 + 29 = -a*b. Is b prime?
False
Suppose -5*h - 3 = -13. Is ((-1)/h)/(1/(-478)) a prime number?
True
Suppose 4*i = k + 2*i, 2*k - 27 = -5*i. Is (k + -2)*(-79)/(-4) a prime number?
True
Let k(d) be the third derivative of d**4/24 - d**3/3 + d**2. Let p be k(5). Is 7/2 - p/6 composite?
False
Let y(a) = 13*a**3 - 6*a**2 + 5*a + 7. Is y(3) prime?
False
Let q(a) = -a**2 - 6*a - 1. Let n be q(-5). Suppose -2*y - 52 = -n*y. Is y a prime number?
False
Let d(v) = -2*v**3 - 3*v**2 + 4*v. Let i be d(-3). Is (-6)/(-15) - (-1329)/i a prime number?
True
Suppose 140 = 2*o + 34. Is o prime?
True
Let y(u) be the first derivative of u**4/4 + u**3/3 + 119*u + 1. Is y(0) composite?
True
Let a(u) = u**3 - 4*u**2 + 2*u - 4. Let w be a(4). Suppose 50 + 7 = 4*y - 5*j, -69 = -5*y + w*j. Is y a composite number?
False
Suppose -9 = -4*j - 1. Suppose -4*w + j*w + 62 = -4*f, 0 = -4*w + 12. Let k = 27 + f. Is k a composite number?
False
Let w = -4 + 12. Let k(l) = -1 + 2 - w*l + 2 - l**2. Is k(-6) composite?
True
Let r = -1 + 1. Let f(h) = h**3 - h**2 + 83. Is f(r) a prime number?
True
Let f(x) = -x - 6. Let t be f(-7). Let z = 18 + t. Is z prime?
True
Let c = -10 - -235. Suppose 0 = p + 5*d - 99, -3*p + c = -5*d + 8. Is p composite?
False
Let v(i) = -i**2 + 7*i + 7. Let h be v(8). Let r(n) = -3*n**2 + 7*n**2 + 8*n**2 - n. Is r(h) composite?
False
Let u(a) = 2*a**2. Let b be u(-1). Suppose b*o + 3*o - 469 = 4*q, 2*o - 2*q = 186. Is o a prime number?
True
Let m(c) = c**3 + 0*c**3 - 17*c + 4 + 4*c - 8*c**2 + 0. Is m(10) a composite number?
True
Suppose 4*s = 2*s - 66. Let f = 10 - s. Let m = -29 + f. Is m prime?
False
Let r(u) = u**3 - 7*u**2 + 6*u + 1. Let d be r(6). Is (d - -6 - 0)*11 prime?
False
Suppose -3415 = -7*u + 2*u. Is u prime?
True
Suppose -6*m = -4*m - 526. Is m prime?
True
Suppose 0 = -3*o - 9*o + 12972. Is o prime?
False
Let z(i) = -i**2 + 8*i + 2. Let d(t) = -8*t + 1. Let f be d(-1). Let g be (f/(-4))/(3/(-8)). Is z(g) composite?
True
Let k(d) = d**2 + 4*d + 2. Let w be k(-4). Let h be (-16)/w*(-2)/4. Is 2 + 106/(-2 + h) a prime number?
False
Is 3/(-2) - 4837/(-2) composite?
False
Suppose -5*p - 3 + 12 = -3*l, 4*l + 5*p = -47. Let y(w) = -w - 5*w - 6*w**2 - 2*w + w**3 + 14*w**2 - 11. Is y(l) prime?
True
Let z be 140*((-6)/(-4) + -1). Suppose 5*f - z = 70. Let y = f - 13. Is y a composite number?
True
Let t be 2 - 7/((-21)/60). Suppose t = 2*m - m. Is m a composite number?
True
Let x be (1/(-1))/(-1 + 0). Let b(c) = -1. Let d(g) = 2*g - 8. Let s(k) = x*b(k) - d(k). Is s(-6) prime?
True
Is (-2)/(-9) - 3455/(-45) composite?
True
Let d = 16 - -53. Is d composite?
True
Let v = 712 + -355. Let o = -143 + v. Suppose -2*w = -10, -4*w - o = -4*l - 6*w. Is l a prime number?
False
Let w(d) = -d**3 - 4*d**2 - d + 1. Let y be w(-4). Let f be 151/y + (-1)/5. Suppose h + f - 95 = 0. Is h a composite number?
True
Let d = 103 - -245. Suppose -2*v + 6*v - d = 0. Is v composite?
True
Let o(v) = 7*v + 6. Let g(q) = q + 1. Let k be g(-5). Let d be o(k). Is (-20 + -2)*d/4 a prime number?
False
Suppose -t + 6*t = 0. Suppose 4*d - 27 = d + 3*m, t = -d + 2*m + 13. Suppose d*c - 2*v - 105 = 0, -5*v = 3*c - 0*c - 32. Is c a prime number?
True
Suppose x = 2*c - 15, 0 = -x + 3*x + c + 10. Let o(k) = -k**3 - 8*k**2 - 10*k + 1. Is o(x) composite?
True
Suppose -3*w = 5*n + 26, -2*n = 2*w - 3*w - 5. Let i be (-25)/w - (-15)/35. Suppose k + 2*t = 91, -5*k - i*t + 434 = -t. Is k composite?
True
Let g(u) be the first derivative of u**4/4 + 10*u**3/3 - 11*u**2/2 + 11*u - 4. Is g(-10) composite?
True
Suppose 4*b = 17*b - 18941. Is b prime?
False
Let o(u) = -57*u - 2. Is o(-9) a composite number?
True
Is (4/6 - 0) + 37810/30 prime?
False
Let h(r) = -47*r + 3. Let w(a) = -753*a + 48. Let f(x) = -33*h(x) + 2*w(x). Is f(2) a prime number?
False
Is (-2030)/(-18) - (-16)/72 a prime number?
True
Suppose -15 = -c + 5. Suppose -c = -4*w + 2*l, -3*w + 2*w - l + 8 = 0. Is w a prime number?
False
Is (1 + -1575)*(-3)/6 composite?
False
Suppose 593 = -3*i - 2*v, 3*v + 2*v = i + 226. Let f = 360 + i. Is (f/12)/((-1)/(-4)) a composite number?
False
Let k = -689 + 1542. Is k prime?
True
Let j(o) be the third derivative of -o**2 - 1/24*o**4 + 0*o + 0 + 4/3*o**3. Is j(6) a composite number?
False
Let o = -248 - -598. Suppose s + z = 6*s - o, 2*s + 5*z = 167. Let b = s - -6. Is b prime?
False
Let o(v) = -2 - v**2 + 3 + 5*v + 5. Let j be o(5). Let i = 17 - j. Is i composite?
False
Suppose -y = 5*w - 1 - 11, -4*y = -2*w + 18. Suppose 0 = -w*f + f - 114. Is (-2 + 1)/(1/f) a composite number?
True
Is 2111/(-5 + 2 + 4) a prime number?
True
Let k = -226 + 353. Is k a composite number?
False
Let w be 14/(-6)*(-2 + -154). Let k = 527 - w. Is k a prime number?
True
Suppose u - 138 = -z, 6*u - 143 = 5*u + 4*z. Is u prime?
True
Let u = -5 - -10. Let p = -1 + 4. Suppose -5*q = u*g - 2*g - 370, -139 = -2*q - p*g. Is q prime?
False
Suppose -5*j + 89 = 4*i, 4*i = 2*j - 16 + 98. Is 14/i*27/2 a prime number?
False
Suppose -6 = 6*z - 4*z. Let y(w) = w**2 - w - 2. Is y(z) prime?
False
Let x be (-39)/(-12) - 2/8. Suppose x*t - 2 - 16 = 0. Let f = t + 107. Is f composite?
False
Let w(i) = 4*i**3 + 2*i**2 - i. Let p be w(1). Suppose 0 = -p*f - 0*f + 385. Is f a prime number?
False
Let v(i) be the third derivative of 31*i**4/8 - 11*i**3/6 + 6*i**2. Is v(6) composite?
False
Suppose 0 = -3*p + 5*u + 931, 0*p - 604 = -2*p - 5*u. Is p prime?
True
Suppose 0 = -3*y + 6*y - 3639. Is y composite?
False
Let l = 154 - 95. Is l prime?
True
Let o be (-2)/12 + (-43)/(-6). Is (-2 - -259)*(o + -6) composite?
False
Let j(n) = n**2 - 9*n + 1. Let z be j(15). Let s = 178 - z. Is s a prime number?
False
Suppose a + 425 + 65 = 5*d, -189 = -2*d - a. Is d prime?
True
Let p(n) = -89*n - 1. Let v be p(-4). Let z = -234 + v. Let w = z + -82. Is w a prime number?
False
Let k(x) = -x + 2*x + 10 + 1. Let p be (-3)/9 + (-75)/(-9). Is k(p) a prime number?
True
Suppose -2 = -2*n, 0 = 4*s + 2*n - 148 + 14. Is s a prime number?
False
Suppose 4*o + j = 16, -o + j + 10 = 1. Let r = -4 - -8. Suppose o*y = -t + 40, 0 = -t + r*t + 2*y - 107. Is t a prime number?
False
Let a(r) = 2*r**3 - 5*r**2 - 3. Is a(5) prime?
False
Is 1 + ((-1936)/(-12) - 0)*3 prime?
False
Let o = -2 + 2. Suppose -4*f + 572 = -o*f. Is f a prime number?
False
Is -1 + 3 + 476 + 1 composite?
False
Let h = -317 + 13. Let t = h - -553. Suppose k - 168 = -2*m, -2*m = m + 3*k - t. Is m composite?
True
Le