h**2/2 - h + 5. Is b(-3) prime?
True
Suppose 11*n - 258881 + 31324 = 0. Is n a prime number?
False
Is -7*(-3)/(-252) + (-927661)/(-12) a composite number?
True
Let w(s) = 2*s**3 + 13*s**2 - 8*s + 6. Let b(n) = -5*n**3 - 40*n**2 + 23*n - 19. Let d(q) = -3*b(q) - 8*w(q). Is d(8) prime?
False
Let g(h) = -75*h**3 - 2*h**2 - 7*h - 15. Is g(-4) composite?
True
Suppose 5*d - 2*d - 4393 = 5*b, 3*d = 4*b + 4397. Is d a prime number?
True
Suppose 4*b + 2877 = -11475. Let w = -2107 - b. Is w composite?
False
Is (15 + -1)*1341/18 a composite number?
True
Suppose -3*d + 6*d - 5*k = -39, 2*d = 5*k - 31. Let i be (18/d)/((-4)/960). Let p = -379 + i. Is p composite?
True
Suppose 40*l = 36*l - 8, 0 = -2*b - 4*l + 62134. Is b a composite number?
True
Let l be 7 - -2*(0 - 2). Suppose l*v + 2*v - 3*b - 5665 = 0, -4*b - 4532 = -4*v. Is v a prime number?
False
Suppose -2*g - 2*g + 2256 = 0. Let b = g + 770. Is (-6)/15 - b/(-10) prime?
False
Let m be (-80)/(-28) - (-5)/35. Suppose -z - m*z + 276 = 0. Is z a composite number?
True
Let j(x) = 2*x - 4. Let g be j(4). Suppose 208 = q - y, -y = q + 2*y - 200. Suppose g*b - 6*b = -q. Is b a prime number?
True
Suppose -u = 68*u - 1221921. Is u composite?
True
Let z = -2338 + 3396. Suppose z = 5*c + p, -5*c + 4*p - 87 = -1130. Is c prime?
True
Suppose 967581 = 109*h - 105088. Is h a composite number?
True
Suppose 0*a - a + 5 = 0. Suppose 3*t + a*t = 16. Suppose 3*c - 7*g - 1453 = -t*g, -c = 2*g - 477. Is c a prime number?
False
Is 7/(-70) - (-582462)/20 a prime number?
True
Suppose -206 + 65 = 3*n. Let h = 82 - n. Is h composite?
True
Suppose 171 = 2*a + r, 0 = -a + 3*r + r + 81. Suppose 2*f = 385 + a. Is f composite?
True
Suppose 0 = -10*f + 638 + 57492. Is f a composite number?
False
Let w be ((-398)/(-4))/((-2)/(-12)). Let f(z) = 27*z**2 + 4*z + 9. Let l be f(-4). Suppose -l - w = -2*t. Is t a prime number?
False
Let l(c) = -c**3 + 5*c**2 - c + 3. Let u be l(4). Suppose -5 - u = -5*n. Suppose -n*j + 239 = 27. Is j a prime number?
True
Is ((-9172)/(-20))/((-3)/(-15)) prime?
True
Suppose 0 = -20*k - 8*k + 538916. Is k a composite number?
True
Suppose 9*w - 6*w - 4*f = 18767, 0 = -4*w - 2*f + 25030. Is w a prime number?
True
Suppose 5*h = 25, -2*h + 2966 = 4*r - 0*r. Is r prime?
True
Let v(y) be the third derivative of y**8/20160 - y**7/840 - y**6/360 + y**5/15 - 2*y**2. Let d(x) be the third derivative of v(x). Is d(-9) a composite number?
True
Let o(g) = -g**3 - g**2 + 2*g - 12. Let p be o(0). Is ((-6)/p)/(3/3894) a composite number?
True
Is (10564/(-12))/((-20)/6 + 3) a composite number?
True
Let j(v) = -v**3 + 5*v**2 + 4. Let z be j(5). Let m be (11/z)/(4/96). Suppose 4*u - m = -2*i, -4*u - 7 - 144 = -5*i. Is i composite?
False
Let h(d) = 101*d**2 + d. Let y be h(-2). Let w be (-6)/(-3)*1 - (-1 + -2). Suppose -y = -5*b - 2*v, 390 = 5*b - 0*v + w*v. Is b prime?
False
Let m(w) = -w**2 + w + 333. Let l be m(0). Let o = -136 - l. Let a = 684 + o. Is a prime?
False
Let n = -5 - -10. Suppose 2*a + n = 7*a. Is -4 + 83 - 0/a composite?
False
Let b = -30 - -32. Suppose -b*y - 3*f = -3200 - 906, 5*y - f - 10265 = 0. Is y composite?
False
Let p = -24 - -17. Let q(f) = 2 + 4*f**2 - 6*f - 1 + 14*f - 8. Is q(p) a composite number?
True
Let h = -57 + 296. Is h prime?
True
Suppose 0 + 20 = 4*q. Suppose q*o - o = -4. Is o/(-1*1/26) composite?
True
Let j = -76 + 1622. Is j a composite number?
True
Suppose 12*h - 7*h = 5410. Suppose 6*p = 4*p + h. Is p prime?
True
Let f be 0 - (0/1 + -2). Suppose -f*o + 19 = 3. Is ((-8048)/o)/((-4)/2) a composite number?
False
Let w be (-2)/(-6)*24/2. Suppose w = 2*b - 0. Suppose 3*c - 77 = -b*r, r + c - 14 = 22. Is r a prime number?
True
Let w = -8240 - -21657. Is w prime?
True
Suppose 10 = -5*p - 5, 5*p - 7851 = -2*y. Suppose -2*u - y = -j, -15735 = -0*j - 4*j + 5*u. Is j prime?
False
Let k(q) = -1553*q + 614. Is k(-3) a composite number?
False
Let v be (-4375)/49 - 4/(-14). Let u = v + 137. Suppose -r = -2*k + 27, -2*r - u = -3*k - 3*r. Is k composite?
True
Let a = -8 - -15. Suppose -a = v + 4*h, h - 9 = 4*h. Suppose 4*w = 2*b - 450, 111 = v*b - 5*w - 1039. Is b a prime number?
False
Let a = 14 + -7. Suppose a*q - 4244 = 3*q. Is q composite?
False
Let w be (-12760)/(-16) - 1/2. Suppose -t = -4*q + 1589, 3*q = q + 3*t + w. Is q a composite number?
False
Suppose 28 = -2*n + 6*n. Suppose y + n = 96. Is y composite?
False
Suppose 5*s + 2*v - 249 = 0, -3*v + 201 = 4*s - 2*v. Let x be 26/39*s/(-2). Let k = x - -76. Is k a composite number?
False
Let v = -386 - -1878. Suppose -6*h = -10*h + v. Is h prime?
True
Suppose 25*a + 3778 = 28853. Is a prime?
False
Is (-5 - 583)/(-3) - (6 + -1) a composite number?
False
Let d(u) = u**3 - 6*u**2 - 6*u - 11. Let s be d(7). Is (s/4)/(2/(-778)) a composite number?
False
Suppose -3*o + 2141 = -4*r, 4*o + 2*r = 8*o - 2868. Is o composite?
False
Let s(o) = 34*o - 111*o + 4*o - 81*o + 6. Is s(-2) composite?
True
Let a = 0 + 3. Suppose -x = 10 + a. Is (-27)/(-36) - x/4 composite?
True
Suppose r - 3174 = -4*w, -2*w + 6378 = 2*r - 0*w. Is r composite?
True
Is (647836/24)/(-17)*(-12)/2 a prime number?
False
Let s be (-297)/(-13) - (-4)/26. Let y = 38 - s. Is 6/y + 1065/25 prime?
True
Suppose 22*a - 12*a - 110270 = 0. Is a a prime number?
True
Let v be ((-24)/(-32) - (-17)/(-12))*-816. Let i be 1 + (3 - -5)/2. Suppose -271 = -i*w + v. Is w composite?
False
Is ((-1)/(10/(-33676)))/((-6)/(-15)) a prime number?
True
Let h(o) = 7404*o**2 + 16*o - 17. Is h(1) prime?
False
Suppose -4*u + m = -0*m - 1268, -4*u - m + 1276 = 0. Suppose 2*f + f = u. Is f composite?
True
Let y be (-5 + 2)*(-5656)/12. Is ((-1)/(4/y))/(4/(-8)) a composite number?
True
Suppose 6*b + b = -189. Is (-76107)/b + 12/54 composite?
False
Let j be 104/8 + (2 - 4). Suppose 2*i - 123 - j = 0. Is i prime?
True
Let j be 14901/((-8)/4 + 3). Is (-10)/75 + j/45 a prime number?
True
Suppose -a + 9887 - 1534 = 0. Is a prime?
True
Let v = -4259 - -39474. Is v a prime number?
False
Suppose 2*r - q = 2798, 2*q = -3*q. Is r a composite number?
False
Let a be 22/99 + (-436)/18. Let l be (-6)/(-39) - a/13. Suppose -4*z = -4*m - 1237 - 191, -726 = -l*z + 5*m. Is z a composite number?
False
Let b(i) = 16*i**2 + 10*i + 2. Let g be b(-11). Suppose -9*j + 13*j = g. Is j prime?
True
Let j = -1219 - -1968. Is j composite?
True
Suppose -2*i + 2554 = -q + 5*q, 5*i - 2*q = 6361. Is i composite?
True
Let m = 28 - 24. Suppose m*x = 9*x - 5205. Is x a prime number?
False
Let s(i) = 53*i + 24. Let c be s(-24). Let g = c - -2335. Is g a composite number?
False
Let d = -66449 + 94138. Is d composite?
False
Let w(c) = -5*c**3 - 17*c**2 - 8*c - 17. Is w(-6) prime?
True
Let m = -672 + 432. Let t = m - -391. Suppose -5*y + t = 3*f + 18, 142 = 3*f - 4*y. Is f prime?
False
Suppose -4*d = -0 - 12. Suppose d*j - 2*i = 23, i + 15 = 2*j - 0*i. Suppose 0 = -j*m + 3*m + 356. Is m a prime number?
True
Let f(t) = 6674*t + 49. Is f(2) prime?
True
Let b = 85736 + -59067. Is b composite?
False
Suppose -2*j - 13855 = -7*j. Is j a prime number?
False
Suppose -44*l - 41*l = -1350905. Is l a composite number?
True
Suppose 4*c - 4*v - 4907 = 701, 25 = -5*v. Is c composite?
True
Suppose -8*y - 31378 + 195866 = 0. Is y a prime number?
False
Let n = -31 - 510. Let p = n - -1182. Suppose 4*x - 2*c - 650 = 0, 4*x - c - p = -2*c. Is x a prime number?
False
Suppose 0 = 5*p + p - 20934. Is p prime?
False
Suppose -5*b = -v + 88042, -2*b - 100907 = -v - 12868. Is v composite?
False
Suppose 2*j + 143 = -1029. Let i = j - -1257. Is i prime?
False
Let n = 2919 - 1408. Suppose 5*o - n - 1804 = 0. Suppose 2*q = 5*q - o. Is q a composite number?
True
Suppose -5*k + 18 + 14 = 3*i, -3*k + 4*i - 4 = 0. Suppose -k*s + x + 794 = -1167, 2*s - 968 = -2*x. Is s a prime number?
False
Let a = 119 - -187. Suppose -k = -4*k + a. Suppose 5*h - 2*c - k = 0, 5*c + 76 = 5*h - 14. Is h a composite number?
True
Let b = -19 - -16. Is 774 + (b/6)/((-1)/(-6)) composite?
True
Let b(v) = 2*v - 1. Let l be b(3). Suppose 265 = -10*a + l*a. Is (-2)/((-51)/a - 1) a composite number?
False
Suppose 0 = -l + 3*s - 1, -3*s + 3 + 1 = -4*l. Is l/2*(0 + -406) prime?
False
Suppose -4*r - 2554 + 7622 = -4*u, 3*r = 5*u + 3809. Suppose 15*v - r = 14*v. Is v composite?
True
Let c = 1695 - -266. Is c a prime number?
Fals