tiple of 14?
False
Let q(v) = v**2 - 17*v + 24. Let d be q(16). Suppose -5*o + d*o - 24 = 0. Suppose 2*i + 3*j = 45, 44 = 2*i + o*j - 4*j. Is 8 a factor of i?
True
Let b(g) = -2*g**2 + 7*g - 21. Let o(h) = 5*h**2 - 22*h + 64. Let i(z) = -8*b(z) - 3*o(z). Let n be (-3 + 0 - -13)*(2 - 1). Is 16 a factor of i(n)?
True
Suppose -37*a - 31122 = -56*a. Is 35 a factor of a + -4 + (-55)/(-5)?
True
Let n = -380 + 467. Is 31 a factor of n?
False
Suppose 3*q = 4*x + 2 - 24, -4*q - 8 = 0. Let m be x/(-6) - 55/(-15). Suppose 2*b + 67 = 5*h, 0 = m*b - 6 - 6. Is 5 a factor of h?
True
Let p = -18251 - -35875. Is 81 a factor of p?
False
Suppose -2*w + 466 = -3*f + 18014, -f + w = -5850. Does 17 divide f?
True
Let x(b) = 6*b - 19. Let k be x(18). Let t = 12 - k. Let v = -41 - t. Is 26 a factor of v?
False
Let o(v) = 47*v + 4. Let f(b) = -13019*b - 1081. Let l(s) = 566*s + 47. Let n(u) = 2*f(u) + 47*l(u). Let p(y) = -4*n(y) + 47*o(y). Is p(-1) a multiple of 47?
True
Suppose 9*v - 2*v + 49 = 0. Let x(b) be the second derivative of -b**5/20 - 5*b**4/12 + 3*b**3/2 - 5*b**2 - 3*b. Does 5 divide x(v)?
True
Let d(j) be the second derivative of -j**5/20 + 5*j**4/6 + 11*j**3/6 - 20*j**2 + j - 2. Suppose -3*v = -12 - 15. Is 10 a factor of d(v)?
True
Does 23 divide 3916*22/(-880)*-230?
True
Suppose -215 = -4*y - 3*h, -h + 6*h = 5*y - 295. Suppose 2508 = 58*c - y*c. Is 66 a factor of c?
True
Let s(g) = 3*g**3 - 43*g**2 - 34. Let c be s(14). Let w = 770 + -380. Let a = w + c. Is 14 a factor of a?
False
Let y = 13179 - 5295. Suppose 726*o - y = 717*o. Does 73 divide o?
True
Let v(j) = 3*j**2 - 3*j + 22. Let y = 36 + -24. Let u be y/4 - (-1 - 0). Does 7 divide v(u)?
False
Let g(q) = 2*q**3 + 34*q**2 - 17*q + 23. Let x be g(-17). Suppose 2*h - 4 = 4. Suppose 16 = h*r, 0*u - 4*u + 2*r + x = 0. Is 20 a factor of u?
True
Let b(g) be the first derivative of g**4/4 - 14*g**3/3 + g**2 - 15*g + 10. Let j be b(14). Is 16 a factor of (-113)/(-4) + j/(-52)?
False
Let p = -47 + 41. Is (-2108)/p - 10/30 a multiple of 27?
True
Suppose -2*u = 57 - 19. Let y(r) = r**3 + 20*r**2 + 15*r + 45. Is y(u) a multiple of 18?
False
Let r = 6407 + -5510. Is r a multiple of 29?
False
Let x(t) = 38*t + 52. Let y(q) = 37*q + 53. Let g(b) = -4*x(b) + 3*y(b). Let v be g(-9). Suppose 23*n = 18*n + v. Does 16 divide n?
True
Let v be 362/(-8)*((-36)/9 - 0). Let x = v + -112. Does 30 divide x?
False
Suppose 2*a = -z + 47, a = -0*z - 4*z + 41. Let f = 11 + -7. Suppose f*t - a = t. Is t a multiple of 4?
False
Let p(l) = -1. Let a = -35 - -34. Let c(z) = -z**3 + 15*z**2 - 18*z - 25. Let f(s) = a*c(s) - 3*p(s). Is 8 a factor of f(14)?
False
Let y(m) = 4*m + 0*m + 464 + 2*m + 0*m - 10*m. Is 7 a factor of y(0)?
False
Let k(s) = 224*s**3 - 4*s**2 - s - 5. Is k(3) a multiple of 6?
False
Let s = -14 + 77. Suppose -n = 60 - s. Suppose 0 = -n*u + 13 + 230. Does 16 divide u?
False
Let f = -29749 + 31364. Is 16 a factor of f?
False
Suppose -205608 = -80*o + 236232. Is o a multiple of 22?
False
Let d = -5770 - -5782. Let s(z) = 17*z + 26. Let i(x) = 51*x + 78. Let y(k) = -2*i(k) + 7*s(k). Is 10 a factor of y(d)?
True
Suppose 3*a - 12 = r - 0*r, -a - 12 = 5*r. Suppose 2*k = l - 2*k - 218, -a*l + 594 = 3*k. Suppose -722 = -4*q - l. Does 26 divide q?
True
Suppose -177*f + 5*q + 18522 = -173*f, -f + 4611 = 2*q. Is f a multiple of 69?
True
Does 69 divide 3138120/(-3790)*(-1)/(-4)*(-1 + -1)?
True
Suppose 0 = -7*y + 10*y + 3303. Let q = -452 - y. Suppose -2*p = -13*p + q. Is p a multiple of 4?
False
Let w be 2*(-1)/(-4)*(-3 - -103). Suppose -2120 = -10*z + w. Let d = -79 + z. Does 14 divide d?
False
Suppose -2*s = -3*k + 13, 2*k - s - 16 = 4*s. Is 788 + (-2 - ((k - 4) + -3)) a multiple of 10?
True
Suppose -14 = -2*o - 16, 5*m + 2596 = -o. Let r = m + 758. Does 26 divide r?
False
Let a(g) = 306*g**3 - 2*g**2 + g + 1. Let s(u) = u**3 + u**2. Let b(p) = a(p) + 2*s(p). Let d be b(-1). Does 25 divide (d/8 - (-1 + 0))*-2?
True
Let d(k) = k**2 - 17*k + 30. Let p be d(15). Suppose q + 4*q + 3*i - 6 = p, -10 = 5*q - 5*i. Suppose -2*t - z + 237 = q, 4*t = -t - z + 597. Does 24 divide t?
True
Suppose -1138 = -5*a + 2*p, 31*a - 464 = 29*a + 3*p. Is 4 a factor of a?
False
Suppose 3*v - 4*s = 0, s = -2*v - 2*v. Suppose -11*w - 24 - 130 = v. Let j(k) = -k**2 - 19*k - 32. Is 9 a factor of j(w)?
False
Let b be (-340)/(-40)*(-1 - -31). Let y = -171 + b. Does 5 divide y?
False
Is -12 - (-11190)/(-40)*-20 even?
False
Does 35 divide (11*40/330)/((-8)/(-41994))?
False
Does 17 divide 6/(-15) + (292/803 - (-1159734)/110)?
False
Let d(a) = 58*a**2 - 19*a - 69. Let o(h) = -3*h - 27. Let c be o(-8). Does 15 divide d(c)?
True
Let i = 16407 + -10245. Suppose 13*p + 0*p - i = 0. Does 72 divide p?
False
Let v(r) = -r**3 - 3*r**2 + 4*r. Let b = -6 - -1. Let u be v(b). Suppose -47*a + 50*a - u = 0. Is a a multiple of 5?
True
Let w = 112 - 82. Suppose -k = -5*v - 60, -300 = w*k - 35*k + v. Is k a multiple of 10?
True
Suppose 0 = -160*s + 166*s - 384156. Does 37 divide s?
False
Let k(q) = q**3 - 4*q**2 + 13*q - 18. Let b be k(4). Let v = 67 - 48. Let o = b - v. Does 8 divide o?
False
Let b be 23770/135 + 2/(-27). Let k = b + -104. Does 47 divide k?
False
Suppose 129*j - 36*j - 11166 + 3540 = 0. Is 74 a factor of j?
False
Let l(u) = 13*u**2 + 37*u - 10. Let y be l(8). Suppose -y = -2*g - 984. Is g a multiple of 6?
False
Suppose 575 = -4*g + 8*g + 3*n, 7*n = 2*g - 279. Is g a multiple of 32?
False
Let d(i) = 13*i**2 - 95*i + 241. Does 7 divide d(-24)?
False
Let t be (6/4)/((-36)/(-3864)). Let v = t - 108. Is 10 a factor of v?
False
Suppose 0 = -9*w + w + 16. Suppose -d - 2*i + 84 = -234, -w*i = 4*d - 1290. Does 18 divide d?
True
Is 24*(24111/(-76))/(-3) a multiple of 27?
True
Let a(k) = -295*k - 8. Let j be a(-6). Suppose -5*m - j = -497. Let b = 385 + m. Is b a multiple of 44?
True
Let g(q) = 940*q**2 + 196*q - 9. Is 151 a factor of g(3)?
False
Let i(n) be the first derivative of -n**3/3 + 2*n**2 + 95*n - 8. Let p(h) = -h**2 + h. Let u(a) = i(a) - 4*p(a). Is u(0) a multiple of 19?
True
Let g = 40 + -35. Let m(c) = c**2 - c - 17. Let j be m(g). Suppose 12 = 4*o - 2*l, -j*o - 3*l + 23 = -l. Is o even?
False
Let o be 3/(-6)*(-4 + 4). Suppose -4*b - 5*l - 6500 = o, 1756 - 131 = -b - 3*l. Does 26 divide -1*3 + b/(-13)?
False
Let d(z) be the first derivative of -71*z**2/2 - 32*z + 107. Is d(-3) a multiple of 13?
False
Let i be (1488/(-60))/((-4)/50). Suppose -2*u + i = -3*q + 1222, 1520 = 5*q - u. Does 20 divide q?
False
Suppose -f - 2*f + 141 = 0. Let q(k) = 5*k**3 - 17*k**2 - 3*k + 4. Let d be q(4). Let o = f - d. Does 7 divide o?
True
Let a(x) = x**3 - 20*x**2 - 44*x + 3. Let u be a(22). Suppose u*k + 4*f + 2312 = 6*k, -5*k = f - 3838. Does 48 divide k?
True
Suppose m = -7, 5*x = -31*m + 26*m + 11785. Is 12 a factor of x?
True
Let p(q) = -801*q - 982. Is p(-11) a multiple of 22?
False
Suppose -5*r + 5*l = 4*l - 87, -r + 9 = -3*l. Is (-18)/(-8)*984/r a multiple of 2?
False
Let b(g) = -g**3 + 43*g**2 + 6. Let q be b(43). Suppose -5*z = -4*v + 3901, -v - 2*z + q*z = -989. Is 51 a factor of v?
True
Let l(n) be the second derivative of 2*n**5/5 + n**4/8 - n**3/2 - 5*n. Let f(c) be the second derivative of l(c). Does 11 divide f(2)?
True
Let w be 1/(-5) + (-123)/(-15). Let l(g) = -2*g + 8. Let c(i) = i. Let m(x) = 4*c(x) - l(x). Is 20 a factor of m(w)?
True
Let m = -2391 + 3177. Is m a multiple of 7?
False
Suppose 2*a + 98855 = -20*x + 25*x, 5*x = -7*a + 98855. Does 44 divide x?
False
Suppose -2*m - 370 = 2*a, 3*a - 5*m = -249 - 314. Let b = -440 - -167. Let z = a - b. Does 13 divide z?
False
Suppose 0 = 5*m - 4*f + 9 - 24, 0 = -3*f. Suppose -4*o = m*t + 1609, -539 = 5*o - 4*t + 1511. Is 8 a factor of o/(-35)*5/2?
False
Suppose -80 = 2*d - 7*d. Suppose -21 = -h - d. Suppose 0*a + 4*f - 69 = -h*a, -2*a + 46 = -3*f. Is a a multiple of 6?
False
Let p = 174 - -144. Suppose 0 = -p*s + 311*s + 6188. Is s a multiple of 26?
True
Suppose -69 = -2*f - 77. Let q(y) = -13*y**3 - 2*y**2 - 14*y - 24. Does 47 divide q(f)?
False
Is 15 a factor of 1/((-100)/(-125)) + 2750/8?
True
Does 188 divide 22/(-8) - 1522899/(-36)?
True
Let o(v) = v**2 - 5*v + 6. Let n be o(4). Suppose 2*k - 268 = -4*p - 46, -2*k - 10 = 0. Suppose -n*z = -z - p. Does 29 divide z?
True
Let x = -2379 - -17613. Does 52 