t derivative of -m**4/4 + 20*m**3/3 - 4*m**2 + 22*m - 17. Is o(9) a prime number?
False
Let n(d) = 57*d**3 + 2*d**2 - d + 3. Let x(c) = -85*c**3 - 3*c**2 + 2*c - 4. Let r(u) = 7*n(u) + 5*x(u). Is r(-3) composite?
True
Is 3/(-6)*(-1376 + -6) a prime number?
True
Let b = 67 + 237. Suppose -4*z - 5*a + b = 0, -4*z + a + a + 304 = 0. Suppose -4*n + 6*n = z. Is n a prime number?
False
Let j(t) = -t**3 + 22*t**2 + 40*t + 40. Let m be j(24). Let p be 2 - (-4)/(8/(-198)). Let o = p - m. Is o a composite number?
True
Suppose i + 2*m = -2*m + 22, 0 = 5*m - 25. Suppose -u = i*u. Suppose -2*j + 130 + 4 = u. Is j prime?
True
Let c = -12 - -5. Let h(y) be the third derivative of -y**5/60 - 7*y**4/24 + y**3 + 6*y**2. Is h(c) composite?
True
Is 3/24 - 279875/(-40) prime?
True
Let d(z) = 4*z - z + 6*z**2 - 2*z + 3 + z. Suppose -g - 12 = 5*r, 2 = 4*r - 2*g + 6. Is d(r) a composite number?
False
Suppose -5*t + 36 - 6 = 0. Suppose t*r = 3*r - 84. Is (9/(-6))/(6/r) composite?
False
Let h(z) = -374*z - 27. Let x(j) = 125*j + 9. Let k(g) = -3*h(g) - 8*x(g). Is k(7) composite?
False
Let v be (-7)/(-2) - (-4)/8. Is (16210/v)/(-5)*-2 prime?
True
Let k(m) = 2*m**2 - 3*m - 5. Let z be k(8). Suppose -66 = -0*x + 3*x. Let h = z + x. Is h a composite number?
True
Let g(j) = -21*j + 517. Is g(0) a prime number?
False
Let x = 2143 - 1856. Is x a composite number?
True
Let p be -3 - (22 - 5) - (-3 + -1). Let a(d) = 2*d**2 + 10*d + 6. Is a(p) prime?
False
Suppose 5*j = -0*j + 25. Suppose -4*a = -j*d + 8289, 5*d - 3*a - 8288 = -0*d. Is d prime?
True
Let m(q) = q**3 + 4*q**2 - 8*q - 11. Let v be m(-5). Suppose v*z + z = 4145. Is z a prime number?
True
Suppose r = -2*y + 1285, -5*r + r - 3*y = -5160. Is r a composite number?
True
Suppose 55 = -0*x - x. Is 4/22 - 1420/x a composite number?
True
Let q(p) = p**3 - 16*p**2 + 18*p - 54. Is q(17) a prime number?
True
Suppose 0 = 5*j + 4*j. Let u be 4/(-6) - (-4)/6. Suppose z + u*z - 199 = j. Is z a prime number?
True
Suppose f - 54 = -2*x - 4*f, -3*x = -5*f - 56. Let l(q) = x - 27*q + 0 - 50*q - 8*q. Is l(-9) a prime number?
True
Let a = 5 + 1570. Let l = a + -532. Is (l/(-2))/((-11)/22) composite?
True
Suppose -2*o - 2*c - 66 = 0, -o - o = 5*c + 66. Is (22/o)/(56648/28326 - 2) a composite number?
False
Let u(l) = 49*l**2 + 20. Let t(g) = 49*g**2 + 18. Let k(a) = 7*t(a) - 6*u(a). Is k(3) a prime number?
False
Let p = 40265 - 18060. Is p composite?
True
Is -9 + 14 - -2*1461 composite?
False
Let t be (3 - 4)*1 + -129. Let k = -47 - t. Is k prime?
True
Suppose 4*m - 61 - 3 = 0. Suppose -q = 3*q - m. Suppose -242 = -4*u + q*k + 146, 0 = -5*u - 2*k + 485. Is u a prime number?
True
Is 1/4 + (5 - 513498/(-24)) a prime number?
True
Let i = 291 + 1052. Is i prime?
False
Is (-57792)/(-30) + (-15)/(-25) composite?
True
Let g be -1 - (-2 - (-15 + 4)). Let r(z) = z**3 + z**2 + 11*z + 19. Let k be r(g). Let l = 1478 + k. Is l a prime number?
True
Let b(k) = k**3 - 13*k**2 + 12*k. Let q be b(12). Let t = -3 - q. Is 77*(-2 - (t + 0)) a composite number?
True
Suppose -o + 70 = 6*o. Suppose o*d = 14*d - 8068. Is d composite?
False
Let u = -8 - -1179. Is u a prime number?
True
Let j be 0/(-3) + -1 + 2731. Suppose 5*h - j - 1445 = -5*c, -2*h = -2*c - 1686. Is h a prime number?
True
Let o(r) = -37*r + 75. Is o(-22) prime?
False
Let c = 1 - -5. Is 5/30 - ((-3131)/c - -1) a composite number?
False
Suppose -4*p + 2*p - 4*s + 6514 = 0, -3*p - 4*s + 9763 = 0. Suppose 6*j - 3237 - p = 0. Is j composite?
True
Suppose -3*h - 435098 = -5*b - 155266, -4*h = -2*b + 111930. Is b a composite number?
False
Suppose -54*r - 2069564 = -82*r. Is r a prime number?
False
Suppose 10*c - 161578 = 7612. Is c prime?
False
Let w(k) = -k**3 + 2*k**2 + 13. Let d be w(3). Suppose 0 = -l - 3*z + 692, -d*z - 3494 = -5*l - 2*z. Is l a prime number?
False
Suppose 2*p - 6*p = 0. Suppose p = -2*g + 70 + 716. Is g a composite number?
True
Suppose 13*b - 8*b - 40 = 0. Suppose -b*v + 4*v = -84. Is v a composite number?
True
Suppose 3*v - 4 = -1. Let o be (-5 - v)*(-1)/2. Is (-1)/o*2328/(-8) composite?
False
Let v be 8/(3 + (-115175)/38395). Is v/35 - 6/10 a prime number?
True
Let z = -8344 + 14849. Is z prime?
False
Suppose -2 = -3*v + 3*b - 5, 3*v - 5*b + 9 = 0. Is -1*2 - (-302)/v a composite number?
False
Let x(o) = -o**3 + 8*o**2 + 8*o - 9. Suppose 0 = -5*t + 4*q + 107, -52 - 8 = -3*t + q. Let h = t - 11. Is x(h) a prime number?
False
Is 3044 + 0 - (-3 - -10) a composite number?
False
Let o be (-1)/(((-18)/(-4))/(-9)). Suppose 4*c = o*c + 298. Is c a prime number?
True
Suppose -21*k - 2910 = -51*k. Is k composite?
False
Suppose 3*w + 4*p - 24 = 0, 4*p - 16 = -2*w - 0*w. Let l be 2/w - 15291/(-36). Suppose l = y + 4*y. Is y composite?
True
Let v(s) = -s**3 - 2*s**2 - 2*s - 1. Let m be v(-2). Suppose -m*y + 115 + 38 = 0. Is y a composite number?
True
Suppose m = -4*u - 3 + 28, 4*u + 3*m = 19. Let s(p) = p**2 + 2*p**3 - p + 2*p + 36 - p**3 - 26. Is s(u) prime?
True
Suppose 11*w - 4*w - 21 = 0. Suppose -2*v + 0*f - 4*f + 676 = 0, 1000 = w*v - f. Is v prime?
False
Let n = -41274 + 79571. Is n prime?
False
Let b = 35 + -41. Let k = -6 - b. Suppose k = -50*l + 52*l - 818. Is l composite?
False
Let x = 1071 + -530. Is x composite?
False
Let h(v) = -44*v**3 - v**2 - v + 1. Let p be h(2). Let m = 688 + p. Is m prime?
True
Let u(d) = 173*d + 9. Let w be u(7). Suppose 111 = t - w. Suppose t = 2*c - 5*y, 5*y = -c + 585 + 103. Is c a composite number?
False
Suppose 5*x = 2*x - 6. Let j = -2 - x. Suppose j = -0*p - p + 163. Is p prime?
True
Is 9/12*(-205512)/(-9) composite?
True
Suppose 15*h = 406 + 6179. Is h a composite number?
False
Let v(r) = r**2 + 10*r - 8. Let m be v(-10). Let i be 2*(750 + 4 + m). Suppose -g = 5*d - 14 - 359, 4*g - i = 3*d. Is g a composite number?
False
Suppose 0 = -2*n - n + 6. Suppose v + n = -v. Is (v + 0)*232/(-4) a prime number?
False
Suppose 4338 = 4*i - 5*d, d - 3495 + 232 = -3*i. Is i prime?
True
Let j(r) = 2*r**2 - 5*r + 12. Suppose -y + 18 + 7 = 0. Suppose 8*k = 3*k + y. Is j(k) a prime number?
True
Let u(v) = 8*v**2 + 9*v - 74. Is u(12) a prime number?
False
Suppose 0*g - 1818 = -g - 2*q, -q + 1820 = g. Suppose 0 = 6*u - 6724 + g. Is u a prime number?
False
Let n(d) = 3*d**3 - 2*d**2 + 6*d + 10. Let y be n(-4). Let k = y - -401. Is k a composite number?
False
Let b = -467 + -1789. Let x = b + 3373. Is x a prime number?
True
Let p = -3673 + 6147. Suppose k - 1242 = -3*r + 5*r, 2*k + r = p. Let d = 2205 - k. Is d prime?
True
Is (130220/24 + -4)*6 composite?
False
Suppose 35 = 7*m - 8*m. Let s = m + 50. Is (s/(-6))/(2/(-356)) a composite number?
True
Suppose x + x = 22. Suppose x*r = -7887 + 26708. Is r prime?
False
Suppose -8*s = -2341 - 14019. Is s a composite number?
True
Let y be 1/(-2)*-4 + 523. Let b = y + -340. Is b composite?
True
Let q = 686 - 62. Let i = 936 - q. Suppose 0 = c - i - 17. Is c prime?
False
Let w(b) = 97*b**3 + 3*b**2 - 11*b + 58. Is w(5) prime?
True
Is 5 - ((-112920)/75 - (-4)/(-10)) composite?
False
Let x be 1/7 - (-110)/14. Is (-2)/x - 27306/(-72) a composite number?
False
Let i(n) be the first derivative of -n**3/3 + 4*n**2 - 3*n + 2. Let f be i(8). Is -4 - -2 - (-36 - f) composite?
False
Suppose 2*v = 3*b - 34, 2*b = -3*v - 0*v + 14. Suppose b*k - 1705 = -k. Is k composite?
True
Let o(n) be the first derivative of -n**5/60 + 7*n**4/24 + n**3 - 5. Let r(p) be the third derivative of o(p). Is r(-3) a prime number?
True
Suppose 5*d - 3*n - 9080 = 0, 0*n - 7264 = -4*d + 4*n. Suppose -5*k + 1569 + d = 0. Is k a prime number?
True
Is (-5)/((-60)/78)*1994 a composite number?
True
Suppose -4*k - k = 4*j - 100, -3*j + k + 56 = 0. Suppose -15*a - 955 = -j*a. Is a composite?
False
Suppose -8*n + 51887 = 3*n. Is n composite?
True
Let a = -21 + 25. Let i = -78 - -127. Suppose i = d - a. Is d a prime number?
True
Suppose 0 = -10*s - 10*s + 143740. Is s composite?
False
Let g be 9/2*8/6. Let o(j) = j**2 - 6*j + 5. Let u be o(g). Let d(f) = f**3 - 2*f**2 + 4. Is d(u) composite?
False
Let v = 4646 - 597. Is v a prime number?
True
Is 263462/26 + 6/(-39) prime?
True
Let a(s) = -13*s**3 + 2*s**2 + 5*s + 1. Let v(i) = 14*i**3 - 2*i**2 - 5*i - 2. Let y(q) = 4*a(q) + 3*v(q). Is y(-5) a prime number?
False
Suppose 1032441 = 68*a - 11*a. Is a a composite number?
