. Let z be w(-5). Suppose -z*o - 4*b + 781 = 0, b = o - l*b - 160. Is o composite?
False
Suppose -q + 5*z + 16 = 3*z, 3*z + 59 = 4*q. Let w = q + -14. Suppose w = 2*s + 2*s - 580. Is s prime?
False
Suppose -p = d + 3 + 5, 0 = 5*p - 5*d + 10. Let g(h) = -h**2 - 3*h - 13. Let m be g(p). Let i = m - -154. Is i a composite number?
False
Suppose 109 = -5*a + 529. Let z(s) = -5*s**3 - 2*s**2 - 4*s - 3. Let o be z(-2). Let c = o + a. Is c prime?
False
Let u = -30 + 18. Let q be (u/10)/((-8)/60). Suppose 0 = -3*o - 3*c + 261, q*c - 4*c - 189 = -2*o. Is o a composite number?
True
Suppose -34 = -2*y - 4. Is 11083/y - (-20)/150 a prime number?
True
Let z(h) = -10 + 3 - 2*h + 59*h**2 + 0*h + 5. Suppose -2*t + r - 5 = 3, 2*t + r + 4 = 0. Is z(t) a composite number?
True
Suppose -50*h = -52*h. Suppose 0 = -2*v + 2*d + 540, v - 3*v - d + 537 = h. Is v a prime number?
True
Let x be (-34785)/(-15)*(0 - 1). Let n = -1222 - x. Is n composite?
False
Let a = 8998 + -4101. Is a a prime number?
False
Let l = 73 + -19. Suppose -2*d + 242 = l. Let q = 212 - d. Is q a composite number?
True
Suppose -13*t + 40119 + 95770 = 0. Is t a prime number?
True
Let j(u) = -280*u - 47. Is j(-7) a composite number?
False
Let l(s) = 180*s**2 + 11. Is l(6) a composite number?
False
Suppose 0*b + 8*b = 13736. Suppose b = 39*l - 38*l. Is l composite?
True
Let r be (2 + 1)/3 - -1. Let w(v) = v + 225. Let x be w(0). Suppose r*q + f = 4*f + x, 2*f = -2. Is q a prime number?
False
Suppose -309 - 161 = -2*o. Let w(n) = -n**3 + 3*n**2 + 6*n - 6. Let m be w(4). Suppose -m*g = -7*g + o. Is g a prime number?
True
Let b(a) = -a + 15. Let w be b(12). Suppose 5*u = -w*p + 11955, u + 2*u - p - 7173 = 0. Is u prime?
False
Let p(n) = -9*n - 65*n**2 + 102*n**2 - 1 - 2*n - 6. Is p(-13) a prime number?
True
Let b(z) = -12 + z + 0*z + 2. Let n be b(12). Suppose -299 = -r + n*p, -r + 4*p + p + 287 = 0. Is r a composite number?
False
Suppose -146*k - 5690 = -151*k. Is k composite?
True
Let f = 802 - -4605. Is f a composite number?
False
Let q = 4449 - 2656. Is q composite?
True
Let c(a) be the third derivative of 127*a**4/12 - a**3/6 - 4*a**2. Is c(6) prime?
True
Let m = 83 - 262. Let h = 112 - m. Is h composite?
True
Let q = 65 - -198. Is q a prime number?
True
Let l = -60761 - -86602. Is l composite?
False
Suppose -3*b = 2*b - 20. Let d(x) = -18*x - 120. Let l be d(-12). Suppose l = b*q + 5*g, 2*g = 3*q - 2*g - 41. Is q composite?
False
Let k = 30 + 13. Suppose -3*z = -4240 + k. Is z a prime number?
True
Suppose 6*u + 5*u - 6985 = 0. Is u a composite number?
True
Let b be -2 + 43 + 0 + 0. Let u(m) = 18*m - 38. Let j be u(5). Suppose -j = -3*i + b. Is i a prime number?
True
Suppose -2*k = -0*p - 3*p + 16, 3*k - 4 = p. Suppose 7*f = p*f - 11. Is f a prime number?
True
Suppose -2*u - 9*u = -77363. Is u a composite number?
True
Let a(z) = 905*z + 6. Let p be a(6). Let o be p/14 - (-20)/(-70). Suppose 0 = -n + 5*n - o. Is n composite?
False
Suppose h - 4 - 5 = 0. Suppose 0 = -h*t + 14*t - 11740. Suppose -4*g = -8*g + t. Is g a prime number?
True
Let d be ((-4)/6)/((-4)/18). Suppose d*w - 176 = -3*v + 4*w, 0 = v + 4*w - 63. Is v composite?
False
Let w be -3 + 2 - 18/(-6). Suppose -w*s = m + 19, 0 = m - 6*m + 2*s - 47. Let r(i) = -i**3 - 11*i**2 - 5*i - 2. Is r(m) a composite number?
False
Suppose -4*r + 21 = -3*y, -3*r - r - 5*y = 3. Let m = 0 + r. Suppose -2*f - 131 = -m*f. Is f a composite number?
False
Let a = 5 - 10. Let y(z) = -65*z + 6. Is y(a) prime?
True
Let f = -199 + 72. Suppose -2*d + 25 = 2*x - 3*x, -5*x - 103 = d. Let h = x - f. Is h a composite number?
True
Let b(q) = -120*q - 1. Let x be b(-1). Suppose -x = -2*f - 9. Is f a prime number?
False
Let x(f) = 11*f**3 - f**2 - f + 2. Let d(h) = -h + 16. Let n = 11 - -2. Let w be d(n). Is x(w) composite?
True
Let a = 54 - 33. Is (a - -1)*(-246)/(-12) a prime number?
False
Let l = 40 + 109. Suppose -4*c + 5*p + 15 = 0, -9 = -5*c + 5*p - 2*p. Let d = l + c. Is d a composite number?
False
Is 6 - ((-850)/(-15)*-9 - 5) composite?
False
Let q = 90 - 42. Suppose 4*m = -0*m + q. Is 143 + 1 + -11 + m prime?
False
Let a = -12601 + 25848. Is a a composite number?
True
Suppose 2*a + 5*j - 43442 - 3736 = 0, 4*a = 3*j + 94408. Is a a prime number?
True
Let g = -9999 - -35840. Is g a composite number?
False
Let k(m) be the first derivative of 17*m**2/2 - 2*m + 10. Is k(17) prime?
False
Let t = -3 + 15. Let y(z) = z**2 + 3*z - 2. Is y(t) a prime number?
False
Suppose 8*v + 156 = 9*v. Suppose -4*b + 48 = -v. Is 10/(-85) - (-12909)/b composite?
True
Suppose 2*j - 15 = j - 2*i, j - 19 = -4*i. Suppose -9863 = -j*u + 4*u. Is u prime?
True
Let z = -7 + 0. Let b(k) = -k**3 - 8*k**2 - 7*k + 6. Let y be b(z). Suppose 4*x - 108 - 279 = -5*w, 3*x + y = 0. Is w a composite number?
False
Let p be -2 + -1*-4*1. Let g(a) be the second derivative of 23*a**3/2 + 5*a**2/2 + 13*a. Is g(p) composite?
True
Let z(s) = s**3 - 3*s**2 + s + 2. Let l be z(2). Suppose -3*k = -l*k - 711. Is k composite?
True
Let m(c) = -145*c**3 + 10*c**2 - 8*c - 62. Is m(-5) a composite number?
False
Let n = -461 + 213. Let o = n + -260. Is ((-18)/36)/(2/o) prime?
True
Suppose 0 = 4*h - 5*h - 3*q + 2525, 2*h + 2*q = 5034. Is h composite?
True
Let u(a) = a**3 - 2*a**2 - 3*a + 4. Let s be u(3). Let x(g) = -s*g + 4 - 11*g + 5. Is x(-10) a composite number?
True
Suppose j - 2*j + 2*f + 4701 = 0, 3*j - 14100 = 3*f. Is j prime?
False
Is 19717 + ((-10)/25 - (-4)/10) prime?
True
Let t = -527 - -1180. Is t a prime number?
True
Let i(w) = -w**3 - 17*w**2 - 13*w - 11. Let h be i(-11). Let d = h - -1225. Is d a composite number?
False
Let h(k) = -k**2 - 17*k - 1. Let f be h(-17). Let r be 5 + f - (-1 - -1). Suppose 3*t + 3 = 0, -3*b + 2*t - 53 = -r*b. Is b a composite number?
True
Let c = -12 + 22. Let k = 48 - c. Suppose 184 = 3*h - k. Is h a composite number?
True
Let o(g) = 533*g - 514. Is o(51) a prime number?
True
Let n = 15427 - 4491. Suppose -9*i + n = -13625. Is i prime?
True
Suppose 68*o - 204*o = -5027240. Is o composite?
True
Suppose -4*w = -4*m + 24, w - 3*w = 5*m - 9. Let s = 0 + m. Is (-472)/(-3) - 1/s a prime number?
True
Suppose 6 = 5*x + 1, -4*x = a - 5. Is a/2*5698/7 composite?
True
Let c(t) = -t + 1. Let z(d) = -74*d**3 + d - 7. Let h(x) = 4*c(x) + z(x). Let q be h(-2). Suppose 0 = -3*j - 2*j + q. Is j prime?
False
Suppose -2*o = z - 75, -z + 54 = o - 6*z. Suppose 3*h + 156 = o. Let r = 30 - h. Is r composite?
True
Suppose -9*m + 101 = -529. Suppose 2*q + a - 259 = 0, -3*a + 339 = 2*q + m. Is q composite?
False
Let u be (1 - 2)*(-6 - -4). Let t be (-1 + (3 - u))/2. Suppose -8*q + 11*q - 669 = t. Is q a prime number?
True
Suppose -4*r + 7 = -k, 0*k = -4*k + 4*r + 8. Let v(a) = 6*a**3 - 6*a**2 - 4*a + 7. Is v(k) prime?
True
Let v = -11 - 1. Let r = -8 - v. Suppose r*s + 967 = 3051. Is s a composite number?
False
Suppose -3*m + m = -718. Suppose -5*p + 943 = -4*l, 0*l + 4*p + 452 = -2*l. Let z = l + m. Is z a prime number?
True
Let x(q) = 107*q**3 - 17*q**2 - 27*q - 16. Is x(9) prime?
True
Let x be (-87*(9 - -3))/(-1*1). Suppose q - x = -5. Is q a composite number?
False
Suppose 0 = -3*a + 5*n + 1643, -n = 5*a - 3*n - 2751. Let m = 36 + a. Is m a composite number?
False
Let a(p) = p**3 + 6*p**2 - p + 6. Let u be a(-5). Suppose 2*i + 5*d - 6 = u, 3*d = -i + 22. Is i/1 - (-4 - -1) a composite number?
False
Suppose -16 = -4*k, -3*q = -q + 3*k - 10. Let o be ((-3)/(-18))/(1/6). Is o*(-436)/(-2) + q a prime number?
False
Suppose 4*s - 2184 - 4844 = 0. Suppose 3*u + 4*u = s. Is u a composite number?
False
Suppose -9 = -4*u - 21. Let y be (-2 + 3 + -6)*u. Is ((-10)/y)/((-2)/2037) composite?
True
Let c = 3523 - -2674. Is c a composite number?
False
Let n be 6/8 + (-184437)/108. Is -7 + 5 - (n - -2) a composite number?
True
Suppose -3*j - 2*t + 19 = 0, t + 2 - 22 = -5*j. Suppose -j*q + 4*q - 2 = 0. Suppose -l + 471 = q*l. Is l a composite number?
False
Let r be (-1)/(-5) - (-117)/15. Suppose -r = -5*j + 2. Suppose -w - j*w + 33 = 0. Is w prime?
True
Suppose 4*d = -3*j + 172246, 2*j + 354066 = 5*d + 138747. Is d composite?
False
Is (-186270)/(-22) - 6/(-33) a composite number?
False
Let m(l) = -2*l - 1. Let s be m(-3). Let i = s + 9. Is i composite?
True
Suppose -15 - 5 = -5*g. Let h = -8 + g. Is 2*(-11)/8*h a c