Suppose -3*c + 345 + a = 0. Is c a multiple of 33?
False
Let o(b) = 138*b**2 + 1377*b - 19. Is o(-20) a multiple of 211?
True
Let y = 2 + -20. Let h be 197 + 5 + y/3 + 3. Suppose 196*l + 75 = h*l. Does 11 divide l?
False
Suppose 3*p + 5*o - 59 = 0, 4*p + 7*o = 2*o + 87. Let t = -28 + p. Does 3 divide 11 - (t - (-3)/(-1))?
False
Suppose -194717 - 909799 = -28*o. Is 81 a factor of o?
True
Let u(m) = -3250*m**3 + 5*m**2 - 2*m - 2. Is 15 a factor of u(-1)?
True
Suppose -2*b + b + 8*b - 261380 = 0. Is b a multiple of 10?
True
Suppose 4*j + 5*p - 10 = 3*j, j + 3*p = 8. Suppose -5*h = j*d - 1790, -8*h + 6*h - 724 = -2*d. Is d a multiple of 6?
True
Suppose 16*z = 17*z - 20. Suppose 0 = 2*o - z + 18. Is 24 a factor of (-4 + o)/(((-2)/(-2))/(-23))?
False
Suppose -93*g + 88*g + 5*j = -70985, -2*j + 10 = 0. Is g a multiple of 27?
True
Let b(g) = -4*g - 13. Let q(h) = -4*h - 12. Let d(v) = 5*b(v) - 6*q(v). Let s = 0 - -10. Is 10 a factor of d(s)?
False
Suppose -84963 = -45*i + 146832. Is 3 a factor of i?
True
Let t(k) = -2*k + 5. Let o be t(-5). Let i(s) = -s**3 + 10*s + 16*s**2 - 22*s - 40 + 15 - s. Does 2 divide i(o)?
False
Let x be 2/4*140186/29. Suppose 6*r - 877 = x. Does 27 divide r?
False
Let w be (-3 - (1 - 0))*-1. Let u be (-136)/170*(-75)/10. Suppose 5*o - x = -u*x + 645, w*x + 548 = 4*o. Does 7 divide o?
True
Let i = 259 + -208. Suppose -i*o = -43*o - 4224. Does 12 divide o?
True
Suppose -20*q + 8*q = -3744. Suppose -2*w + q = 4*w. Is 12 a factor of w?
False
Suppose -9684 = -58*v + 57*v + 3*t, -v + 9642 = 4*t. Is 179 a factor of v?
True
Suppose -3*g - 1125200 = -29*g - 14*g. Is 29 a factor of g?
True
Suppose 5 = w, 3*w - 1780 = -18*t + 13*t. Is 2 a factor of t?
False
Suppose 4*h = -i + 20, -4*i + 7 = -4*h - 13. Is ((-250)/i)/((-27)/216) a multiple of 19?
False
Suppose 2*j - 5*o = -2*o + 246, -5*o = -2*j + 254. Let b = -112 - j. Let z = 36 - b. Is z a multiple of 45?
False
Let m be 1*((-6 - -4) + 4). Does 21 divide ((-168)/(-36))/(m*3/864)?
True
Let f be ((-22)/(-6))/(12/72). Let h(p) = -p**2 - f*p - 12*p - 24 + 12*p. Is h(-16) a multiple of 12?
True
Suppose 3*y + 4*v = 43, 4*y = y + v + 23. Let c be -1*((-15)/9 - 3/y). Let m(l) = 17*l - 13. Does 17 divide m(c)?
False
Let m(f) = 5*f**2 + 2*f + 6. Let n(b) = b. Let c(d) = m(d) + 3*n(d). Let r be c(-6). Suppose r = 2*z + 42. Is z a multiple of 19?
True
Let x(k) = -27*k + 76. Let u be x(-7). Suppose 20*b = 24*b - 324. Let s = u - b. Is s a multiple of 28?
False
Suppose 14*i - 31984 = -4*a, 5*a - 11355 = -2*i + 28594. Is a a multiple of 31?
False
Let t(h) = -8*h**3 - 4*h**2 + 63*h + 10. Is t(-9) a multiple of 68?
False
Suppose d + 0*y - 16 = 3*y, -2*d - 8 = 4*y. Let c be -2 + d + -3 + 1. Suppose 6*n - 183 + 75 = c. Is 3 a factor of n?
True
Suppose 2 = -k - 4*a + 249, 5*a - 1032 = -4*k. Does 7 divide k?
False
Let t(h) = 43*h**2 - 200*h - 2. Is 50 a factor of t(8)?
True
Let n = -1665 + 2357. Let i = n + -192. Does 20 divide i?
True
Suppose 3*l + 10 = 4*n, -4*l = -5*n - 0 + 12. Is (-475)/(-10) + (7/l)/7 a multiple of 6?
True
Let l = -7 + 10. Suppose 0 = 2*q + w - 124 - 34, 2*w = -l*q + 238. Is q a multiple of 8?
False
Suppose 0 = 4*s - s - 831. Suppose -15*v + s = -98. Suppose l - 5*r = 29, 4*l - v = 4*r + 27. Is 9 a factor of l?
True
Suppose -92 = 2*o + 82. Let k = 165 + o. Let c = k - -24. Is 17 a factor of c?
True
Let i = -815 - -1154. Suppose -24*c - i = -1059. Does 3 divide c?
True
Suppose -4*l + 68 = -2*q, 2*q = 3*q. Let j(m) = 5*m + l + m**2 - m - 8. Is 27 a factor of j(5)?
True
Let m(h) = -h**3 + 7*h**2 - 21*h + 12. Let y be m(8). Suppose 3*w = k + 950, -2*k - 6 = -2. Let a = w + y. Is a a multiple of 6?
True
Suppose -1823 - 4147 = -15*v. Suppose -5*p + 757 + v = 0. Let r = p - 136. Is 18 a factor of r?
False
Suppose 16*n - 7*n = 233874. Is 122 a factor of n?
True
Suppose -s = 3*y - 2 - 20, -4*s + 23 = -y. Is 7 a factor of 0 + -3 + s - 24/(-8)?
True
Suppose -3*m = 3*l - 18153, -3*l + 18141 = -0*l - m. Suppose -36*q = -22*q - l. Is q a multiple of 24?
True
Let w(c) = c**2 + c - 2. Let x be w(2). Suppose 0 = x*t - 5*t + 650. Is t a multiple of 10?
True
Suppose 240*h + 13109 = 241*h - 3*k, -5*h - 5*k = -65585. Does 61 divide h?
True
Suppose 0 = -21*b + 17*b + 4, -4*u - 4*b + 40 = 0. Suppose -u*s = -12*s + 1764. Is 98 a factor of s?
True
Suppose 5*n - l = 22170, -13*n - 2*l + 4423 = -12*n. Is 28 a factor of n?
False
Does 123 divide (-4 - 344/(-20))/((-1)/410*-2)?
True
Suppose -4*s = -4*j + 60, 5*j - 4*j = 5*s + 83. Let a be (-18675)/(-360) + (-1)/(-8). Let y = a + s. Is y a multiple of 5?
True
Let r(h) = 311*h - 430. Does 16 divide r(10)?
False
Let k(c) = 14739*c**2 + 135*c - 133. Is k(1) a multiple of 8?
False
Is 75 a factor of (-8)/12 + -8 + 1020073/69?
True
Is (12593 - (-20)/25*-5) + 8 a multiple of 19?
True
Let n(k) = 175*k - 105. Let y be n(6). Suppose -29*g = -26*g - y. Is 8 a factor of g?
False
Let p = 618 - -388. Is 55 a factor of p?
False
Let x be (3/(-4))/((-3)/(-792)). Let k be (-1422)/x - (-1 - 26/(-22)). Suppose -k*d + 3*d = -184. Is d a multiple of 23?
True
Let d(f) = -12*f + 0*f**2 - 5*f**2 + 14 - f**3 - 4*f**3 + 25*f + 4*f**3. Suppose 5*h + 0*p - p + 42 = 0, -4*p = -4*h - 40. Is d(h) a multiple of 34?
True
Suppose -19*c + 34463 + 110241 = 0. Does 93 divide c?
False
Let q(l) = 70*l + 268. Does 38 divide q(12)?
False
Let w(n) = 6*n**2 + 9*n - 29. Let x be w(3). Suppose -17 - 22 = -3*s. Suppose -x = -a - s. Is 9 a factor of a?
False
Let h be 27/9*(-25)/(-15). Suppose -3*a - 4*n = -8*a + 1675, 5*a - h*n = 1675. Does 5 divide a?
True
Let h = 1619 - 587. Is 12 a factor of h?
True
Is ((-300)/6)/((-135)/2862) a multiple of 53?
True
Let s be 5 - (-3 - 1*21/(-3)). Let k(r) = 101*r**2 - 3*r + 1. Let z be k(s). Suppose t = -10*t + z. Is 2 a factor of t?
False
Let f(d) = 13*d**2 - 7*d - 7. Let c be f(-1). Suppose -c*b + 198 = -11*b. Is b a multiple of 11?
True
Let r = -3708 - -4377. Suppose -u = -2*u - 3*d - 48, 4*u - 4*d = -224. Is 12 a factor of (-12)/u + r/27?
False
Suppose -3*z - 677 = -0*z - 5*u, -z + 3*u - 227 = 0. Let a = -88 - z. Let m = a - 45. Is m a multiple of 7?
True
Is (-5981)/(-5) - (11 + 294/(-30)) a multiple of 3?
False
Is (-66 - (-88)/8)*(1 + -54) a multiple of 2?
False
Suppose v + 2 = -0. Let g be 1*(-21)/(-9)*(-6)/v. Suppose -310 = -g*r + 2*r. Is 9 a factor of r?
False
Suppose 304 = 5*r - 3*z, 0*r - r - 2*z + 53 = 0. Suppose r = 14*d - 15*d. Let a = -55 - d. Does 2 divide a?
True
Let w(z) = 4*z - 20. Let h be w(5). Suppose 9*t - 86 - 22 = h. Suppose -14*f + 60 = -t*f. Is f a multiple of 3?
True
Suppose 0 = -30*k + 3*k + 122877. Is k a multiple of 41?
True
Suppose -53*a - 27*a - 39*a = -2215780. Is 133 a factor of a?
True
Suppose o - 48 = 3*o. Let s(r) = -r**3 - 16*r**2 + 18*r + 18. Let q be s(-17). Is 1/q + o*(-4)/8 a multiple of 13?
True
Suppose 0 = -3*s - 4*m + 13, 5*s + m + 1 = 17. Suppose -o + 847 = s*g, 4*o + 0*o + 2*g - 3338 = 0. Is o a multiple of 57?
False
Suppose 4*w - s - 53 = -0*w, 4*w + 4*s - 28 = 0. Suppose -107*m + 108*m = 590. Is 14 a factor of w/24 + m/4?
False
Is 0 - 21*(-8060)/30 a multiple of 91?
True
Let q(p) be the third derivative of p**5/60 - 5*p**4/12 - 5*p**3/2 + p**2. Suppose 4*s - f - 84 = -19, -2*s + f + 31 = 0. Is 26 a factor of q(s)?
True
Is 4 a factor of 1699*((-4)/(-3)*(-96)/(-64))/2?
False
Let y(f) = 21*f - 7*f - 15*f - 8 - 9*f. Suppose -q - 2*q - 27 = 0. Is y(q) a multiple of 22?
False
Let t(w) = -w**3 - 94*w**2 - 185*w + 529. Is t(-92) a multiple of 5?
False
Suppose -4 = -2*k + k. Let p be (-6)/21 - 5552/(-28). Suppose 0 = -k*z + 630 - p. Is z a multiple of 9?
True
Let c(l) be the first derivative of -3*l**2 + 18*l - 453. Let q be 4/10 - 94/10. Does 9 divide c(q)?
True
Let b = -42066 + 59000. Is b a multiple of 53?
False
Suppose -146*j - 69*j - 222204 = -545779. Is j a multiple of 16?
False
Let l be (-2 + 3)*-5 - -110. Let m = -103 + l. Is 38 a factor of m/(-3) + 5538/18?
False
Let k(r) = 824*r + 602. Does 8 divide k(6)?
False
Suppose 3548 = -30*k - 3292. Let d = 650 + k. Is 18 a factor of d?
False
Let s be (-195)/13*1/(-5). Let m be (s/2)/(39/(-832)). Let l = 64 + m. Is l a multiple of 12?
False
Let l(i) = -i**3 + 18*i**2 - 13*i - 9. Let y = -33 - -31. Let p be 1*(-85)/(-25)*(y + 7). Does 3 divide l(p)?
False
Let h(i) = -103 + 13*i + 97