False
Is 6 a factor of (175/(-21))/((-1)/3)?
False
Suppose -2*m - 2*z + 190 = 0, -3*z + 110 = m - 7*z. Is 14 a factor of m?
True
Suppose 80 = 5*b - 40. Suppose -3*l + b = -2*l. Is 12 a factor of l?
True
Suppose 5*v - 5*c - 19 = -2*c, 5*v - 22 = 4*c. Suppose 26 - 7 = v*i - 5*h, 7 = -i - 3*h. Suppose i*w + 2*y = y + 45, 5*w - y - 109 = 0. Does 14 divide w?
False
Suppose 3*k = -0*k + 3. Suppose -z + k = -7. Does 4 divide z?
True
Let k = 22 - 20. Suppose -k*z + 3*z = 18. Is 16 a factor of z?
False
Let g(n) = 17*n**2 + n. Does 22 divide g(-2)?
True
Let c be 3/(-12) - 2/(-8). Let j be -1 + c + 10 + 1. Suppose -l = -j - 4. Does 7 divide l?
True
Let x(c) = -c**3 - 8*c**2 + 3*c + 8. Let v be x(-8). Let r = 28 - v. Is 13 a factor of r?
False
Let q be (3/4)/((-6)/(-48)). Suppose a - 9 = q. Is a a multiple of 6?
False
Suppose 1512 = 25*t - 16*t. Is t a multiple of 24?
True
Let g = -5 - -7. Suppose 0*p + g*p = 10. Suppose 20 = p*m - 4*m. Is m a multiple of 10?
True
Suppose -2*j + 4*j - 64 = 0. Let t be ((-22)/4)/((-15)/(-30)). Let y = j - t. Is 11 a factor of y?
False
Let x(u) = u + 6. Let j be x(-7). Let y = j + 1. Suppose 0 = -y*h - h + 18. Is 9 a factor of h?
True
Let h be (28/16)/(1/8). Suppose -k + 3 + h = 0. Is k a multiple of 17?
True
Does 10 divide ((-9*1)/(-3))/(18/102)?
False
Let k = -29 + 41. Let r = 20 - 17. Is 9 a factor of (r - (-1 + 2)) + k?
False
Let j(u) = -3 + 3*u - 3*u + 5*u. Does 16 divide j(7)?
True
Suppose -5*f - 11 = -46. Let o(n) = -4*n - 8. Let v be o(f). Let p = -23 - v. Does 13 divide p?
True
Let s(v) = 2*v + 1. Let j be s(2). Suppose -50 - 155 = -j*l. Is 21 a factor of l?
False
Let g(j) = -j**3 - 10*j**2 - 11*j + 4. Let z(f) = -9*f**2 - f - 1. Let q be z(-1). Is g(q) a multiple of 11?
True
Let n be 346/10 - (-18)/(-30). Does 7 divide n*1/2 + 3?
False
Let u = 1 + 9. Let i be (-28)/u - (-2)/(-10). Is 261/12 + i/(-12) a multiple of 13?
False
Suppose -4*d + g - 1 = 2*g, 4*g - 12 = 0. Let c(u) = u**2 - 1. Let a(y) = -23*y**2 + 3. Let i(x) = -a(x) - 2*c(x). Is i(d) a multiple of 7?
False
Let g = 10 + -3. Let z be 1/2 + 9/6. Suppose -v = f - g, 5*f - z*v = -0*f + 35. Is f a multiple of 4?
False
Let c = -10 + 49. Is 13 a factor of c?
True
Suppose 5*q - 565 = -5*s, -4 = 4*s - 0. Does 26 divide q?
False
Let z(o) = -2*o + 2*o + 11*o + 0*o - 12. Is 18 a factor of z(6)?
True
Let v = 23 + -13. Suppose -4*u = -v - 22. Is 17 a factor of (-66)/u*16/(-3)?
False
Suppose s = 8 - 3. Is 4 a factor of 2/s + 18/5?
True
Let i be 3/((-9)/(-6)) - -33. Is (3 + -3 - 3) + i a multiple of 8?
True
Let g(n) = n + 15. Let s(z) = -7. Let r(l) = -2*g(l) - 5*s(l). Let k(t) = t**3 + 7*t**2 + 6*t - 8. Let h be k(-6). Is 7 a factor of r(h)?
True
Is (14 - 1)*(3 + 0) a multiple of 13?
True
Let o(p) = 13*p**3 - 7*p**2 - 17*p - 7. Let y(t) = -3*t**3 + 2*t**2 + 4*t + 2. Let j(l) = 2*o(l) + 9*y(l). Suppose 12*d = 9*d + 12. Is 4 a factor of j(d)?
True
Suppose 0*s - 4*s = -8. Suppose -v = -5*m + 125, 0 = -4*m + 4*v + 75 + 41. Suppose s*a - a = m. Is 12 a factor of a?
True
Let m(v) = 2*v**2 - 2*v - 4. Let k(c) = c - 2. Let t be k(5). Is m(t) a multiple of 4?
True
Suppose 0 = 75*a - 74*a - 72. Is a a multiple of 12?
True
Let l be ((-4)/5)/(6/(-15)). Suppose -g - 7 = -0*c - 3*c, 4 = l*g. Is 11 a factor of (-2)/3 + 83/c?
False
Let w(z) = 2*z + 11. Let x be w(-8). Let b(v) = v**2 + 5*v - 5. Let g be b(x). Let k = 34 + g. Is k a multiple of 13?
False
Suppose 92 + 43 = 5*j. Is (1*3)/(j/18) even?
True
Let h(j) = -5*j**3 - j**2 + 2*j + 10. Let k(d) = 4*d**3 + 2*d**2 - 2*d - 9. Let t(g) = 3*h(g) + 4*k(g). Let f be (-1 - (2 - 2))*4. Is t(f) a multiple of 18?
True
Let b be (-4)/14 + 8696/56. Let t = b - 92. Does 21 divide t?
True
Is 604/16 - (-2)/8 a multiple of 30?
False
Let o = 124 - 24. Is o a multiple of 9?
False
Let k(g) = -g**3 + 5. Let i be k(0). Suppose 59 = i*t - 2*r, t + 2*t + 4*r = 25. Is t a multiple of 11?
True
Let u be ((-60)/(-8))/(2/(-12)). Let t = u + 70. Does 9 divide t?
False
Let c = -9 + -6. Let p = c + 21. Does 3 divide p?
True
Suppose 13 = 2*t + 5. Suppose -c + 5*z + 12 = t, -16 = -c + z. Suppose h = -6 + c. Is 6 a factor of h?
True
Suppose 3*k + 9 = -2*s + 6*s, -s = -k - 1. Let q(h) = 6*h. Is 6 a factor of q(s)?
True
Let d be (-83)/9 - (-6)/27. Is 256/12 + 3/d a multiple of 21?
True
Suppose 4*y = 10 + 6. Suppose y + 96 = 4*p. Is 13 a factor of p?
False
Suppose 4*u + 4*l - 6*l = 8, 0 = 4*u + 4*l - 8. Suppose -95 = -u*b - 3*b. Does 19 divide b?
True
Let v(p) = 2*p + 6. Let t be v(-4). Is (-7)/t*(0 - -2) a multiple of 7?
True
Let p(v) = -v**3 - 6*v**2 - 6*v - 3. Let u be p(-5). Suppose 5*k = 6*h - u*h - 113, 5*h - 85 = -5*k. Does 11 divide h?
True
Let a be (91 - 7) + (0 - 0). Suppose a + 66 = 5*z. Is 30 a factor of z?
True
Let i be 3*(-33)/(-9)*-1. Is 7 a factor of (-2)/i + (-150)/(-22)?
True
Suppose -2*h = 3*h. Suppose h*y - 2*y + 5*d = -24, 3*y + 5*d = 11. Suppose v - 17 = y. Is v a multiple of 7?
False
Suppose 4*u = -u. Suppose u = 6*a - 4*a - 26. Does 13 divide a?
True
Let x(q) = -5*q + 2. Let g be x(5). Let a = -17 - g. Does 6 divide a?
True
Suppose -4*p = p + g - 84, -3*g = -2*p + 20. Does 5 divide p?
False
Let p = -268 - -578. Is 17 a factor of (p/(-15))/(1/(-3))?
False
Suppose -3*p - 2 = -5. Suppose -i - 7 = 5*d, -2*d - 3*i - p = -7*d. Is d/1*(2 + -11) a multiple of 9?
True
Let c be (-3)/(-12) + (-2)/8. Suppose c*s - 195 = -5*s. Is s a multiple of 13?
True
Let z be -4*2/4*-1. Is (-1 + z)*(-82)/(-2) a multiple of 18?
False
Let o be 29 + (-4)/(-8)*-2. Suppose 2*a = 3*q + 3, -2*a + q + 0 = -1. Suppose -5*h + 2*i + o = -86, -h - 5*i + 12 = a. Does 12 divide h?
False
Let s = -7 - -7. Suppose s = -t + 2 + 7. Let b = t - 7. Is b a multiple of 2?
True
Suppose -10 - 6 = -4*p. Suppose -13 = -p*k + 95. Is 7 a factor of k?
False
Does 30 divide 93 - (-1 - -7)/2?
True
Let g = -21 + 74. Let k = -9 - -19. Suppose -3*n = -g - k. Does 10 divide n?
False
Let d(u) = -2*u + 6*u + 0*u + 2 + 2. Does 8 divide d(2)?
False
Let y(c) be the first derivative of 1 + 5/2*c**2 - 4*c. Does 9 divide y(3)?
False
Let j(k) = -k**3 + 9*k**2 + 11*k - 8. Let o be j(10). Suppose 2*b + 82 = o*h, -38 = -0*h - h + 2*b. Does 12 divide h?
False
Let x = -1 + 1. Let i = 2 - x. Is 2 a factor of i?
True
Let k = -8 + 13. Suppose -k*f + 4*f - 29 = 0. Let w = -13 - f. Is w a multiple of 6?
False
Suppose -6*p - 180 = -9*p. Is 15 a factor of p?
True
Let y(t) = t**3 + 5*t**2 - 3*t - 4. Is y(-5) a multiple of 5?
False
Let h be 116 + (1 - 0)*-2. Is h/21 + (-6)/14 even?
False
Let x(k) = -4*k**2 + 1. Let h be x(1). Let a be ((-18)/4)/(h/4). Suppose 5*v - 71 = -a. Does 6 divide v?
False
Suppose -p = -41 - 88. Does 26 divide p?
False
Let d = -207 + 477. Is 30 a factor of d?
True
Let v(o) = -2*o**3 + 3*o**2 - 5*o + 3. Let h be v(-4). Suppose -g = -2*g + z + 41, 5*g - 2*z = h. Is 17 a factor of g?
False
Let a(c) = c**2 - 5*c - 10. Let y(h) = h**2 + 4*h - 3. Let i be y(-6). Let p = i + -2. Does 4 divide a(p)?
True
Suppose -2*y - 8 = -c, 2*y = 2*c - 0*y - 16. Let v = 2 + c. Does 7 divide v?
False
Let h(w) be the first derivative of w**3/3 - 3*w**2/2 - w - 1. Is 9 a factor of h(5)?
True
Let h be 210/66 - (-4)/(-22). Is 18 a factor of h/(-9) + 110/6?
True
Let h = -29 + 49. Is 5 a factor of h?
True
Let g(p) = 12 - 23 + 8*p + 10. Is g(1) even?
False
Suppose -4*m = 2*j - 796, -3*m + 5*j = 83 - 693. Is 23 a factor of m?
False
Let i be -2*1/(-2) - -3. Suppose 4*v - 65 + 11 = 5*a, i*v + 5*a - 74 = 0. Does 4 divide v?
True
Let s = 12 + -8. Let z(j) = s + 3 - 1 + j**2 + 3*j. Is 5 a factor of z(-4)?
True
Suppose -18 = 8*g - 2*g. Is 19 a factor of 32 + (-1 - g)/(-2)?
False
Does 6 divide 4/(-3)*99/(-22)?
True
Suppose -10 = -2*t, 430 = -2*o - 3*o + 2*t. Let v = -47 - o. Is v a multiple of 19?
False
Let u(c) be the third derivative of -c**6/360 - c**5/20 + c**3/2 - 2*c**2. Let w(m) be the first derivative of u(m). Does 2 divide w(-5)?
False
Suppose -2*w + 170 = r, 2*w = -r - 3*w + 161. Does 19 divide r?
False
Let a(x) = 2*x**2 + 17*x - 10. Is 18 a factor of a(-13)?
False
Let i be (584/12)/((-4)/(-6)). Suppose -5*o = 4*h - 22 - i, -70 = -3*o - 5*h. Is o a multiple of 7?
False
Let c be 40/(-3) - 2/(-6). Let m = 41 - 19. Let x = c + m. Is 4 a factor of x?
False
Suppose -2*k + k = 4. Let t(b) = 2*b**3 + 21*b**2 + 2*b - 11. Let l(x) = x**3