-0*n. Suppose -15 = -4*b + n. Is 12 a factor of b?
True
Let z(f) = 3*f - 4. Let r(m) = -6*m + 8. Let k(g) = -3*r(g) - 7*z(g). Is 17 a factor of k(-10)?
True
Suppose -10 = -3*a + 2. Suppose d - 39 = a*b, d - b - 126 = -3*d. Is 19 a factor of d?
False
Let n(m) = 25*m - 3. Is n(2) a multiple of 19?
False
Let i be ((-6)/4)/(3/8). Let j = 1 - i. Suppose n = -0*n + j. Is 4 a factor of n?
False
Let j(u) = 34*u**2 + u + 1. Does 6 divide j(1)?
True
Suppose 2*w - 6*w = -128. Does 8 divide w?
True
Let p be 0 + 2 + -2 + 0. Suppose p = -z - 4*b, 4*b = z + b. Suppose 7*i - 3*i - 20 = z. Is i a multiple of 2?
False
Let m be 37/(-5) + 2/5. Let x(w) = -3 + w**2 + 3 + 4*w. Is x(m) a multiple of 13?
False
Is 15 a factor of 5 + 106/(-22) + (-328)/(-11)?
True
Suppose 1 - 4 = q. Let u be q/(-2) + (-1)/(-2). Is 23 - ((-3)/3 + u) a multiple of 6?
False
Let g = -4 + 2. Suppose -2*a - s + 0*s - 25 = 0, 0 = -3*a - 2*s - 36. Let i = g - a. Is i a multiple of 6?
True
Let f = 76 + -48. Is f a multiple of 8?
False
Let m(q) = 0*q**2 + 3 - 4*q + 2*q + q**2 - 4*q. Is m(9) a multiple of 13?
False
Suppose 0 = 3*s - 209 - 289. Let k = -86 + s. Suppose 4*c + 5*m - k = m, 2*c - m = 34. Is 13 a factor of c?
False
Suppose 3*g - 2*g + 9 = -2*r, -5*g + 30 = -5*r. Suppose 0 = -c - 2*c + 9. Let a = c - g. Is a even?
True
Let b(d) = d**3 - 6*d**2 - 4*d - 3. Let u = -1 - -8. Is 16 a factor of b(u)?
False
Suppose -3*h + 810 = -y, 4*h = -4*y + 812 + 268. Is 27 a factor of h?
True
Let t be (-8)/(-12) + (-7)/(-3). Suppose t*j - 192 = -j. Suppose h = -h - 2*o + 24, 3*h - 3*o = j. Is 7 a factor of h?
True
Suppose -4*k + 747 = -733. Is 16 a factor of k?
False
Let z(h) = h**3 + 5*h**2 - 3*h + 4. Does 15 divide z(3)?
False
Suppose -4*d = -12 + 4. Suppose -d*f = -3*f - 1. Does 6 divide 10*1/2 - f?
True
Suppose -3*u + 360 = -81. Suppose 5*l - u = -2*l. Is l a multiple of 6?
False
Suppose -3*q - 4 = -4*q. Let z = 4 - q. Is 2/1 - -5 - z a multiple of 7?
True
Let s(t) = -58*t + 2. Does 15 divide s(-1)?
True
Let g = 0 - -1. Let a = g - 12. Is (-1 - a/4)*4 a multiple of 7?
True
Let b(s) = -s**3 - 6*s**2 + s. Is 14 a factor of b(-7)?
True
Is 25 a factor of 1454/12 + 2/(-12)?
False
Suppose k = -7 + 4. Suppose 5*y = 52 - 2. Let o = k + y. Is o a multiple of 5?
False
Let l(t) = 3*t**2 - 2*t + 1. Let z be l(4). Suppose n = 5*k + z, -16 = 4*k + 4. Does 8 divide n?
True
Let c(h) = -h + 5. Let a be c(-10). Let z = -11 + a. Suppose z*f - 2*f = 60. Is 10 a factor of f?
True
Suppose 7*r = 52 + 32. Is r a multiple of 7?
False
Let g = 169 + -332. Let w = -95 - g. Is 19 a factor of w?
False
Let b(a) = a**3 - 1. Let m be b(2). Suppose -m = 2*n - 91. Is 21 a factor of n?
True
Suppose -477 = -7*m + 4*m. Is m a multiple of 26?
False
Let s(d) = 7*d - 6. Let c = 8 + -9. Let h(l) = -4*l. Let x be h(c). Is 22 a factor of s(x)?
True
Suppose -15 + 0 = -5*p. Suppose -2*m + 3*m - 5 = 0. Suppose 0*u - 3*u + 9 = j, m*u - 1 = p*j. Is u even?
True
Suppose k + 4 = -0. Is 3 a factor of -3 - (-7)/(-2)*k?
False
Let g = 12 - 1. Is 4 a factor of g?
False
Is 5 a factor of 2/10 - (-736)/20?
False
Suppose -2*c = -3 - 37. Is c a multiple of 18?
False
Let f = 8 + -2. Is f even?
True
Is 11 a factor of 33 - ((-2)/3)/(1/(-6))?
False
Suppose o = -4*u + 33, 4*o = -4*u - u + 44. Is 8 a factor of u?
True
Let r(i) = -9*i**3 - i**2 - 7*i + 4. Let q(m) = 5 + 4*m + 3 + 5*m**3 - 5 - 5. Let w(k) = 5*q(k) + 3*r(k). Is w(-2) a multiple of 8?
True
Suppose 5*w - 177 = 68. Suppose -5*y = -3*b - 0*b + w, -2*b + 5*y + 36 = 0. Does 13 divide b?
True
Let g(z) = z**3 + 7*z**2 - 3*z - 13. Does 26 divide g(-5)?
True
Let a = 125 - 89. Let t = -18 + a. Is t a multiple of 10?
False
Let x(u) = 11*u - 4. Suppose 0 = 4*r + r - 20. Is x(r) a multiple of 10?
True
Is (-4)/(-22) + (-13530)/(-121) a multiple of 28?
True
Let b = 10 - 5. Let a = b - 0. Suppose a*y - 6 = 24. Is 6 a factor of y?
True
Let u = 36 + -23. Does 13 divide u?
True
Let i(d) = d**3 + d**2 - 2*d + 30. Is i(0) a multiple of 17?
False
Let x = -37 - -73. Suppose 2*m - x = -12. Does 4 divide m?
True
Suppose 80 = f - 3*x, -5*f - 2*x + 458 = 75. Is 7 a factor of f?
True
Let p(m) = -m**3 - 9*m**2 - 3*m + 4. Suppose 0 = 3*j + 19 + 8. Is p(j) a multiple of 14?
False
Let t = 47 + -23. Is 8 a factor of t?
True
Suppose 4*j = -3*h - 1 + 6, 15 = 4*h - 3*j. Suppose q = 5*v - 28, -h*q - 11 - 1 = -3*v. Is 6 a factor of v?
True
Is 29 a factor of 29/((0 - -4)/12)?
True
Let y(j) = 5*j**2 - 7*j - 2. Let a be y(5). Suppose 5*v - a = -4*p - 0*p, -2*p + 30 = -v. Is 7 a factor of p?
False
Let g = 1 - -10. Does 4 divide g?
False
Suppose 5*c - 42 = -z, -69 = -3*z + 6*c - 2*c. Let h be (-3)/(-5)*(-3 + 48). Suppose -h - z = -3*n. Is n a multiple of 9?
True
Let m be 3 + 3 + -2 + 1. Suppose -2*u - 1 + m = 0. Suppose 0 = -u*c + c + 9. Is c a multiple of 9?
True
Suppose 3*y - 3*i = -30, 4*y - 3*i = -0*i - 40. Suppose 4*j = -2*a - 5 + 1, 0 = -5*j - 2*a - 6. Let c = j - y. Does 4 divide c?
True
Let r = -45 - -129. Does 28 divide r?
True
Does 15 divide (-522)/(-4) + 4/8?
False
Let g be ((-5)/2)/(1/(-2)). Suppose -s + 4 = 0, 3*s + s = g*p - 39. Does 10 divide p?
False
Let u(v) = 2*v - 11. Let h be u(7). Let m(c) = 14*c + 6. Is 12 a factor of m(h)?
True
Let t be 2 - (-3)/(12/76). Suppose -u + 2*l + t = 0, 0 = -l + 1 - 3. Is u a multiple of 8?
False
Suppose 0 = -2*q + 108 - 12. Let w = q - 15. Is w a multiple of 11?
True
Let q be 0*-2*3/6. Suppose 0 = -2*n - q - 2. Is 14 + 0 + -1 + n a multiple of 5?
False
Suppose -5*d - 150 = -10*d. Let z = d + -16. Is z a multiple of 5?
False
Let c = 52 + 32. Is c a multiple of 18?
False
Suppose 5*z - 108 - 62 = 0. Is 17 a factor of z?
True
Suppose -2*i + 3*n - 3 = 0, 5 = -4*n + 3*n. Let z be -1 + -1*1*3. Let y = z - i. Does 5 divide y?
True
Let z be 2 + 10 + (1 - 0). Let o = z + 19. Is o a multiple of 21?
False
Suppose o - 10 = 3*b + 11, -b = 4*o - 58. Does 15 divide o?
True
Let o(g) = 12*g**2 - 2*g + 1. Is o(-3) a multiple of 11?
False
Let i = 76 - 53. Suppose i = 3*n - 43. Is n a multiple of 9?
False
Let n(t) = -2*t**2 - 2*t + t**2 + 0*t + 2*t**2 - 3. Does 7 divide n(-4)?
True
Let p(z) = -z - 1. Let d be p(-4). Suppose 74 = d*u - 16. Does 15 divide u?
True
Let d = -3 + -4. Suppose -4*n + 99 = 3*r, -4*n + 5 + 7 = 0. Let j = d + r. Is 11 a factor of j?
True
Let p(n) be the first derivative of n**4/4 + 10*n**3/3 + 3*n**2/2 + 9*n - 5. Is 19 a factor of p(-9)?
False
Suppose m + x = 113, 5*m = -x + 43 + 514. Is m a multiple of 37?
True
Let s be (-1)/(-4) - 526/(-8). Suppose -2*i + 5*k - 76 = 0, 4*i - 2*k = 5*i + 38. Let u = i + s. Is 8 a factor of u?
False
Is 22 a factor of (-4)/(-14)*(0 + 343)?
False
Suppose -2*g = -6*g + 180. Let b = 153 - g. Does 9 divide ((-2)/4)/((-3)/b)?
True
Let m = -5 + 3. Let h = 1 + m. Does 16 divide h/(((-3)/(-96))/(-1))?
True
Let b be 17/5 - (-10)/(-25). Suppose -58 = -b*q + 2*q - 4*r, 0 = 4*q + r - 157. Does 19 divide q?
True
Suppose 2*h + 2*c + c = 284, -h + 5*c = -129. Is h a multiple of 8?
False
Let i(v) = -v**3 - 2*v**2 + 2*v - 1. Let p be i(1). Does 6 divide 1/p - (-13)/2?
True
Suppose 2*z = -3*z + 310. Suppose 3*p = z + 10. Is p a multiple of 12?
True
Suppose 3*l - 8*l = -25. Suppose -3*h + 304 = 4*z, 0*z = z + l. Suppose -3*m + 7*m - h = 0. Does 16 divide m?
False
Suppose -15 = -5*f - 5*m - 0*m, 6 = -3*m. Suppose -8 = n + 3*n, -2*n - 29 = -f*w. Let r(x) = 6*x - 2. Does 14 divide r(w)?
True
Let q be 8/24 - 5/(-3). Suppose -5*c + 3*p + 195 = -q*c, 4*p + 191 = 3*c. Is 23 a factor of c?
True
Suppose 3*v - 5*k = 4*v + 8, 0 = 5*v - 2*k - 14. Suppose -4*s + v*z + 138 = 0, -3*z + 1 = -8. Is 11 a factor of s?
False
Let x be (-4)/(-10) - 88/(-5). Suppose 0 = 8*y - 6*y. Let h = x - y. Is h a multiple of 18?
True
Let m be (-32)/(-10) + (-2)/10. Suppose -m*b + 22 = -29. Is b a multiple of 17?
True
Suppose -2*m - 5*i + 288 = 0, 0 = -m - 3*i + 2*i + 144. Is m a multiple of 9?
True
Let h be 222/(-27) + 4/18. Let o(z) = z + 6. Let y be o(h). Let t = y + 6. Does 4 divide t?
True
Let l be 12/((-2)/(-1))*1. Let n(t) = -t**2 + 5*t + 8. Let w be n(l). Suppose w*r - 36 = -8. Is r a multiple of 7?
True
Does 39 divide (-116)/(-3) + 4/(-6) + 1?
True
Is 254/4*(-2)/(-1) a multiple of 24?
False
Let y(d) = d**2 - 4*d + 3. Let q be y(3). Suppose 0 = -g - q*g + 10. Is g a multiple of 10?
True
Let k be (-46)