lse
Suppose -114918 = -4*g + 5*c, 86*g + c + 28729 = 87*g. Is g a prime number?
False
Suppose 2*n - 1914383 = 20*a - 23*a, 5*n + 3*a - 4785926 = 0. Is n a composite number?
False
Let t(v) = 607*v**3 - 2*v**2 - 2*v - 6. Let o be t(3). Let k = -11156 + o. Suppose -2*h = 3*y - k, 4*h - 6940 = -3*y - y. Is y a prime number?
True
Let d(x) = -8*x - 3. Let a be d(-3). Suppose -a = 4*r - 289. Is r a prime number?
True
Suppose -4*b + 200611 + 64345 = 0. Is b a prime number?
True
Suppose -i + 441 = c, 294 - 2471 = -5*c + 2*i. Suppose -2*p = -4*p - 492. Let f = p + c. Is f a prime number?
True
Suppose 0 = 715*y - 703*y - 491916. Is y a prime number?
True
Suppose -3*a - 2*f - 23 = 0, -2*f - 3*f = 5. Let h = a + 1. Let t(r) = -187*r - 1. Is t(h) a prime number?
False
Let v = 101529 - 25196. Is v prime?
True
Let g = 108406 + -64644. Is g composite?
True
Let d = 256 - 158. Let z = d - -20. Is z a prime number?
False
Let m = -154 - -104. Let y = m - -52. Suppose o = y*o - 769. Is o prime?
True
Let d(m) = m**3 + 2*m**2 - 9*m + 7. Let c be d(3). Suppose 29*y - 44 = c*y. Let u = y - -384. Is u a prime number?
False
Let j = -828 + 842. Suppose j*r - 12*r = 94678. Is r prime?
True
Let z be (-4)/(-5)*10/4. Suppose -8347 = -3*x + 2*b, -2*b = -4*x - 6*b + 11096. Suppose 5*o = -z*o + x. Is o composite?
False
Let w = 31 - -13. Suppose -3*q = 8*q - w. Suppose -3*b + q*n = -625, 0 = b + 2*n - 5 - 190. Is b a composite number?
True
Let i(j) = 2*j**2 - 92*j + 81. Let w be i(46). Let v = 71 - 37. Suppose v = o - w. Is o prime?
False
Suppose -15*c + 4*v = -18*c + 1654407, 3*c - v = 1654377. Is c prime?
True
Let b(v) be the third derivative of 59*v**5/30 + v**4/12 + 11*v**3/6 + 363*v**2 - 3*v. Let r = -4 - -1. Is b(r) a prime number?
False
Let p = 0 - 5. Let d(w) = 22*w**2 + 93*w + 10. Let c(g) = g**2 - 47*g - 2. Let h(j) = 2*c(j) + d(j). Is h(p) a prime number?
False
Let h be ((-3)/(-6))/((-11)/(-407990)). Suppose 7*j - h = 2*j. Is j a prime number?
True
Suppose 90 = 3*x - 8*x. Let a = 20 + x. Is (-31690)/(-40) - (a + (-22)/8) composite?
True
Let a(i) = 42*i - 5. Let m be -1 + (-12)/(-16) - (-278)/(-8). Let z = m - -39. Is a(z) composite?
False
Is 33141/(72/90*18/24) a composite number?
True
Suppose -10*j - 2506 = -5*j + u, j = -4*u - 486. Suppose -3810 = 4*l + 2*s, 2*s + 2041 = -2*l + 133. Let a = j - l. Is a prime?
True
Let o = 84120 + 45493. Is o a composite number?
True
Suppose 3*a = 3*j - 1256862, 16*a + 1256848 = 3*j + 11*a. Is j composite?
False
Let r(h) = -h - 9. Let c be r(-5). Let d be 0*(-2 - c/4). Suppose -2*i = d, -187 - 625 = -4*n - 5*i. Is n a prime number?
False
Let o(d) = -600*d**3 - 3*d**2 - 21*d - 85. Is o(-4) prime?
True
Suppose 3*r = a + 554226 + 2456467, 0 = 5*a - 40. Is r prime?
False
Let f(y) be the second derivative of 3*y + 39/2*y**2 + 0 + 17/6*y**3 + 1/12*y**4. Is f(-19) a prime number?
False
Let k(r) = 3*r - 5288. Let t(n) = 10*n - 15864. Let l(c) = -7*k(c) + 2*t(c). Let g be l(0). Let f = 8007 - g. Is f composite?
False
Let z = 3276 - -2657. Let j = z + -3811. Suppose 3*g - j = g. Is g composite?
False
Suppose 4*t = -16, 85*l - 90*l + 172898 = 3*t. Is l a composite number?
True
Let y(f) = f**3 - 9*f**2 - 3*f - 22. Let n be y(10). Suppose -2*c = -4*r + 24, 2*c + n = -4*r - 0*r. Let t = 209 + c. Is t a prime number?
True
Let r = -97 - -94. Let l be ((-635)/(-4) + 0)*(-12)/r. Suppose -5*p + 416 = 5*j - 219, -l = -5*j + 4*p. Is j a prime number?
True
Let a = -21 + 23. Suppose 0*z - 2*z = 0, -a*h - 5*z = 0. Suppose h = b - 989 + 304. Is b prime?
False
Let f(k) = 521*k**3 + 38*k**2 - 12*k + 253. Is f(10) prime?
True
Suppose 321056 = 211*q - 190*q + 78863. Is q composite?
True
Let o be 3*2/18 + (-2116576)/(-33). Suppose 39*r - 272048 + o = 0. Is r composite?
True
Let f = -35584 - -48173. Is f a prime number?
True
Let s = 159 - 141. Is -129*22*(-15)/s - -4 a prime number?
False
Suppose -s = -5*w + 7762559, -s = -2*w + 3423362 - 318342. Is w a prime number?
True
Suppose 0 = 3*w + 5*m - 258134, 43*w = 46*w - 5*m - 258094. Is w composite?
True
Let o be -47054*10/80 - (-1)/(-4). Let d = o - -9037. Is d a composite number?
True
Let w be ((-1)/(3/(-10)))/((-86)/(-129)). Suppose n - w*n = 5*i - 11, 0 = -5*n + 20. Let u = 162 + i. Is u a composite number?
True
Let u = -2411 - -3766. Suppose 0 = r + z - 3*z - u, 5*r - 5*z = 6790. Is r composite?
False
Suppose 14 = 5*j - 3*r, 2*j = -j + r + 6. Is (-6)/j - -5040 - 1 a prime number?
False
Let k(j) = 2*j**2 - 30*j - 10. Let q be k(16). Suppose z = q*z - 292845. Is z a composite number?
True
Let n = -51695 - -91194. Is n prime?
True
Suppose -s + 36468 = 3*s. Suppose -11836 - 52436 = 12*u. Let p = s + u. Is p composite?
False
Let m = 61665 - -203004. Is m prime?
False
Let l = 364795 + -71776. Is l a composite number?
True
Suppose 35*o - 530 + 110 = 0. Suppose -5*r + 5373 = -4*s, -4*r - 9*s + o*s + 4298 = 0. Is r a prime number?
False
Is (-4653040)/(-80) + (15 - 1) composite?
True
Suppose 0 = v - 2, -5*w - 4*v - 38480 = -484703. Suppose -3*l + 5*d = -2*l - 29744, -3*l + 4*d = -w. Is l a composite number?
True
Suppose 2*s - 39962 = -22*k + 24*k, -s + 3*k + 19985 = 0. Let f = s + 2499. Is f prime?
False
Suppose 3*i + 17 = -k - 2*i, 0 = i. Let x be (2 + k)/3*-1. Suppose 0 = -f - 5*n + 777, 4*f - x*n = -2147 + 5355. Is f prime?
True
Let a = 24 + -6. Suppose -4*w = -a*w + 364. Suppose -1671 = -w*z + 25*z. Is z composite?
True
Suppose -7*p + 8645 = r - 5*p, 0 = 2*r + p - 17308. Is r prime?
False
Let k = 203 + -41. Suppose -53*z = -50*z + k. Is (-12)/z - 4514/(-18) prime?
True
Let i(o) = 109*o - 6 - 45 + 35*o. Is i(3) a composite number?
True
Let o(s) = -s**3 + 2*s**2 - 16*s - 17. Let l be o(-7). Let m = l - 123. Is m prime?
False
Suppose 3*j - 280 = 7*j. Let h = 136 + j. Suppose -y + h = -145. Is y a prime number?
True
Let g be (-9 + 35)*86 - (-2)/(-1). Let i = -1543 + g. Is i prime?
True
Let f be (851/74)/((-1)/(-450)). Suppose 2*n - f = -a, -a + 15*n - 11*n = -5163. Is a composite?
False
Suppose 36*d - 32*d = -5*u + 1670734, -2*d = -4*u + 1336556. Is u prime?
False
Let f(s) = 473*s**2 + s - 42. Let g be f(6). Suppose 2*l - g - 3694 = 0. Is l prime?
True
Let y = 60953 - 38338. Let p = y - 12802. Is p a prime number?
False
Is ((-14907031)/603)/((-2)/18) a prime number?
True
Let t(y) = 64*y**3 + 2*y**2 - 2*y - 5. Let h be t(2). Let o = 1029 - h. Suppose -o + 141 = -c. Is c a prime number?
False
Let k = -7672 + 33111. Is k prime?
True
Let p be ((-72)/(-10))/((-8)/(-140)*7). Is 2 - (84646/(-10) + p/(-45)) composite?
False
Suppose 0 = 9*a - 148478 + 54464. Suppose 12*f - 13086 = a. Is f composite?
True
Let v be 344/32 - (-3)/(-4). Let u be (-6852)/v + (-11)/(-55). Let x = u + 1022. Is x a prime number?
True
Suppose -2 = -y - 4*h, -2*y - 4*h + 8 = -0. Let b be -5 + y - 2/(-1). Suppose 0 = -4*w + 135 - b. Is w a prime number?
False
Let z be 144/16 + -10 + 6. Suppose v + c - 11 = 2*c, -5*v - 4*c = -19. Is (v - z)/4*3628 prime?
False
Suppose 7*v + 4*p + 106 = 4*v, 0 = 5*v - 5*p + 165. Let j(q) = 4*q**2 + 49*q + 89. Is j(v) composite?
True
Suppose 101564 = 13*c - 12836. Suppose 3*n - 1 = -4, 5*q + 5*n - c = 0. Is q prime?
False
Suppose -6*w + 84 = 6*w. Let b(l) = 46*l**2 + 14*l + 8. Let f be b(w). Suppose -i + f + 77 = 0. Is i a composite number?
False
Let y(j) = -210*j - 23. Let n be y(4). Let k = -532 - n. Is k prime?
True
Let r(i) be the second derivative of i**5/10 + i**4/2 - 7*i**3/3 + 23*i**2/2 + 2*i - 2. Is r(10) composite?
True
Let f(n) = n**3 - 2*n**2 - 17*n + 11. Let o be f(7). Let m = 1374 + o. Is m a prime number?
True
Let j = -78 + 86. Suppose -1610 = -4*l + n, -l + 4*n + 411 = j*n. Is l a composite number?
True
Let u(o) = -10*o + 6*o - 203 + 65*o**2 + 200 + 56*o. Is u(8) prime?
False
Suppose 2*y - 8 = 2. Suppose -2*c - 177*c + 849 = 312. Suppose p = 4*m + 81, -62 = c*p - y*m - 312. Is p a prime number?
False
Suppose u - 4 = 0, 4*u - 31 + 3 = -4*p. Suppose -1461 = -p*b + 2*z, 3*b - 1186 = -z + 275. Is b composite?
False
Suppose 0 = 15*h - 16*h + 283. Suppose -3*r - 13048 = -4*t, h + 2964 = t + 3*r. Is t a composite number?
False
Let l(x) = x**3 - 9*x**2 + 10*x - 15. Let n be l(8). Is (-117612)/(-88) + n + (-2)/4 composite?
True
Let a = 355 - 358. Is ((-690)/10)/(a/149) a prime number?
False
Suppose 3*z + z - 36 = 2*c