
Let u(o) = -7*o**3 - 10*o**2 - 3*o - 13. Let q(f) = 6*f**3 + 10*f**2 + 4*f + 12. Let r(g) = 6*q(g) + 5*u(g). Is r(-6) a prime number?
True
Let c(m) = 41*m**2 + 17*m - 27. Is c(13) composite?
True
Let v(q) = 2042*q + 11. Let m be v(4). Let b = -1746 + m. Is b composite?
True
Let y(o) = -22*o + 13. Let p(v) = -v - 5. Let b be p(11). Is y(b) a prime number?
False
Let k(w) = 36*w + 311. Is k(25) a prime number?
False
Let z be 54/(-15)*(-5)/(-1). Let l = 15 + z. Is (-6)/4*166/l composite?
False
Let p be 1/(((-1)/(-1053))/(-1)). Suppose -2*t = -1701 - 1975. Let i = p + t. Is i a composite number?
True
Let w(g) be the first derivative of -7/3*g**3 + 1/4*g**4 - 6 + 2*g + 7/2*g**2. Is w(11) composite?
False
Let f be 2036*(4 + -2)/(-4). Let x = 2040 + f. Suppose -s + 3*s = -3*l + x, -2581 = -5*s - l. Is s a prime number?
False
Let h = 69 - 64. Suppose h*i - 766 = 1219. Is i a composite number?
False
Let f = 4331 - -4760. Is f composite?
False
Suppose 6*a - 7325 = -4*r + a, 4*a = 2*r - 3656. Suppose 2*o = 2, -2*s - 5*o + r + 757 = 0. Is s a composite number?
False
Let k be (7/14)/(2/(-4904)). Let t = k + 2475. Is t a prime number?
True
Suppose 5*t - 1600 = n, 1600 = -t + 6*t + 4*n. Let d = -229 + t. Is d prime?
False
Suppose -2*b + 16*x - 17*x = -3562, -x = -3*b + 5353. Is b a composite number?
False
Suppose 6 = -3*q - 0*q, -3*q = -2*u + 14. Suppose 2*m - 7 = 2*o + 7, -m - 2*o = -u. Suppose t + 764 = 3*z, -1260 = -m*z + z - t. Is z a prime number?
False
Suppose -6 = 2*y - 4*d, -11 = -2*y - d + 3. Let t(w) = 18*w**2 - 5*w - 6. Is t(y) a composite number?
False
Suppose 0 = -3*c + 4*c. Suppose c*g - 7*g = -3493. Is g a composite number?
False
Suppose -4*c - 924 = -5*u - 0*u, 0 = -4*c - 4. Suppose -u = -b - 43. Is b a composite number?
True
Let p = 14 - 8. Suppose -2*k = p + 2. Let g(i) = -116*i + 3. Is g(k) composite?
False
Suppose 87 = 4*o - 7*o. Let q = 29 + o. Suppose q*f - 5*f - 4*w = -585, f - 103 = 2*w. Is f a prime number?
True
Let p be -1 + (3 - 2) + 2. Suppose 5*k + 3*j = 4264, -3*k = p*k - 2*j - 4249. Suppose k = 3*a + 218. Is a a composite number?
False
Let z(g) = g**2 - 3*g - 6. Let d be z(5). Suppose -3*n + 1133 = q, -1129 = -d*n + n - 2*q. Is n a composite number?
False
Let r(f) be the second derivative of f**5/20 + f**4/4 + 13*f**3/6 - 11*f**2/2 + 11*f. Is r(8) composite?
False
Suppose 4*c + 2*s - s - 10 = 0, -c - s = -4. Suppose -q = -c*v - 301, -2*v - 913 - 309 = -4*q. Is q composite?
False
Let w = -4122 + 6265. Let u = -1514 + w. Is u a composite number?
True
Suppose 2*x = 3*n + 1117, -2*x + 7*x = -n + 2784. Is x prime?
True
Let i = 6264 + -1757. Is i composite?
False
Let s(w) = -5*w**3 - 24*w**2 - 11*w + 29. Is s(-11) a prime number?
False
Suppose -12*v = 9 + 3. Is v/((-1)/2)*(-1271)/(-82) a composite number?
False
Let b = 2250 + -5023. Let m = b - -4868. Is m a prime number?
False
Suppose 0 = -s + g + 27408, -4*s = -5*s + 2*g + 27403. Is s prime?
False
Let q(z) = 402*z**2 - 23*z - 29. Is q(4) a prime number?
True
Let p be (5/(30/(-9)))/(6/(-8)). Suppose w - 232 = -2*m, 0*m - 2*w - 244 = -p*m. Is m composite?
True
Let o(z) = 6*z**3 + 2*z**2 - 2*z + 2. Let c be o(4). Let l = 208 - 299. Let v = l + c. Is v composite?
True
Let w = -6707 - -11028. Is w prime?
False
Suppose 28226 = 3*b - 5*w, -11798 = -2*b - w + 7015. Is b composite?
True
Let x(f) = -f**2 + 5*f - 1. Let y be x(4). Suppose 4*m - 1150 = -2*u, -2 = u + y. Let k = 417 - m. Is k composite?
False
Suppose 5*g + 2 = -2*t - 15, 0 = 5*t - g - 25. Let n be (11 - -2) + (t - 3). Is 934/n - (-2)/7 composite?
False
Suppose -4*o - 20 = 0, o - 3593 = -r - 3*o. Suppose 0 = 4*p + 3*f - 3637, 6*p - 5*f = 2*p + r. Is p prime?
True
Let x(a) = 40*a - 891. Is x(46) a composite number?
True
Let r(o) = -2*o - 3 - o**2 - 9 + 14 - 4*o. Let w be r(-6). Is w*-1*(-32 - 5) composite?
True
Let j(d) = d**3 - 26*d**2 + d + 31. Is j(27) prime?
True
Let u(x) = 8*x**2 - 3*x + 4. Let b be u(-6). Suppose 3*h = -2*h + b. Suppose -2*s + 5*k + 352 = h, -3*k = 5*s - 725. Is s a composite number?
True
Let f(d) = -8*d + 165. Is f(-16) prime?
True
Let n(f) = f**3 - f**2 + 12*f - 22. Let g(s) = -s**3 + 2*s**2 - 11*s + 23. Let m(y) = -5*g(y) - 6*n(y). Is m(-10) a composite number?
False
Suppose 2*s = 5771 + 2103. Is s a prime number?
False
Let k = -21098 + 38499. Is k a prime number?
True
Let g(a) = a**3 + 7*a**2 - 7*a + 7. Let n be g(-10). Let w = 318 + n. Is w a prime number?
False
Let z = -1260 + 545. Let l = -365 - z. Let b = l + -189. Is b prime?
False
Is -6 - (-56529 - 10)/7 a prime number?
False
Let j be 83/((6/(-153))/2*-3). Let x = j - -1416. Is x composite?
True
Suppose -3*u = 2*f - 0*f - 7, -3*f - 2*u + 13 = 0. Suppose f*m - 373 = -q, 0 = 5*q - m - 2*m - 1865. Is q composite?
False
Let k(h) = -6*h - 5. Let x(t) = -9*t - 4. Let p be x(2). Let z = p - -15. Is k(z) a composite number?
False
Let f = -9 + 3. Let v be f/27 - (-159760)/45. Suppose -3*z - 403 = -v. Is z a composite number?
False
Suppose 23 = 3*h - 4*i, h = 5*h - 3*i - 26. Suppose -h*p - 8057 = -12*p. Is p a prime number?
True
Let n(j) = -78*j**3 + 1 + 12*j - 25*j + 10*j. Is n(-2) prime?
True
Let k(d) = d**3 + 6*d**2 + 11*d + 73. Is k(19) composite?
True
Suppose 0*t = -12*t + 144. Let x(f) = 4*f + 17. Is x(t) a composite number?
True
Let z(h) = -39*h**2 - 9. Let f be z(3). Let v = 379 - f. Is v a prime number?
True
Suppose 3*u - 3*k = 50604, -5*u = -72*k + 74*k - 84361. Is u composite?
False
Let g(w) = w**3 - 7*w**2 + 7*w - 3. Let b be g(6). Let m be 3 + 2316/4 + 4. Suppose b*n - 5*n + m = 0. Is n prime?
True
Suppose -225*l + 227*l = 124922. Is l a composite number?
True
Let b(w) be the second derivative of -151*w**3/3 - 7*w**2/2 + 13*w. Is b(-4) a composite number?
False
Let q(o) = -25*o**2 - 12*o - 14. Let k be q(-5). Let r = 1366 + k. Is r prime?
True
Let o(q) = -1 - 6*q**2 + 2 + 55*q**3 + 47*q**3 + 2*q. Suppose 2*s - 3*i = -5, 41*i - 46*i = -2*s - 11. Is o(s) a composite number?
False
Let m(c) be the second derivative of 3*c**2 - 7/20*c**5 - 1/2*c**4 + 0 - 2*c - 2/3*c**3. Is m(-5) a prime number?
True
Suppose 0 = 34*v - 39*v + 440. Suppose v = o + 6. Is o a composite number?
True
Let k be 6/(-9)*3 + 540. Suppose i - k = -3*o, 3*o + 2*o - 3*i - 892 = 0. Is o a composite number?
False
Let u(x) = x - 12. Let j = 7 + 2. Let c be u(j). Is c - (1 + -2)*242 a prime number?
True
Let y(w) = 6*w**3 - 14*w**2 + 13*w + 7. Is y(11) a prime number?
False
Let o(t) = 24*t**2 - 8*t + 3. Let l = 27 - 24. Suppose -v + 3 = m, -v - l*m + 0*m = 1. Is o(v) prime?
True
Let g(u) = 836*u**2 - 7*u + 64. Is g(5) prime?
True
Let c = 2256 + 8473. Is c a composite number?
False
Let f(n) = -2*n**2 + 10*n - 17. Let d be f(-8). Let q = 640 + d. Is q a prime number?
False
Let h be (-14)/(-21) - 4/6. Suppose h*q = -q + 217. Is q composite?
True
Let g = -496 + 733. Suppose r - g = -2*r. Suppose -2*f + 167 = -r. Is f a prime number?
False
Let o = -2431 + 16950. Is o composite?
False
Let m be 10 - -3 - (-2)/2. Let u = -11 + m. Suppose -167 - 280 = -u*w. Is w a composite number?
False
Let c = 1845 + 2692. Is c composite?
True
Suppose -3*p + 26*g - 1526 = 21*g, -5*g - 2490 = 5*p. Let o = 427 + -718. Let q = o - p. Is q composite?
False
Let g(x) = 3*x**3 - 2*x + 1. Let v be g(1). Suppose -15 = -3*q - v*q. Is q composite?
False
Let l be ((-1)/3)/(1/6). Let n be 129*2/(-4)*l. Let q = n - -138. Is q composite?
True
Suppose -56232 = -14*v + 67220. Is v a composite number?
True
Is 5579*1 + 4/(-34)*-17 prime?
True
Suppose 2*o + 22 = 4*t + 5*o, -3*t = 4*o - 20. Suppose 4*q = 2*q + t. Suppose q*d = 5*d + 4*z - 309, 0 = 4*d - 5*z - 412. Is d prime?
True
Is 13*26/507*(-93966)/(-4) a composite number?
False
Is (615/(-195) - 2/(-13)) + 152 a prime number?
True
Suppose -y = 691 - 103. Let w be y/(-3) - (0 + 2). Is 1*w*5/10 prime?
True
Suppose 0 = -14*d + 21220 + 2706. Is d composite?
False
Let s(t) = 1168*t - 251. Is s(4) a composite number?
False
Is -1 + 5542/6 - (-17)/51 composite?
True
Let h(l) = -652*l + 14. Is h(-2) a composite number?
True
Let v(i) = -i**3 - 12*i**2 - 2*i + 3. Let p(o) = o**3 + 13*o**2 + 3*o - 4. Let c(x) = -2*p(x) - 3*v(x). Is c(-8) a composite number?
False
Suppose u + 3*x = 1126, -35*u - 4464 = -39*u - 2*x. Is u a prime number?
False
Suppose -41842 = -30*w + 2288. Is w compo