pose 34 = -2*n + 44. Suppose -5*q = 3*i - 98487, n*i + 35334 + 43426 = 4*q. Is (-1)/(-5) + (q/25 - 3) a prime number?
False
Is (951364 - -2) + 255/85 prime?
False
Suppose -3*a = 6*b - 5*b - 12, 2*b + 6 = 0. Suppose -a*g = -5*m - 9085, 2*g - 2*m = 6*g - 7298. Is g a composite number?
True
Let q(k) = 7 - 6 + 11 + k. Let h be q(-9). Is (1 - (-284)/6)*h composite?
True
Let u = 90889 + 259488. Is u composite?
False
Suppose -12*t = 15*t - 130167. Is t a composite number?
True
Suppose 0*p + 3*p = -t + 107, 4*t = 4*p - 132. Suppose 3*i - 23 = -p. Is (-1 - -1060) + 6 + i prime?
True
Suppose -1455 = -4*k - k. Let p(m) = m**3 - 20*m**2 - 86*m - 68. Let i be p(24). Let g = k - i. Is g prime?
False
Suppose 12441576 = 132*j - 6448548. Is j a composite number?
False
Suppose -3*s + 3*k = s - 52, -k + 26 = 3*s. Suppose 0 = -75*x + 70*x + s. Suppose -x*w + 18 = -120. Is w a composite number?
True
Let h(c) = 202*c**2 - 210*c + 11. Is h(28) composite?
True
Let i be ((-14)/(-12) + -2)/((-5)/30). Suppose 0 = 3*x + 5*w - 2477 - 8911, i*w = 3*x - 11358. Is x a prime number?
False
Is 958735*(-15)/30*(0 - 2) a prime number?
False
Let x(f) = -39*f**2 + 13*f - 7. Let r be (-104)/18 - 24/108. Let o be x(r). Let l = 46 - o. Is l prime?
False
Let h(u) = -3*u**3 + u**2 + 6*u - 16. Let c be h(2). Is (-13174)/(-112) + (-9)/c a prime number?
False
Let g be (28/8 - 3)*2864. Let q = -2790 + 7085. Let y = q - g. Is y prime?
False
Suppose 6*d = 8879 + 3319. Let j = d + -1241. Suppose -j - 139 = -7*s. Is s composite?
True
Let m(l) = -41*l**3 - l**2 - l + 7. Let q(b) = 4*b + 8. Let k be q(-3). Let w be m(k). Let d = w - 1838. Is d composite?
True
Let x(y) = -1902*y - 58. Let t be x(-5). Let v = 16857 - t. Is v composite?
True
Suppose -1539 = -5*v + o, 7 - 11 = -4*o. Is (-5)/(110/(-106372)) - 28/v a composite number?
True
Is (7/((-63)/(-4728588)))/(64/240) prime?
False
Let w(g) = -1 - 8*g**2 - 5*g**2 + 17*g**2 - g**3 - g**2. Let b be w(-1). Suppose -4*a + 4609 = j + 3, a = b*j + 1145. Is a prime?
True
Let z(u) = 98*u**2 - 50*u - 1295. Is z(-18) a prime number?
True
Let b(r) be the first derivative of 101*r**3/3 + 6*r**2 + 53*r - 32. Is b(-8) prime?
True
Let m(k) = -k**2 - 3*k + 2321. Let i be 0/((18/12)/((-6)/4)). Is m(i) composite?
True
Suppose -27 = 5*m - 7. Let n = m + 7. Suppose n*o = 2*o + 409. Is o a prime number?
True
Let d = -22174 + 50831. Is d composite?
False
Suppose -14*r - 705810 + 2239902 = 0. Suppose 0 = 35*h + 7*h - r. Is h a prime number?
True
Suppose 74*a + 83*a = -442160 + 13753719. Is a composite?
False
Suppose -4850*m + 12327922 = -4812*m. Is m composite?
False
Let p(a) = 27*a**3 + 3*a - 2. Let g be p(1). Let r(b) = 2*b**3 + 3*b**2 - 1. Let w be r(-3). Is (-45452)/w - 8/g a prime number?
False
Let q = -43 + 43. Suppose c = 0, q*n - 10 = -5*n - c. Is 7046/12 + n/(-12) a composite number?
False
Let f = 41 + -96. Let g = f - -51. Let c = 3 - g. Is c prime?
True
Suppose -332851 = 9*w - 900688. Is (-18)/(-12) + w/6 a prime number?
False
Suppose -4*g = -2*n - 6, -3 = -g + 3*n - 4*n. Suppose g*m - 5*m = -4431. Is m a prime number?
False
Let n = -31 - -32. Let y be 3 + 2 + -1 - n. Suppose -3*l = -2*k - 3563, -y*l + k + 1186 = -2*l. Is l composite?
True
Let t(x) = 2*x. Let q(g) = 5391*g - 4. Let l(h) = -q(h) + 6*t(h). Is l(-1) a prime number?
False
Let q be ((-2)/(-9))/((-13)/(-117)). Suppose 0 = -5*w - q*p + 12, 0*w + 2*p = 5*w - 28. Let o(d) = 373*d + 5. Is o(w) composite?
True
Let m(a) = a - 28. Let l be m(1). Let b(k) = 65*k**2 - 138*k - 32. Is b(l) a composite number?
True
Let a be (190/15 + -2)/(18/27). Let k(c) = -20*c - 5*c - 24*c - c**3 - 19 + 22*c**2. Is k(a) prime?
True
Let a = 3 + -2. Suppose 47*g + 3*r + 21 = 43*g, -2*g = 3*r + 9. Is (-1)/(g/318)*7*a a prime number?
False
Let u = 10 - 72. Let y = u - 117. Let k = 436 + y. Is k a prime number?
True
Let q = 329 + -327. Suppose -12604 = -4*k + 3*b, -5*k + 0*k + q*b + 15755 = 0. Is k prime?
False
Let r(t) = -t + 10. Let i(d) = -1. Let s(f) = -2*i(f) + r(f). Let w be s(2). Suppose w*c - 3*c - 3451 = 0. Is c prime?
False
Suppose i - 3*n - 177211 + 31817 = 0, -1 = n. Is i a prime number?
True
Let d = 29366 - 9939. Let g = d + -12358. Is g prime?
True
Suppose 0 = 3*v - 2*k - 8998, -4*v + 2*k + 0*k + 11996 = 0. Let w = v - 257. Is w a prime number?
True
Suppose -15 = 5*o + 4*q + q, -2*o + q = -3. Let r = -157 + 161. Suppose 4*l - 2455 = -5*m + 161, m - r = o. Is l a composite number?
True
Suppose 0 = -f - 585 - 90. Let l = f - -1628. Is l prime?
True
Let g(n) = 15*n**2 - 5. Suppose 200 = 12*u - 4*u. Let d be u/15*(21/5 + -3). Is g(d) composite?
True
Let k(w) = 24*w**2 - w + 81*w**3 - 25*w**2 + 1 + 197*w**3. Let o be k(1). Let s = o + -26. Is s composite?
False
Suppose 14*i + 10*i + 9384 = 0. Let h = i + 1188. Is h composite?
False
Let p = 857032 - 348483. Is p a composite number?
False
Let l(w) = 43*w**3 - 3*w**2 - 8*w + 27. Suppose 0 = 13*u + 5 - 57. Is l(u) a prime number?
True
Let t = 52 - 33. Let u = 21 - t. Suppose -u*p - z + 1788 = 0, z - 535 - 358 = -p. Is p prime?
False
Suppose 0 = -10*d + 79 + 141. Suppose 18*v + 52 = d*v. Suppose 10*c + 6219 = v*c. Is c composite?
True
Suppose -2*m + 20 = -2*v, -3*m - 7*v = -2*v + 2. Suppose b - 8687 = -m*b. Is b a prime number?
False
Suppose 5*j = 0, 3*y + 2*j - 67150 = j + 264107. Is y composite?
False
Let w(y) be the third derivative of 27*y**4/8 + 19*y**3/3 + 7*y**2. Is w(23) composite?
False
Suppose -378522 + 5794720 = 32*j - 1414170. Is j a prime number?
True
Suppose -b = -i - 44665, -b = 1 - 3. Let q = 64104 + i. Is q a composite number?
False
Let p(u) = -2*u - 33. Let n be p(-13). Is 3 + n/((-70)/37580) composite?
False
Let u(s) = -233*s + 10. Let g be u(-4). Suppose 0 = 2*p + 4*p - g. Is p a prime number?
True
Let f(g) be the second derivative of 7*g + 0 - 11/2*g**2 + 5/3*g**4 - g**3. Is f(6) a prime number?
True
Let l(h) = h + 8. Let o be l(-6). Let a(g) = -2*g**2 + 21*g**2 + 2*g + o*g**2 - 11 - 7*g. Is a(-8) prime?
True
Suppose 3*p + i - 1853 = p, 0 = -5*p + 5*i + 4670. Suppose 8*k - 3*h - p = 3*k, 751 = 4*k - 5*h. Let r = k - 57. Is r prime?
True
Suppose 5*o = -5*f + 194320, 10*o - 12*o - f = -77723. Is o a composite number?
True
Let w be (8 + (-18)/27)/((-2)/(-1956)). Suppose 63*s - 59*s - w = 0. Is s a prime number?
False
Let l = 2571 - -21844. Suppose 2*x - 6197 = -3*g + 18222, -l = -3*g - 4*x. Is g prime?
False
Suppose 91952*r = 91949*r + 77199. Is r a prime number?
True
Let r(k) = -2156*k + 673. Is r(-23) a composite number?
False
Let s(b) = 483*b**3 - 25*b**2 + 200*b + 57. Is s(7) composite?
False
Let k = 6 - 2. Let i be (10/6 - 1) + 130/39. Suppose -k*h - w = -2*h - 617, 0 = i*w - 12. Is h a prime number?
True
Let r(g) = 2883*g - 3545. Is r(38) prime?
False
Suppose -95 = -7*l + 2*l. Suppose 0 = 4*f - 5*g + l, 2*f - g + 5*g - 10 = 0. Is f/(3596/(-1796) + 2) composite?
False
Let f = -28147 + 57274. Suppose 7*h = 63462 + f. Is h composite?
True
Let g = 2113254 - 1297363. Is g a composite number?
False
Suppose -23*b + 8 = 8. Suppose 8 = 4*i - 4, -4*u - 5*i + 5899 = b. Is u prime?
True
Let b = 17934 - -18649. Is b prime?
True
Suppose 4*k = 5*p + 18 + 16725, 0 = -5*p + 5. Let g = k - 2532. Is g prime?
False
Let s = -14431 + 16157. Is s a prime number?
False
Let c = 319328 + -195645. Is c a prime number?
False
Suppose -3*t - 3*c = -25524, 2*t - 4*c - 1249 = 15797. Is t prime?
True
Let v be (-9)/3 - (3/1 + -10). Let n(i) = 6*i - 20. Let k be n(v). Suppose 6*b - 250 = -k*b. Is b a prime number?
False
Let u = 51670 + -11889. Is u prime?
False
Let v be (91333/4)/(-11) - 1/4. Let q = 3613 + v. Is q a composite number?
True
Let m(w) = 5*w**2 + 12*w**3 - 18*w**3 - 8 + 7*w**3 - 3*w. Let h be m(-3). Is (49 + -12)/(1/h) prime?
False
Let i(j) = 5828*j**2 - 4238*j + 1. Is i(-3) a composite number?
False
Let z(h) = 5*h**3 + 4*h**2 + 3*h + 9. Suppose -2*x = -3*d + d - 64, -4*x - 3*d = -128. Suppose x = 6*b + 2. Is z(b) prime?
False
Suppose 218723 = -1584*i + 1585*i + 48232. Is i a composite number?
True
Suppose -m + 5*g + 868 = 0, 5*m = -2*g + 4*g + 4386. Suppose -4*r = -6486 - m. Is r composite?
True
Let z(o) be the second derivative of 7*o**5/20 - 3*o**4/4 + o**3/2 + 6*o**2 + 5*o. Let s be z(-9). Is s/(-12) + -2 + 14/8 composite?
False
Let f = -199 + 301. Suppose 2193 = 