r = 21, -m - 5*r = -6*m + 5. Suppose -4*s = -m*z - 1172, z - 879 = -3*s + 3*z. Is s composite?
False
Let f(x) be the second derivative of -x**5/20 - 2*x**4/3 - 4*x**3/3 + 4*x**2 - 9*x + 3. Is f(-9) a composite number?
True
Let h(g) = 4*g - 62. Suppose 6 = -3*d + 81. Is h(d) prime?
False
Let c = 11403 - 7605. Let n be ((-4)/6)/((-12)/c). Suppose 5*y - 204 = n. Is y a prime number?
True
Let a be (-5)/((0 - 1) + 2 + -2). Suppose 2*u - 1485 = -a*o, 3*o + 2*u - 907 = 4*u. Is o a composite number?
True
Let a(w) = -w**3 + 3*w + 4237. Is a(0) composite?
True
Let d = 14546 + -9697. Is d a composite number?
True
Let u be 3/9 + 28/6. Suppose -u*v + 28 = 3. Suppose 2*g = -v*x + 717, 3*g = 7*x - 2*x - 712. Is x composite?
True
Let k = -296 - -2113. Let a = -624 + k. Is a a composite number?
False
Is 10/((-30)/(-20391)) - -6 prime?
True
Let m(g) = -g**2 + 7*g - 7. Let j be m(5). Suppose -7*q + 4*u = -j*q + 12, 4*q = 2*u - 12. Is (-3)/(q/(-9)*-1) prime?
False
Let h(d) = d**3 + d**2 - d - 2. Let c be h(-1). Is c*1*(0 - 499) a composite number?
False
Let s = -16 - -31. Suppose 5*c = s, -r - 4*c + 7*c - 6 = 0. Suppose 0 = -5*y + 2*u + 535, -r*y + 5*u + 520 = 2*y. Is y composite?
False
Let c = -28 - -21. Let f = c - 11. Is (1 + -167)*9/f prime?
True
Suppose 3144 = 4*m + 4*n, -5*m + 4*n + 3936 = 3*n. Is m a prime number?
True
Let r = 193 + -871. Let l = -259 - r. Is l a composite number?
False
Suppose 3*b = g + 8762, -4*b - 2*g = -2*b - 5836. Let d = -2033 + b. Is d a prime number?
True
Suppose -n - 4*k + 695 = -2188, -2*n + k = -5811. Let x = 4894 - n. Is x prime?
False
Let k be ((-221)/(-52))/((-1)/(-452)). Suppose j - r = -3*j + 2566, -3*j = r - k. Is j a composite number?
False
Let t(f) = 16*f**2 + 8*f + 13. Let s be t(-12). Suppose q - 1108 = k, -2*q + k + s = -2*k. Is q a composite number?
False
Let c(d) = 9*d - 1. Let p(u) = u + 1. Let v(f) = -2*c(f) + 4*p(f). Let q be v(-8). Let z = q + -65. Is z composite?
False
Let w be (-2841)/18 + 3/(-18). Is (1/(-3))/(-1 - w/159) prime?
True
Suppose 0 = -3*i + i + 66. Suppose 4*s - 11 = -51. Let t = s + i. Is t a composite number?
False
Suppose -12*t + 9*t = -2166. Is (-2)/(t/242 + (2 - 5)) composite?
True
Suppose -1 + 31 = -2*r - 4*d, -2*r - 3*d = 25. Let g(p) = -6*p. Let w be g(r). Is 70/4 + w/20 a prime number?
True
Let s(t) = -32*t - 37. Is s(-15) a composite number?
False
Let p(k) = 2*k - 3 - 22*k + 2 + 4. Is p(-9) a composite number?
True
Let h be 35/(0 - ((-2)/2)/1). Is (-28)/h + (-938)/(-10) a prime number?
False
Suppose -d - 2*y = -7*y + 94, 98 = -d + 3*y. Let c = d - -198. Is c a prime number?
False
Suppose -2362 = t - 2*s, -2*t - 4719 = -3*s - 2*s. Let q = -1413 - t. Suppose -q = -5*c + z, -3*z - z = c - 175. Is c prime?
True
Let u(z) = 58*z + 5. Let o be (10 + -7)*2/3. Let i = 4 + o. Is u(i) composite?
False
Let n be ((-8)/18)/((-10)/45). Is n - -1 - 160/(-1) prime?
True
Let d(b) = -b - 1. Let l(v) = -95*v + 12. Let x(q) = 6*d(q) - l(q). Let i be x(-13). Let w = i - -1806. Is w composite?
False
Suppose -233*n = -229*n - 45544. Is n composite?
True
Let g(z) = 2*z**2 - 6*z**2 + 2 + 9*z**2 - z**2 + z**3. Let q be g(-4). Suppose -k + 473 = -3*x, q*k - 1109 + 123 = -4*x. Is k prime?
False
Let x(y) = -26*y**2 + 2*y + 5. Let t = 16 + -12. Let v be x(t). Let s = -12 - v. Is s composite?
True
Let x(u) = u**2 - 6*u + 1. Let c be x(6). Is 97 - (-1 - -3)*c a prime number?
False
Let u(v) = 148*v + 3. Let g(d) = d + 1. Let q(f) = -4*g(f) + u(f). Is q(1) composite?
True
Suppose 3*z = 2*q - 5 - 5, -q + 5 = -5*z. Suppose 3512 + 3173 = q*a. Is a prime?
False
Suppose 10053 - 1337 = 4*u. Is u a prime number?
True
Let a(y) = -y**2 + 21*y. Let h be a(-16). Let s = -275 - h. Is s a composite number?
False
Let m(g) = 474*g + 37. Let f = 143 + -138. Is m(f) prime?
False
Is 6/15 - (-5169)/15 - -2 prime?
True
Let v(h) = 14*h**2 - 4*h + 2. Let b be v(4). Let p = b - 143. Is p a prime number?
True
Let i = -20 - -29. Let u be i - 12 - (801 + 1). Let q = u + 1694. Is q a composite number?
True
Let g be 3 - 3 - 3 - (1 + 5). Let y = g + 170. Is y a prime number?
False
Suppose -4*n + 65 = -227. Let b = 426 - n. Is b prime?
True
Let l be 2*39/(-12)*-194. Suppose -5*f + 12 = -8*f, 5*x - l = -f. Is x a composite number?
True
Is 10 - (-39)/(-26)*-28398 composite?
True
Suppose r - 8 = 4*u, 4*r - 5*u = 36 + 7. Suppose 0 = 7*p - 3*p - r. Suppose -7 + 406 = p*k. Is k a composite number?
True
Let r(c) = 10*c**2 + 9*c - 3. Let p be -5 + 165/(-35) + 2/(-7). Is r(p) prime?
True
Let w(c) = 1973*c + 152. Is w(7) composite?
False
Let g be 379792/40 - (-2)/10. Suppose -3*m - 12*m = -g. Is m prime?
False
Let g(u) = -18*u**2 + 3*u + 2. Let f be g(2). Is (f/3 - -1)/1*-21 prime?
False
Let c be 10/14 - 2/(-7). Suppose 3 = -o + 1. Is c*(679 - o) - 2 prime?
False
Let h be 10/(-4)*(-230 + -1 - -3). Is (-58)/3*h/(-20) a composite number?
True
Let z be (4/3)/((-21)/(-126)). Suppose z*t + 6 = 302. Is t prime?
True
Suppose -23*w + 95819 = -145382. Is w a composite number?
False
Is 318231/76*(2 - (-4)/(-6)) prime?
False
Let s = 479 + -99. Let c = s - 169. Is c prime?
True
Suppose t + 3*d = -227 + 85, d = -2. Let q be (13 + 12)/((-1)/t). Let l = q - 1817. Is l a prime number?
True
Suppose -l + 273 + 26 = 2*w, -4*w + 3*l = -603. Let k = w + 301. Is k a prime number?
False
Let x = 3 - 0. Let d(r) = 7*r + 4*r**2 - 16*r - 2*r**2 + x. Is d(-8) a composite number?
True
Let b(k) = -4*k - 2. Let o be b(-1). Let u = o - -11. Is u a composite number?
False
Let c(v) = -4*v**2 + 3*v - 1. Let m be c(2). Let k(q) be the first derivative of 2*q**3/3 + 15*q**2/2 - 3*q + 9. Is k(m) a composite number?
True
Let c(m) be the first derivative of -87*m**2/2 - 31*m - 19. Is c(-4) a prime number?
True
Let i = -7 - 9. Let p(g) = -g**3 - 13*g**2 + 20*g + 14. Let a be p(i). Suppose f = -3*l - 2*l + 787, 4*f - a = -3*l. Is l composite?
True
Suppose -3*w + 14709 = 4*u, 6*u = -4*w + 5*u + 19625. Is w composite?
True
Suppose 36*f + 4 = 38*f. Suppose 5*p - a = 452, -3 - 3 = -f*a. Is p prime?
False
Let c(f) = -f**3 + 2*f**2 + 6*f - 2. Let b be c(-8). Suppose 0*k + 5*k = b. Suppose -l + 329 = k. Is l composite?
False
Let y = 7 - 2. Suppose -5*v - t = -0*t - 1535, 4*t - 1520 = -y*v. Suppose 4*b + 0*b = v. Is b a composite number?
True
Let g = 5 + -5. Suppose 0 = -5*t - 4*s + 5535, g = 5*t - s - 202 - 5358. Let d = -434 + t. Is d prime?
True
Let y(u) = -u**3 + 9*u**2 + 23*u - 13. Let f be y(11). Suppose -5*t + 4725 = -1920. Is (-3)/f - t/(-6) prime?
True
Suppose 4*u - k - 533 = 0, 350 = 2*u - 3*k + 71. Let n = u - -31. Let x = -36 + n. Is x composite?
False
Let t = 97 + -68. Suppose 3*d + 122 = 5*z, 4*z + 5*d - t - 39 = 0. Is z a composite number?
True
Suppose -3*y + 15 = -0. Is (-6)/(2 - y) + 29256/8 a composite number?
False
Suppose 0 = -3*b + 8908 + 22679. Is b a prime number?
True
Suppose 2*z - 6 = 2*v - 4*v, v = 5*z - 9. Suppose -544 + 170 = -z*q. Is q prime?
False
Suppose -4*y = 3*c - 5*c - 1366, -5*c - 5*y = 3340. Let b = c + 1052. Is b prime?
True
Let z(x) = 1197*x**2 + 25*x + 7. Is z(-4) composite?
True
Let j(p) = -3*p**2 - 9*p + 6317. Is j(0) composite?
False
Let q = 20 + -19. Let b(g) = 195*g**3 - g + 1. Let p be b(q). Suppose 2*h - 5*h = -p. Is h a prime number?
False
Let t = -16 - -25. Suppose 2*d = -3 + t. Suppose d*c + 987 = 6*c. Is c a prime number?
False
Let d = 17 - 24. Let j = 8 + d. Let n = j - -18. Is n a prime number?
True
Suppose -q = 3*m - 12980, 3*m - m + 5*q - 8649 = 0. Is m prime?
True
Let q = 69 - 54. Suppose -q*y + 2714 = -13*y. Is y composite?
True
Suppose 192 = i + 2*j - 44, i = -j + 233. Suppose -i + 935 = a. Suppose y - a = -2*y. Is y a prime number?
False
Suppose -9*j - 819 = -10*j. Suppose -4*p - 163 = -j. Is (11 - 10)/(2/p) prime?
False
Let y(l) = -352*l**3 - l**2 - 11*l - 15. Is y(-2) a composite number?
False
Let a = -1620 - -3551. Is a composite?
False
Let h be (-8)/(-10)*15/2. Let z(c) be the first derivative of 18*c**2 - c + 22. Is z(h) a composite number?
True
Let b = -837 - -549. Let u = b - -505. Is u a composite number?
True
Let t(i) = 637*i**2 + i + 1. Let y be 6/4*16/(-24). Let d be t(y). Suppose -q - 5*c + d = 0, -4*c = 4*q - 1443 - 1137. Is q a composite number?
False
Let o(q) = q**2 + 6*q + 7. Let p be o(-6). Let c(g) = -2*g**3 - 5*g - 5. Let k be c