t y be (2/(-4))/((-4)/40). Let q(x) = 7*x**2 - 5*x - 1. Is q(y) prime?
True
Let t be (4 - 7)*7/(-3). Suppose -4*p - t = 1. Is (159/(-6))/(p/28) a prime number?
False
Let q(f) = -52*f + 7. Suppose -x - 5*v - 23 = 0, -2*x + 2 + 0 = -2*v. Is q(x) a prime number?
True
Let k be (-5 - -4 - -19)/(3 - 1). Suppose k*v - 844 = 5*v. Is v a prime number?
True
Is 14942/(0 - -1)*(-7)/(-14) a prime number?
False
Suppose -2*x + 28 = -4*a, -2*a + 26 = 5*x - a. Suppose x*k - 19936 = k - 3*t, 0 = -2*t - 6. Is k a prime number?
True
Let d = -85 + 81. Is (-2 + (-1364)/12)*84/d a composite number?
True
Is (-16)/(-8) - 2437*(-6 - -1) a composite number?
True
Suppose 1690 = 4*z + 2*t, -8*t = 4*z - 3*t - 1693. Is z composite?
True
Suppose -621 = -0*p - 3*p - 2*o, 621 = 3*p + o. Let l = -118 + p. Is l a composite number?
False
Suppose 282251 = -2*b + 19*b. Is b composite?
False
Suppose 4660 = 230*l - 220*l. Is l a prime number?
False
Suppose -15 = -3*t - 2*t. Suppose t*x - 1586 = -2*x + 3*v, 4*v + 945 = 3*x. Is x a composite number?
True
Let o = 148 - 100. Suppose -126 = -2*j - 4*m, j - 2*m + 5 = o. Is j prime?
True
Let u = -440 - -675. Suppose -2*k = 2*k + 488. Let m = u + k. Is m a composite number?
False
Suppose 3930 + 4954 = 4*u. Is u a composite number?
False
Suppose 11*d - 4554 = 8*d - 3*l, -4*l + 4559 = 3*d. Is d composite?
True
Suppose -6*y + 2*t = -3*y - 37, t = -5*y + 53. Let z(b) = -b**2 + 8*b - 7. Let a be z(8). Let w = a + y. Is w a prime number?
False
Let l(u) = -156*u + 77. Is l(-54) prime?
True
Let i be 2 + 15/(-5) + 270. Let a = i - -272. Is a prime?
True
Let k(u) = 370*u + 77. Is k(20) a composite number?
False
Let y(u) = 4*u - 1. Let w be y(2). Let t be w - -4*(-1)/4. Is t/10 - 1446/(-15) a composite number?
False
Suppose 0 = -7*b - 12708 - 34024. Is 6/(-10) + (b/10)/(-1) a composite number?
True
Is (-2 - 1) + (-8)/(-4) - -3224 prime?
False
Let k be (-2*10491/(-7))/(1/7). Let w be (-2)/(-2) + 16 + -2. Is k/w + 1/5 composite?
False
Let n = 576 + -281. Is n a composite number?
True
Let r = 40 - 40. Suppose -4*z + j + 1003 = r, -2*j + 758 = 3*z + 3*j. Is z prime?
True
Suppose -15*l - 6*d - 27220 = -19*l, 0 = -5*l - d + 34025. Is l prime?
False
Let b be (0/(-2))/(5 + -3). Let f be -53 - -4 - (b + 1). Let a = f + 109. Is a a composite number?
False
Suppose m = -2*m - j + 963, 0 = 5*j. Suppose b - 95 = -2*s, -5*s + 2*s = -3*b + m. Is b a composite number?
False
Let w be -4 - (-2700)/(-1 + 6). Is 6/(-4)*w/(-6) composite?
True
Suppose -10 + 14 = 2*k. Suppose -k*i - 25 = 3*i, -4*h = 4*i - 24. Is h a prime number?
True
Let x(h) = h**3 + 6*h**2 - 7*h - 2. Let w be x(-7). Let g(o) = 6*o**2 + o + 2. Let s be g(w). Suppose -s = 3*c - 90. Is c a composite number?
True
Suppose -4 = 4*q, 0 + 11 = 5*a + 4*q. Suppose -4*o = -a*o - 25. Is o prime?
False
Suppose 3*q + 2*n - 1840 = 2*q, -3*n + 3679 = 2*q. Is q composite?
True
Let b(m) = -5*m**3 - m**2 + m + 1. Let z be b(-1). Suppose -z*p + 0*x + 1849 = -3*x, 3*x + 929 = 2*p. Suppose g = -3*g + p. Is g prime?
False
Let y(s) = -s - 1. Let n(w) = 203*w - 2. Let u(i) = -n(i) + y(i). Is u(-3) a composite number?
False
Let d be (-11)/(-5) - (-5)/(-25). Suppose d*i + 2*c - 80 = 0, 2*i = -6*c + 2*c + 86. Is i prime?
True
Let r(a) = -22*a - 1. Let b be r(-2). Suppose -b = 3*o - i, 46 = -5*o + i - 29. Let y(s) = s**3 + 17*s**2 - 19*s + 3. Is y(o) prime?
True
Let p(r) = -r**2 - 3*r - 1. Let y be p(-2). Let v be y*(-4 + (-1 - 2)). Let h(f) = 5*f**2 + 9*f + 9. Is h(v) composite?
False
Let t be (4 - (1 + -164))/(-1). Let o = t - -548. Suppose 3*l + o = 6*l. Is l prime?
True
Suppose 2 = w - 0*w. Suppose -3*a = z + z - 144, -a - w = 0. Let s = -8 + z. Is s a prime number?
True
Let l(p) = -534*p**3 - 6*p**2 - 2*p - 5. Let a(c) = c**3 - c**2 - 1. Let x(f) = 6*a(f) - l(f). Is x(1) a composite number?
False
Let w(i) = 108*i**2 - 2*i - 4. Let r be w(4). Suppose 4*y - 1425 = 3*a, 3*a + 0*a - 2*y = -1425. Let p = a + r. Is p a composite number?
True
Let o(d) = -d + 1. Let q(b) = 5*b - 5. Let g(j) = 9*o(j) + 2*q(j). Let w be g(3). Suppose -w*y = -5*c - 1765, -y - 2*y - c = -2690. Is y prime?
False
Let v = -15 - -16. Let y(c) = -873*c**3. Let o be y(v). Let z = o + 1240. Is z a prime number?
True
Let c be 0*((0 - -3) + -2). Is c + 3 + -4 + 143 composite?
True
Let h(r) = -r + 17. Let g be h(11). Let s be 1176/6*g/(-8). Is (-14)/(-21)*s/(-2) a prime number?
False
Let k(b) = 45*b - 3. Let r be k(3). Suppose 5*h - 317 = -r. Is h composite?
False
Let j(g) be the third derivative of 4*g**4 - 5*g**3/6 - 19*g**2. Let n = -1 + 3. Is j(n) a prime number?
False
Suppose -2*u = 2*w - 806, -3*u + 4*u - 415 = 2*w. Is u a composite number?
True
Let n(k) = 25*k**3 - 11*k**2 - 10*k - 9. Is n(8) composite?
False
Suppose 21 = 6*u - 9. Suppose u*y + 109 = 6*y. Is y prime?
True
Let a = -25 + -3. Let s = 23 - a. Is s a composite number?
True
Let y(x) = -x**2 + x + 2180. Let l be y(0). Suppose 5*v = 9*v - l. Is v composite?
True
Let c(g) = -3*g + 673. Let n = -10 + 10. Is c(n) prime?
True
Let r(n) = -4*n**3 + 8*n**2 + 4*n - 7. Let t be r(8). Is (-2)/(6046/t - -4) a prime number?
True
Suppose -5*z = -2*v - 16938, -14695 = -3*z - v - 4541. Is z a composite number?
True
Let i(c) = -3*c**2 + 2*c + 28. Let z(k) = -3*k**2 + 3*k + 29. Let p(d) = 3*i(d) - 4*z(d). Is p(-13) a composite number?
True
Is ((372790/20)/(-11))/(2/(-20)) composite?
True
Let h(v) = 94*v + 51. Let d = 120 - 91. Is h(d) a composite number?
False
Suppose -4*w + 6841 = -3*w - 5*b, b = -5*w + 34335. Is w composite?
True
Suppose 9*n - 25255 = -d + 11*n, -5*n = -d + 25252. Is d prime?
False
Let t(b) = 382*b**2 - 11*b + 25. Is t(2) prime?
True
Let m = 6 - 2. Suppose -m*u - b + 1029 = 0, -266 - 501 = -3*u + 4*b. Is u composite?
False
Suppose 0 = p - 3*o - 26654, 2*o + 3*o = -25. Is p a prime number?
False
Let m(b) = 152512*b**2 - 2*b + 5. Is m(-1) a prime number?
True
Let x(j) = -j**3 - j**2 + j + 3. Let w(l) = l**2 - 2*l**2 + 6*l - 3*l + 0*l. Let t be w(4). Is x(t) composite?
False
Suppose -47*q + 52*q = 2*r - 176087, 0 = -5*r + q + 440252. Is r composite?
True
Let p(y) = -y**2 + y + 2. Let v be p(2). Let r be 184 - (v - 2 - -5). Suppose 0 = -3*b - 5*u + r, -2*b + u = -b - 71. Is b composite?
False
Suppose -25*q - 26*q = -1114401. Is q a prime number?
True
Let o be (-6)/9 - 1/3. Is (155/(-15))/(o/51) prime?
False
Let k(f) = 1814*f**2 + f + 1. Is k(-1) composite?
True
Let z = -172 + 151. Let o(d) = d**3 + 23*d**2 + 19*d + 28. Is o(z) composite?
True
Let o(c) = -13*c + 2. Let t be o(-9). Let h be (-2 - -4)*(1 - -46). Let y = h + t. Is y a composite number?
True
Let i(u) be the second derivative of 0 - 1/2*u**2 + 10*u + 244/5*u**5 + 1/6*u**4 + 0*u**3. Is i(1) prime?
True
Let l = 323 + -223. Suppose a + l = 543. Is a a prime number?
True
Suppose -2*r = -2*h - 22, -2*h - 3*h - 25 = 0. Suppose -r*m + 8477 = 1571. Is m prime?
True
Let q(c) = 8546*c**2 + 2*c. Let o be q(-1). Suppose 4*y + o = -0*y. Is 1/(-5) + y/(-30) a prime number?
True
Let v(p) = -p - 3. Let i be v(-5). Suppose 3*f = -i*f + 1295. Is f a composite number?
True
Suppose y - 5686 = 11629. Is y a composite number?
True
Let q(k) = 10*k**3 + 5*k**2 - 5*k - 155. Is q(9) prime?
False
Let c(t) = 18*t**2 - 4*t - 12. Let o be c(-6). Suppose -5*q + 1265 = 2*m, 3*q - 78 = 3*m + o. Is q a composite number?
False
Let l(k) be the second derivative of 5*k**4/4 - 3*k**3 - 43*k**2/2 + 21*k. Is l(-10) a prime number?
True
Suppose 5*n = p, -n - p = -3*p. Suppose 2*u - 5*o - 5051 = n, 2*o + 0*o + 10062 = 4*u. Is u prime?
False
Suppose -8*c + 59579 = -79645. Is c composite?
True
Let b be (-6)/((30/(-4))/5). Suppose -m = 2*f + 4*m - 190, b*m = -4*f + 380. Is f composite?
True
Suppose 0 = -2*m - 2*m - 12, -4*c - 3*m = -20555. Is c prime?
False
Let v = 400 + 262. Is v composite?
True
Is (-160)/640 + (-111642)/(-8) composite?
True
Suppose 3*n = 2*b + 10527, 17570 = 5*n + b + 4*b. Is n a prime number?
True
Suppose -6*c + 16*c - 24370 = 0. Is c a prime number?
True
Let v(b) = 102*b**2 + 20*b - 981. Is v(23) a prime number?
True
Let g(f) = f**3 + 22*f**2 - 4*f + 8. Is g(-15) a prime number?
False
Let l = 83 + -80. Suppose l*z + 1931 = 2*g + 9352, 0 = -4*z - 4*g + 9888. Is z composite?
False
Let o(x) be the first derivative of x**5/4 + 5*x**4/12 - x**3/6 - 5*x**2/2 - 9*x - 6