m - 10*m. Is 17 a factor of m?
True
Let c(u) = u**2 - 3*u. Let g be c(3). Suppose -81 = -2*w + 4*k + 7, g = -2*k - 4. Is (-39)/(-2)*w/12 a multiple of 28?
False
Let n be 120/(-32)*200/(-6). Does 42 divide (0/(-2))/4 + n?
False
Suppose 0 = 4*d + 12, 6*d - 4*d = 3*u - 1002. Is u a multiple of 84?
False
Let u(p) = 3*p**2 - 8*p - 6. Let j be u(-6). Suppose j = 3*g - 48. Suppose -5*k + g = -99. Is 15 a factor of k?
False
Let j = -2 + 4. Let l(w) = -4*w**2 - 100*w - 80. Let q be l(-24). Let t = q - j. Is t a multiple of 14?
True
Suppose 0 = -5*u + 5*n + 19 - 4, n - 7 = -u. Suppose -5*z = 6*c - c - 220, c + u*z - 52 = 0. Does 6 divide c?
True
Suppose 48*t - 116419 + 45619 = 0. Is t a multiple of 58?
False
Is 41 a factor of (6/(-2))/(-2*(-8)/(-7440))?
False
Let s(m) = m**2 - 19*m + 8. Let r be s(8). Let p = 68 - r. Is 22 a factor of p?
False
Let h(g) = -16*g + 569. Does 77 divide h(-27)?
True
Let w(x) = x**2 - 14*x + 40. Let q be w(13). Is (q/9)/(2 + 447/(-228)) a multiple of 23?
False
Let y(n) = n**3 + 17*n**2 + 26*n + 22. Let o be y(-15). Let l = o - 70. Does 4 divide l?
True
Let c = 4574 + -3204. Is c a multiple of 15?
False
Let p be ((-32)/(-12))/(2/300). Suppose 43*j + p = 48*j. Is j a multiple of 8?
True
Let p(t) = -3*t**2 + 2*t + 617. Does 13 divide p(0)?
False
Let u(f) = -13*f**3 - 3*f**2 - 3*f - 18. Does 28 divide u(-6)?
False
Suppose -8*b = -3*b - 10. Suppose 56 = -b*i + 4*i. Does 14 divide i?
True
Let h = -290 - -23. Is 13 a factor of 1*h/(-18) + 1/6?
False
Let l be 1/((-1)/4 + 0). Let r be 1 + 6 + l + -63. Let q = -24 - r. Is q a multiple of 6?
True
Is 1028/(-3)*(-3)/((-3)/(-3)) a multiple of 8?
False
Let v(x) = -x**3 + 4*x**2 + 2*x. Is 2 a factor of v(4)?
True
Suppose 310 = m + 2*g, 580 = 3*m - m - 4*g. Is m even?
True
Let l = 15 - -139. Is 77 a factor of l?
True
Suppose -12*l + 4254 + 5682 = 0. Is l a multiple of 18?
True
Let p(z) = -140*z - 15. Let f(a) = -1260*a - 135. Let o(k) = -4*f(k) + 35*p(k). Is o(2) a multiple of 16?
False
Let m be 2*-1 + (-52)/13. Let c be (-2172)/(-21) + m/14. Let a = c + -31. Is a a multiple of 24?
True
Let n(h) = h**3 + 18*h**2 - 20*h - 13. Let u be n(-19). Suppose -2*i - u = 0, 0 = -5*t + 5*i + 68 + 37. Is 13 a factor of t?
False
Let q(u) = u**3 - 2*u + 7 + 6*u**2 + 2 - 1. Suppose 0 = -g - j - 2, -22*g + 24*g - 8 = -5*j. Is q(g) a multiple of 10?
True
Let i = 347 + -328. Is i a multiple of 8?
False
Let b = 3258 + -2138. Is b a multiple of 56?
True
Let b(v) = -18*v**2 + 5 + 51*v + 46*v + 49*v - v**3 - 150*v. Is b(-18) a multiple of 7?
True
Suppose -42*v - 3456 = -51*v. Is 16 a factor of v?
True
Let r be 134*1 - (-9 - -6). Suppose -5*q = -5*s - 695, -s - 8 = q - r. Does 25 divide q?
False
Is 13 a factor of (1779/(-6) - 3)/((-7)/14)?
False
Let c(s) = -52*s + 348. Is c(-21) a multiple of 90?
True
Let x(j) = j**2 + 13*j. Let i be x(-13). Suppose -4*y + 304 + 272 = i. Is 26 a factor of y?
False
Let w(o) = 2*o**3 - 7*o**2 - 7*o + 7. Let z be (2/(-6))/(3/108*-2). Does 18 divide w(z)?
False
Let h be (5/(-2))/(14/(-28)). Suppose -4*k + 4*r + 484 = 0, -2*k = -0*k - h*r - 254. Is 39 a factor of k?
True
Suppose -378 = -7*l - 0*l. Suppose -3*v + 96 = -l. Does 7 divide v?
False
Let r = -96 + 100. Suppose h = -5*b + 77, 0*b - r*b + 4 = 0. Does 16 divide h?
False
Suppose -900 = 11*v - 15*v. Let m be (v/27)/(1/(-3)). Let l = 38 + m. Is l even?
False
Let o(t) = -2*t + 2 - 5*t**3 - 3*t**2 - 6*t**2 + 5*t**2. Is 6 a factor of o(-2)?
True
Let v be (-18)/24 - 11/(-4). Is -3 - v/((-4)/206) a multiple of 20?
True
Let m(g) = 290*g**2 + 9*g + 9. Is m(-2) a multiple of 80?
False
Suppose -q + 16 = j, -25 = q + 4*q. Suppose 2*z + 2*s = -3*s + j, -4*s + 28 = 3*z. Suppose -3*d = i - z, -d - 4*d = 0. Is i a multiple of 3?
False
Let b = 3 - 1. Suppose -2*g = 3*h - 233, -g + 317 = 2*g - b*h. Is 25 a factor of g?
False
Let c(n) = -n**3 - 2*n**2 - 2*n. Let m be c(-2). Suppose 4*r + s + 0*s = -m, -3*r + 8 = -2*s. Suppose r = 3*z - 164 + 50. Is 19 a factor of z?
True
Let n(r) = r - 13. Let s be n(13). Suppose s = 6*o - 8*o + 56. Let c = 51 - o. Is c a multiple of 6?
False
Suppose -110 = 2*b + 114. Let f = b - -242. Is 13 a factor of f?
True
Suppose -5*m + 10 + 25 = 0. Suppose m*t = 23 + 19. Does 3 divide t?
True
Suppose b + 0*b = -2*b. Suppose -2*j - 2*d = b, 10 = j - 2*d + 1. Is 3 a factor of j?
True
Suppose s + 5*x = 0, 7 = 2*s + 2*x + x. Suppose s*d - 84 = -d. Is 3 a factor of d?
False
Suppose -15 = -5*i, -3*b - b = -4*i - 12. Is 34 a factor of 17*(-9)/b*-12?
True
Suppose -5*o = 5*x - 25, 0*o = x + 5*o - 5. Suppose -4*j + 9 = 2*f + f, -x = 5*f. Does 7 divide 45/j*1 - 1?
True
Suppose 0 = 5*r + 1254 - 6199. Is 23 a factor of r?
True
Let a(g) = -g - 20. Let r be a(-12). Let h = r - -71. Is 7 a factor of h?
True
Let a(r) = -38*r - 2. Let l be a(-4). Let d(k) = 150 - l - 8*k. Is d(-6) a multiple of 12?
True
Let m(g) = 11*g**3 + 2*g**2 - 2*g - 2. Does 10 divide m(2)?
True
Let x = 1000 - 260. Is x a multiple of 37?
True
Let y(o) = 248*o**3 + 3*o**2 - o + 3. Is y(2) a multiple of 6?
False
Let t = -561 + 570. Suppose 106 = 4*n - 118. Does 19 divide t/(-6*(-4)/n)?
False
Let u(s) = s**2 - 16*s - 9. Let z be u(16). Does 18 divide (z - 5)/(2/(-10)*2)?
False
Let k(b) = -b**3 - 24*b**2 + 4*b - 32. Let l be k(-23). Let o = -461 - l. Does 48 divide o?
True
Let h = 694 + -683. Is 8 a factor of h?
False
Suppose 2*m + 94 = -24. Let i = m - -34. Is 8 a factor of (-24)/15*i/2?
False
Suppose -20*h = 66 - 3606. Suppose -5*z - 2*v = -370, 4*v + h = 2*z - v. Does 8 divide z?
False
Let t = -713 - -1684. Is t a multiple of 19?
False
Suppose 3*p - 5*p + 1117 = u, 0 = 3*p + 2*u - 1676. Is 6 a factor of p?
True
Does 16 divide (-2)/(-5)*-5 + 704?
False
Let h(y) be the third derivative of y**5/20 + y**4/4 + 18*y**2. Is 8 a factor of h(-6)?
True
Let o(t) = t**3 - t**2 + t + 3. Let f be o(3). Suppose 5*c = -4*b + 512, 3*c - 8*b = -9*b + 310. Suppose x + f = c. Is x a multiple of 10?
True
Let g(a) = 2*a**2 - 2*a - 9 + 17 + 4*a. Is g(-5) a multiple of 12?
True
Let w(b) = -b**3 + 13*b**2 + 22*b - 19. Let r be w(14). Let m be r/15 + 3/(-15). Is 9 a factor of ((-52)/12)/((-2)/m)?
False
Let r(j) = j**2 + j + 1. Let v(z) = -18*z**2 - 10*z + 6. Let u(b) = -3*r(b) - v(b). Is 21 a factor of u(3)?
True
Let f = 259 + 2057. Does 108 divide f?
False
Suppose 5*m - 5*f - 165 = 0, 25 + 134 = 5*m - 2*f. Is m a multiple of 10?
False
Let v = -1463 - -1492. Suppose 120 = 2*y + 5*b, 3*b - 4*b = 5*y - 323. Let u = y - v. Is 33 a factor of u?
False
Suppose 87*x = 70*x + 15079. Is x a multiple of 25?
False
Let z(y) = y**2 + 4*y - 6. Let l be z(-5). Let t(p) = -69*p**3 - p**2 + 1. Let m be t(l). Let a = m + -48. Is a a multiple of 7?
True
Let r(n) = -4*n**2 - n - 3. Let m be r(-3). Let d = -79 + -26. Let z = m - d. Is z a multiple of 15?
False
Let c be 16/88 + 6134/22. Let x = -183 + c. Is x a multiple of 32?
True
Suppose -20*f + 527 = -13. Does 9 divide f?
True
Let u be ((-4)/2)/((-4)/(-6)). Let q = -3 - u. Suppose 22 = -q*n + n. Is 4 a factor of n?
False
Let p be (-6)/(-14) - 108/(-42). Suppose -5*x + 21 = 5*v - p*x, 2*x = -4. Suppose 5*n - 235 = -7*c + 2*c, n - v*c = 23. Is 9 a factor of n?
False
Let n be 18/(-12)*1*-2. Suppose -n*x - 1 - 5 = 0. Let b(c) = -5*c**3 - 3*c**2 + 1. Does 21 divide b(x)?
False
Let f = -412 - -887. Is 29 a factor of f?
False
Suppose -156 = -5*u + 244. Let b be ((-2)/4)/(1/u). Let y = -37 - b. Does 3 divide y?
True
Let x(j) = j**3 + 4*j**2 + j - 1. Let r be x(-3). Suppose 1033 = r*s - 347. Suppose w - 60 = -5*m, -4*w + 3*m - 5*m = -s. Is 10 a factor of w?
True
Let d = -66 + 37. Let w = d + 301. Does 34 divide w?
True
Let c = -24 - -4. Let o = -15 - c. Suppose 4*u = o*u - 34. Is 17 a factor of u?
True
Suppose 371 = 5*u - 289. Suppose 4*a = u + 4. Is 6 a factor of a?
False
Is (-2)/(-6) - (-565)/15 a multiple of 29?
False
Let w be (75/(-20) - -3)*-4. Let j be w*-30 - (-14 - -13). Let c = j + 141. Is 11 a factor of c?
False
Let h be 1*4 - (-6 + 3). Suppose -2*f = -s + h, 4*s = f + f + 22. Is 3 a factor of 1*f*(-8 + 3)?
False
Suppose 40 = 12*s - 22*s. Is (-18440)/(-220) - s/22 a multiple of 14?
True
Suppose 7 = -k - 4*m, -2*k + 0*k - m + 7 = 0. Suppose 0 - 615 = -k*h. Does 16 divide h?
False
Suppose 3*c = -p + 8 - 4, 5*c + 4*p = 2. Suppose -f + 0*f + 4*t + 75 = 0, -t + 114 =