b**2/2 - 30*b. Is f(-5) prime?
True
Let q(v) = -2*v - 7. Let k be q(-6). Suppose -k*d - 1 = -5*g - 6, -4*g = 5*d - 41. Is 2/g*-1*-118 a composite number?
False
Suppose 8*p = 3*p + 3385. Let w = p + -346. Is w a composite number?
False
Let c be -1 - ((-15)/3 - -2). Suppose c*z + 10 = -3*z. Is z/5 - 1953/(-45) prime?
True
Let s = 14 + -12. Suppose r - 5*x - 16 = 90, 0 = s*r + x - 179. Let i = 22 + r. Is i composite?
False
Let z(s) = 4*s**2. Let d be z(-1). Let h be (d/6)/((-13)/(-429)). Is 4074/h - 4/22 composite?
True
Suppose -4*l - 2*r + 0*r = -16840, 0 = -4*l - r + 16842. Is l prime?
True
Suppose 0 = -14*y + 15*y - 5381. Is y a composite number?
False
Suppose -5*b - 9 = -4. Let l be 163*(b + 0/2). Let d = 226 - l. Is d a prime number?
True
Let w = -6213 - -58708. Is w prime?
False
Let r = 22 - 19. Suppose -4*o = r*o - 91. Is o prime?
True
Let t(q) = -q**3 - 7*q**2 - 4*q + 6. Let b be t(-6). Is (-2)/b + 16588/33 prime?
True
Suppose 2*l - 8 = 0, -4*x - 4*l + 25 = -7. Suppose 0 = 2*b + x*o - 30, 3*b - 2 = 2*o + 3. Let z(f) = 19*f - 6. Is z(b) a composite number?
False
Suppose -b - 2*b + 3966 = 0. Let r = -873 + b. Is r a composite number?
False
Suppose 2*v - 6 = 3*q + v, -5*v = q - 14. Let x(u) = -572*u**3 + u**2. Is x(q) composite?
True
Suppose -9*o - 1886 = -7*o. Is -2 + 4 + -6 + o/(-1) a prime number?
False
Let q(h) = h**2 + 6*h + 8. Let o be q(-5). Suppose 0 = 2*z + s - 4606 + 313, 0 = -z + o*s + 2164. Is z composite?
True
Let i(r) = 5*r**2 - 6*r - 18. Let n(l) = -l + 1. Let p be n(12). Is i(p) a composite number?
False
Let y(k) = -28*k + 23. Suppose 8 = -0*j + 4*j. Suppose -3*n - 5*b - 38 = 0, -26 = 2*n + 6*b - j*b. Is y(n) composite?
False
Let v = -11296 + 31247. Is v a prime number?
False
Let s(y) = -307*y - 41. Let t be s(-8). Suppose -3911 = -2*m + t. Is m a prime number?
True
Is ((-4941)/15 - -1)/((-12)/30) a composite number?
False
Let s(l) be the second derivative of -103*l**3/6 - l**2 - 2*l. Let c be s(-2). Suppose 77 = -u + c. Is u a composite number?
False
Let r = -154 - -281. Is r a prime number?
True
Let z(y) = -25*y**2 - y - 9. Let b be z(3). Let h = b + 395. Is h prime?
False
Let s(b) = -629*b + 25. Let y(u) = 210*u - 8. Let z(r) = -3*s(r) - 8*y(r). Is z(4) a prime number?
False
Let b = -7673 - -13592. Is b composite?
True
Let u be (-4326)/(-2) + 8/((-4)/2). Suppose g = -5*z + u, -5*z - 2139 = -3*g + 2*g. Is g a prime number?
False
Let q be (-6)/(-3) + 2/(-1). Suppose 0 = -g - q*g + 286. Let y = -141 + g. Is y a prime number?
False
Let q(o) = 416*o**2 - 3*o - 34. Is q(-5) a composite number?
True
Suppose -5*r - 263 = 72. Let y be (2*2)/((-6)/(-165)). Let q = r + y. Is q a prime number?
True
Let j = 5 - -4. Suppose -1822 = j*w - 8455. Is w prime?
False
Let h = 3475 + -2312. Is h prime?
True
Let r(w) = 66*w**2 + 20*w - 15. Is r(-7) composite?
False
Is (-6)/(-4) + (-112785)/(-30) a prime number?
True
Let f(g) = 16*g - 13. Let y = -16 + 19. Suppose y + 3 = s. Is f(s) a prime number?
True
Suppose 0 = 39*k - 38*k + 6310. Is ((-1)/(-2))/((-1)/k) a composite number?
True
Is 2/(-19) - (6624365/209)/(-5) a prime number?
False
Let x(l) = -53*l - 51. Let y be x(9). Let o = 947 + y. Is o a composite number?
False
Suppose -5*p + 2188 = -6592. Suppose 3*x + k - 1317 = 0, p = 4*x - 0*k + 2*k. Is x a composite number?
False
Let h be (2 + -1)*(13 - 4 - -320). Let r be 15/(17/(-14) + 1). Let a = h + r. Is a composite?
True
Suppose 5*x + 0 - 5 = 5*d, -5 = -x - 3*d. Suppose -2*g + 24 = x*g. Is ((-1)/3)/(g/(-3222)) composite?
False
Suppose 4*w - 5395 = 3*o + 2782, -w + 2047 = 2*o. Is w composite?
True
Let g be (-8)/6*24792/(-16). Let d = g - 1389. Is d prime?
True
Let i(x) = -x + 2. Let z be i(0). Suppose 0*k - 8 = 4*k - j, -k + 4*j = z. Is 3 - -1*(54 - k) composite?
False
Suppose 0*j = 2*j - 10. Suppose -j = -4*o + 3*o. Suppose -g + 15 = -2*w, -5*g + 2 = -o*w - 88. Is g composite?
True
Let f(b) = -1966*b**2 + 5*b - 5. Let m be f(1). Let x = m + 3659. Is x composite?
False
Suppose 456 = 3*l + 15. Let w = 854 + -870. Let u = l - w. Is u a prime number?
True
Suppose -2 = -5*h + 18. Suppose -q + h = -2*f, 3*q - 2*f - f = 18. Is (-14)/q*(0 + -44) a composite number?
True
Suppose 5*z = -v + 10*z + 38785, 2*v + 4*z = 77514. Is v a prime number?
False
Let b(d) be the third derivative of d**5/30 - 11*d**4/24 - d**3/6 - d**2. Let q be ((-5)/2)/((-2)/8). Is b(q) a composite number?
False
Let z = 20 - 11. Let m be (182/(-3))/(3/z). Let d = -97 - m. Is d a composite number?
True
Suppose 0*q - 4*q + 2626 = k, 2*k + 1964 = 3*q. Let a = q + -25. Is a a prime number?
True
Is 0/((1 - 5)/(-4)) + 42787 a composite number?
False
Let t be (22/(-55))/(1/3285). Is (-1)/2 - t/12 composite?
False
Suppose -4*c - 20945 = -5*g, 0 = 6*c - 4*c. Is g a prime number?
False
Let l = 69 - -40. Let w = l + -76. Is w a prime number?
False
Let f(q) = 22*q - 10. Let w be f(7). Suppose 5*k - 226 = w. Is k a prime number?
False
Let u be (32/(-10))/(8/(-20)). Let v be (u/6)/(3/9). Suppose o - 1545 = -0*o + v*q, 0 = 5*o + 3*q - 7817. Is o a prime number?
False
Let f = -2271 - -9910. Is f prime?
True
Suppose 0 = w + u - 2149, -5*u + 655 = 2*w - 3631. Is w prime?
True
Let p = -270 - -605. Is p composite?
True
Let z be 4 + (0 - (3 + -22)). Suppose 0 = c + 4 - z. Is c a composite number?
False
Let y(o) = o**2 - 6*o + 8. Let i(l) = l**2 - 3*l - 4. Let u be i(5). Let j be y(u). Suppose j*m - 56 = 4*m. Is m a prime number?
False
Suppose -3*b + 1756 = -4*q, 4*b - 5*q - 600 = 3*b. Suppose -b = -3*o + 323. Is o a composite number?
True
Let p = -316 + -2807. Let y = 4506 + p. Is y a prime number?
False
Suppose -8*o = -36*o + 127316. Is o a prime number?
True
Let w = 3935 + -8157. Let r = 6624 + w. Is r a composite number?
True
Let u be (-7)/6 - (-9)/54. Let a = 80 - 22. Is u*2 + -1 + a a composite number?
True
Suppose 0 = 3*o + 4*i - 848875, -125*i = -2*o - 128*i + 565916. Is o prime?
False
Let g be 1/((-2)/(-26)) + 2. Let r = g + 59. Is r a prime number?
False
Suppose 20*j + 3297 = 23*j. Is j a prime number?
False
Suppose 0*i = i - 2. Suppose 3*z = 4*s - 2, i*s - 14 = -3*z - 2*z. Suppose -267 = -4*o - b, 2*o - 4*o + 136 = -s*b. Is o a composite number?
False
Is ((-63)/(-63))/((-2)/(-19238)) composite?
False
Suppose 3*h - 14 + 5 = 0. Suppose x + 0 = h. Suppose 55 = x*m - 200. Is m prime?
False
Suppose 0 = -2*w + 6*w - 208. Let q = 362 - w. Suppose -q = -4*o - o. Is o a composite number?
True
Suppose 2*z = z - 5*h + 3892, 5*h = -2*z + 7769. Is z a composite number?
False
Suppose 38 = t + 3. Suppose 3*w - t - 43 = 0. Is -46*w*(-3)/12 prime?
False
Let n = 28 + -28. Suppose b = 4*b + 5*c - 122, n = -4*c - 20. Is b a composite number?
True
Let r be (5/(-2))/((-9)/18). Suppose 0 = r*u - 129 - 206. Is u a prime number?
True
Let u = 4 + -116. Let t = -79 - u. Is 22/t - (-169)/3 a prime number?
False
Let g(m) = -3*m + 57. Let f be g(18). Suppose u - 262 = -2*b, 0 = -f*b + 5*b - 4*u - 262. Is b prime?
True
Suppose 56*b - 49*b - 2681 = 0. Is b prime?
True
Let t = 20268 - 9467. Is t prime?
False
Suppose 19134 = 8*m + 3926. Is m a composite number?
False
Let c = -4214 + 33843. Is c prime?
True
Let t(i) = -392*i**3 - 8*i**2 - 4*i + 6. Is t(-2) a composite number?
True
Let h = -1452 + 2706. Let u = 2009 - h. Is u composite?
True
Suppose -56*p + 1276202 = -198110. Is p prime?
False
Is ((-22684)/(-8))/(3 - 20/8) a composite number?
True
Let n = -10 + 14. Suppose 0*x - 5*x - 3*y = 1537, -304 = x + n*y. Let g = 531 + x. Is g prime?
True
Suppose 5447 = z + 2*f, -4*z + 22*f - 21*f = -21743. Is z a prime number?
True
Let v(l) = 86*l**3 + 5*l**2 - 8*l + 6. Is v(5) composite?
True
Is 14/175 - (-136044)/75 a prime number?
False
Let t be (30/9 - 3)*849. Let d = 696 + t. Is d a prime number?
False
Let h(c) be the first derivative of -11*c**3/3 + 7*c**2/2 - 5*c + 1. Let p be h(-6). Let x = p + 654. Is x a composite number?
False
Suppose 0 = -c + s - 2*s + 228, 0 = 5*c + 4*s - 1135. Suppose -4*d = -3*d - c. Is d a prime number?
True
Suppose -7 = x - 5*p, -2*p - 6 = -x - 1. Is ((-11)/(-2))/(((-65)/(-30))/x) composite?
True
Let j(i) = i + 7. Is j(6) a prime number?
True
Suppose 0 = -2*y - 5*d - 12, -y - 10 = -d + 3. Let h be y/22 - (-2)/(-4). Is h - 3 - (-592 + 1) composite?
False
Suppose 0*p + 708 = 3*p. Let d = 395 - p. Is d