or of a?
True
Let h be 6/(-12)*2 - (2 + -4). Is 72/96*120/h a multiple of 5?
True
Suppose -37023 = 18*x - 146319. Does 4 divide x?
True
Suppose 31*o - 32*o = 5*d - 31342, 0 = -5*d - 4*o + 31333. Is 43 a factor of d?
False
Let r(j) = 11*j**3 - 7*j + 10. Let s be ((-72)/21)/(-1) - 6/14. Is r(s) a multiple of 22?
True
Let a = 15 - 25. Let z(l) be the first derivative of -l**4/4 - 10*l**3/3 - l**2/2 + 8*l - 363. Does 4 divide z(a)?
False
Suppose 0*x + 5*x + 7*x = 0. Suppose x = -j - k + 2*k + 90, 2*j = -k + 171. Suppose 2*m + 6*c - j = c, -5*m - c + 183 = 0. Is 6 a factor of m?
True
Let n(q) = -q**3 - 18*q**2 + 19*q - 21. Let f be n(-19). Let b = f + 23. Suppose 23 = b*d - i - 8, 3*d - 49 = 4*i. Is d a multiple of 4?
False
Suppose m + 1 - 9 = -2*x, 3*m + 20 = 5*x. Suppose 3*d + 4*i - 13 - 25 = 0, x*d = -5*i + 49. Does 14 divide ((-248)/d)/(38/(-57))?
False
Let l(h) = -7*h**3 - h**2 + 4*h + 3. Let g be l(-1). Suppose -u = g*t - 1010, -5*t - 3*u + 797 = -t. Is 7 a factor of t?
True
Let i(r) = r**2 - 3*r - 7. Let x be i(5). Suppose -15 = x*k - 8*k + 3*v, -v = 0. Is (8/k + -3)/(1/(-21)) a multiple of 3?
False
Suppose -5*o = -2*b + 4*b - 7, o = -2*b - 5. Suppose -2*g = -4*f + 406, -2*f - o*f + 535 = 3*g. Suppose 0 = -4*x - f + 340. Does 5 divide x?
False
Let m(t) = 16*t - 1. Let b be m(3). Suppose 0 = x + 3*o + 2*o - b, 4 = o. Let i = 36 - x. Is i a multiple of 9?
True
Let k(m) = m**2 - 35*m + 484. Is k(19) a multiple of 60?
True
Suppose -58*k - 2 = -60*k. Does 43 divide k/(-1*1) - 1540/(-35)?
True
Suppose -7*f = -3*f + 144. Let o be 51/f*-3 + (-1)/4. Suppose q - 217 = -o*r, -3*r = r - 4*q - 232. Is r a multiple of 11?
True
Does 14 divide 18*(-7978)/(-20) - ((-81)/45 + 2)?
False
Suppose -10*k - 5*w - 3814 = -12*k, 0 = -5*w. Is 122 a factor of k?
False
Let x be 10/(-150) - (-8)/120. Suppose -4*f - 440 = 12*i - 17*i, 3*i - 5*f - 251 = x. Is i a multiple of 92?
True
Let l(o) = o**2 - 48*o + 128. Is l(79) a multiple of 2?
False
Let b = 15 + 4. Suppose -b*p + 5*p = -3514. Is 22 a factor of p?
False
Let q be -1 + 29 + (64/8 - 10). Suppose 0 = q*f - 25*f - 112. Does 16 divide f?
True
Suppose 0 = -5*h + 8*h - 396. Let s(l) = -126*l**2 - h*l**2 + 253*l**2 + 9 + 4*l - 2*l**3. Is 24 a factor of s(-5)?
False
Is 30 a factor of (1995516/(-24))/(-9) + -3*(-4)/8?
True
Is 6458 - (8 + 14 + -6) a multiple of 16?
False
Suppose -2*z + 1560 = 84. Suppose n + 42 = 7*n. Suppose h - n*h = -z. Is h a multiple of 41?
True
Suppose -14*f + 18*f - 96 = 0. Suppose -31*c + 7868 = -f*c. Does 65 divide c?
False
Let n = -53555 + 91019. Does 168 divide n?
True
Let t(f) be the third derivative of -f**6/60 + 41*f**5/60 + 13*f**4/12 - 4*f**3 + f**2 - 3. Is t(21) a multiple of 9?
True
Suppose -16*b = -12*b - 204. Let o = b - 53. Let h(x) = -45*x - 12. Is 26 a factor of h(o)?
True
Let j = 124 - -160. Suppose 24 + j = 11*d. Is 14 a factor of d?
True
Let b = -11122 - -29239. Is 33 a factor of b?
True
Suppose -2*f + 1 = 13. Let k = -8 - -11. Is ((-122)/f - -3)*k a multiple of 13?
False
Let u(q) = q**3 - 7*q**2 - 23*q - 18. Suppose 37 = 19*x - 153. Does 9 divide u(x)?
False
Suppose -78*t + 362073 + 198591 = 0. Is 12 a factor of t?
True
Suppose 4*b - 2099 = -4*m + 601, -1990 = -3*m + 4*b. Does 50 divide m?
False
Suppose -p + 4*y + 46 = -y, 5*y + 170 = 5*p. Let d = 106 + p. Is d a multiple of 4?
False
Suppose -3*s = l - 52249, -l - 42656 = -5*s + 44415. Does 9 divide s?
True
Suppose -99 = -b + 53. Let a be -4 + -2 + 4 + 4. Suppose -m + 26 = -4*f, -4*f - b = -a*m - 2*m. Is 21 a factor of m?
True
Let i(d) = -3*d**2 - 74*d + 14*d**2 + 64*d + 4. Is i(-5) a multiple of 24?
False
Let x(s) = -7*s + 24. Let w(m) = -17*m + 73. Let p(o) = -4*w(o) + 14*x(o). Is p(-6) a multiple of 16?
True
Let v(z) = 2*z - 31. Let h = -32 + 29. Let t be (1341/(-21))/h + (-4)/14. Is 11 a factor of v(t)?
True
Let t(a) = -2*a**3 + 132*a**2 - 15. Let w be t(66). Let f(s) = 2*s + 2. Let p be f(4). Let z = p - w. Is 5 a factor of z?
True
Suppose 163*z = 173*z - 92310. Is 129 a factor of z?
False
Suppose -11*w - 2 = -12*w. Suppose 0 = w*m - 10, -m + 2 = -2*a + m. Suppose o = -a*o + 300. Is o a multiple of 13?
False
Suppose 0 = 3*b - 250 - 695. Let j = b - 180. Let o = 255 - j. Does 15 divide o?
True
Suppose -45 = -15*c - 0*c. Does 61 divide 925 + (1 - (-1 + c))?
False
Let c = -374 - -724. Let i = 730 - c. Does 20 divide i?
True
Suppose -2*j - 4*a = -14, -5*j + a + a = -35. Let t(p) = 6*p**2 + p + 5. Is 18 a factor of t(j)?
True
Let h(r) = 4*r**3 - 15*r**2 + 9*r - 11. Let l be h(6). Suppose 2*x = 3*p + l, -4*p + 2*p + 342 = 2*x. Is x a multiple of 8?
True
Is 2 a factor of 6*(-6 + (-576)/(-90))/((-3)/(-2215))?
True
Let t = 42748 + -24307. Is 79 a factor of t?
False
Suppose -3*u = h - 3147, 13*h - 18*h = 4*u - 15691. Is h a multiple of 19?
True
Let k = 32546 - 14489. Does 126 divide k?
False
Suppose -5*q = 3*x - 0 + 5, 0 = -3*x - 15. Suppose 5*u - 3*u - q*a = 18, a + 37 = 3*u. Let t(h) = -h**3 + 14*h**2 + 4*h - 23. Is 12 a factor of t(u)?
False
Let v = -24505 - -27517. Is v a multiple of 8?
False
Let b be 6*(-4 + 1*(-39)/(-9)). Suppose -2*p = 2*p - b*p. Suppose 6*c - 10*c + 532 = p. Is 19 a factor of c?
True
Suppose 85*w + 1619150 = 138*w. Is 154 a factor of w?
False
Suppose 2*d + 4*q + q = 81, q + 63 = 2*d. Is 24 a factor of 11*-1*(-6)/d - -646?
True
Let y(f) = -94*f - 93*f + 282*f + 0*f**3 - 91*f - 6*f**2 + 2*f**3 - 4. Let b(z) = -z**3 + 5*z**2 + 7*z - 2. Let d be b(6). Does 9 divide y(d)?
False
Suppose 0 = 3*q + t + 2*t - 9297, -5*q - 4*t = -15490. Suppose 6*s - q = -s. Is 34 a factor of s?
True
Let i be 0*(-2)/6 - 0. Suppose -2 = -4*g + p + 119, 3*p = 4*g - 131. Suppose a - g + 10 = i. Does 3 divide a?
False
Let g(q) = q**3 + 11*q**2 + 31*q + 12. Let z be g(-6). Suppose z*l - 843 = -483. Is l a multiple of 3?
True
Let w(f) = -27 + 51 - 8*f - 130. Is w(-21) a multiple of 10?
False
Let a be 6*(6 + (-155)/30). Let q(g) = 53*g**2 + g - 56. Is q(a) a multiple of 89?
False
Let u = 6583 + 9488. Is u a multiple of 19?
False
Let j be 6 + (-1528)/(-4) + -6. Suppose j = i - 108. Is 49 a factor of i?
True
Does 85 divide ((-54)/30 + 3)/(54/799560)?
False
Let x = -58 - -56. Let p be (-501)/9 - (1 + 10/(-6)). Is 11 a factor of (x - -7)*p/(4 + -9)?
True
Let b be ((-14)/(-8))/((-1)/(-4)). Let w(h) = -14*h**2 + 28*h + 4*h**2 + 4*h**2 + 5 - 14*h + h**3. Is w(b) a multiple of 19?
True
Suppose -151639 = -5*b - 110719. Does 20 divide b?
False
Let w(y) = y**3 - 39*y**2 + 50*y + 30. Suppose -186 = -5*u - r, 18 = -2*r + 10. Is 27 a factor of w(u)?
True
Let l(f) = 259*f**2 - 26*f + 112. Is 9 a factor of l(5)?
False
Let c be 4/2 - 3 - 798/(-19). Suppose 0 = c*y - 37*y - 688. Does 43 divide y?
True
Suppose -876 = -10*q + 6*q. Let m = -140 - -104. Let r = m + q. Does 35 divide r?
False
Let p be ((-1)/2)/((-7)/(-700)). Let g = p - -50. Suppose -5*b - 8*k + 80 = -3*k, g = k. Is 2 a factor of b?
True
Let o(b) = b**3 - 2*b**2 + 31*b - 24. Does 8 divide o(8)?
True
Let j = -570 - -572. Is 25 a factor of ((2724/8)/3)/(j/4)?
False
Suppose -8*b = 5*g - 48154, -b - 3*g = -4*b + 18048. Is 83 a factor of b?
False
Let z(b) = -b**3 + 5*b**2 - 3*b - 5. Let f be z(4). Is (-1403)/115*(-6 - f) a multiple of 12?
False
Suppose -971333 = -18*z - 9*z - 108386. Does 366 divide z?
False
Suppose -8*a = -a + 4340. Let v = -380 - a. Suppose -4*c = 2*g - 240, 0*c - v = -4*c + 3*g. Does 20 divide c?
True
Suppose 4*v = 3*m + 37963, 25410 + 12559 = 4*v - m. Suppose 12*j - 2399 = v. Does 21 divide j?
False
Let k(a) = 13244*a**2 - 318*a - 643. Is k(-2) a multiple of 47?
True
Suppose -2*a = 3*z + 9, -5*a - 3*z + 10 = -2*z. Suppose -4*b - f + 580 = 0, 0 = -b - a*f + 167 - 11. Is b a multiple of 18?
True
Suppose -49*g + 126175 = 43708. Is g a multiple of 74?
False
Let u be (-107)/51*-3273 + (-10)/(-85). Does 10 divide (-1 - 0)/((-21)/u)?
False
Let o(x) be the third derivative of x**4/24 - 7*x**3/3 + 6*x**2. Let q be o(14). Suppose q = c - 3*c + 26. Is c a multiple of 13?
True
Let c(w) = w**2 - w. Let g(m) = 53*m**2 + 4*m - 19. Let h(f) = -4*c(f) + g(f). Does 34 divide h(2)?
False
Let g(q) = -55*q - 30. Let t = 5 - -2. Suppose -t*p - 13 - 29 = 0. Is 12 a factor of g(p)?
True
Let y(o) = -112*o + 7. Let h be y(-14). Let j be 4/(-18) - (190/45)/(-1). Suppose -5*t = j*t - h. Is 16 a factor of t?