. Is 17 a factor of w?
False
Suppose 29*g = -29*g + 34510. Is g a multiple of 7?
True
Suppose 3*m = 3*b - 3, -m + 3*m = -2*b + 14. Suppose c + 192 = -m*u + 7*u, 2*u - 96 = -2*c. Does 24 divide u?
True
Is 1/((-10)/(-4)) - 27950/(-125) a multiple of 37?
False
Let n be 2/5 + (-1496)/(-10). Suppose 0 = -5*z - 5*t + n, -4*t + 10 = 3*z - 80. Let j = z + -12. Is j a multiple of 4?
False
Let r be 4 + (-4)/(3 + 1). Suppose -r*p = p + 8. Does 24 divide (-4 - p) + 6 - -68?
True
Suppose 0 = -5*o + 309 + 96. Let h = o + -30. Is 26 a factor of h?
False
Let y(l) = -13*l - 1. Let o be y(1). Let x(z) = -z + 15. Let c(h) = 3*h - 44. Let q(r) = -6*c(r) - 17*x(r). Is 6 a factor of q(o)?
False
Suppose -a + 13*o - 10*o = -1107, -4*a - o + 4389 = 0. Is a a multiple of 18?
True
Let f = -30 + 64. Let z = f - -31. Is z a multiple of 13?
True
Let g(t) = 402*t - 267. Does 139 divide g(10)?
True
Let a be (-2)/(-4) - (-1096)/16. Let w = 120 - a. Let s = 85 - w. Does 8 divide s?
False
Let v(w) = w**2 + 23*w - 9. Let o be v(-23). Let j = o + 18. Is 7 a factor of j?
False
Suppose -4*i + 44 + 28 = 0. Suppose 0 = -5*r - 4*z + 2*z + 9, -4*r + i = -2*z. Is 3 a factor of r?
True
Suppose -5*h = -5*r + 365, 7 - 13 = 2*h. Suppose 12*o - 50 = r. Does 10 divide o?
True
Let q(a) = a**3 - 11*a**2 - 18*a + 21. Is q(13) a multiple of 25?
True
Let q(m) = 6*m**2 + 5*m - 18. Does 13 divide q(-9)?
False
Suppose -3*k + 2*o - 24 = 0, -k - o - 18 = -5*o. Does 19 divide (-231)/(-6) - (-3)/k?
True
Let c(m) = 4*m**2 - 5*m + 2. Let z be c(3). Suppose -3 = -2*p - z. Does 9 divide (-1 - p) + -3 + 3?
True
Does 9 divide ((-2723)/35)/(2/(-10))?
False
Let d = 479 - -232. Does 9 divide d?
True
Let p(x) = -4*x**3 - 16*x**2 - 21*x - 1. Is 14 a factor of p(-7)?
False
Suppose 0 = -8*y + 42 - 10. Let o(l) = 49*l + 4. Does 18 divide o(y)?
False
Suppose 49 - 861 = -7*v. Suppose -7*t = -v - 325. Does 14 divide t?
False
Suppose 5*f + 5 = 5*t, -5*f + 2*t = -4 - 6. Let m(j) = 3*j**2 + 3*j**2 - f*j + 0*j**2 + 4 + 0*j**2. Does 11 divide m(3)?
False
Let d = -70 + 36. Let p be (d/(-3))/((-1)/36). Is p/(-9)*9/6 a multiple of 17?
True
Let x be 4/(-14) + (-5)/7. Is 23 a factor of (x + -1)/(16/(-920))?
True
Suppose 0 = 14*n - 13*n - 2*l - 1445, -5*l - 25 = 0. Is 16 a factor of n?
False
Let l(i) = 65*i**2 - i - 14. Is l(5) a multiple of 100?
False
Suppose 15 = -3*f - 15. Let p = 14 + f. Suppose 23 - 3 = p*s. Is s even?
False
Let p(q) be the first derivative of -13*q**2 + 7 - 2 + q - 2. Does 9 divide p(-1)?
True
Let t be 1/(-3) + (-51)/9. Let w(h) = h**2 - h + 7. Let y be w(5). Does 25 divide (y/t)/((-2)/20)?
False
Suppose -21 = -4*f - 5. Let t = f - 4. Suppose -q + 14 + 4 = t. Is 4 a factor of q?
False
Let i(r) = 16*r. Let c be i(5). Suppose -7*o = c - 374. Is 7 a factor of o?
True
Let d(b) = -b**3 + 10*b**2 + 14*b - 16. Does 31 divide d(10)?
True
Suppose -4*r + 3*w = -1524, r + 4*w = -0*r + 381. Is r a multiple of 14?
False
Let f = -5 - 3. Let k(h) = -h**2 - 10*h - 16. Let l be k(f). Suppose l = 10*g - 6*g - 128. Is g a multiple of 16?
True
Suppose 5*r + 3*n + 61 = 6*n, -2*n = -3*r - 37. Let k = r + 21. Is 5 a factor of k?
True
Let j(a) = -77*a - 2. Let z = 1 - 2. Is j(z) a multiple of 15?
True
Let w(i) = i**2 + 2*i - 21. Let z be w(13). Is 32 a factor of (-7 - z/6)*(-16)/6?
True
Suppose 3*x - m = -0*m + 39, -4*x - 2*m = -52. Suppose x = -3*z + 193. Is z a multiple of 30?
True
Suppose 0*r + 2*r - 144 = 0. Suppose k - 4*g = 32, 4*k - 2*g - r = -0*k. Does 8 divide k?
True
Does 9 divide (12/(-10))/(32/(-32960))?
False
Let x = -373 - -280. Suppose 3*i + 3 = 0, 68 - 10 = 3*b - i. Does 28 divide (1 - x)/(21 - b)?
False
Let v(g) = 25*g - 32. Let k be v(6). Is 8 a factor of (k/6)/((-2)/(-12))?
False
Let g(t) = -10*t**2 + 18*t + 9. Let d(a) = 3*a**2 - 6*a - 3. Let s(z) = -17*d(z) - 6*g(z). Is s(-2) a multiple of 32?
False
Let n = 1128 - -1006. Is n a multiple of 89?
False
Suppose 2*g = 4 - 2, 3*k - 3*g = -129. Let b be (-245)/3 - 1/3. Let f = k - b. Is 10 a factor of f?
True
Let k = -3078 - -4992. Does 29 divide k?
True
Let c(t) be the first derivative of 5*t**3/3 + 3*t**2/2 - 14. Is 36 a factor of c(-3)?
True
Suppose 0*x - 5*x = -100. Let m = -31 + x. Is 11 a factor of 22/7*(-77)/m?
True
Let h = -34 - -42. Does 19 divide (570/h)/(5/(40/3))?
True
Let c(j) = j**3 - 8*j**2 - 37*j + 12. Is c(12) a multiple of 16?
True
Suppose 5*r + 13 = 4*c, 2*c + 2*r = -3*r - 1. Suppose 3*h - l - 1 = c*h, -2*h + 7 = -3*l. Does 14 divide (-2 - 0 - h) + 26?
True
Let j(y) = 3*y**2 - 4. Let h be j(-3). Let l = h + -12. Let n(o) = 5*o - 10. Is n(l) a multiple of 15?
True
Is 8 a factor of 0*5/(-40) - -152?
True
Suppose -479*u + 454*u + 19050 = 0. Is 7 a factor of u?
False
Let g(p) = -5*p. Let a be g(-1). Suppose 4*z = -z, a*z = -5*r + 155. Is r a multiple of 24?
False
Let t = 40 + -38. Is (57*t/3)/1 a multiple of 3?
False
Let n = 27 + -35. Is (n/(-10))/(2/55) a multiple of 11?
True
Suppose 5*l - 5 = 5*f, 0 = -0*f - 2*f - 2*l + 10. Suppose -o - f*m + 46 = 0, o = -o + 3*m + 106. Is o a multiple of 25?
True
Suppose 318*r - 2148 = 312*r. Does 70 divide r?
False
Let f(p) = 47*p**3 - 2*p**2 + 1. Let d be f(1). Suppose 3*s - 233 = 4*q - d, 4*s + 4*q = 268. Let a = s + -14. Is a a multiple of 15?
False
Let s = 1044 - 203. Is s a multiple of 8?
False
Is (14380/2)/(6*(-8)/(-24)) a multiple of 33?
False
Is 4 a factor of ((-12)/(-24))/(1/172)?
False
Is 637 - 42/(-1 - -7) a multiple of 15?
True
Let m(o) = -7*o + 1. Let h = -28 - -19. Let i be m(h). Let p = 16 + i. Does 22 divide p?
False
Let x = -80 - -87. Suppose -x*n = -n - 84. Does 2 divide n?
True
Suppose x + 4*x - 75 = -3*q, -3*x + 25 = q. Is q a multiple of 6?
False
Let z(k) = k**2 + 7*k + 9. Let v be z(-6). Suppose v*l + 240 = 8*l. Suppose 2*f + 0*f = l. Does 12 divide f?
True
Let o be 42/(-56) - (-22)/8. Suppose 2 = o*j - t - 4, 0 = -3*j + t + 7. Suppose -27 - j = -l. Is 7 a factor of l?
True
Suppose -6*c + 233 = -175. Let m = 34 + c. Is m a multiple of 34?
True
Let h(x) = 3*x**2 - 10*x. Let g(w) = 4*w**2 - 9*w - 1. Let n(p) = -2*g(p) + 3*h(p). Let m be n(11). Let b(l) = -l**3 - 9*l**2 - 3*l + 4. Does 22 divide b(m)?
False
Suppose -8*t - 189 = -9*t. Suppose -r - 2*r = -t. Does 32 divide r?
False
Let k = -274 + 351. Is k a multiple of 28?
False
Suppose 0 = -49*g + 13*g + 88416. Does 15 divide g?
False
Let l be (-3)/15 - (-42)/(-15). Let x(c) = 9*c**2 + 7*c - 1. Let v(t) = 13*t**2 + 10*t - 2. Let d(r) = 5*v(r) - 7*x(r). Is d(l) a multiple of 12?
True
Let w be (-34)/(-1) - (-5 - -3). Suppose 2*s = -s + w. Does 8 divide s?
False
Suppose 4 = -2*i, 7*i + 3046 = 4*f + 2*i. Suppose 0 = 2*m - f + 241. Is 39 a factor of m?
False
Let m(i) = 7*i**3 - 8*i**2 + 8*i - 11. Let k(j) = -4*j**3 + 4*j**2 - 4*j + 6. Let r(g) = 5*k(g) + 3*m(g). Let n be r(2). Let w = n + 43. Is w a multiple of 20?
True
Suppose 0 = -2*t - 4*h + 16, h = -3*t + 2*t + 7. Let c = -2 + t. Suppose -5 = -2*l + 3*x, -c*l - 3*x + 5*x + 30 = 0. Is 5 a factor of l?
True
Suppose -a = -9 - 0. Suppose a + 7 = z. Let q = 0 + z. Is 8 a factor of q?
True
Suppose -2972 = -3*c - 4*z, -4*c = -5*c + 3*z + 969. Is c a multiple of 24?
True
Is (174/15)/(6/120*2) a multiple of 10?
False
Suppose -4*j + 2700 = 3*o + 536, 5*o - 541 = -j. Does 4 divide j?
False
Let d = -89 + 159. Let k be 836/14 + 20/d. Does 15 divide k - (-2 + 3)*0?
True
Let m(h) = 3*h - 9. Let l be m(3). Suppose l = -27*f + 31*f - 20. Suppose 4*w - 211 = -4*i + 3*i, 0 = w + f*i - 67. Is w a multiple of 13?
True
Let c(i) = i**2 - 28. Let p be c(7). Suppose -p = -s + 13. Is s a multiple of 4?
False
Let o = 3216 - 2427. Is 15 a factor of o?
False
Let g = -626 + 1827. Is 78 a factor of g?
False
Let u be (0 - -1)/(2/100). Suppose 0*o + 5*o = u. Is (14/10)/(2/o) a multiple of 7?
True
Let m = -32 + 10. Is 4 a factor of 2/10 + (-9)/10*m?
True
Suppose -u - 4*v + 1573 = 0, 1582 = 7*u - 6*u - 5*v. Does 19 divide u?
True
Let r = -40 + 136. Is 24 a factor of r?
True
Let x(t) = 19*t - 1. Suppose 5*l - 8 = -m + 1, 5*l - 17 = -3*m. Let b be (6 - 2 - 3) + l. Is x(b) a multiple of 10?
False
Let r be (-5 + 11)*(-1)/(-6). Does 8 divide 35 + (0 - (-1 - r))?
False
Suppose -3*j + 18 = v, -30 = -j - 4*j - 5*v. Suppose j*k - 2*k - 4*b - 188 = 0, -2*b = 4*k - 194. Suppose i - k = -i. Is i a multiple of 6?
True
Let u(j) be the second 