3268 = -t. Suppose 0 = 3*g - 328 - c. Suppose -564 = -4*v - 5*f, 76 = 3*v - 5*f - g. Does 33 divide v?
False
Let k(w) = -12 + 3*w + 0 - 6*w + 2*w**2 - 8*w. Does 16 divide k(12)?
True
Suppose 2*k = -4, -5*p - k + 45 + 53 = 0. Let z = p + -17. Suppose -3*b + 172 = 5*t, -2*b - 53 - 35 = -z*t. Is 16 a factor of t?
True
Suppose -12 = 4*y, 5*j = -0*j + 3*y + 29. Let d(h) be the third derivative of h**6/120 - h**5/20 + h**4/12 - h**3/6 + 3*h**2 - 4*h. Is d(j) a multiple of 13?
False
Is (1016/12 - -1)/(1/3) a multiple of 10?
False
Let c = 33 - 30. Does 3 divide 17 + (c - 3) + 0?
False
Let r(c) be the third derivative of -c**6/90 + 7*c**5/60 + c**4/4 - 7*c**2. Let q(s) be the second derivative of r(s). Does 18 divide q(-5)?
True
Suppose 0 = 685*b - 677*b - 848. Does 53 divide b?
True
Let o(z) = 301*z - 92. Is 5 a factor of o(2)?
True
Suppose 5*f + 0*d - 19 = -d, -3*f + 3*d + 15 = 0. Suppose f*x - 1 = -17. Let g = x + 27. Does 9 divide g?
False
Suppose -5*q + 3*q = -4. Suppose -5*v = -q*t + 4*t - 157, 2*t - v - 187 = 0. Is t a multiple of 10?
False
Is ((-65568)/(-20))/4 - 18/30 a multiple of 63?
True
Let a(h) = 31*h**2 - 2*h + 7. Does 4 divide a(3)?
True
Let x be (-40)/4 - (-3)/1. Let s = x - -9. Suppose 0 = -0*o + s*o - 54. Is 26 a factor of o?
False
Suppose 922 = 4*t - 3*z + 121, 4*t - 821 = -z. Suppose 0 = 3*g - 0*g - t. Is g a multiple of 17?
True
Let d(b) be the second derivative of -5*b**2/2 - 4*b. Let j(h) = h + 1. Let f(z) = d(z) + 2*j(z). Is 6 a factor of f(8)?
False
Suppose -8*m + 63 = -3*m + b, -3*b + 59 = 5*m. Let o = m + 35. Is 2 a factor of o?
True
Suppose w + 13 = 13. Let j(v) = v**2 - v + 87. Does 15 divide j(w)?
False
Suppose 1822 = 2*k + 4*z, -5*z + 29 - 49 = 0. Does 10 divide k?
False
Suppose -y + 3*z = -4, 2*z = 3*z + 1. Is 38 a factor of -1 - (-1 - 228)*y?
True
Let i(a) = -9*a - 4. Let q(l) = l**3 + 4*l**2 - 2*l - 5. Let w be q(-4). Let d(f) = -f. Let h(y) = w*d(y) - i(y). Is 22 a factor of h(3)?
True
Let v(x) = x**2 + 1. Let w(a) = -3*a**2 + 10*a + 13. Let j(k) = -4*v(k) - w(k). Let s be j(-7). Suppose -l - 13 = -2*l - q, -s*q = l - 4. Is l a multiple of 8?
True
Let h = -8 - -71. Let n = -329 - -295. Let f = n + h. Is f a multiple of 15?
False
Let i be 2/(-3)*(-7 - -1). Suppose 3*n = -3*l + 168, -254 = -i*n + l + l. Suppose -3*m - n + 253 = 0. Does 10 divide m?
False
Let n(x) = -x**3 - 47*x**2 - 3*x - 45. Does 24 divide n(-47)?
True
Suppose 31*a - 60*a + 19140 = 0. Is 66 a factor of a?
True
Suppose l - 33 = 5*z, z + 2*z = l - 27. Let y(i) = i**2 - 14*i + 23. Is y(l) a multiple of 20?
False
Let v(k) = -k**2 + 46*k + 1. Is v(32) a multiple of 13?
False
Suppose -6*g + 3*g - 33 = -2*d, 4*d - 71 = 5*g. Suppose d = 4*l - 8. Does 4 divide l?
True
Let o(v) = -21*v + 93. Is 9 a factor of o(-14)?
True
Let r(b) = 2*b**2 + 35*b + 166. Is r(-36) a multiple of 19?
False
Let a(f) = 33*f + 645. Is a(-4) a multiple of 26?
False
Suppose -2275 = -61*v + 48*v. Does 25 divide v?
True
Let g = -64 - -92. Is g a multiple of 7?
True
Suppose -3*h = -4*h + 5. Is 11 a factor of 33 + (-5 + 5)/h?
True
Let n = 308 + -68. Does 16 divide n?
True
Let t be -2 - 1*10*320/(-25). Suppose -2*i - t = -4*i. Does 7 divide i?
True
Let r be -1 - 164/16 - (-6)/(-8). Is (28/3)/(r/18 + 1) a multiple of 14?
True
Let s(i) = -26*i + 167. Is 9 a factor of s(-23)?
True
Let l(w) = -1. Suppose -2*a + a - 1 = 0. Let m(v) = -3*v + 4. Let p(d) = a*m(d) - l(d). Is p(7) a multiple of 10?
False
Let h be (-144)/(-63) - 2/7. Suppose 3*g - 22 = -l + 5*l, 2*l + 12 = h*g. Does 25 divide 88 - (l/1 - -4)?
False
Let n = 171 - 160. Does 3 divide n?
False
Does 6 divide 20/(-50) + -2*(-1173)/15?
True
Suppose 0 = 5*a - 2*m - 21, -3 = -11*a + 6*a - 4*m. Let j be 2*(a + (1 - 3)). Does 2 divide j/10 - 216/(-20)?
False
Suppose 0 = -2*g + 5*g - 123. Let b = 194 - g. Suppose 4*n - b = -41. Does 14 divide n?
True
Let g = -76 - -51. Let a = 42 + g. Does 17 divide a?
True
Let s be (3/2)/((-1)/(3 - 5)). Suppose -3*n + 399 = -2*a - a, 4*n + s*a = 525. Does 15 divide n?
False
Let h be (44/12 + 1)*3. Let m = 9 + h. Does 8 divide m?
False
Let a = 2726 - 2711. Is a a multiple of 3?
True
Let l(s) = 1759*s - 202. Does 14 divide l(2)?
False
Suppose 3*x - 5*w - 932 - 734 = 0, -3*w = 6. Does 46 divide x?
True
Let h(b) = -3*b**3 - 7*b**2 + 8*b + 1. Is 22 a factor of h(-5)?
False
Suppose 0 = 6*n - 5388 - 7788. Is n a multiple of 61?
True
Suppose -y = 153 - 58. Let i = -184 - y. Let g = i - -154. Does 13 divide g?
True
Let a(i) = -i**3 - 3*i**2 + 7*i - 9. Let s be a(-7). Let h = s - 94. Is h a multiple of 23?
False
Let m = 25 - 40. Let t = -16 - m. Is 9 a factor of 27/(-2*t/2)?
True
Suppose 90*i = 100*i - 13190. Is 23 a factor of i?
False
Let l(k) = k**2 - 2*k - 6. Let z be (18/15)/(3/(-10)). Is l(z) a multiple of 9?
True
Suppose 5*o - 5*z = 870, -3 = -3*z + 9. Does 33 divide o?
False
Suppose 6*o - 8*o = -178. Let w = o + -18. Is 10 a factor of w?
False
Let w(v) = -3*v + 27. Let g be w(8). Suppose 2*j = -4*p + 48, 6*j - 10*j + 46 = g*p. Is 10 a factor of p?
True
Does 16 divide (-1)/(-1 + (-196)/(-197)) - 0?
False
Let c = 4049 - 2618. Does 14 divide c?
False
Let s(o) = -22*o + 56. Is s(-10) a multiple of 8?
False
Suppose -3*s + c + 1288 = 2*s, 0 = -3*s + 2*c + 777. Let o = -169 + s. Let p = 150 - o. Is 13 a factor of p?
False
Let r(z) = z**3 - 8*z**2 + 12*z - 3. Suppose 2*u - 5*d = 7, 3*d + d - 10 = -u. Let p be r(u). Is 9 a factor of 21 + -1 - (-1 - p)?
True
Let l = 100 + -208. Let c = 162 + l. Is c a multiple of 18?
True
Let k = -45 + 12. Suppose -2 = -f + 2*f, 5*f = 5*l - 245. Let w = l + k. Is 7 a factor of w?
True
Let s(u) = 3*u**2 + 17*u + 170. Is s(-16) a multiple of 18?
True
Let y = 184 - 72. Let c = -11 + y. Suppose -21 = -g - 4*p, 3*p = 4*g + 2*p - c. Is 16 a factor of g?
False
Suppose 55*h - 59*h = -256. Is 16 a factor of h?
True
Is ((-146415)/(-210) - (-2)/7)*2 a multiple of 93?
True
Let h = 535 + -283. Is h a multiple of 14?
True
Does 110 divide 60515/25 - 18/30?
True
Let r be (5 - -1)*244/6. Suppose -o + 3*o = r. Suppose 0 = -3*p - 8 + o. Is p a multiple of 6?
False
Suppose -3*c - 273 = 5*u - 1008, -3*u + c + 455 = 0. Suppose r - u = -4*r. Is 3 a factor of ((-36)/(-27))/(4/r)?
False
Let o = -37 + 40. Suppose -12 = o*i - 36. Is 8 a factor of i?
True
Suppose -3*d = -1554 - 1446. Suppose -5*q + 670 + d = 0. Suppose 133 = -3*o + q. Is 15 a factor of o?
False
Suppose -3707 = 3*t - 14*t. Suppose -4*i + t = 5*n, 4*n - 2*n = -i + 133. Is 17 a factor of n?
False
Let p = 34 - 18. Suppose -2*i = 2*i - p, 3*d + 7 = 4*i. Suppose r + 5*y + 50 = 6*r, -5*y = -d*r + 38. Is 2 a factor of r?
True
Let n be (-1 - -1)/(-3 - -2). Suppose 3*r - o - 120 = n, -200 = -3*r - 2*r + o. Suppose q + r = 3*q. Is 10 a factor of q?
True
Let g = -263 - -340. Is 2 a factor of g?
False
Let b(j) = j + 1. Let x(z) = -13*z - 8. Let h(v) = -14*b(v) - 2*x(v). Suppose 2*d = -4*g + 12, 3*g = -2*d + 4 + 4. Does 18 divide h(g)?
False
Let a = 1 + -1. Let z = 20 + -18. Suppose -s + 113 = 3*u - a*u, -z*u = -2*s - 78. Is u a multiple of 9?
False
Let q = 1 + 7. Suppose -5*g + 23 = q. Suppose -13 = -g*i + 83. Is i a multiple of 16?
True
Suppose 8*b + 327 - 1999 = 0. Is b a multiple of 63?
False
Let j be (-2 + 1 + 0)*-2. Suppose 5*b = 4*y + 10, -2*b + j*y + 14 = 2*b. Suppose -5*f = -4*f - b. Is f even?
True
Let u(d) = -86*d**3 - d**2 - 2*d + 3. Does 8 divide u(-2)?
False
Let f(t) = t**2 - 3*t - 7. Let k be f(5). Let s(q) = -q**2 - q + 22. Let c be s(-5). Suppose 5*v - 96 = k*r, c*v + 4*r - 33 = v. Is 8 a factor of v?
False
Let u(p) = p**2 + 34. Let v(t) = 2*t**2 + 33. Let c(r) = -3*u(r) + 2*v(r). Is 7 a factor of c(-9)?
False
Suppose -3081 - 3879 = -10*h. Suppose 9*d = 6*d + h. Is 29 a factor of d?
True
Suppose 291*j - 294*j = -6834. Is 34 a factor of j?
True
Let p be (-3)/9*(2 + 37). Let h(z) = -z**2 - 14*z - 13. Let i be h(p). Suppose -u + 45 = d - 34, i = 5*d + 3*u - 391. Is d a multiple of 26?
False
Suppose -6*c - 9 = 2*j - c, -4*j + 2*c + 18 = 0. Suppose -390 = -j*k + k. Let r = k - 138. Is r a multiple of 15?
False
Suppose -52*b - 145 + 769 = 0. Is 4 a factor of b?
True
Suppose 5*p = 55 - 35. Suppose -2*z = p*a - 127 - 65, -z + 103 = -5*a. Is 17 a factor of z?
False
Suppose -4*u - 69 - 203 = 0. Let t = u - -168. Suppose -4*l = -y + 54, 3*y = l + 84 + t. 