k + k - 512. Suppose a = 5*i + 112, 3*a - 2*i = -164 + u. Is a a multiple of 14?
True
Suppose f - 3*f = 0, -508 = -t - 5*f. Is 36 a factor of t/1 - 7*(-12)/(-21)?
True
Let f(y) = 49 + 94*y**2 - 32*y - 36 + 21 + 46 + 24. Does 37 divide f(4)?
True
Let k(f) = 58079*f**2 - 80*f - 83. Does 89 divide k(-1)?
False
Suppose -4*z + 2*z + 4*x + 868 = 0, -z + x = -432. Suppose -2*w + z = 2*n + 2*n, 4*n = w + 433. Does 12 divide n?
True
Let p = 239 - 161. Suppose -4*i + 2*u = -342, -4*u = i - 3*u - p. Does 13 divide i?
False
Suppose 4*j - 4 = 0, 4*v - 6489 = 4*j + 2867. Is v a multiple of 17?
False
Let o(c) = 222*c + 384. Is o(6) a multiple of 10?
False
Suppose 32163 = 23*h - 55053. Is 24 a factor of h?
True
Suppose -2*r = -15*j + 16*j - 1548, 3114 = 2*j + r. Does 20 divide j?
True
Suppose -5*w - 4*u + 68992 = 0, -55204 = 379*w - 383*w + 2*u. Does 5 divide w?
True
Let h be 26/91 - 80/(-14). Let b be h/(-27) - 1722/27. Is 17 a factor of b/48 - 565/(-3)?
True
Let r be (-9 - -8 - (-2 - -2))*-17. Let j = 54 - r. Does 37 divide j?
True
Suppose 3*i = -15, -2*w + 189*i = 194*i - 17927. Is 6 a factor of w?
True
Does 51 divide 2 - 2 - (-17310 + 0 + 21)?
True
Does 21 divide ((-656)/64)/41*-137812?
False
Let a(z) = -10*z - 8. Let b(v) = -11*v - 9. Let y(k) = 6*a(k) - 5*b(k). Let m(i) = i. Let n(j) = -6*m(j) - y(j). Does 5 divide n(-3)?
False
Let s = -89 - -186. Does 13 divide s?
False
Let m(y) = -70*y**2 + 3*y - 3. Let u be m(1). Let x = u - -102. Is 4 a factor of x?
True
Suppose 4*y + 146*d - 128466 = 144*d, -4*d - 128484 = -4*y. Is 29 a factor of y?
False
Suppose 411*r - 2699736 = 207*r. Is 13 a factor of r?
True
Suppose 0 = -19*c + 38 - 0. Suppose -5*x = 5*s - 2140, 5*x - 633 = -c*s + 1519. Does 48 divide x?
True
Let d = 23610 + -1866. Does 48 divide d?
True
Let z = 154 + -283. Let t = z - -89. Let f = -22 - t. Is f a multiple of 9?
True
Suppose 2*x - 877 - 1034 = -37*x. Is 49 a factor of x?
True
Let l = 22782 - 11330. Is l a multiple of 9?
False
Let r(z) = z**3 - 54*z**2 - 80*z - 950. Is 19 a factor of r(59)?
False
Let k(s) = -3*s**2 + 5*s - 7. Let z be k(5). Let g(y) = -y**3 + 15*y**2 - 21*y + 20. Let d be g(12). Let p = d - z. Does 38 divide p?
False
Let o = 68599 - 38217. Is o a multiple of 17?
False
Suppose z + 0*k = -5*k + 16, -3*z + 3*k = -66. Let y = -21 + z. Suppose y = -15*o + 1791 + 3354. Does 55 divide o?
False
Let j = -18386 + 31895. Is j a multiple of 103?
False
Let g = 463 - 492. Does 29 divide ((-10)/10)/((-2)/g)*-20?
True
Is 7 a factor of (28/4)/49*917?
False
Suppose -3*y = -4*w + 294, 5*y + 0*y = 5*w - 365. Let f = -66 + w. Suppose 3*a + 36 = f*a. Is 3 a factor of a?
True
Suppose -5*p + 4*v - 2759 = -24097, 4*v = 2*p - 8540. Does 79 divide p?
True
Let l = -14829 + 24045. Does 64 divide l?
True
Suppose -28*u + 368196 = -40808 - 17212. Is 105 a factor of u?
False
Suppose 5*d + 4*t - 19 = 0, -d = -0*d + 5*t - 8. Suppose -b = -d*b. Suppose 4*r + 28 - 128 = b. Is 6 a factor of r?
False
Let k = -582 - -588. Let n(d) = -16*d**2 + 129*d - 6. Is n(k) a multiple of 32?
True
Suppose 23 = -d + 5*l, d = 4*d + l - 11. Suppose d*o = 7*o + m - 16, o - 8 = -5*m. Suppose o*j - 150 = j. Is 28 a factor of j?
False
Let g be (-4)/(-3) + (-4 - (-66)/18). Is 19 a factor of (-30)/(-5)*g + 522?
False
Suppose 5*p = 3*l + 27 - 96, -4*p = 0. Is 23 a factor of -2*l*(-20)/5?
True
Let p = -3609 - -8105. Does 4 divide p?
True
Let i = 65 + -231. Let v = i - -299. Does 7 divide v?
True
Suppose 6*a - 5*a = 2*a. Let r be (2/(-8)*0)/(-1). Does 13 divide 4 + (r - -21) + (1 - a)?
True
Let v = 1062 - 64. Is 24 a factor of v?
False
Suppose 0*b - b + 31 = 4*d, 0 = -4*d - 4*b + 40. Suppose 2*j = -d*j. Suppose 0 = q - 3*f - 41, j = -3*q + 3*f - 0*f + 105. Is 8 a factor of q?
True
Let b(g) = -2*g**3 + 6*g**2 - 3*g - 7. Let f be b(3). Is -1*2*(-8 + 1304/f) a multiple of 7?
False
Suppose 0 = 4*y - 33796 + 1540. Suppose -94*f + 103*f - y = 0. Is 16 a factor of f?
True
Let w(s) = 3*s - 51. Let v be w(15). Let n be 6/v + -27*(1 - 2). Is 16 a factor of (n/65)/((-1)/(-80))*3?
True
Suppose 0 = 4*p + 2*p - 48. Let d(g) = g**2 - 7*g - 6. Let s be d(p). Suppose 0 = x + 2*b - 84, -s*x + 6*x + b = 315. Is 13 a factor of x?
True
Does 81 divide (-119797)/(-29) + (-88)/(-1276)?
True
Let m be 4*(-1)/14 + (-515)/35. Does 26 divide 2788/3*m/(-10)?
False
Suppose -90*l + 2366900 = 83*l - 2311712. Does 14 divide l?
False
Let w be 6/(-27) - (-26)/36*10. Suppose 1872 = -w*k + 6688. Suppose -5*i + 0*t + k = -3*t, 2*i = 5*t + 260. Does 20 divide i?
True
Let r(x) = -x**3 - 6*x**2 + 2. Suppose 5*k - 2*s = -6*s - 50, -s = -2*k - 7. Let u be r(k). Does 26 divide 185 + -2 + 0 - u/2?
True
Let r(l) = -11*l + 264. Let n be r(24). Suppose x = 3*m + 411, n*x - 2*x - m + 843 = 0. Does 21 divide x?
True
Suppose 2*x - 5*r = 3525, -103*r - 12270 = -7*x - 108*r. Does 39 divide x?
True
Let m(l) = -246*l**3 + l**2 + 5*l + 10. Let f be m(3). Does 53 divide (-11)/(77/f) + 5?
False
Let g = -87 - -165. Suppose -27*p + g = -26*p. Is 14 a factor of p?
False
Let g(q) = 5*q**3 + 31*q**2 + 38*q - 254. Is g(13) a multiple of 21?
True
Suppose 30*l + 29592 = 28*l. Is (-6)/51 + 5/((-255)/l) a multiple of 29?
True
Is 74920*12/48 + -10 a multiple of 36?
True
Let l = 2281 - 949. Is l a multiple of 4?
True
Suppose -p + 18204 = -4*c, 5*c + 36417 = -2431*p + 2433*p. Is p a multiple of 12?
True
Suppose g - z - 4*z + 244 = 0, 3*z = g + 254. Let k = -81 - g. Is 4 a factor of k?
True
Suppose 2*k + 0*g - 55 = -5*g, 97 = 4*k - 3*g. Let f be (-4 - -3)/(4 + (-105)/k). Does 46 divide 188 - f - 1/(-1)?
True
Let m(c) = c**3 - 40*c**2 + 77*c + 16. Let r be m(38). Does 28 divide (r/(-12))/((-3)/114)?
False
Let k = -2646 + 5525. Suppose 10*w - 371 = k. Is w a multiple of 25?
True
Is (-1*4/(-8))/((3/118974)/1) a multiple of 195?
False
Let g(b) = -106*b**3 - 10*b**2 - 3*b + 19. Let x be g(-8). Is 23 a factor of (-3)/8 - x/(-200)?
False
Let c(u) = 420*u**2 + 1 - 411*u**2 - u**3 + 1 + 7*u. Is 15 a factor of c(7)?
False
Let q = -2690 + 4160. Does 49 divide q?
True
Suppose -2*u - 714 = -4*q, 21*q - 20*q = -4*u - 1446. Let y = u - -376. Is 11 a factor of y?
False
Does 4 divide ((-2)/(-6) + 0)/((-32)/(-9984))?
True
Let r = -52 + 42. Let y(l) = -l**3 - 10*l**2 + 4*l - 8. Let h be y(r). Does 7 divide 8/h*(1 + 13)*-3?
True
Let c be 11304 + 0 + (-3)/(-3) + -2. Suppose 0 = 7*l - c + 4296. Is 77 a factor of l?
True
Let v(h) = h**3 + 3*h**2 + 2. Let x be v(-3). Suppose x*t - 7*t + 1280 = 0. Suppose -3*q = q - t. Is q a multiple of 17?
False
Let h(g) be the second derivative of -g**5/10 + 49*g**4/12 - 5*g**3/2 + 9*g**2/2 + 2*g - 9. Is h(24) a multiple of 9?
True
Suppose l - 1 = t - 0*t, 3 = 4*l - 3*t. Let s = 0 - l. Suppose s = -18*a + 15*a + 60. Is a a multiple of 10?
True
Suppose 3*p - 4*n = 4 - 30, 0 = -4*p + 4*n - 28. Does 9 divide (-747)/p - 12/(-8)?
False
Let b be 8/(-12)*(-12)/16*0. Let l = 10 - b. Does 2 divide -3 + 2 + l + (-10)/2?
True
Suppose -18 = -3*v + 3*d, -v - 4*d - 22 = -4*v. Suppose -250 = 4*f - 2*q, 3*f + v*q + 160 = -2*q. Is 30 a factor of 465/(-2)*48/f?
False
Let s(n) = -6*n**3 + 4*n**3 + 3*n**3 + 27 - 2*n**3. Let c be 2/(-6)*(2 + -2). Is 7 a factor of s(c)?
False
Suppose -12*s - 13*s = 300. Is (6/(s/(-119)))/((-3)/(-6)) a multiple of 2?
False
Suppose -7*r + 4048 + 6536 = 7*r. Is r a multiple of 18?
True
Let s(c) = 33*c + 16. Let k(l) = 50*l + 24. Let b(o) = -5*k(o) + 8*s(o). Let d be b(-3). Let n = d - -72. Is n a multiple of 12?
False
Let o(d) be the third derivative of -13*d**6/120 + d**5/20 + d**4/12 + 41*d**2 - 4*d. Let n be ((-6)/15)/((-1)/(-5)). Does 16 divide o(n)?
True
Let n = -340 - -491. Suppose 99 + n = v. Suppose 3*p = 8*p - z - v, -2*z = -4*p + 194. Does 12 divide p?
False
Suppose 4*b = -52*w + 57*w - 29426, -2*b = 4*w - 23520. Is w a multiple of 34?
True
Suppose -2*s + 5841 = 5*o, 4*s + 39 = -o + 1200. Is 7 a factor of o?
True
Suppose -5*y + 5*z = -5355, -28*y - 3248 = -31*y - 4*z. Is y - (2 - 5) - -9 a multiple of 64?
True
Suppose -2*d + 20320 = 17*b - 12*b, -3*d + 16249 = 4*b. Is b a multiple of 39?
False
Suppose 11*y = 16558 + 63346. Is 50 a factor of y?
False
Suppose -14*p = -10*p - 12. Suppose l = -2*z + 189, 87 = z + 2*l - p*l. Is 6 a factor of z?
False
Let v = 156 - 158. Let p(u) = -3*u + 4. Is p(v) a multiple of 5?
True
Let y be 553*