t w = 864 + -1512. Let m = w + 763. Is 4 a factor of m?
False
Is (-2)/(-5)*(-93225)/(-12) + 3/6 a multiple of 12?
True
Let y(b) = -6*b - 1. Let w be y(-1). Suppose 5*r + 5*x = -w, 2*r - 7 = -3*r - 2*x. Suppose -4*l = -l + r*v - 186, 4*v - 185 = -3*l. Is 10 a factor of l?
False
Let v = -6 - 2. Suppose 3*a + 3*x - 7*x = -65, -3*x + 15 = 0. Let k = v - a. Does 3 divide k?
False
Let l(w) = 4*w. Let d(x) = x**3 + 13*x**2 + 22*x + 5. Let k be d(-11). Is l(k) a multiple of 4?
True
Is (7941/((-4)/64*-8) - 0) + -8 a multiple of 27?
False
Let z(s) = s**3 - 3 - 5 + 2 - s - 4*s - 5*s**2. Let n be z(6). Suppose n*p - 3*f = 4*p - 447, 339 = 3*p + 3*f. Does 12 divide p?
True
Let j(c) = -133*c - 49. Suppose -a - 2*a - 12 = -4*d, 20 = -5*a - 4*d. Is j(a) a multiple of 69?
True
Suppose 0 = -15*f + 16*f + 48*f - 133231. Is 80 a factor of f?
False
Let t(y) = -2*y**3 - 76*y**2 + 3*y - 461. Is 32 a factor of t(-39)?
True
Let g = -104 - -102. Let a(b) = -34*b**3 - 4*b**2 + 3*b + 11. Is a(g) a multiple of 9?
True
Let z(s) = 6*s + 1. Let n be ((0 - 0) + -2 - 1) + 7. Let m be z(n). Does 21 divide (-1 - m/(-10))/(1/14)?
True
Let s = -1276 + -362. Let t be -2*(-2)/8*2. Is s/(-7) - 0 - (t + 1) a multiple of 13?
False
Let u be -39*((-32)/6 + 2). Suppose 2*m - 240 = -3*o - 24, -o = -3*m - 61. Let x = u - o. Is 20 a factor of x?
True
Let q(n) = n**2 - 12*n + 7. Let s = -10 + 13. Suppose v - 4 = -s*v, -3*v = 3*h - 45. Is 7 a factor of q(h)?
True
Is ((-7)/21 - 30/9)/((-3)/1152) a multiple of 27?
False
Suppose 0 = l + 18*a - 17*a - 1754, 3*l - 5274 = a. Is l a multiple of 7?
True
Let o be 7/(-3)*12/(-7). Suppose 0*s = 5*s + t - 195, 0 = -5*s + o*t + 170. Is 19 a factor of s?
True
Suppose -2124*b + 92430 = -2079*b. Is 26 a factor of b?
True
Suppose 8*p + 2*p - 18*p + 137336 = 0. Does 9 divide p?
False
Suppose -4*y - 27 = -b, -2*y + 49 - 84 = -b. Suppose -18*i + 23*i = -25, v + i = b. Does 37 divide v?
False
Let n(g) = 3*g**3 - 10*g**2 - 33*g + 160. Is n(6) a multiple of 10?
True
Suppose 16*c - 17*c - 7*w = -102, 3*w - 606 = -5*c. Is 3 a factor of c?
True
Suppose -t + 137 = 38. Let d = -94 + t. Is 235 - d/(2 + 3) a multiple of 20?
False
Is 4 + 660/(-162) - (-8406790)/945 a multiple of 16?
True
Let n = -35 + 39. Let a(x) = 12*x - 7. Let s be a(3). Suppose -n*j + 561 = s. Is j a multiple of 19?
True
Suppose -13*o - 1021 = -12981. Let g = -742 + o. Does 13 divide g?
False
Let u(r) = 167*r - 39. Let z be u(1). Let a = z - -105. Does 21 divide a?
False
Let i(d) = -240*d - 6308. Does 4 divide i(-89)?
True
Let x(y) = 192*y - 512. Is x(33) a multiple of 56?
True
Let o(n) = -n**2 - 17*n + 12. Let v be o(-13). Let b be ((-15)/(600/v))/((-1)/25). Let w = 89 - b. Is w a multiple of 7?
True
Let d = 3096 - 2978. Does 10 divide d?
False
Suppose 4*d + 4*j = 936, d - 3*j - 1225 + 1015 = 0. Does 38 divide d?
True
Let t(s) = -386*s**2 - 1426*s + 3. Does 23 divide t(-3)?
False
Let v = 22878 - 13084. Does 84 divide v?
False
Suppose 9199 = 13*v - 10*v - f - 46379, 0 = 3*f. Is v a multiple of 59?
True
Suppose -23*d + 780 = 29*d. Does 5 divide d?
True
Let o = -44 + 43. Let g be -1 + o + -1 - -2*2. Suppose 0 = -2*n + g + 45. Is 5 a factor of n?
False
Does 12 divide (754623/(-38) + 16)*(-2)/(-10)*-4?
False
Let d be ((88 + -1)/(-1))/1. Let a = 104 + d. Is a a multiple of 14?
False
Suppose 27 = -12*a + 9*a. Let l(z) = z**2 + 10*z + 21. Let x be l(a). Does 33 divide 5*66/2 + x + -10?
False
Let m be 268/(-24) - -11 - (-3746)/12. Suppose 664 = 4*w - m. Is w a multiple of 45?
False
Suppose 0 = -q + 5*k + 18723, 4*q - 3*k - 76925 + 2016 = 0. Is q a multiple of 44?
False
Suppose 12*p - 7*p = 1685. Suppose x - p = -55. Does 22 divide x?
False
Let r = -568 - -536. Is (-3601)/(-4) + -5 + (-152)/r a multiple of 75?
True
Let b(g) = 4*g**2 - 70*g - 660. Does 84 divide b(58)?
True
Is (12/(-10))/(-3 + 1128/360) - -3989 a multiple of 10?
True
Suppose 4*b = -20, 0*v - 2*b = -5*v + 60. Let x = v + -5. Suppose 3*z = -y + 22, -x*y + 173 = -z + 31. Is 14 a factor of y?
True
Suppose -h + 0*m + 7 = 2*m, 3*h + 3*m = 15. Suppose -s - 10 = 2*s + 5*k, 3*s = h*k + 30. Is s + -8 - (-42 - 1) a multiple of 40?
True
Let a(q) = -4*q**2 - 19*q - 8. Let g be a(-5). Let p(w) = -6*w - 57. Let i(x) = -7*x - 57. Let k(m) = 5*i(m) - 6*p(m). Does 35 divide k(g)?
False
Suppose -p - 18 = -35. Is 17 a factor of ((-42)/(-8))/7*4 + p?
False
Is (5/(1*14/(-42)))/(2/(-1158)) a multiple of 131?
False
Is 113 a factor of 1 + 29376 - ((-6)/(-57) + 1062/(-342))?
True
Let o(m) = -809*m - 1755. Is 10 a factor of o(-9)?
False
Let s = 690 + 1166. Suppose 13*y - s = 1888. Is y a multiple of 48?
True
Let n(k) = -15*k**2 + 4*k + 20*k**3 - 6*k - 6*k - 1 - 10. Let f(v) = 7*v**3 - 5*v**2 - 3*v - 4. Let j(g) = -17*f(g) + 6*n(g). Is j(6) a multiple of 5?
False
Let x(q) = 2*q**3 + 2*q**2 + q + 1. Let c be x(-1). Suppose c = 4*u + 12 - 4. Let m(i) = 27*i**2 - i. Is m(u) a multiple of 16?
False
Let y = 4369 + -850. Is y a multiple of 9?
True
Is 180 + (4 + (-57)/12)/((-15)/(-40)) a multiple of 10?
False
Let a(t) = -t**2 + 22*t - 141. Let p be a(12). Let w(s) = -2*s**3 - 42*s**2 - 11*s + 21. Does 14 divide w(p)?
True
Let s(r) = 6*r**2 - 118*r + 23. Let m be s(25). Suppose -3*w + 425 = -m. Does 13 divide w?
True
Suppose 4774 = 3*d + 157. Is 9 a factor of d?
True
Suppose 4*o = -d + o - 16, 28 = -4*d - 3*o. Is (6/d)/(3*(-1)/106) a multiple of 31?
False
Let v(x) = 1870*x + 148. Is v(2) a multiple of 81?
True
Let a(r) = 2*r + 74. Let c(h) = -8*h - 221. Let u(p) = -17*a(p) - 6*c(p). Is u(7) a multiple of 10?
False
Suppose 224*d + 492425 - 841189 = 566500. Is d a multiple of 2?
True
Is 3 a factor of -10*(-6729)/(-30)*-1?
False
Let z(k) be the third derivative of -11*k**7/1260 - k**6/72 - 11*k**5/15 - 50*k**2. Let i(l) be the third derivative of z(l). Is 12 a factor of i(-2)?
False
Let s = 3 - 1. Suppose -962 = -3*f - s*v, f - 635 = -f + 5*v. Suppose 5*g - h = f, g - 47 - 31 = 3*h. Does 9 divide g?
True
Suppose -35*c + 500 = 15*c. Suppose -1687 = c*y - 7297. Is 10 a factor of y?
False
Let n(j) = 4*j**2 - 9*j - 16. Let c(v) = v**2 - v. Let s(z) = 5*c(z) - n(z). Let r be (82/(-41))/(1/(-4)). Is 14 a factor of s(r)?
True
Is 35 a factor of 3*-1*(-3)/(-3) - -6198?
True
Let q(o) = 24*o + 8. Let d be q(9). Let b = d - 127. Suppose p - 2*c = b, 2*p - 5*c = 5*p - 302. Does 9 divide p?
True
Let l be 82544/440*(0 - -5). Suppose 3*h + 2*b = 4*b + l, 5*b = -20. Is 13 a factor of h?
False
Let s(n) = n**2 - 5*n + 89. Let x = -322 + 338. Is 11 a factor of s(x)?
False
Let n = -53 - -63. Is 39 + n/((-60)/18) a multiple of 3?
True
Let n = 1751 + 2772. Is 209 a factor of n?
False
Let j = 7 + -5. Suppose -j = -4*f - 5*s, 4*s - s = -5*f + 9. Let m(h) = 9*h**2 - 3*h. Is 24 a factor of m(f)?
True
Suppose -5*m - 2264 = -m. Let p = -326 - m. Is 4 a factor of p?
True
Suppose 2*d = -5*m + 40727, 314*d - 312*d - 32580 = -4*m. Does 20 divide m?
False
Let b(a) = -2*a**3 - 16*a**2 + 42*a - 34. Let v(n) = n**3 + 17*n**2 - 41*n + 34. Let o(q) = -2*b(q) - 3*v(q). Is o(17) a multiple of 7?
False
Let b = -3754 + 4384. Let s = -6 + 12. Suppose s*g - g = b. Is g a multiple of 17?
False
Let r(o) = -2*o**2 - 16*o + 6. Let j be r(-8). Let h be -4 - (-2)/(6/13)*j. Let d(x) = x**3 - 23*x**2 + 28*x - 20. Does 28 divide d(h)?
True
Does 13 divide ((-13)/26)/(8/(-1248))?
True
Suppose 175*p - 149*p - 483726 + 6366 = 0. Is 60 a factor of p?
True
Let s(l) = l**3 + 43*l**2 - 106*l + 41. Let c be s(-46). Let v = c + 2144. Is v a multiple of 23?
True
Let m(n) = -n**3 + 3*n - 3. Let g be m(2). Let k = g - -7. Suppose k*b = 4*c + 38, c + 0 = 1. Is 6 a factor of b?
False
Let y(k) = 81 + 81 + 73 + k**2 - 6*k - 230. Is 18 a factor of y(-13)?
True
Let u = 9139 - 1855. Is u a multiple of 45?
False
Let w(q) = -4*q. Let y(t) = -t - 1. Let a(b) = -3*w(b) + 21*y(b). Let h be (4 - (-22)/(-1))*(-5)/(-15). Is a(h) a multiple of 33?
True
Let z = 1965 + -3691. Does 13 divide 1/(10354/z - -6)?
False
Suppose b - w + 3*w - 2 = 0, -2*w = 2*b + 4. Let s be b/30 - ((-3636)/10)/(-2). Let x = s + 333. Is x a multiple of 45?
False
Suppose -5*t + 3*t - 8 = 0. Let l(f) be the second derivative of 13*f**4/12 - 5*f**3/6 - 6*f**2 + 2928*f. Does 43 divide l(t)?
False
Suppose 0 = -3*t + 3 + 3. Let u = 1386 - 869. Suppose -5*c + u = -4*x, t*c - 235 + 33 = 4*x. Is 