76/36 composite?
True
Let v(f) = -6*f**3 - 7*f**2 + 2*f - 3. Let w(u) = -u**2. Let m(s) = v(s) - 2*w(s). Let t be m(-7). Suppose 12 - t = -8*x. Is x prime?
True
Suppose -16 = 4*o, 6*o - 245 = -3*k + 2*o. Let r = 92 - k. Suppose -2*f + 2*u + 432 = 6*u, -f = -r*u - 223. Is f composite?
True
Let u(o) = -o**3 - 12*o**2 + 2*o + 16. Let c(p) = -13*p**2 + 2*p - 1. Let x be c(1). Let z be u(x). Let f(v) = -208*v - 7. Is f(z) a composite number?
False
Let z(m) = 685*m - 904. Is z(9) a prime number?
True
Suppose 2*q + 2*k = 4, -2 = -5*q - k + 8. Suppose 5*p = 2*r + 44010 - 2173, -3*p = -q*r - 25099. Is p prime?
True
Let a be (22/(-18) - 24/(-108))*-7. Suppose -5*n + 2*m - a*m = -30, 3*n - 13 = 2*m. Suppose -n*u + 3191 = 856. Is u a composite number?
False
Let y(f) be the first derivative of -129*f**4/4 + 5*f**3/3 + 2*f**2 + 31*f - 143. Is y(-6) composite?
False
Suppose -9*f = -484489 + 82270. Is f/11 + 28/154 a prime number?
False
Let y(r) = -400*r + 818. Is y(-126) prime?
False
Let q(b) = 57*b**2 - 72*b - 68. Is q(15) prime?
True
Suppose 19*v + 2916 = 3*h + 22*v, 4*h + 2*v - 3886 = 0. Is h a prime number?
True
Let c = 52 - 48. Suppose 2212 = c*o + 4*s, -o + 2765 = 4*o - s. Is o prime?
False
Let x = -2133 + 29530. Is x a composite number?
False
Let u(m) = -80*m**3 - 4*m**2 - 5*m - 4. Let a be u(-2). Let c be ((-24)/20)/((-2)/5). Suppose -3*f + a = -c. Is f a prime number?
True
Suppose 0 = 3*k - 2*s - 134305, 0 = 4*k - 4*s - 138912 - 40156. Is k a prime number?
True
Let c = 444208 + -141135. Is c a composite number?
False
Suppose 22*k + 18*k = 2440. Let c = k + 1578. Is c a prime number?
False
Suppose -3*c = -4*y - 158, -2*c + 4*c = 4. Is (19/y)/((-2)/5908) composite?
True
Let m(s) = 32*s**3 + 5*s**2 - 30*s - 16. Is m(9) a prime number?
True
Let x be (-40)/(-15) + -4 + 2/6. Let h be (0 - x)*-1 + 2359. Let f = h - 1507. Is f composite?
True
Let z(s) = 35107*s**2 - 11*s - 12. Let u be z(-1). Suppose 0 = -9*w + u + 17211. Is w a prime number?
True
Suppose 0 = -250*s + 251*s - 37477. Is s prime?
False
Suppose -1458 - 48424 = -7*m. Is m + (-11 + 1)/(6 + -4) a composite number?
False
Let f = -10762 + 18860. Suppose -7*p + 5*p = -f. Is p prime?
True
Is (210/63)/((-6)/9) - 857964/(-2) prime?
True
Let v = 47 + -27. Let d be 4*5/v + 4. Suppose 0 = 3*g + 2*g + d*n - 3115, -5*n + 1869 = 3*g. Is g prime?
False
Let u(a) = -3*a + 7. Let w be u(0). Let c be (-2)/(-3)*(526 - w). Is c + (1 - 5)/(-4) composite?
False
Let y = -95 - -106. Let v(z) = 23*z**2 + 53*z + 5. Is v(y) a prime number?
True
Let p(o) = 13*o + 316. Let y be p(-24). Is (-3)/(-12) + 15/y + 6399 a composite number?
True
Let g(d) = d**3 + 12*d**2 + 1. Let w be g(-12). Let t be (96/(-20))/(39/30 - w). Is 290/8 - 12/t a prime number?
True
Suppose -21*x = -17*x + 5*z + 85, -5 = 2*x - 5*z. Is x/3*(-4)/(-10) - -4555 prime?
False
Suppose -220531 = -18*o + 939155. Is o prime?
False
Suppose -4*x + 924435 = x - 3*t, 184889 = x - t. Suppose 4*c + 2*q = x, 50*c - 47*c + 3*q - 138669 = 0. Is c a composite number?
False
Let z = 35 - 19. Let f = 23 + z. Let b = f - 1. Is b prime?
False
Let o(w) = -1. Let y(r) = -4077*r - 8. Let v(a) = 5*o(a) - y(a). Let j be v(1). Suppose 5*n - j = -595. Is n a prime number?
False
Let v(p) = 22*p**2 - 9*p + 20. Let y be v(6). Suppose -3*x = 3*o - o - y, 5*x = 5*o - 1895. Is o prime?
True
Suppose 5*q - s - 1055 = 0, 2*s = -3*q + 205 + 441. Suppose -2*p = 8, -4*a + 0*p = -p - 200. Let d = q - a. Is d prime?
True
Suppose 2 + 4 = 3*t. Suppose -3*b + 10 = t*b. Suppose -3*y + 0*y = b*q - 973, 5*y + 454 = q. Is q a prime number?
True
Suppose 2*w - 6*w + 5*v = 43, -2*v = -3*w - 27. Is (w - (-59899)/14) + (-2)/4 prime?
True
Suppose 39*h + 5999 = -6364. Let g = 224 - h. Is g composite?
False
Suppose -4*f + 3 = 7. Let k(d) = 3 + 5*d - 2*d**2 + 3*d**2 - 646*d**3 + 0 - 1168*d**3 + 372*d**3. Is k(f) prime?
False
Suppose -1 = 2*c - 25. Suppose -2*p - x - 2 = -3*x, 3*x = c. Suppose -u + 113 = -5*n, 2*u - 225 - 53 = -p*n. Is u prime?
False
Let d(l) = 3*l**3 - 4*l**2 - 2*l + 26041. Is d(0) a composite number?
False
Let i be -2 - -1 - (9 + -16). Is ((-203366)/(-23))/(i/3) a prime number?
True
Let z = 1744 + 1683. Suppose 3*q = -4*c + z, 3*c + 5*q - 1703 = c. Is c a prime number?
True
Suppose -2*g - 1095567 = 5*g - 2635112. Is g composite?
True
Suppose -w = -5*w + 4. Let h be 4*w - (6 + 0 + -4). Suppose 0 = -v - h*u + 1431, u = -4*v - u + 5748. Is v composite?
False
Let n(i) = -i. Let a(t) = -289*t + 33. Let c(y) = -a(y) - n(y). Is c(5) a composite number?
True
Is 71325837/2538 + (5/6 - 1) a composite number?
True
Let u = 66 - 65. Let t(c) = 6706*c**3 + c**2 + 2*c - 2. Let i be t(u). Suppose 5*x + 8943 = 4*k, -3*k + 4*x + i = -0*k. Is k a composite number?
False
Suppose 0 = -4*x, -15*k - x = -12*k + 8490. Let c be 5/((-20)/(-21928)) + 1. Let o = k + c. Is o a composite number?
True
Suppose -3*u + 20 = g - 2*g, -u = -3*g - 36. Let n(o) be the second derivative of o**4/12 - 7*o**3/6 - 11*o**2/2 + o. Is n(g) a composite number?
True
Suppose 5*g = -514*y + 518*y + 565313, 5*g + y = 565328. Is g prime?
False
Let v = -47 - -50. Suppose 4*k + 4*r - 5896 = 0, 0 = 3*k - v*r + 2*r - 4410. Suppose -f + 2*a = -k, 0*a + 3*a = 9. Is f a composite number?
True
Let r = -4756 - -10395. Suppose -6*x + r = -2527. Is x prime?
True
Let n = 992 + -72. Let y = n - -149. Is y composite?
False
Suppose -528 = 5*g - 7688. Suppose 2*h - g - 2170 = 0. Is h a composite number?
False
Let f(d) = -2*d**2 - 11*d - 2. Let z be f(-5). Suppose 7*o = 3*o - 2*u - 1212, -2*o - z*u = 610. Let w = o + 675. Is w prime?
True
Let s(v) = 8*v**3 - 73*v**2 - 18*v + 46. Is s(29) a composite number?
True
Let k(v) = 577*v**3 + 4*v**2 - 5*v + 5. Let d be k(2). Suppose 2*y = 2187 + d. Let n = y - 1768. Is n a composite number?
True
Suppose 17 = -4*g - 139. Let z = 41 + g. Is (-3104)/(-24)*3/z prime?
False
Suppose -3*f = -3*k - 2573418, -3*f = 55*k - 60*k - 2573436. Is f a prime number?
False
Suppose 2*t - 7 = t - s, 5*s = 10. Suppose k - 5 = 5*j, k + j + 2*j = t. Suppose -2*y = 4*o - 27 - 501, -654 = -k*o - 4*y. Is o a composite number?
True
Let w(l) = -423*l - 41. Let m be 0 - (-212)/(-8) - (-5)/2. Is w(m) a composite number?
False
Suppose 699 + 462 = 3*n. Let j = 5734 - 5480. Let t = n + j. Is t composite?
False
Suppose 7*g - 355 = 5*t + 2*g, 0 = -4*t - 5*g - 329. Is (-38)/t - (-2 - 10306/4) prime?
True
Let q = -17429 - -40650. Is q composite?
True
Suppose 0 = -3*b - o + 16 + 14, 4*b - 4*o = 56. Let p(y) = 45*y**2 + 47*y + 3. Is p(b) composite?
True
Let u be (231/(-28))/(-11)*(1 - -11). Suppose -u*o = -11744 - 11737. Is o composite?
False
Suppose 216 = 24*u - 28*u. Let o = u - -27. Is o/(-9) + (15 - -1) prime?
True
Let b(o) = -134*o**2 + 36 - 16*o + 1 + 209*o**2 + 266*o**2. Is b(4) prime?
False
Let b = 52122 - 22753. Is b composite?
True
Let h be (0 - -2) + -7 + 1076. Let c = h - 332. Is c a prime number?
True
Let n be (-2)/(21/(-6) - -3). Suppose 2*s - 4165 = n*k + 543, -3*s + 7047 = -3*k. Let j = s - 1671. Is j composite?
False
Suppose -2*m = -7*m - 2*t + 120924, 2*t = -4*m + 96738. Let z = m - 17125. Is z a composite number?
True
Suppose 37*x = 35*x + 10. Let a(f) = -4*f + 6*f**2 + 10 + 7*f**3 + 6*f + 6*f**3. Is a(x) a composite number?
True
Let g be -1*(-1)/(-1)*-3126. Let v = 1415 - g. Let i = v + 2760. Is i prime?
True
Let n be (-24)/(-36)*-3*(-2)/4. Is 1901*n*(5 - 4) a composite number?
False
Suppose 20*z - 6474875 = 15*z - 4*o, -z + 1294959 = 4*o. Is z a prime number?
False
Suppose -u + 6*u + 3*g = -70, -5*u + 2*g = 95. Is (-160514)/u*(26/4 + -1) a prime number?
False
Let b(q) = 5*q + 7. Let z = -75 + 73. Let j be b(z). Is 9/j - 11/((-33)/666) prime?
False
Let g be 0*(5 - 33/6). Suppose g = 16*w + 21 - 21109. Is w prime?
False
Suppose -15 = -7*y - 1. Let n(k) = 49*k + 15*k**y + 3*k**3 + 2 - 63*k - 2*k**3. Is n(-14) a prime number?
False
Let f(z) = -3*z**2 - 15*z + 15. Let h be f(-7). Let p = h + 27. Suppose -4*v + 779 + 561 = p. Is v a composite number?
True
Let d(b) = -8*b**3 + 11*b**2 - 56*b + 143. Is d(-22) a prime number?
False
Is (-60)/(-45)*-6 - -131515 prime?
True
Suppose 19*v = 16*v - u + 105819, 0 = -4*v + 2*u + 141092. Is v a prime number?
False
Suppose -6*t - 68922 + 1747418 = 10*t. Is t a composite number?
True
Let p(k) be the secon