*m - 35710 = 0, -2*m + 7151 = k. Is k a multiple of 98?
False
Suppose 161 + 4111 = 6*d. Suppose -9*z = -z - d. Suppose -q + 2*q - 5*t - 41 = 0, 5*q = -4*t + z. Is q a multiple of 15?
False
Let c(j) = j**2 - j + 1. Let m(n) = -5*n**2 + 33*n - 31. Let t(s) = 4*c(s) + m(s). Suppose 16*k - 14*k + 2*z = 24, 0 = -2*k + z + 39. Is t(k) a multiple of 38?
False
Suppose -12*o + 455449 = 72*o + 183793. Is 10 a factor of o?
False
Suppose -18*i + 14562 + 60516 = 0. Let h = -2936 + i. Is 65 a factor of h?
True
Let s be (-1 - -1)/(41 - 42) - -1. Let w(u) = 1708*u**3 - 4*u**2 + 4*u - 1. Is 31 a factor of w(s)?
False
Suppose 5*d - 1485 = -0*d - 5*f, -1475 = -5*d - 3*f. Suppose 0*a + 2*a - 313 = 3*m, 0 = -2*a - 4*m + d. Does 8 divide a?
True
Let a be 23772/189 - -2*1/9. Suppose -2*l + a = 3*h - h, 0 = -l - 3*h + 69. Does 4 divide l?
True
Let f be (-66)/(-12)*(-4)/(-11). Let m be (-295)/(-5)*(f - -1 - 4). Let o = 20 - m. Does 34 divide o?
False
Let h be (-115)/(-20) - (-21)/(-28). Is 7*(-9 - (-370)/h) a multiple of 14?
False
Let q(u) = -u**2 + 22*u + 7. Let g be 1/(-5)*1 - 380/(-25). Is 5 a factor of q(g)?
False
Let s = 29313 - 9857. Is s a multiple of 38?
True
Suppose -2*n - 10 = 0, 5*o - 6*n + n - 40 = 0. Suppose o*l - 339 = 345. Does 7 divide l?
False
Suppose -2*w - 2 + 6 = 0. Is 17 a factor of w/(-12) - 1795/(-6)?
False
Let x(t) = -t**3 - 6*t**2 - 3*t + 12. Let l be x(-5). Suppose -4*b = -2*b + 2*g - 516, l*g + 500 = 2*b. Is 5 a factor of b?
False
Let y = -69 - 59. Let b = -120 + y. Does 31 divide (-3)/(3*4/b)?
True
Let d(c) = 18*c**2 - 28*c - 316. Does 10 divide d(-23)?
True
Suppose 12 = 2*i - 8. Suppose -i*d + 1463 = -3*d. Let b = 337 - d. Does 27 divide b?
False
Let a be -1 - (4 - (1 + 135*-3)). Let c = a + 579. Is 37 a factor of c?
False
Let g(x) = -15*x**2 + 19*x - 97. Let t be g(8). Let r = -431 - t. Is 60 a factor of r?
False
Let g(v) = -v**2 + 9*v + 14. Let k(n) = n + 14. Let f be k(-5). Let o be g(f). Suppose 6*u - o = 16. Is u even?
False
Let a(c) = c**2 + 15*c + 19. Let o be 4/8 + (-279)/(-6). Suppose 0 = 3*m - 2 + o. Is a(m) a multiple of 2?
False
Suppose -b = -3*p + 12, 5*b + 0*p - 3*p = -12. Suppose 0*a = -5*z - a + 97, b = -3*z - a + 59. Suppose g = z - 11. Does 4 divide g?
True
Let k(d) = 9*d + 75. Let z be k(-5). Suppose z - 260 = -2*t. Does 23 divide t?
True
Is 10 a factor of (-3424 - 1)*(-32 - -30)?
True
Let s(f) = 48*f + 49. Let b(m) = -16*m - 16. Let c(x) = -17*b(x) - 6*s(x). Let w(a) = -81*a - 109. Let t(j) = -11*c(j) + 2*w(j). Does 27 divide t(6)?
True
Suppose -4*m - 37 = -5*f, -3*m + 3*f = -f + 29. Let s(g) = -32*g - 27. Does 21 divide s(m)?
False
Let b(l) = -l**3 + 4*l**2 + 4*l + 3. Let f be b(5). Let w(k) = 5*k**2 + 6*k + 4. Let y be w(f). Let o = y + -1. Is o even?
False
Let i(p) = 3*p - 24. Let w(q) = 8*q - 4. Let n be w(10). Suppose -14*v + 10*v + n = 0. Does 5 divide i(v)?
False
Suppose -4*a = -7*a + 11332 + 16916. Does 55 divide a?
False
Let b = -8 + 11. Let m be ((-6)/15)/(b/(-240)). Is ((-21)/(-14))/((1/m)/1) a multiple of 8?
True
Suppose 556*t + 23794 = 2*l + 559*t, 4*l = -4*t + 47580. Is 129 a factor of l?
False
Let m(v) = 3*v**3 - 22*v**2 - 24*v - 19. Is m(13) a multiple of 40?
False
Suppose v - 6*v = 2*u - 22, -2 = 2*u - v. Let o be 2/(u + 3) + (-18)/(-4). Suppose 41 = -2*w + 2*i + 563, -o*w = 5*i - 1345. Does 10 divide w?
False
Let m(k) = k - 23. Let u be m(17). Let r = -13 - 8. Is (r/u)/(-7) - (-105)/6 a multiple of 17?
True
Let q = -3 - -10. Suppose q*l = -1353 + 5511. Is 22 a factor of l?
True
Let z(m) = m**3 - 5*m**2 + 3*m - 4. Let q be z(5). Suppose 0 = q*o - 48 - 40. Suppose o*w - 1470 = w. Is 21 a factor of w?
True
Let l(n) be the second derivative of 1/3*n**4 + 6*n**2 - 7/3*n**3 + 0 + 10*n. Is 22 a factor of l(9)?
False
Let x(c) = -5*c**3 + 6*c**3 + 15 - 2*c**3 + 12*c**2 + 9*c + c. Is x(12) a multiple of 27?
True
Let h = 1166 - 629. Suppose 3*p - h - 477 = 0. Is p a multiple of 26?
True
Let t(n) = -114*n + 1301. Is t(-35) a multiple of 13?
True
Let f = -3566 + 5129. Does 2 divide f?
False
Let f = 19251 + -10167. Is f a multiple of 173?
False
Let f(o) be the second derivative of o**4/6 + 4*o**3/3 + 15*o**2/2 - 9*o - 3. Is f(-10) a multiple of 16?
False
Let u be 0 + (-32)/2 - -2. Suppose -43*t = -40*t - 648. Does 13 divide (-27)/63 - t/u?
False
Suppose 296*l + 32494 = 310*l. Is l a multiple of 13?
False
Let c be 10985/325 + (1 - (-18)/(-10)). Suppose -c*v + 49*v = 7408. Is 9 a factor of v?
False
Does 5 divide (2 + -4)/((-1)/844)?
False
Let m be 3/((-36)/(-56)*(-6)/(-9)). Suppose j + m*j - 2792 = 0. Suppose 8*w - 1261 = -j. Is 22 a factor of w?
False
Does 33 divide 4/((-12)/(-9))*(658 - -8)?
False
Let x be (-5)/2*(0 + 92). Does 23 divide ((-126)/(-105))/((-4)/x)?
True
Suppose 5*u + 65 = 6*u. Suppose -5*w - 5 - 5 = 5*j, 4*j = -2*w - 8. Suppose o = 3*m - w*m - u, 21 = m - o. Is m a multiple of 16?
False
Let w be 10*1*(33152/(-20))/(-8). Suppose 4*t - w = -2*m, 3*t - 5194 = -10*m + 5*m. Is m a multiple of 22?
False
Let j be (-159)/(-6) + 28/(-8) + 5. Suppose 0 = -j*s + 10*s + 2664. Is s a multiple of 37?
True
Let i = 90 - 66. Suppose 26*n = i*n. Suppose 11*v + 2*v - 2470 = n. Does 11 divide v?
False
Does 11 divide (-511770)/105*(-2)/4?
False
Suppose 23 = -g + 5*p, 3*g + 2*g - 5*p = -15. Suppose g*a + 5*f = 283, -3*a - f + 149 = -2*a. Is 12 a factor of a?
False
Suppose 5*i - 49*i + 3036 = 0. Is i even?
False
Let q(x) = x**3 - 24*x**2 + 42*x + 44. Let c be q(26). Suppose c = 6*t - 1196. Is t a multiple of 38?
False
Let r(k) = 54*k - 145. Let o(w) = -20*w + 36. Let j(c) = 41*c - 72. Let u(g) = 6*j(g) + 13*o(g). Let m(b) = -2*r(b) - 9*u(b). Does 17 divide m(11)?
False
Suppose -33*x = -9358 - 64100. Suppose 0 = 64*d - 71*d + x. Does 16 divide d?
False
Suppose -5*g - 51 = -4*v, 2*g + 26 = v + 2*v. Let s(r) = -r**2 - 6*r + 1. Let a be s(g). Let i = 36 + a. Is 4 a factor of i?
False
Let k be 12 + -1 - (8/4 - 2). Suppose -3*f + k = 5. Suppose 5*i - f*b - 416 = 0, i = -i - 5*b + 178. Is i a multiple of 28?
True
Suppose -178*g - 9612 = -179*g - 2*t, -2*g + 19233 = -5*t. Does 11 divide g?
True
Let h(k) = -k**3 + 44*k**2 + 72*k - 148. Does 110 divide h(34)?
True
Suppose 0 = -5*y + 7*y + 18. Let p be 4*1*y/(-12) - 0. Suppose -179 = -p*t - 29. Does 25 divide t?
True
Suppose 2 = -x, -4*h + h - 5*x - 4 = 0. Suppose 8 = -3*c + h*n, 3*c + 2*n + 3*n = -1. Is 22 a factor of 18*(c - (-112)/12)?
True
Let t(z) = 21*z + 6. Let w be t(2). Is (42390/w)/15 + (-1)/(-8) even?
False
Suppose 2601 = -6*p + 19401. Suppose 2*l - 1410 = y, 3*y - 6*y + p = 4*l. Is 42 a factor of l?
False
Suppose 4*k + 3*y - 1965 = 0, k - 5*y + y = 496. Suppose 4*g + k = 2*c, 647 + 337 = 4*c + 5*g. Is c a multiple of 5?
False
Let h(x) = 2*x**3 + 18*x**2 + 5*x - 6. Let f be h(-9). Let l = f - -150. Suppose 0 = -2*j + l - 15. Is 14 a factor of j?
True
Does 70 divide 18048 - (9 - (-196)/(-14))?
False
Let g be (-390)/54 + (75/(-27) - -3). Does 17 divide ((-236040)/(-49))/6 + (-1)/g?
False
Let p = -6333 + 15626. Is 13 a factor of p?
False
Let h = -21740 - -43286. Does 32 divide h?
False
Is 6 + (-654276)/(-78) - (-2)/(-13) a multiple of 95?
False
Let p(z) = 50*z**2 - 53*z + 357. Does 13 divide p(8)?
True
Suppose 83 = -c + 53. Let l(x) = -x**3 - 27*x**2 + 74*x + 30. Is l(c) a multiple of 34?
True
Let h(c) = 2516*c**2 - 7*c - 7. Is h(-1) a multiple of 6?
False
Let u(d) = -5138*d - 4081. Does 7 divide u(-4)?
True
Let k = 120 - 100. Suppose -3*v = -7*v + k. Suppose 4*h - v*c = 68, -4*h + 3*h + 17 = -4*c. Is h a multiple of 11?
False
Suppose 0 = -3*u - 3, h - u - 8 = 4*u. Suppose -3 = 3*z + g + 17, 0 = z + h*g + 12. Let d(p) = -p**3 - p**2 + 12*p + 21. Is d(z) a multiple of 23?
False
Let r be 12*(-5)/50*-5. Let u(l) = 26*l**2 - 2*l - 38. Does 72 divide u(r)?
False
Suppose -2*p - 6*t = -t, 14 = 2*p - 2*t. Suppose -5*z - 213 = -4*w, 0*w - 2*w + 109 = -p*z. Does 4 divide w?
True
Suppose 2*b + 2380 = 4*f, -2*f - 4*b - 150 = -1330. Is f a multiple of 99?
True
Is 3104/40*230/4 + (-116 - -109) a multiple of 4?
False
Suppose -7117 = -4*d + k + 12767, -d + 5*k = -5009. Is 4 a factor of d?
False
Let u = -3665 - -7514. Does 89 divide u?
False
Let a(u) = -u**3 - 25*u**2 - 25*u - 7. Let i be (2/8)/(13/4 + -3). Let v be 40/(-5)*3*i. Does 17 divide a(v)?
True
Let d(r) = r**2 + 30 - 15*r + 4 + 