 - 3 = -4*l, l - 2*l - 3 = k. Is o even?
False
Let k(g) = -51*g + 25*g + 1 + 21*g. Is 21 a factor of k(-4)?
True
Suppose 4*s + 7 = 3*s. Let c(l) = -7*l + 7. Is c(s) a multiple of 18?
False
Let v(z) = z**2 + z - 1. Let b(p) = -18*p**2 + p - 2. Let i(y) = -b(y) + 3*v(y). Is 11 a factor of i(1)?
True
Suppose -2*x = 2*x - 4*r - 500, 4*x - 468 = -4*r. Suppose -3*b = -2*l, -b + 5*l - 9 = 2*b. Suppose 3*m + 7 - x = 4*n, -65 = -b*m - n. Is 17 a factor of m?
True
Suppose -5*v + 10 = -3*v, -4*f + v + 135 = 0. Is f a multiple of 9?
False
Let n be ((-15)/(-6))/(-1)*-2. Suppose -t = n, 2*l + 6*t - 31 = 3*t. Does 10 divide l?
False
Let d = 225 + -143. Let r = 72 + -130. Let z = r + d. Does 12 divide z?
True
Suppose 4*m = 3*t - 16, -13 = 5*m - 0*t - 2*t. Let d(u) = -3*u + 1. Let o be d(m). Suppose z - 15 + o = 0. Does 11 divide z?
True
Let y = -134 + 232. Suppose 0 = 4*u - u - 2*s - y, -u - s = -31. Is u a multiple of 13?
False
Is 38 a factor of 114 + -1 + 2 - (-3 - -4)?
True
Suppose -3*k + 102 = -183. Suppose 7*z - k = 2*z. Is 19 a factor of z?
True
Suppose -4*d - 43 = -5*l, -5*l = -0*l + 5*d - 25. Suppose -2*a = -l - 1. Does 3 divide a?
False
Suppose 4*p = 4*g + 162 + 898, g - 795 = -3*p. Is p a multiple of 27?
False
Let q = 217 - 129. Is 11 a factor of q?
True
Let k = -358 + 623. Is k a multiple of 28?
False
Let c(h) = h**3 - 4*h - 3. Let r be c(-4). Is (r/(-6))/((-1)/(-8)) a multiple of 16?
False
Suppose 5 = -m, -4*s - m + 151 = 24. Does 33 divide s?
True
Let i = -3 + 8. Suppose c = i - 1. Is (c/10)/(7/455) a multiple of 26?
True
Suppose 442 - 141 = 5*m + 3*d, 0 = 3*m + 4*d - 185. Does 12 divide m?
False
Suppose -9*p = -10*p + 3. Let d(f) = 2*f**2 + 2. Is d(p) a multiple of 10?
True
Suppose 0 = 5*f + 4*z - z - 66, -f + 27 = -4*z. Is 5 a factor of f?
True
Let m = 2 + 3. Let b(h) = h**2 - 3*h - 7. Is b(m) even?
False
Suppose -a = -41 - 29. Is a a multiple of 14?
True
Let k(w) = 3*w**2 - 6*w + 9. Does 18 divide k(9)?
True
Let c(n) = 9*n**3 + 23*n**2 - 15*n - 14. Let v = -11 - -8. Let j(s) = 4*s**3 + 11*s**2 - 7*s - 7. Let k(u) = v*c(u) + 7*j(u). Is 15 a factor of k(-8)?
False
Suppose 124 + 92 = 6*s. Is s a multiple of 6?
True
Let u = -3 + 3. Suppose 2*s - 60 = -u*s. Is 10 a factor of s?
True
Suppose -114 = -4*i - 2*v, -5*v - 74 - 91 = -5*i. Is i a multiple of 30?
True
Let g be ((-2)/3)/(1/(-30)). Suppose 3*r = 3*v - 4 - 8, g = -2*r - v. Is r/(-10)*45/2 a multiple of 13?
False
Let x be 24 + -1 + 1 - 1. Let u = -8 + x. Suppose -5*k = -u, -2*k = w - 3*k - 12. Is 5 a factor of w?
True
Let k(u) = u**2 + 4*u - 2. Let j be k(4). Suppose -2*n = 0, 5*r + 4*n = j + 150. Does 18 divide r?
True
Let u(i) = 2*i**2 - 2. Let j be u(-4). Let y = -14 - -24. Suppose -j = 5*r - y*r. Is r a multiple of 4?
False
Is 32 a factor of -184*4/8*-1?
False
Suppose 0 = 5*d - 2*m + m - 611, -4*d - 2*m = -486. Is 33 a factor of d?
False
Suppose 0 = 2*k + 2*k - 76. Does 19 divide k?
True
Let d = 14 - 5. Is d a multiple of 4?
False
Let r(c) = 7*c - 6. Let p be 4/(0 + -2 - -3). Is r(p) a multiple of 14?
False
Suppose -6 = h + 15. Let z = 11 - h. Is z a multiple of 16?
True
Let f be ((-16)/(-5))/((-4)/(-50)). Suppose d + f = -3*k + 137, 3 = 3*d. Does 16 divide k?
True
Let m(p) = 3*p + 11. Let r(h) = 5*h. Let u be r(1). Is 10 a factor of m(u)?
False
Suppose -26 = -4*l + 2*i - i, -2*l + 10 = i. Let o(s) = -s + 12. Let w(f) = f - 12. Let u(n) = -2*o(n) - 3*w(n). Does 6 divide u(l)?
True
Let r(c) = c**2 - 8*c - 14. Let f be r(10). Suppose 0 = 2*m - 18. Is 4 a factor of (-4)/f - (-78)/m?
True
Suppose -3*v = 15, w + 2*v = 6*w - 145. Is w a multiple of 6?
False
Suppose f + 4*j + 15 = -1, -4*j = 16. Suppose 5*g - 9*g + 128 = f. Is 8 a factor of g?
True
Let f(b) = b**2 - 5*b + 4. Let z be f(4). Suppose z = 5*c - 113 - 102. Is c a multiple of 12?
False
Suppose 0 = 2*f + 53 - 191. Does 20 divide f?
False
Let s(y) = 3*y**2 - 2*y - 3. Is s(-3) a multiple of 17?
False
Suppose -696 = -105*c + 101*c. Is c a multiple of 44?
False
Let c = 317 - 199. Is c a multiple of 21?
False
Does 32 divide (60/(-50))/(2/(-135))?
False
Suppose 0 = -3*p + 48 + 42. Suppose -2*c - 2*r = -14, 0*c - 29 = -3*c - 5*r. Suppose -p = -5*x + 4*u, x + c*u = -3*x + 55. Does 10 divide x?
True
Let b = -289 + 509. Is b a multiple of 32?
False
Let i(o) = 2*o**2 + 11*o + 5. Is 31 a factor of i(-9)?
False
Suppose -7*k + 12*k - 270 = 0. Is k a multiple of 18?
True
Suppose 5*o - 146 - 274 = 0. Let v = o + -53. Is v a multiple of 11?
False
Let i(k) = k - 7 + k**2 + 1 - 12*k - 2*k**2. Does 22 divide i(-7)?
True
Does 2 divide 105/(-7)*(-3)/5?
False
Let v = 1 + 1. Does 12 divide (-3)/(-3)*12*v?
True
Let p = 0 - -5. Suppose -p*n + 95 = 310. Let b = n + 63. Does 10 divide b?
True
Let a be 1 - 2*3/(-6). Suppose 0 = -0*u - a*u + 4. Does 2 divide u?
True
Suppose -2*a + 6 + 0 = 5*n, 5*a - 2*n = 44. Suppose 4*i - a = 16. Does 3 divide i?
True
Let m be 130/25 - (-1)/(-5). Suppose 2*a - 188 = -m*o, 3*a = o - 0*a - 24. Is 17 a factor of o?
False
Suppose -5*j + 6 = 2*t - 18, 0 = -3*t - 3*j + 18. Let o(q) = -q**3 + q - 2. Let s be o(t). Let x(i) = i**2 + 6*i - 8. Is x(s) a multiple of 3?
False
Suppose -27 = -v - 373. Does 13 divide v/(-8) + 1/(-4)?
False
Let z be ((-18)/15)/((-4)/10). Suppose -z*p = -165 - 9. Is 13 a factor of p?
False
Suppose -4*h + 285 = h + t, -2*t - 228 = -4*h. Is h a multiple of 12?
False
Suppose 0 = 3*g + 4*y + 44, y + 15 = -5*g + 6*y. Is 6 a factor of (-276)/(-15) + g/20?
True
Let v be ((-468)/(3 - -1))/(-1). Suppose j = -4*y + 3*y + v, -468 = -4*y - j. Does 28 divide y?
False
Let z = -36 + 46. Is 5 a factor of z?
True
Let y = -100 - -152. Is y a multiple of 26?
True
Let x = -22 + 41. Suppose 4*f = 2*l + 18, 3*f - 8*f = l - x. Is 9 a factor of l/1 - (0 - 17)?
False
Let l be (-6)/15 + (-4)/(-10). Suppose -3*s = -s - k - 29, l = -3*s - k + 56. Is s a multiple of 10?
False
Let j(b) = -b**2 - b + 30. Let u = -4 - -4. Let h be j(u). Let w = h + -6. Does 17 divide w?
False
Suppose -m + 2 + 3 = 2*d, 35 = 2*m - d. Suppose 0 = c + 2*c - m. Is c a multiple of 5?
True
Is (-7)/(-35) + (-79)/(-5) a multiple of 4?
True
Let p = -327 - -677. Does 15 divide (-1)/3 - p/(-15)?
False
Suppose -h - 2*h + 2 = -w, -5*h = -2*w - 5. Let y = -3 - h. Let v(x) = -2*x**3 - 2*x**2 - 3*x - 1. Is v(y) a multiple of 6?
False
Let x = -4 + -12. Let r = x + 23. Does 6 divide r?
False
Is (-6)/10 + (-2298)/(-30) a multiple of 17?
False
Suppose 0 = -4*c - 29 - 107. Let d = 53 + c. Is d a multiple of 19?
True
Let s be (-2)/(-8) + 20/(-16). Let r(m) = -17*m**2 - 6*m - 7. Let h(w) = 18*w**2 + 7*w + 8. Let g(a) = -6*h(a) - 7*r(a). Does 12 divide g(s)?
True
Suppose -a - 3*j = -32, -2*a - 3*j = -0*a - 79. Does 20 divide a?
False
Let f(c) = c**2 - 2 + 3 + 5*c - 4 - 1. Is f(5) a multiple of 25?
False
Let u = -5 - -9. Let m(z) = 0*z**3 + 3 + 3*z**3 - z**2 - u. Does 12 divide m(2)?
False
Let j(c) = c**2 - 5*c + 9. Let b be (-4)/(-10) - (-99)/15. Let n be j(b). Let u = 41 - n. Is u a multiple of 9?
True
Let u = 1 - 1. Let r be u + 1*-2 - 2. Is (2/r)/((-2)/152) a multiple of 18?
False
Let o(q) = 4*q**3 + q**2 + q + 1. Let j be o(-1). Is -3 - (2 - (-72)/j) a multiple of 13?
False
Let s(a) = -a**3 + 2*a**2 + 5*a - 5. Let v be s(2). Let d(k) = -k**3 + 8*k**2 - 8*k + 5. Is 10 a factor of d(v)?
True
Is 13 a factor of ((-152)/(-32))/((-2)/(-8))?
False
Let p = -18 + 20. Let g(o) = 5*o**3 - 4*o**2 + 3*o - 2. Does 7 divide g(p)?
True
Is 3 a factor of -12 + 8 + 53/1?
False
Let g(q) = -42*q. Does 29 divide g(-2)?
False
Suppose c = 4*c - 2*z + 6, -c - 2 = z. Let y be ((-56)/12)/(6/9). Let p = c - y. Does 2 divide p?
False
Let j(m) = 6*m**2 + 2*m + 3. Let h be j(-2). Is 3 a factor of (h + -2)/3 - 1?
True
Let b(g) = -g**3 - 3*g - 4. Is b(-3) a multiple of 14?
False
Let q(f) = 3*f**2 + 34*f. Does 14 divide q(-14)?
True
Let f(i) = i**3 + 10*i**2 + 6*i + 14. Let b be f(-10). Let z = b + 132. Suppose 0*o + 2*o - c = z, 3*c + 123 = 3*o. Does 16 divide o?
False
Suppose -4*n = -9*n - 5. Let v be -2*n/((-2)/(-2)). Suppose v*p + 0*p - 14 = 0. Is 5 a factor of p?
False
Suppose -6*c + 230 = -c. Is 13 a factor of c?
False
Let j(p) = 5*p**2 - 6*p + 10. Let u be j(-7). Suppose -5*x = -2*x - u. Does 30 divide x?
False
Let b(p) be the first derivative of 4*p + 1 - 4/3*p**3 - 5/2*p**2 - 1/4*p**4. Is b(-4) a multipl