 20, g - 3*f - v = 0. Suppose -3*k = -3*y + g*k + 251, -3*y = 5*k - 211. Is y a composite number?
True
Let j = 115 + -59. Let w be (-2)/(-7) - (-152)/j. Suppose w*x - 187 = -0*g + 2*g, 0 = -4*x + 4*g + 244. Is x a composite number?
True
Suppose -2*b = -3*b + 28. Suppose 7 = -f + b. Let z = 40 - f. Is z a composite number?
False
Let x be (-390)/4 + 2/(-4). Let k = -242 - x. Let w = -97 - k. Is w a composite number?
False
Let x be ((-4)/8)/((-3)/18). Let r = 113 - -68. Suppose -6*d - 25 = -q - x*d, d + r = 5*q. Is q a prime number?
True
Suppose 0 = 2*l + 4*l - 186. Is l prime?
True
Let g(c) = 162*c + 1. Let x be g(-2). Let p = 462 + x. Is p a prime number?
True
Let x(v) = 130*v. Let k be x(1). Let i = -61 + k. Suppose -3*l + 172 = -5*t - i, -5*l + 2*t = -389. Is l a composite number?
True
Is (-3232)/((-8)/2) + 1 composite?
False
Let r(u) = 944*u**2 - 2*u - 1. Let o be r(-1). Suppose w - o = -4*w + 4*z, -3*z - 15 = 0. Suppose 0*i + w = 5*i. Is i a prime number?
True
Let r = -3 + 6. Let d be r*(-2 - (-96)/9). Let q = d + -13. Is q a prime number?
True
Suppose 3*u = u - 698. Let l = u - -510. Is l prime?
False
Let x be (-1 - 0)*(-4 - 0). Suppose 2*g = x*o + 622, g + 0*g = -5*o + 297. Is g composite?
False
Suppose 0 = 5*y - 0*y - 10, 2*l + 3*y + 122 = 0. Is l/(-2) - (-1 + -1) a prime number?
False
Suppose -c + 6*c = 3*i + 13, -7 = c - 3*i. Let l(d) = d**2 - 5*d + 3. Let b be l(c). Suppose -z + 7 = b*r, 0*z - 5*z + r + 35 = 0. Is z composite?
False
Let t(a) = a**2 - 5*a + 3. Suppose -2*u - 3*z = 3*u - 33, 26 = 5*u - 4*z. Let m be t(u). Is (-3)/((-3)/(m/3)) prime?
True
Let l(b) = -4*b**3 + 2*b**2 - 8*b - 3. Is l(-5) prime?
True
Suppose 3*c = 5*c. Suppose 4*y = -c + 8. Is y prime?
True
Suppose -6*g + g + 15 = 0. Suppose 25 = 4*h - g. Is h a composite number?
False
Let a = -25 + 21. Is a/(-8)*(792 - -2) a composite number?
False
Suppose 0 = 2*i - 221 - 335. Suppose 0 = 5*o - 0*o - 2*t - 273, -5*o - 3*t = -i. Is o a prime number?
False
Let o(w) = 4*w**3 - 8*w**2 - 6*w - 6. Let g be o(7). Suppose -z = 2*r - 3*z - g, 0 = 4*r - 2*z - 1866. Is r a composite number?
False
Suppose -4*x = -9*x + 100. Is (652/10)/(8/x) a composite number?
False
Suppose s - 27 = -2*s. Suppose 0*v + s = -v. Let z = 16 + v. Is z a prime number?
True
Let i(y) = -15*y - 3. Let n be i(4). Let v = n - -116. Is v prime?
True
Let n(b) = -b + 797. Let d be n(0). Suppose 2*t - d = -211. Is t composite?
False
Let o be 194/18 - (-10)/45. Let m = -4 + o. Is m a composite number?
False
Suppose 2 - 6 = -2*c. Suppose -2*k + i = 2*k - 190, -90 = -2*k - c*i. Is k a prime number?
True
Suppose 2*n = n - 70. Let f be 3/(-2) + n/(-4). Suppose f - 53 = -j. Is j a prime number?
True
Suppose g - 475 = -4*g. Is g a composite number?
True
Suppose -5*r + 13*r - 680 = 0. Is r a prime number?
False
Let v be 4/((-8)/(-6)) + 1. Suppose 4*k = -0*d - 3*d + 109, -4*d + v*k + 136 = 0. Is d composite?
True
Let g = 1790 - 949. Is g a composite number?
True
Suppose -2*u + 0*u + 798 = -4*x, -2*x + 1189 = 3*u. Is u a composite number?
False
Let i = -6 - 46. Let p = 42 - i. Suppose s = -s + p. Is s prime?
True
Suppose -f = 5*l + 15, -5*f + 5*l - 5 = 10. Let y = f + 5. Suppose -2*j = -y*j - 38. Is j a composite number?
False
Let b(w) = -2*w - 9. Let q be b(-6). Let a(d) = 0*d**q + 4*d**3 + 2*d - 2*d**3 - 4*d**3 - 1 + d**2. Is a(-2) a prime number?
False
Suppose -5 = 2*s - 9. Suppose -615 = -3*m + 3*z, -94 + 502 = s*m - z. Is m a prime number?
False
Suppose z - 15 - 45 = 0. Suppose 0 = f + 19 - z. Let a = f + -20. Is a composite?
True
Let w(c) be the third derivative of c**6/120 - c**5/60 + c**4/24 - c**3/2 - 3*c**2. Let i be w(3). Suppose -4*f - i = -4*a + 2, -3*a + 2*f = -14. Is a prime?
False
Let d = -239 - 35. Let h = d - -405. Is h prime?
True
Let w(t) = 21*t - 6. Let f be w(4). Let p = -18 + 21. Suppose p*s + 152 = 7*s - 5*i, 2*s = 3*i + f. Is s composite?
True
Suppose -2*j - 1 = 3. Let f = -437 + -1013. Is ((-1)/j)/((-5)/f) a prime number?
False
Let o(s) = 7*s**2 - 4*s - 11. Is o(-8) a prime number?
False
Suppose -d - 4*d = 5. Let x(z) be the first derivative of -3*z**2 + z + 1. Is x(d) a prime number?
True
Let f(j) = -j**2 + j + 22. Let o be f(0). Suppose 0 = i - 3*i + o. Is i a composite number?
False
Suppose -4*i + 371 = -3*i. Is i prime?
False
Suppose 3*y - y - 3*s - 10 = 0, 2*s - 4 = -4*y. Let i be 86 - (y + 0 + -3). Let x = -28 + i. Is x a composite number?
False
Suppose 0 = -3*p + 3*x + 138, 203 - 37 = 4*p + 2*x. Let b = p + -30. Is b a composite number?
False
Let p = 0 - -9. Is ((-22)/1)/(8 - p) a composite number?
True
Is (-3 - -1)*(2 - 143/2) composite?
False
Let m(l) = -2*l**3 - l - 1. Let p be m(-1). Suppose -7*w + 2*w - p*s + 2114 = 0, -4*s = -8. Is 1/4 + w/8 a composite number?
False
Let a(o) = o**3 + 5*o**2 - o - 7. Let c be a(-5). Let w(y) = -2*y - 2*y + 545*y**2 - 541*y**2 - 3. Is w(c) a composite number?
True
Suppose 0 = -4*k - 16, -o + 3*o - 3*k = -60. Let m be o/(-8) + (-2)/4. Suppose 2*h = 2*a - 0*h - 42, -m*a = -h - 90. Is a a composite number?
False
Let o = -38 - -40. Let q(t) = -75*t + 9. Let u(f) = -37*f + 4. Let i(m) = 3*q(m) - 7*u(m). Is i(o) a composite number?
False
Suppose -202 = 4*m + 4*z + 666, 2*z = 4. Let w be (-6)/21 - 1984/14. Let k = w - m. Is k a composite number?
True
Suppose 0 = 5*s - 3*t - 18, 0 = 2*s + 2*t + t - 3. Suppose -7*d = -s*d - 2004. Is d composite?
True
Let v = 1 - -7. Suppose r + 1 = -v. Is 15*(-2)/r*3 prime?
False
Let u(v) = -v**3 - v**2 - 1. Let n be u(0). Let y be 138/18 + n/(-3). Let l(h) = 6*h + 5. Is l(y) a composite number?
False
Let q = 105 - -884. Is q a composite number?
True
Let m = 0 - -26. Is m composite?
True
Suppose 8*d = 3*f + 3*d - 35, 0 = -4*f - d + 16. Suppose 2*w - 29 = -4*v + w, -2*v + 31 = -f*w. Let b(x) = 6*x**2 + 3*x + 11. Is b(v) prime?
True
Let v = -35 + 114. Is v prime?
True
Is (339/(-15))/((-6)/30) a composite number?
False
Suppose -259 = -4*h - f, -5*h + 6*f + 328 = 3*f. Is h a prime number?
False
Let u = -102 - -749. Is u a prime number?
True
Let s(x) = 57*x + 63. Let o(q) = -12*q - 9. Let f(p) = 25*p + 18. Let k(r) = 4*f(r) + 9*o(r). Let b(m) = 15*k(m) + 2*s(m). Is b(-7) a prime number?
False
Suppose 0*n = 3*n - 447. Is n a prime number?
True
Suppose -3*l + x - 265 + 1674 = 0, 5*l + 2*x - 2341 = 0. Is l composite?
True
Let p(g) = -g**3 - 6*g**2 + 6*g - 5. Let z be p(-7). Suppose 0 = -3*o + z*o + 97. Is o a composite number?
False
Let k be 413*5/((-15)/(-6)). Let n = k - 383. Is n a composite number?
False
Let p(f) = f**3 - 5*f**2 - 3*f + 5. Let o be (-1 + 1/(-5))*-5. Is p(o) a composite number?
False
Suppose -5*j - 1009 - 1441 = -4*y, 4*y + 2*j = 2436. Suppose y = 5*d - 3*d. Is d a composite number?
True
Let m = 7 - 5. Suppose -m*k - 332 = -6*k. Is k composite?
False
Let n(j) = -j**2 - 8*j - 6. Let p be n(-7). Let t = p + 2. Suppose -t*b = -g - 42, 0 = b + 2*b + 4*g - 27. Is b a prime number?
True
Suppose 6*i = i - 5. Let j be 1/(i - (-1 + 1)). Is (j/(-2))/(1/38) a prime number?
True
Let t(o) = o**2 - o - 5. Let u be 2/(1/(-4)*-2). Is t(u) prime?
True
Let y(n) = 2*n**2 - 2*n - 163*n**3 + n - 3*n**2. Let v(c) = -c**3 + 4*c**2 - 1. Let m be v(4). Is y(m) prime?
True
Let r(c) = -3*c - 4*c**2 + c**2 + 0*c + 2. Let h(w) = w**3 + w. Let q(k) = 2*h(k) + r(k). Is q(3) a composite number?
True
Let h be (44 + 1 + 0)*2. Is h/(-12)*52/(-6) a prime number?
False
Let g(p) be the second derivative of -1/3*p**4 + p + 3/2*p**2 - 5/6*p**3 - 1/20*p**5 + 0. Is g(-4) prime?
True
Let r(y) = -3*y. Let l be r(-5). Suppose l + 0 = q. Is q composite?
True
Let d be 2 + -4 + 70 + -4. Let i(n) = -31*n. Let x be i(1). Let g = d + x. Is g a composite number?
True
Let f = -2 - -7. Let n = f + -1. Suppose -3*i + t = -16, i - n*t + 20 = 7. Is i prime?
True
Suppose n - 4*o = 380, 0*n - 5*n - 3*o + 1900 = 0. Suppose -n = -5*r + 5*t, -4*t + 41 + 35 = r. Let q = r + -39. Is q composite?
False
Suppose 0 = -6*v + v + 4*b + 1639, -3*v - 4*b + 1009 = 0. Is v a prime number?
True
Suppose -5*f + 3*f - 26 = 0. Let s = f - -64. Is s a prime number?
False
Suppose 5*w - 261 = 634. Is w composite?
False
Let t(n) = 4*n - 6. Let y be t(4). Suppose 0 = -4*z + y + 2. Is ((-477)/(-3))/z*1 prime?
True
Suppose 2*j = 163 + 125. Let z = -67 + j. Is z composite?
True
Suppose -2*x = -x +