, -c + b = 3*p - 2*c. Is p a composite number?
True
Let h = -271 + -6. Let v = h - -500. Is v prime?
True
Let m = 5 + -2. Suppose -2*n - 5 = m, -3*r = 4*n - 101. Is r composite?
True
Is ((-6735)/(-45))/(1/3) a prime number?
True
Suppose 3*b - 9 = -45. Let t be (-1)/(b/(-15) - 1). Let c = -1 + t. Is c a prime number?
False
Suppose 8 - 10 = -2*h. Let q(x) = 566*x**2 - 2*x + 1. Is q(h) prime?
False
Suppose 3*y - 2*y - 233 = 5*g, -5*g + 466 = 2*y. Is y a composite number?
False
Let f(d) = -3*d + d - 8 - 1. Let i be f(-6). Suppose 0 = 4*p + i*z - 67, -z + 92 = p + 4*p. Is p a prime number?
True
Let d(h) = 2*h**2 + 1. Let v(u) = u**3 + 8*u**2 + 7*u - 1. Let g be v(-7). Let t be d(g). Suppose -2*o - 2*k + 2 = -4*o, -o = -t*k + 9. Is o a composite number?
False
Suppose -4*o - 117 = -5*j, -6*j + 18 = -o - j. Let x = 53 + o. Suppose -3*w + 37 + x = 0. Is w a composite number?
False
Suppose j = 3*j + 4*p - 8, 4*j - 4*p + 8 = 0. Suppose 0 = -j*a + 4*a - 1360. Suppose o + 3*o = a. Is o a composite number?
True
Let r(w) = w**2 + 10. Suppose 22 = -h + 5*s, 3*h + s + 25 = -h. Is r(h) prime?
True
Suppose 3*u = d + 10, -3*u + 3*d + 6 = -0*d. Suppose 0 = 4*n + 20, 4*n = x - 279 + 74. Suppose x = u*m + m. Is m a composite number?
False
Let x(i) = -i**3 - 7*i**2 - i + 2. Let c be x(-7). Let j = -15 + c. Is j/(-4) + (-590)/(-4) composite?
False
Suppose o + 2*y = 439, -5*y - 20 = -0. Is o composite?
True
Let h(i) = 22*i**2 + 9*i - 6. Is h(5) prime?
False
Let u = -165 + 272. Suppose -4*x = -u + 23. Is x prime?
False
Let o = 7 + -8. Is 88 + 2*o/(-2) composite?
False
Suppose 11*u - 110990 = 6*u. Is (1/2)/(11/u) a prime number?
True
Let m be (-106)/(-6) + (-2)/(-6). Suppose 10 = -4*d - m. Let l(t) = -t**3 - 4*t**2 + 6*t + 8. Is l(d) a prime number?
True
Let g(z) = -15*z**3 - 3*z**2 - 2*z + 1. Let m be 12/(-9)*6/(-4). Suppose -a = -m*f - 0*a, 4*f + 4*a = -24. Is g(f) a prime number?
True
Let x = 21 - 16. Suppose -x = -4*p - 1, -3*a = 2*p - 209. Is a prime?
False
Let b(h) = -11*h**3 - 3*h**2 - 7*h - 1. Is b(-2) a composite number?
False
Let g(k) = -133*k**3 - k**2 - 3. Is g(-2) composite?
True
Let h = -10 - 2. Is (-4)/(-6) + (-400)/h prime?
False
Let m = 12 - 38. Suppose -4*s + 5 + 143 = 0. Let t = m + s. Is t composite?
False
Suppose -5*m - 20 + 0 = 0. Let y(q) = -q**3 - 3*q**2 - q - 1. Is y(m) prime?
True
Let a(y) = y**3 - 5*y**2 - 8*y + 6. Let z be a(5). Let w = 95 - -34. Let d = z + w. Is d a composite number?
True
Let u(y) = -30*y - 19. Let k(a) = -45*a - 28. Let z(j) = 5*k(j) - 7*u(j). Is z(-14) composite?
True
Suppose 0*u = -3*u - 27. Is 44/(-3)*u/6 a composite number?
True
Let v be 8 + -1 + 12/(-4). Let p = 7 - v. Suppose -p*k = -6*k + 261. Is k a composite number?
True
Suppose 5*l - 2*o = 3, -2*l + 3*o = -13 + 3. Let b be (-101)/(-3) - l/3. Suppose -m = -0*m - b. Is m a prime number?
False
Suppose -7*c - 1968 = -6385. Is c prime?
True
Suppose -2*v = -4755 + 1225. Is v a prime number?
False
Is (-6)/9*(-253950)/20 prime?
False
Suppose 0*q = 4*q - 4*r - 16, 0 = -q + 2*r + 6. Is 3/(-6) + 111/q a composite number?
True
Let z(j) = -j - 7. Let c be -7 - 0/(-1 + 3). Let f be z(c). Is f - (-55)/1 - 0 prime?
False
Let o(r) = -2*r + 1. Let x be o(-1). Suppose -5*l + 332 = -3*w, 0 = -x*l + w + w + 199. Is l prime?
True
Suppose -345 = 2*o - 7*o. Suppose l + 65 = -o. Let k = -55 - l. Is k a composite number?
False
Let i(z) = 37*z**2 + z - 1. Is i(1) a composite number?
False
Suppose 0 = r - 0*r - 2. Let h(a) = a**2 - a. Let x be h(r). Suppose 3*y - x*y - 79 = 0. Is y composite?
False
Suppose 0 = -3*r - 2*r. Is (-3 - -500)*(r + 1) composite?
True
Let g = 21 + -13. Let z be (-1)/(-2)*(g - 6). Is (-3)/z + 56/1 a composite number?
False
Suppose -3 = -4*l - 15. Is (0 + l)/((-12)/16) composite?
True
Let r = 47 + -32. Let i = r - 11. Suppose 3*c = 5*c + i, -3*z + 95 = -c. Is z a composite number?
False
Let w(t) be the second derivative of -t**5/20 - t**4/2 + t**3 - t**2/2 + 2*t. Is w(-8) a prime number?
True
Let j(o) = 98*o - 57. Is j(14) a composite number?
True
Is (12 - 1)*(-11 + 160) a composite number?
True
Let w = 201 + -136. Is w prime?
False
Let y = 7 - 2. Suppose -494 = -4*c - b + 50, y*c - 669 = -4*b. Suppose 2*l = -2*q + 76, -c = -l - 3*l + q. Is l a composite number?
True
Let s be (-9)/(-15) + 274/10. Is 4/(-14) - (-2556)/s a composite number?
True
Let d be (-36)/(-30)*20/6. Suppose d*q + 1 = 3*z, 4*z + 10 = -5*q + 32. Suppose 0 = -4*u + 22 - 6, q*y - 5*u = 174. Is y composite?
False
Let g = -11 - -15. Let i(p) = 96*p**3 - 3*p**2 + 2*p - 5. Let c be i(g). Is c/33 + (-2)/(-11) a prime number?
False
Suppose 0*s = -4*s + 1012. Is s composite?
True
Suppose -5*j - 5*h + 0*h = -15, 2 = 2*h. Suppose d = j*d - 83. Is d composite?
False
Suppose -h - 362 = -2*h + 3*g, 5*h = 3*g + 1762. Let l = h + 121. Is l composite?
True
Suppose -3*p = 4*z, 5*p - 2*p = 2*z - 18. Suppose z*o - 5*o = 0. Suppose 345 = 3*t - o*t. Is t prime?
False
Is (3 + -2)*-1*-203 a prime number?
False
Let w(y) = -5*y - 1. Let b be w(1). Suppose -4*a + 4*u + 12 = 0, -4*a - 1 = -3*u - 8. Is (75/b)/(a/4) composite?
True
Let d = 11 + -15. Is d/(-8)*84/2 a prime number?
False
Let y = -78 + 26. Let v be -2 - y - -1*2. Let i = -17 + v. Is i prime?
False
Let p = 8 + -10. Let x be (-3)/(9/2)*-237. Is -2 + (p - -3) + x composite?
False
Let i(o) = -o**2 + 3*o - 2. Let m be i(2). Let u be 278 - m*2/(-4). Is -3 - (-2 + u)/(-3) prime?
True
Let u(g) = -g**2 + 14*g - 1. Let d be u(6). Let v = d - 22. Is v composite?
True
Let x = -3 + 3. Suppose 3*r + 2*r - 15 = x. Suppose 0*m = r*m - 273. Is m a prime number?
False
Suppose 0 = c + 3*c + 4*o - 11448, -3*c - o + 8596 = 0. Is c composite?
True
Let s be (-4)/8 - 2/(-4). Suppose s = 2*g + 3*g - 5. Let y(z) = 90*z**3 - 2*z + 1. Is y(g) prime?
True
Is (-156)/8*14/(-3) a prime number?
False
Suppose -2*d + 5*n + 5469 = 2*d, 0 = -5*d - 5*n + 6780. Is d prime?
True
Let k = -6 - -10. Is k/(-22) - 871/(-11) a prime number?
True
Let j be -674*(-3 + (-10)/(-4)). Let z = 528 - j. Is z prime?
True
Suppose 5*t = -r - 207, 2*r = -3*t - 2*r - 114. Is t/4*(-4)/6 a prime number?
True
Suppose -u + 0 = 2. Let k(q) = 2*q**3 - 5*q**2 - 17*q - 3. Let o(b) = -b**3 + 2*b**2 + 6*b + 1. Let a(h) = 4*k(h) + 11*o(h). Is a(u) prime?
False
Let s(b) = 22*b - 1. Let q(t) = 88*t - 5. Let u(k) = 2*q(k) - 9*s(k). Let h be 0/1 + (-2 - -1). Is u(h) a composite number?
True
Suppose -3*q - 2120 = -11*q. Is q prime?
False
Let r be 74*(1 + 1)/2. Let s(q) = q**2 + 2*q - 1. Let g be s(-2). Is 1*g*r/(-2) prime?
True
Is 4072/10 + 3/(30/(-2)) a prime number?
False
Let o(g) = g**2 - 2*g - 7. Let v be o(-5). Suppose -r - r = -v. Is r composite?
True
Let u = 4 + -3. Is (u - 2)*159/(-3) a prime number?
True
Is 35/(-5)*(0 - -1)*-587 prime?
False
Let n = -9 - -13. Suppose -404 + 88 = -n*r. Is r a composite number?
False
Is 12/16 + (-9713)/(-4) composite?
True
Suppose 36 = -5*b + 306. Let t = b + -21. Is t a prime number?
False
Let b = -12 + 17. Suppose 49 = 5*l - b*n + 3*n, 8 = l - n. Is l composite?
False
Let o(l) = -l**3 + 10*l**2 - 7*l - 11. Let f be o(9). Let y(i) = 2*i**2 + 3*i + 2. Is y(f) a composite number?
True
Let x be -12 - 3*(-8)/12. Is (447/6)/((-1)/x) a composite number?
True
Let i(m) = m**3 + 6*m**2 - 7*m - 3. Is i(-5) a composite number?
True
Let w = -22 - -26. Is 6/w - (-502)/4 composite?
False
Is -8 + 7 + (-3 - 1905)*-1 prime?
True
Suppose 0 = -3*x + 735 + 1332. Is x composite?
True
Let n(g) = 7*g**2 + 20*g - 14. Is n(25) prime?
True
Suppose -15 = -2*k - 3*k. Suppose k*p - 84 = -0*p. Suppose 2*f - x - p = 0, -4*f - 2*x + 3*x = -56. Is f composite?
True
Suppose 0 = 5*s - 10*s + 4435. Is s composite?
False
Let m(z) = -57*z**3 - 3*z**2 - 5*z - 13. Is m(-4) prime?
True
Suppose f + 382 = -258. Let l = -173 - f. Is l a composite number?
False
Let t = 144 + 154. Is t composite?
True
Suppose s = 3*s + 1374. Is (-2)/(-7) - s/21 composite?
True
Suppose 0 = -0*j - 4*j. Suppose 5*v - 56 + 1 = j. Is v composite?
False
Let a(y) be the first derivative of -12*y**2 + 2*y - 1. Suppose 0*m = 4*t - m + 12, -12 = 4*t + 5*m. Is a(t) a prime number?
False
Let w(r) = r**3 + 8*r**2 + r + 8. Let b be w(-8). Is b + (334 + -1)/3 a composite number?
True
Suppose 0 = 2*f - h + 18, -30 - 15 = 5*f + 5*h. Let a = -6 - f. Suppose a*c = -0*t - 2*