u) = 5*u**2 + 14*u + 2. Is v(-7) prime?
True
Suppose a = 110 + 2. Let j = a + -79. Is j composite?
True
Let v(b) = 2*b + 2. Let s be v(-2). Let t be 2/3*(-6)/s. Is t/(-11) - 5068/(-44) a composite number?
True
Suppose 2*d - 4 = x - d, d - 5 = 0. Let t = x - 11. Is 456/3 - (3 - t) composite?
False
Suppose 8 = -2*k - 5*i, 0 = -k + 5*k + 2*i - 16. Is -1778*(15/k)/(-5) prime?
False
Let g(c) = -48*c + 1. Let d be g(-1). Suppose -5*w + d + 276 = 0. Suppose -3*p = 5*k - 48, k - w - 37 = -5*p. Is p prime?
False
Let j(c) = -c**3 + 9*c**2 + 6*c + 5. Is j(9) prime?
True
Let l(d) = 22*d**2 - 3*d. Let f(o) = o**2 - 2*o - 1. Let u be f(-1). Is l(u) a composite number?
True
Let p be -6*(6/(-9) + 0). Suppose p*n - n = 165. Is n composite?
True
Suppose -4*t + 3808 = -4*d, 4*t - 3153 = -3*d + 676. Is t composite?
True
Let c(m) = 2*m**2 + 3*m + 3. Let h be c(-3). Let d be 670/8 - (-3)/h. Let s = 179 - d. Is s composite?
True
Let o(g) = g**2 + 3*g + 4. Let q(r) = r - 3. Let x be q(0). Let p be o(x). Is 18/(-15)*(-30)/p a prime number?
False
Let l(j) = 24*j**2 + 5*j**3 + 0*j**3 - 24*j + 2 + 2. Let r(d) = -2*d**3 - 8*d**2 + 8*d - 1. Let o(p) = 3*l(p) + 8*r(p). Is o(5) a composite number?
True
Let c = -782 + -159. Let p = 1576 + c. Suppose -3*t - 2*t + p = 0. Is t a prime number?
True
Let f(g) be the second derivative of 5*g**3/3 + 2*g. Let n be f(4). Let z = n + 9. Is z prime?
False
Let k(g) be the third derivative of -13*g**4/8 + 2*g**2. Let x be (1/2)/(1/(-2)). Is k(x) a composite number?
True
Let c(j) = 32*j**3 + 3*j**2 - 2*j + 4. Is c(3) composite?
True
Let s be (12/21)/((-2)/(-14)). Let f(q) = -q**3 + 7*q**2 - 5*q - 2. Is f(s) a prime number?
False
Let r = 22 + -107. Let q = 4 - r. Is q prime?
True
Suppose 20 = 2*s + 3*j, s + 15 = -5*j + 39. Suppose 7*f - 368 = -4*v + 2*f, s*f + 16 = 0. Is v prime?
True
Let c(t) = -t**3 + 6*t**2 + 4*t. Let d(p) = p**2. Let y(h) = -c(h) + 2*d(h). Let i be y(5). Suppose i*w = 12 + 3. Is w prime?
True
Suppose 0 = -3*k, 2*n - 5*k + 373 - 1279 = 0. Suppose 5*q - n - 112 = 0. Is q a composite number?
False
Is (-63)/(-42)*(-106)/(-3) a composite number?
False
Let i = -2193 - -3554. Is i a composite number?
False
Suppose -4*g - 13 = -137. Suppose 2*y - g = 179. Suppose -5*j = -0*j - y. Is j composite?
True
Let f(y) = 27*y**2 + 7*y - 9. Is f(-6) a composite number?
True
Let h(t) = t**2 + 7*t - 5. Let c be h(-6). Let a(d) = d**2 + 4*d + 14. Is a(c) a composite number?
True
Suppose m = -3*q + 2053, 0*m - 6159 = -3*m + q. Is m prime?
True
Let o(n) = 60*n**2 - 26*n**2 - 3*n**3 - 3 - 21*n**2 + n + 2*n**3. Is o(10) a composite number?
False
Is (-3)/27*3*-69*17 composite?
True
Suppose 44 = 4*m - 0*m. Suppose -5*x + m = 2*k, 8 = 2*k + 2*x - 0*x. Suppose k*t + t = 508. Is t prime?
True
Let z(p) = 45*p**3 + p**2 - 2*p + 1. Let b be z(1). Suppose 3*m = b + 60. Is m composite?
True
Let p = 3 - -1. Suppose 5 = -p*x - 3. Is (-1 + 2)*-3*x a composite number?
True
Suppose 0 = 3*p - 7*p - 20. Let c(t) = -4*t**3 + 3*t**2 - 2*t + 2. Is c(p) a prime number?
True
Let h = -3 - -5. Suppose 5*i + a - 4*a - 63 = 0, -83 = -5*i - h*a. Is i a composite number?
True
Let h = -40 + -200. Is 1 - h/3 - 2 a composite number?
False
Let p(d) = -d - 4. Let z be p(-6). Suppose 145 = z*f + v, 3*f - 2*v - 204 = v. Is f prime?
True
Let j be (27/(-4))/(15/(-80)). Let g = -21 + j. Is g a composite number?
True
Suppose m - 26 = 725. Suppose 2*k = w + 2*w - 441, 5*w + 2*k = m. Is w a composite number?
False
Suppose 0 = 6*v + 5*v - 4367. Is v a prime number?
True
Suppose -11 - 17 = 4*i. Let u = -4 - i. Is ((-13)/(-3))/(u/9) prime?
True
Suppose -1567 = -6*w + 455. Is w composite?
False
Suppose -3*u = -13*u + 2590. Is u composite?
True
Let s = 19 - 19. Suppose 4*c + s*c = 1940. Is c composite?
True
Let o(p) = -2*p**2 - 6*p - 5. Let t be o(-4). Let c = -3 - t. Is 0 - (-5)/(c/4) prime?
True
Let o(c) = 108*c. Let r be o(-2). Let n = -61 - r. Is n a composite number?
True
Let j(i) = 203*i**3 + 3*i**2 - 5. Is j(2) composite?
True
Let l = 18 + 95. Is l prime?
True
Is (-3290)/(-3) + (-7)/(-21) a prime number?
True
Let w = -2 - -6. Suppose -a = -0*a + w. Is ((-149)/a)/(1/4) a composite number?
False
Suppose 3*d + 0*d = 177. Is d a prime number?
True
Let l = -1072 + 1821. Is l prime?
False
Let u = 779 + -214. Is u a composite number?
True
Suppose 8*q - 3*q = -360. Let c = q - -235. Is c composite?
False
Let k be 1*51/(2 - -1). Let x be 16*-1*k/(-2). Suppose -m = 3*m - x. Is m prime?
False
Let v = -680 - -1723. Is v prime?
False
Let z = -2 - -2. Let h(u) = -u + 57. Let d be h(z). Suppose 3*g - 7*g = 2*i - 44, 0 = -5*g - 2*i + d. Is g composite?
False
Suppose 0 = j + 6*j - 3598. Is j prime?
False
Suppose 3*o + o - 7 = -3*p, -2*o = 3*p - 5. Is ((-2)/(-4))/(p/422) composite?
False
Let u = -29 - -48. Is u composite?
False
Let r(m) be the first derivative of 3*m + 1 + 1/2*m**2. Is r(4) prime?
True
Is 10266/(5 - 8)*2/(-4) prime?
False
Let i = -454 + 639. Is i a composite number?
True
Let b(p) = p**3 - p**2 + 3*p + 12. Is b(5) composite?
False
Suppose 5*g + 5 = 4*m, 5*g - g + m = -4. Let i be 1 - (-1)/(-1)*g. Is 121 - (i + -2)/(-1) a composite number?
True
Let i(p) = p**2 - 9*p + 6. Suppose -10 = h - 3*h. Let t be i(h). Is 8/(-28) - 746/t a composite number?
False
Suppose -q + 2145 = 4*q. Let f(w) = 5*w**2 + 12*w + 14. Let a be f(6). Let k = q - a. Is k composite?
False
Suppose -x + 39 + 141 = 2*t, 4*x - 720 = -5*t. Suppose -2*l - 8 = -x. Suppose -4*i = -2*k - l, -2*i + 3*k + 31 = -2*k. Is i a composite number?
False
Let k be -17 - (-2)/(2 + -1). Let q be (k/(-10))/(6/8). Is (0 - 0) + 70/q prime?
False
Suppose 2*g - 5*c - 668 = 0, -7*c - 1685 = -5*g - 2*c. Let s = -209 + g. Suppose 5*f = s + 25. Is f composite?
False
Suppose -5*l - 5*z + 4615 = 0, -2*l - 972 + 2790 = -5*z. Is l prime?
True
Suppose 4*b + 0*d - 2*d - 336 = 0, -419 = -5*b + 3*d. Is b composite?
True
Suppose 0 = -g + 3*q - 13, -9 = 4*g - 5*q + 8. Suppose -g*a - 1651 = -5*o, -8 = -4*a - 0. Is o composite?
False
Let p be (-1 - -2)/((-4)/(-1512)). Suppose c = -4*d + 187, -c - c = 4*d - p. Is c a prime number?
True
Let w(c) = -2*c + c**2 + 35 + 41 + 18. Is w(0) prime?
False
Let j(z) = z**3 - 6*z**2 + 5*z - 17. Is j(9) a prime number?
True
Suppose 0 = 4*r - 391 - 1957. Is r prime?
True
Suppose -5*l = -5*u - 4190, 5*l = -2*u + 3344 + 853. Is l a composite number?
False
Suppose 4*f = 2*f + 446. Is f a prime number?
True
Let p = 14 - 16. Is p/4*17*-22 composite?
True
Let q = 6 - 4. Suppose -n = -q*n. Let s(l) = l**3 + 19. Is s(n) composite?
False
Suppose 49 = -5*a - 3*j + 290, 247 = 5*a + j. Suppose -3*i = -a - 127. Is i a prime number?
True
Suppose -g = 4*g + 50. Is 169/2 - 5/g composite?
True
Suppose 0 = -4*h - o + 1624, -4*h + 2*o + 1815 = 179. Is h prime?
False
Let z be (5 - 1)*(-3)/(-6). Suppose -153 = 5*c - 648. Suppose c = z*o - 95. Is o prime?
True
Let g be 507 - -6*2/4. Is (8/(-24))/((-2)/g) a prime number?
False
Let f = -583 - -840. Is f prime?
True
Suppose 5*x - 1621 - 714 = 0. Let t = -324 + x. Is t prime?
False
Let o = -811 - -1368. Is o composite?
False
Suppose -2 = -2*k + 3*k, 5*k = -a - 9. Let p be (0 + a)*-1*-2. Suppose -18 = -4*n + p*n. Is n prime?
False
Let a be (-1*4/2)/(-1). Suppose -v + 10 = 5*q, 4*q + 4*v - 5 = 3. Suppose -868 = -a*t - q*t. Is t prime?
False
Suppose -5*o - 278 = 22. Let c = 88 + o. Suppose 0 = -u + 3 + c. Is u a composite number?
False
Let q = -280 + 539. Is q prime?
False
Let x(c) = 8*c - 5. Suppose -2*o + 5*o = 36. Suppose q - 15 = -2*h, -4*q + 2*h - 2 = -o. Is x(q) a composite number?
True
Is (-39)/6*(3 + -61) prime?
False
Suppose 2*p - 318 - 314 = -b, -b = -5*p + 1587. Is p a composite number?
False
Let f(u) = 2*u - 1. Let v be f(8). Let p = -10 + v. Is (-2 + p)*(-23)/(-3) a prime number?
True
Let q(k) = -k**3 + 9*k**2 + 9*k - 2. Is q(7) composite?
True
Let c = -25 + 708. Is c composite?
False
Let x be -5*(0 - -1)*1. Let g = x + 7. Is (-21 + g)*(1 - 2) composite?
False
Suppose 2*m = 7*t - 6*t - 1843, -4*t + m = -7358. Is t prime?
False
Let r(v) = -2*v + 8. Suppose -3*g + 0*m - 14 = -4*m, 1 = -m. Let y be r(g). Suppose q - y = -q. Is q a prime number?
False
Let l = -1 - -2. Is -1*(-164)/l - 1 a prime number?
True
Let f(m) = -m - 1. Let d(w) = -5*w. Let o(z) = d(z) + 3*f(z). Is o(-3) prime?
False
S