umber?
True
Let j(m) = 6*m**3 - 6*m**2 + 11*m - 8. Is j(5) prime?
True
Let k(q) = -51*q - 6. Let z be k(-5). Let o = z - 178. Is o a composite number?
False
Suppose 0*k = k - 2, -2*k + 469 = 3*h. Suppose 2*t - 206 = 5*v, -3*t - 2*v = -154 - h. Is t a prime number?
True
Let t = 158 - -5. Is t a composite number?
False
Let i(m) = m**3 - 4*m**2 + 10*m - 9. Let k be i(6). Suppose 4*n - k - 385 = 0. Is n prime?
True
Let s(z) = -2*z + 3. Let l be s(2). Let y(r) = 163*r + 1. Let p be y(l). Let o = p + 397. Is o composite?
True
Let a = 40 + -76. Suppose 6*u - u = -75. Let f = u - a. Is f composite?
True
Let z be (-30)/(-8) - 5/(-20). Suppose 0 = z*f - 7*f - 57. Let r = 2 - f. Is r prime?
False
Suppose -z - 4*z + 6015 = 0. Is z composite?
True
Suppose -3*l = 2*x - 494, 0 = l + 2*l + 6. Suppose -5*k + 3*k = -x. Suppose -5*r + k = -260. Is r prime?
False
Let w(p) = 4488*p - 1. Is w(1) a prime number?
False
Let x be 15/6*4/(-5). Is (-4 - -3)/(x/62) a prime number?
True
Let l be (-3)/4 + (-19)/(-4). Suppose -4*x - 37 = -u + 12, -2*u = l*x - 50. Is u prime?
False
Is 2/1*711/18 a composite number?
False
Let v = -71 + 184. Let k be 10/35 + 43*12/7. Let o = v + k. Is o composite?
True
Let u be (-3 + 1 + 1)/(-1). Is 0/(u + -3) + 367 composite?
False
Suppose -3*v - 2 = 10. Let g = -1 - v. Suppose 0 = -g*c + 31 - 10. Is c a composite number?
False
Suppose -3*x + 5*x - 238 = 0. Suppose 0 = -0*o - o + 66. Let u = x - o. Is u composite?
False
Let b = 3 + -2. Let s = b - 6. Let f = s + 44. Is f prime?
False
Let k be 793 + -1 + -2 - 1. Suppose -3*f - f + k = -5*a, a = f - 196. Is f a composite number?
False
Is -2 + 1 + 3560 + 12 prime?
True
Suppose 5*i = -2*q + 628, -3*i + 2*q - 5*q = -375. Suppose -5*h - 21 = 2*v, 3*h + 16 - 5 = -2*v. Suppose -2*j + i = v*o + 2*j, 2*o - 4*j = 110. Is o composite?
False
Let l(s) = -28*s - 7. Is l(-3) a prime number?
False
Suppose 0*j + 3*j - 2859 = 0. Is j a prime number?
True
Let b be ((-6)/(-5))/(2/5). Let o = b + -5. Let m(u) = -4*u + 2. Is m(o) a composite number?
True
Let r(h) = -2*h**3 + 3*h**2 - h - 7. Is r(-13) composite?
True
Let u = 19 - 5. Is u prime?
False
Let t = 20 - 16. Let x = 39 - t. Is x a prime number?
False
Let d = 103 + -67. Let t = 25 - 51. Let j = d + t. Is j composite?
True
Suppose 3*k - 7*k = -4*s + 32, 2*k - 4*s + 26 = 0. Let i(w) = -w**2 - 3*w + 7. Let g(m) = m**2 + 2*m - 6. Let y(f) = 5*g(f) + 4*i(f). Is y(k) a prime number?
True
Suppose -o - q = -1644, -o + 5*o - 2*q = 6570. Is o prime?
False
Suppose 5*n + 0*n - 800 = 0. Suppose -3*i = i - n. Suppose -5*q = 3*s + 8 - i, -3*s + 24 = 3*q. Is s prime?
False
Let j(f) = -420*f + 2. Let l(c) = -210*c + 1. Let y(q) = -3*j(q) + 7*l(q). Is y(-1) composite?
False
Let g(i) = 23*i**3 + 2*i**2 - 4*i - 4. Let x be g(-3). Let c = x - -1074. Is c a prime number?
True
Let a(q) = -q - 5. Let g be a(-4). Let l(r) = -85*r**3 - r**2 + r + 1. Let d be l(g). Suppose -3*x - d = -7*x. Is x a composite number?
True
Suppose 3*d = -2*o + 10 + 19, -4*o - 8 = 0. Is ((-2)/4)/(d/(-2794)) composite?
False
Suppose -n + 3 + 2 = 0. Suppose 626 = n*f - 1689. Let d = f + -216. Is d a prime number?
False
Let n be 7 - (-2 + 0/(-1)). Let x be (-21)/n - 2/(-6). Is (-23)/x + (-2)/4 a composite number?
False
Suppose 0 = r + 13 + 35. Let j be 335/15*(2 + -5). Let u = r - j. Is u prime?
True
Let p = 16 - -48. Let t be 0 - (1 - 9)/4. Suppose -l = a - 53, 0 = -3*a + t*l - p + 203. Is a composite?
True
Is ((-219)/(-6))/((-1)/(-34)) a composite number?
True
Let g(d) be the third derivative of 0*d - 3/8*d**4 + 0 - d**2 - 1/6*d**3. Is g(-4) composite?
True
Suppose 5*y - 4*n + 0*n - 3572 = 0, 5*n + 1422 = 2*y. Suppose 0 = -2*x - 8, 3*d - x + y = -2*d. Let g = 233 + d. Is g a composite number?
False
Let h(p) = -2*p**3 - 6*p**2 - 3*p + 8. Let x be h(-6). Suppose 5*m - x = o + 6, -2*o = m - 43. Is m prime?
False
Is 178/(-8)*(-3 - 1) prime?
True
Suppose -1442 = -12*l + 15130. Is l prime?
True
Let k(x) = x**2 - 3. Let y be k(8). Suppose -3*q + 50 = -y. Is q a prime number?
True
Let o = -39 - 70. Let l = o - -162. Is l a composite number?
False
Let u(t) = 9*t**2 - t + 1. Is u(-6) a composite number?
False
Suppose -8*l = -2*l - 6366. Is l a prime number?
True
Suppose -5*f = 30 - 120. Let g = -15 + 0. Let x = f - g. Is x a composite number?
True
Let g(s) = s**3 + 7*s**2 + 4*s - 4. Let j be g(-6). Is (j/12*-249)/(-2) a prime number?
True
Let a = 76 + 7. Is a a prime number?
True
Suppose -2*a = -5*n + 1045, -5*n - 3*a = -1130 + 60. Is n prime?
True
Let o(r) be the first derivative of 37*r**2/2 + r + 2. Is o(4) composite?
False
Let k(u) = -24*u - 1. Let c be (-50)/15*9/6. Is k(c) prime?
False
Let o(s) = s**3 - s - 1. Let u(m) = m**3 + m**2 - m - 1. Let k(n) = 5*o(n) - 4*u(n). Suppose i - 35 = -6*i. Is k(i) composite?
False
Suppose -6*b = -7*b + 6. Suppose -2*s + 4*u - 10 = -3*s, -s - 2*u = -b. Is s prime?
True
Suppose -5*y - 770 = -5*r, 5*r - 251 = 3*y + 509. Is r a prime number?
True
Suppose 272*f - 269*f = 1335. Is f prime?
False
Suppose 3*m = -4 + 19. Suppose -d = m*j - 37, j + 111 = 3*d + 2*j. Let t = d - 18. Is t composite?
False
Suppose 2*o - 3 = 3. Let q(x) = -x**2 - 4 + 0 - 12*x + o. Is q(-10) prime?
True
Suppose 2*p + 5*f = 159, 190 = 3*p + 3*f - 62. Is p a composite number?
True
Let h = 7 + -3. Let n(c) be the second derivative of c**4/6 + c**3/3 - 3*c**2/2 - c. Is n(h) a prime number?
True
Suppose 4*i - 11*i + 2933 = 0. Is i a composite number?
False
Let r(m) = -6*m**3 - 10*m + 6. Let p(u) = -2*u**3 - 3*u + 2. Let z(a) = 16*p(a) - 5*r(a). Suppose -2*w - 8 = -4. Is z(w) prime?
False
Suppose 5 = -5*n, -2 = 5*c + n - 1. Suppose 5*y + 0*y - 1685 = c. Is y a prime number?
True
Is ((-3505)/20)/((-2 - 1)/12) a prime number?
True
Suppose -8*t + 6*t + 358 = 0. Is t a prime number?
True
Let q = 18 - 13. Suppose q*s = -3*i + 35, 3*i - 3*s = -2*s + 47. Is i a composite number?
True
Let f(m) = m**2 - 10*m. Let d be f(9). Let u = 16 - d. Is u a composite number?
True
Suppose 2*l + 132 = -80. Let k = l - -159. Is k a composite number?
False
Let l be 461 + -3 - (0 - -2). Suppose o + l = 4*o. Suppose -y - y + 3*p = -o, -3*y + p = -235. Is y a composite number?
False
Let h(l) = -27*l - 12. Let j be h(-10). Let b = -181 + j. Is b composite?
True
Let j(q) = -53*q**3 - 3*q - 3. Is j(-1) a prime number?
True
Suppose -r = -3*b + 52 + 125, 5*b - 293 = r. Is b composite?
True
Let j(t) = 51*t**2 + 2*t + 2. Let y be j(-1). Let c = y - -442. Is c prime?
False
Let k = -33 + 144. Is k a prime number?
False
Let d(n) = 8*n**3 + 5*n**2 - 3*n + 3. Is d(4) prime?
False
Suppose 3*i + 2*i + 2*l + 21 = 0, -4*i = 2*l + 18. Let q be (-6)/(i - (-3)/2). Let g(x) = 9*x**2 - 5*x - 3. Is g(q) a prime number?
False
Let k = -524 + 787. Is k composite?
False
Let d(j) be the first derivative of 13*j**3/3 - 9*j - 2. Is d(4) a prime number?
True
Let n(z) = 7*z**2 - 7. Let c(b) = -4*b**2 + 3. Let l be -2 + -4 + 0 + 1. Let a(u) = l*c(u) - 2*n(u). Is a(-2) composite?
False
Suppose 0*c - 3 = c, 4*t = -c + 1625. Is t a prime number?
False
Let y(z) = -3*z**2 - 5*z - 5. Let u be y(-5). Is -3 + (-1)/(-1) - u prime?
True
Suppose 2 = 14*k - 16*k. Suppose -q - 12 = -5*b + 31, -q + b - 27 = 0. Let i = k - q. Is i composite?
True
Let r(m) = -14*m - 13. Is r(-10) a composite number?
False
Let o(a) = 52*a - 9. Is o(6) composite?
True
Suppose -w + 140 = -161. Is w a prime number?
False
Suppose -2*z + o = -1852 + 113, 5 = -5*o. Is z prime?
False
Suppose m - 10765 = 4*y - 9*y, 0 = m. Is y composite?
False
Suppose 5*b = n - 0 + 10, -5*b + 10 = 0. Let h be (6 + n)*(0 + -1). Is 190/(-6)*(h - -3) a prime number?
False
Let x(i) = 3*i**2 - 5*i - 3. Is x(8) a composite number?
False
Let d = 3 - -86. Is d composite?
False
Let z(a) = -a**3 + a**2 + a - 45. Let k be z(0). Let f = k + 68. Is f a composite number?
False
Let n be 112/(-2) - 0/(-4). Let q = 41 - n. Is q a composite number?
False
Suppose -5*s + 7133 = 3*c - 0*c, s + 9480 = 4*c. Is c composite?
False
Suppose 0 = c + 3*r - 2881, -r + 2434 = 4*c - 9112. Is c a composite number?
False
Let t(l) = l**3 + 9*l**2 + 6*l - 8. Let n be t(-8). Let y = 73 - n. Is y a prime number?
False
Suppose -4*f = -f - 513. Let v = -79 + f. Suppose 2*w - v = 3*h, h = 2*w + w - 145. Is w prime?
False
Suppose 0 = 5*m - o + 2*o - 3347, 0 = 4*m + 2