. Suppose 0 = -l + o + g, 2*l - 234 = -0*l - 2*o. Is l composite?
True
Suppose 3*b - 6 = b. Let u(g) = -7*g**3 + 8*g + 9*g**2 + 4*g**b + 2*g**3 + 5. Is u(9) composite?
True
Let d be 16/1 + 4/(-4). Let y be ((-9)/d)/((-3)/15). Suppose -5*i - y*o = -320, 11 = -2*i + o + 150. Is i prime?
True
Let n = 2189 - 1512. Is n a prime number?
True
Suppose -a = 4*a - 2135. Is a prime?
False
Suppose 2*n = 3*l + 455, 4*n + 6*l = 3*l + 883. Is n composite?
False
Suppose -f = -4*h + h + 20, -4*h + f = -25. Let v be (18 + -21)/((-1)/1). Is v/(-5) - (-98)/h a composite number?
False
Is (-4)/4*(-614)/2 composite?
False
Suppose 0 = 3*p - 2*p - 8. Let f = p + -14. Is (70/4)/((-3)/f) prime?
False
Let h = 29 + -49. Let d = h + 85. Is d a composite number?
True
Suppose a = 0, 4*a = 2*w - 0*a - 174. Is w a composite number?
True
Suppose s - 132 - 1686 = 0. Suppose s = k + 2*k. Let d = k - 235. Is d prime?
False
Let f be 7/2 - (-5)/10. Suppose 0 = -2*h - 10, 4*y + 4*h = -0*h - f. Suppose 30 = 3*q + 2*w - 14, 24 = 2*q - y*w. Is q composite?
True
Let t(u) = -u**2 + 3*u - 1. Let v be t(4). Let a be (-4)/20 + (-241)/v. Let w = 79 - a. Is w a prime number?
True
Let k(y) = 2*y - 2. Let s be (-32)/(-14) - 10/35. Let w be k(s). Suppose 3*i - 5*z - 217 = 0, -w*i + 146 = -3*z - 0*z. Is i prime?
True
Suppose 4*i - 2*j - 20 = 0, i + 4*i = -5*j - 5. Suppose 3*n - i*l - 63 = 0, n + l = 13 + 4. Is n a prime number?
True
Let o(q) = -449*q + 3. Let y be o(-8). Suppose -y = -10*z + 5*z. Is z a composite number?
False
Let j be 2/(-7) - (-424)/14. Let w be (-3)/(-2 + -1) + j. Let o = w + -12. Is o composite?
False
Let t = 643 - 389. Is t a prime number?
False
Let u = -13788 + 19411. Is u prime?
True
Suppose 2*t + 1 = -9. Let h be (3 + t)*10/(-4). Suppose 3*n - 30 = -2*s, -h*s - 2*n + 55 + 20 = 0. Is s a prime number?
False
Suppose -3*v + 5 = 4*c, 4*c - 6*v = -v + 45. Suppose -c*u = -1805 - 125. Suppose -5*a = -u - 9. Is a a composite number?
False
Let k = -6 + -29. Is ((-4)/5)/(2/k) a composite number?
True
Is 1 + (-119)/(-1) + -1 a prime number?
False
Suppose -5*d = 5 + 5. Let x = d - -4. Suppose 8 = x*q - 20. Is q prime?
False
Let l be 1 - (0 + 2 + 0). Let v(t) = 54*t**2 - t. Is v(l) a composite number?
True
Let y = -77 - -111. Is y a prime number?
False
Let a = -25 + 144. Let b = -82 + a. Is b a prime number?
True
Let x = -1302 - -1935. Is x composite?
True
Let f(t) = 6*t**3 - 3*t**2 - 1 - t**2 + 5*t**2 + t - 3*t**2. Let x be f(-2). Let i = -37 - x. Is i composite?
True
Suppose 4*l - 39 = 5*l. Let a(z) = 33*z + 7. Let g be a(-5). Let r = l - g. Is r prime?
False
Let l be (-3)/(9/(-6)) - 0. Suppose 0*v + l*v = -12. Let b(z) = 3*z**2 + 8*z + 7. Is b(v) a prime number?
True
Let i be (2 + 2)*2/8. Let b be (171/(-6))/(i/(-2)). Suppose -3*o = 0, -n + b = 2*n - 3*o. Is n composite?
False
Is (-130)/(-6) - (3 + (-10)/3) a prime number?
False
Let l(q) = 1. Let w(z) = z - 4. Let s = -2 + 1. Let b(m) = s*w(m) - 5*l(m). Is b(-8) composite?
False
Let c be -166 + 0 + 0/3. Let w = c + 117. Let f = w + 95. Is f prime?
False
Let t(x) = -12*x - 23. Is t(-14) prime?
False
Let d = -4 - -9. Suppose -d*r = 4*x - 138, 5*r - 2*r + 43 = x. Is x a composite number?
False
Suppose 22 = 4*q - 66. Suppose 5*t + 9 + q = -4*b, 3*b = 3. Let d = -4 - t. Is d a composite number?
False
Suppose -o + 4*o - 9 = 0. Suppose 0 = -o*q + 2*s + 287, -q + 5*q - 5*s - 385 = 0. Is q composite?
True
Let g = 5 + 0. Let h(v) = g*v**2 - 2*v**2 + 5 - 2*v - 3. Is h(-3) a composite number?
True
Let l(r) = r**3 - 9*r**2 + 6. Let q be l(9). Let w(t) = -9*t**3 - 3*t**2 - 3*t - 3. Let d be w(3). Is (d/(-9))/(4/q) composite?
False
Let n(i) = -59*i + 11*i - 65*i + 8. Is n(-5) prime?
False
Suppose 4 = -2*j, 3*j = 7*b - 3*b - 5018. Is b composite?
True
Suppose 0 = -3*j + 2*j + 253. Is j a prime number?
False
Suppose -4*j = 3*w + j - 5688, -2*w + 3793 = 3*j. Is w composite?
False
Let d(y) = 2*y**2 + 5*y - 1. Let p be d(-8). Is 7*-3*p/(-9) a composite number?
True
Suppose 3*c = 453 - 78. Let g = 6 + c. Is g a prime number?
True
Let j(h) = 7*h**2 - 5*h + 6. Let d be j(5). Let i = -97 + d. Is i a composite number?
False
Let p = 16 - 10. Is 1521/p - 1/2 prime?
False
Let x = -1651 + 2577. Is x a composite number?
True
Let b = 407 + -196. Is b a prime number?
True
Suppose 0 = 5*h - 7 - 8. Let k be -16*(1 - h - -1). Suppose -39 - k = -z. Is z prime?
False
Suppose 6*l + 3040 = 10*l. Is (-4)/(-6) + l/3 a prime number?
False
Is (-2)/8 + (-17320)/(-32) prime?
True
Suppose 0 = l - 19 - 490. Is l composite?
False
Let a(r) = -81*r. Let j be a(-1). Suppose -s + j = -25. Suppose -s = 2*o - 4*o. Is o prime?
True
Let t(z) = 50*z + 55. Is t(6) prime?
False
Suppose -5*w - 10 = 10. Let r be (8/(-10))/(w/10). Is 10/r - 2 - -30 a composite number?
True
Let d(v) = -v**3 - 6*v**2 + 5*v + 9. Let n = -2 + 0. Let t be n/(-11) + 79/(-11). Is d(t) composite?
False
Is 1641 + 0*2/(-1 + 3) a prime number?
False
Let r = 21 + -18. Suppose 0*z - 1236 = -5*y + r*z, 2*y - 4*z = 486. Is y composite?
True
Suppose 94 + 21 = 5*s. Let w = 8 + s. Is w a composite number?
False
Let b be (-9)/((-2 - -4)/2). Let k(q) = -27*q - 4. Let g be k(b). Suppose 0 = 5*y - g - 146. Is y composite?
True
Suppose 708 = 2*q + 2*q. Is q a prime number?
False
Suppose -16 = 5*h - 1. Let l = h - 2. Let n(w) = 11*w**2 - 5*w + 7. Is n(l) a prime number?
True
Let v(b) = 23*b**3 - b**2 - b + 2. Let o be v(2). Suppose 3*f - o = -2*f. Suppose -2*u = l - 28, -u - u + 3*l + f = 0. Is u a prime number?
False
Suppose 0*c + 5*c = 1865. Is c a composite number?
False
Let t = -29 - -214. Suppose -8*d + t = -3*d. Is d prime?
True
Let g be -1 + -2 + 3 + 5. Suppose 0 = -g*t - 5*y + 12 - 2, t - 10 = -3*y. Is (19/(-2))/(t/4) a composite number?
False
Suppose -u + 5*r + 3017 + 820 = 0, -4*u + r + 15443 = 0. Is u a composite number?
True
Suppose s + 2*w = 3*w + 979, -3*s = 5*w - 2969. Is s prime?
True
Let m = 687 - 344. Suppose m = 4*l + n, 5*n = 2*l - 7*l + 440. Is l prime?
False
Let x = 0 - -2. Let i be (-19)/(-7) + 2/7. Suppose -5*v = 2*q - 254, q + i*q = x*v + 508. Is q a prime number?
True
Let v(a) = a + 5. Let h be v(-4). Suppose -2*i - 73 - h = 0. Let r = i - -90. Is r a composite number?
False
Suppose -18 = -3*t + h, 0*t - h - 32 = -5*t. Suppose 4*m = -4*y + 28, 5*m = -3*y - t + 34. Suppose 0 = -y*i + 2*q + 308, -5*i - 3*q + 250 = -157. Is i prime?
True
Is 5/30*3*890 composite?
True
Let z(i) = 2*i. Let w be z(1). Let u be (-513)/(-2) - w/4. Suppose -u = 4*s - 716. Is s prime?
False
Suppose 0 = 6*z - z - 50. Let i = -14 + 23. Let c = z + i. Is c a composite number?
False
Let o(d) = -d**3 + 5*d**2 + 3*d + 2. Let s be o(3). Suppose 0 = 3*u - s - 7. Let r = 1 + u. Is r a composite number?
False
Suppose 2*g - 1046 = y - 0*y, 2*g = 2*y + 1042. Let o = g + -128. Suppose 5*r - 2*b - o = 0, -6*b - 5 = -b. Is r a composite number?
False
Let j be 2/(-2) - (-12)/6. Suppose 0 = m + 3*k + 7, -3*m - j = k - 12. Suppose 0*q - 3*q = -b, m*b - 80 = -q. Is b a composite number?
True
Let b be (8/(-10))/(2/(-15)). Is (6/4)/(b/56) composite?
True
Let k(b) = 2*b**2 + 5*b - 9. Let z be k(6). Let j = -10 + z. Is j composite?
False
Suppose d - 174 - 73 = -3*o, -5*d + 1279 = 4*o. Is d a prime number?
False
Let c(f) = 3*f. Suppose -x - 2*q = 5, 4*x + 2*q + 5 = 3. Let d be c(x). Suppose -l = 3*l - p - 184, -l + 46 = d*p. Is l prime?
False
Let t = -285 - -508. Is t a composite number?
False
Let n(f) = -5*f + 5*f - 6 + 4*f - 5*f. Let o be n(-6). Suppose -2*z + 0*z + 2 = o, 3*t + 2*z = 671. Is t composite?
False
Let d be 0 + 2 - (-5 - -4). Is (155/5)/(d - 2) composite?
False
Let s(u) be the third derivative of u**5/30 - u**3/3 - 7*u**2. Is s(2) a composite number?
True
Let b(x) = -x**2 - 8*x + 1. Let n be -4 + ((-8)/2 - -2). Let s be b(n). Is 1/(-2)*-4 + s prime?
False
Suppose 5*j = 3*w + w + 903, -w = -j + 225. Let z = 389 + w. Is z a composite number?
False
Let p = 35 - -2. Is p composite?
False
Let z = -1 - -4. Suppose z*n - 216 = -5*k, -1 = 5*k + 14. Is n a prime number?
False
Suppose 2 = -2*m - 2. Is (m + 108)*3/6 a composite number?
False
Let r(c) = -2*c + 1 - 4*c**2 + 14*c**2 + 5*c**2 + 5*c. Is r(-2) a composite number?
True
Let m = 105 - -544. Is m composite?
True
Is (1/(4/(-148)))/(-1) a composite number?
False
Let h = 0 + 0. Suppose -d = -h*d 