e 2*r = 4*h - 120, 2*h - j = -h + 4*r. Is 28 a factor of h?
True
Suppose -3*l + 58 = -14. Suppose -888 = -l*u + 20*u. Does 33 divide u?
False
Does 74 divide (-54015)/(-45) + 12/(-9)?
False
Suppose -6 = -2*d - 8. Is -76*6/4*d a multiple of 15?
False
Let p = 2111 + -1467. Is 46 a factor of p?
True
Let i be ((-32)/(-20))/((-3)/45). Is (2 + (-19)/2)*i a multiple of 49?
False
Let f(l) = -2*l - 1. Let k be f(3). Let x(u) = -3*u - 2. Is 6 a factor of x(k)?
False
Suppose -q - 3*j + 338 = 0, -5*j - 338 = -11*q + 10*q. Is q a multiple of 17?
False
Let m(x) = 9*x**2 - 5 - 30*x + 30*x. Does 18 divide m(-3)?
False
Is (0 - (2 - 3)) + 197 a multiple of 2?
True
Suppose 0 = x - 3 - 2. Suppose k + 4 = -x*a, -2*a + 0*k = 2*k. Let r = a + 59. Is 11 a factor of r?
False
Does 4 divide ((-1562)/(-88))/((-1)/(-4))?
False
Let x(w) = -w**3 - 7*w**2 - 11*w - 2. Let s be x(-5). Suppose -m = -n - 34, s*m = -n - 0*n + 102. Is 17 a factor of m?
True
Suppose -h = -6*h + 2*a + 35, -4*h - 4*a + 56 = 0. Let t be 3 + (h - 4/(-4)). Let m = t - 4. Does 3 divide m?
True
Is -4 + -6*832/(-24) a multiple of 132?
False
Suppose 0 = -5*f + 4*v + 2554, 24*v = 5*f + 22*v - 2552. Is 17 a factor of f?
True
Is 8 a factor of 78*3/18*8?
True
Let i = 110 + -104. Is 3 a factor of 96/15*-15*(-2)/i?
False
Let a = -247 - -540. Does 12 divide a?
False
Let c = 139 + 249. Is 14 a factor of 2/3*1 - c/(-3)?
False
Let o = 61 - 59. Suppose -70 + 4 = -o*q - 3*v, 3*v - 105 = -3*q. Is q a multiple of 39?
True
Suppose 2*l = l. Suppose 3*y + 4*t - 26 = y, l = 3*y + 4*t - 31. Suppose 110 = 4*g - 3*c, 3*g - g + y*c = 68. Is 12 a factor of g?
False
Suppose 4*f = -5*m + 3013, -4*m + 3*f + 2243 + 155 = 0. Is m a multiple of 23?
False
Suppose -3*m + 339 + 33 = 0. Suppose 0 = -o + 11 + m. Is o a multiple of 15?
True
Suppose k + 340 = w, 0*w + 1660 = 5*w + 3*k. Is w a multiple of 40?
False
Let h(l) = l**2 + l + 4. Let i be h(0). Suppose -5*d + 2*r = -592, -8*r + i*r + 376 = 3*d. Is d a multiple of 15?
True
Let y = -78 - -90. Suppose 102 = y*j - 6*j. Is 17 a factor of j?
True
Let f(i) = 7*i**3 - 5*i**2 + 31*i - 21. Is 15 a factor of f(7)?
False
Let s(j) = 75*j**2 + 11*j - 1. Is s(2) a multiple of 16?
False
Is 25 a factor of 177 - ((-8)/(-28) - 12/(-7))?
True
Let m be -1 + 2*(-1)/2. Let n(a) = a**2 + a + 1. Let t be n(m). Is 22 a factor of -2 - (1 - t) - -44?
True
Suppose -2*g + 0 + 24 = -3*m, 0 = -2*m + 4. Let o = 18 - g. Is 32 a factor of -4 + (-1)/(o/(-396))?
True
Let x = 47 + -47. Suppose -d + 5*r - 5 = 0, r - 4*r = d - 3. Suppose x = -v - d*v + 40. Does 20 divide v?
True
Let c be 2/10 + (-4)/20. Suppose 4*o + 3*u + 27 = c, -o - 4*u = -0 - 3. Is 48/8*o/(-2) a multiple of 9?
True
Is 16 a factor of 133 + (-1 + -23)/8?
False
Suppose 2*t + 2*g = 3204, 0 = 3*g + 4 + 2. Suppose 13*w - t = 2907. Does 25 divide w?
False
Suppose -407 = -5*t - 2*d - 0*d, -4*d - 99 = -t. Let i = t + 48. Does 32 divide i?
False
Let n(r) = -3*r - 19. Let b be 54/(-4)*10/15. Is 4 a factor of n(b)?
True
Let t = -224 + 302. Does 5 divide t?
False
Does 6 divide 140/56 - (946/(-4) - 1)?
True
Let l(z) be the second derivative of -z**5/20 - 5*z**4/6 + 5*z**3/6 - 17*z**2 - z - 9. Does 11 divide l(-12)?
False
Suppose -3*j + 4605 = 3*b, -2*b = 7*j - 6*j - 1530. Does 7 divide j?
True
Suppose 0*i + 4*i = -172. Let a = 61 + i. Let o = 15 + a. Is 19 a factor of o?
False
Is (13 - (25 - 11))/(1/(-1748)) a multiple of 92?
True
Let j = -2893 + 4409. Is 9 a factor of j?
False
Suppose -5*d + 1379 - 6400 = -3*w, 3*d - 15 = 0. Does 17 divide w?
False
Let k(z) = z**3 - 7*z**2 + 8*z - 9. Let m be k(6). Suppose m*l - 5*l = -12. Suppose 0*g = -l*g + 66. Does 7 divide g?
False
Let a(d) = 38*d - 263. Is a(29) a multiple of 18?
False
Let v be (-11)/(-2) - 1/2. Let c be (-33)/(-12) - v/(-20). Suppose 45 + 36 = c*q. Is q a multiple of 7?
False
Suppose 0 = -5*j - k - 23 + 65, -6 = -3*k. Let c = j - 6. Is 12 a factor of -3 - ((c - 2) + -27)?
True
Suppose 3*s + 56 - 698 = 0. Is s a multiple of 40?
False
Let w(x) = 0*x**3 + 0*x**3 - x**2 + 0 - x**3 - 2. Is w(-2) a multiple of 2?
True
Suppose 10*w + 19 + 11 = 0. Is (127 - (2 + w))/((-1)/(-2)) a multiple of 32?
True
Suppose -4*o = f - 1, -2*f - f - 5*o + 10 = 0. Suppose f*s - 55 = -10. Suppose 5*t + 30 = 5*d, d + 5*t = 15 + s. Is 6 a factor of d?
False
Suppose -5*r = 7*r - 6372. Does 14 divide r?
False
Let y(o) = -29*o - 205. Is y(-25) a multiple of 28?
False
Is 11 a factor of (-6 - (-339)/6)*24?
False
Is 55 a factor of 237*116/12 - 0/1?
False
Suppose -29*m = -79*m + 22050. Does 63 divide m?
True
Is 12 a factor of 366/(-54)*-46 - 6/(-27)?
True
Let m = 778 - -27. Is 23 a factor of m?
True
Is 38 a factor of (-130230)/(-40) + 13 + 3/(-4)?
True
Let o(f) = -f + 1. Let c be o(3). Suppose -108 = -3*s - 36. Let a = s - c. Is a a multiple of 13?
True
Suppose 4*n - 4618 = 2*d, 3451 = -37*n + 40*n + d. Is n a multiple of 64?
True
Suppose -5*h - 2184 = -13*h. Is 39 a factor of h?
True
Suppose 0 = -l - 5 - 21. Does 23 divide (-3584)/(-26) - 4/l?
True
Let o(l) = l**2 - 12*l - 16. Let i be o(13). Let f be (-51)/i*3 + 0. Suppose 36 = 5*x - 2*g - 63, 3*x = -3*g + f. Is 19 a factor of x?
True
Let s = -23 + 27. Let j(v) = s + 2*v + 3*v + 5 - 4. Is j(7) a multiple of 15?
False
Suppose 98*a - 205 = 93*a. Does 41 divide a?
True
Suppose z + 134 = 3*q - 1, -3*q - 3*z = -135. Suppose -3*a + 2 = -5*h, a + 3 = -4*h + 2*a. Does 9 divide q/(-5)*2*h?
True
Suppose 40*b = 29*b + 308. Does 11 divide b?
False
Suppose 5*w - 97 = 2*b, 4*w + 0*w - 72 = -4*b. Let x = -9 + w. Does 5 divide x?
True
Let f be (0 - 4)*(-29)/(-8)*-2. Let i = f - 9. Is i a multiple of 20?
True
Let l(c) = 2*c**3 + c**2 + 6*c + 7. Let n be l(5). Let k = -220 + n. Is 31 a factor of k?
False
Let p = -352 + 439. Is p a multiple of 26?
False
Let o = 139 + -39. Suppose 20*m = 16*m + o. Is m a multiple of 4?
False
Let b = 382 + -325. Is b a multiple of 19?
True
Suppose 8*j - 23*j + 3870 = 0. Does 8 divide j?
False
Let y be (-4 - -1 - -7) + 62. Suppose -y = 22*t - 25*t. Is 5 a factor of t?
False
Suppose 25*d - 7287 = 18*d. Does 19 divide d?
False
Let f = 0 - 19. Let b = 10 - f. Is 11 a factor of b?
False
Suppose -5*p = -4*y, 13 + 12 = -5*y. Let t(u) = -u**3 - 2*u**2 + 6*u + 2. Let f be t(p). Is 2/f + 268/10 a multiple of 9?
True
Let d = 21 + -31. Let b = 0 - d. Is 25 a factor of (-1240)/(-25) - (-4)/b?
True
Suppose -y - 3*f + 122 = 11, -f + 3 = 0. Suppose 137 = 3*s + u, 0 = s + s - 2*u - y. Let z = s - 8. Does 8 divide z?
False
Suppose 2*w - 4561 - 3685 = 0. Is w a multiple of 23?
False
Let v = 17 + 7. Suppose 10 = 2*u - m, -2*u = 2*u - 4*m - v. Suppose 51 = 3*w + 3*g, 0 = u*w - 2*w + g - 35. Is 9 a factor of w?
True
Let f(t) = t**2 - 18*t + 25. Let l be f(-14). Let o = 85 - l. Is 12 a factor of o/(-16) + (-3)/12?
True
Let f(p) = -p + 7. Let r be f(6). Let q be -2 - -23*-4*1/(-4). Suppose y + r = q. Is 5 a factor of y?
True
Let o = -51 + 419. Is 22 a factor of o?
False
Let x(g) = 16*g - 16. Suppose 4*k = -4*v + 60, 3*v + 2*k = -3*k + 55. Is x(v) a multiple of 22?
False
Let r = -227 - -301. Is r a multiple of 5?
False
Let z be (-48022)/(-182) - (-1)/7. Suppose -152 + z = d. Is d a multiple of 14?
True
Let r(s) = 5*s - 10. Let t be r(9). Is 10 a factor of (-4)/(-14) - (-1040)/t?
True
Let z(v) = v**2 + 9*v + 3. Suppose 3*a = 4*k + 83, 2*k + 6 = 14. Suppose a*d = 34*d + 14. Does 25 divide z(d)?
False
Let g = -206 - -366. Is g a multiple of 12?
False
Let h(a) = -a**3 - 13*a**2 - 2*a - 30. Let u be h(-13). Does 23 divide (-561)/(-12) + 3/u?
True
Let x = -6 - -8. Let o(s) = 2*s - 24. Let c be o(14). Suppose -c*p - x*p = -198. Is 11 a factor of p?
True
Let z = 111 + -81. Is z a multiple of 10?
True
Let v(c) = 149*c + 718. Does 45 divide v(7)?
False
Let u(p) = p**3 - 3*p**2 + 4*p. Let d be u(2). Suppose d*g + 0*g = 12. Is 19 a factor of 1/g - (-680)/12?
True
Suppose -4*r + 1271 = 371. Suppose -5*n + 286 - 36 = -5*x, -4*n - x + r = 0. Does 36 divide n?
False
Suppose t = -4*z + 2*t + 456, 3*t - 440 = -4*z. Is 20 a factor of z?
False
Suppose 0 = 4*x + 55 + 45. Is 10 a factor of x*((-32)/(-10) - 4)?
True
Let i(a) = -a + 34. Suppose 4 = 2*d + 5*s + 35, 2*s = -5*d - 25. Let x = -3 - d. Does 9 divide i(x)?
False
Is 15 a factor of ((-488)/(-16) - 5)/(2/20)?
True
Let s be 2*6/(-60)*-35. Suppose 0*l = s*l - 420. Is 