 0. Is 14 a factor of t?
True
Let u be (-25)/10 + 136125/18. Suppose -9*j + u = 9*j. Does 20 divide j?
True
Suppose -413380 + 3267933 = 140*l + 439133. Is 42 a factor of l?
False
Is 3636 + 0 + (-868)/(-217) a multiple of 56?
True
Let z(i) = 2*i**2 - 11*i - 6. Let r be z(-4). Let o be (-5 + r)*64/10. Let k = o + -273. Does 13 divide k?
True
Suppose 3*y + 470 = x, 169 - 955 = 5*y + x. Let l = 4 + -67. Let m = l - y. Does 18 divide m?
False
Let r(k) be the first derivative of 4*k**3/3 + 19*k**2/2 - 31*k - 109. Is r(-9) a multiple of 12?
False
Let n(b) = -b**2 - 80*b - 935. Let i be n(-67). Suppose 4*h - 5*g - 20 = -3, 3*h = -3*g + 6. Is 3 a factor of h*1 + (-15 - i)?
False
Let o = 2575 - 2221. Does 9 divide o?
False
Let y = -3555 + 4590. Does 115 divide y?
True
Suppose 0 = -64*h + 71*h. Let f(d) = -d**3 - d**2 - 10*d + 60. Is f(h) a multiple of 19?
False
Let g be (216/(-81))/((-2)/228). Suppose -2*a + 678 = -4*i, a + 44*i = 39*i + g. Is 15 a factor of a?
False
Let m(d) = 2*d**2 + 97*d + 931. Does 4 divide m(-69)?
True
Let g(x) = 16*x - 4. Let d be g(2). Suppose 6*s + 2310 = d*s. Is s a multiple of 15?
True
Suppose -5*k + 121*y + 50207 = 120*y, 0 = 3*k - 4*y - 30131. Is k a multiple of 71?
False
Let v(s) = -s**3 + 7*s**2 + 6*s + 19. Let m be v(8). Suppose -m*j = 3*o - 8 - 1, 0 = -j - 3. Suppose -420 = -o*u + 84. Does 14 divide u?
True
Suppose -g - 12 = 3*h, -5*g - 3*h = -2*g + 6. Suppose 0 = 3*v + 2*o - 20 + 7, 3*v - 3*o = g. Suppose v*x - 1 - 35 = 0. Is 12 a factor of x?
True
Let z be -6 - (-3 - 2/(-2)). Let m be (-2)/(z/(-2)*2/(-10)). Suppose -622 = -4*r - b, -1 = -2*b - m. Is 39 a factor of r?
True
Let f = 378 - -118. Suppose 0 = 487*x - f*x + 468. Is 4 a factor of x?
True
Let o = -220 + 244. Suppose -20*m = -o*m + 2352. Does 12 divide m?
True
Let w = 2972 + 605. Is w a multiple of 19?
False
Suppose -8*f - 598051 = 211*f - 5042656. Does 145 divide f?
False
Let y(x) = -37*x + 87. Let s(i) = -i**3 + 5*i + 4. Let l be s(3). Does 49 divide y(l)?
False
Suppose 5*q = 10, -a + q = -5 - 0. Suppose -a*x + 119 = -231. Is x a multiple of 10?
True
Suppose -49 = 3*l + 5*r, -l = 4*l + 4*r + 60. Let c = l - -11. Suppose -c*k - 7*y + 178 = -3*y, 2*k = 3*y + 113. Is k a multiple of 6?
False
Suppose 10084 = 5*r + 3*l, -3755 = -2*r - 2*l + 281. Let s = r - 1062. Is s a multiple of 12?
False
Suppose -n + 10 = -3*n, 40 = 5*v + n. Suppose v*o = -o + 4740. Is 38 a factor of o?
False
Suppose -m = 15 - 4. Let t be (0 + -3)*-3*(12 + m). Suppose -t*s = -21 - 60. Is s a multiple of 9?
True
Let g(a) = -a**2 + 13*a + 2. Let n be g(13). Let h be n*45/24 - (-2)/8. Suppose 0 = -h*t + t + 336. Does 16 divide t?
True
Suppose -2*k = 2*n - 6749 + 681, 5*k = -4*n + 15167. Suppose 35*o - k - 2359 = 0. Is o a multiple of 5?
False
Suppose 12*q - 148 = -25*q. Suppose n - w + q - 22 = 0, 4*w = 12. Is n a multiple of 3?
True
Suppose o - 2*o + 3 = 0, t = 3*o - 6. Suppose -2*c - 4*z = 2*c + 12, t*c + 2*z + 4 = 0. Suppose -c*a = -4*j + 543 - 133, -315 = -3*j - a. Does 13 divide j?
True
Suppose -7*v + 562 = -943. Let q = -188 + v. Is q a multiple of 3?
True
Suppose -130568 = -18*r - 168*r + 189166. Is r a multiple of 10?
False
Let z be (-2)/(-15) + -2*44056/240. Let h = z + 378. Is h a multiple of 11?
True
Suppose 0 = -b + 5*x + 25, 2*b - 3*x - 125 = -3*b. Let m(h) = -2*h**2 + 49*h + 27. Let r be m(b). Does 11 divide (r + 28/(-8))*92/(-3)?
False
Suppose -7*s + 8*s - 5*f - 2640 = 0, 4*f = s - 2638. Is s a multiple of 7?
False
Let p(t) = 6*t**2 - 6*t - 22. Let q be p(-3). Suppose q = 5*n - 370. Is n a multiple of 19?
False
Suppose 256 + 11114 = 5*h - 5*w, 9091 = 4*h - 3*w. Is h a multiple of 19?
False
Let d be (20/1)/((-84)/(-22) + -4). Let t be d/(-12) + 2*2/(-24). Does 6 divide t/15 - -1*(-107)/(-5)?
False
Is ((-637)/78*4)/((-3)/1116) a multiple of 36?
False
Suppose -z = -5*v - 400, 0*z - 400 = -z - v. Suppose 0 = -9*h + z + 320. Is 4 a factor of h?
True
Let k = 538 + 636. Suppose -k = -6*z - 352. Does 16 divide z?
False
Suppose v - 3 = -3*g, -9*g + 14*g + 2*v - 5 = 0. Let x be 12/(-30)*-5 + (-4)/g. Is (-7383)/(-46)*x/(-3) a multiple of 47?
False
Let f(x) = -x**2 + 21*x - 39. Let w be -10*(2 + 5/(10/(-11))). Let c be 581/w - (-3)/(-5). Is 4 a factor of f(c)?
False
Suppose 0 = -13*b - 195 - 234. Does 11 divide (-1 - -321) + 33/b?
True
Suppose 3 = -2*n + 13. Suppose n*z = -5*k + 15, -1 = 2*k + 5*z - 4. Does 18 divide (-4)/k*112/12*-24?
False
Let z be (4/2)/(6 + (-3280)/548). Suppose -2*u + 53 = -z. Let s = 171 - u. Is s a multiple of 38?
True
Let r = 16502 - -23397. Is 41 a factor of r?
False
Let w(d) = -12*d + 8. Let t be w(4). Let x = -66 - t. Is x/(-143) + 1998/22 + 0 a multiple of 7?
True
Is 45392 - ((-8)/(-10) - 64/120*-6) a multiple of 9?
False
Suppose 6192 = 20*t + 1352. Suppose -k + 389 = -2*d, k = 5*d + 156 + t. Is k a multiple of 12?
False
Let c = -5249 + 10273. Does 62 divide c?
False
Suppose -49*a + 42*a = -159789. Is a a multiple of 35?
False
Let j(g) = -5*g**2 - 40*g + 15*g + g**3 - 7 + 27*g. Is j(6) even?
False
Let a be (-5 - -2) + -7 + 8. Let k be a - (-12 + -2 + 0 - -3). Suppose 5*w = -h + 81, 4*h - k*h - 3*w = -317. Is 32 a factor of h?
False
Suppose 37*q = -2*j + 40*q + 46623, 5*j = 3*q + 116544. Is 15 a factor of j?
False
Let y(h) = 3*h**2 + h - 1. Let c be y(1). Suppose -c*z = -3 - 0, 3*r - z = 218. Let k = r + -43. Is 5 a factor of k?
True
Suppose -10*w = 5*s - 15*w - 845, -5*s + 875 = 5*w. Suppose 0 = 8*g - 1868 - s. Is g a multiple of 9?
False
Suppose 0 = -4*n + 5*f + 71740, -6*f - 53814 = -23*n + 20*n. Does 22 divide n?
True
Let g be (-331)/(-6) + (-2 - 22/(-12)). Let t = g - -113. Is 11 a factor of t?
False
Does 6 divide (2/3)/(42 - 521620/12420)?
True
Let r = 41235 + -17694. Is 133 a factor of r?
True
Suppose 4*u + 2*h - 25810 = 0, 5*h = 5*u - 10172 - 22053. Is u a multiple of 25?
True
Let n = 4 - -8. Suppose 7*t + 155 = n*t. Suppose -5*a + t = -4*a. Does 8 divide a?
False
Let d be (15/(-9))/(-3 + 13/6). Suppose -5*w - 3*b = -2*w - 3654, -d*w - 5*b = -2445. Is 36 a factor of w?
False
Let v = 18095 - 3743. Is v a multiple of 69?
True
Suppose 6*h + 13 - 1 = 0. Let a be 2*(-2)/(-4)*h + 53. Suppose 3*m - n = 83, a = 2*m - 2*n - 3*n. Does 14 divide m?
True
Let m(y) = 2*y**2 + 2*y + 11926. Is 22 a factor of m(0)?
False
Suppose 49*y + 455900 = 147*y - 48*y. Is y a multiple of 11?
False
Suppose -4*l + 32 = 4*c, 2*l - 5*l - 6 = 0. Suppose -c*k = -11*k - 1. Is k + -2 - (-1 - 8) a multiple of 6?
True
Suppose 2*o - 2*g + 6*g = 32, -2*o = -4*g. Does 20 divide 4/o + 623/2 - -3?
False
Suppose 5*a - 8 = -2*g + a, 0 = -5*g - a + 11. Suppose -i - i + 1640 = 4*w, g*i = 3*w - 1216. Is 6 a factor of w?
True
Let f = -18 + 10. Let q = f + 11. Suppose 3*m - 27 = 2*a, -a = q*m + 3*a - 9. Is m a multiple of 3?
False
Suppose 2*r = -8*x + 3*x - 34, 5*r + 2*x + 64 = 0. Let c be 9/r*-2*4. Suppose c + 8 = b. Is b a multiple of 14?
True
Let g(x) = -8*x**2 + 2*x + 4. Let n be g(-2). Let b = -32 - n. Suppose b = -2*w - 0*w + 132. Does 8 divide w?
False
Let o(k) = -k**2 + 14*k + 12. Let s = 17 + -4. Suppose -s*u = -17*u + 36. Is 18 a factor of o(u)?
False
Suppose 0 = 2*h + 415 - 352 - 2125. Is 51 a factor of h?
False
Let d(z) = z**2 - 1. Let w(f) = 69*f**3 + 6*f**2 - 6. Let x(b) = -4*d(b) + w(b). Does 12 divide x(1)?
False
Let c = 161 - 86. Let h be (-5 + 3)*c/(-6). Let u = 49 - h. Is 15 a factor of u?
False
Suppose 0 = 59*j - 31*j. Suppose j = 4*r - 1051 - 137. Is r a multiple of 37?
False
Is (-3)/8 + ((-92600)/(-300))/(32/78) even?
True
Let j(b) = -3*b**3 + 15*b**2 + 9*b + 15. Does 26 divide j(-7)?
True
Let m(u) be the third derivative of u**6/120 + 19*u**5/60 - 19*u**4/24 + 11*u**3/3 + 17*u**2. Let b be m(-20). Let o = 55 + b. Is 21 a factor of o?
False
Let o(w) = -86*w**3 - 201*w**2 + 10*w - 28. Does 29 divide o(-6)?
True
Is 5 a factor of 6*(-10 - (-325)/30)?
True
Let l(p) = -12*p**3 - 15*p**2 + 468. Is 19 a factor of l(-12)?
False
Let w(s) = -492*s + 787. Is 14 a factor of w(-15)?
False
Let p = 26 + -15. Let x(q) = q - 1. Let v be x(p). Suppose v*b = -10*b + 1560. Is 22 a factor of b?
False
Suppose 4*j - 24 = -0*u - 2*u, j = 5*u - 49. Let o(r) = 3*r**2 + 23*r - 209. Does 31 divide o(u)?
False
Suppose 16 = -4*f, -t + 6*t - 9888 = -3*f. Suppose 2*v = 5*v - t. Does 12 divide v?
True
Let p(g) = 