- 4*d - 578. Does 5 divide t?
True
Suppose 12401 = 5*j + h, -325 - 12100 = -5*j - 5*h. Is 67 a factor of j?
True
Let m(h) = -h**3 - 23*h**2 + 2*h + 48. Let w be m(-23). Suppose w*f = -z - 33 + 108, f = -3*z + 45. Does 20 divide f?
False
Let u = 402 - 390. Suppose -4*x + 433 = i, i - x = 420 - u. Is 10 a factor of i?
False
Let f(j) = 4*j + 18. Let q be f(-5). Let d(y) = -15*y - 5. Let p be d(q). Does 8 divide 17/119 + (-10)/(-14)*p?
False
Let j = 6825 + -1665. Does 120 divide j?
True
Suppose 5*o - 186 - 289 = -2*p, 378 = 4*o + 2*p. Suppose -o = 620*i - 621*i. Is i a multiple of 18?
False
Let p = -8 - -8. Suppose u = 4*a + 15, 4*a + 3 + p = -3*u. Is 25 a factor of 1*u - (-97)/1?
True
Suppose 0 = 3*s - 6*s - 4*x, -x = 3. Suppose 5*j = 7*j + s*k - 434, 5*j - 1071 = -3*k. Does 3 divide j?
True
Let d(y) = -14*y**2 + 33 + 2*y**2 + 3*y**2 + 8*y**2. Let f be d(5). Suppose 983 = f*v - 65. Is 48 a factor of v?
False
Suppose -33111 - 39974 = -5*y + 5*i, 7*i - 29225 = -2*y. Does 126 divide y?
True
Suppose -20*v = -7*v - 299. Suppose 28*r = v*r - 10. Is r/(-7) - (-1)/(14/1382) a multiple of 9?
True
Let t = 10549 - 7792. Is t a multiple of 3?
True
Suppose 0 = 3*g - 4*l - 8860, 5935 = -9*g + 11*g + 3*l. Is 10 a factor of g?
True
Let u = -226 + 244. Is 12/2 + (u - -16) a multiple of 5?
True
Let z(a) = 25*a - 13. Let f be z(3). Let j = -55 + f. Suppose -3*m = -j*m + 76. Is m a multiple of 4?
False
Suppose -2320 + 800 = -8*g. Suppose -5*z - d + g = 0, -5*z - 52 = 2*d - 237. Is z a multiple of 18?
False
Let i(d) = 15*d**3 - 25*d**2 - 13. Is i(4) even?
False
Suppose -4*f - 4*p + 5958 = -4554, 7896 = 3*f - p. Is 37 a factor of f?
False
Suppose -r + 3*w = -13, 6*w - 2*w + 28 = 0. Let u(t) = 3*t**2 - 3*t - 18 - t - t. Is u(r) a multiple of 13?
False
Let j = 495 - 476. Suppose -4968 = 10*a - j*a. Is a a multiple of 12?
True
Let p(i) = -i**3 - 11*i**2 - 10*i - 3. Let h be p(-10). Let f be 3*(-1)/3*h. Suppose m - 38 = -f*k + 7, 0 = -4*m + 4*k + 100. Is 10 a factor of m?
True
Let h = 2302 + 5168. Is 83 a factor of h?
True
Let g = 9059 + -5795. Is 64 a factor of g?
True
Suppose -4*r - 91 = -3*h, -3*h + 2*r + 49 = -46. Suppose h*t = 8*t + 3650. Does 22 divide t?
False
Let d be ((-588)/(-12))/(0 - -1). Suppose 15 = 50*v - d*v. Is 15 a factor of v?
True
Let u = 88 + -27. Let x = u + -46. Suppose -72 = -x*j + 11*j. Is 8 a factor of j?
False
Let c = -189 - -189. Let t(w) = w + 192. Is t(c) a multiple of 11?
False
Suppose 5*x = -2*o + 36443 - 8861, -4*x + 4*o = -22088. Suppose -16*l + 5682 = -x. Is 25 a factor of l?
True
Let w(b) = -b**3 - 8*b**2 + 51*b + 39. Let i be w(-12). Let m = 7 + -3. Suppose 3*d - 375 = -d + 5*y, i*y - 383 = -m*d. Is 7 a factor of d?
False
Suppose 15 = 2*x + 9. Suppose -x*b + b = -504. Let r = -168 + b. Is r a multiple of 7?
True
Let d = 13347 + -5315. Is 251 a factor of d?
True
Let l(x) = x**2 + 7*x + 2. Let z be l(-7). Is (4/3 - z)*(-70 + -8) a multiple of 52?
True
Does 26 divide (-8864)/(-14) - (4 + (-272)/56)?
False
Let m(z) be the second derivative of 309*z**5/20 - z**4/12 - z**3/6 + z**2/2 + 2*z. Suppose -33*u + 38*u + 1 = -2*q, u + q + 2 = 0. Is 28 a factor of m(u)?
True
Let c(r) = 3*r**2 + 11*r + 22. Let s = -83 - -78. Does 3 divide c(s)?
True
Suppose w = -3*q + 1791, -187 + 774 = q - 3*w. Does 3 divide q?
False
Suppose -6262*x = -6053*x - 4679092. Is 116 a factor of x?
True
Let b(p) = 7*p**2 + 13*p - 72. Let k(q) = -14*q**2 - 27*q + 144. Let h(s) = 5*b(s) + 2*k(s). Is h(10) a multiple of 47?
False
Suppose 133*q - 138*q - 1470 = 0. Let h = 36 - q. Is h a multiple of 37?
False
Suppose 2*j + 2*q - 16567 - 547 = 0, 4*j - 4*q = 34172. Is j a multiple of 30?
True
Suppose 315*q - 322*q + 966 = 0. Is 2 a factor of q?
True
Suppose z - 191 = 6*z + 3*w, -3*z - 3*w = 111. Let h = z - -81. Does 3 divide h?
False
Let i = 265 + -264. Is (1 - -163)*(i + (-2)/(-4)) a multiple of 28?
False
Let h be (11/(22/8))/2. Suppose -2*v + h*b - 401 = -5*v, -2*v = -5*b - 299. Is v a multiple of 37?
False
Let r(x) = 2*x**2 - 9*x - 17. Let h(u) = -10*u - 131. Let s be h(-12). Is 36 a factor of r(s)?
True
Suppose -4*n = -m + 4*m - 205, -n + 37 = -4*m. Let s(l) = -6*l**3 + 5*l**2 + 9*l - 27. Let z be s(2). Let i = z + n. Is 6 a factor of i?
True
Suppose 0 = -6*q + 2*q + 156. Suppose q*v - 24*v - 6900 = 0. Is v a multiple of 50?
False
Suppose -34*c + 140810 = -43698 + 29638. Is 8 a factor of c?
False
Let b(y) = y**3 - 2*y**2 + 3*y - 2. Let m be b(2). Let u = m + -1. Suppose i - u*g - 91 = 0, 2*g + 15 = -i + 91. Is 5 a factor of i?
False
Suppose -4*q - d - 5 = 0, -3*d = 2*q + 14 + 1. Let b be (-6)/(-9) + 20/6. Suppose q = -b*k + 6*k - 108. Is k a multiple of 11?
False
Let p(x) = -34*x + 1138. Is p(26) a multiple of 6?
False
Let r(b) = -b**3 - 19*b**2 + 20*b + 12. Suppose 4*v - v + p = 17, 4*p - 12 = -4*v. Suppose -v*i - 20 = -6*i. Is r(i) a multiple of 3?
True
Let l(m) be the second derivative of 29*m**3/3 - 60*m**2 - 62*m - 2. Is 16 a factor of l(20)?
True
Suppose -44*j - 188 = 120. Is (-19 + 5)/j + 121 a multiple of 3?
True
Suppose 0 = 12*k + 1 + 71. Does 58 divide 464/3*2/((-4)/k)?
True
Suppose -95*d - 5633179 = -564*d - 314719. Does 54 divide d?
True
Suppose -v + 3*l = -l - 190, -4*v + 820 = 4*l. Let q = v - 152. Does 5 divide q?
True
Let d(p) = -p**3 + 43*p**2 - 45*p + 475. Does 106 divide d(25)?
True
Let t be (-1)/5 - (348/(-15) - -5). Suppose -5*x - 27 = t*v - 19*v, -v - 4*x = 0. Is v a multiple of 2?
True
Suppose -90348 = -245*q + 242*q - 3*r, -4*q = -r - 120434. Does 11 divide q?
False
Let k(z) = -299*z + 79. Does 25 divide k(-29)?
True
Is ((-776)/14)/((-276)/2898) a multiple of 17?
False
Let j(y) = y**3 + 5*y**2 - 15*y + 4. Let l be j(-7). Suppose 5*c - l = 14. Suppose q = 4*q + 3*h - 9, -q + 15 = -c*h. Is q a multiple of 2?
False
Suppose -3*m + 37 = -0*b + 2*b, -4*b - 3*m + 77 = 0. Suppose 37*d + b = 32*d. Does 10 divide d/(-3) - 880/(-15)?
True
Suppose -73*o - 236*o + 45*o = -9543600. Does 50 divide o?
True
Let n(u) = 33*u**2 + 70*u + 301. Is n(-4) a multiple of 9?
True
Let k = 478 - 466. Suppose 0 = 6*b - k*b + 11232. Does 13 divide b?
True
Let m be (264/(-28))/(5/(-175)). Let p = 770 - m. Does 10 divide p?
True
Does 2 divide 4/(-30) + 49/(18375/1818800)?
True
Suppose -60*w + 50*w + 130 = 0. Is 3 a factor of 4/(-18) + ((-149578)/(-99))/w?
False
Let f be (-10)/5 + 2 + 1. Let w(b) = 383*b + 2. Let q be w(f). Let i = q + -221. Is i a multiple of 66?
False
Let b = 46176 + -26540. Is b a multiple of 20?
False
Let s(f) = 437*f**3 - 3*f**2 + 2. Let p = 53 + -52. Is 63 a factor of s(p)?
False
Let q = -3514 - -3504. Let p(f) = -56*f**3 + f**2 + f. Let s be p(-1). Let x = q + s. Is x a multiple of 23?
True
Suppose -82*d = 8*d - 1262880. Is d a multiple of 16?
True
Let i(z) = 3*z**2 - z - 10. Let t be i(-2). Suppose -4*m = -9*m + 5*h + 2830, 2785 = 5*m + t*h. Does 17 divide m?
True
Let x(u) = -4*u - 48. Let f = -94 + 84. Let w be x(f). Does 2 divide (6/4)/((-8)/(128/w))?
False
Suppose -5*t = -10, 5*k - 2*t - 5172 - 704 = 0. Is 5 a factor of k?
False
Let l be 34 - (2/1 - -1). Suppose 0 = j - 3*i + 10, -5*j - i + l - 1 = 0. Suppose j*h = -3*f + 143, 5*h + 0*f = -f + 141. Is h a multiple of 11?
False
Suppose -4*b + 2*f - 498 = 0, -4*b - 66 - 414 = 4*f. Let w be (7/(84/b))/(3/(-24)). Suppose z + 41 = w. Is 41 a factor of z?
True
Let j(p) = 301*p - 7147. Is 20 a factor of j(47)?
True
Let j(v) = 33*v + 22. Let i be j(6). Does 66 divide (i/25)/(317/105 + -3)?
True
Is 9 a factor of (-36724)/(-10) - 112/280?
True
Suppose -15319 + 36955 = 14*u - 30416. Is 59 a factor of u?
False
Suppose -3150 = 2*d - m, 3717 = -3*d + 2*m - 1007. Let w = d + 2396. Does 20 divide w?
True
Let v(p) = 8*p**2 - 62*p + 877. Is v(27) a multiple of 53?
True
Suppose -3*z - 240 = -13*z. Suppose 3*g + 3*k = z, -4*g + 18 + 14 = -2*k. Is -3 + -6*(-68)/g a multiple of 15?
False
Let z(i) = 735*i**3 - 6*i**2 - 3*i + 2. Let p(j) = j**3 + j**2 - 1. Let f(r) = -4*p(r) - z(r). Does 10 divide f(-1)?
True
Suppose 2*k + 23 = 3*a, 5 = -2*a - 5*k - 5. Let d(f) = 62*f - 19. Is 34 a factor of d(a)?
False
Let m(a) = 24*a - 11. Let f(o) = 9*o**2 - 3*o + 2. Let n be f(1). Suppose -n = 4*r - 2*x - 3*x, -3*r = 3*x - 21. Is 25 a factor of m(r)?
False
Suppose -67*w + 11904 = 57*w. Is 32 a factor of w?
True
Does 78 divide (-15)/6*(82 