s 20 a factor of t?
True
Let a = 23961 + -14370. Is a a multiple of 139?
True
Let v = -694 + 694. Suppose v = -5*l + 5*h + 6675, -l - 3*l = h - 5315. Is 38 a factor of l?
True
Let i(o) = 212*o**2 - 4*o - 50. Does 85 divide i(-5)?
True
Suppose -18*l = -78 + 6. Suppose j - 346 = -2*s, -l*j - j + 2*s = -1670. Is 42 a factor of j?
True
Suppose -4*x + 15 = -13, 4*b + 5*x - 8767 = 0. Does 6 divide b?
False
Let o be (-3 - (-72)/20)/((-3)/(-15)). Suppose -q + s - 3*s = -281, -o*s = 0. Is 41 a factor of q?
False
Let r(c) = -c - 2. Let x(p) = -6*p + 7. Let v(k) = 3*r(k) + x(k). Let f be v(0). Let s(z) = 11*z**2 - 3*z + 2. Does 10 divide s(f)?
True
Let s(i) = 5*i**2 - 22*i - 2. Let n be s(5). Suppose r + n*r = 6538. Is 16 a factor of r?
False
Let j(n) = 47*n - 6. Let u be 1*(14/(-35) + 47/5). Does 23 divide j(u)?
False
Let w = 2 - 39. Does 2 divide w + 54 + (-2 + 0 - -1)?
True
Let m(u) = u**3 + 15*u**2 + 2. Let y be 31/(-2) + 12/24. Let z be m(y). Is (-2 - (-1 - z))/((-1)/(-12)) a multiple of 3?
True
Let x = 3282 - 2277. Suppose 669 + x = 6*h. Suppose 4*c - 9*p + 4*p = h, -c = -4*p - 78. Does 11 divide c?
True
Let i(k) = -4*k + 46. Let m be i(11). Suppose 24 - 58 = -m*p. Suppose 2*g + u = 50, 77 = 4*g - u - p. Does 17 divide g?
False
Let p = -56 - -59. Suppose -2*a = -0*a - 168. Suppose 2*q - 10 = 0, -2*c + q = -p*q - a. Does 13 divide c?
True
Suppose 0 = -2*c + 152 + 44. Suppose d = 2, -5*d + 0*d + c = 4*l. Suppose -k = -50 - l. Is 8 a factor of k?
True
Suppose -8*f + 4*i = -10*f + 824, 3*f - 4*i - 1256 = 0. Suppose 0 = -4*m + 2*t + f, -8*m + 7*m + t + 103 = 0. Is m a multiple of 35?
True
Suppose 2*d - 13 = -x + 3, x + d = 11. Does 43 divide (2/1)/((-4083)/681 + x)?
False
Let v(f) = f**3 + 7*f**2 - 4*f - 12. Let h = -11 - -6. Let r be v(h). Suppose 6*y - r = 5*y. Is y a multiple of 11?
False
Suppose 56*c + 51128 = -62*c + 129*c. Is c a multiple of 14?
True
Let o(y) = -765*y**2 - 15*y - 11. Let s(w) = -767*w**2 - 16*w - 11. Let n(p) = -6*o(p) + 5*s(p). Is n(-1) a multiple of 9?
True
Let t(c) = 9*c + 10. Let f(u) = 9*u + 10. Suppose 0 + 8 = 2*d. Let l(k) = d*t(k) - 5*f(k). Does 11 divide l(-6)?
True
Let h(x) = 29*x + 26. Let f be (9 - 5)/(-4)*(-3 + -4). Let b be h(f). Suppose 12*r - b - 155 = 0. Is 4 a factor of r?
True
Suppose 30*z = 38*z - 48. Suppose -5*f = -4*b - 569, 107 = f - 4*b + z. Is f a multiple of 39?
True
Suppose -u - 6 = k, -5*u - 2 = -4*k + 10. Let w(q) = 48*q**2 + 10*q + 20. Is w(k) a multiple of 48?
True
Suppose 434515 = 18*k - 6*k + 31*k. Is k a multiple of 33?
False
Let q(l) = -4*l**3 + 3*l**2 + 5. Let h be q(-3). Suppose -b - 3*b + h = -4*f, -4*b = 2*f + 46. Let i = f - -70. Does 8 divide i?
False
Suppose -6*j = -33*j + 89135 + 402130. Is 29 a factor of j?
False
Suppose -3*w + 3*f + 627 + 27750 = 0, 2*f = -16. Is 13 a factor of w?
True
Let c(v) = 14*v**2 + 2*v - 10. Suppose 24 = 3*m + 5*a, 3*m = 4*m + a - 6. Let r be c(m). Suppose 40 = 6*k - r. Is 11 a factor of k?
False
Let s(t) = -t**3 + 11*t**2 - 4*t + 49. Let y be s(11). Suppose 8*n - 285 = y*n - 4*b, 0 = -n - 4*b + 103. Is 15 a factor of n?
False
Suppose -492 = 357*c - 360*c - 5*z, -4*z = -4*c + 624. Is 55 a factor of c?
False
Suppose -43*h + 406 = -29*h. Suppose h*u - 25*u - 1392 = 0. Does 29 divide u?
True
Suppose 3*q = -2*q - l + 128, -8 = 4*l. Suppose -q*s + 5544 = 2*s. Does 20 divide s?
False
Suppose 0 = 3*l - 3*u + 93, -l + 4*l - 5*u + 101 = 0. Let r = l + 29. Suppose -2*n + 21 = -3*z, n + 5*z = r*n + 7. Is n a multiple of 8?
False
Suppose -m + 3162 = p - 1074, 5*m + 2*p - 21198 = 0. Is m a multiple of 15?
False
Let n = -141 - -91. Let j be n*5/(-10)*3. Suppose 5*i - j = -m, -2*i - 1 = 2*m - 23. Does 5 divide i?
False
Let l = -53 + 218. Let f = l - 92. Is 5 a factor of f?
False
Let r(k) = 92*k - 558. Is 146 a factor of r(14)?
True
Suppose -5*m - 5*q - 137 + 9682 = 0, -3*q = -2*m + 3828. Is m a multiple of 13?
True
Let s = 399 + -249. Let m = -108 + s. Is m a multiple of 7?
True
Suppose -13693 = -4*k - 2*u + 22199, u + 26924 = 3*k. Is 7 a factor of k?
True
Let y = -59 + 115. Suppose 2*o - 2*a = y, 6*o + 4*a - 56 = 3*o. Suppose 3*u = -3*r + o, 3*u = u + 4*r + 10. Is u a multiple of 7?
True
Let g(p) = -p**3 - 22*p**2 + 22*p - 23. Let t be g(-23). Suppose t = -w + l - 3*l + 165, 2*w + l - 330 = 0. Does 15 divide w?
True
Suppose -3*v + 2*b = -275, 0 = -7*v + 2*v - b + 441. Suppose 84*w + 490 = v*w. Does 14 divide w?
True
Let f(g) = -33*g**3 - 15*g - 14*g**2 + 18*g**3 + 0 - 6 + 18*g**3. Is 51 a factor of f(8)?
False
Let o = -451 + 454. Suppose 4*u + 1704 = -3*h + 5636, o*u - 2949 = -h. Does 8 divide u?
False
Let v(a) = -52*a + 439. Let w be v(8). Let m be 195/21 - 4/14. Suppose w*x - m*x = 168. Does 3 divide x?
True
Let f be (-11645)/34*1/(2/(-4)). Suppose 0 = -8*c + f + 275. Is 6 a factor of c?
True
Let c = 3297 - 1569. Does 108 divide c?
True
Let u be 7 + (-45)/6 - (-103)/(-2). Let a = -47 - u. Suppose 511 = 12*t - a*t. Is 32 a factor of t?
False
Suppose -2*s = -4*h + 19504, 2*h + 0*s - 9768 = -3*s. Does 6 divide h?
True
Let v be (94/(-3))/(2/(-6)). Let c(n) = 21*n - 85. Let a be c(7). Suppose -a = -w + v. Is w a multiple of 39?
True
Let a = -70 - -70. Suppose s - j = 32, s + 3*j - 1 - 27 = a. Does 3 divide s?
False
Suppose -x - c + 4438 = 187, -8522 = -2*x + 2*c. Is x a multiple of 14?
True
Let m = 50 + -39. Suppose m*i = 7*i + 8. Suppose 0 = z + i*x + 1, 8 = 5*z + 2*x - 19. Is z a multiple of 2?
False
Suppose 16*b - 113419 - 115610 + 6757 = 0. Is 92 a factor of b?
True
Suppose -5*k = 3*k - 920. Suppose -3*t + 4*n + 125 = 0, 55 = 4*t - 2*n - k. Is t a multiple of 2?
False
Let v = -60 - -58. Let d be 5/(-2)*(2 + v + -2). Suppose 229 = d*y - 4*u - 4, -y + 2*u = -43. Is 8 a factor of y?
False
Let y = 45 - 25. Let w be ((-33)/(-5) + 0)*5. Let g = y + w. Is g a multiple of 13?
False
Does 164 divide ((837/434)/(36/(-42)))/((-3)/22304)?
True
Let g be (2*10)/((32/(-116))/(-4)). Suppose j - g = 2*a - 38, -a + 1271 = 5*j. Suppose -5*n + c + 100 = -163, 0 = 5*n + 2*c - j. Is 11 a factor of n?
False
Let h = -1763 + 3947. Is 26 a factor of h?
True
Let z(g) = -2*g**3 - 25*g**2 + 33*g + 9. Let n be z(-14). Suppose n - 1443 = -6*b. Is b a multiple of 30?
False
Let k = 82 + -105. Let q = -32 - k. Is (q/(-42)*40)/((-2)/(-56)) a multiple of 15?
True
Let p(y) be the first derivative of y**3/3 + y**2/2 + y + 44. Does 4 divide p(13)?
False
Suppose -n + 3*j + 1148 = 0, 2288 = 2*n - 3*j + j. Let o = n - 610. Does 19 divide o?
True
Suppose q - z - 53 = 189, -1226 = -5*q - 3*z. Suppose -2*g + q = -4*i, -5*i + 344 + 33 = 3*g. Is 11 a factor of g?
False
Suppose z + 590 = y, -3*y - 3*z + 1180 = -y. Is 27 a factor of 2 + y*7/14?
True
Does 4 divide (-23)/(-138) - ((-200690)/12)/5?
False
Suppose -5*i = -13*i + 1040. Let d be (-2)/4*(-78 + -2). Let x = i + d. Is x a multiple of 34?
True
Let h be 45/18 - -3*(-5)/6. Suppose 3*s - 353 = 4*u, h = 4*s - 0*s + 4*u - 508. Is 6 a factor of s?
False
Suppose 1125 = 13*r - 305. Let v = 460 - r. Is 14 a factor of v?
True
Let r = -14667 - -21597. Is 7 a factor of r?
True
Let c(g) = 120*g**2 - 104*g - 3. Does 23 divide c(-10)?
False
Suppose -42*l + 105084 = -270270. Is l a multiple of 11?
False
Let t(m) = 39*m - 105. Let a be t(3). Suppose -a*f + 1536 = -9*f. Is 31 a factor of f?
False
Suppose 3*n = 5*b - 20, 2 = 2*b - 5*b - n. Does 35 divide (6/12*1736)/b?
False
Suppose 5*u - 7371 = n - 19408, -4*u = 5*n - 59982. Is 17 a factor of n?
True
Let f be (-3244)/(-20) - 1/(-1 - -6). Let h = -336 + f. Let y = -79 - h. Does 8 divide y?
False
Suppose 3*c = -y - 7 + 18, 5 = 3*c - 2*y. Suppose c*b - w + 2 = 0, 0*w = -b - w + 6. Let n(a) = 17*a**3 + 2*a - 2. Does 5 divide n(b)?
False
Suppose 0 = 12*x - 29 + 137. Does 15 divide (-6)/x*(-5 - -332)?
False
Suppose -2*v + 3*f = 192, 4*v - 15*f = -19*f - 444. Suppose -4*k - 164 - 28 = 0. Let z = k - v. Does 19 divide z?
True
Suppose 3*b - 15 = 0, 2*b = -4*j + 16 + 18. Suppose 0 = j*h + 94 - 4. Is 4 a factor of (-10024)/(-420) + (-2)/h?
True
Suppose 0*h = -f + 2*h - 126, -5*f = 4*h + 616. Let r = f + 130. Is r a multiple of 3?
True
Let d = 7 - -2. Suppose -6 = -3*r + d. Suppose 8 = t + 2*p, 51 = 3*t - r*p + 2*p. Is t even?
True
Let a(h) = -h**2 + 13*h - 24. Let q be a(3). Suppose -973 = -q*n + 1535. Is n a multiple of 38?
True
Suppose 5*