 4*i. Suppose l + 61 = 3*c, -c + 15 = 10*l - 13*l. Suppose k*y - c - 175 = 0. Is y a multiple of 7?
True
Suppose -117*q - 38550 = -147*q. Is q a multiple of 127?
False
Let s(m) = -m - 7. Let u be s(-10). Suppose d = -u + 2. Does 21 divide 107 + d + 8 + -6?
False
Let w(z) = 125*z + 90. Is w(10) a multiple of 67?
True
Is ((-7154472)/(-36))/23 - (-2)/3*-1 a multiple of 240?
True
Let a(t) = -12*t + 9. Suppose 22*m = 21*m + 6. Let d(p) = -13*p + 10. Let b(f) = m*d(f) - 7*a(f). Is b(3) a multiple of 15?
True
Suppose 1043 = -j + 3*y + 4213, -2*y = -j + 3177. Does 178 divide j?
False
Let g(t) = -2*t**3 + 5*t**2 + 23*t + 148. Does 6 divide g(-10)?
True
Let n(l) = -l**3 - 35*l**2 - 32*l + 69. Let t be n(-34). Is t*-2*(-1 + -14) a multiple of 4?
False
Suppose -k = 4, -4*q - 224*k = -228*k - 12544. Is 54 a factor of q?
True
Does 14 divide 6 + (456*17 - -3)?
False
Let k = 18 - 12. Suppose -g - 8 = -4*l, -k*g + 6 = -2*g + 3*l. Suppose g = -5*s + 4*s + 4*c + 19, -4*c - 127 = -5*s. Is s a multiple of 9?
True
Let w(u) = -324*u - 9996. Is w(-39) a multiple of 24?
True
Suppose -26*i = -439 - 2031. Does 19 divide i?
True
Let l(k) = -2*k**3 + 5*k**2 + k - 5. Let t be l(-5). Let q = t + -180. Let r = 297 - q. Is r a multiple of 13?
False
Let a = 136 + -132. Suppose 1133 = a*q - 1719. Does 56 divide q?
False
Let y(p) = p**3 - 12*p**2 + 10*p - 2. Let i = 33 - 20. Let t be y(i). Let o = -178 + t. Does 15 divide o?
False
Let k(a) = 2*a**2 + 60*a. Let b be k(-30). Suppose 2*r + 12*r - 16226 = b. Is r a multiple of 12?
False
Suppose -240768 = -8*p - 49*p. Does 33 divide p?
True
Let l(t) = -433*t - 88. Let y be l(-23). Suppose y + 5557 = 19*a. Is 32 a factor of a?
False
Let f(k) = -4*k**3 - 6*k**2 + 7*k - 4. Let x be f(4). Let b = -176 - x. Let r = -116 + b. Is r a multiple of 36?
True
Let d = -62 - -64. Suppose -d*l = -2*s + 14, -2*s + 1 + 12 = -3*l. Let w = 27 - s. Is w a multiple of 8?
False
Is 6 a factor of 24050/91 - ((-2)/(-6))/(147/126)?
True
Does 9 divide 3*(-19)/((-38)/360)?
True
Let k be (2*66)/(30/(-4) + 7). Let h = k - -510. Does 32 divide h?
False
Suppose -449 - 671 = -8*h. Suppose 77 = 147*o - h*o. Is o a multiple of 5?
False
Let i = -402 - -912. Suppose 6*s - 84 = i. Suppose 2*l = 2*n - n + 89, 2*l - 3*n - s = 0. Is 14 a factor of l?
True
Is 19 a factor of -95*-1011*(28/(-280))/((-2)/4)?
True
Let k = 55157 - 30937. Is k a multiple of 10?
True
Suppose 4158 = 4*b - 7*n + 8*n, -5*b + 4*n = -5208. Is b/(-12)*(-60)/25 a multiple of 8?
True
Let b(d) = 8*d**2 - 17*d - 16. Let l(c) = -c**2 - 18*c + 8. Let u be l(-18). Is 12 a factor of b(u)?
True
Suppose 0 = -3*c - 90*c - 30902 + 140084. Is c a multiple of 4?
False
Let r = -1474 + 1573. Let j be (-2)/(5/7 + -1). Suppose 0 = -2*w + y + r, -5*w + 2*y - j*y + 270 = 0. Does 17 divide w?
True
Let h be (4 + -5)/(-1)*12. Suppose -h*t = 5 - 29. Suppose 0 = t*y - 3*b - 79, -2 = -y + 2*b + 35. Is y a multiple of 18?
False
Let v(j) = -8*j - 139. Let p be v(-28). Let x = 161 - p. Is 3 a factor of x?
False
Let q(k) = -2*k - 4. Let r be q(-8). Let w be 318*4*1/r + 3. Let l = -73 + w. Is l a multiple of 6?
True
Let t(o) = -43 + 3*o + 82 + o + 0*o. Let a be t(-9). Suppose g = -3*k + 105, -141 = -a*k - k - g. Is 6 a factor of k?
True
Is (-58)/(-4)*-134*-1 a multiple of 35?
False
Is 22 a factor of (0/3 + -3)*((-18704)/42 - -1)?
False
Suppose -4*p + 4*u - 48 = 0, 3*u = -2 + 17. Let g = -3 - p. Does 11 divide 75/g + (-10)/(-8)?
False
Let r = -26734 - -29956. Is r a multiple of 6?
True
Let a(j) = j**3 - 24*j**2 + 8*j + 47. Let n be a(25). Let t = n - 339. Does 33 divide t?
False
Let k(q) = q**3 + 10*q**2 + 10*q + 5. Let o be k(-6). Let n = o + 253. Is 21 a factor of n?
False
Let n = -94 + 99. Suppose n*c - 167 = 8. Is 15 a factor of c?
False
Suppose 0 + 5 = 5*h + 5*o, -4*h + 5*o - 14 = 0. Let y be 7*(-3)/(-42)*(-13 - h). Let q(g) = -g**3 - 5*g**2 + 2*g - 9. Is q(y) a multiple of 15?
True
Suppose 2*m - 5*y + 4078 + 6270 = 0, 4*m + 3*y + 20670 = 0. Let f = m - -2921. Is 17 a factor of f/(-72) - 4/18?
False
Let a(g) = -g**3 + 15*g**2 + 20*g - 90. Let h be a(14). Let l = h - 337. Is l a multiple of 8?
False
Suppose o + 0*u = -3*u + 15, -2*o + 5*u - 25 = 0. Suppose o = 4*k - 10 - 10, -r + k = -108. Does 10 divide r?
False
Let f(w) be the third derivative of 23*w**4/8 - 11*w**3/6 - 7*w**2. Let r be f(5). Suppose -318 = -3*o - 4*p + p, 5*p + r = 3*o. Does 18 divide o?
True
Suppose 4*m - 4*w + 20 = -0*m, 3*w + 13 = -4*m. Let x(i) = 26*i**2 + 5*i + 12. Is x(m) a multiple of 51?
True
Does 27 divide (-77385)/(-525)*(-25)/(1 - 2)?
False
Let m = 10371 - 403. Is 8 a factor of m?
True
Let h(v) = 1049*v + 762. Is h(5) a multiple of 114?
False
Suppose 29173 + 3227 = 24*c. Is c a multiple of 45?
True
Let m(x) = -2*x**2 + 13*x + 50. Let w(n) = 4*n**2 - 39*n - 151. Let j(z) = -7*m(z) - 2*w(z). Is 32 a factor of j(-10)?
False
Suppose -4*g - 4 = 2*a, g + 3*a + 14 = 13. Let x(f) = 109*f**2 - 3*f - 4. Is 6 a factor of x(g)?
True
Suppose 31*k - 24*k = -77*k + 1411200. Does 42 divide k?
True
Let b(z) = 5*z + 5. Let p(i) = i**3 + 7*i**2 - 11*i - 13. Let t be p(-8). Let d be b(t). Let j = d + -32. Is 14 a factor of j?
True
Suppose 6*f - 7*f = 4*v - 373, 4*v + 686 = 2*f. Let g = 533 - f. Does 27 divide g?
False
Let s = -3941 - -4253. Is 31 a factor of s?
False
Let p = 589 - 159. Suppose 2*v = 3*s - p, -13*s + 424 = -10*s + v. Is 58 a factor of s?
False
Let n = -213 - -321. Suppose 21*k = 12*k - n. Is 16 a factor of (27/12)/(k/(-416))?
False
Suppose 5*f + 3*b - 12846 = 0, -2*f + 953*b = 952*b - 5156. Does 22 divide f?
True
Let v(k) = -479*k**3 + k + 1. Let y be v(-1). Suppose 5*b - y = 51. Does 2 divide b?
True
Let p = -2154 - -2814. Is 11 a factor of p?
True
Suppose 0 = 32*r - 31*r - 23. Let y be r*(-18)/(-12)*2/(-3). Is 14 a factor of (23/5 + 1)/(y/(-805))?
True
Let d = 1060 - 259. Is -3 + d + 1 + 6 a multiple of 9?
False
Let d be (-1)/((-3)/6) - -3. Does 4 divide 319/(-22)*d/((-10)/4)?
False
Suppose 2*m = -23*s + 26*s - 697, -4*m - 1364 = 4*s. Let w = -245 - m. Is 11 a factor of w?
True
Is 7 a factor of ((-320)/15)/((-88)/54516)?
True
Let c = 35 - 10. Let w = -9 + c. Suppose w = 3*z - 32. Does 7 divide z?
False
Let q(m) = 4*m**2 + 49*m + 11. Let z be q(-12). Let y(d) = -575*d - 17. Is 6 a factor of y(z)?
True
Is 25 a factor of (0 + 101)/((-12)/(-300))?
True
Let a(c) = 17*c + 2160. Is 3 a factor of a(-16)?
False
Let q(m) = -2*m**2 + 87*m - 626. Does 2 divide q(34)?
True
Let x = -66737 + 101986. Is 35 a factor of x?
False
Let i = 5771 - 4567. Does 9 divide i?
False
Let b = 19 + -10. Suppose 4*c = -4*j - c - 29, 4*j + c = -b. Is j*2*5/(-5) a multiple of 2?
True
Let q(x) = 5*x + 37. Let c be q(-7). Suppose 3*o - r - 54 = 0, 85 = 4*o + c*r + 3. Is 9 a factor of o?
False
Suppose 0 = 37*m + 38*m + 17*m - 74888. Does 22 divide m?
True
Let l(c) = -c**2 - 13*c - 12. Suppose 2*p - 30 = 3*n, 2*p = 2*n + 30 - 12. Let t be l(n). Is 16 a factor of (3 + t)/((-21)/(-448))?
True
Let a(n) = 453*n - 7162. Is 100 a factor of a(54)?
True
Suppose -b = 3*v - 4753, 7*v - 10*v + 4*b + 4748 = 0. Is 16 a factor of v?
True
Suppose 0 = -h - 4*p + 20, 20 - 32 = h - 4*p. Is 9 a factor of (305/4)/(9 + (-35)/h)?
False
Let g = 9533 + -6289. Is g a multiple of 5?
False
Let t(i) = -i**3 - 11*i**2 - 25*i + 14. Let c be t(-7). Is (-85748)/(-119) + (-3)/c a multiple of 103?
True
Let s(x) be the third derivative of 17*x**4/12 + 5*x**3/3 + 37*x**2. Does 14 divide s(3)?
True
Let j(a) = 64*a + 15. Let m(u) = u**3 - 10*u**2 + 10*u - 6. Let h be m(9). Let r(q) = -62*q - 15. Let x(y) = h*r(y) + 4*j(y). Is x(3) a multiple of 12?
False
Let a(v) = -4*v**2 + 2*v**3 + v - 7*v**2 - 64 + 2*v**2 - 3*v + 4*v**2. Is a(6) a multiple of 6?
False
Let g = 28180 - 18864. Is g a multiple of 19?
False
Suppose -1438*k = -1435*k - 11064. Is 79 a factor of k?
False
Let n = 150 + -166. Is 4 + (24/n - 561/(-6)) a multiple of 24?
True
Let o = 1435 - 940. Let x(w) = -w**2 - 4*w + 1. Let i be x(-5). Is o/6 - (20/8 + i) a multiple of 21?
True
Let d(r) = 13*r**2 - 3*r. Let h be -12*(3 + (-40)/12). Does 28 divide d(h)?
True
Suppose -5*p + 14801 = 3*a, 3*p = -a - 1304 + 6227. Is 97 a factor of a?
True
Let t be 1*11/((-22)/(-8)). Suppose -3*p + 262 = 2*m, -t*p = -5*m - 510 + 153. Is p a multiple of 8?
True
Suppose 0 = c - 13. Suppos