= b - -56. Is r a multiple of 5?
False
Let a(d) = d**3 + 10*d**2 - 3*d - 11. Is 5 a factor of a(-10)?
False
Let c = -1 + -38. Let k = c - -74. Let d = k - 18. Is d a multiple of 17?
True
Suppose 48 = y - 0*y. Is 16 a factor of y?
True
Let v(h) = 4*h**2 + 2. Suppose 3*k = -4*q + 28, -3*k = 2*q + k - 24. Let s be (-1)/(-2)*q*-1. Is v(s) a multiple of 6?
True
Let p(f) = -f + 1. Let d be p(-3). Suppose d + 4 = 2*v. Does 3 divide v?
False
Let c(j) = -j. Let l be c(2). Let m = -3 - l. Is 6 a factor of (-178)/(-10) + m/(-5)?
True
Suppose 0 = 2*s + 31 - 247. Does 18 divide s?
True
Let r be (0 - 0)*1/(-1). Suppose r = n - 5 + 1. Suppose -n*v - 18 = -7*v. Is 3 a factor of v?
True
Suppose -4*d + 6 = 3*v - 25, -2*v + 3*d + 49 = 0. Let y = v + 19. Is 10 a factor of y?
False
Suppose -19 = -2*q + 4*f + 27, q = 4*f + 13. Suppose 2*y - 2*h + 11 = y, h + q = -5*y. Let k(g) = g**2 + 3*g - 2. Does 11 divide k(y)?
False
Is 15 a factor of ((-984)/(-20))/((-16)/(-40))?
False
Is 9 a factor of 17 + (2 - 4 - 1)?
False
Let b = -25 - -144. Is b a multiple of 7?
True
Suppose 3*v - f - 224 = 0, 5*v = f + f + 374. Does 8 divide v?
False
Let f = -75 + 130. Suppose -5*j = x - f, 2*x + 3*x = 25. Does 5 divide j?
True
Let z be 3/(-2) + 7/14. Does 22 divide (z/(-1))/((-3)/(-129))?
False
Let r(a) = -10*a + 1. Let z be r(4). Let w be (-1)/((-75)/z - 2). Suppose -88 = -5*v - w. Does 5 divide v?
True
Suppose -6 = -a + 2*h, 3*a - 3*h + 0 = 12. Suppose 10 = 2*d - 2*y, y - a*y = 2. Is d even?
False
Suppose -t - 2*o + 2 = 0, t - 3 + 1 = o. Let z(h) = 2*h**t + 2 - 3 - h - h**2. Is 13 a factor of z(-5)?
False
Suppose 2*j = -3 + 1, -4*j - 24 = -4*h. Suppose 3*z - 92 = -5*q, -h*z - 28 = -2*q - 233. Is z a multiple of 13?
True
Suppose -3*y = -3*n - 627, -y + 101 + 124 = -5*n. Is 41 a factor of y?
True
Let r(d) = 6*d + 5. Let v be r(5). Does 5 divide (1*10)/(14/v)?
True
Suppose -26 = -q - 4*n + 34, 0 = 4*q - 2*n - 312. Does 20 divide q?
False
Let b = -16 + 34. Suppose -2*z + b = -2*h, z = -3*z + 3*h + 38. Does 4 divide z?
False
Suppose -5*f - 19 = 3*h, 3*f = -0*f + 5*h + 9. Is 5 a factor of 3*(f - 44/(-12))?
True
Let f(y) = 4*y**2 + y - 7. Let z be f(3). Let p = z + -23. Is 3 a factor of p?
True
Suppose -h + 2 = 0, 4*p + 2*h + 3*h = 550. Does 10 divide p?
False
Let b(f) = 2*f**2 + 3*f + 1. Does 6 divide b(-3)?
False
Let c = 15 - 30. Is 24/10*(-200)/c a multiple of 16?
True
Suppose z - 267 = -2*z - 4*j, 158 = 2*z - 4*j. Is z a multiple of 8?
False
Suppose 2 = n - 104. Does 5 divide n?
False
Let g be (-1 - -21)*(-4)/(-8). Let b = 11 + g. Does 8 divide b?
False
Let h = -23 - -29. Is h even?
True
Let h be ((-24)/(-9))/((-4)/(-6)). Suppose 3*i - h*i = -8. Suppose -2*t - i = -3*t. Is 7 a factor of t?
False
Let d(y) = 10*y**2 - y. Let j be d(1). Suppose -2*g + 1 + j = 0. Suppose 0 = 2*i - g - 43. Is i a multiple of 12?
True
Let z(l) = -2*l - 11. Let u be z(-8). Suppose 2*a + 6 = u*a. Suppose a*v - 12 = v. Is 12 a factor of v?
True
Let j = -1 - -3. Suppose 0 = a + 2*a + 9, 81 = j*p + 5*a. Does 16 divide p?
True
Let i(b) = 2*b**2 - 1. Let f be i(-2). Suppose -f*n + 295 = -2*n. Is 22 a factor of n?
False
Let j(b) = -b**2 + 11*b - 1. Let p = 11 + -3. Is j(p) a multiple of 8?
False
Suppose -2*h - h - 3*k = -69, 5*k + 77 = 3*h. Let p = h + -16. Is 3 a factor of p?
False
Suppose -6 + 2 = -z. Suppose g + z*l = 24, -2*g + 5*l = 3 + 1. Is 3 a factor of g?
False
Let w(p) = p + 25. Let g be w(0). Let d be ((-18)/(-8))/((-3)/(-12)). Suppose -d = -c + g. Does 17 divide c?
True
Let y(c) = 33*c - 1. Let n be y(2). Suppose -3*h = 4*r - n + 11, -4*h = -r - 53. Is 14 a factor of h?
True
Let p(u) be the second derivative of u**3 + 20*u**2 + u. Let n(v) = 7*v + 40. Let s(d) = -5*n(d) + 6*p(d). Is s(0) a multiple of 17?
False
Let l be (-3)/(6/(-8))*2. Suppose -5*r + l = -2. Suppose -r*a = -3*f - 0*a + 113, -3*f + 106 = 5*a. Is 13 a factor of f?
False
Let h(r) = -5*r - 11. Is h(-10) a multiple of 13?
True
Suppose 4*l - 56 = 5*l. Let y = l - -100. Suppose -5*u + 38 = 5*q - 2*u, u = 4*q - y. Is 6 a factor of q?
False
Let n(j) = -j**3 - 3*j**2 - 3*j - 1. Suppose -3*w + 105 = -75. Let k be 6/(-5)*w/18. Is n(k) a multiple of 10?
False
Suppose 4*b + y - 3*y + 6 = 0, 15 = 4*b + 5*y. Let w be (-1 + (-78)/12)*4/(-6). Is 3*7 - b/w a multiple of 14?
False
Does 2 divide (-1)/((-1)/((-18)/(-2)))?
False
Let v be 1/((-1)/2) - -94. Let s(m) = 14*m**3 + 2*m - 3. Let w be s(2). Suppose -w - v = -5*l. Does 11 divide l?
False
Let o(r) = -r**2 + 5*r - 1. Let m be o(4). Let q be 1/(2 - m)*0. Suppose 2*c - 3*c + 18 = q. Is 13 a factor of c?
False
Suppose 5*j + 3*t - 105 = 0, 3*t + 82 = 2*j + 19. Is j a multiple of 8?
True
Let d(n) = n**2 - 6*n - 8. Let k be d(7). Is (-765)/(-35) + k/(-7) a multiple of 22?
True
Let b = -322 + 455. Is b a multiple of 19?
True
Suppose -z - 51 - 109 = -3*h, 4*h = 3*z + 215. Suppose 2*x + 3*w - h = 50, 0 = 4*x - 5*w - 195. Is 15 a factor of x?
False
Suppose -7*q - 5*t = -2*q - 20, 5*t - 13 = -4*q. Let u = q + 61. Is u a multiple of 24?
False
Is 10 a factor of 9/(-6) + (-321)/(-6)?
False
Let t(p) = -30*p**3 + p**2 + 3*p + 2. Is 10 a factor of t(-1)?
True
Let f(o) = o**3 + 2*o**2 - 3*o. Let s be (-6)/1*2/4. Let u be f(s). Let n = u + 8. Is 4 a factor of n?
True
Suppose 5*l = -5*d - 720, 2*l - 582 = 4*d - 0*l. Is d/(-7) + (-6)/(-21) a multiple of 6?
False
Let n(w) = 4*w. Does 8 divide n(6)?
True
Suppose -5*r - 1 = 3*v - 3, -2*v + 5*r = -43. Is 4*v - (2 - 3) a multiple of 11?
False
Let b = 57 - 13. Is b a multiple of 7?
False
Let d = 0 - -2. Suppose d*z = -z. Is 4 a factor of z + 2 + -3 - -5?
True
Suppose p + 3*p = -40. Let q = -27 + 11. Is 5 a factor of p/8*q/2?
True
Let f = -38 - -58. Is f a multiple of 8?
False
Let y(t) be the second derivative of -t**5/20 + 5*t**4/6 + t**3/3 - 7*t**2 + t. Is y(10) a multiple of 6?
True
Let a = -20 - -42. Let k = 39 - a. Let p = 1 + k. Is 9 a factor of p?
True
Suppose 61 + 28 = n. Let z = n + -51. Is 13 a factor of z?
False
Suppose 4*q = -0*q - 4*w + 400, -2*w = -3*q + 275. Is q/10 - (-1)/(-2) a multiple of 2?
False
Suppose 1241 = 4*h - 3*k, -4*h - 4*k + 3*k = -1229. Is h a multiple of 14?
True
Let x = 20 + -35. Let j be -4*x/(-6) - -2. Does 13 divide j/6*(-21)/2?
False
Let t(z) = 2*z**3 - 4*z + 3. Let f be t(2). Let k(a) = 5*a - 11. Is 13 a factor of k(f)?
False
Suppose -5*r - 97 = -4*t, 4*t = 3*r + r + 92. Suppose -t = -4*j - 2. Is j a multiple of 2?
True
Let q be ((-6)/4)/(3/(-8)). Suppose -4*x + 94 = 5*p, -q*p + 2*x = -p - 52. Is p a multiple of 6?
True
Suppose -3*w + 23 = y + w, 5*y = -5*w + 40. Suppose -l + 18 = -y*i - 4*l, -5*i - 12 = -4*l. Does 4 divide i/(-1*2/5)?
False
Let z(s) = s**2 + 13*s - 30. Does 12 divide z(-22)?
True
Suppose 2*j - 62 - 106 = 0. Does 50 divide j?
False
Suppose 4*v + 0*v - 8 = 0. Is -11*v*5/(-5) a multiple of 9?
False
Let c(a) = -a**2 - 1. Let k(t) = -13*t**2 - 3*t - 4. Let q(o) = 5*c(o) - k(o). Let v be q(-3). Suppose -3*u - 2*b = -v, 4*u + 2*b - 85 = -3*b. Does 20 divide u?
True
Suppose 2 + 2 = 2*o. Suppose -k - 2 = -2*k, -3*m + o*k = -116. Does 11 divide m?
False
Suppose 5*t + 145 = v, -2*v + 6*v - 3*t = 631. Suppose -2*o - 2*o = -v. Does 18 divide o?
False
Let o(d) = 10*d**2 + 2*d + 1. Let j be o(-2). Let p = -13 + j. Is 11 a factor of p?
False
Let p(x) = -x**3 - 6*x**2 + 6*x + 3. Suppose 6*i + 21 = 3*i. Is 5 a factor of p(i)?
True
Let w be (-1)/((2/5)/(-2)). Suppose 0*h = -4*h - w*b + 111, 2*b - 24 = -h. Is 17 a factor of h?
True
Let a(t) = 17*t**2 + t. Suppose 5*s - 15 = 5*x, -2*x - s = -0*s - 6. Is a(x) a multiple of 18?
True
Let i be 2/(3 + (-1 - 1)). Suppose -i*c - 3 = -3*c. Suppose -c*u = 10 - 43. Is 8 a factor of u?
False
Is 3*(5/((-30)/(-152)) + -1) a multiple of 18?
False
Suppose 4*q + 54 = 10*q. Does 2 divide q?
False
Let j(i) = 5*i**2 + 2*i - 2. Let f be j(-3). Suppose -168 - f = -5*b. Is b a multiple of 23?
False
Let x(n) = -n**3 + 17*n**2 + 21*n + 11. Is 5 a factor of x(18)?
True
Let c = 68 - -203. Let g = c + -174. Does 21 divide g?
False
Suppose 0*k = -4*k. Suppose k*c = 5*c - 250. Is c a multiple of 19?
False
Let q = 5 - 5. Suppose 0 = -2*g - q*g + 16. Is g a multiple of 2?
True
Let q(o) = 6*o**3 - 7*o**2 + o + 10. Let r(i) = -5*i**3 + 7*i**2 - i - 9. Let g = 8 + -13. Let l(j) = g*r(j) - 4*q(j). Is l(7) a multiple of 6?
True
L