152*t**2 + 11*t + 63. Let k be j(-9). Let n = -7991 + k. Is n composite?
True
Suppose 0 = 19*r + 9*r - 9*r - 152. Suppose -3*y = v + 11, -y + 6*y + 41 = 4*v. Suppose 0 = 3*i - o - 5522, -r*i = -v*i - 4*o - 7376. Is i a composite number?
True
Suppose -8*v - 363 - 845 = 0. Let x = v - -1364. Is x a prime number?
True
Let u(w) be the second derivative of -13*w**5/20 + 19*w**4/12 + 5*w**3/2 - 7*w**2/2 + 107*w. Is u(-10) prime?
False
Suppose -5*m - 26 = -4*t, 5*t - 5 = -5*m + 5. Suppose -t*s + 2*b = -19448, -5*b = 4*s - 11365 - 8069. Is s composite?
False
Let w(b) = -b**3 - 10*b**2 - b - 5. Let n be w(-10). Suppose -2*k + n*k - 2553 = 0. Is k composite?
True
Let u = -46510 - -110477. Is u a prime number?
False
Let h(f) = f**2 - 3*f + 14. Let c be h(0). Let i(n) = n**3 - 14*n**2 - 2*n + 14. Let v be i(c). Is v/2*(-331 - (3 + -3)) a composite number?
True
Let i = 41693 - -27880. Suppose -3*p + i = -10989. Is (62/(-15) - -4) + p/30 a prime number?
False
Suppose -6*y - 6 = -60. Suppose -y*p + 2520 = 6*p. Suppose -p*r - 1895 = -173*r. Is r prime?
True
Is -11301*((-1)/3)/(((-72)/63)/(-8)) a prime number?
False
Let y(v) = 38*v**3 + 9*v**2 - 23*v - 11. Let h = 220 - 213. Is y(h) a prime number?
False
Suppose -13 = 3*c - 55. Suppose 0 = -c*f - 318 + 1032. Is f composite?
True
Is (-77)/(-462) - (-417399)/18 prime?
True
Let s = -10207 - -33781. Suppose -3*f - 5*l + 17683 = 0, 3*f + f = -5*l + s. Is f a composite number?
True
Suppose 3*b - 5*v = 71, 4*v - 33 = -2*b + 7. Suppose b*h + 4*x + 4185 = 23*h, 4*h - 4*x - 16764 = 0. Is h prime?
False
Is ((-3)/6 + 73265/14)/((-1)/(-7)) a prime number?
True
Is 8*(118102/4 - 0)*119/476 a prime number?
True
Let p(l) = -50*l**3 - 13*l**2 + 4*l + 21. Let g be p(-9). Is 10/4*2*g/30 a prime number?
True
Let c be 16715 - (-5)/(-2)*(3 - 1). Suppose 3*l - c = 4*b + 24725, 5*l - 69068 = -3*b. Is l a composite number?
True
Let t = -160 - -169. Is 21948/(t + -6) + 3 a composite number?
True
Let g(i) = -2*i + 87077. Is g(0) a prime number?
False
Suppose 272439 = 14*y + 140071 - 373130. Is y a composite number?
False
Let v be (7 - 575/15)/(4/(-1434)). Suppose 0 = -5*s - 2*g + 8752 + 5273, -4*s + g = -v. Is s a prime number?
False
Suppose -19527201 = -559*q + 201993878. Is q composite?
True
Suppose 2*d + 3*a = 24, -a = -3*d - 6*a + 36. Is (-11310)/(-9) + 3 + (-8)/d a composite number?
False
Suppose 2*m + 395*u - 393*u = 223780, 0 = -2*m - 4*u + 223786. Is m composite?
True
Suppose 0 = n - 2*q + 7*q + 2203, -3*q - 2199 = n. Is (0 - 20/(-30))*n/(-2) prime?
False
Let w = 166 - 163. Suppose -3*t - 2*y + 24445 = 2*y, -2*t - w*y + 16297 = 0. Is t a prime number?
True
Let o(v) = -v**3 + 41*v**2 + 13*v + 407. Is o(-56) a prime number?
True
Let h(a) = 20*a**2 - 12*a + 137. Is h(-47) composite?
True
Let j(p) = 88*p**3 + 12*p**2 + 45*p + 84. Is j(13) prime?
True
Let y = -2092 - -4379. Suppose y = 4*m - 1861. Suppose -3*c + 462 = -2*l - m, l = -4. Is c prime?
False
Let t(x) = 8*x**2 + 13*x + 13. Let k(q) = 32*q**2 + 53*q + 53. Let l(c) = -2*k(c) + 9*t(c). Suppose 36*u - 14 = 38*u. Is l(u) a composite number?
True
Let s = 9 + -4. Suppose -m - 2*m = 2*i - s, -5*i + 17 = 3*m. Let u(l) = 157*l**2 - 3*l - 5. Is u(i) a composite number?
True
Suppose 0 = -9*o + 3*o + 18. Suppose 4*w - w + 34146 = o*y, -4*y = -2*w - 45530. Is y a composite number?
False
Let h(j) = -655*j - 2126. Is h(-7) composite?
False
Suppose -77*i = -176*i + 9214623. Is i a composite number?
False
Let w = -966 + 966. Suppose 5*x - 821 = 1804. Suppose w = 3*l - x - 1416. Is l a composite number?
False
Suppose -n + 2*r + 1 = -3, -4*n + 16 = -r. Suppose -4*q + 4*w + 14368 = 0, 3*q - n*w - 7180 = q. Suppose j = 3*j - q. Is j a composite number?
True
Let m(q) = 152*q**2 + 53*q + 247. Is m(34) a composite number?
False
Let f be (268 + -13)*(-64)/(-20). Let c = 12775 - f. Is c a composite number?
False
Let n be 97/11 + 2/11. Suppose 140554 = n*o + 22*o. Is o a composite number?
True
Suppose -5*i - 3868549 = -3*v, -472*i = -4*v - 469*i + 5158058. Is v composite?
False
Let v = 1437396 + -857449. Is v a prime number?
True
Let n(o) = 27*o**2 + 85*o + 122. Let s be n(-35). Let a = 7 + -14. Is a/28 - (s/8)/(-3) composite?
False
Suppose -193090 = -112*w + 160244 + 1083290. Is w prime?
False
Let l(t) = -2*t**2 + 4*t + 3. Let y be l(5). Let j = y - -36. Is (631*2)/(-7 + j) a composite number?
False
Let i = 182004 + -42847. Is i composite?
True
Is (-18 + 42 - 21)*(-23726)/(-6) composite?
False
Let z = 19831 + -30227. Let a = -1269 - z. Is a a composite number?
False
Let l(u) = 5 - 7*u**2 - u**3 - 5*u + 2 - 5*u**3 + 0. Let z be l(-6). Let v = -582 + z. Is v a prime number?
True
Let u = 149 + -97. Is 19630/u - (-6)/4 prime?
True
Let j be 2 - (2/1 + 0). Is (-52964)/(-12)*(j + 3) a prime number?
True
Is -676*6842/(-44) - (0 - -5) prime?
False
Let d(l) = 33498*l - 3851. Is d(6) composite?
False
Suppose -9*m - 144 = 81. Let j be 3/((-5)/m*5). Suppose -2*u - 2*v = -896, j*v = -3*u - v + 1349. Is u a prime number?
True
Suppose 3*v = -102 + 660. Suppose 8*n + 50 - v = 0. Suppose -n*p = -18*p + 194. Is p a composite number?
True
Suppose 128*l = 140*l - 854988. Is l a composite number?
False
Suppose 5 = u + 3, -3*p + 14 = 4*u. Suppose -2*g + 12 = p*g. Suppose -5*k = -3*j - 1910, -g*k + 1162 = -11*j + 6*j. Is k prime?
True
Let j = 53150 - 23245. Is j a prime number?
False
Let v(p) = 43*p**2 - 10*p - 65. Suppose -5*w = -4*j + 20, -3*w + 7*j = 2*j - 1. Is v(w) a prime number?
True
Suppose -24*a = -9733222 - 19418114. Is a prime?
True
Suppose 3*l + 120078 = 27*y - 30*y, 2*l + 80058 = y. Is ((-21)/28)/(3/l) prime?
True
Let x be (332/2)/(3/36). Let y = -464 - 17. Let b = x + y. Is b composite?
False
Let u(h) = 685*h**2 - h - 1. Suppose 4 - 12 = 4*d. Let v be d*(-1)/(3 - (0 - -1)). Is u(v) a composite number?
False
Let o(q) = -2*q**2 - 9*q + 4. Let p be o(5). Let a be (-26)/p + 54/7. Suppose 3*j + 1115 = a*j. Is j composite?
False
Suppose -18576 - 60456 = -24*c. Is c a prime number?
False
Let b = -31031 - -63550. Suppose -5*l = -b + 8814. Is l composite?
True
Let s(w) = 29030*w + 221. Let j be s(8). Suppose 26*v + j = 35*v. Is v a prime number?
False
Suppose -4*y - 3*b + 736640 = 0, 8*b + 8 = 6*b. Is y a prime number?
False
Let w = 41863 + -25404. Let i = 29438 - w. Is i composite?
False
Suppose a + 4105 - 33734 = 0. Is a composite?
False
Suppose 5*n + 65 = -5*a, -3*n + 3*a - 45 = -0*a. Let j = 447 - 498. Let p = n - j. Is p a composite number?
False
Is (-3 - -2)*(-222366 + 13/(-1)) a composite number?
False
Let n(u) = -u**3 - 16*u**2 - 37*u + 26. Let v be n(-13). Suppose -4*a + 31402 + 44330 = v. Is a a prime number?
False
Let i = 117392 - -351041. Is i a prime number?
False
Let y = -11714 + 21517. Is y composite?
False
Suppose 0 = -v + 5*t + 21155, 63429 = 54*v - 51*v + 3*t. Is v a composite number?
True
Suppose -4*n + 8 + 8 = 0. Suppose n*b = 5*k + 3*b - 7, 4*k - 4*b = -4. Is (-2862)/(-12)*(k/3 - 0) composite?
True
Let y = 73768 + 90969. Is y a composite number?
True
Let i(h) = -71*h - 96. Let v be i(-10). Let f = -93 + v. Is f composite?
False
Let g be 30/9 + (-5)/15. Suppose -d - g*d - 2*c = -832, 5*d = -3*c + 1042. Suppose -d + 1044 = 2*z - 2*h, -1257 = -3*z - 4*h. Is z prime?
True
Is (4 - 64029/6 - 3)*-2 a composite number?
False
Suppose 19 = -n - 3*f + 7, 5*n + 2*f = 5. Let s be n + -4 + 520 + 2. Suppose 4*m = s - 13. Is m a composite number?
False
Let s(c) = -4*c**3 - 7*c**2 + 26. Suppose 10 = -2*t, 4*a + 3*t + 13 = 6*t. Is s(a) a composite number?
True
Suppose -135*q + 1412999 = -38*q. Is q prime?
False
Let g be (3 - 4)*5*(-3 + -12458). Let h(t) = t**3 + 8*t**2 + 3*t + 1. Let m be h(-6). Is g/m + (-6)/(-33) prime?
False
Suppose 2*j - 115 + 103 = 0, -4*j = -2*p + 72190. Is p composite?
False
Is ((-1456)/39)/16 - ((-559615)/3 + 1) a prime number?
False
Let h(m) = -m**3 - 4*m**2 - 20. Let p be h(0). Is (-2 - -3)/(p/(-46040)) prime?
False
Let x(j) = 179*j**2 + 97*j - 2233. Is x(22) a composite number?
True
Let g(p) = 3*p + 2. Let v be g(0). Suppose -10*o + 976 = -v*o. Is o a composite number?
True
Let r = -661942 + 998787. Is r a prime number?
False
Let s(l) = l**3 + 7*l**2 - 5*l - 12. Let c be s(-8). Let a be ((-20)/2)/(c/44 - -1). Is (a/(-15)*111)/(2 + -1) prime?
False
Suppose -3*h = -2*m + 421 + 585, m =