2 + -8. Let u(y) = 4*y**2 + 5*y - 4. Let p be u(k). Suppose -4*l + p = 2*d, -l + 5*d + 5 = -26. Is l a composite number?
True
Is 929903/143 - 2/(-11) prime?
False
Suppose -5*s + t = 6 + 8, 5*t - 1 = 2*s. Let n = 13 + s. Is n prime?
False
Let v be (0 + -2)*(-12)/(-8). Is (-2)/v*(-3492)/(-8) a prime number?
False
Let i = 2 - -2. Suppose i*d - 201 = -2*m + 201, 548 = 3*m - 5*d. Is m composite?
False
Let n = -1 + -5. Let r be 2/12 + (-35)/n. Is 314/6 + 4/r prime?
True
Let v(h) = h**3 - 7*h**2 + 5*h + 6. Let x be v(6). Suppose -38 - 95 = -4*n + 3*u, x = 3*n + 2*u - 87. Is n a composite number?
False
Let r be (-24)/((-15)/9 - -1). Suppose 0 = -s + 5*s - r. Suppose -y = -4*x - 35, s = y - x - 14. Is y composite?
False
Suppose 2 = 4*r + 6, 0 = -3*s + 3*r + 156. Is s a composite number?
True
Suppose -2*i + 4 = -3*i, -2*i = 2*a - 506. Is a a composite number?
False
Let c(k) = 2*k**3 - 3*k**2 + 2*k - 3. Let t be c(2). Suppose -2*j + t*l + 1205 = -892, j = -2*l + 1071. Is j composite?
False
Suppose 3*c - 7*c = -2*p + 16, -4*p - 3*c = -21. Suppose 25 = x + p. Is x prime?
True
Suppose -17*n + 5435 = -12*n. Is n prime?
True
Let b(d) = -191*d**3 - d**2 - 3*d - 2. Is b(-1) a prime number?
True
Let k(n) = -13*n - 61. Is k(-24) a composite number?
False
Let g(w) = 111*w**3 + w + 1. Let t be g(2). Suppose -z - t = -3*r - 5*z, -888 = -3*r - 3*z. Is r a composite number?
False
Let h(t) = 4*t**2 - 4*t + 1. Suppose -2 - 3 = r. Is h(r) composite?
True
Suppose 4*u + 2 = -26. Let z be (1 - -1) + 13 + -2. Let f = u + z. Is f composite?
True
Suppose -5*w + 607 = -3*a - 460, -625 = -3*w - 2*a. Is w composite?
False
Let q = 37 - 1. Suppose -p = -3*p + q. Suppose p = u - 8. Is u prime?
False
Suppose -5*b - j - j + 2 = 0, b - 22 = 5*j. Suppose 2*r + b*r - 28 = 0. Is r a prime number?
True
Let k(y) = -7*y**3 - y**2 - 2*y - 1. Is k(-3) composite?
True
Is 4/(4/(-2)) + 525 composite?
False
Let z(o) = o**3 - 2*o**2 + 3*o + 1. Let q = 4 + -1. Is z(q) prime?
True
Is (-1*474/9)/((-4)/6) prime?
True
Let b(v) = 13*v**3 - 3*v**2 + 3*v - 3. Let x(l) = -4*l**3 - 2*l**2 - l. Let n be x(-1). Let d = n + -1. Is b(d) prime?
False
Is (522 - (-4 - 0))/((-4)/(-10)) composite?
True
Suppose -b - 1076 = -4*q, -q - 5*b - 62 + 310 = 0. Suppose -p = 3*p - q. Suppose -p = -3*n + 74. Is n prime?
True
Let v(q) = 173*q**2 - 1. Let w be v(-1). Let b = 265 - w. Is b a composite number?
True
Let s(k) = k - 4. Let n be s(4). Suppose 9 = m - n*m. Is m a prime number?
False
Let u be (-1 - (-21)/(-6))*-38. Suppose 5*a + 4*w - 272 = 503, a + 4*w - u = 0. Let m = -108 + a. Is m a composite number?
False
Let f(x) = x**3 - 4*x**2 - 4*x. Let m be f(5). Let r be -8*(-1)/4*m. Suppose -5*t = 25, -b - 32 = 5*t - r. Is b a composite number?
False
Is -2*((-861)/6 - 3) composite?
False
Suppose 3*o = -2*b + 1493, 2*o + 3723 = 5*b - 0*o. Is b prime?
False
Suppose 23 = f - 5*b - 110, -599 = -5*f + 3*b. Suppose 5*t - 291 = -3*i, i - f + 2 = -2*t. Is t a prime number?
False
Let r = 2000 - -705. Is r a prime number?
False
Let j(a) be the second derivative of -a**4/12 + 13*a**3/3 - 7*a**2 - 4*a. Is j(13) a composite number?
True
Suppose -5*b = -5586 - 869. Is b a composite number?
False
Suppose 1366 = -x + 3*x. Is x a composite number?
False
Let t(y) = y**3 + y**2 + y + 821. Is t(0) composite?
False
Suppose 3*n = -n + 796. Is n prime?
True
Suppose 0 = 6*u - u - 15. Let c = 12 + u. Is c a composite number?
True
Suppose p - 217 = 3*z, -2*p - 2*z + 418 = -0*z. Is p prime?
True
Suppose 28*i = 29*i - 163. Is i a prime number?
True
Let z(k) = k + 5. Let a be z(-5). Suppose 2*w - c = 4*c + 28, -5*c = 2*w - 28. Let m = a + w. Is m composite?
True
Suppose -5 = o - 0. Let c(t) = -t - 3. Let r be c(o). Let s(q) = 39*q**2 + q - 1. Is s(r) composite?
False
Let g = 127 - 84. Is g composite?
False
Let k = -8 + 11. Suppose 5*y - 909 = -k*m, y + 606 = 2*m - 2*y. Is m a composite number?
True
Is 0 + -2 - -5 - 440/(-2) composite?
False
Let f(t) = -t**3 - 4*t**2 - t - 3. Let p be f(-3). Let d = -10 - p. Is (-980)/(-6) - d/(-3) a composite number?
False
Let s = -443 + 984. Suppose 0*g - g + s = 0. Is g composite?
False
Let t be (0 + 0)/((-1)/(-1)). Suppose t = 4*u - 47 - 29. Is u a composite number?
False
Let l be 3*(-1)/(-1 - -2). Suppose -3*m = -5*h + 162, -h + 0*h + 5*m = -28. Is h/1 + (-6)/l prime?
False
Let j = -3 + 3. Suppose j = k + 30. Is (k/(-4))/((-1)/(-2)) a prime number?
False
Suppose 3*v + 15 = -5*m, -5*m + 2*v - 4 = 11. Suppose -5*k + 370 = -0*k. Is m/(-2)*k/3 a composite number?
False
Let r be 2 - 2 - -1 - -19. Is (-2 - -1) + r/1 prime?
True
Let b = -32 - -355. Suppose 326 = 3*o - 5*n, -3*o + n = -n - b. Suppose -i = 16 - o. Is i a composite number?
True
Let h(k) = 4*k**3 - k**2 + k. Let w = -3 + 4. Let x be h(w). Suppose z - 4*u - 727 = -4*z, -x*u = 5*z - 703. Is z composite?
True
Suppose 4*u = 45 - 1. Let s = u - 16. Is (4/s)/((-4)/10) a composite number?
False
Is ((9/2)/9)/(2/2564) a prime number?
True
Let h(b) = b**3 - 6*b**2 - 14*b - 9. Is h(10) composite?
False
Let i = -1 - -1. Let w(x) = -2*x**3 + i*x + 7*x**2 - 2*x - 5 + x**3. Is w(6) a composite number?
False
Let o = 9 - 6. Suppose -t - o*a + 15 = 4, -3*a + 5 = -2*t. Suppose -3*u = t*u + 3*r - 331, -u + 3*r = -59. Is u a prime number?
False
Let i be 1 - -1*(23 - 0). Suppose 2*c + 5*f - i = 0, 5*c + 0*f = 3*f + 122. Is 7777/c + (-3)/(-2) a prime number?
False
Let n be 84*(1 - (2 + -2)). Let q(g) = 21*g + 3. Let x be q(2). Let i = n - x. Is i prime?
False
Let s = 153 - -38. Is s composite?
False
Suppose 5*a - 5*m + 1530 = 3960, m - 5 = 0. Is a prime?
True
Let h(y) = -y**3 + y**2 + 3*y + 373. Is h(0) prime?
True
Let g(l) = -3*l**2 - 3*l - 123. Let j(x) = x**2 + x - 1. Let s(c) = -g(c) - 4*j(c). Is s(0) composite?
False
Let r be (-1)/6 + 3399/(-18). Let s = 14 - r. Is s a prime number?
False
Let w(q) = 3*q**2 + 5*q + 4. Is w(-13) a prime number?
False
Let m(y) = -4 - 31*y + 7*y - 9. Is m(-9) composite?
True
Is 0 + 0 - (-1630 - 1) a prime number?
False
Let u(v) = 2*v**2. Let t be u(-1). Suppose -p - 2*c + 499 = t*p, -5*p = 4*c - 835. Is 0 + (p - -1) - 1 prime?
True
Suppose 45 = 8*f - 3*f. Is 133/f + (-8)/(-36) a composite number?
True
Suppose 0 = -f - 3*f + 12. Suppose -2*u - 14 = -4*u + t, 5*u = -f*t + 35. Is u prime?
True
Is (-2364)/(-15) - (-9)/(-15) composite?
False
Let o(c) = 22*c**2 + 3*c. Is o(-2) a prime number?
False
Let n(z) = -77*z - 1. Is n(-7) a prime number?
False
Suppose 3*l - 7 = 2. Suppose 343 = l*b - 536. Is b composite?
False
Suppose 304 = 2*q - 294. Let b = -184 + q. Suppose -d = -6*d + b. Is d a prime number?
True
Let m be (-5 - -5) + (-2 - -5). Let l(t) = t**3 + 6*t**2 + t + 7. Let i be l(-6). Suppose -q + m = -i. Is q prime?
False
Suppose 5 = -3*q - 2*d, -2*q - 2*d - 1 = 1. Let n be (15/(-10))/(q/8). Suppose -n = -3*x - x, -w + x = -36. Is w composite?
False
Suppose i = 4*i - 156. Is i + 1*(0 - 1) a prime number?
False
Let d(g) = -239*g**3 - 2*g**2 + 1. Let w be d(-2). Suppose 0 = 2*u - 5*u + w. Is u composite?
True
Is (-3 + 325/10)*4 composite?
True
Suppose 0 = k - 3*o + 11, k + 4*o - 17 = -0*k. Is (-2 - k)*-231 - 2 a composite number?
False
Suppose 0 = -p - 2*h + 139, -3*h - 1 = 8. Is p a prime number?
False
Let r = 63 - -68. Is r a composite number?
False
Let b be (-2)/4 - 18/(-4). Suppose 0*d - 4*d = b*m + 56, 5*d = -m - 34. Let y = 23 + m. Is y composite?
True
Let h(d) = 52*d - 6 - 4*d + 2 + 2. Let k be h(-2). Let x = k - -195. Is x a composite number?
False
Let u(c) = 4*c**2 - 2*c + 1. Let w be u(1). Suppose z - w*p = 27, 5*z - 2*z + 4*p - 68 = 0. Suppose 3*i + z = 7*i. Is i prime?
False
Let n(o) = 53*o + 57. Is n(20) a composite number?
False
Suppose 22 = 4*o - 0*o - 5*u, 5*u + 4 = -2*o. Suppose 0 = -2*p - 2*p - 20, -a - o*p = -112. Is a prime?
True
Let q(f) = -4*f**3 + 2*f**2 + 3*f - 2. Let p be q(-3). Suppose 2*a - p = -5. Is a prime?
False
Let a(s) = 37*s**2 + 3*s - 21. Is a(4) composite?
True
Let c = -5 + -1. Let m(h) = h**3 + 7*h**2 + 5*h - 3. Let v be m(c). Suppose -v*o + 3*s - 5 = -5*o, 22 = 5*o - 2*s. Is o a prime number?
False
Suppose -4*h = 83 - 2439. Is h composite?
True
Let a(y) = -6. Let r(g) = -g + 5. Let b(m) = 4*a(m) + 5*r(m). Is b(-2) a composite number?
False
Let i(d) = 41*d**3 + 2*d**2 + d + 7. Is i(3) prime?
False
Let f(d) = 49*