 u composite?
True
Let i(c) = -c - 11. Let g be i(-7). Let v = 6 - g. Suppose -z - v = -33. Is z composite?
False
Let i = 5 + -2. Suppose v - 6 = -v, -i*z - v + 72 = 0. Suppose 4*h = -4*p - 3 + z, 11 = p + 4*h. Is p composite?
False
Suppose b = -4*b - q + 1894, -4*q = 4*b - 1512. Is b a prime number?
True
Let w(l) = l**2 - 3*l - 2. Let u be w(6). Suppose -t = 3*f - u, f = -2*t + 4*f + 41. Is t prime?
True
Let h be (1/(-3))/((-3)/27). Suppose -2 = -h*i - u, 0 = 4*i - 5*u + 3*u + 14. Is 13 + (0 + 0)*i prime?
True
Let r be 2/(-5) + 2/5. Suppose r*c = c - 307. Is c prime?
True
Suppose 0 = -2*z + 7 - 3. Suppose -3*b = -3*g + 258, -5*g - z*b + 153 = -298. Is g a composite number?
False
Let v(g) = -g**2 - 6*g + 31. Is v(0) a composite number?
False
Suppose 5*n = -v + 22, v + 2*v - 26 = -5*n. Suppose v*t - 16 = -4*u + 6*u, 5*t = -5*u. Is (-2220)/(-28) - t/14 a composite number?
False
Suppose -2*g + 6*g - 812 = 0. Is g a composite number?
True
Suppose -2*q - 16 = -4*k + 2*q, 3*k - 4*q = 10. Is k a prime number?
False
Suppose -8*s + 7*s + 470 = 0. Suppose -x + s = x. Is x prime?
False
Let y(j) = j**3 - 6*j**2 + 8*j + 5. Let g = 11 + -5. Is y(g) composite?
False
Let x(o) = 176*o + 59. Is x(10) a composite number?
True
Suppose 0 = 4*j - 7*j + 2*f + 16, 1 = -2*j - f. Let o be (-244)/(-6)*(-9)/(-6). Suppose -5*y - 4*m + o = 0, -j*m - 12 = -5*m. Is y composite?
True
Let d(s) = -s**3 + 7*s**2 + 7*s - 4. Let h = -9 + 15. Let l be d(h). Suppose -a + 2*q = -41, 2*q = a + a - l. Is a composite?
True
Let f = 1 + 4. Suppose f*p + 52 = t, -4*p + 5*p - 2*t + 14 = 0. Let l(u) = 3*u**2 + 14*u + 3. Is l(p) a composite number?
False
Let m(i) = i - 9. Suppose -h = h - 14. Let g be m(h). Is (-4 + (g - 0))/(-1) a prime number?
False
Let x = 10 - 24. Let z = x + 58. Let y = z + -25. Is y composite?
False
Suppose 0*d - 2*d + 1814 = 0. Is d a composite number?
False
Is 4/(-14) - 32796/(-28) a composite number?
False
Let p = -7 - -7. Suppose p = -b - b + 4. Suppose u - 5*u - z = -625, 4*u - 634 = b*z. Is u composite?
False
Suppose 3*h = 60 + 321. Is h composite?
False
Let n(m) = -m**2 + 9*m - 6. Let f be n(8). Suppose 13 = -f*v + 5*k + 33, 4*v = -4*k - 16. Is 3 + (107 + v - 1) a prime number?
True
Let y = 2574 - 1667. Is y a composite number?
False
Let q(c) be the first derivative of c**3 + c + 1. Let x be q(-2). Is x*(1 - 0/(-3)) prime?
True
Let g(p) = 3*p - 7. Let t(w) = -7*w + 15. Let x(l) = 9*g(l) + 4*t(l). Let f be x(-5). Suppose -4*n = -4*o + 336, 2*o - n - 163 = f*n. Is o a composite number?
False
Let a be 1*0*2/(-4). Suppose 3*y = 18 - 6. Suppose 0*f = -5*n - y*f + 475, a = -2*n - f + 187. Is n a composite number?
True
Let n(h) = 4*h**2 - 8*h + 5. Is n(4) composite?
False
Let g(k) = k**3 - k**2. Let u be g(0). Suppose u = -l + 2*p + 33, 2*l - 5*p - 99 = -l. Is l composite?
True
Let x = -2 + 4. Suppose -l = x*l. Suppose l = p - 22 - 13. Is p prime?
False
Let q be ((-3966)/9)/((-4)/(-30)). Is (-1)/(-2) + q/(-10) composite?
False
Suppose 8 - 4 = -v. Is 3/(-6)*v + 9 prime?
True
Let k(p) = 6*p + 7. Let h(r) = 3*r - 1. Let m be h(2). Is k(m) a prime number?
True
Let y = 1 - 1. Let b be 36/8 + 2/(-4). Suppose -2*v = y, 2*m + 3*v - 4 = b. Is m a prime number?
False
Let n = -39 - -1041. Suppose -a - n = -4*b, 2*b + 3*a = 182 + 326. Is b a composite number?
False
Let w(g) = g**2 - 6*g + 3. Let b be w(9). Let k be (-4)/b*-3*20. Let y = k + 2. Is y prime?
False
Suppose 0*n - 4*n = -v + 98, -2*v + 187 = n. Is v a composite number?
True
Let q be -2 + 1/((-2)/(-16)). Let h(p) = p**3 - 7*p**2 + 7*p - 8. Let v be h(q). Is (-100)/(-12) - v/3 prime?
False
Let g(h) = -h**2 - 8*h. Let a be g(-8). Suppose 0 = 4*t - t - 5*q - 21, t + 3*q - 7 = a. Is t a composite number?
False
Let s = 9 - 18. Let t = 22 - s. Is t a composite number?
False
Suppose -v - 3*x - 2 = 4, -2*v - 3*x - 6 = 0. Suppose v = -8*b + 3*b - 2*m + 104, 2*b - 38 = -2*m. Is b prime?
False
Is 30/7 - (-2)/(-7) a composite number?
True
Let z(p) = 6*p + 2. Let f be z(3). Let i = -18 + 21. Suppose 5*v - f = -i*h, 4*v + 90 = 5*h + v. Is h prime?
False
Let m(b) = b + 1. Let j(s) = 5*s + 9. Let a(k) = -j(k) + 6*m(k). Let t(x) = -3*x - 4. Let h be t(-3). Is a(h) a prime number?
True
Let k(p) = 5*p**2 - 4*p - 5. Suppose 4*y + d = 5*d - 20, -5 = 3*y - d. Let b = y + -4. Is k(b) composite?
True
Let a = -8179 - -14478. Is a composite?
False
Let i(b) = 76*b**2 - 16*b + 6. Let x(h) = 15*h**2 - 3*h + 1. Let q(a) = 2*i(a) - 11*x(a). Let l be q(-2). Let d = l + 76. Is d a composite number?
False
Let x(g) = -g**3 - 9*g**2 - 15*g. Let w be x(-10). Is -1*1*(-1 - w) composite?
False
Let n(l) be the third derivative of 0 + 7/12*l**4 + 0*l - 2*l**2 + 1/6*l**3. Is n(1) prime?
False
Let q be (-18)/12 + 5/2. Is -2 - 255/(-3)*q a prime number?
True
Suppose 17 = -0*x + x. Let l = x + 60. Is l composite?
True
Suppose -d = 4*d - 1585. Is d a composite number?
False
Let j(l) = 27*l + 11. Let q be j(12). Suppose 5*a - q = -5*s, 63 = -2*a + 2*s + 197. Is a a composite number?
False
Suppose 2*m = 4*m - 94. Let k = m - 8. Is k a prime number?
False
Is ((-213)/(-12))/((-6)/(-120)) a prime number?
False
Let v(f) = 27*f - 2. Is v(3) prime?
True
Let i = -82 + 205. Is i prime?
False
Is ((-84)/(-78))/7 + (-19901)/(-13) composite?
False
Let y(o) = -3*o**3 + 17*o**2 - 15*o + 5. Let w(i) = -i**3 + 8*i**2 - 7*i + 2. Let h(m) = -5*w(m) + 2*y(m). Is h(-7) a composite number?
True
Let y(a) = -a**2 - 8*a + 5. Let j be y(-9). Let n be (10/(-3))/(j/6). Suppose n*d - 32 - 95 = 3*p, -2*d + 58 = -3*p. Is d a composite number?
False
Suppose 3*i = -3*c + 21, c + 0*i = -3*i + 13. Suppose 0 = 5*q + 2*s - 185, -c*s + 6 = -14. Is q prime?
False
Suppose -4*s + 3368 + 224 = 0. Is s prime?
False
Let k(n) be the third derivative of 5*n**4/24 + 2*n**3 + n**2. Let s(r) = -9*r - 23. Let l(z) = 5*k(z) + 3*s(z). Is l(-8) a prime number?
True
Suppose 2*w = -3*y - y + 764, -4*y + w = -752. Suppose 3*g = 2*n + y, 69 = g + n + 11. Suppose 3*d + 16 - g = 0. Is d composite?
True
Let a(r) = -r**3 - 7*r**2 + r + 7. Let l be a(-7). Suppose 0*z + z - 26 = l. Is z prime?
False
Suppose 5*p + 4*i = 3, 3*p + i - 9 = -p. Suppose 0 = -2*z - p*m + 431, -5*m = 2*z - 5*z + 618. Is z a composite number?
False
Suppose 0*y - 16 = y. Is ((-1)/2)/(y/2656) a composite number?
False
Let b = 94 + -57. Is b a composite number?
False
Let n(f) = -143*f. Is n(-1) a prime number?
False
Let n = 188 - -71. Is n composite?
True
Suppose -5*s - 464 = -2184. Suppose t - 4*b + 101 = s, 0 = 2*t - 3*b - 496. Suppose -5*o = 16 - t. Is o a prime number?
True
Suppose 2*p = -3*p + 2*n + 3545, -2*p = -5*n - 1418. Is p a prime number?
True
Let t = 70 - -24. Is t composite?
True
Suppose 0*c - 456 = -3*c - 3*h, -450 = -3*c - h. Is c a composite number?
False
Let p(n) = -2*n. Let i be p(-3). Suppose 2*s = i*s - 860. Is s prime?
False
Let i = -487 + 794. Is i a prime number?
True
Let i(g) = g**2 + 2*g. Let x be i(-2). Suppose -3*s + 12 = -x. Suppose -l + s + 5 = 3*r, -5*r - 7 = -2*l. Is l a composite number?
True
Let d = 83 - 46. Is d composite?
False
Suppose 0 = 5*t + 63 - 498. Is t a composite number?
True
Let v be (-5)/(-2) - 4/8. Suppose 6 = d + v*d. Suppose 144 = d*w + 2*l, -3*l + l = w - 77. Is w composite?
False
Let l(m) = 34*m**3 + m. Let f be -1 - -3*(0 - -2). Suppose -2*y = 3*y - f. Is l(y) a composite number?
True
Is (-6554)/(-10) + 12/(-30) prime?
False
Suppose -5*r + 777 = -4*z, -12*r + 322 = -10*r + 4*z. Is r composite?
False
Let r(h) = 34*h**2 - 3*h + 4. Is r(5) a prime number?
True
Suppose -1122 = -5*y - 317. Is y a prime number?
False
Suppose 4*s + 8 + 16 = 0. Let n be 4/s + (-532)/3. Is (-2)/(2/n*2) prime?
True
Let v = 582 - 904. Let d = v + 844. Is 2/(-7) + d/14 prime?
True
Suppose -4*b + 0*b + 5*p = -16, 4*b = 4*p + 16. Suppose -x + 2*x - 4*l - 127 = 0, -x - b*l = -95. Is x a prime number?
False
Let n(t) = -6*t**3 + 5*t**2 + 3*t + 1. Suppose 0*d = 3*d + 9. Is n(d) a prime number?
True
Let y(p) be the second derivative of p**6/180 + p**5/24 - p**4/6 - p. Let n(o) be the third derivative of y(o). Is n(8) a composite number?
False
Suppose -2*f + 26 = -380. Is f a prime number?
False
Suppose 4 = 2*l, -5*w + 0*w = -l - 3233. Is w prime?
True
Let c(k) = 6*k**3 + k**2 - 4*k - 5. Let j be c(4). Suppose 2*q - 22 = -18. Is j/4 + q/