y + 535. Let r = 387 - a. Is 15 a factor of r?
True
Let x = -3744 + 5282. Is x a multiple of 6?
False
Let t(w) = -388*w - 14. Let b be t(-8). Let c be b/14 + (-9)/((-126)/4). Let q = c - 131. Does 30 divide q?
True
Let q = 57897 - 22841. Is q a multiple of 56?
True
Suppose -57*u + 12864 = -22476. Is 31 a factor of u?
True
Let t be (12/(-6))/(1 - -1) - -12. Suppose -5*k + 9408 = t*k. Is 49 a factor of k?
True
Let l be (-10)/(-50) - (-16)/(-5). Let i be l + (0/(-2) - -3). Suppose -u + 75 + 26 = i. Does 17 divide u?
False
Let q be (-1 - -3) + (2 - 1) + 67. Suppose -13*i = i - q. Suppose -2*a = 4*v - 270, -a - 360 = -i*v + a. Is 7 a factor of v?
True
Suppose 0 = -4*k + 59 - 55. Let t be (8*k)/(-4 - -6). Is 117/(-12)*(12/9 - t) a multiple of 5?
False
Let w(h) = -2*h**2 + 10*h + 5. Let v be w(5). Suppose -v*s = -251 + 26. Is s a multiple of 45?
True
Suppose 4004 = 5*r - 7258 - 20788. Is 5 a factor of r?
True
Is 8 a factor of 1256/6*((-10)/(-4))/((-16)/(-192))?
True
Is 17737 - 15/(-9*(-2)/(-6)) a multiple of 56?
False
Let m = 44 - 34. Let h(k) = k**2 - 10*k + 2. Let l be h(m). Is 2 a factor of 2 + (3 - (l + -1))?
True
Let i be -1 - 15/(-9) - 444/(-9). Suppose 5*a = i - 0. Does 25 divide a*((-2)/7 - 216/(-21))?
True
Let n(m) = 686*m**2 + 86*m - 128. Does 56 divide n(8)?
True
Let k(l) = 1 + 12*l - l**2 - 29 + 13*l - 5*l. Let d be k(18). Suppose 34 = -d*m + 298. Does 22 divide m?
False
Suppose 8*b - 20301 = 72259. Is b a multiple of 65?
True
Let s(z) = z**3 - 7*z**2 + 15*z - 20. Let j be 1*1/(-4) + 99/12. Let p be s(j). Suppose -2*c = -3*v - 110, -3*c + 5*v = -0*c - p. Does 29 divide c?
True
Let r = 129 + -127. Suppose r*s + 4*a - 204 = 0, -4*s = 4*a - 244 - 148. Does 9 divide s?
False
Suppose -2*l - 4*n - 28 = 0, -3*n - 6 = -0*l - l. Does 52 divide (-12)/(l + 778/130)?
True
Let m(b) be the third derivative of b**4/6 - 11*b**3/2 - 6*b**2. Let f be m(9). Suppose 2*i - 38 = -2*w, -f*w = -w - 3*i - 33. Is w a multiple of 9?
True
Suppose b + 3*b = -44. Let r(i) be the third derivative of -i**4 - i**3/3 + 277*i**2. Is 17 a factor of r(b)?
False
Let x(p) = -2*p - 3*p**3 - 6*p**2 + 9*p + 8 + 2*p. Let z be (-1)/(4 + 76/(-20)). Is 8 a factor of x(z)?
False
Is 12 a factor of (-32961)/54*-6 - 3/(-27)*-21?
True
Let m = 71 - 69. Suppose 3*h - 10 = 5*j, 3 = m*h - h - 2*j. Is 2 a factor of h?
False
Suppose 83198 = 124*p + 27398. Is 2 a factor of p?
True
Let v(r) = 2*r - 9 + 18*r - 3. Let i be (50 + -42)*(-2 - (-11)/4). Does 30 divide v(i)?
False
Suppose -4*m + 8 - 37 = -l, -m + 14 = 4*l. Let y(u) = u**3 + 7*u**2 + u - 10. Let i be y(m). Is 16 a factor of (24/10 + 0)*i?
True
Suppose 190 = 22*r - 3*r. Is 3 a factor of ((-65)/r)/13*-30?
True
Suppose 4*d + 3*n = -0*n + 5704, 3*d = 4*n + 4278. Suppose -d = 405*j - 407*j. Is j a multiple of 21?
False
Let f(z) = -z**3 - 5*z**2 + 6*z - 3. Let h be f(-4). Let x = h - 19. Let i = x - -73. Is i a multiple of 2?
False
Suppose 6*c + 4*c = -0*c. Suppose c = -4*b + 50 + 34. Does 8 divide b?
False
Suppose -5*n + f + 14550 = -86243, 0 = -4*n + 4*f + 80612. Is n a multiple of 30?
True
Let s(x) = -11 - 2*x**2 + 2*x**2 - x + 10*x**2 + 2*x**3. Does 25 divide s(-4)?
True
Let j(v) be the third derivative of -v**5/60 + 5*v**4/24 + 137*v**3/2 + 166*v**2. Is j(0) a multiple of 67?
False
Let q(m) be the first derivative of -3*m**4/2 - 2*m**3/3 + 2*m**2 - 13*m - 79. Is 17 a factor of q(-4)?
True
Suppose -4*v + b = -0*v - 2173, -2*v + 1085 = b. Suppose 3*h - v = 192. Suppose 3*g - 8*g = -h. Is g a multiple of 42?
False
Let u = -21684 - -36454. Is 35 a factor of u?
True
Let m(d) = d**2 - 33*d + 1592. Is 33 a factor of m(61)?
True
Let m = 16106 + -6096. Is 13 a factor of m?
True
Suppose -11 = -p + m, p + 5*m - 1 = -8. Suppose 0 = p*t - 11*t + 111. Does 17 divide t?
False
Let z = 789 + -784. Suppose z*a + 4*c - 1121 = 0, -a + 97 = 2*c - 132. Is 17 a factor of a?
True
Suppose -54*b = 44*b - 141316. Is 10 a factor of b?
False
Suppose 16 + 124 = 2*w. Suppose -4*b + w = -290. Let s = b - 60. Is 6 a factor of s?
True
Let z = -247 + -127. Does 3 divide 6 - 23/4 - z/8?
False
Let c = 8355 - 7472. Does 6 divide c?
False
Suppose 0 = 28*f + 13400 - 101460. Does 37 divide f?
True
Let n = 16279 - 14263. Does 24 divide n?
True
Let r(b) = 24*b**2 - 4*b - 11. Suppose 0 = -2*d + 4*v - 10, 5*d = d - 2*v - 10. Does 28 divide r(d)?
False
Let a(k) = -2*k**3 + 17*k**2 + 5*k + 12. Let r be a(7). Suppose -18*u = r - 4802. Is 18 a factor of u?
False
Suppose 2*l + 2*f - 9 + 19 = 0, 4*l + 11 = -f. Is 9/3 + ((-1980)/l - 1) a multiple of 11?
False
Suppose 2 = -6*b + 20. Suppose -i - 8 = 3*j, b*j + 2 = 2*j. Is (146 - 0) + i + 1 a multiple of 29?
True
Suppose -3*k - 15 = -4*l + 10, -k - 19 = -4*l. Let i be (1 + (-2)/l)*(4 + -4). Suppose 2*q - 417 + 159 = i. Does 16 divide q?
False
Let n = 8097 + -7889. Is n a multiple of 13?
True
Suppose -3667290 = 690*s - 20124480. Is 63 a factor of s?
False
Let d(g) = -5*g + 24. Let c be (-97)/(-5) - 20/50. Let j be d(c). Let l = 117 + j. Is 9 a factor of l?
False
Let w(y) = 1 + 0 + 264*y**3 - 3*y + 1 + 2*y**2 + 0. Is w(1) a multiple of 53?
True
Suppose 4*s - 2*s = 5*a + 99, 0 = a - 5. Suppose l + o = s, 5*o = 3*l + 2*l - 350. Is 22 a factor of l?
True
Suppose 81*g - 87*g - 1548 = 0. Let l = -118 - g. Is l a multiple of 6?
False
Is -1 + 13/7 - (-39108)/(-42)*-1 a multiple of 11?
False
Let q be (4/5)/((-77)/(-15) - 5). Suppose -t = -2*t + 215. Suppose -t = q*p - 1007. Does 12 divide p?
True
Suppose 231*t - 587282 = -205470 + 301024. Is t a multiple of 2?
True
Suppose 0 = -3*g + 3*i - 9, 3*g = -3*i + i + 16. Suppose y - 459 - 256 = -g*z, 5*y + 709 = 2*z. Is z a multiple of 17?
True
Suppose -5*y + 1304 = -y. Let s = y - 76. Suppose 0 = 14*l - 9*l - s. Does 14 divide l?
False
Let d = 54 - 54. Suppose d = b + 2*t - 216, 0 = 4*b - 4*t - 800 - 28. Does 10 divide b?
True
Let b = 782 + 756. Suppose 1512 - 276 = 4*s - 2*g, 0 = 5*s + g - b. Does 28 divide s?
True
Let l(f) = 460*f + 2. Let y be l(4). Suppose -45*j - y = -51*j. Is j a multiple of 11?
False
Does 40 divide (-2476966)/(-427) + 6/(-7)?
True
Let x = 13443 + -11006. Does 12 divide x?
False
Let s be (-4)/(-7) - (-5808)/28. Suppose -v = -6 - s. Is 4 a factor of v?
False
Suppose 1968 - 18420 = 53*w - 89*w. Is 228 a factor of w?
False
Suppose 27173 = 29*t + 4785. Is 8 a factor of t?
False
Suppose -2*b - b = 6, -3*m = -3*b - 18. Suppose m*r - r = 0. Let j(a) = 4*a**2 - a + 27. Does 9 divide j(r)?
True
Let m(y) = y**2 + 3*y - 6. Suppose 5*x = -0*x + 135. Suppose -12*q + 9*q = x. Is 24 a factor of m(q)?
True
Let d(x) = 9756*x**3 - 4*x**2 - 9*x + 12. Is 76 a factor of d(1)?
False
Let t(j) = 44*j - 93. Let n(g) = -5*g - 14. Let h be n(-5). Is 23 a factor of t(h)?
True
Let f(s) = s**2 + 3*s - 2. Let i be f(1). Suppose 290 = 3*h + i*y, -19*h - 4*y = -14*h - 484. Is h a multiple of 12?
True
Suppose -473*h = -475*h + 6. Let m = 7 - h. Does 4 divide m?
True
Let o be -3*(2 - 0 - 1). Let u be -1*(4 + (-13 - o)). Let x = u + 48. Is 9 a factor of x?
True
Suppose 2*i - 7*i = -85. Let r = -59 + i. Is r/(-189) + (-2 - (-241)/9) a multiple of 5?
True
Let g = 138 - 206. Let b = -57 - g. Is 5 a factor of b?
False
Let k = -125 - -77. Is (-9)/((-108)/(-8))*k a multiple of 12?
False
Suppose -4*q = 3*w - 37885, -2*q + 2*w - 6835 + 25795 = 0. Suppose 0 = -58*t + 6939 + q. Does 13 divide t?
False
Let d be (-1)/(4/(-3) - -1). Suppose -w - 4*k + 53 = 0, -w + d*w = 5*k + 158. Suppose -w = -7*s + 78. Is s a multiple of 17?
False
Let f(d) = -4*d**2 + 7*d + 2. Let g be f(2). Suppose -6*i + 18 + 498 = g. Is i a multiple of 3?
False
Let l(b) = -b + 1. Let i(c) = -c**2 - 3*c + 22. Let a(o) = -i(o) + 6*l(o). Is 7 a factor of a(-7)?
False
Let i(z) = 1086*z**2 + 12*z - 3. Let d be i(-4). Is 11 a factor of (12/22)/(-3) - d/(-121)?
True
Let q = -47 - -170. Let x = 165 - q. Is 7 a factor of x?
True
Let i = -32 + 56. Does 2 divide (((-810)/24)/9)/((-3)/i)?
True
Suppose -4*l = -10*g + 5*g - 20, 3*l - 15 = g. Let f(n) = 0 + g + 1 + n**2 + 7 + 11*n. Is 33 a factor of f(-13)?
False
Suppose 1706 = f - 3*q, -2*f - 6*q + 3398 = -5*q. Does 39 divide f?
False
Let g(j) = -13*j + 79. Let b be g(6). Is 5 a factor of -1*(-5 - (0 + 4 + b))?
True
Suppose 0 = -0*z - 2*z - 5*x - 18, -3*z = -4*x + 27. Let v(o) = -o**3 - 13*o**2 - 4*o - 1. Let d be v(z). 