ber?
False
Suppose 5*l = 4 + 6. Suppose -4*m = -l*m - 66. Is m composite?
True
Is -2 - (1/1 + -112) prime?
True
Let h(y) = 37*y**3 + 5*y**2. Let d(n) be the first derivative of n**3/3 + 2. Let l(a) = 5*d(a) - h(a). Is l(-1) a prime number?
True
Let d(u) = -u**3 + 6*u**2 - 5*u + 2. Let x be d(5). Suppose x*p - 695 = -3*p. Is p composite?
False
Let o be (57/(-12) - -4)*28. Is (-7044)/o - (-3)/(-7) a composite number?
True
Suppose 610 + 195 = 5*j. Is j composite?
True
Let i(w) = -10*w**3 - 2*w**2 + w. Let m be i(1). Let z = m + 112. Suppose -j + 3*f + 10 = 0, -5*j - f + z = f. Is j composite?
False
Is 2*(-1)/3 + (-699)/(-9) composite?
True
Let d = -2 + -2. Let t = 7 + d. Let r = t - -20. Is r a composite number?
False
Suppose -3*l - 1 - 5 = 0. Let q = l + 28. Is q prime?
False
Let b = -10 - -4. Let t = 25 + b. Is t prime?
True
Suppose 0 = c - 6*c + 5245. Is c composite?
False
Suppose -j - 5*m + 545 = 0, 2146 = 4*j + 6*m - 3*m. Is j a composite number?
True
Let f(w) = -w**2 - 3. Let n be f(-7). Let a = n + 105. Is a composite?
False
Let l(b) be the first derivative of -3*b**2/2 - 2. Let x = 2 - 7. Is l(x) a composite number?
True
Let b(d) = 2*d**2 - d**2 + 7 - 2 + 4*d**3 - 3*d**3. Let g be b(0). Suppose -3*y + g*i = -0*i - 111, 0 = -y - 3*i + 37. Is y a prime number?
True
Let k = 766 - -123. Is k a prime number?
False
Suppose o + 0 = 3. Let v(f) = -3*f - 14*f**o + 6*f - 4*f. Is v(-1) a prime number?
False
Let h(m) = m - 4. Let o be h(3). Is o/(-4) + 732/16 a prime number?
False
Suppose 0 = 3*y + 4*i - 1750, -5*i + 1166 = 2*y - 2*i. Is y composite?
True
Let w(u) = 2*u**2 + 8*u - 11. Is w(10) prime?
True
Let d(v) = -43*v + 5. Is d(-4) composite?
True
Suppose 12 + 28 = -a. Let p = 12 + a. Is 2678/14 - (-8)/p a prime number?
True
Suppose -t + 770 = -867. Is t a prime number?
True
Suppose 3*n - n - 6 = 0. Suppose -3*c + c + n*x = -7, -4*x - 4 = 0. Suppose 3*i + 4*o = c*o + 103, -2*o = -5*i + 193. Is i a prime number?
True
Is (-791)/(-3) + (-1 - (-6)/18) composite?
False
Let l = -2658 + 4090. Suppose 4*k = -4*s + l, 3*k - 3*s = s + 1039. Is k composite?
False
Let d(v) = 35*v + 1. Let j be d(1). Let r = -1 + j. Is r a prime number?
False
Let j be 2 + 2 + (2 - 11). Let q be 6/15 + 212/j. Let o = 79 + q. Is o a composite number?
False
Let m(v) = v**3 - 12*v**2 - 11*v + 9. Is m(14) a composite number?
True
Let d = 13 - 9. Let r(h) = 5 + 6*h + 2*h + 4*h. Is r(d) composite?
False
Suppose -3*z - 2*n + 1 = 0, 3*z = -5*n - 1 - 1. Let s be -3 + (-6)/(-2 - z). Is 69 + (-5 + 2 - s) composite?
False
Suppose -3*t + 3*g + 744 = 0, -2*t + 490 = -5*g - 9. Is t composite?
True
Let w = -10 - -15. Suppose 27 = o + w. Is o a composite number?
True
Suppose 3*q - 27 = 2*l - 0*q, -3*l + 4*q - 38 = 0. Let g(r) be the first derivative of -r**4/4 - 4*r**3/3 + 7*r**2/2 - 4*r + 4. Is g(l) a prime number?
False
Let g be 3/(-1) - (-1 + 0). Is -38*(g/4)/1 prime?
True
Suppose 3*u - 386 - 556 = 0. Is u prime?
False
Suppose -3*z - 1201 + 158 = -5*v, -5*v - 3*z = -1067. Is v prime?
True
Let m = 849 + -276. Is m a prime number?
False
Suppose -5*s - 7 + 17 = 0. Suppose s*q = -8, -72 = -c - 2*q + 111. Is c prime?
True
Suppose 0 = 2*b + 2*o - 1130 - 3948, 12731 = 5*b - 4*o. Is b prime?
True
Suppose -4*w = -w + 6. Suppose -d - 2 = b, 18 = 3*d - 3*b - 0*b. Is 466*((-5)/w - d) composite?
False
Let d(a) = -10*a**3 + a - 1. Let v(t) be the first derivative of t**3/3 + 5*t**2/2 + 4*t - 1. Let j be v(-3). Is d(j) a composite number?
True
Let o be (1 - 27/6)*-10. Let f = 14 + -28. Let j = o + f. Is j composite?
True
Suppose -b - 30 = 2*b - p, b - 3*p + 18 = 0. Let q(c) = -c**3 - 5*c**2 + 13*c + 2. Is q(b) a prime number?
False
Suppose 5*n = a + 365, -3*a + 4*a + 5*n + 315 = 0. Let b = 555 + a. Is b a prime number?
False
Suppose -4*c - c = 4*q - 36, -c = 3*q - 16. Suppose -q*v - 665 = -9*v. Is v a prime number?
False
Suppose -2*r = -4*r + 6. Suppose x = 3*a + 2*x - 4, r*a = 2*x + 19. Is a a composite number?
False
Suppose -4*j - r - 260 = -1148, 2*r + 8 = 0. Is j a prime number?
True
Suppose 4*q + 2*d = 6932, -5*q + 2747 = -d - 5918. Is q prime?
True
Let q = 1815 + -3689. Let i(g) = -5*g. Let v be i(-2). Is (-4)/10 - q/v a prime number?
False
Let o = 1 + 1. Let x be 20/(-25)*(-5)/o. Is (130/4)/5*x a prime number?
True
Let s be 1/1*(-5 - -142). Suppose 0 = 4*r - 8 - 4, -5*g + s = -r. Is ((-161)/g)/(1/(-4)) prime?
True
Is 3/(-5) + 1328/5 a prime number?
False
Let x(n) = 60*n + 3. Is x(3) a composite number?
True
Suppose -4*l = -5*q - 75, 0 = -3*q + 3. Suppose -16*y = -l*y + 8. Is y composite?
False
Let b = 1936 + -918. Is b a composite number?
True
Let o = -1 - -4. Suppose -o*a + 8*a = 295. Is a prime?
True
Suppose d = -k + 4*d + 238, -5*k - 5*d + 1090 = 0. Is k a composite number?
False
Suppose -4*r = 2*t - 3054, 3*t - 3*r = 295 + 4322. Is t a composite number?
True
Let j(z) = 7*z**3 + 10*z**2 + 8. Let q(s) = -6*s**3 - 9*s**2 - 7. Let v(u) = -5*j(u) - 6*q(u). Let h be v(-4). Suppose -h*a = 2*a - 56. Is a a composite number?
True
Suppose -3*m - 8 + 110 = 0. Is m prime?
False
Let x = 662 - 215. Is x a prime number?
False
Let x(l) = 1277*l**3 - 2*l**2 - l + 3. Is x(1) prime?
True
Let i = 30 - 8. Let s be 2/8 + i/8. Let r(y) = -y**2 + 6*y + 4. Is r(s) composite?
False
Suppose -3*v + 2 = 20. Let f(h) = 1. Let t(o) = -o**3 - 6*o**2 + 3*o + 10. Let l(a) = 6*f(a) - t(a). Is l(v) composite?
True
Suppose -2*n = -3*c - 360, 3*n - 5*c = 403 + 137. Suppose 4*s = s + n. Let t = s + -35. Is t a composite number?
True
Let h = 49 + 389. Suppose 4*f - 2*f - h = -2*n, 0 = 3*f - 4*n - 685. Is f a prime number?
True
Let p(s) = 4*s - 7. Let f be p(3). Suppose f*n - 182 - 83 = 0. Is n a prime number?
True
Let o = -593 + 1060. Is o a prime number?
True
Suppose 9*n + 1325 = 14*n. Is n a prime number?
False
Suppose 4*w - 13 = w + 4*p, 0 = 5*w - 2*p - 17. Is (-669 - 0)*(-1)/w a composite number?
False
Suppose 0 = 2*g - h - 503 - 111, -5*h = 0. Is g a prime number?
True
Suppose w = -5*n - 0*n + 19, 0 = -3*n - 3*w + 9. Suppose 4*k + 4*h - n = -0, 0 = 4*k - 5*h + 14. Is k + 70/(1 - 0) a prime number?
False
Let u = -149 + 226. Is u composite?
True
Let h(z) = z**2 + 3*z + 3. Let q be h(-4). Let x = q + -5. Suppose -x*k = -k - 14. Is k composite?
True
Let g(d) = -7*d**2 - 2*d**3 - 7 + d + 5*d**2 + 5*d. Is g(-5) a prime number?
True
Suppose 0 = 4*g + 4, 0 = a + 2*g + 3. Suppose -5*j + 287 = 32. Is 2*-1 - a*j a prime number?
False
Let o(v) = -v + 1. Let w be o(3). Let g be 0/(-3*w/3). Suppose 2*f + 58 + 82 = 4*t, g = -4*t - f + 152. Is t a composite number?
False
Let p(i) = -2*i**2 - 7*i - 5. Let b(q) be the third derivative of q**5/60 - q**4/24 - q**3/6 - 3*q**2. Let w(z) = 4*b(z) - p(z). Is w(-4) a composite number?
True
Let o(j) = -j + 4. Let i be o(8). Is (5/3)/(i/(-36)) composite?
True
Is (-2)/(-1)*16973/22 a composite number?
False
Is 2/((0 - 1)/(-2)) - -337 a prime number?
False
Is 44/(-6)*(7 - 10) composite?
True
Suppose r - 2*k + 36 = k, -4*r - 174 = -2*k. Suppose 2*c + 3*d - 125 = 0, 2*c = -3*c + d + 355. Let a = c + r. Is a a composite number?
True
Let j be (33/(-2))/((-2)/8). Suppose -a = -2*c + 25, -5*a + 5*c - j - 59 = 0. Is (-2)/(-4) - a/2 prime?
True
Let y(h) = 8*h + 3*h**2 + 7 - 4 - 3. Suppose k - 6*k - 35 = 0. Is y(k) a composite number?
True
Suppose 3*j + 0*j + 9 = 0. Let y be -12*1*(-12)/8. Is (-1)/j - (-408)/y composite?
False
Suppose i = -2*b + 1084, -2154 = -4*b + 3*i + 2*i. Is b a composite number?
False
Let l(j) be the third derivative of j**6/120 + j**5/60 - j**4/24 + 49*j**3/6 + 3*j**2. Is l(0) composite?
True
Let p(v) = -184*v - 1. Let y be p(3). Let g = y - -860. Is g a prime number?
True
Suppose 2*p - 3*u + 4 = -6*u, -36 = -4*p + 5*u. Suppose p = 2*z, -301 = -2*c - 3*z - 37. Is c prime?
False
Let i be 710/8 + (-3)/(-12). Suppose 2*l - 17 - i = 0. Is l a prime number?
True
Let g = 990 + -703. Is g prime?
False
Suppose 9 = 2*c - 3*s, -s + 4 = 3*c + 7. Let h be 2/(-6)*(c - 51). Let v = h + 74. Is v a prime number?
False
Let i be 41 + (6 - -3)/3. Let x = -21 + i. Is x a prime number?
True
Let w(j) = 25*j - 3. Is w(4) composite?
False
Let t(y) = y**3 + 7*y**2 - y + 7. Let w be t(-5). Let h = 97 - w. Is h a composite number?
True
Suppose 0 = -m + 2*p + 2, m + 4*p - 3 = -1. Suppose 0 = m*q - 0*q - 170. Is q c