a multiple of 4?
False
Let z = 2815 - 1087. Is 32 a factor of z?
True
Suppose 479*x - 485*x + 2640 = 0. Does 16 divide x?
False
Let w be 6/(-21) + 4/14. Suppose 4*c - 59 - 13 = w. Is c a multiple of 6?
True
Let f(a) = 2*a**3 + 25*a**2 + 13*a - 9. Is 49 a factor of f(-9)?
True
Let a be 6/(-3)*5/2. Is 28 a factor of -2*a/10 - -55?
True
Let s(o) = o**3 + 14*o**2 - 6*o - 7. Let u be 2*52/(-8)*1. Let g be s(u). Suppose -7*i + g = -3*i + 5*x, -252 = -4*i - 2*x. Is 17 a factor of i?
False
Let i(w) = -w + 1. Let v(g) = 3*g + 4. Let r(q) = 4*i(q) + v(q). Is r(-19) a multiple of 14?
False
Does 13 divide 1777/(5 + -4) + 96/(-16)?
False
Let j(h) = -h**2 + 17*h - 17. Let n be 1*(2 + 6/(-4))*26. Is j(n) a multiple of 35?
True
Does 18 divide (-1859)/44*(-10 + (-4 - -2))?
False
Let p = -9 - -15. Suppose -17 = -d - p. Suppose -4*q + d = -181. Is q a multiple of 12?
True
Let w be 3*(-1)/(-9) + 188/3. Is (-14)/w + 3172/18 a multiple of 11?
True
Let u be 19 + (2/(-1) - 2). Suppose 4*r = 2*s - 26, s - 3*r = -s + 26. Suppose u*b = s*b + 32. Does 8 divide b?
True
Suppose -19*a + 4961 = 781. Does 10 divide a?
True
Let o be (1 - 3) + (-2 - -7). Let i(a) = o - 1 - 36*a + 0. Is 19 a factor of i(-1)?
True
Suppose 4763 = 2*d + 3*b + 560, -5*b + 5 = 0. Is d a multiple of 34?
False
Let z(g) be the second derivative of -g**5/20 - g**4/4 - g**3/3 + 3*g**2/2 - 13*g. Is 9 a factor of z(-4)?
True
Suppose 2018 = -47*l + 13627. Does 12 divide l?
False
Let h = -10 - 7. Suppose -7*t = 2*p - 6*t - 51, 4*p - t - 105 = 0. Let i = p + h. Is 2 a factor of i?
False
Suppose 5*n - 43 = 117. Suppose 0 = 5*w - w - 280. Suppose -3*u + n = -w. Is u a multiple of 17?
True
Suppose 14 = 5*x - 5*s + s, -x = 2*s. Let o = x - -19. Is 7 a factor of o?
True
Suppose -g - 86 = -2*g. Let q be (g/(-10))/((-6)/30). Suppose -q = -a + 2. Does 12 divide a?
False
Suppose 0 = -3*o - 0*o + 252. Suppose 0 = 2*k - 32 - o. Does 17 divide k?
False
Let h = 46 - 228. Let g = h + 310. Is 11 a factor of g?
False
Suppose 13*g = -2410 + 10301. Is 13 a factor of g?
False
Suppose 7*q = -11 - 17. Let l be 4 + (-2 - 2) - q. Suppose l*z = 2*y + 42, 2*z = -4*y + 37 + 9. Is z a multiple of 13?
True
Suppose 3*a + 3089 = o - 2*a, 0 = 2*o + a - 6211. Is 16 a factor of o?
True
Let h = -79 - -79. Is 21 a factor of (1 - h) + 4*(-177)/(-6)?
False
Suppose 0 = -2*s + 5*x + 1431, 5 = -4*x - 7. Does 23 divide s?
False
Let z = 82 + 1457. Is z a multiple of 15?
False
Suppose -2*i - 10 = -3*i. Suppose 5*o + 3*f = 75, 107 = 4*o - 5*f + i. Is o a multiple of 4?
False
Suppose -h + 0*h + 77 = 2*q, -3*q + 12 = 0. Let y = h - 59. Does 3 divide y?
False
Is 6 a factor of (18*-6)/(2*(-2)/24)?
True
Suppose -a + 0*a - 4*p - 32 = 0, 3*a - 5*p + 130 = 0. Let x = a - -55. Does 6 divide x?
False
Let o(g) = -10*g + 4. Let m be o(-7). Let k = m + 48. Suppose 3*z - k = 5*b + 45, -2*z - 3*b = -124. Is 16 a factor of z?
False
Suppose -16 = -5*y + 9. Suppose -41 + 6 = -5*f - 5*r, r + y = 3*f. Suppose -144 = t - f*t. Is 18 a factor of t?
True
Let m(d) = 2 + 4 - 86*d + 4 - 14. Is m(-2) a multiple of 28?
True
Let j(u) = 17*u - 18. Let b be j(4). Suppose -2*q - b = -148. Is 9 a factor of q?
False
Suppose -3*c = 5*i, 0*c - 2*c + i - 13 = 0. Let h = 3 + c. Is h/(-9) - 496/(-36) a multiple of 12?
False
Let o be 8 + (27/3)/(-3). Suppose 1 + 79 = o*h. Does 16 divide h?
True
Suppose -18*r + 22*r = 4. Is 12 a factor of 8*(r + 0 + (-19)/(-2))?
True
Let s = -30 - -78. Suppose l + s = 3*l. Does 8 divide l?
True
Suppose 5*a + 5*m = 40, a + 5*m = 3*a + 5. Suppose a*w - 401 = 169. Is w a multiple of 14?
False
Let k(m) = -8*m - 22. Let r be k(-9). Let u = r - 39. Does 4 divide u?
False
Let q(m) = 36*m**2 - 4*m - 8. Is q(-2) a multiple of 2?
True
Let z be ((-6)/(-9))/((-4)/(-18)) - -113. Let q = 272 - z. Is 12 a factor of q?
True
Let j = 591 + 571. Does 14 divide j?
True
Suppose 4*y = -3*q - 19, -27 = 4*y - 4*q + 13. Let w be y*((-68)/14 - 2). Suppose 0*l - w = -3*l. Is 4 a factor of l?
True
Is 62 a factor of 36/(-7)*8897/(-82)?
True
Let u be (258/(-4))/(-3)*2. Let b = u - -89. Is 22 a factor of b?
True
Let x(j) = 3*j - 4 + 0*j + 0. Let o be x(3). Suppose -6*u + o*u = -10. Is u a multiple of 5?
True
Suppose 6*l - l - 20 = 0. Suppose 0 = 2*y - l, -2*y + 13 = 2*j + j. Suppose 14 = 2*z - 3*q - 2, 0 = 5*z + j*q - 82. Does 14 divide z?
True
Let o be (-1)/(-3) - 406/(-42). Suppose 3*u = 10 - 1, h - 5*u + o = 0. Is 5 a factor of h?
True
Let f(y) = -24*y - 1. Let g be f(-4). Is 24/(-16) - g/(-2) a multiple of 23?
True
Let t(q) be the third derivative of -q**6/120 + q**5/6 - q**4/4 + 8*q**3/3 + 22*q**2. Is 16 a factor of t(8)?
True
Let z(h) = -h**3 - 5*h**2 - 6*h - 8. Let q be z(-4). Suppose q = u + 1, -2*u - 354 = -4*t. Does 11 divide t?
True
Let w = 571 + -369. Is w a multiple of 24?
False
Suppose -15 = -32*c + 33*c. Let w = 32 - c. Is 10 a factor of w?
False
Suppose 40 = -2*n + 88. Is n a multiple of 12?
True
Suppose -h = 4*h - 3*f + 7, 2*h - 14 = -3*f. Suppose -2*l + x - 4 = 5*x, 2*l + h = -3*x. Suppose 30 = l*s - 2*s. Is 6 a factor of s?
False
Suppose 304 = 9*a - 4*a + 3*o, 0 = 3*a - 3*o - 168. Does 7 divide a?
False
Suppose -14*x + 16547 = -37031. Is 43 a factor of x?
True
Is ((-13)/(247/(-342)))/(6/124) a multiple of 12?
True
Suppose -2*k + 81 = 5. Suppose -3*q - 2*y = 99 - 9, -3*q - 99 = -y. Does 8 divide 57/k*q/(-3)?
True
Let b(f) = f**2 - 5*f - 10. Suppose 2*d - 14 = -0*d. Let u be b(d). Suppose -5*p - a + 20 = 0, 2*a + u - 9 = -3*p. Is 2 a factor of p?
False
Let i(c) = -1 + 20*c - 6*c - 13*c. Does 2 divide i(4)?
False
Suppose -4 = -2*p, 151 = 5*m + p - 1. Let j = m + -25. Suppose -406 = -j*t + d, -3*t = -d + 5*d - 239. Is t a multiple of 27?
True
Let o be ((-6)/(-2))/(26/2314). Suppose 13*j = -o + 995. Is 33 a factor of j?
False
Suppose -4*v = -3*h + 19, 0 = 5*v + h + h + 41. Is ((-1)/(-1))/(((-21)/198)/v) a multiple of 33?
True
Suppose -19*h - 27157 = -32*h. Is h a multiple of 29?
False
Let b(s) = 2*s**2 - s - 2. Let f be b(2). Suppose -2*h + f*l = -6, 3*l = 4 - 1. Suppose -3*w + 6*o + 24 = 2*o, 2*w - h*o = 16. Is 3 a factor of w?
False
Let a(z) = 2*z - 8. Let q be a(-8). Let j be (q/(-20))/(3/10). Let r = 1 + j. Does 2 divide r?
False
Suppose -5*l + l + 96 = 0. Let y be ((-2)/3)/((-16)/l). Let u = y + 10. Is 2 a factor of u?
False
Let j(g) = g**2 - 13*g + 20. Let c be j(8). Let r = 24 + c. Suppose -r*h + 140 + 16 = 0. Is h a multiple of 13?
True
Let h = 174 - 74. Let m = h + -40. Is m a multiple of 20?
True
Let m be (-4)/(4 - 39/9). Let n(z) = 15*z + m*z - 10*z + 3*z - 1. Does 18 divide n(1)?
False
Let l(y) = -y**2 + 19*y - 50. Let a be l(15). Let k = 26 - a. Is 13 a factor of k?
False
Let k be 10 + (4 - 3) - 4. Suppose 0*x + 273 = k*x. Does 5 divide x?
False
Suppose 38 = -2*d - z + 4*z, 3*d + 3*z = -57. Is 9 a factor of (33 - -1) + d + 15?
False
Suppose -2314 + 1642 = -8*g. Is g a multiple of 12?
True
Let o = -93 - -209. Suppose -o = -4*s - 2*l, 4*s + l - 27 = 3*s. Does 15 divide s?
False
Let g be (-4 + 6051/15)*5. Suppose 11*n = g + 181. Is n a multiple of 18?
True
Suppose -2*v = 4*i - 46, i - 2*i + 17 = -5*v. Suppose -i - 8 = 5*x. Let c(t) = -4*t - 9. Is 7 a factor of c(x)?
True
Let n = 23 - 20. Is (-4)/8*(-1008)/n a multiple of 28?
True
Suppose -31*n + 27*n + 156 = 0. Let m = n - -33. Does 12 divide m?
True
Suppose 5*w = -0*w + 415. Suppose -3*q + w = -97. Does 16 divide q?
False
Suppose g - 10 = 20. Let v = g + -23. Suppose -2*f = -1 + v, -5*a - 3*f = -51. Is a a multiple of 12?
True
Suppose -23*k + 3715 = 679. Does 22 divide k?
True
Does 16 divide -515*9/(-45) + 10?
False
Let z(m) = -7 + 17 + 26*m - 10. Does 24 divide z(5)?
False
Let f be 8/6*54/12. Suppose 0 = -b + 4*b - f. Suppose -t - 3*r + 20 = b*r, 2*r + 208 = 5*t. Is t a multiple of 12?
False
Let f(u) be the first derivative of -u**4/4 - 3*u**3 - 4*u**2 - 12*u - 16. Is f(-9) a multiple of 10?
True
Suppose 0 = -4*n + 4*b + 1580, 2*b + 375 = n - 3*b. Is n a multiple of 20?
True
Let r(l) = -2*l**3 + 16*l**2 + 11*l + 27. Is r(-6) a multiple of 51?
True
Let v(a) = -a. Let t be v(0). Let z(j) = j + 11 - 2 + j**3 - j**2 + t*j. Is z(0) a multiple of 9?
True
Suppose -2*w + x = -2*x - 30, 4*x + 64 = 4*w. Let m = w - 13. Suppose -d = 0, 3*z - 29 + 2 = m*d. Is 9 a factor of z?
True
Let t = 333 - 232. Is 56 a factor of t?
Fa