site?
False
Let s = -109 - -64. Let r be 1/((-3)/s*3). Is r/((-2)/(-232)*4) a prime number?
False
Let a(b) = -b**2 - b + 183. Let f be a(0). Suppose -f = 2*h - 629. Is h a composite number?
False
Suppose -47*s + 1776944 = -847395. Is s a prime number?
True
Let d = 323 - 193. Let l = d - -705. Is l a prime number?
False
Let l(s) = -2 - 32*s + 8*s + 8*s + 1. Let j = 9 + -14. Is l(j) prime?
True
Suppose 3*u - 3*q = 90861, 15*u - 14*u = 4*q + 30281. Is u prime?
False
Suppose 5060 = i + 3*u, -9*u + 12*u = -4*i + 20195. Is i a composite number?
True
Suppose -4*d = -2*o + 36616, 2*o + 3787 = -5*d + 40430. Is o prime?
False
Let q(p) = -1030*p - 81. Is q(-7) a prime number?
True
Suppose -2*n = -0*n + 84. Let z = 82 + n. Suppose -371 = -3*k + l, k + z - 157 = -l. Is k a prime number?
False
Let j = 65964 - 13445. Is j composite?
True
Suppose -c = 4*h - 1353, 0 = 2*c + 5*h - 708 - 2004. Is c prime?
True
Let z(l) = l**2 - 10*l + 5. Let u be z(4). Let g be (-1 + u)*(-125)/20. Suppose g = 5*p + k, 5*k = p - 2*p + 1. Is p a composite number?
True
Suppose l - 3 - 1 = 0. Suppose 0*d - d = 2*v - 260, -l*v + 516 = d. Suppose q + v = 5*u - 527, 0 = 4*q. Is u a composite number?
False
Suppose 5*q - 5*g - 1880 = 0, 384 = q + g + 2*g. Let p = 922 + -281. Let f = p - q. Is f a prime number?
True
Let a(y) = -2703*y + 2. Is a(-1) prime?
False
Let h(c) = c**3 - 11*c**2 + 11*c - 12. Let q be h(10). Let m be -10 - -1 - (q + 5). Let a(l) = l**2 - 6*l - 7. Is a(m) a prime number?
False
Suppose 5*x + 27 + 18 = 0. Let y(m) = 6*m**2 + 8*m - 17. Is y(x) prime?
True
Let v(m) be the third derivative of 0 - 4*m**2 + 0*m - 103/24*m**4 - 2*m**3. Is v(-7) composite?
False
Let x be 4/14 + 5/7. Let l(g) = 36*g**2 + 2*g - 3. Let z(d) = 36*d**2 + d - 2. Let y(s) = -3*l(s) + 4*z(s). Is y(x) prime?
False
Let d = 451 - -448. Let v = d - 570. Is v composite?
True
Let w(o) = 12*o**3 - 7*o**2 + 10*o - 9. Let l be w(6). Suppose -3*m = 3*f - l, m + 3203 = 4*f - 0*m. Let z = f + -547. Is z a composite number?
True
Suppose -25 = -10*z + 25. Suppose 4928 = 4*x + 3*w + 1560, 20 = z*w. Is x a prime number?
True
Suppose -4*s = -3*x - 0*s + 3913, -4*s - 6535 = -5*x. Suppose -3*t + x = -312. Is t a prime number?
True
Let j(r) = -r**3 + 5*r**2 - 2*r + 5. Let w be j(5). Let p be 7/w - (-6)/15. Let t = 20 + p. Is t composite?
False
Let x(l) = l**2 - 9*l + 3. Let c be x(9). Is 36/(-24)*(-298)/c a prime number?
True
Suppose 5*o - 12 = 2*o. Let t(c) = 18*c + 110*c - 11 + 63*c. Is t(o) a prime number?
False
Let u(l) = l**2 + 3*l - 6. Let p be u(-5). Suppose -2498 = -5*y + 5*o - p*o, -2483 = -5*y - 4*o. Is y prime?
True
Let s(r) = 8*r + 11. Let x be s(-7). Let a be (10/x)/((-2)/18). Is a/((8/(-148))/(-1)) a composite number?
False
Suppose -4*c + 7*c + 12 = 0. Let z = 7 + c. Suppose -1845 = -5*u + 4*d + 208, 4*u - 1643 = z*d. Is u composite?
True
Is (-2845080)/(-189) + -1*(-1)/(-3) composite?
False
Suppose 5*k + 4*n = 6493, -3*n - 4125 - 2389 = -5*k. Let f = -558 + k. Is f a composite number?
False
Suppose -1 - 4 = w. Let l be 6/w*(-30)/9. Suppose -l*m = 0, 2*j - 5*m + 1580 = 6*j. Is j a composite number?
True
Suppose 3*l = -3 - 3, 5*u + 5*l = 2530. Suppose 0 = 5*f + 2*k - 2525 - 125, f - 4*k - u = 0. Suppose 3*j + 102 - f = 0. Is j a prime number?
False
Suppose -4*z = -6*z - 2*m + 1158, 4*z - 2*m = 2346. Suppose 0 = -5*p + z + 86. Is p prime?
False
Is (-9)/(-21) - 60566/(-77) a composite number?
False
Suppose -30 = -4*w + 2*n, 6*w - 2*w = 5*n + 45. Suppose -34*g + 39*g - w = 0. Is g + 1 + (-1 - -585) prime?
False
Suppose -3*b + 0 - 6 = 0. Is (-2)/9 + (-8086)/(-18) + b a prime number?
False
Let y = -16 + 24. Is (1/2*-3295)/((-4)/y) a prime number?
False
Let n = 12 + -23. Let o = -8 - n. Suppose 0 = -l + s + 26, l + o*s - 19 = 7. Is l a prime number?
False
Is 1/(-2) + (-110150)/(-100) a composite number?
True
Suppose -6321 = -8*m - 233. Is (-3)/12*(-3 - m) composite?
False
Let o(p) = -p**3 - 16*p**2 + 34*p + 29. Is o(-18) composite?
True
Let m(f) = -50*f + 7. Let n(b) = -25*b + 4. Let s(y) = 3*m(y) - 7*n(y). Suppose -5*w = -9*w + 20. Is s(w) prime?
False
Suppose 0 = 16*c - 164429 - 60387. Is c a composite number?
False
Suppose -5*l + 7*l + 19 = r, 2*l = -3*r - 23. Let c be (l/8)/((-3)/228). Suppose 0*z + 4*z + c = n, -5*n - 4*z = -523. Is n prime?
True
Let f be 0 - 4 - (-14 - 8). Let u(y) = 5*y**2 - 21*y + 17. Is u(f) a prime number?
True
Let w(d) be the second derivative of -d**5/20 - 17*d**4/12 + 5*d**2/2 - 8*d. Is w(-18) composite?
True
Let n(x) = 1075*x - 36. Is n(1) composite?
False
Suppose 11 = 5*g + 3*t - 2, 0 = -4*g + 2*t + 6. Suppose g*d + d - 3*w - 3135 = 0, d = -3*w + 1029. Is d a prime number?
False
Let m = 3880 - 6218. Let w = m - -9333. Is w prime?
False
Let f(h) = 1082*h - 125. Is f(9) composite?
False
Suppose 2*o - 1145 = 5*w, -2*o + 7*o - 2906 = -2*w. Suppose -18*n + o = -14*n. Is n a composite number?
True
Let n = 7 + -3. Let u be n*((-261)/(-12) - -1). Is (-3 - (-8 + 2)) + u composite?
True
Is (-8)/(-2) - 1203*-9 a composite number?
False
Let c(g) = -g + 12. Let m be c(9). Suppose -4*n + 40 = -m*u - u, 5*u = n - 26. Let l(j) = 36*j - 11. Is l(n) composite?
True
Suppose -5*c + 3*b = -48301 + 639, 19071 = 2*c + 5*b. Is c prime?
True
Let y be 3/12 - 31270/(-8). Suppose -5*b + 12719 = -3*j, 4*j = -5*b + 16642 - y. Is b prime?
False
Let j = 454828 - 317793. Is j a prime number?
False
Suppose -320*r + 21776 = -312*r. Is r a composite number?
True
Let i(n) = 4*n - 12. Let h be i(8). Let j(a) = -a**3 + a - 9. Let r be j(0). Let m = h + r. Is m prime?
True
Let m = -63 - 295. Let z = -807 + 1460. Let h = m + z. Is h composite?
True
Suppose -2*j - 7 = 3*c, -j - 13 = -3*j + c. Suppose -k + j*x + 16 = 0, -4*k - 8 = 2*x - 0*x. Suppose k = 3*u - d - 103, 5*u + d - 5*d - 181 = 0. Is u composite?
True
Suppose 8*h - 738 = 2374. Let w = h - 240. Is w a prime number?
True
Let m = 27027 - 7678. Is m a prime number?
False
Let z = 10390 + -5991. Is z a prime number?
False
Suppose t - 9 = -0. Let o be (-4 + t)/(-5) - -4. Let z(g) = 5*g**3 + 2*g**2 + 3*g - 1. Is z(o) prime?
False
Suppose -k - h - 18 = -137, -3*k + 3*h = -369. Is k composite?
True
Suppose 157*m - 143*m - 80906 = 0. Is m a prime number?
True
Suppose 2*l - 85 = 5*s, -2*l + s + 70 = -s. Let r = l - -307. Is r composite?
False
Suppose 16*o = 55899 + 15989. Is o prime?
True
Is ((-9101)/3)/(21/(-63)) prime?
False
Let h(a) = -a**3 + 15*a**2 + 8*a + 25. Suppose 2*u - 65 = -4*v - 19, 2*v - 10 = 0. Is h(u) a composite number?
False
Let m(r) = -r**2 - 9*r. Let l be m(-8). Let v = l - 6. Is 2036/v*9/18 prime?
True
Suppose 11 = m + 7. Suppose 4*q = -4*v + 980 + 384, -m*v + 1361 = 3*q. Suppose 2*p - 186 = 2*o + v, 4*o = -4*p + 1024. Is p a composite number?
True
Suppose -2*g = -4*r - r - 2736, -2*r = -8. Let y = g - 41. Is y a prime number?
False
Let g be (-99)/5*(54 + -59). Suppose 7*t - 4*t - o = 168, 2*t - 125 = 5*o. Suppose 4*j - 2*k - 202 = 0, -3*j = k - g - t. Is j a composite number?
True
Suppose 0 = -0*t + 2*t - 6. Suppose 2*j = -8, 2*f - 1048 = -2*f - t*j. Is f prime?
False
Suppose 16 = -5*q + 6321. Let b = q - -324. Is b composite?
True
Suppose k + 3*k - 40 = 0. Is (1865/10)/(1/k) a composite number?
True
Let n be (2/(-5))/(4/(-41560)). Is n/12 - 3/9 composite?
True
Let b = 21066 - 12179. Is b prime?
True
Is 2/(-1) + ((-5691)/(-3) - -2) prime?
False
Suppose -2*p = 2*o - 1666, -1532 = -2*p + 2*o + 126. Let j be (p/(-2))/(1/(-2)). Suppose -j = -5*b - 4*k, k = -4*k - 5. Is b prime?
True
Let y(p) = p**2 - 6*p - 5. Let u be y(6). Let b(j) = -2*j - j**3 - 13 + 2 + 7 + 7*j**2 - j**3. Is b(u) prime?
True
Let m = 15 - 15. Let r be (-5)/(-2) + (-1)/2. Suppose m = -r*p - 4*p + 1230. Is p prime?
False
Let m(n) = 30*n**2 + 8*n + 2. Let i be m(3). Let z = i - 127. Is z a prime number?
False
Suppose 0 = 10*p - 387909 - 192001. Is p a prime number?
True
Let f(d) = -d**3 + 5*d**2 + d - 2. Let q be f(5). Let a be 38 - (1 - q)/2. Is 0*(-1)/(-3) + a a composite number?
True
Is (-22743)/(-33) + (-3)/((-66)/(-4)) a composite number?
True
Let b(y) = y**2 + y - 1. Let g be b(2). Let u be 44/10 - 2/g. Suppose 5*s - s + u*o - 344 = 0, -s - 3*o + 80 = 0. Is s a prime number?
True
Suppose -8*u + 6*u = -4*n - 3550, -4*u - 4*n = -7124. Is u prime?
False
Let j = -15 - -17. Suppose -j