 -5*b + 2*k = -598. Suppose 6*v = a + 3*v - 7, -2*v = 5*a - b. Does 16 divide a?
False
Let v(t) = t**2 + 4*t - 3. Let f be v(-5). Let z = f + -2. Suppose z = -0*q - q + 17. Is q a multiple of 6?
False
Is 0/(-2) + (-1 - -75) a multiple of 22?
False
Let b be 3*(-2)/(-6)*18. Suppose -5*h - 55 - 17 = -4*f, f - b = -5*h. Is f a multiple of 6?
True
Suppose 0*n + n - 7 = 5*d, 4*n = -4*d + 4. Let c be (-10)/(-6)*(2 - -1). Suppose 0 = -t - t - n*o + 26, 63 = 3*t - c*o. Is 8 a factor of t?
True
Let b(f) = 8*f**2 - 2*f + 5. Let t be b(3). Let x = t - -10. Does 27 divide x?
True
Let z = -2 - 0. Let o be 4 + (-3 - z) + -1. Let x = o - -4. Is 6 a factor of x?
True
Suppose -4*v + 9 = -3*m, -3*v - 3*m = -8*v + 9. Suppose -f - 4*f + 255 = v. Does 17 divide f?
True
Let q be 3*(-2)/(-6)*0. Suppose q*w + w = 5. Suppose x = 1 + w. Is 6 a factor of x?
True
Let p(z) = 67*z**2 - 2*z + 1. Let t be p(1). Let b = 110 - t. Is b a multiple of 10?
False
Let y be -16*(1 - 5) - -2. Suppose 0*d + 3*r = d + y, 70 = -d + r. Let o = -36 - d. Is 18 a factor of o?
True
Let l = 13 + 12. Suppose 2*t + 3*t - l = 0. Is t a multiple of 5?
True
Is 14 a factor of (21/(-4))/(12/(-32))?
True
Let h(g) = 3*g. Let p be h(-3). Let a = p + 24. Let i = a + 21. Does 13 divide i?
False
Suppose 6*w + 78 = 2*b + w, 2*w - 8 = 0. Suppose -4*c = -4, -3*m = -4*c - 19 - b. Does 12 divide m?
True
Let f = 31 + -21. Let g = 4 - f. Does 4 divide 20/g*30/(-25)?
True
Suppose -5*k + 40 = -l - 2*k, -4*k - 143 = 5*l. Let w = l + 61. Is w a multiple of 15?
True
Let u(j) = j**3 - 9*j**2 + 9*j - 12. Let f be u(8). Let r(a) = -a**2 - 8*a - 4. Is r(f) a multiple of 7?
False
Suppose 0 = -0*w + 4*w + 2*b - 732, 941 = 5*w - 4*b. Does 21 divide w?
False
Let g(i) = 13*i + 3. Does 12 divide g(4)?
False
Suppose g + 4*m = 80, 0 = -2*m - 2*m + 4. Suppose 2*s = 4*s - g. Is 19 a factor of s?
True
Suppose b + 4*b - 125 = 0. Suppose -5*n = -5*s + 7 + 78, 0 = 5*n + b. Is s a multiple of 4?
True
Suppose 2*i + 0 = 10. Suppose -544 + 194 = -i*d. Suppose -d = -f - f. Is f a multiple of 13?
False
Is (-2 - 0)/((40/(-76))/5) a multiple of 11?
False
Let z = 70 + -40. Does 10 divide z?
True
Suppose 24 + 21 = 3*q. Suppose -j + 4*j - 15 = 0, -z - j = -q. Suppose 5*c + 14 = w, -2*c + 33 + z = 5*w. Is w a multiple of 6?
False
Let d(x) = x**2 - 2*x - 2. Let u(g) = -12*g**2 + g. Let s be u(1). Let z = s + 6. Is d(z) a multiple of 25?
False
Let z(k) be the second derivative of -k**5/20 - 2*k**4/3 - k**3/3 - 5*k**2 - 2*k. Is z(-8) a multiple of 3?
True
Suppose -s = -0*s + 3. Does 7 divide 6/(-9)*-27 - s?
True
Let b = 0 + 2. Suppose k - r = 2, -2*k + b*r - 4*r + 16 = 0. Is 2 a factor of k?
False
Let r = -31 - -128. Is 46 a factor of r?
False
Let w = 2 - 2. Suppose 2*n + n - 3*r - 12 = w, 0 = -n + 5*r - 4. Does 6 divide (-2 + 4 - 0)*n?
True
Let k(h) = -h + 1. Suppose 3*l - 55 = -2*f + 6*l, 5*l = -25. Suppose -4*i = i + f. Is 2 a factor of k(i)?
False
Suppose -s + 495 = 4*s. Is s a multiple of 25?
False
Suppose -6*x = -2*x - 156. Suppose 4*d = 5*w - 198, -w + 0*d + d + x = 0. Is 14 a factor of w?
True
Let r(n) = n**3 + 4. Let c be r(-3). Let z = c + 53. Does 15 divide z?
True
Let f(k) = -k - 5. Let q = 8 + -16. Let h be f(q). Suppose -s - 30 = -h*s. Does 15 divide s?
True
Let f(c) = 2*c**2 + 16*c + 7. Suppose -2*t - 3*t - 60 = 0. Is 26 a factor of f(t)?
False
Let t(g) = -g**2 + 5*g - 3. Let k be t(3). Suppose 4*u - k*m = 83, 5*u - 2*u - 58 = -2*m. Is u a multiple of 13?
False
Suppose 0 = o - 4*o - 6. Let h be o/5 + 85/25. Suppose -5*j = 3*l - 3*j - 104, h*l - 4*j - 98 = 0. Is l a multiple of 17?
True
Let d(x) = -2*x**3 - x**2 - 3*x + 1. Let q(i) = i**3 - i**2 + i. Let o(l) = d(l) + 3*q(l). Let v be o(4). Is v - 13*(-2 + 1) a multiple of 9?
False
Suppose x - 3*c = 20, -2*x - 5*c = -0*c - 62. Suppose -q - m = -5*m - x, -2*q + 80 = -m. Is 14 a factor of q?
True
Let o = 179 + -113. Is o a multiple of 16?
False
Let i(s) = -33*s**3 + s**2. Is 6 a factor of i(-1)?
False
Let c be (-3)/12*-4*20. Is 4/(16/c)*1 a multiple of 5?
True
Let z = -20 + 12. Let j = 18 - 62. Let i = z - j. Is 17 a factor of i?
False
Let b(r) = -r**2 - 18*r + 19. Does 16 divide b(-13)?
False
Let g(v) = -22*v + 3. Let y(o) = 1. Let s(k) = -g(k) + 4*y(k). Let p be s(-1). Let n = -7 - p. Does 7 divide n?
True
Suppose 10 = 5*m - 5*k, 3*m - k + 6*k - 30 = 0. Suppose -m*r + 72 = 12. Is r a multiple of 2?
True
Let u = 0 + 13. Let c be -4*6/(-8) - 1. Suppose c*r = 91 - u. Is r a multiple of 13?
True
Suppose -4*u + 42 = -6. Is u a multiple of 12?
True
Let z(l) = -l**3 - 3*l**2 + 8*l - 4. Is 28 a factor of z(-6)?
True
Suppose -f + 18 = f. Let n = 11 - f. Does 8 divide (n - 16/(-3))*3?
False
Let o be 11 - 0*(4 + -3). Let p(r) = 32*r**3 + r**2 + r - 1. Let a be p(1). Suppose o = 4*d - a. Does 3 divide d?
False
Suppose 0*n = -n. Suppose i + 0*i = p + 8, 5*i - 3*p - 30 = n. Suppose a = x - 36, 30 = 4*x - i*x + a. Does 20 divide x?
False
Let x be 2/3 - (-17)/(-3). Let i(t) be the first derivative of -t**4/4 - 4*t**3/3 + 5*t**2/2 + 6*t - 1. Is 4 a factor of i(x)?
False
Let n = -11 + 20. Let y(k) = k - 9. Let p be y(n). Is (-6 - p)*(-3 + 0) a multiple of 9?
True
Let j = 46 + -40. Is j a multiple of 4?
False
Let y be 4/(-6)*9/(-2). Suppose o - y*o = -60. Is o a multiple of 16?
False
Let q(z) = -z**3 + 2*z**2 + 4*z - 4. Let x be q(-4). Suppose -4*t + 68 = r, -r + x = t + t. Is r a multiple of 28?
True
Let c = -3 + 3. Suppose 3*q + q = c. Suppose -5*f + 30 + 45 = q. Is f a multiple of 6?
False
Suppose -4*n + h = -62 + 14, -n + 12 = -3*h. Let x be (-9)/n + (-39)/12. Does 3 divide (2/x)/(2/(-16))?
False
Let m = 9 + -15. Does 5 divide (-3)/6 + (-45)/m?
False
Suppose 2*g - 86 = -0*g. Suppose -x - 139 = -3*m - 6*x, -m = x - g. Is 10 a factor of m?
False
Let h be (6/3 - 2)/1. Suppose 4*p - 64 = -h*p. Is 8 a factor of p?
True
Suppose u = -3*b + 38, 3*b - 2*u - 2*u = 13. Is b even?
False
Suppose -2*o + 100 = 6. Does 8 divide o?
False
Suppose -v + 17 = -5*a, -171 = -5*v + 5*a + 14. Is 14 a factor of v?
True
Let p be (-5 - -16) + (2 - 1). Suppose -9*r + 6*r = -p. Does 4 divide r?
True
Let s be (-1 + -1)*92/(-2). Suppose 2*h + 4*n = s, 5*n + 8 = -3*h + 148. Suppose 28 = 3*p - h. Is 16 a factor of p?
False
Does 11 divide (-396)/15*10/(-4)?
True
Suppose -4*u - c - 15 = 0, -6*c + c - 3 = 2*u. Let x be ((-100)/16)/(1/u). Let t = -16 + x. Does 5 divide t?
False
Let v be (-46)/(2/(-6)*-2). Let p = -40 - v. Is p a multiple of 13?
False
Let x(p) = 11*p**2. Does 6 divide x(1)?
False
Let a(o) = -o + 4. Let j(m) = m**3 - 2*m + 1. Let g be j(1). Let c be a(g). Suppose c*v - 42 = 22. Does 6 divide v?
False
Suppose 3*f + 6 = 5*f. Let h be -3 - 12*f/3. Let g = h + 54. Is 13 a factor of g?
True
Let s = 32 - 6. Is 4 a factor of s?
False
Suppose 105 - 20 = 5*r. Is r a multiple of 5?
False
Let o(q) = 19*q - 1. Does 9 divide o(2)?
False
Suppose -3 = -h - 15. Is ((-33)/9)/(2/h) a multiple of 6?
False
Suppose -3*f + 0*f + 216 = 0. Let c = f - 42. Does 15 divide c?
True
Let v be -1 + 3 + 6/2. Suppose 5*t - 3*l = 53, 2*l + 51 = 3*t + v*l. Is t a multiple of 10?
False
Let f be (-1 + -3)/((-2)/1). Is 117/12 - f/(-8) a multiple of 10?
True
Let n(w) = -3*w - 9. Let z be n(-7). Let l = z - 10. Suppose -96 = -4*m - l*r - r, 2*r = -4*m + 96. Does 8 divide m?
True
Let s = -52 + 32. Let j be (96/s)/(2/10). Let p = 36 + j. Is p a multiple of 5?
False
Suppose 9*q = 6*q + 456. Does 25 divide q?
False
Let k be -1 + 6 - (-4)/(-4). Let o be (10/(-3))/(k/(-192)). Is o/15 - (-1)/3 a multiple of 3?
False
Suppose -4*v + 2*y = -80, -4*v + 17 = 5*y - 63. Is 20 a factor of v?
True
Let z(g) = -g**3 - 5*g**2 - g - 4. Let s be z(-5). Let f(i) = -21*i**2 + 7. Let b(k) = -k**2 + 1. Let h(v) = 14*b(v) - 2*f(v). Is 14 a factor of h(s)?
True
Let a(d) = 30*d**3 - 5*d**2 + 3*d + 2. Is a(2) a multiple of 22?
False
Let m(y) = y**2 + 2*y + 2. Let o be m(-3). Suppose -4*w - 2 = -o*w. Suppose -i - 4*n + 16 = 0, 5*i - 218 = -w*n - 66. Does 15 divide i?
False
Suppose -4*s = -5*s + 64. Suppose -2*y = 2*y - s. Is 5 a factor of y?
False
Let n(o) = 17*o - 5. Suppose 7*b = 3*b + 8. Is n(b) a multiple of 6?
False
Is 15 a factor of 4 + -1*8 + 58?
False
Is 10 a factor of 2/(-12) - 1750/(-60)?
False
Is 12/(-66) - 860/(-11) a multiple of 13?
True
Suppose -24 = 3*z + z. Let a = z + 8. 