 - 77. Is o a prime number?
True
Suppose -5 = -2*i - 39. Let w = i - -15. Is w*((-9)/(-2))/(-3) prime?
True
Let z(f) = -10*f + 16*f + f**2 + 12 - 14*f. Is z(13) a prime number?
False
Let w(u) = u**3 + 6*u**2 - 2*u - 1. Let y be w(-6). Let v be y/66 + (-17)/(-6). Suppose k + 2*i - 267 = 0, -3*k + 530 = -k + v*i. Is k composite?
True
Suppose -5*l - 2*x = 21, -5*x = 5*l - 6 + 21. Is (1/(-3))/(-1*l/(-2535)) composite?
True
Let r be 492 - (12/(-3))/(-4)*3. Is (-1)/(5/(-20)*6/r) a composite number?
True
Suppose 75571 = 22*z - 216127. Is z a prime number?
True
Let b = -1779 - -3580. Is b prime?
True
Let i be (-3)/2 - 17/(-2). Suppose 5*b = i + 3. Suppose -21 = -4*m + t + 242, b*m + t = 127. Is m a composite number?
True
Suppose 4*f - f + 3*v - 9981 = 0, 0 = -2*f + 2*v + 6670. Is f composite?
False
Suppose 2*g - 3*p = 9, 0 = g + 3*p - 4*p - 6. Suppose -g*z + 3*z + 1986 = 0. Is z a prime number?
True
Let n(v) = 143*v**2 - 25*v**2 - 4 + 5. Suppose 3*s - 8 = -5. Is n(s) composite?
True
Suppose j + 1 = 0, -s - 2*s + 26 = -2*j. Let x(u) = 11*u - 14. Is x(s) prime?
False
Suppose -50*k = 18*k - 1330828. Is k prime?
True
Let i be 2 + 5/((-15)/6). Let p(j) = -2*j**3 + j**2 - j - 59. Let z be p(i). Let h = z + 146. Is h a composite number?
True
Suppose -6*g + 37 + 5 = 0. Suppose -4*f + 997 = u - g*f, f - 4 = 0. Is u prime?
True
Let o(y) = 3*y**2 + 3*y + 2. Let p be o(-2). Let v(a) = 34*a**2 - 8*a - 1. Is v(p) a composite number?
False
Suppose 2*k = 3*b - 7303, 2*b - 7309 = -b - 4*k. Is b prime?
False
Suppose -4257 = -u + 284. Is u composite?
True
Let o = 961 - 572. Is o a composite number?
False
Let p(o) = -o**3 - 8*o**2 + 1. Let c be p(-6). Let k = 16 - c. Is k composite?
True
Let s(o) = -217*o + 27. Suppose -5*p = 15, -4*p - 19 = 5*t + 13. Is s(t) a composite number?
True
Let q(h) = 2174*h**2 - 8*h - 35. Is q(-4) prime?
True
Let q be -5 + -5 + 1 - -40. Suppose -5*a + 41 = -4*f + 285, 5*f - 4*a - 305 = 0. Suppose -5*j + 5*k + q = -294, 0 = j - 2*k - f. Is j composite?
True
Let o(t) = -t**3 - 9*t**2 + t + 6. Let a be o(-9). Is 15*97*(-1)/a a prime number?
False
Let d(r) be the second derivative of r**5/20 + 2*r**4/3 - 5*r**3/6 - 5*r**2/2 - 11*r. Let h be (-37)/5 + (-2)/(-5). Is d(h) a composite number?
False
Let z be (-2)/(-7) + 162/21. Is (z/12)/(12/6354) a prime number?
True
Suppose 4*m = -f + 96532, 5*m + 46*f - 120665 = 50*f. Is m prime?
True
Let d(k) = -1268*k + 21. Let u be d(-7). Let w = -5734 + u. Is w composite?
False
Let g = -82 + 118. Let u be 10/(-4)*g/30. Is (-262)/(-8) - u/12 a prime number?
False
Suppose 2*y - 3 = l, -4*y + 0*l + 12 = 4*l. Suppose 0 = -y*q + 6*q. Suppose 4*g - 681 = -5*a, 520 = 4*a - 3*g - q*g. Is a a prime number?
False
Let c(x) = -x**3 + 17*x**2 + 6. Let s be c(17). Suppose 2*a = z + a + 4, 2*z = a - s. Is (-1)/(z*1/1130) composite?
True
Suppose 0 = 5*o - o. Suppose 4*c - 2*g - 820 = o, c - g - 205 = -2*g. Suppose 0 = -r + 88 + c. Is r composite?
False
Suppose -3*x - 20 = -5*v, -x - 4 = -3*v + 2*v. Suppose 5*b + 2*t - 184 = 567, x = t - 3. Is b a composite number?
False
Let o(q) = 2*q**3 - 25*q**2 - 11*q - 23. Let a be o(13). Suppose 880 = -a*k + 5134. Is k a composite number?
True
Let j be (-10 + -1)*(114 - 0). Let o = j - -2451. Suppose o - 294 = 3*r. Is r a composite number?
True
Let j = 72764 - 48478. Is j a composite number?
True
Suppose -s + 4*s - 3*n = 57, 0 = -s - 3*n + 39. Suppose -3*j + s = -j. Is ((-248)/j)/(6/(-9)) composite?
False
Suppose 0 = -5*j + 4 + 6. Is 0 - (4 + -685 + j) composite?
True
Let u = -122 + 104. Let j(v) = v**2 - 7. Is j(u) a prime number?
True
Let q(u) = 2*u**3 - 27*u**2 + 12*u + 45. Is q(14) a composite number?
False
Let m(u) = -u**3 - 6*u**2 - 7*u - 5. Let d be m(-5). Suppose 2*y = r + 352, -d*r = -5*y + 548 + 327. Is y a prime number?
False
Suppose 3*a = -2*a. Suppose 3*o + o - 976 = a. Suppose -m - 630 = -5*p, p + p - 2*m - o = 0. Is p composite?
False
Is (-54)/(-6) - (-9 - 2305) a composite number?
True
Let g = 206 - -893. Is g a prime number?
False
Let z(d) be the second derivative of -5*d**5/24 + d**4/24 + 4*d**3/3 + d. Let a(y) be the second derivative of z(y). Is a(-2) composite?
True
Let m(y) = -20*y**3 - 4*y**3 - y**2 - 30*y**3 - y - 1. Let c = 4 + -5. Is m(c) prime?
True
Suppose 270*v = 271*v - 16171. Is v composite?
True
Let q = -31 + 37. Suppose -11*g + 645 = -q*g. Is g a prime number?
False
Let i = -520 - 1658. Let a = -1381 - i. Is a composite?
False
Suppose 0*u = 5*u - 15. Suppose -u*d - 249 = 2*k - 1582, 0 = -3*d - k + 1331. Is d prime?
True
Let a(x) = 4*x**2 + 28*x - 31. Is a(-15) prime?
True
Is (-44)/330 - 165034/(-30) composite?
False
Is (14566/8)/((-4)/(-16)) prime?
True
Let p(m) = -25*m**3 - m**2 - 2*m - 1. Is p(-5) a composite number?
False
Let t(k) = -2*k - 14. Let x be t(-13). Suppose -6*c = -6 - x. Suppose -y = -2*q + 1085, -3*y = -c*q + 1543 + 89. Is q a composite number?
False
Let c(b) = -b**2 - 14*b + 43. Let u be c(7). Is (-1*1 - u)*(11 + -4) a composite number?
True
Suppose 0 = z - 1904 - 3002. Let d be 12/8 - z/(-4). Suppose -2*g - 2*g = -d. Is g prime?
True
Is (29476/(-8))/(3*1/(-6)) a composite number?
False
Suppose 4*o + 9127 = 3*q, -7*o + 2*o = 2*q - 6077. Is q a composite number?
False
Is (-33195)/(-2)*(-16)/(-24) prime?
False
Let t(a) = 53*a**2 - 11*a + 2. Let x be t(-8). Let c = x - 2331. Is c composite?
False
Let q(y) = -y**3 + 7*y**2 - 7*y - 8. Let f be q(6). Let s = -11 - f. Is (-2)/((-422)/(-142) - s) prime?
True
Let f = -447 - -1221. Suppose -v = -a - 384, 3*v - 4*a = v + f. Is v a prime number?
False
Let u be -923 + -3*4/6. Let x = 1295 + u. Suppose -3*a = -a - x. Is a a composite number?
True
Let k = 4340 - 1303. Is k a prime number?
True
Let g(o) be the second derivative of 3*o + o**2 - 4/3*o**3 + 0. Is g(-7) a prime number?
False
Let n be (2/5)/(3/30). Suppose f - n*v = 3*f - 1054, -4*v + 2641 = 5*f. Is f a prime number?
False
Let z be -1 + 5 - 0 - 166. Let g = z - -347. Is g a composite number?
True
Suppose -2*c + 0*c = -14822. Is c a composite number?
False
Let f(m) = -7*m**3 - 39*m**2 - 5*m + 1. Is f(-12) a composite number?
True
Let i = -195 + 516. Let r = i - 176. Is r composite?
True
Let g(x) = -x**2 + 7*x - 10. Let b be g(7). Let n = b + 12. Let z(o) = 16*o**3 - o**2 + 3*o - 3. Is z(n) composite?
False
Let p(u) = -5*u + 10. Let g be p(-8). Suppose 3*a + 30 = -3*b, 5*a + g = 3*b + 2*b. Is 10439/65 - 4/a a composite number?
True
Suppose -4*x + 1573 = -2775. Is x a prime number?
True
Suppose -2*w + w = q + 1027, -4*q - w - 4093 = 0. Let f = 1691 + q. Is f composite?
True
Let b(r) be the first derivative of -r**4/4 - r**3/3 - 8*r**2 + 13*r - 18. Is b(-8) composite?
True
Let w(k) be the third derivative of 23*k**5/60 - 7*k**4/12 - 19*k**3/6 + 5*k**2. Is w(-6) prime?
False
Let r(z) be the second derivative of -619*z**3/6 + 2*z**2 + 17*z. Is r(-1) prime?
False
Is (-89025)/(-36) + 4/48 a composite number?
False
Let o = 5 - -1. Suppose -o*v = v - 19439. Is v composite?
False
Suppose 2*i - 4*g - 4458 = 0, -3*g - 11173 = -2*i - 3*i. Is i prime?
True
Let y be (2/(-4))/((-1)/(36/(-3))). Is 3 + -4*(6369/y + 3) prime?
False
Let v = -56 - -64. Is 2/4 - (16660/v)/(-7) prime?
False
Let c(d) = -d**2 - 12*d - 9. Let v be c(-12). Let n be (15/v)/((-3)/(-45)). Is 8/12 + n/(-3) prime?
False
Let j = 190 - -2233. Is j prime?
True
Suppose 4*v + 3*x = 8*v - 21972, 5*v - 27492 = -3*x. Suppose 0 = 6*w - v + 1914. Is w a composite number?
True
Let u(k) = -k**3 + 6*k**2 - 5*k + 4. Let n be 1 + (-3 + 1)*-2. Let b be u(n). Is (210 - (-16)/b) + 3 prime?
False
Is (1233/15)/(51/1105) composite?
True
Let u be (222/(-18))/((-1)/27). Let l = u - 214. Is l a prime number?
False
Suppose -3*y = -6*b + 3*b + 1329, 438 = b + 4*y. Suppose -3*i - 4*g + 433 + 180 = 0, -2*i + b = -4*g. Is i a composite number?
False
Let d = 6 - -1. Let p(z) = z - 8. Let y be p(d). Is y/(-3) - 996/(-9) a prime number?
False
Suppose 0 = 4*f - 5*o + 81, 4*f + 6*o = o - 111. Is (-4)/f - (40587/(-18) + -2) a prime number?
False
Let g = -16705 + 26366. Is g a composite number?
False
Let m(q) = 4*q - 4 - 30*q - 5*q**2 + 3*q**3 + 16*q - 1. Is m(6) prime?
False
Suppose -2*v + 16 = 2*v. Suppose 12 = -v*q - 16. Let x = q - -21. Is x a composite number?
True
Suppose 3*m = -2*a + 5*m - 24, 4*a + m = -38. Let w be