2. Let b = 31 + -13. Let d be x(b). Let s = d + 545. Is s a composite number?
True
Let i(o) = o**3 + 20*o**2 + 38*o + 24. Let n be i(-18). Is 227006/104 - 3/n composite?
True
Let z(v) = 1417*v**2 + 311*v - 13. Is z(-7) a composite number?
True
Suppose -2652*n + 2647*n + 12161870 = 5*s, -3 = -s. Is n prime?
True
Let c(w) = -98*w - 17. Suppose -4*p = 4*p - 0*p. Suppose p = -3*m + 3*n - 0*n - 33, -m - 3*n = -9. Is c(m) a composite number?
False
Let q(p) = -4568*p + 45. Let t(n) = -4566*n + 44. Let v(j) = -7*q(j) + 6*t(j). Is v(4) a composite number?
False
Let k(c) = -c**2 - 7*c - 12. Let i be (-340)/55 + 6/33. Let r be k(i). Is (-2)/(-3) - 866/r prime?
False
Is (838349*(-2 - -1))/((21 - 31)/10) a prime number?
True
Let n(c) = 16690*c - 201. Is n(2) composite?
False
Let l = -17938 - -50575. Suppose -6*z - 19607 = -9*z - 5*n, l = 5*z - 2*n. Is z a prime number?
True
Let v(u) = -u**3 - 12*u**2 - 8*u + 37. Let s be v(-11). Let r = 3 + s. Suppose -8*l - 1267 = -5*p - r*l, 3*p + 5*l - 749 = 0. Is p a prime number?
False
Let a = 185 + -218. Is ((-196922)/a)/(4/6) prime?
True
Suppose 17*z + 6664171 = 46*z. Is z prime?
True
Let b = 743959 + -128340. Is b composite?
True
Let j be ((-2)/(-1) - (-32)/12)*-549. Let x = -1445 - j. Is x prime?
True
Let m be -2 - (-1 - 4 - 760). Suppose 4*j = 1690 + 7534. Let h = j - m. Is h prime?
True
Let g(y) = 2*y**2 + 12*y - 79. Suppose -5*c - 3*w + 12 = 111, -5*c = -4*w + 113. Is g(c) composite?
True
Suppose 9 = -2*a - c, -a - 9 = -2*c + c. Let z be 1/(3/a) - -2497. Suppose 2*q - z = q. Is q a composite number?
True
Suppose -16743 = -2*h + 3*u, 0 = -5*h - u - u + 41829. Let b be 12/60*30/2. Suppose 0*n + h = b*n. Is n a composite number?
False
Let d be 24 + 5 + -4*(-1)/4. Is (-8)/10 + 672174/d composite?
True
Let b = 6 - 4. Suppose 2*s + y = 247, -4*y - 3 = -5*y. Suppose b*k - 120 = s. Is k a prime number?
False
Suppose -261 + 273 = 4*f. Suppose 2*t - 1 + 3 = 0, 3*h - 15 = f*t. Suppose -3*n + 18163 = -h*y + 48632, 4*y = -4*n + 30504. Is y a prime number?
True
Let u be 116/(-638) - (-97)/(-11). Is (2/6)/(u - (-426656)/47406) a prime number?
True
Suppose 12*p = 10*p + 8. Suppose p*x = -x + 25, -2*d = -x - 2627. Let h = 3075 - d. Is h a prime number?
True
Suppose -b - 7*i + 2*i - 1404 = 0, 4*i = -b - 1409. Let w = b - -703. Let f = 1399 + w. Is f a composite number?
False
Let a = -261 - -260. Let w(v) = -7068*v**3 + 2*v**2 + 2*v + 1. Is w(a) composite?
False
Suppose w = 5*b + 323177, 40*b - 37*b + 646382 = 2*w. Is w a prime number?
False
Suppose 5*y = 5*j - 1540, -3*y + y + 939 = 3*j. Suppose -893 = -2*q - j. Is q prime?
False
Let g(u) = -u - 15. Let p be g(-20). Suppose -4*m + 27288 = -s - s, -10 = -p*s. Is m prime?
True
Let u = 42 + -39. Suppose -x - 8 = -u*x. Suppose -x*c = 4*g - 3*g - 4075, c = -3*g + 1027. Is c a prime number?
False
Let z = -17665 - -25545. Suppose 0 = 3*j - 3*h - 8163, -3*j + z = h - 291. Suppose 13883 = 4*g - 4*b + j, -3*g = 5*b - 8362. Is g a composite number?
False
Let i = -2 - -4. Let s be ((-33)/21 + i)*7. Suppose -s*n = -6*n + 549. Is n a composite number?
True
Suppose 2*l + 1608685 = 67*l. Is l a composite number?
False
Let i(t) = t**2 - 20*t - 42. Let p be i(22). Suppose -p*c = d - 683, d = 6*d - 5*c - 3415. Suppose 2*z + 2*z - 4*x - 2712 = 0, -z = -2*x - d. Is z prime?
True
Is ((-6540698)/(-687))/((2/(-3))/(-1)) a prime number?
True
Suppose -8987 = v + 2*b, -4410 - 22584 = 3*v - 5*b. Let l = -4672 - v. Is l a prime number?
False
Suppose -4*b + 45419 = 5*r, -4*r - 45392 = -12*b + 8*b. Is b composite?
False
Let x(n) be the first derivative of -3*n**4/2 + 4*n**3 - 9*n**2/2 + 37*n + 306. Is x(-8) a prime number?
False
Let y = 5190 + 54427. Is y prime?
True
Let z(w) = w**2 + w + 1. Let n(o) = 8*o**2 + 3*o + 11. Let s(f) = n(f) - 3*z(f). Let l(i) = -i**3 - 15*i**2 - 18*i - 53. Let p be l(-14). Is s(p) composite?
False
Suppose -53768 = -7*b + 144675. Is b composite?
False
Let d(l) = 3715*l**2 - 475*l - 19. Is d(-10) a composite number?
False
Let k(w) = 30*w**2 - 9*w + 7. Let p be 1 - -3 - (10 - (1 - -1)). Is k(p) a prime number?
True
Let n = -335 + 339. Suppose -15 = 3*z, n*x = 4*z + 13862 + 25522. Is x a prime number?
False
Is 175/(-100) + (31595805/(-12))/(-5) a composite number?
True
Suppose 5*k = -5*q + 35420, -3*q + 21257 = -1001*k + 1005*k. Is q a composite number?
False
Suppose 0 = 5*p - 10*p + 20. Suppose -3*r - j + 108 = 2*j, p*r - j - 139 = 0. Suppose r - 313 = -2*a. Is a a prime number?
True
Let k be -1 - (-11 - 1)/3. Suppose 4*d = 0, k*g + 4*d = 2*d - 72. Is ((-573)/(-2))/(g/(-16)) a composite number?
False
Let y = 32483 + 8634. Is y composite?
False
Suppose -5*w = 54*v - 58*v - 2254871, 2*w = 2*v + 901950. Is w prime?
True
Let k = 231 + -230. Suppose -3*y + k = x, -y = -x + 6*x - 61. Is x prime?
True
Let b = -3 + -2. Let k(y) = -26*y**2 + 16*y - 4. Let n(l) = -6*l**2 - 2*l - 1. Let u(a) = -k(a) - 3*n(a). Is u(b) composite?
True
Suppose 9*a - 5*a = -2*s + 20, 3*a + 5*s = 22. Is a + 1 + 9492/2 a composite number?
False
Let i be 1/4 - (-1074)/24. Let w(a) = -i + 458 + 492*a - 490*a. Is w(0) composite?
True
Let s be ((-39)/(-156))/(2/8). Is 2 - (147 + 6)*s*-49 a prime number?
True
Suppose 0 = -w - 35 + 34. Is (-1 - -1)/(w + 2) - -11983 a composite number?
True
Suppose -18 = -17*y + 16. Suppose h = -3*h - y*x + 60360, 4*x + 45281 = 3*h. Is h composite?
False
Suppose -5*h + 0*f + 39 = 4*f, -9 = -h - 2*f. Suppose -24 = h*j - 38. Suppose 2*r = -4*n + 7794, 0 = -j*r + 2*n + 11613 - 3789. Is r a composite number?
False
Suppose -1041 + 209 = -16*s. Suppose -39*n = -s*n + 51389. Is n a prime number?
False
Let v(n) be the first derivative of -2*n**2 - 20 + 97/3*n**3 + 18*n. Is v(3) a prime number?
False
Let f(p) = 2*p**2 - 6*p - 7. Let v be f(4). Let i be (-1 - -158)*(v + 0). Suppose 2*a - 479 + i = 0. Is a prime?
False
Suppose -322*g + 4*q = -319*g - 651901, -4*q + 20 = 0. Is g a prime number?
True
Suppose 4 = 2*y, -14*y + 54 = 4*n - 11*y. Is 5/(75/6620)*n/8 a prime number?
False
Is (69/6)/23 - (-1797075)/6 prime?
True
Let x = 703126 + -385537. Is x prime?
False
Let w = -366270 + 513601. Is w prime?
True
Suppose 0*x + x - 703663 = -3*i, 7*i - 1641923 = 3*x. Is i prime?
False
Let p(m) = m**2 + 11*m + 13. Let z be p(-11). Let k(a) = a**2 - 13*a + 2. Let q be k(z). Suppose -q*s - 65 = -319. Is s a composite number?
False
Suppose -5 = -3*h - 8. Let j(g) = 2762*g**2 + 4*g + 3. Is j(h) prime?
False
Let u be (-2)/4*24/(-3). Let n(k) = 4*k**2 - 11*k - 8. Let a be n(u). Suppose a*l - l = 1529. Is l prime?
True
Let f(h) = 15816*h + 709. Is f(3) a composite number?
False
Let m = 1043 - -9028. Is (-308)/(-33)*(m/(-12))/(-3) composite?
True
Suppose -9*i + 47*i = -39*i + 18325769. Is i composite?
False
Suppose -5*m - w + 143962 = 0, 4*m - 3*w - 143954 = -m. Suppose -28777 = -4*g + x, 0 = -3*g - g + 4*x + m. Is g a composite number?
False
Let b(n) = -n**3 + 127*n**2 + 397*n - 375. Is b(128) a composite number?
False
Let s(q) = 347*q + 28. Let m be s(32). Suppose -2*t - 12437 = -3*v, 2*v - m = 3*t - 2834. Is v a composite number?
True
Suppose -3*d = -4*h + 1, -3 + 6 = 3*d. Let i be (-1151)/1*(-32)/(-3 - h). Is 1*(3*-1)/(24/i) a prime number?
True
Let y be (-1155)/(-84) - (-2)/8. Suppose 7*u + y*u = 43071. Is u a prime number?
False
Let w be ((-324)/9)/(-9) - 2/(-2). Suppose w*d + 3*d = 64. Is 1 + d/6 + (-73276)/(-42) a composite number?
False
Suppose -298*j + 301*j = -2544. Let k = j + 1921. Is k composite?
True
Let r = -106 + 68. Let d = 41 + r. Is 9/(45/800) - d a composite number?
False
Let d be (-1045)/(-22) + (-1)/(-2). Suppose d = 19*p - 15*p. Is p/(-60) + (-45712)/(-10) prime?
False
Let q = 216 - 211. Suppose -c - 12*n + 7*n + 3324 = 0, -5*c = -q*n - 16470. Is c a prime number?
True
Let b(s) = -6*s - 186. Let i be b(-31). Suppose i = 37*g + 73791 - 277994. Is g composite?
False
Let o(b) = 45858*b**2 + 277*b + 545. Is o(-2) composite?
True
Let p(b) be the first derivative of 29*b**5/20 + 7*b**4/12 - 5*b**3/6 - 9*b**2/2 - 12*b + 24. Let g(h) be the first derivative of p(h). Is g(4) prime?
False
Let k(h) = 464*h**3 + 2 + 262*h**3 + 818*h**3 - h**2 - 2*h + 0. Is k(1) prime?
True
Let f be 3*(-682703)/(-105) - 8/10. Let z = f - 11190. Is z a composite number?
True
Suppose -2*c + 16 = 4*h, -c + h = -0*c + 1. Su