et k(u) = r*t(u) - 8*n(u). Is k(4) a composite number?
True
Suppose 3*y + 4*s = -s + 498, -492 = -3*y - 3*s. Is y prime?
False
Let r(o) = -4*o**2 - 3*o - 5. Let a be r(-4). Let b = -32 - a. Is b a composite number?
True
Let k = -447 - -772. Suppose -3*w - 2*w = -k. Is w a composite number?
True
Is 603/(-6)*(-2)/3 a prime number?
True
Let l = 8 + -3. Suppose -4*o + 124 = 4*j, 7*j - 124 = 3*j + l*o. Is j a composite number?
False
Let c(i) = 3*i - 6. Suppose -9 - 3 = -3*u. Let k be c(u). Suppose -k*z + 147 = -3*z. Is z a composite number?
True
Let w be 17/5 - 4/10. Let g = 6 - w. Let l(y) = -y**3 + 6*y**2 + y - 4. Is l(g) a composite number?
True
Suppose 2*s + r = 4 - 2, 4*s - 10 = -5*r. Suppose -3*w + 0*w + 12 = 0. Suppose -w*u + 189 + 271 = s. Is u composite?
True
Let n(q) = -q + 5. Let u = -15 + 21. Let k be n(u). Is 1 + k - (3 - 52) a prime number?
False
Let h be (-22)/8 - 4/16. Let x be (h/9)/(1/(-3)). Is 1 - 2 - (x - 13) a prime number?
True
Let b = 30 - -39. Suppose 3*c = 6*c - b. Is c composite?
False
Suppose -u = -34 - 44. Suppose 0 = -5*l - 4*p - u, -5*l - 3*p - 80 = 1. Is l/3*7/(-3) a composite number?
True
Let k = 766 + -1364. Is (-8)/(-28) + k/(-14) a prime number?
True
Let g be (-6 + 0)/(5/10). Is 508/(-6)*g/8 a composite number?
False
Let z = 16 + -1. Suppose -3*m + z = 2*c, c + 0*m - 12 = -3*m. Is c a composite number?
False
Suppose -550 = -h - 6*y + y, 1631 = 3*h - 4*y. Is h a composite number?
True
Suppose 28 = -2*m - 2. Let b = m + 38. Suppose -2*i - 148 = -4*a, -a - 2*i = i - b. Is a composite?
True
Suppose 2*t = c + 205, 0*c - 304 = -3*t + 5*c. Suppose 0 = 3*s - 2*s - t. Is s prime?
True
Let k be (-4)/16*1*-4. Let n(m) = m**2 - 2*m + 1. Let t be n(2). Is (t + k)/(4/6) composite?
False
Let c(f) = 3*f**2 + 6*f - 2. Is c(9) a prime number?
False
Let p = -2290 - -4521. Is p composite?
True
Is -2*59*4/(-8) prime?
True
Suppose -6*o + 1771 = -377. Is o a composite number?
True
Let b = 2173 - 1232. Is b a prime number?
True
Suppose b = 4*f + 4*b + 80, -5*f - 3*b - 97 = 0. Let q = f + 108. Is q a composite number?
True
Let t be (1/(-3))/(1/(-6)). Suppose 4 = 2*c, -t*s - 2*c = -3 - 3. Is ((-66)/(-15))/(s/5) a prime number?
False
Let o = 11 - 7. Let v(i) = 11 - i - 4*i + o*i. Is v(8) a composite number?
False
Let x = 811 - 534. Suppose 3*b = -2*s + 115, 4*b = -4*s - s + x. Is s a prime number?
True
Let n(d) = d**2 + 3*d + 1. Is n(8) composite?
False
Suppose -c + 4*h = -1, 5*c - 38 = -3*h + 82. Is c a composite number?
True
Is 2*-254*3/(-12) a composite number?
False
Suppose p = l + 6, 4*p + 4*l = p - 10. Suppose -p*k - 4*v = -0*k - 88, 87 = 2*k + 5*v. Suppose a + 57 = 5*t - 0*a, 4*t - a = k. Is t composite?
False
Let g = 0 + 0. Let s(p) = p**2 - p + 57. Let k be s(g). Let v = -26 + k. Is v prime?
True
Let x = -39 + 55. Is (95/(-20))/((-2)/x) composite?
True
Let h = 2 + 2. Suppose -3*i - w - 159 = -h*w, -2*w + 49 = -i. Is 1/(2 + 111/i) prime?
True
Suppose 0 = -6*p + 10*p - 536. Is p composite?
True
Let w(u) = -u**2 + 6*u + 3. Let j be w(7). Let q(s) = -145*s**3 - 2*s**2 + 2*s - 1. Let f be q(1). Is f/j + (-5)/(-10) prime?
True
Let v(g) = 2*g**2 - 4*g - 14. Let b(k) = -3 + 2 + k + 0. Let f(s) = -5*b(s) + v(s). Is f(-8) a prime number?
True
Suppose 3*f - 1487 = h, 3*f - 8*f - h + 2489 = 0. Is f a prime number?
False
Suppose -12 - 39 = -4*k + y, 0 = -4*y - 12. Suppose -k*z + 8*z + 188 = 0. Is z a composite number?
False
Let k(v) = 2 - 4*v**3 + 2*v**3 + 12*v**2 + 0*v**3 + v**3. Let l be k(12). Suppose -l*w + 21 = -w. Is w a composite number?
True
Let p(c) = c**2 + 4*c + 237. Let r(m) = m**2 + 3*m + 237. Let q(k) = -4*p(k) + 5*r(k). Is q(0) a composite number?
True
Let s(a) = -a**3 + 12*a**2 + 9*a + 3. Let t be 15/2*24/18. Is s(t) a composite number?
False
Suppose 2*m - 3*m + 407 = 3*b, -4*b = 0. Is m a composite number?
True
Suppose -4*t + 2*t + 4*f + 662 = 0, 5*f + 334 = t. Is t a composite number?
True
Suppose 0 = 2*h - 7 + 111. Let s = h - -75. Is s a prime number?
True
Let t = -238 + 468. Let b = t - -1393. Is b/33 + 4/(-22) a composite number?
True
Let k = 707 - -206. Is k a prime number?
False
Let c be (-5)/((-15)/6) + 419. Suppose -4*q = 5*m - c, 4*q - 4*m - 339 = q. Suppose -20 - q = -3*s. Is s prime?
True
Let r be 3/(-18)*-2*-57. Let s be r/3 - 4/6. Let h(x) = -x**3 - 5*x**2 - 8*x + 9. Is h(s) prime?
True
Suppose 9 + 1 = m. Let c(t) = -7 - 2 - m*t + 2. Is c(-6) a prime number?
True
Let z(l) = 5*l**3 - 2*l**2 + 2*l + 1. Is z(2) a composite number?
False
Let z(l) = -4*l - 8*l**2 - l**3 + 0*l**3 - 1 + 10*l. Let x be z(-9). Let y = x - -11. Is y a composite number?
False
Suppose -5*t = -2*t. Suppose 3*a + 164 - 611 = t. Is a prime?
True
Suppose 5*q + 266 = -179. Let c = 4 - q. Is c a composite number?
True
Suppose -5*a + 5707 = v, 3*a + 3*v - 467 = 2962. Is a composite?
True
Suppose 0*d + d + 1 = -2*s, s - 4*d + 23 = 0. Is 5 - -80 - (-5 - s) composite?
True
Suppose -3660 = -5*n + 385. Let f = n - 408. Is f a prime number?
True
Let t(u) = 2*u**2 - 9*u - 10. Suppose 7*c - 3*c = -40. Let n = 21 + c. Is t(n) a prime number?
False
Let r(k) = 240*k**2 + 2*k + 1. Let x be r(-1). Suppose -w - 2*w + x = 2*a, a - 100 = 5*w. Is a a prime number?
False
Suppose -r - 2*t = 222, -3*r - 1124 = 2*r - 4*t. Let f = 31 + -19. Is r/(-6) - (-8)/f composite?
True
Suppose 6 = y + l, 2*y - l - 7 + 4 = 0. Let f be (-1)/(-2)*(0 - 0). Suppose f = -g - q + 3 + 4, -y*g + 3*q - 3 = 0. Is g prime?
True
Let d be ((-125)/3)/((-1)/3). Let a be (-2)/3 + 532/6. Let l = d - a. Is l a composite number?
False
Let v = -102 - -208. Suppose -2*h + v = 5*s, 2*h = 5*h - 2*s - 121. Is h composite?
False
Suppose w = 2 - 4. Is -2 - (w + 3)*-369 composite?
False
Suppose 3*a = s + s + 4961, 0 = 5*a + 3*s - 8300. Is a composite?
False
Suppose 0 = -3*h + 5*r + 3132, -3*r - 1411 = -3*h + 1727. Is h a composite number?
False
Let g(y) = 2*y**3 + 35*y**2 - 10*y - 10. Is g(-17) prime?
True
Let n be -1 - ((64 - 3) + 2). Let o = 287 + n. Suppose d = 2*d - o. Is d composite?
False
Suppose 1793 = 4*p + 3*y, -3*y = -p - 4*p + 2221. Let m = 637 - p. Is m composite?
False
Is 2 + 0 + -1*85*-15 prime?
True
Let x be (2/(-4))/(3/(-684)). Is x + (4 - 1 - 2) prime?
False
Let m = 65 + -18. Is m prime?
True
Suppose -4 = -4*p - 4*n, 0 = -p + 3*p - 2*n - 6. Suppose 4*o - 6 + 0 = p*y, 5*y - 7 = -o. Suppose 0 = u - 3*h - 65, u - o*h - 64 = -0*h. Is u prime?
False
Suppose 0 = 3*t + w - 6728, -4*t + 8593 + 381 = -2*w. Is t composite?
False
Let i = -208 - -293. Is i a composite number?
True
Let q(c) = -14*c - 6. Let x be q(9). Let o = x - -259. Suppose -3*a + 16 = 1, 0 = -4*s + 5*a + o. Is s prime?
False
Let n(p) = 11*p - 5. Let s(v) be the first derivative of -5*v**2/2 + 2*v + 2. Let j(m) = -6*n(m) - 14*s(m). Is j(5) composite?
True
Is (-3 + 562/(-4))*-2 a prime number?
False
Suppose 3*k - 3157 = -4*k. Is k prime?
False
Let m be -40*(26/(-10) - -1). Suppose -3*l = -3*f + 105, -2*f + 3*l + 4 + m = 0. Is f prime?
True
Let q(w) = 8*w + 7. Let j(p) = -11 - 8*p - p - 4 - 7*p. Let l(b) = 2*j(b) + 5*q(b). Is l(6) composite?
False
Is (124/10)/(1/10) - -3 a composite number?
False
Let i = 724 + -167. Is i prime?
True
Let o(j) = -2*j + 1. Is o(-10) prime?
False
Let d(a) = a**3 - 8*a**2 + 6*a - 1. Let t be d(5). Let j = -32 - t. Is j composite?
True
Suppose 0 = -5*i - 22 - 8. Is (-130)/4*i/5 a composite number?
True
Suppose 3*t = 3*b + 9, 2*b + 3*t - 6 = 2*t. Let p(u) = 12*u**3 + u - 1. Let a be p(b). Suppose -3*w = -4*m - 373, -2*m = m + a. Is w a composite number?
True
Let j(n) = 7*n**3 - 2*n**2 - n. Let w(i) = -i. Let h(p) = p + 2. Let y(d) = h(d) + 2*w(d). Let g be y(0). Is j(g) a composite number?
True
Let i = 112 - 162. Let z = -13 - i. Is z composite?
False
Let b = 10 + -11. Let v be -1 + -1 + 4 - b. Is (127/3)/(v/9) prime?
True
Suppose 4*r + r + 2505 = 5*s, -986 = -2*s - 2*r. Is s a prime number?
False
Suppose -3*q - 92 = -j + 27, -5*j + 607 = -3*q. Let b = j - 87. Is b a prime number?
False
Let f be 1 + (-1 - 0) + 103. Let g = -1 + 5. Suppose -w + 35 = -r, -f = -3*w - 2*r + g*r. Is w composite?
True
Let j(s) = -s**3 - 11*s**2 + 17*s - 46. Is j(-21) a composite number?
False
Let g be ((-873)/6)/((-3)/(-6)). Let b = 424 + g. Is b composite?
True
Let r = 6 + -8. Let m be r/(-4) - 906/(-12). Suppose 0 = 5*f, -3*l 