uppose -13*x + 15*x + 4 = 0. Let n(h) = 7*h**2 - 2*h. Does 16 divide n(x)?
True
Suppose 0 = -0*z - 2*z + 48. Suppose 5*k - 40 = 5*d, 2*d + z = 3*k + 4*d. Does 3 divide k?
False
Let l(i) = 34*i - 7. Is l(3) a multiple of 10?
False
Suppose -330 = -3*w - 2*w. Suppose 0*m = 2*m - w. Does 11 divide m?
True
Let x = 4 + -3. Let z(j) = 4*j**3 - 1. Does 3 divide z(x)?
True
Suppose 2*p + 11 = 71. Let j be (-2)/8 - (-169)/4. Let y = j - p. Is y a multiple of 8?
False
Let i(w) = -w**3 + 7*w**2 + 9*w + 7. Is 11 a factor of i(7)?
False
Let r be 55/(-45) - (-2)/9. Let k be (r + 11)*(-2)/(-4). Suppose 4*f + 0*f = 12, k*f - 35 = -2*n. Does 5 divide n?
True
Let l(g) = g**2 + 6*g + 24. Is 13 a factor of l(-9)?
False
Let b(g) be the first derivative of 43*g**3/3 + g**2/2 - 1. Suppose -1 = 5*o - 2*v, 0*v + 12 = 4*v. Is b(o) a multiple of 17?
False
Let c = 367 + -262. Is c a multiple of 21?
True
Suppose -1385 = -10*g - 185. Does 10 divide g?
True
Let c(u) be the second derivative of -u**7/2520 + u**6/90 - u**5/24 - u**4/12 - 3*u. Let d(b) be the third derivative of c(b). Is 10 a factor of d(5)?
True
Let p = -21 - -49. Is p a multiple of 12?
False
Let j = -1 - -5. Suppose -2*s = -2*k - 100, 4*k = j*s + 5*k - 210. Is 26 a factor of s?
True
Let w(o) = 2*o**3 - 6*o**2 + 13*o - 5. Is w(5) a multiple of 10?
True
Let i(f) = -2*f**3 - 6*f**2 + 2*f - 2. Let v be i(-3). Suppose 5 = 2*u + 13. Let t = u - v. Is t a multiple of 2?
True
Suppose 12 = 3*k - 0*k. Let z = 8 - k. Is 1/(-4) + 13/z even?
False
Suppose 2*s - 10 = 4. Suppose 0 = 2*g - 23 + s. Does 8 divide g?
True
Suppose -o - 4*f + 38 = -4*o, -4*o = 2*f + 36. Let z = o + 35. Is z a multiple of 7?
False
Let m(t) = -t**3 - 5*t**2 + 2*t - 3. Let s be m(-4). Let l = 9 + -13. Does 13 divide s/(-2)*(l - -6)?
False
Suppose -3*f = -220 - 128. Suppose -b + 5*b = f. Is 19 a factor of b?
False
Let u(p) = p**2 - 4*p. Let z be u(5). Suppose z*f + 16 = 176. Does 5 divide f?
False
Is 2 a factor of (-2)/(-7) + (-544)/(-56)?
True
Let s(v) = 8*v + 2 - 8 - 6*v**2 + 7*v**2. Is s(-9) a multiple of 3?
True
Let h = 55 + -26. Is h a multiple of 9?
False
Suppose -42 = -4*m - m - 3*u, 0 = m - 2*u - 11. Suppose 0 = -f + 4*f - m. Suppose -2*l = 0, -f*l + 0*l = 3*s - 114. Is s a multiple of 21?
False
Suppose 3*b + 2*b = 15. Suppose -w + 5*f = -87, w - f - b*f = 83. Is 18 a factor of w?
False
Let p(r) = 6*r - 9. Let b be p(4). Suppose -b + 5 = -2*m. Does 2 divide m?
False
Suppose 0 = -3*y - 3*r - 22 - 5, 2*r = -y - 13. Let g(k) = k**2 + 3*k + 5. Is g(y) a multiple of 8?
False
Suppose -t + 2*t = 5. Let w(s) = 2*s**2 - 7*s + 5. Does 13 divide w(t)?
False
Let a = -7 - -11. Suppose -124 = -2*d - 2*l, 9*d - a*d - 5*l - 290 = 0. Does 20 divide d?
True
Suppose 0*o - 3*w - 753 = -4*o, -3*o = w - 581. Is 32 a factor of o?
True
Let k(y) = -2*y + 7. Let s(h) = 4*h - 15. Let m(i) = -5*k(i) - 2*s(i). Is 5 a factor of m(5)?
True
Let x(u) = u**2 - 4*u - 3. Let b be x(5). Does 13 divide -3 + b - -2 - -12?
True
Let z be (0*(-1)/3)/(-2). Suppose x - 4*x + 36 = z. Is x a multiple of 6?
True
Let p = 30 - 18. Suppose -2*d = -2 - p. Is 7 a factor of d?
True
Let s(p) = -2*p + 1. Let v be s(-2). Suppose a = 4*t + 44, -v*t + 38 + 57 = 5*a. Does 8 divide a?
True
Let v(l) = -l**3 + 11*l**2 - 9*l - 19. Is v(9) a multiple of 7?
False
Is 11 a factor of (38/4)/((-2)/(-12))?
False
Let w = 78 - 48. Let u = w + -21. Is 9 a factor of u?
True
Suppose 8*n - 3*n - 120 = 0. Is 12 a factor of n + 3/(-9)*0?
True
Is -1*4 + 0 + 29 a multiple of 11?
False
Let o be 1/(-2) - (-66)/12. Suppose -36 = -o*a + a. Is 4 a factor of a?
False
Does 23 divide (184/6)/((-1)/(-3))?
True
Suppose 5*q + d = q + 68, 44 = 3*q - d. Is 16 a factor of q?
True
Let u = -21 - -61. Does 5 divide u?
True
Let b be 11/5 - 1/5. Suppose 4*a - 4*z - 123 = -31, 0 = -b*a - z + 52. Is a a multiple of 6?
False
Suppose -n = n + 12. Let u(b) be the third derivative of b**5/30 + 5*b**4/12 + 3*b**3/2 - 4*b**2. Does 13 divide u(n)?
False
Let r be (-12)/18 + 26/3. Does 17 divide (1 + -5)*(-34)/r?
True
Let m(f) = -12*f**3 + f**2 - f + 1. Let u be m(1). Let z be (0 - -1)/((-11)/33). Let t = z - u. Does 5 divide t?
False
Let l = -3 - -7. Is 4 a factor of (-30)/l*(-4)/3?
False
Let i(o) = 5*o**2 + 2*o + 1 + 2*o + 2. Is i(-3) a multiple of 11?
False
Let b = -103 - -119. Is 16 a factor of b?
True
Is (-7)/35 - (-472)/10 a multiple of 47?
True
Let p = 1 - 4. Let b(r) = r + 3. Let a be b(p). Suppose a*x = -2*x + 40. Is x a multiple of 13?
False
Let j = -4 - -1. Is 21 a factor of ((-54)/(-4) + j)*6?
True
Suppose c + 291 = 3*z, c - 201 = -2*z + 4*c. Does 24 divide z?
True
Suppose 5*i + 3*l - 15 = 0, i + 0*i - 3 = 4*l. Suppose -62 + 8 = -i*a. Suppose 3*h - 9 = 0, a - 6 = 3*d - 4*h. Is d a multiple of 8?
True
Let q = 2 + -12. Let x = 35 - 21. Let r = x - q. Does 7 divide r?
False
Suppose -2*d = 1 - 7. Suppose 4*t + 17 = v, -2*v = d*t + 2*t + 5. Suppose -q + 18 = 3*q - o, -v*o - 10 = -4*q. Is q a multiple of 2?
False
Suppose -q + 51 = 2*c, 165 = 4*c + 5*q + 54. Does 24 divide c?
True
Let m(w) = w**3 + w + 31. Let x be (-1 - -1)/(14/(-7)). Let s be m(x). Suppose -g + 4*b + 83 = s, -3 = 3*b. Is 24 a factor of g?
True
Suppose 0 = -5*d + 5*k - 19 + 59, 5*d = 4*k + 35. Suppose 100 = 5*s - 2*j - d*j, -2*s - 3*j = -40. Is s a multiple of 13?
False
Suppose 0 = 4*z - 6*f + 3*f - 120, 4*f - 150 = -5*z. Suppose 14 = 2*s - z. Is 11 a factor of s?
True
Let y(j) = -j**2 + 5*j - 3. Let x be y(4). Let n be (-22)/(x/2*-1). Suppose n = g - 0*g - 5*q, 2*g - 23 = -3*q. Does 9 divide g?
False
Let v = 61 - -35. Is v a multiple of 16?
True
Let i = 3 + -3. Suppose i = w - 0*w - 3. Is w even?
False
Let y be (-3 - (-14)/6)*-24. Does 26 divide 940/y + (-6)/8?
False
Is 2 a factor of ((-15)/(-6))/(2/4)?
False
Does 26 divide (4/12)/(1/357)?
False
Let g(s) = s + 1. Let f(p) = -p + 1. Let t(a) = a - 6. Let w(r) = 4*f(r) + t(r). Let l(k) = 5*g(k) + 3*w(k). Is l(-1) a multiple of 3?
True
Let z(c) = c**2 + 5*c + 1. Is z(-7) a multiple of 5?
True
Suppose -4*b = 3*r - 26, -12 = -r - 4*b + b. Is 4 a factor of 23/r + (-2)/(-12)?
True
Is 12 a factor of -141*((-16)/12 + 1)?
False
Let r be 4/14 + 690/35. Is 12 a factor of ((-48)/r - -3)*35?
False
Let r = -10 - -50. Is 40 a factor of r?
True
Suppose c = -7*h + 3*h + 195, 0 = 4*c - 2*h - 834. Is 17 a factor of c?
False
Suppose -300 = -7*k + k. Is 31 a factor of k?
False
Let n = 2 + 0. Suppose 22 = -4*v - 3*b, 10 = -6*v + 4*v - n*b. Let u = v + 19. Does 12 divide u?
True
Let f = -10 + -8. Does 23 divide f/4*(-46)/3?
True
Let p = -7 - -4. Let z(j) be the second derivative of -j**5/20 - j**4/6 + j**3/3 + j**2 - 18*j. Does 2 divide z(p)?
False
Suppose 5*s = 0, -4*w + 3*w - s = -1. Is (-30)/4*(-1 - w) a multiple of 8?
False
Let r(k) be the first derivative of 25*k**3/3 + k - 4. Is r(1) a multiple of 7?
False
Let j = -1 + -14. Is 7 a factor of 140/8*(-12)/j?
True
Suppose 0*x - 12 = -3*x. Suppose -x*h + 6 + 2 = 0. Suppose -38 = -n - 7*p + h*p, 5*p = -2*n + 66. Is n a multiple of 14?
True
Let h(u) = 4*u - 2. Is h(6) a multiple of 3?
False
Is 3 a factor of 140/18 + 32/144?
False
Let o(i) = 4*i**2 + 15*i + 5. Does 18 divide o(-8)?
False
Let u = -5 - -7. Suppose -j + u = 1, -3*x + 2*j + 4 = 0. Is -5*x*(-3)/6 a multiple of 5?
True
Suppose 0 = 3*o + 4*q - 176, -4*o - q = o - 265. Let h = o + -23. Is h a multiple of 10?
False
Let o = 88 + -62. Suppose o = 2*x - 14. Is x a multiple of 10?
True
Suppose 2*s - 47 = s - a, -203 = -4*s - a. Suppose 5*q = 3*q + s. Is 26 a factor of q?
True
Let t(x) = x**3 - 8*x**2 + 6*x + 8. Let q be t(7). Let g be 1/((-3)/(-9)) - q. Suppose g*n + 2*o - 18 = 8, -3*n + 59 = -2*o. Is 6 a factor of n?
False
Suppose 3*x - 8*x = 0. Suppose x*g + 40 = g - 2*w, -3*g = 5*w - 131. Does 14 divide g?
True
Suppose -p + q + 32 + 8 = 0, -3*q + 150 = 3*p. Is 9 a factor of p?
True
Is (-126)/(-12) - (-6)/(-4) even?
False
Let u(w) = 3*w**3 - w**2 + 1. Let z be 1/(-4) - 9/12. Let p be u(z). Let v(f) = -3*f - 1. Does 4 divide v(p)?
True
Let z be -8 - (2 + 0 + -2). Let m be (-6)/(-4)*z/(-3). Suppose -t = 2*p - 20, 4*p - m = -0. Is 18 a factor of t?
True
Does 32 divide 54/12*(-192)/(-9)?
True
Suppose 3*m = -m + 48. Is 12 a factor of m?
True
Is 3 a factor of (3 + -15 + 0)/(-1)?
True
Let n = -56 - -21. Suppose 5*c + 37 = 307. Let m = c + n. Is 19 a