+ 12. Let t be x(5). Let j(z) = z**3 - 2*z**2 - 5*z + 2. Let b be j(3). Is (t/42)/(b/(-42)) a composite number?
True
Suppose -9*c - p = -12*c + 1906, 3*p = c - 638. Is c prime?
False
Let c(j) = 2*j**3 + j**2 + 4*j - 3. Let d be c(2). Let p = d + -21. Suppose -p = -2*w, 3*w - 214 + 20 = -4*v. Is v a prime number?
True
Let p be 9616/7 - (-10)/35. Let d = p + -739. Is d a prime number?
False
Let r(h) = h**3 - 5*h**2 - 5. Let q be r(7). Suppose -4*o - 455 = -5*f - 22, -f = -4*o - q. Is (-4)/(0 + -1) + f a composite number?
False
Let h(g) = -g**3 + 6*g**2 + 3*g + 10. Let s be h(8). Let i = -39 - s. Is i a prime number?
False
Let n(z) = 855*z**2 + 11*z - 29. Is n(5) composite?
False
Let f = -15090 - -22951. Is f a prime number?
False
Is (3 - -4198)/(-2*(-2)/12) prime?
False
Is 35/(-175) + (-126918)/(-15) composite?
False
Suppose -u - 4329 = -c + u, 0 = -4*c + 2*u + 17340. Suppose 3*j = x + 2599, -3*j + 3*x = 2*j - c. Is j composite?
True
Let n = 3076 + -176. Let k = -2001 + n. Is k a prime number?
False
Let q(c) be the first derivative of 9*c**4/4 - 4*c**3/3 - 2*c - 4. Let s be q(3). Let i = s + -138. Is i prime?
True
Let s(o) = -o**3 - 5*o**2 - 3*o - 2. Let q be s(-3). Let d = q - -14. Suppose d*a = -3*j + 444, 0*a - 588 = -4*j - 2*a. Is j a composite number?
True
Suppose 0 = 28*q - 39*q + 3082189. Is q a prime number?
True
Let c = -25 + 28. Let d be -1 + c*8/6. Suppose -190 = -d*k + 443. Is k a prime number?
True
Is 84257 - 3 - (22 - 31) composite?
False
Let q be 4*4/8 + -10. Let m = 14 + q. Is (88/(-16))/((-1)/m) composite?
True
Suppose r - 9700 = -0*r. Let o = r + -6209. Is o a composite number?
False
Let m be -1 - (1 + 0 - 5). Is 382*m*(-2)/(-6) a prime number?
False
Suppose 66*x - 3*z = 71*x - 197765, 3*x - 3*z - 118659 = 0. Is x composite?
True
Let r = 158 + 506. Is 5/((-20)/r)*3/(-6) a prime number?
True
Let k be 642*(-6 - -7 - 1/3). Suppose -1058 = -2*v + k. Is v a composite number?
False
Let r = -44303 + 85350. Is r prime?
True
Let f(n) = 11934*n - 31. Is f(1) composite?
False
Let n = -419 + 829. Let d = 889 - n. Is d prime?
True
Let q(p) = 16*p**2 - p + 7. Suppose -2*h = 6 + 10. Is q(h) a composite number?
False
Suppose 14 = n + 6*n. Suppose 0 = -2*p + 4*y + 18, 26 = n*p + 4*y. Is p/(75/(-39) + 2) a prime number?
False
Let k(t) = 2*t**3 + 18*t**2 - 2. Let f be k(-9). Is (514/(-6))/(28/(-12) - f) prime?
True
Suppose 4*b = 8*b - 12508. Is b a composite number?
True
Let n = -35267 + 49548. Is n prime?
True
Let m(w) = w**2 - 3*w - 8. Let j be m(5). Suppose -3*i + 5*v + 4049 = 0, -j*i - 2*i + 2*v + 5380 = 0. Is i a composite number?
True
Suppose 4*x - 36 = -4*m, 0 = 5*x + 4*m - 13 - 30. Suppose -k + x*k - 1572 = 0. Is k composite?
True
Let d = 44 - 92. Let n = d - -130. Is n a prime number?
False
Let v = -1889 - -3148. Is v a prime number?
True
Suppose 2*o - 5*v = 8576, -3*v = o - 2*o + 4289. Is o composite?
False
Let o(c) = -11*c + 262*c**2 - 3*c - 259*c**2. Is o(11) composite?
True
Suppose -9898 - 9477 = -5*c. Let v = -1902 + c. Is v a prime number?
True
Let p = -4955 + 8324. Let w = p + -1732. Is w a prime number?
True
Suppose m = 5*q + 5*m - 142, m - 107 = -4*q. Suppose 3*x - 49 = q. Suppose y - 33 = x. Is y composite?
True
Let t(m) be the second derivative of 5*m**5/4 - m**4/4 - 4*m**3/3 + 9*m**2/2 + 8*m. Is t(5) prime?
True
Suppose -6 + 2 = -2*l. Suppose 0 = l*c + 24 - 214. Is c prime?
False
Let b = 25627 - 1310. Is b composite?
False
Let b be ((-8)/5)/((-32)/51120). Is 16/(-20) + b/20 a composite number?
False
Let b(w) = -1696*w + 19. Is b(-16) prime?
False
Suppose 6*r - 20 = 2*r. Suppose 3*t + 0*p - 1008 = -p, -r*p - 1363 = -4*t. Is t composite?
False
Let w = 42 - 28. Let p be (-4)/(-14) - (-258)/(-21). Let f = p + w. Is f a composite number?
False
Suppose 5*h + 5*l = 395, -3*h + 2*l = -7*h + 322. Suppose 4*s - 2*s - h = 0. Is s*((-1 - 1) + 9) a prime number?
False
Suppose 15 = 3*r + 87. Let a be (r/5)/((-15)/50). Suppose -11*l = -a*l + 1055. Is l composite?
False
Suppose -5*y + 0*b - b = -41, -5*b = 2*y + 2. Let u be -447*3/(y*-1). Suppose -2*p + 149 = -u. Is p a prime number?
True
Suppose -26 = 4*x - 5*b, 6 = -2*b - b. Let s(d) = 3*d**2 + 12*d - 3. Let c(t) = -7*t**2 - 25*t + 5. Let y(a) = -2*c(a) - 5*s(a). Is y(x) composite?
True
Let i(x) = 2*x**3 + 15*x**2 + 5*x + 15. Let r be i(-10). Let o = 930 + r. Is o a prime number?
False
Let t(u) be the first derivative of 5*u**3/3 - 5*u**2/2 - 2*u - 3. Let w be t(6). Suppose 9 - w = -f + 4*m, m = -5*f + 632. Is f a prime number?
True
Suppose -3*v = 3*v - 30. Suppose -4*l + 4*h + 415 = -3*l, v*l = -5*h + 2100. Is l composite?
False
Suppose -4*u - 2*n = 2*n - 24, 0 = 2*u - 2*n - 8. Suppose -3*m = u*p - 3017, 2*m - 3*p = 4*m - 2012. Is m prime?
True
Let u(w) = 2*w - 1. Let k(h) = 35*h - 12. Let j(l) = k(l) - 5*u(l). Is j(6) a prime number?
False
Suppose -39304 = -8*c - 7600. Is c a prime number?
False
Let x(v) = 288*v + 6. Let a be x(4). Suppose -3*m - 4*j = -2*m - 599, 2*m - 2*j = a. Is m a prime number?
False
Let x(t) = 5948*t**2 + 2*t + 3. Is x(1) a prime number?
True
Suppose -5*q + 19 = -21. Suppose 4*i - 12 = -3*r, 3*i - q = r + 1. Suppose -123 = -3*s + 4*w, -s + i*w = -3*s + 65. Is s composite?
False
Let w(o) = 1367*o**3 - o**2 + 3*o + 5. Let j be w(-2). Is (1/3 - 0)*(0 - j) a composite number?
True
Let i(s) = s + 11. Suppose q = -5*y + 17, -q + 0 + 2 = 2*y. Let c be i(q). Suppose -8*f = -c*f - 125. Is f composite?
True
Suppose 24 = 4*c - 0*j - j, -4*j = -4*c + 24. Let f(h) = 4*h + 1366. Let q(l) = 5*l + 1367. Let g(w) = c*f(w) - 5*q(w). Is g(0) a prime number?
True
Let m(j) = -j**3 - 3*j**2 + j + 6. Let x be m(-3). Let c = x - 1. Suppose -3*g - c*d + 929 - 384 = 0, 4*g - 738 = 3*d. Is g composite?
True
Let q(f) = 5*f + 2*f + f + f + 16. Let g be q(11). Suppose -3*i - 5*k + 126 = 0, k + 29 + g = 3*i. Is i a prime number?
True
Suppose -8*m - 4 = -10*m. Suppose u - 4*u = -4*v - 1443, m*v + 479 = u. Is u a composite number?
True
Let w be -2 + -8*(-2)/(-4). Is (-3)/(w*5/20) prime?
True
Let v(n) = 732*n**3 + 1. Let o(m) = -m**2 + 2*m + 36. Let h be o(7). Is v(h) a composite number?
False
Suppose -863 = -9*q + 2224. Suppose 7*l - 1312 = 3*l + 3*x, l + 3*x - q = 0. Is l prime?
True
Let d(r) = 16*r - 3. Let h be d(-4). Let y = h - -90. Is y a prime number?
True
Let j(x) = -877*x - 6. Let u(b) = -b - 13. Let o be u(-12). Is j(o) a prime number?
False
Suppose 7*z + 308 = 6*z. Let o = -214 - z. Is o prime?
False
Suppose f = -g + 12434, -4*g = -2*f + 33426 - 8528. Is f a composite number?
True
Let z = 973 + 222. Is z composite?
True
Let l(v) = -318*v - 253. Is l(-7) composite?
False
Suppose -6*i + 296889 = -i + 3*o, o = -2. Is i a prime number?
False
Suppose 169 + 1027 = 4*n - 2*s, -1501 = -5*n + 4*s. Let j(b) = b**3 + b**2 - 6*b + 2. Let h be j(4). Let d = n + h. Is d composite?
True
Suppose -534575 = -360*p + 355*p. Is p a prime number?
False
Let h be 63/24 + 9/24. Suppose 0*o - h*b = -4*o + 3541, 0 = -3*b + 15. Is o composite?
True
Let r(h) = 372 + h**2 + 0*h**3 - h**3 + 398 + h. Let n be r(0). Suppose -3*a + 10 - 25 = 0, 3*a = -5*i + n. Is i composite?
False
Suppose -3*v - 2*b + 2571 = -2099, -7775 = -5*v - 5*b. Let h = -869 + v. Is h prime?
True
Suppose t = 6416 + 191. Is t a composite number?
False
Suppose 46*o + 60774 = 67*o. Is o prime?
False
Let z = -48675 - -135626. Is z a composite number?
False
Let m(d) = 3*d - 19. Let r be m(7). Suppose 4*i - 2*s = -1 + 13, -2*i = -5*s + 2. Suppose 322 = i*v - 2*a - 36, 0 = -r*v - 5*a + 173. Is v prime?
True
Suppose 2*s + 3*u = -1, 2*s - 4*s = 4*u. Is s + 0 + 1/(3/639) a composite number?
False
Let z = -1102 + 2501. Is z a composite number?
False
Suppose -1094 = -4*j - 3*u + u, -4*j = 3*u - 1091. Let l = j - 112. Is l prime?
True
Let x(c) be the second derivative of 577*c**4/24 - c**3/2 + 9*c**2/2 + 3*c. Let y(h) be the first derivative of x(h). Is y(2) composite?
False
Suppose -4*k + 843609 = 5*d, -17*d + 168722 = -16*d + k. Is d prime?
False
Suppose 2*h = h + 5*d + 3359, -2*h + 6718 = -3*d. Is h composite?
False
Let f be 320 - (-3 + 3)/2. Let y = 556 - f. Suppose 0 = 5*z - y - 209. Is z prime?
True
Let t = 180 - 67. Let o = 150 - t. Is o a prime number?
True
Let m = 2087 + -1032. Is m a composite number?
True
Suppose -5*n - 5*y = -17945, -5*y - 1