number?
False
Suppose 2 = 4*k - 2*k + 3*w, -16 = -2*k + 4*w. Suppose -k*n + 102 = -134. Is n a composite number?
False
Let o(h) = h**3 + 6*h**2 + 4*h - 1. Let p be o(-6). Let w be 20/30 - p/3. Suppose -5*j = w - 604. Is j a composite number?
True
Let w be 42*(-3)/((-18)/92). Suppose -3*v - 3*n - 483 = 0, w = -4*v - n - 0*n. Let k = -42 - v. Is k a prime number?
False
Suppose 2*o = 2*s - 258, -5*o + 2 = 17. Suppose 0 = -z - 5*u - 114, 0 = -2*z - 6*u + u - 203. Let j = z + s. Is j prime?
True
Suppose 0 = 3*x - x - 46. Let q = 189 - x. Is q a prime number?
False
Let c(k) = k**3 - 3*k**2 - 4*k. Let i be c(4). Suppose 1530 = 6*w - w - 5*f, i = -5*w - f + 1560. Is w composite?
False
Suppose -4*p = 82 + 110. Let h(y) = -2*y**3 - 2*y**2 - y. Let c be h(-3). Let n = c - p. Is n prime?
False
Suppose -4749 = -13*h + 4793. Is h composite?
True
Let n be ((-8)/10)/((-4)/50). Let y(v) = v**3 - 9*v**2 - 7*v + 7. Is y(n) prime?
True
Suppose -2*i = -i. Suppose i = 5*m - 11 - 184. Is m prime?
False
Suppose 9 = 3*p, -4*z + 0*p - 1817 = p. Let r = z + 732. Is r prime?
True
Suppose -5*z - 4*k = -45, -4*z + z + 40 = 5*k. Is z/(-5)*(-8 + 1) composite?
False
Suppose 397 = 5*v + 132. Is v composite?
False
Let s(q) = -4*q - 3*q + 8 + 6*q. Let x be s(6). Suppose x*k + 39 = 3*k. Is k composite?
True
Let y(t) = -t**2 + 7*t - 4. Let n be y(6). Suppose -n*r + 3*c = -c - 114, c = 2*r - 102. Is r a prime number?
False
Let v(a) = -24*a + 3. Let d(u) = -71*u + 8. Let b(l) = 4*d(l) - 11*v(l). Is b(-1) a prime number?
True
Let v(d) = -65*d + 2. Is v(-1) a composite number?
False
Let b be 138/30 + (-2)/(-5). Suppose 0 = 2*l + 4*w - 20, 12 = -4*l - 0*w + b*w. Suppose -l*a + 3*a - 39 = 0. Is a a composite number?
True
Let m = 18 + -14. Suppose -m*c - 2*i = -0*c - 64, -5*i + 6 = -c. Is c prime?
False
Let c(w) = -w**2 + 2*w. Let b be c(2). Let r = 2 - b. Is (7/r)/((-1)/(-22)) composite?
True
Let k(o) = -o - 4. Let w be k(-7). Suppose 0 = w*u - 1029 - 276. Suppose 0 = -0*n + 3*n - u. Is n a prime number?
False
Suppose 0 = -0*d + 5*d - 15. Suppose l = d*z - 291, 2*z - 5 = -4*l + 189. Is z composite?
False
Suppose -3*o = -7*o + 2456. Is o a prime number?
False
Let z = -2473 + 3736. Is z composite?
True
Is (3/(-9))/(1/(-93)) a prime number?
True
Suppose -3*k + 4*h = -35, -4*h = k + 8 + 7. Let q be ((-6)/k)/(3/20). Is ((-110)/4)/(4/q) a prime number?
False
Suppose -6*z = -629 - 2353. Is z a prime number?
False
Suppose 5*j + 5*p - 10 = 0, -3*j = -8*j - 4*p + 10. Suppose 2*h = l - 2*l + 502, 2*h - j*l - 514 = 0. Is h a prime number?
False
Let k(c) = c - 8. Let r be k(5). Let n = 6 + r. Suppose 4*v - 192 = -n*l + 17, 5*l - 5*v - 325 = 0. Is l prime?
True
Let n be ((-1)/(-2) + 2)*2. Let u = -132 - -387. Suppose 3*b = -3*t + 744, n*t - 1503 = 3*b - u. Is t a prime number?
False
Let h(a) = 10*a**2 + 6*a + 1. Is h(-5) prime?
False
Let u(a) be the second derivative of a**8/6720 - a**7/504 + a**6/180 + 7*a**5/120 - a**4/6 + a. Let j(t) be the third derivative of u(t). Is j(6) composite?
False
Let z(o) = -o**3 + 8*o**2 + 10*o + 10. Let s be z(9). Let v = 98 - s. Is v prime?
True
Is (1/1 - 3) + 24363/9 prime?
False
Let l be (3 - (-6)/(-2))/(-3). Let u = 2 + l. Suppose 465 = 5*t + 2*q, u*q + 5 = 3*q. Is t a prime number?
False
Let j(p) = -p**3 - 6*p**2 + 5*p + 7. Suppose 2*h = 11 - 3. Suppose h*z + 21 = z. Is j(z) prime?
False
Let l = 3 - 1. Let n(z) = -6*z + 4. Let f(c) = 1. Let k(u) = l*n(u) - 10*f(u). Is k(-2) a composite number?
True
Suppose -2*f = -2*g - 164, -5*f - 2*g = -0*f - 417. Is f composite?
False
Suppose 242 = -s - 269. Let g = s + 1184. Is g prime?
True
Is 205*((-8)/5 - -2) composite?
True
Is (4 - (6 - 3))*633 composite?
True
Suppose -3*p - 4 = p, 5*h = 4*p + 3729. Is h a prime number?
False
Let x be 1/3*(-78)/(-1). Suppose -m + x = -5. Is m a composite number?
False
Let n(d) = -7*d**3 + 4*d + 5. Is n(-2) a composite number?
False
Let a(p) = 2*p**3 - 3*p**2 + p + 2. Let q be a(2). Suppose q*n = 3*n + 415. Is n a prime number?
True
Suppose -5*s + 3*x = 160, s + 0*s + 2*x + 45 = 0. Let a = -19 - s. Suppose 22 = 2*r - a. Is r composite?
False
Let t(u) = 7*u**2 - u + 1. Let z be t(-1). Let c(d) be the third derivative of d**6/120 - 2*d**5/15 + d**4/8 + d**3/6 - d**2. Is c(z) a composite number?
False
Let t be -8*51/(-6) + 3. Suppose b = t + 6. Is b composite?
True
Let f(p) = 8*p**2 + 3*p + 2. Is f(3) a prime number?
True
Let p = 8 - 3. Suppose -n + j = 2*n - 37, 3*n = -p*j + 13. Is n composite?
False
Let r(s) = 4*s**2 + 3*s - 5. Suppose -h = 2 + 4. Is r(h) a prime number?
False
Let t(u) be the third derivative of -u**5/60 + u**4/4 + 5*u**3/3 - u**2. Let m be t(7). Let c(r) = 10*r - 4. Is c(m) a composite number?
True
Let h(o) = o**3 - 2*o**2 - o - 1. Let k be h(2). Is 2790/25 - k/(-5) a composite number?
True
Let p(a) = a + 1. Let w(q) = q**2 + 7*q - 5. Let b be w(-7). Let y = b - -7. Is p(y) a prime number?
True
Is 313/2*(11 + -7 + 0) a composite number?
True
Suppose -5*g - 3245 = -5*o, 3*o + 4*g - 613 - 1299 = 0. Suppose 5*y - 572 = -3*q, -4*y + q = 183 - o. Is y a composite number?
True
Let o be 2/(-8) - (-15)/12. Let h be o*3*(-1 + 2). Suppose -2*u - 38 = -3*v + v, h*u = -4*v + 41. Is v a prime number?
False
Suppose -3*c = -5*i + 313, 3*c = 2*i - 0*i - 316. Let m = c - -168. Is m composite?
True
Let o(p) = 35*p - 83*p + 7 - 20. Is o(-12) a composite number?
False
Is (-12)/8*-2*17 a prime number?
False
Let u(a) = -a**2 - 11*a + 5. Let n(m) be the first derivative of -m**4/4 - m**2/2 - 1. Let g be n(2). Is u(g) a composite number?
True
Suppose 2*k - 3*k - 1016 = -5*r, 1020 = 5*r - 5*k. Is r a prime number?
False
Let p(z) = 4*z**2 - 13*z - 13. Is p(9) a composite number?
True
Let i(z) = z + 3. Let v be i(-4). Let y be 164/8 - v/2. Suppose -p = -0*p - y. Is p prime?
False
Let o be 1/(3/9 + 0). Suppose -155 = -4*n - d, 161 = n + o*n - 5*d. Is n a composite number?
True
Let q(z) = 17*z**2 + z - 23. Is q(-6) a composite number?
True
Let p be (-177)/4 + 2/8. Let i = p - -63. Is i a composite number?
False
Let x be (-55 - 5)*5/2. Is 2 + (-2)/(4/x) a composite number?
True
Let v be (-5)/((-15)/6) + -1. Let g be (1/1)/(v/32). Let d = g - -3. Is d composite?
True
Suppose -4*k + 4*q = -480, 6*q + 479 = 4*k + 3*q. Is k prime?
False
Is 9*(942/9)/2 prime?
False
Let p(x) = 5*x**3 + 2*x**2 - 3*x + 2. Let f = 3 + -1. Let d be p(f). Let o = d + -19. Is o prime?
False
Let j(q) = q**2 - 5*q + 5. Is j(13) a composite number?
False
Suppose -2*s - 2*l - 94 = -0*l, 3*l = 6. Let a(r) = r**2 + 8*r - 3. Let b be a(-9). Let u = b - s. Is u a composite number?
True
Suppose 532 = -3*y + 181. Let z = -64 - y. Is z a prime number?
True
Suppose -54*y = -53*y - 3587. Is y prime?
False
Let b(a) = -a**3 + 5*a**2 + 7*a - 2. Let l be b(6). Let o be (l + -4)/(2 - 1). Suppose o*m = -4*m + 188. Is m prime?
True
Suppose 585 + 720 = 5*k. Let i(g) = -g**2 + 5*g + 16. Let o be i(7). Is o + 2/(6/k) composite?
False
Is 1/3 - 2*(-11073)/9 prime?
False
Suppose 2*c + 0*c + 2 = 0. Let u be c/(-2*(-1)/(-10)). Suppose -4*j + 89 = -2*r + 15, -4*j - u*r + 109 = 0. Is j prime?
False
Suppose -3*m + 13 - 4 = 0. Suppose -4*h + m = -1. Is h + (-2)/1*-11 composite?
False
Is (-1)/(-3) - (45400/(-15))/4 prime?
True
Suppose k + 3*z + 0*z = -10, 2*k - 25 = 3*z. Suppose k*w = 3 - 78. Is 6/w - 894/(-10) a composite number?
False
Let g be ((-9)/(-6))/((-6)/(-8)). Suppose 6*b - b = -g*l + 443, -3*b + 271 = -4*l. Is b composite?
False
Let t = -23 + 26. Is t prime?
True
Let g(p) = p**3 + 5*p**2 - 7*p - 4. Let h be g(-6). Suppose -h*d + 2*m + 113 = d, -2*d = 5*m - 50. Is d a composite number?
True
Suppose 2*c + 2*u = 154, -5*c + 322 = -c - 3*u. Is c prime?
True
Is 1 + (13 - 2)*38 prime?
True
Let k(c) = c**3 + c**2 - c. Let i(w) = 6*w**3 + 2*w**2 - 6*w + 2. Let q(z) = -i(z) + 5*k(z). Is q(-4) composite?
True
Let n be (2 - -1) + (11 - 6). Suppose -n*l = -3*l - 355. Is l composite?
False
Let f = 7 - 7. Suppose -5*w + m = -47 - 16, f = -5*w - 4*m + 73. Is w composite?
False
Suppose -2*m - q = -209, -6*q - 20 = -2*q. Suppose 5*w - 3*z - m = 0, 0*z - 41 = -2*w + 3*z. Is w prime?
False
Is ((-12)/4 - -5)/(2/134) a prime number?
False
Let v(q) = 2*q**2 + 11*q - 10. Let g(l) = -l**2 - 5*l + 5. Let o(n) = -5*g(n) - 2*v(n). Is o(-6) a composite number?
False
Suppose 