osite?
True
Suppose -3*l = 12, 4*i - 32 = l + 3*l. Let w(a) be the third derivative of a**6/120 - a**5/60 - a**4/6 + a**3/2 + a**2. Is w(i) a prime number?
False
Let j(y) = 65*y - 3. Let c be (4 - 2 - 1)*2. Is j(c) a composite number?
False
Let t = -6 + 4. Let k = t + 6. Is (-204)/(-21) - k/(-14) composite?
True
Let v be (1 + -1)/(-3 + 1). Suppose -26 + 11 = -q - 3*a, v = -5*q - 5*a + 45. Suppose -5*t - o = -103, 4*t - q*o + o - 94 = 0. Is t composite?
True
Suppose 0*y + 1 = y. Is 2/(-4)*(y - 63) a prime number?
True
Let w be (20/8)/((-2)/(-64)). Let n(h) = h**2 + h + 117. Let c be n(0). Let y = c - w. Is y a prime number?
True
Let j = -435 - -689. Is j composite?
True
Suppose 4*t = 2*j - 6 - 6, -2*j + 6 = -2*t. Suppose 0 = 3*v - j*v - 159. Is v a prime number?
True
Let v(k) = k - 4. Let w be v(7). Suppose 0 = -4*o + 4*m + 336, -w*o + 4*m + 0*m = -253. Is o a composite number?
False
Let r(u) = 0*u**2 + 5*u - 14*u + 11 - u**2. Is r(-8) prime?
True
Is (0 + 2 - (-1)/(-1)) + 186 a prime number?
False
Let q(o) = 811*o - 21. Is q(4) a prime number?
False
Let x(h) = -h**3 - h**2 + 4*h + 19. Is x(-9) composite?
False
Suppose -2*l + 2*f + 22 = 0, -2 = l + l + 4*f. Let v(k) = k**3 - 7*k - 3. Let b be v(l). Is (-4)/(-6) + b/9 a composite number?
True
Is (-3726)/(-12) - 6 - (-1)/2 composite?
True
Let h(d) = -6*d - 5. Let f be (-6)/(-2)*(-1)/(-1). Suppose v - 4*c - f = -2, v - c = -5. Is h(v) prime?
True
Let y(x) = 21*x - 6. Let q be y(-3). Let k = 118 + q. Is k a prime number?
False
Is (-2979)/6*(-10)/15 prime?
True
Let f(h) = -h**3 + 4*h**2 + 3. Let q be f(4). Let y = q + 0. Suppose -20 = 5*t, -2*t + 37 = 3*b + y*t. Is b a prime number?
True
Is 3453/4*44/33 prime?
True
Suppose 0 = -9*l + 4*l + 2555. Is l prime?
False
Suppose -301 = -u + 70. Is u a prime number?
False
Let s = -20 - -15. Let i = 150 - s. Is i prime?
False
Suppose -2*p - 1385 = p + u, 4*p = u - 1856. Let c = 1052 + p. Is c composite?
True
Suppose t = -4*t - 45. Let j(y) = -y**3 - 6*y**2 + 12*y - 3. Let l be j(t). Suppose 0*d = 4*d - l. Is d composite?
True
Let c = 11 - 9. Is (10 - 13) + 67*c composite?
False
Let f(l) = -l**3 + l**2 + 1. Let a(q) = -8*q**3 - 4*q + 5. Let h(z) = a(z) - 6*f(z). Let v be 1 + (1 - 0) + -6. Is h(v) a prime number?
True
Let f(g) = -103*g - 6. Is f(-3) a prime number?
False
Is (3 - 1452/18)*(-2 + -1) prime?
True
Let u(s) = -3*s + 2. Let c be u(-2). Let j = c - -3. Suppose -b + j + 24 = 0. Is b a prime number?
False
Let l be 7/(-2) - 1/2. Let w(n) = -6*n - 3. Is w(l) a prime number?
False
Let g(m) = m - 2. Let b be g(6). Suppose b*q - 700 = 2*q. Suppose -5*n + q = -205. Is n prime?
False
Suppose 5553 = 16*c - 6751. Is c a prime number?
True
Let t(d) = 3*d - 4. Let k(q) = q**2 - 7*q + 3. Let m be k(7). Let c be t(m). Suppose n + 236 = c*n. Is n prime?
True
Let q = 1208 - 355. Is q a prime number?
True
Let j = -254 + 119. Let n = 454 + j. Is n prime?
False
Suppose -3*n = 5*s - 0*n + 30, -3*n = -s - 6. Let t = -6 - s. Suppose t = 4*l - 0*l - 124. Is l prime?
True
Suppose -4*i = 2*c - 4*c + 122, 120 = 2*c - 5*i. Is c prime?
False
Let x(b) = 37*b**2 - 2*b + 2. Is x(5) prime?
False
Suppose -a + 76 = -3*s, 197 - 9 = 3*a + s. Suppose j = -1, -j - a = 3*w - 0*j. Let n = 56 + w. Is n a prime number?
False
Let s(b) = -b**3 + 5*b**2 - 4*b. Let q = 5 + -1. Let y be s(q). Suppose -p + 5*p - 868 = y. Is p composite?
True
Let v(t) = -t - 2. Suppose -5*n = 20, -3*k = n + 1 + 12. Let o be v(k). Is (-2 - -31)/(o/5) a composite number?
True
Let i be 15/(-9)*(24 + 6). Let g = 87 + i. Is g composite?
False
Let q be (-26*1)/(2/(-6)). Let d = 29 + q. Let b = d - 56. Is b prime?
False
Let g(m) = m + 7. Let j be g(-7). Let a be 2 - j - (-168)/2. Let u = a - 49. Is u a prime number?
True
Suppose 2*m = -2*m + 476. Is m prime?
False
Let v be (-5)/((-30)/(-8))*-3. Suppose -5 = -5*a + 4*t, -t + 30 = a + v*t. Let y = a - -14. Is y a prime number?
True
Let g(p) = -4*p - 6. Let o be g(-4). Suppose 12 = 2*w + 4*m, 3*m = -3*w + 25 - o. Suppose 9*q - w*q = 70. Is q a prime number?
False
Let i = 0 + 0. Is (-443)/(i + 2 + -3) prime?
True
Let r(l) = l**3 + 9*l**2 + 8*l + 2. Let k be r(-8). Suppose 2*c - 407 = -5*f, k*f - 110 = 3*c - 749. Is c a composite number?
False
Let c(i) = -i**2 - 10*i + 11. Let g be c(-9). Suppose -g = -0*x + 5*x. Let q(m) = -19*m + 3. Is q(x) composite?
False
Suppose 11 = -i + 2. Is (6/i)/((-4)/114) composite?
False
Let h(r) = -36*r + 10. Let f be h(-7). Suppose -2*i + 3 + 1 = 0. Suppose -4*o - i = -f. Is o prime?
False
Let t = 281 + -150. Let m = 203 - t. Let b = m - 35. Is b a prime number?
True
Let t = 43 - -4. Is t prime?
True
Suppose 3*t - 6*h + 5*h - 1472 = 0, 0 = 2*h + 10. Is t a composite number?
True
Let b = 2 - -2. Suppose z = 3*z - b. Is 404/8 - z/(-4) prime?
False
Let t(h) = -6*h**2 - 12*h + 5. Let o(r) = -5*r**2 - 13*r + 5. Let x(z) = 3*o(z) - 4*t(z). Is x(12) a composite number?
False
Let o be (7 + -2)*(5 - 4). Suppose 755 = o*u + 5*z, -376 = -4*u + z + 218. Is u a composite number?
False
Let r be 5/(-10)*0/(-1). Suppose r = -3*z + 7*z - 8. Let p(g) = 3*g**3 + 2*g**2 + 3*g - 3. Is p(z) prime?
False
Suppose -2*a + 4*a = 6. Suppose -z = -1 - 3. Suppose -97 = -3*n - a*u + 161, -341 = -z*n - 3*u. Is n a prime number?
True
Let q(y) = 3 - 10*y - 8*y**2 + 2 + 7 + y**3. Let r be q(9). Suppose 231 = 3*h + 2*v, r*h + 4*v - 55 - 176 = 0. Is h prime?
False
Let q(b) = 190*b + 7. Is q(4) prime?
False
Let d(m) = m - 9. Let b be d(7). Is 240 - (6*-1)/b a prime number?
False
Let y be (-2 - (0 + 0)) + 4. Suppose 5*o - 10 = 10. Suppose -o*i + 2*c + 32 = 0, y*c - 33 = -5*i + c. Is i a prime number?
True
Suppose -5*v = g - 38, 5*g - 27 = -v + 43. Let l = g - -8. Is l composite?
True
Suppose l + 0*r - r = 12, 5*r + 25 = 0. Suppose d + l = 60. Suppose j = 2*j - d. Is j prime?
True
Suppose -528 = -3*q - 5*h, -4*q - h + 681 = -2*h. Suppose -4*s + q = -s. Is s prime?
False
Let c = -30 - -241. Is c prime?
True
Let s = 2815 - 1413. Is s prime?
False
Let x = -5 - -8. Suppose 0*h + 9 = x*h. Is 21/(-4)*(-1 - h) composite?
True
Let t be -6*(2 - (-9)/(-6)). Let r = t - -25. Is r prime?
False
Let r = -10 - -14. Suppose -605 = -3*j + y, -j - r*j = 4*y - 1031. Is j prime?
False
Suppose g - 123 = -2*u + 2*g, 2*u + 2*g - 108 = 0. Is u a composite number?
False
Suppose -2*a = -4*c - 16, 0*a = 5*a + 3*c - 14. Let u be (1 + 1)/((-14)/(-217)). Suppose -u = a*q - 107. Is q a composite number?
False
Let k(w) = 5*w**3 - 2*w + 1. Let x be k(1). Suppose 0*c = -x*c - 8. Is (c - 75/(-3)) + 0 prime?
True
Let o = -5 - -12. Suppose -1 = 3*p - o. Is 12 - ((-4 - 0) + p) composite?
True
Let y = 1427 + -420. Is y a prime number?
False
Suppose 2*f + 0*f = 3*h - 310, -5*h + 514 = -2*f. Suppose 2*y - 160 - h = 0. Suppose 2*k - y = -21. Is k composite?
True
Let u(y) = y**3 - 4*y**2 - 2*y + 4. Is u(5) prime?
True
Let w be -1 + (2 - 0) - -1. Suppose 0 = z + 2*h, -w*z - 4*h + 2 = z. Suppose -2*g + 14 = -2*d, 4*g = -g - z*d + 35. Is g prime?
True
Is -2098*(-1 + (-1)/(-2)) prime?
True
Suppose -2*o - 1684 = -4*p, 0*p + 4*o - 822 = -2*p. Is p composite?
False
Let u = -100 - -615. Suppose u = 4*r + r. Let o = r - 64. Is o a prime number?
False
Suppose -4*t + 485 = 4*s + 17, 0 = 2*t + 4*s - 232. Is t prime?
False
Let c(u) = 1 - 5*u + 2*u - 9*u. Is c(-12) composite?
True
Let b be -1*(7 + 1)/(-2). Suppose -1 = -b*y + 5*m + 7, -4*m - 8 = -4*y. Is 2 - 0 - y - -74 composite?
True
Suppose n - 4*z + 2 = 0, -n - 3 = -5*n + 5*z. Let y be (-11 - (n - 2))*-3. Suppose 2*d - 221 = y. Is d prime?
True
Let w = -19 - -62. Suppose 36 = 4*z - y, -w + 1 = -5*z + 2*y. Is 5*(z/2 + -2) a composite number?
True
Let w(p) = -4*p**3 + 1. Suppose 0 = -4*j + 3*r - 15 - 5, -j + 3*r - 14 = 0. Is w(j) a composite number?
True
Let h(y) be the first derivative of 5/3*y**3 + 0*y**2 + 2 - 5*y + 1/4*y**4. Is h(-4) composite?
False
Let i be 0 + 8 + (0 - 0). Suppose -4*n + i = 0, 11 - 1 = u + 3*n. Let z = 33 + u. Is z a prime number?
True
Let a(k) be the third derivative of -k**6/720 + 11*k**5/60 + k**4/24 + k**2. Let b(l) be the second derivative of a(l). Is b(0) composite?
True
Suppose 3*u - 12 = -3*v, -v - 3*u + 5 = -3. Is 1 - 2 - (-52 + v) composite?
True
Let r(v) = v**2 + 7*v + 3. Let i be r(-7). Suppose -4 = -z, 5*z - i = 2*w + 17. Suppose 1 = -p + 2*a + 28, w 