 134 = 0. Is j prime?
True
Let w be ((-4)/(-3))/((-12)/18). Is (1201 + -3)*w/(-4) a composite number?
False
Let u = 1569 + 952. Is u composite?
False
Let r(k) be the second derivative of 1/12*k**4 + 0 + 2*k + 1/6*k**3 + k**2. Is r(-4) composite?
True
Let j(y) = -y**3 - 10*y**2 + 12*y + 5. Suppose -3*d + 5*w - 31 = 0, -d + 7*w - 2*w = 7. Is j(d) prime?
True
Suppose 13*q - 9*q - 1324 = 0. Is q a composite number?
False
Let s(m) be the third derivative of m**4/24 + 3*m**3 - m**2. Is s(13) a composite number?
False
Let k = 43 + 24. Suppose 213 = 3*q + 4*c, -3*q - 4*c + 3*c + 222 = 0. Suppose -p + 6*p - q = -2*n, -2*n = -3*p - k. Is n composite?
True
Let i(v) = 2*v**2 + 14*v - 47. Is i(14) prime?
True
Let q = -4 - -2. Is (3 - q)*362/10 prime?
True
Let g = -469 - -875. Suppose -y - 2*y = -2*v - g, -y = 3*v - 128. Is y prime?
False
Suppose 4 + 8 = 4*g. Suppose g*v + 12 = 7*v. Is v a prime number?
True
Let d(h) = -h**3 + 3*h**2 + 6*h - 5. Let s be d(4). Suppose 0 = -s*m - m + 316. Suppose 2*w + m = 3*w. Is w composite?
False
Suppose -5*r + 2*r = -267. Is r a prime number?
True
Suppose 4*f - 22 = 2*f. Is f composite?
False
Let t(w) = -w**3 - 5*w**2 - 2*w - 2. Let x be t(-5). Is -5 + x + 4*55 a composite number?
False
Is 5/4 + 187902/72 prime?
False
Let h(p) = -159*p - 2. Is h(-1) prime?
True
Let r(l) = 700*l**3 + l. Is r(1) prime?
True
Suppose -4 = 2*b + q + 7, -b + 5*q + 22 = 0. Let l(v) = v**2 + v - 4. Let a be l(b). Suppose 0 = a*h - 7*h + 125. Is h a composite number?
True
Let z(v) = -3*v**2 - 8 + 42*v**3 + 15*v - 43*v**3 - 6*v**2. Is z(-11) a prime number?
False
Let l = 1987 + -1250. Is l a composite number?
True
Suppose 0 = -2*a + f + 9, 3*a - 4 = 2*f + 11. Let t(n) = 111*n - 2. Is t(a) composite?
False
Suppose -3*z + 7*z = 22652. Is z a prime number?
False
Let b(v) = v**2 - 8*v + 10. Let f be b(7). Suppose -z - 105 = h - 3*h, -f*z - 103 = -2*h. Let p = h - 28. Is p a composite number?
True
Let u be 3 - (0/(-1) - -2). Let l be 0*(1 - u - -1). Suppose l = -0*f - 3*f + 105. Is f a prime number?
False
Let d(t) be the second derivative of -5*t**3/3 - t**2/2 - t. Let f be d(-3). Suppose -160 = -4*o + 3*u, 0*o - f = -o - 2*u. Is o prime?
True
Let f(x) = -x**3 + 11*x**2 - 11*x + 12. Suppose -3*v - 15 + 45 = 0. Let z be f(v). Is z/5 - (-279)/15 a composite number?
False
Let s be (-2)/(-8) - 4/16. Suppose s = -h - 0*h - 4*p + 53, 3*h + 2*p - 169 = 0. Is h composite?
True
Suppose 0*l - 2*l = 0. Suppose 0 = -l*q - 3*q + x + 4, -2*q + 2 = -x. Suppose -v - q*v + 98 = -j, -109 = -4*v - 3*j. Is v a prime number?
True
Let z be ((-51)/4)/(3/(-12)). Let y = -7 + 11. Suppose -y*s = z - 359. Is s a prime number?
False
Let h be (-1 + 0)/(2/18). Let j = -23 + 57. Let d = h + j. Is d a composite number?
True
Let q be (3/2 + -1)*178. Suppose 4*f = 123 + q. Is f composite?
False
Is ((-129)/(-9))/((-4)/(-60)) a prime number?
False
Suppose -14*c + 573 = -11*c. Is c a composite number?
False
Let y = -18 - -33. Is y a prime number?
False
Let q(w) = w + w**3 + 2*w - 8*w**3 - 11*w**2 + 8*w**3 + 14. Is q(11) composite?
False
Let v(i) = -i**3 - 3*i**2 - 2*i. Let b be v(-2). Suppose -l - 7 + 41 = b. Suppose -l = -5*z + 41. Is z prime?
False
Suppose -5*a + 15 = -0*a. Suppose 2*b = -2*b + a*g + 21, 0 = -3*b - 3*g. Is b a composite number?
False
Suppose -2*f + 0*f = y - 12, -f = 3*y - 11. Suppose -314 = -f*j + 101. Is j prime?
True
Is (-4 - -4) + 159 - 0 a prime number?
False
Let t = 11 + -6. Suppose -4*s + i = 0, s + 16 = 5*s - t*i. Is -1*((s - 80) + 2) a prime number?
True
Suppose 4*x - 2 = 10. Suppose -218 = -2*y + 2*j + 388, -x*y = j - 901. Is y prime?
False
Suppose -4*o - 21 = -o. Let t(x) = -x**3 - 2*x**2 - x + 7. Is t(o) a prime number?
False
Let h(r) = 78*r**3 + r. Is h(1) composite?
False
Is 254*((-3)/(-6) + 0) composite?
False
Let q = 618 - -1991. Is q a prime number?
True
Suppose 4*h + 26 = 2*y, 4*h + 16 = y - 7. Let v be y/(0 - (-3)/237). Suppose v = 3*m - 0*m. Is m a composite number?
False
Suppose 0 = -4*l + 4371 - 1223. Is l composite?
False
Let t(l) = 21*l**2 - 4*l - 12. Is t(5) composite?
True
Let l be 1/2*4/(-2). Let q be (-6)/(69/(-78) - l). Let x = -15 - q. Is x composite?
False
Let n(z) be the first derivative of -3*z**4/4 + z**2 + 4*z - 1. Is n(-3) a prime number?
True
Let t(q) = q**3 - 3*q**2 + 3*q. Let o be t(2). Suppose 0 = 5*l + 20, -o*n = -5*n - 5*l + 361. Is n prime?
True
Let w = 41 + -7. Is (w/(-3))/(4/(-30)) prime?
False
Let l(s) = -4*s - 31. Let t be l(-15). Let f = 37 + -23. Let b = t - f. Is b prime?
False
Suppose -12365 = -11*q + 4520. Is q prime?
False
Let n = -583 + 1002. Is n a prime number?
True
Suppose 0 = -6*q + 8*q - 1738. Is q a composite number?
True
Let r = 5 - 2. Suppose 0 - r = 3*d. Let h(q) = 47*q**2. Is h(d) composite?
False
Let g(m) = -2 + 11*m - 11*m + 40*m**2. Is g(-2) composite?
True
Let a(y) = 53*y**2 + 13*y + 3. Is a(5) a composite number?
True
Suppose -y = b - 1, -2*y + 2*b + 18 = 8. Suppose 4*x + y = 31. Is -1*((-9)/3 - x) a prime number?
False
Suppose 8*g - 18*g + 3310 = 0. Is g a composite number?
False
Suppose 3*f + 2*f = 0. Suppose -b - 80 = -5*j, f = -3*b + 5*b + 10. Suppose -5*t - a + 163 = 0, 24 = t - 3*a - j. Is t a prime number?
False
Suppose -r + f = -22 - 10, -3*r = 3*f - 66. Let t = r + -10. Is (9/(-3))/((-1)/t) composite?
True
Let h(b) = -b + 8. Let m be h(6). Suppose m*s = -2*l + 120, 4*l + 2*s - 235 = -s. Is l prime?
False
Let o(v) = 25*v + 2. Let l = -5 - -8. Is o(l) composite?
True
Let v = -5 + 5. Suppose -p - 3*p + 1956 = v. Is p a composite number?
True
Let a = 1572 + -163. Is a a prime number?
True
Let z be 5/(-20) - 199/4. Let x = z + 111. Let s = x + -14. Is s a prime number?
True
Let y = -247 + 2328. Is y prime?
True
Let r be (-4)/(-6)*(-3)/2. Let m be 254/4*(r - -3). Is (0 + m)*(-3 + 4) prime?
True
Suppose -2*u + 9 - 3 = 0. Suppose 0 = -w + 5*o - 16, -u*w + 4*o - 4 = -0. Suppose -23 = 3*p - w*p. Is p composite?
False
Suppose -3*l + 0*n + 2*n - 36 = 0, -2*l + n - 25 = 0. Let g = l - -28. Is g a prime number?
False
Let p(i) be the second derivative of i**5/20 - i**4/6 - i**3 + 2*i**2 + i. Is p(5) a composite number?
True
Suppose -247 + 2477 = 5*y - 3*d, -d + 2230 = 5*y. Is y a prime number?
False
Is (974/10)/((-5)/(-25)) prime?
True
Let k = -4 - -3. Is k*(2 - 1) - -20 prime?
True
Suppose -14*p + 12*p + 718 = 0. Is p a prime number?
True
Let t = -60 + 39. Let m = 2 - t. Is m prime?
True
Let d(c) = -c**3 + 10*c**2 - 7*c - 7. Is d(8) prime?
False
Let w be (-15)/12 - 1/(-4). Let k = -5 + w. Let r(q) = -q**3 - 6*q**2 - 4*q + 2. Is r(k) a prime number?
False
Let g = 3422 - 1621. Is g prime?
True
Suppose -2*d + 14530 = 4*v + 3*d, -d - 10907 = -3*v. Is v a prime number?
False
Let y(g) = -2*g - 12. Let x be y(-8). Let i be x + (-3)/6*-4. Suppose -o + i*o = 50. Is o composite?
True
Suppose -4*s + 16 = 5*n - 0, 2*n + 4*s = 4. Suppose 0 = -4*l + l + 2*c + 377, -n*l - 3*c + 514 = 0. Is l a prime number?
True
Suppose 2*h - 1045 = -3*h. Is h prime?
False
Let k(h) = 20*h - 11. Let x(b) = 61*b - 32. Let w(n) = 7*k(n) - 2*x(n). Is w(12) a composite number?
True
Suppose 0 = t - y, -2 = -3*t - y + 10. Let q(a) = -1 + 2 - t*a + 7*a**2 - 2. Is q(3) prime?
True
Let l(v) = v**2 + 5*v + 1. Is l(4) a prime number?
True
Suppose -7*m + 2*m - 200 = 0. Let z = 124 + 5. Let u = m + z. Is u prime?
True
Let l be 0/3 - (3 + -5). Suppose 3*a - 165 = -3*c, -4*c + 5*c + l = 0. Is a prime?
False
Let q(x) = -x**2 - 30*x - 5. Is q(-12) composite?
False
Let s(h) = h + 10. Let a be s(-7). Suppose 0 = -2*t + 2*w + 36, -a = -4*t - 4*w + 37. Is 4/t + (-430)/(-14) composite?
False
Suppose 3*f + 164 = -5*d + 817, 5*f + 2*d = 1063. Is f prime?
True
Suppose 4*y + 2 = 5*y. Suppose 5*i - y*f - 340 = -5*f, -3*i - 5*f = -220. Is i a composite number?
True
Let f(p) = 6 - 3 - 78*p + 11 - 3. Is f(-8) prime?
False
Suppose h - 11*l = -9*l + 484, 5*l - 1923 = -4*h. Is h a composite number?
True
Suppose 0 = -2*z + 1 + 1. Let a be ((-3)/z)/((-6)/152). Suppose s - a = -3*s. Is s a prime number?
True
Suppose 5*i = 1024 + 61. Is i a prime number?
False
Is 11720/(-32)*(-6 - -2) prime?
False
Is 26388/90 + 2/(-10) prime?
True
Let v(f) = -3*f**2 + 2*f - 1. Let c be v(1). Let u be c/(-8) + (-15)/(-4). Suppose u*n + 75 = 5*x, 0*x + 4*x - 56 = 4*n. Is x a composite numbe