+ h. Is t prime?
False
Suppose 16*y + 7232966 = 11*y + 31*y. Is y prime?
True
Let h(i) = -20*i**2 - 4*i - 12. Suppose -p = -5*p + 36. Let b be h(p). Is (-10)/2 - (b - 0) a composite number?
False
Suppose -368897 = -18*l - 25*l. Is l a prime number?
False
Suppose 9*y = 319 - 1165. Let l = y - -93. Is 447/(-3 + 3 - l) a composite number?
True
Suppose -3*j - 16720 = -2*x + 2*j, -5*x - 3*j = -41738. Suppose 3*b = -2*b + x. Suppose -1781 = -7*k + b. Is k a prime number?
False
Suppose 5*b = -14*p + 249873, -2*b + b = 5*p - 49979. Is b prime?
False
Let i = -39 + 45. Suppose -i*m = -0*m - 4254. Let d = m - 190. Is d prime?
False
Let t(y) = 1613 - 2*y**3 - 182*y**2 + 996 + 182*y**2. Is t(0) a composite number?
False
Let h(t) = -12*t**2 + 13*t - 17. Let n(w) = w + 3. Let j(r) = -h(r) + 2*n(r). Is j(2) prime?
False
Let u(a) = a**3 - 14*a**2 - 17*a - 1. Let y(x) = -x**3 - x - 1. Let r(l) = u(l) + 2*y(l). Suppose -23 + 4 = j - 5*d, 2*j = 4*d - 32. Is r(j) composite?
False
Let x be 2/5 + 86/10. Let m(o) = -11*o**2 + 8*o + 8. Let f(b) = 10*b**2 - 7*b - 8. Let k(q) = 7*f(q) + 6*m(q). Is k(x) a prime number?
True
Is 6/22 - (-1585452480)/660 prime?
True
Let z = -881 - -1779. Let i = z + 13149. Is i composite?
True
Let x(q) be the second derivative of -92*q**3 + 115*q**2/2 + 66*q. Is x(-12) a composite number?
True
Let p(d) be the first derivative of -d**4/2 - 2*d**3/3 + d**2/2 - 4. Let v be p(-2). Let y(t) = t**3 + 2*t**2 - 7*t + 7. Is y(v) a composite number?
True
Let w(n) = 48*n**2 - 4*n**2 - 3*n**3 - 15*n**2 - 15*n**2 + 42*n - 6. Is w(-11) a composite number?
True
Suppose 0 = 4*p - h - 112498, 50*h = -4*p + 54*h + 112516. Is p composite?
False
Let d = 197020 + 192931. Is d prime?
False
Suppose 2*u + 436 = 2*z - 516, 3*u + 4*z = -1428. Is 2/(-14) + 17/(u/(-11064)) prime?
False
Suppose -124 = 16*q - 1068. Suppose -3705 = -4*b + q. Is b prime?
True
Let u(m) = -714*m - 715*m - 11 + 1422*m + 3290*m**2. Is u(-2) a composite number?
False
Suppose -4*j = -h + 4504 - 1779, -4*h + 20 = 0. Let u = 1865 + j. Suppose -3*x - 4*t + u = 0, 8*t - 3*t = 0. Is x composite?
True
Suppose -9*w + 242434 = -227807. Is w prime?
True
Let z be (-2)/(-4*(-2)/(-20)). Suppose -z*k - 32 + 7 = 0. Is 0*k/(-25) - -887 composite?
False
Let u = -430322 + 653671. Is u a prime number?
False
Suppose 32*o - 27*o - 10 = 0. Suppose x = -3*d + 16, 4 = o*d - 3*d + 2*x. Suppose 0 = d*l + 3*f - 325, -124 = -2*l + 2*f + 56. Is l a prime number?
False
Let o(d) = 380*d - 3. Let i(y) = y**2 - 2*y + 4. Let z be i(3). Let g be ((-1)/1)/(z - 8). Is o(g) a composite number?
True
Let i = -796 - -796. Suppose 20 = -4*d + 4, i = 5*v - 2*d - 39213. Is v prime?
True
Suppose 337814 = 4*g + 2*d, -6*g - 337807 = -10*g - 3*d. Is g prime?
True
Let y = -11295 - -16618. Suppose -4*m + y = -237. Suppose -4195 = -5*i + m. Is i a prime number?
True
Let v(k) = -k**3 - 9*k**2 - 7*k - 5. Let u(r) = 2*r**2 + 2*r + 1. Let b(f) = 9*u(f) + 2*v(f). Let x be b(2). Is 3*(-6)/x - -51 a composite number?
False
Let l be (72/(-28))/(4/(-14)). Suppose -4*i + 3 = -l. Suppose i*m = 4*s - 3352, -4*s = s + 2*m - 4167. Is s composite?
True
Let z be (-15)/(-20)*(-60)/(-9). Suppose -2*y - 2 = i + 8, 0 = -z*y + 4*i - 25. Is (3/(-6))/(y/2110) composite?
False
Suppose 19*v - 16*v = 0. Suppose -3*z + 775 = -l, -l - 5 + 1 = v. Is z a prime number?
True
Let h(t) be the third derivative of 7*t**6/6 - t**5/30 - t**4/12 + t**3/6 - 2*t**2 + 17. Is h(2) a prime number?
True
Let b = 363042 + -245759. Is b a prime number?
False
Let h = -426 - -426. Let i = -5 - -5. Suppose i = 2*m - 7*m + 5, h = -2*k - 2*m + 1168. Is k composite?
True
Let z be 16/10*(2 + 2/4). Let b be z + -1 + -3 - -3. Is 543/1 + (1 - b) prime?
True
Suppose -4*n = -3*o + 2*o + 106, 0 = -5*o + 3*n + 530. Let x = 368 - o. Is x prime?
False
Let z(y) = 65*y**2 - 110*y + 214. Is z(-53) prime?
False
Let c be 2 - ((1 - -3)*1 - -3). Let a(x) = -5*x**3 + 8*x**2 + 9*x + 7. Is a(c) a composite number?
False
Suppose -5*n - y + 611499 = 0, -4*n - 2501*y = -2502*y - 489192. Is n composite?
False
Is 10/20 + (303594/12 - 5) a prime number?
False
Suppose 76*o - 42196635 = 38829929. Is o a prime number?
True
Let a(t) = 11*t**2 + 54*t + 17. Let m(l) = -20*l**2 - 107*l - 34. Let n(u) = 7*a(u) + 3*m(u). Is n(24) composite?
False
Is 223/(-892)*(0 - 628708) composite?
False
Let t = -46 + 39. Suppose m - 5*f - 2 + 11 = 0, -2*f = -5*m - 68. Is 1/t - 1080/m prime?
False
Let a(s) = 11600*s**2 - 12*s + 5. Is a(2) prime?
True
Let v = 177 + -174. Suppose -5*m + 23100 = x + 4*x, -5*m = -v*x + 13868. Is x prime?
True
Suppose -2*p = 4*z - 65326, -z + 72377 = 2*p + 7051. Is p composite?
True
Let n = 123 - 14. Suppose 115*z - n*z - 14718 = 0. Is z composite?
True
Let x = 583 + -586. Let s = -26 - -17. Is x/(s/6) + 2817 a composite number?
False
Suppose 0*d - 3*d + 6 = 0. Suppose -10 = -5*p, 6*p - 3*p + 32060 = d*z. Suppose -3*r - 4*n + 13445 = 0, 3*n - 1903 = -4*r + z. Is r prime?
False
Let i = -39442 - -82053. Is i prime?
True
Let g(a) = -113*a**2 + 29*a - 109. Let l be g(8). Is 7 + -11 - ((-10)/(-5) + l) composite?
False
Suppose -16*x + 19*x = -30. Is (-95)/10 - x - (-22737)/2 composite?
False
Suppose 272*j - 275*j = -334689. Is j a prime number?
False
Suppose -j - 4 = 0, 0*j + j = -h - 2. Suppose -1172 = 2*v - 0*f + h*f, -5*v + 3*f - 2970 = 0. Let r = -342 - v. Is r a prime number?
False
Let m(a) = 8 + 9*a**2 - 7*a - 27*a**3 + 10*a + 10*a. Suppose 5*b + 10*w = 15*w - 60, 6*w = -4*b + 22. Is m(b) prime?
False
Is 35495040/1235 - (-1)/13 prime?
False
Is 139936/1 + (-29 - (2 + -34)) a prime number?
True
Let z(i) = -i**3 - 12*i**2 - 10*i + 13. Suppose -n - 10 = -0*n - s, 3*s + 36 = -3*n. Let p be z(n). Is p + 2/(-8) + (-15745)/(-20) prime?
False
Let g(z) = 16*z + 55. Let u be g(-3). Suppose -5152 = u*b - 21483. Is b a prime number?
True
Suppose 0 = 13*n - 252189 - 108340. Is n composite?
False
Suppose -21*y + 15 = -16*y. Suppose -3*v = v + y*h - 4837, -5*v - h = -6038. Is v a composite number?
True
Let q be (-1)/(-3)*(-13 - -97000). Let y = q + -21800. Is y composite?
False
Suppose -2*h - 3*w - 3789 = 2659, 3*w = -5*h - 16129. Is (-2)/8 + -4*h/112 composite?
True
Let c(x) = -23*x + 1. Let a be c(-1). Let f(w) = -w**3 + 13*w**2 + 228*w + 47. Let z be f(23). Is 2801/4 + z + (-6)/a composite?
False
Let j = 1998491 - 479196. Is j a prime number?
False
Let h = -88822 - -131685. Is h a prime number?
True
Let o be (-2)/(-4)*214940/10. Suppose 3*x + 2*a = o, 2*x + 2*a = -0*x + 7166. Is x prime?
True
Let j = -164684 - -231801. Is j prime?
False
Suppose 1541777 = 4*a - 5*r, 8*r - 14 = 6*r. Is a a prime number?
False
Let t(m) = -6*m + 48. Let a be (30/(-20))/(18/(-8))*12. Let d be t(a). Suppose n - 838 = -4*i, d*i = -5*i - n + 1047. Is i composite?
True
Let x = -1289 - 1852. Let w = x + 5389. Suppose 4*h - 5*s = -187 + w, 5*h - 2610 = -5*s. Is h a composite number?
True
Let i = 199534 + -106163. Is i composite?
False
Let j(l) = 2*l**3 - 49*l**2 + 24*l - 2. Let n be j(24). Is 1/6 - (n - (-403909)/(-66)) composite?
True
Let j(l) = 921*l - 4553. Is j(44) composite?
True
Suppose 4*o = 3*d + 158, -d - 2*d + 6 = 0. Suppose o*y - 36*y = 5. Is ((-3330)/4 + y)/((-91)/182) a prime number?
True
Let f be (-1)/((-16)/(-4)) - 34/(-8). Suppose 3*z + 41451 = c - f*c, -2*c = 4*z + 55258. Let d = z + 20201. Is d a composite number?
False
Suppose 8*i - 1831 = 12233. Let h = i - -1321. Is h composite?
False
Let u be 1/((-3)/54) - 1. Let o(k) be the first derivative of -k**4/4 - 16*k**3/3 + 6*k**2 + 10*k + 201. Is o(u) a prime number?
False
Let p(u) = 5*u - 25. Let l(r) = -4*r + 24. Let a(v) = 4*l(v) + 3*p(v). Let q be a(0). Suppose 23*w - 2246 = q*w. Is w prime?
True
Let p(s) = 210*s**2 + s. Let m(v) = 631*v**2 + 3*v. Let h(u) = 3*m(u) - 8*p(u). Let x be 2*(10 - (-209)/(-22)). Is h(x) prime?
False
Suppose 5*g + 7 = -4*j, -3*j + 4*g + 14 = -4. Suppose 2*o = -m + 1927, o + 2*o - 3854 = -j*m. Let w = 184 + m. Is w a prime number?
True
Let r(b) be the third derivative of 139*b**4/24 + 25*b**3/6 + 5*b**2. Let l(s) = -s**2 + 16*s - 36. Let t be l(12). Is r(t) prime?
True
Suppose 5223976 = 60*p + 475516. Is p a prime number?
False
Let u(b) = -4*b**2 + 3*b**2 + 30 + b**3 - 109 + 7*b**2 + 2*b**3 + 6*b. Is u(14) a composite number?
False
Suppose -492*q + 10933197 