posite?
True
Let u(q) = -q**3 + 71*q**2 - 141*q + 36. Is u(67) composite?
True
Suppose -54666 = -18*q + 12*q. Is q a prime number?
False
Let m be (-3866)/(-9) - (-20)/45. Suppose -n - 6 = -4*n. Suppose q - 2*f = 97, m = 5*q - f + n*f. Is q prime?
False
Let r = -8 + 19. Suppose -3*h + 79 = -r. Suppose 4*u - 490 + h = 0. Is u prime?
False
Let f(n) = -n**3 + 5*n**2 + 5*n + 8. Let v be f(6). Suppose 1542 = 4*y - v*k, -5*y + 6*k = k - 1915. Is 12/(-30) + y/20 a prime number?
True
Let w(k) = -k + 7. Let x be w(4). Suppose 4*h - x*i - 476 = 1970, -4*i = -8. Is h a composite number?
False
Suppose -5*o + 1 - 26 = -3*j, o + 5 = j. Suppose -2*u = -4*u - p + 15, 5*u + 4*p - 45 = j. Suppose -u*a + 1258 = 143. Is a a prime number?
True
Let i(f) be the second derivative of 25*f**3 - 5*f**2/2 - 6*f. Is i(3) composite?
True
Let w(d) = 60*d + 8. Let k(y) = -y + 1. Let z(i) = k(i) + w(i). Is z(8) a prime number?
False
Let a(l) = l**2 - 4. Let k be a(3). Suppose k*h = -0*h + 15. Suppose 589 = h*q + 160. Is q a prime number?
False
Let b = -21 + 24. Let y(z) = 10*z**3 - 7*z + 4. Let w(n) = 11*n**3 - 8*n + 4. Let j(x) = b*y(x) - 2*w(x). Is j(3) a prime number?
False
Let z(q) = q**2 + 11*q + 12. Let s be z(-10). Suppose 0 = s*i - 107 - 855. Is i a prime number?
False
Let c(j) = 779*j - 729. Is c(10) a prime number?
False
Let k(h) = -1 + 16*h + 2*h**2 + 2 - 17*h. Let n = 2 - 6. Is k(n) a prime number?
True
Let k(u) be the third derivative of u**5/20 + u**4/8 + u**3 + 13*u**2. Let t be k(-4). Suppose 0 = o - 3*o + t. Is o composite?
True
Is -8*7/(-14) - (0 + -3382) a prime number?
False
Let r = -22873 - -44490. Suppose -r = -5*y + 4*t, y - 3*t + 1011 - 5341 = 0. Is y composite?
True
Is (9/(-3) + 5/2)*-11558 composite?
False
Suppose 279*c + 453790 = 325*c. Is c a prime number?
False
Let f(t) = 100*t**2 - 3*t + 18. Is f(5) prime?
True
Let f be (-6 + 4)*2 - -555. Let k = -217 + f. Is -1*k*(-18)/36 a composite number?
False
Let d = 6124 + -3570. Is d a prime number?
False
Let t = 83572 + -49557. Is t prime?
False
Let p(f) = -10*f + 21*f - 11*f**2 - 3*f**3 + 7 + 5. Let m(t) = -16*t**3 - 56*t**2 + 56*t + 59. Let b(n) = -2*m(n) + 11*p(n). Is b(-11) a prime number?
True
Suppose -9*f + 6*f = -30. Suppose -f = -5*v - 45. Is (v + 9)*127/2 a prime number?
True
Let g = 302 - 122. Let u = g - 41. Is u prime?
True
Let f = 3258 + -59. Is f a composite number?
True
Let y be (-84)/(-18)*15/(-2). Let x be 23914/10 - (-14)/y. Suppose 5*f = 2*f + x. Is f a prime number?
True
Let q be 275/(-2)*8/(-10). Let a be q - (6 - 3) - 0. Let j = -45 + a. Is j prime?
False
Let m be (-8)/(-64) + (-1679)/(-8). Let z = -392 + m. Let w = z - -445. Is w prime?
True
Suppose 0 = 2*b + r - 13611, b + 13*r - 6802 = 16*r. Is b a composite number?
True
Let l = -82 + 87. Let v(z) = 151*z**2 - 5*z + 5. Is v(l) composite?
True
Let l = -502 - -1505. Is l prime?
False
Let n(k) be the first derivative of k**2/2 + 395*k + 11. Let c be n(0). Suppose c + 2698 = 3*q. Is q a composite number?
False
Let a(v) = -v**3 - v + 3. Let g be a(0). Suppose -g = 3*o + 4*j - 22, -15 = 3*j. Is (12 - 10) + 17*o a prime number?
True
Suppose 0 = -60*z + 64*z - 626156. Is z a composite number?
False
Let g(j) = -20*j - 3. Suppose 4*u - 15 = c - 62, 2*c + 62 = -5*u. Let w be (8/u)/(4/12). Is g(w) prime?
True
Let t = 1471 + 6138. Is t prime?
False
Suppose 4*r = -4*j + 1712, -j = -3*j + r + 850. Let u = j + 1375. Is u prime?
True
Let o(f) = -1680*f + 206. Is o(-22) composite?
True
Let q(c) = 798*c**2 + 15*c - 23. Is q(2) composite?
True
Suppose 0 = -2*g - 2*p + 76, 0 = -3*g - g + 5*p + 107. Let u(b) = 2*b + 89. Let k be u(-32). Let l = g + k. Is l prime?
False
Let i(a) = -1 + 2*a - 14*a + 18*a**2 + 6*a. Is i(5) prime?
True
Let a(c) = 6*c**2 + 4*c + 3. Let h(v) = 7*v + 1. Let p be h(-5). Let k be (-3)/21 + p/7. Is a(k) composite?
True
Is 54333/3 + (-220)/22 a composite number?
True
Suppose 2*o - 308 = 50. Let q = o - 24. Is q prime?
False
Let z(y) = 11*y**2 + y + 5. Let p(k) = -k**2 - k + 1. Let l(u) = 4*p(u) + z(u). Is l(7) a composite number?
False
Let y = 183 + -545. Let r = y + 619. Is r prime?
True
Suppose 3299 = 5*m - 7506. Is m a prime number?
True
Let q = 8 + -28. Let a = q + 20. Suppose o + 64 - 357 = a. Is o composite?
False
Suppose 37*x = 57*x - 14540. Is x prime?
True
Let j be 34/4 - 12/(-8). Suppose -3*z = 3*g - 21, 4*g + 11 = -3*z + 44. Is (g/j)/(12/1110) prime?
False
Let p(y) = 141*y + 2. Let z be -2 + (-12)/(-16)*4. Let i be p(z). Suppose -2*h + 517 = i. Is h a composite number?
True
Suppose -2*l + 355 = -1439. Suppose l = -z + 4*z. Is z a composite number?
True
Suppose 22 - 4 = 3*t. Let l(j) = 452*j**2 + 2*j - 5. Let z(x) = -905*x**2 - 4*x + 11. Let u(r) = t*z(r) + 13*l(r). Is u(-1) prime?
False
Let d(t) = 129*t + 4. Let s(o) = 43*o + 1. Let i(l) = 4*d(l) - 11*s(l). Let c be i(-3). Let v = c - -335. Is v composite?
False
Suppose 5*c = -5*a + 10515, -4*c = 6*a - 5*a - 2115. Is a composite?
False
Suppose 1 = 2*d + n - 30, d = 2*n + 3. Suppose d*w = 11*w + 662. Is w prime?
True
Suppose 6*l - 11*l + 10 = 0. Suppose -7*j + 10 = -l*j. Suppose j*i + 1 = 2*s + 281, -5*s = -i + 120. Is i a prime number?
False
Let s(n) = -n**2 + n. Let o(q) = 2*q**3 - 6*q - 1. Let w(v) = -o(v) - 4*s(v). Let c be w(4). Let y = c + 80. Is y composite?
True
Let p = -5608 - -12687. Is p a composite number?
False
Let w(p) = -208*p + 4. Let b be w(-2). Suppose 6*k + k = -b. Let a = 173 + k. Is a prime?
True
Let z(y) = -9*y**3 - y**2 + 2*y. Let x be z(1). Is 2/x*-2 - (-657)/18 a prime number?
True
Let v = -37 - -42. Is ((-1434)/v)/(10/(-25)) prime?
False
Suppose b + 4*b = 400. Let r be (b/12)/((-4)/(-30)). Let j = r + 17. Is j composite?
False
Let t(j) = 31*j + 6. Let d = 20 - 15. Is t(d) a prime number?
False
Suppose -4*r = -22 + 2. Suppose -762 - 2708 = -r*i. Is i a composite number?
True
Let w = -17740 + 2398. Is (w/(-12))/(1/2) composite?
False
Let t be (-135)/(-30) + 2/(-4). Suppose 0*l - 424 = -t*l. Is l a prime number?
False
Suppose -129290 = -7*g - 3*g. Is g prime?
False
Let f = -21 + 20. Let z be 10*-1*(2 + f). Let b(h) = h**2 + 2*h - 11. Is b(z) a prime number?
False
Let l(w) = -w**2 + 2*w + 16. Let z be l(0). Suppose -o = -z*g + 14*g + 13007, 4*g - 26010 = -2*o. Is g a prime number?
False
Is (459/(-6) - 7)*-10 a prime number?
False
Let l be 1*4/(-4) - -4. Let u(t) = 2 + 0*t - l - 16*t + 4*t. Is u(-2) a prime number?
True
Suppose 0 = q + 1 - 5. Suppose 3*n - 171 = t - q*t, -2*n = 5*t - 126. Is n prime?
True
Let o = 2219 + -1324. Is o a composite number?
True
Let a(c) be the third derivative of 7*c**6/90 - c**5/120 + 7*c**4/24 + c**2. Let r(g) be the second derivative of a(g). Is r(4) composite?
False
Suppose 0 = 19*w - 29*w. Suppose -5*s + i - 6247 + 25261 = w, 5*i + 3798 = s. Is s prime?
True
Let g(t) = -t - 11 + t**2 + 22 + 4*t**2 - 4*t**2. Let p = 15 - 25. Is g(p) composite?
True
Let g = -911 + 918. Let k(f) be the second derivative of 15*f**3/2 + 8*f**2 - f. Is k(g) prime?
True
Let d(t) = -t**3 - 6*t**2 - 4*t - 1. Let v be d(-3). Is (-76980)/v - 5/20 a composite number?
True
Let p(l) = 5*l**2 - 2 - 2*l**2 + 9*l - 2*l**2 - 2*l**2. Is p(8) a composite number?
True
Let r(c) = -50*c + 41. Let x be r(10). Let z = x + 976. Is z prime?
False
Suppose -5*k = -3*k - 532. Suppose 0 = 4*u + o + k, -u - 62 = o - 3*o. Let m = u - -157. Is m a composite number?
True
Let h = 0 - 3. Let o = 6 + h. Is (71/o)/((-3)/(-9)) composite?
False
Let z be (7 - 5) + 5/(-1). Is (-4*1/(-12))/(z/(-5571)) composite?
False
Suppose -34*m + 27*m = -45703. Is m prime?
True
Let b(q) = q**3 - 6*q**2 - 4*q - 9. Let o be b(7). Is (-388)/(-6) - (-4)/o prime?
False
Suppose 4*x + 19175 = 4*n + 4931, -5*x - 14242 = -4*n. Let f = n + 328. Is f composite?
True
Suppose -12108 = 2*s - 14*s. Is s a composite number?
False
Suppose 22*a + 3*v = 21*a + 24980, -2*a + v + 49981 = 0. Is a prime?
True
Suppose 22*u + 23058 = -7258. Let t = -737 - u. Is t a composite number?
False
Suppose -z - 4*x = 8 + 2, -z + 2*x = -8. Let m = 554 - 165. Suppose 5*h + m = 6*h + 2*a, 2*a = -z*h + 784. Is h a composite number?
True
Let w = -31649 - -55808. Is w a prime number?
False
Suppose -225424 = -21*s - 28381. Is s prime?
False
Let u(j) be the first derivative of -j**3/3 - 8*j**2 - 9*j - 8. Is u(-12) prime?
Fals