. Does 16 divide t?
True
Suppose -1788 = -l - 8*h + 3092, h = -2. Is 48 a factor of l?
True
Suppose 86*x - 2042880 = 22*x - 88*x. Does 80 divide x?
True
Let o(d) = 46*d**3 - 16*d**2 - 39*d - 43. Does 41 divide o(7)?
True
Suppose 7693 = 2*o - 5*w - 4164, 0 = -o - 4*w + 5948. Does 14 divide o?
True
Let f(r) be the second derivative of 13*r**4/3 - r**3/3 + 3*r**2 - 4*r - 11. Does 10 divide f(2)?
True
Let n be ((-531)/(-6))/(3 + 21/(-6)). Does 40 divide 0 + 1 - (n - -12)?
False
Let u(p) = -p - 4. Let y be u(-3). Let f = 1222 - 1216. Does 28 divide 511/f - (y - (-7)/6)?
False
Suppose 0 = -36*s + 224 + 280. Suppose -40*r + s*r + 9074 = 0. Is 6 a factor of r?
False
Suppose -3*w + 4*m + 2251 = 0, -2*w + 1518 = -0*w + 6*m. Is w a multiple of 55?
False
Suppose 7*k - 5*k = -15*k. Suppose k = 19*m - 11*m - 2096. Is 5 a factor of m?
False
Let i = -18 - -32. Let h = 90 - 62. Suppose 0 = -2*d + 5*v + h, -d = -4*v + 3 - i. Is 19 a factor of d?
True
Let j(l) = -l**2 - 98*l + 396. Does 104 divide j(-54)?
False
Let d(q) = 27 - 11 + 7*q + 13 + 14. Is 60 a factor of d(11)?
True
Let q(k) = k**3 - 5*k**2 + 7*k - 14. Let p(d) = -d**2 + d. Let b(w) = 5*p(w) - q(w). Suppose 0 = 2*l - 3 - 3, 2*s - 9 = -3*l. Is 14 a factor of b(s)?
True
Let d be (-1 - 5)/(9/102). Let q = d - -46. Is 24 a factor of 812/11 + (-4)/q?
False
Suppose 294 + 21 = y. Let h be y/10 + 6/4. Suppose 2*t + h = 3*t - 3*b, 245 = 5*t + 5*b. Is 15 a factor of t?
True
Let x = 15674 - 9217. Does 33 divide x?
False
Suppose 0 = 3*v - 5*m - 25, -2*m = -2*v + 2*m + 18. Suppose -2*x = -9*r + 11*r - 550, 2*r - 1366 = -v*x. Is x even?
True
Is 13 a factor of ((-1192)/48*-9)/(9/156)?
True
Let j = 33 - 29. Let y be (-570)/j*18/(-27). Suppose 6*p - p - y = 0. Is p a multiple of 13?
False
Suppose 5*p = 30, -3*i = -12*p + 8*p - 10833. Is i a multiple of 51?
False
Suppose -4*k - 270 = -s, 2*k + 3 + 1 = 0. Suppose 13*m = -s + 5982. Is 8 a factor of m?
True
Let l(w) = -2*w**2 + 35*w + 43. Let c = 67 + -63. Let g(z) = -z**2 + 18*z + 22. Let r(y) = c*l(y) - 7*g(y). Is r(14) a multiple of 11?
False
Suppose 73*y = 69*y + 20. Suppose -2*s = -10, -y*h - 1148 - 317 = -4*s. Let c = 483 + h. Does 35 divide c?
False
Let f(t) = -t**3 - 8*t**2 + 4*t + 67. Let k be f(-5). Let g = 78 + k. Is 3 a factor of g?
False
Let x be -100*(-11)/(55/(-12)). Let r = -87 - x. Let p = 233 - r. Is 10 a factor of p?
True
Let q(r) = -3146*r - 1148. Does 12 divide q(-10)?
True
Let w be (1 + (-20)/2)*132/(-99). Suppose 0 = -w*u + u - 7*u. Suppose 0 = -4*x + 5*z + 723, u*x + x = 5*z + 177. Does 16 divide x?
False
Suppose -150*b - 4*t + 18222 = -148*b, -2*b + 18267 = -5*t. Is 5 a factor of b?
False
Is (-902857)/(-232)*8 - (0 + -2) a multiple of 142?
False
Suppose 6*x + 17 = 47. Suppose 4588 = x*r - 4*l, 0*r + 3*r - 2763 = -l. Is r a multiple of 10?
True
Suppose 3*p + 3*v = 21, -41 = -3*p - 4*v - 17. Suppose 2*i + l - 7 = 0, 5*l - 11 = -p*i + 2*i. Suppose -2*j + 500 = 4*w, -11 = i*j - 5. Is w a multiple of 18?
True
Let c(d) = d**3 - 8*d**2 - 6*d - 15. Let a be c(7). Let b = a - -202. Is b a multiple of 8?
True
Suppose 56*l = 50*l + 1788. Suppose 5*a - 477 = -v, -l = -v - a + 159. Let i = v - 257. Is i a multiple of 17?
False
Suppose 95*j - 123*j + 333116 = 0. Does 75 divide j?
False
Suppose -j + 4 = -3*j. Let f = 1153 + -1156. Does 11 divide (-323)/f - (j - 24/(-9))?
False
Let j = -417 + 420. Suppose -8*z + 1485 = -5*z - 3*n, j*n - 15 = 0. Is 25 a factor of z?
True
Suppose -s + 2*g + 66 = s, -3*s = -5*g - 103. Let b = -4 + s. Does 6 divide (4 + -2)*(b - 0)?
True
Let v = 29962 + -16835. Is 18 a factor of v?
False
Let s be (-501 + (-3 - -2))*6/12. Suppose 199 = 3*c + 2*j - 906, 0 = 2*c + j - 736. Let q = s + c. Is 29 a factor of q?
True
Suppose 2142 = 2*l + 2*w, -3*l + 4099 = -3*w + 874. Suppose 0 = 2*z - 10, -3*v + l = -3*z + 7*z. Does 39 divide v?
True
Let g(s) = -2827*s + 51. Does 101 divide g(-13)?
False
Let g = 3957 - 3813. Is g a multiple of 8?
True
Suppose 0 = 3*p + 4*m - 2805, -175*p + m - 936 = -176*p. Is 25 a factor of p?
False
Let f = 40 - 54. Let t = -10 - f. Suppose i - t*g = -3*g + 92, -472 = -5*i - g. Is i a multiple of 17?
False
Suppose -5*k + 4196 = 3*d - 35614, -d + 13236 = -4*k. Is 51 a factor of d?
True
Let t(c) = -22*c + 33. Suppose 2*z - 7*z = -3*w + 16, 2*z + 25 = -5*w. Is t(w) a multiple of 9?
True
Let i be (1 + 4)*(1 + -2). Let d be (3 - 1)*i/(-10). Let v(z) = 3*z**2 + 3*z - 2. Is v(d) even?
True
Let m = 2 - 1. Let y(s) be the third derivative of 7*s**4/4 + s**3/3 + 21*s**2 + 3*s. Does 7 divide y(m)?
False
Let d(k) = 3*k**2 + 8*k - 57. Let h be (-10)/(-4) + 102/68. Is d(h) even?
False
Let s(x) = 7*x + 2. Let w be (-6)/24 - 10/(-8). Let j be s(w). Is 10 a factor of -6 + j - (-17)/1?
True
Let y = -180 + 189. Suppose -y*a - 171 + 1521 = 0. Does 10 divide a?
True
Let l(h) = 14*h**2 + 12*h + 5 + 0 - 1 - 12*h**2. Let w be l(-6). Suppose -27 = 3*j - 5*j + k, w*j - 4*k - 52 = 0. Is 9 a factor of j?
False
Let f = -2843 - -5192. Is f a multiple of 9?
True
Let x(a) = a**2 - 9*a + 10. Let w be x(8). Suppose 3*o - w*y - 3 = y, 5*y = 15. Suppose 0 = -4*k - 3*m + 20, -2*k - 2*m = m - o. Is 4 a factor of k?
True
Suppose 87*r - 678989 - 68875 = 63*r. Is 15 a factor of r?
False
Suppose 2*k - 5*x = 4, -x + 8 = 4*k + 2*x. Suppose 0 = 3*v - 0*v - l - 10, -k*l = -v - 5. Suppose 3*p - p - 5*h = 120, v*p - 300 = 4*h. Is p a multiple of 12?
True
Let h = -1577 + 3875. Does 143 divide h?
False
Suppose -9*w + 50 = 14. Suppose h = -3*d + 28, -h + 4 = -2*d - w. Is 4 a factor of h?
True
Let r(w) = 53*w**3 + 4*w**2 - 5*w + 2. Let g be r(2). Let o = -304 + g. Does 8 divide o?
True
Let f(v) = -6*v - 3. Let d be f(-7). Suppose 5*n + u + 107 = 0, -4*n = 2*u - 7*u + 103. Let l = d + n. Does 3 divide l?
False
Let m(l) = -2*l**3 + 26*l**2 - 6*l - 59. Let f be m(10). Suppose -24*k = -6623 - f. Is k a multiple of 37?
True
Let n = -614 - -614. Let j(f) = 17 - f**2 + 6 + 1. Does 3 divide j(n)?
True
Suppose -4692035 = -39903*c + 39861*c - 1524101. Does 11 divide c?
True
Does 13 divide 31891/11 + (-52)/286?
True
Let p(d) = -d**3 + 8*d**2 - 5*d - 5. Let m be p(7). Suppose m*j = 3 + 42. Is (-13)/((-26)/4)*(j - 0) a multiple of 8?
False
Let o = -95 + 83. Is o/(-21)*(-266)/(-4) a multiple of 12?
False
Does 11 divide (-14)/(-8)*(5293 - 29)?
False
Is 11 a factor of (23/(-23))/((-3)/5337)?
False
Let d = -3590 + 7845. Suppose -2171 = -18*i + d. Is i a multiple of 21?
True
Suppose 4*b - 4*j - 267 = -43, -j + 64 = b. Let r = b - 52. Is r a multiple of 4?
True
Let z = -75 + 78. Let h = 25 + -25. Suppose -3*d - z*b = -15, 5*d + 3*b + 4 - 37 = h. Does 2 divide d?
False
Let o(g) be the third derivative of -g**5/60 + g**4/4 + g**3/2 + 7*g**2. Let k be o(3). Suppose 11*p = 9*p + k. Is p a multiple of 6?
True
Suppose -11*o - 19*o - 9*o = -402402. Is o a multiple of 22?
True
Does 23 divide -5 - (3*-6198 - (7 - 12))?
True
Suppose 0*f = -3*l + 3*f, -3 = -4*l + f. Suppose 17*c - l = 16*c. Is 10 a factor of (24/(-15))/(c/(-25))?
True
Let b(r) = -12*r + 29. Let p be b(2). Suppose -p*h + 15 = 0, 4*j + h - 1344 = 823. Is 66 a factor of j?
False
Let g = 5 - 8. Let p = g + 6. Is 3/(p/22)*(6 + -4) a multiple of 11?
True
Suppose 0 = -4*c + 4*t + 71940, 6*t - 10 = t. Is 13 a factor of c?
False
Suppose 2*m = -2*a - 1062, 2625 = -5*a + 4*m + m. Let i = -879 - a. Does 2 divide (i/65)/((-1)/5)?
False
Let p(o) be the third derivative of o**6/120 + 7*o**5/20 - o**4/4 + 17*o**3/3 - 22*o**2. Let a = 97 + -118. Is p(a) a multiple of 16?
True
Is 426265/38 + -18 + (-11)/(-2) a multiple of 135?
True
Let x(c) be the first derivative of -43*c**5/60 - c**4/8 - 5*c**3 - 4. Let r(z) be the third derivative of x(z). Is r(-1) a multiple of 11?
False
Let p be ((-220)/(-88))/(2/280). Let i = 401 - p. Is 17 a factor of i?
True
Let s be (40/(-28) - -2)*7. Suppose -1555 = -s*h + 5*m, -7*m = -4*m - 3. Is h a multiple of 13?
True
Let f(o) = o + 6*o - 12*o**2 - 2449*o**3 + 2451*o**3 - 9. Does 11 divide f(9)?
False
Let n(m) = -m**3 + 50*m**2 - 38*m + 139. Is n(49) a multiple of 3?
True
Suppose 242*j = 172*j + 299460. Does 93 divide j?
True
Suppose -m + 8058 + 9476 = 4*u, 2*m - 4*u = 35044. Does 46 divide m?
True
Is 214 a factor of -3 - 7*-2 - (30 + -29562)?
False
Suppose -35*v + 11456 = -4714. Does 4 divide v?
False
Suppose -2040 = 