third derivative of 3*a**6/10 + a**5/30 - a**4/24 - 4*a**3/3 - 2*a**2 + 10. Is m(3) composite?
True
Suppose 3*k = -2*u + 126567, -2*k - 2*u + 41402 + 42972 = 0. Is k a prime number?
True
Suppose -5*j + 13888 = 3*l - 2*l, 3*j + 69412 = 5*l. Is l a prime number?
True
Let u(k) = 49*k**2 - 22*k - 12. Let v be u(11). Let s = 30628 - v. Is s composite?
False
Is (-176)/110 + (-237086)/(-10) prime?
False
Suppose -20*k - 3 = -21*k. Let w(t) = -3*t - 3. Let a be w(k). Is 3/a + (-4330)/(-8) a composite number?
False
Let c(t) = -10*t**3 + t**2 + 54*t + 492. Is c(-7) a prime number?
True
Let u be (6 - (-4 + 9)) + 1 + -3279. Let r = u + 4946. Is r a composite number?
False
Let b(j) = 21*j**2 + j. Let g be b(-1). Let r be 91/(-6) + 4 - 3/(-18). Let p = g - r. Is p a composite number?
False
Let v(q) = 279*q**2 + 22*q + 66. Is v(13) prime?
False
Suppose -38*y - 14 = -45*y. Let s(d) = -9*d**2 - d - 5. Let l(v) = 19*v**2 + 3*v + 10. Let j(x) = -4*l(x) - 9*s(x). Is j(y) a prime number?
True
Suppose 2 + 54 = 4*s + c, -4*s - 2*c + 60 = 0. Suppose -8*j + 15 = -s*j. Is (-42)/4*(62/(-6) - j) a prime number?
False
Let h = -151 + 143. Is (-1)/h + 93487/8 a prime number?
False
Suppose -2*f + 55 = s, -5*s = -10*s - 5*f + 270. Let o = -51 + s. Suppose -o*n - 327 = -7*n - 2*b, 2*b = -2*n + 132. Is n prime?
False
Suppose -5*c - o = -2*o + 24, 0 = 2*c + 2*o. Is (20505/(-30))/(2/c) composite?
False
Let m(q) = 1807*q - 27. Suppose 49 = 21*k + 7. Is m(k) prime?
False
Suppose 10*y + 22*y - 2943904 = 0. Is y composite?
False
Suppose 7*u + 56244 = -u + 370924. Is u a prime number?
False
Let l(a) = -a**2 - 3*a + 35. Let r be l(0). Suppose -38*o + 135 = -r*o. Suppose o*i = 44*i + 253. Is i prime?
False
Let o be 981 - (4/26 - (-18)/(-117)). Let q = o - 74. Is q a composite number?
False
Suppose 154*f - 128089406 = -100*f. Is f prime?
True
Let a(q) = 590*q**2 + 8*q - 32. Let f be a(3). Suppose -151 = -w - 2*j + 1618, -3*w + f = 5*j. Is w prime?
True
Suppose 3*p - 2 = -l, -2*l + p + 59 = -4*p. Suppose 0*f + 3*n = -2*f + l, 5*f - 30 = -5*n. Is 633/(-12)*(-5 + f) a prime number?
True
Suppose -5*o - 3*d + 10 = -0*o, -25 = -o + 4*d. Let h be -6*o/(-10)*(0 - 1). Let z(c) = 17*c**2 + 2*c + 2. Is z(h) a composite number?
False
Let w(d) = d**2 + 6*d + 13. Let m = -94 - -97. Suppose 0 = -m*s - 17 + 35. Is w(s) composite?
True
Suppose 3*k - 15 = 6. Suppose -t - k = 291. Let q = -5 - t. Is q composite?
False
Suppose -5*b + 22 = -3. Suppose 5*u + 8269 = b*y + 3*u, 4*y = 2*u + 6614. Is y a prime number?
False
Let g be (-2)/((-7)/(636111/(-6))). Let a = -19078 - g. Is a prime?
True
Let n(m) = 148*m + 2577. Is n(44) a composite number?
True
Let q = -3527 - -3529. Let i(h) be the first derivative of 19*h**4 - 2*h**2 - h + 2. Is i(q) prime?
True
Let f = 904254 + -500155. Is f a prime number?
True
Let b be 765*(-1842)/36*2. Is 2 - b/(-5 - -8) composite?
True
Suppose 7*k - 49 = 42. Suppose 5*b - 2*q = k, 0 = -4*b + 2*q - 3*q + 13. Suppose 4*z = b*z + 113. Is z a composite number?
False
Let g(a) = -132 + 9 + 148*a + 358*a. Is g(19) prime?
True
Is (-14)/(-8) - 1083186/(-104) a prime number?
False
Let b be -2*(-10)/4*7841. Suppose b = 344*m - 339*m. Is m composite?
False
Suppose -2*j - j - 1668 = 0. Suppose 89930 = 105*d - 20*d. Let f = j + d. Is f composite?
True
Let s(o) = 233*o**2 + 27*o - 26. Let y be s(5). Suppose -y + 419 = -5*u. Is u prime?
True
Suppose 7*k + 1625 = -6*k. Let x = k - -123. Is (-12 - x)/(0 - (-14)/(-469)) composite?
True
Suppose 0 = 4*g + 4, -5*g + 477415 = 3*s + 149937. Suppose 0 = 15*n - 424056 + s. Is n prime?
False
Suppose 4*h = -8, -a + 2*h - 10498 = -26983. Is a composite?
False
Suppose -6*t + 3987 = -3*t. Let o = 2220 - t. Suppose -5*r = -2*n - 903, 4*r = -r - n + o. Is r composite?
False
Let n(i) = 796692*i**2 - 22*i + 29. Is n(1) prime?
True
Suppose 0 = 2*k - 5*d - 518229, 1658*d - 1662*d + 1295589 = 5*k. Is k a composite number?
True
Let h(y) = -177*y - 55. Suppose 108*q - 56 = 115*q. Is h(q) composite?
False
Let s(q) = -q. Let o be s(-3). Let t be o/2 + 13/(-2). Is (-2435)/(-25) + 2/t a composite number?
False
Let l = 1 - -2. Suppose -q = -r + 891, 2*r - l*q = -3*r + 4465. Let k = -333 + r. Is k composite?
False
Let z = 617215 - 226766. Is z prime?
True
Let f(p) = p**3 + 6*p**2 - p + 14. Let y be f(-7). Let j be -3 - 76/y - 766/14. Is j/15 + (-4)/(-6) - -3082 a prime number?
True
Is (-1)/(-6) - (-9650170)/84 - 104/728 composite?
False
Suppose -15 - 12 = 3*w - 3*c, 0 = -3*w + 5*c - 37. Let b be (2/w)/(3/12) - -293. Let f = b + -158. Is f a prime number?
False
Suppose 3*a + 47180 = 2*a + n, -3*a = -5*n + 141546. Is 1/(-8) + 7/((-56)/a) a composite number?
False
Is 2/(138/(-460) + (-6969562)/(-23231740)) prime?
False
Let o(w) = -4338*w + 535. Is o(-81) a prime number?
True
Let l be (-3)/2 + 2 - 26/(-4). Suppose 1748 = 11*d - l*d. Suppose -833 = -2*y + d. Is y a composite number?
True
Let i = 119 - 111. Is ((-112)/21)/i + (-2710)/(-6) composite?
True
Suppose 0 = 4*a - 4*n - 20724, 0 = -n + 6*n + 20. Let w = a - -1020. Is w a prime number?
True
Suppose 10*l + 10*l = 1492878 - 389858. Is l prime?
False
Let n = -3109 - -5075. Let r = -523 + n. Let q = r - 910. Is q a composite number?
True
Let o = 1875533 - -576570. Is o a composite number?
False
Suppose 224 = t - 171. Let o = 612 - t. Suppose o = w - 312. Is w a composite number?
True
Suppose -11*u - 48198206 = -27*u - 66*u. Is u a prime number?
False
Let k be ((-8)/(-6))/(2/15). Let i(f) = 18*f**2 + 61*f - 47. Let l(h) = 9*h**2 + 34*h - 24. Let t(u) = 3*i(u) - 5*l(u). Is t(k) a composite number?
False
Is (150674/4 - -3)/(-2 + 35/14) a prime number?
False
Let c(d) = 12789*d - 291. Let h(a) = -6394*a + 145. Let z(o) = 3*c(o) + 7*h(o). Is z(-4) composite?
True
Suppose 2*j + 0*j = -3*c - 113, 0 = -3*c + 3*j - 93. Let g = c - -39. Is ((-24)/2)/g - -226 a prime number?
True
Suppose 0 = 4*j - 3*p - 536784, -p - 402583 = -2*j - j. Suppose n + j = -0*i + 4*i, -i - 2*n = -33537. Is i composite?
False
Let n(t) = -2*t**2 - 6*t**2 + 4*t**2 + 2*t**2 + 2*t - 4056. Let z be n(0). Let c = -2291 - z. Is c a composite number?
True
Suppose -5*a + 121 = -6*a. Let m = 484 + a. Suppose -356 = -y + m. Is y a prime number?
True
Suppose -2*w + 13132 = 3*y, y + 8758 = 3*y - 2*w. Let k = 9422 - y. Suppose 0 = 22*a - 18*a - k. Is a prime?
False
Let g be ((-360)/81)/(2/(-9)). Is (-879)/(-1*12/g) prime?
False
Suppose -21*g + 19*g + 4 = 0. Let c be 0 - 1 - (-729)/(-6)*g. Let z = c + 2403. Is z a composite number?
True
Suppose 2*z = 3*w + 5*z - 135, -z = -2*w + 81. Suppose -6*b = b - w. Suppose b*n - 9*n = -3231. Is n a prime number?
False
Let w(t) = -8*t + 19. Let z be w(3). Suppose -5*q - 4*k = 7, 0 = 5*q + k - 5*k - 17. Is (-3 - z)*q + 147 a composite number?
False
Is 0 + 2 - 0 - (-18753 - (19 - 31)) composite?
False
Let u = -576 - -609. Is u/(-22)*20948/(-3) a composite number?
True
Let r(m) = 170*m**2 + 6*m + 6. Let c(z) = -341*z**2 - 11*z - 11. Let y(n) = -3*c(n) - 5*r(n). Let l be y(-3). Suppose o + 190 - l = 0. Is o a prime number?
True
Let d(y) = -209*y + 6. Let k(t) = -t + 1. Let r(o) = d(o) - 5*k(o). Suppose w + 10 = 9. Is r(w) a prime number?
False
Suppose 0*s + 8786 = -2*s. Let b = 210 - s. Is b prime?
True
Let i(m) be the first derivative of -85*m**4/4 - 5*m**3/3 + m**2/2 - 10*m + 18. Is i(-3) composite?
False
Let l = -291293 + 435750. Is l a composite number?
True
Suppose 7*s - 35214 = 24146. Suppose -3*b + 4*b + 4 = 0, -4*o - 2*b = -s. Is o prime?
False
Let t(r) = 326*r**2 + 12*r - 118. Let q be t(9). Suppose 6*i = 2*i + q. Is i a composite number?
False
Suppose -g - z - 3 = 0, -g - 3*z = -0*z + 7. Let j = 6008 + -8513. Is ((-3)/(-9))/(g/j) a composite number?
True
Let b(i) = 114*i + 71*i + 1 - 53*i. Let x be b(-1). Let g = 274 + x. Is g prime?
False
Is 93/62*6229890/27 a composite number?
True
Suppose w - 51 = -313. Let a(u) = -527*u - 2. Let c be a(-1). Let n = c - w. Is n a composite number?
False
Let g(t) = t**2 - 27*t + 55. Let c be g(25). Suppose -l + 234 = o + 20, c*o = -l + 210. Is l a prime number?
False
Let g be -1028*204*(-9)/(-48). Is g/(-9) - 0/2 a prime number?
False
Let d(g) = 42*g**2 - 90*g - 2789. Is d(-21) composite?
False
Suppose 3*z = s + 1419, -4*s = -4*z + 6925 - 1265. Let c = s - -2300. Is c composite?
False
Suppose -r