er?
False
Let u(p) = -9*p - 16. Let x(n) = 10*n + 17. Let t(k) = 4*u(k) + 3*x(k). Is t(-13) composite?
True
Suppose -356 = -t - t. Is t prime?
False
Let l = 40 - 117. Let r = l + 156. Is r a prime number?
True
Let w(u) = -5*u - 28. Is w(-23) a composite number?
True
Let d(q) = -4 + 11*q + 0 + 5. Is d(6) composite?
False
Suppose -4*q + 1 = -3. Is (-1 - -3 - -12)/q composite?
True
Let k = 108 - 46. Is k a prime number?
False
Let z(y) = -94*y + 12. Let w be z(-5). Let t = 861 - w. Is t a prime number?
True
Let o(h) = -h**2 - 5*h + 7. Let i be o(-5). Suppose -i = 2*c - 3. Is (-3)/c*(1 + 21) prime?
False
Let v(h) = -8*h - 7*h + 2 + h. Is v(-4) a prime number?
False
Let i(t) = -4*t + t**2 - 5*t + 5*t**2 - 4. Is i(9) composite?
False
Suppose 21*b = 15*b + 19626. Is b composite?
False
Suppose 5*d - 65 + 5 = 0. Let i be (-14)/(-4) - (-6)/d. Suppose -4*q + 0*l + 24 = l, 36 = i*q - 2*l. Is q prime?
True
Let q(k) = -2*k**3 - 2*k**2 + 2*k + 1. Let f be q(-2). Let c = f - 9. Is ((-10)/c)/(2/12) a prime number?
False
Let c(x) be the third derivative of -5*x**4/3 - 13*x**3/6 + 7*x**2. Is c(-9) a composite number?
False
Suppose 8*z = 7*z + 3. Suppose -5*a + 920 + 178 = -3*t, z*a - 661 = 4*t. Is a a composite number?
True
Suppose m = 5*m - 8. Suppose 3*p + 14 = m*a, a - 3 - 11 = -2*p. Is (1*-13)/((-2)/a) a prime number?
False
Let l(n) = 6*n - 11. Let a be 0/((-6)/(-3)) + 7. Is l(a) composite?
False
Suppose 0 = 6*z - 2 - 4. Is z + 91/1 + -3 prime?
True
Let d(l) = l**3 - 5*l**2 + l + 7. Let j be d(5). Let k = j + 7. Is k a composite number?
False
Let x(m) = m**2 - 6*m - 8. Let a = 14 - 25. Is x(a) a prime number?
True
Let o(s) = s. Let x be o(2). Let v(n) = 3*n**3 - 3*n + 16*n**3 - 4*n**2 + 7*n**2 + 3. Is v(x) a prime number?
False
Let p = 155 + -46. Is p composite?
False
Let j(w) = -6*w**3 - 2*w**2 + 10*w - 7. Let n(m) = -5*m**3 - 3*m**2 + 9*m - 6. Let t(d) = 4*j(d) - 5*n(d). Is t(-5) a prime number?
False
Let j = -715 - -1722. Is j prime?
False
Let u = 8 + -12. Let g be 1*(42/(-1))/1. Is (g/u)/(-3)*-2 a composite number?
False
Let z be 0/((-3 - -2) + 2). Suppose -3*t + 25 - 7 = z. Is 1174/18 - t/27 composite?
True
Let g = 17 - 12. Suppose 0 = -0*f - g*f + 45. Is 309/f - (-2)/3 a prime number?
False
Let y(z) = 44*z**2 - z - 2. Is y(3) a prime number?
False
Suppose 2*q = 2*o - 3*o + 4057, 0 = 5*q + 5*o - 10150. Is q a composite number?
False
Is 243*(-30)/(-9) + -3 a prime number?
False
Let u(p) = p**3 - 7*p**2 + 2*p - 8. Let v be u(7). Let b be (-1)/(3/v - 1). Suppose -2*j - b*j + 140 = 0. Is j prime?
False
Is 0 + 119 + 0/(-2) prime?
False
Suppose 2*q = 4, -q = -0*i - 4*i - 3218. Is 3/4 - i/16 a prime number?
False
Suppose 309 + 311 = 4*k. Is k a composite number?
True
Let k(w) be the second derivative of w**5/20 - w**4/3 - 2*w**3/3 + 3*w**2 + w. Let r be k(4). Let b = 17 + r. Is b composite?
False
Let j = 7 + -1. Let b = j + -4. Suppose 5*u - 199 = 4*m, 0*m + b*m - 193 = -5*u. Is u prime?
False
Suppose 4*x + q - 5 - 7 = 0, 0 = 3*x + 3*q - 18. Is (-13)/x*(-20)/2 composite?
True
Suppose -2*v + 5*v = 171. Is v a prime number?
False
Let z(w) = -44*w - 9. Is z(-5) prime?
True
Suppose 8353 = 4*s - 2535. Is s a composite number?
True
Suppose r + r = -12. Let s = r - -8. Suppose 0*n + n - 3*g = s, -4*g = n - 23. Is n a composite number?
False
Suppose 0*j + 6 = 2*j. Suppose j*k - 6 = -5*n - 0*n, -4 = n - 2*k. Suppose n = -4*q - q + 785. Is q a prime number?
True
Let a(s) = -2*s**3 - 7*s**2 + 17*s - 8. Let r(p) = 3*p**3 + 11*p**2 - 26*p + 12. Let y(x) = -8*a(x) - 5*r(x). Let f be y(6). Is f/6 - 2/(-6) composite?
False
Let d be 1 + 1 + 1 + 0. Suppose -p = 3*l - 8, -17 = 2*p - 2*l - d*l. Is p*1 - 3*-4 composite?
False
Suppose 0 = -11*l + 7*l + 1012. Is l a prime number?
False
Suppose -d + 5*q + 19 = 2*q, 3*d + 4*q - 57 = 0. Is d composite?
False
Let p be (18/2)/(3/2). Suppose -5*i = -64 - p. Is i prime?
False
Let t = -562 - -854. Suppose 4*s - 341 = -3*u + t, 844 = 4*u + 3*s. Is u composite?
False
Let z(m) = -m**3 - 12*m**2 - 10*m + 14. Let d be z(-11). Suppose 158 = 3*t - 4*p, -6*t - 3*p + 186 = -d*t. Is t composite?
True
Let h(b) = 20*b - 3. Let l = 4 + -1. Let c be h(l). Suppose 3*g - 6*g + c = 0. Is g composite?
False
Is (-2506)/(-10) - 2/(-5) a prime number?
True
Suppose 18 = 4*q - 2. Let l be (-4)/q*(-10)/4. Suppose 4*g = -0*g - l*r + 154, 5*g + r - 188 = 0. Is g prime?
True
Suppose p = 4*f - 14, 3*p = p + f. Let h(u) = -u + 2. Let i be h(-2). Suppose 4*l + 180 + 126 = p*s, 0 = i*s + l - 657. Is s a prime number?
True
Suppose -2*t + 152 - 46 = 0. Is t composite?
False
Let t = 151 + 56. Let g = 366 - t. Is g a prime number?
False
Let a(p) = -p**3 - 7*p**2 - 7*p - 2. Suppose -2*n - 30 = 3*t + 2*n, 0 = -2*t + 5*n + 3. Let y be a(t). Suppose -y*b + 652 = -0*b. Is b prime?
True
Let b = 8 + 10. Suppose 0 = -22*f + b*f + 632. Is f a prime number?
False
Suppose 3*h - 4*p = -0*h + 4, h + 24 = -5*p. Is (2/h)/(2/(-212)) a composite number?
False
Suppose -a - 5*g = -996, 5*a = g - 4*g + 4958. Is a a composite number?
False
Let n(v) = -v**3 - 11*v**2 - 20*v + 29. Is n(-18) prime?
True
Let r = -6 + 10. Suppose 0*w - 3*w - r*s = -89, -2*w + 3*s = -31. Let a = w - 16. Is a prime?
True
Let u(s) = -s**3 - 8*s**2 - s + 5. Is u(-11) a composite number?
False
Suppose 3*o - 699 = 2*o. Is o composite?
True
Let i(c) be the second derivative of 1/3*c**4 + 1/2*c**3 + 2*c**2 + 0 - 2*c. Is i(-5) a prime number?
True
Let y = 8 + -14. Let f = 11 + y. Suppose f*x - 5*a - 103 = -2*a, -3*a + 35 = x. Is x a prime number?
True
Let b(c) = -4*c**2 - c. Let k be b(-1). Let i(o) = -2 + 3*o**3 + 0*o - 4*o**3 - 3*o. Is i(k) composite?
True
Let n = 8 + -3. Suppose 7 - 17 = -2*f + 2*w, 2*w = n*f - 25. Suppose f*b - 2*b = 18. Is b a prime number?
False
Let f = -45 - -66. Is f a composite number?
True
Let z(h) = -h**2 - h + 1. Let i be z(1). Is 55 + i - (-1 - -2) composite?
False
Let a = 871 + -489. Let h = 675 - a. Is h a composite number?
False
Let s(b) = -b**3 - 3*b**2 - 2*b + 1. Let w(i) = 3*i + 2*i - 6*i - 3*i**3. Let q be w(1). Is s(q) composite?
True
Suppose -8*z + 12*z = 16. Suppose 4*g + 675 = c, z*c - 2717 = -0*g - g. Is c prime?
False
Suppose 7 - 27 = -5*z, -3*z = -4*y - 4. Suppose -y*i + 7*i = 0. Is ((i - -121) + -2)*1 composite?
True
Let y(m) = -2*m**3 - 7*m**2 - 2*m + 795. Let z(h) = h**3 + 3*h**2 + h - 397. Let o(t) = -2*y(t) - 5*z(t). Is o(0) a composite number?
True
Let d(c) = c**2 + 5*c + 3. Let y(p) = 2*p**2 + 6*p + 3. Let f(z) = -3*d(z) + 2*y(z). Is f(6) a prime number?
False
Let l = 13 + -7. Let i = -17 + l. Let f = i + 18. Is f a prime number?
True
Let o(a) = -a**2 + 6*a + 4. Let p(i) = -i + 14. Let j be p(8). Let u be o(j). Suppose -u*r = -3*g - 590, -2*r - 3*g + 2*g = -300. Is r prime?
True
Suppose 0 = -2*o - 13 - 35. Let u be 8/(-16)*258/(-3). Let w = o + u. Is w a composite number?
False
Let v(q) = 2*q**2 + q - 1. Let d = -2 - -3. Let g be v(d). Is (g/(-3))/(2/(-9)) a composite number?
False
Let w(m) = 6*m**2 + m - 5. Suppose 0 = 4*u + 6 + 14. Let g be w(u). Suppose -2*o - 2*o = -g. Is o prime?
False
Let s(d) = -d**3 - 6*d**2 + 3*d + 9. Let h(c) = 9*c**2 + c + 1. Let j be h(-1). Suppose 2*i + 21 = -y + 8, 3*i = -j. Is s(y) a composite number?
False
Let o(t) = -6*t**2 + 3*t**2 + 4*t**2 + 22 - 25 + 3*t. Suppose -3*i + 5*m - 5 = -4*i, -2*i + 4*m - 18 = 0. Is o(i) prime?
True
Suppose 0 = -2*h + h + 3*l + 86, -5*l = -3*h + 242. Is h composite?
True
Let j be (-126)/15 - (-2)/5. Is j/(-28) - 803/(-7) prime?
False
Let n(a) = 8*a - 1. Let t(c) = -16*c + 1. Let g(w) = 5*n(w) + 2*t(w). Let i be (10/(-12))/(11/(-66)). Is g(i) prime?
True
Let b(n) = 5*n - 2 - n**2 - 3*n**2 + 3*n**2. Let g be b(4). Suppose -4*d = -g*d - 154. Is d prime?
False
Let c = 556 + -150. Suppose -c = 3*b - 5*b. Is b composite?
True
Suppose 3*x = 2*a - 411, x = -3*x + 3*a - 547. Let r = 99 + x. Let k = -27 - r. Is k composite?
False
Suppose -o + 2 = 7. Let b(t) = t**3 + 8*t**2 + 3*t - 3. Is b(o) composite?
True
Let r(h) be the first derivative of -h**4/4 + 5*h**3 + 23*h**2/2 + 15*h - 8. Is r(16) prime?
True
Let k(l) = 459*l - 3. Let h be k(1). Suppose -4*p - 12 = -h. Is p a composite number?
True
Let t = 512 + -325. Is t prime?
False
Suppose 2*d - 50 = 2*w, 2*d - 4*w - 121 = -3*d. Is d a prime number?
False
Let j(z) = 10*