 32 = 4*l - 4*b. Does 3 divide l?
True
Let s be 1*1/(1/2). Let q = 8 + s. Does 4 divide q?
False
Is 22 a factor of ((-8)/12)/((-2)/186)?
False
Suppose -6*d - 16 = -10*d. Suppose -30 = -3*n + d*c, -5*n + c + 37 = -13. Does 10 divide n?
True
Let a be -2*(-2)/(-4) + 3. Suppose -a*f = -1 - 3. Is f/(-1) - 25/(-5) a multiple of 3?
True
Suppose -30 = -0*u - u. Suppose -2*m = -u - 6. Is m a multiple of 7?
False
Suppose 5*h - 4*h = 5*l - 265, 0 = 2*l - 5*h - 129. Is l a multiple of 8?
False
Let v(c) = 2*c - 7. Let o be v(6). Suppose 3*f = 4*d - 89, -o*d - 11 = 4*f - 99. Let a = -13 + d. Is a a multiple of 7?
True
Let t(x) = -x**3 - 8*x**2 - 5*x + 6. Let r be t(-7). Let y = r + 10. Suppose y*n = n + 14. Does 14 divide n?
True
Let n(b) = 32*b**2 - b + 1. Suppose 2*k + 5*z = -7, -3*k = -4*z - 1 - 23. Let r be (-5)/(-7) + k/14. Does 15 divide n(r)?
False
Suppose -2*i - 5 = 3*i, -3*i = -p + 29. Does 13 divide p?
True
Let j(y) = -22*y + 1. Let i be j(1). Let d = i + 54. Is d a multiple of 11?
True
Suppose 0 = 6*h - 4*h. Suppose h = -4*v + 8 + 104. Is 12 a factor of v?
False
Suppose -5*q + 24 - 3 = 4*l, -5*l + 20 = 5*q. Suppose q*z = 147 + 163. Suppose 3*w + 2*y = y + z, -2*w + y = -48. Does 11 divide w?
True
Let p = 511 + -345. Does 12 divide p?
False
Let q be (-18)/(-10) + (-6)/(-30). Suppose q*y - 5*d - 58 = 0, -d = 2*y - 86 + 16. Does 13 divide y?
False
Suppose 141 + 249 = 5*p. Is 12 a factor of p?
False
Suppose -q + 0*q = -4*a + 17, -3*a = 4*q + 11. Let y be (-1)/a - (-1220)/(-12). Is 5 a factor of ((-2)/4)/(3/y)?
False
Let g(y) = -1. Let w(r) = 3*r**2 - r - 7. Let b(t) = -6*g(t) + w(t). Let f be b(-1). Let l(o) = 6*o - 4. Is l(f) a multiple of 7?
True
Let l(n) = 7*n + 68. Is l(17) a multiple of 15?
False
Let s(b) = -10*b**3 - b**2 + b + 1. Does 15 divide s(-2)?
True
Let v = -9 - -12. Suppose v*y - 235 = -2*y. Does 8 divide y?
False
Suppose -17*x + 16*x = -82. Is x a multiple of 4?
False
Suppose 0 = 5*w + 4 - 19. Suppose w*r - 3*b - 3 = 0, r - 4*r = -b - 5. Suppose 0 = s - 4*y - 33, 107 = 5*s + r*y - 58. Is 11 a factor of s?
True
Suppose 3*b - 5*o = b + 38, 2*o = -4*b + 76. Does 19 divide b?
True
Let h = 61 - 41. Is 10 a factor of h?
True
Suppose -o - o + 18 = 0. Let s(r) = -r**2 + 12*r + 3. Is 10 a factor of s(o)?
True
Suppose 2*v - l + 0*l - 36 = 0, -2*l + 90 = 5*v. Is 6 a factor of v?
True
Suppose 2*v + 4*a - 501 + 13 = 0, -5*v = 2*a - 1252. Is 36 a factor of v?
True
Suppose -5*h - 2*g + 220 = 0, 25 - 178 = -4*h + 3*g. Is h a multiple of 7?
True
Is 5*(-5)/(100/(-84)) a multiple of 9?
False
Let t(i) = -i - 3. Let s be t(0). Suppose 0 = -p - 4*p + 4*f + 22, -p = -f - 4. Is 18 a factor of (75/p)/(s/(-12))?
False
Let u(z) = -3*z - 7. Is 14 a factor of u(-7)?
True
Let f(u) = u + 9. Let c be f(-7). Suppose c*v - 16 = -2. Is 2 a factor of v?
False
Let i(u) = 3*u**2 - 6 - u - 5*u - u. Let n be i(6). Let z = n + -36. Is z a multiple of 12?
True
Suppose k = -5*g - 1 - 5, 0 = -2*k + g + 32. Is k a multiple of 5?
False
Let x(m) = 6*m**2 - m - 2. Let h be x(2). Let g = h + -10. Does 5 divide g?
True
Let i be 6 - 2*12/(-8). Let b(q) = -4*q - 5*q + 0*q + q**2 + 8. Is 8 a factor of b(i)?
True
Let n = -38 - -83. Let v = n - -32. Does 15 divide v?
False
Let t(f) = -2*f + 44. Is t(-13) a multiple of 5?
True
Suppose -x + 0*x = -44. Suppose 4*d = -0*d + x. Is d a multiple of 3?
False
Suppose -2*t + 34 = -2*r, 0 = -2*r - 0*r + 2. Suppose -t = -2*v - v. Does 2 divide v?
True
Suppose -4*n + 2940 = 3*n. Is n a multiple of 20?
True
Let f = 2 + -1. Let v(u) = 26*u**2 + 2*u - 1. Is 18 a factor of v(f)?
False
Let o(g) = 3*g - 9. Let a = -1 - -8. Suppose v - a - 2 = 0. Is o(v) a multiple of 6?
True
Let m = 7 + -3. Let t be m + -4 - 8/2. Let z = t - -9. Is 4 a factor of z?
False
Suppose 4*i = 2*s + 12, -4*s + 8 = 5*i - 3*s. Suppose v + i = 5. Suppose -2*a + 80 = v*a. Is a a multiple of 10?
False
Let r = -110 - -158. Does 12 divide r?
True
Suppose 4*n = 2*q - 12, -3*n - 4*q - 9 = -0*n. Let x = n + 12. Does 9 divide x?
True
Suppose p - 3*p - 10 = 0. Let g be (-598)/12 + p/30. Let d = -23 - g. Is 14 a factor of d?
False
Suppose -11*g = -18*g + 231. Does 33 divide g?
True
Let s = 2 - 8. Let r be s/21 - (-2664)/14. Suppose 3*c - r = -2*c. Does 14 divide c?
False
Suppose -2*a + 5 = -7. Let u(b) = -2*b**2 + 10*b + 16. Let c(f) = f**2 - 5*f - 8. Let d(p) = -5*c(p) - 2*u(p). Is 2 a factor of d(a)?
True
Let k = -18 + 45. Is k a multiple of 9?
True
Let p(u) = -u**3 - u**2 - u - 4. Let n be p(-4). Suppose n = 10*d - 8*d. Is 12 a factor of d?
True
Let x be -3 + (-32*7)/4. Let d = -53 - -14. Let r = d - x. Does 11 divide r?
False
Let b = 11 - 6. Suppose -b*h + 20 = -5. Is 2 a factor of h?
False
Suppose -3*h + 12 + 27 = 0. Does 13 divide h?
True
Suppose -2*b + 0*b + 16 = -2*d, 0 = 3*b - 4*d - 29. Suppose 3*c - b = 3. Let x = 8 + c. Does 6 divide x?
False
Let r = -27 - -26. Let w = r + 47. Does 20 divide w?
False
Let a(j) = -5*j**2 + 4*j + 3. Let z(w) = 9*w**2 - 7*w - 6. Let b(x) = 7*a(x) + 4*z(x). Let g be b(-3). Is 4/24 - (-125)/g a multiple of 16?
False
Let s = 25 - 9. Does 7 divide 57*(s/(-6) + 3)?
False
Suppose 10*l - 5*l - n - 1029 = 0, l = n + 209. Suppose -6*y + y = -l. Is y a multiple of 11?
False
Let f = 44 - 16. Suppose -i - 21 = -4*q + 29, 3*q + 4*i = f. Is 7 a factor of 92/q - (-4)/(-6)?
True
Let b = -83 - -145. Is b a multiple of 12?
False
Let o(g) = g**3 + 8*g**2 - 10*g - 13. Let r be o(-9). Suppose 0*z + 5*j - 33 = -z, 57 = 4*z + 5*j. Let k = r + z. Is 4 a factor of k?
True
Let s(n) = n**3 + 22*n**2 - 25*n - 16. Does 4 divide s(-23)?
False
Let u = -2 - -2. Suppose 4*t = -u*t + 48. Does 6 divide t?
True
Let u = 16 + -5. Let r = 46 + u. Does 19 divide r?
True
Suppose -13*p + 5*p + 816 = 0. Is 9 a factor of p?
False
Let j = 3 + -7. Let x(r) = -r**3 - 2*r**2 - 4. Does 14 divide x(j)?
True
Let h be ((-6)/(-5))/((-1)/(-15)). Let d = -12 + h. Suppose -z + d + 9 = 0. Is 14 a factor of z?
False
Let r(l) = 6*l**2 + l - 1. Does 9 divide r(4)?
True
Suppose 3*g - 5*b - 15 = 0, -4*g + 12 = -3*g - 4*b. Suppose g = -3*u - 0*u + 18. Does 6 divide u?
True
Suppose -3*v + 243 = 33. Is 14 a factor of v?
True
Does 6 divide (0 - 6)*2/(-6) - -16?
True
Let u(i) = i**3 - 7*i**2 + 3. Let a be u(7). Suppose -1 - a = -k. Suppose 28 = 4*t - k. Does 3 divide t?
False
Let m(o) = 27*o - 1. Is 23 a factor of m(6)?
True
Let o = -14 + 3. Let a be (-1)/(-4) - 285/(-12). Let q = o + a. Is q a multiple of 13?
True
Let h(u) = u**2 + 4*u - 7. Let l(p) = 10*p**2 + p. Let b be l(1). Let z = b + -17. Does 5 divide h(z)?
True
Suppose -u + 167 = 5*v + 2*u, 2*u - 70 = -2*v. Is v a multiple of 17?
False
Let d(s) = -3*s + 4. Is 3 a factor of d(-2)?
False
Let m = 2 + 3. Is m a multiple of 3?
False
Let j(y) = -y**2 + 5*y + 1. Let n be j(6). Is ((-2)/n)/(1/80) a multiple of 16?
True
Suppose -4*g - 2*t = 3*t - 144, 0 = -t + 4. Is g a multiple of 10?
False
Let o = 7 - 2. Does 3 divide o?
False
Suppose 0 = -2*r + r + 5*f, -5*r + 5*f = -80. Is 3 a factor of r?
False
Suppose -5*j - 2*s + 23 = 2, 0 = 2*j - s - 3. Let d(f) = 2 + 3*f**2 - 1 + 2 - 2*f. Is d(j) a multiple of 12?
True
Suppose 3*c + 231 = 4*z, -c - c + 6 = 0. Does 7 divide z?
False
Let h(w) = w**2 - 5*w - 3. Let j be h(4). Let z be 2/j + (-180)/(-42). Is (1/2 + 0)*z even?
True
Suppose 0 = y - 4*k - 88, 2*y + 6*k - 136 = 4*k. Suppose f - y = -2*f. Is f a multiple of 9?
False
Let c(z) = z**3 + 4*z**2 - 4*z - 1. Suppose 4*r = -r - 15. Is 14 a factor of c(r)?
False
Let x(h) = h + 1. Let q be x(6). Let i(l) = 31 + 2*l + 2*l - 25. Is 22 a factor of i(q)?
False
Let n(k) = -3*k**2 + 24. Does 12 divide n(0)?
True
Suppose -3*t - 4*d + 41 = 0, -13 = -t - 9*d + 8*d. Is t a multiple of 6?
False
Suppose 0 = 2*r - 4*r + 14. Let x(l) = l**2 + 6. Does 12 divide x(r)?
False
Let d(r) = -2*r + 2. Let j be d(-1). Suppose 179 = 3*k - 5*w, -j*k + 2*w + 327 = 93. Is k a multiple of 29?
True
Let n(a) = 10*a - 18. Is 27 a factor of n(18)?
True
Suppose 4*z + 48 = 2*m, -5*m + 3*z = -170 + 36. Is m a multiple of 5?
False
Suppose 5*q - 218 - 107 = 0. Is 13 a factor of q?
True
Let f(m) = 5*m + 8. Is 19 a factor of f(6)?
True
Let f(l) = 4*l - 2. Let s be f(-2). Let m = -7 - s. Suppose 0 = n + 2, c + 7*n = m*n + 24. Does 16 divide c?
True
Let a be (-2)/14 + (-264)/(-84). Suppose -7 = -2*j + 4*h + 65, 140 