l - 63664, -5*l + 106060 = 10*f - 5*f. Is l a multiple of 48?
True
Suppose 171 = 2*l - 2*h - 61, -5*l = -4*h - 576. Suppose 5*n - v + 0*v = 593, -l = -n - 2*v. Suppose 4*z - 150 - n = -5*u, z = 5*u + 92. Does 12 divide z?
True
Let u be 8*(-2)/(-32) + (-7)/2. Is 12 a factor of (2/u)/(1/1275*-5)?
False
Let n = 1509 - -2523. Suppose 3*h + 5*h - n = 0. Does 12 divide h?
True
Suppose 6*a + 2 - 32 = 0. Suppose a*n - 2091 = -2*x, 2*n + 0*n = 3*x - 3089. Is x a multiple of 14?
False
Let l = 1059 - -1421. Is l a multiple of 124?
True
Suppose 9*y - 8*y - 383 = 0. Suppose -4*r - 1637 - y = -4*p, -2*p - 3*r = -1010. Is 13 a factor of p?
False
Suppose 58*o - 26*o = 8768. Does 4 divide o?
False
Does 38 divide (0 + (-557892)/27)*69/(-92)?
False
Let r = 2593 + -2582. Let a be 39/(-1)*(2 + -4). Suppose -14*k = -r*k - a. Is k a multiple of 22?
False
Let m = 2 - -1. Suppose 0 = -m*q - 18 + 210. Let r = 105 - q. Does 11 divide r?
False
Let o be 0 - ((-9)/1 - 1) - 0. Let t be 52/o + (-1)/(-5)*-1. Is -10 - -6 - (1 - 13)*t a multiple of 28?
True
Suppose 0 = 5*m - 2*r + 26, -m - m - 2*r - 16 = 0. Let l be (0 - m)*(-10)/30. Is (-65)/(-4) + l/8 a multiple of 8?
True
Suppose 2*b = -4*c - 1010, -4*b + 7*c - 2047 = 6*c. Is 28 a factor of -6 - b/(-14)*-4?
True
Suppose 6*t - 521 = -59. Is 32 a factor of (1 - (-4)/(-7)) + 28380/t?
False
Let f(d) = -d**3 - 7*d**2 + 2*d - 13. Let n(l) = -2*l**2 - 14*l - 20. Suppose -72 = 8*k + 4*k. Let u be n(k). Does 9 divide f(u)?
False
Let l(f) = 369*f + 8535. Does 17 divide l(58)?
True
Let z(w) = 12*w**3 + 8*w**2 - 112*w + 13. Is z(7) a multiple of 15?
False
Let l(z) = z**2 + 32*z - 16. Suppose -5*r - t + 41 = 7, -4*r + 29 = -t. Is 10 a factor of l(r)?
False
Let v = -34 + 38. Suppose h - 265 = -v*h. Suppose -h = -6*m - 5. Does 8 divide m?
True
Let t(f) = 629*f**2 + 159*f - 19. Does 11 divide t(3)?
False
Let x be (-5)/(-4)*(0/(-2) - -4). Suppose x*d - 2*s - 274 = 734, -612 = -3*d + 3*s. Let z = d - 135. Is 13 a factor of z?
True
Let r be (4250/35)/(-2) - (-2)/(-7). Let y = r - -65. Suppose 5*i = y*l + 250, -159 - 41 = -4*i - 2*l. Is 7 a factor of i?
False
Suppose 5*t + 3*f = 8*f + 68455, 0 = -4*t - 3*f + 54715. Does 11 divide t?
True
Let x(i) = 825*i - 30. Let s be x(4). Suppose 17*l = -13*l + s. Is 8 a factor of l?
False
Let y(r) = -6 + 0*r**2 + 5*r**2 - 8*r**2 + 2*r**2 + 7*r. Let t be y(6). Is 27 a factor of 40/10*-2*(-8 - t)?
False
Let l(p) = p**2 + 7*p - 18. Let y be l(-9). Suppose 5*m - 332 = 2*t, 0*m - 3*m + 5*t + 203 = y. Let k = -21 + m. Is k a multiple of 15?
True
Suppose 8*g + 9 - 1 = 0. Let c be ((-70)/8 + g)/((-16)/128). Suppose 3*s - 6*s = -c. Is s a multiple of 4?
False
Let t = -438 + 1000. Suppose 7*k - 9*k = -t. Is 11 a factor of k?
False
Suppose 12 = -3*x, 2*i - 5 = 5*x - 21. Let w(u) = -128*u**3 - u**2 + 2. Let a be w(-1). Let p = a + i. Does 12 divide p?
False
Let f(i) = -92*i - 104*i - 134 + 211*i. Is 29 a factor of f(22)?
False
Let n = 13003 + 1262. Is 42 a factor of n?
False
Suppose -2*z = 3*i - 19967, 0 = -2*z - 24*i + 28*i + 20016. Does 263 divide z?
True
Let h be 595 - ((-16)/(-24) + (-10)/6). Suppose 3945 + h = 5*f - r, 2*f = r + 1817. Is 12 a factor of f?
False
Let f be -35*5/50*4. Let y be 3042/108 - 1/6. Does 16 divide 132/y + -5 + (-858)/f?
False
Suppose -s - 10*s + 2442 = 0. Suppose s*b - 312 = 216*b. Does 13 divide b?
True
Let n be (-4)/22 + 54/(-66) + 1. Suppose n = -4*q - 3*t + 2008, -3*t - 1179 = -4*q + 805. Is q a multiple of 22?
False
Does 18 divide (36/7)/(13 - (-167049)/(-12852))?
True
Suppose -2*s + p + 3*p = 4, -2*p = -4*s + 10. Suppose 3*n = -i + 424, -4*i - n + 1682 = s*n. Is 22 a factor of i?
True
Suppose -3*z - 2*m + 53259 = -m, 2*m - 17743 = -z. Is 35 a factor of z?
False
Let m(j) = 0*j - 3*j**2 + 3 + 3*j**2 + j**2 + 3*j. Let f be m(-3). Suppose -117 = -3*v + 2*y, v - 161 = -f*v + y. Is v a multiple of 16?
False
Let r be (-13)/39 - (-350)/6. Let l = 170 - r. Is 7 a factor of l?
True
Suppose 4*h = 2*m - 36366, -18204 = -m + 204*h - 209*h. Is m a multiple of 16?
False
Let d(s) = -17*s - 21*s**2 + 48*s**2 + 27*s**2 + 2*s + 25 + 18*s**2. Is 16 a factor of d(4)?
False
Let c(n) = n**2 - 2*n + 7. Let k be c(0). Suppose -g = j - 11, 2*g - k*g + 61 = 2*j. Suppose 54 = g*q - 7*q. Is q a multiple of 2?
False
Suppose -4*v = -308*x + 313*x - 5331, 3*v + 4*x = 3999. Does 32 divide v?
False
Suppose -3*c + 4 = -11. Suppose -4*h = 2*g - 0*g - 34, -c*g = 3*h - 22. Suppose 0 = -h*u + 93 + 60. Is u a multiple of 13?
False
Suppose 0 = 31*t - 29*t - 3*s - 16336, 0 = -4*s + 8. Is 58 a factor of t?
False
Suppose 196350 = -587*z + 662*z. Is 34 a factor of z?
True
Let g(x) = 661*x - 1110. Is 26 a factor of g(12)?
False
Let h(u) = u**3 + 3*u**2 + 10*u + 7. Let g be h(0). Let l(y) = 22*y**2 - y + 21. Does 39 divide l(g)?
True
Suppose -5*f = 3*s - 2070, 0 = 3*f - 6*f + 5*s + 1276. Let j = f + -195. Is j a multiple of 45?
False
Let v = -389 + 740. Suppose -v = -15*j + 2*j. Does 14 divide j?
False
Let f(v) = v**2 - 11*v + 30. Let m be f(-26). Let c = -376 + m. Is c a multiple of 22?
True
Let k(j) = -11 - 2*j**2 - 6*j**2 + 11 - 52 + 6*j**2 + 54*j. Is 7 a factor of k(25)?
False
Suppose -32 = -3*w - w. Suppose -2*s + w = 2. Suppose m - 212 = -2*t, s*t = 2*m - 0*m + 332. Does 54 divide t?
True
Let a = -11 + 11. Suppose -15*j + 14*j = -2. Suppose 2*t + j + 4 = 0, 5*m - 5*t - 105 = a. Is m a multiple of 8?
False
Let f be 15*(2 + (-10)/(-25))*3. Does 55 divide 289*12/(f/45)?
False
Suppose 64 = 19*r - 3*r. Suppose -r*x = -4*s + 2*s + 896, 2*x + 1348 = 3*s. Is s a multiple of 15?
True
Is 6 + (-55)/(-11) - -1626 a multiple of 28?
False
Let g = 6808 - 1675. Is 33 a factor of g?
False
Let a(w) = -w + 1. Let g be a(-4). Let j(f) = f. Let z(k) = 6*k - 14. Let r(q) = g*j(q) + z(q). Does 13 divide r(6)?
True
Suppose -n = 4*a - 15, -3*a + 2*n - 3*n = -12. Suppose -3*v - 316 = -a*r + 287, -801 = -4*r + 5*v. Is 20 a factor of r?
False
Let s(c) = 65*c - 22. Let m be s(5). Let g = -273 + m. Is g even?
True
Let n(d) = -d**3 + d + 5. Let k be n(4). Let t = k - -59. Suppose 2*c - 133 = -3*y, -t*y = 2*c - c - 179. Does 15 divide y?
True
Let n(b) = -300*b**3 - b + 2. Let p be n(1). Let a = 241 - p. Is 45 a factor of a?
True
Let w(s) = -s**3 - 12*s**2 + 11*s + 12. Suppose 32*k - 30*k = -30. Is 18 a factor of w(k)?
True
Let m be (-41 - -41) + 2 + 5 + -2. Suppose 0 = -m*c - 10, 5*c - 434 = -4*r + 296. Is 34 a factor of r?
False
Let x(q) = 4*q**2 - 6*q + 26. Is 34 a factor of x(-12)?
False
Is (-284)/213 + (-120570)/(-18) a multiple of 4?
False
Is -5*(715/(-1) - (-10 + 26 - 19)) a multiple of 20?
True
Suppose -8*u + 9*u - 3 = 0. Suppose -k - s + 0*s = -180, 5*k - u*s = 868. Suppose -5*b - k = -7*b. Does 11 divide b?
True
Let p(i) be the first derivative of -112*i**2 + 48*i + 59. Is p(-1) a multiple of 16?
True
Let g(a) = 2*a - 14. Suppose -17 = -3*b + 37. Let v be g(b). Does 15 divide (-4 + 3)*(-1 - v)?
False
Let s(t) = t**2 - t - 4. Let f be s(8). Let q = 36 - f. Let g = 49 + q. Is g a multiple of 6?
False
Suppose -41606 = -17*m + 62400. Is 58 a factor of m?
False
Is 8 a factor of (1 - -10285) + 65/((-1755)/162)?
True
Suppose 90*z = -281*z + 88*z + 250455. Does 15 divide z?
True
Suppose -o + 5 = -0*o. Suppose -s - 6 = j - 17, o*s = 5*j + 15. Is (s + -16)*(-46)/3 a multiple of 23?
True
Suppose q + x + 3 = 11, -4*q + 8 = -2*x. Let b(a) = a**3 - 4*a**2 - 6*a + 3. Let y be b(q). Does 9 divide -4 - (-8)/2 - y?
False
Let o be 12*(-19 - -1 - -4). Let k = 516 + o. Is 19 a factor of k?
False
Let s be 22/(-8) - (-33)/(-132). Let z(x) = -5*x**3 - 3*x**2 + x + 1. Is z(s) a multiple of 20?
False
Let j(o) = -43*o**3 + 2*o**2 + 2*o + 4. Let y(u) = u**3 + 12*u**2 + 21*u + 8. Let a be y(-10). Is j(a) a multiple of 22?
True
Is 99 a factor of 1744/16*(4 - -62)*3?
True
Let q(u) = 50*u + 151. Let r be q(-3). Let l be -102*1 - (2 + -4). Does 5 divide (r - 0)/((-20)/l)?
True
Let x(k) = k**2 - 18*k + 11. Let o be x(18). Suppose o + 1 = 6*v. Is 27 a factor of (15 + -45)/(-3 + v)?
False
Let b = 44 - 40. Let u(p) = -4 - p**3 + b*p**2 + 3*p**2 - 825*p + 815*p + 5*p**2. Does 24 divide u(10)?
True
Suppose 0*d = -4*y + 3*d + 193, -y + 62 = 2*d. Suppose 5*i = -47 + y. Does 6 divide 59/3 + -2*i/(-6)?
False
Let v(y) = -7*y - 24 + 0*y**2 + 12 + 7 + 13 + y**2. Is 12 a factor of v(9)?
F