 Suppose l - r = 42. Does 18 divide l?
False
Suppose 0 = -3*x - 0*a + 3*a + 180, 0 = -3*x - 3*a + 210. Let n(l) = l**3 - 8*l**2 + 9*l - 7. Let g be n(7). Suppose 0 = g*t - x - 201. Is 38 a factor of t?
True
Let s(d) = -3*d + 88. Let r(u) = 5*u - 176. Let z(m) = -4*r(m) - 7*s(m). Does 22 divide z(0)?
True
Suppose -9*c = -4*c + 14490. Does 23 divide (-3)/4 + c/(-56)?
False
Let r(l) = -4*l**2 - 5*l + 9. Let o(b) = 63*b**2 + 81*b - 144. Let v(d) = -2*o(d) - 33*r(d). Does 9 divide v(3)?
True
Let o = 184 - 39. Suppose 0 = -2*m - 3*l + 135, 2*m + 4*l - o = -l. Suppose m = s + 3*q, 3*s + s - 208 = 4*q. Is s a multiple of 18?
True
Suppose -19*a + 14131 + 12678 = 0. Is 7 a factor of a?
False
Let w(d) = 16*d**2 - 122*d + 25. Does 15 divide w(10)?
True
Suppose 4*z + 2 = o, -4*z - 5*o + 8 = -2. Suppose -8*f = -10*f + 2*a + 86, z = 4*a. Is f a multiple of 4?
False
Let a(g) = -g + 7. Let f be a(5). Suppose 3*p - 1 = f. Is 6/(-15)*(-25)/p a multiple of 10?
True
Suppose 898 = 6*k - 2594. Does 14 divide k?
False
Let k = 29 - -2. Suppose s = k + 16. Does 4 divide s?
False
Let x = 1954 + -870. Does 31 divide x?
False
Is (-5)/10*(-72)/(-6) - -266 a multiple of 65?
True
Let r(u) = u**3 + 5*u**2 - 11*u - 8. Let j be r(-8). Let n = -55 - j. Suppose -2*b - 5*h + n = -0*b, 3*h - 27 = -b. Does 10 divide b?
False
Suppose -5*x + 2*r - 53 - 56 = 0, 0 = -r + 2. Suppose 0 = -14*a - 142 - 474. Let i = x - a. Is 7 a factor of i?
False
Suppose -9 = 6*c - 9*c. Suppose 0 = c*t + 13 - 43. Is 2 a factor of t?
True
Suppose 3*s - 5*i + 4*i - 4 = 0, -3*i = 2*s + 12. Suppose -o = -j - 0*j + 121, s = -2*j - 2*o + 258. Is 25 a factor of j?
True
Suppose 409*i = 411*i - 364. Is 26 a factor of i?
True
Suppose -4*g - z + 3*z = 2, 21 = -3*g - 5*z. Let q be (4 - (0 - g))*9. Suppose 0 = -i - i + q. Is 2 a factor of i?
False
Let m = -13 + 35. Let d = m + 19. Does 41 divide d?
True
Let c = 15 + 34. Suppose -5*d = 24 - c. Suppose -d*p + 83 = -3*w, 0*w - 2*w = -4*p + 68. Does 19 divide p?
True
Let k(d) be the first derivative of d**4/4 + 11*d**3/3 + 2*d**2 + 12*d + 39. Is k(-10) a multiple of 24?
True
Let m = -2279 + 3434. Suppose -a - 6*a + m = 0. Is a a multiple of 33?
True
Let q = 6 - 4. Is 25 a factor of (2*(q - 3))/((-1)/82)?
False
Suppose 7*o - 770 = 2254. Is 13 a factor of o?
False
Suppose 0 = 4*q - 1 - 11. Suppose q*k = 5*y + 6, k + y - 4*y = 2. Suppose k*o - 5 = 3. Is 4 a factor of o?
True
Let d(a) = a + 4. Let x be d(-11). Let y be (-8 - x)/((-1)/6). Suppose 2*v - 2 = -y, -v - 44 = -b. Does 14 divide b?
True
Is (-1083)/(-9) + (-4)/(-36)*-3 a multiple of 8?
True
Let z(v) = -v + 6. Let a(l) = 1. Let b(m) = 5*a(m) - z(m). Let o be b(10). Suppose -5*q - 128 = -o*q. Is 16 a factor of q?
True
Suppose g + 6 = 4*g. Let f(q) = 2*q**2 - 11*q - 13*q**g + 14 + 7*q**3 - 8*q**3. Is f(-10) a multiple of 6?
True
Let z(u) = -2*u**2 + 113*u - 56. Is 18 a factor of z(50)?
True
Let n(h) = h**2 + 26*h + 51. Is n(-27) a multiple of 36?
False
Suppose -2*h = -2*i - i + 434, 0 = -5*i - 5*h + 690. Suppose 112 = 3*j - 5*c, -4*j + c + 2*c + i = 0. Is 23 a factor of j?
False
Let t = 56 - 2. Let f = t + -49. Is f a multiple of 5?
True
Suppose 0 = 4*o + m + 93, o + 0*m + 9 = -5*m. Let n = 32 + o. Does 4 divide n?
True
Suppose -1107 = -3*k - 3*w, -9*k + 4*w + 1809 = -4*k. Is 26 a factor of k?
False
Let x be 18/117 - 930/(-39). Does 3 divide (-9)/((-81)/x + 3)?
True
Let k(g) = -27*g + 257. Is 8 a factor of k(0)?
False
Let u = 16 - 13. Suppose u*r - 20 = -2*r. Is 23 a factor of (3 - 2)/(r/356)?
False
Suppose 0 = -5*d, 0 = -v + d - 6*d + 252. Is 11 a factor of v?
False
Suppose -7 - 68 = 15*r. Let g(h) = 2*h**2 - 10 - 4*h - 2*h**2 + h**2. Is 7 a factor of g(r)?
True
Let x(y) = -9*y - 25. Let q(j) = 19*j + 51. Let g(v) = 2*q(v) + 5*x(v). Is g(-11) a multiple of 18?
True
Let m(v) = 190*v - 66. Is m(1) a multiple of 14?
False
Let y(j) = 16*j + 1. Let k be y(-3). Let u = 103 + k. Is 18 a factor of 54/(-4)*u/(-42)?
True
Suppose 5*g = -0*h - 5*h + 2075, 2*h + 1684 = 4*g. Does 36 divide g?
False
Let u be ((-8)/5)/(-4 - 174/(-45)). Suppose 18 + u = y. Is 15 a factor of y?
True
Let l(n) = n**2 + 4*n - 7. Let r be l(-6). Let h(g) = g**3 - 6*g**2 + 7*g. Let p be h(r). Is 3 a factor of 5/2 - (-5)/p?
True
Let j = -38 - -24. Let b = j - -16. Suppose -2*y + 45 = 3*s, b*s + 69 = 4*y + s. Does 9 divide y?
True
Suppose -10*t + 1542 = -1838. Is 10 a factor of t?
False
Is 128*-46*8/(-64) a multiple of 46?
True
Let w be (2 - -3)*72/(-45). Let y be (105/(-10))/((-4)/w). Let n = y + 65. Does 15 divide n?
False
Let l = 763 - 448. Is 35 a factor of l?
True
Suppose 1496 = 5*t - 4*b, 4*b = -5*t - 129 + 1633. Suppose 0 = 8*a - 4*a - t. Suppose 0 = 3*r - a - 57. Does 11 divide r?
True
Let b(a) = a**3 + 10*a**2 + 10*a + 5. Let o be b(-9). Let v(i) = -i**2 - 7*i - 2. Let y be v(o). Suppose y = -3*w + r + 75, 4*w - 4*r = 100. Is 5 a factor of w?
True
Suppose -4*d = -6*d + 4*y + 22, -23 = -2*d + 5*y. Suppose 3*f + 3*t - 15 = 0, 0*t = -3*t + 6. Is 3 a factor of (-11)/(f*(-3)/d)?
False
Let d(z) = 12*z + z**2 - 2*z + 5 + 6. Let b be d(-9). Let j(m) = 6*m**3 + 2*m + 1. Is j(b) a multiple of 15?
False
Suppose -4*k = -5*b + 163, -5*k - 25 = 5*b - 215. Suppose 7*v + b = 12*v. Is v a multiple of 7?
True
Suppose -f + 56 = 7*f. Let d = -32 + f. Let m = d + 40. Does 3 divide m?
True
Let l(h) = -h**3 - 11*h**2 + 4*h + 12. Let d be l(-11). Let g be 8/2*(-376)/d. Suppose 2*f - g - 23 = 0. Is f a multiple of 13?
False
Let b(n) = -4*n**2 - 2*n + 15. Let g(s) = -11*s**2 - 5*s + 46. Let y(w) = 8*b(w) - 3*g(w). Let h be y(0). Let f = h + 28. Is 10 a factor of f?
True
Let p = -21 + 3. Is (100/(-15) - 0)*p a multiple of 12?
True
Suppose 3 = -h - 4*w, -w + 12 = -3*h + 42. Let s be (6/h)/(2/93). Suppose 3*x - s = -13. Is x a multiple of 6?
True
Is ((-4301)/(-34))/(-2 - (-25)/12) a multiple of 23?
True
Is 83 a factor of -3*(6 - 2 - (-1851)/(-9))?
False
Suppose 14*s = 9169 + 6875. Does 22 divide s?
False
Suppose 2*v = 23 + 87. Let u = -32 + v. Is 11 a factor of u?
False
Suppose -4*s + 437 = -2*f - 361, -5*s - 3*f = -992. Suppose v - k = 106, 2*v - 21 - s = -2*k. Is 12 a factor of v?
True
Suppose -5*t + 2*t - 6 = 0, -3*j = -4*t - 5882. Is 32 a factor of j?
False
Suppose -1652 + 569 = -3*l. Suppose 2*s + 2*s = -2*v + 226, -3*v + 5*s + l = 0. Suppose 0 = -0*b + 3*b - v. Is b a multiple of 13?
True
Let a be 72/(8/(-4)) - -2. Let y = a - 29. Let h = y + 140. Is 14 a factor of h?
False
Let j(k) = -25*k + 8. Let p be j(1). Let s = 66 + p. Does 6 divide s?
False
Let y(m) = -6*m - 474. Let p(x) = -x - 68. Let r(a) = 36*p(a) - 5*y(a). Is r(-27) a multiple of 21?
True
Let j(q) = -q**2 + 6*q + 4. Let u be j(6). Let z(i) = 4*i + 2*i + 1 - 4*i - u. Does 6 divide z(9)?
False
Is 13 a factor of (1208/2)/((-2 - 0)*-1)?
False
Let n = -618 + 789. Does 19 divide n?
True
Let s be 0*((-4)/3 + 1). Suppose -3*h - 45 = -5*k + 2*h, 4*k + 5*h - 72 = s. Suppose 81 - k = 2*u. Does 10 divide u?
False
Let h be 2/(-10) - (-4084)/20. Suppose 0 = -7*d + 608 + h. Is 29 a factor of d?
True
Is (-2)/(3/3) - (0 - 583) a multiple of 31?
False
Let v(d) = -d + 19. Let l be v(14). Suppose 3*j - 270 = -l*g, -g + 5*g = 12. Is j a multiple of 17?
True
Suppose 0 = 3*o - m - 2920, 0*o + 3*m = 2*o - 1942. Does 63 divide o?
False
Let x be (-10)/(18/4 - 4). Let c = 23 + x. Suppose 0 = c*g - 15 - 15. Is g a multiple of 3?
False
Let y be -1 - (1/(3/6) + -3). Suppose y = 3*n - 119 - 259. Is n a multiple of 14?
True
Let o(v) = -v**3 + v**2 - 2*v - 28. Is o(-5) a multiple of 6?
True
Suppose 3*r + 10 = -2. Let k = 0 - r. Suppose -w = -5*t + 147, k*t - w = -0*w + 117. Does 15 divide t?
True
Is 8 a factor of (-5 - 171)/(2*2/(-4))?
True
Let c(x) = 2*x + 10. Let p be c(-3). Suppose 2*j + 227 - 91 = p*g, -j = g - 31. Does 4 divide g?
False
Suppose 67*i + 32 = 68*i - 5*f, -4*i + 3*f = -77. Is i a multiple of 17?
True
Let v(l) = 3*l**2 + 26*l + 19. Let w be v(-8). Suppose 240 = w*y - 0*k + 3*k, -k - 5 = 0. Does 5 divide y?
True
Suppose -12 = y - l - 2*l, 2*y - 3*l = -12. Suppose -4*h + 3*r + 345 + 113 = y, 3*h + 2*r - 335 = 0. Does 10 divide h?
False
Let o = -6 + 71. Is o a multiple of 5?
True
Let j = -19 + 22. Let n be j/6*(-33 + 3). Does 5 divide (-44)/(-6)*n/(-10)?
False
Let q be (2/3)/(6/18). Suppose 0*k - 2*k + q = 0. Let f = k + 5. I