 0, 163 + 128 = 2*h + 3*x. Let j = h - 139. Is j a multiple of 7?
True
Let m(k) = -30 - 1 - 18*k - 20. Is m(-12) a multiple of 36?
False
Suppose 2*f = -4*b + 34, b - 5*f + 9 = 1. Suppose b*s + 0*s = 210. Does 30 divide s?
True
Let k be (-2 + 0 - -72) + 7 + -5. Let m = k - 38. Does 17 divide m?
True
Let m be (-6)/(0 + (-8)/4). Suppose 0*c + m*c + 9 = 0, 2*k + 4*c + 6 = 0. Suppose s = -k*s + 192. Does 30 divide s?
False
Let a(g) = 4*g**2 + 8*g - 8. Let o be a(-7). Suppose 0 = -2*p + 4*l + o, 6*p + 2*l - 114 = 4*p. Is 12 a factor of p?
True
Let k = -231 - -341. Is 22 a factor of k?
True
Is 107 - (1 + -2 + 2)/(-1) a multiple of 12?
True
Let p be (343/21)/(3/(-9)). Let o = -15 - p. Does 6 divide o?
False
Suppose 0 = p + 2 - 5. Let l = 4 - p. Let g(b) = 28*b**3 + b**2 + b - 2. Is 9 a factor of g(l)?
False
Suppose -2*j - 3*j - 26 = -3*g, -4*g - 3*j - 4 = 0. Let o(m) = -9 - m**g - 11 + 2*m**2 - 5 - 14*m. Is o(17) a multiple of 17?
False
Suppose 2*n - 45 + 17 = 0. Let l = n + -11. Is l a multiple of 3?
True
Suppose a - 96 = 3*o, -4*a + o = -504 + 164. Is 4 a factor of a?
True
Let w(p) = p**3 - p**2 - p - 3. Suppose k + 5 = -3*u + 7*u, -9 = -5*k + 3*u. Does 12 divide w(k)?
True
Let i(x) = x**2 - 29*x + 130. Is i(25) a multiple of 6?
True
Suppose -15*a + 94 = -11456. Is 55 a factor of a?
True
Suppose 27*z - 19*z = 144. Suppose c + z = t - 10, -2*t + 59 = c. Is 14 a factor of t?
False
Let t = -222 + 682. Suppose -7*k - 194 + t = 0. Is k a multiple of 13?
False
Let w(h) = -h**2 - h + 2. Let z be w(-2). Suppose -2*y - 32 = -4*r, -2*y - 2*y - 5*r - 12 = z. Is 4/(-16) + (-338)/y a multiple of 14?
True
Suppose 0*k - k = 0. Suppose 0 = -4*x - 3*p - 32, -3*x - 2*p - 15 - 9 = k. Is 2 a factor of -3*5/(20/x)?
True
Suppose 2*g + 18 + 16 = 0. Let u = -42 - g. Let b = 5 - u. Does 10 divide b?
True
Suppose 5*y + 5*w - 180 = 0, 3*y + w - 106 = -w. Is y a multiple of 34?
True
Let o(d) = -5*d**3 - 2*d**2 - 4*d - 2. Let i be o(-2). Suppose 0 = -j - 0 + i. Is 13 a factor of j?
False
Suppose -2*r = 2*i + 186, -2*r - 2*i + 3*i = 192. Let f = r - -313. Is f a multiple of 21?
False
Suppose -5*y + 29 = -b, -4 = -y + 4*b - 2. Suppose -8*g + 120 = -y*g. Let x = g - 29. Is x a multiple of 17?
False
Suppose -2*n = 4*t + 20, -2*t + 4*t + 10 = 5*n. Let w(q) = q**3 + 5*q**2 - 6*q + 1. Is w(t) a multiple of 7?
False
Let i(v) be the third derivative of -7*v**6/24 - v**5/20 - 18*v**2. Is 22 a factor of i(-1)?
False
Is (108/10)/(45/7800) a multiple of 39?
True
Suppose 0*n - 5*n - 609 = -2*h, 4*h - 3*n = 1197. Does 4 divide h?
False
Let d = 281 - 154. Is 9 a factor of d?
False
Suppose 5*n + 11 = -9. Let g = n - -54. Is g a multiple of 10?
True
Suppose -2*k - 5*n + 33 = -5*k, 0 = 4*n - 12. Let u be (6/5)/(k/(-40)). Is (-2)/u + 514/8 a multiple of 16?
True
Let d(w) = 48*w - 1. Let k be d(1). Let g = 98 + k. Does 21 divide g?
False
Is ((-11504)/(-12))/((-18)/(-27)) a multiple of 120?
False
Suppose -2072 = -25*x + 178. Does 33 divide x?
False
Let x(l) = 20*l + 71. Let n(d) = 40*d + 142. Let z(v) = -2*n(v) + 5*x(v). Is z(9) a multiple of 16?
False
Let w = 28 - -100. Is w a multiple of 10?
False
Suppose 6*i + 1120 = -2*i. Let m = i - -259. Does 13 divide m?
False
Let s(p) = -2*p**2 - p - 11. Let h be s(-3). Is h/39*(1 + -16) a multiple of 2?
True
Let u = -5 + 8. Suppose 3*c - 112 = -3*x + x, -u*x = -5*c + 174. Suppose 2*q = -2*q + c. Is q a multiple of 3?
True
Suppose 2*s + 4*l = 68, 4*s + 0*l - 4*l = 148. Is 4 a factor of s?
True
Let o = 109 - 129. Suppose 4*m + 35 = -u, 4*m + u = 3*u - 38. Let q = m - o. Is 5 a factor of q?
False
Let c = -868 - -1176. Does 26 divide c?
False
Suppose f + 21 = 5*t + 2*f, -13 = -3*t - f. Suppose l - t*l + 99 = 0. Does 11 divide l?
True
Let t(p) = -p**3 + 6*p**2 - 2*p + 3. Suppose 6*q = 5*q + 5. Is 6 a factor of t(q)?
True
Is 12 a factor of 5 + 1/(-1) + (4 - -902)?
False
Let s(j) = -253*j - 40. Let o(l) = -169*l - 27. Let v(p) = 8*o(p) - 5*s(p). Is 49 a factor of v(-3)?
True
Let c = -168 + 357. Does 25 divide c?
False
Suppose -3*w - 489 = -3*j, -j - 2*w - 812 = -6*j. Let z = j + -125. Is z a multiple of 6?
False
Is (-12208)/(-84) - (-1)/(-3) a multiple of 11?
False
Let m(w) = -10*w**3 - w**2 - 4*w - 3. Let y be m(-1). Suppose q + 414 = y*q. Is q a multiple of 6?
False
Let o be ((-42)/9)/(-7)*6. Suppose -2*z + 32 = -5*z - o*l, 5*z + 40 = -4*l. Is ((-156)/(-4))/((-2)/z) a multiple of 18?
False
Let x(t) be the first derivative of 179*t**3/3 + 2*t**2 - 5*t - 15. Is x(1) a multiple of 35?
False
Is 3*((-9 - -5) + 3680/6) a multiple of 4?
True
Let d = 1350 - 481. Does 6 divide d?
False
Let h be 6/((-24)/(-20))*1. Is 7 a factor of ((-12)/h)/(5/(-175))?
True
Let g be 12/(-18) - (-2)/(-6). Let m = g + 3. Suppose -165 = -a - m*a. Is a a multiple of 28?
False
Suppose 4*x = -4*u - 127 - 85, 49 = -u - 3*x. Let l = 79 + u. Does 21 divide l?
False
Suppose 3*j - 2*m - 191 + 15 = 0, 5*m = 2*j - 99. Let z(y) = -18 + 51*y + j - 50*y. Is 11 a factor of z(0)?
True
Suppose -q = -w - 7, -w + 4*q + 0 = 10. Let b(d) = 3*d**2 + 6*d + 9. Is b(w) a multiple of 14?
False
Suppose -2*t + 0*f = -f - 1, -5*t = -3*f. Does 27 divide 14/t*-4*-3?
False
Let o = -22 + 44. Let j = o - -98. Is j a multiple of 20?
True
Let w be (-20)/6*(41 + 1). Let q = w + 215. Does 17 divide q?
False
Let b = -70 - -126. Let t = -28 + b. Is 7 a factor of t?
True
Suppose -4*i = 2*y - 554, i = -4*y + 98 + 23. Let h be 23*(-4 - (-1)/1). Let t = h + i. Is 24 a factor of t?
True
Does 49 divide (-1 + 3)/(-4 + (-9247)/(-2310))?
False
Suppose -1190 - 445 = -15*s. Is s a multiple of 8?
False
Suppose 0 = -45*i + 57*i - 13524. Is i a multiple of 23?
True
Is 29 a factor of (-205)/(-3) + -1 + 2/3?
False
Let y(z) = 222*z**3 + 2*z**2 - 24*z + 23. Does 16 divide y(1)?
False
Let r be (-14)/(-4)*(-48)/(-28). Let i be (-6)/(0 + r/(-87)). Is 21 a factor of -6*(i/(-9) - 3)?
False
Suppose -3*f = 26*f - 45675. Does 107 divide f?
False
Let a = -539 - -1007. Is a a multiple of 39?
True
Suppose 125 = 5*t - 150. Let h = 81 - t. Suppose -h - 10 = -3*p. Does 12 divide p?
True
Let n(x) = -x**3 - 6*x**2 + x - 7. Let t be n(-6). Let s = t + 15. Suppose s*f - f = 3. Is 3 a factor of f?
True
Let i = 29 - 27. Suppose i*c = 4*c - 32. Is 508/c + (-6)/8 a multiple of 10?
False
Suppose 2*l - 9*r + 13*r - 578 = 0, l - 293 = -r. Is l a multiple of 17?
False
Let n(q) = 2*q**3 - 9*q**2 + 11*q - 2. Let t = -12 + 17. Does 12 divide n(t)?
False
Let w = -622 + 1272. Is w a multiple of 5?
True
Let i be 88/6 - (-10)/(-15). Does 16 divide ((-24)/10)/(i/(-665))?
False
Let p(t) = 8*t + 2. Let x be p(1). Let v be -3*(-3 - (-8)/2). Let l = v + x. Is 5 a factor of l?
False
Let k = 299 + -74. Does 37 divide k?
False
Let p = 24 - 29. Does 10 divide p/(-4)*(-7 - -15)?
True
Let r(b) = 3*b**2 + 22*b - 40. Does 16 divide r(-14)?
True
Let u be 3/(-2)*228/(-18). Suppose -3*j + u = 4. Let y(g) = 7*g - 11. Does 11 divide y(j)?
False
Let n(p) be the first derivative of p**6/360 - p**5/60 + p**4/6 - p**3/3 - 7. Let r(f) be the third derivative of n(f). Is r(0) a multiple of 3?
False
Let o = 11 - 1. Suppose 5*y + 0*k - 30 = k, -y + o = -k. Suppose 0 = m + y, 3*m - 35 = -3*a + 67. Is 39 a factor of a?
True
Let l be 2*(13/(-2) + 2). Let a be l/(-12) + (-33)/12. Is 52 + a + (-2 - 1) a multiple of 32?
False
Let m(g) = g**3 - 16*g**2 + 14*g + 12. Let i be m(15). Is (0 + i/6)/((-2)/92) a multiple of 9?
False
Suppose -2946 + 4216 = 10*j. Is j a multiple of 12?
False
Let h(j) = -2*j**2 - 4*j - 4. Let u be h(-2). Let a(y) be the first derivative of 2*y**3/3 + y**2 - 8*y + 5. Is a(u) a multiple of 16?
True
Is (1 + 40/24)/((-4)/(-582)) a multiple of 9?
False
Let z = -179 - -181. Let m be (-2)/(-1*1*1). Suppose -15 = 5*y, -m*f = z*f - 2*y - 150. Does 12 divide f?
True
Let k = 84 - 10. Let q = -17 + k. Suppose q = -0*n + 3*n. Is n a multiple of 14?
False
Let v be 115*(23/5 + 12/(-3)). Suppose -3*j + v + 492 = 0. Is 37 a factor of j?
False
Let w be (-8)/(-12) - 23/3. Let b(d) = 3*d**2 + 7*d + 6. Let k(a) = -4*a**2 - 8*a - 7. Let o(p) = 3*b(p) + 2*k(p). Is 15 a factor of o(w)?
False
Let f(j) = -j**3 + 5*j**2 - 18*j - 8. Let m be f(-8). Does 6 divide (280/45 - 6) + m/18?
True
Let a be (340 - 1) + (7 - 10). Suppose 4*b - 2*b - a = 0. Is 28 a factor of b?
True
Let w = 1561 + -663. Is w a multiple of 4