False
Suppose -12 = 3*q, 3*w - 4*q = -3*q + 43. Suppose 4*o = 3*u - 13, -2*u = -3*o + 4 - w. Suppose 2*y = -4, 5*i + u*y - 78 = 2*i. Is 18 a factor of i?
False
Let v = -69 + 107. Does 19 divide v?
True
Let x = -13 + 17. Suppose -x*t + 13 + 59 = 0. Does 6 divide t?
True
Suppose 2*t + 3*k = 237, 3*t - 2*t = 4*k + 102. Is 6 a factor of t?
True
Let d = 5 + -3. Let j = -12 - -21. Suppose j = d*k + 1. Is k a multiple of 3?
False
Let y(f) = 8*f**2 - 3*f + 1. Suppose -2*w + 2 = -8. Let m be (8 - w)*(-4)/(-6). Does 9 divide y(m)?
True
Let j(d) = 3*d**2 + d + 2. Let c be j(-2). Let x = 33 - c. Let g = 35 - x. Is g a multiple of 4?
False
Is -54*(1 - (-3)/(-2)) a multiple of 7?
False
Suppose -3*k - 2*k + 390 = 0. Suppose k + 42 = 5*p. Does 6 divide p?
True
Let r = 12 + 21. Suppose 0 = -3*v + r + 6. Does 8 divide v?
False
Let y(x) = x - 5. Let v be y(7). Suppose -r = -5*b - 28, v*b = 3*r - 3*b - 34. Suppose 0 = -r*m + h + 19, 3 + 11 = 2*m - 2*h. Is 4 a factor of m?
False
Let n = -69 + 79. Is 2 a factor of n?
True
Let n(j) = 2*j**2 + 4*j + 2*j**2 + 1 - 2*j**2. Is 9 a factor of n(-4)?
False
Let b = 2 + 0. Suppose b*x + 5*n - 3*n - 44 = 0, -n - 5 = 0. Is 9 a factor of x?
True
Let o(d) = -6*d**2 - 8*d - 2. Let y(p) = -5*p**2 - 8*p - 1. Let j(q) = -6*o(q) + 7*y(q). Let a be j(6). Let s = a - -14. Is s a multiple of 7?
True
Suppose 2*s + 41 - 477 = 0. Suppose 0 = -5*i - 4*c + s, 3*i + 6*c - c - 123 = 0. Does 23 divide i?
True
Suppose 3*z - 6 = 3. Suppose g = -3*t - 0 + z, -4*t = -2*g + 6. Suppose -y = 4*r + 4*y - 23, -g*y - 27 = -r. Is 12 a factor of r?
True
Let s = -4 - -2. Let o be (-1)/s*(9 + 1). Suppose -3*d + 4*c = -32, -o*d = -c - 55 - 4. Is d a multiple of 6?
True
Let p = 2 + 10. Suppose 3*q = 3*b + 12, -b = 5*q + 2*b + p. Suppose 0 = -z - q*z + 36. Does 12 divide z?
True
Let j(p) = p**3 - 3*p**2 + 2*p. Let w be j(2). Let k(h) = -h + 18. Is k(w) a multiple of 9?
True
Let q = -9 + 5. Let i be 138/42 - q/(-14). Suppose -x + i = -3. Is x a multiple of 6?
True
Suppose -6 + 0 = -2*g. Let n be (17/3)/((-1)/g). Let m = n - -28. Is 9 a factor of m?
False
Suppose -2 = -3*i + 139. Suppose i - 377 = -5*z. Is z a multiple of 25?
False
Let w(s) be the first derivative of -5*s**2/2 - s - 8. Let u = -6 - -2. Is 19 a factor of w(u)?
True
Suppose -5*u - 2*i = 8 - 82, 0 = -4*u - 2*i + 60. Is u a multiple of 14?
True
Let q(d) be the third derivative of -d**5/60 + d**4/12 + 2*d**3/3 - d**2. Let n be q(3). Is 16 + (-1 - n - -3) a multiple of 12?
False
Let m(b) = -b**3 - 4*b + 198. Is m(0) a multiple of 22?
True
Let w(n) = -n. Let r(q) = -5*q - 3. Let h(v) = -r(v) + 3*w(v). Does 9 divide h(3)?
True
Is (-15 - 2)/((-3)/12) a multiple of 14?
False
Suppose 3*q + 67 - 13 = 0. Let z = q + 40. Does 19 divide z?
False
Let w = -23 + 27. Is (30/(-4))/(w/(-24)) a multiple of 15?
True
Let j = 22 + 13. Let x = j + -20. Does 4 divide x?
False
Suppose -f + 4*l + 8 = 0, 6*f - f - 2*l = 22. Is 4 a factor of f?
True
Suppose 4*m - 2*c + c - 139 = 0, -3*m - 5*c = -133. Suppose 36 + m = 2*w + 5*r, 0 = -5*w + r + 234. Does 16 divide w?
False
Let f(o) = -o**3 + 12*o**2 - 5*o - 27. Does 39 divide f(11)?
True
Let b be ((-12)/15)/((-2)/55). Suppose b = 5*z + 2*q, 2*q - q + 3 = z. Suppose k = -3*k - z*i + 32, 0 = 4*i - 20. Is 3 a factor of k?
True
Let a = -29 - -49. Suppose 64 = 4*m + a. Is 11 a factor of m?
True
Suppose -5*s = -5*i + 10, 5*s = 3*i - i + 5. Suppose 0 = 5*d - y - 277 + 37, -s*d - 3*y + 144 = 0. Is 16 a factor of d?
True
Let o be (-1 + -1)*(-7 + 12). Let f = o + 51. Does 19 divide f?
False
Suppose -6*h + 5*t + 323 = -5*h, -5*h = -3*t - 1505. Is 13 a factor of h?
False
Does 13 divide ((-6)/4)/((-30)/400)?
False
Let n be 0 + -45 + (-2 - -3). Let i = n - -23. Let o = 6 - i. Does 9 divide o?
True
Let d(b) = -b**2 + 15*b - 15. Is d(10) a multiple of 33?
False
Suppose -n = 2, s - 4*n = -0*s + 9. Let u = 6 - s. Does 4 divide u?
False
Is 21 a factor of (-3 + 132/2)*1?
True
Let s be 0/2 + (2 - 0). Let x = s + 0. Suppose -x*k + k = -6. Is k a multiple of 3?
True
Suppose 8*n = 9*n - 45. Does 15 divide n?
True
Let i be 2 + 1 + -1 + 1. Suppose -6*a = -4*z - a + 282, -i*z + 210 = -3*a. Does 23 divide z?
False
Let h(u) = u**3 - 4*u**2 + 3*u + 3. Let v be h(3). Suppose -2*o + g + 6 = -v*g, o + 2*g = -9. Does 4 divide 1/o - 25/(-3)?
True
Suppose l + 10 = 3*l. Let j = l - 2. Suppose -j*u + 30 = -3*i, 4*i - 50 = -2*u - 3*u. Does 7 divide u?
False
Let d(m) = m**3 - 6*m**2 + 2*m + 15. Is d(7) a multiple of 26?
True
Let p(j) = 48*j - 9. Does 8 divide p(1)?
False
Suppose 14*t + 516 = 17*t. Is t a multiple of 43?
True
Does 4 divide (4/10)/(-4 - 482/(-120))?
True
Suppose 4*p - 20 - 24 = 0. Does 11 divide (-4)/((-16)/12)*p?
True
Suppose -20 = -k - 4*k, -3*g - 2*k + 86 = 0. Does 13 divide g?
True
Let a(p) = 2*p - 6. Suppose 0*o - 5*o + 25 = 0. Let d be a(o). Does 8 divide (-24)/(-2)*6/d?
False
Let o(q) = q**2 + 5*q - 8. Let i be o(-6). Let u be (i + 5)/((-3)/(-2)). Suppose 2*j + 2 = 0, 2*p - u*j - 30 = 28. Is p a multiple of 10?
False
Let c be 0 - 0 - (0 - -3). Let j = 8 + c. Let x = j - 0. Does 5 divide x?
True
Let g be ((-1)/2)/(2/(-164)). Is g + (-5 + 2 - -2) a multiple of 16?
False
Let y(j) = -j**3 + 8*j**2 - 9*j. Let m be y(7). Does 6 divide -17 - -15 - (m + 0)?
True
Let j = 8 + -8. Is 13 a factor of 13*(1 - (0 - j))?
True
Suppose 3*f + 60 = -f. Let k = 46 + f. Does 8 divide k?
False
Let u = 25 + -13. Does 12 divide u?
True
Suppose h = -3*o - 5, -1 = -3*h - 5*o - 0. Suppose i - 4*x + h = -0*x, -x = -2*i + 7. Let y(z) = 2*z**2 - 4*z - 4. Is y(i) a multiple of 13?
True
Suppose -2*m - 3 = -m, 0 = 5*b - 5*m + 240. Is 18 a factor of 2 - (b - (0 + 1))?
True
Suppose -8 + 23 = 3*a. Let c = 9 - a. Suppose c*p - j - 4*j - 218 = 0, p = 5*j + 62. Is p a multiple of 18?
False
Does 19 divide 46*(-4 + (-2)/(-2) - -6)?
False
Let p(i) = -3*i - 1. Suppose 0 = -0*x - 3*x - 6. Does 2 divide p(x)?
False
Let j(y) = -y**3 + 3*y**2 - 4*y + 2. Let c be j(2). Let z = 2 + c. Suppose 16 = -z*w + 5*w + 2*b, 0 = 4*w - b - 18. Is 2 a factor of w?
True
Let j(f) = f**2 + 4*f - 6. Let g(l) = l**3 - 6*l**2 - 8. Let m be g(6). Is j(m) a multiple of 12?
False
Suppose 5*a = -5*z + 105, -2*z - 4*a + 24 = -26. Is 8 a factor of z?
False
Suppose 2*c - c = 4. Suppose s = -5*v - 6, 4*s - 4 = -c*v + 4. Is 4 a factor of s?
True
Let q = -287 + 496. Is 28 a factor of q?
False
Let c(t) = -t**2 - 18*t - 19. Is 23 a factor of c(-13)?
True
Let p(n) = n**3 + n**2 - n + 15. Suppose -3*t + t = 0. Does 5 divide p(t)?
True
Let z(t) = 4*t - 6. Let h(u) = 3*u - 6. Let o(i) = -5*h(i) + 4*z(i). Let v be o(7). Suppose -w - v = -5*y, -2*y + 4*w - 5*w + 1 = 0. Is y even?
True
Suppose -2*y - d = 70, 3*y - 4*d - 40 = -134. Suppose u = -4*i + 262, 2*u + 0*u + 321 = 5*i. Let q = y + i. Is 19 a factor of q?
False
Suppose 0 = -20*b + 14*b + 54. Does 8 divide b?
False
Let w(o) = o**2 - 4*o - 3. Is 4 a factor of w(7)?
False
Suppose -3*z = 5*l - 689 - 192, -2*l = 4*z - 1184. Is 27 a factor of z?
True
Let v = 19 - 4. Is v a multiple of 15?
True
Is ((-5)/(-2))/(-5) - (-1771)/22 a multiple of 20?
True
Suppose 5*k - 27 = q, -2*k + 3*k = 5*q + 15. Suppose 35 = -5*z - k*a, -2*a - 10 = z + 2*a. Is 3 a factor of (1 - -1)*z/(-4)?
True
Is (-4 + -4 + 17)/(6/184) a multiple of 14?
False
Let a(j) = -4 - 5*j + 3*j + 4*j. Is a(4) a multiple of 3?
False
Suppose 18*g = 3*g + 810. Is g a multiple of 6?
True
Let z(v) = v + 4. Suppose -5 + 1 = 2*s. Is z(s) even?
True
Suppose y - 20 - 19 = -2*p, -2*p + 4 = 0. Suppose o = -3*z + 60, 0 = -2*o + 4*z + y + 65. Is 24 a factor of o?
False
Suppose 3*t + 2*t = 50. Does 10 divide t?
True
Let p be (2 + -3 - -6) + -2. Let t = 8 - p. Suppose 4*n - 24 = t*i - i, 4*n + 3*i = -4. Does 2 divide n?
True
Let n = -12 - 42. Let o = 77 + n. Does 14 divide o?
False
Suppose 0 = 5*s - 4*s - 37. Is 26 a factor of s?
False
Suppose 0 = -2*s - 3*s. Suppose 3*i + 2*i - 195 = s. Is i a multiple of 19?
False
Suppose -3*x = -0*r + 3*r - 39, -2*x = -5*r + 65. Let f = r - 4. Does 3 divide f?
True
Suppose -5*j + 5*q - 5 = 0, 0 = -j + 4*j + q - 17. Suppose 3*k + 32 - 158 = 2*x, -52 = -k + j*x. Is k a multiple of 20?
True
Let r = -48 + 29. Let w = r - -36. Let v = 21 + w. Does 19 divide v?
True
Suppose -753 = -7*r - 137. Is r a multiple of 15?
False
Suppose -3*a - a = 4. Let m = a + 