 a factor of r(-9)?
False
Suppose 2*a + 2*k = 6*k - 26, -k = -3*a - 29. Let i = 9 - a. Is 6 a factor of i?
True
Let o(r) = 6*r**2 + 10*r - 24. Suppose 0 = 10*m - 4*m - 12. Suppose 3*c - 23 = -2*y, c - m*y = 1 - 4. Is o(c) a multiple of 44?
True
Let u(x) = 13*x**2 - 4 - 33*x**2 - 2*x + 9*x**2 - 14*x + 12*x**2. Suppose 3*y + 4*w = 71, -w + 30 = 3*y - 26. Is u(y) a multiple of 13?
True
Let l(p) = 233*p**2 + 409*p - 2499. Is 81 a factor of l(6)?
True
Let a be 7/(-28) + ((-3)/4 - -1). Suppose a = f - 2*c - 194, -4*f - 57 = c - 860. Is 15 a factor of f?
False
Suppose s + 13 = 2*q - 13, -141 = 5*s + q. Let d = -23 - s. Suppose 2*c = -k + 516, 80 = -2*c - d*k + 588. Is 51 a factor of c?
False
Suppose 4*x = p + 4197, 4*x - 6*p - 4185 = -p. Suppose 0 = -7*o + 13*o - x. Is o a multiple of 5?
True
Suppose 6310*d - 6313*d + 12795 = 0. Is 33 a factor of d?
False
Suppose 3*q + 5*a + 1058 = 0, 4*q + 4*a = -a - 1419. Let l = -238 - q. Does 3 divide l?
True
Let o(c) = 357*c + 21 - 44 - 14. Let l be o(11). Suppose 11*h - l = 59. Is 23 a factor of h?
False
Suppose 1239 - 213 = -19*c. Does 9 divide (-8)/(-36) + (-2094)/c?
False
Let r be (13/39)/(1/18). Suppose -c = w - r*c - 90, 4*w - 360 = -c. Suppose 0*j = -j + w. Is 18 a factor of j?
True
Let j(z) = -z**2 - 14*z - 42. Let r be j(-9). Let o(a) = a**3 + 3*a**2 + a - 11. Let h(f) = -f + 1. Let u(i) = 6*h(i) + o(i). Is 17 a factor of u(r)?
True
Let y = 2 + 0. Suppose a - 52 = -4*s, 8*s - 93 = -y*a + 11*s. Is a even?
True
Let l(u) = u**2 + 4*u - 9. Let g be l(-3). Does 43 divide (103 - 5)*(-42)/g?
False
Suppose -4*s = 5*s - 99. Let h be (-63)/(-1) - 3/(-12)*0. Suppose -s*r + h = -8*r. Is 10 a factor of r?
False
Suppose 5*m = -25, -15405 = -5*h - 2*m + 3265. Suppose -g - h = -5*q, -74*q + 69*q - 2*g = -3733. Does 9 divide q?
True
Let y(m) be the first derivative of -m**4/4 - 4*m**3 + 13*m**2 - 20*m - 43. Let c be y(-14). Suppose c*a = 233 - 65. Is a a multiple of 4?
False
Let i(q) = -553*q + 6. Let t be i(-2). Suppose 5*d + h = -3*h + 1864, -3*d + 4*h + t = 0. Is 45 a factor of d?
False
Suppose 6*u - 10*u + 53402 = 5*z, 2*z = 5*u + 21374. Is z a multiple of 14?
True
Suppose -2*g = -3*q + 548, q - 115 = -5*g - 1451. Let p = 448 + g. Suppose -20*i + 16*i = -p. Is i a multiple of 15?
True
Let m = -25901 - -45665. Is m a multiple of 12?
True
Let x be ((-88)/12 - -7)*(-13 - -1). Suppose 4*d = x*n - n + 8744, -14592 = 5*n - 2*d. Is 27 a factor of (-4)/18 - n/18?
True
Let r(l) = 666*l**2 - 158*l - 595. Is r(-4) a multiple of 12?
False
Is ((-10239)/(-39))/(1/4) - (-304)/(-1976) a multiple of 30?
True
Let g(u) = u**3 + 13*u**2 + 31*u + 12. Let p be g(-10). Let y(x) = 54*x + 16. Does 24 divide y(p)?
False
Suppose 0*l + 35 = x + 5*l, x - 15 = -l. Suppose -z = -x*z - 9. Is (-4)/(-4)*(1 + -87)*z a multiple of 19?
False
Suppose -4*b + 9 = -f + 14, -f - 2*b + 5 = 0. Suppose -5*h + 451 = o - 924, f*o = -h + 299. Does 46 divide h?
False
Let z = -98 - -230. Is 49 a factor of z/176 - (-2093)/4?
False
Suppose -52*k = -50*k - 4. Suppose 4*y + k*g = 520, -y + g + 137 = 1. Does 3 divide y?
True
Suppose 9 = 3*d, 5*d - 26418 = 3*f - 6*f. Suppose -q = 12*q - f. Is q a multiple of 27?
False
Let f(c) = -c**3 - 22*c**2 - 7*c - 29. Let i be f(-23). Let v(g) = -g**2 + 689*g + 59 - 4 - i*g. Is v(29) a multiple of 14?
False
Let u be -7 + 18 - (-2 + -2)/(-2). Suppose -4*k = -u*k + 10. Suppose 8*b - 4*b - 960 = 2*f, k*b - 480 = -5*f. Is b a multiple of 40?
True
Suppose 5277*i + 6528 = 5311*i. Is i a multiple of 32?
True
Is 22 a factor of 346236/549*(2 - -1)?
True
Suppose 7*a = 21, -2*q - 4*a = -7*q + 1713. Is 13 a factor of q?
False
Let u = 1222 + 2408. Is u a multiple of 33?
True
Let v(m) = 73*m - 2. Let h be v(1). Suppose 5*a - 137 = g, 3*a + 6*g - g = h. Let k = 38 - a. Does 4 divide k?
False
Let m = -23715 + 88801. Is m a multiple of 23?
False
Let y = 177 + 595. Suppose r + 4*d - y = 0, d - 1524 = -2*r - 2*d. Is 42 a factor of r?
True
Let c be (0 - -2) + 1478 + -5 + 3. Let b = -1028 + c. Is b a multiple of 15?
True
Suppose 0 = 4*x + 3*a - 2*a - 62, -x + 3*a = -22. Suppose 24*h - 184 = x*h. Is h a multiple of 23?
True
Is 5046008/544 + (-3)/4 a multiple of 53?
True
Suppose -2*d - 55 = -3*a, a - 3*d - 13 = -d. Let o be (-1 - a)*2*11/(-4). Let h = o + -43. Is 13 a factor of h?
True
Let n = -2 + 6. Let v be (-27)/(-36) + (-67)/n. Is 20 a factor of (-168)/v*50/3?
False
Suppose -10*b = -86734 - 28569 + 33203. Is b a multiple of 22?
False
Let w be ((-6)/8)/((-42)/224). Suppose 5*r + 3*f = 8*f + 2210, -w*r = 2*f - 1786. Is r a multiple of 44?
False
Let p be (-2)/(14/(-721))*2. Suppose -6*m + 489 = -m - 4*i, -2*m - i + p = 0. Does 6 divide m?
False
Suppose m - 5*w = 42100, 98*m - 168281 = 94*m + 3*w. Does 179 divide m?
True
Let c = 12 - 6. Let x(w) = 2 + 11*w - 2 + 9*w - 19*w. Is x(c) a multiple of 5?
False
Let p(n) = -8612*n - 2172. Does 46 divide p(-1)?
True
Is (178 + 2)*5/(-60)*-222 a multiple of 45?
True
Let p = 89 - 87. Suppose 0 = 9*b - 6*b - 4*j - 32, 4*b + p*j - 72 = 0. Is b a multiple of 16?
True
Let d(s) = -24*s - 45. Suppose m + 1 = -8. Is 7 a factor of d(m)?
False
Suppose -5*z - 915 - 1080 = 0. Let k = -149 - z. Is 50 a factor of k?
True
Suppose -5*i = -y - 75, 4*i + 14 - 74 = 3*y. Suppose 420 = -3*b + i*b. Suppose b*k - 36*k + 149 = 0. Is k a multiple of 11?
False
Suppose -61*m + 61200 = -58*m + 5*h, -3*m + 61200 = h. Is m a multiple of 15?
True
Is 22 a factor of (8179/4)/(2629/(-132) + 20)?
False
Let p = 26 + -24. Let v(z) = -8*z**2 + 6 + 0*z + 32*z**2 + 3*z**p - z. Is 26 a factor of v(3)?
False
Let o = 88266 + -40522. Is 203 a factor of o?
False
Let k = -77 + 68. Let l(v) = 2*v**2 + 17*v + 26. Is l(k) a multiple of 2?
False
Let o = 22 - 27. Does 9 divide (-1486)/o - 37/185?
True
Let o = -119 + 126. Let x(g) = -31*g + 318. Is 13 a factor of x(o)?
False
Does 52 divide 1040/(-4)*444/(-30)?
True
Let x(v) = -14*v**2 + 7*v - 56. Let j(k) = 13*k**2 - 6*k + 57. Let u(o) = 5*j(o) + 4*x(o). Is 33 a factor of u(8)?
False
Is 35 a factor of (-3)/39 + (-5)/((-325)/20480)?
True
Suppose -21*w + 120 = -9*w. Is (-21)/14 + (6245/w - -2) a multiple of 25?
True
Let f(q) = -8*q + 3. Let g(z) = z**3 - 3*z**2 - 3*z + 10. Let s be g(3). Let w be f(s). Let d(y) = -y**3 - y**2 + y + 2. Does 30 divide d(w)?
False
Let n be (-217)/(-434)*(1 + 0 + 5). Suppose n*c - 399 = 156. Does 37 divide c?
True
Let j(p) = -p**3 + 25*p**2 + 3. Let r be j(25). Suppose -r*k + 1113 = -807. Is k a multiple of 20?
True
Let p = -8669 + 32839. Is 17 a factor of p?
False
Let t(n) = -n**3 - 10*n**2 - 8*n + 14. Let k be t(-9). Let y be k + 0 - (13 + -12). Is (4 - 24)/y*-10 a multiple of 25?
True
Let t(n) = -91*n**3 - 6*n**2 - 7*n - 1. Let u = -231 + 230. Does 53 divide t(u)?
False
Suppose -5*n = -4*k - 1187, 0*n = 3*n - 4*k - 717. Suppose -n - 115 = -q. Is q a multiple of 14?
True
Suppose 9*l - 14458 - 32198 = -3*l. Is l a multiple of 81?
True
Suppose 4*b - 18 = 2*y, -2*b - 4*y - 6 - 10 = 0. Suppose b*z = 4*z + 14. Let v(f) = 3*f**2 + 7*f + 2. Is v(z) a multiple of 20?
True
Let i = -177 - -202. Let p = i - -81. Does 53 divide p?
True
Let c(n) = -8*n**2 - 5*n + 29. Let j(d) = 18*d**2 + 9*d - 59. Let g(p) = -5*c(p) - 2*j(p). Is g(8) a multiple of 15?
True
Let y = 7544 - 2883. Is y a multiple of 49?
False
Let w(v) be the second derivative of v**4/4 + 3*v**3/2 - 2*v + 360. Let x = -6 - 1. Does 28 divide w(x)?
True
Let y(h) = -13*h**3 - 8*h**2 - 5*h + 6. Is y(-4) a multiple of 5?
True
Is (-4794)/((-45)/(-30) + -3) a multiple of 8?
False
Let v = -116 + 119. Suppose -10*k + 47 = 5*p - 6*k, 5*k + 6 = v*p. Does 3 divide p?
False
Let p = 219 - 208. Suppose 1040 = p*d - 896. Does 11 divide d?
True
Let j(m) = -4*m - 46. Let t(u) = -2*u - 23. Let f(h) = -2*j(h) + 5*t(h). Let z be f(-12). Is z/(3/240*4) a multiple of 8?
False
Let b be (-1)/(-4 + 45/10). Let k be (-4)/(-22) - b/(-11). Does 15 divide k + 3 + 1 - -56?
True
Let w = 8496 - 4177. Is 18 a factor of w?
False
Suppose 12*s - 13*s = -7. Let c(j) = 143*j - s + 11 - 5. Is 9 a factor of c(1)?
False
Suppose 4*s - 303 + 295 = 0. Suppose s*p + 194 = 2*k - 3*p, 4*p = 8. Is 9 a factor of k?
False
Let l be (4/6 - (-13)/39)*-94. Let x = 206 - l. Is x a multiple of 20?
True
Let d(x) = -802*x + 96. Is d(-6) a multiple of 134?
False
Suppose -5*l - 148 = -l. Let 