-5*f + 158 = -4*m. Is 12 a factor of f?
False
Let x = 5 + -1. Let m(h) = h**3 + h**2 - 3*h - 2. Is 28 a factor of m(x)?
False
Suppose -k - 12 - 60 = -2*x, -3*x - 3*k + 108 = 0. Is 9 a factor of x?
True
Let b(p) = -p**3 + p**2 + p + 42. Is b(0) a multiple of 20?
False
Suppose 5*p - 108 = 5*x - x, 2*x = p - 18. Let w = -147 + 137. Let r = p + w. Does 7 divide r?
True
Suppose -4*y + 4*s - 16 = 0, -4*s = -5*y - 2 - 15. Is 22 + 3 - y - 0 a multiple of 13?
True
Suppose -a - 2*a + 159 = 0. Suppose -5*z + a + 42 = 0. Does 12 divide z?
False
Suppose 0 = 4*f - 48 - 56. Does 13 divide f?
True
Suppose -b = 4*j - j - 18, -79 = -5*b - 4*j. Is b a multiple of 15?
True
Let v(f) = -8*f**2 - 3*f + 2. Let z be v(-3). Let y = z + 106. Is 15 a factor of y?
True
Let g(t) = t**2 - 8*t + 10. Is 10 a factor of g(10)?
True
Suppose -72 = -0*i - 2*i. Suppose -24 = -5*t - 2*z + 5*z, -3*t = -4*z - 10. Suppose -t*x + i = -2*x. Does 6 divide x?
False
Let m(q) = -q**3 - 10*q**2 - 12*q - 13. Suppose -c = 4*c - 25, p + 3*c = 6. Let n be m(p). Suppose -n = -2*g + 8. Is 6 a factor of g?
False
Suppose 5*d - 4*b - 390 = -0*b, 5*d - b - 405 = 0. Does 19 divide d?
False
Suppose -6*d + 279 = -945. Does 34 divide d?
True
Suppose -a = 3*r - 15, 8 = 3*r - 7. Suppose -4 = 4*z - a. Let y = 13 + z. Is 6 a factor of y?
True
Let c(p) = -p + 198 - 154 + 2*p - p**2. Is c(0) a multiple of 11?
True
Let x(c) be the third derivative of 13*c**4/12 + c**3/3 + c**2. Let m be x(4). Let v = -76 + m. Is 11 a factor of v?
False
Let n = 81 + -51. Does 7 divide n - (3 + 2 + -2)?
False
Let m = 24 - 15. Does 9 divide m?
True
Let w be (4 - 5)/((-1)/2). Suppose 5*r = -2*t + 101, 2*t + 6*r = w*r + 106. Is t a multiple of 18?
False
Let z = 14 + 11. Is 25 a factor of z?
True
Suppose 3*y - 2*s = 0, 5*s - 3 = 4*y - 10. Suppose 3*u = 5*u - 10. Is y/u + (-274)/(-10) a multiple of 9?
True
Suppose -5*x + 8 = -2, 0 = -3*d - 3*x + 27. Suppose j + 1 = d. Is 9 a factor of -1*j/3*-5?
False
Is 11 a factor of 2*105/14*11/3?
True
Suppose -5*y + 10 = 2*k, 2*y + 0*y + 2*k + 2 = 0. Is 3 a factor of y?
False
Let i be (-3)/(-6) + (-20)/(-8). Suppose -4*y + i*y + 62 = 0. Is 25 a factor of y?
False
Suppose 0*g = 2*g - 152. Let o = 16 - 11. Suppose -o*v - 16 = -g. Is v a multiple of 6?
True
Does 44 divide (36/15)/(1/660*9)?
True
Let k be (-3 - 0)/(-3) + 15. Let w = k + -11. Is w a multiple of 5?
True
Is (-1)/2 + 2610/20 a multiple of 13?
True
Let d = -48 - -83. Is 8 a factor of d?
False
Let v be 12/4 + (-2 - -1). Let x = v - 2. Suppose -24 = -3*z - 3*n, -z - 2*n + x*n = -5. Is z a multiple of 5?
False
Suppose -4*f + 6*f = 5*n + 181, -171 = -2*f - 5*n. Is 11 a factor of f?
True
Suppose 3*q - 2 - 4 = 0. Suppose k = 4*j - 16, -3*j + 3 + 20 = q*k. Suppose k*n + 30 + 58 = 4*y, 38 = y - 5*n. Is 6 a factor of y?
True
Suppose 3*q = -4*b + 46, 0*q - 3*b + 42 = 3*q. Does 3 divide q?
False
Let k be (6/10)/((-5)/(-75)). Let z(a) = a - 7. Let l be z(k). Suppose -24 = -s - l. Does 11 divide s?
True
Let f = 5 - 7. Suppose -3 + 27 = -4*u. Let m = f - u. Is m a multiple of 3?
False
Let c = -1 - -3. Let x(g) = -5*g - 3 - c*g + g**2 + 2. Is x(8) a multiple of 7?
True
Let a be (-9)/3*(-2 - -1). Suppose 0*k + 50 = 5*k. Let u = a + k. Does 6 divide u?
False
Suppose -108 = 2*n - 6*n. Is 9 a factor of n?
True
Is 8 a factor of 1340/16 + -4 - 2/(-8)?
True
Suppose -2*v - 4*n = -4 + 102, 0 = 5*v + 4*n + 221. Suppose 3*d - 221 = -5*l, 4*d - 288 = -l - 4*l. Let g = v + d. Is g a multiple of 13?
True
Suppose 9*k - 20 = 4*k. Suppose -3*w - 4*q = -1, q + 13 - 5 = 2*w. Suppose 2*f + 16 = k*f - w*o, o - 74 = -5*f. Is 7 a factor of f?
True
Suppose -5*b + 9 = -26. Let d(s) = 2*s + b*s**2 + 1 - 7*s**2 - s**3. Does 18 divide d(-3)?
False
Let r be 381/24 - 4/(-32). Is 6 a factor of r + (-4)/2 - 2?
True
Let i(z) = 5*z**2 + 10*z. Let o(u) = 4*u**2 + 10*u + 1. Let r(n) = -5*i(n) + 6*o(n). Let j be r(10). Suppose 15 = j*f - 3*f. Does 3 divide f?
False
Let w = 0 + 6. Let y(h) = -h**3 + 7*h**2 + 2*h + 3. Is 18 a factor of y(w)?
False
Let n be (-6)/(2*3/(-24)). Suppose 3*u = 6*u - n. Suppose -2 + u = t. Does 3 divide t?
True
Suppose -n = -d - 3*n - 2, d - 5*n - 19 = 0. Suppose -3*t + r = -3*r - 47, -d*r - 60 = -4*t. Is t a multiple of 13?
True
Suppose 0 = -2*x - 5*w - 12, 5*x = -5*w. Let g(l) = 3*l**2 - 6*l + 3. Does 18 divide g(x)?
False
Suppose a - 2*k = 5, 0*a = 3*a + k - 29. Is 4 a factor of a?
False
Let d(f) be the second derivative of 2*f**3/3 - 3*f**2 + 4*f. Does 11 divide d(9)?
False
Let j(f) = -2*f + 3. Let v be j(-8). Suppose -129 = -4*o - y, -3*o - v + 120 = 5*y. Is o a multiple of 16?
True
Suppose 0 = 4*r - 83 - 41. Does 31 divide r?
True
Suppose 0 = -2*y + v + 305, 4*v - 39 = y - 209. Suppose 4*g - 12 = 0, g = 4*b - g - y. Does 13 divide b?
True
Suppose 38 = 5*v - 2. Does 4 divide v?
True
Suppose 0 = -4*t, -5*j - 2*t + 395 = -4*t. Suppose 2*w + 2*y = -w + j, -3*w = 3*y - 81. Is w a multiple of 25?
True
Let z = -83 - -122. Is 13 a factor of z?
True
Does 17 divide (-17)/((-68)/360) - 3?
False
Let r = -38 + 68. Is r a multiple of 6?
True
Suppose -4*a - 7 = -4*s - 75, 16 = 3*a + 4*s. Does 6 divide a?
True
Suppose n - l = 4*n - 99, -4*l = 5*n - 172. Is 8 a factor of n?
True
Is (73 - 0) + (18 - 15) a multiple of 19?
True
Let o(u) = 3*u - 8. Does 8 divide o(8)?
True
Let l(d) = -21*d + 5. Does 8 divide l(-7)?
True
Let b(r) = -1 + 6*r**2 + 0 + 2*r + 3. Is b(-2) a multiple of 11?
True
Suppose 4*k + 5*f - 610 = -k, 0 = -5*f + 5. Is k a multiple of 11?
True
Suppose 68*w + 15 = 71*w. Let b = -4 - -8. Is 23/w + b/10 even?
False
Suppose 53*t + 40 = 55*t. Does 10 divide t?
True
Suppose j - 19 = -2*o, -1 = 3*j - 4. Suppose 4*g + o = 5*g. Is 7 a factor of g?
False
Suppose -3*j + 7 = 2*h, 8 = -h + 4*h + 2*j. Is 8 a factor of (-3)/(-6)*h*29?
False
Let t(j) = 3*j**2 + 4*j - 4. Let m be t(8). Suppose m = -0*w + 5*w. Is 13 a factor of w?
False
Is 9 a factor of (-52)/286 + 1192/22?
True
Suppose x + 4*q - 65 = -0*q, 2*x + 4*q - 110 = 0. Is x a multiple of 8?
False
Let u = 157 - -176. Is u a multiple of 68?
False
Let q(l) = -23*l + 8. Is 11 a factor of q(-3)?
True
Suppose 5*r = -4*w - 29, 5*w = 3*r - 31 + 4. Suppose 3*g + g = 240. Is (w/(-12))/(1/g) a multiple of 22?
False
Let m = -66 + 160. Is m a multiple of 10?
False
Let l(s) = -s**2 + 2*s + 3. Let z be l(-2). Is 20 a factor of z - -98 - (1 - -1)?
False
Let x(t) = 5*t - 4. Let v = -8 - -11. Is x(v) a multiple of 11?
True
Is 5 a factor of 1 + -1 - 1/((-4)/256)?
False
Suppose -4*x - 31 + 323 = 0. Let n(w) = -2*w**2 - 5*w + 8. Let b be n(4). Let z = x + b. Is z a multiple of 12?
False
Let k(t) = -t**3 + 6*t**2 + t - 6. Let i be -9*(3 + 11/(-3)). Let c be k(i). Suppose -9 = -a - w, c = -2*w + 3 - 9. Does 7 divide a?
False
Let d(p) = -p**3 - 6*p**2 - 4*p + 7. Let i be d(-5). Suppose 0 = -3*y + x + 22, -10 = -7*y + 4*y - i*x. Does 6 divide y?
True
Let q = -143 - -314. Let p be (q/(-12))/(1/(-4)). Suppose 17 - p = -4*v. Is v a multiple of 5?
True
Let u(s) = -43*s**3 + s**2 - 3*s - 3. Is u(-1) a multiple of 8?
False
Let y(z) = -3*z**2 - z + 1. Let k be y(-2). Let j = 14 + k. Suppose f = -2*p + 69, 2*p = j*p - 5*f - 123. Is p a multiple of 18?
True
Let c = -7 - -9. Suppose 0*s - 58 = -c*s. Is 8 a factor of s?
False
Let g = 26 + -19. Does 4 divide g?
False
Let g(a) = 2*a - 7. Let f be g(5). Suppose -f*r = -165 + 42. Does 25 divide r?
False
Suppose d = -d + 4. Suppose -2*r - 10 = 4*m, d*m - 4*r - 15 = -r. Suppose -12 = -z - 3*i - 0, m = 4*z - 4*i - 32. Does 8 divide z?
False
Let h = 39 - 21. Let k = h + -9. Is 9 a factor of k?
True
Let x(p) = p**3 - 10*p**2 + p - 1. Let u be x(10). Let b = 6 + -3. Suppose -4*o + o - u = -b*j, -2*j + 21 = o. Does 4 divide j?
True
Suppose -4*z + 2*i = z - 316, 0 = -5*z - 5*i + 330. Is z a multiple of 16?
True
Let j = 67 - 24. Is j a multiple of 43?
True
Suppose 18 + 14 = 4*v - 5*n, 3*v = 2*n + 17. Suppose 3*c + c - 6 = 2*f, c = 5*f - 12. Is (18*v)/c - -2 a multiple of 20?
True
Let r(x) be the first derivative of x**4/4 - x**3/3 + x**2/2 + 2*x + 3. Let d be r(0). Suppose b - 4*p + d*p - 15 = 0, -3*b + 65 = -p. Is 10 a factor of b?
False
Let b(s) = -s**2 + s + 1. Let x be b(2). Let t(f) = f**3 + f**2 - 1. Let h(u) = -7*u**3 + 4*u**2 - u - 4. Let v(i) = h(i) - 4*t(i). Does 12 divide v(x)?
True
Let l be (-6)/(-2) + (-1 