. Let p be d(-6). Let t = -35 - p. Is 3 + (-172)/8*t a composite number?
True
Let z(f) = f**3 + 187. Suppose 4*b + 4*b = 3*b. Is z(b) prime?
False
Let a(r) = -r**3 + 7*r**2 + 3*r - 8. Let g be a(7). Let w = -11 + g. Suppose -3*d + w*q = -0*d - 1395, -5*d + q + 2332 = 0. Is d prime?
True
Suppose -k = 4*w - 317, -k = 2*k - w - 1016. Let b(a) = -a**3 + 18*a**2 + 12*a + 7. Let t be b(19). Let n = k + t. Is n a prime number?
True
Let v(t) = -t**2 - 10*t + 16. Let p be v(-11). Suppose 0 = -p*f + 51 - 6. Is 3/f*795/1 composite?
True
Let a(n) = -19*n**3 - 16*n + 19. Let q(l) = -13*l**3 - 11*l + 13. Let z(b) = -5*a(b) + 7*q(b). Suppose -5 - 7 = -4*i. Is z(i) composite?
False
Let v = 4833 - -5146. Is v composite?
True
Let m(l) = 28*l**2 - 7*l + 1. Let o(q) = -q**2 + 10*q + 6. Let b be o(10). Is m(b) composite?
False
Let q(z) = -76*z**3 + 22*z**2 + 13*z + 15. Is q(-8) a prime number?
True
Let p = -5 - -10. Suppose -p*l + 2227 = -4*j, 2*l - 486 = j + 403. Is l a prime number?
True
Let a be -124 - (-1 - (1 - 2)). Let p be 1 + 0 - (2 - -346). Let v = a - p. Is v prime?
True
Suppose -5*h - 3852 = -5*b + 4368, 0 = -3*b + 4*h + 4934. Is b a composite number?
True
Suppose 2*r - 24463 = -5*y, -20*y - 2*r - 9774 = -22*y. Is y a composite number?
True
Let m = -302 + 428. Suppose 5*u + 89 = -2*q, 2*q + q + 99 = 4*u. Let z = q + m. Is z composite?
False
Let l(f) be the third derivative of f**9/30240 + f**8/6720 + f**7/2520 + f**6/240 + f**5/20 - f**2. Let w(n) be the third derivative of l(n). Is w(4) composite?
True
Let x = -8282 + 56781. Is x prime?
False
Let v(g) = -g + 6. Let u be v(2). Suppose -5*d - 2*z + 3*z + 938 = 0, 0 = -d + u*z + 199. Is d composite?
True
Suppose -873*t + 867*t + 463674 = 0. Is t a composite number?
False
Suppose -25 = -5*g, -3*z - 3*g = -25 - 11. Let l(x) = 7*x**3 + 3*x**2 + 9*x - 6. Is l(z) a prime number?
False
Let c = -539 + 3060. Is c composite?
False
Let y = -14 + 19. Let f be y/(-10) - 278/(-4). Let a = f + -46. Is a prime?
True
Suppose 5*i - 15 = 0, -72*i + 68*i - 10424 = -4*u. Is u prime?
True
Let b = 9456 - 577. Is b prime?
False
Let x = -72 - 21. Is ((-33)/(-6))/1*(1 - x) a composite number?
True
Is 4 + 6670/((-100)/(-10)) prime?
False
Let c be ((-4)/(-5))/((-10)/175). Let f = c - -9. Is (614/f)/((-4)/10) a composite number?
False
Let a = -5989 - -9263. Is a a prime number?
False
Let y(f) = -22*f - 26. Let g be y(-16). Let o = g - -393. Is o composite?
False
Let c(r) = -r - 11. Let k be c(16). Let q = k - -112. Is q composite?
True
Suppose -6*n + 330 = -11*n. Let l be (2*6)/((-3)/10). Let j = l - n. Is j a composite number?
True
Let i(n) = n**3 - 13*n**2 - 36*n - 19. Let h be i(21). Let a = -1888 + h. Is a prime?
False
Is 82/(-6) - -13 - (-18910)/6 prime?
False
Let d = -1098 - -403. Let g = -192 - d. Is g a prime number?
True
Is -3 - (5 - 3) - (-15517 + -17) prime?
False
Let z(a) = -2*a**3 - 4*a**2 + 4*a - 2. Let l be z(2). Let u = -5 + 102. Let p = u - l. Is p composite?
True
Let j be (40/(-50))/((-4)/10). Suppose 6 = 4*f + j*f. Let d = 112 + f. Is d composite?
False
Is 727338/54 - (-2)/18*-2 prime?
True
Let w be 2/6*(9 + -15). Is (-2)/(-12) - (23545/(-30) + w) composite?
False
Let c(m) = 7 + 9 + 21*m**3 - 12*m**2 - 13*m**3 - 4*m**3 + 11*m. Is c(7) prime?
True
Suppose 0 = 2*g - u - 8163, g + 4*g + 2*u = 20421. Is g a prime number?
False
Let s be -1 + -2 + 4 + 3. Suppose -4*p = -3*g + 1596, -s*g + 2041 + 87 = p. Is -1 + g/((-6)/(-3)) a prime number?
False
Suppose -4*a = 14 - 26. Is (-394 + -3)*(a + -4) a prime number?
True
Let d = 7455 - 5122. Is d a prime number?
True
Suppose 951642 = -5*q + 59*q. Is q a composite number?
False
Let g = 163 - 402. Let q = 140 + -234. Let x = q - g. Is x composite?
True
Let u(m) = -m**2 + 4*m - 3. Let a(o) = 5*o - 4. Let q(v) = 4*a(v) - 5*u(v). Let s be q(1). Suppose 872 = s*f + 4*w, -3*w - 13 + 4 = 0. Is f a prime number?
False
Suppose -4 = -4*h, -3*j - 3*h = -0*h - 89154. Is j a prime number?
True
Let o be 0/(0 - (2 + 1)). Suppose o = 3*m + m. Suppose -5*f + f + 6980 = m. Is f prime?
False
Let l(q) = q - 5. Let r be l(8). Suppose -r*p = -5*h + 1561, -p + 2*p - h = -521. Let x = 917 + p. Is x a prime number?
False
Suppose -4*m + 115 = -5. Let j = -27 + m. Suppose -j*h + 575 = 2*h. Is h prime?
False
Let p = 9 - 22. Let k = -8 - p. Suppose 4*n = -k*r - 0*n + 1177, -5*n = 3*r - 701. Is r prime?
False
Let l(z) = 25*z - 2. Suppose -3*y + 2 = q - 13, y - 13 = -3*q. Let o be (2/(-4))/(q/(-30)). Is l(o) a composite number?
True
Suppose -2*n + 399 = n. Let b = n - 82. Is b composite?
True
Suppose -15*t + 2*h = -12*t - 80277, 0 = 5*t - h - 133795. Is t prime?
True
Let o = -1476 - -2432. Let a = 1851 - o. Is a a prime number?
False
Suppose 5*a - 117 = -8*a. Is 3/((-3)/(-293)) - (a + -9) a composite number?
False
Let z(k) = 225*k**2 - 19*k - 109. Is z(-9) prime?
True
Suppose -13*f + 113 = -888. Is f composite?
True
Suppose 0 = -3*x - x + 16. Let l(c) = -c**2 + c + 8. Let v be l(x). Is (-2)/(v/(-83))*-10 a composite number?
True
Is (-155970)/(-4) + -7 + 105/14 composite?
False
Suppose -16*n - 3033 = -137785. Is n composite?
True
Suppose 0 = 46*c - 50*c + 684. Suppose 2*y = 2893 - c. Is y composite?
False
Suppose -4*s + v - 171 = -2196, s = -3*v + 490. Is s composite?
True
Let p(q) = -q**3 + 8*q**2 - 6*q - 5. Let y be p(7). Is -3*y/3 - -39 a composite number?
False
Let d be 20/(-6)*(-42)/35 - 10. Is -9 + 25/3 + (-15802)/d composite?
False
Suppose -4*w - 616 = -8340. Is w composite?
False
Suppose 289955 = -149*c + 154*c. Is c a composite number?
False
Suppose -5*z + 0*m - 4*m = 0, -2*z + 4*m = 0. Is -5 + 7 - (1 + -222 + z) prime?
True
Suppose 1855 = 5*a - 2*z + 4*z, -a + 5*z = -398. Is a prime?
True
Let r = -484 - -2205. Is r a composite number?
False
Let w be (30/2 - 1) + -4. Suppose 6*a + 5748 = w*a. Is a a composite number?
True
Suppose l + 962 = -2*s + 5*s, -6 = 3*l. Suppose 0 = -4*k + 4*b + s, -2*k - 5*b + 0*b = -139. Suppose -2*a + k = 3. Is a a composite number?
False
Let q be (-1389)/(-3) + (-1 - 3). Let a = q + 194. Is a composite?
False
Let d(k) = -9890*k - 127. Is d(-4) a composite number?
True
Suppose 0 = 2*z + 8, 9*x - 2*z = 6*x + 13997. Is x composite?
False
Let m(t) = 53*t**2 - 18*t + 2. Is m(-6) composite?
True
Let q(m) = m + 17. Let b(p) = -p - 16. Let t(z) = -6*b(z) - 5*q(z). Let l be t(-11). Is -3 + 98 + l + 0 prime?
False
Let f be (-2)/(-11) + 42/11. Suppose -2*a + f*v = 6*v - 638, 0 = 4*a - v - 1266. Is a a prime number?
True
Suppose -10*r + 99095 = 23385. Suppose 0 = 7*o - 9866 - r. Is o composite?
True
Let o = -6 + 4. Let g(v) = v - v**2 - 1 + 0*v**2 + 0*v**2 + 0*v - 81*v**3. Is g(o) a composite number?
False
Suppose -24298 = -4*a + 2*m, 4*a - 6079 = 3*a + 5*m. Is a a prime number?
False
Suppose 0 = 5*c + 2*t + 67 - 1171, 3*c = -2*t + 664. Suppose -4*b + 3*b + 2*y = 7, -5*y + 37 = 4*b. Suppose b*x = 47 + c. Is x a prime number?
True
Suppose 0 = b + 4*w - 395, 4*b - 3*w - 844 - 812 = 0. Is b prime?
False
Let o be (774/(-12))/((-1)/2). Suppose 3*u - 240 - o = 0. Suppose 3*n = -5*v + 786, 4*v - 501 - u = -4*n. Is v a composite number?
True
Let d = 366 - 233. Is d a prime number?
False
Let q = -2 + 3. Let f = 4 - q. Is (163 - -7)/(f - 1) composite?
True
Is -7 + (-1 - -2) + 13228 + 37 composite?
False
Suppose 7*i - 14214 = 13849. Is i prime?
False
Let f = -2520 - -5477. Is f prime?
True
Suppose 4*t - 2*t = 154. Let r = t + -19. Is r prime?
False
Suppose -4*q - 7281 = -5*q - 5*v, 0 = -2*v + 8. Is q prime?
False
Let o(b) = -6*b**3 - 3*b**2 + 13*b - 3. Let p(d) = 11*d**3 + 7*d**2 - 25*d + 5. Let k(a) = -7*o(a) - 4*p(a). Is k(-6) a composite number?
False
Suppose 4*n - 44615 = -5*b, 25*n = b + 23*n - 8923. Is b prime?
True
Suppose 4*a - 2*r - 20 = 0, 0 + 34 = 2*a + 5*r. Suppose 1345 - 204 = a*p. Is p a composite number?
False
Let r = 21 - 10. Suppose -2*i - r = -5. Let h(u) = -4*u**3 - u**2 + 3*u - 3. Is h(i) a prime number?
False
Suppose -u + 6 = 8. Is 291/u*8/(-12) a prime number?
True
Let u(r) = -30*r + 59. Let w = 8 + -31. Is u(w) prime?
False
Suppose 1730 = -4*x + 3958. Is x prime?
True
Let y(c) = c**2 - 2*c + 202. Let s be y(0). Suppose -4*u = -z - 359, 0 = 2*u + 2*z + 2*z - s. Is u a prime number?
False
Let k(b) = b**3 + 3*b**2 - 10. Let n be k(-5). Let m be ((-1)/1)/(1/n). Suppose x 