= 29 - -87. Is h a multiple of 12?
False
Suppose 0*v + v - 3*y = 37, -3 = -3*y. Is 16 a factor of ((-36)/(-15))/(6/v)?
True
Does 26 divide (368/(-24))/(2/(-24))?
False
Let l = 19 - 9. Let m = l + -3. Is m a multiple of 7?
True
Let z = 74 + -21. Let f = 3 + z. Does 13 divide f?
False
Let z be 12/(-5) + 4/10. Is (-90)/(-4) - 1/z a multiple of 9?
False
Let i = -5 + 15. Let u(x) = -x**2 + 4*x + 1. Let g be u(3). Suppose g*v = 3*v + i. Is 10 a factor of v?
True
Let p = 11 + -6. Suppose 0 = p*k - 58 - 42. Is k a multiple of 10?
True
Let y be 0 + 2 + (1 - 1). Let t(w) = 4*w**2 + w + 2. Let x be t(y). Does 7 divide (4/2 - 4) + x?
False
Let j be 1*-3 - (-123)/1. Suppose -j = -5*d - 0*d. Is d a multiple of 6?
True
Suppose -30 = -2*m + 60. Is m a multiple of 15?
True
Let q be -17 - 1/((-2)/8). Let g = 39 + q. Does 13 divide g?
True
Let v(f) be the first derivative of 2*f**3/3 - 3*f**2/2 + 2*f + 4. Is v(4) a multiple of 9?
False
Let x be -4*(1 - (-35)/(-4)). Let t(m) = -2*m - 6. Let s be t(-4). Suppose -x = -3*i + s. Is 11 a factor of i?
True
Let n = 26 - 15. Is 7 a factor of n?
False
Suppose 14 = -2*y + 20. Let v(x) = -x + 3. Let j be v(6). Is 6 - (-2 - y/j) a multiple of 3?
False
Suppose -296 + 120 = -2*v. Is 18 a factor of v?
False
Suppose 2*u = n + 687, u + 4*n - 1014 = -2*u. Is 69 a factor of u?
False
Let c be 4/18 + 104/18. Suppose -4*j + c = -o - 6, 5*j - 4*o - 26 = 0. Suppose 0 = j*l - 0*l - 40. Does 10 divide l?
True
Let q = -253 - -568. Is q a multiple of 21?
True
Let w(v) = v**2 - 2*v - 1. Let h be w(-1). Let c be ((-5)/(-2) - 0)*h. Suppose -c*l + 19 = -26. Is 9 a factor of l?
True
Let z(a) = -a**3 - 8*a**2 + 2. Let v be z(-8). Suppose 0 = -v*s - 4 + 12. Suppose -s*x + 25 = -3*x. Does 25 divide x?
True
Let k = -6 - -10. Let h(b) = 4*b - 4. Is h(k) a multiple of 4?
True
Let j(v) = -2*v. Let a(u) = -u**3 - 5*u**2 - 5*u - 6. Let t be a(-4). Let c be j(t). Suppose -c*i = 3*o - 18, -o = -7*i + 4*i - 6. Is o a multiple of 6?
True
Let s be ((-9)/12)/((-2)/8). Is ((-9)/6)/(s/(-48)) a multiple of 12?
True
Suppose -3*q + 10 = -u - 1, -2*u + 3*q - 10 = 0. Let b = -1 - u. Is (1 + 1)/(b/(-6)) a multiple of 5?
False
Let p(x) = -x**2 + 4*x + 79. Is p(0) a multiple of 3?
False
Let r(v) = -65*v**3 - v**2 + v + 1. Let w be r(-1). Let c = w + -23. Is c a multiple of 9?
False
Let z = 3 - 1. Suppose -z*j = -4*y + 14, -24 = -5*y - 4. Is 9 a factor of (-1 + 2)/j - -17?
True
Let n(z) = -z**2 - 9*z - 1. Suppose 0 = 4*b + 2*h + 22, -3*b + 6 = -h + 30. Is 5 a factor of n(b)?
False
Let g = 3 - 5. Suppose -4*z - 24 = 4*d, -3 = 2*z + 2*z - 3*d. Is (-2 - z) + g - -8 a multiple of 7?
True
Suppose 0 = 2*n - p - 16, -7*p - 16 = -3*p. Let o(u) be the third derivative of -u**6/120 + u**5/10 + 5*u**4/24 - u**2. Is 17 a factor of o(n)?
False
Suppose -3025 = -13*q + 186. Is q a multiple of 19?
True
Let x(z) = -4*z + 6. Is 23 a factor of x(-10)?
True
Suppose 3*n - 2 = 25. Let g = n - 5. Suppose h = -g*h + 70. Is h a multiple of 7?
True
Let s = -4 + 4. Suppose -5*f - k + 178 = s, -4*f + 64 = -2*f + 4*k. Is 12 a factor of f?
True
Let j be 0 + -3 + (-6 - -9). Suppose -4*y - 5*u = -119, j = 5*y - u - 70 - 115. Does 8 divide y?
False
Let p = 1 + 1. Suppose -p*o + 24 = -18. Is o a multiple of 6?
False
Let k = -51 + 71. Does 20 divide k?
True
Let o be 1/(-4) + (-10)/(-8). Suppose 5*a - 2*v = 0, -4*a + 0*a - 2*v - 18 = 0. Does 2 divide -1 - (o + a)*3?
True
Suppose -3*x - 24 = 4*a - 69, -30 = -2*x + 3*a. Is 11 a factor of x?
False
Let l(m) = 4*m**2 + 4*m + 1. Let f be l(-2). Is 9 a factor of -1*f/6*-22?
False
Suppose 3*f = -4*x + 142, 2*f = -3*x - x + 92. Does 10 divide f?
True
Suppose -3*k - 3*q + 42 = -81, -5*q - 10 = 0. Does 14 divide k?
False
Let p(l) = 40*l - 2. Suppose 0*a + 2 = a. Is 27 a factor of p(a)?
False
Let t(n) = -7*n + 1. Let c(b) = -b**2 - 8*b. Let l(d) = -3*c(d) + 4*t(d). Is 18 a factor of l(4)?
True
Suppose -5 = 2*b + 3. Let c = 0 - b. Is (4 - c) + 39 + 2 a multiple of 13?
False
Let l(m) = 4*m**2 + 12*m + 7. Let t(b) = -5*b**2 - 13*b - 6. Let j(r) = -4*l(r) - 3*t(r). Let y be j(-10). Is (-4 - -7)*y/(-3) a multiple of 10?
True
Let b = 196 + -170. Is 14 a factor of b?
False
Suppose -3*h - 2*h - 110 = 0. Let w be -2 + (0 - (2 + -45)). Let i = h + w. Is 8 a factor of i?
False
Let o(h) = -29*h**3 + h**2 + h + 1. Suppose -1 = 2*k - 9. Suppose -k*c = 3*g + 7, 2*c + 3 = -2*g + g. Does 10 divide o(c)?
True
Let v = 117 + -79. Is 10 a factor of v?
False
Suppose -2*k + 1 = -3*c, k + 2*k - 4*c = 0. Let h = k + 15. Let b = 16 - h. Is 2 a factor of b?
False
Let i = 32 - 27. Is 5 a factor of i?
True
Suppose -3*w - 5*u - 18 - 3 = 0, -4*w = 4*u + 36. Let j be (20/w)/(1/(-3)). Suppose 4*s - j*h - 68 = 0, -2*s - 5*h + 51 = s. Does 17 divide s?
True
Let b(j) = j**3 + j**2 - j + 4. Is b(2) a multiple of 6?
False
Suppose 0 = 2*j + 23 + 57. Is j/(-30)*(5 + 1) a multiple of 4?
True
Let v = 20 + -35. Let r be v*(1 - (-4)/(-2)). Does 11 divide 22*(r/6)/5?
True
Suppose -25 = -5*j, -6*r - j + 217 = -2*r. Suppose -r = -5*d + 37. Is 5 a factor of d?
False
Let g(v) = v + 15. Let c be g(-7). Let w(d) = d**3 - 7*d**2 - 8*d. Let z be w(c). Suppose z = -n + t + 2, -n - 5*t = n - 39. Is n a multiple of 5?
False
Let u(a) = -a**3 + 8*a**2 - 6*a - 10. Let m be u(7). Let r be ((-2)/m)/((-1)/(-6)). Suppose -r*j - 55 = -w, -3*w + 2*j - j + 110 = 0. Is 13 a factor of w?
False
Suppose 2*g - 5*k - 8 = 0, 2*g + 4*k + 4 = 3*g. Suppose 83 = 2*u + 5*a, -4*u - 35 = g*a - 183. Is u a multiple of 13?
False
Let z = -620 + 908. Is z a multiple of 24?
True
Suppose 3*t - 30 = -9. Is 2 a factor of t?
False
Let w(l) = -5*l - 24. Suppose 0 = -j - 4*j - 45. Let d(u) = -u - 6. Let k(i) = j*d(i) + 2*w(i). Does 7 divide k(-8)?
True
Let i be (-3 - 1)*(-1)/2. Suppose i*j = -s + 4*j + 44, -2*s - 2*j + 100 = 0. Is 16 a factor of s?
True
Let t(m) = -m**3 + m**2 - m + 72. Is 18 a factor of t(0)?
True
Let n(q) = -6*q**2 + 10*q**2 - 10*q**2 + 3*q + 6 + q**3. Does 14 divide n(6)?
False
Let u be -16 + (1 - 1)/3. Let c = u - -35. Does 19 divide c?
True
Suppose -4*y = 4*l - 32, y - 52 = -4*y - 2*l. Let v = y + 12. Is 8 a factor of v?
True
Suppose 4*j - 2*m + 2082 = 0, -5*j - 1563 = -2*j - 2*m. Let s be (-2)/9 + j/(-27). Let w = s + 15. Is w a multiple of 13?
False
Suppose 0 = 4*x - 3*x - 25. Let f be 345/x + (-2)/(-10). Let t = f - 5. Does 9 divide t?
True
Let s(h) = h**3 - h**2 - h - 44. Let y be s(0). Let m = -15 + 1. Let x = m - y. Is x a multiple of 12?
False
Suppose -2*h - 339 = -5*h. Is 28 a factor of h?
False
Suppose -5 = q - 33. Does 14 divide q?
True
Let p(g) = -2*g - 7. Let b = 10 - 16. Does 3 divide p(b)?
False
Let l(w) = -w**2 + 6*w - 1. Is l(5) a multiple of 3?
False
Suppose u + 0*u + 5 = 0, 3*j - 4*u = 203. Is 8 a factor of j?
False
Let m(d) = -d**3 - 16*d**2 - 18*d - 6. Is m(-15) a multiple of 13?
True
Let w = 4 - 2. Suppose -w*f = 5*p - 26, -4*p + 20 = -2*f + 4*f. Is 9 a factor of (3 + p)/(0 + 1)?
True
Let s(k) = k**3 - 6*k**2 + 7*k - 6. Is s(6) a multiple of 36?
True
Let a(d) = 4*d + 10. Let j be a(-6). Let i = j - -58. Is i a multiple of 22?
True
Let b = -11 - -71. Suppose k - 2*v + b = 2*k, 5*k - 3*v = 287. Is k a multiple of 13?
False
Let a(w) = -w**2 - 8*w - 7. Let c(p) = p**2 + 3 + 8*p + 1 - 7*p + 6*p. Let u be c(-5). Does 2 divide a(u)?
False
Let w be 6 - (0 + (-6)/(-3)). Suppose 3*r = w*r - 3. Let y = r + 13. Is y a multiple of 16?
True
Let g(b) = b**3 - 3*b**2 - 2*b + 3. Let h be g(3). Let z be (0 - 3)/(h/100). Suppose 2*x + 3*x - z = 0. Does 11 divide x?
False
Suppose 2*v + 4*b = 46, 6*b - b = -5*v + 120. Let i = 9 - 7. Suppose -49 = -i*p + v. Does 14 divide p?
False
Suppose -2*t = 42 - 106. Is t a multiple of 16?
True
Let c = 7 + -7. Suppose -5*f = -c - 5. Suppose 0*q = d - 3*q - 2, -f = d - 4*q. Is d a multiple of 10?
False
Let r = 22 - 19. Suppose -2*q = h - 116, 2*q = -0*q - r*h + 108. Is 20 a factor of q?
True
Let q be -2 + 11 + 3/(-3). Let v be ((-9)/(-12))/(2/q). Suppose v*b - 42 = -3*i - 0*b, -4*b = -2*i + 46. Is i a multiple of 11?
False
Let i(l) = l + l - 4*l. Let b be i(-1). Suppose 50 = b*g + 3*g. Does 6 divide g?
False
Is (-6)/(-18) + 536/12 a multiple of 15?
True
Let s(x) = 2*x**2 + 6*x + 3. Let h be s(-4). Let w(p) = p**3 - 10*p**2 - 8*p + 14. Is w(h) a multiple of 13?
False
Suppose 6*v + 6 = 624. Does 