Let d(t) = 55*t - 2. Let m be d(2). Let v(x) = 6*x - 8. Let o be v(6). Suppose 5*b = -o + m. Is 10 a factor of b?
False
Let p be (1/2)/(3/(-150)). Let a be (-2)/(-5) - 2215/p. Let u = a - 47. Does 21 divide u?
True
Suppose 0 = v - 3 - 19. Does 11 divide v?
True
Is 3 a factor of ((-20)/8 + (-1 - 0))*-6?
True
Suppose 257 = 4*z - 223. Does 38 divide z?
False
Suppose -5*n + 8 = -n, -5*n - 68 = -2*l. Suppose 2*q - 5*q + 3*j + l = 0, -3*j = -5*q + 67. Is q a multiple of 5?
False
Let j(b) = -b**3 - 15*b**2 + 9*b + 7. Is j(-16) a multiple of 17?
True
Let p = -2 - -6. Suppose -129 = -p*l + 103. Let q = l - 39. Does 19 divide q?
True
Suppose 25*b - 321 = 22*b. Is b a multiple of 6?
False
Let i be (-27)/4*(-64)/12. Suppose -40 = -5*x + 5*r, 0*x - r - i = -5*x. Does 7 divide x?
True
Let n be (-6)/8 - (-9)/12. Suppose -2*j + 2*l + 44 = n, j = -2*l + l + 22. Does 13 divide j?
False
Suppose 187 = 2*b - 181. Suppose 0*o = 4*o - b. Does 23 divide o?
True
Let s be 18/1*(-3)/6. Let y = -16 + 22. Does 11 divide (6/s)/(y/(-99))?
True
Let k(y) = -y**3 - 14*y**2 - 7*y - 10. Does 14 divide k(-14)?
False
Suppose 29 - 4 = 4*a - 5*c, -3*a - 3*c + 39 = 0. Let n = 6 - a. Does 12 divide n/((-26)/(-30) + -1)?
False
Does 23 divide (-351)/(-15) + (1 - (-7)/(-5))?
True
Let w = -1 + 2. Let b = -1 - w. Let a(z) = -2*z**3 - 3*z**2 - z + 2. Is a(b) a multiple of 4?
True
Suppose -4*z = -5*q - 121 + 393, 0 = q + 2*z - 46. Suppose -2*t = -6*t + q. Is 5 a factor of t?
False
Suppose y = 3*a - 2, -4*y = -2*a - 9 - 3. Let u = y + -8. Let z(l) = -3*l + 2. Is z(u) a multiple of 7?
True
Let x = 144 - 66. Is 8 a factor of x?
False
Let v(h) = h. Let m(i) = 1. Let q(g) = 2*m(g) - v(g). Is 2 a factor of q(0)?
True
Let v(x) = x**2 + 4*x - 3. Let z be v(5). Let d = z + -21. Is 10 a factor of d?
False
Suppose 5*b - 25 = -j, -3*j = 3*b + 1 - 16. Let q(o) = o**3 + o + 17. Is 7 a factor of q(j)?
False
Suppose -5*v + 128 = -137. Let c = -32 + v. Is 10 a factor of c?
False
Let r(f) = f**2 + 8*f + 4. Let c be r(-7). Let b = c - -16. Is b a multiple of 12?
False
Let y = -8 + 15. Suppose -5*p = 3*c - 228, y*c = 3*c + 4. Is 19 a factor of p?
False
Let n = -11 + 13. Suppose -2*m + n = -10. Is m a multiple of 6?
True
Let c be 70/9 + 4/18. Let f(t) = 26*t - 17. Let q(x) = -9*x + 6. Let v(o) = c*q(o) + 3*f(o). Does 14 divide v(5)?
False
Let s = 5 + 3. Let c be 44/10 - s/20. Suppose -2*w + c*w = 54. Is 10 a factor of w?
False
Suppose -3*t + 12 = -6. Let m = -4 + t. Suppose -x + m = -11. Does 6 divide x?
False
Let b be (-2)/6*1*-3. Suppose -35 = -4*a + b. Does 9 divide ((-3)/a)/(2/(-162))?
True
Suppose y = 2*h + 112, 0*h = 4*y - 4*h - 460. Is 26 a factor of y?
False
Let b(a) = -a - 3. Let z be b(-8). Let s = 11 + -8. Suppose d = -d, -z*d = -s*j + 48. Does 6 divide j?
False
Suppose c = -4*c + 25. Suppose -c*i = 24 - 4, 0 = -2*x + i + 72. Let n = x + -8. Is 12 a factor of n?
False
Let z = 198 + 208. Is 29 a factor of z?
True
Let f(a) = a**3 - a - a**2 + 3 - 6 + 1. Let l be f(2). Suppose 2*b - 14 - 34 = l. Does 14 divide b?
False
Suppose -6*d + 200 = -5*d. Is 6/(-27) - d/(-9) a multiple of 5?
False
Let t = -10 + 16. Suppose 0 = s - t*s. Let n = 4 - s. Is n a multiple of 3?
False
Let g be (7612/33)/((-1)/(-3)). Let v = g - 337. Suppose 0*h + 5*h - v = 0. Does 20 divide h?
False
Let r(n) = n**2 + 14*n + 29. Does 2 divide r(-13)?
True
Does 8 divide 1 - (0 + 120/(-4))?
False
Let a(t) = 40*t - 23. Is a(6) a multiple of 6?
False
Let h = 81 - 1. Does 40 divide h?
True
Let s(l) = -l**3 - 11*l**2 + 11*l - 16. Let f be s(-12). Let m(a) = -22*a - 1. Does 29 divide m(f)?
True
Let w(n) = n**3 + 3*n**2 + 2*n - 1. Let v be w(-3). Let s = 37 + v. Is 15 a factor of s?
True
Let m(w) = 10*w**2 - 20*w + 4. Is 6 a factor of m(4)?
True
Suppose 2*j + 260 = 12*j. Does 5 divide j?
False
Let u = -7 + 12. Let k = u - -1. Is 3 a factor of k?
True
Let u(q) = -q**3 + 8*q**2 - 3*q - 3. Does 6 divide u(3)?
False
Suppose 3*h - 3*y = 33, 3*h - 4*h + 35 = 5*y. Is h a multiple of 10?
False
Suppose 3*f + 147 = 4*f. Is 21 a factor of f?
True
Does 10 divide (-368)/(-12) + 6/(-9)?
True
Let z(v) = v**3 - 6*v**2 + v + 2*v + 1 + 2*v. Let c be z(5). Is (2 - 1) + (c - -18) a multiple of 10?
True
Suppose 0*h = -2*h - 4*d + 68, -33 = -h - 3*d. Does 36 divide h?
True
Let n(z) = 2*z**3 - 6*z**2 - 4*z + 1. Let j be n(5). Suppose -h - 2*h = -j. Is h a multiple of 14?
False
Suppose -3*g + 61 = -35. Is 13 a factor of g?
False
Suppose -3*y + 76 = -y + 4*q, -4*q + 140 = 4*y. Is y a multiple of 15?
False
Let z = 16 + -13. Is (z + -6)/(-3) + 15 a multiple of 8?
True
Suppose 0 = -5*v - 5*i + 5, -2*i = 4*v - 3*i - 14. Suppose -v*h = h - 84. Does 7 divide h?
True
Let n(u) = -u**3 - 12*u**2 - 2. Let q be n(-12). Let i be ((-10)/(-4))/(q/4). Is 292/20 + (-2)/i a multiple of 10?
False
Let a(b) = -b**2 - b + 1. Let s be a(-2). Let n be (-1)/2*16*s. Let z = -1 + n. Does 7 divide z?
True
Let r = -8 - -14. Suppose r = -0*i + 2*i. Suppose 3*f - 3 = i. Is f a multiple of 2?
True
Let p(o) be the second derivative of o**4/12 - o**3 - 5*o**2/2 - o. Is 17 a factor of p(-6)?
False
Suppose -2*b + 20 = -5*z - 3*b, 3*b + 15 = 0. Let a be 102/z*(-6)/(-4). Let f = a + 85. Does 14 divide f?
False
Let b(t) = -432*t**3 + 2*t**2 + 2*t. Is b(-1) a multiple of 36?
True
Let h(g) = 6*g**2 - 4*g - 4. Is 3 a factor of h(-2)?
False
Suppose -3*p + 44 = b + 10, 5*p = b - 42. Let m be b/3 - (-5)/(-15). Suppose 5*j - 56 = -4*s + j, 3*j - m = 0. Is s a multiple of 10?
True
Let y(n) = -n**3 + 18*n**2 + 22*n + 25. Is y(19) a multiple of 18?
False
Let y = -113 + 197. Is y a multiple of 13?
False
Let n(m) = m**2 - 5*m + 3. Let i be n(8). Let j = i + 0. Does 12 divide j?
False
Let f = 61 + -26. Does 5 divide f?
True
Let i(z) = 34*z**2 + 17*z - 15. Let n(h) = -17*h**2 - 8*h + 7. Let j(u) = -6*i(u) - 13*n(u). Is 18 a factor of j(1)?
True
Let q = 37 + -4. Suppose 4*p - q = 3*i, p = -2*i + 7*i + 21. Let r = 42 - p. Does 10 divide r?
False
Suppose 0*s + 2*s = 116. Is 13 a factor of s?
False
Does 11 divide (258/9)/((-4)/(-6))?
False
Suppose -1 = -5*h + 9. Let g be 0 - (-53 + (4 - h)). Suppose -1 = -4*o + g. Does 5 divide o?
False
Suppose 32 - 83 = -3*m. Is m a multiple of 2?
False
Let y(u) = 2*u**3 - 3*u**2 + 2*u. Let q = -3 + 5. Let i be y(q). Let r(d) = -d**2 + 13*d + 4. Is 16 a factor of r(i)?
False
Let m = 17 - 27. Let b = 27 + m. Suppose 2*c + 3 = b. Is 3 a factor of c?
False
Let o(p) = p**3 + p**2 - 2*p. Let h be o(-2). Let u = h + 5. Suppose 5 = 4*q + 5*j - 41, -u*q + 66 = 2*j. Does 7 divide q?
True
Suppose -2*i - 108 = -6*i. Is 19 a factor of i?
False
Let x = -371 + 560. Suppose -5*f - 24 = -x. Suppose n = 4*n - f. Is 4 a factor of n?
False
Let k(l) be the second derivative of l**4/6 - l**3/2 - 5*l**2/2 - l. Does 6 divide k(4)?
False
Let p(l) = -l - 5. Let r be (-38)/6 + 4/(-6). Let f be p(r). Suppose -f*s + 21 = -39. Is 17 a factor of s?
False
Let o(j) = 70*j - 1. Let l be o(1). Suppose 2*m + m + 31 = 2*b, 5*b = -m + l. Is 15 a factor of 214/b - (-4)/(-14)?
True
Let l(g) = -g**3 + g. Let b be l(0). Suppose 4*h + 5*c = 37, b = 3*h + 2*h - 4*c - 36. Is h a multiple of 4?
True
Let y be -1*-2*(2 - 1). Suppose -y*d + 0*d = -8. Is d/6*(-9)/(-2) even?
False
Let q(d) = d**3 + 10*d**2 - 17*d - 16. Suppose -5*w - 32 = 4*v + 43, -80 = 5*w + 5*v. Is q(w) a multiple of 10?
True
Let u = -18 + 54. Is 12 a factor of u?
True
Let t = 9 + -5. Suppose 4*h + 5*l - 13 = 0, -3*l = -t*h + h + 3. Suppose h*d - 27 = -5. Is 10 a factor of d?
False
Let g(b) = -2*b + 19. Does 11 divide g(4)?
True
Is 370/6 + (-2)/6*2 a multiple of 30?
False
Does 25 divide (-52)/182 + 4092/14?
False
Suppose -4 = 2*f - 2. Let j(p) be the second derivative of -19*p**3/6 + p. Does 5 divide j(f)?
False
Let o(y) = y**3 + 3*y**2 - 3*y + 5. Let v be o(-4). Let t(l) = l + 1. Let g be t(v). Does 7 divide (g/(-4))/(3/(-72))?
False
Suppose -3*r = -0 - 12. Let j(n) = -3*n**3 - n**2 + 2*n - 8. Let i(c) = -c**3 + c - 3. Let d(f) = -7*i(f) + 2*j(f). Is d(r) a multiple of 16?
False
Let n(m) = 5*m + 2*m - 16 + m + 4*m. Does 11 divide n(5)?
True
Let i be 1/2 - (-3)/(-6). Let l be (i - -2 - 3) + 18. Let j = l + -12. Does 2 divide j?
False
Suppose -m = -5*r + 316, r + 4*m = -3*r + 272. Does 16 divide r?
True
Does 7 divide ((-360)/32)/((-1)/4)?
False
Is 4 a factor of 14/7 