
True
Is -1*(-4 - (-6 + 581)) a composite number?
True
Is (-8)/(-60) + 53144/120 prime?
True
Let c(h) be the second derivative of h**4/6 + h**3 + h**2/2 - 4*h. Is c(-12) prime?
False
Is (2 + -914)/(-3) + -1 + 4 a composite number?
False
Suppose 10*r = 4*r + 7362. Is r prime?
False
Suppose l = -2*l + 9. Suppose -o + 2*g - 66 = l*o, -4*g = -5*o - 90. Is o*((-2)/(-4) - 2) a prime number?
False
Suppose 0 = -2*u + 3*s + 512, 3*s + 261 = u - s. Is u a prime number?
False
Let t be 4/4 + (-1)/1. Suppose t = -p + 460 - 47. Is p composite?
True
Let w(y) = y**2 + 2. Let h be w(0). Is 640/15 + h/6 a composite number?
False
Let g be (-52)/12 + (-1)/(-3). Let v = g - -3. Is (v/(-3))/(3/63) a prime number?
True
Let a(p) = p**3 + 8*p**2 - 4*p. Suppose 0 = -3*j + 1 - 16, -2*i + 3*j = -41. Suppose 4*k + i = -15. Is a(k) a prime number?
False
Let t = 1 + 1. Suppose a + t*z = -2*z + 43, 0 = a + 2*z - 39. Is a prime?
False
Suppose -3*t + 302 = -646. Let d = -185 + t. Is d prime?
True
Suppose -d = -5*y - 226, -3*y + 2*d + 15 = 145. Let t = -8 - y. Is t composite?
True
Suppose 4*m - 130 - 2 = 0. Is m a prime number?
False
Suppose -4*t - t = -d + 23, 3*d + 5*t + 11 = 0. Suppose 45 = d*y + 2*h, -3*h + 30 = -0*y + 2*y. Is y composite?
True
Let y = 10845 + -7309. Suppose -5*d = -4*a + 4365, 5*a - 1869 - y = -4*d. Suppose 2*r + 3*r = a. Is r a composite number?
True
Suppose -4*u = -0*k - 2*k - 2, 9 = -3*k + 4*u. Let s(n) = -65*n - 10. Is s(k) prime?
False
Suppose 9 - 3 = 2*w, -5*g - 5*w = -3700. Is g composite?
True
Let o(l) = l**3 + l**2 + l - 1. Let g be o(0). Let c be g*(-2*1 - 1). Suppose x + c*z = 65, -4*x - 5*z + 2*z = -242. Is x a composite number?
False
Suppose -t - 9 = -4*t, 239 = r - 4*t. Is r prime?
True
Suppose 33 = 5*k + 3. Is 478/k - (-2)/(-3) prime?
True
Let m = 7 + -3. Let b = 152 + -41. Let x = b + m. Is x a prime number?
False
Let t = -8 + 18. Is (-2130)/(-25) - 2/t a composite number?
True
Is (1/(-2))/((-1)/614) composite?
False
Is 5/(-35) - ((-2328)/28 + 1) prime?
False
Is (-562)/(-8)*(-4 - -24) prime?
False
Let j(o) = o**3 - 3*o**2 - 6*o + 6. Let k be j(4). Let a = k - -2. Suppose 4*w = -a*w + 136. Is w a composite number?
True
Let i be (-3 - -1) + (1 - -4). Suppose i*a - 28 = -a. Is a composite?
False
Suppose l - m - 220 = 2*m, -l + 4*m + 219 = 0. Is l prime?
True
Suppose 0*y + 2*y = 178. Is y a composite number?
False
Let f(n) be the second derivative of n**4/6 - 8*n**3/3 - n**2/2 - 4*n. Is f(11) composite?
True
Let f(b) be the second derivative of 35*b**4/12 - b**3/3 - b**2 - 3*b. Let d be f(2). Suppose 5*i - 35 - d = -2*w, 5*w = 5*i - 190. Is i a composite number?
True
Let c = -4 + 6. Suppose -c*t + 85 = -241. Is t composite?
False
Suppose 4*p + 10 = 26. Let q be 1017/6 - (-2)/p. Suppose 5*b - q = 15. Is b composite?
False
Let k = 11 - 8. Is k composite?
False
Suppose -3*m + 443 = -334. Is m a composite number?
True
Let r(l) = 11*l**3 - 7*l**2 - 7*l - 17. Is r(8) prime?
False
Let o(b) = b**2 + 5*b - 2. Let h be o(-6). Let q be h/(3 + 1 + -3). Is (-182)/(-8) + 1/q a composite number?
False
Let y(x) = 5*x + 7. Let z be y(-8). Is (z/(-4))/(2/8) composite?
True
Let k = -1 - -4. Suppose 0 = f - k. Let a(m) = 5*m**2 + 3*m - 1. Is a(f) prime?
True
Let i = 0 - -6. Suppose 0 = -0*n + 4*n - 2*k, -i = -n + 2*k. Is ((-10)/(-6))/(n/(-66)) prime?
False
Let m(h) = h**3 + 3*h**2 - 2*h - 1. Let j be m(-4). Is 2 - (-1 + 2) - j a prime number?
False
Let t = -142 + 860. Suppose t = 5*m + 243. Is m a prime number?
False
Suppose 11456 + 1435 = 3*h. Is h a prime number?
True
Let p(q) = -2 + q**2 - q**2 + 3*q**2. Let n be p(-2). Let m(d) = d**2 - 8*d + 5. Is m(n) a composite number?
True
Let m be -2 + 42 - (0 + 2). Suppose -8 = -2*a + m. Is a a prime number?
True
Let b = 43 + -16. Let o be 12 - (-1 + (-5 - -2)). Let v = b + o. Is v composite?
False
Suppose 5*y - 10 = 5*m, 3*y - m - 7 = -1. Suppose 0 = 3*p - x - x - 1255, -x = y*p - 839. Is p a prime number?
True
Suppose -5*a - 28 = -2*h - a, -4*a + 8 = 0. Suppose -3*p - 6 = -h. Suppose -3*g = -p*g + 14. Is g composite?
True
Let t(z) = 13*z**2 + 2*z - 1. Let m(d) = -d**2 + 2*d. Let g be m(2). Suppose 2*k = -o + 2, g = -o - 3*o. Is t(k) composite?
True
Let h be (-3 - -4)*(-3)/(-1). Suppose 0 = -4*x + h*x + 89. Is x composite?
False
Let b(x) = -8*x + 7. Let o be -8 + (-1 + 4)/(-1). Is b(o) a composite number?
True
Let p = -123 - -208. Is p a composite number?
True
Let q = 201 + 106. Is q prime?
True
Suppose 0 + 8 = 2*l. Suppose -154 = 2*y - l*y. Is y a prime number?
False
Suppose 1 = 4*z - 3. Let g(w) = 3*w + 6. Let h be g(-4). Is 2/(-4)*h - z prime?
True
Suppose s - 1 = 2. Suppose 0 = -s*y - 2*j + 401, y + y = -4*j + 278. Is y composite?
False
Suppose -21 + 7 = -4*r - v, -4*v + 8 = 0. Suppose -82 = -2*n - 5*u, 0 = -2*n + 2*u - r*u + 66. Is n a prime number?
True
Let v be (160/(-5))/(2/4). Is (v - 10)/(0 + -2) a prime number?
True
Let a be (1/(-2))/((-1)/30). Suppose -2*f + 20 = 2*f, -3*d + 20 = f. Let j = a - d. Is j prime?
False
Let u(p) = p + 3. Let s be u(-4). Is (-1)/(((-3)/(-423))/s) prime?
False
Let d(m) = 2*m + 1. Let z be d(1). Suppose z*h - 96 = -3*f, 13 = 2*h - 3*f - 61. Suppose k - h - 3 = 0. Is k a prime number?
True
Let y = -40 + 523. Suppose -3*t + y = -0*t. Is t a prime number?
False
Let k = -5 - -1. Suppose -3*o - 8 = -4*q, 3 = -2*q + 3*q - o. Is (-186)/k + q/(-2) composite?
False
Suppose 0 = 4*z - 7*z. Let k = z + 1. Let q(r) = 30*r**3 + 2*r - 1. Is q(k) a prime number?
True
Let x be -2 - -1 - -2 - -1. Suppose x*s = 2*h - 46, -5*h - 5 = s - 0*h. Let f = 51 + s. Is f a prime number?
True
Let t(o) = -47*o**3 + o**2 + 2. Is t(-2) a prime number?
False
Suppose -3*t + 162 = -3*n, 2*t + 2*n = n + 120. Is t a composite number?
True
Let y(d) = -217*d + 5. Let c be y(-3). Let k = -405 + c. Is k prime?
True
Suppose -1814 = 3*q - 9245. Is q a composite number?
False
Let x = -3 + 3. Suppose x = -4*f + 2*f + 194. Suppose 2*a + 2*y = 252 - 58, a - y = f. Is a a composite number?
False
Let j(t) = t**3 - 2*t**2 - 2*t - 3. Let u be j(3). Suppose m = -u*m + 111. Is m a composite number?
True
Let k(p) = -p**3 - 8*p**2 - 6*p + 5. Let f be k(-7). Let y be (-2)/(-3)*21 + f. Let n = y - -7. Is n prime?
True
Suppose g + 4*p - 8 = 0, -2*p - p = -2*g + 5. Suppose l = -g*t - 9 + 25, 2*l = 0. Suppose -3*z + 22 - 104 = -t*r, 54 = 2*r + 5*z. Is r prime?
False
Let p = 36 + -52. Is 229/4 - (-4)/p a prime number?
False
Suppose 2*a - 5*a = -1239. Is a composite?
True
Let l(b) = -b**3 - b**2 + b. Let d(w) = -16*w**3 + 7*w**2 - 4*w - 1. Let k(t) = -d(t) - 4*l(t). Is k(2) a composite number?
False
Let j be (-2585)/(-2) + (-4)/8. Suppose 0*a + j = 4*a. Is a a prime number?
False
Let g(x) = 0*x + x - 3 - 7*x. Let t be g(-7). Suppose 0 = 3*h - 4*h + t. Is h a prime number?
False
Suppose -2*c - 4 = -110. Is c composite?
False
Let k(z) = 8*z**3 + z**2 - z. Let t be k(1). Suppose t = -4*n, 2*n = -u + 7*n + 13. Suppose j - 268 = -u*j. Is j a prime number?
True
Let o(h) = h**3 + h**2 + 2*h + 305. Is o(0) a composite number?
True
Suppose -5*i - 11 = -3*i - 3*q, 2*i + 3*q = 19. Let a(f) = -i + 3 + 3*f - 9*f. Is a(-3) prime?
True
Suppose 2*n + 2*n = 812. Suppose -2*z = n - 673. Is z composite?
True
Let s(j) = -61*j + 7. Let r be s(6). Let i = -246 - r. Is i a composite number?
False
Suppose -6 = 3*n - 27. Is n composite?
False
Suppose -a + 190 = -87. Let s(r) = 5*r**3 - r**2 + r - 1. Let f be s(1). Suppose a = l + 2*l - f*w, -2*l - 5*w = -177. Is l composite?
True
Let k = -3 - -7. Suppose 0 = -k*c + 5 + 7. Is c composite?
False
Let k be 822/(5 - 2) - 3. Let h = -128 + k. Suppose -2*y = -111 - h. Is y prime?
True
Let k be 0 - -1 - (0 + 2). Let m(y) = 6*y**2 - y. Is m(k) a prime number?
True
Is -1 - ((7 - 3) + -4576) a composite number?
True
Let n(a) = -2*a**2 - 6*a - 1. Let r be n(-5). Let q = r - -15. Let s(h) = h**3 + 10*h**2 + h + 1. Is s(q) a prime number?
True
Let f be (-20)/3*396/30. Let d = f - -159. Is d composite?
False
Suppose 0 = 2*m + v - 10, 0 = -4*m + m + v + 10. Suppose 2*u - 64 = -3*w, -3*w + 168 = m*u - 7*w. Is u prime?
False
Let d(x) = x**3 + 6*x**2 + 2*x + 7. Let l(m) = -m**2 - m + 1. Let i be l(-3). Is d(i) composite?
True
Let o(i) = i**3 - 2. Suppose -3*d - 15 = 0, -3*d = 2*y + 16 + 3. Let j be o(y). Let a = -3 - j. Is a prime?