(z) = 3794*z - 1. Is n(1) prime?
True
Is (123 - 124)/(2/(-53026)) a composite number?
False
Let w = 18317 + -6948. Is w prime?
True
Suppose 10*z + 8935 = 69665. Is z a composite number?
False
Suppose 14 = 4*p - 22. Suppose p*f = 11*f - 138. Is f a composite number?
True
Let y = -243 + 502. Suppose -2*k + 72 = 2*x - 440, 0 = k - 2*x - y. Is k a composite number?
False
Let d be ((-11492)/(-65))/((-4)/(-10)). Let t = d + -251. Is t composite?
False
Let k = 1342 - -93. Suppose -4*s + 11*s - k = 0. Is s composite?
True
Let n(g) = 4*g - 14. Let j be n(5). Is ((-2)/j*2)/(16/(-129672)) composite?
True
Suppose 5*k + 11241 = 4*i - 1118, -3*i + 9270 = -3*k. Is i a composite number?
True
Let b(s) = -s**3 - 5*s**2 + 7*s - 12. Let t(d) = -d**2 - d. Let k(w) = b(w) + 5*t(w). Let x be k(-11). Suppose -q + 4 = 0, -3*q = -a + x + 50. Is a prime?
True
Let n(u) = 11 + 5*u**2 - 11 + 6*u - 29 + u**2. Is n(-13) prime?
True
Let l(z) = z**3 - 6*z**2 - 5*z - 10. Let j be l(8). Suppose 2*h + j = 3*h. Suppose 92 = 5*i - 3*g, -h = -5*i - 5*g + 22. Is i prime?
True
Let u(r) = -5999*r + 33. Is u(-2) prime?
False
Suppose 2*o - 26424 = -2*r, 5*o + 13206 = 3*r - 2*r. Let p = r - 5556. Is p a composite number?
True
Let x(r) = 41*r + 14. Let c(t) = -6*t + 6*t - 6*t + 1. Let j be c(-1). Is x(j) composite?
True
Suppose 744 = -5*x - 591. Is x/(-2)*(-1 - 14/(-6)) a composite number?
True
Let u(n) = n**2 + 900. Let m be u(0). Suppose -3*k + 2*t - 645 = m, 2*k + 1030 = -2*t. Is (-2)/6 - k/15 prime?
False
Let v(y) be the second derivative of y**4/6 + 5*y**3/6 - 7*y**2/2 - y. Let n be 126/54 + (-4)/(-6) + -9. Is v(n) a prime number?
False
Let o(z) = 5*z**2 - 2*z**2 + 0*z**2 + 3 + 1 + 2*z. Is o(5) a composite number?
False
Let z(q) = q**3 - 28*q**2 + 9. Is z(32) prime?
False
Suppose -2*v + 6*k - 3*k = -3142, v - 5*k = 1578. Let g = v + -1027. Is g composite?
False
Is 1088 - ((-5)/20)/((-3)/12) prime?
True
Let b(h) = 1418*h**3 - h**2 + 6*h - 1. Is b(2) prime?
True
Let x = 21 + -20. Let l = -1 - x. Is (-1215)/(-3) - (l + 0) composite?
True
Let f(v) = v**2 + 14*v + 16. Suppose -2*b - 2*u + 29 = 9, 0 = -b + 2*u + 25. Is f(b) a composite number?
True
Let z(a) = -a**3 - a**2 + 7*a + 2. Suppose -7 = 2*j - j + y, 0 = -j - 5*y - 15. Let n be z(j). Is (3 + -5 - n)*-1 a prime number?
False
Let i(r) = -482*r - 259. Is i(-6) composite?
False
Suppose 3*u + 3*a = 4*u - 3926, 20 = 5*a. Let x = u + -2539. Is x prime?
True
Suppose -5*s = -20221 - 4149. Is s composite?
True
Suppose -v + 2223 = -4*k, -2*k + 13507 = 4*v + 4705. Is v composite?
False
Let q = -30 - -86. Let t = q + 15. Is t a composite number?
False
Let a(y) = -5265*y - 793. Is a(-22) prime?
False
Let v(y) = 12*y**2 + 10*y - 151. Is v(-22) composite?
False
Suppose -16 = 4*x, 3*c + 1175 = 3*x + 395. Let j = 373 + c. Is j composite?
False
Let i(p) be the first derivative of -p**3/3 + p**2/2 + 407*p - 1. Is i(0) a prime number?
False
Let f(y) = 13*y**2 + 3. Let p be -3 + (7 - 4) - -4. Is f(p) composite?
False
Suppose 0 = -4*j + 11 + 1. Let r = 2 - j. Is (r - 0)*370/(-2) a prime number?
False
Let g = 3618 + -2081. Is g composite?
True
Let l(s) = -63*s - 11. Let b be l(-6). Let c = b - 176. Is c prime?
True
Is 112/504 + -23*(-2206)/18 composite?
False
Suppose -2*z + 4*z = 6. Suppose 3*o = 5*m + 476 - 20, -2*o + 329 = 5*m. Suppose l - y = 154, -l - 5*y = -z*y - o. Is l prime?
False
Let o = 512 - 997. Let c = -336 - o. Is c a prime number?
True
Let y(m) = 1365*m + 4. Is y(1) a prime number?
False
Let d = -7 + -1. Let b = d - -301. Is b composite?
False
Is -27 - -8693 - 2*3/2 a composite number?
False
Suppose k - w = -4*w + 7057, 7077 = k - 2*w. Is k a prime number?
True
Let d(r) = r**2 + 10*r + 12. Let f be d(-6). Let m(o) = o**2 - 12*o - 6. Let q be m(12). Is 519/2 - q/f composite?
True
Suppose -9*g = -7*g + 36. Let k be 27/g + (-2)/4. Is k*(-255)/2 + -4 composite?
False
Suppose 28901 + 11026 = 3*f. Is f composite?
False
Let w(y) = -145*y + 186. Is w(-43) prime?
True
Suppose -11*u + 10*u = 4. Let b = u - -16. Let k(s) = 2*s**2 + 3*s - 5. Is k(b) composite?
True
Let k = -6023 - -3444. Let t = k - -3628. Is t composite?
False
Let r be 3 + (1 - 0) + -1. Suppose 4*f - 2*f - 424 = -2*z, -r*f + 851 = 4*z. Let a = 474 - z. Is a a composite number?
True
Let u(j) be the third derivative of j**4/24 + 3*j**3/2 + j**2. Let f be u(-9). Suppose -t + 67 + 26 = f. Is t a prime number?
False
Let y(k) = k + 5. Let w be y(-3). Suppose -3*n + w*t = -2, -3*n - 3 = t + 2*t. Suppose n = 4*j - 45 - 143. Is j composite?
False
Suppose 5*z = 3*z + 230. Suppose 4*b = -z - 77. Let u = 34 - b. Is u prime?
False
Let j = -65 + 67. Suppose -1581 = -j*z - z. Is z a prime number?
False
Let g be (-1 + (-95)/15)*-27. Is 263/(-5 - g/(-39)) a prime number?
False
Let z = -207 + 748. Is z a composite number?
False
Suppose 2*s + 3 = 5. Let a be 31 + -8 - s*4. Suppose 3*j - 574 = -a. Is j a composite number?
True
Suppose -9*n - 6 = -12*n. Suppose 4*b + 22 = n*p - 0*p, 3*b + 4 = -p. Suppose 6947 = 5*h - 5*k - 3528, -h + 2095 = -p*k. Is h prime?
False
Let v = -379 - -1097. Is v prime?
False
Let y be (-5)/(5/(-3)) + -12. Let p = y - -8. Is 5 - 2 - (-87 + p) a composite number?
True
Suppose 0*p = 3*p - 7284. Let t = -593 + p. Is t a composite number?
True
Let z(a) = -80*a - 26. Is z(-20) composite?
True
Suppose -21562 = -2*m + 9048. Is m a composite number?
True
Let q(j) = j**3 - 19*j**2 + 19*j - 13. Let u be q(18). Let h(p) = 3*p**3 + 2*p**2 + 3*p + 9. Is h(u) prime?
True
Let s = 3053 - -7985. Let q = -4954 + s. Suppose 4*h - q = -j + 150, -j + 7793 = 5*h. Is h composite?
False
Let j be (-8)/((-80)/15)*(-6)/(-9). Is (6 + 1717 - -4) + -1 + j composite?
True
Let z = -27 - -20. Let j = z - -10. Suppose 207 = j*x - 66. Is x prime?
False
Let z(v) = -913*v + 12. Is z(-23) a composite number?
False
Suppose -b - 4*c = 2*b - 22987, 5*c = -25. Is b composite?
False
Suppose -5*y - t = -288088, -100822 - 72014 = -3*y + 5*t. Is y composite?
True
Suppose 13 + 12 = 5*u. Let l = u - -6. Is l a composite number?
False
Let d(y) = -y + 18. Let p be d(14). Suppose -3*w = -p*t + 14, -4*w - 14 = -5*t - 2*w. Suppose -t*v = -v - 4*h - 66, 108 = 2*v + 4*h. Is v prime?
False
Suppose -2*u - 22 = -5*k, 4*u + 4 + 0 = 0. Let h be 2/(-4) + 2678/k. Let f = -420 + h. Is f composite?
True
Suppose -15 = -t - 4*t + 5*n, 0 = -2*t + 5*n. Suppose -t*g + g = 0. Let a(v) = v**3 - v**2 + 11. Is a(g) a prime number?
True
Let v(y) = y**3 + 7*y - 2. Let x be v(-5). Let q be x/(-30) + 6/10. Suppose -4*i = -q*i + 86. Is i composite?
False
Is -4 + 1 - (-2068)/(1 + 1) prime?
True
Is 3988 + 21*4/(-12) a prime number?
False
Let u(p) = 117*p + 25 - 21 + 42*p. Is u(3) a composite number?
True
Suppose -17*c - 375 = -20*c. Let o = c + -60. Is o a composite number?
True
Let m(k) be the third derivative of -k**6/15 + k**5/12 + k**4/12 - k**3/2 + 6*k**2. Is m(-4) composite?
True
Let q(k) = k**3 - 13*k**2 + 5*k + 14. Suppose 3 = 3*v + 4*m - 28, 5*v + 2*m = 61. Is q(v) composite?
False
Suppose -5*w - 86219 = -2*l - 308742, -w = -2*l - 44511. Is w prime?
False
Let o be 2/(12/9)*2. Suppose i - 70 = -c, -5*c + 176 = o*i - 36. Let p = -14 + i. Is p a composite number?
True
Let r = 25019 + -3006. Is r prime?
True
Suppose -7 = z + 3*r, 0*r + 3*r + 35 = -5*z. Is 7/(z/(-1642)) - 3 a composite number?
True
Suppose 4*g = 750 + 66. Let h = 203 + g. Is h prime?
False
Let c(g) = -g**2 - 11*g - 20. Let j be c(-8). Suppose -1004 = -4*d + 3*h, -4*d + 2*h - j*h = -1004. Is d composite?
False
Suppose 0 = 11*q - 6*q - 5580. Suppose 4*p - q = -288. Is p - (-3 + -2 + 1) prime?
True
Suppose 2*n - 388 = 3*m + m, -4*m = 2*n - 364. Suppose j - 105 - n = 0. Is j a prime number?
True
Suppose -9 = n + 3*g, -5*g = -3*n + n - 40. Let h be (534/n)/((-14)/35). Suppose -y + 0*y = -h. Is y composite?
False
Let f = 12 - -3. Suppose 0*j - f = 5*j. Is 14*(-141)/18*j a composite number?
True
Suppose 0 = 2*o - 3*g - 2*g - 19184, 0 = o + 2*g - 9583. Is o composite?
False
Suppose 0*r + g = -2*r - 3, -4*r + g = 3. Let v(j) = -831*j**3 + j + 1. Is v(r) composite?
True
Let r be 1223/2 - (-9)/18. Suppose 4*i = 280 + r. Is i composite?
False
Let u = -65 + 94. Let s = -23 + u. Is s a composite number?
True
Let r be (14/(-4) - -4)*-12. Let l(x) = -4*x**2 + 12*x + 9. Let f be l(r). Let n = 44 - f