True
Let t be 8/(-16) - 3489/(-6). Let s = 1459 - t. Does 22 divide s/10 + 2/10?
True
Suppose -5*k + 9312 = -3*m + 26108, 0 = -4*m - 3*k + 22443. Is 9 a factor of m?
True
Suppose 2*y = -2*y + 8. Suppose c + y*c - 9 = 0. Suppose g - c*o + 3 = 60, -212 = -4*g - 4*o. Is g a multiple of 6?
True
Suppose 25*u - 1719 = 2156. Does 5 divide u?
True
Suppose -i + 4583 = -12*p + 10*p, -2*i = -2*p - 9170. Is 131 a factor of i?
False
Let c(x) = -1138*x + 1415. Is 83 a factor of c(-7)?
False
Suppose -2*i + 5789 = -3*l, 1780 - 7555 = -2*i + l. Is i a multiple of 7?
True
Let w(y) = -y**3 + y**2 - y + 5. Let t be w(0). Let d(l) = 0*l**2 + 11 - 29*l + 54*l + 2*l**2 - 32*l - 3. Is 4 a factor of d(t)?
False
Let j = 3601 + -2283. Is 4 a factor of j?
False
Suppose 4*r + l - 12636 = 0, 4*l + 6336 = 2*r - 0*l. Suppose -10*t + r = -1320. Is 56 a factor of t?
True
Suppose 154*a = 220*a - 314531 - 2386981. Is a a multiple of 36?
True
Is 125 a factor of ((-1)/(0 + 2))/((-433)/10477734)?
False
Let i = -94 - -66. Let g be (-1533)/6*16/i. Does 13 divide (g/4)/((-4)/(-8))?
False
Let p = 7344 - 3924. Is p a multiple of 23?
False
Suppose 92*c - 91*c = 4. Suppose -c*f + 3*h - 200 = -967, -209 = -f - 5*h. Is 8 a factor of f?
False
Suppose -152760 = 14*k - 34*k. Is k a multiple of 19?
True
Suppose 3*j - 72 = 33. Let y = -30 + j. Suppose 10*x = y*x + 2*a + 153, 2 = 2*a. Is x a multiple of 15?
False
Is 9 a factor of 36448/170*10 + (-14)/(-2)?
True
Suppose -168 = -4*a - 4*h, -a - h + 45 = 3*h. Let r(m) = -15*m**2 - 6 + 12 + 56*m + 17 - a*m - m**3. Is r(-16) a multiple of 13?
True
Suppose 17*q - 4*q - 10075 = 0. Let g = q + -528. Is g a multiple of 17?
False
Let n(v) = 31*v - 164. Let l be n(11). Let s = l + -3. Is 25 a factor of s?
False
Let t(j) = -j**3 + 2*j**2 + 9*j - 5. Let g be t(4). Let a be 5 + ((-1)/((-4)/(-4)) - g). Suppose 3*s = -2*r + 63, -a*s = 2*r - 0*s - 61. Is r a multiple of 4?
False
Suppose 3089 = 2*c - s, 4*c - 49*s + 53*s - 6208 = 0. Is 13 a factor of c?
True
Let n(u) = -11*u. Suppose -3 = 4*z + 5*r + 7, 5*z + 5*r = -10. Let i be n(z). Suppose 2*l + 3 + 11 = 3*q, i = q - 3*l - 14. Is 2 a factor of q?
True
Suppose r = 3*y - r - 94, y - 38 = 2*r. Let z = y + -24. Suppose -4*m + 3 = -m, -z*d + 3*m + 285 = 0. Does 8 divide d?
True
Let p = 19060 - 15079. Does 6 divide p?
False
Suppose 2*h = 5*h - 9. Let w be -2*((-3)/h + 4). Let t = w - -27. Does 6 divide t?
False
Suppose -4*l - 4*f + 4841 = -14911, 3*l - 3*f = 14850. Is 29 a factor of l?
False
Is ((-3400)/12)/(110/(-10395)) a multiple of 15?
True
Let b be (310/(-70) + 5)*-7. Is 5 a factor of b/(-22) - (-4508)/11?
True
Let x(u) be the third derivative of -4*u**5/15 + 7*u**4/24 + u**3/3 + 23*u**2. Let o be x(-2). Is 38 a factor of -1 + -1 - -2 - o?
True
Let m(j) = 2 - 22 - 2*j**3 + 22 + 26*j**2 + 32*j. Is m(14) a multiple of 5?
False
Let x be 22/((-307)/(-61) + -5). Let c = x - 299. Is c a multiple of 40?
False
Let g be (-160)/(-9) - (-36)/162. Let c be 208/(-6)*(-81)/g. Suppose -f = -n + 14 - c, n = 5. Is 21 a factor of f?
True
Let i(r) = 133*r - 587. Is i(13) a multiple of 2?
True
Let j be (12 + -9)*1*(91 + -2). Is 18 a factor of (2 + -4)*j*11/(-22)?
False
Is 26414/102 - 48/(-1224) a multiple of 6?
False
Let z be -7*(-5)/(-15)*3. Let s = z + 23. Does 12 divide (-3)/(-12) - (-716)/s?
False
Let l(b) = 45*b**2 - 35*b - 35. Let y be l(-1). Suppose 2*f - 766 = 3*o, y*f + 2*o - 776 = 43*f. Is f a multiple of 6?
False
Let n = -4 - -9. Suppose -23*t - 1696 = -42*t - 87*t. Suppose t = 3*v - n. Is v a multiple of 7?
True
Let i = 43116 - 21718. Does 26 divide i?
True
Suppose -5*n = -9*n. Suppose n*k + 3*k - 2*m - 43 = 0, m - 55 = -3*k. Let t(j) = j**2 - 15*j - 8. Does 16 divide t(k)?
False
Let w = -6675 + 8248. Is w a multiple of 13?
True
Suppose -4*r = 10*s - 6*s - 20592, 0 = -5*s + 3*r + 25716. Does 7 divide s?
True
Suppose 9*d - 10*d + 2880 = z, 5778 = 2*d - z. Does 13 divide d?
True
Let l be (3/2)/((-15)/(-120)). Suppose -403 = 11*j - l*j. Does 9 divide j?
False
Let v(n) = -n**3 + 33*n**2 - 7*n + 439. Does 48 divide v(23)?
True
Let o = 3350 + -3297. Is o even?
False
Suppose 9*p = 7*p + 20. Does 13 divide (0 - p - -4) + 253?
True
Let t = 46912 - 32430. Does 26 divide t?
True
Let t(h) = -14*h - 29. Let c be t(-4). Suppose d = -c*i + 26*i + 91, 2*d = 3*i - 268. Is 10 a factor of i?
True
Suppose 2*x - 2*k - 496 = 0, 210*x - 209*x = -2*k + 230. Does 22 divide x?
True
Let v be -190*10/(-25)*1. Let r be 8/v - (-834)/19. Suppose 26 + r = 5*k. Is 4 a factor of k?
False
Suppose -13*l + 23*l - 20 = 0. Suppose 4*t - 4 = 0, -3*d + l*t = -2*t - 2600. Suppose -3*r - 3*g + 614 + 247 = 0, -4*g - d = -3*r. Is 32 a factor of r?
True
Let n = -10829 + 22807. Does 21 divide n?
False
Suppose -14*u + 3*a + 53543 = -9*u, 42852 = 4*u + 2*a. Is u a multiple of 83?
False
Let x(v) be the first derivative of 144*v**3 - 5*v**2/2 + 5*v + 23. Is 9 a factor of x(1)?
True
Let b = 2090 + -1275. Suppose -1702 = -3*l - 4*w + 738, 0 = -l - 3*w + b. Is l a multiple of 14?
True
Let u(s) = 3*s**2 + 20*s + 15. Suppose 10*k + 180 = -10*k. Does 30 divide u(k)?
False
Let s = -18 + 24. Suppose -2*m - s*m = -64. Does 26 divide m/20 - 626/(-10)?
False
Let o = -955 - -293. Is 5 a factor of -1 - 6/(-9) - o/6?
True
Suppose 0 = -5*s + 3*s + 3*s. Suppose -2*l + 17 - 13 = s. Suppose -5*r - 246 = -l*f - 9*r, -4*r = 16. Does 24 divide f?
False
Let p(q) = 4*q - 7. Let a be p(4). Suppose 5*k = -2*y + a, -5*k + 27 = -0*y - 4*y. Suppose 0 = -3*f + k*o + 273, -8*f = -3*f + o - 437. Does 15 divide f?
False
Let d be (10 - 48)*((-2)/(-2))/(-2). Suppose 0 = 14*j - d*j + 110. Is j even?
True
Suppose -2*i + 4*p = -12602, -160*p + 165*p = 4*i - 25201. Is i a multiple of 111?
False
Is 13 a factor of ((-605)/3)/((-2)/(-3) - (-30 - -31))?
False
Let v(h) = 12*h - 74. Let n be v(6). Is (4 + (n - 13/3))*-15 a multiple of 2?
False
Let x = -17 - -14. Let m be x + 10 + (0/1 - 2). Suppose m*h - 4*d - 108 = 3*h, 2*d - 266 = -4*h. Is h a multiple of 16?
True
Suppose -9*x = 17*x + 9925 - 54359. Is 8 a factor of x?
False
Suppose -17*s - 40 = 198. Is 1313/5 - -1*s/(-35) a multiple of 39?
False
Let z(n) = -8*n**3 - 63*n**2 + 9*n - 32. Is 13 a factor of z(-9)?
False
Let l be -31 - -24 - 5/((-10)/18). Let p be ((-8)/(-3))/((-2)/(-3)). Suppose 2*k - 4*h = 222, 0 = 3*k - l*k + p*h - 93. Is 15 a factor of k?
True
Suppose 3*t + 105 = -8*n + 3*n, n - 70 = 2*t. Is (-2198)/t + (-3)/(-15) a multiple of 3?
True
Suppose -15 - 73 = 2*o. Let d = 48 + o. Let p(m) = 17*m + 24. Is p(d) a multiple of 23?
True
Let v(j) = 21*j + 134. Let y be v(15). Let x = y - 319. Is x a multiple of 53?
False
Let f be 2/((56/(-147))/(-4)). Is ((-8)/14 - 9/f)*-348 a multiple of 27?
False
Let w(k) = 104*k - 35. Let o be w(3). Suppose 0 = f + 10 - o. Is 33 a factor of f?
False
Suppose -487 - 1853 = -6*b. Suppose -5*x + 3*x = b. Is (x/(-12) - -4)/(6/16) a multiple of 5?
False
Let c(l) = -5*l**2 - 4*l - 15. Let v(y) = -11*y**2 - 9*y - 29. Let w(d) = 13*c(d) - 6*v(d). Let n be w(10). Let f = 1 + n. Is 20 a factor of f?
True
Suppose 3*f = -15, g - 333 = -f - 86. Suppose 14*h + g = 11*h. Is ((-168)/(-10))/(3 + h/30) a multiple of 12?
True
Is 50 a factor of 81/9 + (-1)/1 + 4818?
False
Let c(j) = j**2 + 3*j + 1. Let g be c(-2). Suppose 18*h - 13*h + 30 = 0. Is 28 a factor of h - -201 - (0 + g)?
True
Suppose 0 = 4*s - 1810 - 6054. Suppose s = -6*b + 8*b. Is b a multiple of 11?
False
Let d be 5 + (-2)/1 + 1. Suppose -22*m = -238 + 18. Suppose -u = -5*g + m, -d*u + 40 = -0*u - 4*g. Is 2 a factor of u?
False
Let d = 16 - 8. Suppose -5*l = -33 + d. Suppose -6*n = -2*n - 20, -139 = -3*f - l*n. Does 4 divide f?
False
Suppose 1 = z - 1. Suppose -31 + 48 = 17*n. Is 38 a factor of (-189)/(-3) + n + z?
False
Let s(j) = 32*j + 11. Let v be ((-36)/6)/((6/(-4))/1). Let p be s(v). Suppose 5*d - p = -4. Does 13 divide d?
False
Suppose -4*w = 2*y - 0*w - w, 3*w = 0. Let x(j) = 11*j + 3. Let q be x(7). Let s = q - y. Is 16 a factor of s?
True
Suppose a - 4858 = p, 0 = -3*a - 23*p + 16*p + 14614. Is a a multiple of 11?
True
Suppose 0 = 3*f + 3*c - 70731, -402*c + 398*c = 8. Is f a multiple of 73?
True
Let p(i) = 17*i + 16. Let f(r) = -6*r - 5. Let z(j) = 11*f(j) + 4*p(j). Let t be z(8). Let v = t + 33. Is 29 a factor of v?
True
Suppose -f + 4*g + 884 = 136, -5*g = 2*