 + 2*w + 234 = -0*a. Does 17 divide a?
False
Suppose -5*i + 26 = 4*c - 15, 3*c - 37 = -5*i. Suppose -3*t - 12 - 11 = -c*a, -a + 7 = -2*t. Suppose -w + 3 = -2, -4*w = -n + a. Is n a multiple of 25?
True
Suppose 8*b = 5*b - 2*y + 1052, 4*b - 3*y - 1397 = 0. Is b a multiple of 14?
True
Suppose 0 = 3*j + 3*a + 111, 5*j - 26 + 214 = -4*a. Let s be 2/6 + j/(-24). Suppose 0*n = -s*n + 78. Is n a multiple of 26?
False
Let z = 2 - 0. Does 30 divide (1372/21)/(z/3)?
False
Let n(t) = -t + 1. Let s(m) = 4*m - 24. Let d(z) = 6*n(z) + s(z). Let h be d(-9). Let b(p) = -2*p + 9. Is 4 a factor of b(h)?
False
Let b = 771 - 520. Let m = b + -75. Suppose -3*y = -y - m. Is y a multiple of 22?
True
Suppose 80*s = 2728 + 42552. Does 16 divide s?
False
Let p(k) = 159*k + 11. Is p(1) a multiple of 6?
False
Let c = 28 - 28. Suppose c = z + 2*z + 3*a - 318, 2*z + 4*a - 204 = 0. Does 11 divide z?
True
Let o(c) = 124*c**2 - 9*c - 15. Is 57 a factor of o(3)?
False
Let l(a) = -a**3 + 14*a**2 - 11*a - 12. Let f be l(9). Let y = f + -173. Let v = -79 + y. Is 21 a factor of v?
True
Let i(y) = 427*y + 8. Is i(3) a multiple of 16?
False
Let t(m) = -21*m**3 - 2*m**2 - 4*m - 6. Let p(v) = v**2 - 10*v - 13. Let u be p(11). Is t(u) a multiple of 27?
True
Suppose -v + 2 = 3*w, -16 = -2*w + 2*v + v. Is 70/((1 - 0)*w) a multiple of 15?
False
Does 47 divide (-2)/4*(-11)/(88/3760)?
True
Is 32/112*(-1 - -120) a multiple of 34?
True
Let d = 25 - 21. Suppose 2*g = -u + 2, u = -3*g - u + 4. Suppose 9*q - d*q - 50 = g. Is 5 a factor of q?
True
Is (-4 - (-2260)/30)*6 a multiple of 16?
False
Suppose -s - 2 = 5*n + 9, -2*n - 8 = 0. Let y be (33 - s)*1/1. Let k = 6 + y. Is k a multiple of 8?
False
Let z(a) = -17*a**2 + 2*a + 2. Let c be z(-1). Let l = 53 + c. Does 6 divide l?
True
Suppose x + 5*u = -202, -5*x + 2*u - 895 = 4*u. Is 18 a factor of 4 + -4 - -3 - x?
True
Let m(u) = -78*u - 340. Does 70 divide m(-26)?
False
Let w be 1*(0*(-1)/3 - 2). Is -2 - (-100 - 4/w) a multiple of 16?
True
Let u = 98 + -96. Suppose 2*v = 2*b + 94, u*v + 30 = -b + 136. Does 13 divide v?
False
Let v(x) = -x**3 - 7*x**2 - 11*x + 1. Let g be v(-5). Suppose z = -z - g. Does 15 divide 47/2 - z/6?
False
Let k(l) = 0*l + l**2 + 59 + 2*l - 16 - l**3 - 5*l. Is 6 a factor of k(0)?
False
Let g(f) = -4*f**2 + 2*f + 148. Does 17 divide g(0)?
False
Let i be -1 - 3 - (-24)/3. Suppose 7 = 2*l - 5*c, i*l + 35 = -l - 5*c. Let z(v) = v**2 + v - 7. Does 3 divide z(l)?
False
Let x = 124 + 2263. Is x a multiple of 31?
True
Does 22 divide (-26)/65*(1 - 56)?
True
Let p be (-6)/8 - 12/(-16). Suppose -x + 5 = p, 2 + 7 = -2*i + 3*x. Is 1*(-6 + i) + 54 a multiple of 27?
False
Let o be 1*(-3)/6*-82. Let c = o + -19. Is 3 a factor of c?
False
Suppose 4*q = -3*m - 7, -13 = q - 0*q + 3*m. Suppose 1 + 0 = -q*l - t, 4*l = 5*t - 23. Is 27 - (-2 - l - -1) a multiple of 26?
True
Let k(m) = 2*m**3 + 13*m**2 - 8*m - 7. Let a be k(-7). Suppose -70 = -2*u - 2*c, 2*c + a*c = u - 35. Does 7 divide u?
True
Is ((-27)/18)/(5/10) + 494 a multiple of 13?
False
Let a = 1708 - 984. Is 26 a factor of a?
False
Suppose p = -y + 704, 4*y + 3*p - 4*p = 2801. Is 11 a factor of y?
False
Let m(s) = 80*s**2 + 31*s - 52. Is m(2) even?
True
Suppose 12*d = 5*d + 42. Suppose -d*h + 5*h + 6 = 0. Is h a multiple of 6?
True
Let g be -10*(-2)/(-12)*-3. Suppose -g*s - 16 = -s, 2*k = -2*s + 120. Is 16 a factor of k?
True
Is 7 a factor of 3*4/(-12) + 162?
True
Suppose 3*g = -g - 392. Let a = g - -199. Is a a multiple of 8?
False
Let o = 105 - 73. Let c = o - -46. Does 13 divide c?
True
Let r be -122*1 + (2 - 0). Suppose 5*y - 250 = 4*h, -y + 186 = -3*h + 2*y. Let c = h - r. Does 19 divide c?
False
Let r(g) = 3*g - 18. Let t be r(8). Does 5 divide t/8*(-800)/(-25)?
False
Suppose -27 = -5*r + 3*k + 8, r - 3*k = 19. Suppose 2*q - 4 = -r*c, -2*c - 4*q = -c + 13. Is c even?
False
Suppose 5*a - y - 19 = 0, a - 1 = -y + 4*y. Suppose -a*i - 56 = -6*i. Does 28 divide i?
True
Suppose -5*r - 83 = 4*f, -2*f - 20 = -f + 2*r. Let t = 36 + f. Does 4 divide t?
False
Let k(l) = -l**3 + 6*l**2 + 8*l - 7. Let s be k(7). Suppose 5*f - f - 332 = s. Is f a multiple of 29?
False
Suppose 0 = 3*l, 0 = -r - 2*l + 3*l + 1. Suppose 4*i - r + 17 = 0. Is 20 - 0*i/16 a multiple of 9?
False
Let d be 3/((42/8)/7). Suppose 3*r - 2*i = -r + 66, -r + 13 = -d*i. Is r a multiple of 2?
False
Suppose -2*r = -r + 63. Let h = r - -151. Is h a multiple of 8?
True
Suppose -2*x + 4*u = 98, 0 = -3*x - 5*u + 9*u - 139. Let r = 27 - x. Does 4 divide r?
True
Suppose 0 = 3*c - 3*v - 582, 624 = 3*c - 5*v + 36. Does 9 divide c?
False
Suppose 0 = -5*t + 4*t + 144. Let i = -95 + t. Suppose 177 = 4*g + i. Is g a multiple of 7?
False
Suppose -5*x + 10*x = 0. Let z(f) = -9*f - 3. Let y be z(-11). Suppose x = l - 3*l + y. Does 16 divide l?
True
Let m = 605 + -460. Is m even?
False
Let r(c) = -2 + 5*c - c - c**2 - 1. Let s be r(3). Suppose s = 4*x - x - 57. Does 9 divide x?
False
Let o(g) = g**2 - 5*g + 4. Let a be o(4). Let s = a + -3. Does 18 divide 3/s + 49/1?
False
Suppose 4*h = 3*s - 476, 0 = -2*s + 6*h + 238 + 96. Does 38 divide s?
True
Let l(r) = 59*r**3 - r**2 - 3*r + 3. Let o be l(1). Suppose -5*q + 5 + 43 = -m, -o = -5*q - 4*m. Does 4 divide q?
False
Let n = 11 + -26. Let h = 10 - n. Is 12 a factor of h?
False
Let k(p) = 7*p - 22. Let f be k(16). Let n(z) = z + 10. Let d be n(-7). Suppose 8*t - f = d*t. Does 9 divide t?
True
Let n be -1 - -3 - (0 + -3). Suppose 4*g + 38 = 3*j, -n*g = 2*j - 4*j + 16. Let h = j + 13. Is 19 a factor of h?
False
Is 925/111*21/5 even?
False
Suppose -5*w + 35 = -5*m + m, 0 = -m + w - 10. Does 5 divide 30/(5/((-50)/m))?
True
Suppose -117*b - 25824 = -141*b. Does 55 divide b?
False
Let a be (0 + 0)/(10/10). Suppose 3*j = -b + 483, -j - 3*b + 137 + 32 = a. Is 40 a factor of j?
True
Suppose 2*k - 5*b + 1 = 24, -5*b + 121 = 4*k. Suppose -5*j = 2*y - 44, -3*j - 2*y + 22 = -3*y. Let t = k + j. Does 22 divide t?
False
Suppose 9*m = 2*m + 21. Let i = 0 - m. Is 23 a factor of (-1*23)/(i/9)?
True
Suppose -5*t - 15 = 4*k, -4*k + 0*t + 3 = -t. Suppose 6*u - 3*u - 276 = k. Is 33 a factor of u?
False
Let l be 0/(12/3 - 3). Suppose 5*u + 0*u = l. Suppose 4*o - o - 12 = u. Is o a multiple of 4?
True
Suppose -2717*u = -2713*u - 2232. Is 18 a factor of u?
True
Let j(m) be the third derivative of -m**4/4 + m**3 - 5*m**2. Let s be j(-5). Suppose -3*c = c - 4*x - s, 4*x = -c + 34. Is 14 a factor of c?
True
Suppose 2*v + 36 = -24. Let c = 136 - v. Does 21 divide c?
False
Let x = -1031 - -1556. Does 75 divide x?
True
Suppose 0 = 7*o - 13 - 8. Suppose -2*f + o*f - 2 = 0. Suppose -w = -f*g - 86, 0 = w + 2*w - g - 283. Is 23 a factor of w?
False
Suppose -4*n + 1 = -o - 4, -4*n = 2*o + 10. Does 14 divide (-3)/3 - n - -29?
True
Let o(v) = 74*v - 158. Is o(7) a multiple of 18?
True
Let c = -72 - -75. Suppose 0*z - c*z = -135. Does 15 divide z?
True
Suppose 3 = 3*f, -5*l - 9*f + 7*f + 5442 = 0. Is 4 a factor of l?
True
Let q be (-4716)/(-30) + 8/10. Suppose -5*n = 5*x - q + 53, -4*n - x + 81 = 0. Does 11 divide 735/n + 2/8?
False
Suppose 0 = -2*r + 5*g - 10*g + 846, 2*r - g = 834. Is r a multiple of 38?
True
Suppose 4*v + 5*b = 662, -3*b - 2*b = v - 173. Is v a multiple of 24?
False
Let a(x) = -x**3 + 7*x**2 - 5*x - 7. Let l be a(6). Let p = l - 3. Is (-160)/p + 1 - 0 a multiple of 41?
True
Let a be -6 + 10 - 6/3. Suppose -a*n = -3*q - 6, 2 - 12 = -5*q. Does 3 divide n?
True
Let w be (0 + 3)/(15/10). Suppose p - 2*x = 38, w*p - 4*x = 7*p - 134. Does 15 divide p?
True
Suppose 3*s - 4668 = -3075. Is 21 a factor of s?
False
Suppose 2*v = 4*v + 104. Let y = 100 + v. Is y a multiple of 24?
True
Is (500/35)/(3*(-3)/(-63)) a multiple of 25?
True
Let n be ((-156)/(-9))/(1/3). Suppose 2*g = 2*d + 54, -2*g + 40 = 5*d - 7. Suppose 2*f - n = g. Is f a multiple of 16?
False
Let w be (-32)/(-12)*(-3)/(-2). Suppose -w*y - 16 - 8 = 0. Is 10 a factor of y*(-4 - 2/(-3))?
True
Let u(w) = -6*w + 4. Let p be u(-6). Let m = -220 + p. Is 6 a factor of 1/(-2)*m/3?
True
Suppose 0 = s - o - 5, 0 = -5*s + 2*o - 0*o + 28. Let n(x) = -10 + s + 2 + 68*x. Does 29 divide n(1)?
False
Let b(l) = 22*l - 82. Does 7 divide b(5)?
True
Suppose -5*q = b - 5*b - 5, 0 = -4*q + 5*b - 5. Suppose 5*r + q*m - 226 = m, -r - m + 46 = 0. Is r a multiple of 14?
True
Let s(q) = 4