ppose -u*o = -3*o - 22. Is o a multiple of 14?
False
Let q(w) be the third derivative of w**6/120 + 2*w**5/15 + w**4/6 - 5*w**3/3 - w**2. Let d be q(-7). Let z = d - -15. Is z a multiple of 13?
True
Let r(x) = -x**2 + 15*x - 24. Is r(9) a multiple of 3?
True
Let z(u) = -u**3 + 4*u**2 + u + 9. Does 7 divide z(4)?
False
Is 51 a factor of (5640/32)/(-15)*-2*12?
False
Does 13 divide 104 + (4 - (4 - 3))?
False
Suppose 3*p - 3 + 15 = 0. Is (104/4)/(p/(-6)) a multiple of 13?
True
Let f(k) = 17*k - 3. Let d(h) = -h**3 - 5*h**2 + 4*h + 8. Let y be d(-6). Suppose c - 9 = -n - 3, 2*n = -4*c + y. Is 18 a factor of f(n)?
False
Suppose -2*h - h = -330. Is 11 a factor of h?
True
Suppose -2*h - 43 - 49 = 0. Suppose 0 = 5*u + 97 + 18. Let k = u - h. Is k a multiple of 12?
False
Suppose 0 = -3*j + 4*d + 1052, 4*j - 2*d = 3*d + 1402. Suppose -2*u = 4*z - 346, 7*z + 4*u - j = 3*z. Is z a multiple of 13?
False
Let i(x) = 4*x**3 + 2*x**2 - 1. Let w be i(-1). Is 7 a factor of ((53 - w)/(-2))/(-1)?
True
Let j = 177 + -146. Is 6 a factor of j?
False
Let l be (-4)/2*(-5 + 4). Suppose p + 0*u = -u + 15, -u + 25 = l*p. Does 5 divide p?
True
Let p(f) = 3*f**2 + 14*f + 6*f - 19*f. Is p(-2) a multiple of 2?
True
Suppose 2*i = i. Suppose 2*z - 58 - 20 = i. Does 13 divide z?
True
Let u be ((-26)/(-8))/(2/56). Suppose -4*w + u = -77. Is 13 a factor of w?
False
Suppose 0 = 11*v - 6*v - 475. Does 8 divide v?
False
Let q(d) be the second derivative of -d**4/12 - 4*d**3/3 - 3*d**2/2 + d. Let w be q(-7). Suppose 0 = -w*l, 0 = j + j - 4*l - 4. Is 2 a factor of j?
True
Let x(w) = w**3 + 6*w**2 + 5*w - 4. Suppose -3*j - 9 = -6*j. Suppose 9 = -u - 5*r, j*u - 10 = 5*u + 2*r. Is 5 a factor of x(u)?
False
Suppose -4*a + 0*d - 26 = 2*d, 0 = d - 3. Let n be 1 + (-3 - (2 + 290)). Is n/a - (-3)/(-4) a multiple of 19?
False
Let f = -6 - 6. Let v be (-243)/f + (-1)/4. Suppose w + 5*o - v = -6, 0 = -4*w - 5*o + 101. Does 10 divide w?
False
Suppose 4*j - 32 = 2*l, 4*l - 7 = -2*j + 9. Suppose -2*w + j - 41 = -3*x, 20 = 2*x - 2*w. Is x a multiple of 13?
True
Let l(c) = 7*c + 5. Let b(k) = -119*k - 84. Let d(i) = -2*b(i) - 35*l(i). Let w be 87/(-12) + 1/4. Is 14 a factor of d(w)?
True
Suppose 0 = j + 5*g - 2*g - 22, 2*j - 9 = g. Let u = j + -3. Is u a multiple of 3?
False
Suppose 2*v + 157 = 5*b, 5*v + 5 = -0. Suppose -b + 11 = 4*k, -2*d - 7 = 3*k. Is d a multiple of 4?
True
Let x = -8 + 8. Suppose 4 + x = -2*z. Is 12 a factor of (12/(-3))/(z/18)?
True
Suppose -5*b + 1148 = -g, 4*b + g - 928 = -3*g. Is 26 a factor of b?
False
Suppose 0 = w + 1 - 6. Is -2 + 0 - (-1 - w) a multiple of 2?
True
Suppose -2*x + 14 = -2*b, -2*x = 10 - 2. Does 14 divide 2/b + (-4960)/(-176)?
True
Suppose -2*j + 78 = -j. Is 13 a factor of j?
True
Let z = -68 - -128. Is 3 a factor of z?
True
Suppose 4*a - 2*s - 16 = 0, 3*s = -3*a + 5 - 11. Suppose -2*u + 5*t + 26 = 0, u + a*t + 1 + 4 = 0. Does 3 divide u?
True
Suppose 4*u - 4 = -0. Suppose -5*w + u = -3*v - 0, -5*v + 5*w + 15 = 0. Is v a multiple of 3?
False
Suppose 110 = 2*f - 20. Is f a multiple of 13?
True
Let w(n) = n**2 + 30*n - 7. Let s(m) = -m**2 - 20*m + 5. Let t(p) = -7*s(p) - 5*w(p). Let y = -4 - -12. Is t(y) a multiple of 17?
False
Let i(r) = r**3 - 7*r**2 + 5*r + 3. Let x be i(6). Let u be 5*12/45*x. Let t(s) = -s**2 - 5*s - 1. Is t(u) a multiple of 3?
True
Is 398/10 - (-2 - (-27)/15) a multiple of 3?
False
Is 9 a factor of 27/(-1)*9/(-27)?
True
Let l = -65 + 113. Let j = l - 25. Is 20 a factor of j?
False
Let c = -17 + 46. Is c a multiple of 25?
False
Is 5 a factor of ((-35)/(-2))/((-3)/(-6))?
True
Let z(v) = v**2 + 8*v + 8. Does 5 divide z(-8)?
False
Suppose -3*p - 3*p + 168 = 0. Is p a multiple of 4?
True
Let y = 102 + -27. Is y a multiple of 25?
True
Let n be 6/(-18)*1*-15. Suppose -10 = -n*i - 185. Is (-172)/(-14) - (-10)/i a multiple of 5?
False
Suppose 7 = j + 4*m, -5 = 5*j + m - 21. Suppose j*b = b. Suppose b = -4*y + 27 + 41. Is y a multiple of 17?
True
Let l(x) = 40*x**2 + 13*x + 2. Is l(-2) a multiple of 35?
False
Suppose -3*d + 33 = -3*o, 3*d - 6*o - 21 = -9*o. Is d a multiple of 9?
True
Let r = 17 - -1. Let b = r - -6. Is b a multiple of 12?
True
Does 7 divide 21 - ((3 - 1) + -1)?
False
Does 30 divide -1 + (-316)/(-4) + 4?
False
Let p = 14 - 38. Does 15 divide (p/10)/(4/(-50))?
True
Suppose -2*p + 4 + 0 = 0, -3*t - 5*p = -55. Is t a multiple of 6?
False
Let u(a) = -a**3 - 2*a**2 - a - 6. Is 28 a factor of u(-7)?
False
Suppose -20 = -2*o + 144. Suppose f - 53 - 44 = 0. Suppose 6*h - 3*h - i = f, 3*h - o = 4*i. Is h a multiple of 17?
True
Let h = -25 - -19. Suppose 5*z + 16 = z. Does 3 divide z/h - (-16)/3?
True
Suppose -3*p + 0 - 2 = g, 4*p + 28 = 5*g. Suppose -7*w + 150 = -g*w. Is (-5)/10 + w/4 a multiple of 4?
True
Is (-30 - 8)*(-1)/2 a multiple of 16?
False
Let x(y) be the second derivative of y**5/20 + y**4/2 - y**3/2 + 4*y**2 + 2*y. Suppose 5*k - 4 = -34. Does 14 divide x(k)?
False
Let l(m) = 7*m - 2. Let u be l(4). Suppose 0 = 2*x - r - 43, -5*x = 5*r - u - 59. Is x a multiple of 10?
True
Let d = 3 - 1. Suppose 2*j - d*q = j + 12, -3*j + 5*q + 31 = 0. Is j even?
True
Suppose -4*m + 69 = 497. Let f = -69 - m. Is 21 a factor of f?
False
Let y(n) = 0 + 3 + 14*n + 1. Is 21 a factor of y(3)?
False
Does 11 divide 154/8 + 2 + 25/(-20)?
False
Suppose -28 + 0 = 4*p. Let l = 3 - p. Is 7 a factor of l?
False
Suppose 3*y - 121 = -2*f, f + 0*f - 65 = 3*y. Let u = f - 36. Is u a multiple of 26?
True
Let i(w) = -w + 9. Let d be i(7). Let o = 16 - d. Is 14 a factor of o?
True
Let b be 4 + (-14)/3 + (-688)/(-6). Let y(f) = f**3 - 5*f**2 - 2*f. Let o be y(6). Suppose -o + b = 3*d. Does 15 divide d?
True
Let m be (0 + 1)*(0 + 6). Let t(g) = m*g - 3*g + 9*g - 1. Is 10 a factor of t(1)?
False
Let l(w) = -23*w + 7. Is 16 a factor of l(-3)?
False
Let b(x) = 115*x**2 - 2*x + 1. Is b(1) a multiple of 15?
False
Let n be (-3 - -3)/(2 - 1). Suppose n = -h - 0*h + 3. Suppose 16 = -h*m + 175. Is m a multiple of 18?
False
Let k(t) be the second derivative of -5*t**3/6 + t**2/2 + t. Let d be k(-1). Suppose 3*c - d = 6. Does 3 divide c?
False
Let w be (-291)/(-18) + 1/(-6). Suppose w = 3*h + 2*s + 2*s, 2*h + 4*s - 12 = 0. Suppose j = h*r + 6*j - 12, -4 = -2*r - 3*j. Is 3 a factor of r?
False
Let r be (12/(-8))/(6/(-376)). Suppose -4*s = -5*f - 0*f - r, -s - 3*f + 15 = 0. Does 7 divide s?
True
Let n be ((-6)/(-10))/(2/50). Let k = -6 + n. Is k a multiple of 9?
True
Let w = -16 - -18. Suppose -2*l + 85 = 5*j, -w*l - 24 = -j - l. Is j a multiple of 7?
False
Let i(c) = 2*c**2 + 7*c + 7. Suppose -1 = -5*h + 9. Let g be (2 - 6) + h/(-2). Is i(g) a multiple of 18?
False
Let u be (16/(-6))/((-4)/30). Suppose -r + u = -2*r. Let f = r + 46. Is f a multiple of 9?
False
Is (-15)/(-6)*(-24)/(-15) a multiple of 2?
True
Suppose 0 = -3*r + 3. Let b be -1 + r + -2 + 1. Does 17 divide 2 - (b - 31)/1?
True
Suppose 21 = m - 3*l + 4, 4*m - 3*l - 32 = 0. Suppose -m*a + 126 = -44. Does 9 divide a?
False
Let i(c) = c**2 - c + 0*c + 0*c**2 + 11 - c**3. Let a be i(0). Suppose -a = -3*d + y, -2*d = -0*d - 4*y - 4. Is d even?
True
Suppose -1693 - 215 = -6*d. Is d a multiple of 53?
True
Let n(g) = 2*g + 22. Does 15 divide n(0)?
False
Let m(f) = -2*f**3 + f**2 - 2*f. Let u be m(-2). Is u - (-5)/((-5)/(-2)) a multiple of 13?
True
Let p(m) be the second derivative of m**5/20 - m**4/4 - m**3/2 - m**2 - 9*m. Let j = -3 + 7. Is p(j) a multiple of 2?
True
Let o(t) = t**2 + 4*t - 4. Let r be o(-5). Let x(w) = -w**3 + 4*w**2 + 4*w + 5. Let s be x(5). Suppose s = -a + 17 + r. Does 12 divide a?
False
Let u = -3 + 6. Let v be 1/u*0*1. Is 10 a factor of (v + (-1)/2)*-68?
False
Does 5 divide (-528)/(-8)*(-2)/(-3)?
False
Does 18 divide (-4 + 3)*-343 + -1?
True
Suppose 0 = -7*g + 3*g + 2*s + 194, 3*g + 3*s = 150. Let o = g + -31. Is 17 a factor of o?
False
Suppose 0*q + 5*q = 0. Suppose z = 6*z + 5*c - 15, -5*z - 3*c + 21 = q. Is z a multiple of 3?
True
Let n be (1 + 0)*(2 + -2). Suppose n = 2*a - 0*a + 6. Let h = 2 - a. Is 5 a factor of h?
True
Suppose -1 + 22 = -3*a. Let w(l) = l**3 - l**2 - 2. Let q be w(2). Does 2 divide (a + q)*(-1)/1?
False
Let p = 10 - -30. Suppose -h + 5*h = 4*q + p, 2*q = -h - 5. Is 4 a factor of h?
False
Let y = 6 - 14. Let b be -6*2/y*2. Suppose -l - m = b*m - 27, -3*l + 54 = 3*m. Is 6 a fa