12 = 2. Suppose p = u + 3. Suppose 0 = -u*t + 24 + 6. Is t a multiple of 8?
False
Suppose 0 = 40*y - 39*y. Suppose -5*a = -25, 4*c + 0*a + 4*a - 1064 = y. Is 44 a factor of c?
False
Suppose 0 = -99*v + 104*v - 4105. Does 17 divide v?
False
Suppose 0 = -w + 246 + 99. Does 69 divide w?
True
Suppose 128 = -3*u + 542. Does 17 divide u?
False
Let g = 14 - 20. Let p = g + 10. Suppose -4*c + 5*o + 52 = 0, p*o = c + 3*c - 52. Is c a multiple of 4?
False
Suppose c - 1 = 2. Suppose 73 = 5*a - 3*l, -3*a - 1 = -c*l - 40. Suppose 0 = -z + a - 11. Is z a multiple of 3?
True
Let k = 71 + -76. Is 3/5 + (-97)/k a multiple of 4?
True
Let h(f) = 22*f + 154. Is h(41) a multiple of 27?
False
Suppose 0 = -3*d - 6, 0*u + 5*d = -4*u + 78. Let s = 30 - u. Does 4 divide s?
True
Is -6*(0 - 81/2) a multiple of 9?
True
Let y(k) = k**3 + 8*k**2 - 21*k - 10. Does 33 divide y(8)?
False
Let a(c) = c**3 - 7*c**2 + 7*c - 6. Let v be a(6). Suppose v = 3*j + 5*l + 21 - 2, 4*j = 4*l + 28. Suppose 0 = 3*b, 5*y - 58 = -j*b + 27. Is y a multiple of 13?
False
Let p = 57 - 36. Suppose -7*v + 1253 + p = 0. Is 13 a factor of v?
True
Let g(r) = r**3 - 4*r**2 + 6*r + 8. Let t be g(5). Let q = t - 15. Is 16 a factor of q?
True
Suppose -252*w - 3030 = -257*w. Is w a multiple of 86?
False
Let s(k) = 2*k**3 + 27*k**2 - 29*k - 3. Is s(-12) a multiple of 41?
False
Suppose 2*l - 7*l + 2*s = -303, 4*s - 187 = -3*l. Is l even?
False
Is (-199 + 135)/((-1)/10) a multiple of 20?
True
Suppose 595 = 11*r - 1649. Let v = 290 - r. Is 14 a factor of v?
False
Suppose -2*s - 7 + 19 = 5*w, s = -2*w + 5. Suppose 2*h = -4*d + w + 6, -3*d = 2*h - 6. Is (1 - -1) + (h - -20) a multiple of 22?
True
Let l(c) = 3*c**3 + 32*c**2 - 49*c + 49. Let o(t) = 2*t**3 + 21*t**2 - 33*t + 33. Let y(u) = 5*l(u) - 7*o(u). Is y(-14) a multiple of 7?
True
Suppose c + 2*g - 441 = 163, 0 = -3*c - 4*g + 1816. Is 16 a factor of c?
True
Let j(f) = 40*f - 34. Let l be j(23). Suppose 0 = 2*g + c - 383, -3*c + 135 = -4*g + l. Is 38 a factor of g?
True
Suppose 37 = f - 32. Suppose -699 = -f*k + 66*k. Does 29 divide k?
False
Is 88 a factor of (-12344)/(-10)*(-24 + 1007/38)?
False
Let z be 4/10 + (-114)/(-15). Suppose -z*l + 365 = -3*l. Is l a multiple of 10?
False
Let u(o) = o**3 + 26*o**2 - 23*o + 40. Is 16 a factor of u(-12)?
False
Is (-126)/189*(128 - -1)*-17 a multiple of 17?
True
Let a be 80 + (-4)/(-1) + -2. Suppose 3*u = 2*d + 148, -u + 66 = -2*d - a. Let f = 109 + d. Does 10 divide f?
False
Let v be (-1 - 1)*6/(-12). Let n be v + 18 - (-3 + 0). Suppose 10 + n = q. Does 11 divide q?
False
Let a = 25 + -36. Let g(u) = -4*u - 35. Is 3 a factor of g(a)?
True
Let g(l) = -l**3 - 37*l**2 + 9*l + 58. Does 58 divide g(-38)?
True
Let l = -19 - -24. Let u(m) = -7 - 2*m + 5*m - 16*m + l*m. Is 24 a factor of u(-4)?
False
Let x(d) = 16*d**2 - 17*d + 117. Does 10 divide x(5)?
False
Let w be ((-10)/15 + 16/6)*1. Is 25 a factor of (-4 + w/4)*-50?
True
Let t be ((-24)/28)/(-2*6/56). Suppose t*y = -i + 104, -2*y + 445 = 5*i + 15. Is 12 a factor of i?
True
Suppose 3*f = 3*k + 864 + 39, -4*k = -5*f + 1509. Is 12 a factor of f?
False
Suppose -4*m + 4*n + 232 = -1084, -m + 4*n + 341 = 0. Is m a multiple of 13?
True
Suppose -2*u + 2 = -2. Suppose -g - u*s = 2*s - 58, -4*g - 2*s + 176 = 0. Does 14 divide g?
True
Suppose -37 = -0*a + a. Let p = a + 182. Does 21 divide p?
False
Suppose -i + 4 = 3*r, -3*i + 3*r - 17 = -5*i. Let g(f) = -f**3 + 14*f**2 - 2*f - 19. Is 31 a factor of g(i)?
True
Let b be -2 + 2 + (-3 - -21). Let c = b - 13. Let f = c - 0. Is f even?
False
Suppose -2*v - 4*i - 316 = -4*v, 2*i - 592 = -4*v. Suppose 0 = -3*a + 3*w + v, -3*a + 3*w + 154 = w. Let p = a - 26. Does 14 divide p?
True
Suppose 4*y + 3*n = 297 - 28, 4*y - 274 = 2*n. Suppose -y = -2*g + g. Is 34 a factor of g?
True
Let v = -13 - -13. Let s be (38/(-6) - v)*-42. Suppose 2*c + 69 = -3*t + s, -5*c - 232 = -4*t. Does 18 divide t?
False
Suppose 42 = -r + 228. Does 15 divide r?
False
Let m be (-464)/(-144) + 4/(-18). Suppose 3*j - 255 = m*b, 0 = 2*j - 7*b + 4*b - 166. Is j a multiple of 12?
False
Let x = -3 + 4. Let m be ((-33)/15)/(x/(-5)). Suppose -j = -2*u + m, -j = 4*u - 6*j - 19. Is 3 a factor of u?
True
Is ((-980)/(-560))/(2/864) a multiple of 63?
True
Suppose 5*j + 6 = -3*i - 4, 3*i - 15 = 0. Let u(z) be the first derivative of z**4/4 + 2*z**3 + z**2 - 7*z + 1. Does 3 divide u(j)?
False
Suppose r = 4*f + 65, -3*f + 5*r = 2*f + 100. Is 28 a factor of (-2)/15 - 872/f?
False
Let q(n) = 5*n**2 + n - 4. Let o be q(-2). Suppose -2*c + 162 = o. Is 37 a factor of c?
True
Let u = 49 - 45. Does 16 divide 2 - (412/(-6))/(u/12)?
True
Suppose 450 = 3*s - 3*m, -4*s + 3*m + 580 = 4*m. Is 8 a factor of s?
False
Suppose -4*w + r + 210 = 0, 5*w + 2*r - 30 = 226. Let o = w - 13. Suppose 2*h - o = h. Is h a multiple of 13?
True
Let n(m) = m + 66. Let x be n(0). Let o = x - 14. Does 26 divide o?
True
Let g(z) = 7*z**2 - 16*z + 9. Does 6 divide g(-5)?
True
Suppose 2*u - 35 + 3 = 0. Suppose 4*f + 0 = u. Suppose 15 = j + f*j. Is j even?
False
Suppose 3*b = -2*m + 2306, -2*b - 778 = -3*b + 4*m. Is 39 a factor of b?
False
Suppose 27 = 2*t + 4*d - d, -5*t + 15 = -3*d. Let a be t/(-8) - (-99)/36. Suppose 3*s + 5 = -2*p + 6*p, a*p = s + 5. Is p a multiple of 2?
False
Suppose -5*k + 2*k = 0. Suppose 7*o - 9*o + 8 = k. Is 95*(o - (-15)/(-5)) a multiple of 30?
False
Does 14 divide 948/(-42)*42/(-12)?
False
Let f = 3823 - 2602. Does 6 divide f?
False
Suppose -4*f - 9*h + 1856 = -8*h, 4*h + 1876 = 4*f. Does 6 divide f?
False
Let x be 32/2*(-12)/24. Let g(b) = 2*b**2 + 9*b + 28. Is g(x) a multiple of 28?
True
Let n be -15*((-5)/3 + (3 - 2)). Suppose v - 220 = -n*v. Is 10 a factor of v?
True
Let j = 2859 - -422. Is 17 a factor of j?
True
Let j = 142 + -140. Suppose 3*v + 108 = p - 0*p, j*p = v + 211. Is 7 a factor of p?
True
Let y(l) = 3*l**2 - 16*l + 11. Is 17 a factor of y(11)?
False
Is 6*(-70)/(-2)*15/45 a multiple of 70?
True
Let y be 3 + (20/4 - -162). Let w = y - 134. Is w a multiple of 3?
True
Let x = -30 - 92. Let d = x - -222. Is 10 a factor of d?
True
Does 44 divide (3264/3 - -7) + 5?
True
Does 10 divide (-11)/(-22)*(-2 - -2) - -820?
True
Suppose -18*u + 4713 + 9741 = 0. Does 57 divide u?
False
Let b(s) = 28*s**2 - 15*s**2 - 12*s**2. Does 25 divide b(-10)?
True
Let z(k) = 4*k**2 + 43*k - 7. Is 55 a factor of z(-13)?
True
Is 4763 - -12*(-8)/(-16) a multiple of 23?
False
Let p be (2/5)/((-9)/(-90)). Let q be ((-6)/24)/(1/p). Let l = 27 - q. Is l a multiple of 7?
True
Suppose -3*j = j - 952. Is 17 a factor of j?
True
Let u(x) be the first derivative of 1/3*x**3 - 2*x**2 - 5 - 1/4*x**4 - x. Is u(-3) a multiple of 25?
False
Let h be (-17 + 60)/(-2 + 2/2). Let u = h + 155. Does 45 divide u?
False
Let k(n) = n**3 + 9*n**2 - 10*n - 3. Let b be k(-10). Let v be 53*b - (-1 - 0). Let j = 268 + v. Does 25 divide j?
False
Let l(m) = 143*m**2 - 3*m + 1. Let j(z) = 2*z + 1. Let g be j(0). Does 16 divide l(g)?
False
Let d be (-6 - 64) + (-4 - -2). Let m = d - -112. Does 6 divide m?
False
Let y = -138 + 167. Does 20 divide y?
False
Is 14 a factor of ((-40)/(-60))/(2/168)?
True
Suppose -m - 2*m = z - 1870, 3*m - 1866 = 3*z. Does 7 divide m?
True
Suppose 2*n + 5*b - 38 = -15, 2*b - 6 = 0. Let z = n + -6. Is 5 a factor of 1/2 - 25/z?
False
Let q be (340*1/3)/(4/12). Suppose 4*l = 3*k - q, -4*k - 5*l = k - 520. Does 9 divide k?
True
Let a be 4310/(-15)*(-3 - 0). Let k = a + -550. Does 34 divide k?
False
Suppose -3*s + 0*s = -4*o - 114, -5*s - 2*o + 216 = 0. Does 21 divide s?
True
Suppose 0 = s + 4*i + 4, 0*s = s + 2*i - 2. Suppose -5*c = -s - 12. Suppose -39 - 53 = -c*z. Is z a multiple of 23?
True
Suppose -4*j + 140 = 4*w, -j = -3*j + 2*w + 62. Is 9 a factor of (7 + -1)/2*j?
True
Suppose -4*f + 17 = -j, -4*j - 2*f + 23 = 1. Suppose 13 = j*b - 2*i, -b - 4*b = -i - 17. Is (-2 - 1)*(b + -4) even?
False
Let a be -7*3*(-6)/18. Suppose 2*b - t = 9 - 2, 4*t = b + a. Suppose -4*k + b*k - 40 = 0. Is k a multiple of 10?
True
Let n = 28 - 18. Is 1738/n + (-4)/5 a multiple of 39?
False
Let x(w) = -w**2 - 14*w - 11. Let z be x(-13). Suppose -z*m = -m. Suppose y + 5 = m, -2*u + y + 113 = -2*y. Does 15 divide u?
False
Suppose -2*b + 4*b = 10. Suppose 2*u - 70 = z, -b*u + z + 9 = -160. Let s = u - 11. Does 22 divide s?
True
Let b = -