 - 8. Is y composite?
False
Suppose 0 = 2*v - 2, 2*v - 4*v = -3*n + 4. Let l be 0/1*(n - 1). Suppose l = -4*x - 0*x + 156. Is x composite?
True
Is -1 + 0 + 110 - 0 a composite number?
False
Suppose l = 6*l - 1865. Is l composite?
False
Suppose m - 74 = -4*o, 61 = -o + 4*o - 2*m. Let n = o + 18. Is n a composite number?
False
Let a(f) = f - 5. Let h be a(8). Suppose -4*j = -6*w + h*w + 29, -3*j - 9 = 2*w. Is w composite?
False
Let r(b) = 2*b + 3*b + 5*b**2 + 11*b**2 + 1 - 3. Is r(3) a composite number?
False
Suppose -4*r - 4*i - 40 = 0, -3*r + 5*i + 0 = -2. Let q(a) = -a**3 - 5*a**2 - a + 1. Is q(r) prime?
True
Suppose m + 2*m = 1299. Is m/2 - 6/4 composite?
True
Let h be 2 - (1 + 5 + 2). Let z = -31 + h. Is z/(-1*(-1 + 2)) prime?
True
Let n = 824 - 500. Suppose -2*z = -n - 214. Is z a composite number?
False
Suppose 0 = 2*y - 6, q + q + 2*y = -6. Let a = -3 - q. Suppose -a*w - 66 + 165 = 0. Is w prime?
False
Suppose -4*l + 372 = 4*n, 2*l - 3*n - 124 = 82. Is l a composite number?
False
Let n be (16/20)/(2/455). Suppose -r = r - n. Is r composite?
True
Let n = 120 - 320. Let k = 102 + n. Is -1*(k - (-2 - -1)) composite?
False
Is 1 - ((-20480)/4)/2 composite?
True
Suppose 4*j = 3*o - 3745, -5*o + 2*j = 6*j - 6231. Is o a composite number?
True
Let u(d) = -2*d**2 + 2*d - 1. Let f be u(2). Let x(b) = -6*b + 5. Is x(f) prime?
False
Let t(n) = -n + 43. Suppose 2*c = c. Let p be t(c). Suppose -217 = -2*d - p. Is d composite?
True
Let v = 179 - 20. Is v a composite number?
True
Suppose 19611 = 5*z + 4*z. Is z a prime number?
True
Suppose -5990 - 3665 = -5*y. Is y composite?
False
Let j(h) = h**2 - h - 2. Let k be j(-2). Is k/10 + 343/5 prime?
False
Let m(b) = -56*b**3 - 7*b**2 - 13*b - 3. Let s(y) = 19*y**3 + 2*y**2 + 4*y + 1. Let p(o) = -2*m(o) - 7*s(o). Let q be 1/4 - (-10)/(-8). Is p(q) a prime number?
False
Suppose 4*k - 3*p = 2*p + 25, 0 = 4*k - p - 5. Suppose k = -y - y + 92. Is y composite?
True
Let f(z) be the first derivative of 57/2*z**2 + 3 - z. Is f(2) a composite number?
False
Let q(d) = 2*d**3 + 3*d**2 - 8*d. Let l be q(7). Suppose 0 = o - 1, -4*r + l = r + 2*o. Let m = r - 10. Is m prime?
False
Suppose 1260 = 4*w - 296. Let k = w - 278. Is k a composite number?
True
Let q = 12 + -5. Is (-77)/q*-3*1 a prime number?
False
Is -2 - (2 - 7) - -511 prime?
False
Suppose 7*w - 8*w + 293 = 0. Is w prime?
True
Let f(d) = 2*d**2 - 2*d - 5. Is f(6) a composite number?
True
Let y be -3 + 6 - (-7 - -1). Is 483/y - (-4)/(-6) prime?
True
Let y = 1 + 7. Let m(s) = 4*s**2 - 9*s + 5. Let f be m(y). Let h = f + -110. Is h a composite number?
False
Let b be -2 + 4 + -2 + 3. Suppose -4*q + b = -13. Suppose -u + 39 = -q*y, -4*y = -0*y + 8. Is u prime?
True
Let b(t) = -t. Let x be b(-3). Suppose -3*k + 45 = x*o, -4*k = -6*k - 5*o + 21. Is (-235)/(-3) - (-12)/k prime?
True
Suppose -2*v = 2*v + 40. Let k = 33 + v. Let w = k + 24. Is w prime?
True
Suppose -q + 0*q + 149 = 0. Is (q/(-2))/(5/(-10)) a prime number?
True
Let o(l) = 105*l**2 - 7*l + 5. Is o(2) a prime number?
False
Let x(s) = -8*s + 2*s - s**2 + s + 0*s**2 - 6. Let z be x(-4). Is z/7 - (-359)/7 prime?
False
Let q be (3 + 2)/(1/126). Suppose -3*u + 4*g + 367 = 0, -5*u - 3*g - q = -10*u. Is u a composite number?
True
Suppose 3*j - 339 = 87. Let y = j - 63. Is y composite?
False
Let o(h) = 33*h + 1. Let t(c) = 65*c + 3. Let i(d) = -7*o(d) + 4*t(d). Let z(b) = 14*b + 2. Let m(s) = 3*i(s) - 7*z(s). Is m(-6) composite?
False
Let m be 2*2073/6 - 0. Suppose o = -3*b - 235, -2*b = o + 2*o + m. Let g = -144 - o. Is g prime?
False
Let d(m) = 2*m**2 - 4*m + 2. Let a be d(2). Suppose -v + a*v = 8. Suppose v = u - 7. Is u prime?
False
Suppose -3*n = -2*c - 1241, 3*n - 5*c - 846 - 398 = 0. Is n a composite number?
True
Suppose -5*s - 4*r = -558, 5*s - s - 5*r = 430. Suppose p = -p + s. Is p a composite number?
True
Let y(v) = -5*v**2 + 5*v - 6. Let a be y(4). Let g = 5 - a. Is g composite?
False
Is 2570/18 - (-10)/45 a composite number?
True
Suppose 0 = -2*m - 5*b + 123, b - 56 = -m + 4*b. Is m a prime number?
True
Let w(j) = -2*j + 6. Let z be w(-3). Is -658*2*(-3)/z prime?
False
Suppose c - 1 = -18. Let u = c - -24. Is u prime?
True
Let i = -8 + 13. Let o(k) = 6*k + 3. Is o(i) prime?
False
Let w = -1836 + 2905. Is w a prime number?
True
Let l = 7 + -5. Suppose -l*j - 65 = -3*j. Is j a composite number?
True
Is (3/6)/(3/16242) a composite number?
False
Let t be 2/(-6)*(-178 - 8). Let y = t + -29. Is y prime?
False
Let z(v) = -v - 7. Let u be z(-10). Suppose -4*k - 973 = -3*o, o - u*k - 1607 = -4*o. Is o a composite number?
True
Let c(v) be the first derivative of -9*v**2/2 + 4*v + 5. Is c(-7) prime?
True
Suppose 805 = 6*a - 413. Is a prime?
False
Let m(g) = 88*g + 11. Let q be m(6). Let u = q + -198. Is u a composite number?
True
Let m = 3 + -1. Let w(j) = -10*j**3 - 3*j**2 - 3*j - 3. Let s(h) = -9*h**3 - 2*h**2 - 3*h - 2. Let i(r) = -6*s(r) + 5*w(r). Is i(m) prime?
True
Let d(u) = u**3 - 7*u**2 - 23*u + 4. Is d(10) a composite number?
True
Let f = 90 - 41. Let j = -128 + f. Let g = -26 - j. Is g a prime number?
True
Suppose 22 = 5*o - 33. Let r = -5 + o. Is (163/(-3))/((-2)/r) prime?
True
Is ((-22)/5 + 4)/((-1)/985) composite?
True
Let v(w) = -35*w + 1. Let f = -21 + 15. Is v(f) a prime number?
True
Let i be -3*((-3)/9 + 0). Let q(g) be the third derivative of 23*g**5/60 - g**3/6 - 11*g**2. Is q(i) composite?
True
Suppose 0*q + q - 4*x - 629 = 0, -4*x = -4*q + 2552. Is q composite?
False
Suppose -21*w + 18*w = -7671. Is w a prime number?
True
Let a(x) = -32*x - 2. Let l be a(-6). Suppose 4*q - 781 = 287. Let s = q - l. Is s prime?
False
Let k = 821 + -442. Is k prime?
True
Suppose 5*a = 3*a + 110. Is a a prime number?
False
Let u(o) = o**2 + 8*o + 4. Let n be u(-8). Suppose -y - 234 = -n*y - 5*b, 2*b = -6. Is y a composite number?
False
Let j be 3/6*0*-1. Suppose 0*h - h + 5*p + 120 = j, 3*p = -4*h + 457. Is h a composite number?
True
Suppose -y = -0 - 2. Let b(i) = 4 - 3 - i - y*i. Is b(-4) a composite number?
False
Let b = 2 + -5. Let l be b + (2 - -117) + -2. Suppose 4*u - 74 = -2*o, -u - 2*u = 3*o - l. Is o composite?
True
Is (-5335)/(-44) + (-2)/8 a composite number?
True
Let p = 28 + -17. Let i(c) = -c**2 - p + c + c + 11*c. Is i(10) prime?
True
Suppose 2*s = 3*a - 27601, -2*a + s - 1882 + 20282 = 0. Is a composite?
False
Suppose 5*m + 4 = 14. Let c be 0 + (m - (-4)/(-1)). Is (-1)/(c*(-3)/(-582)) prime?
True
Let d be 0*(4 + -3) + 6. Suppose 2*c = d*c - 68. Let t = 42 - c. Is t prime?
False
Let t(o) = o**2 - 6*o - 5. Is t(-12) a composite number?
False
Let b(l) be the third derivative of -l**5/60 + 7*l**4/12 + 8*l**3/3 - l**2. Is b(11) a prime number?
False
Let t(b) = -14*b + 1. Let m = 4 + -7. Let i(x) = -7*x + 1. Let c(j) = m*t(j) + 5*i(j). Is c(3) a composite number?
False
Let i be -6*(28/8)/(-7). Let b = i - -8. Is b a prime number?
True
Suppose -318 = 4*g + 4*o - 1386, -2*g + 2*o = -518. Is g a composite number?
False
Is (2/(-6))/((-2)/7206) a composite number?
False
Let z(n) = n + 2. Let d be z(0). Suppose -4*y + d*y = -94. Suppose -3*x = 3*k - 66, 3*k - y = -2*x - 0*k. Is x a composite number?
False
Let y(s) = 2*s**3 + 2*s**2 - 4*s + 13. Is y(7) a prime number?
True
Is ((-2)/(-6))/(1/231) a composite number?
True
Let f(y) be the first derivative of y**2/2 + 4*y - 2. Let l(x) = 3*x**2 - x - 1. Let u be l(-1). Is f(u) prime?
True
Suppose 0*s = -4*m - 5*s + 36, 2*s = 8. Suppose -2*h - 2*h = m. Is -2 - (122/(-1) - h) composite?
True
Let z = 50 + 282. Suppose 0 = 3*k - 7*k + z. Is k composite?
False
Suppose -2*q = -0*q + 2. Let i be 7 - (2 + q + 0). Suppose -i*b = -b - 265. Is b prime?
True
Is (-2283)/((0 - -1)*-1) prime?
False
Let n be (0 + -2)/((-2)/152). Let i = -55 + n. Is i composite?
False
Let v be (13 - 4)*(-1)/(-3). Suppose 3*k - 41 - 130 = -v*y, -y - 4*k + 63 = 0. Is y a composite number?
True
Is -3*1/((-9)/11805) composite?
True
Let g be (-3 + 0)/(-5 - -4). Let i = 4 - g. Is 3/2*2/i prime?
True
Suppose -1020 + 398 = f - 3*x, f + x + 610 = 0. Let l = f - -1478. Is l a prime number?
False
Let l = -4 + 3. Let v be (-2)/l*(-6)/(-4). Suppose 0 = -v*u - u + 40. Is u composite?
True
Is (12/18)/((-4)/(-1122)) composite?
True
Suppose -2*x - 3*h + 3 + 2 = 0, 0 = -2*x + 4*h - 2. Let n be -1 + (-1 - x) +