er?
False
Suppose 8 = -b + 2*s, -4*b + 5*s = -b + 19. Suppose -2*q + 4 = b*q. Is (37/(-3))/(q/(-3)) a composite number?
False
Let i be 1/1*(30 - 0). Let r = i + -15. Is r composite?
True
Let b(x) be the first derivative of 13*x**2/2 - 11*x + 1. Let d(v) = 6*v - 5. Let h(t) = 2*b(t) - 5*d(t). Is h(-5) prime?
True
Let r(z) = -82*z**2 + 2*z + 1. Let d(g) = g**2 + 7*g + 6. Let c be d(-5). Let l(x) = -163*x**2 + 3*x + 2. Let i(n) = c*l(n) + 7*r(n). Is i(1) prime?
True
Suppose 316 = 5*c - 99. Is c a prime number?
True
Suppose -4*f = -r - 3*f, 2*r - 4*f = -6. Let t = 15 - 9. Suppose -w + o = -t, w - r*o = -w + 15. Is w composite?
False
Let y(r) be the third derivative of r**4/24 - r**3/2 - 5*r**2. Is y(6) a prime number?
True
Let z(d) = -2 + 4*d - 2*d**2 - 6*d + 8*d**2 + 1. Let s be z(-2). Let t = s - 8. Is t a composite number?
False
Suppose -2*w - 3*w = -25. Suppose l - 85 = -5*r, 0 = -w*l + 5*r + 319 - 44. Suppose -2*u + l + 2 = 0. Is u a composite number?
False
Let y be (-1 + -4)*12/10. Let v(u) = u**3 + u**2 - u + 1. Let z(t) = 6*t**3 + 10*t**2 - 9*t + 6. Let m(n) = 5*v(n) - z(n). Is m(y) a composite number?
False
Suppose 35 = 5*g + 10. Suppose 2*c + 4*o - 662 = 0, 82 = g*c - 2*o - 1573. Is c a prime number?
True
Let w(b) = 21*b**3 + b**2 + 3*b - 1. Is w(2) prime?
False
Let f = -41 - -1110. Is f a composite number?
False
Let t = -393 - -1206. Let i be 2/8 - t/(-12). Let p = 153 - i. Is p a prime number?
False
Suppose 8 = 2*t - 6. Suppose 5*l + 1270 = t*l. Is l a composite number?
True
Suppose 2*s - i - 102 = 0, -4*s + 2*i = -3*i - 216. Let r = s + -71. Is (-12)/(-66) + (-150)/r prime?
True
Let i(y) = y - 7 - 4*y**3 + 5*y**3 - 3*y**2 - 5*y**2 + 0*y**3. Let l be i(6). Let k = -26 - l. Is k a composite number?
False
Is ((-1)/(-2))/((-12)/(-1608)) prime?
True
Let o(t) = 7*t**2 - 3*t - 5. Is o(4) composite?
True
Let k = -5 - -14. Is k a composite number?
True
Let j(y) = 2*y**3 - 5*y**2 - 2. Let q be j(4). Suppose -4*n - q = 14. Is (-2)/6 + (-800)/n composite?
False
Let y = 33 - 19. Let h = 73 + y. Is h prime?
False
Suppose -234 = q - 1595. Is q composite?
False
Suppose -2*q + 2*j + 3294 = 0, -1395 = -3*q - 4*j + 3518. Is q a prime number?
False
Suppose -v - 232 = -3*m, 4*v = 3*m - 213 - 4. Is m prime?
True
Let z be (-1236)/(-9) - (-3)/(-9). Suppose -3*i + 2*g = -1016 + z, -5*g = 3*i - 900. Is i a composite number?
True
Let d(a) = -175*a**3 + 5*a**2 + 4*a - 5. Let i(c) = -526*c**3 + 14*c**2 + 11*c - 14. Let s(t) = 11*d(t) - 4*i(t). Is s(1) prime?
True
Let s = 3 + 3. Is 8889/27 + s/(-27) prime?
False
Let q(j) = j**2 - j - 13. Is q(11) prime?
True
Is (-2)/10 - 31776/(-30) composite?
True
Suppose 6 = -3*v + 6*v. Suppose 0 = -d - 1, -3*z = -v*z - d - 3. Suppose 37 = z*y - 25. Is y prime?
True
Let t(r) = r**2 + r + 2. Let h be t(-2). Let z = h + -6. Is z/6*(-12 + 3) composite?
False
Let v(n) = -n**2 + 27. Let i be v(0). Suppose -2*r = -i - 151. Is r composite?
False
Suppose 0 = -4*f - a + 209, -280 = -7*f + 2*f - 5*a. Let y = f + -25. Is y a composite number?
True
Let i = -62 - -136. Is i a composite number?
True
Let t(o) be the third derivative of 11*o**6/120 + o**5/60 - o**3/6 + o**2. Is t(1) prime?
True
Let c(p) = p - 1. Let u(n) = -5*n + 5. Let v(q) = -11*c(q) - 2*u(q). Let d(t) = -t + 1. Let g(x) = -3*d(x) + 2*v(x). Is g(4) prime?
True
Suppose -2*c + 2 = v, -4*v + 4 = 5*c - 2*v. Let r = -2 - c. Is 1/(-2)*51*r prime?
False
Let d(m) = 7*m - 6*m + 3*m**2 - 2*m**2. Let l be d(-4). Suppose -l + 100 = 4*f. Is f composite?
True
Suppose -10 = -3*k - s, -5*k - 3*s = -2*s - 16. Let u(c) = 26*c + 5. Is u(k) a composite number?
False
Suppose -4*x - 5*k = -224, 2*x = 4*k + 33 + 53. Suppose x = 2*l - 23. Is l a composite number?
False
Suppose v - 4135 = 400. Is v composite?
True
Let p = 1600 - -114. Is p a composite number?
True
Let g(n) = -2*n**2 - n - 1. Let k(i) = -i**2 - i. Let r(v) = -v. Let f be r(6). Let u(s) = f*g(s) + 11*k(s). Is u(5) a prime number?
False
Let q = -108 - 202. Let k = q + 741. Is k a prime number?
True
Suppose -2*r - 3*t = -230, -r + 0*r - 4*t + 120 = 0. Let g = -45 + r. Is g a composite number?
False
Is 4/12 - 1336/(-6) a composite number?
False
Is 1/((4/6)/(228/18)) a prime number?
True
Let x = 62 - 111. Let k = -30 - x. Is k a prime number?
True
Let n(p) = 14*p**2 + 6*p + 9. Is n(-4) a prime number?
False
Let c be (2 + -1)*(0 - -6). Let v be 8/(-3)*c/(-4). Suppose -2*s - 106 = -5*s - h, 2*s - 54 = -v*h. Is s a prime number?
True
Let u be (-2)/(-6) - (-46)/6. Let r = 13 - u. Is 5/(r/134) + -1 a prime number?
False
Let p(y) be the third derivative of -y**6/120 + y**5/60 + y**4/24 - 32*y**3/3 - 3*y**2. Let g be p(0). Let u = g + 99. Is u a composite number?
True
Suppose -4*i + 3 + 5 = 0. Suppose -4*m - 438 = -i*x, m - 6*m = 4*x - 850. Is x a prime number?
False
Let n = -11 + 14. Suppose -n*t + 0*t + 618 = 0. Is t composite?
True
Suppose 2*r - 3*r = 355. Let g be 3 - 3/(0 - 3). Is 4/16 - r/g prime?
True
Suppose 3*i - 3159 = -2*i - 2*t, 2*i - 1272 = -5*t. Is i a composite number?
False
Suppose 5*c - 3*x = -x + 140, x + 57 = 2*c. Is c prime?
False
Suppose 5*d - 17 = 3. Suppose d*y + 39 = 131. Is y prime?
True
Let z(w) = w + 307. Is z(0) a prime number?
True
Let i(x) be the second derivative of 17*x**4/2 - x**3/6 + x**2 + 3*x. Is i(1) composite?
False
Let a be -1 + 1 - 0 - -91. Let f(n) = -n**2 - 9*n - 1. Let p be f(-13). Let d = a + p. Is d a composite number?
True
Let h(m) = m**3 - 3*m**2 + m - 1. Let t be h(3). Let d be (6/4)/(1/t). Suppose -d*o + 2*o = -23. Is o prime?
True
Let g(a) = -2*a**2 + 5*a + 2. Let d(r) = 5*r**2 - 11*r - 4. Let u(i) = 3*d(i) + 7*g(i). Let j be u(-2). Is (j/4)/(5/1430) a prime number?
False
Let b be 3/9*(-5 + 29). Suppose 4*c + 0 = -b, -2*c + 921 = 5*f. Is f a composite number?
True
Let b be -275 + (-1)/(-2)*0. Let z = b - -450. Let x = 296 - z. Is x prime?
False
Suppose -55 = -5*a - 0*w + w, 4*w = -2*a + 44. Suppose -a + 0 = -3*b. Suppose 9*p - b*p - 50 = 0. Is p composite?
True
Let o(a) = a**3 + 13*a**2 + 8*a - 5. Is o(-11) a composite number?
False
Let k = 98 - 18. Suppose -3*z - k = -4*y + z, z = 5*y - 104. Is y prime?
False
Suppose -94 = -o + 49. Is o a prime number?
False
Let b be (12/5)/(27/90). Let g(q) = -q**3 + 8*q**2 + 2*q + 3. Is g(b) composite?
False
Let h = 208 + 681. Is h prime?
False
Let k = -1261 - -1915. Suppose -5*z + 4*t + 729 = -325, 3*t = -3*z + k. Is z + -2*(-3)/2 a prime number?
False
Let w(b) = -2*b**3 + 46*b**2 + 11*b - 46. Is w(21) composite?
False
Suppose -9*s = 1454 - 6728. Is s a composite number?
True
Let y(s) = -10*s - 12. Is y(-7) a prime number?
False
Let g(j) = 5*j + 211. Is g(0) prime?
True
Let q be 2 + (-16)/(-3 - -1). Suppose 2*r = q, -2*g - 4*r = -0*r - 130. Is g composite?
True
Let n(l) = 87*l. Let k be n(3). Let q = k + 56. Suppose -4*c - 49 = -q. Is c a composite number?
False
Is (-74)/((-6)/(-2) + -4) prime?
False
Let z be -2*(-4 - -3) - -128. Let p = z - -15. Is p prime?
False
Suppose 4*n + n + 450 = 5*l, 5*l = 4*n + 445. Is l composite?
True
Let k(o) = 5*o**2 - 8*o - 28. Is k(-9) a prime number?
True
Is 3459/1 + 5*14/(-35) composite?
False
Let a(v) = 78*v + 3. Is a(3) composite?
True
Let s be ((-24)/(-20))/(6/20). Let m be 0 + 1 - (36 - s). Let j = m - -74. Is j a prime number?
True
Let m(f) = -3*f**3 + f**2 + 5*f - 1. Is m(-4) a composite number?
True
Suppose -2*o + 5*o - 20 = x, -2*x - 22 = -3*o. Suppose 3*j + 15 = 3*g - o, j + 19 = 4*g. Suppose 7 = r - g. Is r prime?
True
Let z(j) = 95*j - 3. Is z(4) a prime number?
False
Let b(l) = -4*l**2 + l - 1. Let i be b(1). Let a(y) = 5*y - 5. Let r(h) = 15*h - 14. Let s(q) = 11*a(q) - 4*r(q). Is s(i) prime?
False
Let r be (2 + 27/2)*2. Let a = r + -18. Is a composite?
False
Suppose 2*q - 13 = -1. Is ((-2)/q)/((-5)/5865) a composite number?
True
Let u = -20 - -22. Suppose -4*s = -u*s - 286. Is s prime?
False
Suppose -4*z = 3*z - 4781. Is z a composite number?
False
Let q(w) = 20*w**2 + 7*w + 2. Is q(-3) a composite number?
True
Let b = 362 + -255. Suppose -44 = 3*g - b. Is g a composite number?
True
Suppose -z = -3 - 30. Is z prime?
False
Let l be 2 - 3/((-3)/(-5)). Let q(f) = -f**2 - 5*f - 3. Let k be q(l). Let v(m) = 50*m - 1. Is v(k) a prime number?
True
Let z = 76 + -359. Let s = z - -446. Is s a composite number?
False