 multiple of 32?
False
Let r = -1 - -35. Suppose 2*x + r = -14. Does 25 divide (-2106)/x - 1/(-4)?
False
Let z(d) = 12*d + 656. Is z(-13) even?
True
Let b(y) = -2*y**2 + 10*y + 12. Let a be b(6). Suppose 5*c - 5*j - 230 = a, -131 - 17 = -3*c + j. Is c a multiple of 17?
True
Let m(q) = q**3 - 5*q**2 + 4*q. Let u(r) = -r + 1. Let w be -3 + 6 + (-8)/2. Let a(c) = w*m(c) - 2*u(c). Is a(3) a multiple of 2?
True
Suppose 0 = -6*a - 0*a + 6. Suppose -6*v + a = -107. Is 18 a factor of v?
True
Let h(q) = q**2 - q + 1. Let j be h(0). Let b(n) = -12*n + 19*n + 1 + 0 + 12*n. Is 17 a factor of b(j)?
False
Let g be (6 + -3)/((-2)/2) - -3. Is 215/((3 + -4)*(-1 - g)) a multiple of 39?
False
Let v be 0 - 0 - 4 - -21. Let t = v + -7. Is 5 a factor of t?
True
Suppose 2*f = 4 + 4. Suppose h = f*h. Let u(b) = b**3 + b**2 - b + 79. Does 15 divide u(h)?
False
Suppose c - 7*v = -2*v + 4, 5*c = 3*v + 20. Suppose -3*s - 4*k + 4 + 5 = 0, -s + 3 = c*k. Is s a multiple of 2?
False
Let o = -1098 - -1546. Does 28 divide o?
True
Let b(o) = 4*o**2 + 9*o - 1. Let g be b(-3). Is 2 a factor of 54/8*(-4)/(-8)*g?
False
Is 10 a factor of ((-287)/(-41))/((-1036)/346 - -3)?
False
Let o = 737 - 489. Is 45 a factor of o?
False
Let k(r) = 8 - 17*r**2 - 2*r**3 + 13 + 3*r**3 + 17*r. Is k(16) a multiple of 5?
False
Let a be 2/(-5) + (-2 - (-1902)/5). Is (-20)/8*a/(-35) a multiple of 9?
True
Suppose -335 = 3*b - 1283. Is 21 a factor of b?
False
Suppose -5*m - 43 + 3 = 0. Let q = -7 + m. Is 8 a factor of (-6)/q - 38/(-5)?
True
Let x = 4114 - 2805. Is x a multiple of 22?
False
Let b be ((-3)/(-6)*7)/(4/8). Let t(m) = m**3 - 7*m**2 + 19*m - 14. Does 17 divide t(b)?
True
Let m = -13 + 17. Suppose y + 2*l + m - 17 = 0, -3*l + 18 = y. Is (-10)/(y/9*-1) a multiple of 5?
True
Suppose -4*w = -419 - 245. Let f = 60 - -72. Suppose -4*q = 2*s - f, -4*q + w = q + 3*s. Is q a multiple of 16?
True
Let a = 82 + 76. Is a a multiple of 67?
False
Let f(p) = 3*p**2 - 6*p + 25. Is f(14) a multiple of 7?
False
Suppose -5*g = -3 - 47. Let j(l) = 6*l**2 - 4*l + 18 - g + 7*l**2 - 6*l**2 - l**3. Is 20 a factor of j(6)?
True
Let i(p) = 3*p**3 - 8*p**2 + 11*p + 7. Let v(h) = -5*h**3 + 16*h**2 - 21*h - 15. Let q(r) = 7*i(r) + 4*v(r). Suppose d + 2 = -6. Is q(d) a multiple of 12?
False
Let g(z) = -5*z**3 + z**2 + 2*z + 1. Let u be g(-1). Suppose -u*n - 6 = -16. Suppose -252 = n*o - 8*o. Does 7 divide o?
True
Suppose -2*u - n = -0*n - 15, 5*n + 3 = 3*u. Suppose u*o = o + 180. Is o a multiple of 6?
True
Suppose -149 = -4*l - 149. Suppose -212 = -5*o - l*f + 4*f, -34 = -o - 2*f. Does 8 divide o?
True
Let x be ((-8)/(-10))/(2/10). Is 20 a factor of (70 - (-1)/1) + (7 - x)?
False
Let p(w) = -4*w. Let o be p(-1). Let c(y) = 3*y - 5. Let a be c(o). Suppose -4*l + a = -29. Is 4 a factor of l?
False
Let w(r) = r**3 + 11*r**2 + 6*r + 40. Does 4 divide w(-5)?
True
Suppose -p + q = -13 - 61, -4*q - 8 = 0. Is p a multiple of 12?
True
Suppose 74592 = 16*a + 21*a. Does 36 divide a?
True
Suppose -4*l + u + 3*u + 52 = 0, -3*u + 9 = 3*l. Suppose 2*z = 2*p - 114, l*z = -2*p + 3*z + 86. Is p a multiple of 25?
False
Let f(w) = w**2 + 14*w + 64. Is 2 a factor of f(-7)?
False
Let c(w) = -w**3 - 10*w**2 - 21*w - 13. Let t be -5 + 4 - ((-15)/(-3) - -3). Does 33 divide c(t)?
False
Suppose 1204 = 4*y + a, 261 - 885 = -2*y + 5*a. Is 9 a factor of y?
False
Suppose 2*p - 6842 = 536. Suppose 12*c - p + 989 = 0. Does 45 divide c?
True
Let l = 95 + -55. Suppose 223*g = 235*g - 1200. Let n = g - l. Is 24 a factor of n?
False
Suppose 3*h - 21 = -0*h. Let p(j) = -j**3 + 9*j**2 - 9*j + 6. Let s(u) = 5*u**3 - 45*u**2 + 45*u - 30. Let n(b) = 11*p(b) + 2*s(b). Does 22 divide n(h)?
False
Let p(k) = -k**3 - 7*k**2 + 9*k - 13. Suppose 0 = 5*m, -3 = 5*q - 2*m + 42. Is p(q) a multiple of 8?
False
Let u be 0/((6/3)/(-1)). Let q be 5/(-10)*(-2 + u). Is (-4)/((q/1)/(-8)) a multiple of 10?
False
Is 3 + (-7 + 8)*19 a multiple of 5?
False
Suppose -2*d + 18 = -5*d. Let v = 81 + d. Does 26 divide v?
False
Let i = -7 - -13. Let j(d) = -d + 0*d - i*d**2 - 7 - d**3 + 11. Is j(-6) a multiple of 4?
False
Suppose 2*p + n - 1048 = -p, 5*n + 1720 = 5*p. Is p a multiple of 85?
False
Let l be (34/(-68))/(-1 + 1/2). Is 2 a factor of -14 + 11 - (-31 + l + -1)?
True
Let n be 380/6 + 2/3. Let b = 28 - 69. Let r = n + b. Is 5 a factor of r?
False
Let i(l) be the third derivative of l**5/60 - l**4/24 - 7*l**3/6 + 6*l**2. Does 4 divide i(-3)?
False
Suppose -26*u + 424 + 10184 = 0. Is 21 a factor of u?
False
Let x(c) = 3*c - 11. Let u be x(21). Let i = u + 39. Is i a multiple of 47?
False
Let a(l) = l**3 + 6*l**2 + 4. Let f be a(-6). Suppose -2*m + 6*q - q + 4 = 0, f*m - 3*q = 8. Suppose 2*w + w + 14 = c, 2*w + 44 = m*c. Is 13 a factor of c?
True
Suppose -9*u + 3220 = -2*u. Does 5 divide u?
True
Suppose -o - 5 = -0. Let n(b) = 3*b**2 + 7*b - 1. Let r be n(o). Suppose 5*w + r = 259. Is w a multiple of 11?
True
Let c(i) = 20*i + 30. Let x(w) = w. Let v(a) = c(a) - 30*x(a). Is v(-13) a multiple of 40?
True
Is (-23142)/(-28)*2 - (-1 + 4) a multiple of 10?
True
Let r(h) = 8*h + 10. Let z be r(4). Suppose 13*k = 11*k + z. Suppose 6 = -3*s, 4*s = 3*c - 26 - k. Is c a multiple of 5?
False
Suppose -5*u = 4*b + 4, 4*u + 3 = -5*b - 2. Suppose s + 63 = 4*s. Let h = u + s. Does 5 divide h?
False
Let u = 20 + -18. Let x(j) = -j**3 - 4*j**2 - 2*j + 3. Let i be x(-3). Suppose i = 2*f - u*y - 36, 3*f - 2*f + y = 8. Is 13 a factor of f?
True
Suppose 37*y - 17315 = 10805. Does 40 divide y?
True
Let a be (-4)/4*7 + -3. Let m be (-5)/(a/(-4)) - -4. Suppose m*k - 4*k = -190. Does 19 divide k?
True
Let w = -141 + 208. Let d = w + -33. Is d a multiple of 8?
False
Suppose -37*a + 48804 = 46*a. Is 4 a factor of a?
True
Suppose -2*h - 46 - 90 = 0. Let y = -32 - h. Does 4 divide 8/y + 52/9?
False
Suppose 13*r = 2440 + 303. Is r a multiple of 15?
False
Let a be 6/(-9) - 62/6. Let h = a + 91. Is 40 a factor of h?
True
Suppose -4*i + i = 0. Suppose -w = -i*w. Does 8 divide 7 + (1 - (0 + w))?
True
Let r(b) = 11*b - 13. Is r(3) a multiple of 4?
True
Let v be -3 + 4 - 39/(-3). Is 16 a factor of 494/v + 36/(-126)?
False
Suppose 0 = -19*u + 15*u + 604. Does 7 divide u?
False
Suppose 2*u - 3*t + 7*t = 1058, 4*u - 2108 = -4*t. Is u a multiple of 7?
True
Let r(o) = -o**3 + 15*o**2 + 66*o + 21. Is r(16) a multiple of 53?
False
Suppose 4*c + 0*c + 1284 = -t, 2*t + 5*c + 2553 = 0. Is 18 a factor of ((-5)/(-20))/((-4)/t)?
False
Let g be 130*3/(-45)*-6. Suppose -g = -5*w + 113. Does 18 divide w?
False
Let a(m) = -3*m - 23. Let t be a(-10). Suppose q + 252 = t*q. Is 4 a factor of q?
False
Let j(o) = -o + 1. Let n be j(3). Let l be 8/20 - n/(-5). Let t = 6 - l. Is t a multiple of 3?
True
Let l be 6*(-9)/(-6) - 0. Let z be l/6 + (-134)/(-4). Is 10 a factor of 1215/z - 4/(-14)?
False
Let m be (-113)/6 - 3/18. Is m/(0 - (-4)/(-20)) a multiple of 30?
False
Let g = 9 + -4. Suppose g*s + 1 = 16. Suppose -s*y = 2*y - 25. Does 2 divide y?
False
Let m = 18 - 8. Suppose 13*a - m*a = 72. Is a a multiple of 6?
True
Suppose 2037*s = 2046*s - 864. Is s a multiple of 8?
True
Let p(m) = -m**2 + 9*m - 10. Let n be p(7). Suppose 0 = -z - 2 - n. Is 18/(5/((-15)/z)) a multiple of 8?
False
Suppose 4*z = 5*z - 22. Suppose -3*p + z = -8. Does 18 divide (-48)/(-1) - (6 - p)?
False
Let f(h) = -4*h - 1. Let o = 12 + -15. Is f(o) a multiple of 4?
False
Let y(v) = 2*v**2 + 13*v + 38. Is y(-16) a multiple of 57?
True
Does 16 divide (-29 + 1)/(-19 - 3644/(-192))?
True
Suppose 0*r - 4*b - 26 = r, -3*r + 4*b = 14. Let h = 13 + r. Suppose h*p = 32 + 238. Is p a multiple of 30?
True
Let q(s) be the third derivative of s**6/120 + 7*s**5/30 + 13*s**4/24 + s**3/2 - 12*s**2. Does 2 divide q(-13)?
False
Let n(i) be the third derivative of i**5/60 - i**4/6 - 7*i**3/6 - 4*i**2. Let x(u) = 3*u. Let h be x(3). Is n(h) a multiple of 22?
False
Let c be (1*-2)/(8/72). Is 12 a factor of (-4)/(-18) - 1076/c?
True
Suppose -4*l = -5*k + 11548, -4639 = -2*k - 2*l - 3*l. Is k a multiple of 89?
False
Suppose 0 = -3*j + 4*r - 130, -j + 5*j = 2*r - 170. Let x = -18 - j. Is 12 a factor of 456/10 + x/60?
False
Suppose u = 3*u - 3*g - 398, 0 = -3*g + 12. Let s = u - 141. Is 16 a factor of s?
True
Let n(c) = c**3 - 2*c**2 + 2*c - 2. Let j be n(2). Suppose 4*i = 2*m - 24, -34 = -3*m + j*i 