composite number?
True
Let l(a) = 91*a**2 + 42*a - 42. Let k(m) = -m**2 + m - 1. Let r(h) = -42*k(h) + l(h). Is r(-1) composite?
True
Suppose -3*q + 25 = 2*q. Suppose 3*z - 2 = q*d, d + 7*z - 22 = 2*z. Suppose y - 12 = d. Is y composite?
True
Let q be ((-12)/9)/(4/6). Let x = 2 - q. Is 0 + (-11)/(-2)*x composite?
True
Suppose -6*v + 6 = -5*v. Let l be 28/v - (-2)/6. Suppose -l*g - 5*d = -52 - 38, -6 = -2*g + 4*d. Is g prime?
True
Suppose -5*k = z - 106, 0 = 3*k - 3*z - 16 - 44. Suppose u - 3*x = -1, 5*u - 14 = -5*x + k. Suppose 3*q = 0, -u*n + 0*n - 4*q = -385. Is n a composite number?
True
Let b = -1307 - -1973. Suppose -3*c + b = 111. Is c a prime number?
False
Let p(k) = -2*k**2 + 6 + 0*k - 4*k - k**2. Let d(z) = 9*z**2 + 11*z - 17. Let u(g) = 6*d(g) + 17*p(g). Is u(-5) composite?
True
Let o(y) be the third derivative of -y**6/120 - y**5/10 + y**4/4 - y**3/2 - 2*y**2. Let u be o(-7). Suppose -u*v + 198 = -62. Is v a composite number?
True
Suppose -o - 684 = -5*o. Suppose -2*c + o = 5*q, 5*c = c + 3*q + 329. Is c a prime number?
True
Suppose 115 = 5*j - 0*j. Suppose -w = -g + w + j, g - 23 = -3*w. Is g composite?
False
Let m be 11/(-9) + (-4)/(-18). Let x = 11 + m. Is x a prime number?
False
Let a be (0 + 0)/(-1 + 2). Suppose a*p + 5*p = 0. Suppose 2*i + p*i - 38 = 0. Is i a composite number?
False
Let t = 162 + -31. Is t prime?
True
Let u(d) = d + 8. Let n be u(-5). Suppose -f - g + 10 = g, -n*g = 2*f - 17. Suppose -f*k + 59 = -i, 0 = -4*k - 4*i + 12 + 32. Is k a composite number?
True
Let x = 4 + -3. Is (-3)/(x - -2) - -112 a prime number?
False
Suppose 20 = 2*p - 2*g, 4*g = 2*p - 24 - 6. Suppose -3*d + 2568 = p*d. Is d prime?
False
Suppose -5*l + m + 668 = -2*l, 2*m = 2*l - 444. Is l composite?
False
Let o be (10/8)/(1/(-4)). Is (-5)/o + (-1 - -10) prime?
False
Suppose -4*l + 0*l + 576 = 0. Let d = l + -85. Is d a prime number?
True
Let k(i) be the first derivative of -i**4 - 2*i**3/3 + 2*i**2 + i + 3. Is k(-3) prime?
True
Suppose -2*c - 9 = 5*n, c + 9 = -3*n - n. Is ((-102)/(-3) - n)*1 a prime number?
True
Let w be (-189)/(-4) + (-3)/(-4). Suppose -228 = -4*m + w. Is m a prime number?
False
Suppose -k + 956 = o, 3*k - 2*o - 1639 - 1214 = 0. Is k a prime number?
True
Suppose -12 - 4 = -4*f. Suppose -5*b - 69 = -0*s - 4*s, -34 = -f*s - 2*b. Is s a composite number?
False
Let u(j) = -j**3 + 23*j**2 + j - 4. Is u(19) composite?
False
Let g = 224 + -129. Is g prime?
False
Let f(s) = s**2 - 14*s + 4. Let i be f(13). Is (29 - 0)*(-2 - i) a composite number?
True
Let o = -5 - -3. Let t = o - -17. Is t composite?
True
Suppose -3*r + 3*s = -2*s - 331, -r = -4*s - 101. Suppose -4*l - r = -33. Let o = 70 + l. Is o a prime number?
False
Let z(h) = 6*h - 2*h - 3*h - 1. Let s be z(3). Suppose s*q - 236 = -2*q. Is q a composite number?
False
Suppose -n + 3*n = 8. Suppose -5*d = -n*p - 23, 3*d + 3*p - 15 - 15 = 0. Is d composite?
False
Is (7/14)/((-2)/(-56)) composite?
True
Let w(l) be the second derivative of 23*l**4/4 - 2*l. Is w(1) prime?
False
Let q = 2870 + -1461. Is q prime?
True
Let m be 3 + -2 + 1 - 2. Let h(s) = -s**3 + 8. Let p be h(m). Suppose 4*z - 48 = -p. Is z prime?
False
Suppose d - 809 = 3*c, -2*d - 3*d + c + 4101 = 0. Is d a composite number?
False
Is 557*(3 + -2) + -4 a composite number?
True
Let p(d) = 7*d**3 + 3*d**2 - 2. Let z be p(2). Let q = z - 13. Is q a prime number?
True
Suppose -3*n = -11 + 2. Let b = n - 1. Suppose 4*p - 53 = b*w + 31, 3*w + 21 = p. Is p a composite number?
True
Suppose 33077 = 32*r - 21*r. Is r prime?
False
Let n be (5 - 2/2)*43. Let k = n - 95. Is k a prime number?
False
Suppose 4*x - 1148 = 1568. Let b = x - 1178. Let i = b + 704. Is i a prime number?
False
Let l = -40 - 90. Let g be l*(-2 - -1)/1. Suppose g = i - 61. Is i composite?
False
Let y(k) = 68*k + 5. Is y(2) prime?
False
Suppose 2*m + 5*u + 7 - 30 = 0, 17 = 2*m + 3*u. Suppose 0 = -m*w + 8*w - 1200. Let o = w - 151. Is o prime?
True
Suppose -5*i + 1262 = 2*m, -5*i + 4*m + 1290 = -m. Let t(q) = -q**2 + 6*q - 4. Let b be t(5). Is (i*(-1)/b)/(-2) a prime number?
True
Let b = 24 + -72. Let x = b - -83. Is x composite?
True
Let o(v) = 63*v**2 + 12*v - 5. Is o(-7) a composite number?
True
Is (-7781)/(-8) + 3/8 a prime number?
False
Let l = 259 + -153. Suppose 9*n - 11*n + l = 0. Is n prime?
True
Suppose -6*j - 10447 + 42061 = 0. Is j prime?
False
Suppose 0 = -6*y + 7*y - 6835. Is y a composite number?
True
Let x be 2/(-4) - (-7)/2. Let n be 4*(x + 5/(-2)). Suppose 5*u = 0, -n*u + 93 = 3*c - 3*u. Is c a composite number?
False
Let w(m) = m**3 + 5*m**2 + 6*m + 2. Let l be w(-4). Let k(q) = q + 8. Let a be k(l). Suppose -3*x - v + 6 = -59, -a*x + 2*v + 54 = 0. Is x a prime number?
True
Let c(a) = -a + 6. Let d = -24 + 17. Is c(d) prime?
True
Suppose -3*n - 28 = -4*n + 2*o, 92 = 4*n + 2*o. Let v(k) = k**2 + 2*k - 5. Let l be v(-4). Let a = n - l. Is a a prime number?
False
Let y = 457 - 108. Suppose 0 = 4*f - 3*u - y, -384 = -4*f - 0*f - 4*u. Is f a composite number?
True
Let a = -219 + 74. Let f be a/((-5 - -2)/12). Suppose -5*z - f = -9*z. Is z a composite number?
True
Suppose -5*o = 11 + 9. Let d be o/(-18) - (-68)/18. Suppose 3*p - 131 = -4*l, -89 = -2*l + d*p - 7. Is l composite?
True
Suppose 0 = -4*a + 3*a + 76. Let q = 87 + a. Is q a prime number?
True
Let d(r) = -2*r**3 + 2*r**3 + 2 + r**3 - r + 5*r**3. Is d(3) composite?
True
Let w(q) = -4*q**2 + 5*q**2 + q**2 - 5 - 7*q. Is w(8) a composite number?
False
Let c(o) = -o**3 + 9*o**2 - o + 5. Let y be c(9). Let w(p) = 3*p + 1. Let u be w(y). Let b = 94 + u. Is b composite?
False
Let v(t) = t**2 - 1. Let w be v(1). Is 21 - ((1 - w) + -3) a prime number?
True
Let a be (-2)/(-6) - (-640)/(-12). Let v = 102 + a. Is v a prime number?
False
Suppose n + 52 = 135. Is n composite?
False
Let v(n) = 0*n - 2*n + 4*n. Let o be v(1). Suppose 2*k - 28 = -o*k. Is k composite?
False
Let c(q) = 0 + 3*q**2 - 2*q**2 + 2*q - 1. Let x be c(-2). Let l(b) = -38*b**3 + 2*b**2 + b. Is l(x) a composite number?
True
Let c(p) = 11*p + 5. Let l be c(-4). Is (1 - 1)/1 - l prime?
False
Let x(g) = -2 + 1 - 6 - 6*g - 8*g. Is x(-6) composite?
True
Suppose -49 = m + 3*x - 2*x, 2*m = -5*x - 101. Let b = m + 137. Is b a prime number?
True
Is (0 + 4)/(6312/788 + -8) prime?
False
Let b = -7 + 0. Let p = 15 - b. Is p a prime number?
False
Let t be -1*(0 - 1) - -19. Suppose 5*j + 4*f = -f - 25, 2*f + t = -4*j. Let i(x) = -18*x + 5. Is i(j) a prime number?
False
Let b(v) = -41*v + 3. Is b(-2) a prime number?
False
Let p be -9 - (2 + -3 - 0). Let r = 5 - p. Is r a prime number?
True
Let t = -11 + 15. Let f(z) = 5 + 0 - t - 66*z. Is f(-5) a prime number?
True
Let v = 2 + 0. Let w be 5 + v + -1 + 0. Let c(h) = 2*h + 2. Is c(w) a composite number?
True
Let o(x) be the third derivative of -1/6*x**3 + 1/15*x**5 - 3*x**2 + 1/8*x**4 + 0*x + 0. Is o(-3) composite?
True
Suppose -y + 7 - 2 = 0. Suppose 3*l - 1059 = -5*g + l, 10 = y*l. Is g a composite number?
False
Suppose 33*j - 331 = 32*j. Is j a composite number?
False
Suppose 4*h + 1792 = p + 3*p, h - 908 = -2*p. Let t = p + -253. Is t prime?
True
Let g = 10 - 13. Let n(q) = 13*q**2 + q + 5. Is n(g) composite?
True
Let p(w) be the third derivative of 31*w**6/120 + w**5/60 + w**4/24 - w**3/6 + 2*w**2. Is p(2) composite?
True
Suppose q - 48 = 75. Is q prime?
False
Let g = -1 + 3. Let k = 5 + g. Is k a composite number?
False
Let i = 19 - 32. Let o = i - -19. Is (13/3)/(1/o) a prime number?
False
Suppose -c - 4970 = -6*c. Suppose 2*y + c = 5*v + 3*y, -3*v - 4*y = -593. Is v prime?
True
Let l(p) = 4*p**2 - 6*p - 5. Suppose 0 = y - 5. Is l(y) a prime number?
False
Suppose -7*t - 21 = -10*t. Is (267/(-15))/(t/(-35)) a composite number?
False
Suppose 0 = 2*o - 2 - 4. Suppose -o*w - 243 = -3*b, 5*b - 2*w - 2*w - 403 = 0. Is b composite?
False
Suppose 0 = -5*u + 2*u + 447. Suppose -5*h + u = -5*w - 121, 4*h - 209 = -3*w. Is h prime?
True
Let b = 38 - 11. Suppose -q = b - 166. Is q a prime number?
True
Let h(u) = -u + 10. Let r be h(-7). Suppose 2*x + 0*q - 81 = -q, 0 = -4*x + 4*q + 180. Let p = r + x. Is p a composite number?
False
Let h be (20/6)/((-6)/(-9)). Suppose -10 = 3*b + h*n, -3*b + 0*n + 20 = -n. Suppose -4*y - 2*p + 190 = 50, 0 = 4*y - b*p - 140. Is y prime?
False
Suppose 4*h + 2*a = 2, h + 0*