- 70 = x - 5*x. Is x a multiple of 9?
False
Let t be 4/(-8) - 29/(-2). Suppose h + 1 = t. Is 12 a factor of h?
False
Let g = 64 + 30. Is 6 a factor of g?
False
Let d(v) = 2*v**2 + 6*v + 3. Suppose 2*o + 10 = -4*n, -o - 1 - 4 = n. Is d(o) a multiple of 13?
False
Suppose 5*x + 63 + 222 = 5*b, 2*x = -b + 42. Suppose 0*f - 2*f = -b. Does 26 divide f?
True
Does 6 divide 10/3*(-36)/(-20)?
True
Let y be (-2)/(-4)*(5 + 1). Suppose -w - 10 = -y*w. Suppose -25 - 18 = -4*h - w*x, -53 = -4*h + 5*x. Is 12 a factor of h?
True
Suppose 7*n = -166 + 439. Does 12 divide n?
False
Let m = -1 + 5. Let f(g) = g**2 + 3*g - 5. Is f(m) a multiple of 14?
False
Let c(q) = q**2 + 2*q - 7. Let i be c(-5). Let s(k) = k**2 - k + 22. Let a be s(0). Let y = i + a. Does 15 divide y?
True
Suppose -55 = 5*b + 15. Let l = b + 28. Does 7 divide l?
True
Suppose 4*p - b = -9, 15 = -5*p + 2*b + 3. Let v be (-1)/1 - (p - 1). Let o = v - -9. Does 11 divide o?
True
Let y(s) = s - 2. Let q(j) = 2*j - 4. Let r(o) = -3*q(o) + 5*y(o). Is r(-8) a multiple of 7?
False
Suppose 5*a + 25 = 0, 4*p - 2*a - 52 = 2*a. Is 4 a factor of p?
True
Suppose 0 = -5*f - 0*f. Suppose d + 9 - 39 = f. Is d a multiple of 9?
False
Let s be (20/(-8))/((-1)/2). Suppose 10*k - 65 = s*k. Suppose -k + 1 = -3*j. Does 4 divide j?
True
Does 19 divide (2 + -5)*57/(-9)?
True
Let y = 4 + -2. Let r(l) = 6*l + l**3 + y*l**3 - 4*l**3 + 6*l**2 - 4. Does 16 divide r(6)?
True
Suppose 0 = 8*k - 9*k + 1. Let d = k - -6. Is d even?
False
Suppose 8*r - 541 + 181 = 0. Does 10 divide r?
False
Suppose 5*p - 5*h - 85 = 0, 4*p - 102 = -h - 29. Suppose 3*i - 6 = 2*a, -a - a - p = 3*i. Let d(j) = -j**3 - 6*j**2 - 7*j - 9. Is d(a) a multiple of 21?
False
Let x = -83 - -92. Is 4 a factor of x?
False
Suppose 0 = -0*b + b - 13. Let k = 18 - b. Suppose -7*f + 6 = -k*f. Is f a multiple of 2?
False
Let x = -14 - -10. Let w(s) = -s**2 - 4*s + 3. Is 3 a factor of w(x)?
True
Let a(u) = -6*u. Let i be (-36)/8*(-4)/3. Suppose i*w - 2*w = -32. Does 24 divide a(w)?
True
Let v = 207 + -134. Is v a multiple of 8?
False
Suppose -10*v = 2*v - 912. Is v a multiple of 13?
False
Let q = 18 - -29. Is q a multiple of 8?
False
Let f(x) = 2*x**2 - 12*x + 12. Is f(8) a multiple of 12?
False
Let c(q) = -q + 4. Let v be c(3). Is v*3 - (-6 - 46) a multiple of 23?
False
Let c = -25 - -58. Is c a multiple of 11?
True
Let j(a) be the third derivative of -1/12*a**4 - 2*a**2 + 1/20*a**5 - 1/2*a**3 + 0 + 0*a. Is 11 a factor of j(-3)?
False
Suppose 0 = -2*y - y + 378. Does 10 divide y?
False
Let x = 22 + -40. Let o = 33 - x. Is o a multiple of 17?
True
Suppose 10 = s + 7. Let u(m) = -35*m**3 - m**2 - m. Let w be u(-1). Suppose s*c = 8*c - w. Does 3 divide c?
False
Let j(b) = -7*b - 10. Is 16 a factor of j(-6)?
True
Suppose -7*p + 8 = -5*p. Suppose p*h = 34 + 94. Does 8 divide h?
True
Suppose 3*c = -0*f + f + 15, 2*f - 2*c + 14 = 0. Is -82*f/6*1 a multiple of 26?
False
Suppose 3*n = 5*n - 56. Suppose 4*c = -0*c + n. Is c a multiple of 7?
True
Suppose 5*w + 13 - 3 = 0. Is (-95)/w*(-18)/(-15) a multiple of 15?
False
Does 4 divide (-3500)/(-56) + (-6)/(-4)?
True
Suppose -w = -k, 18 = 5*w + 4*k - 18. Suppose 0 = 4*o - 2*l - 64 - 52, 0 = -o + w*l + 36. Is o a multiple of 11?
False
Let f(i) = 3*i + 4. Let y(n) = 2*n - 6. Let d be y(4). Let h(r) = 3*r + 3. Let l(w) = d*h(w) - 3*f(w). Does 6 divide l(-4)?
True
Let f(v) = -48*v + 4. Let w be f(-2). Suppose -r + w = 4*r. Does 10 divide r?
True
Let q(t) = t + 1. Let n be q(-7). Let j = n - -11. Does 2 divide j?
False
Let w = -18 + 31. Is 12 a factor of w?
False
Let s be 2/(-4)*3*2. Let v(t) = t**2 + 3*t + 1. Let g be v(s). Is g/(-2)*0 + 3 a multiple of 2?
False
Let u(q) = 2*q - 7. Suppose -2*w - 4*z + 4 = -10, z - 14 = -2*w. Does 4 divide u(w)?
False
Let r(l) = -l**3 - 7*l**2 - 8*l. Suppose -2*j = 8 + 4. Is r(j) a multiple of 12?
True
Suppose d + 1 = -5*n - 1, n = d + 2. Is -18*(3 + d)*-1 a multiple of 9?
True
Let w be (3/6 + -1)*6. Let k = w - -37. Is k a multiple of 17?
True
Suppose 9*y + 44 = 557. Is 4 a factor of y?
False
Suppose 0 = k - l - 11, -l = 5*k + 51 - 130. Let i = 47 - k. Is i a multiple of 11?
False
Let c(t) = t**2 - 8*t - 5. Suppose 0 = 3*j - 33 + 12. Let p be c(j). Is 6/3*-1 - p a multiple of 10?
True
Let m = 5 - 4. Let c = m - 0. Is 26*c*2/2 a multiple of 21?
False
Suppose -91 - 17 = -3*r - 3*f, -r + 30 = 3*f. Suppose -3*s + 20 = -4*u, 0*s + u + r = 5*s. Is s a multiple of 8?
True
Let x = 33 + -12. Is x + (2 - 0 - 6) a multiple of 5?
False
Let w(j) = -7*j + 1. Suppose 4*o - q - 54 = 0, -2*o = 2*o - 4*q - 60. Suppose 2*a + 5*h + 5 = 0, -h + o = -2*a + 2*h. Is 19 a factor of w(a)?
False
Does 17 divide (-5 - -4) + 34*2?
False
Let s(p) = p**3 - 6*p**2 - 4*p - 2. Let q = 15 - 8. Let o be s(q). Suppose 3*n = -m + 40, 2*m - o = -2*n + 5. Is 14 a factor of n?
True
Let m(y) be the first derivative of -y**4/4 + 8*y**3/3 + 11*y**2/2 - 6*y - 4. Let j be m(9). Suppose -5*u + j = -u. Is u a multiple of 2?
False
Let h(y) = -y**2 + 16*y + 20. Let k be h(17). Suppose p + k*l + 1 = -2, 0 = -4*l - 12. Is p a multiple of 5?
False
Suppose -4*x - 5*o + 0*o = 36, 2*o = -3*x - 34. Let d = 20 - x. Does 11 divide d?
False
Let v(k) = -k**3 + 6*k**2 + 3*k. Does 8 divide v(5)?
True
Suppose -5*f - 29 + 79 = 0. Is f a multiple of 5?
True
Let b = 4 + 4. Is 10 a factor of 12/b*120/9?
True
Suppose 0*w = -2*y + 5*w - 77, 0 = -5*w + 25. Is 9 a factor of (y/(-3))/((-1)/(-6))?
False
Let b = 4 - 14. Let r be (8/3)/(b/(-15)). Suppose -5*h - 4*f + 72 = 0, 3*f = -2*h + r*h - 15. Does 6 divide h?
True
Suppose 0 = 2*h - 3 - 5. Suppose 3*b + 0*f - 48 = -2*f, -h*f - 102 = -5*b. Is 9 a factor of b?
True
Suppose 2*b = -y - 3, -b - 3*y = -2*b + 9. Suppose b*g + 54 = 2*g. Does 9 divide g?
True
Suppose 0 + 6 = 2*o. Suppose 0 = o*q - 307 - 62. Let j = q + -75. Does 18 divide j?
False
Suppose 4*n + 2*u - 234 = 0, -3*u = -3*n + 2*u + 143. Does 14 divide n?
True
Suppose 5*a = -0*a + 4*g, 0 = -a - 4*g + 24. Is 14 a factor of 59/a - 3/4?
True
Let g(w) = 13*w**2 + 5*w + 3. Let a(f) = -3*f**2 - f + 1. Let m be a(1). Let q be g(m). Is ((-8)/(-6))/(10/q) a multiple of 14?
True
Let b(n) = -n**3 - 6*n**2 + 5*n - 9. Does 27 divide b(-9)?
True
Suppose -4*v + 3*x = -0*v - 117, -5*x = 3*v - 66. Is v a multiple of 26?
False
Suppose -6*b + 5*b = t - 7, 2*b - 5*t + 14 = 0. Does 27 divide 56 - 4*b/6?
True
Suppose 2*c = -3*c + 1600. Suppose -2*m - 4*x = -106, 2*m - x = -3*m + c. Is 21 a factor of m?
True
Let d(m) = -m**3 + 4*m**2 + m + 9. Is d(4) a multiple of 13?
True
Let u(k) = -8*k + 1. Let x(i) = 9*i. Let s(v) = 2*u(v) + 3*x(v). Is 5 a factor of s(2)?
False
Let h(i) = -i + 10. Suppose -6*z + 2*z = -4. Let l be -2*(z + 5/2). Does 17 divide h(l)?
True
Let z(i) = -4*i - 1. Let a be z(-1). Suppose 7*v - 3*v - 44 = -t, -2*t = -a*v - 121. Does 14 divide t?
True
Suppose -5*v - 40 - 35 = 0. Let h = 28 + v. Is h a multiple of 5?
False
Is 13 a factor of ((-546)/4)/7*-2?
True
Suppose 0*q - 60 = -4*q. Is 4 a factor of q?
False
Let g be (6/(-15))/(1/(-10)). Suppose -308 = -4*p + g*b + b, 2*p + 3*b = 132. Suppose 0 = 3*j - 57 - p. Is 13 a factor of j?
False
Suppose 5*x + 4*m = 11, 5*x - 2*m + 0*m - 17 = 0. Let u(g) = -x*g - g**3 - 5 + 13*g**2 - 4*g - 9. Does 23 divide u(12)?
True
Let n be ((-8)/(-5))/(4/30). Let s = 46 - n. Suppose 2*t = 3*i + s, 0*t = -2*t - 5*i + 50. Is 7 a factor of t?
False
Let r(z) = -z - 10. Let q(l) = -5*l - 41. Let j(w) = -2*q(w) + 9*r(w). Let h be j(8). Does 13 divide 3 - h/1 - -19?
False
Let m(r) = 32*r + 2. Let n be m(2). Suppose c - 3*c = -n. Is c a multiple of 11?
True
Let j = -10 - -18. Suppose -4*h + 8 = 0, 0 = -4*s - 5*h + 21 + 1. Let v = j - s. Is 5 a factor of v?
True
Let n be 1/3 + (-32)/6. Let f(m) = -2*m + 2. Is 6 a factor of f(n)?
True
Does 22 divide 1/(2/(-44))*-1?
True
Suppose -19 = 4*w + 3*x, -4*w = w - 4*x - 15. Let i be w/(-2)*(-4 - 2). Does 12 divide (-24)/(i/(1 + 2))?
True
Suppose z + 5 = 4. Let f be z/2 - 54/(-4). Suppose i - 1 = f. Is i a multiple of 14?
True
Let r(o) = 2*o - 1. Suppose 8 = -5*g - 3*t, t - 3 = 5*g - t. Let d be r(g). Let n = 10 - d. Is 13 a factor of n?
True
Let s(q) be the third derivative of -q**5/60 - q**4/3 + 2*q**3 + 2*q**2. Let r be -6*(-9)/6*-1. Does 3 divide s(r)?
True
Let p = -5 + 1. Is (-15)/p - (-2)/8 a multiple of 4?
Tr