5*m - k - 50. Let o be g(m). Let j = 9 - o. Is j composite?
True
Let l be (4 + 0 + 0)/1. Let j be (l/12)/((-1)/(-15)). Suppose 5*o + 3*r = 389, -j*o - r + 401 = -4*r. Is o a composite number?
False
Let c = 234 - 137. Is c prime?
True
Suppose 3*b + 3*d - 8*d + 3 = 0, -4*b + d + 13 = 0. Let w(t) = -t**3 + 4*t**2 + 2*t + 5. Is w(b) a prime number?
True
Suppose 5*g + 25 = -3*q, 0 = 5*q - q + g + 5. Let a = 0 + q. Suppose n + a*n = 3. Is n prime?
True
Let f(a) = -67*a + 12. Is f(-7) prime?
False
Suppose -2*t = -4*s - 26, -2 + 36 = 3*t - s. Suppose 3*i = 206 - t. Is i a composite number?
True
Let z(o) = 48*o**2 + 2*o + 3. Let f be 10/4*(-32)/40. Is z(f) composite?
False
Let f = 1249 - 512. Is f prime?
False
Let y(c) = -c**2 - 2*c - 1. Let t be y(2). Suppose 107 = 4*r + 3. Let u = r - t. Is u a prime number?
False
Let g(c) = -47*c**3 + 2*c**2 - 1. Let y be g(1). Let m = y - -81. Is m a composite number?
True
Let g(r) be the second derivative of 3*r**4/4 + 5*r**3/3 + 33*r**2/2 + 2*r. Let m(d) = 4*d**2 + 5*d + 16. Let x(v) = 6*g(v) - 13*m(v). Is x(7) prime?
True
Let x be -4*62*(-3)/(-24). Let b be x - (-2 + -2 - -1). Is (b/(-6))/(6/9) a prime number?
True
Suppose 2*l = -4*t + 6, 0 = -3*l - 4*t + 1 + 6. Let c(k) = 3 + 2*k**2 + 8*k**3 + 2*k - 4 - 2*k**3 - l. Is c(2) prime?
False
Suppose 0 = 5*i - 2*r - 20, 5*i - r - 9 = 11. Let x(v) = 17*v + 4. Let h be x(i). Let p = h - -5. Is p composite?
True
Let v(r) = -2*r + 13. Let x be v(9). Let t be (-1)/2*(x - 461). Suppose -n - 3*d = -0*n - 71, -3*n - 4*d + t = 0. Is n composite?
False
Suppose w - 2405 = 2*i - 2*w, w - 4835 = 4*i. Is 5 - i - (1 - -1) prime?
True
Let z(r) = -r**3 - 8*r**2 + 6*r + 3. Is z(-10) prime?
False
Let p be 66*(-1 + 3 + -3). Let r = p + 100. Is r a composite number?
True
Let c(d) = -d**2 + d + 1. Let z be c(-1). Let k = 2 - z. Is k a composite number?
False
Suppose 6*r - 731 - 895 = 0. Is r prime?
True
Suppose -2*s - 4*p + 1358 = 0, 5*s + 1383 = -2*p + 4754. Is s a prime number?
True
Suppose 3*u + v = 7, 0 = 4*u + 4*v - 5 + 1. Suppose 0 = 4*i + 3*y - 125, -4*i = -u*i - y - 40. Suppose -5*r = 2*w - i, -3*r + 4*r - 7 = 4*w. Is r composite?
False
Let r(w) = 14*w**2 - 1 - 12*w**2 + 2*w - 156*w**3 - 2*w. Is r(-1) a prime number?
True
Let v = 80 - -81. Let z = -3 + 10. Is v*1*(z - 6) a composite number?
True
Is 488/5 - (-18)/(-30) prime?
True
Let j(d) = d**2 + d - 8. Suppose 24 - 4 = -2*n. Let b be j(n). Suppose l = -5*r + b + 349, 0 = r - 2*l - 95. Is r prime?
False
Let b(w) = w**3 - 3*w**2 + 7*w - 9. Let k be (-1)/(-3 - 44/(-16)). Is b(k) a prime number?
False
Suppose -h - 12 = -3*m, 12 = -2*m + m - 5*h. Suppose g + o - 576 = -m*g, 2*g - 5*o - 310 = 0. Is g composite?
True
Is (14/3)/(7/21) prime?
False
Let h(q) = -q**3 - 10*q**2 - 14*q + 6. Let j(k) = 2*k**3 + 20*k**2 + 27*k - 11. Let i(z) = -5*h(z) - 3*j(z). Is i(-13) a composite number?
False
Is ((-82)/(-4))/((-4)/(-24)) a composite number?
True
Let h(q) = -q**3 + 2*q + 1. Let y be h(-2). Suppose y*w = w + 2*u - 14, -4*u = -2*w - 22. Is ((-27)/(-6) + w)*2 prime?
True
Let j(o) = -4*o + 3261. Is j(0) prime?
False
Let x(w) be the third derivative of w**2 - 7/12*w**4 + 3/20*w**5 - 1/3*w**3 + 0 + 0*w + 1/120*w**6. Is x(-10) composite?
True
Let n be (-2 - 20)/((-4)/10). Suppose -4*b + 0*c + 30 = -2*c, 5*c - n = -3*b. Is b composite?
True
Is 9/((-45)/(-1250)) - (-1)/1 a composite number?
False
Suppose -r = -5*x + 4*r + 30, -3*x + 5*r = -18. Suppose -x*w + w + 265 = 0. Is w prime?
True
Let y = 7 + 80. Is y composite?
True
Suppose b - 2*l - 1179 = -2*b, -b - 5*l + 376 = 0. Is b prime?
False
Suppose 40 = -4*p + 4*x + 12, -3*p + 5*x - 29 = 0. Let m = p - -4. Is (13 - m)*(-6)/(-18) a prime number?
False
Suppose -4*a + 109 = -o, 2*a + 4*o = 70 - 20. Let w be 1*(-1 + -1 + a). Suppose -w = -4*y + 3*y. Is y composite?
True
Let y(x) = -78*x**3 + 8*x**2 - 3*x + 15. Is y(-4) prime?
True
Suppose 0 = 2*y - 743 - 95. Is y prime?
True
Let x(i) = -2*i + 14. Let y = -8 - -18. Let m be x(y). Is ((-4)/m)/((-4)/(-462)) composite?
True
Let y be 42/11 + (-4)/(-22). Suppose -y*q - q = -5. Suppose q = -s + 14. Is s a prime number?
True
Let a(b) = b - 6. Let l be a(9). Let o(y) = 2*y**2 + 2*y - 3. Is o(l) a prime number?
False
Let d = -16 + 18. Suppose -d*b - 295 = -7*b. Is b a prime number?
True
Suppose 4*h - 5*h + 7 = -w, -2*w + 2 = 2*h. Suppose 45 + 223 = h*a. Is a prime?
True
Suppose j = 3*j. Is 19 + j*2/6 a prime number?
True
Let i = 507 + -250. Is i composite?
False
Let x(r) = 2*r**3 + 9. Is x(5) prime?
False
Let v(j) = 2*j**3 + j - 2. Let c be v(2). Let a be (c - 1) + 1 + -1. Suppose 2*r = 4*x + 3*r - 73, 0 = 5*r + a. Is x composite?
False
Suppose n + v = 2*v + 198, 4*v + 195 = n. Is n composite?
False
Suppose 0 = -3*u + 12, 3*s = -5*u + 128 + 144. Suppose -5*d + d + s = 0. Let r = d - 10. Is r a prime number?
True
Suppose -14*s = -18*s + 12. Let z = s + 11. Is z composite?
True
Is 1798/6 + 18/(-27) a composite number?
True
Suppose 0*w = 9*w - 12249. Is w composite?
False
Suppose 2*t - b + 5*b = 34, -t - 5*b = -29. Suppose 4*v + 2*x - 4 = 0, 2 = 3*v + 4*x + t. Suppose -52 = -v*l - l. Is l composite?
False
Suppose -2*l = 4*o - 214, 5*o - 74 = -4*l + 189. Is o a prime number?
False
Let x(l) = 2*l**2 + l - 2. Let i be x(-2). Suppose -u = -i*c + u + 90, 5*c = u + 117. Suppose -3*k - k = -c. Is k a composite number?
True
Let k = 10 + -11. Suppose 2*o = -3*o - 55. Let n = k - o. Is n a prime number?
False
Let r(w) = w**2 - 8*w + 4. Let b be r(8). Suppose -b*v + 4 = -2*v. Is (10/15)/(v/57) a composite number?
False
Let o = 34 - -300. Is o a prime number?
False
Suppose -3*j = 3*m - 0*j + 90, -j = -3*m - 102. Let x = m - -59. Is x prime?
False
Let a(j) = 312*j - 59. Is a(4) a composite number?
True
Suppose -3 = -2*p + c, 9 = 2*p - c - 2*c. Suppose 11*a - 4*a - 3297 = p. Is a prime?
False
Is (1623/6)/(((-1)/(-2))/1) prime?
True
Is 4 + -1 + -2 + 162 prime?
True
Let r(j) = 42*j**2 - 15*j + 11. Is r(8) a composite number?
False
Suppose 5*z - 1305 = 3*z + j, -4*j - 12 = 0. Is ((-4)/(-6))/(14/z) prime?
True
Let u(f) = f**2 - 13*f + 13. Let z be u(11). Let h(p) = p**2 + 2*p - 2. Let g be h(-6). Let w = z + g. Is w prime?
True
Suppose i + i = -10, 0 = 4*d - 3*i - 1523. Is d composite?
True
Suppose 32 + 3 = 5*l. Suppose 4*t - 5 = l. Suppose 0 = 2*w + 3*w, t*u - 165 = -5*w. Is u composite?
True
Is -1 - -5 - (-5535)/5 a prime number?
False
Suppose 0 = 5*q - 5*l - 0*l - 105, -5*q - 4*l + 123 = 0. Is q composite?
False
Let j(s) = s - 2. Let t be j(3). Let x(b) = 2*b**2 + b - t - 4 + 4*b. Is x(-6) a prime number?
True
Suppose 0 = 5*c - 15, 0 = -s + 5*s - 4*c. Let k(f) = -s*f + 7 + f**3 + 4*f + 4*f - 3*f**2 + f. Is k(5) composite?
True
Let i be 1/(3/(-90)*2). Let c = i + 115. Suppose -208 - c = -4*v. Is v a prime number?
False
Let o = 1 + -1. Suppose -5*r + 2*s = -11, -r + 16 = -o*r - 5*s. Is -1 - r/((-3)/24) prime?
True
Let c(x) = 15*x + 6*x - 3 + 1. Is c(5) a composite number?
False
Suppose -w - 4*w + 10 = 0. Suppose 2*o - s - 7 = -w*o, 0 = 2*o + 3*s + 7. Let q(a) = 52*a + 1. Is q(o) prime?
True
Let z = -11 - -6. Let v(x) = -3*x**3 + 11*x**2 - 3*x - 19. Let o(u) = -4*u**3 + 16*u**2 - 5*u - 28. Let f(w) = z*o(w) + 7*v(w). Is f(-5) prime?
True
Let l(k) = -k**3 + 6*k**2 + 5*k + 9. Let h be l(7). Let n(p) = -16*p - 15. Is n(h) composite?
True
Let a be 338 - (0 - (-2 - -2)). Suppose -4*h = 0, 2*k - 2*h = h + a. Is k composite?
True
Let p = -26 + 23. Is ((-2)/6)/(p/477) prime?
True
Suppose -4*v = -4, 5*v = 2*t + 2*v - 281. Is t prime?
False
Is (-3)/(-15) - (23045/(-25) + 3) prime?
True
Let z = -10 + 12. Suppose -2*d - 2 = -0. Is 1*(d*z - -15) a composite number?
False
Suppose 2*p + 2 = 5*i - 0*p, 5*p = 4*i - 5. Suppose i = -4*z + 106 + 46. Is z prime?
False
Let b = 312 + -161. Suppose 158 + b = 3*n. Is n composite?
False
Is (-785)/(-10) + 6/(-4) composite?
True
Let m(b) = -19*b - 4. Let x be (-9)/6 - (-9)/(-6). Is m(x) a composite number?
False
Let u(r) = 34*r - 27. Is u(7) composite?
False
Let s(g) = g - 12. Let c be s(7). Let x = c + 10. Suppose -x*z - 5*t + 150 = 0, 2*z + 0*t - t - 69 = 0. Is z composite?
True
Let d(a) = -2*a + 3. Let r(q) be the first derivative of q**2/2 - 3*q + 1. Let b(w) = -2*d(w) - 3*r(w). Is b(11) composite?
True
Let i(l) = 3*l**2 + 30*l**2 - 4*l + 1 - 3 - 6*l**