*o + 2*o + a - 130 = 0, -4*a - i = -2*o. Suppose 204 + o = 3*p. Is p a prime number?
True
Let a(l) = -8136*l**3 - l**2 + 2*l - 2. Let x be a(-2). Suppose -5*o + r = -7*o + x, 4*r = 5*o - 162721. Is o prime?
False
Let u(s) = 1270*s**2 + 5*s + 29. Is u(-4) a prime number?
False
Let h be (-4)/7 - 668493/(-147). Suppose -14*i = -h - 20975. Is i prime?
True
Let a = 159066 - 76160. Is a prime?
False
Suppose -3*u + 22584 = 2*m, 3*m + 1676 = u + 35530. Let c = -5471 + m. Is c prime?
False
Let k(h) = h**2 - 11*h - 63. Suppose 0 = 3*l + u - 29 + 83, 0 = -l + 3*u - 8. Is k(l) a composite number?
True
Let m(r) = -r**2 + 6*r - 5. Let c = -24 - -27. Let t be m(c). Suppose -33 - 99 = -t*k. Is k a composite number?
True
Suppose 20*p - 69 - 71 = 0. Suppose 21*j = p*j + 51226. Is j prime?
True
Suppose -19 = -2*i - j, -42 + 5 = -4*i - j. Let y = -28 + 20. Is (-4)/y - (i/(-6) - 0) prime?
True
Let l = -1171 - -2068. Let y = l + 464. Is y prime?
True
Let v(m) = 2074*m**2 + 33*m - 296. Is v(7) a composite number?
False
Let d be (-246*73)/(6 + -8). Let w = d + -4558. Is w a composite number?
False
Let y = -83 - -79. Let d be 27/12*2 + (-2)/y. Suppose d*a - a = 140. Is a composite?
True
Let g = 663258 - 464359. Is g a composite number?
False
Let f(o) = -11*o**3 + 14*o**2 - 8*o - 17. Let k be f(-12). Let r = k - 8014. Is r prime?
False
Suppose -1372293 = -78*t + 618501. Is t prime?
True
Is (10868/16 + (-30)/(-5))/(1/92) a composite number?
True
Is 20/(-25) - 14590366/(-70) a composite number?
False
Suppose 35*v = 44*v. Suppose -13*p + 32718 + 24053 = v. Is p a prime number?
False
Let m be 437/(9/6*(-2)/(-114)). Let w = m + 3127. Is w composite?
True
Let w = -16733 + 23772. Is w composite?
False
Let z = -27530 - -42931. Is z a composite number?
False
Suppose 34 + 2 = 6*j. Let z be ((-8)/(-16))/((-1)/j)*1. Is (-1)/z*0 + 8 + 1551 prime?
True
Is 8 - -52781 - (-14 + 20) a composite number?
False
Let w(l) = 17*l + 42. Let y(n) = -2*n - 11. Let o be y(6). Let h be w(o). Let p = 603 + h. Is p composite?
True
Let b(g) = -4*g**2 + 15*g + 9. Let t(l) = -8*l**2 + 31*l + 18. Suppose f + 3 = c, -3*f = -3 - 6. Let y(s) = c*t(s) - 13*b(s). Is y(14) composite?
True
Let s = -3413 + -719. Let v = s + 13961. Is v prime?
True
Let u = -584 + 588. Suppose -u*n - 2*n + 41838 = 0. Is n composite?
True
Suppose -6062*n + 1447478 = -6060*n. Is n a prime number?
True
Let d = 7829 + -3856. Is d a prime number?
False
Let o = 1417639 - -1138717. Suppose -o = -14*t - 30*t. Is t composite?
False
Let s = 97098 - -69191. Is s composite?
False
Suppose -4*h + 1057612 = -4*v, 249*h - 5*v + 264439 = 250*h. Is h a composite number?
True
Let f = -4778 - -8285. Let m be (-8467)/(-6) + 21/(-18). Suppose 2*y - 4*k - m = -0*y, -5*y + f = -k. Is y composite?
False
Let l(r) = -64*r**3 - 20*r**2 - 16*r + 5. Is l(-15) prime?
False
Let y(u) = -u**2 - 28*u + 11. Suppose -4 = -3*t + 2*t. Suppose -77 = t*j - 5*o, -5*o = -3*j - 3*o - 56. Is y(j) a prime number?
True
Let a = 12272 + -2241. Let t = a - -5730. Is t a prime number?
True
Let o be (22 - 1)*4/(-6). Let i(r) = -13*r - 7*r**2 + 1158*r**3 + 14*r**2 - 1157*r**3 - 19 + 10*r**2. Is i(o) a prime number?
True
Suppose 759356 = 24*x + 35*x - 970937. Is x prime?
True
Is (-102)/(-21) + -1 + 22/154 - -19227 composite?
False
Is -2426786*(-4)/80 - (-6)/(-20) prime?
False
Let t = -3975 + 11344. Is t composite?
False
Let o = -43 + 50. Let r be 3*(-4)/6 + o. Is -4 + 1122/(r - 3) a composite number?
False
Suppose -o + 2*n = -214053, 8*n + 1070190 = 5*o + 13*n. Is o prime?
True
Suppose -16164 = 17*d + 27934. Let s = -1233 - d. Is s a prime number?
True
Let x = -2 + 7. Let b be -3 - (46/(-10) + (-2)/x). Suppose -b*f = -4*f + 542. Is f composite?
False
Let p = -60 + 71. Let g(f) = f - 6. Let j be g(p). Let r(d) = 138*d**2 - 4*d + 19. Is r(j) a composite number?
False
Let g = -1038175 + 1629602. Is g prime?
False
Suppose -8*i - 9*i - 3294 = i. Let l = 183 + -523. Let a = i - l. Is a a composite number?
False
Let n(p) = 993*p**3 + 4*p**2 - 18*p + 4. Is n(3) composite?
True
Let x(q) = 38778*q**2 + 140*q - 3. Is x(5) prime?
True
Suppose -308371 = 26*d - 30*d - z, -2*z = 2*d - 154184. Is d composite?
False
Suppose 2*s + 4424 = 5*l, -2*l + 1008 = s - 758. Suppose -207 = r - l. Is r composite?
False
Let j(x) = 17*x**3 - 3*x**2 + 16*x - 17. Let c be (-588)/(-154) + ((-4)/(-11))/2. Is j(c) a prime number?
True
Let s = -149 + 115. Is (-25665)/(-11) - s/(-187) composite?
False
Let o(b) = 2443*b - 426*b + 79531 - 79516. Is o(2) a prime number?
True
Let v be (-42)/((-18)/(-5) + -4). Suppose v + 491 = 4*f. Is f prime?
True
Let c(t) = t**3 - 3*t**2 + 15*t - 9. Let j be c(6). Let s be j/(-18)*(-1)/(6/164). Suppose s = p - 972. Is p a composite number?
False
Let q be 18/(-6) - -11 - -6859. Suppose -18*g + 8919 = -q. Is g composite?
False
Let g(x) = -3*x**3 - 21*x**2 - 18*x - 8. Let k be g(-14). Suppose 3*a = -2*a - 2*i + 10899, 0 = -2*a - i + k. Is a a composite number?
False
Let h = -31 + 28. Let k be -1*(h + 4)*-1486. Is (-2 + 3)/(2/k) a composite number?
False
Suppose 21983863 = 43*i + 12*i - 37437202. Is i prime?
True
Let k be (1 - 0)/(2/10738). Suppose -5*o + k = -3*b - 6302, 0 = 5*o + 4*b - 11657. Is o a prime number?
True
Let k(d) be the third derivative of 5*d**4/2 + 31*d**3/6 - 141*d**2. Is k(11) a composite number?
False
Suppose 3*c - c = -3*g - 11, -3*c = -6. Let n(p) = -p**3 - 4*p**2 + p - 15. Let i be n(g). Let f(h) = 11*h**2 + 5*h - 13. Is f(i) a prime number?
False
Suppose -246 = -3*w + 5*w + 4*l, 5*w + 602 = 3*l. Let q = 127 + w. Suppose -q*i + 4542 = -0*i. Is i prime?
True
Let s = 39 - 36. Suppose -o + 3*l = -2562, -o + 6*o - 12870 = s*l. Is o composite?
True
Suppose -2*f - 7250 = -44256. Is f prime?
True
Let j(z) = z**2 + 9*z + 18. Let v be j(-8). Let w(i) = i**2 - 6*i - 3. Is w(v) a composite number?
False
Suppose -263*c - 8793 = -272*c. Let a = c - -1304. Is a a composite number?
False
Let a(x) = 11*x**3 - x**2 + 2*x + 9. Let s = 23 - 20. Suppose -11*b + s*b = -48. Is a(b) a composite number?
True
Let f(y) be the second derivative of -y**4/12 + 7*y**3/6 - y**2 - 9*y. Let b be f(6). Suppose -b*r = 7*r - 20867. Is r a composite number?
True
Suppose -4*r + 8 = -2*w - 6, -5*r = 2*w + 23. Is w*(-30344)/(-48)*(-4)/6 a composite number?
False
Let x = -56 - -61. Suppose 6 = -x*r - 5*a + 16, -8 = -2*r - a. Is (-2811 - 7)*(-3)/r a composite number?
False
Let n(k) be the third derivative of 6985*k**4/12 - 7*k**3/6 - k**2 - 38*k. Is n(1) a prime number?
True
Let z(r) = -104*r**2 + 6*r - 29. Let b be z(5). Let w = 5502 + b. Is w composite?
False
Is (7390/30)/((-10)/(-8490)) a composite number?
True
Let w(i) = -i - 1. Let o(t) = t**3 + 7*t**2 - 4*t - 17. Let a(f) = -o(f) + w(f). Let g be a(-8). Suppose 0 = -3*c + 1831 + g. Is c a prime number?
False
Let z = 114848 + 631185. Is z prime?
True
Is ((-2844836)/(-12))/((-90)/(-27) - 3) prime?
True
Suppose -26387 = 4*h - 3*q, -5*q - 4674 - 21737 = 4*h. Let l = h + 10648. Is l a prime number?
True
Let s(b) = 20*b**3 + 33*b**2 - b + 69. Let o(p) = -7*p**3 - 11*p**2 - 23. Let k(l) = 17*o(l) + 6*s(l). Is k(-9) prime?
True
Let h(o) = o**2 + o - 3. Let b be h(-3). Let l be 43*((-423)/987 + (0 - (-1448)/14)). Suppose l + 5258 = b*q. Is q a composite number?
False
Let s(o) = 10*o**2 - 13*o + 2. Let h = -18 - -19. Let k(d) = d**2 - d. Let z(t) = h*s(t) - 2*k(t). Is z(7) a composite number?
False
Let m(f) = 4*f**2 + 62*f - 537. Is m(-49) a composite number?
False
Is -7 + ((-45774)/(-9) + 1)*2 a composite number?
True
Let b(t) = 3*t**2 - 3 - t**2 - t - 3*t - 3. Let s be b(3). Suppose -95 = -3*u - p, 0 = 3*p - s*p + 12. Is u a composite number?
True
Let r(b) be the first derivative of b**3/3 - 5*b**2/2 + 5*b - 17. Let i be r(5). Suppose -y = -i*y + 764. Is y prime?
True
Suppose 406*g - 408*g + 3*x = -140872, -5*g + 352141 = -x. Is g a prime number?
False
Is (-6)/(-9) - (((-861185)/15)/1 + 0) composite?
False
Is (10*12/(-12) - -10) + (-1 - -4469690) composite?
True
Let j(d) = 2934*d - 11395. Is j(36) composite?
False
Let i be (0 + -3)/((-1)/(-3)). Is (-30035)/i + 6/(-27) prime?
False
Is (-378)/48 + 8 + 5809866/48 composite?
False
Suppose -37 = 3*s - 2*s. Suppose 0 = -16*d + 925 - 765. Is s/((d/22)/(-5)) a composite number?
True
Suppose 5*o + 727 - 67 = 0. Let 