e -5*v - 2*r + 260 = -4*r, -241 = -4*v - 5*r. Suppose -28*f + v = -27*f. Is 18 a factor of f?
True
Let m(y) = 2*y**2 + 2*y - 2. Let f be m(1). Suppose 4*b = 3*t + 883, -f*b - 2*t = -598 + 160. Is 20 a factor of b?
True
Suppose 5*r = -n + 46, 5*r - 3*n + 16 - 58 = 0. Suppose 0 = 4*k - r*k + 860. Is k a multiple of 16?
False
Let b(m) = m**2 - 8*m - 6. Let g(o) = -2*o**2 + 9*o + 7. Let v(t) = -3*b(t) - 2*g(t). Is v(-7) a multiple of 7?
False
Let x be (-1)/(-3) - 1 - 4/(-6). Is 1484/20 + x - 2/10 a multiple of 10?
False
Suppose 4*h - 1217 = -433. Suppose 0 = -5*b + 2*c + h, 1 = 2*c - 3. Is 4 a factor of b?
True
Let q be (-30)/(-8) - (-1)/4. Suppose q*r - 3 = 1. Does 3 divide (-3)/r - 0 - -11?
False
Suppose 4*v - 4*k - 32 = 0, -3*v + k = 7 - 21. Suppose -f - 324 = -v*a - 5*f, a = 4*f + 108. Does 54 divide a?
True
Let a = 46 + -42. Is ((-1)/a*-6)/((-87)/(-2900)) a multiple of 18?
False
Let w(t) = -2*t + 16. Let n be w(8). Suppose 4*k + 4*h - 72 = n, 2*h + 0*h = -3*k + 52. Is 6 a factor of k?
False
Suppose -63*c + 96677 = -14*c. Does 17 divide c?
False
Let j be (4/3)/(7/231). Is 5577/j - 1/(-4) a multiple of 29?
False
Suppose -17*b + 3796 = -13*b - y, -4*b + 2*y + 3792 = 0. Is b a multiple of 50?
True
Let t = 139 - 4. Let n = t - 63. Is 18 a factor of n?
True
Suppose 0 = 33*w - 15*w - 23220. Is 15 a factor of w?
True
Let t = -57 - -201. Is t a multiple of 48?
True
Let o(v) = -7*v - 10. Suppose 0 = -4*s - 2*h - 26, s = -h - 3*h + 11. Is o(s) a multiple of 44?
False
Does 23 divide 115002/25 + (-86)/1075?
True
Let l(m) be the third derivative of m**6/120 - 17*m**5/60 + 19*m**4/24 - 10*m**3/3 + 162*m**2. Let o be (-4)/6*(-2 - 22). Does 9 divide l(o)?
False
Does 24 divide -11*(-11)/1089 - (-20302)/18?
True
Suppose -11 = 5*b - o + 5*o, b + o + 3 = 0. Let i be (b + -4 + 4)*-6. Does 6 divide (-120)/i - (-6 + 2)?
True
Let v be ((-6)/(-15))/((-5)/(-25)). Suppose 0 = -5*j + 4*o + 358, -v*o - o - 356 = -5*j. Is j a multiple of 35?
True
Let n(u) be the first derivative of 1/4*u**4 + 0*u - 3*u**2 - 1/3*u**3 - 8. Does 6 divide n(4)?
True
Let o(z) be the first derivative of z**3/3 + 15*z**2/2 - z + 2. Does 7 divide o(-16)?
False
Let i(o) = -15*o + 32*o - 2*o - 2 + 57*o. Let y be i(1). Suppose 8 = g - y. Is g a multiple of 21?
False
Let u = 7007 - 3121. Is 27 a factor of u?
False
Let f = -75 - -78. Suppose f*l = -5*l + 1024. Does 20 divide l?
False
Let h = 31 + -26. Suppose 0 = h*s - 4*s - 64. Suppose 0 = 2*b - b - s. Is b a multiple of 14?
False
Let u = 147 + -81. Let d(n) = n + 12. Let m be d(-9). Suppose m*c - u = c. Does 11 divide c?
True
Let r(a) = -4*a + 10. Suppose 26 = 3*t + f, f - 37 = -4*t + 2*f. Let p be r(t). Let n = p - -126. Does 18 divide n?
False
Suppose 64 - 174 = -g. Is 18 a factor of (117 - 113) + g + 1 + -1?
False
Suppose -25*r = -23*r. Suppose 12*y - 16*y + 484 = r. Does 13 divide y?
False
Does 5 divide 354/12 + 2/4?
True
Suppose 312 = 7*i - i. Let w = 36 + i. Does 22 divide w?
True
Suppose 3*j + 5*a = a + 167, 5*a = -20. Suppose 0 = -4*z - 3*i + 440 - j, -475 = -5*z - 5*i. Does 12 divide z?
False
Let x(h) = 3*h**2 - 2*h + 377. Does 46 divide x(-18)?
False
Let u(p) = p**3 + 7*p**2 - 5*p - 33. Let q be u(-7). Suppose 0 = -q*l + f + 30, -5*l + 3*l - f = -26. Is l even?
True
Let q = -197 + 361. Is q a multiple of 22?
False
Is 8 a factor of (11 + 8)*(0 + 2)?
False
Let y(x) = -11*x**2 + 79*x - 15. Is y(6) even?
False
Suppose 2*c - 180 = -14*w + 13*w, 5*w - 2*c - 900 = 0. Is 12 a factor of w?
True
Suppose -6*u + u = -5*b + 30, 2*b + 33 = -3*u. Let f be 50/(-6) - u/27. Is 2 a factor of (f/6)/(18/(-81))?
True
Let x(r) = 5*r**3 + 16*r**2 + 10*r. Let a(y) = y**3 + y - 1. Let v(n) = 4*a(n) - x(n). Let w be v(-16). Let q = 174 - w. Is 19 a factor of q?
False
Let a(k) = -k**3 + k**2 - k - 3. Let f be a(0). Let x(p) = -38*p - 7. Is 22 a factor of x(f)?
False
Suppose -5*i - 3*t = -403, -223 = -2*i - 2*t - 61. Is 40 a factor of i?
True
Suppose 238 = 28*w - 55762. Is 50 a factor of w?
True
Let n be (-28)/(-12) + (-5)/(-3). Suppose 0 = -n*h + 2*a - 3*a + 207, 5*a + 138 = 3*h. Does 4 divide h?
False
Let c = 566 + 587. Is c a multiple of 20?
False
Let h = -10 - -23. Suppose -q - 4*q = 2*r - 9, -5*r + h = 3*q. Suppose -5*v + 73 = 3*x, -3*v - 42 = -5*v + r*x. Does 17 divide v?
True
Let b = 672 + -360. Is 24 a factor of b?
True
Suppose -2*x = -l - 170, -4*x + 7*x - 5*l - 262 = 0. Does 6 divide x?
True
Suppose -4*j + n = -969 - 1425, 2*j - 1196 = n. Is j a multiple of 26?
False
Let u = 516 - 328. Is u a multiple of 19?
False
Let i(b) be the third derivative of b**4/24 - b**3/6 + 4*b**2. Let y be i(2). Suppose r - 5*l = 19, 0 = 2*l + y + 3. Is r a multiple of 9?
True
Let c(p) = p**3 + 3*p**2 + 4*p - 1. Let w(i) = -2*i**3 - 3*i**2 - 4*i. Let l(k) = -3*c(k) - 2*w(k). Is 3 a factor of l(4)?
True
Does 4 divide 8 + 3 + -20 + 429?
True
Let u = 73 + 141. Is u a multiple of 4?
False
Let w = 94 - 96. Is 29 a factor of w*4/8 - (-1048)/4?
True
Let m = -12 + 20. Suppose 3*z + 575 = m*z. Suppose z - 19 = 2*t. Does 12 divide t?
True
Let x = 31 - 35. Let c(g) = -54*g - 8. Is 13 a factor of c(x)?
True
Let b = 3820 - 2718. Is b a multiple of 16?
False
Suppose -8*m + 6*m = -382. Suppose 2*u = -5*h + m, u = 4*h - 3*u - 136. Suppose 3*i - 4*i = -h. Is 22 a factor of i?
False
Suppose h + 1 = -n + 10, -5*n + 35 = 3*h. Suppose h*s - 577 + 127 = 0. Does 15 divide s?
True
Let l = -8 + 26. Suppose 3*g = 186 - l. Does 12 divide g?
False
Suppose -1890 = 13*m - 6*m. Is 4/(-8)*(-7)/((-21)/m) a multiple of 9?
True
Let g(x) = -6*x - 16. Let q be g(-2). Let d(o) = -o**3 - o**2 - 6*o - 21. Is 23 a factor of d(q)?
False
Let o be 6/21 - 103/(-7). Let s be (51/o + 3)*35. Suppose 0 = 2*i - l - 148, s = 3*i - l - 0*l. Does 31 divide i?
False
Suppose -34*u + 39*u = 3055. Is 13 a factor of u?
True
Suppose 6*d = 3*d + 18. Suppose d*i - 197 = -2*s + i, -4*s + 3*i = -355. Does 14 divide s?
False
Let v(f) be the first derivative of -f**4/4 - f**3/3 - f**2/2 + f + 1. Suppose l = -3*i - 2*i - 11, 2*i - 2*l = -14. Is v(i) a multiple of 22?
True
Let m(j) = 20*j - 17 - 63*j + 20*j + 27*j. Let t = 3 + 4. Is m(t) a multiple of 5?
False
Let h be 15/6 + (-1)/(-2). Suppose 5*c + 2*x = 9 + 16, 5*c = h*x. Suppose 5*o + 255 = 4*w, 2*w - c*o + 8*o - 165 = 0. Does 14 divide w?
True
Let z(u) = u**3 - 8*u**2 + 9*u - 6. Let i be z(7). Suppose -7*b + i*b - 16 = 0. Is 4 a factor of b?
True
Let x = 4131 + -2388. Does 31 divide 1/(-4) - x/(-28)?
True
Let f = -166 + 431. Does 27 divide f?
False
Suppose -2*w + 54 = -3*l, 0 = -l - 0*w - 3*w - 29. Does 4 divide (-366)/(-10) - 8/l?
False
Let w be (-3 + 5)*(-3 + 11/2). Does 20 divide 25/2*26/w?
False
Suppose 0 = 4*v + 20, 0 = -2*o + o + v + 8. Suppose c - o*c = -3*w - 8, 0 = -c - 3*w + 4. Is (-2)/c*-3*2 even?
False
Suppose -82*p + 84*p + 8 = 0. Is 51 + 3 + 28/4 + p a multiple of 19?
True
Is 12 a factor of 110/8 - 15/(-60)?
False
Let d be (375/2)/((-12)/(-16)). Suppose b - d = -b. Suppose -11*j + 6*j = -b. Does 14 divide j?
False
Suppose 3*h - 478 = 5*k + 995, 493 = h - k. Suppose -h = -5*y + y. Is y a multiple of 53?
False
Let h = 1351 - -1503. Is h a multiple of 28?
False
Let h = 702 - -669. Does 37 divide h?
False
Let g be (1/7)/(5 + 68/(-14)). Does 17 divide 20/10 - (g - 159)?
False
Suppose w = 4*z - 396, -4*z - 9*w + 13*w + 408 = 0. Does 6 divide z?
False
Let l = -100 + 333. Is 17 a factor of l?
False
Suppose 21*k - 16*k + 5*s - 55 = 0, 0 = -2*k + s + 31. Is 14 a factor of k?
True
Let h(y) = y**2 + 2*y - 5. Let a be h(2). Suppose -3*i + 6*i = 5*k + 219, a*k = i - 77. Is 17 a factor of i?
True
Let n = -1135 - -1255. Is 8 a factor of n?
True
Suppose -3*v + 9 = -3. Suppose -t = -v*z + 32, 5*t + 11 = 2*z - 23. Suppose 0 = -2*a + z*a - 230. Is 14 a factor of a?
False
Let p(b) = -b**2 + 12*b - 6. Let r be p(11). Let v(k) = k**3 - k**2 - 11*k - 4. Is 9 a factor of v(r)?
False
Let l(h) = h + 2. Let q be l(-2). Suppose q*u + 38 = 2*u. Is u a multiple of 19?
True
Let y(o) = -17*o - 2. Suppose 55 = 50*n - 55*n. Is y(n) a multiple of 37?
True
Let k = -47 - -162. Does 23 divide k?
True
Let f = -284 + 394. Does 5 divide f?
True
Does 23 divide (-1)/((-2 - 45/(-23))/11)?
True
Let m be 4 + (-2 - -3) - 2. Suppose 2*n + m*n - 5*d - 35 = 0, n + 5*d = -23. Suppose -90 = -n*l - 3*l. Is l a multiple of 9?
