True
Let d(y) = y**2 - 5*y + 4. Let r(p) = p**2 + 4*p - 4. Let c be r(-6). Let a be d(c). Suppose 5*f + v - 31 = 2*v, 5*f = -2*v + a. Is f a composite number?
True
Suppose -255 + 70 = -m. Suppose 389 + m = 2*h. Is h a composite number?
True
Let t(o) = -o**2 + 26*o - 16. Let m = 16 + -5. Is t(m) a composite number?
False
Let v be ((-2)/(-4))/((-2)/36). Suppose -176 = 10*h - 14*h. Let f = h - v. Is f prime?
True
Let w be 3303/81 - (-2)/9. Suppose 2*r + b + w = 3*r, 160 = 4*r - 3*b. Is r a prime number?
True
Let b(m) = m**2 - 6*m - 4. Is b(9) prime?
True
Let n be (-5)/(10/(-4)) + 38. Suppose -5*c + w = -59, -4*w = 2*c + c - n. Is (11/2)/(2/c) a composite number?
True
Suppose -6 = -2*k, i - 60 = -4*k + 204. Let w = i - 109. Is w prime?
False
Suppose -6*b + 424 = -722. Is b composite?
False
Let m(g) = -g + 3. Let n be m(0). Suppose 7*p - 2*k - 106 = n*p, -4*p + 109 = -3*k. Is p a composite number?
True
Let q = 920 + -291. Is q composite?
True
Suppose -5*a + 5*v = -2080, -v = 4*a - 1677 + 28. Is a prime?
False
Let s(d) = d**3 - 3*d**2 + 2*d - 1. Let x be s(3). Suppose -x*y = -2*t - 400, -3*y = y - 3*t - 313. Is y composite?
True
Suppose -7*q + 8340 = -4505. Is q a prime number?
False
Suppose 6*b - 4*b = -42. Suppose -7*z + 41 = c - 2*z, -2*c - 3*z = -103. Let n = b + c. Is n prime?
False
Suppose 2*l = -3*p - 0*p + 86, 0 = -4*l + 5*p + 128. Is l prime?
True
Let f be (2/4)/((-1)/(-2)). Suppose -2*k + 1 + f = 0. Let u(t) = 92*t - 1. Is u(k) a composite number?
True
Let s(r) be the first derivative of 35*r**3/3 - r**2 - r + 1. Suppose 5 = -5*f, -5*w - 2*f - 17 = -5. Is s(w) a composite number?
True
Let h = 5 - 8. Is (-7 - h) + 17/1 a composite number?
False
Let m(o) = 0*o**3 + o**3 + 7 - o + 0*o. Let v be m(0). Suppose -r + v + 12 = 0. Is r a prime number?
True
Let p(u) = 2*u**2 + 0*u - u**2 - 5 - u - 2*u. Is p(-6) prime?
False
Suppose 0 = 3*q - 4*d + 8, 5*d - 5 = -2*q + 5. Suppose 2*p - t = -q*p + 36, -p + 25 = 3*t. Is p a prime number?
True
Let h(r) = 7*r - 1. Suppose -3*a + 23 - 8 = 3*y, -4*y + 20 = 5*a. Suppose 15 = 5*d + y. Is h(d) a prime number?
True
Let d(u) = -u**3 + u. Let b be d(0). Let a(m) = -4*m + 28. Let x(f) = 5*f - 27. Let h(w) = 6*a(w) + 5*x(w). Is h(b) a composite number?
True
Let i be 42/5*420/(-9). Let m = i - -583. Is m composite?
False
Let v be (18/(-15))/(1/5). Let w(i) = -1. Let u(b) = 2*b**2 + 7*b + 9. Let q(z) = u(z) + 6*w(z). Is q(v) prime?
False
Suppose 0 = -4*w + 50 + 226. Is w a prime number?
False
Let y(x) = x**2 + 7*x - 7. Let b = -9 + 15. Suppose -2*j + b = 24. Is y(j) a prime number?
True
Let c(z) = 78*z + 1. Let a be 3*4/6*1. Is c(a) a composite number?
False
Let g(o) = 2*o + 1. Let z be g(1). Let t be z/18 - (-17)/6. Is 1/((-3)/(t*-59)) a prime number?
True
Suppose 0 = -2*y + 13 + 405. Let d = y - -92. Is d a composite number?
True
Suppose -3*j + 67 = -5*o, -3*j + 5*o + 95 = 2*j. Suppose -15 = -5*k, 3*k - j = -h + 26. Is h a composite number?
False
Is 2 + -3 + (191 - -1) prime?
True
Is 673/2 + 2/4*1 a composite number?
False
Suppose -82 - 1 = -b. Is b a composite number?
False
Suppose -57 = q + 6. Let j = q + 140. Is j a prime number?
False
Let a(g) = -g**3 - 2*g**2 - 3*g. Let r be a(-3). Suppose -7*z = 3*z + 120. Let o = z + r. Is o prime?
False
Suppose -2*q - 3*q = -40. Suppose -q*r + 4*r = -24. Is r a prime number?
False
Let k = -6 + 8. Suppose 4*w = -m + 4*m + 197, 79 = k*w + 5*m. Is w a composite number?
False
Suppose 2*l + 4*x = 4*l - 1714, -1717 = -2*l + 3*x. Is l prime?
True
Suppose 856 = 5*x - 3*f, 3*x - 508 = -0*f - f. Let o = -85 + x. Is o a composite number?
True
Is (-4946)/3*18/(-12) composite?
False
Suppose -2*d + 7*d - 25 = 5*b, -5 = -2*d + b. Suppose d = -x - 2*x - 102. Let j = -20 - x. Is j a prime number?
False
Let x(q) = -4*q**3 - q**2 + 11*q + 7. Is x(-4) a composite number?
True
Let z = -1169 + 2076. Is z composite?
False
Let p(t) = -4*t**3 + 7*t**2 + 9*t - 1. Is p(-6) a prime number?
True
Let n(d) = -223*d. Let u(m) = -m**3 + 2*m - 1. Let i be u(1). Let l be -1*(-3)/(-3) - i. Is n(l) a prime number?
True
Let i = -1 + 6. Suppose -5*r - 5*m = -545, -i*m + 2*m = -r + 125. Is r a prime number?
True
Suppose 4*y + l = 6*l + 45, -5*l + 35 = 4*y. Let q be 20/8*(-8)/y. Is ((-9)/(-3) + q)*145 a composite number?
True
Let d = -756 + 1067. Is d composite?
False
Is 8/(-36) - (-2 + 3179/(-9)) a prime number?
False
Let o(b) = 19*b**2 + 13*b + 15. Is o(-9) composite?
True
Is (6/4)/(1/46) prime?
False
Let v be (0 + 2)*(-2)/(-4). Suppose -r + 3 = -4*r, -b + 4*r = -3. Is ((-22)/v)/(2/b) a prime number?
True
Let b be 51 + -1 - (-2 - -5). Let p(d) = -3 + 2 + 14*d + b*d. Is p(2) a composite number?
True
Let q = 411 + 130. Is q a prime number?
True
Let j be 185*(-5)/((-10)/4). Suppose -j = -5*g - 0*g. Is g prime?
False
Is ((-2)/(-4))/(13083/3270 + -4) a prime number?
False
Let z = -10 - -10. Is 251 - z/(2*-2) prime?
True
Let n(l) = -l + 9. Let y be n(9). Suppose d - u - 156 = y, 2*d - 5*u + 68 - 371 = 0. Is d composite?
True
Let c = -135 - -284. Is c prime?
True
Let y = 1604 - 927. Is y a composite number?
False
Suppose -2*k + 2 = -3*p, 0 = -5*k + 4*p + 3 + 16. Suppose z = 4*a + 18, -z + 18 = k*a - 4*a. Suppose 96 = 2*m + z. Is m a prime number?
False
Let g(m) = 118*m**2 + m + 10. Is g(-3) a prime number?
True
Suppose 73 = 4*h - 5*r, 0*h = -4*h - 5*r + 23. Is (-583)/(-6) - 2/h composite?
False
Let x = -244 + 403. Is x composite?
True
Is 2*(645/6 - -1) a prime number?
False
Suppose 2104 + 3365 = 3*x. Is x a composite number?
False
Is (6 + -3 - 140)*-2 prime?
False
Let f(q) = 8*q - 11. Let a be f(10). Let d = -24 - -60. Let l = a - d. Is l prime?
False
Suppose -t = -7 + 2. Suppose 172 = t*f - 3*o - 96, -5*o - 58 = -f. Is f a composite number?
False
Suppose -4*o + 1 = -3*a, -a + 3*o - 5 = -3*a. Let h(y) = y. Let g(v) = 8*v**2 + 4*v - 1. Let f(w) = a*g(w) - 2*h(w). Is f(2) a composite number?
True
Suppose 2*s = 7 - 23. Is 4/(s/(-5))*26 composite?
True
Is 59/((-3)/(3 + -36)) a prime number?
False
Let o(a) = -a**3 + 6*a**2 + 1. Suppose 0 = -t + 4. Let g = 9 - t. Is o(g) prime?
False
Suppose 7*d - 2356 = 3*d. Suppose 3*j = 2*b - 307, 5*b + 3*j = 231 + d. Is b a prime number?
False
Is ((-1758)/5)/((-12)/30) a prime number?
False
Is (-4)/(-26) - (-255671)/169 composite?
True
Suppose 23 - 71 = -2*r. Suppose -3*g + 319 = 4*a, -a - g - r = -104. Is a a prime number?
True
Suppose 0*i - 3*i = -1437. Is i a prime number?
True
Let v be (-520)/(-100) + 2/(-10). Let x(d) = 4*d + d + d**2 - 5 + 2*d. Is x(v) prime?
False
Let b(w) be the second derivative of w**4/4 - w**3/3 - w**2/2 + 2*w. Is b(-2) composite?
True
Let w = 5214 - 3609. Suppose -2*n = 3*n + 25, 0 = 3*i - 3*n - w. Suppose 0 = -0*c - 2*c + i. Is c composite?
True
Let u(i) be the third derivative of -i**4/8 + 3*i**3/2 + 5*i**2. Is u(-8) a composite number?
True
Suppose -3*z + 1113 = -384. Is z a prime number?
True
Let y = 155 - -108. Is y a prime number?
True
Suppose -18 = -j + 4*j. Let t = j - -7. Is 2 + 16 + (4 - t) a composite number?
True
Let v(r) = -r**2 + 4*r - 1. Let a be v(3). Suppose 0 = -5*i + 20, -4*i + 147 = a*p + 45. Is p prime?
True
Let k(c) be the second derivative of -13*c**6/360 - c**5/120 - c**4/3 + c. Let m(u) be the third derivative of k(u). Is m(-1) a composite number?
True
Let r(n) = 5*n**2 + 2*n - 9. Suppose -2*j + 6 = -2. Is r(j) a prime number?
True
Suppose -4*y - 3*d - 23 = 0, -4*d + 0 = -3*y - 11. Let g = y - -5. Suppose 4*i - 2*i - 158 = g. Is i a prime number?
True
Suppose 0*n - 304 = -5*l + 3*n, 0 = 4*l + n - 233. Is l composite?
False
Let a(z) = -z**3 + 6. Let f be a(0). Let y(w) = -5*w + 16. Let v(j) = j - 1. Let u(l) = f*v(l) + y(l). Is u(-7) prime?
True
Let q = 3643 + -644. Is q composite?
False
Suppose 3*k - 1 = 2. Let a be ((-20)/k)/((-8)/20). Suppose a = v - 0*v - 5*d, 0 = v - 4*d - 51. Is v a prime number?
False
Let r = -5 + 3. Let j(p) = 4*p**2 + 2*p - 2. Is j(r) a prime number?
False
Let q(f) = 11*f**3 - f**2 + 3. Let t be (3/(-12))/((-3)/24). Is q(t) prime?
False
Suppose -m - k = 1, 2*k = m - 0*k + 16. Let s be 2*(2 + m/4). Is -3*s/(-2)*22 prime?
False
Let v(a) = 2*a**2 - 19*a + 13. Is v(14) prime?
True
Let r = -7 - 0. Let p = r - -12. Let i(o) = -o**3 + 6*o**2 - 6. Is i(p) composite?
False
Is (6/9)/(1 + (-787)/789) composite?
Fals