 t*q = 77. Is q a composite number?
True
Suppose o - 78383 = -2*b, -4*o = 40*b - 41*b + 39187. Is b a prime number?
True
Let z(r) be the second derivative of -2*r + 0 - 19/2*r**2 - 7/3*r**3. Is z(-15) a prime number?
True
Let h be 174/8*(25 + -1). Suppose -2*a = -3*n - 251, -2*a = -3*n + 4*n - 255. Let d = h - a. Is d a prime number?
False
Is 285563/86*(3 - 1) prime?
False
Suppose 0*r + 3*q = 4*r - 33, 41 = 3*r + q. Let v = r + -10. Suppose v*i + 1525 = 7*i. Is i prime?
False
Let g(p) = -6*p + 4. Let j be g(2). Let n(q) be the third derivative of -5*q**4/8 - 5*q**3/6 + 2*q**2. Is n(j) composite?
True
Is (-184)/(-48) + -4 + (-8167)/(-6) a composite number?
False
Let p be 2274*(4 + 7/(-2)). Let h = -1 - -5. Suppose h*v = -389 + p. Is v composite?
True
Let u = -2053 - -1429. Let m = u - -931. Is m a prime number?
True
Suppose 0 = -4*u - 2 - 6, 3*d - 113 = u. Is d prime?
True
Let k(m) = -48*m**3 + 2*m**2 - 25*m - 7. Is k(-6) a composite number?
True
Let v = 6 - 9. Is (2 - v*(-4)/12)*1135 composite?
True
Suppose 4*r + 3 = 11. Suppose 5*m + 1519 = -4*b, 3*m = -r*b - m - 758. Let o = -194 - b. Is o a prime number?
False
Suppose -18 = -2*d - 4*d. Suppose -83 = -d*q + 118. Is q composite?
False
Let i(f) = -7*f**2 - 8*f - 2. Let g be i(-4). Let b = 129 - g. Is b composite?
False
Let q = 11 + -8. Let w be (-176)/(-6)*q/(-2). Let c = 79 + w. Is c prime?
False
Let s be 0*(-3)/6 + 24/6. Suppose 3080 = s*a - 4*o, 3840 = 5*a + 3*o + 2*o. Is a a composite number?
False
Suppose 0 = 67*z - 4096858 - 106923. Is z prime?
True
Let m(j) = 2*j - 12. Let u be m(6). Suppose u = 3*w + 213 - 1530. Is w composite?
False
Suppose 949*p - 948*p = 14473. Is p a composite number?
True
Let w = 252564 + -167503. Is w a prime number?
True
Let z be (-21)/6*(-6)/7. Suppose 4*h + 7 + 5 = z*u, -15 = -2*u + 5*h. Suppose j + 2*o - 557 = u, 5*j - 2785 = 4*o + o. Is j prime?
True
Suppose -2*q - 9002 = 4*p - 3*p, 0 = -2*p - 5*q - 18009. Is p/(-7) + 15/(-175)*-5 prime?
False
Let o(y) = -y**3 - 4*y**2 + 4. Let x be o(-4). Suppose 2*p = -4*k - x, -5*k + 5 = 5*p - 0*p. Suppose p*h = -h - 5*j + 2700, 5 = -5*j. Is h composite?
False
Suppose 2*o + 840 - 72 = -4*v, 0 = -3*o - 3*v - 1137. Is o*(20/(-4))/10 a composite number?
True
Suppose 0 = 21*d - 1395 - 9042. Is d composite?
True
Let p(u) = 80*u - 11. Suppose -2*n - 10 = -f - 3*f, f = -3*n + 6. Let b = 3 + f. Is p(b) a prime number?
False
Let l be (-66)/(-9)*3/1. Let k = -17 + l. Is (-6)/15 - (-2817)/k composite?
False
Let n = -15 + 23. Suppose 0 = -4*r + n*r - 1748. Suppose 0 = -3*f - 5*o + r, 0 = -2*f - 5*o + 130 + 158. Is f a prime number?
True
Suppose -12*k + 13*k = -3. Is 1/(k - (-232)/76) a prime number?
True
Suppose 3*x + 64035 = 3*m, 5*m + 3*x - x = 106711. Is m a prime number?
False
Is (-2453)/(-5) - (-6 + (-84)/(-15)) a prime number?
True
Let d(u) be the third derivative of -91*u**6/120 + u**5/15 + u**4/6 + u**3/2 - 15*u**2. Is d(-2) a composite number?
False
Let m(p) = -10*p**3 - p**2 + 13*p + 3. Is m(-5) a prime number?
True
Suppose 7*n - 42 + 7 = 0. Suppose u - 5*d = 1914, -n*u + u + 5*d + 7731 = 0. Is u composite?
True
Let i(v) = -v - 56. Suppose 1 - 5 = -5*m - j, -2*m = -j + 4. Let z be i(m). Let c = z + 78. Is c a composite number?
True
Let s be (-2)/((-2)/(-3)) - -1. Let k be (4/s)/(6/(-12)). Is -12*1/k*-7 a composite number?
True
Let j be 1806 + ((-26)/(-10) - (-8)/20). Suppose -4387 + j = -4*i + 5*c, c - 2590 = -4*i. Is i prime?
True
Let v(i) = 1400*i**3 - i - 16. Is v(3) prime?
True
Let o = 1570 + -1013. Let n = 1240 - o. Is n composite?
False
Suppose -4*s + 3*a = 869, -a - 1095 = 5*s - 3*a. Let x = 880 + s. Is x a prime number?
True
Let j(l) = 13*l**3 - l**2 + 13*l + 1. Let u(s) = -3*s**3 - 3*s. Let r(o) = -2*j(o) - 9*u(o). Let q be r(-2). Is -4 + 166*(-10)/q a prime number?
False
Let i be (-3 - 3)*61/2. Let o = 164 - i. Is o a composite number?
False
Let y(p) = -4*p**2 + 7*p + 18. Let d(z) = -9*z**2 + 13*z + 37. Let x(o) = 3*d(o) - 7*y(o). Let q be x(11). Is (127/(-2))/(2/q) a composite number?
False
Let l be (-1 + 1)/(18/9). Let b = l - 15. Let k = b - -30. Is k a prime number?
False
Suppose 0*s + s + 8 = z, 0 = -2*z - 2*s + 8. Is (-3250)/(-6) - (96/(-18) + z) a prime number?
True
Let m(t) = 3*t + 7. Let v be m(-1). Suppose -189 = -d - 5*w, -v*d + 987 = d + 4*w. Is d a prime number?
True
Suppose -4*v + 5 = -3*x, v + x - 15 = -x. Suppose 25772 = v*h + 10027. Is h a composite number?
True
Is (27144 - -82)*(-2)/8*-2 a composite number?
False
Suppose -15*r = 2*h - 11*r - 1226, 0 = -3*h + 2*r + 1879. Is h composite?
True
Suppose -2*q + 14 = 3*z, 3*z - q = 12 - 1. Suppose 3*i = -d + 123, -2*i + 541 = z*d + 69. Suppose 0 = -5*x + d + 278. Is x prime?
True
Let a be -2 - (-9*83 - -3). Let f = -159 + a. Is f prime?
False
Suppose -8*s + 17*s - 36 = 0. Suppose 0 = -5*t + g + 393, s*t + g - 3*g - 312 = 0. Is t a prime number?
True
Let b(u) = 695*u + 41. Let h be b(7). Suppose -15*q - h = -17*q. Is q a prime number?
False
Let g(n) = 2154*n**2 + 6*n - 17. Is g(3) a composite number?
False
Let h = -17 + 12. Let n(r) = -2*r**2 - 9*r + 5. Let v be n(h). Is (-4 - -167)/(1 + v) a composite number?
False
Suppose 0*t + 5*t = -5*x - 10, -5*x + 3*t + 22 = 0. Let a be 9 - x - (-3 + 5). Suppose b - 4*b + a*g = -344, 0 = 2*b + 5*g - 221. Is b prime?
True
Suppose a + f = -15, -5*a = 3*f - 9 + 86. Let x = a + 42. Is ((-148)/6)/(x/(-39)) composite?
False
Let l(r) = 2*r + 79. Let o(f) = -f - 39. Let g = 7 + -12. Let s(j) = g*o(j) - 2*l(j). Is s(0) composite?
False
Let s(m) = 265*m + 329. Is s(26) a prime number?
True
Let r(z) = -10*z**2 + 63*z - 9. Let n be r(6). Let f(d) be the second derivative of -d**5/20 + 3*d**4/4 + 2*d**3/3 - 5*d**2/2 + d. Is f(n) a prime number?
True
Let d = 5 + -1. Suppose d*n - 660 = n. Suppose -4*g - n = -8*g. Is g a prime number?
False
Let x = 518 - -35. Is x prime?
False
Let m(t) = -1809*t - 19. Is m(-8) composite?
True
Let t be 14/(-84) + (-1)/(-6). Suppose t = -3*l - l. Suppose 5*p + h - 343 + 6 = l, h - 69 = -p. Is p a prime number?
True
Let x be (-2)/(-2) + 10 + -8. Let t(u) = 163*u + 10. Is t(x) prime?
True
Is 1/4 + ((-111705)/(-12) - -2) a prime number?
True
Let q = 322 + 3727. Is q prime?
True
Suppose 0 = -p - 3*p - 24. Let w(d) = -d - 6. Let y be w(p). Suppose 0*h - 3*h + 2*n + 257 = y, -3*n + 82 = h. Is h composite?
True
Let i(v) = v**2 + 10. Let l be i(0). Suppose -l*r - 555 = -7*r. Let b = 104 - r. Is b composite?
True
Suppose -5*w + 1259 = -296. Is (-1 + -4 - -9) + w*3 composite?
False
Is ((-1)/(-3))/(1/2361) prime?
True
Let w = 58 - 20. Let a = w + -27. Is a prime?
True
Suppose 21*m - 17*m - 3*k - 17308 = 0, 0 = -4*m + 2*k + 17308. Is m a prime number?
True
Let h(u) = 165*u**3 + 3*u**2 + u - 1. Let v be h(-2). Is (42/(-63))/(1313/v - -1) composite?
True
Let k = -39 - -59. Suppose -89 = -i + k. Is i a prime number?
True
Let g be (-5436)/28 + 11/77. Suppose 2 = -j - 1, 4*j + 4187 = 5*r. Let m = r + g. Is m a prime number?
True
Suppose -6*b + 0*b = -20718. Is b a prime number?
False
Suppose 1067 = t + 3*s, 4*t - 2*s + 2242 - 6580 = 0. Suppose t = -2*z + 4*z. Is z prime?
True
Let p(y) = 2*y + 1 - y - 1 + 188*y**2. Let f be p(3). Suppose 0*q + 5*q = f. Is q a composite number?
True
Suppose g - 2552 - 2151 = 0. Is g a composite number?
False
Let q(b) = -18*b + 14. Let f(h) = h**3 - 3*h + 2. Let v be (1 - 7)/(11 + -9). Let k be f(v). Is q(k) a prime number?
False
Suppose 0 = 5*n + 3*d - 63277, 18*d + 37979 = 3*n + 23*d. Is n composite?
False
Suppose -2*o = -0 - 2. Let r be 393 + (-4 + 2)*o. Suppose 4*c = l + 250 + r, -4*l = 2*c - 334. Is c composite?
True
Suppose 4*s = s + q + 22, 3*s - 4*q - 34 = 0. Suppose -8935 = -s*u + 8747. Is u prime?
False
Suppose 5*z + 7*m = 4*m + 75256, 60215 = 4*z - m. Is z a composite number?
False
Let r = 64 - -1604. Let q = 2405 - r. Is q prime?
False
Suppose -3*n + 3*m = -18, -4*n + 3*m + 26 = -2*m. Suppose f - 2*f - 3*r - 11 = 0, -4*r = -2*f + 8. Is (1266/(-12))/(f/n) a composite number?
False
Let u = 12972 - 4529. Is u prime?
True
Suppose -2*k + 533 = 135. Let o be (-990)/(-342) + 4/38. Suppose -o*v + 2*v = -k. Is v prime?
True
Let k(g) = 11*g**2 + 1. Let o be k(1). Suppose d + d = o. Is 158 - d - 3*1 prime?
True
Suppose -3*j = -2*b + 3*b - 19891, 0 = -3*b - 5*j + 59681. Suppose 3