+ 112 = 4*l. Does 18 divide w?
False
Is 5 a factor of 188 + (4 - 4 - 2)?
False
Let g be 6/(-45) - 3246/(-45). Let s = 126 - g. Is 18 a factor of s?
True
Let c = -2 - -2. Suppose c*i + 210 = 3*i. Is i a multiple of 14?
True
Suppose -4*q = -3*q + 3*d - 32, q = -4*d + 36. Is q even?
True
Suppose -18*l - 16155 = -27*l. Is l a multiple of 12?
False
Let o(u) = u**3 - 11*u**2 + 28*u - 21. Is o(15) a multiple of 78?
False
Suppose -i - 432 = -3*z, -4*i + 68 = 4*z - 492. Suppose -818 = -5*k - z. Is k a multiple of 18?
False
Let t = -69 + 73. Suppose -t*z + 39 = 11. Does 2 divide z?
False
Let h(x) = -x**2 + 5*x + 5. Let z be h(4). Is (105/10)/(z/12) a multiple of 4?
False
Suppose 2*u - 10 = 0, 0*u = -d + 3*u - 9. Suppose -9*q = -d*q - 90. Does 8 divide q?
False
Suppose 5*z = -5, 24*v + 4*z + 4880 = 26*v. Is v a multiple of 53?
True
Let a = 358 + -638. Let d = -112 - a. Is d a multiple of 14?
True
Suppose 4*i - 98 = 3*q, -4*i - 22 = -q + 2*q. Is 2 + q/14 + 3782/14 a multiple of 22?
False
Let n = -18 + 26. Is 4 a factor of 238/n + 17/68?
False
Let k(b) = 52*b - 86. Is k(11) a multiple of 18?
True
Let y(c) = -c**3 - 6*c**2 - 4*c - 8. Suppose -4 = -4*r - 3*u + 4*u, r - 3*u = 12. Suppose 5*d + 0*d + 30 = r. Is y(d) a multiple of 8?
True
Suppose 0 = b + 5*y - 22, 4*b - 5*y - 4 = -16. Suppose 0 = -b*p - 0*p - 16. Let w = 5 - p. Is w a multiple of 7?
False
Suppose 5*g = -4*c + 7*c + 7188, 4*c = -2*g + 2896. Is 24 a factor of g?
True
Is 2777 + 4 + 1 + 2 a multiple of 16?
True
Suppose 4*h - 3*f - 557 = 0, -h + 2*f + 276 = h. Let u = -94 + h. Does 7 divide u?
True
Let z(l) = 3*l + 182. Is z(-38) a multiple of 34?
True
Suppose 5*s = 5*t - 605, -5*t = s + s - 633. Does 3 divide t?
False
Let t be -2*3/3 - -2. Suppose -5*d + 0 - 10 = t. Let l(g) = 4*g**2 + g - 2. Does 4 divide l(d)?
True
Suppose -4*j + 20 = 5*z - 30, -2*z + 4 = 0. Let n(k) = -j*k**2 + k**3 + 3 - 2*k - 4*k + 4*k**2. Does 6 divide n(7)?
False
Suppose -2*v + 0*v = -4. Let s(w) = 0 + 2*w**v - 6 - w + 0*w + 2*w. Is s(6) a multiple of 18?
True
Suppose -17*x + 25*x = 1792. Is x a multiple of 28?
True
Suppose 2*g + 8 + 44 = 0. Let h = g + 53. Is 13 a factor of h?
False
Suppose -5*a - 1 + 2 = 2*b, 0 = -5*b - 3*a - 7. Is -1*(b + 3) - -2 - -100 a multiple of 13?
False
Let y be -3 + 171/1 - -2. Suppose 2*l - y = -3*l. Is 6 a factor of l?
False
Let f(q) = q**2 - 12. Let x = -85 + 57. Let s = x - -33. Is 3 a factor of f(s)?
False
Let z(b) be the second derivative of 47*b**5/20 + b**2/2 + b + 86. Suppose 12 = 4*h + 4*q, 0*h + 4 = -4*h + 4*q. Is z(h) a multiple of 12?
True
Let d(g) = -g**3 - 7*g**2. Let h be d(-7). Suppose h*f + f = 164. Is 14 a factor of 2/3 + f/6?
True
Suppose 2*l - 164 = -2*y, 6*y - 322 = -4*l + 4*y. Is 25 a factor of l?
False
Suppose -25 = -25*d + 20*d. Suppose -1152 = -d*w - 3*w. Is 18 a factor of w?
True
Suppose 6*l + 73 - 241 = 0. Is 47 a factor of 3960/l - 6/14?
True
Let y = 145 - 146. Is (1 - y - 38)*(-10)/20 a multiple of 6?
True
Suppose 0 = 4*m - 2*z - 4, -z = 3*m - 3 - 0. Suppose -2*x + 5 - m = -5*n, 6 = 3*n. Let j = x - -15. Does 22 divide j?
True
Suppose 0 = -2*s - 4*z + 2759 + 533, 16 = 4*z. Is 78 a factor of s?
True
Let x(b) = b + 16. Let p be x(-12). Suppose p*c + c + 2*z - 331 = 0, -68 = -c - z. Does 22 divide c?
False
Suppose -2*o - 4 = -4*o. Suppose -2*a = o*z + 20, -4*a - 33 = -0*z + 3*z. Does 6 divide (-100)/(-35)*z/(-2)?
False
Suppose 0 = 2*y - 4*y + 4, 5*b = -y + 292. Is b a multiple of 8?
False
Let u = -56 + -22. Is 47 a factor of u/4*-2*5 + -4?
False
Suppose -5*i - 17 = 4*b + 50, -74 = 4*b - 2*i. Is (-1454)/b + (-8)/(-36) a multiple of 12?
False
Let n be (-124)/(-16) - (-2)/16*2. Is (-870)/(-4) + n/16 a multiple of 34?
False
Let i(g) be the third derivative of -1/120*g**6 - 1/10*g**5 - 5*g**2 + 0 + 0*g - g**3 + 5/24*g**4. Is i(-7) a multiple of 5?
False
Let o be 1 - 94/(-14) - (-4)/14. Suppose -2*x - o + 28 = 0. Is 3 a factor of x?
False
Suppose 0 = 3*l + 2*b - 19, 3*l + 3*b = 2*l - 3. Let v(o) = 4*o**3 + l*o + 2*o + 10*o**2 + 4 - 3*o**3. Does 11 divide v(-8)?
True
Suppose 30*o = 29*o + 4. Suppose 0 = 2*m - o*m + 368. Is m a multiple of 46?
True
Let k(d) = -154*d + 34. Is k(-5) a multiple of 3?
True
Suppose 4*z + 3*q = 28, -13 = -5*z + q + 3. Let k be ((-4)/3)/(z/(-12)). Suppose k*h + 65 - 193 = 0. Is 9 a factor of h?
False
Let h = 312 - 127. Does 17 divide h?
False
Let n be (-42)/28 + (-3)/(-2). Let a(d) = d**2 + 5*d - 83. Let q(p) = p**2 + 4*p - 84. Let h(i) = 2*a(i) - 3*q(i). Is 20 a factor of h(n)?
False
Let h = -152 - -252. Is h a multiple of 11?
False
Suppose -43*s + 44*s = 4*t - 4118, 5*s - 5135 = -5*t. Is 8 a factor of t?
False
Let m(n) = -n + 20. Let w be m(18). Is (w - 1)*(155 - -2) a multiple of 12?
False
Let s(t) = -3*t**2 - 17*t - 13. Let g(z) = -4*z**2 - 18*z - 14. Let o = -10 + 5. Let k(y) = o*s(y) + 4*g(y). Does 11 divide k(7)?
False
Is 20 a factor of (188/16 - 7)*36?
False
Suppose 4*s + 8*l = 224, -8*s + 11*s + 3*l = 183. Does 3 divide s?
True
Does 10 divide (9/(-6)*-20)/((-2)/(-38))?
True
Suppose 642 - 3972 = -6*t. Is (16/40)/(1/t) a multiple of 37?
True
Suppose 12*z - 2527 - 1613 = 0. Is z a multiple of 40?
False
Let q = 2 - -1014. Does 29 divide q?
False
Is 11 a factor of (-8 + 2)/(250/28 - 9)?
False
Let g = 491 - 285. Suppose 4*f - 334 = g. Does 27 divide f?
True
Let y be (60 + 1)*(-3 - -1 - -4). Suppose 0 = m + 3*a - y + 23, 0 = -5*m - 5*a + 445. Does 21 divide m?
True
Suppose 8 = 3*g - 7. Suppose -2*v - 4*t = 3*v - 96, 0 = 2*v - g*t - 12. Does 8 divide v?
True
Suppose -3*h + 9 = -3. Does 5 divide 4*(h - 6)*8/(-1)?
False
Let p(v) = 2*v - 16. Let q be p(9). Suppose q*t + 13 = s, -4*t = -9 + 1. Is s a multiple of 3?
False
Does 6 divide (-7 - 1676/10)*-5?
False
Suppose 0 = -3*i + 2*i - 50. Let m = i - -116. Does 11 divide m?
True
Let d be 10/3*(-3)/(-2). Suppose d = 3*b - 4. Suppose -b*a + a + 112 = 0. Does 14 divide a?
True
Let j(r) = 141*r**2 - r. Let p = -46 - -47. Is 35 a factor of j(p)?
True
Suppose 2*k = -4*k + 12. Suppose -c - 4*d + 16 = 0, -k*d - 5 = -2*c - 3. Is c a multiple of 2?
True
Let h = -14 + 18. Suppose 2*f - p = 36, -h*f + 4*p + 93 = f. Is f a multiple of 17?
True
Is (-304392)/(-374) + (-6)/(-51) a multiple of 11?
True
Let q(z) = -3 - 4 + 12 - 12*z - z**2. Suppose -5*d - 3 = 47. Does 9 divide q(d)?
False
Let j(l) = 18*l**3 - 11*l**2 + 53*l - 4. Does 13 divide j(5)?
True
Suppose 84*h = 77*h + 735. Does 34 divide h?
False
Suppose -4*y - 116 = 4*i, -2*y + 11 - 73 = -2*i. Let f = -26 - y. Suppose -2*w + 19 = -w + 4*h, -f*h + 8 = 0. Is w a multiple of 11?
True
Suppose 0 = -2*k - 3*q + 485, -49 - 912 = -4*k + 3*q. Is 2 a factor of k?
False
Suppose 0 = -3*b + 5*i + 18 + 9, -3*i + 11 = 5*b. Suppose 0 = b*f - 17*f + 1599. Does 5 divide f?
False
Is 2325/30 + 1/2*-1 a multiple of 6?
False
Suppose -2*m - 2 + 8 = d, -d - 5*m = -12. Does 14 divide d/(-5) + (-564)/(-10)?
True
Let f be (16/10)/(26/65). Let i be 370/(-45) - f/(-18). Let l(n) = -5*n - 13. Does 7 divide l(i)?
False
Let k = -94 + 724. Does 63 divide k?
True
Let h(g) = 3 + 5*g + g**2 + 5 - 2 + 0*g**2. Let t be h(-4). Is 6 a factor of 14 + (-7)/(7/t)?
True
Does 7 divide (-2 + 138/15)/(7/140)?
False
Suppose -m + 3*g - 533 = 7*g, -2640 = 5*m - 5*g. Is 23 a factor of m/(-3) + (-33)/99?
False
Let l(s) = 3*s**2 - 2*s - 8*s + 5 - s**2. Let w be l(8). Does 17 divide (-4)/((-4)/w) + -2?
True
Let t(f) = -35*f + 6. Let p(c) = -c - 1. Let x(z) = 4*p(z) + t(z). Is 28 a factor of x(-3)?
False
Let u = -28 + 43. Suppose -74 = u*n - 17*n. Is 12 a factor of n?
False
Suppose -21*v + 3584 - 854 = 0. Is v a multiple of 13?
True
Let c(z) = 3*z**2 + 8*z**2 + 2*z + 1 + z**2. Is c(2) a multiple of 7?
False
Let z(x) = x**3 + 22*x**2 + x + 55. Is 16 a factor of z(-19)?
False
Suppose 9 - 3 = -s. Let u = s - -9. Does 12 divide (-2)/u + 74/3?
True
Let y be (12 - 12)*(0 - (2 - 3)). Suppose -3*r - 2*w - w = -204, -r + w + 68 = y. Is 17 a factor of r?
True
Let d(q) = -9*q - 18. Let s be d(-7). Is 1107/s + (-2)/(-5) a multiple of 5?
True
Is 27 a factor of (-163728)/162*9/(-6)?
False
Let l(n) = n**3 - n. Let g(a) = 14*a**2 - 3*a - 3. Let b(y) = -g(y) + l(y). Is 11 a factor of b(14)?
False
Let x be 2/(-1*(-2)/(-16)). Let r = x - -22. Is 12 a factor of 1/(-2) + 75/r?
True
Let i = 10980 - 5689. Is i a multiple of 13?
True
Sup