+ 170 = -5*c. Suppose 4*l - 146 = -a, 3*l = a - n + 136. Suppose 7*q - l = 6*q. Is 2 a factor of q?
True
Let i = -22 + 27. Suppose -8 = 4*o, 8*u = 13*u - i*o - 500. Is u a multiple of 30?
False
Let q = -770 + 3191. Does 37 divide q?
False
Suppose -18 = z - 7*z. Is 56 a factor of (2 - (-1 - -41))/((-2)/z)?
False
Let b be -6*810/(-2)*(-38)/(-57). Suppose -b = -16*z + z. Is z a multiple of 4?
True
Suppose 5*c = 20, 3*i + 981 = c - 118. Let l = 1 - i. Is l a multiple of 25?
False
Suppose -2*p = 2*a - 12, 5*a + 8 = 7*a + p. Suppose 5*v + a*z = 1140, 220 = -0*v + v + 2*z. Is 36 a factor of v?
False
Is (3 - 4) + 9 - -39148*6/6 a multiple of 39?
True
Let t be ((-10)/(-4))/((-460)/(-368)). Suppose t*v - 4*i = 3784, 5*v - 8853 = -3*i + 594. Does 90 divide v?
True
Does 6 divide 45/2*(400/(-2))/(-4)?
False
Suppose -o = 5*o + 1572. Let f = 510 + o. Does 22 divide f?
False
Let v(y) = -2*y**2 - 45*y - 2. Let j be v(-21). Let m = 141 - j. Is 40 a factor of m?
True
Suppose -8*j + 3*j + 4260 = -5*g, 0 = g - 4. Suppose w - z = -w + 862, 2*w + 2*z = j. Is 43 a factor of w?
True
Let i = 980 + -451. Suppose -6*u = 17*u - i. Does 5 divide u?
False
Let o(i) be the second derivative of i**4/12 - i**3/2 + 77*i**2/2 + 25*i. Is o(13) a multiple of 23?
True
Suppose 2*i - 2 = -0*i, 4*i = -2*w + 162. Suppose -5*g + 201 + w = 0. Is g a multiple of 4?
True
Let w(v) = v + 35. Suppose -3*x - 8 = -7*x. Suppose x*m + i + 6 = -17, 0 = -2*m + 3*i - 19. Is 4 a factor of w(m)?
True
Let h(x) = 10*x**3 + 15*x - 103. Does 16 divide h(6)?
False
Let d be 0*(-3 - (-7 + 3)). Suppose -11*o + 56 + 32 = d. Does 9 divide o/((-8)/(-159)) - 0?
False
Let h = 1615 + -104. Let l = h - 911. Does 15 divide l?
True
Let t(x) = x**3 - 78*x**2 + 152*x + 258. Is t(78) a multiple of 6?
True
Let s = 27438 - 1076. Is s a multiple of 98?
True
Let y(b) = -2*b**2 + 212*b + 386. Is y(74) a multiple of 45?
False
Suppose -3*h = -v - 14447, 0 = 93*h - 88*h - 2*v - 24079. Is h a multiple of 45?
True
Let j(p) = 145*p**2 - 110*p + 1146. Is 86 a factor of j(8)?
True
Suppose -16*l + 28*l - 6576 = 0. Let d = -62 + l. Is 40 a factor of d?
False
Suppose 0 = -2*l + k + 4223, -4*l + 5*k + 8319 = -136. Is l a multiple of 56?
False
Let c(v) = -2*v + 2. Let x(q) = -282*q + 71. Let s(z) = 4*c(z) - x(z). Is s(2) a multiple of 16?
False
Is 80 a factor of (1248/10 + 0)/((-1371)/(-182800))?
True
Let r = 46 + -43. Suppose 3*d = 5*s - 37, -r*s + 2*s - 7 = 3*d. Suppose -l + 84 = -s*m, -410 = -4*l - m - 137. Is l a multiple of 23?
True
Is (59901/328*4)/(54/(-28) - -2) a multiple of 138?
False
Suppose 4*d - 23661 + 3469 = 4*q, 10108 = 2*d + q. Does 21 divide d?
False
Suppose 7*k - 22409 = -3*k + 50191. Is k a multiple of 20?
True
Let h be (-2)/2 + -5 + 9. Suppose 0*r + 2*r - 591 = -5*k, 4*r + h*k - 1217 = 0. Is r a multiple of 28?
True
Let z(y) = 3*y + 15. Let q be z(-4). Let p(u) = 41*u - 6. Let r be p(q). Suppose r + 149 = 2*s. Is 19 a factor of s?
True
Let n = -28 - -666. Is 35 a factor of n + (16/(-2))/1?
True
Let b(u) = -u**2 - 50*u - 11. Let t be b(-43). Suppose -f + t + 853 = 0. Is 16 a factor of f?
False
Suppose -78*c = -21280 - 7346. Is c a multiple of 219?
False
Let t be ((-12)/3)/4*-74 - 0. Let x = -25 + t. Is 15 a factor of x?
False
Let u(z) = -8482*z**3 + 5*z**2 + 4*z. Is 8 a factor of u(-1)?
False
Let r(j) = 0 + 4*j - j**3 - 9 - 3*j**2 + 0*j**3 + 2. Let l be r(-6). Suppose -6*b = l - 305. Is b a multiple of 19?
True
Let x(d) = -95*d**3 + d + 1. Let f be x(-1). Let i = -11376 - -11303. Let q = i + f. Is 5 a factor of q?
False
Is (-1*1)/((448/(-60304))/(-14))*-2 a multiple of 27?
False
Let b(x) = -x**3 - 6*x**2 + 5*x - 11. Let n be b(-7). Suppose -g = -4*u - 4, n*u - 2*u = 0. Suppose -z = 1, g*v - 77 + 3 = 2*z. Is 3 a factor of v?
True
Suppose 2*w - 1 = -f - 2*f, 5*w - 13 = -4*f. Suppose -w*u = 0, 4*u - 6*u + 2030 = 5*x. Is x a multiple of 12?
False
Let r = 1489 + -419. Let u = r - 1042. Is u a multiple of 17?
False
Is 2346/4 - ((-40)/(-16) + -10 + 7) a multiple of 2?
False
Let k(n) = 19*n**2 - n + 2. Let v(g) = g**2. Let t(u) = k(u) - 4*v(u). Suppose -4 = i - 2*j + 5, -3*i + 2*j = 15. Is t(i) a multiple of 28?
True
Let a(q) = -3*q**3 + 56*q**2 - 4*q + 34. Does 12 divide a(16)?
False
Suppose 0 = 2*d + 5*g - 9355, 0 = -5*d - 136*g + 131*g + 23440. Is d a multiple of 15?
True
Suppose -7*f + 660 = -1307. Let n = f + -196. Does 13 divide n?
False
Suppose -89715 = -19*b - 34*b + 128910. Is b a multiple of 11?
True
Let r = -818 - -1577. Suppose -754*x - 90 = -r*x. Is x a multiple of 2?
True
Suppose 12*h + 145*h = 61544. Is 6 a factor of h?
False
Suppose w - 7 = 1113. Does 35 divide w?
True
Let l(x) = -x**3 - 70*x**2 - 9*x + 407. Does 31 divide l(-70)?
False
Let f(v) = 24*v**2 - 51*v + 328. Is 23 a factor of f(12)?
False
Let k be -2 - 2*(-34 - 3). Suppose -39 = -8*q - 31. Is 18 a factor of (-206)/3*q*(-324)/k?
False
Let f be (-3 - (-28)/8) + (-24)/(-16). Does 18 divide (-8523)/(-51) + f/(-17)?
False
Let f(p) = 102*p - 74. Let m = 356 - 353. Is 8 a factor of f(m)?
True
Let u = 11 + -23. Is 18 a factor of (-28)/(-3)*(-1458)/u?
True
Let d be 5/(-6)*(-10 - -4). Suppose -d*a + 178 = 158. Suppose a*o = 8, -10*k + 8*k + o + 118 = 0. Is k a multiple of 6?
True
Let h(d) = -3*d**2 - 27*d + 4. Let z be h(-9). Suppose 402 = 2*l - 3*a, 5*l - z*a + 6*a - 1005 = 0. Is l a multiple of 3?
True
Is 6 + (-36)/7 + 427015/7 a multiple of 39?
False
Suppose -3*f + 2*l = -8470, 273*f - 271*f - l - 5649 = 0. Does 28 divide f?
True
Let y(g) = -8*g**2 - 46*g + 11. Let u be y(-6). Is (1*u)/((-3)/(-51))*-11 a multiple of 3?
False
Let k = -461 - -4714. Does 23 divide k?
False
Suppose -4*c + 0*i = -4*i - 2076, -c - i + 523 = 0. Suppose -c = 2*n + a, -3 = 4*a - 3*a. Is 1/(2/3) + n/(-14) a multiple of 8?
False
Is (-16217)/((9 + 10 + -18)/(-1)) a multiple of 102?
False
Let f be (0 + 0)/(3*2/3). Suppose f = 17*s - 2497 - 1022. Is s a multiple of 10?
False
Let w = 6596 + -5772. Is 34 a factor of w?
False
Let f(y) = y**2 - 21*y + 282. Let r be f(35). Let p = 1058 - r. Is 68 a factor of p?
False
Suppose 0 = -2*u - p + 22568, 0 = 4*u - 4*p - 71400 + 26240. Suppose -11*i + u = 8*i. Is 11 a factor of i?
True
Let b(r) = r**3 - 63*r**2 + 11*r + 132. Is b(63) a multiple of 4?
False
Let i(a) = 7*a - 23. Suppose 172*z - 184*z + 300 = 0. Is 6 a factor of i(z)?
False
Suppose 31*g - 73 = 51. Suppose 4*m = 6*m + g, 0 = -4*q + 2*m + 1588. Does 11 divide q?
True
Let n(y) be the third derivative of -275*y**4/8 + y**3/2 + 27*y**2. Is n(-1) a multiple of 32?
False
Let h(r) = -r**3 + 14*r**2 - 86*r - 30. Let n be h(16). Let j = n - -3335. Is 13 a factor of j?
True
Suppose 0*h - 9 = -w - 2*h, 2*h + 9 = 5*w. Suppose -r - 2 = -w. Does 29 divide r/((-18)/(-27) + 262/(-402))?
False
Suppose -3*a = 5*z - 2693, -a + 311 = -3*z - 568. Let b = a + -626. Is b a multiple of 33?
False
Suppose -p = 4*p - i - 1812, -4*p + i + 1449 = 0. Let k = p + -183. Is 10 a factor of k?
True
Let u(y) = y**2 + 9*y + 26. Let o(x) = 2*x**2 - 15*x + 9. Let c be o(7). Suppose -c*s = 5*t + 68, 3*s - 71 = 5*t + 2*s. Does 16 divide u(t)?
True
Let f be 5/((-140)/8) + 4/14. Suppose f = 18*v - 19*v + 275. Suppose -5*i - 2*o + 210 = -v, -2*o = -5*i + 505. Is i a multiple of 40?
False
Let v(c) = -c**3 + 13*c**2 - 37*c + 11. Let a be v(11). Does 7 divide 6 - (a + -5 + 0)?
False
Let v(g) be the first derivative of -15*g**2/2 - 23*g - 22. Let o(j) = -j**3 - 7*j**2 - 10*j - 7. Let w be o(-5). Is 8 a factor of v(w)?
False
Let t(l) = -3*l**3 - 10*l**2 - 9*l - 32. Let r be t(-10). Suppose 0 = -5*i - 468 + r. Does 53 divide i?
True
Let y(h) = 1607*h**2 - 952*h + 5. Does 16 divide y(3)?
False
Does 6 divide ((-316)/711 - 27224/(-18)) + -6?
True
Let t be (-46)/(-8) + ((-3)/4)/(-3). Is 7 a factor of (75 + (1 - t))*4/10?
True
Let c = -110650 - -156715. Does 15 divide c?
True
Suppose -50*l - 3673 = -130*l + 40567. Is l a multiple of 2?
False
Suppose 2*y - 3*z - 80 = 0, -29*z = 5*y - 30*z - 187. Let a = -3 + -6. Let d = a + y. Does 25 divide d?
False
Let f be 0 - ((5 - 13) + 4). Suppose 0 = 3*r - 7*z + 2*z - 227, -2*r = -f*z - 148. Is 7 a factor of r?
True
Let z(t) = 13*t - 68. Let h be z(7). Suppose h*n + 491 = 3228. Is n a multiple of 17?
True
Suppose 36 + 52 = 11*i. Is 504 + i*5/(-10) a multiple of 11?
False
Let y(v) = 22*v - 167. Suppo