?
False
Suppose 5 = 5*g, -5*y + 205570 = -7*g + 12*g. Is y prime?
True
Suppose -6 = 6*q - 5*q. Let x be 1/((-14)/q - 2). Suppose -3*m = 4*a - 482 + 113, -x = a. Is m a prime number?
True
Let m(o) = 16*o**2 - o + 1. Let s be m(2). Let c = 20 + s. Suppose -3*i + 248 - c = 0. Is i prime?
False
Suppose -6*x = -2*x - 2992. Suppose x = 5*h - 577. Is h a composite number?
True
Let h(c) = 2*c - 14. Let w be h(8). Let y(o) = 5 + 3 - o - 5 - 3*o**3 - 5*o**w. Is y(-4) composite?
True
Suppose 4*a = 3 + 29. Suppose -5*u = -4*y + 1833, 4*y - 3*u + a*u = 1823. Is y prime?
True
Let o(t) be the first derivative of 235*t**2 - 13*t + 15. Is o(3) a composite number?
True
Suppose 0 = 2*d - 10, o + 4*d + 673 = 2*o. Suppose g - 2096 = -g. Suppose -4*y + g = 3*u, -4*u + o = 5*y - 616. Is y a prime number?
False
Let r be (-9)/(-4) - (-2)/(-8). Let z(b) = 2*b**3 + 20*b**2 - 8*b**2 - 10*b**2 + b + 20 - 21. Is z(r) prime?
False
Let z = 10 - 10. Suppose 7*k - 3*k - 100 = z. Suppose y - k = 442. Is y a prime number?
True
Let j(p) be the second derivative of -p**3/6 - 2*p**2 + 9*p. Let u be j(-4). Let k(i) = -i**3 - i**2 - i + 543. Is k(u) a composite number?
True
Let c(d) = -6*d + 7. Let i = -6 + 0. Let f be c(i). Suppose 3*p = 68 + f. Is p a composite number?
False
Suppose -4*z + 2*f + 10 + 28 = 0, -5*z + 41 = 4*f. Suppose 2*n - 21 = -3*p, 0 = -4*p + p + 2*n + z. Suppose 363 = p*a - 2*a + 3*m, -5*m = a - 113. Is a prime?
False
Suppose -88 = -5*h + 162. Suppose f + 4 = 0, -4*f = 2*m - f - 14. Let p = h - m. Is p a composite number?
False
Let h(w) = 4*w**3 - 8*w**2 + 14*w - 11. Suppose 2*y + 3*y - 5*t = 10, -4*y + 2*t = -16. Is h(y) a prime number?
False
Suppose 4*v - 10 = -v. Suppose -2*y + 5*d + 2224 = 3*d, 3*y - v*d = 3335. Let w = y + 450. Is w composite?
True
Let j(k) = 1201*k - 409. Is j(8) prime?
True
Let p(c) = -c**3 + 5*c**2 + 3*c + 12. Let x be p(5). Is (-2 - 1)*(-1143)/x composite?
False
Let j be 84*(70/8 - 4). Suppose 2*t - 5*o - 1578 = -2*t, t = -o + j. Is t a prime number?
True
Let a(m) = m**3 - 32*m**2 - 28*m - 2. Is a(37) composite?
False
Let s be 12/5 - (-36)/(-90). Suppose 3*k = 5*x + 1450, 0 = 4*k - s*x - x - 1937. Is k prime?
False
Let f = -1642 + 6795. Is f a prime number?
True
Suppose -5*q - 3*g = -118, q = g - 2*g + 22. Suppose 4*l - q = 134. Is 1/4 + 11550/l a composite number?
True
Let n = 11396 + 29499. Is n composite?
True
Let s(l) be the first derivative of -311*l**2/2 + 3*l - 5. Let a be s(-1). Let n = a - 45. Is n composite?
False
Let j(i) = i**2 + 9*i + 17. Let m be j(-7). Suppose 2*o - m*o + 5 = 0. Suppose -o*h + n = 3*n - 721, 4*h + n - 578 = 0. Is h composite?
True
Let v(u) = -333*u**3 + 4*u**2 - 5*u - 19. Is v(-4) composite?
False
Suppose -1837 = -b + 5*i - 7*i, -5*i = 2*b - 3678. Is b a prime number?
False
Let o(l) = 16*l - 3*l**2 - 13*l - 10 + l**3 - l**2. Let i be o(4). Suppose -i*x + 3*y + 171 = -7, 3*x + 5*y = 267. Is x composite?
False
Let x(w) = -2*w**3 - 7*w**2 + 4*w + 220. Is x(-31) prime?
True
Let x = 3953 - 2685. Suppose -3*n - 5*c = x, 2*n - 852 = 4*n + 5*c. Let d = 627 + n. Is d prime?
True
Let j = 875 + 312. Is j a prime number?
True
Suppose 0*c + 27 = -5*t - 4*c, 0 = -4*t + 5*c + 3. Is 4035/10 - t/(-6) prime?
False
Let a = -2 + 11. Suppose g + 29 = -4*o, 7*o - 3*o - 4*g = -24. Let v = o + a. Is v a composite number?
False
Let r(m) = -20*m**2 + 4*m + 11. Let y(b) = b**2 + b. Let n(a) = -r(a) - 5*y(a). Is n(-5) composite?
False
Let d(k) be the first derivative of k**3/3 + 3*k**2/2 + k + 7. Let g be d(-4). Suppose 5*m + 397 = q, 2*q + g*m + 1161 = 5*q. Is q a composite number?
True
Suppose -11*w + 6930 + 23749 = 0. Is w composite?
False
Is ((-70390)/15)/(-6 + 112/21) composite?
False
Suppose -2 = -3*b + 2*b. Suppose 5*d = -15, -4*d = -2*u - b*u + 20. Suppose 3*s = -2*q + 1762, 2*s + 816 = -u*q + 2582. Is q a prime number?
True
Let v(c) = 759*c + 20. Suppose -3*x - a = 2*x - 5, 0 = 5*x - 5*a - 35. Is v(x) a prime number?
False
Suppose -p - 304 = -5*p. Suppose -35 - p = -3*h. Let r = -23 + h. Is r a composite number?
True
Let l(w) be the first derivative of -w**4/4 + 19*w**3/3 + 21*w**2/2 - 25*w - 29. Is l(14) a composite number?
False
Suppose -656985 = -21*h + 6*h. Is h composite?
True
Suppose 5*m = -1 - 4. Is 4/m + (-1647)/(-3) prime?
False
Let b(x) be the first derivative of 3*x**2/2 - 16*x + 2. Suppose -28 = -6*d + 50. Is b(d) a composite number?
False
Suppose y - 2*y = -1. Let x be (y - 0)/((-3)/(-9)). Suppose -j - x*v + 509 = 0, 3*j = -0*v - 3*v + 1539. Is j a prime number?
False
Let p = 19 - 16. Suppose 2*a + y - 1654 = 0, p*y = -a + 216 + 601. Is a composite?
False
Let v(u) = 7001*u**2 - 6*u + 6. Is v(1) prime?
True
Let n(x) = 8*x**2 + 2*x - 2. Let h be n(-7). Let a = h + -20. Suppose -12*i - a = -16*i. Is i composite?
False
Suppose 27 = 2*b - 57. Suppose 44 = h - b. Let n = h - 52. Is n prime?
False
Suppose r - 13 = -4. Suppose -16*n + r*n = -12859. Is n a composite number?
True
Let u(d) = 12 - 17 + 4*d + 7 - d**3 - 3*d**2. Let w be u(-3). Let n = 19 + w. Is n a prime number?
False
Is ((-82)/4)/(9*10/(-5220)) a composite number?
True
Let k(b) = -3*b**3 + b**2 - b - 2. Let d(y) = -y**2. Let u(i) = 2*d(i) - k(i). Is u(3) a composite number?
False
Suppose 0 = 4*a + 5*z - 3534 + 1025, -a + 2*z = -611. Let t = a + -300. Let m = 512 - t. Is m composite?
False
Is (1 - (-6516)/3)/(1 - 0) a prime number?
False
Let f = -156 + 168. Let q(j) = 4*j - 2*j + 5 - 16. Is q(f) composite?
False
Let b = 4010 - 2499. Is b prime?
True
Let f(b) = 3*b + 8. Let w be f(-6). Let l = w - -10. Suppose l = -3*t + 1 + 20. Is t a prime number?
True
Let h(k) = -1722*k - 47. Is h(-5) prime?
True
Let n = -150 - -20. Let b(m) = 118*m + 259. Let h be b(-4). Let r = n - h. Is r prime?
True
Let f be 1 + -2 + (-1)/(-1). Let m be (12/9)/(9/27). Suppose f = -m*p + p + 78. Is p a composite number?
True
Let i(c) = -c**2 - 11*c - 7. Let f be i(9). Let j(b) = 11*b - 21. Let k be j(-9). Let t = k - f. Is t a prime number?
True
Let z be 2/5 + (-200334)/(-15). Suppose -3*t + z = -3*f, -13372 = 3*f - 0*t + t. Is 1/(-3) - f/12 a prime number?
False
Suppose 0*m + 5*m = 15. Let n be -2*(m + -2) + 181. Suppose n - 20 = 3*f. Is f a prime number?
True
Is 2*((-47042)/(-28) + 72/(-126)) a prime number?
True
Suppose 26*l - 19017 = 120161. Is l composite?
True
Suppose s = 847 + 200. Let y = 5614 - s. Is y composite?
False
Suppose -t - 4 = -3*d, 2*t - 4*t + d = 3. Let y be 21/12 + t/(-4). Is 356 + (4 - (-1 + y)) a composite number?
False
Let w(j) = -j**3 + 15*j**2 - 11*j - 15. Let d be w(17). Let p = 1415 + d. Is p a composite number?
True
Let a be 3327/(-5) + 10/25. Suppose -1745 = -4*p + 3*b + 2558, 6 = 2*b. Let i = p + a. Is i a composite number?
True
Let g = -468 - -1012. Suppose -7*f = -g - 9. Is f composite?
False
Let w(s) = -68*s**3 - 3*s**2 - s + 1. Let y(r) = -r**2 - 8*r - 4. Let g be y(-5). Let k = -12 + g. Is w(k) composite?
False
Is 9 - (-10964 + 0/9) a prime number?
True
Let a = -22 - -6. Let f be (1/1)/(a/41312). Let x = -1773 - f. Is x a prime number?
True
Let y = 292 + 3. Is y a composite number?
True
Suppose 12*a - 9*a - 26115 = 0. Is a composite?
True
Suppose 745 = -2*t - 3*y, 871 = -5*t + y - 966. Suppose -i + 2*i + 109 = 0. Let j = i - t. Is j a composite number?
True
Suppose 4*j + 10261 = 5*q, 3*j + 3*q = 1362 - 9024. Let h = -820 - j. Is h composite?
True
Let v(w) = -w**2 - 12*w - 22. Let f be v(-9). Suppose 3*a = -f*p + 21, -5*p + 16 = a - 1. Suppose 4*d + a*t - 5*t = 2240, -5*d + 2769 = 4*t. Is d prime?
True
Let h be 11/(1 + 124/(-120)). Let x be (h/77)/((-2)/7). Suppose 0 = x*m - 10*m - 170. Is m a prime number?
False
Let o(i) = i**3 - 7*i**2 + 3*i - 10. Let p be o(7). Suppose p*j + 1060 = 16*j. Let r = -145 + j. Is r a composite number?
False
Let n = 648 + 739. Suppose -20*v - n = -21*v. Is v prime?
False
Suppose -3*g - 2*g + 86213 = -4*j, -5*j = g - 17260. Is g a composite number?
True
Suppose -26*v + 9*v + 3451 = 0. Is v a prime number?
False
Suppose -4*t - 27338 = -3*f + 2*f, 4*f + 3*t - 109447 = 0. Is f a prime number?
False
Let o(p) = 179*p + 4. Let z(m) = m**2 + 6*m + 3. Let i be z(-6). Is o(i) prime?
True
Is 6/(-1) + 10925/5 composite?
False
Let z(s) = s**2 - 15*s + 11. Let b be z(14). Let v be (10/(-3))/(2/b). Suppose -4*q + q = f - 1256, 0 =