0. Is g composite?
True
Suppose 0 = 2*t - 4*d + 4, -10*t + d = -14*t + 19. Let b(i) = 17*i - 1. Let m be b(1). Is 1962 + (6/(-8))/(t/m) prime?
False
Let p(u) = -u - 1. Let c be p(8). Let r(i) = i + 12. Let s be r(c). Suppose -16 = 4*l, l - 40 = -m + s. Is m composite?
False
Suppose -5*z + 562 = -713. Let m = 5808 - z. Suppose d = 5*g + 1121, -5*d + m = -0*d + g. Is d prime?
False
Suppose 64*l + 234806937 = 152*l + 221*l. Is l prime?
True
Let a(o) = o**3 + 26*o**2 + 5*o + 62. Let p be a(-26). Let v = p - -72. Suppose 3*q - 8239 = -2*h, -v*q - h = q - 13720. Is q a composite number?
True
Suppose 0 = -45*q - 763752 + 3027027. Suppose 14307 = -12*o + q. Is o a composite number?
False
Let c be (-1)/(2/(-1)*(-19)/114). Is 14/(-35)*(-118325)/(-30)*c a composite number?
False
Suppose 1772 + 1073 = 5*p. Suppose -x - 4*x = -60. Let b = p + x. Is b composite?
True
Let z be 14795/(15/9 - 2). Let s = z - -71488. Is s composite?
False
Let m(p) be the second derivative of -144*p**3 + 7*p**2/2 + 7*p. Let b be (0 - -1)*(-2 - 1). Is m(b) prime?
False
Let n(b) = 2*b**2 + 4*b + 28. Suppose 0 = -a + 4*k + 2, -4*a + 2*k + 5 = -45. Let w be n(a). Suppose 4*z + w = 8*z. Is z composite?
True
Let p = -251 + 248. Is 40/(-36)*p*(-6117)/(-2) a prime number?
False
Let i(n) = -220*n**3 + 2*n**2 + 8*n + 7. Let d be i(-2). Let z = d - 170. Is z prime?
False
Let l = 34 + -33. Let h be l/(-3) - ((-32)/(-12) - 3). Is h - -1 - (-4 - 30) a prime number?
False
Let r = -13968 - -23963. Is (6 - (-1 + 8))/((-1)/r) a prime number?
False
Suppose -22*i + 31*i = 0. Suppose -y - 15*k = -16*k - 1535, i = 2*y + 4*k - 3046. Is y composite?
False
Let v(n) = 18789*n**2 - 17*n - 5. Is v(-6) prime?
False
Let v = 106768 - -129555. Is v composite?
False
Suppose 2*n - 3*o - 427957 = 0, 641946 = 3*n - 44*o + 41*o. Is n composite?
False
Let k = 50 + -47. Suppose k*u - 7295 = -2*a - 3025, -2*a = 2*u - 4266. Is a a prime number?
True
Let u = -376 + 372. Is u/16 + 118044/48 composite?
False
Let z(v) = 4 - 13*v - 10*v + 24*v + 15. Let g be z(-9). Suppose 4223 + 19667 = g*d. Is d prime?
True
Let t(c) be the third derivative of 13*c**5/60 + c**4/4 - 25*c**3/6 + 43*c**2. Is t(6) a prime number?
True
Let l = -72 + 71. Let q(z) = -12205*z. Is q(l) a composite number?
True
Let r be 2 + 2746 + 1 + 3. Let z = r + 43. Suppose -4*u - 2*l = -6912, 0 = -2*u - 3*l + 665 + z. Is u a prime number?
False
Let p = 564319 + -278708. Is p prime?
True
Suppose 0 = -3*a + 3944 + 3625. Let l = -1246 + a. Is l prime?
True
Is (-6)/8 + 1491119/12*(27 - 24) prime?
False
Is (6 + 3 + 5913187/35)/((-4)/(-30)) a composite number?
True
Suppose -19*z + 28152 = -10*z. Suppose -3*n + 631 + z = 0. Is n prime?
False
Suppose j - 40735 = -5*t, 122205 = 3*j - 5*t + 2*t. Is j prime?
False
Suppose -1933 = -5*v + 322. Let f(q) = -8 + 513*q - 5 - v*q. Is f(6) prime?
True
Suppose -u = -8343 + 1243. Let g = u - 3618. Is g a prime number?
False
Let i = 754 - -7999. Is i composite?
False
Let l = 221 + -92. Suppose -m = l - 3838. Is m a prime number?
True
Suppose -10 = -5*h, -5*n + h = 65 + 77. Is 7539/9 + n/(-21) a composite number?
False
Let o(j) be the second derivative of -34*j**3/3 - 75*j**2/2 + 24*j. Is o(-11) a composite number?
False
Let k(j) be the second derivative of 602*j**3/3 + 57*j**2/2 + 2*j - 71. Is k(4) composite?
True
Let d(h) = h**3 + 9*h**2 - 2*h - 13. Let u be d(-9). Suppose 3*v - u*j = 7*v - 4758, 5*v = 3*j + 5929. Is v a prime number?
True
Let n = -48413 + 102226. Is n composite?
False
Suppose 49*b - 37*b = -4020. Is 154136/44 - (b/(-55) - 6) a composite number?
True
Let c(q) = 4*q**3 - 60*q - 83. Is c(15) a prime number?
True
Suppose -313 = y - 3*p - 4967, -3*y - 3*p + 13998 = 0. Is 115 + y + (1 - 4*-1) a composite number?
False
Suppose -d + 10 = d. Let p(b) be the third derivative of 63*b**4/8 + 5*b**3/3 - 3*b**2 + 44. Is p(d) composite?
True
Let o(n) = 5*n**2 - 48*n - 1908. Let t be o(-22). Suppose -2*d - 2*z - 1097 = 55, 4*z - 1735 = 3*d. Let x = d + t. Is x composite?
False
Suppose 27*v - 17*v + 30 = 0. Is 554/v*(-273)/14 a prime number?
False
Let l(w) = 282*w**3 + 7*w**2 + 10*w - 41. Let a be l(7). Is (a/(-4))/((360/(-16))/15) composite?
False
Let v = -43 + -105. Let i = 431 - 156. Let b = v + i. Is b prime?
True
Let l = -195157 - -294474. Is l composite?
False
Suppose -107389 = -3*h - t, 0 = -5*h - 8*t + 5*t + 178979. Is h a composite number?
False
Let x = 589429 - 353076. Is x composite?
True
Suppose 0 = 2*t - 388*r + 385*r - 33757, 50598 = 3*t + 3*r. Is t prime?
True
Suppose 0 = 4*k + a + 79 + 48, 5*k = -3*a - 157. Let o be 9/4 + 8/k. Let g(z) = 544*z**2 + 4*z - 3. Is g(o) prime?
False
Is (89044/8)/((-12)/(-9) + (-25)/30) a prime number?
False
Let v = 174955 - 82836. Is v prime?
True
Let y(g) = 12631*g - 3681. Is y(14) a composite number?
True
Suppose 0 = 2*l - 3*m - 57560, l = -15*m + 18*m + 28771. Is l composite?
False
Suppose 0 = -9*d + 230263 + 3371453 + 232401. Is d a composite number?
True
Let o be (-99)/(-55) - (-2)/10. Let h be 79417/26 - 1/o. Let a = 7021 - h. Is a composite?
False
Let p(q) = -2*q**3 - 2*q**2 + q + 3. Let i be p(-2). Let w be 8286/2*(-3)/(0 - i). Suppose r + w = 2*a, -3*a + 4*a = -5*r + 696. Is a a prime number?
True
Let z = 207 - 205. Suppose 35587 = z*l + 5*h, 5*h = -4*l + 8*h + 71109. Is l composite?
True
Let x be 7219*80/10*1/(-2). Let k = x - -51345. Is k a composite number?
False
Let b(g) = 2929*g - 3488. Is b(25) prime?
True
Suppose -3*m + 3*y + 27 = 0, -4*m - m = -y - 41. Suppose m*v - 313 - 103 = 0. Is ((-116)/8)/((-2)/v)*1 composite?
True
Let v(c) = -3*c**3 + 4*c**3 - 5 + 7 + 6*c - 7*c**2. Let k be v(6). Suppose -2*f + 170 = -4*j - 56, k*j - 613 = -5*f. Is f a composite number?
True
Let a = -215 - -222. Suppose -6 = 3*y, -11*y = 5*h - a*y - 6587. Is h prime?
True
Suppose -4*t + 1222891 = 5*i, -3*i + t + 773953 - 40198 = 0. Is i a composite number?
False
Suppose -137*g = -143*g. Is (26/4 - g/(-21))*22 composite?
True
Let n(s) = s**3 - 4*s**2 - 4*s - 1. Suppose 0 = 6*y - 5 - 25. Let j be n(y). Let p(v) = 74*v**2 + v - 21. Is p(j) a composite number?
True
Suppose 2*k + 134675 = 5*h, -739*k + 20 = -743*k. Is h composite?
True
Let d(h) = -156*h + 62. Let i(g) = -g - 1. Let y(x) = d(x) + 5*i(x). Let o(v) = 53*v - 19. Let r(b) = 17*o(b) + 6*y(b). Is r(-6) prime?
True
Suppose 0 = 4*r - 5*i - 1, -17 = -5*r - 5*i + 18. Suppose 0 = -4*m + 4, 8*m - 15 = -5*x + 3*m. Suppose -2*h + 714 = x*l, 1408 = r*h - 2*l + l. Is h prime?
True
Suppose 0 = -c - 3*f + 291434, -c + 449*f = 447*f - 291439. Is c a composite number?
False
Suppose -3*b = -4*b - w - 1, 4*b - w - 21 = 0. Is 2*(1 + -3 + b) - -3445 composite?
False
Suppose -2*s + 12 = -4*w - 0*w, 5*s + w = 52. Suppose -s*v + 60 = -0*v. Is (-8)/(v/(-3)) + 2195 composite?
True
Is (-8)/14*67585/(-20) composite?
False
Suppose 0*b + 3*b = -4*j + 285, 5*j - 357 = -4*b. Suppose 0 = -4*u - h + j, 3*h = -0*u + 5*u - 82. Suppose -882 = u*v - 2837. Is v a prime number?
False
Suppose 0 = 5*o - x - 10, -2*x + 1 = -5*o + 2*o. Suppose 5*t - 9 = -2*y, 0 = -2*t + 6*t - 4. Suppose 3*j - 2091 = -y*b, -j - b + 697 = -o*b. Is j composite?
True
Suppose -10391 - 19129 = -3*a. Suppose -a - 2800 = 5*w. Let m = 5097 + w. Is m a prime number?
False
Let z(d) = 4*d**3 + 3*d**2 + 2*d + 3. Let j be z(-4). Let w = 5002 + j. Is w a prime number?
True
Let g = 8 - -26. Let r = -32 + g. Suppose 0 = -5*l + r*l + 879. Is l a prime number?
True
Let g(z) = 2*z**2 - 25*z + 1. Suppose 0 = 3*h - o - 69, -4*h + 0*o + 103 = -5*o. Is g(h) prime?
True
Let t = 33432 - 7147. Suppose -6*w = -5*w - 3*b - 5273, 0 = -5*w - 5*b + t. Is w composite?
False
Let d = 705572 + -5739. Is d prime?
False
Let d(r) = 2415*r**2 + 97*r + 29. Is d(-18) prime?
False
Suppose 16 = 3*h + 10, 4*y - 44 = 2*h. Is 2028/36 + y/(-9) composite?
True
Let s = 186115 + 82236. Is s a composite number?
True
Let o(b) = 4*b - 72. Let l be o(19). Suppose 4*n = 0, -5*z + 14349 = -2*z + l*n. Is z a composite number?
False
Let a(h) = -3*h + 49. Let y be a(13). Suppose y*u - 39436 + 3026 = 0. Is u composite?
True
Let l(n) = -2*n**2 + 20*n - 1. Let m(z) = -4*z + 32. Let s = -1 + 7. Let g be m(s). Is l(g) prime?
True
Suppose -3*d = d + t - 12949, 2*t = 5*d - 16170. Suppose d = 6*k - 2*k. Let j = -180 + k. Is j prime?
False
Suppose -50*z = -19*z