2*o + 5*f, -4700 = -2*o - 4*f. Let x = o - -7097. Is x a prime number?
True
Let f(d) = -d - 1. Let a be f(5). Let n be (-2715)/a*(-42)/(-15). Suppose 6227 = 5*z - 2*y, -z + 0*z = 5*y - n. Is z a composite number?
True
Let y = -7146 - -26161. Is y prime?
False
Suppose -4*h = 2*w - 732930, -54*w + 53*w + 5*h + 366430 = 0. Is w a prime number?
False
Suppose -4*l - 2*b = 0, 5*l - 4*b - 24 = l. Let o(v) = -v**2 + 6*v - 4. Let w be o(5). Is 1569*(l + -2 + w) a prime number?
False
Let h = -42148 - -65375. Is h a prime number?
True
Let y(l) = -106*l + 45. Let a(r) = -71*r + 30. Let x(o) = 8*a(o) - 5*y(o). Let g be x(8). Is (-4)/(-1) + g/(-1) prime?
True
Suppose -6*f + f + 5*q + 227805 = 0, 2*f - 4*q - 91122 = 0. Suppose -19*d = -16*d - f. Is d composite?
False
Let i(o) be the third derivative of o**6/60 + o**5/20 - 5*o**4/12 - o**3/6 - 4*o**2. Let q be i(8). Let b = -512 + q. Is b composite?
True
Let l(k) = 5099*k**2 - 66*k + 193. Is l(3) composite?
True
Suppose 0 = -5*d - 3*w + 47, -6*d + 9 = -3*d - 3*w. Is 10/210*d - 19328/(-3) a prime number?
False
Let v = -352 - -1111. Suppose -2*t = -2*l - 1490, 0 = -t - 4*l + v - 24. Is t prime?
True
Suppose 6*c + 104 = 10*c + 4*m, 42 = 2*c + 4*m. Suppose 747248 = -15*r + c*r. Is r prime?
True
Suppose -4*d = 5*t - 87535, -4*t - 5*d + 36518 = -33519. Let q = t + -7904. Is q a prime number?
False
Let h(m) be the first derivative of -m**4/4 + 4*m**3/3 - 5*m**2/2 + 5*m - 16. Let r be h(2). Suppose x - 2520 = -r*j, j + 832 = 2*j + 3*x. Is j prime?
False
Let l(d) = -1222*d**3 + 82*d**2 + 565*d + 40. Is l(-7) a composite number?
False
Let p = -567 + 220. Let v = -82 - p. Is v a prime number?
False
Let g = 1304858 + -704975. Is g a composite number?
True
Let r = 5034 - -51. Let h = r + -644. Is h a prime number?
True
Let w(t) = -t**3 - 6*t**2 + 5*t - 10. Let x be w(-7). Suppose 0*v + 24 = x*v. Suppose 0 = -3*k + 6 + v, 2*k - 1469 = -3*o. Is o composite?
False
Let y = -1252 + 1256. Suppose 0 = 2*l - 10, -l = -4*g - g + 75230. Suppose -r = -y*j + g, 3*r = -5*j - r + 18793. Is j prime?
True
Let r(m) = -210*m**2 + m + 2. Let i be r(-2). Suppose 16*b - 4682 = -3*t + 11*b, -4*t + 6*b + 6154 = 0. Let a = t + i. Is a a prime number?
True
Let r be -1 + (0 - (-42)/6). Let s(k) = 40*k**2 - 14*k + 5. Is s(r) a composite number?
False
Let v(d) = 333*d - 53. Let g be v(12). Suppose -5*s - 12*k + 16*k + g = 0, 4*k - 12 = 0. Is s a composite number?
True
Let l = 17336 + -38890. Let d = l - -40675. Is d a prime number?
True
Suppose 0 = -5*g - 2*v + 360005 - 83382, 0 = 4*g + 5*v - 221278. Is g composite?
True
Suppose 0 = 493*d + 98996951 - 204262086 - 102269131. Is d a prime number?
False
Let m(y) be the third derivative of y**6/120 - y**5/10 - 5*y**4/6 - 2*y**3/3 + 20*y**2. Let u = 4 - -11. Is m(u) composite?
False
Suppose -41 = f - 6*f - 2*u, -5*f + u = -47. Suppose f*s - 89 = 253. Suppose 45 = z - s. Is z a prime number?
True
Let j(d) = -10*d**3 + 10*d**2 - 7*d - 5. Let r be j(-8). Let v be (-90)/(-75)*(-9950)/3. Let i = v + r. Is i composite?
False
Let d = 131 + -131. Suppose 4*h - 4212 - 656 = d. Is h prime?
True
Suppose -21 = -3*b + 3*g, -4*b + 2*g + 15 + 3 = 0. Let i be 3417*(2 - 4 - -3). Suppose -6*w = -b*w - 5*q - i, -3*w - 3*q = -2556. Is w prime?
True
Let v(b) = 39*b**2 - 19*b - 9. Let c = -115 - -110. Is v(c) a composite number?
False
Suppose -4167097 = -1288*i + 1259*i. Is i prime?
False
Suppose m + 131 = 3*s, -4*m + 23 + 55 = 2*s. Suppose -138292 = -s*d - 40295. Is d a prime number?
False
Let s(j) = j**2 + 6*j - 2. Let r be s(-7). Suppose -5*n + 26095 = r*z, 0 = 2*z + 5 - 13. Let f = -2734 + n. Is f a prime number?
False
Suppose 2*h + 0*u - 344 = 2*u, 5*u = -5*h + 880. Suppose 120 - h = i. Is (-9)/i - 9401/(-6) prime?
True
Let t be 264/15 + 20/50. Suppose t*y - 45161 = 17*y. Is y prime?
True
Suppose 2*n - 61 = 71. Let j = 66 - n. Suppose j*x + 5*x = 8285. Is x prime?
True
Let k(n) = -n + 26. Let l be k(3). Suppose 109714 = -h + l*h. Is h prime?
True
Let w be -1*(2 - -1)*-1. Suppose 5*a = w*f + 4, a = 3*f + 2*a - 8. Suppose -128 = -s + k + 19, -284 = -f*s - 3*k. Is s a prime number?
False
Suppose 5*p - 208 = 107. Let a = 421 + p. Suppose -7849 = -13*w + a. Is w a prime number?
True
Let q = -2 - -4. Suppose -w = j, j = -q*w - 2 - 1. Suppose j*l + 3*p = l + 410, 3*l = 5*p + 653. Is l composite?
False
Suppose 13*c - 6*c = 56. Suppose -c*s - s = -8424. Is s/20 - 2/(-10) prime?
True
Suppose 3*t = -s - t - 3559, 5*t = s + 3586. Let i = -1878 - s. Is i composite?
False
Is 155093035/1868 + 13/(-4) composite?
False
Let p(m) = -60*m**3 - m**2 + 2*m - 14. Let s be p(3). Let i = 2340 + s. Let z = i + -70. Is z a composite number?
True
Let f(s) = -390*s**3 - 2*s**2 - s. Suppose -5*m + 5*d = -0*m - 5, -10 = 4*m + 3*d. Is f(m) a composite number?
False
Let t be ((-312)/18)/(12/(-9)). Suppose t*x - 8203 = -0*x. Is x a prime number?
True
Suppose 0 = -0*m + 9*m + 10737. Let g = -796 - m. Is g prime?
True
Suppose 5*y - g + 1445 = 3*g, -5*y - g - 1470 = 0. Let c = -308 - -138. Let a = c - y. Is a a prime number?
False
Suppose -3*k = -2*q + 3*q - 4, -5*q = 5*k - 20. Suppose -a + 2 = 4*g, -2*a - 2*g + 16 = -q*a. Is -2*((-537)/(-12) + 0)*a a prime number?
False
Suppose -16477 = -7*k - 158080. Let b = 29071 + k. Is b prime?
False
Let m = -4110 + 9693. Is m a composite number?
True
Suppose -199*q = -196*q - 353910. Suppose q = 11*v - v. Is v a prime number?
False
Let t be 5/(25/15) - -81. Suppose -y = x - 20, -x + 4*x - t = 3*y. Is 4/x*6 + -1 + 1259 prime?
True
Suppose 26*f - 1222140 = 40*f - 74*f. Is f a composite number?
False
Let a(m) = 41*m**3 - 14*m**2 - 91*m + 20. Let r be a(19). Suppose 14*i + r = 847826. Is i a composite number?
True
Suppose -l + 2*l - 19031 = 19818. Is l a composite number?
True
Let q(p) = 8844*p + 3163. Is q(11) composite?
False
Let d = -325581 + 721162. Is d prime?
True
Is (4519108/605)/((-8)/(-30)) prime?
False
Let r(h) = -34*h**3 - 5*h**2 + 15*h + 15. Let f be r(7). Is f/(2 - 21/6) composite?
True
Suppose 0 = x - 9 + 4, 3*x - 35 = -4*o. Suppose h - 6*h = -10, 2*t + o*h - 16302 = 0. Is t composite?
True
Let b = 354027 - -1486534. Is b a prime number?
True
Suppose l = -2*l + 15. Suppose -4*v - 5*b - 2754 = -22409, 5*b - 15 = 0. Suppose l*i - 1112 - 3802 = -s, i - v = -s. Is s a composite number?
False
Let j be (-5)/(-10) + (-12)/24. Suppose j = o + 2*n - 1707, -2*o = -n - 5167 + 1748. Is o composite?
False
Let s = 38254 + -2423. Is s prime?
True
Suppose 153*u + 281404 = 157*u. Is u a prime number?
True
Let c(z) = -16*z + 2*z - 685 + 679 + 4*z**3 - 6*z**2. Is c(7) prime?
False
Let w = -25 - -25. Suppose 0 = 6*p - w*p + 19452. Is (p/(-6))/((-4)/(-12)) - 2 a composite number?
False
Suppose -28*v - 12008623 = -70*v - 71*v. Is v prime?
False
Let b = 910 - 200. Let k = 1383 - b. Is k prime?
True
Let j = 33 + 268. Let r = j - -12480. Is r a composite number?
False
Let m(r) = r**2 - 17*r + 55. Let j be m(4). Is j - (-13)/(78/77964) prime?
False
Let s(p) = 148*p**2 + 275*p + 79. Is s(22) a composite number?
False
Let m be ((-2942)/(-1))/1 + 3 - -1. Is m - (7 - -1) - (0 + -1) composite?
False
Suppose -4*f - 23*x = -26*x - 99958, f + 4*x = 24999. Is f composite?
True
Let z be (-2)/3*(6 + -12). Suppose -z*d + 6524 = -6*d + 5*r, -d = r + 3269. Let v = -1502 - d. Is v composite?
True
Suppose -23*l - 69406 = -4*f - 25*l, -3*f + 2*l + 52051 = 0. Is f prime?
True
Suppose 6*c - 23110 = -4*c. Suppose 2*v - 8935 - c = 0. Is v a prime number?
True
Let j(k) = 514*k - 2. Let g be 6*(0 + 3) - 2. Let u be j(g). Suppose 17687 = 13*b - u. Is b prime?
True
Let h be (-76)/(-12) + (-8)/6. Suppose -4*p = 5*t + 41, 2*t = h*p + t + 44. Is (-34 - 1)*-24 + 9/p a prime number?
True
Let q = 75 - 75. Suppose -20*z + 14*z - 12 = q. Is (2/z)/((-2)/1174 + 0) prime?
True
Suppose 411*a = 403*a + 80280. Suppose -l = 2*k - a, -5*l + k = -0*k - 50186. Is l composite?
False
Let d = 289585 - 59648. Is d a prime number?
True
Suppose 12*l - 442096 = 15304 + 637348. Is l prime?
True
Suppose -a - 2*t = 4 - 10, 5*a = t + 8. Suppose -5*y = -3*v - 120740, -a*y - 3*v + 72468 = y. Is y a composite number?
False
Is (-1 - -24)*(-111013)/(140/(-20)) composite?
True
Suppose 116*r - 94*r = 3071266. Is r composite?
True
Suppose -10*s + 19*s = -370557. Let d = 57906 + s. Is d com