s p a prime number?
False
Suppose -2*r - 8080 = -4*z, -4184 - 5925 = -5*z - 2*r. Is z prime?
False
Let t(r) = 3*r**2 - 13*r - 1. Let k(q) = 2*q**2 - 7*q. Let i(n) = 5*k(n) - 3*t(n). Let v(x) = x**3 + 4*x**2 + 4. Let m be v(-4). Is i(m) composite?
True
Let r(c) = -6 - 4*c + 2*c + c. Let t be r(-9). Suppose -5*h + t*h = -28. Is h a composite number?
True
Let g(y) = 2*y**2 + 2*y. Let m be g(-2). Let p be (-2 + m)/((-4)/(-6)). Suppose -p*o + o + 70 = 0. Is o a composite number?
True
Suppose -7*w + 3*w - 5*j = -3066, -4*j + 2299 = 3*w. Is w composite?
False
Let d be (-16)/(-7) + 2/(-7). Let h be (-20)/(-25)*5/d. Suppose j + 3 = h*j. Is j a prime number?
True
Let k = 246 - 136. Suppose 295 = 5*d + k. Is d a prime number?
True
Let n(m) be the first derivative of m**4/4 - m**3/3 + m**2 - 9*m - 2. Is n(6) a composite number?
True
Suppose 2*x + 12 = -4*o - 0*x, -8 = -2*x. Let m = o + 7. Is m a composite number?
False
Let s = -14 - -19. Suppose -965 = -s*f + 1305. Is f prime?
False
Let b = -1 - -4. Let x = b - 1. Suppose q + 24 = x*c - 203, -c + 118 = q. Is c prime?
False
Is ((-32)/20)/(-2) + (-14055)/(-25) a composite number?
False
Suppose 2*h = -h + 33. Let i(x) = x**2 - 9*x + 9. Is i(h) a prime number?
True
Let f = 1033 + 244. Is f composite?
False
Let j be 1/2*-2 + 6. Suppose -j*l - 6 + 41 = 0. Is l a prime number?
True
Let d = 59 - 111. Is d/(-5) + 4/(-10) a composite number?
True
Let f(g) = 24*g**2 - 8*g - 5. Is f(6) a composite number?
False
Suppose o - 2*v - 3442 = -7*v, 0 = -3*o + 5*v + 10386. Is o a prime number?
True
Is ((-2)/6)/((-2)/1986) prime?
True
Let l be (-23 + -2 + 0)*1. Let r be -3 + (5 + -3)*l. Let g = -32 - r. Is g composite?
True
Suppose 0*c + 2*c - 92 = 0. Suppose 4*m - c = 62. Let x = m - 14. Is x prime?
True
Is 2*(51/2 + 1) prime?
True
Let i be -1*(0 - 3) - -1. Suppose -i*x - x = 3995. Is 6/27 + x/(-9) a composite number?
False
Suppose -12 = 4*d, d + 0 + 7 = r. Suppose -r*u + 21 = -u. Is u a composite number?
False
Suppose -3*d + 5*q - 28 = -3, -5*d - 2*q = -10. Suppose -3*n = 3*v - 93, 4*n = -3*v - d*v + 124. Is n a composite number?
False
Let t(x) = 20*x**2 + 3*x + 2. Let u be t(-6). Let r = -411 + u. Is r prime?
True
Let m(c) = -c**3 - c**2 - c - 380. Let r(z) = 1. Let i(k) = -m(k) - r(k). Is i(0) a composite number?
False
Is (-6 - (2097 + -4))/(2/(-2)) composite?
False
Suppose 0 = -5*h - 3*f + 2487, 5*f + 614 - 3099 = -5*h. Let r = h - -185. Is r a composite number?
False
Let a(s) = s + 6. Let n be a(-6). Let u = 3 + n. Suppose 54 - 9 = u*z. Is z prime?
False
Suppose -347 = 3*j + 220. Let q = 380 + j. Is q prime?
True
Suppose 5*m = m + 124. Is m a composite number?
False
Let q(z) = -z**3 + 13*z**2 + 8*z + 29. Is q(10) composite?
False
Let x(t) = t**3 - 8*t**2 - 11*t + 14. Let k be x(10). Is -3 - k*2*-1 a composite number?
True
Let c(b) be the first derivative of b**4/4 + 7*b**3/3 - 9*b**2/2 - 2*b + 1. Let y be c(-7). Let d = -38 + y. Is d a composite number?
False
Suppose 5*v = 344 + 21. Suppose 4*c + v = 261. Is c a prime number?
True
Suppose h = 5*h - 660. Suppose -3*x + h = -0*x. Is x a composite number?
True
Let o(y) = 10*y**2 - 6*y - 3. Let g be o(-6). Let v = g + -214. Is v prime?
True
Suppose 5*v = -3*w + 940, -v + 40 = 3*w - 136. Is v a composite number?
False
Let b(d) = -d + 6. Let j be b(7). Is j - (8 + -2)*-12 a prime number?
True
Let a(o) = 4*o**2 + 11*o - 11. Suppose 0 = 4*j - 3*w - 20, w = 0. Let f(l) = -3*l**2 - 10*l + 10. Let y(d) = j*f(d) + 4*a(d). Is y(6) prime?
False
Let r = -1885 - -2767. Suppose 5*w - 3*i - r = 0, -3*i = w + 4*w - 888. Is w composite?
True
Let v(c) be the second derivative of c**4/4 + 5*c**3/6 + c**2 + 4*c. Is v(-3) a prime number?
False
Suppose 4*p - 2*p = 8. Suppose -2*c = 3*n - 137, -p*n + 4*c = -0*n - 216. Is n a composite number?
True
Is (-3)/12 - 4071/(-12) composite?
True
Let r be (-212)/20 - (-2)/(-5). Let n = r + 18. Is n a prime number?
True
Is ((-116)/8)/((-3 + -2)/230) prime?
False
Suppose -3*z - z - 4*i + 8 = 0, 4*z + 1 = -i. Let q(v) be the second derivative of -53*v**5/20 - v**3/6 - v**2/2 + 3*v. Is q(z) prime?
True
Suppose 2*q = -2*q + 1956. Is q prime?
False
Let d(w) be the second derivative of -w**4/12 + 5*w**3/3 - w**2 + 3*w. Is d(5) prime?
True
Suppose -i = -2*i - 5*c + 13, 3*i - 7 = c. Suppose 2*f - 4*w - 111 = -i*w, 2*w - 43 = -f. Is f prime?
True
Suppose 19 = 5*i + 2*u + 2*u, -8 = -4*i - 5*u. Let n be (2/i)/(1/7). Suppose 6*o - 36 = n*o. Is o composite?
True
Let a(h) = -h**2 + 27*h - 5. Is a(18) a prime number?
True
Let t be (502/(-5))/(3/(-15)). Let h = t - 343. Is h prime?
False
Let t(s) = s - 3. Let w be t(5). Suppose 3*p + 9 = 0, c - 190 = -w*p + 121. Is c composite?
False
Let n be 15 + (-2)/(-4)*-4. Suppose -2*q - 1 = -n. Is q a composite number?
True
Let r(b) = b**3 + 6*b**2 - 2*b - 9. Let v be r(-6). Let h(s) = 21*s + 20. Let u(m) = 14*m + 13. Let q(d) = -5*h(d) + 8*u(d). Is q(v) a composite number?
True
Is 2 + 6676/5 - 2/10 a composite number?
True
Let m = -5 - 1. Is (-764)/m - (-7)/(-21) a composite number?
False
Let v be (-26)/(-10) - (-6)/(-10). Let g(m) = 14*m**2 + 2*m + 1. Let d be g(v). Let i = d + -42. Is i prime?
True
Let u(v) = -4*v**2 - 5*v + 4. Let h be u(3). Is 5*(-1 + 0)*h a prime number?
False
Let v = 2059 - 1428. Is v a prime number?
True
Let b be (6/8)/((-3)/(-36)). Let x be 26*b + 0 + 1. Suppose 0 = -5*p + 3*i + 235, 3*i - x = -5*p + 8*i. Is p a composite number?
False
Let b(q) = q**3 - 9*q**2 - 11*q + 12. Let x be b(10). Is -3 + (x - -40 - 2) composite?
False
Let z = 543 + -349. Is z prime?
False
Suppose -2*j - 2*j = 0. Suppose 5*a - 7 + 17 = j, 14 = 4*h - a. Is h composite?
False
Suppose -3*g = -2*g - 677. Is g composite?
False
Let l = 45 - -4. Is l a composite number?
True
Let l = 294 - -227. Is l a prime number?
True
Let q be 3*(93/(-9) - -3). Let u = q + 33. Is u prime?
True
Let m(v) = 8*v**3 + 3*v**2 + 5*v + 3. Is m(4) a prime number?
False
Suppose -6*p + 651 = -3*p. Is p a prime number?
False
Let a = 10 + -5. Suppose 0*d = -a*d + 70. Is d composite?
True
Let o = -219 + 494. Suppose -3*r - 2*r + o = 0. Suppose -r = -0*u - 5*u. Is u composite?
False
Let n be 0*1/(-3) - 0. Suppose n = 4*k + 3*d - 305 - 203, -3*d - 635 = -5*k. Is k a prime number?
True
Let s be ((-8)/(-10))/(10/75). Suppose 0 = -4*m + 2*w - 16, -2*m - 2 = 5*w + s. Is (22/4)/(m/(-56)) a composite number?
True
Let u be 890/25 - (-2)/5. Let x = u - 13. Is x a prime number?
True
Suppose 5*w + 3*y - 178 = 0, 0*y + 4*y + 130 = 3*w. Suppose 0 = 2*j - j - w. Is j composite?
True
Let o(r) = r**3 + 10*r**2 + 6*r + 5. Let l be o(-8). Let w be l + -4 + 3 + 1. Let a = -50 + w. Is a prime?
False
Let k(o) = -2*o + 7*o**2 + 0*o**2 + 4*o**3 - 1 - 3*o**3. Is k(-5) prime?
True
Let n(k) = -k + 30*k**2 + 11*k**2 + 2 - k. Is n(-3) a composite number?
True
Let m be 1 + 0/(3/(-3)). Let d(b) = 84*b**3 - b**2 + 1. Let z be d(m). Let n = 143 - z. Is n a prime number?
True
Suppose -2*v + 948 = 4*o, -o + 231 = -3*v + 2*v. Is o a composite number?
True
Suppose 3*n - 1763 = -479. Suppose -3*g + n = -g. Suppose 5*v - g = -39. Is v a composite number?
True
Let l(d) = -4*d**2 - 7. Let g(h) = -7*h**2 - 15. Let c(q) = -3*g(q) + 5*l(q). Is c(7) prime?
True
Let b(l) = l + 389. Let m = 4 + -4. Is b(m) composite?
False
Let s(k) = -3*k**3 + k**2 + k. Let y be s(-1). Let u be (0 + -1)/(y/18). Let c = u - -12. Is c composite?
True
Suppose 5*b - i + 23 = 0, 4*i + 4 = -b + 12. Let n be -2 + 2 + -1 - b. Suppose 4*w - n*m - 353 = -79, 3*w - 5*m - 211 = 0. Is w a composite number?
False
Let c(u) = -2*u**3 - 3*u - 3. Suppose 4*i + 8 = 4*p, 2*i + i + 3*p = 6. Suppose i = -r - 4*r - 10. Is c(r) a prime number?
True
Let i(a) be the second derivative of a**7/2520 - a**5/120 - a**4/6 - 2*a. Let y(r) be the third derivative of i(r). Is y(-2) composite?
False
Let a(b) = 3*b**3 + 2*b**2 + 22*b + 7. Is a(8) a prime number?
True
Let z = -2162 + 6840. Suppose 5*y = -1223 + z. Is y composite?
False
Suppose -5*c + 4*z = -1336, 0 = 3*z + 2 + 10. Let w = c - 120. Suppose 4*j - 92 = w. Is j a composite number?
False
Let i(y) = -5*y - 5. Let c(u) = 11*u + 11. Let t(p) = 4*c(p) + 9*i(p). Let l be t(0). Is l + (0 + 1)*16 a prime number?
False
Let z(t) = 3*t**3 + 33*t**2 - 56*t - 13. Let h(l) = l**3 + 11*l**2 - 19*l - 4. Let u(f) = 1