 + 2167. Is p(-150) prime?
True
Suppose 365 = 3*d + 2*d. Let i(r) = -128*r + 127*r + 4 + 3 + d*r**2 + 18*r**2. Is i(4) prime?
True
Let y = 216435 + -129148. Is y a prime number?
False
Suppose 3*r - 6939 = 4989. Let f = 7353 - r. Is f a prime number?
False
Suppose -3*l = -2*b + 128 + 1, 2*b + 3*l - 111 = 0. Suppose 4*c - 4*x = 6*c - b, -5 = 5*x. Suppose -31*y + c*y - 1003 = 0. Is y composite?
True
Suppose 1948921 = -5595*y + 5608*y. Is y a composite number?
True
Let t(r) = r**2 + 6*r + 4. Let l be t(-9). Let a = 31 - l. Let z(p) = -p**2 + 631. Is z(a) a composite number?
False
Let b(q) = -49*q**2 - 2*q - 3. Let s(u) = 24*u**2 + u + 2. Let v = -1 + 3. Let j(t) = v*b(t) + 5*s(t). Is j(3) composite?
True
Suppose -67*r - 7*i = -70*r + 1150754, 2*r - 767141 = -i. Is r prime?
True
Let l(p) = p**2 + 5*p + 4. Let m be l(-4). Suppose -5*h + m*v = -2*v + 10, -4*h + v - 5 = 0. Is -4421*(h/3 + -1) composite?
False
Let j = -106882 + 178353. Is j composite?
False
Let r(k) = 6*k**2 + k - 2. Let m be r(1). Suppose -m*i = 5*q - 5, 4*i - 4*q = 13 - 1. Suppose -5*n = 3*f + f - 1562, i*n - 5*f - 638 = 0. Is n a prime number?
False
Let n = 28915 - -33970. Is n prime?
False
Let r(q) = q + 13. Let m = -7 + -3. Let t be r(m). Suppose -7*a + 5*w + 1379 = -t*a, 5*w + 1038 = 3*a. Is a composite?
True
Let k(j) = 8593*j**2 - 433*j - 871. Is k(-2) composite?
False
Suppose 5*u = 3*d - 9, 3*u - 1 - 5 = -2*d. Let j be 6/9 - (-4804)/3. Suppose u = 4*g + k - j, -5*g + 2*k = -0*k - 2009. Is g a composite number?
False
Let m(p) = 257*p - 17. Let c be m(13). Suppose -4*u = 5*v - 3318, -2*u + 2*v = -6*u + c. Suppose -z + 179 + 12 = 3*g, 4*z = 5*g + u. Is z a composite number?
True
Let l be 276/(-54) + 2/18. Is (-12)/20*-218 + (-1)/l prime?
True
Suppose -y - 4 = 0, -4*g + y - 210 = 2906. Let j = g + 4949. Is j a composite number?
True
Let a = -1244 + 2354. Let n = a - 330. Suppose h - 6*c + 2*c = 177, -5*h - c = -n. Is h prime?
True
Let w(p) = 10*p**2 + 6*p - 2. Let i be w(2). Suppose f = 6*f - i. Suppose -f - 3 = -v. Is v composite?
False
Is (-873363)/(4 + -5) + 2 prime?
False
Let l = -111707 + 167286. Is l composite?
False
Let o(m) = -11*m - 37. Let t be o(-5). Is ((-60820)/120)/((-3)/t) a prime number?
True
Suppose 106*r - 102*r = 22004. Suppose 5*c + 10*q - 6*q = r, -3*c + 3306 = -3*q. Is c a composite number?
True
Let h = 59923 + -99461. Let n = h - -65565. Is n prime?
False
Let b = -146 + 149. Let t(m) = 363*m**3 - 7*m**2 + 8*m + 5. Is t(b) a prime number?
True
Let v be 141/2*72/(-27). Let k be -3 + (v/8)/((-5)/100). Suppose -n = -m - 684, 3*m - k = 2*n - 1830. Is n composite?
True
Suppose -27524 = -51*z + 23*z. Is z a prime number?
True
Suppose -5 = 8*w - 3*w. Is -299*(-5 - w) + -2 + -1 prime?
True
Let r(q) = -7*q + 12. Let a be r(-14). Suppose -50*y = -55*y + a. Let b(p) = 2*p**2 - 27*p + 33. Is b(y) prime?
False
Is (-106)/(-53) + 3198083/11 + (-2)/(-11) prime?
True
Suppose -109*q + 111*q = 26638. Suppose q = 3*j + 8*h - 4*h, 0 = -4*j + 3*h + 17767. Is j a prime number?
True
Is (-1)/(-4) - (-12 + ((-44704907)/52 - 11)) a prime number?
False
Let m = -4725 - 82733. Is ((4/(-8))/1)/(7/m) prime?
True
Let n(f) = f**3 + 8*f**2 - 4*f - 30. Let v be n(-9). Is (v/18 - -4) + 72350/12 prime?
True
Let a = 34772 + -28533. Is a a prime number?
False
Suppose -2*w + 55*g = 59*g - 58178, 3*w - 87227 = 4*g. Is w a composite number?
True
Let i = -11827 + 54420. Is i composite?
True
Suppose 4*y + 175986 = 2*c, 0 = 13*c - 9*c + 5*y - 351959. Is c composite?
False
Suppose -836 = -7*q + 438. Let l = 625 - q. Is l a prime number?
True
Let t(g) = 88*g**2 - 18*g + 11. Let z(l) = -59*l**2 + 12*l - 7. Let s(x) = 5*t(x) + 7*z(x). Let a be s(11). Suppose 9*q = 12*q - a. Is q a prime number?
True
Let p be (1 + -2)*-8 - (127 + -119). Let z be 2*-1*3/(-2). Suppose p = 5*v - 3*r - 643, -5*v = -z*v + 3*r - 274. Is v a composite number?
False
Let j = 157069 - 101408. Is j a prime number?
True
Let r(i) = -2694*i - 34. Let o be r(-3). Suppose -6*f + o = 3206. Is f a prime number?
False
Let w = -723199 - -1038146. Is w composite?
True
Suppose h - 27 + 36 = 0, -2*h = -4*d + 4021990. Is d prime?
True
Let b(x) = -6*x + 156. Let i be b(-15). Let g(s) = -20*s**2 - s + 2. Let w be g(-3). Let t = i + w. Is t composite?
False
Let a(m) = m**3 - m**2 + m + 8. Let f be a(0). Suppose -f*o + 0*o = -11848. Is o composite?
False
Suppose -376418 = 13*p + 10*p. Is 6 - (p/8 + (-40)/32) a prime number?
True
Let p(m) = 22*m**3 + 5*m**2 - 4*m + 9. Let l(u) = -44*u**3 - 10*u**2 + 7*u - 20. Let c(g) = 3*l(g) + 7*p(g). Is c(14) prime?
True
Suppose -2689382 - 11777214 - 2539424 = -20*w. Is w a composite number?
False
Let z(o) = o**2 - 10*o - 22. Let s be z(12). Suppose 12 = s*g + 5*v, 5*g - 4 - 80 = v. Suppose 0 = -g*a - 2036 + 8676. Is a composite?
True
Let m = 4509 + -7985. Let u = 5483 + m. Suppose 13*b - 4*b = u. Is b composite?
False
Let r(z) = 34607*z - 11393. Is r(12) a prime number?
False
Let f be 23/(-6)*2*-6. Suppose f*l - 49*l = -1689. Suppose 142 = 3*m - l. Is m prime?
False
Let i(z) = -z**3 - 7*z**2 - 10*z - 20. Let k be i(-6). Let q be (-2)/k - (-2 - (-5643)/(-2)). Suppose h = -2*h + q. Is h a prime number?
True
Let t(x) = 1909*x**2 + 199*x - 787. Is t(4) a prime number?
True
Suppose 2*y - 2*w - 720 = 628, -3*w - 664 = -y. Is y prime?
False
Suppose 2*r = 4*r - 4. Suppose -1352 = -4*o + r*o. Suppose -2*j + 5*v - 101 = -o, -3*v + 1189 = 4*j. Is j a composite number?
True
Is 891822/4 - 3791/446 prime?
True
Let f be (-4)/(1 + 0 - 55/33). Suppose 2*s + 3*d - 34143 = 0, -s - 85410 = -f*s + 3*d. Is s a prime number?
False
Let j(b) be the second derivative of -2219*b**3/6 - 17*b**2/2 + 30*b. Let v be (-4 - -1)/3*2. Is j(v) a prime number?
True
Let f be 18*((-17)/(-6) + 3/6). Let n(i) = -f*i - 16 + 44 - 15. Is n(-6) a composite number?
False
Suppose -3703 = -3*k + 4*g, -5*k + 3*g = 6*g - 6220. Suppose k*m = 1236*m + 17755. Is m a prime number?
False
Let p = -50 + 54. Suppose 2*y - 6 = -q, -1 = y - 4*q - p. Suppose -5*f - 476 = -a + 617, -4*a - y*f = -4280. Is a prime?
False
Let w(a) = -23*a + 121. Let r be w(6). Let u = r + 208. Is u composite?
False
Let o(g) = -264*g**2 + 30*g + 70. Let j(x) = -53*x**2 + 6*x + 14. Let l(q) = 14*j(q) - 3*o(q). Let h be l(-6). Suppose -h = -6*p - 544. Is p prime?
False
Let p(d) = 1649*d + 4. Let y(w) = -3297*w - 8. Let o(f) = 9*p(f) + 4*y(f). Is o(1) prime?
True
Let n = 2924277 + -1918696. Is n composite?
False
Let f(c) = -65*c**3 - 3*c**2 - 2*c + 1. Let z be 0 - 7 - (0 - 4). Let t be f(z). Suppose t = 4*o + k - 186, -5*k - 496 = -o. Is o composite?
True
Suppose -3*h + 5*h + 3*j = 137101, -4*h + j + 274195 = 0. Is h a composite number?
True
Suppose -u = 3*f - 8, 2*u - 2 = -2*f + 18. Suppose u*h - 3*h - 1528 = 0. Is h composite?
False
Let v = 32509 + 92454. Is v prime?
False
Suppose 451*t - 40279 = 448*t + 4610. Is t composite?
True
Let k = -23 + 19. Let h be -3 + 4*k/(-16)*443. Suppose 2*x = -6*x + h. Is x composite?
True
Let a = -1 + 4. Suppose 6 = a*i - 0. Is (-2)/((-8)/(-158))*-13*i a prime number?
False
Let m = 252730 - 153491. Is m prime?
False
Let w(b) be the second derivative of -b**5/20 - 5*b**4/6 + 23*b**3/6 - 21*b**2/2 + b. Let j be w(-12). Is 33090/54 - 2/j prime?
True
Suppose 0 = 154*v + 186*v + 215*v - 16027845. Is v a composite number?
False
Let j(d) = d**2 - 14*d + 13. Let q(n) = -4*n - 31. Let o be q(-11). Let l be j(o). Is ((l - 757)/(-1))/((-5)/(-10)) a composite number?
True
Let d be 8/20 - (-224)/(-10). Is (2/4)/(d/(-89276)) a composite number?
False
Suppose 6*x - 359981 + 31638 = 336925. Is x prime?
False
Suppose -3*w + 5*l + 31 = 0, -w - 4*l + 3 = -2*l. Is (w - (-7 + 14)) + 8727 a prime number?
False
Suppose -2*m + 5*p = 802, -2*p = 3*m - 5*m - 814. Let a be ((-1)/(4/m))/(33/88). Suppose -z + 424 = -5*x, 0 = -2*z - x + 1089 - a. Is z prime?
True
Let k = -50144 + 128203. Is k a composite number?
False
Let h(s) = -7*s + 3*s**2 - 19 - 2*s**2 - 2*s**2 + 2*s**2. Let n be h(9). Is (5 + 642/4)/(n/(-2)) a prime number?
True
Let a be (-2310)/(-264) - 6/8. Let d = 14 - 14. Suppose d = a*z - 7*z - 2459. Is z prime?
True
Let i be 610 + -3 - (-6)/(-3). Let m = i - -564. Is m prime?
False
Is 1860/(-124) - 718312/(-2) prime?
False
Let q(j) = 2*j**2 - 5*j - 9. Let y be q(4). Let u(x) = 220*