j) prime?
True
Suppose s + 19 = -4*k, -2*s + 4*k = -4*s - 34. Is (-1326)/(-2) - (-14 - s) prime?
False
Let s(r) = r**3 + 8*r**2 - 8*r + 13. Let g be s(-9). Let i(w) = w**3 - 3*w - 9. Is i(g) a prime number?
True
Suppose -q + 11303 + 11568 = 0. Is q composite?
False
Let v(x) = -23*x + 3. Let k(s) = -92*s + 12. Let d(u) = -2*k(u) + 9*v(u). Suppose 3*z = -5 - 7. Is d(z) prime?
False
Let y(o) = 2*o + 28. Let k be y(-14). Let l(h) = 3*h + 173*h**2 + 1 - 4*h + k*h. Is l(2) a prime number?
True
Let r(s) = 3*s - 19. Let j be r(7). Suppose -j*p - 1530 = -2*o + 3*p, 3*o + 5*p = 2245. Is o prime?
False
Let o = -1258 - -7197. Is o composite?
False
Suppose 2*o + 0*o + 2*t = 14128, -3*t - 28291 = -4*o. Is o a composite number?
False
Suppose 0 = -5*n + 3*q + 22, -3*n - n + 4 = q. Suppose -6 - 2 = -n*j. Suppose 5*v - 5*u = -j*u + 1491, 3*u = -v + 295. Is v a composite number?
True
Let p(k) = -3*k - 1. Let d be p(-1). Suppose -508 - 124 = -d*f. Suppose f = -2*q + 6*q. Is q composite?
False
Let d = -270 + 914. Suppose -5*t + 3*l + d = -0*t, -2*l + 629 = 5*t. Is t a composite number?
False
Let z = 338 + -230. Suppose z*i = 106*i + 1270. Is i a composite number?
True
Suppose -3*f + 1 + 2 = 0. Is (f*-1)/(9/(-1683)) composite?
True
Suppose 34193 = 2*k + 9447. Is k composite?
False
Suppose -8*d + 35 - 11 = 0. Suppose -2*z - 82 = -0*c - c, 164 = 2*c + d*z. Is c a prime number?
False
Suppose -2*n = -2014 + 528. Suppose -p = -2*p + n. Is p a prime number?
True
Suppose 5*y = 5*q - 116630, 5*q + 2*y - 116595 = -0*q. Is q prime?
True
Let o = 409 - 320. Is o a composite number?
False
Let w = 24911 + -5920. Is w a prime number?
False
Let j = -23225 + 41442. Is j prime?
True
Let p(f) be the third derivative of f**6/120 + 3*f**5/10 - 7*f**4/12 - 21*f**3/2 - 7*f**2 - 2*f. Is p(-16) composite?
False
Suppose -g + 217 = y, 153 = g - 3*y - 84. Let d = g - 35. Is d prime?
False
Let l be 0 - -5 - (5 - 2). Suppose -2*o = -l*q - 6, 0 = o + 5*q - 0*q + 15. Suppose o*m = m - 799. Is m a prime number?
False
Let w = 3 - -2. Let u(l) = 0*l - w*l - 10*l + 2 + 3. Is u(-6) composite?
True
Suppose 0 = 5*n + 4*m - 109389, 5*n - 43*m + 38*m - 109425 = 0. Is n a prime number?
True
Let s = 41 - 24. Suppose 3*k = s - 8. Let u(d) = 5*d**2 - 3*d + 1. Is u(k) a composite number?
False
Let s(m) be the first derivative of 4*m**4 - m**3/6 - 5*m**2/2 - 1. Let p(z) be the second derivative of s(z). Is p(1) a composite number?
True
Let i(o) = -2195*o**3 + o**2 + o. Let j be i(-1). Suppose 3*d = 4*k + 3269, -3248 = -5*d + 4*k + j. Is d composite?
False
Let l(k) = -3*k**3 - 3*k**2 + 17*k + 5. Let o = -105 - -97. Is l(o) a prime number?
True
Suppose 16566 = -6*a + 12*a. Is a prime?
False
Let b(r) = 8*r - 231. Is b(40) prime?
True
Let v(q) = -391*q - 268. Is v(-9) a prime number?
True
Suppose -65 = 2*l + 711. Let t = l + 575. Is t composite?
True
Let o be 1 - (-2 + 2) - -16. Let n be o/5 + 28/(-70). Suppose -t - n*t = -652. Is t a composite number?
False
Let k(u) = u**2 - 10*u - 40. Suppose 7*s + 3 = 150. Is k(s) a composite number?
False
Suppose -4*d + 3*g = -8838 - 9833, -4*d - 3*g = -18665. Is d a prime number?
False
Let c = 35 - -1758. Is c composite?
True
Is (-61612)/4*2/(-6)*3 composite?
True
Let t = 3405 + -2006. Is t prime?
True
Is 1*(8 + -1 + 9774) composite?
False
Let s be ((60 - 4) + 6)*9/(-2). Let o(v) = 16*v**2 + 6*v + 6. Let k be o(5). Let q = k + s. Is q a composite number?
False
Let h(s) = 2316*s + 4. Let t be h(3). Suppose 7*w + w - t = 0. Is w prime?
False
Suppose -4*y - 3*l = 662, -5*y - 837 = -4*l + 3*l. Is (-1 + (4 - -2))/((-1)/y) composite?
True
Let f = -62466 - -99631. Is f composite?
True
Let m = 55 + -53. Is (0 - m) + (-6)/((-30)/1195) a prime number?
False
Let z(k) = 6*k**2 + 8*k + 8. Let d(o) = -3*o + 26. Let y be d(12). Let p be z(y). Let m = -207 + p. Is m a prime number?
False
Let i(z) = -9*z**2 + z + 18839. Is i(0) composite?
False
Suppose -5*f - 2*f + 12845 = 0. Suppose 2*h - 2*s - f = -5*s, -3675 = -4*h - s. Is h a composite number?
False
Let t be 0/1 + -2 - (1 + -7). Suppose -4*f + 294 = 2*a - 220, -261 = -a - t*f. Is a a composite number?
True
Suppose -r = -4*z + r + 3978, -2*z - 5*r = -1971. Is z a composite number?
True
Let o = 2613 - 1160. Suppose -l + n + 290 = 0, 2*l - 4*n - o = -3*l. Is l a composite number?
False
Suppose -7*w + 4*w + 1461 = 0. Is w prime?
True
Suppose -125481 + 29025 = -8*o. Is o a composite number?
True
Suppose -4*n + 6789 + 1907 = 0. Is 1*2/4*n a composite number?
False
Suppose -8*u - 13 - 3 = 0. Is (-254)/u*(3/(-3) - -2) a prime number?
True
Let r be ((-7)/((-35)/(-6870)))/(-2). Is (-12)/6 - (4 - r) prime?
False
Let f(d) = 4*d**3 - 2*d + 1. Let c be f(1). Suppose -6 = -c*q, -2*w - 5*q = w - 1069. Is w a composite number?
False
Suppose 2*z = 14*z - 103692. Is z composite?
False
Let b(t) = 403*t**2 + t + 47. Is b(-7) a composite number?
True
Let h be -8*(2 + (-12)/8). Let l(n) = 3*n**2 - 3*n + 2. Let v be l(h). Suppose 0 = 2*c - 0*c - v. Is c a composite number?
False
Let c = 11841 - 5728. Is c a composite number?
False
Suppose -6*x + 2*x - 2*f = 14, -3*f = -x - 7. Is 659/((-3 - x) + 0) prime?
True
Let g be (42/35)/((-6)/(-20)). Suppose 7582 - 978 = g*t. Is t prime?
False
Let a(i) = 5*i**2 + 68*i - 18. Let o be a(-14). Let v(l) = 91*l - 3. Is v(o) composite?
False
Let g(x) = -2*x - 3. Let z be g(0). Let p be (z/(-6))/((-2)/36). Is 2 + (-3)/p*393 prime?
False
Suppose -u + 2*y - 202 = 0, -6*y = -y - 25. Let o = 587 + u. Is o composite?
True
Let d(y) = -y - 3*y**3 - y**2 + 3*y**3 - 3*y**2 - 7 + 2*y**3. Let t be d(6). Suppose o - 6*o = -t. Is o a composite number?
True
Let n(o) be the third derivative of 3*o**5/10 + o**4/24 + 5*o**2. Let q be n(1). Suppose 17*v = q*v - 66. Is v prime?
False
Let j(a) be the second derivative of a**4/6 - 17*a**3/6 - 29*a**2/2 - 2*a. Is j(-10) prime?
False
Let a = 759 - 340. Is a prime?
True
Suppose 18*u - 140287 - 95387 = 0. Is u a composite number?
False
Let u = -13 + 18. Suppose 3*h + u = 17. Suppose 0 = -2*c + h*c - 534. Is c composite?
True
Let b = 6154 - 1665. Is b a prime number?
False
Let f = -4 + 11. Let h be f/(-6)*-3*42. Suppose 3*g + 4*t - h = 2*g, 5*g = -4*t + 799. Is g composite?
False
Suppose 0 = -h - 272 + 2368. Suppose 197 - h = -9*v. Is v a composite number?
False
Is (-381712)/(-24) - 17/(-51) composite?
True
Suppose 34283 = 4*v - 25905. Is v prime?
False
Suppose 5*f = 2*x - 7274, 5*x - 18185 = -6*f + 8*f. Is x a prime number?
True
Let n(k) = -35*k + 1. Let t = 1 + 12. Suppose 0 = 3*h - q + t, -2*h + 4*q + 14 = -h. Is n(h) prime?
True
Suppose -f - 2*f + 13362 = 0. Let z be (-1 + 0)/((-17)/f). Suppose 4*b - 6*b + z = 0. Is b composite?
False
Let p = -34 - -37. Suppose -p*s + 839 = -58. Is s a prime number?
False
Let h = 1804 + 24099. Is h composite?
False
Suppose -a - 4*y + 87262 = 2*a, -2 = -2*y. Is a composite?
True
Let u = 44722 + -22925. Is u composite?
True
Suppose -2*t - 4 = -2*n, 3*n + 5 - 3 = t. Let c(g) be the first derivative of -23*g**4/2 + 2*g**3/3 + 2*g**2 + 3*g - 2. Is c(n) a composite number?
True
Let u(w) = 141*w - 1. Let p be u(1). Let t = p + -57. Let h = -46 + t. Is h a composite number?
False
Suppose 9*i + 52547 = 20*i. Is i composite?
True
Let b(p) = 3*p**3 - 64*p**2 - 24*p - 109. Is b(22) a prime number?
True
Let s(x) = x + 9. Let z be s(-15). Let v be (-24)/9*z/4. Suppose 683 = v*p - 113. Is p prime?
True
Suppose -2582 = 10*p - 8*p. Let o = 256 - p. Let t = o - -336. Is t a composite number?
True
Suppose -25*c = -68*c + 18361. Is c composite?
True
Suppose -n + 1018 = 2*b, b - 2*b + 5*n + 531 = 0. Let a = 1076 - b. Is a a composite number?
True
Suppose 5*g - 1120 = -5*c, 3*g + 0*g - 3*c = 684. Suppose 4*n - g = -0*o - o, 2*o + 4*n = 432. Let i = o + -123. Is i a prime number?
True
Let l(p) = 4*p - 11 - 17*p - 18*p + 4*p. Is l(-10) composite?
True
Let o(z) = 3276*z - 125. Is o(6) composite?
False
Let v(w) = -10*w**2 - 10*w + 13. Let y(n) = 29*n**2 + 30*n - 39. Let g(l) = 8*v(l) + 3*y(l). Is g(-10) a composite number?
False
Let k = -10621 - -71654. Is k composite?
True
Let s be (6/(-4))/((-1)/2). Suppose -g + 2734 = 2*m + 2*g, 0 = s*m - g - 4079. Is m composite?
False
Let a = 1695 - -226. Is a composite?
True
Let x(i) = -19*i**3 + i**2 - i + 4. Let y be x(-3). Suppose 5*l = -y + 2664.