uppose -13 = -5*t + g. Is 15 a factor of m(t)?
True
Let c = -8 - -16. Is c a multiple of 8?
True
Let c be (-2)/6 + (-10)/(-3). Suppose -i + 235 = 5*b, -2*b + 87 = -5*i + 4*i. Suppose -c*j = -5*j + b. Is j a multiple of 11?
False
Let u(t) = t**3 + 2*t**2 - 5*t + 2. Let h(b) = b**3 + 3*b**2 + 2*b + 3. Let z be h(-2). Let s be u(z). Suppose w - 2*w = -s. Is w a multiple of 14?
False
Suppose 7*d = 4*d + 6. Suppose -4*b = -5*l + 35, -15 + 1 = -d*l - 3*b. Is 7 a factor of l?
True
Suppose 3*k - k - 8 = 0. Let h = -18 - -30. Suppose k*s - 4 = h. Is 4 a factor of s?
True
Suppose -d - 23 = 4*w + 57, -33 = w - 3*d. Let g = w - -36. Does 4 divide g?
False
Is 12 a factor of ((-49)/21)/(2/(-36))?
False
Let y(j) = -4*j - 6. Let f(n) = -9*n - 13. Let i(c) = -2*f(c) + 5*y(c). Let s be i(-4). Suppose h + 4*p = -10, -4*h + 7 = -p - s. Is h a multiple of 2?
True
Suppose -5*j + 5*l - 80 = 0, 0 = -j + 5*l + 7 - 3. Let y = j - -37. Does 6 divide y?
False
Suppose 8 = p - 2*x + 20, -3*x + 3 = 0. Is 6 a factor of 75/p*4/(-5)?
True
Let h = -14 + 20. Is h a multiple of 3?
True
Is (-628)/(-10) + (-24)/(-120) a multiple of 21?
True
Let y be (1/(-3))/((-5)/45). Suppose 4*b + 0*b = l + 160, 0 = 2*b - y*l - 70. Is 13 a factor of b?
False
Let y(p) = -p**2 - 9*p - 5. Let t be y(-8). Suppose 0*l = -t*l + 144. Is 16 a factor of l?
True
Let r = 190 - 122. Is r a multiple of 34?
True
Suppose 5*j - 5*l - 51 = -16, 3*j - 4*l - 26 = 0. Suppose 42 = 3*f - j*q, 4*f - 45 = -0*f - q. Is f/(6*3/12) a multiple of 8?
True
Let f = -113 - -35. Is 1/(-2) - f/12 a multiple of 6?
True
Let o(l) = l**3 + 5*l**2 - l + 1. Suppose -x = 4 - 0. Let u = -7 - x. Is o(u) a multiple of 9?
False
Let g = 13 - 10. Suppose -118 = -g*h - 2*u, 0 = 6*h - h + 5*u - 195. Is 20 a factor of h?
True
Suppose -4*w = -3*z - 7*w + 57, 4*z - 4*w - 108 = 0. Suppose 5*c = -2*k + 30, -3*k + 6*k + 2*c - z = 0. Suppose 147 + k = 4*f. Does 19 divide f?
True
Let l(r) = r**3 + r**2 + 3*r - 4. Let o = -21 - -23. Is l(o) a multiple of 7?
True
Let l(k) = k**3 - 13*k**2 - 13*k + 25. Does 27 divide l(14)?
False
Suppose -v = 2*v + 12. Does 31 divide (-454)/v + (-21)/14?
False
Suppose -c = -5*c - 20. Let t(m) = m**3 + 5*m**2 - 5*m + 1. Is t(c) a multiple of 13?
True
Let u = -1 - 6. Let j(z) = z - 2. Let k be j(u). Let o = k + 19. Is 5 a factor of o?
True
Let b be ((-6)/(-8))/((-3)/(-12)). Let x(r) = -3*r**2 + r + 4. Let y be x(b). Let a = 19 - y. Is 16 a factor of a?
False
Let v(l) = 10*l**3 - 1. Let h be (-2)/2 + (2 - 0). Let c be v(h). Let o(f) = -f**3 + 10*f**2 - 7*f - 11. Is 4 a factor of o(c)?
False
Suppose 4*a = a + 15. Let z be (-2)/2 + (a - 1). Suppose -z*f + 67 = -8. Does 9 divide f?
False
Suppose 3*p = -p + 8, -2*d - 2*p = 8. Suppose 9 = 2*s - 13. Let l = d + s. Is l a multiple of 4?
False
Suppose -3*z = 3*m - 21, -4*z + 18 = 3*m - m. Let w = z + -1. Does 10 divide (-1*2*-10)/w?
True
Let k = 138 - 98. Let p be ((-3)/2)/((-6)/k). Is 3 a factor of 48/p + (-3)/(-15)?
False
Let o be 14/4 + 4/(-8). Let b(c) = c + 3. Let h be b(o). Is 2/12 + 29/h a multiple of 5?
True
Let g = -5 + 8. Suppose -5*v - 122 = -3*d - g*v, -2*d - 3*v + 90 = 0. Is d a multiple of 16?
False
Suppose 0*b = 2*b - 112. Is b a multiple of 11?
False
Let x(v) = v**3 - v + 31. Let m(c) = -c + 6. Let h be m(6). Does 12 divide x(h)?
False
Let x be (8/6)/((-10)/(-15)). Suppose -x*b - 128 = 2*b. Is 15 a factor of (b/12)/(2/(-27))?
False
Let t(c) = -c**2 + 13*c - 25. Is 4 a factor of t(8)?
False
Let l be 6/15*(-5 + 0). Let a(h) = -11*h - 1. Let m(q) = -12*q - 1. Let g(j) = -5*a(j) + 6*m(j). Does 13 divide g(l)?
False
Suppose 0 = 5*r - 5*v - 40, 0 = -3*r - 5*v - 0 - 8. Suppose -245 = -r*c + 3*g, 0 = -3*c + 5*g + 65 + 127. Does 12 divide c?
False
Suppose -20 = -4*f - 0*f. Let u = -201 - -401. Suppose f*i + 0*i = u. Is 20 a factor of i?
True
Suppose -12 = -0*k + 2*k - 4*m, 2*k - 3*m + 15 = 0. Does 5 divide (k/(-9))/(2/21)?
False
Suppose 7*i + 210 + 21 = 0. Let r be 3/4 + 1/4. Let d = r - i. Is d a multiple of 17?
True
Let f(q) = -42*q - 12. Is f(-6) a multiple of 15?
True
Let n(f) = 2*f**2 - 2*f - 4. Let k be n(3). Does 9 divide (k/10)/((-16)/(-520))?
False
Let u(a) = -4*a - 24*a - 4 + 1. Is 22 a factor of u(-3)?
False
Suppose -f - 4*f + 75 = 0. Let l = f + -6. Is 6/27 - (-196)/l a multiple of 11?
True
Let m = 40 + -6. Is m a multiple of 17?
True
Let b = 5 + 13. Let f = b - 9. Does 9 divide f?
True
Let y(p) = 2*p - 1. Let g(h) = 5*h - 4. Suppose -3 = 5*f + 12. Let z(a) = f*g(a) + 8*y(a). Is 5 a factor of z(6)?
True
Suppose -61 = -b - x - 2*x, -5*x = 3*b - 175. Is 11 a factor of b?
True
Suppose 60 = 4*p + 4*z, -2*p = -p - 4*z + 10. Suppose 2*s - 4*s - p = 0. Is (s + 2)*40/(-6) a multiple of 10?
True
Suppose 0 = -0*s - 2*s + 6. Suppose -s*x + 0*u = 5*u + 6, -5*x - 4*u = -3. Is x a multiple of 3?
True
Let o = 2 + -1. Let a = o + 50. Does 10 divide 2/(-10) - a/(-5)?
True
Suppose 0 = 5*q + 237 + 213. Let r be ((-28)/(-5))/((-9)/q). Suppose -3*z = z - r. Does 4 divide z?
False
Let j = -59 + 89. Is 10 a factor of j?
True
Let p(n) = 6*n**2 - 2*n - 2*n**2 + 0*n - 3. Is p(-2) a multiple of 17?
True
Let t = 120 + -83. Let u = t - 21. Does 8 divide u?
True
Suppose 167 = -2*m + 827. Suppose 35 = -5*s + m. Does 13 divide s?
False
Suppose -r - 2*h = -3*h - 8, 4*r = h + 44. Let f = -6 + 7. Let t = r + f. Is t a multiple of 13?
True
Does 46 divide (-1388)/(-10) + 5/25?
False
Suppose -o + 6*o + 11 = 3*f, 0 = -4*f + o + 9. Suppose f*j = 5*j - 33. Does 4 divide j?
False
Let p(l) = 33*l - 4. Is 19 a factor of p(2)?
False
Let t(q) = -q**3 + 11*q**2 - 5*q + 2. Let u be t(9). Suppose 2*r + 29 = u. Is r a multiple of 16?
False
Let k(v) = -v - 1. Let a be k(-3). Suppose -a*m + 1 = -19. Is 4 a factor of m?
False
Suppose -34 = 5*v - 7*v. Let r = v + -9. Is r a multiple of 8?
True
Let w(j) be the second derivative of j**4/12 - j**3/3 - 2*j. Let d be w(2). Is 9 a factor of 12/(0 + d + 1)?
False
Let b(l) = 14*l**3 - 41*l**2 - 46*l + 28. Let g(r) = 5*r**3 - 14*r**2 - 15*r + 9. Let s(j) = 4*b(j) - 11*g(j). Is s(12) a multiple of 18?
False
Let h(g) = g + 2. Let m be h(2). Suppose 2*b = m, 2*b + b = -4*f + 14. Suppose -3*y - 3*t + 47 = 17, 0 = -5*y + f*t + 50. Is y a multiple of 4?
False
Let w = -73 + 77. Is w a multiple of 2?
True
Suppose -5*w = -3*d + 905, 6*w - 8*w = 2. Does 30 divide d?
True
Suppose -2*i = 2, -3*l + 124 = -2*l - 4*i. Is l a multiple of 27?
False
Let m be (9 + -1)*(-33)/(-12). Let o = 42 - m. Is o a multiple of 10?
True
Let b(h) = 0*h**2 + 10*h**3 - 3*h**2 + 2*h - 2 - 13*h**3. Is 10 a factor of b(-3)?
False
Suppose 4*r + 9*x = 4*x + 5, 0 = -3*r - 5*x. Suppose j + r*l + 92 = 5*j, -2*l = 2*j - 46. Does 8 divide j?
False
Suppose -3*o + 24 = -3*c - 129, 2 = -2*c. Is 16 a factor of o?
False
Let k(p) = p**2 - 17*p + 86. Does 10 divide k(16)?
True
Let c(h) = -6*h + 1. Let m(a) = -a - 6. Let r be m(-7). Let l be (1 - r) + (-1 - 2). Does 11 divide c(l)?
False
Let o = -27 + 56. Suppose -o = -3*l + 31. Does 16 divide l?
False
Let q be (13/(-4))/((-1)/(-4)). Let y = -6 - q. Does 7 divide y?
True
Let x be 2/3*18/4. Suppose -2*a + x*a - 3 = 0. Is 8 a factor of (-2 - a)*(0 + -2)?
False
Let i = -28 + 46. Suppose -3*f + 18 = 5*b - 6, i = 4*f + 2*b. Suppose 5*t + 23 = 2*a, f*t + t - 50 = -2*a. Is 5 a factor of a?
False
Let v = 42 + -9. Is 14 a factor of 1 + v + (6 - 3)?
False
Let x(p) = -4 + 3*p**3 + 4 - 1 + 3*p - p**2. Let j be x(2). Suppose -j = -4*c + 15. Is c a multiple of 10?
True
Suppose -2*u - 2*m - 26 = 2*u, 3*m = -3*u - 12. Let c = 59 + u. Let l = c + -28. Does 11 divide l?
True
Let g be (6/5)/(1/5). Suppose -g*o + o = -185. Does 18 divide o?
False
Let g be 5/3 + 3/9. Suppose -8 = -3*d - 2*a, -d = -g*a - 0 - 8. Is (-15)/9*(1 - d) a multiple of 2?
False
Suppose 0 = 2*f - 4*u - 214, -2*f + 4*f = -2*u + 232. Is f a multiple of 26?
False
Suppose -t + 6 = 2. Suppose 0 = 3*q + 3*n - 27 - 12, 2*n = -4*q + 62. Suppose -q = l - t*l. Is l a multiple of 3?
True
Suppose -s - 2*s = -42. Let q be 4/s - 2/7. Suppose -f + 4*x - 14 = -q*f, 2*x + 2 = 2*f. Is 6 a factor of f?
True
Suppose -18*a + 5*a = -1482. Does 42 divide a?
False
Suppose -g - 3*s = -9, 4*g + 2*s - 43 = -3*s. Let b = 42 - g. Is 10 a factor of b?
True
Let s = 7 - 4. Suppose 4*c + s*b - 58 = 0, 3*c - 2 - 56 = 5*b. Suppose 0*p - c = -p. Is p a mul