t s = -40 + g. Is s prime?
False
Let i(z) be the second derivative of z**5/20 + z**4 + 9*z**2/2 - 15*z. Let x be i(-12). Is (((-3165)/x)/(-5))/((-3)/(-27)) composite?
True
Let y(q) = -22*q**2 - 17*q + 56. Let z be y(4). Let v(k) = 4*k**3 + 3*k**2 + 2. Let s be v(-4). Let b = s - z. Is b a composite number?
True
Let n(i) = i. Let y(b) = 38 + 33 - 400*b - 12. Let t(h) = 2*n(h) + y(h). Is t(-15) a prime number?
True
Let h(m) = 16*m**2 + 9*m + 7. Let a(r) = r**3 + 6*r**2 + 3. Let s be a(-6). Suppose 4*u = -s*x - 34, 8*x = 3*x - u - 34. Is h(x) prime?
False
Let m = -47 + 624. Suppose 7565 = 3*f - m. Is (-1)/6*-3*f composite?
True
Let z(b) = 274*b**2 - 4*b - 211. Is z(-12) a prime number?
True
Let g(o) = o**3 + 14*o**2 - 32*o - 7. Let k be g(-16). Let w(j) = 50*j**2 - 3*j - 42. Is w(k) composite?
True
Let u(g) = -g**2 + 1. Let k(m) = 10*m**2 - 9*m - 7. Let j(v) = -k(v) - 2*u(v). Let o be j(-3). Let f = 221 + o. Is f a composite number?
False
Suppose 5*j + 362*j - 242047877 = 0. Is j a composite number?
False
Let p(x) = -x**2 - 19*x - 28. Let k be p(-17). Suppose 7*d + 8 = k*d. Is (-10900)/(-16) - -2 - (-2)/d composite?
False
Is 1/(8/(-48) - ((-146863)/51798)/17) a composite number?
True
Suppose 322759 = 4*q - 3*y, -q + 13*y - 10*y = -80692. Is q prime?
False
Let n(d) = 2285*d**2 + 505*d + 7. Is n(6) composite?
False
Suppose -5*j + 55*m - 58*m = -272596, 0 = -4*j + 2*m + 218090. Is j a composite number?
False
Let l(s) = s**3 - s**2 + 1. Let k be l(-1). Let h be -990*k/((-10)/(-15)). Suppose -h = -7*m - 92. Is m a prime number?
True
Let c = 134941 - -78162. Is c composite?
True
Let p = 51813 + -30934. Let d = p - 10290. Is d a prime number?
True
Let o = 263 + -260. Suppose -z - 6*u = -u - 18873, -2*z + 37732 = o*u. Is z a composite number?
True
Let s(z) = -294*z**3 - 2*z**2 - z. Let u(b) = -10*b - 71. Let x = 104 + -111. Let t be u(x). Is s(t) a composite number?
False
Suppose 2 - 10 = -4*h, -3*h = -3*a - 18. Let q(b) = -5680*b + 49. Is q(a) a prime number?
True
Let v = -534 - -556. Suppose v*c - 9635 = 17*c. Is c prime?
False
Let f(v) = 72*v**2 - 8*v - 19. Let g be f(6). Let o = 218 + g. Is o a composite number?
True
Let n(i) = 6*i - 32. Let p be n(6). Suppose 4*v + p*t + 300 = 0, 2*v = -v + 2*t - 220. Is ((5 - 1) + -78)*v/4 a composite number?
True
Let j(h) = 19*h - 12 - 37*h + 83*h**2 + 20*h. Is j(-5) composite?
False
Let o(d) be the second derivative of -11/3*d**3 - 7/2*d**2 - 3*d + 0. Is o(-3) a prime number?
True
Let q(n) = 376*n - 71. Let i(j) = -j - 1. Let v(f) = 3*i(f) - q(f). Is v(-7) a prime number?
False
Let b be ((-32341)/(-3) + 2/3)/1. Suppose -r - f + 5386 = 0, -r = -3*r - 5*f + b. Is r a composite number?
True
Let f(q) = -q**3 - 4*q**2 + 3*q + 10. Let j(o) = 2*o**3 + 4*o**2 + 3*o + 2. Let z be j(-2). Let g be f(z). Is ((-43)/g + 0)/(2/44) a composite number?
True
Suppose 0 = 3*t - 2*k - 5, -k + 14 = 5*t - 16. Suppose 4*w - 1110 = -t*n, 472 = 2*n + 6*w - 10*w. Is n prime?
False
Let v = -2310 + 1268. Let x = v + -548. Let a = 3229 + x. Is a composite?
True
Let x = -32 - -33. Suppose 3*i - x - 5 = 0. Suppose 2*b = -b + 15, -i*b + 1335 = 5*k. Is k a prime number?
False
Let v be -6*-18*1/(-2). Let u be 12/v - (-4934)/9. Let q = 1075 - u. Is q composite?
True
Let i(l) = 2*l**2 - 5*l - 5 + 560*l**3 + 0*l + 7*l. Is i(1) prime?
False
Let x = -4331 - -6240. Is x a prime number?
False
Suppose -295*f + 4*m - 1272251 = -300*f, -1017796 = -4*f - 2*m. Is f a prime number?
True
Let v = 9957 - 14110. Suppose -9*n + 2450 + 2734 = 0. Let f = n - v. Is f a composite number?
False
Let o(t) = t**3 - t + 11. Let w be o(0). Let s(a) = a**2 + 8*a - 46. Is s(w) prime?
True
Let y(l) = 763*l**2 + 23*l + 109. Is y(10) composite?
True
Let y(c) = -2*c**2 + 8*c - 4. Let w be y(5). Let n(d) = 30*d**2 + 16*d - 1. Let r be n(w). Suppose 4*x = 2*o + 6690, -r = -3*x - 5*o - 657. Is x a prime number?
False
Suppose -13 = 2*q - 45. Let j(z) = -z**2 + 16*z. Let w be j(q). Suppose w = 9*u - 4*u - 2795. Is u a prime number?
False
Suppose -8*i + 9*i - 2911 = a, 3*a - 11623 = -4*i. Suppose -19291 = -3*s - i. Is s a prime number?
False
Let n = 122 - 122. Let f be 6*(3 - (-8 - n)/(-4)). Suppose 3*b - 629 = -z, b + f*z - 199 = 3*z. Is b prime?
True
Let i(p) = -9534*p + 3473. Is i(-9) composite?
True
Let v = -256529 + 709552. Is v prime?
True
Let g = -26 + 37. Suppose -123 = -g*q + 8*q. Suppose -5*w + 331 = q. Is w prime?
False
Let a(o) = 36*o**2 + 6*o + 1. Let p be 4/12 - 68/6. Let d = -14 - p. Is a(d) a prime number?
True
Suppose 1925 = -x - 8284. Let b be (-3 - -2)/(3/x). Suppose r - b = -750. Is r prime?
False
Suppose -5*n + 3*k + 95 = 0, -4*n + 7*n + 4*k = 86. Is 120798/1 - (-23 + n) prime?
False
Suppose -4*x + 160378 = t, 4*t = 5*t + 2. Suppose 3*r - x = -3*a, -3*r - 2*a + 24403 = -15694. Is r a prime number?
True
Suppose -2172877 + 7106264 = 194*l - 1968939. Is l a prime number?
False
Let l(y) = 2*y**2 - 2*y - 172. Let i be l(12). Is 446*((-3)/21 + i/56) a prime number?
False
Suppose -55*w - 3*f = -56*w + 42557, -85114 = -2*w + 5*f. Is w a prime number?
True
Let j(x) = -x**3 + 19*x**2 + 18*x + 409. Is j(-36) prime?
False
Let z be (-2)/18 + (-545)/(-45). Let v(r) = -10*r**2 + 10*r - 5 + 1 + r**3 - 13. Is v(z) prime?
False
Let w = -46 + 56. Let x be w*(21/6 - 3). Suppose -2*i - 2307 = -x*i - c, -i + 3*c + 769 = 0. Is i prime?
True
Suppose 2*c - 9*c = -21. Let n(d) = -11*d**c - 2*d + 12*d**3 - 1 + 17*d**3. Is n(3) a composite number?
False
Let h = 46298 - 18631. Is h composite?
True
Let k be (-7341)/(-4) - (-6)/(-5 + -19). Suppose 0 = 3*g - 4*r - k, 3069 = -0*g + 5*g + 4*r. Suppose z - 2*y = g, 2*z + y = 3*z - 618. Is z prime?
False
Let v be (-12)/4 + -3*(-10)/6. Suppose -4*o = -8, -2 = -4*m - v*o - 18. Let w(q) = -18*q**3 + 3*q**2 - q - 3. Is w(m) composite?
True
Suppose 1291550 = 2*u + 4*p, -75*u = -72*u + 5*p - 1937331. Is u prime?
True
Is 13623 + (-16)/(-40)*-25 a composite number?
False
Let f = 3093 - 14. Is f a prime number?
True
Suppose 51436 = 4*m - 77632. Is m a prime number?
False
Let g be -33681 + (-3 - -4) + -4 + 0. Let y = g + 53713. Is y a composite number?
False
Suppose d + 7 = -0*d. Let m be (1 - d)*(-2)/1. Let k(w) = -w**3 - 16*w**2 - 8*w - 19. Is k(m) composite?
False
Suppose -s = -3*o - 65, 5*o = -5*s + 2*s + 125. Is (-4)/s - (-2057202)/3150 prime?
True
Suppose -k + 103 = 150. Let d = k + 55. Suppose -10*s + 6*s = -d, p - 863 = s. Is p a prime number?
False
Is 205*((-736792)/(-140) - (-2 + (-3)/(-1))) composite?
True
Suppose 2*j + 3*g = 58009, 120*j = 125*j - 5*g - 145060. Is j a composite number?
False
Let n = 12351 + 88328. Is n a prime number?
False
Let d be 106/4*(3 + 17). Is ((-7)/1 - d)*(0 + -1) prime?
False
Let z(g) be the first derivative of 1/2*g**2 + 19*g + 1/4*g**4 + 21 + 0*g**3. Is z(0) a composite number?
False
Let q(y) = 16318*y - 14 - 16770*y + 39. Is q(-14) a composite number?
False
Suppose -13*p = -12*p + b - 5, -p + 4*b = 10. Suppose 7164 = p*f - 2*s + 2836, 0 = 5*f + 4*s - 10775. Is f a prime number?
False
Let f = 71291 + 14696. Is f a composite number?
True
Suppose 0 = 4*u - 5*h - 10, 2*u - 1 - 1 = 4*h. Suppose 5*x = 6*x - 2*m + 7, -x - u*m + 28 = 0. Suppose -5*j + 116 = x*k, j = 3*k + 4*j - 114. Is k composite?
False
Suppose 46*g - 84*g + 9689018 = 48*g. Is g a composite number?
False
Suppose -4*u - 2*b + 70906 = 0, -102*b + 99*b = -5*u + 88660. Is u a prime number?
True
Let c = -37228 - -56869. Is ((-1)/1)/(-9 + 176766/c) a composite number?
False
Let m(w) = 5208*w**2 + 119*w - 26. Is m(5) a prime number?
True
Suppose -6 = b + b. Let s(f) = -5*f - 13. Let u be s(b). Suppose -4*n + 504 + 1122 = d, 2*d - 3232 = u*n. Is d a prime number?
False
Let b(m) be the second derivative of 4*m**3 - 19*m**2 - 670*m. Let x = -1 - -7. Is b(x) a composite number?
True
Let b(q) = q**2 - 6*q - 40. Let z be b(-4). Suppose z = -8*g + 18741 - 77. Is g a prime number?
True
Let c(x) = -2*x**2 - 6*x + 36. Let u be c(3). Suppose -2*d + 0*d - 2*z + 112960 = u, 3*z = d - 56492. Is d a composite number?
True
Let x be (8/(-5))/((-22)/(-55)). Let c be 34/(-6) - x/6. Is 2/(c*(-8)/220) a prime number?
True
Suppose 38905 = 526*o - 495*o. Is o a prime number?
False
Suppose 44566 = 10*b - 8*b - 2*v, 4*b - 3*v - 89134 = 0. Is b a prime number?
False
Suppose 135*s = -61*s