3*c**2 + 2*c + 6. Suppose u + 4 = -5*r + 2*u, 4*r + 5*u = 20. Let d = 7 - r. Is y(d) prime?
False
Is ((-667730)/(-350))/(3*3/225) composite?
True
Let s = -64 - -68. Suppose -75 = -0*z - s*z - 5*m, 2*m + 39 = 3*z. Is z a composite number?
True
Let h(o) = 193*o - 189. Is h(34) a composite number?
False
Suppose 2*o + 26 = -16. Is 7/(o/138)*33/(-6) composite?
True
Let o = 775 - 523. Suppose 3 = -3*i + o. Is i prime?
True
Let a be 4/(-4) - (-1 - 5). Suppose f - 6 - 2 = -a*p, 0 = 3*f + 4*p - 13. Suppose -f*w + 2*w + g = -69, g = -4. Is w a prime number?
False
Is -5 + -38118*(-4)/4 prime?
True
Let n(x) = -x**3 - 6*x**2 + 6*x - 20. Let o be n(-10). Suppose -o + 61 = -k. Is k a composite number?
True
Suppose 4*z - 3*q = -7, 3*q - 11 = 2*z + 3*z. Let i be z/18 + (-76)/(-18). Suppose -v - i*v + 395 = 0. Is v a prime number?
True
Let w(y) = -y + 13. Let b be w(9). Suppose f - 2815 = -x - f, -b*f = -x + 2827. Is x composite?
False
Let p(m) = m - 4. Let h be p(3). Let x be -82*(-25)/2 - h. Let q = x + -581. Is q a composite number?
True
Let m(h) = 9*h**2 + h - 3. Let n = 14 + -4. Suppose 5*q = 2*b - 39, -q + 5*b - n = 7. Is m(q) composite?
False
Let o = 19 + -37. Is (-3)/o + 1527/18 composite?
True
Let p(l) = 1071*l - 3. Let s be p(3). Let v = 4987 - s. Is v composite?
False
Let u(y) = -3*y + 176. Is u(-29) a composite number?
False
Suppose -5*d - 4*s = -12385, 3*d = 2*s + 1955 + 5454. Is d a prime number?
True
Let f be (-4)/(-3)*(2 + -11). Let u be 9/f - 51/(-4). Let y(q) = q**2 - 8*q - 11. Is y(u) a prime number?
True
Let q(o) be the first derivative of -475*o**4/4 + o**3/3 + o**2/2 + 4. Let g be q(-2). Suppose 0 = 5*t - g - 2473. Is t composite?
True
Let u be (12/(-4) + 0)*-1. Suppose j = -i - 5 + 1, u*j + 18 = 3*i. Is (i + (-8)/12)*669 a prime number?
True
Let p = -1209 + 5446. Is p composite?
True
Let y(j) = j**2 - 2*j + 5. Let v be y(0). Suppose -3*z = v*k - 679, 0*z = 5*z + 3*k - 1121. Is z a prime number?
True
Let g = -123 - -174. Let p(r) = r**3 - 2*r**2 - 2*r - 1. Let s be p(3). Let q = s + g. Is q a composite number?
False
Suppose -4*b + 1441 - 130 = 5*r, 5*b = -3*r + 1642. Suppose 7*t - b = -0*t. Is t a prime number?
True
Let s = -4 - -22. Let k(y) = y**3 - 19*y**2 + 20*y - 15. Is k(s) a prime number?
False
Suppose -9*m = -5*n - 14*m + 24940, -3*m = -5*n + 24916. Is n a composite number?
True
Let f be 10/6 - (-12)/9. Let o be 1/(f + 56/(-20)). Suppose -102 = o*u - 2807. Is u composite?
False
Suppose -15*n + 2*n - 16887 = 0. Suppose 2*d + d + 2004 = 0. Let c = d - n. Is c prime?
True
Let l(g) = 8*g**3 - 6*g**2 + 19*g - 2. Is l(3) composite?
True
Suppose 25*r - 28*r + 12 = 0. Suppose r*n - 624 = 4*b, -n + b = n - 315. Is n a composite number?
True
Let d(n) = n**3 - 11*n**2 - 2*n + 8. Let s be d(11). Let t = s + 17. Is (-662)/(-12) + t/(-18) composite?
True
Let g(p) = -2*p**3 - 4*p**2 + 77*p + 17. Is g(-14) composite?
False
Let d = 10271 + -6994. Is d prime?
False
Let k(s) = s**3 - 6 - 2 - 6 + s + 3 - 11*s**2. Let w be k(11). Is (23 - 5) + w + 4 prime?
False
Let t(m) = 1148*m - 133. Is t(12) composite?
True
Let p(t) = t**3 + 11*t**2 + 11*t + 10. Let b be p(-10). Let a(k) = -k + 3. Let o be a(b). Suppose c - i - 56 = 4*i, o*i = -2*c + 47. Is c a prime number?
True
Suppose 0 = 3*s - 2*n - 13191, 3*n - 4576 = -s - 179. Is s a composite number?
False
Let h(k) = 2768*k**2 - 2*k + 1. Let t = -65 - -66. Is h(t) prime?
True
Let v(c) = c**2 + 79*c - 29. Is v(39) prime?
False
Let o(b) = 146*b - 3. Let s(p) = 1. Let g(c) = o(c) - 2*s(c). Let a be g(3). Suppose -4*z + a = -163. Is z prime?
True
Is 1274 + -4 + 4 + 3 prime?
True
Let s(d) = -38*d + 3 - 13*d + 8. Is s(-8) prime?
True
Suppose 3*v = -31*s + 27*s + 2003, 5*v + 4*s - 3341 = 0. Is v a prime number?
False
Let t(n) = 11 + 25*n - 28*n - 30*n - 43*n. Is t(-15) composite?
False
Suppose -5*i - 6*j = -8*j - 10897, 0 = 3*i - 2*j - 6539. Is i composite?
False
Let k(g) = -g**2 + 18*g + 4. Let s be k(18). Suppose 0 = -s*v + 4, -o + v + 582 = -0*o. Let p = -188 + o. Is p composite?
True
Suppose 4*k = 2*k + 126. Let s(z) = 42*z**3 - 2*z**2 - 2*z - 2. Let r be s(-1). Let q = k + r. Is q a composite number?
False
Let f(o) = -o - 4. Suppose 0 = z + 3*z - 4*c + 24, 0 = 5*c + 15. Let g be f(z). Suppose -g*j - 374 = -4*m - 101, 0 = -2*m + j + 129. Is m composite?
True
Suppose -3*i - 3*m = -2*m + 48, -2*i - 22 = 4*m. Let y = i + 60. Is y composite?
False
Suppose 2*b + 3889 = -4067. Let s = -2807 - b. Is s a composite number?
False
Let g be -4 - -3 - -15 - -2. Suppose g - 1 = 5*d. Suppose -5*i + 158 = k, -k - 46 - 44 = -d*i. Is i composite?
False
Let r = -94 + 508. Suppose -u + 267 = 2*k + k, -5*k + 530 = 2*u. Let s = r - u. Is s a prime number?
False
Suppose 5*a - 5906 = 31139. Is a a prime number?
False
Let b = 22390 - 14127. Is b a prime number?
True
Suppose 0 = -22*v + 47*v - 416725. Is v a prime number?
False
Let x(l) = l + 21. Let j be x(-15). Let m = -3 + j. Suppose -t + m*d + 219 = -d, d = -2. Is t prime?
True
Let l(o) be the second derivative of o**4/12 + 5*o**3/3 + 3*o**2/2 - o. Suppose -2*p - 44 = 2*p. Is l(p) a prime number?
False
Let u = -54 - -38. Let n = 451 - u. Is n a prime number?
True
Let w = 102 + -102. Suppose -2*v - 3*c + 110 = w, 0 = -9*c + 11*c + 4. Is v a prime number?
False
Suppose 3*x = -4*o + 12417, 5*x - 5*o + 2*o - 20666 = 0. Suppose 4*q - x = 2485. Suppose -5*a = -5*y - q, -2*a + 6*y = y - 662. Is a composite?
False
Let s(n) = -n - 3. Let v be s(-8). Suppose v*y - 314 = 871. Is y composite?
True
Let b = -110 + 111. Let s(u) = 253*u**3 + u - 1. Is s(b) composite?
True
Let p(o) = -7*o**2 + 4*o - 12. Let g be p(-5). Let v = -22 - 96. Let m = v - g. Is m prime?
True
Let n(m) be the first derivative of -13*m**4/4 + 2*m**3/3 + m - 11. Let v be n(4). Let j = v - -1352. Is j composite?
True
Suppose -5*j = -939 - 311. Let y = 399 - j. Is y prime?
True
Let h(n) = -n**2 - n + 86. Let a be h(0). Suppose 48 = 2*k - a. Is k composite?
False
Suppose -m = 4 - 0. Let q(l) be the first derivative of -3*l**4/4 + 2*l**3/3 + 5*l**2/2 - l - 54. Is q(m) composite?
True
Let g(w) = -w**3 + 2*w**2 - 20. Let d be g(-14). Is 4*(3 + (-1 - d/(-16))) a composite number?
False
Let y(f) = -f**3 + 3*f**2 - 4*f + 15. Let i = 48 + -56. Is y(i) prime?
True
Let i(p) = 4*p**2 + 11*p + 34. Let q = 49 - 36. Is i(q) a prime number?
True
Suppose -2*n + 839 = f - 0*f, -4*f = -3*n - 3345. Let c = -86 + f. Is c composite?
False
Suppose -4*c + 2633 = -5*z, -3*z + 8 = -1. Is c composite?
True
Suppose 66 + 108 = 6*p. Suppose -33*d + 12868 = -p*d. Is d a prime number?
True
Let s = 1310 + 2335. Suppose -l - 3*o + s = -o, -3617 = -l + 5*o. Is l composite?
False
Suppose -7*f = -3*f + 8. Let t be 276/f + -1 + 1. Let n = -43 - t. Is n a composite number?
True
Suppose -5 = 5*l - 6*l. Suppose -214 = l*g - 2844. Suppose 10*s = 8*s + g. Is s a composite number?
False
Let o = -1922 - 501. Let z be (-1)/2 + o/(-2). Suppose -z = -3*h + 448. Is h a composite number?
True
Suppose 4*z + y + y - 6288 = 0, 0 = 4*y - 8. Is z a composite number?
False
Let l(t) = 15*t + 225. Let q be l(-15). Let x = -1 - -4. Suppose q = -x*k + 4*m + 1011, m + m + 1348 = 4*k. Is k a prime number?
True
Let s = 202 + -5. Let a = s + 256. Let c = a - 304. Is c prime?
True
Is 4130/2 + (6 - 9) composite?
True
Let v be (5 + (-2 - 3))/(-1 - 0). Suppose 7308 = 2*j + 4*m + 2090, 2*m = v. Is j a prime number?
True
Suppose 42357 = -q + 22*q. Is q composite?
False
Suppose 2*x - 5*w - 16282 = 0, 6*x + 3*w + 32564 = 10*x. Is x a composite number?
True
Let a(r) = -r**2 - 9*r - 4. Let w be a(-7). Let c be (-42)/10 + 2/w. Is ((-327)/(-6))/((-2)/c) a composite number?
False
Let r(g) = g**3 - 10*g**2 + 8*g + 12. Let k be r(9). Let x be (2/4)/(4/24). Suppose -18 = -v - x*q, -k*v - v = q - 17. Is v a composite number?
False
Let k = 117 + -63. Let h be 3 + -5 + k - 0. Suppose -h - 659 = -3*q. Is q a composite number?
True
Let b(w) = w**3 + 2*w**2 + 8*w + 17417. Is b(0) a composite number?
False
Let j(o) = -43*o - 11. Let s be (5/(-3))/(4/24). Is j(s) composite?
False
Suppose 3*b - 31 + 19 = 0. Suppose 0 = t + i - 5*i - 1657, -5*t = -b*i - 8349. Is t prime?
False
Let b be (-1)/5 + 1071/(-45). Let r = b - -99. Suppose -m - 232 = k - 4*k, -r = -k - 2*m. Is k composite?
True
Let v = -3 - -8. Suppose