e ((-4430)/8)/(-5)*n. Suppose 5 = -5*s, v = 5*w - 3*s + 5*s. Is w prime?
True
Let x(d) = -d**2 + 55*d + 77. Is x(31) composite?
False
Suppose 0 = 4*t - 3*b + 21, -2*b + 5*b = 2*t + 3. Let g(w) = -w**2 + 11*w - 2. Let s be g(5). Let h = t + s. Is h prime?
True
Suppose 3*n = -2*n + 1655. Is n composite?
False
Suppose -3*o - 4 - 5 = 0. Let a be ((-3)/1)/(o/2). Suppose 148 = 2*q + a*q. Is q composite?
False
Let r = 10 + -5. Suppose 6*u - 2527 = 941. Suppose 0 = r*v - u + 153. Is v composite?
True
Let k(h) = 19*h - 9. Let b(q) = 57*q - 26. Let n(l) = 3*b(l) - 8*k(l). Is n(5) a composite number?
False
Let i = 1595 - 846. Is i a prime number?
False
Suppose -3*s + 52 = -5*m, 2*s - 4*m - 44 = -10. Is s a prime number?
True
Suppose -5*d = 3*s - 23, -s + 2*d = 4*d - 8. Is s composite?
True
Let x(w) = -7*w + 1. Let b be x(-2). Suppose -k + 6 - 3 = -5*g, 0 = -5*k + 5*g + b. Suppose -100 = -k*r - r. Is r prime?
False
Suppose 0 = -q + 4*q. Let n(b) = -4*b**3 - b**2 - b - 4. Let g be n(-2). Suppose -3*t - c + 125 = 0, -3*t + 5*c + 175 - g = q. Is t a composite number?
False
Let y = 5 + -1. Suppose y*n = 3*g + 205, -3*n + g + 156 = -2*g. Suppose 2*r - n = 99. Is r a composite number?
True
Let n(s) = -s**3 + 5*s**2 + 2*s - 4. Let x be n(5). Suppose -3*i = -x*i. Suppose 3*q + 2*q - 1015 = i. Is q a prime number?
False
Let o(x) = x**3 + 17*x**2 + 17*x + 19. Let y be o(-16). Is (118/y)/(4/6) a composite number?
False
Is ((-540)/(-2) - -1)/(0 + 1) composite?
False
Suppose 0 = 2*p - p - 4. Suppose -p*h - h = -65. Is h a prime number?
True
Let n(r) = r**2 - 2. Let k be n(3). Suppose k*j - 3*j = 328. Is j prime?
False
Suppose -4*n = 5*h - 223, -5*n - 2*h + 269 = h. Suppose 3*k = 95 + n. Is k a prime number?
False
Let b(a) = 15*a**2 - 5*a + 5. Is b(2) a composite number?
True
Let t(o) = 2*o**2 + 3. Let v(p) = p - 3*p - 3*p - 4*p - 1. Let k be v(-1). Is t(k) prime?
True
Let g = -7 - -10. Suppose -g*t = -8*t + 1265. Is t a prime number?
False
Suppose 2*o - 5729 = 3*y, -5 + 2 = 3*y. Is o prime?
False
Suppose 0*k = 3*f - k - 16, -24 = -4*f + 2*k. Suppose -f*t - 2*r - 1796 = 0, 2*t - 4*r + 572 + 336 = 0. Is 2/(-4) + t/(-12) a composite number?
False
Let n(k) be the first derivative of -k**3/3 + 6*k**2 + 4*k - 1. Suppose 3*g = 5*z - 48, 2*g = 1 - 3. Is n(z) composite?
False
Let z(f) = 25*f - 13. Is z(12) a prime number?
False
Suppose 7*w - w = 15342. Is w a composite number?
False
Let r(h) = 17*h**2 + 10*h + 12. Is r(5) composite?
False
Let i = 4 + 2. Suppose -n - i*a + 3*a + 160 = 0, 162 = n + a. Is n composite?
False
Let s(u) = u**2 - 9*u + 8. Let y be s(8). Suppose -3*o + 5*o - 12 = y. Is o prime?
False
Is -3 - (1 + -1) - -26 a composite number?
False
Let o(i) = -i**2 - 11*i - 13. Let s be o(-10). Is s + (3/1 - -62) prime?
False
Suppose 2*q - 749 = -5*t, 2*t + 962 + 524 = 4*q. Suppose -q = 3*o - 7*o. Is o a prime number?
False
Let k = -3577 + 5140. Is k a composite number?
True
Let s(k) = -2*k**3 + 5*k**2 + 3*k - 1. Let d = 7 - 10. Is s(d) a composite number?
False
Let w be ((-117)/6)/((-6)/40). Suppose 5*s = -5*z + 200, 0 = -3*z + 3*s + w - 16. Is z a prime number?
False
Let t(a) = a**3 - 2*a**2 - 2*a + 2. Let n be t(3). Suppose 83 = n*s + 28. Suppose -5*p = 5*b - 120, -4*b = -s - 1. Is p a prime number?
False
Let z be 14/(-6)*(6 + 3). Let f = -8 - z. Is f a prime number?
True
Suppose -9*z = -4*z - 3455. Is z prime?
True
Let k(r) = -20*r**3 + 2*r**2 + 2*r + 1. Suppose 3*u - 16 = -z, 0*z - 4*z + 29 = 5*u. Let q = -2 + z. Is k(q) prime?
False
Suppose 4*r = 3932 + 2688. Is r composite?
True
Let k = 4369 + -2986. Is k composite?
True
Let f = 11 - 5. Suppose -2*j = -5*q - 62 + 251, -2*j = -f. Is q prime?
False
Let u(b) = b**3 - 8*b**2 + 9. Suppose 0 = 5*o - 2*o - 24. Let y be u(o). Let f = 88 - y. Is f a composite number?
False
Suppose 0 = -r - 3*l - 3 + 5, 2*r - 4*l = 4. Suppose 0*b - 138 = -r*b. Let a = b + 8. Is a a composite number?
True
Suppose -n - 3*h + 172 = 0, 4*h - 99 + 902 = 5*n. Is n prime?
True
Let n = -141 + 28. Let l = -44 - n. Is l composite?
True
Suppose 5*m - 4*c = m + 180, m + 2*c - 42 = 0. Let h be 91/(-14) + 1 + (-5)/2. Is h/m - 290/(-22) a prime number?
True
Suppose -5*p + 0 + 20 = 0. Suppose p*f = 20 + 68. Is f composite?
True
Let u(f) = -23*f. Let o be u(-1). Let l = 6 - 10. Let x = l + o. Is x a prime number?
True
Let m = 513 - 336. Is m a composite number?
True
Let i be (1 - 0)/((-1)/6). Let x(a) = -4*a + 7. Is x(i) a composite number?
False
Let l(h) be the first derivative of -h**4/4 - 5*h**3/3 - h**2/2 - 10*h - 1. Let b(u) = -u**2 + 6*u - 7. Let i be b(6). Is l(i) composite?
True
Let p = -4 - -9. Suppose -4*b - 3 = p, 2*g - 10 = -4*b. Suppose 0 = -g*q + 4*q, u + 2*q - 10 = 0. Is u a prime number?
False
Let o(u) = 1717*u + 10. Is o(3) prime?
False
Suppose 2 = -i + 1. Let w(m) = 37*m + 1. Let j be w(i). Is 8/j + (-886)/(-18) composite?
True
Let b be 3 + -4*(-2 + 3). Is (-2 - b)/((-2)/142) a composite number?
False
Let q(s) = s**3 - 4*s**2 + 4*s - 1. Let p be q(3). Suppose -4*d + p*d = -46. Is d a prime number?
True
Let v(y) = 2*y**3 - y**2 - y. Is v(2) prime?
False
Let p(c) = 2*c + 8. Let l be p(-4). Suppose -3*j + 7*j - 340 = l. Is j composite?
True
Let u(v) be the second derivative of v**5/60 + 5*v**4/24 + 7*v**3/6 + 2*v**2 - 3*v. Let x(z) be the first derivative of u(z). Is x(7) composite?
True
Let a be (-2)/(-8) + 1287/(-12). Let t = 166 + a. Is t a prime number?
True
Suppose -3 = -3*p + 5*h, -4 = -4*p - 3*h - 0*h. Is (p - 0)*2 - -47 a prime number?
False
Suppose -2*y + 6 = y. Let p be ((-3)/(3/y))/(-2). Is (p + 1)/((-4)/(-134)) a prime number?
True
Let d be (-93)/(-24) - (-2)/16. Suppose 0 = -d*r - 254 + 2194. Is r a prime number?
False
Let c = -99 + 373. Is c a composite number?
True
Is -1 + 20/28 - 4951/(-7) composite?
True
Let x(p) = 6*p**2 - 30*p + 31. Is x(12) a prime number?
False
Suppose -5*c = 4*n - 7799, 3*c - 3*n + 2905 = 7579. Is c a composite number?
False
Let k = -487 - -1122. Is k a prime number?
False
Suppose s + 3*t = -2*s + 2046, 0 = 2*s + 4*t - 1374. Is s a prime number?
True
Let d(v) = v**3 - v**2 + 3*v + 10. Is d(9) a composite number?
True
Let s = -3 + 2. Let v be 55/(-10) - 6/(-4). Is 86 - (0 - (s - v)) a composite number?
False
Let j be (-4)/6 + (-7)/3. Let g = 2 - j. Suppose g*d - 75 - 100 = 0. Is d prime?
False
Let i(f) = 7*f**2 + 11*f + 11. Is i(-8) a prime number?
False
Let x = 3 + 0. Suppose 0 = 2*a - 3*j + 36, 0 = 2*a + 5*j + 7 - x. Is (-669)/a - 6/8 a prime number?
False
Let p(s) = 2*s**2 + 9*s - 2. Let y be p(-7). Let d = 16 + y. Suppose b - x = 19, 2*x - x = 3*b - d. Is b composite?
True
Let a = -7 + 10. Suppose 6*c = a*c. Suppose -3*h + 4*d + 169 = c, 5*d + 252 = 5*h - 28. Is h a composite number?
True
Is 6/9 - 350/(-6) prime?
True
Let k be (-4 + 1)*7/(-3). Let r = k - 2. Suppose -r*y - 24 = -4*p - 113, -4*y + 92 = 2*p. Is y a prime number?
False
Let q(j) = 4*j**2 + 3*j + 10. Let v(m) = 3*m**2 + 4*m + 10. Let g(p) = 5*q(p) - 6*v(p). Is g(13) a prime number?
True
Let u(l) = -3 + 4*l**3 + 19 + 15*l + 2*l**3 - 9*l**2 - 7*l**3. Is u(-11) a composite number?
True
Let a = 410 - 79. Is a prime?
True
Suppose 0*a = a - 120. Suppose 0 = 4*l - 156 - a. Is l composite?
True
Let q(s) = 2*s - 9. Let d be q(7). Suppose d*p = 312 + 188. Suppose 0 = -l - 3*l + p. Is l a composite number?
True
Suppose -5*d - 10 = 5*i - 35, -10 = -5*i. Let w(m) = 22*m + 2. Let j be w(d). Let r = 115 - j. Is r a prime number?
True
Let a = -320 + 807. Is a prime?
True
Let v(p) be the second derivative of p**5/20 - p**4/3 + 5*p**3/6 - 3*p**2/2 + 2*p. Suppose 9 = q + 2*q. Is v(q) a composite number?
False
Let f(m) = -220*m + 17. Is f(-6) a prime number?
False
Suppose -5*g = -50 - 20. Suppose 0 = -2*t + 4, -4*x + 71 = -x - 2*t. Let f = x - g. Is f a composite number?
False
Suppose -16*f = -46990 - 33538. Is f a composite number?
True
Suppose -2*q - 2*q + 28 = 0. Suppose n + 3*p = -q + 45, -1 = -p. Is n*(-1 - (-4)/2) a prime number?
False
Suppose -5*h + 1276 = 4*z, -319 = -z - 0*h + h. Is z prime?
False
Let q(a) = -11*a - 3. Let s(r) = 6*r + 2. Let w(t) = 3*q(t) + 5*s(t). Let z be w(5). Let x = z + 49. Is x composite?
True
Let x be (-10)/(-4) - 2/4. Let z be (4 - 9) + 1*x. Is -1 + z/(6/(-118)) prime?
False
Let m be (-3 + 1287 + -2)/2. Let t = -286 +