u?
False
Let r = -21 - -55. Is r a multiple of 34?
True
Suppose -10*s + 5*s - o = -3845, 2*s + 3*o = 1525. Does 10 divide s?
True
Let g be (-6)/((-4 - -6)*-1). Let y(d) = 2*d**3 + 4*d**2 - 3*d - 4. Does 20 divide y(g)?
False
Suppose -f + 10 = f. Suppose -5*a + 0*w + w = -5, -f*w + 23 = -a. Suppose 60 = a*g - 0*g. Is g a multiple of 28?
False
Let b be (-2)/8 - 1/(-4). Suppose 5*f + 10 = b, -5*r = -r - 4*f - 216. Is 13 a factor of r?
True
Suppose -4*v = 4*j - 472, 627 = 5*v - 2*j + 23. Does 14 divide v?
False
Suppose -16*y + 12*y - 802 = 5*h, 5*h - 2*y = -784. Let b = 222 + h. Is b a multiple of 3?
False
Suppose -4*x + x + 30 = 0. Let v be (72/x)/((-4)/50). Does 15 divide (10/(-15))/(4/v)?
True
Does 9 divide 9 - (4 + -3185 - -1)?
False
Suppose -2*f + 85 = 3*f + 5*t, -9 = -3*t. Is f a multiple of 5?
False
Suppose c - 2 = 1. Suppose -c*l + 311 = 68. Does 9 divide l?
True
Let w be (-3660)/(-28) - 0 - (-2)/7. Suppose w = 8*o - 93. Is 5 a factor of o?
False
Is (-1 + 2)*(-2496)/(-16) a multiple of 39?
True
Let s be (-6 - -6) + -1 + 6. Suppose -t + 6 = s*n, 3*n - 10 = -4. Is (-4)/(t*(-5)/(-190)) a multiple of 12?
False
Let i = -206 - -255. Is i a multiple of 21?
False
Suppose 40*r = 42*r - 60. Is r a multiple of 14?
False
Suppose 4*q + 4*y - 11 = 49, -q + 27 = -5*y. Suppose 0*h + h - q = -3*i, -h = -4*i + 25. Is 15 a factor of (2 + -6)*(-2 - i)?
False
Suppose 4*q = 30 - 2. Let s = q + -3. Suppose -a = 0, 3*a - 68 = -s*l + 7*a. Is l a multiple of 7?
False
Let x be (-2060)/(-35) + 1/7. Suppose 9*v - x - 49 = 0. Let o(t) = -t**2 + 17*t - 6. Is o(v) a multiple of 9?
True
Let b = -137 - -327. Does 19 divide b?
True
Let n(a) = 11 + 7*a**2 - 4*a**2 - 4 + 6*a. Is n(-3) a multiple of 8?
True
Let g(r) = 2*r**3 + 9*r**2 - 14*r - 10. Let n be g(-5). Suppose v - 5*k - n - 122 = 0, 3*v + 2*k - 403 = 0. Does 59 divide v?
False
Let h = -452 - -472. Does 17 divide h?
False
Let n(v) = v - 13. Let r be n(5). Is (-303)/(-4) - (-6)/r a multiple of 10?
False
Let t(w) = 11*w + 51. Let x be t(10). Let s = -63 + x. Is 6 a factor of s?
False
Let s = 784 - 500. Is 9 a factor of s?
False
Let f(u) = -u**3 - 11*u**2 + 6*u + 12. Let m(q) = -q**3 - 10*q**2 + 5*q + 13. Let o(v) = -4*f(v) + 5*m(v). Is 6 a factor of o(-7)?
False
Suppose s + 4*s = 755. Let w = s + 11. Is w a multiple of 24?
False
Suppose -3*i = 4*y - 988, -y = i - 4*y - 312. Suppose -2*z = 4*z - i. Is z a multiple of 9?
True
Let r be (-34)/(-4) - 1/(-2). Suppose -4*l + 3*l + 3*h = r, 5*h = -3*l + 15. Suppose l*x - 3*x = -132. Is 18 a factor of x?
False
Let t(h) = 14*h**2 + 52*h - 31. Is 18 a factor of t(-9)?
False
Let u = 155 - -80. Suppose -161 = -4*m + u. Is m a multiple of 14?
False
Suppose -g + f = 2*f - 10, -30 = -3*g - f. Does 11 divide (-126)/(-5)*g/4?
False
Suppose 23 - 18 = -5*a. Let v(t) = -85*t + 4. Does 30 divide v(a)?
False
Suppose 2*i - 3*y + 1356 = 5*i, 1358 = 3*i + y. Does 27 divide i?
False
Is 25 a factor of ((5 - -2)/7)/(5/8250)?
True
Let t = -1049 + 2078. Does 21 divide t?
True
Let u(t) = t**2 + 12*t - 185. Is u(23) a multiple of 20?
True
Let z(c) = 12*c**2 - c. Let n(s) = 13*s**2 - s. Let q(d) = -4*n(d) + 5*z(d). Is q(-3) a multiple of 22?
False
Let i = -21 - -41. Suppose -1090 = i*m - 5090. Does 8 divide m?
True
Let v be ((-10)/(-6))/((-12)/252). Let s = -3 - v. Does 8 divide s?
True
Suppose 0 = 2*x - 4, 6*c - 3*c + 517 = -x. Let v = -54 - c. Is 28 a factor of v?
False
Let i(l) = 5*l**3 - 9*l**2 - 13*l - 3. Let u(g) = 6*g**3 - 10*g**2 - 14*g - 3. Let s(w) = -5*i(w) + 4*u(w). Let h be s(7). Let a = 92 + h. Does 12 divide a?
True
Let o = -586 - -984. Does 75 divide o?
False
Let l = -4 - -10. Let j be (17 - 3)*l/21. Let p = 32 - j. Does 8 divide p?
False
Let x be ((-370)/4)/(10/(-20)). Suppose -2*o + x = o + 4*a, o + 3*a = 65. Suppose 6*h - o = 37. Is 4 a factor of h?
True
Let f(d) = 8*d - 7. Let i(n) = -26*n + 30. Let t(j) = -9*j + 10. Let m(l) = 3*i(l) - 10*t(l). Let g(s) = -7*f(s) + 5*m(s). Does 17 divide g(13)?
True
Suppose -2*o - 5*g = -159, 3*g + 58 + 38 = o. Let u be ((-70)/20 + 3)/(1/(-2)). Suppose -u - o = -4*t. Is t a multiple of 11?
True
Let s(o) be the second derivative of o**4/12 - 7*o**3/6 - 5*o**2 + 2*o. Let g be s(8). Let u(f) = 7*f**2 + 2*f + 2. Is 13 a factor of u(g)?
True
Let k = 2207 - 821. Does 14 divide k?
True
Let f be -32*-2*(-1)/4. Let c = f - -36. Is c even?
True
Suppose 0 = -4*m + m - 9. Let v(n) = -44*n - 6. Let h be v(m). Suppose -3*y = -0*y - h. Is y a multiple of 14?
True
Let g(q) = -q + 18. Let o be g(18). Suppose 3*c - 55 - 302 = o. Does 25 divide c?
False
Suppose k = -3*k - 4*y + 124, -2*k = 3*y - 64. Suppose -o = -4*i + k, -2*i + 5*o = -3*i + 2. Is i a multiple of 7?
True
Suppose 0 = 24*g - 55206 + 8046. Does 15 divide g?
True
Let w(z) = z**2 + 37*z + 21. Let h be w(-16). Let u = h + 441. Does 18 divide u?
True
Let d be -1*(-4 + 6) - -2. Suppose d = 5*p + p - 18. Suppose 3*s = -o + 136, 2*s - p - 73 = 3*o. Is s a multiple of 8?
False
Suppose 3*l + 2*l + 2*a - 31 = 0, 0 = -l + 5*a + 17. Let i = l - -8. Is i even?
False
Suppose -3*x - 4*n = -296, 4*n - 5*n + 189 = 2*x. Does 32 divide x?
False
Suppose l + n = 4*l - 28, -3*l - n + 38 = 0. Suppose 0 = 3*r - l*r + 368. Is 9 a factor of r?
False
Let y(v) = 2*v**2 - 6*v + 34. Does 9 divide y(-22)?
True
Suppose 3*n - 157 = 779. Suppose n = 5*b + b. Does 26 divide b?
True
Does 15 divide 8 + 118/(-14) + 1473/7?
True
Let v(x) = 40*x**2 + 12*x - 50. Is v(9) a multiple of 18?
False
Suppose -3*y + 1354 = 5*j - 9466, -5*y = -4*j + 8619. Is 103 a factor of j?
False
Suppose -8*v + 0 - 8 = 0. Is 3 a factor of (-6)/((v + -1)*1)?
True
Is 41 a factor of (-837)/62*164/(-3)?
True
Suppose -75*g + 162000 = 25*g. Is 81 a factor of g?
True
Suppose 222 = 5*m - p, -2*m + m = 4*p - 36. Let v = 83 - m. Is v a multiple of 8?
False
Let j(k) be the first derivative of -k**4/4 + 8*k**3/3 + k**2 - 10. Is 11 a factor of j(7)?
False
Let m(z) = 2*z - 20. Let j be m(-15). Let a = j + 63. Does 8 divide a?
False
Suppose 0 = -5*g, -13*o + 3*g = -10*o - 558. Is 18 a factor of o?
False
Is 781 - -5*4/(-20) a multiple of 30?
True
Let b(j) = j**3 - 9*j**2 - 6*j - 7. Let q be b(10). Let n = q + 3. Is n a multiple of 12?
True
Suppose 6*b - 1437 = -327. Is b even?
False
Does 16 divide 4*8/(-16) - (-4 + -2558)?
True
Let o(n) = n**3 + 4*n**2 + 2*n - 1. Let v(p) = -p - 1. Let k be v(1). Let w be o(k). Suppose w*q - 47 = 7. Is 18 a factor of q?
True
Let n be 0 - (0/1)/2. Let c(d) = 19*d + n*d - d + 1 + 2*d. Is 7 a factor of c(1)?
True
Let w(f) = -f - 3 + 19*f - 4*f - 1. Let o be w(9). Suppose 22 = 4*z - o. Is 18 a factor of z?
True
Is 12 a factor of (-65)/(-130) + 761/(-2)*-1?
False
Let u(w) = 90*w**2 + 4*w - 8. Is 8 a factor of u(2)?
True
Let d be (1/((-6)/(-74)))/(30/180). Suppose -8*q + 3*q + 2*u + 66 = 0, 2*u = -5*q + d. Does 7 divide q?
True
Let y(u) = 5*u**2 - 16*u + 5. Let v(i) = -11*i**2 + 33*i - 10. Let h(j) = 3*v(j) + 7*y(j). Is 4 a factor of h(7)?
True
Let c = 269 + 91. Suppose -8*w + 3*w = -c. Suppose 2*k + 0 = w. Is k a multiple of 8?
False
Is 50 a factor of (378 - (-1 - -5)) + 6?
False
Suppose 3*w + 2*j - 294 = -j, -2*w - 4*j + 192 = 0. Let y = w - 48. Does 13 divide y?
True
Let w(k) = k**3 - 14*k**2 - 8*k - 25. Let h be 9/3 + -6*(-2 - 0). Does 10 divide w(h)?
True
Let l be (0 - -2) + (-2 - -2). Suppose 2*k = -l*k - m + 187, k - 2*m - 58 = 0. Suppose 4*i + k = 5*z, 3*z - 3*i - 31 = -4. Does 5 divide z?
False
Let m(w) = -8*w - w**3 + 6*w**2 + 6*w**2 - 5*w - w - 19. Is m(8) a multiple of 30?
False
Let i = 4339 + -2851. Is i a multiple of 16?
True
Suppose -7*j + 19*j - 36 = 0. Suppose 0 = j*a - m - 307, 3*a + a + 2*m = 396. Is 31 a factor of a?
False
Let h(z) be the second derivative of -2*z + 5/2*z**2 + 0 + 1/12*z**4 + 2/3*z**3. Is h(-8) a multiple of 21?
False
Is (-14 + 8)*-77 - 7 a multiple of 26?
False
Let w = -9 + 20. Suppose -4*z + 4 = -r - w, 4*z = -r + 25. Suppose 2*d = r*l - 2*d - 76, -15 = -l + d. Is 15 a factor of l?
False
Suppose -4*b + v = -v - 2484, v + 2484 = 4*b. Does 10 divide b?
False
Let k be (-1)/(-2) - (-923)/26. Let b(n) = -7*n + k + 13*n - 7*n + 15. Is b(0) a multiple of 9?
False
Let w(k) = -k**3 - 7*k**2 + 7*k - 7. Let l be w(-7). Let p = 119 + l. Let x = p - 45. Is 9 a factor of x?
True
Suppose -48*l = -53*l - 3*a + 1477, -4*l - a = 