 Suppose w*q = q - 38. Suppose 3*i - 7*i = -l + 4, -5*l = -2*i - q. Is 4 a factor of l?
True
Let l = 104 + -70. Is l a multiple of 34?
True
Let z = -13 - -6. Let m be z/1 + (0 - -1). Is 3/m + 110/4 a multiple of 11?
False
Let b be 232/9 + 2/9. Let m = b - 11. Is m a multiple of 4?
False
Let k = 64 - -27. Is 16 a factor of k?
False
Suppose 2*b - 111 = -2*b + 3*i, -3*i - 141 = -5*b. Does 9 divide b?
False
Let p = -7 + 11. Suppose 2*t + 3*w - 17 = 0, 0*t = -3*t - p*w + 24. Suppose -4*y + 32 = 2*h, -h = t*h - 2*y - 32. Is h a multiple of 4?
True
Let t be 153/6 + (-2)/4. Suppose -2*n - 3*l + 2*l + t = 0, -2*l + 65 = 5*n. Does 6 divide n?
False
Let u = -8 + 8. Suppose 3*l - 4*c = 7*l, 0 = -2*l - 3*c - 2. Suppose -2*t + u*o = l*o - 26, 5*t = o + 65. Is 7 a factor of t?
False
Let c(q) = -3*q**3 - 5*q**2 - 4*q. Does 34 divide c(-3)?
False
Let l = 72 + -24. Is 12 a factor of l?
True
Let b = -4 + 15. Let g = -8 + b. Suppose -l - 41 = -4*u, -2*l = -2*u - g*l + 19. Does 10 divide u?
True
Suppose 5*a = u - 7, -3*u + 2*a + 10 = -2*a. Suppose k + u = -l, 3*l + 4*k + 5 - 1 = 0. Let n(c) = -2*c - 1. Is 2 a factor of n(l)?
False
Let g(v) = 23*v - 2. Is 36 a factor of g(5)?
False
Let k(z) = 2*z + 0 - 5 + 0*z - 3*z. Let s be k(-7). Is ((-66)/(-2))/(3/s) a multiple of 11?
True
Suppose 2*q + r - 11 = 0, 2*r = -5*q - 0*r + 29. Is q a multiple of 4?
False
Let d = -5 + 6. Suppose 4*r + d - 3 = -5*m, -5*m + 4*r = -18. Is (-71)/(-4) + m/8 a multiple of 18?
True
Let f = 101 - 74. Is f a multiple of 3?
True
Suppose 0 = -6*h + 216 + 102. Is 20 a factor of h?
False
Let w(g) = -34*g**3 - g - 1. Is w(-1) a multiple of 26?
False
Suppose 3*w + 5*s - 471 = 315, 3*s + 762 = 3*w. Is 11 a factor of w?
False
Let b(c) = -2*c - 6. Let h be b(-4). Suppose -3*s - 3*y + 8 = -16, 3*s + 5*y = 34. Suppose -6 = -2*t + h*p, 5*t + s*p = p + 43. Is 7 a factor of t?
True
Suppose g - 155 = -4*g. Let z = g - 7. Does 12 divide z?
True
Suppose 8*x = 208 + 1184. Is x a multiple of 29?
True
Is 18 a factor of (-85)/(-1 - 4) + 1?
True
Let l(w) = -w**2 - 5*w - 8. Let i be l(-7). Let j = 91 - 33. Let k = i + j. Does 12 divide k?
True
Let l(z) = -69*z - 6. Is 38 a factor of l(-2)?
False
Suppose l - 3*m - 8 = 0, 0*m - 24 = -5*l - m. Suppose -l - 3 = -a. Is 8 a factor of a?
True
Let w(t) be the second derivative of -7*t**6/80 - t**5/120 - 5*t**4/12 - t. Let l(j) be the third derivative of w(j). Is l(-1) a multiple of 18?
False
Does 6 divide (12/5)/(4*(-9)/(-90))?
True
Let x(v) be the second derivative of -v**5/20 - v**3/6 + 7*v. Is 10 a factor of x(-3)?
True
Let g(z) = 2*z**2 + z + 1. Let f be -3*(-2)/(-3 + 1). Does 16 divide g(f)?
True
Let v(u) = 4*u - 10. Let d be v(15). Suppose -f - 3*i = f - d, -3*i = 5*f - 116. Does 11 divide f?
True
Suppose 5*r - n - 15 - 2 = 0, 0 = 3*r + n - 7. Suppose -69 = -3*y + r*d + 36, -y + 47 = 2*d. Is y a multiple of 13?
True
Let i = 14 - 4. Let z = 15 - i. Is 5 a factor of z?
True
Suppose o + 5*j = 114, o = 2*j - j + 138. Does 19 divide o?
False
Let t(d) = d**3 - 3*d**2 - d - 4. Let m be t(3). Let r = 29 - m. Is 18 a factor of r?
True
Does 14 divide (-1*1)/((-370)/(-124) + -3)?
False
Does 11 divide (33/(-9))/((-3)/27)?
True
Suppose -6*c + 5*c = 4*x - 11, -3*x + 4 = 5*c. Does 3 divide x?
True
Let k(z) = -z - 4. Let w be ((-6)/5)/(1/5). Let v be k(w). Suppose -3*h + v*h + 18 = 0. Is h a multiple of 9?
True
Suppose -3*j + 2*j + 5*g = -26, 0 = -2*g - 8. Suppose -x + 55 = 4*v, -v + 4*x = 5 - j. Is 13 a factor of v?
True
Let b = -7 - -9. Is 14 a factor of b/(-4)*(-81 + 5)?
False
Suppose -1 = 5*z + 14. Let w be 2 + z - -1 - 5. Let k(a) = a**3 + 7*a**2 + 2*a + 4. Does 16 divide k(w)?
False
Suppose 0 = 4*j - 8, 5*o + 4*j + 250 = -22. Does 6 divide (-42)/o - (-138)/8?
True
Let i be 26/2 + -3 + -3. Suppose -2*h = -i - 61. Is 17 a factor of h?
True
Is 14*1/6*21 a multiple of 7?
True
Suppose -2*v + 5*l + 113 = 0, 4*v - 4*l - 200 = -4. Is 11 a factor of v?
True
Is 1 - ((-5)/(-10))/((-1)/14) a multiple of 2?
True
Let l be (5/(-10))/((-2)/(-4)). Let r(k) = -2*k**3 + 4*k**2 + 4*k + 2. Let v be r(4). Is 21 a factor of l*(3 + v/1)?
False
Suppose 9*t - 4*t + 107 = 3*p, -3*p + 2*t + 113 = 0. Suppose 3*d = 4*s + p, 34 = -s + 5*d + 3. Let q(x) = x**3 + 7*x**2 + 1. Does 20 divide q(s)?
False
Suppose -f + 16 = -0*f. Is f a multiple of 8?
True
Suppose -8 = -v + 7. Suppose 4*k + 2*y - 9 = k, 2*y + 31 = 5*k. Suppose 85 = k*i - v. Does 15 divide i?
False
Let p(u) = -u + 12. Let k be p(0). Let b be k + (2 - 0)*-1. Let r = 10 + b. Does 10 divide r?
True
Let x(t) = t**3 - 2*t**2 - 4*t + 1. Let k be x(3). Let y be (2/1)/((-2)/k). Suppose -g = -y*w + w, 2*w = -g + 12. Does 2 divide g?
True
Let g(k) = -k**3 - k**2 + 5*k + 2. Let r be g(-3). Let a = 2 - r. Let w = a + 23. Is w a multiple of 10?
True
Suppose 550 = 5*w - 0*w. Is 11 a factor of w?
True
Let k = -244 + 364. Is k a multiple of 16?
False
Suppose 5*a + 36 + 4 = 0. Let t = a - -13. Suppose 0 = -2*k - f + t, 4*k - f - 30 = -k. Is k a multiple of 5?
True
Let p = -216 - -411. Is 15 a factor of p?
True
Let x be -1*(1 - 3 - -1). Let p be (1/x)/(4/(-8)). Is ((-26)/4 + -3)*p a multiple of 19?
True
Let r = -3 + 11. Suppose 0 = 4*b - r. Suppose 148 = 2*a + b*a. Does 13 divide a?
False
Let u = -2 + 7. Let p = -7 - -9. Suppose -21 = -b + p*y, -4*b + 5*y + 7 = -u*b. Does 5 divide b?
False
Let i(h) = h**3 + h + 33. Is 11 a factor of i(0)?
True
Let p(b) = b**3 - 3*b**2 + b - 1. Let q(i) = -i**3 + 4*i**2 - i. Suppose -9 + 4 = 4*o - 5*s, o + 2*s = -11. Let n(z) = o*p(z) - 6*q(z). Is 4 a factor of n(9)?
False
Suppose 7 - 3 = 2*x. Is 4 a factor of 232/28 - x/7?
True
Let a(x) = x - 4. Let q be a(3). Let d(r) = -3*r - 12*r + 4*r + 1 + 5*r. Is d(q) a multiple of 4?
False
Let p(s) = s**3 - s**2 + 10. Suppose -3*b + q = -0 - 1, 4 = 5*b - 4*q. Let f be p(b). Suppose -3*d - f = 2*x - 7*x, 0 = -3*d + 15. Does 5 divide x?
True
Suppose -h = 8 - 7. Let n = h + 13. Does 12 divide n?
True
Let l be 6/(-8) - 92/(-16). Suppose 8*y - 15 = 3*y. Suppose -y*a + 2*a - b + 37 = 0, 0 = l*a - b - 167. Is a a multiple of 17?
True
Suppose 3*c - c - 338 = -4*v, -4*v - 3*c + 337 = 0. Is v a multiple of 17?
True
Let w(k) = k**3 - 5*k**2 - k + 7. Let d be 4 + (0 + -2)/(-2). Let z be w(d). Suppose 3*s = -2*n + 69, 5*n - 165 = -z*s - 3*s. Is 10 a factor of n?
True
Let v be 9/(((-3)/14)/(-1)). Is v/(-10)*(-1 + -4) a multiple of 12?
False
Suppose 18*k - 2652 = 5*k. Is 26 a factor of k?
False
Let s = 617 + -275. Is 23 a factor of s?
False
Let o(v) = v**2 + 3*v + 13. Is 17 a factor of o(6)?
False
Let h(j) be the third derivative of -j**6/120 - j**5/20 + j**4/3 + j**3/2 - j**2. Let v(s) = -6*s + 13. Let o be v(3). Is 13 a factor of h(o)?
True
Suppose 4*f - 105 = -5*i, -f + 29 = 2*i + 2*i. Is 5 a factor of f?
True
Suppose 5*c = 2*v + v - 32, 5*v = 2*c + 28. Suppose 0 = -l + v*l + 3, 3*l = -2*w + 33. Is 15 a factor of w?
False
Let o(b) = b**2 - 5*b + 16. Is 6 a factor of o(7)?
True
Let y(k) = -k**2 - 10*k + 15. Let v be y(-11). Suppose -5*h + v*p + 22 = -0*p, 4*h + 3*p = -1. Does 2 divide h?
True
Suppose j - 3 - 2 = -4*x, 2*x - 16 = -2*j. Suppose 11 + j = 4*r, 2*r - 56 = -2*n. Does 16 divide n?
False
Let t = 10 - 6. Suppose -5*f = p - 6 - t, 3*p + 2*f = 30. Is p a multiple of 5?
True
Suppose 3*a - 4 = 4*v, -a - v = -6*a + 35. Let p = a + -4. Does 3 divide p?
False
Suppose -3*q = 5*g + 170, -3*q - 27 = -g + 173. Let u = 23 + q. Is 6 a factor of u/(-2) - 0/5?
False
Let w = 65 - 37. Does 4 divide w?
True
Let n(x) = -2*x**3 - 14*x**2 - 13*x - 7. Does 25 divide n(-8)?
True
Let x(r) = 5*r**3 - 6*r**2 + 6*r - 6. Let v(p) = 15*p**3 + 13*p - 10*p**2 - p**2 - 4*p**3 - 11 - 2*p**2. Let z(o) = 6*v(o) - 13*x(o). Does 6 divide z(0)?
True
Suppose 5*h + 8*s = 5*s + 1521, 0 = 2*s + 6. Does 17 divide h?
True
Let z(w) = 5*w**3 - 1. Let a be z(1). Suppose 0*b - b + a*v = -9, 0 = 4*b + 2*v - 72. Is b a multiple of 17?
True
Let q(h) = h**3 + 6*h**2 - h - 3. Let k be q(-6). Suppose 2*t = -t - k. Is 14 a factor of 4/t*14/(-4)?
True
Let y be (-61)/(-4) - 12/(-16). Let r = -1 + y. Does 15 divide r?
True
Suppose -i - 237 = 2*i. Let x = -41 - i. Does 12 divide x?
False
Suppose 27 = 4*j - 413. Does 11 divide j?
True
Let g(z) = z**2 + 5*z + 6. Does 8 divide g(-10)?
True
Suppose 49 = z + 2*v, 3*v - 2*v = -4. Does 20 divide z?
False
Let