ltiple of 49?
True
Suppose 1 = -2*k + 7, 3*m + 5*k = 435. Suppose -x = x - m. Let d = -34 + x. Does 12 divide d?
True
Let j be 1176/(-32) + (-2)/8. Let p = j + 55. Does 4 divide p?
False
Let l(m) = m**3 + 15*m**2 - 143*m + 3. Is l(9) a multiple of 55?
True
Let c = 19 - 38. Let t = 79 + c. Is 8 a factor of t?
False
Let t(u) = -9*u - 15. Let y be t(-2). Suppose -555 = -5*q + 5*g, g - 126 = -q - y*g. Is 19 a factor of q?
True
Let h(r) = -3*r**3 + r**2 - 1. Let y = 12 - 13. Let l be h(y). Suppose l*c = c + 96. Does 10 divide c?
False
Suppose -23*w - 9*w + 5632 = 0. Does 22 divide w?
True
Let k(v) = -v**2 - v - 15. Let r be k(-11). Let p = r - -253. Does 12 divide p?
False
Let x = -35 + 65. Does 5 divide x?
True
Let r be (-1)/(-3)*0 + 42. Let i = r - 24. Does 18 divide i?
True
Let q(y) = 5*y**2 - 21*y - 12. Let b(w) = -11*w**2 + 43*w + 24. Let h(x) = 6*b(x) + 13*q(x). Let o be h(-10). Suppose -k - 8 = -o. Is 6 a factor of k?
True
Let h = -803 - -1217. Is 14 a factor of h?
False
Is 137680/170 - (-10)/85 a multiple of 54?
True
Let q(w) = w - 4*w + w**2 - 5 + 2. Let z be q(5). Is 20/(z/(7/2)) a multiple of 5?
True
Let n(y) = -2*y - 142 + 358 + 3*y. Does 8 divide n(0)?
True
Let d = 5109 - 3344. Does 30 divide d?
False
Let c(p) = p + 55. Let a be c(0). Let y = a - 37. Does 9 divide y?
True
Let r = 22 - 15. Suppose r*u - u - 516 = 0. Does 43 divide u?
True
Let j(f) = 7*f**2 + 13*f + 9. Let p be j(-8). Suppose 119 = -6*a + p. Suppose b - a = -10. Is 9 a factor of b?
False
Suppose -205 = 5*f - n - 50, 3*f = n - 95. Does 11 divide ((-12)/(-18))/((-1)/f)?
False
Suppose -n + 5*n - 1130 = -b, -2*n + 1132 = b. Is b a multiple of 21?
True
Let d(g) = g**3 - 35*g**2 - 13*g - 48. Is d(36) a multiple of 15?
True
Let x(m) = m**3 - 10*m**2 - 26*m + 22. Let p be x(12). Is 12 a factor of 1*62/(-3)*3/p?
False
Let c = 11 + 725. Is 16 a factor of c?
True
Let h(m) = 9*m**3 - 2*m - 1. Let j(q) = q**3 + q**2. Let n(x) = -h(x) + j(x). Does 6 divide n(-1)?
False
Let l(u) = -6 - 3*u**2 - 2*u**2 - 22*u**3 + 23*u**3 + 6*u. Does 11 divide l(5)?
False
Let i = -769 - -2281. Is i a multiple of 8?
True
Let w be 7/(21/36)*1. Let i be 5/(-3)*w/(-10). Suppose 3*g + 2*u - 199 = -2*g, -i*g = -3*u - 72. Is 21 a factor of g?
False
Suppose -m - 3*h + 6 = -5, -3*m - 3 = -3*h. Suppose -448 = -2*r - m*r. Is r a multiple of 28?
True
Let u(p) = 11*p**2 - 6. Let r be u(5). Suppose 45 = -7*n + r. Does 18 divide n?
False
Suppose 4*q + 12 = 0, o + 0*o = 2*q - 123. Let i = o + 194. Does 3 divide (-1 + 5)*i/26?
False
Suppose 7*w = -2*i + 5*w + 568, -5*w = -i + 296. Is i a multiple of 13?
True
Let v(s) = 13*s**3 + 28*s**2 - 48*s - 19. Let u(k) = -3*k**3 - 7*k**2 + 12*k + 5. Let w(l) = -9*u(l) - 2*v(l). Is w(-8) a multiple of 12?
False
Let y = 24 + -21. Suppose -2*k + 3*g + 19 = 0, -y*k + 3*g + 16 + 5 = 0. Suppose -25 = -3*s - k*s. Is s a multiple of 4?
False
Let m = -1381 - -1997. Is 28 a factor of m?
True
Suppose 0 = 3*l + 5*j, 0 = -4*l + 3*j - 2 + 31. Let d(v) = v**3 - 5*v**2 + 4*v - 7. Let o be d(l). Suppose -6*g = -o*g + 112. Does 4 divide g?
True
Let y = -608 + 240. Let a be y/(-26) - 10/65. Is 77/2 - a/28 a multiple of 30?
False
Let b(q) = 39 - 6*q + q - 2*q**2 - 43 - 36*q**3. Is 2 a factor of b(-1)?
False
Let k = 6 - 9. Suppose 2*w - 12 = -2*i, 6*i - 4*i = 4*w. Is k/6 + 191/w a multiple of 28?
False
Let p = 30 + -33. Let l = p + 38. Is l a multiple of 30?
False
Suppose -4*n + 1170 = 3*g - 0*g, 5*n - 4*g - 1478 = 0. Does 49 divide n?
True
Suppose 69*n = 68*n + 378. Is 21 a factor of n?
True
Suppose -4*b - b = 5*f - 20, 0 = 2*b + 4*f - 16. Suppose 0 = l + s - 0*s, -3*l + s + 8 = b. Suppose 49 = l*p - 85. Does 21 divide p?
False
Let t(d) = d**2 - 16*d - 12. Let w be t(17). Suppose x = 5*x, 2*n - w*x - 288 = 0. Is n a multiple of 36?
True
Let w = 42 - 38. Suppose -223 = -w*v + 597. Is 32 a factor of v?
False
Let u = 4728 - 3144. Is u a multiple of 48?
True
Let y = 5 + -3. Suppose -36 = -y*n - 2*n. Suppose 3*m + 12 = 0, c - 2*m - 40 = -n. Is 23 a factor of c?
True
Let n(g) = -g**3 + 5*g**2 - 4*g - 1. Let q be (-21)/(-6) + (-4)/8. Is 5 a factor of n(q)?
True
Is -16*((-2)/2*-4 - 64) a multiple of 64?
True
Let m(s) = 2*s**3 - 6*s**2 + 7*s. Let f be m(3). Let a = f + 19. Is a a multiple of 17?
False
Let f(t) = -4*t - 19. Let r be f(-6). Suppose -r*a - b - 52 = -147, -45 = -2*a + b. Does 8 divide a?
False
Suppose 2*j + 16 - 24 = 0. Suppose -2*b + 306 = -j*p, -5*p - 7 - 13 = 0. Does 29 divide b?
True
Is 59 a factor of (-78)/117 + (-2733)/(-9)?
False
Let u(o) = 3*o - 16. Suppose 0 = -3*j - 4*x + 43, -5*x + 66 - 10 = 4*j. Is u(j) a multiple of 2?
False
Let l be 152 + (1 + -8 - -4). Let u = l + -90. Is u a multiple of 18?
False
Suppose 2*w + 9*u = 4*u + 226, 0 = 4*u - 16. Let g = 212 - w. Let c = -53 + g. Is c a multiple of 13?
False
Let w = -7 + 0. Let c(i) = -i**2 - 7*i. Let b be c(w). Suppose 37 = 4*y + 5*z, 3*y - 51 = -b*y + 4*z. Does 9 divide y?
False
Let o = -2 + 6. Let m = o + -4. Suppose 294 + 52 = 4*l - s, -2*l + s + 172 = m. Is l a multiple of 29?
True
Let l(f) = f + 14. Let i be l(-12). Suppose 5*h - y = 30, i*h - 24 = -2*h + 5*y. Suppose h*w - 4*w = 18. Does 9 divide w?
True
Suppose -1 = -2*r - 1. Suppose -5*z + 2*o = -227, 5*z - 5*o - 223 + 8 = r. Does 7 divide z?
False
Suppose -26*x + 6929 = -13*x. Does 41 divide x?
True
Let q = 136 - -680. Does 24 divide q?
True
Let u(c) = -12*c - 41. Let a be u(19). Let k = 507 + a. Is 15 a factor of k?
False
Let p be (-2)/(118/(-58) + 2). Let d = 111 - 108. Suppose 3*j - d*y - 258 = 0, 3*y = 2*j - 231 + p. Is j a multiple of 18?
False
Is 52 a factor of (23 - -5)*312/28?
True
Let n = 175 - 27. Let s = 642 - n. Suppose -j = 2*h + h - 104, 2*h - s = -5*j. Is j a multiple of 22?
False
Suppose -z + 4*z = 90. Suppose z + 138 = 2*t. Is t a multiple of 14?
True
Is 24 a factor of 8 - 1 - (-8 + -4 - 5257)?
False
Let n(d) = -132*d + 419. Is n(-31) a multiple of 13?
True
Suppose 4*v + 1360 = -3*q + 4730, -v = -q + 1114. Is 20 a factor of q?
False
Let c(s) = -73*s - 26. Does 20 divide c(-2)?
True
Let x(q) = 2*q - 10. Let b(f) = -f**2 - 7*f + 3. Let h be b(-6). Let o be x(h). Is 2 a factor of (-2)/o + 17/4?
True
Let f = -13 - 9. Let v = -18 - f. Is (2/v - 4)*-30 a multiple of 35?
True
Suppose -3*v = 5*x + 20, v + 3*x + 12 = -0. Is 4 + -2 + (v - -20 - 1) a multiple of 11?
False
Suppose w = -5*h + 92, -4*h - 5*w = -5 - 77. Does 3 divide h?
True
Let v = -1789 - -2949. Is 20 a factor of v?
True
Let c = 6345 + -989. Is c a multiple of 28?
False
Let y(o) = 5*o**2 - 3*o - 2. Let i be y(2). Is i/5*80/12 a multiple of 4?
True
Let r(a) = -a**3 - 7*a**2 + 7*a + 8. Let t be r(-7). Let b = -20 - t. Does 7 divide b?
True
Let i be 30/(-20)*(-4)/3. Let f be i - (-108 + -2)/1. Suppose -4*m = 4*c - 188, -f = c - 3*c + 4*m. Is 10 a factor of c?
True
Suppose 114 = -2*x + 5*x. Let h = x + -19. Is h a multiple of 19?
True
Let a(m) = -2*m. Let w be (1/2)/(3/(-72)). Let x be 12*((-28)/w + -3). Does 16 divide a(x)?
True
Let i(y) = y**3 - 19*y**2 - y + 21. Let f be i(19). Suppose -r + 32 = 5*l - 70, -f*r + 4 = 0. Is l a multiple of 20?
True
Suppose 5*h + 3*t - 378 = 8347, -h + t = -1753. Is 92 a factor of h?
True
Let b(w) = 5*w**2 - 6*w - 6. Let v be b(7). Let o = 170 + -100. Suppose 3*z - o = v. Does 23 divide z?
False
Is (-1*92)/(-3 + (-77)/(-33)) a multiple of 6?
True
Let r be (9/15)/(6/20). Suppose -r*w = -4*w + 122. Is 12 a factor of w?
False
Suppose 22 = 4*k + k - 4*c, k + 5*c = -13. Let v be (3/(-6) + 0)*-14. Suppose -5*n - 7 = -z, -v*n + 14 = k*z - 3*n. Does 7 divide z?
True
Suppose 5*k - 1357 = 5*d + 1223, -4*k = d - 2054. Does 26 divide k?
False
Let y(j) be the first derivative of 7/2*j**2 - 1/3*j**3 + 3*j - 4. Is y(4) a multiple of 4?
False
Does 23 divide 830 - ((-11)/((-33)/(-6)) - -4)?
True
Suppose 31 = 4*l - 201. Is l a multiple of 4?
False
Let s = 25 - -100. Let q be (-870)/(-12) + 5 + (-2)/4. Let a = s - q. Does 16 divide a?
True
Suppose -3*t = -5*z + 11186, -t = -5*z - 2*t + 11178. Let f be z/8 - 2/(-4). Suppose 3*d + 97 = 2*g, -2*g = 3*g + 5*d - f. Is 35 a factor of g?
False
Let x be 2848/(-18) - 4/(-18). Let z = x + 236. Does 10 divide z?
False
Suppose -4*t + 15 = 79. Let i be (-1286)/(-10) + t/(-40). Suppose -69 = -3*b + i. Is b a multiple of 22?
True
Let g(x) = x**2 + 85*x - 