rivative of 73*x**6/20 - x**4/12 + x**3/6 - 6*x**2. Let j be i(1). Let y = j + 324. Is y prime?
True
Let b(g) = -25*g**3 - 7*g**2 + g - 6. Let j = -5 + 0. Is b(j) a prime number?
True
Let f(w) = w**3 - 12*w**2 + 3*w - 15. Let a be 3*1/(-3)*-14. Is f(a) composite?
False
Let n = 316458 + -163999. Is n a composite number?
False
Let h(u) = u**2 - 2*u + 6. Let z(x) = -1. Let a(d) = 2*d**2 - 6*d + 22. Let v(w) = a(w) + 5*z(w). Let m(k) = 8*h(k) - 3*v(k). Is m(-5) a composite number?
False
Let t be 6/(-12) - 462/4. Suppose -525 = -2*w - 135. Let u = w + t. Is u a composite number?
False
Suppose 5*k - 6*k = 0. Suppose -3*u + u + 152 = k. Suppose q - 51 = u. Is q composite?
False
Let r = 2275 + 2052. Is r prime?
True
Suppose 0 = 2*r + l - 37 + 12, -l + 53 = 4*r. Is -6074*(21/r + -3 + 1) prime?
True
Let g = -37 - -40. Suppose -3*m + 87 = g*c - 12, -2*m = -5*c + 193. Is c a prime number?
True
Let i = 231 - 443. Let x = -365 - i. Let w = x - -312. Is w prime?
False
Let k be (-32)/(-56) + 655/(-7). Let p be (-4)/(-22) + k/(-33). Is ((-138)/4)/(p/(-4)) composite?
True
Suppose -7*s = -s - 1338. Is s a composite number?
False
Let h be 8/12 + 8/(-12). Suppose t = -g + 331, 4*t + 993 = -h*g + 3*g. Is g a composite number?
False
Let f(n) = 125*n**3 - 2*n**2 + 10*n - 24. Is f(5) composite?
False
Suppose -42 = -4*s + s. Let p = s - 17. Is (-212)/p - 7/(-21) composite?
False
Suppose 2*j = -j - 1989. Is ((-68)/(-6))/((-26)/j) prime?
False
Let q = -622 - -628. Let p be 6/15 + (-44)/10. Is p/q + (-1473)/(-9) prime?
True
Let p(g) = 220*g**3 + 3*g**2 - 2*g + 2. Let m be p(2). Suppose -6*b = -m + 384. Suppose -b = -5*v + f - 5*f, 0 = 2*v + 3*f - 91. Is v a prime number?
True
Is (6 + 4 + (-2)/4)*454 composite?
True
Let c be 3/(-4*3/(-6136)). Suppose 0 = 3*n - 4*o - 6493, 2 + 1 = -3*o. Let u = n - c. Is u a composite number?
True
Let g be -10*(-3 - (-45)/25). Let v(y) = -6*y + 28. Let b be v(g). Is b/110*(-445)/2 a prime number?
True
Suppose 0 = -u - f + 5067, -4*u - 2*f = -4*f - 20238. Is u composite?
True
Suppose 4*s - 20 - 32 = -d, 4*d = -16. Suppose 387 + s = w. Is w prime?
True
Let q = 69 - -418. Is q prime?
True
Let i be -1 - (3 + -1) - 132. Let o be 16/5*i/(-9). Let k = o + 79. Is k composite?
False
Let o = -7802 - -11359. Is o prime?
True
Let u = 24 - 24. Suppose u = -3*k - 0*k + 4629. Is k a prime number?
True
Let i(p) = -190*p**3 - p**2 - 12*p - 22. Let b(h) = -9*h - 15 + 2*h**2 - 93*h**3 - 3*h**2 - 34*h**3 + h. Let u(v) = -7*b(v) + 5*i(v). Is u(-2) prime?
True
Is (-16 - 760700/(-30))/((-2)/(-15)) composite?
True
Let a = -38 - -42. Suppose -a*u + 3*u = -2*x - 2327, u + 2*x = 2307. Is u a prime number?
False
Suppose 6*j - j - 3830 = 0. Suppose -k - j = 2*w + 3*k, -w + k = 383. Let t = 888 + w. Is t a prime number?
False
Let w be -3*(52/(-12) - -3). Suppose 1655 = w*a + a. Is a a composite number?
False
Suppose -2*k + 5*b - 36 = 20, -3*k = 4*b + 130. Let z = k + 127. Is z prime?
True
Suppose 3*q = 14613 + 15288. Is q prime?
True
Suppose -c = 2*c - 5211. Suppose 3*i + 5216 = -2*w, 5*i - w = 4*i - c. Let o = -953 - i. Is o a composite number?
True
Suppose 35 = 6*h + 5. Suppose h*k = 10*k - 5305. Is k a prime number?
True
Is 3*(-4)/60*-22735 a composite number?
False
Let g = -90 + 72. Is (-6)/g*-1*6 + 1209 composite?
True
Suppose -3*f = -f - 12. Suppose -u = -3*u + f. Suppose -x + 245 = u*p - p, 242 = x + 3*p. Is x composite?
False
Let w(l) = -2*l + 6. Let p be w(3). Let z be p*(-2 - 36/(-16)). Suppose z = -3*r + 6 - 0, 0 = -5*j + 5*r + 6885. Is j a prime number?
False
Let j(i) = -4*i**3 - 4*i**2 + 2*i + 3. Suppose -9*b = -4*b - 25. Let g = b - 8. Is j(g) a prime number?
False
Suppose -3*x + 4*j - 2138 = -5*x, -j - 1066 = -x. Is x prime?
False
Is (21651 + -16)/(3/3) a prime number?
False
Suppose 48963 - 184979 = -8*a. Is a composite?
True
Suppose -5*u + 4*v - 15 = -6*u, -4*u = -5*v + 3. Let z(c) = 26*c - 4 - 4 + 13*c. Is z(u) composite?
False
Let d = -19949 - -43039. Suppose -9*n + d = n. Is n prime?
True
Let p = 7634 - 5391. Is p prime?
True
Let r(i) = 336*i**2 - 3*i - 10. Let c be r(-3). Suppose -c = -7*y + 15240. Is y a prime number?
True
Let q be (-171)/(-38)*(-4)/(-6). Suppose 5*o + 3*c + 39 = 0, 2*o + 0*o + 3*c = -21. Is (o/12)/(q/(-462)) a composite number?
True
Let d(x) = 6*x - 1. Let w be d(1). Let c(s) = -s**3 + 3*s**2 - 3*s - 2. Let f be c(w). Let i = f - -104. Is i a composite number?
False
Let w be 24/10 - (-24)/40. Suppose -3*c - w*k - 11 = 19, -26 = 3*c + 2*k. Let g(v) = -3*v - 11. Is g(c) prime?
True
Let c be 3/4 - (-24)/(-32). Suppose c = 5*m - 0*m - 725. Is m prime?
False
Let o = -97 - -141. Suppose 3*q + o = 5*a - 42, -3*a = -5*q - 42. Is a a composite number?
False
Let y = -10 + 7. Let b be 1 + (y - -2 - -3). Suppose -2*x + 1055 = b*x. Is x a prime number?
True
Suppose -9*n - 2*n + 93115 = 0. Is n composite?
True
Let u(a) = -460*a - 19. Is u(-3) composite?
False
Let n(a) = a + 12. Let w be n(-3). Suppose -w*z + 7*z = -2686. Is z a prime number?
False
Suppose 24*a = 297215 - 17543. Is a a composite number?
True
Suppose 5*j + 4*c = 499809, 0*j + 5*j + 5*c = 499810. Is j a composite number?
False
Let m be 2/7 + 54/7. Suppose -3*l - l = -m. Suppose 604 = 4*p - l*z, -125 = -p + 3*z + 36. Is p prime?
True
Suppose -5*j = 44 - 419. Suppose 96 = 9*l - j. Is l prime?
True
Let g = -9 + 4. Let t(u) be the third derivative of u**6/120 + u**5/10 + u**4/12 - u**3/3 - 4*u**2. Is t(g) prime?
True
Let h(a) = 2*a**2 - 117*a + 0*a**2 + 5 + 0 + 129*a. Let d = -8 + 0. Is h(d) a composite number?
False
Let t be (1 - 1)/(3/3). Suppose t = j - 2*n - 239, -2*n + 934 = 4*j + n. Is j prime?
False
Let y = -2936 + 7309. Is y prime?
True
Suppose -3 = 2*n + 7, 2*v - 1696 = -2*n. Is v composite?
False
Let t(i) be the second derivative of 61*i**6/720 - i**5/60 + 5*i**4/12 + 2*i. Let x(n) be the third derivative of t(n). Is x(1) a composite number?
False
Let w(y) = -1020*y + 68. Let o(q) = 255*q - 17. Let p(b) = -17*o(b) - 4*w(b). Is p(-4) composite?
True
Let d = 370 - 54. Let t = -93 + 148. Let y = d + t. Is y prime?
False
Let h(j) be the second derivative of 6*j - 1/2*j**2 - 163/20*j**5 - 1/2*j**3 + 0 - 1/6*j**4. Is h(-1) prime?
True
Let i(v) = -1362*v**3 - 1. Let y be -1*5/(10 - 5). Is i(y) composite?
False
Suppose 0 = -0*b - b, 227 = r + 3*b. Suppose -3*w + 84 + r = 4*g, 4*g - 3*w = 281. Is g prime?
False
Suppose 5*g = g + 16. Suppose -c - 3*c - 3*m + 29 = 0, -5*c + g*m = -13. Suppose 0 = c*b - b - 508. Is b a composite number?
False
Let g = -3519 + 8570. Is g a prime number?
True
Let o(q) = 14*q**3 + q. Let n be o(-1). Let d(a) = a**3 + 16*a**2 - 20. Is d(n) prime?
False
Suppose -154918 = 21*h - 502405. Is h prime?
True
Let b(o) = 487*o**2 + 20*o + 35. Is b(-4) a prime number?
False
Let k(m) = -m**3 - 4*m**2 - 4*m - 1. Let t be k(-3). Suppose -516 = -t*f + 5*p - p, -2*f = -5*p - 514. Is f prime?
False
Suppose b + 2 - 13 = i, b + 4 = 0. Suppose -l - 4*l - 253 = -3*z, l + 5*z + 45 = 0. Let o = i - l. Is o a composite number?
True
Let x = 827 + -241. Is x a composite number?
True
Suppose 5*x - 569 = 4*x - n, 4*x - 2*n - 2282 = 0. Suppose -4*w = -2*w - 4*h - x, 16 = 4*h. Is w composite?
False
Suppose g + 13 = 2*g. Suppose -g = 5*c - h, 2*c + 2*h - 11 = -3*h. Is (56 - 0) + -1 + c composite?
False
Is 708*6 + -6 + (-66)/(-6) a composite number?
False
Suppose 0 = -7*b - 19050 + 210535. Is b prime?
False
Suppose -24*c + 23*c = 94. Let f = c - -465. Is f prime?
False
Suppose -5*y - 1561 + 8727 = 2*l, -2*l + y = -7190. Is l a composite number?
False
Suppose 4*n = 7*n - 19023. Suppose u = -5, 0 = 4*w - 5*u - 1664 - n. Suppose -r + 3*d = -673, 2*r = -r - 3*d + w. Is r prime?
False
Is (7 + 66/(-9))/(4/(-670452)) a composite number?
False
Suppose -m + 56752 = 5*x, 2*x - 3*m = 1359 + 21352. Is x composite?
False
Suppose 4*x = -20, 6*x = 3*r + 2*x - 11. Let z = 16 + r. Let p(t) = 4*t + 17. Is p(z) a prime number?
False
Let q(i) = i**3 - i**2 - 2*i + 4. Let x be q(0). Suppose n + 35 = x*h - 4*n, 0 = -4*n - 12. Suppose -h*v + 2*l + 1412 = -v, -3*l - 1412 = -4*v. Is v composite?
False
Suppose 16*r - 23*r + 1582 = 0. Is r a composite number?
True
Let r be -3 + (2*-3 - -4). Let a(i) = -125*i + 6. Is a(r) prime?
True
Let f(r) = -20*r**3 - 4*r - 2. Let u be f(-2). Suppose -2*z - u - 92 = 0. Let j