. Let g be 5/2*w/10. Suppose g*x = 44 + 127. Is x a multiple of 4?
False
Suppose 3*o - 9343 = -2*x - 97, 0 = -2*x + o + 9262. Is 20 a factor of x?
False
Suppose -41*i + 23181 + 129829 = -437062. Is 56 a factor of i?
True
Suppose 644*p + 2880 = 639*p. Let o = 608 + p. Does 3 divide o?
False
Suppose -619 = 9*o - 151. Let j(t) = 4*t. Let g be j(3). Is g/8*o/(-6) a multiple of 9?
False
Let z be (2 - -1) + -4 + 5. Suppose -o + 15 = -5*g, -7*o + z*o = -4*g - 23. Suppose -180 = -5*j + 4*d, 0 = -j - o*d - 13 + 49. Does 6 divide j?
True
Suppose 24*a - 557 + 629 = 0. Let s(z) = -1 - 3 - 7*z - 1. Is s(a) a multiple of 16?
True
Is (-18238)/33*(-15 - 3) a multiple of 12?
True
Let s = -96 - -98. Suppose -2*k - 222 - 34 = -4*j, s*k - 192 = -3*j. Let h = 103 - j. Is h a multiple of 19?
False
Let j(p) = -2*p**2 - 2*p + 5. Let g be j(0). Let u be 1/(4*g/1160). Let k = u - 34. Is k a multiple of 14?
False
Suppose 5*t + f = 176, -2*t + 36 = -5*f - 56. Is 6 a factor of t?
True
Suppose -16*y + 14*y + 48 = 0. Let j(m) = 2*m**2 - 7*m - 8. Let t be j(6). Suppose t*n + 36 = y*n. Does 6 divide n?
True
Let w(a) = -14*a - 24. Let h be (75/(-6))/(-1 - 2/(-4)). Let f = h - 29. Is 16 a factor of w(f)?
True
Suppose -p = -7*s - 1396, -34*p - s = -35*p + 1372. Is p a multiple of 4?
True
Suppose -d + 1335 = 2*c, -5*d - 2*c = -0*c - 6643. Suppose -961 - d = -8*t. Does 15 divide t?
False
Let k(o) = -o**3 - 2*o**2 + 5*o + 6844. Is 58 a factor of k(0)?
True
Let h(n) = -n**3 - 19*n**2 + 49*n - 20. Is h(-27) a multiple of 67?
True
Let t = 2843 - 983. Does 60 divide t?
True
Let p be 2 + 62 - (3 + -9). Suppose -5*f + p = 2*q, -4*q - 5*f - 90 = -6*q. Is 8 a factor of q?
True
Let o = -31 + 34. Suppose -5*m - 2 = -x - 1, 0 = m + o*x - 3. Suppose 139 = 2*h + z, m = 2*h + 2*h + z - 283. Is 18 a factor of h?
True
Suppose 2*j = -4 + 12. Suppose -i = j*i + 965. Does 4 divide i/(-6) - 4/24?
True
Suppose -n + 2*n + 10 = 0. Let r be ((-210)/(-50))/((-2)/n). Suppose 20*a + 35 = r*a. Does 9 divide a?
False
Let f(p) = 6*p - 2. Suppose 3*h + 2*k + 0*k - 1 = 0, 0 = -4*h + 3*k + 7. Let v be f(h). Suppose 4*y - o - v*o = 431, -4*y + 413 = o. Is y a multiple of 24?
False
Is 172691/6 + (-3)/(-18) - (-103 + 109) a multiple of 22?
True
Suppose -10*x + 11*x + 370 = 0. Let j = x - -406. Is 9 a factor of j?
True
Let i(x) = 70*x**2 - 81*x - 33. Is 7 a factor of i(11)?
True
Let o be (28/(-8))/(1/(-2)). Let b(c) = c**3 - 3*c**2 + c - 7. Let l(v) = 4*v**3 - 9*v**2 + 4*v - 21. Let g(m) = o*b(m) - 2*l(m). Is 12 a factor of g(-5)?
True
Let s(n) = -7 + n**3 - 74*n**2 + 0*n**3 - 24 + 70*n**2 - n. Does 27 divide s(8)?
False
Let m(r) = 3*r + 30. Let s be m(16). Suppose 390 = -5*h - o, 2*o = -h + 6*o - s. Let t = h + 136. Is t a multiple of 13?
False
Suppose 8 = 4*h - 4*j, 0 = -4*h - j - 2*j + 15. Suppose 0 = 4*x + h*i + 38, i = x - 3*i. Is (-31)/(4*(-1)/x*-2) a multiple of 19?
False
Suppose 22*y - 88 = 14*y. Let w(v) = v**3 - 10*v**2 + 3*v - 11. Is w(y) a multiple of 11?
True
Let v = -46 + 49. Let t(s) = s**2 + s. Let a(o) = o**2 - 4*o. Let i(k) = v*t(k) + a(k). Does 7 divide i(2)?
True
Is 6/(-3) + 20586 + 0/(-6) a multiple of 124?
True
Let l = -2583 + 2925. Does 2 divide l?
True
Suppose -333*n + 334*n - 146952 = 0. Does 28 divide -5*(n/(-1140) + (-6)/(-57))?
True
Suppose -6*j = -108 + 48. Suppose -5*g + 1215 = -j*g. Is 10 a factor of g/(-2) + (-7)/(-14)?
False
Suppose c + 2 + 6 = 0. Let u = c + 52. Does 4 divide u?
True
Does 5 divide (-44510)/(-90) - (280/63)/(-10)?
True
Suppose -9 - 13 = -11*h. Let q be (h/3)/((-2)/6). Let z = q - -44. Is z a multiple of 26?
False
Let c(z) be the second derivative of 4/3*z**3 - 3*z**2 - 1/12*z**4 + 23*z + 0 - 1/20*z**5. Is c(-4) a multiple of 3?
False
Let g = 39300 - 13000. Is 67 a factor of g?
False
Let g = 1782 - -198. Does 22 divide g?
True
Let l = -346 + 447. Let f = l + 196. Is 9 a factor of f?
True
Let q = 6113 + -3649. Does 32 divide q?
True
Let d = 75 - 135. Let i = 102 - -46. Let t = i + d. Does 11 divide t?
True
Let z(o) = -6 - 7 - 6 + 27 + 5*o**2 - 9*o - 3*o**2. Suppose 18 = 4*k - 6. Is 13 a factor of z(k)?
True
Let d(v) = v**3 - 4*v**2 + 8*v - 8. Let b(s) be the first derivative of 2*s**2 - 28*s + 11. Let o be b(8). Does 6 divide d(o)?
True
Let v be 4634/(-10) + (-44)/(-110). Let y = -236 - v. Is 62 a factor of y?
False
Let v = -6 + 9. Suppose -2*r = 4*g - 16, r = v*g + 2*r - 10. Is 7 a factor of g/(-8) - (678/(-24) - -2)?
False
Suppose y + 11044 = 4*n, -3*n + 2*y + 3670 = -4618. Is 46 a factor of n?
True
Suppose z - 2 = -4, -z = d + 2. Suppose 0 = -2*v + 4*o - 64, d = 2*v - o + 27 + 25. Is (-306)/(-4)*(-16)/v a multiple of 10?
False
Suppose -281*r = -269*r - 60. Suppose 3*t - 3088 = -p, -t + r*t + p = 4117. Is 17 a factor of t?
False
Let n = 295 + 23. Is 4 a factor of n?
False
Suppose -3*w - 3*v + 264 = 0, 196 = 10*w - 8*w - 2*v. Does 2 divide w?
False
Suppose -2*f + 57702 = 2*j, -3*j + 144249 = -861*f + 866*f. Does 8 divide f?
True
Suppose h + i + 28 = -2*h, 0 = h + 5*i. Let j be (-316)/h - (6 + (-32)/5). Suppose -4*m + 648 = j. Is 12 a factor of m?
False
Let t(o) = o**2 + 31*o + 172. Let q be t(-23). Is (27/(-2))/((q - -5)/266) a multiple of 15?
False
Let m(q) = -2624*q + 1441. Is m(-7) a multiple of 295?
False
Suppose -17*y + 507 = -207. Suppose -211 = y*m - 1891. Is 5 a factor of m?
True
Let b(m) = 75*m + 153. Let i be b(16). Let n = 2684 - i. Is n a multiple of 19?
False
Let c be (21/28*82)/((-1)/(-2)). Suppose c*p = 128*p. Is 7 a factor of (-2 - p/(-1))*700/(-8)?
True
Suppose 4*r - 2*r = 3*i + 5, 3*r = i + 11. Is 1185/r + (-123)/(-164) a multiple of 33?
True
Let g = -158 - -174. Suppose g*x - 4763 = 1621. Is 43 a factor of x?
False
Let j(s) = 113*s + 69. Let z be j(9). Suppose -z = -25*g + 11164. Is g a multiple of 14?
True
Suppose -247*m + 242*m + 2*j + 720 = 0, -157 = -m + 3*j. Does 3 divide m?
False
Let w(u) = 8*u**2 - 4. Let p be (-6)/(-3) - (1 - 3). Suppose -p*m + 10 = -10. Does 19 divide w(m)?
False
Let s = 0 + -6. Let o(v) = -7*v - 1. Let h(f) = 9*f + 2. Let n(l) = 2*h(l) + 3*o(l). Is 5 a factor of n(s)?
False
Let l = -1513 - -5253. Is 17 a factor of l?
True
Suppose 0 = -4*b - 4*l - 668, -2*b + l + 653 = -6*b. Let c = b - -349. Is c even?
False
Is 15 a factor of ((-358710)/(-22))/5 - 6/1?
True
Let i be (-1)/7 - (-1651)/91. Let t be 320/i + (-8)/(-36). Let o = t - -9. Does 15 divide o?
False
Let z be (((-2)/10)/1)/(3/(-45)). Is (18/(-4))/(z/32*-2) a multiple of 6?
True
Let g = 11 + -6. Suppose 18 + 12 = g*r. Is (-802)/(-12) + r/36 a multiple of 9?
False
Let y(l) = l**2 + 24*l + 5. Let m be y(-5). Does 20 divide 884/22 + m/495?
True
Let i(j) be the first derivative of j**4/2 + 4*j**3 + j**2/2 - 5*j + 108. Suppose f = o, 3*o = -o + 3*f - 5. Is 10 a factor of i(o)?
True
Let a = -21 + 21. Suppose -2*u = -37 + 7. Suppose -5*q + u + 755 = a. Is q a multiple of 22?
True
Let n(j) = 2*j**2 - 27*j - 93. Suppose -y + 3*v + 11 = 0, y - 20 = -4*v + 19. Does 43 divide n(y)?
True
Let l be (-2 + -2 - 71)/(9/6). Let t be (2/(-5))/(5/l). Suppose 4*q = -n + 485, -235 = -2*q + t*n - 3*n. Is q a multiple of 30?
True
Suppose -4*c + 9994 = p, -20*c - 2*p + 2502 = -19*c. Is c a multiple of 3?
False
Is 190 a factor of 220175/10 - (-7)/14?
False
Let n be (-7 + (-1 - 0))*32/(-64). Is 14 a factor of n + (-1711)/(-2) + (-3)/6?
False
Suppose 5*k - 19 = -4*j, 2*j = 10*k - 13*k + 13. Suppose 876 = k*z - 2*z - 2*o, 0 = -4*o + 8. Does 11 divide z?
True
Let k(i) = -20*i**3 - i**2 + 2*i - 1. Let x be k(1). Let q(d) = -3*d - 45. Let z be q(x). Suppose z = -3*y, -y + 4*y + 7 = -j. Is 4 a factor of j?
True
Suppose 109*a - 14028 - 12449 = 35653. Is a a multiple of 6?
True
Suppose 0 = 3*n - 57 - 48. Suppose -4*z - n = -s - 2*s, 0 = -4*s + 5*z + 47. Suppose -4*h = s - 33, 5*q + 3*h = 375. Does 9 divide q?
True
Suppose -h + 4*w + 839 = 15, 0 = w + 2. Is 16 a factor of h?
True
Suppose 2*m + 3932 = 4*w, -156 = 2*w + m - 2110. Is 5 a factor of w?
True
Let f = -15 - -7. Let p(l) = 5 + l**3 - 1 + 3*l - 3 + 3*l - 7 + 9*l**2. Does 10 divide p(f)?
True
Let y(i) = -72*i + 4222. Is 18 a factor of y(13)?
False
Let r be (4/10)/(3 + 58/(-20)). Suppose -3*k + b = -12 + 1, -r*b = -k. Suppose -5*q = 2*o - k*o + 246, 0 = -5*o - 5*q + 650. Does 19 divide o?
False
Suppose 0 = -9*p - 14274 + 14715. Suppose -2*f + 5 + 1