se 0 = 8*j - 0*j - x. Is j a prime number?
False
Let q(b) = 7*b**3 - 36*b**2 - 37*b + 53. Let y(c) = 11*c**3 - 54*c**2 - 56*c + 80. Let n(z) = -8*q(z) + 5*y(z). Is n(17) a prime number?
False
Let y = -1307 + 616. Let r = y + 1322. Is r composite?
False
Let r be (-2)/3 + (-1)/((-12)/8). Suppose -d - 167 = -m, -3*m + r*d + 4*d = -505. Is m prime?
True
Let k be -2 + (-4)/(-4) - -3. Suppose 4*p + p - 67 = -2*v, -4*p = -k*v - 68. Is -235*(3 - 51/p) a composite number?
True
Let n(f) = 3*f - 2. Let t be n(3). Suppose -t*k + 84 = -28. Suppose -k = -4*h + 124. Is h prime?
False
Suppose 3*v + 2*v - 85225 = 0. Suppose 6*n - v = 10237. Is n a prime number?
True
Let n = 931 - -10418. Suppose -4*u - s = -n + 1900, 2*s = -u + 2357. Is u a prime number?
False
Let l(d) = -272*d + 1. Let n(m) = -m**2 - 2*m - 1. Let b be n(-2). Let y be l(b). Suppose -3*c + y = -72. Is c a composite number?
True
Let a = 377 - -104. Suppose m - 3*x - a = 0, -4*m + 0*m + 2*x = -1874. Is m prime?
False
Let b be 80/(-24)*(-204)/10. Let y = b + -123. Is (y/10)/((-2)/52) prime?
False
Let v = 2955 - 1478. Is v a prime number?
False
Let m(r) be the third derivative of -51*r**7/280 - r**6/720 - r**5/15 + 4*r**2. Let d(a) be the third derivative of m(a). Is d(-1) composite?
True
Let s = 72074 - 39981. Is s composite?
True
Let p be 1*(-23 - (2 + 4/(-1))). Let x(s) = -47*s - 4. Is x(p) prime?
True
Suppose 0 = 5*w + 5*l - 4285, 0*l = -2*w + l + 1720. Is w composite?
False
Suppose -4*h + 58972 + 124324 = 0. Suppose -h + 17372 = -12*n. Is n a composite number?
False
Suppose 2*b = 5 + 13. Suppose 0 = b*o - 4*o. Suppose o = -3*t - 6*u + u + 278, 0 = 5*t - 3*u - 452. Is t a composite number?
True
Let t = -553 + 302. Is 4 + -2 + (0 - t) prime?
False
Let s(a) = 8*a**2 + 3*a + 2. Let o be ((-3 - -3) + 2)/((-4)/8). Is s(o) composite?
True
Suppose -6*k = 4*k - 30. Let c(z) = 18*z**3 - 2*z + 5. Is c(k) prime?
False
Suppose -2*d + 0*d + 12 = 0. Let o be d/(-24) - 39/(-12). Suppose 0 = 4*w + s - 779 - 421, 911 = o*w - 2*s. Is w a prime number?
False
Suppose 3*m - 12 = -0*m. Suppose -m*t = -9 - 19. Is t a composite number?
False
Let t = 44135 - 18981. Is t composite?
True
Suppose -5*p + 3*r = -2*p - 4809, 0 = 5*p + r - 8015. Is p a composite number?
True
Suppose -5*h - 2*h = -105. Suppose -h*u + 3*u + 33348 = 0. Is u a prime number?
False
Suppose -8*l + 32 = -4*l. Let v(k) = 5*k**3 + 5*k**2 - 18*k + 5. Is v(l) prime?
True
Suppose -5*s + 139 = -101. Is (-2*(-894)/s)/(1/4) composite?
False
Let f = 12259 - 8678. Is f composite?
False
Let x = 13 - 10. Suppose x*w + w = 1004. Is -6*3/(-6) + w a prime number?
False
Is (3*(-1)/(-3))/((-17)/(-801839)) a composite number?
True
Suppose 0 = -i + 4*k + 16, -3*i + 5*k + 9 = -18. Suppose 0 = i*q + y - 1282 - 1102, 2*q - 5*y = 1214. Is q prime?
False
Suppose 8*g + 13508 = 12*g. Is g prime?
False
Let s(g) = 752*g - 20. Let h be s(13). Let t = h + -5767. Is t composite?
False
Suppose -g - 16769 = -5*a, -3*g + 3074 = 3*a - 6973. Is a prime?
False
Let p(g) = g**2 + 8*g - 1. Let i be p(-9). Is (i/(-12))/((-2)/5529) a composite number?
True
Suppose 2*a - 4*p - 16 = -4, 2*a - 2*p - 8 = 0. Is (13 - -1808) + (-2*a)/(-2) a prime number?
True
Let m(t) = 311*t + 8. Is m(3) a prime number?
True
Let q = 4056 + -2413. Is q a composite number?
True
Suppose 4*l = -49*o + 50*o - 16605, 3*l - 66382 = -4*o. Is o a composite number?
True
Let k(b) = 554*b**2 - 7*b + 16. Is k(3) composite?
True
Suppose -3*i = -3*j - 12, 7*j = -5*i + 4*j + 4. Suppose -2805 = -2*c - h, -6*c = -i*c - 2*h - 5630. Is c a prime number?
False
Let u(a) = a**3 - 15*a**2 + 2*a + 14. Let b be u(14). Let w be b/(-33) + 2/(-3). Suppose -5*v = 3*p - 30, w*p - 3*p = 0. Is v a composite number?
True
Suppose 0 = 8*p - 3350 - 31586. Is p composite?
True
Suppose l + 1 = 0, r - 5*l - 10 = -2. Is (1080 - -5) + (r - 1) a prime number?
True
Suppose 0 = 17*h - 138363 - 126310. Is h composite?
False
Let p(f) = 12*f**2 + 42*f + 203. Is p(-33) a composite number?
True
Let b(a) = -a**3 - 13*a**2 + 8*a + 23. Is b(-23) a prime number?
False
Let w(x) = 29*x**2 + 2*x + 5. Let c(p) = 1. Let u(b) = -4*c(b) + w(b). Is u(-8) composite?
True
Let z(x) = -x**2 + 5*x - 3. Let s be z(4). Suppose 243 = 3*r - n, -r + 15*n + 71 = 18*n. Let f = r - s. Is f composite?
False
Let b be -3*16/(-36)*3. Suppose -h + 215 - 43 = b*j, -4*h = 0. Is j*(2 + -3 + 2) composite?
False
Suppose -80*y + 251097 = -312503. Is y prime?
False
Let o(b) = -9*b + 7*b + 21*b - 11. Is o(10) composite?
False
Let n = 1232 + 10014. Is n composite?
True
Let t = 30 - 28. Is ((-2625)/(-10) + 4)/(1/t) a composite number?
True
Suppose 0 = -106*a + 102*a - 4*d + 73604, 0 = -4*a + 2*d + 73580. Is a prime?
True
Let p(k) = k**3 - 4*k**2 + 2*k - 1. Let j(o) = -o**2 - 14*o - 1. Let u be j(-12). Let f = u - 17. Is p(f) prime?
True
Suppose 0*u = -3*u. Suppose u = -2*v - v + 1089. Suppose 3*q = 120 + v. Is q composite?
True
Suppose -2*o + 36 = 5*p, -p + 3*p - 22 = 3*o. Suppose -p*l = -13*l + 5815. Is l prime?
True
Let p(a) = -a**3 + 9*a**2 - a + 11. Let f be p(9). Suppose -2*b = 4*g - 2*g - 40, 5*g = -f*b + 37. Suppose j + 2*j = b. Is j a prime number?
True
Let s(c) = 8*c - 33. Let i be s(7). Let z(m) = 24*m + 79. Is z(i) composite?
False
Let n = 5056 + -7306. Let w = 3595 + n. Let o = w - 932. Is o composite?
True
Let v(i) = i + 1. Let k(h) = h**3 + 7*h**2 + 11*h + 9. Let f(o) = -k(o) - 2*v(o). Suppose -4*p = -15 + 55. Is f(p) a prime number?
True
Let f(h) = 231*h**2 + 99*h**2 + 1 + h - 14*h**2. Let q be f(-1). Suppose -3*t + 7*d + q = 2*d, 0 = 4*d + 20. Is t a prime number?
True
Let j(r) = 3*r**3 - 12*r**2 + r + 10. Let a(q) = 4*q**3 - 11*q**2 + q + 9. Let w(n) = -5*a(n) + 4*j(n). Is w(-8) prime?
True
Suppose 2*h + 13 - 17 = 0. Let u(y) = 203*y**3 + 3*y**2 - 3. Is u(h) a prime number?
False
Let f = 5 + 0. Suppose -f*z + 3 = -57. Suppose 0*r + 6 = i - 2*r, 0 = -3*r + z. Is i a prime number?
False
Let h(n) = -n**3 + 10*n**2 - 4*n + 7. Suppose f - 5*q + q - 14 = 0, -2*q - 10 = -f. Suppose 4*i + f = 5*i. Is h(i) a composite number?
False
Let w = -377 + 787. Suppose -5*u - h + 805 = -u, 2*h + w = 2*u. Is u composite?
True
Let s be 3*(-2)/(-2) + -1. Let b(o) = -200*o + 5. Let v(g) = 40*g - 1. Let r(i) = 2*b(i) + 11*v(i). Is r(s) a prime number?
True
Suppose -t = t - 3*a - 995, 4*a - 2476 = -5*t. Let r = t - 67. Suppose -2*y = y - r. Is y composite?
True
Is ((-521818)/(-14 - -3))/(-1 - -3) composite?
False
Let n(u) = -u. Let m(g) = -68*g**2 - 7*g - 5. Let y(r) = -m(r) + 2*n(r). Is y(-4) a prime number?
False
Let q(j) = -47 + 18 + 10 + 5*j + 13*j. Is q(11) a prime number?
True
Let v(n) = 566*n - 197. Is v(12) composite?
True
Suppose 5*l - 1775 = 2*k, 6*l - 3*l = 4*k + 1079. Let s = l - 100. Is s a composite number?
True
Let o(t) = -t**3 + t**2 - 4*t + 2253. Let i be 3 + 0 - 8/(32/12). Is o(i) a prime number?
False
Suppose -2*k + 8*k - 90 = 0. Is (-1170)/(-4) - k/10 composite?
True
Let t(j) = 4*j**3 - 4*j**2 + 5*j + 4. Let b be t(4). Let f(o) = 33*o**2 + o + 1. Let v be f(-2). Let l = b - v. Is l a prime number?
False
Suppose 5*j - 5 = -3*s + 3, 3*j + 5*s = -8. Suppose -4*q = -j*p + 1172, 0*q = q. Is p a composite number?
False
Let t(n) = 8*n**3 - 24*n**2 - 22*n + 39. Is t(8) prime?
True
Suppose 0 = 1135*q - 1142*q + 1757. Is q prime?
True
Let l(f) be the third derivative of 27*f**4/8 - f**3/3 - 109*f**2. Let z = 0 - -1. Is l(z) a composite number?
False
Suppose 474*j - 99943 = 457*j. Is j a composite number?
False
Suppose 0 = 5*j + 4*r - 128315, -45*j = -50*j + 2*r + 128315. Is j a prime number?
False
Suppose 4*w - 41275 = y, 5*w + y + 7870 - 59466 = 0. Is w prime?
False
Let x = -15922 + 37893. Is x a composite number?
True
Is (-87)/6*454*51/(-51) prime?
False
Let o(g) = -7*g - 3*g - 3*g**3 + 12*g**2 + 2*g**3 - 12. Let v be o(11). Let d(k) = -54*k**3 - k**2 + k + 1. Is d(v) a composite number?
False
Let j be (-87)/(-15) + 1/5. Suppose 4*x = j*x. Suppose x = -o + 70 + 9. Is o a prime number?
True
Let i(h) = 16*h**3 - h**2 + 21*h - 30. Let p be i(7). Suppose 2*f + t - 6*t = 3691, -t - p = -3*f. Is f a prime number?
False
Let w(f) = 29*f - 1. Let l(a) = 3*a - 8. Let y be l(4). Let z be w(y). Let n = z + -60. Is n a prime number?
False
Let c(l) = 131*l - 33. Let w(q) = 44*q - 11. Let r(d) = 4*c(d) - 11