67 + f. Is j a multiple of 16?
False
Let y = 276 + -191. Is 4 a factor of y?
False
Suppose 3*z = 7 - 1. Suppose l = -z*l + 15. Is 5 a factor of l?
True
Let k(g) = 17*g + 9. Let a(j) = -8*j - 5. Let w(f) = -9*a(f) - 4*k(f). Is w(4) a multiple of 5?
True
Suppose -4*q + 330 = q. Does 22 divide q?
True
Suppose -628 + 83 = -5*f. Is 12 a factor of f?
False
Suppose -2*a + 11 = i, 2*a - 3*i = 26 - 11. Is a a multiple of 6?
True
Suppose -5*u - 73 = 7. Let f = u + 20. Is 3 a factor of f?
False
Let y(c) = -c**3 - 5*c**2 + 4*c - 7. Let n be y(-6). Suppose t - 3*t = 2, -t = n*s - 274. Is s a multiple of 15?
False
Suppose 5*a - 15 = -5*v, -4*a = 2*v - v - 6. Suppose -62 + 14 = -v*j. Is j a multiple of 13?
False
Let f be 3 + -3 + (-1 - -4). Suppose 4*q = 10 + 6. Suppose 0 = 2*s + q*l - 28, 51 = 5*s + f*l - 26. Is 8 a factor of s?
True
Let f(g) = g**2 - 2*g - 3. Let s be f(-2). Suppose 5*z + 59 = 4*w - 20, -5*w + 110 = s*z. Is 7 a factor of w?
True
Let h(o) = -o**3 - 16*o**2 - 20*o - 31. Does 2 divide h(-15)?
True
Suppose 185 = 5*r + 3*v + 25, -3*r + 95 = 2*v. Suppose -h = 5*q + 20, 3*q + r = 2*h - 2*q. Let z = -1 + h. Is z a multiple of 2?
True
Let w = -7 - -14. Is w a multiple of 2?
False
Suppose 3*b - 196 = -b. Is b a multiple of 27?
False
Let d(h) be the third derivative of h**7/5040 + h**6/90 + h**5/30 - 2*h**2. Let n(s) be the third derivative of d(s). Is n(6) a multiple of 7?
True
Let g(m) = 12*m + 24. Is 24 a factor of g(4)?
True
Let n be 1*(-6 + (-1 - -2)). Let b(o) = o**2 + 2*o + 5. Does 7 divide b(n)?
False
Suppose -341 - 169 = -5*v. Suppose -3*w + v = 21. Is w a multiple of 9?
True
Suppose 2*s - 7*s = 5*l - 230, -4*s - l = -190. Is s a multiple of 8?
True
Let i(b) = b + 3. Is i(9) a multiple of 12?
True
Let p = -91 - -141. Is 10 a factor of p?
True
Let v(h) = h**3 - 9*h**2 + 4. Let q be v(9). Suppose 4*w + 4*o - 112 = -0*w, -q*w = -2*o - 88. Let x = w + -15. Is x a multiple of 9?
True
Let w = 4 + -1. Let r(u) = u**w - u - 2*u**2 + 0*u**3 + 6*u**2. Is r(-3) a multiple of 11?
False
Suppose -13 = -y - 4*f, 3*y + 2*f - 9 = -0. Suppose -y + 9 = r. Is r a multiple of 3?
False
Let l = 58 + 9. Does 14 divide l?
False
Let l be (-23)/(-7) + (-6)/21. Suppose 0 = -m - 4, -l*x + m + 32 = x. Let g = 29 + x. Is 18 a factor of g?
True
Let a(z) = 31*z**3 + 2*z**2 + 2*z + 1. Let j be a(-1). Suppose 0 = -0*t - 2*t + 134. Let m = t + j. Is 19 a factor of m?
False
Suppose -4*m + 21 = -w, -2*w = w + 5*m + 12. Let r = w + 18. Is r a multiple of 7?
False
Let o = 37 - 52. Is 2 a factor of (21/o - -1)*-5?
True
Let g(u) = -7*u. Let d be g(-1). Let w = -7 + d. Suppose c = -5, 3*a + 4*c - 53 - 5 = w. Is a a multiple of 7?
False
Is 1 - 1 - ((-3)/3 - 79) a multiple of 8?
True
Suppose 3*o + 90 = 3*x, -3*o - 27 + 12 = 0. Does 12 divide x?
False
Suppose -5*h + 117 = f + f, -116 = -2*f - 4*h. Is f a multiple of 15?
False
Suppose 0*n + 96 = -4*n. Let j = -13 - n. Is j a multiple of 11?
True
Suppose -5*h = 8*h - 3562. Does 26 divide h?
False
Let d(a) = -a + 3. Does 4 divide d(-5)?
True
Let j(s) = s**2 + 2. Let y(f) = f**2. Let a(o) = -j(o) + 2*y(o). Is 16 a factor of a(6)?
False
Suppose 2*h = h + 2*s + 24, -4*h = 4*s - 60. Is h a multiple of 9?
True
Let r(f) = -f**3 + 5*f**2 + 5*f + 6. Suppose 7*g - 2*g + 15 = 0. Is 13 a factor of r(g)?
False
Let t(a) = -2*a**2 + 3*a + 1. Let q be t(-2). Let u = 25 + q. Is u a multiple of 12?
True
Does 13 divide -1*1/3*-195?
True
Let p(y) = -7*y**2 - 2*y + 1. Let c be p(-4). Let v = 127 + -196. Let w = v - c. Is 17 a factor of w?
True
Suppose -2*n = 3*n. Suppose 2*t + 2*t - 60 = n. Does 8 divide t?
False
Let t(d) be the third derivative of -d**4/3 - 2*d**3/3 + 3*d**2. Is 12 a factor of t(-2)?
True
Let d be -1 - (-41 + 2 + 2). Suppose 3*g - 52 = -5*m, -2*g + 5*m + d = -7. Let u = 30 - g. Does 9 divide u?
False
Suppose 4*s + 3*x = 41, 2 = 2*s - 3*x - 5. Let m = 31 - s. Let z = -15 + m. Does 4 divide z?
True
Let n(v) = v**2 - 6*v + 14 - 9 - 16. Does 9 divide n(10)?
False
Suppose 2*r + 5*h - 631 = 0, 4*r - h - 1270 = -3*h. Is (2/6)/(2/r) a multiple of 27?
False
Suppose 3*f + 46 = 5*f. Let r = 1 + -1. Suppose -3*t + 40 + f = r. Is 12 a factor of t?
False
Let g(h) = -37*h + 1. Is g(-1) a multiple of 18?
False
Let u(n) = 5*n**2 - n - 2. Let v be u(-2). Let q = -11 + v. Does 4 divide q?
False
Let x = -19 + 89. Is x a multiple of 7?
True
Suppose 3*v - 2*g - 3*g - 127 = 0, -v + 5*g + 49 = 0. Is 13 a factor of v?
True
Suppose -10*b - 56 = -11*b. Is 3 a factor of b?
False
Let a = -4 - -2. Let w be 1/4 + a/8. Let p = 5 + w. Is 2 a factor of p?
False
Let r be 100/15*6/(-2). Suppose 5*v + 55 = 4*v. Let m = r - v. Is m a multiple of 12?
False
Suppose 5*m + 322 = 7*m. Is m a multiple of 7?
True
Is 112 - (-1 + 2 + 0) a multiple of 37?
True
Let v = -39 - -5. Suppose -3*z - 114 = -5*z. Let a = z + v. Is 9 a factor of a?
False
Suppose -5*y = 5, 3*h - 7 = 2*h + y. Does 7 divide 588/30 + h/(-10)?
False
Suppose 0 = -4*f - 3*i + 149, 0 = -f - f - 2*i + 74. Let k = f - -33. Let v = k - 40. Does 12 divide v?
False
Suppose -3*h - 2*h = -720. Suppose 134 = 2*t + 3*w - 2*w, -2*t = -4*w - h. Does 25 divide t?
False
Let b be 1/5 + (-234)/(-30). Let w be b/(-24) - 2/3. Is 15 a factor of -1 - w - (-68)/2?
False
Let v(w) = -5*w**3 + w**2 + 4*w - 6. Let c(u) = -4*u**3 + 2*u**2 + 4*u - 5. Let d(p) = 6*c(p) - 5*v(p). Let x be d(-3). Let k = x + -15. Is k a multiple of 9?
True
Let d(k) = k**3 - k**2 - 3*k - 3. Does 6 divide d(3)?
True
Suppose -4*d - 4*f + 24 = -0*d, -f = 0. Suppose h - d*h = -15. Suppose 2*c = -10, -5*c + 10*c = h*v - 67. Does 14 divide v?
True
Let w be 0 + 15/6*-4. Let z(l) = -2*l + 13. Is z(w) a multiple of 11?
True
Let j be (-1)/(-4) - 6/(-8). Let x be j - 5/(15/6). Does 16 divide 6*x*36/(-8)?
False
Let g = 24 - 12. Let r = 21 - g. Suppose r = 4*a - 23. Is a a multiple of 4?
True
Suppose -207 = -4*r + 5*d, 3*r - 150 = -0*r + 2*d. Does 16 divide r?
True
Let w = 255 + -146. Is 44 a factor of w?
False
Suppose -d + 6 + 35 = 0. Let j = d + -25. Is j a multiple of 11?
False
Let h(t) = 6*t - 9. Let z be 33/4 - 3/12. Is 19 a factor of h(z)?
False
Suppose 0 = 4*n + n + 100. Let h be 1/(-5) + (-64)/n. Suppose 3*i - 63 = 4*m, 94 = 5*i + h*m - 6*m. Is i a multiple of 6?
False
Let z(i) = -i**3 - 10*i**2. Let p be z(-7). Let w = p + 223. Is 21 a factor of w?
False
Is 7 a factor of ((-4)/3)/(4/(-66))?
False
Let l(g) = -3*g**3 - 2*g**2 + 3*g - 1. Let m be l(1). Is (m - 0) + 0 - -26 a multiple of 6?
False
Suppose 4*p = 40 + 148. Suppose j = 4*j + 4*u + 61, -j = -4*u + 47. Let m = j + p. Is m a multiple of 16?
False
Let s(c) = 3 + 4 + 2 + 3*c. Is 15 a factor of s(10)?
False
Suppose q + 27 = -2*q. Let f = 30 + q. Does 6 divide f?
False
Let i(k) = -k**3 - 5*k**2 - 6*k - 9. Is i(-8) a multiple of 15?
False
Suppose -4*n - 14 = 2. Let q = n - -6. Suppose 5*p - 15 = 0, -q*m = m - 4*p - 30. Is 7 a factor of m?
True
Let i = -2 - -2. Suppose -c + 25 = 3*c - h, 5*c + 2*h = 15. Suppose 0 = 4*a - 12, i = -j + c*a + 5 - 0. Is 12 a factor of j?
False
Let g = -10 - -1. Let a = -4 - g. Suppose 0*r - 2*h - 8 = -r, -a*h = r - 1. Is 3 a factor of r?
True
Suppose 55 = 2*j - q + 7, -3*j = -4*q - 67. Is j a multiple of 25?
True
Suppose 4 + 21 = 5*t. Suppose t*x + 3*p = 120, 3*x - 96 = -x + 5*p. Does 12 divide x?
True
Suppose 6*x + 2 = 182. Let d be (-2 + -6)*2/(-1). Let a = x - d. Is a a multiple of 4?
False
Suppose 174 = 26*p - 23*p. Is 28 a factor of p?
False
Let z = 17 + -4. Does 13 divide z?
True
Suppose 2*j + 117 = 5*j. Suppose 2*k + 0 - 7 = -5*b, -j = -3*k + 2*b. Suppose -v = -1 - k. Does 10 divide v?
False
Let o(y) = y + 7. Let b be o(-6). Does 28 divide 96 - ((-4)/b)/4?
False
Suppose 324 = -7*o + 10*o. Is 36 a factor of o?
True
Let l be (-5)/(-25) + 2/(-10). Suppose -5*n + n + 220 = l. Is 11 a factor of n?
True
Suppose -3*j + 118 - 16 = -4*l, 4*l + 98 = 5*j. Let q = l + 53. Is 3/(-1*(-2)/q) a multiple of 14?
False
Let h(f) = f**3 - 3*f**2 + f + 3. Is h(3) a multiple of 6?
True
Let n(x) = -3*x**2 + 2. Let h be n(3). Let c = -39 - h. Let s = c + 35. Is 10 a factor of s?
False
Suppose 3*d = -3*h + 780, 3*h = -9*d + 4*d + 788. Does 3 divide (9/(-4))/((-48)/h)?
True
Let x(a) = 49*a**2 + 4*a - 3. Let i be x(2). Suppose 0 = -5*z - 21 + i. Is 12 a factor of z?
True
Let p be (-4)/(-18) + 716/18. Let v = 