prime number?
False
Let h(o) = o**2 - 3. Let l be h(3). Let k(s) = 81*s - 49. Let j(g) = -163*g + 95. Let u(y) = -6*j(y) - 11*k(y). Is u(l) a prime number?
True
Let a = -81631 - -168944. Is a composite?
False
Is (-95)/(-19)*(-1444873)/(-5) prime?
True
Let s(h) = -h**3 - 13*h**2 + 17*h + 50. Let l be s(-14). Suppose -10*w - 4*p = -l*w - 24630, -4*p = 4*w - 49256. Is w prime?
False
Let v(c) be the third derivative of c**6/120 - c**5/10 + 9*c**4/4 + c**3 - 44*c**2 - 2*c. Is v(8) a composite number?
True
Suppose 0 = 3*z - 4*t - 50068, 2*z - 2*t - 26702 - 6680 = 0. Let v = -9347 + z. Is v composite?
False
Suppose 24 + 26 = 10*b. Suppose 4 = -4*l - 4*s, -7 = 2*l + b*s + 10. Suppose -n - 2*o + 899 = -1396, -l*n + 3*o = -9125. Is n a composite number?
True
Is -42232*30/(-240)*3/1 prime?
False
Let d be (-298600)/20 + (-2)/((-4)/10). Let o = d - -30436. Is o prime?
True
Suppose -74 = -19*v + 154. Let k(l) = 3*l**3 - 8*l**2 + 3*l - 11. Is k(v) a prime number?
True
Suppose -u + 408 = 7*u. Let l(s) = 8*s - 4*s + 23*s + 5*s - u. Is l(14) a composite number?
False
Suppose 0 = -y + 2*w - 0*w + 3, 5*w = -5*y - 15. Let b be (-3 - 16/(-2))*(-12 + y). Let f = 102 + b. Is f a prime number?
True
Let f(c) = -98*c + 751. Is f(-27) a composite number?
True
Suppose 45*v = -3*p + 43*v + 667806, 5*p - 3*v - 1113010 = 0. Is p prime?
False
Suppose 4*y + 2*n - 6932 = -n, -5*y + n = -8646. Let x = y + 162. Let t = x - 681. Is t a prime number?
False
Let c be (-98)/(-35) - (-2)/10 - -2. Let s be ((-3 - -3)/2)/2. Suppose s = -4*d + c*d - 293. Is d composite?
False
Let v(m) = m**3 + 3*m**2 - m + 1. Let r(a) = 8*a - 2. Let j be r(-4). Let f = 40 + j. Is v(f) a composite number?
True
Suppose -21*n + 715151 + 595984 = 0. Is n a composite number?
True
Suppose -395837 = 5155*t - 5168*t. Is t a composite number?
False
Suppose -z - 3*p + 97 = 0, -2*p = 10*z - 5*z - 420. Suppose 9*t - z = 1313. Is t a prime number?
False
Suppose 23*i - 55*i + 2092629 = -11*i. Is i prime?
False
Let k = 130 + -126. Suppose c + k*q - 402 - 2757 = 0, 6322 = 2*c + 4*q. Is c a composite number?
False
Suppose 65*a - 8190 = 70*a. Suppose -y = 3*y + 4*h - 17616, -4*y - 3*h = -17617. Let m = y + a. Is m a prime number?
True
Let n(x) = x**3 + 30*x**2 + 7*x - 37. Let h(t) = 2*t**3 + 29*t**2 + 6*t - 36. Let m(o) = 3*h(o) - 4*n(o). Is m(19) prime?
False
Suppose -2*b + 226905 = c, 2*c = 326*b - 324*b - 226908. Is b a prime number?
True
Let k be (-81 - (3 + -1)) + 4. Let j = -77 - k. Suppose -j*f + 500 = 2*p, -3*f + 4*p + 705 = -52. Is f prime?
True
Suppose 43 + 27 = -7*u. Let x(o) = -2*o**2 - 21*o - 13. Let t be x(u). Is 4/(-48)*t*-4 + 1338 composite?
True
Let h = 62 + -58. Suppose -8 = -2*l, l - 5*l = h*s + 56. Is (1042/6)/((-3)/s) composite?
True
Let b = 2623 - -5290. Suppose -13*l + 11*l - 4*j = -15846, l = 3*j + b. Is l a composite number?
False
Let m(z) = 3*z**2 + 11*z - 24. Let g be m(3). Suppose -63297 = -g*s + 27*s. Is s a prime number?
False
Let h(z) = -13*z**3 - 3*z**2 - 6*z - 5. Suppose 9 = v + 25. Let d be 1*(v/5 - (-7)/35). Is h(d) a composite number?
False
Suppose -2*r = 3*g - 2, -4*g - g = -3*r + 22. Suppose 0 = a - 2, v + 3*v + r*a = 32. Suppose 11*x - 35345 = v*x. Is x composite?
False
Suppose 6*q - 5*q = -14. Is (-733 - 0)*(q + -3) prime?
False
Suppose -4*g - 2*j - 44 = 0, -4*g + 7*g + 28 = j. Let q be (-25)/(-6) - g/(-60). Suppose -q*w = -5*w + 673. Is w a composite number?
False
Suppose 3*t + 5*h - 17 = 0, t - 3*t - 5*h = -13. Suppose 4*o - 5028 = -5*x, 4*x = -t*o + 5140 - 1120. Is (-3 + x - 2)/1 a prime number?
False
Let h(a) = a**2 + a + 1. Let g(v) = -4*v**2 - 3*v - 32. Let u(d) = -g(d) - 5*h(d). Let b be u(0). Suppose b*s = 28*s - 1799. Is s composite?
True
Let v(m) = 171*m**2 + 61*m - 1943. Is v(22) composite?
False
Is -1 + 27/33 - ((-480403665)/231)/3 prime?
True
Is 15/((-1350)/(-7989363)) + 6/20 prime?
True
Suppose 4*z - 27204 = 47*l - 51*l, z + 2*l - 6799 = 0. Is z a prime number?
True
Let n(q) = -7838*q + 469. Is n(-5) a prime number?
True
Let g(n) be the first derivative of 5874*n**3 + n**2/2 - 2*n + 105. Is g(1) a prime number?
False
Let g(c) be the third derivative of -c**6/5 + c**5/6 + 13*c**4/24 - 4*c**3/3 + c**2 + 2*c. Is g(-6) prime?
False
Let g(u) = -22*u**3 - u**2 + 2*u - 3. Let j be (-46)/12 - (-1 - 14/(-12)). Let z be g(j). Suppose 2327 = 5*b - 2*d, -5*d - z = -0*b - 3*b. Is b prime?
True
Let x be 265*((-339)/(-15) + 2). Suppose 51214 - x = 5*u. Is u composite?
True
Is (-17 + (-210)/(-12))*1127246 prime?
True
Let k(m) = 53*m**3 + 6*m**2 - 7*m. Let h be k(3). Let d = h - 811. Is d a prime number?
True
Suppose 7375174 = 42*k + 535529 - 2251549. Is k a composite number?
True
Let r = 166857 - 62426. Is r a composite number?
True
Suppose -2*g = q - 37629 - 50688, 5*q = 2*g - 88323. Is g composite?
False
Suppose -5*b - 21165 = -3*v, b - 5*b - 28228 = -4*v. Suppose -5*x - 2*s + 9335 = 0, v - 1459 = 3*x - 4*s. Is x a composite number?
False
Suppose 4*x = -4*l + 4, 3*x - 4*l - 38 = -7. Suppose -3*r = x*f - 2*r - 951, 943 = 5*f + 3*r. Suppose 878 = w - f. Is w composite?
False
Let p = -55 - -93. Suppose -87*i + 340 = -90*i - 5*o, 4*o = -4*i - 440. Let c = p - i. Is c a composite number?
True
Let u(r) = 428*r**2 + 3*r + 6. Let l = -36 - -33. Is u(l) a prime number?
False
Is (-9722)/(126/(-9) - -12) prime?
True
Let o = -29864 + 49271. Is o a composite number?
True
Suppose 3*i + 28 = -h + 37, 5*h + 5*i - 45 = 0. Suppose -3*u + h = -360. Is u a composite number?
True
Let f = 60 + -46. Suppose 0 = 4*o - f - 6. Suppose -o*m + 1640 = 3*q + 2*q, -2*m = -5*q - 677. Is m prime?
True
Suppose c = -9 + 24. Let v be (-13)/(-3) - (-10)/c. Suppose 3766 = 3*z - z - v*t, -4*t - 1877 = -z. Is z a prime number?
False
Let j be 5 - (-4)/((-16)/12). Suppose 18 = 4*s + 2*h, j*s - h + 2 = 1. Is 2/(s/705*3) composite?
True
Let p(x) = -45*x**3 + 4*x**2 - 29*x - 9. Is p(-10) composite?
True
Let k(x) = -x + 1416. Let a be k(0). Is ((a/3)/(-4))/(2/(-3)) a composite number?
True
Let n(g) = 2*g - 7. Let m be n(1). Let p(k) = -23*k**2 - 38*k - 17. Let r(b) = 15*b**2 + 25*b + 11. Let o(t) = m*p(t) - 7*r(t). Is o(-7) prime?
False
Let q = 413 + -411. Suppose 2698 = q*z - m, -3*z - 3*m + 3168 = -879. Is z prime?
False
Suppose -1378 = -s - 55. Let j = 1948 - s. Suppose -y + 645 = -3*b, y + 4*b - 2*b = j. Is y prime?
False
Is 11/396*-6*-24294 a prime number?
True
Suppose -140842 = 3*m - 5*m. Suppose -10*a - 17091 = -m. Is a a prime number?
True
Let j = 60 - 57. Suppose -y + 3*w = -j*y + 18, -4*w + 16 = 0. Is 254/6*((-3)/y + 4) a composite number?
False
Suppose 5*k + 5*h - 6 + 1 = 0, -3*k + 3*h = -3. Let x = -337 + 263. Is (x/4)/(2/(k - 5)) prime?
True
Let m(q) = -4312*q + 1501. Is m(-13) composite?
False
Let c(l) = 2649*l + 471. Let m(b) = -883*b - 156. Let i(z) = 4*c(z) + 11*m(z). Is i(5) composite?
False
Suppose 2*s + 15851 = i, 12*i - 79287 = 7*i + 2*s. Is i a prime number?
True
Let n be ((-12)/(-8))/(3/6). Suppose n*p = 8*p - 5155. Suppose -244 = 5*o + 3*g - p, -5*g = -o + 135. Is o a composite number?
True
Let j(f) = -520*f**3 - 25*f**2 + 64*f + 74. Let v(x) = -104*x**3 - 5*x**2 + 13*x + 15. Let y(g) = 2*j(g) - 11*v(g). Is y(7) composite?
True
Let t be (291/(-6))/(5*(-1)/3610). Suppose -t = -4*y - 2*c + 72701, 2*y - c = 53849. Is y prime?
True
Suppose 0 = -k + 18692 - 1659. Is k a prime number?
True
Suppose k = 5*c + 29, -4 = 4*k + 3*c - 5. Is k*-1*(-5132)/16 a composite number?
False
Let m(q) be the second derivative of 7*q**6/180 + q**5/60 - 13*q**4/24 - 5*q**3/3 + 13*q. Let t(j) be the second derivative of m(j). Is t(-4) a prime number?
False
Let v be 4/6*(8 - (-38)/(-4)). Is (-8)/4 + (-1)/(v/18861) prime?
True
Suppose m - 462085 = -2*m + 171824. Is m composite?
True
Let n = -17 + 21. Suppose n*o - 3*c = c + 8, 12 = 4*c. Suppose -3*m = -o*b + 121, -2*b - 2*m + 11 = -31. Is b a composite number?
False
Let j(o) = -69*o**3 + o**2 - 11*o - 8. Suppose 1 + 3 = -k. Let g be j(k). Suppose 4*m = -3*r + g, 2*m = 5*m - 4*r - 3351. Is m composite?
False
Let f(h) = -h + 18 - 4*h**2 + 2*h**2 + 10*h + 10*h**2. Let o = 112 + -123. Is f(o) prime?
True
Let i = 1 - -43. Let j be (i - 2)/((-4)/8*-3). Suppose j*p = 31*p - 3147. Is p a composite number?
False
Is -18*(-12)/24 + 90590 prime?
True
Suppose -222*m + 216*m + 72 = 0. Let r(w