 38 a factor of k?
False
Let r = 15 - -64. Is r a multiple of 11?
False
Let n = 5 + -1. Suppose 2*z + n + 6 = 0. Let c = z + 10. Does 5 divide c?
True
Let r be 4*((-45)/(-6))/(-5). Let x(s) = -s**3 - 6*s**2 - 2*s - 8. Let t be x(r). Is 34 + t*(-2)/(-4) a multiple of 18?
True
Let i(v) = 37*v**2 + v - 1. Let h be i(2). Suppose -5*q = -4*d + 6 + h, 0 = 3*d + 4*q - 124. Let u = d - 26. Is 5 a factor of u?
False
Let r = -1 + 11. Let u be r/6*(4 + -1). Suppose -o + 5*a + 40 = 4, 0 = 4*o - u*a - 84. Is 8 a factor of o?
True
Let m = 3 - -1. Suppose r = 2*r - m. Suppose -r*s = -h + 14, 5*h + s = -s + 136. Is 8 a factor of h?
False
Let z be (1 + -5)*(7 - 8). Suppose 3*q - z*i = i + 194, 310 = 5*q + 5*i. Is 23 a factor of q?
False
Let s(d) = -18*d + 1. Let n be s(-4). Let c = -9 - n. Let i = c + 124. Is 21 a factor of i?
True
Let u(z) = -9 - 8*z - 3*z**3 + 6*z**2 + 4*z**3 + 0*z**3. Let q be u(-7). Is (-10)/3*27/q a multiple of 19?
False
Let l = -204 + 285. Is l a multiple of 18?
False
Let f(g) = -g + 2. Let s be f(-3). Suppose -5*y + v = 6*v - 45, 0 = 4*y - s*v - 9. Is 3 a factor of y?
True
Suppose g + 2 - 5 = 0, 0 = 4*a + 4*g + 36. Let l = 7 - a. Is 6 a factor of l?
False
Suppose 4 = 5*p - 1. Is ((-2)/p)/(6/(-99)) a multiple of 12?
False
Suppose -x + 28 = -225. Is 23 a factor of x?
True
Suppose 3*b = 4*m + 172, 2*b - 3*m = -b + 168. Does 26 divide b?
True
Let v = -32 - -49. Is v a multiple of 4?
False
Suppose -21*t - 92 = -23*t. Is t a multiple of 6?
False
Suppose 5*t - 13 - 2 = 0. Suppose 57 = t*y - 0*y. Suppose 4*a = -3*u + y - 3, -u = -a + 11. Is 7 a factor of a?
True
Let v(i) = i**3 + 6*i**2 + 2*i. Let p = -11 - -6. Is 15 a factor of v(p)?
True
Let a = 3 + -2. Let d be (0 - a*6)/(-1). Suppose 2*l + 3*i - d*i - 88 = 0, -5*l = 5*i - 170. Is l a multiple of 17?
False
Let x be 2120/(-44) - 4/(-22). Does 12 divide x/9*-3 - -2?
False
Let d = -46 - -172. Is 30 a factor of d?
False
Let q(f) = 5*f - 2. Let d be q(1). Suppose 133 = 4*u + 5*r - 4*r, -d*r + 127 = 4*u. Is u a multiple of 7?
False
Let i = 8 - 5. Suppose 0 = -4*a - 6*s + s + 89, 0 = i*a - 5*s - 93. Suppose 2*y + 2*t = a, -4*t = 3*y - 43 + 7. Is y a multiple of 8?
True
Let d be (6/(-2))/((-3)/(-6)). Let o(k) = -k**2 - 8*k - 9. Let s be o(d). Suppose 4*q - s*i = 60, i = 3*q - 2*i - 45. Is 10 a factor of q?
False
Is 11 a factor of (-2)/(-8) + (-525)/(-12)?
True
Let l(n) = n**3 + 11*n**2 + 4*n - 17. Does 24 divide l(-8)?
False
Let l = 7 - 7. Suppose l = 2*t - 28 + 2. Suppose 3*f - 44 - t = 0. Is f a multiple of 8?
False
Let j = 202 - 142. Is j a multiple of 20?
True
Suppose -2*d = 3*j - 41, -4*d - 3*j + 0*j + 97 = 0. Suppose 4*t = 36 + d. Suppose -4*v = -2*a - t, 5*v + 2 = 4*v + 2*a. Is v a multiple of 3?
True
Does 19 divide 0 - 19*(-2 - -1)?
True
Suppose -3*w + 162 = m + m, 124 = 2*w - 4*m. Is w a multiple of 11?
False
Let k(j) = 16*j**2 + 2*j. Is 17 a factor of k(2)?
True
Let b = 11 - 9. Suppose b*x + 8 = 0, 32 = -s + 4*s - 5*x. Does 3 divide s?
False
Let q(m) = -4*m - 11. Let o be q(-6). Let l = 16 - o. Is 2 a factor of l?
False
Let b(j) be the third derivative of 14*j**4/3 - 3*j**3/2 + 2*j**2. Let z be b(6). Is 19 a factor of (-2)/10 + z/15?
False
Let w be 2/(-4) + 7735/14. Let c be w/21 - 8/28. Let s = 46 - c. Is s a multiple of 10?
True
Let d(j) = j**3 + j**2 - 3*j + 3. Let p be d(-3). Is (-16)/24 + (-340)/p a multiple of 14?
True
Suppose 3*b + j - 126 = 0, -3*j = b - 0*j - 34. Suppose 3*s - 4*s + b = 0. Let w = s + -9. Is w a multiple of 17?
True
Suppose 3*a = -12, 3*d - 3*a - 97 - 35 = 0. Does 12 divide d?
False
Suppose 4*c + 0*c + 244 = 4*g, -9 = -3*c. Is g a multiple of 11?
False
Let m(v) = 20*v + 15. Let q(z) = -13*z - 10. Let n(f) = -5*m(f) - 8*q(f). Is n(4) a multiple of 7?
True
Let q be ((-4)/(-6))/((-1)/(-3)). Suppose 5*n + q*h - 27 = 0, -12 = -4*n - 5*h + h. Is 6 a factor of n?
False
Let g(r) = -r**2 + 10*r - 16. Let v be g(7). Suppose 173 = v*a - 4*w + w, -2*a - w = -78. Does 8 divide a?
False
Suppose -5*w = -w. Suppose 3*h = -5*g - w*g + 80, h - 32 = g. Is h a multiple of 27?
False
Let p = 6 - 6. Is p - (-1)/((-1)/(-28)) a multiple of 11?
False
Let m = 133 + -79. Is m a multiple of 20?
False
Is 4 a factor of (-16)/(-3)*(-9)/(-12)?
True
Does 6 divide ((-14)/(-3))/((-2)/(-36))?
True
Let a = -3 - 0. Let t(b) be the second derivative of b**5/20 + 5*b**4/12 - b**3/3 - 7*b. Is t(a) a multiple of 12?
True
Let l(t) = -2 + 12*t**2 + 1 + 3*t**2. Is l(1) a multiple of 7?
True
Let d(b) = b**3 - b**2 - 6*b + 3. Let s = 3 + 1. Does 18 divide d(s)?
False
Let m(q) = -q + 2. Let h be m(-6). Let f(x) = 7 + 4*x + x**3 + 0*x**2 - 2*x - 3*x + h*x**2. Does 8 divide f(-8)?
False
Suppose 0 = o - 3*l + 6, -o - 2 + 0 = -l. Suppose -2*u - 3 - 1 = o, 3*u = -m + 6. Is m a multiple of 9?
False
Suppose 5*j - 83 = -3*l, l = -4*l + 5*j + 125. Suppose o + 3 = 0, 3*y - 67 - l = 3*o. Is y a multiple of 14?
True
Suppose -84*m + 88*m = 20. Let i(u) be the first derivative of -u**3/3 + 11*u**2/2 - 5*u - 1. Is 11 a factor of i(m)?
False
Suppose 0 = -4*k + 16, 4*k - 412 = -4*r + 216. Suppose 5*w + 18 = r. Let g = w + -15. Is g a multiple of 12?
True
Let j(p) = -p**2 - 32*p - 24. Does 8 divide j(-20)?
True
Is (1 - -11)/4 + -3 + 150 a multiple of 15?
True
Let o = -44 + 20. Is 22 a factor of (27/(-12))/(1/o)?
False
Suppose 59 = g + 5*b, -6*g + 3*g - 2*b = -125. Is 3 a factor of g?
True
Let m(h) = 10*h + 5. Let j be m(-5). Let w = 69 + j. Does 8 divide w?
True
Suppose 9 = 4*p - u, 2*u + 2 = -p - 7. Let x be (p - 9/6)*0. Suppose x = 4*f - n - 11, -5*n + 25 = -0. Is f a multiple of 4?
True
Let h(j) = -10*j + 1. Suppose 2*i + 4 = -2*i. Is h(i) a multiple of 3?
False
Let g be (-40)/12*(-246)/4. Suppose g = 6*r - r. Let q = -4 + r. Does 14 divide q?
False
Suppose 5*c - 10 = 4*d - 3*d, 3*c - 4*d - 6 = 0. Suppose -g - c*g + 54 = 0. Is g a multiple of 5?
False
Let l be (-7)/(-14)*(-5 + -1). Is l/(-24) - 693/(-24) a multiple of 16?
False
Suppose -6*x + 7*x = 13. Is 13 a factor of x?
True
Let r(f) = f**3 - 2*f**2 + 3*f - 1. Let y be r(2). Suppose k + 128 = y*k. Is k a multiple of 16?
True
Let l = 9 + 23. Does 10 divide l?
False
Let g be (-114)/(-22) + (-22)/121. Suppose x + x - 54 = 4*s, -135 = -g*x - 5*s. Is 9 a factor of x?
True
Let k = -3 - -5. Suppose -k*j + j + 3*i = 4, 0 = 3*j - 2*i + 12. Let s = -2 - j. Is s a multiple of 2?
True
Suppose 5*l = x + 61 + 19, 10 = l + x. Is l a multiple of 2?
False
Let g(z) be the first derivative of -2 - 5*z + 5/2*z**2. Is g(5) a multiple of 7?
False
Suppose -5*t + 92 = -4*t. Suppose s - 1 + 17 = n, -3*s = 4*n - t. Is 8 a factor of n?
False
Let r be (-16)/(-20)*(-195)/(-2). Suppose -3*u = -4*j + 118, -4*j - j + 158 = -4*u. Let f = r + u. Does 19 divide f?
False
Let q be -1*(-28*1 - -2). Suppose -5*h = m - 10 - 4, -3*h = -m - q. Let n(p) = p**2 + 10*p - 4. Is 7 a factor of n(m)?
True
Suppose -10 = 5*o - 0. Let d = o - 6. Let g = d - -14. Is g a multiple of 5?
False
Suppose 0 = -q - 2*q + 12. Suppose 8 = q*g + 20. Let k(b) = b**2 - 4*b + 1. Is k(g) a multiple of 14?
False
Let r(v) = -6 - 4*v + 0 + 10*v + 3*v**2 + 0*v**2. Let q(t) = 2*t**2 + 3*t - 3. Let a(o) = 5*q(o) - 3*r(o). Does 16 divide a(-5)?
False
Let t be ((-9)/(-6))/((-1)/(-2)). Suppose -b + 67 = 2*i, -4*b + t*b - 3*i = -62. Let k = b + -34. Does 15 divide k?
False
Suppose 149 = -2*y + 549. Does 9 divide y?
False
Let g(h) be the first derivative of -h**3/3 + 13*h**2/2 - 10*h - 1. Is g(9) a multiple of 13?
True
Suppose 6*s - 509 = -95. Is (-2 + s/9)*9 a multiple of 12?
False
Let t(d) = -2*d - 2. Let o(s) = s**2 - 2*s - 2. Let z(g) = 5*o(g) - 4*t(g). Is z(-3) a multiple of 23?
False
Let n be 81/2 - 9/(-18). Suppose -b = -0*b - n. Is 13 a factor of b?
False
Let j be 10*7/(70/(-4)). Let x be 10/j*(-8)/5. Suppose -x*l = -0*l - 120. Is 10 a factor of l?
True
Let k be 2 + (-1)/(-1)*1. Suppose 2*w - 62 = 2*m - k*m, 5*m - 145 = -5*w. Is 11 a factor of w?
True
Suppose -y = 3*h - 132 - 100, y = 3*h - 224. Is h a multiple of 16?
False
Suppose -39 = q + 5. Let o be (-2)/5 + q/(-10). Suppose 0 = -3*g + r + 45, -r = -o*g - 0*r + 59. Is 11 a factor of g?
False
Suppose g = 3*g. Is 17 a factor of -2 - -3 - (-48 + g)?
False
Suppose -3*s = -5*s - 5*l + 62, -5*s + 125 = 5*l. Is 21 a factor of s?
True
Let g = -37 + 45. Does 4 divide g?
True
Let m be (2/(-1) -