e
Let c = 88 - 83. Suppose 210 = c*m - 1155. Is m a multiple of 21?
True
Suppose 3*f - 4*f - 7131 = -x, 2*x = -2*f + 14262. Is x a multiple of 10?
False
Let b = 124 + -21. Suppose -m + b = -l + 2*l, -2*l - 5*m = -221. Suppose -l = -4*r + 242. Is r a multiple of 5?
True
Suppose -2*c + 3*r = -5505, -2*r + 13772 = 35*c - 30*c. Does 18 divide c?
True
Let i = -3048 + 50077. Is 359 a factor of i?
True
Let u(m) = -275*m - 547. Is 2 a factor of u(-3)?
True
Suppose 73*p = 1630707 + 233441 - 397724. Is p a multiple of 18?
True
Suppose -j + 38*f - 42*f + 9474 = 0, 9*j = -3*f + 85365. Does 149 divide j?
False
Suppose 3*o + 22 = 3*m - 11, 0 = 3*m + o - 45. Let v = 719 - m. Is v a multiple of 10?
False
Let i(l) = 1594*l + 26. Let r be i(-26). Is 7 a factor of r/(-91) - 1/7?
True
Suppose -k + 5*b = k - 5, 5*k - 4*b - 4 = 0. Suppose k*n + 391 = 3*m + n, -m - n + 127 = 0. Is 11 a factor of m?
True
Let c(z) = -4*z - 30. Let p be c(-9). Suppose 5*g = p*g - 53. Let v = -41 + g. Is 3 a factor of v?
True
Let a be 14/2 - (-2 + 3 - -3). Does 28 divide (0 - -231) + (1 - a)?
False
Suppose 25*d + 3*t + 3735 = 29*d, -2*d + 1887 = 5*t. Does 12 divide d?
True
Suppose 132907 = 7*o - 478. Does 63 divide o?
False
Let b(u) = -u**2 + 2*u - 1. Let r be b(2). Let z be 9 + (r/(-1))/((-2)/4). Let n = z + 138. Is n a multiple of 29?
True
Let q = -217 - -465. Suppose 17*n - q = 15*n. Suppose 0*c - 2*c + n = 0. Does 10 divide c?
False
Suppose 0 = 9*s - 7*s - 8. Suppose 3*q - 1121 = -k, 25 = s*k + k. Let u = -34 + q. Is 13 a factor of u?
True
Let c = 7815 + -4818. Is 78 a factor of c?
False
Suppose 4*f + 2*u = 26984, 0 = -5*f - 13*u + 7*u + 33723. Does 4 divide f?
False
Suppose -6*g - 117 = 7*g. Let n(v) = 7*v + 95. Does 16 divide n(g)?
True
Let g = 10692 - -2468. Is 56 a factor of g?
True
Let i(g) = -18*g**2 + 1635*g + 54. Is i(89) a multiple of 3?
True
Suppose -380 = -7*w - 1276. Let x = w - -335. Does 23 divide x?
True
Does 43 divide ((-6880)/(-6))/(((-567)/27)/(-63))?
True
Is 680 + -14*8/28 a multiple of 52?
True
Let h(n) = 24*n**2 - 12*n + 6. Let p be h(9). Let a = p + -835. Is 18 a factor of a?
False
Let i(r) = 5*r**2 - 6*r - 8. Let q = -124 - -178. Let f = 50 - q. Does 12 divide i(f)?
True
Let x = -115 + 288. Suppose 0 = 19*v + x - 11326. Is 12 a factor of v?
False
Let c = 50206 - 35642. Is c a multiple of 8?
False
Suppose -40*i + 2432 = -32*i. Let n = -280 + i. Is 4 a factor of n?
True
Suppose 2*p - 388 = -2*z, z + 5*p - 127 - 79 = 0. Let f = z - -200. Does 23 divide f?
True
Let p = 110 + -62. Let w be (-1 - -2)/(8/p). Suppose 0 = g - w - 16. Does 7 divide g?
False
Let l(b) = 4*b**3 + 2*b**2 - 6*b. Let y(r) = -r - 3*r**3 - 5*r**3 + 12*r**3 - 3*r**3. Let d(u) = l(u) - 6*y(u). Is d(-2) a multiple of 8?
True
Let a(u) = 33*u**2 + 5*u - 8. Let y be a(3). Let z = 327 - y. Is z a multiple of 8?
False
Suppose 4*v = -i + 28740 - 3230, -5*i - 4*v + 127550 = 0. Is 11 a factor of i?
False
Let l(i) = -2*i**3 - 8*i**2 - 7*i - 5. Let c be l(-5). Let n be (-10836)/(-270) + (-4)/30. Let m = c - n. Is 2 a factor of m?
True
Let k(g) = 8*g**2 + 3*g + 9. Suppose 2*j - 5*v = 10, -2*v = j - 0 - 5. Suppose 8 = b + 5*o, j*b = -5*o + o - 2. Is 10 a factor of k(b)?
False
Let q be (4560/(-84))/(3/(-42)). Suppose 4*c = -7*p + 2909, -2*p + 5*c + 65 + q = 0. Does 5 divide p?
True
Let o = 5721 - 4395. Is 17 a factor of o?
True
Let i(g) = 1608*g**2 - 62*g - 154. Does 187 divide i(-4)?
False
Let r = 7438 - 1168. Is r a multiple of 11?
True
Suppose -18*k = 6021 - 35883. Let w = k - 927. Is w a multiple of 12?
True
Suppose 2*d - 7*s + 2*s = 14, -6 = 2*d + 5*s. Let y be -2 - ((-1594)/d - 1). Is y/16 - (-6)/(-8) a multiple of 26?
False
Let j(c) = 156*c**2 + 6*c + 9. Let u be (-1 - 0)/(7*14/294). Is 15 a factor of j(u)?
True
Let m(x) = 53*x - 18. Let h(s) = 53*s - 19. Let g(z) = 2*h(z) - 3*m(z). Let n be g(-2). Suppose -n = -5*k + 258. Is 19 a factor of k?
True
Let o(b) = 7*b + 4 + 5*b + b - 8*b. Let l be o(4). Suppose -5*n + 834 = l. Is 24 a factor of n?
False
Suppose -2*j + 8*y = 11*y - 8, 0 = -2*j + 3*y + 8. Is 4 a factor of j/((-1)/34*(-2 - 0))?
True
Suppose f - 8 = -4*j - 52, -2*j + 3*f - 36 = 0. Is 18/j + (-1138)/(-4) + -2 a multiple of 32?
False
Suppose 3*h = 11*h - 32. Suppose -h*f = -109 - 619. Is f a multiple of 14?
True
Suppose 6*o + 66 - 90 = 0. Suppose 1700 = 3*d + 4*m, o*d = 17*m - 21*m + 2264. Is d a multiple of 25?
False
Let l = 36 + -44. Let w be ((-10)/l)/5 - 4557/(-12). Suppose 0 = 2*v - 6*v + w. Is v a multiple of 19?
True
Suppose -2*w = -q - 75 - 264, 2*q = -5*w - 660. Let v = q - -633. Suppose v + 20 = 3*x. Does 12 divide x?
False
Suppose 0 = 43*u - 141043 + 43433. Is 16 a factor of u?
False
Let w be 2070/(-4)*(-1 - 2/(-6)). Let u = 417 - w. Is u a multiple of 6?
True
Let b(c) = 11*c - 23. Suppose 4*j + 0 = 20. Let u be b(j). Does 5 divide 1112/u - 3/(-12)?
True
Suppose 53879 = 390*t - 451*t + 367175. Is t a multiple of 12?
True
Suppose -4*q + 30 = 2*h, -5*h = q - 34 + 4. Suppose -j - 9 = -4*d + h, 0 = -4*j + d - 11. Is ((-3)/6)/(j/1268) a multiple of 43?
False
Let p(r) = 20*r**2 - 166*r + 147. Does 15 divide p(30)?
False
Suppose -g + 66 = f - 713, 4*g - 776 = -f. Let d = -362 + f. Does 22 divide d?
True
Let c = 98 - 92. Is 2 a factor of 6 + (-95)/(c + -11)?
False
Suppose 0 = 4*l - 8 - 24. Suppose l*c - 120 = -7*c. Is c even?
True
Let b(k) = -95*k + 4. Let n be b(-7). Suppose 0 = -3*f - 2*f - 2*m + n, f = 4*m + 147. Suppose q = -2*q + f. Is q a multiple of 15?
True
Let w be ((-2490)/4)/3*90/45. Let i = 575 + w. Is 80 a factor of i?
True
Let b(z) = -2*z**3 + 11*z**2 + 7*z - 2. Let m be b(6). Suppose -m*d + 136 = 36. Is d a multiple of 25?
True
Let h(s) = 8*s - 67. Let v be h(-34). Let x = v + 468. Does 57 divide x?
False
Suppose 6*i - 7665 + 633 = 1536. Is i a multiple of 11?
False
Suppose 3*h - 2*i - 32 = 2*h, 0 = -3*h + i + 76. Let p = h - -376. Does 27 divide p?
False
Suppose 0 = -0*d - 5*d + 15. Let f(k) = 0 + 4*k**d - 8*k**2 - 5*k**3 - 2 + 17*k. Is 14 a factor of f(-10)?
True
Let v be ((-31)/(-2))/(2/(-4)). Let d = 58 + v. Suppose i + 3 = 4*i, -2*m - 3*i = -d. Is 12 a factor of m?
True
Suppose -231434 - 333191 = -102*a + 306251. Is a a multiple of 101?
False
Suppose 11412 = 4*u + 4*k, -14*u + 16*u - k = 5691. Is u a multiple of 93?
False
Suppose 0 = 9*k - 12*k + 555. Let a = k - -4. Does 9 divide a?
True
Suppose -90 = -j - 3. Suppose w - 414 = -j. Is 34 a factor of w?
False
Let j = 1744 - 1449. Let c = 1 - 1. Suppose -j = -5*k + 5*s, -3*k + 6*s - s + 179 = c. Is k a multiple of 28?
False
Is 12 a factor of 1032/(-28)*-144 + -10 + 134/14?
False
Suppose -2*s - 4*q = -3*q, 2 = 3*s + q. Suppose 0 = a + s*a - 5*p - 794, -3*a - 4*p + 812 = 0. Let x = 405 - a. Does 14 divide x?
False
Let b be -7*13/((-546)/36). Does 35 divide 2*(-2724)/16*(-4)/b?
False
Is 12 a factor of -12 - (-4002 + (-42)/(-7))?
True
Let v be 52*-2*(-1)/(-8)*46. Let h = v - -1671. Does 77 divide h?
False
Let h = -81 - -86. Is (6/(-5))/(-2) + 1197/h a multiple of 24?
True
Let r(j) = -j**2 + 8*j - 10. Let f be r(6). Let o be (-10)/f*5/(25/22). Does 10 divide 36 + -1 + 27 + o?
True
Let g(y) = -7*y**3 - 22*y**2 - 15*y + 139. Is g(-12) a multiple of 7?
True
Suppose -1050 = 3*y - 8*y. Suppose -5*k = 5*w - 685, -3*w = -2*k + y + 84. Suppose -5*t = 15, 0*s + 5*t + k = s. Is 18 a factor of s?
True
Let b = -60 - -62. Suppose -b*r = 5 - 543. Let p = -179 + r. Is 18 a factor of p?
True
Suppose -62*p + 130650 = 41556. Is p a multiple of 14?
False
Let g(f) = f**3 + 4*f**2 - 3*f. Let n be g(1). Suppose 3*o - o + 3*a = 215, n*a - 330 = -3*o. Suppose -o = -2*l + 12. Does 22 divide l?
False
Is (-4)/((-56)/62230) + 9 a multiple of 34?
True
Suppose 2*r - 6931 - 5845 = -2*i, 0 = 5*i - r - 31964. Is 174 a factor of i?
False
Suppose v - 196 = -3*v. Let f(i) = 11*i + 496. Let o be f(-40). Let u = o - v. Does 4 divide u?
False
Let k = 73 + -65. Suppose 5*y - k*y = 72. Does 8 divide 1 - (-20)/y - (-89)/6?
False
Let a be (4/5)/((4/(-860))/(-1)). Is ((-1419)/a)/(2/(-48)) a multiple of 11?
True
Suppose -q + 23 = -v + 5*v, 0 = -5*v - 4*q + 15. Let o(b) = v*b - 15*b**2 - 4*b + 16*b**2 + 3 + 4*b. Does 3 divide o(-7)?
True
Let u = 30 + 5. Let w be 18*(-14)/(-8)*50/u. Suppose 4*c = -c + w. Is c a multiple of 9?
True
Suppose 5*w = -d + 5, d - 5*w + 5 = -2*d. 