1635 - g. Is d prime?
True
Let s(u) = u - 7. Let c be s(11). Suppose 3*r = -c*n + 1648 - 523, r - 356 = 5*n. Is r a composite number?
True
Let c(y) = 9*y**2 + y - 1. Let q be (0 + -6)/(4 - 6). Suppose 0 = m - t - 5, -q*m + 0*m - 2*t + 5 = 0. Is c(m) a composite number?
False
Suppose 0 = -n + 3*n - 6. Let i = 686 + -468. Suppose -v - 4*k + 99 = 0, n*k - i = -2*v - 0*k. Is v prime?
False
Let v = 35 + -28. Suppose -v*y - 2025 = -6512. Is y composite?
False
Let s(k) = -k**2 + 8*k - 1. Let d be s(6). Let p = d - 18. Let u(w) = w**2 - w + 11. Is u(p) prime?
True
Let y = -969 - -1662. Suppose -2 = -3*z + 13. Suppose -4*l = 6*v - v - 687, -l + y = z*v. Is v composite?
False
Suppose 60 = -4*n + 68. Suppose 5*l - n*b - 1015 - 7248 = 0, 4*b + 3318 = 2*l. Is l a composite number?
True
Let y(i) = -i**3 - i**2 + 2. Let c be y(0). Let g be (7 - -1)*21/c. Let z = 49 + g. Is z a prime number?
False
Let w(u) = -118*u - 1. Let q(f) = 59*f + 1. Let y(s) = 5*q(s) + 2*w(s). Is y(5) a composite number?
True
Suppose -22 = -r - r. Suppose 4 + r = 3*j. Is 35 + 2 + (-10)/j a prime number?
False
Suppose -4*n + 1437 + 590 = -5*x, x = 5. Let f(d) = -4*d - 3. Let c be f(-2). Suppose -n = -l + 4*m, -m = c*l - l - 2137. Is l composite?
True
Let v = 31615 + -21336. Is v prime?
False
Suppose -3*v - 6 = -5*b - 0, b - 4*v - 8 = 0. Suppose 4*h = -b*h. Suppose 0*i + i = 2*y - 286, -y + 4*i + 157 = h. Is y prime?
False
Suppose 7*l - 4*l = 0. Suppose 0 = -v + 3*f - 32 + 84, l = 3*v + 4*f - 208. Let s = 15 + v. Is s a prime number?
True
Suppose 4*f + 0*l + l = 23112, 5*f - 28891 = -l. Is f prime?
True
Suppose -30474 = -18*f + 14*f - 2*j, 3*j = f - 7636. Is f a prime number?
True
Let j(m) = -1 + 0 + 6 + 275*m - 4. Is j(2) a prime number?
False
Let q(k) = -14*k + 2. Let j be q(-3). Suppose -j = -b + h, -5*b + 178 = -3*h - 46. Is (b/(-5))/((-22)/55) prime?
True
Suppose 3*j - 81531 = -3*y, -156*j = -160*j - 5*y + 108708. Is j a prime number?
False
Let y(q) = 21*q**2 - 20*q - 22. Is y(9) prime?
True
Let l = 58 + 306. Let n = -255 + l. Is n composite?
False
Let n = 211 + 65. Let x be n/30 - 2/10. Is (1/(-3))/((-1)/x) prime?
True
Let h be 0/(-10) - (-1 + -5). Suppose -3*b = -h*b. Suppose z - 17 - 7 = -4*j, z = b. Is j composite?
True
Let c(v) = 47*v + 15. Let q be c(-11). Let t = -113 - q. Is t composite?
False
Let g(r) = -92*r + 2. Let m be g(-12). Suppose -4*j + 5*s = -907, 0*j = 5*j + 3*s - m. Is j a composite number?
False
Let n(d) = d**3 - 9*d**2 + 8*d + 3. Let h be n(8). Let i be 175/h + (-4)/(-6). Suppose -3*z + 24 = -3*w, i = z + 3*z + 5*w. Is z prime?
True
Let g(i) = -2*i**3 - 17*i**2 + 12*i - 40. Is g(-15) a prime number?
False
Let s(q) = 7*q**3 - 49*q**2 + 31*q + 19. Is s(20) a composite number?
False
Let q(j) = j**3 - j**2 - 20*j + 5. Is q(9) prime?
False
Is (-880066)/(-286) + (-6)/39 a composite number?
True
Let y(w) = 50*w**3 + 2*w**2 + 14*w - 59. Is y(7) a prime number?
False
Let c = -4304 + 7083. Is c a prime number?
False
Let p(t) = 2*t**2 - 7*t + 26. Let d be p(13). Suppose 2*z = -z + d. Is z prime?
False
Let z = -21 + 25. Suppose z*s - 304 = 6*s. Let w = 69 - s. Is w prime?
False
Suppose 5*o = -2*o + 35. Suppose -o*j + 1621 + 624 = 0. Is j composite?
False
Is (-3)/3 + (-3492)/(-3) a prime number?
True
Suppose -2*a = -z - 73521, 10*a - 5*a - 183765 = -5*z. Is a a prime number?
False
Suppose 11*h - 653 = 10*h. Suppose -4*m + h = -519. Is m prime?
True
Suppose -31905 = -5*s - 5*n, -n - 11 = -7. Is s prime?
False
Suppose 2*j = 5*g - 2 + 62, g + 84 = 4*j. Let n be (j/(-8))/(1/(-50)). Let h = n - -66. Is h a composite number?
False
Let v(g) = 661*g**2 + 31*g - 49. Is v(8) composite?
True
Suppose b = -2*r - 6, -2 - 1 = r + 3*b. Let o be r*(3 + -2) - -1462. Suppose -3*x + o = -2*x. Is x prime?
True
Suppose 8 = f + 3*n, n - 24 = -3*f + 5*n. Is (5509/(-14))/((-4)/f) a prime number?
True
Let h be (2/(-4))/((-57)/18 - -3). Suppose 4*d + 4*r = -0*d + 6952, -1748 = -d - h*r. Is d a composite number?
False
Let x(b) = -556*b - 17. Is x(-4) prime?
True
Let v(a) = 4*a**3 + 5*a + 6*a**2 + 4 - 4*a**3 + 0*a**2 + a**3. Let d be v(-5). Suppose r - 313 = d*t, 5*t - 3 = 2. Is r a prime number?
True
Let w(l) = -l**2 - 5*l + 1713. Is w(0) a composite number?
True
Let g = -66 + 50. Is (g/12)/(4*(-1)/438) composite?
True
Let r(m) = 180*m**2 - 24*m - 91. Is r(-5) a prime number?
False
Suppose -g + 5*g + 4 = 0. Let p be (-40)/g + -3 - 1. Is (82/6)/(6/p) prime?
False
Is 51/(-136) - 233339/(-8) prime?
True
Let f be (8/10)/(2/9535). Suppose 0 = -5*h + a + 4766, 3*a - a + f = 4*h. Is h composite?
False
Suppose 0 = -27*k + 2*k + 1718975. Is k prime?
False
Let j(w) = 7*w**2 - w. Let t be j(-1). Let f(c) = 4*c**2 - 8*c + 9. Is f(t) a prime number?
False
Let m be ((-33964)/35)/(1/(-5)). Suppose -8*v + m + 8388 = 0. Is v prime?
False
Let w = -46492 - -92559. Is w prime?
False
Suppose 2*x + 9 = 3*l, 2*l - 5 = l. Let q(t) = -1 + t**3 - 3*t + 2*t**2 - t**2 - 3. Is q(x) a composite number?
False
Suppose 7789 - 2140 = 7*d. Is d a prime number?
False
Suppose j + 0*s + 2*s - 11018 = 0, -s = -j + 11012. Is j a prime number?
False
Let u be ((-1)/2)/((-9)/(-216)*-3). Suppose -u*a - 1355 = -14551. Is a a composite number?
False
Suppose 3*s = w + 51, 4*s - 5*w - 96 + 39 = 0. Let m be (6 - 2) + s/(-9). Is (-3)/(-18)*1227*m composite?
False
Let h = 190 + -83. Let z = -33 + h. Is z/6*(-4 + 13) composite?
True
Suppose 5*l + 3*k + 6415 = 4*k, -2*k + 5126 = -4*l. Let x = -567 - l. Is x prime?
False
Let x(i) = -i**2 + 3*i + 4. Let c be x(3). Suppose 2 + c = 2*s. Suppose -r = 4*f - 0*f - 669, 500 = s*f - r. Is f a composite number?
False
Suppose -4*g + 3 = -3*g. Suppose 0 = g*s + 2*a - 1183, 1596 = -s + 5*s - 2*a. Is s a prime number?
True
Suppose 0*f - 44 = -3*b - f, b - 8 = -2*f. Is (2108/b)/(2 + (-7)/4) a prime number?
False
Suppose 23 = 4*v - 5*y, -4*v + 7*v - 26 = -5*y. Is 11 - v - 110/(-2) a prime number?
True
Let n be 2 + 5 + -3 - 5. Let k be 284*((-1)/2)/n. Let v = -65 + k. Is v a prime number?
False
Let a be (-2 - (-8)/2)/(4/1514). Let r = a + -454. Is r composite?
True
Let o(y) = -3*y + 12 - 58*y**3 + 2*y**2 - 11 + 5*y. Is o(-1) a prime number?
True
Let k = 21630 - 10251. Is k a composite number?
True
Let l(o) = -4322*o + 1. Let g(s) = 4321*s - 2. Let u(h) = -3*g(h) - 4*l(h). Is u(1) a composite number?
False
Let d(u) = -3*u + 5. Let m(k) = -k + 1. Let r(j) = -d(j) + 5*m(j). Let s be r(-1). Suppose 7*t - 55 = s*t. Is t a composite number?
False
Suppose -1 = -2*i + i. Let u(p) = p + 1. Let d be u(i). Suppose -2*c - d*c = -5*o + 61, -2*c = 8. Is o composite?
True
Suppose 0 = -5*r - 2*j + 2416, -2401 = -5*r - 0*r + 3*j. Suppose -u + 300 = 3*i - r, -4*i + 1046 = 2*u. Is i a prime number?
False
Let p(d) = -184*d + 167. Is p(-35) a prime number?
True
Let l = -34 + 37. Suppose 3*x - 16 = v, l*x + v - 4 = 2*x. Suppose 3*r + 15 = s, -x*s + 5*r + 29 = -46. Is s a composite number?
True
Suppose -49816 = -4*d + 4*w, 4*w + 24 = 4. Is d a composite number?
True
Let o(p) be the third derivative of -41*p**4/24 + p**3 - 7*p**2. Is o(-7) prime?
True
Suppose 0 = -o + 8*o - 8988. Suppose 2*b = b + 4*l + 327, 0 = 4*b - 4*l - o. Is b a composite number?
True
Is (-13355)/10*(-3 - 1) a prime number?
False
Is 2215648/72 + (-3)/(-27) a composite number?
False
Let x(c) = 2*c + 2035. Let h be x(0). Suppose -5*k - 4*v + h = 0, 13*k = 16*k - 2*v - 1221. Is k a prime number?
False
Let n = -11127 - -32864. Is n a composite number?
False
Let f(z) = 3*z - 13. Let k be f(7). Let d = k + 2. Suppose 2*q + d = 0, -2*i + 598 = 2*q + 34. Is i composite?
True
Let f = 14 - 15. Is f/(0 - (-1)/(-307)) composite?
False
Let f(g) = -2*g**3 + 2*g**2 + 3*g + 6. Let c be f(-4). Let t(v) = 2*v - 43. Let m be t(-11). Let x = c + m. Is x prime?
True
Suppose 2*h + 209 = -661. Let j = h + 102. Let t = 547 + j. Is t a prime number?
False
Suppose -2*v + 51207 - 194929 = -4*f, -71871 = -2*f - v. Is f composite?
False
Suppose t - 8 = 5*t. Let c be 2 - (-134 - (0 - t)). Suppose 3*g + 0*g = c. Is g composite?
True
Is 15/(-20)*4 + 334 + -2 a composite number?
True
Let n(h) = 6*h + 0 - 4 + 1 + 6*h**2 - 2. Is n(7) a prime number?
True
Let g(x) be the first derivative of 2 + 19*x - 3/2*x**2. Is g(-13) a composite number?
True
Suppose -1140 + 270 = -5*y. Let x = 351 - y. Is x prime