*a. Is a a prime number?
False
Suppose -3*v - 464 = -7*v. Let n = v + -51. Is n a composite number?
True
Suppose 4*o + 4*t + 8 = 4, -5*o = -t - 25. Is 2 + (-288)/o*-1 a prime number?
False
Let x = -328 - -737. Is x composite?
False
Let b(y) = y**2 - 4*y + 4. Let p be b(4). Suppose 2*w + p = 14. Is ((-2)/(-4))/(w/70) a prime number?
True
Let l be 1/2 - (-165)/6. Let b = l + 5. Is b composite?
True
Let n = -687 + 982. Is n composite?
True
Let a = -5 - -6. Let r = a - -21. Is r a composite number?
True
Let k be (2 + -1)/(2/(-2)). Let z be 30/(-9)*(2 - k). Is (z + 0)*(-1 - 0) a composite number?
True
Let b(a) = 31*a + 12. Let c(n) = -3 + n - 10*n + n. Let x(d) = 2*b(d) + 9*c(d). Is x(-7) a composite number?
False
Let v(a) be the second derivative of -9*a**3 - a**2/2 + a. Is v(-1) a composite number?
False
Let q = -9 - -15. Let z(u) = u**3 - 4*u**2 - 2*u + 7. Is z(q) composite?
False
Suppose 2*s + 9 = 2*o - 11, -s = -3*o + 28. Suppose p - 26 - o = 0. Suppose -x - 3*j + 47 = 0, 4*x - 3*j = 93 + p. Is x prime?
False
Let h(s) = 6*s - 13. Let o be h(4). Is (-22)/o*(-223)/2 prime?
True
Suppose 0 = 5*l + 3 + 2, -5*b = -5*l - 125. Let t = -55 + b. Let z = 2 - t. Is z composite?
True
Let h(g) = -3*g + 6. Let o be (-1 - 2/2) + 2. Let f be 1*(2 - o) - 11. Is h(f) a composite number?
True
Let l(s) = 16*s**3 - 3*s**2 + s + 3. Is l(2) composite?
True
Suppose -5 = -3*n + 1. Suppose -a - 2 = -i, n*i - a = -i + 16. Is i prime?
True
Suppose -19 = 3*a - 2*i, -6*a = -2*a - i + 22. Is a/5 - (-72)/2 prime?
False
Let b(f) = 2*f**2 + 7*f + 7. Let m be 1/(2/(-12)*1). Is b(m) prime?
True
Let o(i) = 221*i - 5. Is o(2) composite?
True
Let z be 1 - (0 + 1 + -3). Suppose 15 = 3*y + z. Suppose -69 = y*w - 289. Is w a prime number?
False
Suppose -18 - 513 = -3*b. Is b composite?
True
Let k = 14 + -24. Let c = -10 - k. Is (c - 3)/9*-537 a composite number?
False
Suppose -8*k - 198 = -1694. Is k a composite number?
True
Let s(y) = y**2 - 4*y - 4. Let u be s(6). Suppose 0 = 2*l - 4*d - u, 2*l - 3 = -l - 3*d. Is l composite?
False
Let j = -6 - -8. Suppose -j*c + 61 = 4*d - 181, 127 = 2*d + 3*c. Is d composite?
False
Let v = 1 - -2. Suppose -53 - 46 = -v*o. Is o composite?
True
Suppose -4*t + 10*t - 798 = 0. Is t prime?
False
Suppose -3*g + 765 = -0*g. Suppose -j + 6*j - 2*i - g = 0, 0 = 5*i. Is j a composite number?
True
Suppose k + j = 6*k + 59, 4*j - 60 = 4*k. Let g be (2 - (-28)/(-3))*3. Let z = k - g. Is z composite?
False
Let n(d) = -58*d - 11. Is n(-7) composite?
True
Let w = 5 - 17. Is (-3)/(-12) - 1521/w prime?
True
Let x = 9752 + -5750. Let m = -2743 + x. Is m prime?
True
Suppose 4*g = 2*t + 10, g + 2*g + 5*t + 25 = 0. Let w = -212 - -345. Suppose -5*a - 4*i + w = g, 4*a - 27 = 3*a - i. Is a composite?
True
Let x(l) = -10*l - 5. Let z(w) be the second derivative of -w**3/3 + 3*w**2 - 3*w. Let c be z(6). Is x(c) composite?
True
Let x be 62/4*(1 + 1). Suppose 2*o - x = 187. Let w = o + -75. Is w composite?
True
Let g be (3 + -2)*(-1 - 3). Let y be g*((-1)/2)/1. Suppose -y*l + 4*l = 22. Is l prime?
True
Suppose 2*m - 5 = 1. Suppose -2*c - 5*s + 2 = 0, -5 = -m*c - 2*c + 4*s. Is 2 + c/(-1)*-143 prime?
False
Suppose 4*z - 4*h - 49 = -h, 3*z = 5*h + 23. Suppose s + 131 = 2*w - z, -4*s = w - 78. Suppose 0 = -t + 3*t - w. Is t prime?
True
Is -1 + -3 - (-5625 - 2) composite?
False
Let v = -78 - -37. Let m = -4 - v. Is m a composite number?
False
Let f be (2/6)/(1/(-57)). Let u(g) = -g**3 - 5*g**2 + 4. Let p be u(-4). Let l = p - f. Is l a prime number?
True
Is 3/(-4 - 1797/(-447)) composite?
False
Let w = 13 - 10. Let o(c) = 3*c**3 + 2*c - 2. Is o(w) a prime number?
False
Let m(o) = -12 + 5*o - 11*o + 3*o**2 - 1. Is m(-6) composite?
False
Let x = -3 + 5. Let b be ((-12)/(-9))/(2/3). Suppose 0 = -b*z - x*z + 84. Is z prime?
False
Let u = 43 - 41. Let i(s) = 11*s. Let v be i(5). Suppose -v = -3*f - u*f. Is f composite?
False
Let l be 5/20 - 11/(-4). Let s = 2 - l. Is (-19)/(-1 + s - -1) prime?
True
Let m = 12662 + -8181. Is m composite?
False
Is 476 + 3 + -1 + 1 a prime number?
True
Let d(w) = -3*w**2 - 11*w + 15. Let u(a) = -10*a**2 - 33*a + 44. Let i(l) = 11*d(l) - 4*u(l). Is i(9) composite?
True
Suppose 0 = 5*i - 751 + 36. Let f = i + -66. Is f prime?
False
Suppose -9 = g - 4*g. Suppose 0 = 3*u + u - f - 305, 0 = g*u + 5*f - 200. Is (-3)/(-12) + u/4 a prime number?
True
Let v(u) = -u - 1. Let f be v(-4). Suppose -k + 5*w = -13, -11 + 2 = -k + f*w. Suppose -x - k*x = 4*q - 380, 5*x + 2*q = 463. Is x a prime number?
False
Let r be (10/(-6))/((-5)/165). Suppose -r = -0*n - n. Is n prime?
False
Let g be (-2)/(-5) - (-736)/10. Suppose b - g = -b. Is b a prime number?
True
Let a(o) = 8*o**2 - 4*o + 1. Let u(z) = -9*z**2 + 4*z. Suppose -3*k - 4*w + 23 = -0*k, -3*k - w = -17. Let h(n) = k*a(n) + 4*u(n). Is h(-4) composite?
True
Suppose -1334 = -3*a + 2179. Is a a prime number?
True
Let v(w) = 53*w - 2. Suppose 0*y = x + 3*y - 7, 3*y = -2*x + 8. Is v(x) a composite number?
True
Let m(o) = 3*o**2 - 38*o + 49. Is m(25) a prime number?
False
Let n = 7 + -7. Suppose n = 3*i - 1 - 137. Is i prime?
False
Suppose -4*t - 2433 = -5*b, t - 3*t + 1451 = 3*b. Is b composite?
True
Suppose -3*o = -2*h + 658, 2*h - o = 4*h - 650. Is h a prime number?
False
Let z = -4067 + 8850. Is z composite?
False
Let l = -1 + 3. Suppose -l*t = -89 - 165. Is t prime?
True
Let a = -70 - -23. Let m = a + 104. Let i = m + 154. Is i a prime number?
True
Let j(f) = f**2 + 5*f - 11. Let d = 20 - -25. Let i be (4/(-3))/(6/d). Is j(i) prime?
False
Suppose -47*j = -50*j + 3009. Is j prime?
False
Suppose -4*m = -11 - 9. Suppose 2*q + 201 = 4*q + 3*r, -5*q + m*r = -465. Let c = 161 - q. Is c a prime number?
False
Let l(n) = -42*n - 9. Let d(h) = -14*h - 3. Let f(p) = 8*d(p) - 3*l(p). Is f(13) prime?
False
Let m(i) = -5*i - 2 - 4*i**3 + 10*i + 5*i**3 - 2*i**2. Let z be m(5). Suppose -3*u = 2*o - 94, 2*o - 2*u = -4*u + z. Is o a prime number?
True
Suppose -4 = -3*y + 11. Suppose y*t - t + 5*d = 163, 2*d - 191 = -5*t. Is t prime?
True
Is 766 - (4 + 3/3) composite?
False
Let w = 251 + -172. Let i = w + 16. Is i a composite number?
True
Suppose 0*b = -2*b + 6, 2*d + 8 = 4*b. Let y be (3/(-3) - -1)/d. Suppose -170 = -y*l - 2*l. Is l a composite number?
True
Let k(r) = -r**2 + 5*r - 4. Let y be k(3). Suppose 0 = 5*q + 2*s - 207, 2*q - 54 = -y*s + 24. Is q composite?
False
Suppose -2*i + 4 = -8. Let j = i + 53. Is j composite?
False
Suppose 4*c = -8, 5*k = -0*k - c - 317. Let x = 100 - k. Is x a prime number?
True
Let t(w) = -16*w**3 + w**2 + 10*w + 7. Is t(-4) a composite number?
True
Let z(y) = 5*y + 4. Let v be z(11). Is v*2/(-1 - -3) a composite number?
False
Suppose 0 = -7*z + 6*z + 58. Is z a prime number?
False
Let t = -1 - 3. Let l be (-1545)/(-27) + t/18. Suppose 3*i - l = -0*i. Is i a composite number?
False
Let m(k) = 4*k**2 - 2*k**2 - 9*k + 11 - 11*k + 0*k**2. Is m(13) composite?
False
Let d(g) = 73*g + 1. Suppose -5*s + 24 = -2*s. Let q = s - 7. Is d(q) prime?
False
Let s = -3 + 5. Suppose -3*y + 5*p - 34 = 0, -2 = -s*y - p - 16. Let r = 11 + y. Is r prime?
True
Let d be (-1)/4 - (-196)/16. Let i be (4/(-12))/((-2)/d). Is 2/(-4)*i - -54 composite?
False
Let g(r) = 30*r - 5. Is g(15) composite?
True
Suppose 0 = -c - 4*r + 8, 4*c = 5*c + 3*r - 6. Let u = -1 - c. Is 77 + ((-2)/u - 2) a prime number?
False
Let v = -1 + 3. Let u = v + 0. Suppose 0 = -5*n + u*f + 103, 5*f - 76 = -3*n - 8. Is n a prime number?
False
Let t(l) = -l**2 + 5*l - 3. Let v be t(3). Suppose 0 = u - 5*n - 1076, -2*u + 5311 = v*u - 2*n. Is u a composite number?
False
Let y(j) = 88*j**2 - 2*j - 1. Let n(k) = -k - 1. Let o(g) = -2*n(g) + y(g). Suppose 2*s - 11 = -3*b, s - b = -0 - 2. Is o(s) a composite number?
False
Let f(c) = 6*c**2 + c. Let i be f(-1). Suppose 5*k - i*h = 85, 4*k - 83 = -0*h + h. Is k prime?
False
Let v(x) = -90*x - 91. Is v(-20) a prime number?
True
Let x be (-2)/(-6) - 1/3. Suppose x = p - 2. Is (-1743)/(-12) + p/(-8) a prime number?
False
Is (-535)/((1 - 4)/3) a composite number?
True
Let m(o) = -43*o - 31. Let f(i) = -64*i - 47. Let s(q) = -5*f(q) + 7*m(q). Is s(13) prime?
False
Let b = 15 - -13. Let t be (59 + -2)/(6/b). Suppose t = 4*s + 78. Is s a prime number?
True
Let l(t) = -6*t - 7. Let x(w) = -w**2 - 6*w - 3. Let j be x(-4). 