 5*y + 5*m + g, -y = -m - 124. Is y prime?
True
Let o(v) = -150*v + 7. Let u(z) = 75*z - 3. Let w(k) = 2*o(k) + 5*u(k). Is w(2) a composite number?
False
Let y(r) be the second derivative of 1/4*r**4 + r - 2/3*r**3 + 0 - 11/2*r**2. Is y(-10) composite?
True
Let d(c) = -25*c**2 + c - 19. Let j(s) = s. Let n(l) = -d(l) + 5*j(l). Is n(-12) a composite number?
False
Let b(z) = -47*z**3 - 5*z**2 - 34*z - 9. Is b(-6) prime?
False
Let t = -5989 - -11147. Is t prime?
False
Let w(k) = 228*k**2 + 47*k - 18. Is w(-5) a prime number?
False
Suppose -45690 = 205*z - 211*z. Is z a prime number?
False
Suppose -112109 = -4*y + 42567. Is y a composite number?
False
Let f = 6 - 3. Let t(p) = 25*p + 75. Let y be t(-3). Suppose y = -2*m - f*j + 175, -m - 4*j + 2 = -83. Is m prime?
True
Let m(n) = 2*n**3 + 3*n**2 - 2*n. Let c be m(-3). Let d = c - -26. Let p(w) = 3*w**3 - 9*w**2 + 9*w + 7. Is p(d) composite?
True
Let v = -1986 - -1079. Is v/(-1)*1/1 a prime number?
True
Let t(i) = i**3 - 3*i**2 - i + 3. Let p be t(4). Let m be (0 - -3) + p + -13. Is 5/25 + 1174/m a composite number?
True
Let d = 6059 - 3761. Let o = -1201 + d. Is o a composite number?
False
Let x = -207 - -635. Suppose -5*q - 20 = -5, m - 3*q = x. Is m a composite number?
False
Let i(r) = 38*r**2 - 3*r + 4. Suppose -5*z - 125 = 5*u, 3*u - 3*z + 9 = -48. Let q = -19 - u. Is i(q) prime?
True
Suppose -8 = 2*g, 3*l + g + 274 = -2*l. Let c be l/(-7) + 12/42. Suppose 4*p - 16 = 0, -3*t - 671 = -c*t - 4*p. Is t prime?
True
Let o(l) = -230*l - 17. Is o(-8) prime?
True
Suppose 0 = -36*y + 46268 + 225928. Is y composite?
False
Let t(p) = 3*p + 13*p - 2*p**3 + 10 + 3*p**3 + 7*p**2 - 2*p. Let j be t(-10). Let i = j + 689. Is i prime?
False
Suppose -13*f + 14*f - 1059 = 0. Suppose -4*n - f = -5*w + 1812, 563 = w + 2*n. Is w composite?
False
Let p be 4*(-3 + (-7)/(-2)). Suppose -p*a + 449 = -45. Let s = -154 + a. Is s a prime number?
False
Let a(z) = 217*z + 25. Let r(p) = 434*p + 49. Let n(c) = 11*a(c) - 6*r(c). Let j be (7 - 0)*(-24)/28. Is n(j) a composite number?
False
Suppose -276*x + 269*x + 5383 = 0. Is x a composite number?
False
Let k(t) = -74*t**2 - 14*t - 17. Let q be k(7). Let j = 5474 + q. Is j prime?
True
Let z be (1/(-4))/1 - (-13599)/12. Suppose 2*y - 4*x = 742, 2*x + z = 3*y + x. Is y a composite number?
False
Suppose 5*i - 9*i + 16 = 0. Suppose i*s - 252 = -2*j, 2*s - 84 = -2*j + 166. Suppose -d = d - j. Is d a prime number?
False
Let m(d) = 134*d**2 - 6*d + 10. Let k be m(4). Suppose 7*q - 2*q = -5*f + k, 4*q - 2*f = 1710. Is q composite?
True
Let o = -7287 - -10450. Is o composite?
False
Suppose -42 = -6*g - 0*g. Suppose -g*c = -4*c. Is (2 - c)*3832/16 prime?
True
Let y(w) = 11*w - 3. Let i be 12/15*(-10)/4. Let x(v) = 12*v - 2. Let q(p) = i*x(p) + 3*y(p). Is q(7) prime?
False
Let c(l) = -526*l - 196. Is c(-17) composite?
True
Let a(z) = -309*z - 7. Suppose 2*s + 20 = -8*s. Is a(s) a prime number?
False
Suppose 111*f - 106767 = 102*f. Is f a prime number?
True
Let g be (16/12)/(6/(-9)) + 4. Let v(x) = 156*x**3 + 6*x - 3. Is v(g) a composite number?
True
Let d be (-84)/(-18) + 1 - 2/(-6). Suppose p = -d*p + 40453. Is p a composite number?
False
Suppose o - 10 = -o. Suppose 6*j - 4 = 5*j. Suppose -o*a + 3*z - z = -1891, 3*a - 1129 = j*z. Is a a prime number?
True
Let s(v) = -15*v - 4. Let c be (-7 + 6)/((-1)/(-3)). Let g be (c/(-9))/((-1)/15). Is s(g) a prime number?
True
Suppose -23*k + 18116 = -19*k. Is k a prime number?
False
Suppose x - 9*t = -5*t - 2, -5*t + 5 = 0. Suppose 959 = -n + x*n. Is n a composite number?
True
Suppose -10*n + 97 = 27. Suppose 0 = n*y - 2*y - 4265. Is y composite?
False
Let j(z) = -z**2 + 6*z + 10. Let w be j(7). Suppose -3*n - w = -6. Is n/(2/338 + 0) a prime number?
False
Suppose -26 - 24 = -2*b. Suppose -b*p + 347 = -24*p. Is p prime?
True
Let l = 31 + -28. Let h be (l - 2)/(3/6). Suppose 0*d = 3*d + h*g - 165, 51 = d + 2*g. Is d a prime number?
False
Let d = 45 - 75. Let l = -35 + d. Is (-9045)/l - 2/13 a prime number?
True
Let f(g) = 90*g**2 + g - 1. Let y(n) = 5*n - 1. Let s be y(1). Let d = -2 + s. Is f(d) a prime number?
False
Let x(j) be the third derivative of 43*j**5/60 - 5*j**4/24 + 5*j**3/6 - 3*j**2 + j. Let b be (-1)/3*1*-12. Is x(b) composite?
False
Let l = 8 - 18. Let j = l + 8. Is (0 - (j - 1))/1 prime?
True
Let q(o) = o**2 + 9. Suppose 0*r + 16 = -2*r. Let w be q(r). Suppose 4*h - 669 + w = 0. Is h a composite number?
False
Let a = -3 + 9. Suppose -a*r + 1025 = -r. Suppose 0 = 2*p - r + 51. Is p composite?
True
Let i(s) = -s + 10. Let t be i(7). Let r(q) = 16*q**2 - 4*q - 1. Is r(t) prime?
True
Let u = -407 - -748. Suppose -4*j - 8 = -2*b - 0*j, -4 = -b + 4*j. Suppose -b*a + 469 = 3*w, -4*a - u - 5 = -2*w. Is w a prime number?
True
Let x(p) = 16*p - 13. Let b(d) = 0 + 3*d**3 - 2*d**2 - 4*d + 0 + 2*d. Let z be b(2). Is x(z) composite?
False
Let k(i) = 6*i**3 + 19*i**2 - 18*i - 19 + 10*i**3 - 15*i**3. Is k(-14) prime?
True
Let t = -30 + 24475. Is t a prime number?
False
Let l(t) = 10*t**2 + 8*t - 3. Let s(i) = -i**2 - i. Let x(y) = -l(y) - 6*s(y). Let r be x(-3). Let h = r + 86. Is h composite?
False
Suppose 0 = 5*n + n. Suppose p + n*p = -3*k + 1331, -4*k + 5*p + 1762 = 0. Is k prime?
True
Let f(d) = -d + 26. Let g be f(17). Suppose 6*c + 3513 = g*c. Is c composite?
False
Suppose -n + 40 = 4*n. Suppose 13*i = 9*i + n. Is 2 + i + 265/1 prime?
True
Suppose -792 = -2*b + 2*k, 0 = -5*b - k + 2559 - 609. Suppose -2*l + b = -l. Is l prime?
False
Let v be 12/((-6)/9 - (-5)/(-6)). Let s(h) be the third derivative of -9*h**4/8 - 13*h**3/6 - 2*h**2. Is s(v) prime?
False
Let d = -11 - 7. Let t = d - 111. Let o = 34 - t. Is o a prime number?
True
Let a = -3338 + 5749. Is a prime?
True
Is 1411180/110 + 3/33 a prime number?
True
Suppose 0 = 2*t - 7*q + 4*q - 12, 5*q = 0. Suppose 2*h - t*h = 0. Let x(c) = c + 541. Is x(h) composite?
False
Is (-20)/15 + 120905/(-60)*-4 prime?
True
Let j(g) = -g**2. Let b(i) = 37*i**2 + 3*i - 7. Let v(l) = b(l) - 6*j(l). Is v(-4) a prime number?
False
Let o = -9341 - -16078. Is o prime?
True
Let o be (-10)/25 + 2 + 58194/(-15). Let c = -2101 - o. Is c composite?
False
Suppose 0*w = -5*w + 10. Suppose 0 = -3*v + p + 626, -2*v - w*p + 233 = -187. Is v composite?
True
Suppose 5*w - 110 = -5*s, -4*s + 77 = -4*w + 5. Is 165/s - (-6)/8 a composite number?
True
Let i = -93 + -186. Let d = 698 + i. Is d a prime number?
True
Let r be 16/(-12)*(2 - 254). Let k = -88 + r. Suppose 2*h - k = 366. Is h a prime number?
True
Let u(c) = -5*c**3 - 16*c**2 - 17*c. Let h = 4 + -13. Let y(l) = -l**3 - 4*l**2 - 4*l. Let i(q) = h*y(q) + 2*u(q). Is i(-3) prime?
False
Let j = 1672 - 417. Is j composite?
True
Suppose 36114 + 5858 = 28*k. Is k prime?
True
Let u = -13 - 741. Let a = u - -1253. Is a prime?
True
Let d(z) = 56*z**3 + 3*z**2 - 3*z. Suppose -5*m = 5*j - 8 - 17, 5*m - 3*j = 1. Let c be d(m). Let r = c + -245. Is r composite?
True
Let a(o) = 3675*o + 32. Is a(2) composite?
True
Suppose -1883 = 6*n - 35. Let v = 459 - n. Is v prime?
False
Let r(n) be the first derivative of -13*n**2 + n + 11. Let u be r(1). Is (-2701)/(-5) + (-20)/u a composite number?
False
Suppose 5*g - 31130 = 5*h, -24901 = -6*g + 2*g + 5*h. Is g a composite number?
False
Suppose -5*d = 2*w - 4*w - 40, -5*w = -d + 54. Is (-2331)/(-4) - w/40 composite?
True
Let b(j) = 25*j**2 - 19*j + 67. Is b(-27) composite?
True
Suppose -4*b + 3*w + 25142 = 0, 0 = -8*b + 11*b + 5*w - 18871. Is b prime?
True
Let g = -4420 + 2207. Suppose -12*n + 0*n - 7800 = 0. Let l = n - g. Is l a prime number?
False
Suppose -4*i - 34 = -5*w, 3*w - 11 = -5*i + 2. Suppose -31 = -g + w. Let y = g + 37. Is y a prime number?
False
Suppose 0 = -3*l + 6*l. Let c be -1 - -2 - -3 - l. Suppose c*t + 372 = 8*t. Is t composite?
True
Is 2 + -8 + 3 - (-1 - 143) a prime number?
False
Let u(o) = 46*o + 941. Is u(-20) a composite number?
True
Let x(u) = -u**3 - 9*u**2 + 4*u - 8. Suppose a + 14 = 6. Let o be x(a). Let b = -69 - o. Is b a composite number?
True
Let n(m) = m - 3. Let a be n(18). Suppose -11*h = -a*h + 796. Is h a composite number?
False
Suppose 112774 = 18*n - 43160. Is n prime?
True
Let k = 22011 - 7610. Is k a prime number?
True
Let b be -20 + -5 + 7 + -3. Let c = b - -208. Is c composite?
True
Suppose 7*q =