
True
Let q be (0 - 0)/(2 + 0). Suppose 4*a + 3*n = q, a - 4*n = -2*n + 11. Suppose 0 = a*b - 5*r - 37, -b = -2*b + 3*r + 11. Is b a multiple of 7?
True
Let l(w) = -7*w**2 - 7*w - 8. Let g(a) = 7*a**2 + 6*a + 7. Let s(m) = 6*g(m) + 5*l(m). Is s(2) a multiple of 5?
False
Let k(c) be the third derivative of c**5/10 - c**4/24 - c**3/3 - 10*c**2. Is 12 a factor of k(2)?
False
Suppose 3*c = -x - 13, 3*x + 27 = -5*c - 0*c. Let h be -2 + (-2 - c) + 3. Suppose -h*p = -3*p + 24. Is 12 a factor of p?
True
Suppose 382 + 164 = 7*v. Does 8 divide v?
False
Let m(c) = -c**2 - 4*c - 3. Let y be m(-5). Let z(k) be the third derivative of -k**4/24 + 11*k**3/6 - 11*k**2. Is 19 a factor of z(y)?
True
Suppose 0 = -2*b - 2*g - 2, 3*g + 17 = 3*b + b. Suppose b*o = 4*k + 132, -5*k + 0*k = 2*o - 123. Suppose 4*x = -0*x + o. Is 16 a factor of x?
True
Suppose 4*r - 2*r + 5 = t, r + 10 = t. Does 3 divide t?
True
Let h(c) = -c**3 - 4*c**2 + 6*c. Let l be h(-6). Let k = l - -46. Does 10 divide k/8 + 4/(-16)?
True
Let g be 3/(9/(-6)) - 12. Let q = g + 50. Is 18 a factor of q?
True
Let d = -3 + 43. Let y = 8 + d. Does 13 divide y?
False
Let f(a) = 6*a**2 + a - 1. Is f(-2) a multiple of 21?
True
Let m = 27 + -39. Let y(g) = g**2 + 10*g - 13. Let l be y(m). Let j(a) = -a + 14. Is j(l) even?
False
Let k(s) = s + 144. Let d be k(0). Is 8896/d - (-4)/18 a multiple of 12?
False
Let r(j) = 22*j - 1. Let m be r(1). Let b = 46 - m. Is b a multiple of 11?
False
Does 11 divide ((-1)/2)/(2/(-4))*33?
True
Let w = -7 + 9. Let z(x) = 17*x**2 + x - 1. Let c be z(1). Suppose b - w*u - c = 0, -3*u + 8 = u. Does 10 divide b?
False
Let x = 7 - 12. Let t = x - -11. Is 6 a factor of t?
True
Let i = -160 + 47. Does 21 divide (-2 + i)*4/(-10)?
False
Suppose 7*g + 78 - 253 = 0. Does 7 divide g?
False
Let s(f) = f**2 + 11*f - 16. Does 10 divide s(-13)?
True
Suppose -51*w - 356 = -55*w. Does 10 divide w?
False
Let i = -10 - -14. Let t be -1*i*(-3)/4. Suppose -2*w - 2*w = -t*r - 41, 4*w - 42 = 2*r. Is w a multiple of 7?
False
Let o = 3 - 2. Let l be 0/2 + (o - 0). Is (1 + 0)*l + 2 a multiple of 3?
True
Suppose 4*n - 269 = 5*f, 106 = -3*f + f + 2*n. Does 3 divide (2 - f/(-6))*-2?
True
Suppose v = w + 1, -2*w = -v + 6*v - 33. Suppose v*m + 0*m - 110 = 0. Is m a multiple of 11?
True
Suppose 1 = -5*i + 16. Suppose -4*n - i + 11 = 0. Suppose 0*r - 5*r + 39 = 4*h, -2*h + 20 = n*r. Is h a multiple of 11?
True
Suppose 17 = 5*f + 2. Suppose 0 = f*p - 17 - 199. Is p a multiple of 12?
True
Let s(r) be the third derivative of -r**5/60 - r**4/24 + 17*r**3/6 - 5*r**2. Is s(0) a multiple of 10?
False
Let r be 1/(-7) + 39/(-21). Let q be -4 + 10 + 6/r. Suppose q*f - 33 = -3*x + 15, -4*f = 5*x - 68. Is f a multiple of 12?
True
Suppose -d - 6 = -k + 3*d, 30 = 5*k - 5*d. Let n be k/27 - 4/18. Suppose 3*l + 5*u = 21, n*u = -4*l + 5*u + 28. Does 3 divide l?
False
Let b(n) = 2*n**2 - 10*n + 12. Let p = 6 - -1. Is 8 a factor of b(p)?
True
Suppose -13 - 41 = -z - t, 4*z + 2*t - 208 = 0. Let g(q) = -q**2 + 10*q + 2. Let j be g(6). Let u = z - j. Is u a multiple of 24?
True
Suppose -2*y - 5*j + 14 = -j, 0 = -4*y + 4*j - 20. Let z(h) = h**2. Let i(p) = 3*p**2. Let a(k) = i(k) + 9*z(k). Is a(y) a multiple of 12?
True
Let j = -1 + 4. Suppose 3*g + g + 3*m - 151 = 0, 0 = -3*g + j*m + 129. Is g a multiple of 8?
True
Let y(i) = -3*i + 20. Does 2 divide y(5)?
False
Suppose 5*p - p = 0. Let h be 3 + p + -2 + 46. Let d = -27 + h. Does 10 divide d?
True
Let i = 0 - -14. Is i a multiple of 7?
True
Is 30 a factor of 10948/69 + 4/(-6)?
False
Suppose -2*i + 2*m + 98 = 0, 3*m + 51 = -i + 2*i. Suppose 0 = h + h - i. Does 12 divide h?
True
Suppose 4*s - 3 - 93 = 0. Is 5 a factor of s/(-108) + 112/18?
False
Suppose 5*l - 2*n - 1 = 0, -5*n + 12 = 2. Let z(m) = -6*m + 3. Let c be z(-5). Does 3 divide ((-4)/(-12))/(l/c)?
False
Let o(q) = q**2 + 4*q - 1. Let i be o(-5). Suppose -i*p - 2*j = -6*j - 28, p - 4 = 2*j. Does 7 divide p?
False
Let z(d) = d**3 + d - 5. Let x be z(0). Let j be (8/x)/(4/(-10)). Suppose 9 = j*s - 35. Does 11 divide s?
True
Let c(a) = -5*a**3 + a**2 + 2*a. Let n(x) = 10*x**3 - 3*x**2 - 5*x - 1. Let t(p) = 9*c(p) + 4*n(p). Is 28 a factor of t(-2)?
True
Let w(r) be the second derivative of r**5/20 + r**4/3 - 7*r**3/6 - 3*r**2/2 - 3*r. Is w(-5) a multiple of 7?
True
Is 17 a factor of (-136)/(-6)*(-3)/(-4)?
True
Suppose 5*k + w = 770, 2*k + w - 305 = -0*k. Suppose -4*p - 4*l - 55 + k = 0, -l + 5 = 0. Is p a multiple of 10?
True
Let k = -4 - -6. Let p = k + 4. Is 11 a factor of (3*11)/(p/4)?
True
Suppose -4*y - y = 4*t - 150, 0 = 2*y - 4. Let o = t + -14. Does 10 divide o?
False
Suppose -3*f = -8*f. Suppose f*p + 8 = 5*j + 4*p, -j + 3*p = -13. Suppose 2*h - j*n + 15 = 41, 0 = -3*h - 2*n + 31. Does 7 divide h?
False
Suppose 2*c - 3*q - 3 = 0, 9 + 3 = -c - 3*q. Let d(u) = u**3 + 3*u**2 + 2. Let o be d(c). Suppose -o*v + 3*b + 11 + 44 = 0, -v = -2*b - 27. Does 17 divide v?
False
Suppose 2*i + 4 = 0, -3*y + 5*i + 96 = -2*y. Is y a multiple of 18?
False
Suppose -4*h - 4*r + 0*r + 184 = 0, 176 = 4*h + 2*r. Does 14 divide h?
True
Does 6 divide (-29)/(-4 + -1 + 4)?
False
Let b(p) = 51*p**3 + 2*p - 1. Let x be ((-4)/10)/(4/(-10)). Is b(x) a multiple of 18?
False
Suppose 3*j + 4*c = 348 + 124, 2*c = -5*j + 782. Is 26 a factor of j?
True
Let k be 331/(-7) - 4/(-14). Let f = 44 + -64. Let j = f - k. Is 14 a factor of j?
False
Let f = -4 - -5. Let l = 4 - f. Suppose -3*k + l = -39. Is 14 a factor of k?
True
Let l(x) = x**2 + 4*x - 2. Let q be l(-4). Is 1*(0 - q)*8 a multiple of 15?
False
Let c = 66 - 14. Suppose 0 = 2*j - c - 34. Suppose -7 = -5*a + j. Is a a multiple of 10?
True
Let v = -10 + 20. Is 10 a factor of v?
True
Suppose m = -m + 4. Suppose 0 = m*a + 2 - 6, -2*a = -5*x + 96. Is 10 a factor of x?
True
Let g = 47 + 81. Does 32 divide g?
True
Suppose 0 = -3*b - 31 - 14. Does 18 divide (-3)/b - (-89)/5?
True
Suppose -5*w + 0*w = 0. Suppose -2 = -f - w. Is 5 a factor of ((-1)/(-2))/(f/76)?
False
Suppose 0 = -3*b - 2*x - x + 36, 2*x + 88 = 5*b. Is b a multiple of 6?
False
Let a(i) be the second derivative of -i**7/840 + i**6/72 + i**5/60 + i**4/6 - i**3/3 + 2*i. Let h(u) be the second derivative of a(u). Is h(5) a multiple of 14?
True
Let q = 39 - 37. Suppose -n + 6*x - 2*x = -10, -3*n + 5*x = -16. Suppose q*r = y - 10, 0*r - 32 = -n*y + r. Is 9 a factor of y?
True
Suppose -5*k - 4*n - 50 = 0, 2*n - 2 - 18 = 5*k. Let o = -35 - k. Let w = o - -49. Is w a multiple of 10?
True
Let g(p) = 2*p**2 + 2*p - 1. Let o be g(1). Suppose 4*t - 19 = -0*d - o*d, 21 = 5*t + d. Suppose -t*x - x = -190. Is 15 a factor of x?
False
Suppose 3*b = -896 + 47. Let i = b + 398. Is 29 a factor of i?
False
Let i(z) = z**2 - 3*z + 8. Does 16 divide i(8)?
True
Let m(r) = r**3 + 6*r**2 + 5*r + 2. Suppose -10 = 3*x - 1. Let g be m(x). Suppose -a = -g - 26. Is 23 a factor of a?
False
Let v(u) = -108*u + 1. Let n be v(-1). Let s = -60 + n. Is s a multiple of 16?
False
Let t = -12 - -17. Suppose -t = 2*d - 57. Is d a multiple of 13?
True
Let o be 8/(-20) - 6/(-15). Suppose o = u - 4*u + 81. Is u a multiple of 9?
True
Let z(i) = -7*i + 23. Is z(-10) a multiple of 31?
True
Suppose 2*u - 6 = 2*p, 12 = 4*p + 2*u - 0*u. Suppose p = -3*t + 16. Let j = t - -6. Does 11 divide j?
True
Let z = -9 - -39. Suppose 30 = 5*l - 2*y, y - z = -5*l + 4*y. Suppose 24 = -f + 2*f + 2*i, 0 = 2*i - l. Is f a multiple of 9?
True
Suppose 51 = 2*s + g, -76 = -0*s - 2*s + 4*g. Is s a multiple of 4?
True
Let j(t) = -t**2 + 14*t. Let o be j(8). Suppose 3*h = 5*d - 59, -5*d = 4*h - 25 - o. Let x = d - 9. Is x a multiple of 4?
True
Let f(n) = n**3 - 11*n**2 + 0*n + 18*n**2 + 10 - n. Does 9 divide f(-7)?
False
Suppose -v + 2*v = -4*z + 12, 10 = 2*v + z. Suppose 2*w = 2*d + 32, d + v*d + 36 = w. Is w a multiple of 6?
False
Suppose 0 = 3*m - 3*n - 276, -m + n + 92 = -2*n. Is 8 a factor of m?
False
Suppose 21 = -l + 5. Let d = -4 - l. Is d a multiple of 7?
False
Suppose -5*c + 159 = 2*r - 0*r, 2*r = 5*c - 171. Suppose -5*z = -117 - c. Is z a multiple of 30?
True
Let l = 3 + -7. Let y be 8/l - 1/1. Is 11 a factor of ((-1)/y)/(3/153)?
False
Suppose -14 = 2*k + x - 43, 27 = 2*k - x. Does 14 divide k?
True
Is 3 a factor of -1*(1 + 1) - (-27 - -15)?
False
Let l = 18 - 56. Is -2 - -1 - (l + 3) a multiple of 15?