0)/l + (-181)/(-3)?
True
Let f(u) = -u**2 - 7*u + 6. Is 4 a factor of f(-6)?
True
Let j(l) = -l**3 - 3*l**2 - 2*l + 4. Let x be j(-3). Let c = x - 19. Is (0 + 1)*c/(-1) a multiple of 9?
True
Suppose -k = -4*k. Suppose k = o + 4*u - 12, 0 = 3*u - 3. Let x = o + 4. Is 6 a factor of x?
True
Suppose 1 + 0 = -k. Let i be (51/(-3) - 0)*k. Let f = i - 8. Is f a multiple of 9?
True
Let a be 3*(-388)/6 + 1. Is 13 a factor of a/(-4) + 3/4?
False
Let t be (-76)/(-2) - (-7 - -4). Let n = 117 - t. Suppose 2*v + 2*w = n, 4*w = -w. Does 15 divide v?
False
Let k(i) = -i - 1. Let y(p) = -13*p - 7. Let q(m) = -28*k(m) + 4*y(m). Is 6 a factor of q(-1)?
True
Suppose 5*l - l - 5*s + 7 = 0, 0 = -l + s - 1. Suppose l*j = 33 + 69. Does 15 divide j?
False
Suppose -5*i - 128 = 132. Let w = i - -107. Let x = w + -39. Does 7 divide x?
False
Let f = -10 - -23. Suppose 73 = 5*k + f. Is 5 a factor of k?
False
Let m = 29 - 68. Let i be (m*1)/(-1)*-1. Let z = 74 + i. Is z a multiple of 14?
False
Let w be 3*2/3 + 8. Let o = w - 6. Suppose m + o = f - 0*m, 0 = 5*m. Does 4 divide f?
True
Let p be (-8)/36 - 3424/(-18). Suppose 2*b = 7*b + p. Let q = 71 + b. Is 12 a factor of q?
False
Let b be (-3 - -2 - -3) + -7. Let n(o) = -o**3 - 4*o**2 - 3*o + 7. Does 13 divide n(b)?
False
Is (75/(-2))/((-3)/8) a multiple of 25?
True
Suppose -5*b + 2160 + 615 = 0. Suppose 5*r - b = 4*p, 5*p - 27 = -2. Suppose 0 = y, 5*y - 19 = 4*d - r. Does 24 divide d?
True
Let w be 5 + 3 - (3 - 1). Suppose 3*d - 14 = -2*u, -d + 15 = 3*u + 2*d. Let o = w - u. Is o a multiple of 4?
False
Let g(a) = -2*a**2 - 4*a - 3. Let r be g(-2). Let v be 0 - (-3 - (-3 - -2)). Does 17 divide r/(v/34*-3)?
True
Suppose 5*k + 64 = 3*v, 2*k + 7 = 3. Let f = -8 + v. Does 5 divide f?
True
Let i(h) = -2*h - 8. Let j be i(-7). Let q = 21 + j. Is 6/q + (-896)/(-18) a multiple of 18?
False
Let x = 61 - 93. Let p = x - -52. Is p a multiple of 20?
True
Let p(r) = r - 2. Let l(q) = q**3 + 5*q**2 + 4*q + 4. Let d be l(-3). Does 8 divide p(d)?
True
Let o(v) = 3*v**2 - 5*v - 2. Let z be ((-4)/(-6))/((-2)/(-3)). Let s = 5 - z. Is o(s) a multiple of 13?
True
Let h(k) = 5*k**3 + 5*k**2 - k + 29. Let r(d) = 11*d**3 + 11*d**2 - 2*d + 59. Let s(o) = 9*h(o) - 4*r(o). Is s(0) a multiple of 15?
False
Let n(c) = c**2 - 3. Is 15 a factor of n(7)?
False
Let i = 789 - 559. Is 20 a factor of (-5)/10 + i/4?
False
Let v = -3 - -7. Let c(w) = 4*w**2 - 5*w - 2. Is c(v) a multiple of 14?
True
Suppose -5*r + 96 = -r. Let h = r + 13. Suppose -3*u + h = -8. Does 11 divide u?
False
Suppose 3*q - f = q + 6, -4*q = -5*f. Suppose -4*c + 55 = -q*a, -3*c - 4*a + 49 = -0*c. Does 6 divide c?
False
Let q(h) = h**2 - 8*h + 5. Let g = -13 - -21. Let z be q(g). Suppose -3*s + 24 = -2*i, -6 + z = -s + 3*i. Does 5 divide s?
True
Let t(f) be the first derivative of -3*f**3 + 2 + 3/2*f**2 + 1/4*f**4 - 2*f. Does 12 divide t(9)?
False
Suppose -3*x = -0*x - 15. Let o(z) = z - 2. Let r be o(2). Suppose -2*n - j = j - 20, r = 2*n - x*j + 1. Does 7 divide n?
True
Let x(a) = a**2 + 3*a + 1. Let c be x(-3). Let m(q) = 0 - 6*q + c + 3*q. Does 3 divide m(-2)?
False
Let h(o) = o + 2. Let m(s) = 3 + 1 - 1. Let z(y) = 4*h(y) - 5*m(y). Is 14 a factor of z(10)?
False
Let r be ((-320)/(-6))/((-1)/(-3)). Suppose -6*u + r = -u. Does 20 divide u?
False
Let k be (-6)/(-21) - (-4)/(-14). Let c = k - -3. Is c - (-2)/(6/93) a multiple of 13?
False
Suppose -2*x - 2*y = -4, -3*x - 26 = -0*x - 5*y. Let r be 0 + x + -2 + 2. Is 4 a factor of (r - -3)*10 - 2?
True
Is 18 a factor of 110 - (-1 - -3)/1?
True
Suppose 2*n + n + 21 = 0. Let u = 1 + n. Is 125/10 - u/(-4) a multiple of 5?
False
Suppose 136 - 451 = -5*h. Let z = -39 + h. Is 6 a factor of z?
True
Let y(q) = -q + 4. Let n be y(-5). Suppose 0 = w - 19 - n. Is w a multiple of 14?
True
Let n = 174 - 45. Suppose -4*u + 3*q + n = 0, -3*u + 4*q = -13 - 75. Does 18 divide u?
True
Suppose i - 5 = 119. Does 17 divide i?
False
Let n(s) = s**3 - 14*s**2 + 14*s + 17. Does 15 divide n(13)?
True
Let y be (-5)/((-10)/(-3))*-22. Suppose b - y = 52. Let m = -49 + b. Is m a multiple of 18?
True
Let z(s) = -s**2 + 8*s - 7. Let q be z(7). Let i = 2 + q. Suppose -45 + 17 = -i*j. Does 10 divide j?
False
Let j(m) be the first derivative of m**4/8 - 5*m**3/6 + m**2 + 1. Let x(i) be the second derivative of j(i). Is 7 a factor of x(4)?
True
Let c(b) = b**2 + b - 1. Is c(-3) a multiple of 3?
False
Suppose 3*f + g = 70, -2*f + 4*g = f - 65. Is 2 + -2 + -2 + f a multiple of 7?
True
Let r be -4*3*(-4)/48. Let b = 7 + r. Is b a multiple of 4?
True
Suppose 2*d = -2*d + 4. Suppose 0 = -2*i + 7 + d. Does 2 divide i?
True
Suppose 5 = 4*u - 151. Does 14 divide u?
False
Suppose -2*t - t + 489 = 0. Suppose -3*o + t = 4*l, -59 - 53 = -2*o - 2*l. Is 12 a factor of o?
False
Suppose 40 = 5*g + 5*t, -2*g - 2*g - 2*t + 24 = 0. Does 4 divide g?
True
Let r = 2 + 1. Suppose 5 + 17 = 4*u + 2*a, -2*a + 1 = -r*u. Suppose 0 = u*c - 8*c + 90. Is 9 a factor of c?
True
Suppose -3*y + 56 = -2*y. Suppose 5*m = 2*a + 384, 2*a - 87 = -m - a. Suppose -5*t + m = j, y = 3*t - 4*j - 0*j. Does 8 divide t?
True
Is 44 + (1 - 3/5)*5 a multiple of 9?
False
Suppose -5*j + 3*t - 5*t + 118 = 0, 0 = 4*t + 4. Suppose -r + 3*m + 19 = 0, 3*r + 0*r = -2*m + j. Is r a multiple of 5?
True
Suppose m - 2 + 5 = 5*q, -4*m - 5*q - 37 = 0. Let f(w) = -8*w**2 + 0*w**3 + w**2 - w**3 + 7*w. Does 6 divide f(m)?
False
Suppose 3*s - 32 = 7*s. Suppose -5*i - 3*h = 70, 5*i - h + 6*h + 70 = 0. Let r = s - i. Is 6 a factor of r?
True
Suppose 5*b - 3*b + 2*a = 92, -a + 2 = 0. Does 8 divide b?
False
Is ((-2)/(-6))/(-1) - 2312/(-51) a multiple of 11?
False
Let k = -55 - 92. Let r be (-6)/15 - k/5. Let z = r + 1. Is 13 a factor of z?
False
Let q be ((-2)/(-3))/(16/24). Let a = q + 1. Suppose 7*o + 10 = a*o, -2*k = 3*o - 4. Is k a multiple of 2?
False
Let z = -3 - -1. Is z/(-1)*21/7 a multiple of 3?
True
Let g = 23 + 7. Is g a multiple of 7?
False
Suppose 11 + 14 = 5*i. Suppose -3*y - i = -5*b + 2, -5*b = -25. Is 3 a factor of y?
True
Suppose d - 38 = -4*n + 16, -2*d = 4*n - 96. Is 14 a factor of d?
True
Is 3 a factor of (6/8)/(-3*4/(-192))?
True
Let m = 3 + 49. Suppose 4*c + m = g + 13, -3 = -g - 5*c. Let p = 37 - g. Is p a multiple of 14?
True
Let y = 7 + -5. Suppose y*z - 7 = 55. Let s = -18 + z. Is s a multiple of 7?
False
Let r = -109 - -157. Let z = r - -14. Is z/5 - (-16)/(-40) a multiple of 7?
False
Let z = -11 + 12. Does 4 divide (z/(3/(-36)))/(-2)?
False
Let a(t) = t + 42. Let y(d) = -21. Let m(g) = -2*a(g) - 5*y(g). Is m(0) a multiple of 7?
True
Suppose -13*m + 75 + 237 = 0. Does 4 divide m?
True
Suppose 3*x - 2*j = 209, -x - 2*j - 67 = -2*x. Is 4 a factor of x?
False
Suppose 4*z = 20, -z + 103 = 3*n + 548. Let b = -97 - n. Suppose -5*p + b = 3. Is 5 a factor of p?
True
Suppose 2*j + 0*t - 78 = -5*t, 5*j + 2*t - 174 = 0. Does 6 divide j?
False
Suppose -s + 5 = 4*i, -7*i - 4 = -3*i + 4*s. Suppose -i*y - 44 = -6*y. Is y a multiple of 5?
False
Does 27 divide (-490)/(-18) + 0 + 6/(-27)?
True
Let c = -129 - -185. Suppose c = 4*q + 3*j + 2*j, 3*q - 11 = 4*j. Is q a multiple of 3?
True
Suppose -5*d - 66 + 626 = 0. Is 6 a factor of d?
False
Let z = 7 + -10. Does 2 divide 8 + 2 + -1 + z?
True
Suppose -26*d + 66 = -23*d. Is 6 a factor of d?
False
Suppose 3*h + 4*j = 155, 2*j = h + j - 40. Is h a multiple of 17?
False
Suppose 17 = -2*o + 3*n, -4 = -o - 3*n + 1. Is (6/(-1))/(o/6) a multiple of 6?
False
Let g be 2/6*-1*0. Suppose g*h = -h, -4*o - 2*h = -24. Is 6 a factor of o?
True
Suppose 2*u + 5*z = z + 24, 4*u + 4*z - 56 = 0. Does 9 divide u?
False
Suppose -8*z + 10*z - 54 = 0. Let p be 2/4 - (-170)/4. Let l = p - z. Is 8 a factor of l?
True
Suppose 4*r - 2*f - 5 = -3*f, 0 = -4*r - 3*f - 1. Suppose 4*n + r*n = 324. Is 27 a factor of n?
True
Let p(o) = -o**3 + o**2 - o + 11. Suppose -10 = 2*x - x + 3*w, -4*x - w = -15. Suppose 2*b = x*b. Is 5 a factor of p(b)?
False
Suppose 6*u = 4*u + 16. Let r be 4/(-2) + (20 - u). Does 2 divide (r/35)/((-1)/(-7))?
True
Suppose -3*y + 22 = -5*c, -y - 3*y = -5*c - 31. Let u = -9 + 6. Is u/y + (-56)/(-6) a multiple of 5?
False
Is 8 a factor of 17 - 3/12*4?
True
Let d = -12 - -51. Is d a multiple of 12?
False
Let i(p) = -p**2 + 9*p - 7. Let v be i(8). Is 49 + (0 + v - 1) a multiple of 24?
False
Let y(x) = -