 m(u) = -u**3 + 3*u - 2. Let q be m(1). Suppose -2*s + 127 + 299 = q. Is s a composite number?
True
Suppose -1005 = -6*z + 6273. Is z a composite number?
False
Suppose -15*n = -12*n + 6. Is (n + 9/6)*-1094 prime?
True
Suppose 2*k + 4 = 5*o, -2*o - 3 = k - 1. Suppose -3*t - y = -4*y - 24, -4*t - 3*y + 11 = o. Suppose 3*n + 4*m - 41 = -0*m, -2*n - t*m + 32 = 0. Is n prime?
True
Let t(m) = 2*m**2 + m - 3. Let a be t(-3). Let b be (-129)/(-2)*a/(-18). Let o = -6 - b. Is o a prime number?
True
Let m = -17 - -26. Suppose 0 = 10*c - m*c - 251. Is c a prime number?
True
Let t(g) = -1 - 25*g - 4 + 49*g. Let h = 14 + -9. Is t(h) composite?
True
Suppose 0 = -c - 3, 2*c - 4 + 6 = 2*k. Let j(t) = t**3 + 3*t**2 + 2*t + 1. Let h be j(k). Is h - (-2*1 - 124) prime?
True
Let i(o) = o**3 + 5*o**2 + 3*o - 5. Let q be i(-4). Let v(z) = 36*z**2 + 1. Is v(q) prime?
True
Let u = 26 + -23. Let c(j) = -j**3 + 3*j**2 + 6*j - 6. Let x be c(4). Suppose u*l - x*l = 33. Is l composite?
True
Let k(t) = 23*t - 4. Is k(13) composite?
True
Let x = 3 - 7. Let v = x + 23. Is v a prime number?
True
Let q(l) = 28*l - 3. Is q(19) prime?
False
Suppose 0*a + 319 = a. Is a composite?
True
Let a be ((-12)/(-9))/(4/138). Let i = 77 - a. Is i prime?
True
Let v = -459 + 1453. Suppose -2*m = -4*f - m + v, 5*f - m - 1243 = 0. Is ((-3)/(-9))/(1/f) composite?
False
Let g(v) = -v**3 - 7*v**2 + 2*v + 10. Let j be g(-8). Suppose -4*z = -270 + j. Is z prime?
True
Let l(r) = 2*r**2 + 35*r + 60. Is l(-27) a composite number?
True
Suppose -5*m - 10 = 30. Let o = m - -59. Is o composite?
True
Let t = -153 - -260. Suppose 3*c - t = -2. Is c prime?
False
Let w(a) = -1 + a**2 + 0*a**2 + 2. Let s be w(-1). Suppose -79 = -s*v - 13. Is v composite?
True
Let i(h) = -h**3 - 4*h**2 - 3*h + 3. Let j be i(-3). Suppose u + 1320 = 5*y, -3*u + u - 785 = -j*y. Is y a prime number?
False
Suppose -62*n + 53*n + 9081 = 0. Is n composite?
False
Let j = -2 - -6. Suppose 5*w = 4*x + 4*w - 4265, -j*x + 3*w = -4259. Is x composite?
True
Let z = 705 - 494. Is z a composite number?
False
Let v(f) = f**3 + 3*f**2 - 4*f - 2. Let w be v(-4). Let a be 1/w + (-4)/(-8). Suppose -x + 8 + 6 = a. Is x a prime number?
False
Let a be (6 + -5)/((-2)/(-4)). Suppose 20 = -2*s + 4*d, 3*s + a*s + 3*d - 2 = 0. Is s/(-6) - 652/(-6) prime?
True
Suppose -2*p - 3354 - 829 = -f, 0 = 5*p + 4*f + 10490. Suppose 0 = -3*s + s + 8. Is p/(-22) - s/22 prime?
False
Let z(r) = -r**2 - 22*r - 52. Is z(-15) prime?
True
Let a(c) = c - 1. Let o be a(6). Let s = -20 + 38. Suppose o*t - 9 = j, -s = -j - 3*t - t. Is j a prime number?
False
Let z(y) = 317*y - 18. Is z(13) composite?
True
Suppose 3*n = -n. Let o be (-1)/3 + (-115)/(-3). Suppose 0 = -4*q - 3*s + 222, -2*q - 4*s + o + 68 = n. Is q a prime number?
False
Let m(i) = i + 7 - 2 + 2*i + 0*i. Is m(6) composite?
False
Let o be 45/12 + (-1)/(-4). Let l be (46/o)/((-2)/(-12)). Suppose -3*b = 5*n - 92 - l, 3*n - 87 = -5*b. Is n composite?
True
Is -422*((-3)/2 - -1) a prime number?
True
Let m(q) = 8*q**2 + 25*q - 11. Is m(-6) a prime number?
True
Let p(s) = -s - 1. Let n be p(-3). Let d = -308 - -512. Suppose -n*o + 6*o = d. Is o prime?
False
Suppose 2*x - 12 = -x + 2*k, -4*x + 16 = -k. Is (-2)/4 + 78/x a composite number?
False
Let a = 2611 + -954. Is a a composite number?
False
Let q be 2/9 + 25/9. Suppose 3*r - 571 = r + 5*t, 577 = 2*r - q*t. Is r composite?
False
Let w(u) = u**3 - 14*u**2 - 10*u - 8. Let b(o) = 3*o**3 - 29*o**2 - 21*o - 17. Let y(i) = 2*b(i) - 5*w(i). Let m be y(-5). Let x = 208 - m. Is x a prime number?
True
Suppose -3*r - 660 = -3*a, -2*a - 1145 = 5*r + 2*a. Let l = r - -424. Is l prime?
True
Let o(x) = 9*x - 31. Let z(c) = -4*c + 16. Let t be (0 - -2 - 1) + 2. Let m(y) = t*o(y) + 7*z(y). Is m(0) a prime number?
True
Let j = 83 + -59. Suppose -4*r + 12 + j = 0. Is r prime?
False
Let v = 4 - 4. Suppose v = -2*r - 4*m - 21020, -52335 + 10334 = 4*r - 5*m. Is (-4)/(-10) - r/40 a prime number?
True
Let k = -98 - -299. Is k a composite number?
True
Let q(x) = 101*x + 1. Is q(12) composite?
False
Let v be (-4)/10 - 257/(-5). Suppose -3*r - v = -6*r. Suppose 2*t = -2*k + 26, -k = 3*t - 16 - r. Is t composite?
True
Let y = 37 - -1. Is y a prime number?
False
Let y be (-2)/6 - (-620)/6. Let b = y - 14. Is b prime?
True
Is 3/(-6)*-13*382 prime?
False
Suppose -5 = -3*f - 2. Let j(i) = 2*i**3 + i - 1. Let v be j(f). Suppose -v*y + 4 = 0, 4*x + x = y + 383. Is x a composite number?
True
Let w be (-1)/(3 - (-93)/(-30)). Suppose -3*f + 3 = -0, i - 4*f - w = 0. Is i a prime number?
False
Suppose 47*z = 48*z - 143. Is z composite?
True
Let o = 5 + -6. Let g = o - -4. Suppose 0*q = -g*q + 15, 42 = r + q. Is r composite?
False
Suppose -5*k + 9*k = 1772. Suppose k = 5*h - 822. Is h a prime number?
False
Let v(m) be the second derivative of 167*m**5/60 + 2*m**2 - 2*m. Let j(d) be the first derivative of v(d). Is j(1) prime?
True
Let y = -6 - -8. Suppose y*z - 4 = 4. Suppose -139 = -z*m + 169. Is m a composite number?
True
Suppose -5*t - 9 = -24. Let q = 1 + t. Is ((-30)/q)/(2/(-4)) composite?
True
Let g be -2*4/(-8) - 5. Is 3350/30 + g/6 prime?
False
Let f = 11 + -4. Suppose 3*b = 4*b + f. Let n(o) = -o**3 - 7*o**2 - 7*o + 6. Is n(b) a composite number?
True
Let n(g) = 7 - g - 2 + 0. Let z be n(5). Suppose z = 7*q - 3*q - y - 47, -34 = -2*q + 4*y. Is q a composite number?
False
Let k be 8/6 - 2/(-3). Suppose 7*f - k*f = 1535. Is f prime?
True
Suppose 0 = 8*o - 13*o. Suppose o = -w - 0*w + 9. Is w a composite number?
True
Let x = 468 - 323. Is x a prime number?
False
Let a(c) = -c**3 - 3*c**2 - 5*c + 1. Let w be a(-4). Let g(z) = 3*z**2 - 1 - 2*z**3 + 0*z - 4*z**2 + w*z**3 + 2*z. Is g(1) prime?
False
Let l(f) = -12*f - 7. Let s be 4*(-2)/4 - 1. Let o = -4 + s. Is l(o) prime?
False
Suppose -k + 702 = 3*d, 8*d + 3*k - 941 = 4*d. Is d composite?
False
Suppose -8*s + 20 = -3*s. Is (-18)/s*28/(-6) a composite number?
True
Suppose 4*d - 201 = d. Suppose 5*h + 246 = 5*a - 94, -a = -2*h - d. Is a a prime number?
False
Suppose -122 + 24 = 5*s - 2*a, -s + 2 = 5*a. Is 6/s - 728/(-6) a prime number?
False
Let u(k) be the first derivative of k**5/60 + k**4/12 + k**2/2 + 2. Let c(f) be the second derivative of u(f). Is c(-3) a composite number?
False
Suppose -15 = 4*o + j + 4*j, 4*j = -12. Suppose -5*k + 774 = x, o = 5*x + k + k - 3755. Is x a composite number?
True
Suppose -4*p = 5*v - 382 - 338, 2*v = -2*p + 362. Is p a prime number?
False
Let d = 726 - 47. Is d a prime number?
False
Let s be ((-2)/(-6))/(3/27). Suppose 28 = 3*y + 4*j, 3*y + s*j = -6 + 30. Is y a composite number?
True
Let x be -4 + 3 + -5 - -3. Let u(r) = -11*r**3 - 24*r**2 - 20*r - 3. Let v(c) = 7*c**3 + 16*c**2 + 13*c + 2. Let k(a) = 5*u(a) + 8*v(a). Is k(x) composite?
True
Suppose 0 = -11*w + 3233 + 386. Is w a composite number?
True
Let u = -117 + 422. Is u a prime number?
False
Let o be (75/(-6))/(2/(-44)). Suppose 3*m + 492 = 3*y, -2*y + 16 = 2*y. Let p = o + m. Is p composite?
True
Let x = 762 - 71. Is x prime?
True
Let q = -7 + 8. Let k be 3/(6/16) - q. Suppose l + 0*l - k = 0. Is l a prime number?
True
Let g = 2644 + -1361. Is g a prime number?
True
Let b(o) = o - 4. Let r be b(6). Let z be r - (3 - 1) - -7. Let y = 2 + z. Is y prime?
False
Suppose 4*h + 520 - 32 = 0. Let i = h - -209. Is i prime?
False
Suppose 4*i = -4*n + 16, 2*i = 4*n - 3*n - 1. Suppose -2*k + 8 = 3*k - 2*q, -n*k - 4*q = -10. Is 77/(0 + -1 + k) prime?
False
Let t(w) = 2 - w - 4 + 0. Let l be t(-6). Is -95*(l/(-2))/2 composite?
True
Suppose -4*b - 393 = -4*x - 1237, -5*x = -b + 211. Is b a prime number?
True
Let i(l) = l**3 - 22*l**2 - 19*l - 39. Is i(25) a composite number?
False
Suppose 2658 - 8988 = -6*q. Is q a prime number?
False
Suppose 1 = 2*j - 3. Is (j/(-6))/((-2)/654) a composite number?
False
Suppose 0*c + 4*c = q + 7356, -3*c + 5534 = -5*q. Is c a prime number?
False
Let v be 196/42 + (-2)/(-6). Suppose -3 + 5 = c. Suppose 0 = 2*z + c*m - 32, 2*z = -3*z + v*m + 60. Is z a composite number?
True
Let m be (-50)/2*(-8)/(-20). Let k be 115/m*-18*1. Suppose 0*l - 3*l + k = 0. Is l a composite number?
True
Let n(h) = -h + 439. Is n(0) a composite number?
False
Suppose -31 - 53 = -3*c. Let u = c + -9. Is u prime?
True
Let s(y) = -y**3 - 16*y**2 - 21*y - 19. Is s(-16) 