= -5 - -9. Suppose -z - u + 44 = g*u, 3*u = -z + 50. Is z a multiple of 21?
False
Let w = 28 - 20. Suppose -3*x + 0*x + 54 = -3*r, -w = -2*r. Is x a multiple of 11?
True
Let r = 2 - 6. Let p be 2*-2 - (r + 5). Let t = p + 17. Is 6 a factor of t?
True
Suppose n - 4*l = 3*n - 16, -9 = 3*n - 5*l. Suppose 4*c - 5*c = -n. Suppose r - 4*a - 50 = 0, -4*a - 72 = -c*r - 3*a. Is 17 a factor of r?
True
Let c(g) = -20*g + 4. Let m be c(-6). Suppose 0 = -3*t + m + 68. Does 32 divide t?
True
Let b = -27 - -41. Let s = b + -6. Does 3 divide s?
False
Suppose h - 25 = a - 77, -244 = 5*h - a. Let j = 84 + h. Is j a multiple of 20?
False
Let b(s) = 0*s + 2 - s**2 + 4 + 5*s. Let k be b(5). Suppose k*a - 15 = a. Is a a multiple of 3?
True
Let g(z) = -z**3 + 12*z**2 + 19*z - 58. Is g(11) a multiple of 17?
True
Suppose 5*j - 37 = -12. Let b = j - 3. Suppose b*d - 44 = -f, 0*f + 4*d + 150 = 5*f. Does 12 divide f?
False
Let d(z) = 18*z - 1. Suppose 3*x - 3 = 3. Suppose 0*c + 5*c = x*k + 16, -5*k = -4*c + 6. Does 18 divide d(k)?
False
Let c = -5 - -7. Let u(t) = -2*t + 3 - 3*t + c*t - t**2. Is u(-3) a multiple of 3?
True
Suppose 107 = 4*o + 3. Suppose 6 = 3*b - 6. Suppose -p + 3*t = -2*t - 34, -2*p - b*t = -o. Does 19 divide p?
True
Suppose -2*m - 17 = -b + m, 0 = 2*b - m - 14. Let k = 38 - b. Does 13 divide k?
False
Suppose -2*f + 294 = -m - 0*f, 0 = -m - f - 309. Is m/(-24) - (-2)/(-3) a multiple of 4?
True
Let n = -1 + 3. Suppose -3*u = -n*u - 2. Suppose -u*y - 43 = -5*m - 4*y, -m + 7 = 2*y. Is 9 a factor of m?
True
Suppose -4*k = -6*k - 34. Let z(n) = 20*n**2 - 8. Let c(i) = 7*i**2 - 3. Let s(j) = k*c(j) + 6*z(j). Is s(4) a multiple of 13?
False
Suppose 4*a = -3*k - 2*k + 16, 4*k = 2*a - 8. Suppose -1 = a*m - 5*m. Let x = m - -25. Does 13 divide x?
True
Let r = 49 - 9. Is r a multiple of 13?
False
Suppose 0 = -2*b - 15 - 13. Is b/(-77) - (-216)/22 a multiple of 7?
False
Let o(z) = 2*z + 4. Let j be o(-3). Let f be (-1)/j + (-100)/8. Let c = -7 - f. Is c a multiple of 5?
True
Let s(h) = -h**3 - h**2 + 2*h + 17. Let o be s(0). Suppose 2*r + x = o, -6 + 2 = -r + 4*x. Is r a multiple of 3?
False
Suppose o + 6 = 2*p, -5*p = -4*o - 13 - 2. Suppose -p*z + 8*z = 5. Does 10 divide (9 + -1)/(z/2)?
False
Suppose 0 = 4*f, -o = 3*o + 3*f - 240. Is o a multiple of 20?
True
Suppose 4*c - 8*c + 101 = v, -2*v = -10. Suppose 4*u - c = u. Is u a multiple of 8?
True
Let m be -2*1/6*-3. Let f(w) = -15*w + m - w**2 + 0*w + 11*w**2 + 2*w**3 - w**3. Does 15 divide f(-11)?
True
Let k = 13 + -7. Suppose u - 29 = -k. Does 12 divide u?
False
Let f be (0 + 0)/(-1 - 0). Suppose w - 3*w + 52 = f. Suppose -2*s + 2 = 4*p, p - 3*p = -4*s - w. Does 2 divide p?
False
Let j = -69 + 123. Let v = j - 36. Suppose -4*w + v = c + 3, 13 = 2*w - 5*c. Does 4 divide w?
True
Suppose g - 13 = -6. Does 3 divide g?
False
Let n = 3 + 1. Is 17 a factor of n/12 - (-328)/6?
False
Does 14 divide (-1)/6*621/6*-8?
False
Let y(l) = -2*l + 4. Let z be y(4). Let s(n) = -5*n - 5. Is 15 a factor of s(z)?
True
Let b be (-4 - -2)*34/4. Let v = b + 32. Is v a multiple of 5?
True
Let o(y) be the third derivative of y**4/24 + y**3/6 + 3*y**2. Let s be o(5). Let l(v) = 3*v. Is 18 a factor of l(s)?
True
Let d be 40/(-24) + 4/6. Does 9 divide 1 + (-3 - d) - -10?
True
Let s = -52 + 77. Suppose 6 = 4*x - 14, -5*z + s = -4*x. Is 9 a factor of z?
True
Suppose -4*d + 2*u = 6, -4*u - 6 = 2*d + 12. Let l be (-16)/(-6) - 1/d. Suppose -l*m = -45 - 9. Does 9 divide m?
True
Let v(y) be the second derivative of 11*y**5/10 - y**4/12 - y**3/6 + y**2/2 - y. Is 14 a factor of v(1)?
False
Let m(p) = -4*p - 7. Let g be m(-8). Suppose 10 = 2*o - 0. Suppose -o*q + u + g = -61, -8 = -2*u. Does 10 divide q?
False
Let q(a) = 9*a**2 + 2. Let d(w) = w**2 + 4*w - 3. Let n be 2 - 0 - 1*7. Let u be d(n). Does 19 divide q(u)?
True
Suppose -5*l - i + 122 = 0, -l + i = l - 53. Suppose -l = -3*b + 14. Is b a multiple of 9?
False
Suppose -322 + 17 = -5*x. Is x a multiple of 9?
False
Let j = 66 + 23. Does 23 divide j?
False
Let t = 49 + -107. Is t*(0 + -2)/4 a multiple of 18?
False
Let h(k) = k**3 + 10*k**2 + 11*k + 1. Let q be h(-9). Let a = q - -42. Does 5 divide a?
True
Let q = 60 + 20. Is 16 a factor of q?
True
Let j = -30 + -35. Let i = 97 + j. Does 8 divide i?
True
Let l = 110 + 14. Does 9 divide l?
False
Let b = 98 + -88. Is b a multiple of 3?
False
Suppose -2*x + 4*y + 15 = -317, -x = y - 157. Is 12 a factor of x?
False
Suppose f - 25 = 6*f. Let j(p) = -7*p - 12. Is j(f) a multiple of 11?
False
Let u = 9 - 6. Let q = u - 1. Suppose 0*d = -5*w - d + 28, -4*w + 26 = q*d. Is w even?
False
Suppose -45 = -2*r + b - 11, -5*b = 5*r - 55. Let n be 3*-1*(-8)/6. Suppose z + r = n*z. Is z a multiple of 2?
False
Let w = -29 - -28. Suppose -2*b + 2 - 6 = 3*i, b + 9 = 2*i. Is (8/(-2) - w)*b a multiple of 12?
False
Let x(j) = -j**2 + 4*j. Let o(w) = -w - 10. Let q be o(-9). Let k(h) = -3*h. Let c be k(q). Is x(c) a multiple of 3?
True
Let y = 6 + 123. Does 16 divide y?
False
Suppose -2*k + 29 + 59 = 0. Is k a multiple of 6?
False
Let m = -5 + 3. Let g = m + 2. Suppose -4*n = 4*i - 20, 0 = -i + 2*n - g*n + 20. Is i a multiple of 7?
False
Does 14 divide (3/(-6))/(1/(-120))?
False
Let k = -91 + 284. Is 39 a factor of k?
False
Suppose -3*n + 360 = 2*n. Is (n/2)/(9/6) a multiple of 14?
False
Let c be 3 - (2 - (0 - -2)). Suppose -3*z - 90 = -4*f, -c*f + 52 = -f + 2*z. Is f a multiple of 12?
True
Let j(l) = 6*l + 6. Let n be j(-7). Let o = n - -22. Let d = -3 - o. Is 11 a factor of d?
True
Suppose -46 = -5*x - 11. Let n(w) = 7*w - 5. Let z be n(x). Suppose -4*p + z = -2*q + 4*q, 5*q - p = 55. Does 5 divide q?
False
Let t be 13 - -1*(3 + -1). Suppose -3*k = t, g - 4*g = -2*k - 58. Is g a multiple of 12?
False
Suppose i - 72 = 9*i. Let x(m) = -3*m - 8 + 0*m - 1. Is 16 a factor of x(i)?
False
Suppose 2*j = -0*j - 3*b, -j - 4*b = 5. Suppose 0 = 2*i - t - j*t - 16, i + 4*t = 14. Is 5 a factor of i?
True
Does 12 divide ((-120)/(-50))/((-6)/(-40))?
False
Is 14 a factor of 7/(-14) + (-58)/(-4)?
True
Let t(q) = -q**2 - 9*q - 3. Suppose -3*l + 3*b - 33 = -b, 2*l - 4*b = -26. Is t(l) a multiple of 11?
True
Let s(m) = m**2 + 3*m - 6. Is s(6) a multiple of 4?
True
Suppose -3*i + 3 = -2*i + 4*q, -2*q = -3*i + 9. Suppose -x = -i*x + 22. Let w = x + -6. Is w a multiple of 4?
False
Does 4 divide 68 - (4/10)/(2/20)?
True
Suppose -5*o + 221 = 86. Is 27 a factor of o?
True
Let b(a) = -a**3 - 6*a**2 + 2*a. Suppose 3*f = 2*r + 8, 3*r - 4*f + 13 = -0*f. Does 7 divide b(r)?
True
Suppose 37 = k - 5*i, -4*k + 179 = -k + 2*i. Suppose -5*j - 170 = -3*s, 2*j - 5*s + 70 = 21. Let b = k + j. Is b a multiple of 10?
True
Let s(r) = -r**2 + 11*r - 7. Let b = 17 - 9. Does 17 divide s(b)?
True
Suppose r + 4*b = 56, 3*r - 47 - 70 = 5*b. Is 13 a factor of r?
False
Let n(a) = -a**2 - 5*a - 2. Let b be n(-3). Let f(x) = x**3 - 3*x**2 - 2*x. Let p be f(-2). Let y = b - p. Is 7 a factor of y?
False
Is 2/(-10) - 2002/(-35) a multiple of 13?
False
Let v(w) be the first derivative of w**3/3 + w**2/2 + w - 3. Let s be v(-2). Suppose 0*j - s*j = -114. Is 13 a factor of j?
False
Suppose -3*n = -w + 118, -4*w - 4*n + 499 = -7*n. Let y = -88 + w. Is 18 a factor of -2*1 + (y - 1)?
True
Let q = 6 - 6. Is 8 a factor of (32/6 - q)*3?
True
Let w be ((-10)/(-35))/(1/7). Suppose -3 = -z + w*z, 5*z + 13 = u. Does 21 divide (u/2 - -2)*21?
True
Let q(d) = -6*d**3 + 7*d**2 - 11*d + 11. Let a(g) = 3*g**3 - 4*g**2 + 6*g - 6. Let j(o) = -5*a(o) - 3*q(o). Let s be j(2). Let n = s - 3. Does 10 divide n?
True
Let n = 2 + 5. Let f = n + -5. Suppose f*i = -2*i + 104. Is i a multiple of 13?
True
Suppose 5*j - 5*i = 15, 2*j + 3*i - 8*i - 6 = 0. Suppose 5*w = -u + 33, -5*w + j*w + 2*u + 6 = 0. Does 2 divide w?
True
Suppose 58 = 5*v + 13. Let y = -3 + v. Let z(u) = 4*u + 3. Does 15 divide z(y)?
False
Let f = -23 + 27. Let z = 10 + f. Is 5 a factor of z?
False
Let p(u) = -u + 7. Let j be p(-10). Let l = 18 + j. Is 16 a factor of l?
False
Let g be (-2)/6 - (-56)/24. Suppose g*v + 3*v = 55. Suppose -p + v = -o, 0 = -2*p + 5*p + o - 41. Is 13 a factor of p?
True
Suppose n = -0*n - g + 37, n = -4*g + 28. Suppose -l - 2*l = r - 19, 0 = -4*r - 3*l + n. Does 3 divide r?
False
Suppose g = -g + 158. Does 8 divide g?
False
Let q = 39 + -19. Does 6 divide q?
