14 a factor of m?
False
Let l = -362 - -715. Is 38 a factor of l?
False
Let h = -253 + 405. Does 19 divide h?
True
Suppose 0 = -3*x + 1 + 8. Suppose 192 = w + x*w. Is w a multiple of 16?
True
Suppose 2*x - 20 = -3*x. Suppose 0*f + f - 51 = 0. Suppose -3*s = -a + 15, -x*a + a + f = -3*s. Is 9 a factor of a?
True
Let j be (-10 - 1/1) + 3. Is 45/2 + j/(-16) a multiple of 23?
True
Is (-9)/(57/(-28) - -2) a multiple of 63?
True
Let u be 3/(-15) + 39/(-5). Let c = u + 11. Suppose 4*k - 94 = c*x, 0*k - 3*x = 2*k - 38. Is k a multiple of 11?
True
Suppose w + 1 - 6 = 0. Suppose 0*v - 15 = -w*v. Suppose v*t = -5*c + 174, 4*c + c - 170 = -5*t. Does 16 divide c?
False
Suppose 0 = 5*g + 249 - 44. Let w = -137 - g. Does 20 divide 30/8*w/(-9)?
True
Let l(d) = 9*d + 4. Let o(q) = 10*q + 5. Let c(i) = 4*l(i) - 3*o(i). Is c(1) a multiple of 3?
False
Let b(i) = -i**3 + 9*i**2 + 10*i + 3. Is b(10) a multiple of 3?
True
Let l = 5 + -4. Is (l - 0) + 4 + 1 even?
True
Let z(b) = -b**2 + 5*b + 4. Let m be z(6). Is 22 a factor of (0 + -66)/(3/m)?
True
Let a be 10/(-2)*(1 + -2). Suppose -2*z = -30 - 40. Suppose 115 = a*v - z. Does 15 divide v?
True
Does 13 divide (1 + 0 + 1)*13?
True
Let z(a) = -a**3 - 9*a**2 - 4*a - 4. Is z(-9) a multiple of 8?
True
Let r(x) = x + 1. Let q be r(3). Suppose 16 = 2*s + q. Does 6 divide s?
True
Let a(i) = 38*i - 10. Let b be a(9). Suppose 3*j = 7*j - b. Is 24 a factor of j?
False
Let r be 143/(-6) + (-2)/12. Is 8 a factor of (r/20)/3*-80?
True
Suppose -3*f = -4*z - 4*f + 17, -2*z + 5 = -3*f. Does 2 divide z?
True
Let y(x) be the third derivative of -4*x**6/15 - x**4/24 + x**2. Is y(-1) a multiple of 11?
True
Is 7 a factor of 3 + (-2 - 1/(-1))*-16?
False
Let r(z) be the first derivative of z**4/2 + z**3/3 + 2. Let n be r(1). Suppose -5*a + h + 23 - 3 = 0, 2*h + 1 = -n*a. Is a a multiple of 3?
True
Suppose -2*t + 0*o + 36 = o, 2*o = -t + 21. Suppose -5 = -i + t. Suppose 3*b - 166 = -i. Is b a multiple of 16?
True
Let v be -3*((-8)/(-6) - 3). Suppose -v*u - 82 = -2*w - u, 4*w - 174 = -2*u. Is 18 a factor of w?
False
Suppose -5*w = j - 9, -4*j - 12 = 3*w - 7*w. Suppose 0 = -11*x + 14*x - 99. Is 17 a factor of w*(-1 - x/(-2))?
False
Let q(x) = -x**2 - 9*x - 8. Let s be q(-8). Suppose -3*u + 2*u + 5*m = -40, -u + m + 48 = s. Does 9 divide u?
False
Let y(t) be the second derivative of 47*t**4/12 - t**3/6 + 3*t. Does 23 divide y(1)?
True
Suppose a - 3*a - 2*y = -288, -2*a + 284 = y. Suppose -3*n = -n - a. Let m = 98 - n. Does 11 divide m?
False
Let z(n) = -n**2 + 3*n + 9. Is z(0) a multiple of 6?
False
Suppose 0 = -n + 4*x + 1608, 3*x = -2*n + 5*x + 3222. Suppose 573 = 5*c + 5*t - n, t - 1760 = -4*c. Is ((-1)/3)/((-3)/c) a multiple of 19?
False
Let r = -10 - -14. Suppose -r*w = 12, -2*u + 73 = -2*w - 29. Let f = u - 34. Is 12 a factor of f?
False
Suppose 3*d - 2*c + 35 + 3 = 0, 3*c = -d + 2. Let u be d/(-4) - 1/(-2). Suppose 4*i = 5*i + 5*n + 10, u*n = -5*i + 38. Is i a multiple of 7?
False
Let f(h) = -8*h - 2. Let u be f(-2). Suppose -4*d - u + 63 = -3*x, -2*d - x = -27. Is d a multiple of 13?
True
Let m(p) = 4*p**2 + 7*p + 6 - 2*p**2 - 10. Is m(-6) a multiple of 13?
True
Let b = 10 - 5. Suppose 0 = f + k + 1, -b = 3*k + 1. Suppose f = 3*m - 8, l - 2*m - 7 = 0. Is l a multiple of 13?
True
Suppose -10 = 4*h + h. Let s = 13 - -19. Let t = h + s. Does 10 divide t?
True
Let q(t) = -5 - 4 + 2*t + 5 + 2*t. Is 10 a factor of q(6)?
True
Suppose z = -y + 58, 5*z - 483 + 163 = 5*y. Is 12 a factor of z?
False
Suppose -5 = -t - 2. Let k = 0 + t. Is k a multiple of 2?
False
Suppose 0 = j - 2*f - 264, 3*j - 5*f = 766 + 24. Is 13 a factor of j?
True
Let m(q) = q**2 + 2*q + 12. Is 3 a factor of m(0)?
True
Let a = 0 + 6. Let g be a/(-3) + (-10 - -2). Is 6 a factor of g/(-5) - -8*1?
False
Suppose 4*w = 2*w + 22. Let b = 32 - w. Is 7 a factor of b?
True
Suppose -5*c - 3*t + 1230 = 0, -4*c + 235 = 2*t - 749. Does 12 divide c?
False
Let l(t) = t + 16. Is l(-10) even?
True
Suppose -2*i + 4 = -12. Let s be (-2)/i + (-310)/8. Let d = 64 + s. Is d a multiple of 14?
False
Let b(y) = 4*y + 1. Let l be b(1). Let x = l + -7. Let p = 19 + x. Is 17 a factor of p?
True
Suppose 5*d - 4*b - 1765 = 0, -b + 6*b = 4*d - 1412. Is d a multiple of 9?
False
Let j(l) = -l - 9. Suppose 6 = -3*q, -3*m + 3*q + 8 - 29 = 0. Let w be j(m). Let c(y) = -y**2 + y + 24. Does 24 divide c(w)?
True
Suppose q - 20 = -3*o, 3*o + 4*q - 42 + 7 = 0. Suppose 0 = 4*z - 3*g - 14, o*z + 2*g = g + 8. Suppose x - 12 = -x + 5*s, -z*s = 0. Is 3 a factor of x?
True
Let y be -1 + 60 + -1 + 3. Suppose 0 = 5*t + 3*i + i - 92, 4*t - i - y = 0. Does 5 divide t?
False
Is 178 - 2*(-4)/4 a multiple of 45?
True
Let k(q) = q**2 + 5*q + 6. Does 20 divide k(-7)?
True
Suppose -4*v = -5*a + 171, 116 = 4*a + 4*v - 28. Suppose a - 171 = 4*f. Does 4 divide (-2)/8 + f/(-8)?
True
Let y = 0 - -2. Suppose -y*o + 10 = -4. Is o a multiple of 3?
False
Suppose 0 = -4*l + 8. Is (28 - l)*1/2 a multiple of 12?
False
Let p be (8/4)/(1/3). Let h = 37 + -25. Let v = h - p. Does 3 divide v?
True
Suppose 0 = -0*b + b - 4. Let q = 428 - 239. Suppose -b*v = 21 - q. Does 21 divide v?
True
Suppose -4*v + 2*v - 18 = 0. Let r = 41 + v. Is 32 a factor of r?
True
Let n be (-506)/(-10) - (-8)/20. Let g = n - -72. Let s = g + -83. Is 20 a factor of s?
True
Suppose 3*y = 5*j - 32, -j + 34 = 4*j - y. Does 4 divide j?
False
Suppose -3*m - 8 = m. Suppose r + 0*r - 1 = 0. Is 4 a factor of m/(-2) + r - -2?
True
Suppose -5*f + 86 = 5*k - f, 5*k + 3*f - 82 = 0. Suppose -4*r + k = -4*n - 2, 4*r = n - 5. Is 9 a factor of (-149)/n - (-2)/(-7)?
False
Does 4 divide 3/9*-3*-17?
False
Suppose 0 = 3*v - 5 - 10, 5*s - v - 65 = 0. Is 14 a factor of s?
True
Suppose 4*y + q + 16 = 2*q, 0 = y - 3*q + 4. Let f be y/(-8) - 2/(-4). Suppose 26 = k + 5*m, -2*m = -f - 7. Does 3 divide k?
True
Let i(m) = m**3 + 10*m**2 + 11*m + 5. Let c be (-40)/6 - (-20)/(-15). Does 30 divide i(c)?
False
Let s(p) be the third derivative of p**4/12 + 22*p**3/3 - p**2. Does 22 divide s(0)?
True
Let q(j) be the first derivative of 3/2*j**2 + 1/3*j**3 + j + 3. Is q(3) a multiple of 19?
True
Let p = 491 - 328. Is p a multiple of 10?
False
Suppose -3*y + 234 = 4*m, 0 = 2*m + 3*y + y - 122. Is m a multiple of 14?
False
Suppose 10*q - 5*q = 290. Is q a multiple of 14?
False
Let o(v) = v**3 - 3*v**2 + v + 3. Let r be o(3). Suppose -3*z = -z + r. Is -3 + (-35 - z)/(-1) a multiple of 17?
False
Suppose 3*b - 3*i - 15 = 0, 0*b - 3*b + 11 = i. Suppose 4*y - 8 = -b*o, 8 = 5*o + y - 18. Does 3 divide -27*((-2)/o - 0)?
True
Suppose -7 = -u + 5. Let j be u*(-1 - (-2 + 0)). Suppose 5*y = 4*a + y - 96, -a = -4*y - j. Does 14 divide a?
True
Let z(r) = -45*r**3 + r**2 + r. Let h be z(-1). Let c = -26 + h. Does 8 divide c?
False
Suppose 5 = 4*c - 3. Suppose -4*w = c*o - 58, -4*w - 4*o - 4 = -72. Let f = w + -7. Does 2 divide f?
False
Let j be (-1)/3*1*-39. Suppose 0 = 3*p - j - 2. Does 5 divide p?
True
Let g = -3 - -9. Suppose -4 = -2*m - g. Let f(w) = 38*w**2 - 1. Is f(m) a multiple of 15?
False
Let y be 1/(-4) + (-82)/(-8). Is 16/y*(-910)/(-28) a multiple of 13?
True
Let r = -25 - -55. Does 30 divide r?
True
Suppose 0*r - 4*r = -180. Suppose -4*b + r = -91. Suppose 2*p - 34 = b. Does 17 divide p?
True
Suppose 3*j + 4 = 5*j. Suppose 0 = -3*n + 5*b + 155, -2*n - 2*b + 198 = j*n. Suppose -2*c + 25 = -3*y, 4*c - n + 4 = 2*y. Is c a multiple of 11?
True
Suppose -r + 38 = r. Let o be (3 - 0)/(-3) - r. Let g = 3 - o. Does 10 divide g?
False
Let b(m) = m + 11. Let p be b(-8). Let i(s) = s**p + 5 + 3*s + s - 4 + 8*s**2. Is 10 a factor of i(-7)?
False
Let p(x) = 6*x**2 - 2*x + 2. Does 31 divide p(-6)?
False
Let g = -19 - -52. Let y = -1 + g. Is y a multiple of 10?
False
Suppose 3*x = 2*x + 2. Let g be ((-2)/(-2))/(1/(-11)). Let l = x - g. Does 13 divide l?
True
Let c = 23 - 20. Suppose 0 = -4*p + c*t + 83, -1 + 0 = t. Is p a multiple of 7?
False
Let y = -39 + 143. Suppose -3*b = -7*b + y. Suppose 3*a + 4*n - 2 + 4 = 0, a - 4*n - b = 0. Does 6 divide a?
True
Let g = 13 - 9. Suppose -5*x + g*p = -200, -59 = -x - 0*p - 3*p. Is x a multiple of 15?
False
Let x = -43 - 124. Does 14 divide x/(-4) + 2/8?
True
Suppose -3*c + 4*c = 60. Suppose 3*m - h - 64 = 0, m + c = 4*m - 3*h. Does 22 divide m?
True
Let t = -5 + 4. Let l = t + 0. 