ue
Suppose 4*d - 465 = -65. Is 10 a factor of d?
True
Let w(x) = -8*x - 11. Let d(i) = 9*i + 12. Let q(j) = -5*d(j) - 6*w(j). Let v be q(-4). Is 28*(v/8)/(-3) a multiple of 3?
False
Suppose 2*r + 0*l = 4*l + 128, 3*l - 245 = -4*r. Let c = -31 + r. Does 10 divide c?
False
Let a(v) be the second derivative of -v**3/3 - v**2 + v. Let b be a(-3). Suppose -b*r + o + 104 = 3*o, -r + 26 = -2*o. Does 13 divide r?
True
Suppose y = -4*i - 15, 2*y - 2*i = y + 15. Suppose d - s = 6, 28 = 4*d - 0*d - y*s. Suppose -f - 5*w = f - 70, -d*f = 4*w - 72. Is f a multiple of 20?
True
Let c be 0*(0 + 2/4). Suppose -p + 5*x - 18 = 0, 2*p + c*p = -4*x - 92. Let o = p + 56. Is o a multiple of 18?
True
Suppose 0 = 5*c + 4 - 109. Is 3 a factor of c?
True
Suppose -b = -21 - 15. Does 9 divide b?
True
Let h(t) = t**2 - 8*t + 6. Let q be h(7). Let c be 93*((-2 - -2) + q). Is 4 a factor of 3/12 - c/12?
True
Let r(u) = -u + 11. Does 2 divide r(7)?
True
Suppose -3*p + 4*p - 2 = -r, 0 = 4*r + 2*p - 18. Suppose 5*b = 33 + r. Is b a multiple of 6?
False
Suppose -4*i + 2*o - 1 = -o, -3*i - 3*o = -15. Does 12 divide 35 - i*(-6)/4?
False
Let m = -2 - -4. Suppose -4*d = 2*g - 16, 2*d - 2*g = 3*g - 4. Suppose 96 = 2*l + 2*x, -242 = -m*l - 3*l - d*x. Is l a multiple of 20?
False
Let s be ((-86)/(-6))/(4/12). Suppose s = 4*t - 149. Suppose 32 = 4*a - t. Does 10 divide a?
True
Suppose -x = 4*b + 5, 4*x - 3*b = -0*b + 75. Is x a multiple of 9?
False
Suppose -5*t = -l - 417, t + 5*l = 3*l + 90. Does 12 divide t?
True
Let u = 80 - -4. Does 5 divide u?
False
Suppose 4*m + 10 = 50. Is 5 a factor of m?
True
Let j = 192 - 120. Is 10 a factor of j?
False
Let x = 249 + -127. Does 17 divide x?
False
Suppose 0 = 2*t - 44 - 0. Suppose w = t + 18. Is w a multiple of 10?
True
Suppose -2*o = -0*o - 3*k - 54, 0 = 2*o - k - 46. Does 7 divide o?
True
Let a = -23 - -34. Does 8 divide a?
False
Suppose 5*c + 2 = 37. Is 18 a factor of (c - 8)/((-2)/116)?
False
Suppose -27 + 187 = 3*a - 2*c, -3*a + 172 = c. Suppose -2*v - 2*h - 18 = -6*v, -4*v - 3 = 5*h. Suppose -a = -i - v*i. Is i a multiple of 14?
True
Suppose 3*x = y - 2*x - 1, -4*y - 4*x + 28 = 0. Is 3 a factor of y?
True
Let r(w) = 10*w + 8. Let x(h) = 3*h + 3. Let a(z) = 4*r(z) - 11*x(z). Suppose -4 = -v - v. Is a(v) a multiple of 12?
False
Let m = -16 - -51. Is (8/10)/(2/m) a multiple of 3?
False
Suppose 0 = -z - 4*c + 4, -4*z + c + 37 = 4. Is 6 a factor of z?
False
Let b(l) = -l + 6. Suppose -4*h + 3*y - 3 = 1, 2*h - 5*y = -16. Suppose 0 = h*p - 6*p. Is 6 a factor of b(p)?
True
Does 18 divide 59 + (-4 - 0) - -4?
False
Let k(t) = 580*t. Let a be k(-3). Is a/(-35) - (-4)/14 a multiple of 20?
False
Let h = -99 - -37. Is (-5 - h)/(3/2) a multiple of 27?
False
Let p(v) = -v**2 - 7*v + 6. Let l be 4/(-2)*10/4. Is 4 a factor of p(l)?
True
Suppose 0 = 2*g - 5 + 1. Suppose g*u = -2*u - 104. Let m = u + 42. Is 7 a factor of m?
False
Let b be ((-1)/(-2))/(4/(-16)). Is b - (-2 + 2) - -7 a multiple of 4?
False
Let k(x) = -2*x**3 - 3*x**2 + 13*x + 7. Let s(t) = t**3 + 2*t**2 - 6*t - 3. Let m(i) = -2*k(i) - 5*s(i). Is 12 a factor of m(-6)?
False
Suppose 2*b + 4 = 4*b. Suppose -30 = b*p - 108. Is p a multiple of 18?
False
Let j be (-1 - 0)/((-4)/(-28)). Let a = -46 - j. Let y = a - -73. Is 17 a factor of y?
True
Suppose -13 = -5*h + 7. Suppose -88 = i - 3*i + 2*n, 224 = 5*i - h*n. Is 14 a factor of i?
False
Let w be (-2 + 1)*(-1 - (-3 - -2)). Let j be 1 + -1*(-8)/(-2). Is 12 a factor of w + 36 - (6 + j)?
False
Suppose 4*z = 6*z + 2*c + 50, 2*z + 4*c + 40 = 0. Let h = -18 - z. Suppose -36 = -3*d + h. Is d a multiple of 16?
True
Let q(b) = b**2 - b - 3. Does 3 divide q(-2)?
True
Let z be (2/4)/(3/18). Suppose -z*w = -6, 0 = 5*n + 5*w - 29 - 16. Is n a multiple of 6?
False
Suppose -3*c + 9*c = 318. Is 17 a factor of c?
False
Suppose 13 = 2*h + 3. Is h a multiple of 5?
True
Suppose 2*v - v - 58 = 0. Suppose 5*a - v = 2. Is 9 a factor of a?
False
Suppose 13 = -4*q - 8*f + 3*f, 4*f = -2*q - 14. Suppose p - q*p = -6. Suppose 2*l = 10, -p*u + 2*l + 0*l = -44. Is 10 a factor of u?
False
Let p(x) be the first derivative of x**4/4 + 7*x**3/3 - 4*x**2 + 4*x - 2. Is 24 a factor of p(-7)?
False
Let b = 30 + 2. Does 25 divide b?
False
Let q = -17 + 14. Is 12 a factor of q/((-3)/132*2)?
False
Let f(p) = 4*p - 81. Is f(24) a multiple of 4?
False
Let s = 26 - 19. Suppose -2 = -3*y + s. Does 3 divide y?
True
Let i = 305 + -218. Let r be i + (0 + -2)/(-2). Suppose -3*s - r = -7*s. Is 11 a factor of s?
True
Let l = -310 + 215. Let v = 43 - 109. Let n = v - l. Is n a multiple of 10?
False
Let y = -70 - -134. Suppose 2*u - y = -2*u. Does 8 divide u?
True
Let o be 110/6 + (-12)/(-18). Let c = o + -13. Does 6 divide c?
True
Suppose -3*m + 5*f - 2*f + 12 = 0, 3*f + 5 = -4*m. Let d be 2/(-4)*(m - 73). Let v = d - 14. Does 10 divide v?
False
Let v be 0/((-13)/11 - (-4)/22). Suppose 4*u + 7 + 15 = 2*d, 3*d - 12 = -u. Let b = v - u. Is 3 a factor of b?
True
Suppose -4*f - 180 = -6*f. Does 29 divide f?
False
Let u be 159 + (2 + 1)/3. Suppose 3*q + 4*b = -0*q + 121, -4*q - 4*b + u = 0. Does 14 divide q?
False
Is (2/(-4))/(4/(-1352)) a multiple of 49?
False
Suppose 2*f - 21 = 5*f. Let o = f - -15. Is 8 a factor of o?
True
Suppose -72 = -o - o + 4*h, -235 = -5*o - h. Is 29 a factor of o?
False
Suppose -i + 4*c = -176, 3*i + i - 5*c = 715. Is 36 a factor of i?
True
Let b(r) = 3*r + 8. Let k be b(-10). Suppose -3*i + 4*i = 45. Let n = i + k. Does 19 divide n?
False
Suppose -c = -5*u - 6*c - 15, -2*c + 18 = -2*u. Does 12 divide ((-4)/u)/(4/78)?
False
Let g(c) = c**3 + 8*c**2 - 10*c + 3. Let p be g(-9). Is 5 a factor of 6/((-9)/p - -1)?
False
Let d = 18 - 13. Suppose 0*k + 16 = 2*k. Suppose -3*p = d*w + 2*p - 35, 4*p = 2*w - k. Is 6 a factor of w?
True
Let h = -5 + 8. Let c(g) = -g**2 + h*g - 7 + 2*g + 3*g. Does 8 divide c(5)?
True
Suppose 4*l = -4*c + 60, l + 0 = -1. Suppose -2*j = 2*h - c, 0 = -2*h - 3 - 1. Is j a multiple of 9?
False
Let d(x) = -28*x. Suppose -4*h - 2*a + 14 = 0, -4*h + a = -20 + 3. Let z be (0 + 2)*(-2)/h. Is d(z) a multiple of 14?
True
Suppose 4*o - 3*o = -6. Let j = 11 + o. Suppose -10 = j*n - 75. Is 5 a factor of n?
False
Let n = -3 + 12. Let z(k) = 3*k + 7. Let o be z(n). Suppose -g + 0*g = -o. Does 13 divide g?
False
Let r(i) = -8*i + 3. Let z be r(-6). Suppose z = c - 2*h + 5*h, c + 2*h = 53. Does 15 divide c?
False
Let b be (-30)/(-9) - 16/12. Suppose 2*k + 2*k = 12. Suppose b*q - k*q + 6 = 0. Is 3 a factor of q?
True
Let q = 14 - 0. Is q a multiple of 14?
True
Let c(g) be the second derivative of g**3/3 - g**2/2 - g. Let o be c(-2). Let u = 8 + o. Does 3 divide u?
True
Is (672/(-4))/(4/(-6)) a multiple of 18?
True
Suppose o + 6 = -o. Let m(z) = -z**3 - 8*z**2 - 7*z - 9. Let q be m(-7). Is 16 a factor of (-47)/(-1) - q/o?
False
Let y = 85 - 23. Is y a multiple of 16?
False
Suppose -3*x = -0*x + m - 9, -x = m - 3. Suppose r + 52 = x*r. Does 16 divide r?
False
Let q(f) = -f - 1 + 23*f**2 + f. Does 11 divide q(1)?
True
Suppose -17 = -5*p - 2. Suppose 0 = -b + p. Suppose -2*j = b*j - 25. Is j a multiple of 3?
False
Let k(s) = 5*s**3 + 5*s**2 + 2 + 0*s**2 - 4*s**3 - 5*s. Suppose -15 = -10*w + 13*w. Is 9 a factor of k(w)?
True
Let r = 15 - 10. Suppose 0 = r*g - 0*g - 215. Let s = 0 + g. Is s a multiple of 15?
False
Suppose 0 = -2*a - 0*a. Let s = 9 - a. Is 9 a factor of s?
True
Let z(j) = -j**2 + 18*j - 42. Does 19 divide z(10)?
True
Suppose 0 = -2*g + c + 45, 0*g - 4*c = 3*g - 95. Let b = -5 - g. Let l = -18 - b. Does 4 divide l?
True
Suppose 2*x - 7 = -5*c, -3*x - 8 = 2*c - 2. Is 14 a factor of (40/3 + -2)*c?
False
Let d(n) be the second derivative of -n**5/20 - n**4/4 + n**3/3 - 3*n**2/2 + 6*n. Does 5 divide d(-4)?
True
Suppose i - 3*p = 3, 3*i - 2*p + 5 = -0. Is 1*-3*23/i a multiple of 18?
False
Suppose -2*c = -11 - 13. Suppose -12*t + 2*p = -7*t + 50, -t - 10 = -p. Let f = t + c. Does 2 divide f?
True
Suppose 6*q = 4*q - 2. Let r(p) = 1 - 2*p - 2 + 0*p + 11*p**2 - 2*p**2. Is 10 a factor of r(q)?
True
Let h(r) = -27*r - 12. Does 24 divide h(-3)?
False
Let c = -67 + -277. Is 6/(-18) + c/(-6) a multiple of 19?
True
Let y = 54 - 14. Does 4 divide y?
True
Suppose u - 3 = 2*u. Let f be ((-3)/u)/(2/6). Let s = 9 - f. Is s a multiple of 3?
True
Let j(g) = g**2 - 12*g - 1. Let x be 