iple of 66?
False
Suppose 0 = -7*a + 41*a - 30056. Let c = a - 169. Does 55 divide c?
True
Is 28 a factor of ((-1035)/(-135))/(1/1092)?
True
Let p be ((-18)/(-24))/(2/8). Suppose 12*f = p*f - 27. Is 47 a factor of f + (-115)/(-35) - 985/(-7)?
True
Let b(i) = 2824*i - 602. Is 6 a factor of b(6)?
False
Suppose -125471 + 6645 = -19*x. Does 106 divide x?
True
Suppose -16172 = -11*t - 2840. Is 18 a factor of t?
False
Let d = -4502 + 9908. Does 34 divide d?
True
Let w = 327 + 70. Let s = 515 - w. Is 14 a factor of s?
False
Let d(q) = 3*q**2 - 3*q - 3. Suppose -34 = -5*l + 3*g, -l - 5*g = -3 - 15. Let a be d(l). Suppose -83 = -2*f + a. Is f a multiple of 12?
False
Suppose -4*i + 13819 + 1925 = -4*q, -q - 7872 = -2*i. Does 4 divide i?
True
Let f = -20791 + 58618. Is 42 a factor of f?
False
Let v = -5 + 81. Suppose -4*q - 3*w = -16 + 292, q = w - v. Let z = q + 162. Does 10 divide z?
True
Suppose 4*h - 48199 = -2*j - 7213, 20511 = 2*h - 5*j. Is h a multiple of 42?
True
Let g = 324 - 125. Suppose 3*n - 4*u + 0*u = 540, -5*u + g = n. Is n a multiple of 23?
True
Let r be (-1 - 1)/(1596/(-398) - (-4)/1). Let c be (-1)/(2 + (-743)/371). Let j = c - r. Is 20 a factor of j?
False
Let f(d) be the third derivative of -11*d**4/6 + 4*d**3/3 - 75*d**2. Is f(-9) a multiple of 39?
False
Let b be (18/15)/((-15)/(-200)). Suppose 18*z + 84 = 24*z. Let d = b + z. Does 10 divide d?
True
Let f = 28962 - 16657. Is f a multiple of 23?
True
Is 28 a factor of (-7)/(-420)*10 - 30236/(-24)?
True
Suppose -60*q + 58*q + 24800 = 4*p, -5*p - 62075 = -5*q. Is q a multiple of 10?
True
Let m be ((-18)/2 + 5)*-1. Suppose -m*i - i + 32 = 4*b, 8 = -4*b. Is 8 a factor of i?
True
Suppose -70*r = -79*r + 50463. Is r a multiple of 24?
False
Suppose -22*j = 2763 + 18599. Let g = 2003 + j. Is 43 a factor of g?
True
Let r(y) be the first derivative of y**3/3 + 2*y**2 - y - 5. Let q(s) = s**3 - 16*s**2 + 14*s + 20. Let l be q(15). Does 11 divide r(l)?
True
Let s(z) be the first derivative of -z**3/3 - 21*z**2/2 - 14*z - 6. Let h be s(-21). Does 10 divide h/(-84) + 323/6?
False
Suppose -139*q + 118096 + 175166 - 28606 = 0. Is 14 a factor of q?
True
Suppose 4*s + 3*b - 122 - 26 = 0, s - 18 = 4*b. Suppose 4*v - 9*v + 3*c - s = 0, 4*v + 2*c + 36 = 0. Let d = 19 - v. Is 3 a factor of d?
True
Suppose -13*l + 11*l = -10, 0 = -4*s + 5*l + 51. Is 30583/35 + s/(-5) + 4 a multiple of 37?
False
Let m = 17 + -45. Let o be 4/(m/(-239)) + (-5)/35. Suppose 27*a - o*a + 210 = 0. Does 5 divide a?
True
Let g = -54787 - -101504. Is 14 a factor of g?
False
Let q(l) = -l + 26. Let f be q(19). Does 8 divide (-1 + f)*(-4 + 122 + -2)?
True
Suppose 5*w = 11 + 4. Suppose 2*b = 3*n + 13, n = -2*b - 689 + 690. Suppose 7*i - b*i - 132 = -w*l, -15 = -5*i. Does 7 divide l?
False
Suppose 0 = 3*j + 6, 7*j + 18459 = 3*r + 4*j. Is 4 a factor of r?
False
Let b(s) = -4*s**2 + 22*s + 3977. Is 41 a factor of b(0)?
True
Suppose -2*z + 4*b - 6 = 0, -5*z - 5*b = -3*z - 21. Let w(k) = 2*k**2 - 4*k + 2. Let v be w(3). Is -1*(-28)/v*(z - -7) a multiple of 18?
False
Let u = -16185 - -19443. Is 9 a factor of u?
True
Let y = -15 - -38. Suppose 0 = -a + y - 4. Suppose a*u - 17*u - 180 = 0. Is 10 a factor of u?
True
Let m(l) = 22*l - 3. Let y be m(-4). Let x(p) = -3*p**2 - 8*p + 1. Let d be x(4). Let a = d - y. Is 6 a factor of a?
True
Suppose 2*q = -4*r + 16354, 4*r - 34432 + 1716 = -4*q. Let b = -5514 + q. Suppose -10*t + b - 607 = 0. Is 56 a factor of t?
False
Let t be (2/(16/166))/(44/176). Suppose -22*g = -8707 + t. Is g a multiple of 44?
False
Suppose 0*w = -w + 5*m - 2, -4*m - 32 = 2*w. Let u be (w + 17)*(-8)/(-5). Let x = 11 + u. Does 7 divide x?
False
Let x = 9568 - 6428. Suppose 12*m - 508 - x = 0. Does 19 divide m?
True
Is (-7 - (-9)/(27/22))*18651 a multiple of 8?
False
Let a be (-51)/(-12) + -5 + (-4131)/(-4). Suppose a = 12*s - 8*s. Does 10 divide s?
False
Let u(y) = y**2 + 19*y - 82. Let q be u(-23). Suppose 0 = -q*w + 905 + 3865. Does 14 divide w?
False
Suppose 5*f - 16*j + 609 = -14*j, 4*f + 476 = -4*j. Let k = 123 + f. Is 2 a factor of k?
True
Let x(a) = a**3 - 6*a + 3. Let d be x(4). Suppose -d = -3*r - g - 4*g, 2*r = 3*g - 3. Let z(q) = q**3 + 3*q**2 - 12*q - 8. Is 42 a factor of z(r)?
False
Is 129 a factor of -86*(-735)/7*21/14?
True
Let h = 78145 - 44073. Does 45 divide h?
False
Suppose 2*w - 2868 = 5*b, 5*w - 2*b - 1609 = 5540. Is 4 a factor of w?
False
Let y(o) be the second derivative of -o**5/20 + 35*o**4/12 - 53*o**3/6 + 69*o**2 + 124*o - 2. Does 28 divide y(33)?
False
Let a(m) be the third derivative of m**6/120 + 3*m**5/10 + 2*m**4/3 - 2*m**3 + 13*m**2. Let j be a(-18). Is ((-13)/26)/(1/j) a multiple of 30?
True
Let p = 474 + 25366. Is 136 a factor of p?
True
Suppose 47*k = -2*d + 51*k + 10550, 4*k - 36 = 0. Does 24 divide d?
False
Let o be (-4)/(-6) - (-763)/21. Suppose -36*g + o*g - 103 = 0. Suppose -d = -5*u + 978, 97 = u + 2*d - g. Does 49 divide u?
True
Let m(g) = 9*g - 78. Let b be m(9). Suppose -4*w = -3*f + 1310 + 47, -b*w = -5*f + 2280. Is 13 a factor of f?
False
Suppose 2*c = 12*d - 14*d + 34318, -4*c + 68631 = -d. Is c a multiple of 18?
False
Let k(r) = 4*r**2 - 113*r - 12. Is 9 a factor of k(-10)?
False
Let c be 9*(-1)/(-54) + 574/12. Does 11 divide (-12)/c + (-7755)/(-12)?
False
Suppose -30 - 19 = g. Let r = 54 + g. Is r a multiple of 4?
False
Let k be 15/6*(-72)/(-30). Suppose 10 + k = -4*j. Is -58*(28/8 + j) a multiple of 29?
True
Suppose -5*b - 2*r + 3*r + 124 = 0, 5*b - 100 = -5*r. Suppose b + 21 = -9*o. Let m(t) = t**2 + 3*t + 6. Is m(o) a multiple of 2?
True
Suppose 172*z = 4309733 - 947477. Does 10 divide z?
False
Let z(x) = x**2 + 95*x + 14572. Does 26 divide z(0)?
False
Suppose 144 = 2*q - 6*q. Let b be ((-6)/8)/(3/q). Is 789/b - 4/(-12) a multiple of 44?
True
Let o = -4974 + 10935. Is 5 a factor of o?
False
Let l = 35 - 33. Suppose 8 = -4*t, o + 3*t = -l*t - 4. Let r(a) = a**3 - 4*a**2 - 4*a + 11. Is 4 a factor of r(o)?
False
Let b = -69 + 17. Suppose 50*x = 43*x + 553. Let l = x - b. Is 16 a factor of l?
False
Let s be ((-35)/(-30)*-16*6)/(-1). Let a = s - -86. Does 66 divide a?
True
Let w(d) = d**2 - 18*d + 1. Let s be w(16). Let j = 33 + s. Suppose -3*f + a - j*a = -76, 0 = 3*f - 5*a - 88. Does 13 divide f?
True
Suppose -3*v = 3*y - 30, 23 - 8 = 4*v - y. Suppose v*r + 3*g = 6*r - 130, -366 = -3*r + g. Does 2 divide r?
False
Let m(w) = 2*w**2 - 9*w + 7. Let s be m(4). Suppose 3*u = -s*u + 2244. Is u a multiple of 12?
False
Suppose -4*b + 534 = 5*j, 5*b - 5*j = 4*b + 146. Let w = b + -131. Suppose 6*q - q = -4*z + 129, 0 = -w*z - q + 135. Does 13 divide z?
True
Suppose r = -2*r + 54. Does 14 divide (-191)/(-2) + 8 + (-153)/r?
False
Suppose 4*x - 103 = -103. Suppose -4*n - 4*p + 804 = x, -2*n + 6*n = 3*p + 818. Is 29 a factor of n?
True
Let x(t) be the first derivative of 5/2*t**2 + 10 + 31*t. Does 9 divide x(15)?
False
Let g(z) be the second derivative of 0 - 3/2*z**2 - 1/3*z**4 + 1/10*z**5 - 7*z + 1/3*z**3. Is 15 a factor of g(4)?
False
Suppose -3433 = -2*y + 906 - 1053. Does 53 divide y?
True
Suppose -5*c + 3203 - 1168 = 0. Suppose -w + 4*s + c = 0, 5*w + 5*s = -80 + 2090. Is 4 a factor of w?
False
Let q(u) = u**3 - 2*u**2 - 6*u - 11. Suppose 3*y - 8*y = -100. Suppose 9*m = 5*m + y. Is q(m) a multiple of 5?
False
Suppose -19377 = 17*k - 131900. Does 125 divide k?
False
Suppose 4*u = b + 113, 3*u + 35 = -3*b - 274. Let n(p) = p**3 - 4*p**2 + 12. Let o be n(-3). Let d = o - b. Is d a multiple of 20?
False
Suppose 0 = 2*p - 3*p + 2*o - 212, 0 = -4*o + 4. Let d be (2/4)/((-7)/p*-3). Is 11 a factor of -16*d/((-40)/(-44))?
True
Let x = 6304 + -4192. Is 22 a factor of x?
True
Suppose -4013 = 34*u - 19517. Suppose -2*j + 1132 = 3*j + 3*s, -2*j = 2*s - u. Is j a multiple of 9?
False
Does 10 divide 168/(-504)*21477/(-1)?
False
Suppose 0*z + 12*z = 0. Suppose -k + 4*g + 58 = -7, z = -5*k + 3*g + 308. Is k a multiple of 2?
False
Suppose -93 = -5*v + 4*x + 4, 0 = -2*v - 4*x + 22. Suppose -2*k + v = 5*c, 3*c - c - k - 14 = 0. Suppose -5*j = c - 115. Does 11 divide j?
True
Let n(l) = -2*l**3 + 18*l**2 - 13*l - 19. Let h be n(8). Suppose 6*v + h*x - 2425 = v, -v + 487 = -x. Does 22 divide v?
False
Let l = -1335 + 4787. Does 11 divide l?
False
Suppose 13822 = q - 2*r, -4*q + 12*r + 55246 = 10*r. Is 12 a