 4*l = -k, 0*l + 2 = -2*l. Suppose 2*j = -k*b + 30, 2*j - 5*b - 20 = 10. Does 5 divide j?
True
Suppose 13 = -3*h - 5. Let m(d) = -7*d - 15. Is 9 a factor of m(h)?
True
Let q = 204 - 141. Let y = -21 + q. Is 21 a factor of y?
True
Suppose 2*u - 92 = -0*u + 4*f, f - 175 = -5*u. Is u a multiple of 10?
False
Let k = 13 - -23. Suppose -k + 10 = 2*x. Let j = 23 + x. Is j a multiple of 5?
True
Suppose 6 = -2*f, f + 35 = -3*g + 7*g. Suppose 4*z = 5*v + 52, -3*v = -g*v + 20. Suppose 3*o = 2*o + z. Is o a multiple of 18?
True
Suppose 8*m - 3*m + 620 = 0. Does 10 divide 15/(-10)*m/6?
False
Let s be (-2)/3*9/(-2). Suppose -5*b + 32 = -b - z, b = 2*z + 8. Let v = b + s. Is v a multiple of 10?
False
Let u(v) = v**3 - 4*v**2 - 7*v + 4. Let g be u(6). Let i be 1*g/2*-4. Let b = i + 106. Is 17 a factor of b?
False
Let b(g) = -3*g**2 - g - 15. Let u(f) = -f**2 - 5. Let y(x) = -6*b(x) + 17*u(x). Suppose 0*c - 3*z = -c + 6, 5*c + 18 = 3*z. Is 5 a factor of y(c)?
True
Let l(f) = f + 1. Let u be l(-9). Let g(t) = 2*t**2 + 37*t + 12. Let k(a) = a**2 + 18*a + 6. Let c(m) = 6*g(m) - 13*k(m). Does 22 divide c(u)?
False
Let c(r) = 7*r + 5. Does 8 divide c(5)?
True
Suppose 234 = 4*d - 5*j, -d + 46 = 3*j + 2*j. Does 14 divide d?
True
Suppose 0 = 5*x - 1 - 39. Let o = 4 - x. Let u = o + 16. Does 6 divide u?
True
Suppose m + j + 0*j = -2, 3*m = 3*j + 18. Suppose -h - m*h + 90 = 0. Is 16 a factor of h?
False
Let a(h) = h**3 + 2*h**2 - 10*h - 3. Does 25 divide a(6)?
True
Suppose 0 = 3*n - 2*b - 36, -2*b + b = -4*n + 43. Is 7 a factor of n?
False
Let a be (-13)/(-3) - (-14)/21. Suppose 0 = -p + a + 19. Does 15 divide p?
False
Suppose 4*r + 0 = 88. Is 3 a factor of r?
False
Let h(c) = -22*c + 2. Is h(-1) a multiple of 12?
True
Suppose 15*b - 232 = 7*b. Does 3 divide b?
False
Suppose 2*s - 292 = -2*g, 3*s + 420 = 13*g - 10*g. Does 11 divide g?
True
Let m = -6 - -18. Is 17 a factor of 4/m - 50/(-3)?
True
Suppose -2*j = j - 5*m + 18, 3*j - 3*m = -12. Let n(u) = -4*u - 2 - 4*u - 6 + 9. Is 6 a factor of n(j)?
False
Let v(f) = -2*f**2 - 31*f - 13. Does 11 divide v(-13)?
False
Suppose -3*t = 3*c - 312, -c - 52 = -4*t + 349. Is t a multiple of 41?
False
Let h(x) = -x**3 + 0*x**2 + 0*x**3 - 6*x + 6*x**2 + 7. Let w be h(5). Suppose 13 = 2*v + 2*c - 3, -v + 3 = w*c. Is 13 a factor of v?
True
Is 1/(-3)*(-151 + 4) a multiple of 8?
False
Let x(r) be the second derivative of r**4/12 - r**3/2 - 5*r**2/2 - 3*r. Suppose -5 = -4*g + 3*g. Is x(g) a multiple of 4?
False
Suppose -4*u - t + 89 = -295, 0 = -u - 3*t + 96. Is u a multiple of 16?
True
Suppose 4*g - 14 = -2*p, g = 2*p + 6 + 10. Is 10 a factor of (-8)/g*(-225)/10?
True
Suppose -q = -4*q + 6. Suppose -q*f + 0*f - 4*y - 8 = 0, -f - y = 0. Suppose r - f*r + 24 = 0. Does 4 divide r?
True
Suppose 6 = -3*y - 0. Let w be (-1 + y)*1/(-3). Let g = w + 5. Is 3 a factor of g?
True
Let o = -32 - -65. Does 9 divide o?
False
Is 20 a factor of (612/15 - -7)/(1/5)?
False
Suppose -2*o = -4, 4*w - 3*o = -2*o - 2. Let h = w + 32. Is h a multiple of 16?
True
Let y be ((-78)/4 - 2)*-2. Suppose y = 5*c - 137. Is c a multiple of 12?
True
Let f be 2*(2 - 1) + 62. Suppose -5*r = 4*w - 3*r - 178, -2*w + f = -4*r. Is 27 a factor of w?
False
Let q = 3 + -5. Is (q - (0 + 35))*-1 a multiple of 14?
False
Suppose 0 = -2*p - 5*w - 2 + 5, 4*p - 5*w - 21 = 0. Suppose 0*s + 4*x - 40 = -2*s, -p*s - 5*x + 89 = 0. Does 13 divide s?
True
Let m(x) = x**2 - 3*x + 2. Does 3 divide m(-4)?
True
Suppose 4*b + 2*j - 134 = 4*j, 3*b - 88 = 4*j. Does 12 divide b?
True
Let k be 6/10 + (-222)/(-5). Let g be 1 - -1 - (3 + 27). Let w = k + g. Is w a multiple of 17?
True
Suppose 15*a = 9*a + 360. Does 6 divide a?
True
Let v be ((-24)/(-18))/(2/(-3)). Let s be ((-74)/4)/(1/v). Let a = s - 21. Is a a multiple of 12?
False
Suppose 2*c + 1 = 3*q + 15, 4*c - 2*q - 20 = 0. Let m be (-2)/c + 14/4. Suppose 0 = m*g + 2*g - 85. Does 15 divide g?
False
Let u be (-880)/(-12) + (-3)/9. Suppose 0 = 4*a - u - 119. Is 24 a factor of a?
True
Let m(b) = -b**3 - 12*b**2 - 11*b. Let a be m(-11). Is -1*(-1 - a) - -3 even?
True
Suppose 5*k - 4*q = k + 24, 5*q - 12 = -2*k. Let p be (102/k)/(1 - 0). Suppose -58 - p = -5*t. Is t a multiple of 15?
True
Let u = 3 + -3. Suppose u = -2*k - 0*k + 32. Suppose k + 9 = g. Does 12 divide g?
False
Let s(p) be the first derivative of p**3/3 - 3*p**2/2 - 5*p + 2. Let t be s(5). Suppose -t*u + 13 = -32. Is u a multiple of 4?
False
Let o be 18/4*(-4)/(-6). Let m(q) = 10*q**2 + 4*q. Let x be m(o). Does 15 divide x/(-12)*1*-2?
False
Suppose -6*m + m - 76 = -3*v, 0 = v - 5*m - 12. Suppose 3*y = b + v, 0 = 3*y - 2*b - 10 - 24. Is y a multiple of 10?
True
Let o be (-1)/4 - 3/(-12). Suppose o = 5*d - 19 - 26. Suppose 12 = 3*f - d. Does 6 divide f?
False
Let p(m) = -m**2 + 6*m + 7. Let b be p(5). Suppose 3*l = 3 + 3. Suppose l*u + b = 5*u. Is u a multiple of 4?
True
Let v = 25 - 11. Let i = -9 + v. Is 3 a factor of i?
False
Suppose -126 = -5*d - 3*c, 3*c - 79 = -3*d - 1. Does 8 divide d?
True
Let g = 380 + -236. Suppose 0*q + g = 3*q. Is 16 a factor of q?
True
Let l = -10 - -12. Suppose 3*o = l*w + 30, -4*w = o + 3 + 1. Is o even?
True
Suppose 0 = -2*m - 2*m + 48. Let g be (m/(-9))/((-2)/9). Does 6 divide (3 - (-6)/(-3))*g?
True
Suppose 4 = -3*i - v, i + 23 = -v + 5*v. Let w = i - -11. Is 8 a factor of w?
True
Suppose 0 = a - 29 - 70. Is 16 a factor of (10/(-15))/((-2)/a)?
False
Let g be ((-1)/(-3))/(1/18). Let a(k) = k**2 - 6*k + 4. Let b be a(g). Suppose b*r = 4 + 52. Is 14 a factor of r?
True
Suppose 2*p + p + 9 = 0. Let n(v) = -4*v + 1. Does 5 divide n(p)?
False
Let b = -2 - -2. Suppose b = -i - 2*q - 0 - 4, 13 = 2*i - 3*q. Suppose a = 34 + i. Is 18 a factor of a?
True
Let i(r) = r**3 + r**2 + 5. Let p(g) = -2*g**2 - 4*g**3 + 5*g**3 + 2 + 5*g**2 + 3*g. Let c be p(-2). Does 5 divide i(c)?
True
Suppose 0 = -3*g + 179 + 577. Is g a multiple of 28?
True
Let k = 6 + -3. Suppose 0*j - k*j + 27 = 0. Is j a multiple of 5?
False
Let c be -6*(10/(-3) - -3). Let b(t) = -2*t**2 - 2*t + 13*t**c + 5*t. Is 19 a factor of b(-2)?
True
Suppose i = 3, -5*y + 0*i - 2*i = -286. Suppose m + 2*h - 24 = 0, 2*h = 4*m - 0*h - y. Is m a multiple of 8?
True
Suppose s - 2 = 2. Let j(g) = 3*g**2 - 7*g + 6. Is 10 a factor of j(s)?
False
Let z(r) = -11*r + 5. Let y(b) = -21*b + 11. Let k(h) = 2*y(h) - 5*z(h). Is k(4) a multiple of 17?
False
Suppose -25 = -v - 5*c - 8, -2*c + 11 = -v. Let p be (-1)/3 - (-92)/v. Let w = -21 - p. Is 5 a factor of w?
True
Suppose v - 13 = 2*m, -2*v + 0*m = -3*m - 28. Let o = v - 10. Is 4 a factor of o?
False
Suppose 2*x - 4*b = 124, b + b + 202 = 3*x. Is x a multiple of 18?
False
Let k = 5 + -3. Suppose -k*a + 50 = 2*n, -6*a + 3*a - 2*n + 70 = 0. Does 15 divide a?
False
Suppose -7*r - 15 = -4*r. Let v = 0 - r. Is 2 a factor of v?
False
Let y(l) = -l**2 + 4*l - 1. Suppose -5*r + 8 = -7. Let f be y(r). Suppose -s = -0*s - f*p - 13, -2*s - p = -36. Does 9 divide s?
False
Let i(y) = 3*y**3 + y**2 + y - 1. Let c be i(1). Let a(f) = -f**3 + 5*f**2 - 4*f + 2. Let r be a(c). Is 10 a factor of -1 + 28 + -1 + r?
False
Let i(x) = 3*x. Let o be i(1). Let d be (-2)/(-3) + (-86)/o. Let n = -3 - d. Is 10 a factor of n?
False
Let h(g) = 8*g**2 + 11*g + 1. Is h(-5) a multiple of 11?
False
Let h = 14 + -8. Does 9 divide (-1 + 19)*9/h?
True
Let g(i) = 3*i - 3. Let v be g(1). Suppose u - 29 = -v*u. Does 20 divide u?
False
Let y(p) = -2*p**3 + 2*p - 7*p**2 - 6*p - 4 - p**2. Let a be y(-5). Let d = -33 + a. Is 12 a factor of d?
False
Let y(k) = -5*k + 6. Let l be y(-6). Suppose 0 = 5*o, s = -0*s - o + l. Suppose w = -3*w + 2*g + s, -34 = -2*w - 3*g. Does 4 divide w?
False
Suppose -62 = -2*b + 80. Does 7 divide b?
False
Is (-442)/(-18) + (-44)/(-99) a multiple of 2?
False
Is (-14145)/(-184) - 2/(-16) a multiple of 3?
False
Suppose 0 = 2*x + 2*h - 8 - 2, 0 = -4*x - h + 8. Suppose 20 = t + x. Is 19 a factor of t?
True
Let d be 12/(-2)*(-21)/(-14). Let x = d - -24. Is x a multiple of 7?
False
Let t = 4 - 2. Suppose 0 = -t*r + 2*h + 148, 205 = 5*r - 3*h - 169. Suppose -20 = -2*v + v + 2*j, -4*j = -5*v + r. Is 12 a factor of v?
True
Suppose 0 = -2*w + 5*l, 2*w + 3*l - 6*l = 4. Suppose 4*s = -3*c + 28, w*s - 33 - 33 = 4*c. Does 10 divide s?
True
Suppose -10 = -m - m. Let t = m + -5. Suppose 2*x + 1 = -7, t = -