 + 5*o - 6*o. Is 105 a factor of f?
True
Is 43 a factor of ((-26 - -6)/(-2))/(3/6837)?
True
Let z = -249 - -11. Let t = 158 - z. Does 18 divide t?
True
Suppose 0 = 533*v - 538*v + 10950. Is 15 a factor of v?
True
Is 1627916/30 - (8512/(-840))/76 a multiple of 34?
True
Let o = 3569 + -2191. Suppose 0 = 4*b - 190 - o. Suppose -13*a - b = -20*a. Does 8 divide a?
True
Let z(c) = -45*c - 2. Let x be z(-2). Suppose -2*v + 2*o + 22 + 22 = 0, x = 4*v - 5*o. Let p = v + -4. Is 3 a factor of p?
True
Let d(o) be the first derivative of 15*o**2 - 75*o - 202. Is d(35) a multiple of 63?
False
Suppose 5*f - 21 = -a, f + 3*a + a + 11 = 0. Suppose y - 19 = -f. Suppose y + 41 = 11*u. Is u a multiple of 4?
False
Suppose 5*w - 5*y - 617 = 10253, 4*w + 2*y = 8684. Does 12 divide w?
True
Let k(f) = f**2 + 83*f + 3318. Is k(0) a multiple of 79?
True
Suppose 28*x - 56900 = -8*x + 11*x. Is x a multiple of 4?
True
Suppose -20*h + 37*h - 50112 = 13*h. Is h a multiple of 54?
True
Let l be (-7 - 0)*(-19 + 18). Does 10 divide (-1212)/(-21) + l/(147/6)?
False
Suppose -3*t + 545 = -4*z - 1185, -1151 = -2*t + 5*z. Suppose 0 = -2*p - 2*w + t, p = w + 312 - 13. Is p a multiple of 6?
True
Does 19 divide (-42332)/(-2)*24/48?
True
Suppose -23*n + 136 = -19*n. Let k = n - -161. Does 39 divide k?
True
Suppose 106 = -2*g - 5*x, -5*g + 4*x = 2*x + 294. Let d = -2 + -7. Let h = d - g. Is 12 a factor of h?
False
Suppose -3*w + 199341 = 5*c, -4*w - 59015 = -3*c + 60549. Is 88 a factor of c?
True
Let q(l) = 3*l**2 + 118*l + 646. Is q(-76) a multiple of 114?
True
Suppose -106 = 7*i - 1. Let l(h) = -h**3 - 15*h**2 - 5*h - 21. Let j be l(i). Suppose -w + j = -9. Is w a multiple of 11?
False
Let k = 17 - 17. Suppose k = 2*f - 10, -4*f + 47 = 4*v - 97. Is v a multiple of 11?
False
Suppose 0 = -21*v + 24*v - 933. Suppose 7*y - 6044 = -v. Is y a multiple of 24?
False
Is 89 a factor of 3827/(-19*4/(-304))?
True
Suppose -10 = -3*w + h, -2*w + 4*h - h + 9 = 0. Let g be ((-24)/(-20))/(w/(30/4)). Let k = g - -27. Does 5 divide k?
True
Let x be 113*((-30)/(-55) + 180/33). Let f = x - 620. Is f even?
True
Suppose -22275 = 37*v - 64*v. Suppose i + 0*i - q = v, -3*q + 1655 = 2*i. Is 7 a factor of i?
True
Let g(f) = -145*f - 4776. Is g(-120) a multiple of 203?
False
Is 14 a factor of 0 + (-14136)/(-12) + 12?
True
Suppose 142934 = 5*a + 4*h, -2*h + 49 - 28661 = -a. Is 53 a factor of a?
False
Let d = 538 + -539. Let x(f) be the first derivative of -9*f**2/2 + f + 2. Is x(d) a multiple of 5?
True
Let q(f) = 15*f**2 - 26*f - 26. Let a be q(9). Suppose -a*s + 735 = -948*s. Does 5 divide s?
True
Is 34 a factor of 2976/36*(-663)/(-26)?
True
Let a(v) = -v**3 - 19*v**2 + 1847*v + 11. Is a(-54) a multiple of 3?
False
Suppose -5*d + 38979 = s, -11*d - s = -8*d - 23385. Is 3 a factor of d?
True
Let q(w) = 252*w**2 + 141*w + 1115. Does 55 divide q(-8)?
True
Let g(y) = 194*y**2 - 13*y - 18. Does 16 divide g(-2)?
True
Suppose -48*a + 35*a + 39*a - 644904 = 0. Is 52 a factor of a?
True
Is (12320/(-96))/(6/(-180)) a multiple of 7?
True
Let s(b) = -b**2 - 18*b - 5. Let i(m) = m**2 - 1. Let v(j) = -j**2 - 9*j - 10. Let o be v(-8). Let c(l) = o*i(l) - s(l). Is 14 a factor of c(9)?
False
Suppose 2*p - 84 = 4*x, 4*p - 5*p - 4*x + 12 = 0. Suppose 0 = j - 5*z + p, -5*j = -z + 5*z + 160. Let c = j - -46. Is c a multiple of 10?
False
Let u(d) = -d**3 + 2*d**2 + 2*d - 248. Let a be u(0). Does 19 divide a/(((-8)/20)/1)?
False
Let t = -19052 + 27557. Is 15 a factor of t?
True
Let b(m) = 7*m - 121. Let o be b(28). Is 8 a factor of -5 + o + -5 + -1?
True
Let c be 20/1*(-13 + 275/22). Does 44 divide (44/(-5))/(1/c)?
True
Does 89 divide 48/(48 - 24) - 1*-1244?
True
Let d(c) = -6*c**2 - 78*c + 4. Let l be d(-13). Suppose -3*i + 38 = -4*k + 2*k, 0 = -l*i - 4*k + 84. Is i a multiple of 8?
True
Suppose -3243*g = -3238*g - 2*d - 176904, 5*g = -4*d + 176862. Is 192 a factor of g?
False
Let v be ((-7)/(-28) + (-2)/(-8))*0. Suppose v = -j + 1 + 2. Suppose j*b = 7*b - 564. Is b a multiple of 32?
False
Suppose 18 + 0 = -6*o. Is ((-27)/(-18))/(o/(-248)) a multiple of 34?
False
Suppose 3*p = -376 + 1585. Suppose -4*c = -2*r + 806, 0 = -r + 18*c - 19*c + p. Is 45 a factor of r?
False
Let i = -4539 - -8273. Is i a multiple of 5?
False
Suppose 2*c + 22992 = 4*d, d + 10*c - 5750 = 11*c. Is 34 a factor of d?
True
Suppose 0 = 375*w - 403*w + 119000. Is w a multiple of 33?
False
Suppose 0 = -5*d + 2*a + 1, -3*a = 2*d - 12 + 4. Let x(p) = 17 + d - p**2 + 15 - 2*p - 5. Is x(0) a multiple of 4?
True
Suppose -2*p = -2958 - 4032. Suppose 10*s - p = -5*s. Is s a multiple of 12?
False
Suppose -102 = -2*g - 2*o, -g + 5*o = -4*g + 149. Let d(w) = 2*w**2 + 112*w + 890. Let b be d(-47). Let v = g - b. Does 3 divide v?
True
Let a = -112 + 2. Let t = 7846 - 7767. Let w = t - a. Does 16 divide w?
False
Let v = -2 + -122. Let c = -113 - v. Suppose c*u - 946 = 539. Is 15 a factor of u?
True
Let t be (-5)/3 - (-56)/(-42). Is (-1 + 6)*996/(-180)*t a multiple of 19?
False
Suppose 0 = -i + b + 3528, 5178 - 1674 = i + 2*b. Is 11 a factor of i?
True
Let r(f) = 187*f - 211. Let l(p) = 96*p - 105. Let x(s) = -11*l(s) + 6*r(s). Is x(9) a multiple of 55?
False
Suppose 2*z + 3*q - 48342 = 0, 4*z = 51*q - 54*q + 96702. Is z a multiple of 11?
False
Suppose 11*z - 4*z = 10136. Let h be (-9)/(-12)*-2 - z/16. Let n = h - -155. Is 9 a factor of n?
True
Let h be ((-1)/(-1))/1 - (-4 - -1). Suppose h*g - 29 = -9. Suppose -5*x + 4 - 19 = 0, 398 = g*a + 4*x. Is a a multiple of 14?
False
Let g be 5/3 + 140/15. Suppose -g*q = -5695 + 855. Is 7 a factor of q?
False
Suppose 40*b - 134271 = 86849. Is 40 a factor of b?
False
Suppose 3*y + y + 3*u = 18, -5*y + 2*u + 34 = 0. Suppose y*d - 910 = 2546. Does 32 divide d?
True
Suppose 2*v = 2, 5*v - 5 = -10*m + 5*m. Suppose w + 693 - 859 = m. Is 18 a factor of w?
False
Let v(d) = -27*d - 78. Let f be ((-3)/9)/((-2)/(-72)). Does 11 divide v(f)?
False
Let l be 6*(3/(-2) + 1) + -127. Let k = 65 - l. Does 64 divide k?
False
Let q(r) = -2*r**2 + 11*r - 9. Let b be q(4). Suppose -b*l = 2*l - 25. Suppose -6*v = -l*v - 30. Does 19 divide v?
False
Let r be ((-2)/7)/1 + (-1377)/(-189). Suppose r*p + 2*x - 3118 = 3*p, -4*p + 2*x + 3138 = 0. Is p a multiple of 13?
False
Suppose -t = -5*n - 774, -4*n + 102 = -t + 871. Let b = 1196 - t. Is 5 a factor of b?
False
Let g(n) be the third derivative of n**5/6 + 5*n**4/6 - 55*n**3/6 - 79*n**2. Is g(3) a multiple of 24?
False
Let x(p) = 3*p - 31. Let q be x(10). Let f be q/(-8) - (-1)/(-8). Suppose -3*a - 5*l + 180 = f, -a + 180 = 2*a + 3*l. Is a a multiple of 11?
False
Let a = -17886 - -20521. Is 31 a factor of a?
True
Suppose 6*r - 4*k = 8*r - 24, k + 12 = 4*r. Suppose -5*w + 735 + 1560 = 2*h, -3*w = -r*h - 1377. Does 15 divide w?
False
Suppose 17271 = 3*i - 17709. Does 11 divide i?
True
Let c(r) = 10*r - 220. Let j be c(26). Suppose 1 = 4*o - 27. Let z = j - o. Is 11 a factor of z?
True
Let l = -224 - -217. Let k(t) = -t. Let s(a) = -a**3 - 9*a**2 + 4*a - 2. Let w(f) = -2*k(f) - s(f). Is w(l) a multiple of 19?
True
Suppose -5*j + 19 = -4*h, 2*h + 1 = 2*j - 7. Suppose -j*u + 305 = 2*v, -4*u = -5*u + v + 95. Let a = u + -19. Does 8 divide a?
True
Suppose -w - 5*s + 366 = 0, 5*w - 16*s + 13*s = 1746. Let u = w - -188. Is u a multiple of 49?
True
Let f(d) = 5*d + 1799. Is 3 a factor of f(77)?
True
Let j be (884/(-3))/((-2)/6*1). Suppose 3*o - 1249 = j. Is 79 a factor of o?
True
Is 126/81 - (-65202)/54 a multiple of 39?
True
Is 120/((9/14)/(75/25)) a multiple of 56?
True
Suppose 0 = 5*i + 5*w + 5, -2*i + 0*i - w + 2 = 0. Suppose 0*c + 449 = 4*t - c, i*t - 2*c - 333 = 0. Suppose -4*p = -651 - t. Is 30 a factor of p?
False
Suppose 99*o = 16*o + 2352925 - 516301. Is o a multiple of 269?
False
Let p(t) = t**2 + 46*t - 1986. Is 5 a factor of p(-96)?
False
Let t(j) = j**2 - 5*j - 17. Let l be t(-16). Let s = -48 + l. Does 79 divide s?
False
Let y(z) = 7*z**2 - 6*z - 221. Is y(18) a multiple of 10?
False
Let k(w) be the third derivative of 7*w**4/24 + 40*w**3/3 + 138*w**2. Is k(16) a multiple of 10?
False
Suppose -4*q + 9*q = 20. Suppose -5*a = -q*p + 527, p = 6*p - 2*a - 680. Is 21 a factor of p?
False
Let a(q) = 10*q**2 - 11*q + 6. Let j be a(-6). Suppose -5*x = 4*d - j, 0 = 13*d - 8*d - 15. Is x a multiple of 7?
True
Let u = 4