ppose -4*h - 4*m - 38 = -130, -d*m - 47 = -4*h. Is h a multiple of 10?
False
Let m be (106/4 + 3)*2. Let u = m - 39. Suppose u = 3*f + z - 38, -4*z = f - 34. Is f a multiple of 18?
True
Let v = 25 - 38. Let b = -9 - v. Is 4 a factor of b?
True
Let v = 0 - 3. Let s be (-4)/v - (-5)/(-15). Is 16 a factor of (8/(-5))/(s/(-10))?
True
Suppose -261 = -4*n - 33. Suppose -n = -3*k - 0*k. Is k a multiple of 19?
True
Suppose 0 = 3*b - 5*b. Suppose -4*h = -4*c - 96, -h - c = -b*c - 26. Does 5 divide h?
True
Let r(k) = 5*k**2 - 3*k - 9. Let x be r(-6). Let o = -101 + x. Let h = o - 58. Is 15 a factor of h?
True
Suppose 0 = -2*p - p + 3. Let c = -2 + p. Is c/5 + (-131)/(-5) a multiple of 13?
True
Suppose -2*b + 12 + 16 = 0. Does 13 divide b?
False
Let t be 2/(-4) - (-1)/2. Suppose -3*u + 4*g + 85 = t, 2*u - 18 - 20 = -2*g. Does 13 divide u?
False
Suppose 3*o + 6 = y, 4 + 2 = -4*o + 2*y. Let v(x) = x**3 + 5*x**2 - 3*x - 3. Let g be v(o). Suppose -3*c = -g - 90. Is 19 a factor of c?
True
Suppose 3*a + 38 = 5*a. Is a a multiple of 2?
False
Let r(i) = -i. Let c be r(-4). Suppose 0 = c*u + 5*t - 44, 4*u = 5*t + 47 - 3. Is u a multiple of 5?
False
Let w(r) be the second derivative of 3*r**5/20 - r**4/6 + 2*r**2 + 2*r. Let m be w(-3). Does 14 divide m/(-1)*6/15?
False
Let n = 1 + 1. Suppose 0 = 5*h - 2*k - 114, 3*h + n*k = -k + 60. Is 12 a factor of h?
False
Let p(b) = -b**3 - 10*b**2 - 4*b - 7. Is p(-10) a multiple of 10?
False
Let i be (-20)/(-6) - 3/9. Let g(f) = 3*f - 2*f**2 - 4*f**3 + 5*f**3 - 2*f**3 - i + 7. Is g(-3) a multiple of 3?
False
Suppose 2*b + 18 = 150. Is 11 a factor of b?
True
Let l = 19 + -11. Let y = -24 + l. Is 3*y*4/(-6) a multiple of 18?
False
Is 4 a factor of (-3)/(-4) + 318/24 + 2?
True
Let v be (-4)/6 + 42/9. Let b = -10 + v. Does 5 divide 4/b - 17/(-3)?
True
Let h(o) = 0*o - 4*o**2 + 4 + 2*o + o**3 + 1. Let x(p) = 3*p + 31. Let w be x(-9). Is h(w) a multiple of 9?
False
Let j = -18 - -31. Let g(m) = 6*m - 12. Is g(j) a multiple of 20?
False
Suppose 3*d + 4 = -d. Is 4 a factor of d/(3/(-42)) - -1?
False
Suppose 0 = 5*q - 4*y - 9, 2*y = 3*q - 4*q + 13. Suppose 0 = q*b - 48 - 2. Is 7 a factor of b?
False
Let m(o) = 16 - 4*o + 2*o + o. Let r be m(10). Suppose 2*i + 24 = r*i. Does 6 divide i?
True
Let d(l) = -l**2 - 14*l + 6. Is 4 a factor of d(-4)?
False
Let v be ((-93)/9)/((-3)/9). Suppose -3*u = 2*d - v, 2*d + 30 = 4*u - d. Is u a multiple of 3?
True
Let k(j) = -3 + 3*j - 9 + 3*j - 3*j. Does 4 divide k(9)?
False
Let c(l) = -l**3 - 2*l**2 + 4*l - 1. Is c(-4) a multiple of 2?
False
Suppose 0*f - f + a + 13 = 0, 5*a + 55 = 4*f. Suppose 3*z + z - 4*v = 56, -z = -2*v - f. Is 10 a factor of z?
False
Let r be (7 - 2)*(-4)/10. Let n(m) = -19*m - 3. Let d be n(r). Suppose -f - 5*h = f - d, -4*f + h = -81. Is 10 a factor of f?
True
Suppose 5*q = 3*y - 22, 0*q = -3*y - 2*q + 8. Let w be y/6 - (-12)/(-18). Suppose -12 = -4*a - w. Is 3 a factor of a?
True
Is 5 a factor of 6/(-9) + 23/3?
False
Suppose 5*j = -4*o + 1455, -4*j - o - 1430 = -9*j. Is j a multiple of 29?
False
Let t(z) = -2*z + 25. Let v be t(11). Suppose -h + 24 = v*h. Is h a multiple of 6?
True
Let q(y) = -y**3 - 3*y**2 + 3*y - 5. Let z be q(-4). Does 21 divide z/5 - 1566/(-30)?
False
Suppose -n = -0 - 3. Is n even?
False
Suppose 4*i = y - 7, 2*y + 7 + 0 = i. Let w be 4/(-6)*i - -2. Suppose -w*x + 2*z + 102 = 0, -4*z + 112 = 4*x - 8*z. Does 9 divide x?
False
Suppose -g + 768 = 5*g. Is g a multiple of 32?
True
Let p(j) = j**3 + j**2 - j. Let m be 1/3*(-6)/(-2). Let w be p(m). Is (-21)/(-3) + (1 - w) a multiple of 7?
True
Suppose 0 = 2*m - m. Let b = -34 - -47. Suppose h = -m*h + b. Is 13 a factor of h?
True
Let m(q) = q**2 - 5*q - 21. Is m(-9) a multiple of 15?
True
Let t(p) = 16*p**2 - 6*p - 4. Is 24 a factor of t(-2)?
True
Suppose -4*k - 582 = 2*t, 877 = -3*t - 2*k - 0*k. Let u = -168 - t. Is u a multiple of 26?
False
Suppose 17 = -u - 2*p + p, -5*p - 64 = 4*u. Let t be 3/(2 - u/(-6)). Is 4/2*(-7)/t a multiple of 3?
False
Let y = -3 - -5. Let v(b) = b - 1. Let t(k) = -8*k + 5. Let o(w) = -t(w) - 3*v(w). Is o(y) a multiple of 8?
True
Suppose -4*v - 3 = 2*q - 3*v, 4*q + 5*v = 3. Is (20/3*q)/(-1) a multiple of 10?
True
Let s(a) = 2*a**3 - 4*a**2 + 3*a + 8. Let z be s(6). Suppose -4*v - 74 = -z. Is 16 a factor of v?
False
Let j = -11 + 19. Let l be 2/(j/10)*2. Is 3 a factor of 22/l - 4/10?
False
Let g(d) = -d**2 + 13*d + 13. Is g(12) a multiple of 5?
True
Suppose w = -3*w + 136. Is 16 a factor of w?
False
Suppose -15 = -4*l + s + 184, -204 = -4*l - 4*s. Is l a multiple of 25?
True
Suppose -45 - 35 = -2*s. Is s a multiple of 14?
False
Let t be 0/(-1 + 1 + 2). Suppose -2*x - 4*n + t*n + 8 = 0, -4*x + 2*n = -36. Is x a multiple of 5?
False
Let n(l) = 6*l**2. Let o(d) be the third derivative of -d**6/120 + d**5/20 + d**4/6 - d**3/6 - 3*d**2. Let k be o(4). Is n(k) a multiple of 3?
True
Let q(w) = -w + 2. Let h be q(-5). Let f(y) = 4 - h*y - 5 - 4. Is 20 a factor of f(-4)?
False
Let x(c) = 0*c**2 + 2*c - 10*c**2 + 13 - c**3 - 2*c. Is 12 a factor of x(-10)?
False
Let y be (2/(-5))/(1/(-5)). Suppose 0 = y*v + v - 198. Does 11 divide v/4*8/6?
True
Suppose 5*d - 60 - 125 = -4*m, -4*m = -3*d + 111. Is 11 a factor of d?
False
Suppose -5*w + 2*z + 13 + 6 = 0, -3*w - 4*z = -1. Suppose -24 = -3*q + 4*j, -3*q - w*j = -4*j - 33. Does 5 divide q?
False
Suppose 5*l - 120 = 125. Is 7 a factor of l?
True
Let c = 10 + -8. Is 28 a factor of 3250/39 + c/3?
True
Let m(x) = 2*x**2 - 6*x - 7. Let d be 0 + (-3)/(6/16). Let a = d + 13. Is 6 a factor of m(a)?
False
Let n = -12 + 26. Let z = n - 6. Let c = z - -20. Is 10 a factor of c?
False
Let g be (-81)/6*2 - -1. Let t = 1 - g. Let k = -1 + t. Does 15 divide k?
False
Let t(j) = 6*j + 29. Let r(n) = -2*n - 10. Let w = -1 + -3. Let d(o) = w*t(o) - 11*r(o). Is d(-6) a multiple of 5?
False
Let g(x) = -x**3 + 11*x**2 + 2*x + 14. Is 9 a factor of g(11)?
True
Let a(k) = -k**3 - 5*k**2 + 7*k - 8. Is 26 a factor of a(-7)?
False
Let l = -244 - -391. Suppose 5*y = -z + 1072, -2*y + 569 = -3*z + l. Does 21 divide y/10 + (-2)/5?
True
Suppose 0 = 204*d - 205*d + 92. Is d a multiple of 4?
True
Suppose 66 = 4*r - 14. Suppose 22*x - r*x = 28. Does 14 divide x?
True
Let o = -7 + 9. Suppose 0 = -3*x + o + 7. Is 15 a factor of x + 0 + -1 - -19?
False
Is (12/(-8) + 1)*-94 + -3 a multiple of 11?
True
Let r(t) = 11*t**3 + 3*t**2 - 2*t. Is r(1) a multiple of 3?
True
Let c(p) = -4*p - 8. Let h(u) = -17*u - 32. Let l(n) = 9*c(n) - 2*h(n). Is 4 a factor of l(-9)?
False
Let p = 38 + -19. Does 2 divide p?
False
Let s = 60 + 239. Is 47 a factor of s?
False
Suppose 3*a - 6*a = -351. Is 34 a factor of a?
False
Let t be 3108/30 + 3/(-5). Let s = -50 + t. Is s a multiple of 12?
False
Let r(s) = -s**3 - 2*s**2 - 2*s - 1. Let a be r(-1). Suppose a = l + 4*h - 4, 5*l - 3 = -4*h + 1. Suppose 2*o + 4 = y, -o = 5*y - l*o - 9. Is 2 a factor of y?
True
Suppose -3*y + 3 = -0. Suppose -y = 4*o + 2*s - 49, -1 = -o + 5*s. Is o a multiple of 11?
True
Let m = -1 - -1. Suppose -4*z - 5*d = z - 10, m = -4*z + 5*d - 37. Does 13 divide 32 + z/(-6)*-2?
False
Let z(w) = -w**2 + 12*w - 8. Is z(10) a multiple of 3?
True
Let s(a) = 12*a + 3. Let r(u) = u - 2. Let b be 20/(-6)*9/(-6). Let j be r(b). Is 20 a factor of s(j)?
False
Suppose t = -4*t + 10. Suppose 4*r + t*g = 362, g + 5 = 2*g. Is r a multiple of 19?
False
Suppose i - 4*i + 6 = 0. Let n(j) = -j + 2. Let w be n(i). Suppose w = -2*l + 3*h + 18, -3*h = -7*h + 8. Does 6 divide l?
True
Suppose 4 = -n + 2*m + 16, 0 = 5*n + m - 93. Is 6 a factor of n?
True
Is 7 a factor of 588/42*(-1)/((-2)/3)?
True
Let s = -7 + 1. Does 9 divide 218/9 + s/27?
False
Let o = 186 + -109. Does 9 divide o?
False
Suppose 0 = -5*c + 2*c - 36. Let w = 4 + 13. Let a = c + w. Is 4 a factor of a?
False
Suppose 310 = -q - 4*q + 5*f, 2*q = 3*f - 125. Let y = q - -94. Is 11 a factor of y?
True
Let v(d) = -d**3 + 2*d**2 + 4*d - 1. Is v(-2) a multiple of 3?
False
Suppose 0 = 3*n + 3*v - 3, 23 = 5*n - 2*v - 2*v. Suppose 5*q + 4 = q. Let r = q + n. Is 2 a factor of r?
True
Is 222/8 + 2 - (-16)/64 a multiple of 2?
True
Suppose w - 2*v = 3*v + 70, 4*v = -20. Suppose 0 = -m + w + 33. Is 26 a factor of m?
True
Suppose 7 + 5 = -3*b. Let g(y) = -5*y - 3. Is g(b) a multiple of 5?
False
Is 7 a factor of -1 +