32. Is 14 a factor of w(h)?
True
Is 111659/7 + -11*(-20)/(-770) a multiple of 13?
True
Suppose -167*h - 4*h + 903906 = 0. Is h a multiple of 22?
False
Suppose -22*a = -17*a - 235. Let j = a + 206. Is 11 a factor of j?
True
Let c(d) = 641*d**2 + 319*d + 52. Is 62 a factor of c(-9)?
False
Let d(q) = 32*q + 165. Let v be d(-5). Suppose 120 = 5*l - v*a, 5*l + 2*a + 8 = 93. Does 12 divide l?
False
Suppose 3*u - 29 = 4. Suppose 3*v = -v - 3*r - u, -10 = -5*v + r. Does 2 divide (1/v)/((-4)/288*-6)?
True
Suppose 4*t - 5 - 3 = 0. Let h be (-1 - 5/(-4))/((-430)/(-6880)). Does 26 divide -44*t/h*(-1 + -12)?
True
Let n(h) = 2*h - 30. Let m be n(30). Is m/(-5)*-11 + 2 a multiple of 2?
True
Let o(a) = -509*a - 12242. Does 2 divide o(-46)?
True
Let a(r) = r**3 - 50*r**2 + 18*r - 1314. Is 94 a factor of a(53)?
False
Let w(z) = 44*z + 14. Let p be w(28). Let i = -835 + p. Is i a multiple of 19?
False
Let p = 9957 + 31277. Is 53 a factor of p?
True
Suppose 0 = 2*o, 5*p - 2*p - 5*o - 231 = 0. Let b = 1020 - 935. Let l = b - p. Is l a multiple of 8?
True
Let d = 64344 + -107289. Is (-5)/((-140)/16) - d/49 a multiple of 8?
False
Let j = -3397 + 7752. Is j a multiple of 13?
True
Let u(w) = -5*w**3 - 18*w**2 + 5*w + 6. Is u(-8) a multiple of 50?
False
Let q(w) = 1549*w + 5693. Does 75 divide q(4)?
False
Suppose -23580 = -4*c + 3*r + 20603, 2*r = c - 11057. Is 83 a factor of c?
True
Suppose -u = -2*n + 6, -5*n = u + 4*u - 45. Suppose 25 = -n*w, 3*a = 4*a - 2*w - 190. Is a a multiple of 9?
True
Let v(q) = -q**2 + 186*q + 4197. Is 77 a factor of v(129)?
True
Let i(d) = d**3 + 9*d**2 - 8*d - 12. Let v be (5 - 1)*3*(-30)/45. Let m be i(v). Suppose -m = -4*t + 28. Is t a multiple of 5?
False
Let c = -18623 + 23294. Does 4 divide c?
False
Suppose -3*z + 55*d = 59*d - 32866, -4*d = -4. Is z a multiple of 8?
False
Let g = 5786 + -2564. Does 9 divide g?
True
Let g(z) = z**2 + 9*z + 62. Let i be ((-36)/18 - (-6)/1) + -22. Is g(i) a multiple of 14?
True
Let f(r) = 2*r**2 - 9*r. Let o be f(5). Suppose 41 + 42 = -2*w + o*b, w - 5*b + 49 = 0. Let n = w - -131. Does 16 divide n?
False
Let l(x) be the first derivative of -x**2 + 12*x + 11 - 1/3*x**3. Does 3 divide l(0)?
True
Suppose 5*j = 4*y + 11826, -2*y + 10 - 8 = 0. Is j a multiple of 13?
True
Suppose y + 5*u = 3*y + 217, -4*y = -3*u + 469. Let v = y - -150. Does 15 divide v?
False
Suppose 0 = 3*f + 4*x - 43590, 45458 = 4*f - 6*x - 12628. Is f a multiple of 9?
True
Let z be (-100)/175*14/(-4). Suppose 3*p + 184 = 5*h, 7*h - z*h - 2*p = 181. Let x = -7 + h. Is 28 a factor of x?
True
Let d be (-1)/(-1 + (-1)/(-2)). Is 23 a factor of -258*(d + (-7)/3 + 0)?
False
Let m be (-15)/(-5) - 509 - -2. Let g be (((-88)/(-6))/4)/(12/m). Let x = g - -228. Is x a multiple of 9?
False
Let b = 671 + -475. Let p be b*(3 + -3 + -1). Let k = 305 + p. Is k a multiple of 29?
False
Let r = 33758 + -5444. Does 26 divide r?
True
Let z = -4651 + 7843. Is z a multiple of 56?
True
Let l(g) = -15*g**3 + 2*g**2 + 8*g + 10. Suppose -3*b + 2*z + 3*z = -16, -4*b - 2*z - 22 = 0. Is 48 a factor of l(b)?
False
Let b be 1 + (-46 - 2)/(-6). Suppose -b*z + 2932 = 187. Does 14 divide z?
False
Let w(d) = -2*d**2 - d + 19. Let l be w(0). Suppose 0 = -l*u + 20*u - 131. Does 6 divide u?
False
Let y be ((-9)/(-3))/(-3) - -149. Let m = y - 78. Let x = 152 + m. Is 37 a factor of x?
True
Let p = -467 - -265. Let w = -18 - p. Does 7 divide w?
False
Let c be -28*(28/(-88) + 2/(-11)). Let o(u) = -u**3 + 16*u**2 - 11*u - 14. Let m be o(c). Suppose k + k = m. Does 29 divide k?
False
Suppose 5*v + 3*w = -20, -5*v - w - 3*w - 25 = 0. Let l(s) = 12*s + 2. Let f be l(v). Does 3 divide (-298)/(-14) + 5/(175/f)?
True
Let u = 1640 - 725. Suppose 8*m - 5*m - u = 0. Is 61 a factor of m?
True
Suppose 29*u - 1384 = 2386. Suppose -194 = -2*r - 2*p, 5*p - u = 5*r - 605. Is 8 a factor of r?
True
Is 26 a factor of (163215/60)/27*32?
True
Suppose -3*z + 8402 = 8*h, -4*z + 5*h = -6*z + 5601. Is 47 a factor of z?
False
Let a be 10*3/6 - -680. Let z = a - 165. Is 40 a factor of z?
True
Let q(v) = v**3 - 24*v**2 - 31*v - 26. Let o be q(25). Let x = o + 790. Suppose -8*u = -x - 562. Does 17 divide u?
False
Suppose -28*t = -20*t - 4976. Let v = t + -448. Is 29 a factor of v?
True
Let c(g) = 2*g**2 - 10*g - 2. Let h be c(5). Let t(i) = i**3 + 3*i**2 + 3*i + 2. Let k be t(h). Suppose k = -s + 3*s - 32. Is 3 a factor of s?
False
Let s = 3607 + -1873. Does 6 divide s?
True
Let v = 11464 - 10088. Is v a multiple of 115?
False
Suppose -3*n + 3*g = -9, -4*n + g - 53 = -71. Let d = 36 - -20. Suppose n*k + 11 = d. Is 9 a factor of k?
True
Let v = 5380 + -869. Is v a multiple of 13?
True
Let i(s) = 4435*s**2 - 59*s + 69. Is i(3) a multiple of 236?
False
Suppose 5*r - 11 = -t + 1, 2*t - 4 = 0. Let l = 194 - 102. Suppose -r*h - h + 4*v = -148, 0 = 2*h + 4*v - l. Is 6 a factor of h?
True
Let p(i) = 7*i + 24. Let b(m) = -11*m - 36. Let j(z) = -5*b(z) - 8*p(z). Let d be j(-16). Suppose 4*w - k - 2*k = 423, 428 = d*w - 4*k. Does 6 divide w?
True
Let o(n) be the second derivative of -n**4/12 + 5*n**3/2 + n**2 - 3*n. Let q(b) = b**2 + b + 1. Let u(i) = o(i) + 4*q(i). Is 6 a factor of u(-8)?
False
Suppose -6*a + 363 = -471. Suppose 0 = -f + s + 110, a + 294 = 4*f + 3*s. Suppose 3*x = 242 + f. Is x a multiple of 13?
True
Suppose 11 = 5*d - 14. Suppose d*b = 11 + 9. Suppose b*c - 34 - 14 = 0. Is 3 a factor of c?
True
Is (12 + -13 + -11354)/(-3) a multiple of 22?
False
Is (880/(-30) - -10)*-159 a multiple of 29?
True
Let p(z) = 2*z**3 - 7*z**2 + 7*z. Let n be p(7). Suppose 17*f = 15*f + n. Is 7 a factor of f?
True
Let f(t) = 3*t - 3. Let n(g) = -4*g + 4. Let w(m) = 3*f(m) + 2*n(m). Let c(j) = j**2 + 2. Let p(y) = 2*c(y) + 3*w(y). Does 9 divide p(-5)?
True
Suppose -52112 - 91878 = -5*f + g, 4*f + 3*g - 115192 = 0. Is 11 a factor of f?
True
Let b be -795*14/(-27) - 14/63. Suppose q - 3*l - b = 0, q + 3*l = 2*l + 408. Does 18 divide q?
False
Suppose 16323 = 5*g - 3*u, 51*g + 2*u - 6542 = 49*g. Is 16 a factor of g?
False
Suppose -62 = -8*u - 22. Suppose 6 = -2*m + 16. Suppose -18 = -o + d, -91 = -m*o - d + u*d. Does 5 divide o?
False
Suppose l = -5*p + 34, -25 = -5*l + 4*p - 0. Suppose 4*i = 5*g - 33, 5*i = g - 6 - l. Is 39 a factor of ((-52)/g)/((-3)/(30*1))?
False
Suppose 14*w + 12495 = 3*m + 19*w, -3*m + 12477 = -w. Does 64 divide m?
True
Does 5 divide (-1)/(((-68)/(-578))/(-101 - -1))?
True
Let p = -9340 - -9870. Does 2 divide p?
True
Let a(o) be the third derivative of o**4/6 - 7*o**3/2 + 14*o**2. Let y be a(6). Suppose w - 2*x = 52, 5*w - y*x - 86 = 139. Is w a multiple of 14?
True
Let x = -248 + 165. Suppose f + 3 = 0, f = -3*b - 3*f + 273. Let t = x + b. Is t a multiple of 12?
True
Suppose 2*p - 3*j = 1144, -1164 = -2*p + j - 3*j. Let k = -323 + p. Is k a multiple of 17?
True
Let h(w) = 477*w - 6668. Is 14 a factor of h(18)?
True
Let x(p) = 48*p - 418. Is 6 a factor of x(15)?
False
Suppose 2*f = -4*t + 2820, 2*t + 4222 = -f + 4*f. Is f a multiple of 88?
True
Suppose -65*a + 205020 = 2*a. Is 72 a factor of a?
False
Let u = 131 + -8. Let o = u - 30. Suppose -4*b + 5*b = o. Does 5 divide b?
False
Suppose -a = -175 - 419. Is 11 a factor of a?
True
Let h = 207 - 243. Is 96/h*(-240)/4 a multiple of 20?
True
Let s(c) = -c**2 + 16*c + 23. Let l be s(17). Suppose 0 = -5*q + l*q. Suppose q = -4*i - i + 100. Is i a multiple of 14?
False
Suppose -5*p + 2*h = -74660 - 74046, -h = -3*p + 89222. Is 45 a factor of p?
False
Suppose -5*t - 2254 = -i + 3714, i - 5933 = -2*t. Suppose -9*m = -i + 1668. Does 25 divide m?
True
Suppose 28*u - 4*u - 41986 - 14 = 0. Does 15 divide u?
False
Let s(u) be the third derivative of -1/120*u**6 + 0 + 0*u - 2*u**2 + 3/2*u**3 - 5/24*u**4 + 2/15*u**5. Is 6 a factor of s(6)?
False
Let w be 5/2 + -3*(-8)/16. Suppose v + 4 = 1, w*v - 16 = -4*t. Is 2 a factor of t?
False
Suppose 0 = 14*v - 60 - 66. Suppose 0 = v*k - 606 + 210. Is 20 a factor of k?
False
Let i(k) = -k**2 + 8*k + 4. Let z be i(9). Does 54 divide z + (3112/4 - 1)?
False
Let o(x) = 2*x + 290. Let i be o(0). Suppose -6*w + i = -2*w - 2*z, 4*z = w - 90. Is w a multiple of 8?
False
Let m be 3*5/(-2)*(-64)/20. Let i be (104/m)/((-3)/(-108)). Let s = 267 - i. Is 37 a factor of s?
True
Suppose d + 2 = 5. Suppose d*x + 9 = 3*z - z, -3*z - 5*x + 4 = 0