s**6/30 - 7*s**5/60 + 2*s**3/3 + 5*s**2. Is g(5) a composite number?
True
Let j(z) = 135*z**2 - 2*z + 2. Is j(3) composite?
True
Let y(u) = 76*u**2 + 2*u + 5. Is y(4) a composite number?
False
Let d = -8 - -12. Suppose 0 = -5*o - d*c + 5*c + 250, 2*o + 2*c = 88. Is o a composite number?
True
Let w(k) = -4*k + k - 1 + k - 7*k. Is w(-6) a composite number?
False
Suppose -371 - 65 = -4*u. Suppose 0 = -26*m + 28*m - 60. Let y = u - m. Is y composite?
False
Suppose -4 = -q - 3. Let c be 148 + q - (5 + -4). Suppose 2*w = c - 42. Is w prime?
True
Let t(z) = 7*z**2 - 8*z + 5. Let a be t(5). Suppose 0 = -5*n + 15 + a. Is n prime?
True
Let b(z) = -z**3 + 13*z**2 + 16*z + 13. Is b(13) composite?
True
Suppose 1207 = 5*o - 4763. Let h = o - 547. Is h a composite number?
False
Suppose 3*a = -0*a - 5*m + 452, -5*a = -2*m - 743. Is a a composite number?
False
Let o(h) = 2*h**3 + 4*h**2 - 3*h + 7. Is o(4) prime?
False
Let k(i) = 13*i + 1. Let z(y) = -5*y - 1. Let g be z(-1). Suppose g*n = -3*s - 1, -5*s = -4*s - 4*n - 5. Is k(s) a composite number?
True
Suppose -3*a = 5*r - 401, 4*r - 5*a - 132 = 174. Is r a composite number?
False
Let v(g) = g - 5. Let l be v(5). Suppose 405 = 3*a - 4*x, 2*x = -4*a - l*a + 518. Is a composite?
False
Suppose 0 = 4*q + 2*g + 6, 0 = 4*q - 5*g + 31 + 10. Is 4/16 - 99/q prime?
False
Is 1916/18*3*(-39)/(-26) prime?
True
Suppose m - 5*j - 9838 = -2*m, -2*m + 2*j + 6552 = 0. Is m a composite number?
False
Let y(c) = c**3 + 3*c**2 + 1. Let k be y(-3). Is k/(-8)*-4*50 a composite number?
True
Let l(a) = -a**2 + 5*a + 9. Let y be l(7). Let h(w) = -w**3 - 5*w**2 + 3*w + 1. Let c be h(y). Is (-4 - -2)/(2/c) a prime number?
False
Let o(a) be the second derivative of -89*a**5/120 - a**3/3 + 2*a. Let t(x) be the second derivative of o(x). Is t(-1) composite?
False
Suppose -2*d + 4226 = 1422. Is d prime?
False
Let a(h) = 73*h**2 + 1. Suppose 5*r + 4*m + 0 = 2, 0 = 3*r + 3*m - 3. Is a(r) prime?
True
Let b = -90 + 509. Is b a composite number?
False
Suppose 0 = -5*d + 5*b - 0*b + 700, -d = b - 138. Is d a prime number?
True
Let t = -168 - -307. Is t composite?
False
Suppose 0 = 34*o - 32*o - 170. Is o a composite number?
True
Let g = 6 - 4. Suppose 5*d - 10 = 0, 25 = -g*p + 2*d + 101. Suppose 5*i - p - 70 = 0. Is i composite?
True
Let m = 471 + 1358. Is m composite?
True
Let o(z) = 13*z - 2. Is o(9) a composite number?
True
Suppose -2*k + d + 2*d - 315 = 0, 2*k + d = -319. Let n = k - -234. Let v = n - -4. Is v composite?
False
Let g be -3 - (-57)/(-1 + 2). Suppose 3*w = -4*n + 617, g = n - 4*w - 124. Is n composite?
True
Let h(x) = 23*x - 9. Is h(28) a composite number?
True
Let k(b) = -2*b**2 + 4. Let i(p) = 4*p**3 + 2*p**2 - 1. Let j be i(-1). Let w be k(j). Is (-4)/(-14) + (-1074)/w composite?
True
Let i(r) = -390*r - 7. Is i(-4) composite?
False
Suppose -625 + 185 = -5*k. Suppose 154 + k = 2*w. Is w a composite number?
True
Suppose -3*k - 15 = -2*k + 5*g, 2*g + 33 = 5*k. Suppose -b = 3*b + k*r - 55, -b - 2*r = -13. Is b composite?
True
Let y(s) = 3*s**3 - 10*s**2 + 9*s - 16. Is y(7) composite?
True
Suppose -5*v - 14 = 6. Let n = v - -4. Is 1 + (n - -1) + 11 a prime number?
True
Let a(m) = m + 1. Let q be a(4). Suppose -36 = -q*c + 359. Is c a prime number?
True
Suppose -919 = -5*z + 736. Is z composite?
False
Suppose 3*a - 4*t - 6 = 0, 4*a = 5*a + t - 2. Is (-3)/(a/2) + 126 prime?
False
Is 1*(-5)/(-10) + (-955)/(-2) composite?
True
Let d = -13 - -7. Is (-790)/(-15)*d/(-4) a composite number?
False
Let i(w) = -w**2 - 7*w - 4. Let c(q) = -q - 2. Let a be c(4). Let s be i(a). Suppose s*x + 0*x - 50 = -y, 2*y = -4. Is x prime?
False
Is (-4 + 2)*(-1)/(-5)*-295 a composite number?
True
Is (-4 - -1) + 521 - -3 composite?
False
Let n(q) = q**3 - 7*q**2 + 4*q - 8. Let i be n(7). Suppose 0 = -6*y + y + i. Suppose 2 - 62 = -y*f. Is f prime?
False
Let i = -1 - -6. Suppose -i*z + 745 = -0*z. Is z composite?
False
Suppose 5*l + 18516 = 17*l. Is l a prime number?
True
Let o(u) = 2*u**3 + 3*u**2 - 4*u - 3. Is o(4) a prime number?
True
Let i be 1197 - (-3 + 3 + -2). Suppose -3*r + 725 = 2*c, 5*r + 5*c - 4*c = i. Is r prime?
True
Let t(l) = 8*l**3 + 7*l**2 - 4*l + 7. Let g(m) = -4*m**3 - 4*m**2 + 2*m - 4. Let a(o) = -5*g(o) - 3*t(o). Is a(-2) a prime number?
True
Let t(d) = -3*d**3 - 5*d**2 + 9*d - 4. Let j(x) = 2*x**3 + 6*x**2 - 9*x + 4. Let r(u) = -4*j(u) - 3*t(u). Is r(9) a prime number?
False
Suppose -12430 + 2589 = -13*c. Is c composite?
False
Suppose 0 = 5*m, 4*m - 893 - 1367 = -5*p. Suppose -2*i = i + 4*h - 339, 3*h = -4*i + p. Suppose -5*v + 3*l + 146 = -v, 3*v = 4*l + i. Is v a composite number?
True
Let b(i) = -i - 8. Let w be b(-8). Let g be 2 - (-19 + w + 1). Is 4/g - 788/(-10) a prime number?
True
Suppose -38 = 2*o - 4*v, 0*v = -3*o + v - 32. Let a be 74/o - 8/(-36). Is ((-15)/4)/(2/a) prime?
False
Let p = 1 + 4. Suppose -p*t = -3*t - 158. Is t prime?
True
Let w = 265 - -186. Is w composite?
True
Let s = 6 - 4. Suppose -x + s*x - 2 = 0. Suppose w + x*w - 111 = 0. Is w prime?
True
Let y(p) = -p + 1. Let v be y(3). Is 776/12*(-3)/v composite?
False
Is (-4)/22 - 12735/(-165) composite?
True
Suppose 25 - 75 = 5*y. Let j = 107 + y. Is j composite?
False
Suppose 0*b = -5*b. Suppose b = 2*k + 5*x - 561 + 162, -3*x + 603 = 3*k. Is k a prime number?
False
Let a(p) = -p**3 - 7*p**2 - 4. Suppose 0 = 3*q - 3*l + 13 + 8, -l - 21 = 3*q. Let m be a(q). Let j(k) = k**3 + 4*k**2 - 4*k - 3. Is j(m) a prime number?
True
Let i(d) = 64*d. Let a be i(-4). Let m be (-6)/27 + a/(-18). Suppose -3*h + m = -h. Is h a prime number?
True
Suppose -6*x + 3*x + 1005 = 0. Suppose b = -4*b + x. Is b a composite number?
False
Is 0 + -1 + 27*(-24)/(-9) prime?
True
Let z(g) = -g**3 + 9*g**2 + 12*g - 11. Is z(8) prime?
True
Let m(j) = j**3 + 7*j**2 + 5*j + 7. Let y be m(-6). Suppose 0 = -4*d - 1 + y. Suppose d*b + 4*w - 90 = b, 3*b = -4*w + 145. Is b composite?
True
Let i = 884 - 436. Suppose m - 3*d - 221 = 0, 3*m = 4*d + i + 195. Is m a composite number?
True
Let o be 1/(-4) + (-333)/(-36). Is ((-317)/(-3))/(3/o) prime?
True
Let x be (9/(-6))/(1/(-2)). Suppose -x*y - 2*m + 55 = 0, y + 40 = 5*y - 4*m. Is (-308)/(-10) - (-3)/y a composite number?
False
Suppose 2*o + 372 = -o. Let b = -73 - o. Is b a composite number?
True
Let j(f) = -f + 10. Let w be j(7). Suppose a = -w*a + 228. Is 6/8 + a/4 prime?
False
Suppose z + 2 = 0, 7*h - 2*h - 4*z - 623 = 0. Is h composite?
True
Let h = 59 + -33. Is h a prime number?
False
Let y be 6/(-4 - -2) + -6. Is 2/9 - 205/y composite?
False
Let v(t) = -2*t**2 - 2*t + 350. Let d be v(0). Let a = 355 - 210. Let o = d - a. Is o a composite number?
True
Suppose 1167 = 12*s - 9*s. Is s composite?
False
Let j = -200 + 743. Is j composite?
True
Suppose q + 3140 = 9*c - 4*c, -4*c + 3*q + 2501 = 0. Is c a prime number?
False
Let c(t) be the second derivative of t**3/6 - t**2/2 - 2*t. Let p be c(6). Suppose n - 5*n + 79 = 5*a, 0 = 4*a - p*n - 96. Is a a composite number?
False
Let y(k) = -2 + 0 + 0 - 10*k - 1. Let v = -5 + -2. Is y(v) composite?
False
Is (-10)/(-25) + (-4506)/(-10) a prime number?
False
Suppose 4*r + 33 = 5*r. Suppose -239 = 4*u - 5*d, 3*u + 2*d = r - 195. Is ((-3)/(-4))/((-2)/u) composite?
True
Let h be (9/6)/(2/60). Let m(o) = -o + 7. Let i be m(5). Suppose i*d = -d + h. Is d prime?
False
Suppose 5*s - 185 = -0*s. Is s a composite number?
False
Suppose -5*y + 6*y = 0. Is (1 - 0) + y + 2 a composite number?
False
Let f = -4 + 7. Suppose -o - f*o = -212. Is o composite?
False
Let w(o) = 2*o**3 + 11*o**2 - 5*o - 8. Let x(n) = -3*n**3 - 12*n**2 + 6*n + 9. Let z(t) = -4*w(t) - 3*x(t). Is z(8) a prime number?
False
Suppose -2*o + 4*d = -934, 6*o + d = o + 2346. Is o a composite number?
True
Let p(f) = f**2 + 5*f - 11. Let t be p(-8). Let v(z) = -t + 0 + z**2 + 3*z - 4*z + 0*z**2. Is v(10) prime?
False
Let r = 6 + -6. Is 140 + (-2 + 5 - r) composite?
True
Suppose 373 = 3*n - 164. Is n composite?
False
Suppose -4*w - 5*h = -134, 0 = 5*w - w - 5*h - 114. Is w a prime number?
True
Let m = 72 + 131. Is m composite?
True
Suppose 0*c - 825 = -4*c - 3*k, -1034 = -5*c - k. Let w = c - 120. Is w a composite number?
True
Is (1 - -1252) + (12/(-4) - -5) a prime number?
False
Let d(j) = 8*j**3 - j**2 + 4*j - 3. Let l be d(4). Let x = l - 190. Is x compos