 Let o = b - -21. Is o composite?
True
Suppose 3*m = 2*g + 2632, 3*m - 5264 = 2*g + 2*g. Let o = -768 - g. Suppose 197 + o = 5*t. Is t a prime number?
True
Let a = 52 - -45. Is a a composite number?
False
Suppose -4*v = -2*v + 10. Let z = -6 - v. Let m(r) = -4*r. Is m(z) a composite number?
True
Suppose 3*h + 3 + 10 = -4*i, i - 3*h = -7. Let m = 0 - i. Suppose -5*d + 55 = m*u, 3*u - 4*d - 21 = -d. Is u a composite number?
True
Let t = -237 + 113. Let y = 3 - t. Is y a composite number?
False
Let p = 32 - 10. Is p prime?
False
Suppose 4*a - 413 = -133. Let q = a - 35. Suppose -t - q = -f - 2*t, f = 4*t + 35. Is f prime?
False
Let o = -337 - -806. Is o composite?
True
Suppose 5*b = -5*g + 1510, b = -4*g + 288 + 935. Is g a composite number?
False
Suppose 15*v - 10158 = 9*v. Is v a composite number?
False
Let v(q) = 49*q**3 - 3*q**2 + 5*q - 7. Is v(2) a composite number?
False
Let k(o) = 390*o**2 - 3*o - 11. Let h(y) = 390*y**2 - 3*y - 10. Let g(u) = 6*h(u) - 5*k(u). Is g(-2) prime?
False
Let z(h) = 121*h**2 + 6*h - 10. Is z(3) a prime number?
True
Let t be (-6)/(-9) - (-200)/6. Let g be t/8 + 1/(-4). Suppose g*p - 148 = -0*p. Is p a prime number?
True
Is 141/10*-2*-5 a composite number?
True
Let i(c) be the first derivative of 3*c**4 - 2*c**3/3 - 2*c**2 - c - 4. Is i(3) prime?
True
Let r = -4 + 4. Let f be 4 + r - (1 - -1). Suppose 3*o = -f*o + 115. Is o prime?
True
Let y(p) = -p + 8. Let z be y(-6). Suppose 2 = -4*m + z. Is m a prime number?
True
Let g be ((-14)/(-6))/((-10)/(-30)). Suppose -30 = -2*q - 5*f + 22, -q + 2*f + 26 = 0. Let w = q - g. Is w a composite number?
False
Suppose 3*j + j = 48. Is ((-536)/j)/((-6)/9) a prime number?
True
Let u(j) = -6*j**3 - 4 + 6*j - 2 - 5*j**2 + 7*j**3. Let n(b) = b**3 + 7*b**2 + 5*b - 2. Let t be n(-6). Is u(t) a composite number?
False
Is (0 - 0) + -1 - -44 prime?
True
Is 2277/66*(-3)/((-18)/28) a composite number?
True
Let m(z) = 22*z**2 - 2*z + 3. Let y be m(2). Suppose 0 = k - 320 + y. Suppose 5*d - 42 - k = 0. Is d a composite number?
True
Suppose -48 = 5*z + 12. Let t = z + 89. Is t prime?
False
Suppose -7*o = -2*o - 335. Is o prime?
True
Suppose -1758 = -4*w + w. Suppose -19*t + 17*t = -w. Is t composite?
False
Let o be (-1)/(-3) + (-830)/15. Let q = -22 - o. Is q a composite number?
True
Let b = 2 - 2. Suppose 2 = p - b. Suppose 0 = p*q - 0*q - 74. Is q prime?
True
Let c(x) = 21*x**2 + 2*x + 1. Let m(f) = f**2 - 6*f + 3. Let j be m(4). Let q = -3 - j. Is c(q) a prime number?
True
Suppose -3*n - 1 = -c, -2*n + 18 = c - 4*c. Let a be 2653/28 + (-2)/c. Suppose -4*g + a = g. Is g a composite number?
False
Suppose r = -v + 251, -4*v - 1005 = -4*r - 9*v. Let p = r + -171. Is p a composite number?
False
Suppose -2*i + 346 = -88. Suppose i + 411 = 4*j. Is j a prime number?
True
Let v(r) = 187*r + 5. Is v(2) a composite number?
False
Let j = -25 + 84. Is j a composite number?
False
Let a(d) = -d + 1. Let c be a(-3). Suppose -633 = z - c*z. Is z a composite number?
False
Let l(j) = -j - 4. Let m be l(-3). Is 1/((m/1)/(-209)) prime?
False
Let l = -611 - -1092. Is l a composite number?
True
Let z(d) be the first derivative of 178*d**2 - 3*d + 2. Is z(2) a prime number?
True
Let s = -1 - 3. Let m be (-2 - s - -11)*-1. Let k = m - -34. Is k a composite number?
True
Let n(p) = -24*p - 1. Let q = 5 - 7. Is n(q) a prime number?
True
Is 20 + -19 + (-252)/((-2)/1) composite?
False
Let v be (2 - 1)*1085/7. Is (-2)/(-12) - v/(-6) composite?
True
Let w(s) = -s**3 - 6*s**2 - s - 6. Let f be w(-6). Suppose -j + 4*x + 51 = f, -3*x + 2 = -10. Is j a composite number?
False
Let d(r) = r**2 - 11*r + 10. Let y be d(10). Let b(q) = q**2 + 785. Let i be b(y). Suppose -3*g = 44 - i. Is g composite?
True
Suppose -4*y + 2*y - 478 = 0. Let v = 358 + y. Is v composite?
True
Suppose 0 = m - 3*m - 2*k + 2598, 2*k - 10 = 0. Is m a prime number?
False
Is 2/(-5) + ((-50661)/5)/(-3) composite?
True
Is (-3 + 2372/8)*2 prime?
True
Suppose 57 = z - 0*x + 2*x, -z = -2*x - 65. Let g = z + -42. Is g composite?
False
Let v = -2 + 3. Let w be 1/2*v*10. Suppose 0 = 2*u - 5*x - 163, 4*x + 85 = w*u - 348. Is u prime?
True
Suppose 5*o - 774 = 121. Is o prime?
True
Let q = 1504 + -567. Is q a prime number?
True
Let n be 15/4 - 5/(-20). Suppose n*y - 691 = -h, -4*y = h - 2*h - 685. Suppose 5*a - 5*q = -3*q + 427, 2*q = 2*a - y. Is a prime?
False
Let x(u) = u**3 + 9*u**2 - 9*u + 14. Let d be x(-10). Suppose -d*z = 66 - 518. Let p = z + -70. Is p prime?
True
Let f be (12 - 1) + (0 - 1). Let k(d) = 9*d - 13. Is k(f) a composite number?
True
Suppose 0 = 4*w - 20, 2*u = -2*u + 3*w - 11. Let i(y) = 1 + 39*y - 1 - 1. Is i(u) a prime number?
False
Let o(g) = -g**3 - 3*g**2 + g - 2. Let q be o(-4). Suppose -2*c - 25 = -5*b + 1, 0 = 5*c - q. Let h(d) = d**3 - 5*d**2 + 5*d + 5. Is h(b) prime?
True
Let o(j) = 2*j**2 - 3*j + 1. Let t be o(2). Is 2006/8 - t/(-12) a prime number?
True
Let g(k) = -566*k + 11. Is g(-6) a prime number?
True
Let q = 11 - 6. Suppose 3*m - 3*z = 2*m + 42, -z - 252 = -q*m. Is m prime?
False
Let l be (-2)/(-9) - (-2197)/117. Suppose -4*r = -527 + l. Is r a composite number?
False
Let w = 3 + -9. Is w/15 - (-1017)/5 composite?
True
Let q be 276/66 + 4/(-22). Suppose 2*x - 5*o = -23, -6*x = -5*x + q*o - 21. Is -3*((-19)/x + 2) a prime number?
False
Suppose -111 = 2*r + 43. Is (1 - 23)*r/14 composite?
True
Let q be (-12)/18*1*-3. Let k(h) = 4*h**2 + 0*h + 1 - q - 2*h. Is k(4) composite?
True
Let g(u) = -20*u**3 - 5*u**2 + 3*u + 5. Is g(-4) composite?
False
Let z(o) be the second derivative of -o**3/6 - 3*o**2/2 + 3*o. Let t be z(-6). Suppose t*y - 6*w - 84 = -w, 4*y + 4*w - 80 = 0. Is y prime?
True
Let s(y) = 31*y + 3. Is s(4) prime?
True
Let i = 8 - 3. Let z(b) = -b**3 + 2*b**2 - 3*b - 1. Let s(o) = o**3 - o**2 + 4*o. Let d(g) = -3*s(g) - 4*z(g). Is d(i) a prime number?
False
Let z be (2/(-3))/((-4)/18). Suppose 0*u + 41 = 4*u + 5*s, -z*u + 45 = -s. Is u prime?
False
Suppose 3*u = 4*u + 5*o, -4*u = 2*o. Suppose 0 = -5*y + 2*d + 1873, -2*d = -4*y - u*y + 1500. Is y a composite number?
False
Let b(u) be the first derivative of -u**3/3 + 6*u**2 + 8*u + 1. Is b(9) prime?
False
Let o be (-64)/(-24) + (-2)/3. Is 68/o + 6/(-2) a composite number?
False
Suppose 2*d - 3*d = -2*v - 6, 24 = -4*v + 5*d. Let n be (-2)/(-3 + -1 + 3). Let u = n - v. Is u composite?
False
Let g = 284 - 184. Let x = g - 23. Is x a composite number?
True
Let u(j) be the second derivative of -2*j**5/5 - j**4/4 - j**3 + j**2 + j. Let y be u(4). Is 6/9*y/(-4) a composite number?
False
Let h(t) = t**2 + 2*t + 1. Let c be h(-3). Let s(x) = -2*x**2 - 4. Let m be s(c). Is (-8)/m + 1681/9 a composite number?
True
Let k(x) = 89*x**2 - 2*x - 3. Let o be k(-2). Let g be 3 + (o - (2 - 5)). Suppose 3*w = 2*d + g, 20 = 3*w - 4*d - 349. Is w composite?
True
Let b = 5692 + -3255. Is b a prime number?
True
Suppose -4*x - 2*c + 791 = -1743, -4*x - 5*c = -2549. Is x composite?
False
Let y(w) = 2*w - 6. Let h be y(-3). Is (h/(-15))/((-4)/(-70)) prime?
False
Suppose 6*y = -195 + 1839. Is y composite?
True
Let k = -546 + 835. Let x = -162 + k. Is x a prime number?
True
Suppose 4*u - 5147 = 3*u. Is u composite?
False
Let a(n) = n**3 + 13*n**2 + 3. Let z be a(-13). Suppose -597 = -0*v - z*v. Is v composite?
False
Let o(k) = -608*k**2 - 1. Let f be o(1). Is ((-10)/3 + 3)*f composite?
True
Let a = -5 - -3. Let y(i) = 1. Let m(p) = -7*p. Let h(k) = m(k) - y(k). Is h(a) a prime number?
True
Suppose -3*z + 4405 = 2*z. Suppose -5*x + z = 4*w, 4*w + 166 = 2*x - 192. Is x a composite number?
True
Let z be ((-1516)/(-10))/(14/70). Suppose -s - m = -194, 5*m - 3*m = 4*s - z. Is s prime?
True
Let u(s) = 6*s**2 + 20*s - 21. Is u(13) composite?
True
Let x(t) = -7*t - 9. Let a be x(-7). Let p = a - 21. Is p a prime number?
True
Suppose -5*s + 44 = 14. Let l be 4/s - 16/(-12). Suppose -3*y + 5 = 2*p - 144, 2*y - 116 = l*p. Is y a composite number?
False
Let k = -11482 - -16119. Is k prime?
True
Let m(n) = -n**2 + n + 51. Let t be (-38)/9 - 12/(-54). Let u be 6/24 - (-1)/t. Is m(u) prime?
False
Let d(l) = -3*l + 17*l**2 - 4 + 2 + 19*l**2. Is d(-3) composite?
False
Let r(n) = -n + 7. Let m be r(6). Suppose 0 = y + 2*j + 29, 13 = -4*j + m. Let a = 14 - y. Is a a composite number?
False
Let n = -1581 + 3974. Is n 