2. Let x be i + (-1 - 1070)/(-3). Suppose x = 2*a - 159. Is a a prime number?
True
Let m = 2904 - -617. Is m composite?
True
Let d(a) = -a**3 + 7*a**2 - 5*a + 30. Let s be d(7). Is s + 370 + -4 - (1 + 2) a composite number?
True
Suppose 0 = 13*n - 23854 - 17525. Is n prime?
False
Suppose 4*i + 4*a - 8176 = 0, 4*a + 5573 = 5*i - 4602. Is i composite?
False
Suppose 0 = 3*p - 11608 - 12299. Is p a prime number?
False
Let t be -12*2/((-12)/(-15)). Let x = -12 + 6. Is 10/t + (-680)/x a composite number?
False
Suppose 0 = 4*m + 5*r - 19640, -14*r + 19*r = -20. Is m a composite number?
True
Let r be (-48)/(-3)*(1 - (-15)/(-20)). Is ((-55570)/40)/((-1)/(1*r)) prime?
True
Let v = 0 - -2. Suppose -5*l - 6 = -3*l - 3*o, 0 = 2*o. Is v*(-204)/l + 3 a prime number?
True
Let b(g) = 377*g**2 - 11*g - 79. Is b(-11) a composite number?
False
Let x(c) = c**3 + 19*c**2 + c + 15. Let m be x(-19). Let g = 330 + m. Is g a composite number?
True
Suppose -3*t + 2*t - 5 = -2*c, -3*c = 5*t + 25. Suppose c = 2*w - 564 + 56. Suppose -2*p = -0*p - w. Is p a composite number?
False
Suppose 4*w + q - 29023 = 0, 2*w + 3396 = -4*q + 17918. Is w a prime number?
False
Suppose -4*w = 245 - 1785. Let u be ((-27)/45)/((-2)/30). Suppose 4*a = u*a - w. Is a a prime number?
False
Let z be (-27)/4 + (-3)/(-4). Let u be (-3)/(z/8 + 0). Suppose 2*m + 4*a = -m + 257, 5*m = -u*a + 439. Is m composite?
True
Let s = -163 + 337. Suppose 4*x = 8*x - 4*y + 1268, -3*x + 5*y - 951 = 0. Let j = s - x. Is j a composite number?
False
Let k be 9620/30 + (-2)/(-6). Suppose -2*v + k = v. Let r = 270 - v. Is r composite?
False
Let c(u) = -1201*u + 350. Is c(-39) composite?
False
Let z be -196 - (-3 - 1 - -8). Let w = 219 - z. Is w prime?
True
Is 2 + 1 - (-13)/((-39)/(-5592)) a prime number?
True
Suppose 0 = 2*y + 139 - 745. Suppose 2*s + 3*k - 5759 = 0, -5*k + y = s - 2580. Is s/22 - (-4)/22 a prime number?
True
Suppose 10*t + 22465 = 15*t. Is t a prime number?
True
Suppose 4775 - 44129 = -6*j. Is j composite?
True
Suppose -v = -3*z - 1035, 0 = 5*v - 3*z - 4636 - 527. Let f = v - 697. Is f composite?
True
Let c = 58014 + 4955. Is c composite?
False
Let h(t) = -2 - 8*t + 30*t - 7 + 47*t. Is h(4) a composite number?
True
Is (2/6)/((-5)/(-10365)) a composite number?
False
Is 3895 - (8 - 5 - 7) a composite number?
True
Let g(w) be the second derivative of -1/6*w**4 + 0 + 3*w**2 - 1/20*w**5 - 7*w + w**3. Is g(-4) a composite number?
True
Suppose 5*h - 5513 = 2*n, 0 = 4*h + 5*n - 2843 - 1541. Is h prime?
False
Let n = -12 + 35. Suppose -n*p - 3395 = -28*p. Is p prime?
False
Let c(b) = 428*b**2 + 34*b - 89. Is c(13) prime?
False
Let u(q) = -149*q**3 + 5*q**2 + 8*q + 5. Is u(-3) composite?
False
Suppose 7*f + 63488 = 2*n + 5*f, 158693 = 5*n + 4*f. Is n composite?
False
Let s(w) = 25*w**3 + 2*w**2 - 4*w - 1. Let g be s(2). Suppose -g*x + 194*x + 5755 = 0. Is x a composite number?
False
Let x(o) = -2*o + 6. Let l be x(5). Let t(d) be the second derivative of -d**5/20 + d**4/12 - d**3/3 + 7*d**2/2 + d. Is t(l) a composite number?
True
Let u(y) = 2*y**2 - 9*y - 34. Is u(9) composite?
False
Suppose 0 = -4*n - 6*n. Suppose n = -30*m + 31*m - 53. Is m a prime number?
True
Let i(u) be the third derivative of 8*u**4/3 + 13*u**3/6 - 8*u**2. Is i(6) a composite number?
False
Let n(i) = -3*i**2 - i + 34. Let h be n(15). Let q = h + 1175. Is q composite?
True
Let f be 64/(-24) + 1/(-3). Let h = -6 + f. Is (-411)/h + 1/3 a composite number?
True
Let d(m) = 20*m**3 + 4*m**2 - 4*m + 3. Let c be d(2). Suppose 5*j - 11 = 329. Let w = c + j. Is w prime?
True
Let i be (-1 + (-4)/((-60)/51))*180. Is (12/(-2) - -5) + i a composite number?
False
Let s(p) = 1417*p**3. Let v be s(-1). Let y = 1266 - v. Is y composite?
False
Let p = 38 + -35. Is 1059 - (p - 3/(-3)) prime?
False
Suppose 0 = -4*l + 5 + 15. Suppose 4*d - 5*w = 649 + 1257, -3*d = l*w - 1447. Is d a prime number?
True
Let f = -1 + 6. Suppose -3*v - 6 = -f*v. Suppose -v*h + h + 62 = 0. Is h a prime number?
True
Suppose -3*b + 2*s + 20 = 3, 5*b - 5*s = 35. Suppose 2*i + b*o - 37 = 555, -2 = -o. Is i prime?
True
Suppose v = 3*r + 12, 5 - 23 = -3*v + 3*r. Suppose 0 = -0*n + n - v. Suppose n*h - 44 = -h. Is h composite?
False
Let a(n) = -2*n**3 - 9*n**2 + 17*n + 3. Let p be a(-14). Suppose -8*o + 5*o = -p. Is o a prime number?
True
Let w be -4*1 - (9 - 7). Let i(k) = -20*k - 4. Let p be i(w). Suppose 6*q - q = 4*v - p, -v + 4*q = -18. Is v prime?
False
Suppose -4*a + 11858 - 263 = b, -2*b - 8699 = -3*a. Is a prime?
False
Suppose 2*d - 2915 = 193. Suppose 3*t + 0*c = -3*c + d, 20 = 5*c. Is t a composite number?
True
Suppose -419 = 3*k - 3080. Is k a composite number?
False
Let m be (-9993 + 0)*23/(-69). Let s = 6378 - m. Is s composite?
True
Let l(m) = -40*m + 149. Is l(-14) a composite number?
False
Let i = -28 - -30. Suppose -2*o = 4*j - 810, -j - i*j = 3*o - 1218. Is o a composite number?
True
Suppose 315 = i + 4*i. Let x = i - 108. Is (-7146)/x - (-1)/5 composite?
True
Let m(b) = 294*b + 137. Is m(35) composite?
False
Let n(p) = -p**3 - 2*p**2 - 4*p - 2. Let v be n(-2). Let c be v*92/24*8. Suppose -4*o + 2*z + c + 332 = 0, 4*z = -4*o + 492. Is o a prime number?
True
Suppose -k + 18 = 13. Is (398/(-12))/(k/(-30)) a prime number?
True
Suppose 4*c - 10 = -2*g, g + 0*g = c - 7. Suppose -7*s = -c*s - 1173. Is s prime?
False
Suppose -r = -7*r - 2*r. Suppose 3*l = -4*k + 6845, r*l + 2*k - 4566 = -2*l. Is l a composite number?
False
Suppose -2*b + 6 = j, 0 = 5*j - 3*b - 1 - 16. Suppose -3*a = -j*a + 97. Is a a prime number?
True
Let j(n) = 7*n**2 + 17*n + 13. Let c be j(-11). Suppose 9*r = 10*r - c. Is r a composite number?
False
Let u be 3/(-8)*-2*4. Suppose 279 + 195 = u*o. Suppose o = j + 19. Is j a prime number?
True
Suppose 0 = -2*i + 2, -5*d = -3*i - 16 - 11. Let g be 24/30*15/d. Let r(t) = 38*t**3 - 2*t**2 - 3. Is r(g) composite?
False
Suppose 0 = 3*p - 944 - 268. Suppose -o + 232 = o + 4*t, 4*o = 4*t + p. Is o prime?
False
Suppose -2*j - 6213 = -17239. Is j a prime number?
False
Let j be -3*(-2)/12*0. Suppose 3*h - 12 = -j*h. Suppose 0 = u + 5*b - 49, 5*u - h*b - b - 305 = 0. Is u composite?
False
Let s(f) = -11*f - 1. Let y be s(-9). Suppose y = -5*v + d, 5*v - 4*d = -69 - 38. Let l = 230 + v. Is l composite?
False
Suppose -p - 18 = -5*l - 3, -5*l + 5*p + 35 = 0. Suppose -3*y + 1504 = 5*k, 0 = -5*k + l*k + 3*y + 888. Is k a composite number?
True
Is 13/((-3630)/1818 - -2) + -4 a composite number?
True
Let n(d) = -17*d**2 - 12*d - 10. Let c be n(-9). Let i = c + 2532. Is i composite?
True
Let m = 2495 + -102. Is m a composite number?
False
Suppose 5*d + 3*o = 297, 5*d - o - 269 = 3*o. Suppose d*w - 53*w - 1412 = 0. Is w a composite number?
False
Suppose -5*i = -2*p + 65, -2 = -2*i - 3*p - 9. Is 62 + i + 0/1 prime?
False
Let w be 5 + 2 - 3/1. Let l(p) = 5*p - 8. Let d be l(2). Is -1 - ((d - w) + -45) prime?
False
Let b(t) = 3*t**2 - 95*t + 160. Let n(l) = -l**2 + 32*l - 53. Let z(o) = 4*b(o) + 11*n(o). Is z(-26) prime?
False
Let t be 1/(3/2*(-5)/(-15)). Suppose t*b + 7*i - 2*i - 1997 = 0, -6 = -2*i. Is b a prime number?
True
Suppose 0 = 2*o - 4*o - d + 70710, 5*o = 5*d + 176745. Is o composite?
False
Let f be (0/(-2))/((-1 + 0)*2). Suppose f = -3*v + 6*v - 561. Is v a composite number?
True
Let d(u) = 200*u + 21. Is d(9) a composite number?
True
Suppose m - 3*j = -1583, 0*m - 5*j + 7915 = -5*m. Let b be (-2 - -58)/(1/(-20)). Let o = b - m. Is o composite?
False
Let u = -31530 - -80821. Is u prime?
False
Is (555445/(-330))/((-2)/12) prime?
True
Let f(y) = -y**2 - y. Let z(t) = -4*t**2 + 2*t + 7. Let i(o) = -5*f(o) - z(o). Is i(3) a prime number?
True
Is (-310262)/(-8) + 26/104 composite?
False
Let w be 1/((0 + 2)*4/48). Is (3 - 1320/w)*1/(-1) a composite number?
True
Let l(p) = -p**2 + 3*p + 5. Let a be l(4). Let o be (-1 - a) + 3 + 1. Suppose -o*d = -75 - 41. Is d prime?
False
Let k = 26 + -31. Is (k + 3)*758/(-4) a prime number?
True
Suppose 3*y + 2*c - 48793 - 164512 = 0, 4*y - 2*c - 284430 = 0. Is y a prime number?
False
Let k = 2671 - -6686. Is k a prime number?
False
Let b(h) = -2*h**2 - 128*h - 5. Is b(-15) a prime number?
False
Let l(g) = -10*g**3 + 2*g + 26. Let j(f) = 11*f**3 - f**2 - 2*f - 27. Let h(r) = -4*j(r) - 5*l(r). Is h(7) prime?
False
Is (13/(-6))/((-9)/3