-m**3 + m**2 - 6*m + 9. Is t(-10) composite?
True
Suppose -2149 = -8*k + 2723. Suppose 32*z + k = 35*z. Is z composite?
True
Let q(w) = 1299*w + 2. Let f be q(1). Suppose 4*t - f = 263. Is t composite?
True
Let p(a) = 8*a**2 + 8 + 7*a**2 + 10*a + 3 - 4*a. Is p(6) a composite number?
False
Let b(k) = -5693*k + 37. Is b(-4) prime?
False
Let l be (-24)/(-14) - 6/(-21). Suppose 645 = l*k + 5*s, -404 = -2*k + 4*s + 286. Is k composite?
True
Suppose 0 = 4*c - s + 317, 2*s + 214 = -3*c - 2*s. Let n = 190 + c. Suppose 3*d + d - 139 = -t, 5*d = t - n. Is t a composite number?
False
Let v(c) = 8*c**2 + c + 2. Let u be (-2)/((-8)/(-60)) + 2. Let s = u - -16. Is v(s) a prime number?
False
Suppose 12887 - 65946 = -z. Is z a composite number?
True
Suppose -7*o = -5*o - 4. Suppose -3*y = 4*p - 1121, -o*y + 2*p + 746 = 4*p. Is y composite?
True
Suppose 6 = -3*g - 0*g. Let y = g + 6. Suppose -117 = -m - 2*q, -3*q - 473 = -y*m - 6*q. Is m composite?
True
Let m be (4992/66)/2 + 4/22. Let z(g) = 3*g**2 + 7*g - 1. Let s be z(5). Suppose 3*o + 2*t - s = 0, -t = -0*o - o + m. Is o a prime number?
True
Suppose -2*l + 1 + 15 = 0. Let f(h) = h**3 - 5*h**2 - 10*h + 3. Is f(l) a prime number?
False
Suppose -3*m - s = 41, 2*m - 5*s = -2*m - 23. Is 2/3 + (-1516)/m prime?
True
Let u(w) = 3*w**3 - 63*w**2 + 16*w + 51. Is u(23) composite?
False
Is 8287*((2 - -4) + -5) composite?
False
Let p(q) = 2*q + 7. Suppose -32 = d + 3*d. Let x be p(d). Is 127/3 - 6/x prime?
True
Let c = -77 + 80. Suppose 5*r = c*l + l - 1197, -3*l + 5*r + 904 = 0. Is l a prime number?
True
Suppose -4*p + 2*o + 2870 = -5544, -p - 2*o + 2091 = 0. Is p a prime number?
False
Suppose -5 - 7 = -3*c. Let i(n) = 21*n - n**2 - c + 24 - 42*n. Is i(-14) prime?
False
Let r(k) = 2 - 10 - 3*k + 7 - 4*k - 4*k. Suppose -4*i - 12 = -3*i. Is r(i) prime?
True
Suppose -9*x = -20*x + 8679. Is x a prime number?
False
Suppose 2*c - 1717 = c. Is c a prime number?
False
Let c(k) = 1748*k + 245. Is c(7) composite?
True
Suppose 6*h = 5*h + 3162. Suppose -8*g + h = -5774. Is g a composite number?
False
Let o(s) = -53*s + 95. Is o(-8) prime?
False
Suppose -28 = -3*f - 19. Suppose 2*y + 2*t - 1970 = 0, f*y + 2*t - 3624 = -669. Is y prime?
False
Let y = 5 + 1. Let g(x) = 3*x**2 - x**2 + 2*x**2 + 1 - 3*x. Is g(y) composite?
False
Let s(w) = 9 - 16*w - 33*w + 15*w. Is s(-5) a prime number?
True
Suppose 16719 + 24165 = 4*z. Is z composite?
True
Let k be 54/15 - 8/(-20). Suppose -k*u + 18 = -10. Let b(s) = 3*s**3 - 9*s**2 - 4*s + 5. Is b(u) a composite number?
True
Let a be (13/3)/(1/6). Let o = 18 - 29. Let q = a + o. Is q a composite number?
True
Let n be (6/4)/(2/4). Suppose -n*m = 2*m. Suppose 2*y + 3*y - 155 = m. Is y a prime number?
True
Let d(u) = -u**3 + 3*u + 2099. Is d(0) prime?
True
Suppose 0*s - 4*s + 140 = 4*r, 0 = 5*r + 3*s - 177. Is (-8)/r - ((-23638)/18 + -2) composite?
True
Suppose h - 278 = 699. Is h composite?
False
Let o = -107 + 110. Let j(u) = 51*u**3 + 2*u**2 - 5*u + 1. Is j(o) a prime number?
True
Suppose 0 = -8*f + 39*f - 18228. Let x(w) = w**2 - w - 329. Let t be x(0). Let h = t + f. Is h composite?
True
Let m(r) = 1122*r - 317. Is m(8) prime?
False
Let r(d) = d**3 - 4*d**2 - 5*d + 2. Let b be r(5). Suppose -11*i + 7*i = -744. Suppose -k + 5*s = -b*k + i, -3*s + 379 = 2*k. Is k prime?
True
Let w(z) = 39*z - 3 - 6 - 1. Let i = -29 + 34. Is w(i) composite?
True
Let h(c) = -28*c + 6. Suppose 4*m = 9*m - 30. Let f be 15/(-10)*8/m. Is h(f) prime?
False
Let h(n) = 7*n**2 + 4*n - 6. Let l(g) = -g**3 + 6*g**2 + 2*g + 24. Let s be l(7). Is h(s) composite?
False
Let a(z) = -z**2 - 30*z - 40. Let o be a(-16). Suppose 5826 - o = 2*p + 4*x, p - 3*x = 2806. Is p a prime number?
False
Suppose -4 = -3*g + 8. Suppose -3*t = -g*t - a + 161, -2*t + 3*a + 312 = 0. Is t a composite number?
True
Let h = 81703 + -48270. Is h a composite number?
True
Let u = 64776 - 45155. Is u composite?
True
Let s(k) = k**3 - 3*k**2 + 10*k + 8. Is s(7) a composite number?
True
Suppose 0 = -t + 113110 + 40881. Is t composite?
False
Let x(f) = 11300*f**2 - 6*f - 3. Is x(-1) composite?
True
Suppose -4*u + 68 = -20. Suppose -28*m + u*m + 2334 = 0. Is m composite?
False
Let k(y) = -1124*y - 105. Is k(-13) a composite number?
True
Let r = -31 + 200. Suppose -q + r + 554 = 0. Is q prime?
False
Let m(t) = -2*t**3 + 6*t**2 + 13*t - 47. Is m(-12) prime?
False
Suppose 23*c = 86849 + 65802. Is c a prime number?
True
Suppose -4*b = -5*j + 78775, 0*b - 20 = 4*b. Is j a composite number?
True
Let v(s) = 14*s. Let b be v(-5). Let u be b*(-3 + (-1)/(-2)). Suppose 5*m - 520 = u. Is m prime?
True
Suppose 5*q = 33 + 47. Suppose q*i = 17*i + 88. Is -3*(i - -1) - -4 a composite number?
True
Is 3/((-6)/(-7928)) - -3 a composite number?
False
Let h = 31 + -26. Suppose 0*a - 5*n = -2*a, 4*a = -h*n + 30. Suppose a*v - 9*v = -1948. Is v a prime number?
True
Let f = 21618 + -1805. Is f composite?
False
Let h = 75243 + -52150. Is h a prime number?
False
Is 1 + 148*1 + 22 + -22 a composite number?
False
Let l(i) = -5*i + 14. Let c be l(4). Let g(v) = -v**3 + 11*v**2 + 4*v - 1. Is g(c) a composite number?
False
Let n(t) = -122*t**2 + 6*t. Let p be n(4). Let a = p + 1103. Let m = a + 1276. Is m composite?
True
Let m(c) = -c**3 + 6*c**2 + c - 4. Let r be m(6). Suppose -r*x + x + 770 = 3*h, 528 = 2*h - 3*x. Suppose 94 = -2*o + h. Is o prime?
False
Let b(m) = 5*m + 3*m**2 + 4*m**2 - 8*m**2 - 3. Let y be b(3). Suppose -y*q = -5*q + 370. Is q a composite number?
True
Let z = 69 - 64. Suppose z*k - 3*k - 1584 = 2*c, -c = -4*k + 3183. Is k a composite number?
False
Let s(z) = 2*z**2 - 8*z - 83. Is s(-21) prime?
True
Suppose 0 = -3*p - 0*z + 3*z + 9, 0 = 4*p + 5*z - 30. Suppose -p*s = s - 5442. Is s a composite number?
False
Let h = -28 - -30. Let o = -2 - -3. Is 100/h + 3*o a composite number?
False
Suppose -20*p = -174638 + 13498. Is p prime?
False
Let p(b) = 73*b + 16. Suppose 9 = -3*j, -k - 4*k + 48 = -j. Is p(k) a prime number?
True
Is 2218/3*51/34 prime?
True
Let s = -21029 + 32480. Suppose 2*v - s = -v. Is v prime?
False
Let f = 462 + 17. Is f prime?
True
Let x(l) = -4 - l - 6 + 2*l - 3*l. Is x(-16) composite?
True
Suppose -2*j = -2*n - 12774, 2*j - 18*n = -17*n + 12772. Is j prime?
False
Let b(a) = -a**3 - 7*a**2 - 4*a + 8. Let l be b(-5). Is 1128/5 + l/(-55) a composite number?
True
Let z(g) = 5 + 0*g + g + 3*g + 2*g**2. Let y be 18/(-4) + 7/98*7. Is z(y) prime?
False
Let n be (-65)/13 + (1 - 0). Is (n - (-4 + 2)) + 289 composite?
True
Let i = -17592 - -25289. Is i prime?
False
Let a(k) be the second derivative of -2*k**3 - k**2/2 + 4*k. Let p be a(-2). Suppose p + 30 = m. Is m a composite number?
False
Suppose 15 = 2*v + 21. Is (-428)/(-4)*(-3)/(2 + v) a composite number?
True
Let w(y) = -86*y**3 + 6*y**2 + 11*y + 1. Is w(-4) composite?
False
Suppose 5*t = 5435 + 4310. Is t prime?
True
Let u(h) = -209*h - 95. Let a(p) = -70*p - 32. Let i(k) = 8*a(k) - 3*u(k). Is i(10) prime?
False
Let p(l) = 5*l - 10. Let j(v) = -v - 7. Suppose 100 = -5*z + m + 40, 5*m - 25 = 0. Let q be j(z). Is p(q) composite?
True
Let n(l) be the second derivative of -l**4/12 - 2*l**2 + 8*l. Let v be n(-4). Is v/(-10)*145/2 a composite number?
True
Let y(p) = -3*p**3 + 7*p**2 + 43*p - 1. Is y(-8) a prime number?
False
Let i = -13 - -17. Suppose -88 - 788 = -i*v. Is v prime?
False
Let n = 24 + -20. Suppose -3*c + 5*s + 2679 - 118 = 0, -3*c = -n*s - 2557. Suppose 2*t = -29 + c. Is t a prime number?
True
Let x be 36046/4 - 4/(-8). Suppose -s = s + x. Is s/(-18) + (-4)/(-6) a composite number?
False
Let o = 166 + -91. Let h = o + 43. Is h a prime number?
False
Let h = 153 + -70. Suppose -135 + 423 = -8*u. Let x = u + h. Is x composite?
False
Suppose -34*o + q = -39*o + 13000, 3*o - 7817 = -4*q. Is o prime?
False
Suppose 3*l - 10839 - 6702 = 0. Is l a composite number?
True
Let w(k) = 910*k**2 + 2*k + 7. Is w(3) composite?
True
Suppose 0 = -2*l - 2*u - 4, -5*l + u - 3*u = 4. Let t be l + (3 - 2)*5. Suppose t*n - 481 = 304. Is n a composite number?
False
Let o(y) = -2818*y**3 - 2*y**2 - 4*y - 1. Is o(-1) prime?
True
Let z be (-54)/24 + 2/8. Is z/8 + 2 + (-9354)/(-8) a prime number?
True
Let l = 157 - 30. Is l composite?
False
Let r = 41 + -36. Suppose -q = r*w - 49, 2*q - 3*w = 2*w + 53. Is q prime?
False
Let n