ppose -3*g + 3631 - 910 = o. Is g prime?
True
Let m(v) = v**3 + 14*v**2 - 11*v + 4. Let g be m(-14). Let r be ((-1)/2)/(1/(-474)). Let p = r - g. Is p composite?
False
Let s(w) be the second derivative of -w**5/20 - 7*w**4/12 - 7*w**3/6 - 3*w**2/2 - w. Let g be s(-6). Suppose -2*b + 35 = g*b. Is b composite?
False
Let g(o) = -o**3 + 10*o**2 - 5*o + 7. Let v(c) = c**3 + 5*c**2 - 8*c - 3. Let l be v(-6). Is g(l) composite?
False
Suppose 0 = -5*q + f - 21076, 9*f - 4*f - 21080 = 5*q. Is (-2)/(-8) - q/20 a composite number?
False
Let s = -5 - -7. Suppose -q + p + 171 = 5*p, 290 = s*q - 5*p. Is q a prime number?
False
Suppose -y - 117 - 105 = -l, 0 = -5*l + y + 1114. Is l composite?
False
Suppose -2*s - 14 = -4*s - 2*v, 0 = -5*s - 3*v + 29. Let m(y) = -y**2 + 5*y + 1. Let c be m(s). Suppose 2*n = i - 7, i + 28 = c*i + 5*n. Is i composite?
False
Let o = -62 - -175. Let j = -176 + o. Let g = -26 - j. Is g composite?
False
Suppose 3*w + 0 = 9. Suppose -3*z = 2*l - 85 - 88, 2*z - w*l = 98. Is z composite?
True
Suppose 226 = 4*r - 2*r. Is r prime?
True
Let c(y) be the second derivative of -157*y**3/6 + y. Let q(a) = a**3 - 22*a**2 - 22*a - 24. Let w be q(23). Is c(w) a composite number?
False
Let f(h) = 14*h - 7. Let j be -2*1 - (-16)/2. Is f(j) a prime number?
False
Suppose l = -5*k + 3526, -2*k + 690 = -k + 4*l. Is k prime?
False
Suppose 3*u - 5*s = 19, -2*u = -u + 2*s - 10. Suppose -p = p + u. Let k(j) = 5*j**2 - 2*j + 1. Is k(p) a composite number?
False
Suppose 2*u = 3*v - 457, -u + 153 = 2*v - 140. Is v a prime number?
True
Is 587 - (-3 - -3)/(-2) a prime number?
True
Let q = 15 + -10. Suppose -3*l - 3*u + 105 = 0, -l + 4*l + q*u = 113. Is l a prime number?
True
Suppose 0 = 5*k - 11 - 139. Let h be (k/(-12))/(1/(-8)). Is (-15)/h*(-3 - 1) prime?
True
Let g = 13 + -11. Suppose -2*f - b = -183, g*b = -3*f + 7*b + 268. Is f a composite number?
True
Is 2862 + (-5 - (-4 - (4 - 4))) composite?
False
Let d be (10/(-4))/(1/(-6)). Let m be 790/4*48/d. Suppose -2*l - 2*l + m = 0. Is l a prime number?
False
Let h(f) = -49*f + 1. Let n be h(1). Let a = -86 + 167. Let x = a + n. Is x prime?
False
Suppose -16*i + 18*i - 138 = 0. Is i a prime number?
False
Let p(r) = -r + 11. Let n be p(9). Suppose -4*a + n*q = -354, -3*q = -3*a - a + 353. Is a a prime number?
True
Let r(z) = 3*z**3 + z**2 - 3*z - 4. Is r(3) composite?
True
Suppose -p = -c + 11, -3*c - 8*p + 4*p = -61. Suppose 5*j - c = 30. Is j a prime number?
False
Let d(n) = -3*n + 1. Let r(z) = -5*z + 2. Let b(g) = 5*d(g) - 2*r(g). Let u = -6 + 4. Is b(u) a prime number?
True
Suppose -2*r + 12 = 3*s - s, 2*r = s + 6. Suppose -2*t + r = 8. Is (3/(-9))/(t/534) a composite number?
False
Let q(w) = -19*w. Let b be q(-1). Let x = b - 8. Is x prime?
True
Suppose 9*u = 9142 + 4511. Is u composite?
True
Let t be 12/(-1 + 1 - -1). Let w(d) = -d**3 + 12*d**2 + d - 5. Is w(t) composite?
False
Suppose 3*t + 5*z = 7, 0*t + 2*t - 3*z = -27. Let n(k) = 2*k**2 + 7. Is n(t) composite?
False
Let a be 1 + 1 - 1 - 0. Let z = 4 + a. Suppose 3*b = -z*m + 292, -b = 2*m + b - 116. Is m composite?
False
Let g be (-358)/(-4)*(-2 + 4). Suppose r + 4*j = g, -6*r - 3*j + 358 = -4*r. Is r prime?
True
Suppose 3*d = 10711 + 194. Is d prime?
False
Let n(b) be the first derivative of 23*b**2/2 - 15*b - 1. Is n(10) composite?
True
Is 0 - (1 + 4)*-103 composite?
True
Suppose -80 = -4*p - n, 3*p + 4*n + 12 = 72. Let d = 23 - p. Is d a prime number?
True
Suppose -501 = 2*n - 3*n - 5*a, 5*a - 20 = 0. Is n a prime number?
False
Let a = -787 - -1122. Is a prime?
False
Suppose -x - 2*x + 597 = 0. Is x a prime number?
True
Let u(v) be the second derivative of v**4/3 - 4*v**3/3 - 5*v**2/2 - 5*v. Is u(6) composite?
True
Let b(v) = 2*v - 9*v + 3 + 0*v - 8*v. Suppose -19 = 4*g + 5. Is b(g) prime?
False
Let o(j) = 100*j + 1. Is o(22) a composite number?
True
Suppose -3*f + 39 = -2*f. Suppose -3*t = -72 - f. Is t a prime number?
True
Suppose -3*t - t = -160. Let b = t - 29. Is b composite?
False
Is 1395 - (3 - (6 - 1)) a composite number?
True
Suppose -4*z = -0*z + 1272. Let s = 19 - z. Is s a composite number?
False
Let j = -4557 - -6918. Is j a composite number?
True
Let t(q) = -7*q**2 + 2*q + 7. Let w be t(-5). Let p = -1 - w. Is p a prime number?
False
Let n be (-2 - -4)/((-2)/(-93)). Let o = n + -56. Is o composite?
False
Let k(c) = -c**3 - c**2 - 7. Let z be k(0). Let j(l) = 3*l**2 + 2*l - 6. Is j(z) prime?
True
Let p(w) = 48*w - 2. Let b be p(-3). Let u = -133 + 38. Let x = u - b. Is x a prime number?
False
Suppose 1499 - 5815 = -4*r + 3*g, r - g = 1079. Is r composite?
True
Is -5 + 8 + 29*10 a prime number?
True
Let u(x) = 13*x**2 - 7*x - 5. Is u(-5) a prime number?
False
Let x = 35 - 0. Is x a prime number?
False
Suppose -5*c + 0*c = 3*b + 43, b + 9 = c. Suppose 5*o - 3*o + 36 = 0. Let v = b - o. Is v composite?
False
Suppose 21 + 67 = 4*f. Is f prime?
False
Let r = 5 - 4. Let l = 5 + r. Is l composite?
True
Let f(w) = w**3 - 8*w**2 - 7*w - 1. Is f(13) a prime number?
False
Suppose 5*z = -0*z + 7535. Is z composite?
True
Let w be 1 - -46 - 1*-2. Let a(s) = 3*s - 7. Let q be a(-7). Let o = q + w. Is o a prime number?
False
Suppose w - 12 = 2*x, w + 5*x + 21 = -w. Is -1 - (-232 - w)*1 composite?
False
Let j be 0 + 1*(0 + 2). Let f(n) = -n + 7*n - n + 14*n**j + 4. Is f(-5) composite?
True
Suppose 5*o + 927 = 4*u, 3*u - 3*o = 459 + 237. Is u a composite number?
False
Suppose 0 = 5*u + 10. Let p = -3 - u. Let s = p + 98. Is s prime?
True
Suppose 0*f = -5*f + 85. Let c = f - 10. Is c prime?
True
Suppose -2 = -10*f + 308. Is f composite?
False
Let m = 127 + 86. Is m composite?
True
Let x = -165 - -252. Is x composite?
True
Let z = 936 + -645. Is z a prime number?
False
Let u(t) = -t**3 + t. Suppose 3*h - h + 2 = 0. Let n be u(h). Is n/(3 - 0) + 21 a prime number?
False
Suppose 4*y - 3*b + 29 = 0, -3*y + 0*b = -5*b + 30. Let p be (y/(-2))/(-5)*-822. Is p/9 + 4/12 a composite number?
True
Let k(l) = l**3 + 5*l**2 + 3*l - 2. Let i be k(-4). Let y be (5 - i)/(-3) - 0. Is (-5)/y + (-1 - 0) prime?
False
Let q(m) = 50*m. Let k be q(5). Suppose 381 = 3*j - 4*l, -2*j + 2*l = -2*l - k. Is j a prime number?
True
Suppose 0 = -3*s + 4*x - 79 - 33, s - x + 39 = 0. Let l be 1 - 2 - 0 - s. Let z = 80 - l. Is z prime?
True
Is 3/9 - 1300/(-15) prime?
False
Suppose 0 = -8*q + 9*q - 282. Suppose 3*z = z + q. Is z a prime number?
False
Let k(i) = i**2 + i + 1. Let t be k(-1). Let w = t - 4. Is (17/w - -1)*-3 a composite number?
True
Let p(h) = h - 12. Let l be p(12). Suppose 3*n - 2*j = l, 0 = -3*n + 4*j - 5 - 1. Is n a composite number?
False
Suppose -5*k + 852 = k. Is k prime?
False
Let t(h) = -h**3 + 4*h**2 - 2*h - 1. Let k be t(2). Let u(p) = p**2 - p - 3. Let i be u(k). Suppose 37 + 8 = 3*s + i*g, s - 35 = 4*g. Is s a composite number?
False
Let i = -1 + 2. Let l be 3 - (3/1)/i. Suppose -c + 238 + 181 = l. Is c a composite number?
False
Let d be -1 + -518*(-5 + 4). Let b = d + -98. Is b a prime number?
True
Is 322 + -1 - (-16 - -18) prime?
False
Is (6 - 5)*(193 + -2) a prime number?
True
Let z be (-3)/((-12)/(-100)) + 1. Let y = -17 - z. Is y a prime number?
True
Suppose -2*k = -492 + 70. Is k a composite number?
False
Let z(p) = p**3 + 6*p**2 + 5*p + 6. Let f be z(-5). Let b(o) = 34*o + 7. Is b(f) a prime number?
True
Is (-1)/6 - (-19150)/60 composite?
True
Let g = -255 - -814. Is g prime?
False
Suppose 5*x - 800 = 15. Is x composite?
False
Suppose 0*o - 1675 = -5*o. Is o a prime number?
False
Suppose 2*n - 107 = 779. Is n prime?
True
Suppose 0 = -2*x - 0 + 6. Suppose -43 = -x*n + 2*n. Is n a prime number?
True
Let r = 2 - -3. Suppose 8 = -r*q - 12. Is -70*((-2)/q + -1) a prime number?
False
Let n = -5 - -6. Is (-3 - -4)/(n/14) composite?
True
Let a = -48 - -106. Suppose -a = -s + 247. Is s composite?
True
Let a(w) = -w**2 + 14. Let y be a(10). Let v = 11 - y. Is v prime?
True
Suppose -4*j + 576 = -748. Is j prime?
True
Suppose 0 = 3*u - 0*o + 2*o - 308, 2*u - 5*o = 218. Suppose 59 + u = h. Is h a prime number?
True
Let w(p) = p**2 + p + 499. Let m be w(0). Let x = m + -250. Is x a prime number?
False
Suppose i = -2*i + 1539. Let o = 834 - i. Suppose -5*q = -2*h - o, -71 = -q - 2*h - 2. Is q composite?
True
Suppose 5*a = -2*b + 590, -4*b + 116 = 2*a - 120. Suppose 