5. Is 9 a factor of w?
True
Let w = -2 - -16. Suppose 2*i = 10, -2*z + i + i + w = 0. Is 3 a factor of z?
True
Let d be 48*2*(-1)/(-2). Suppose -4*p + 0*p = -d. Does 12 divide p?
True
Suppose -5*d + 66 = -274. Is d a multiple of 14?
False
Let d(p) = -13*p - 5. Let q(o) = o + 9. Let g(f) = f - 1. Let c(n) = 6*g(n) + q(n). Let x(i) = -11*c(i) - 6*d(i). Is 2 a factor of x(6)?
False
Suppose -5*a = f - 49, 4*a + f = -3*f + 36. Does 3 divide a?
False
Suppose -k + 3 = -5. Suppose -24 = -4*z + k. Is 8 a factor of z?
True
Is ((-13800)/56)/(-5) - 4/14 a multiple of 4?
False
Let m = 1 - -2. Suppose 94 = 5*x + z, m*x = -0*z + 5*z + 62. Suppose y - 1 = x. Is 13 a factor of y?
False
Suppose 5*o - 5 = -0*v - v, v - 5 = -2*o. Suppose v*d - 84 = d. Does 13 divide d?
False
Let t(l) = 14*l**2 + 7*l + 3. Is 28 a factor of t(-3)?
False
Let m(u) = u**3 - 8*u**2 + 9*u - 1. Let s be m(7). Suppose 0 = -2*n + 4*v - 6, -n + 2*v + 12 = 3*v. Let d = s - n. Is d a multiple of 6?
True
Is 14 a factor of 2 - (-11)/(33/162)?
True
Let q(z) = -31*z + 7. Does 20 divide q(-3)?
True
Let m(t) = 2*t - 14. Let h be m(9). Suppose c - 18 = -h*j, -4*j = -3*c - c + 132. Does 8 divide c?
False
Let g(d) = 3 - 1 + d**2 - 5 - d + 2*d. Does 9 divide g(3)?
True
Suppose 0*m - 13 = -m. Let g = m + -8. Suppose g*z + 19 + 1 = 0, -3*z - 25 = -k. Is k a multiple of 13?
True
Let u(o) = o**3 + 3*o**2 - 8*o - 5. Let q be u(-5). Let b be 10/q*3/1. Is 9 a factor of b/(-3*(-6)/(-99))?
False
Let j(q) = -3 + 2*q**2 - 11*q - 6 - 3*q**2 - 1. Is 9 a factor of j(-8)?
False
Is 9 a factor of (-3 - (-33)/9)/(8/540)?
True
Let r(k) = -k**2 + 10*k + 6. Suppose 0 = -2*f - 0*f + 10. Does 9 divide r(f)?
False
Let x(j) = 16*j**2 - 6 + 3*j - 3*j + 5. Is x(-1) a multiple of 7?
False
Let g(o) = -o + 1. Let v be g(1). Let q = v + 0. Does 4 divide q + 2/(-2)*-5?
False
Suppose 618 - 1674 = -3*f. Let i = -143 + f. Suppose -123 = -3*r - 2*t - 8, t = 5*r - i. Is r a multiple of 14?
False
Does 13 divide (-34)/2*(-2 - 0)?
False
Suppose 4*v - 10 = -v. Suppose -2*r + 17 = -3*g - 4, v*r - 19 = g. Does 3 divide r?
True
Suppose -6*n + 2*l = -2*n - 12, -n + 3 = 4*l. Suppose 2*y = -n*y - 75. Is 18 a factor of -70*((-9)/y + -1)?
False
Suppose 5*v + 106 = -0*g + 2*g, -3*v + 117 = 3*g. Is g a multiple of 5?
False
Suppose 2*y = 3*i + 40, 5*i - 50 = -4*y - y. Let t = y - -14. Is t a multiple of 14?
True
Suppose -3*m - 2 = -11. Let r = m + 1. Let k(q) = q**3 - 5*q**2 + 6*q - 5. Does 2 divide k(r)?
False
Suppose 4*k + 15 = 39. Let p be (-3)/k + (-58)/4. Is 3 a factor of p*((-24)/(-15) - 2)?
True
Suppose 5*v + n - 1344 = 0, -2*v + 5*n + 105 + 411 = 0. Suppose v = 5*u + b, -13 = 3*u - 4*b - 160. Is 18 a factor of u?
False
Suppose 2*u = 6*u + 12. Let p be (2 + u)*(0 + -2). Suppose p*h + 0*h - 20 = 0. Is h a multiple of 5?
True
Let d(m) = -3*m + 24. Let k be d(12). Let x = k - -67. Is 17 a factor of x?
False
Let h = -2 + 2. Suppose -5*m - 2 + 7 = -2*u, h = -5*m - 2*u + 25. Does 3 divide m?
True
Let d(j) = 2*j + 3. Let g be d(-3). Let y = 0 - g. Suppose y*t - 57 = -21. Is 6 a factor of t?
True
Suppose z = 4*f - 61, 3*f + 0*f - 39 = 3*z. Let d(h) = 4*h - 22. Does 10 divide d(f)?
False
Let t = 77 + 123. Is 25 a factor of t?
True
Suppose -2*a = 4, 4*v - 44 = -0*a - 2*a. Suppose 3*d + d = v. Suppose -d*r + 10 = -14. Is r a multiple of 4?
True
Suppose 2*k + k = -5*g + 12, 3*k = 2*g + 12. Suppose 2*y - 3 = -p, -3*y = -2*y + k*p + 2. Suppose t - 4*u - 48 = 0, y*t + u = -0*u + 60. Is t a multiple of 16?
True
Let o be ((-5)/2)/((-3)/6). Let x(m) = m - 6. Let g be x(o). Is 20 - g/(0 + -1) a multiple of 9?
False
Let t(x) = x + 25. Let w(h) = -h**2 + h - 12. Let i be w(0). Does 4 divide t(i)?
False
Suppose 3*t - 5*g = -35, 3*t - 5*t - 2 = 2*g. Let f(l) = -l**3 - 6*l**2 - 8*l - 4. Is f(t) a multiple of 9?
False
Is 80 + -4 + (0/(-3))/(-5) a multiple of 19?
True
Let s = -52 - -103. Is 18 a factor of s?
False
Let g = 6 - -3. Suppose -h - g = -25. Does 16 divide h?
True
Suppose 4*l = -r - 4, 4*r + 3*l + 3 = -r. Is -1*(-23 + r/(-3)) a multiple of 10?
False
Let k(l) = -l**2 - 19*l + 4. Is 13 a factor of k(-17)?
False
Let p = -10 + 6. Let h be p/6*(1 - 4). Suppose 2*a = 14 + h. Is a a multiple of 4?
True
Let n = 5 + -5. Suppose n*p = -2*p. Let q = p + 12. Is 12 a factor of q?
True
Let w(k) = k**2 + 7*k - 14. Is 16 a factor of w(6)?
True
Suppose 0 = 4*n + 68 + 36. Let o = -2 - n. Is 12 a factor of o?
True
Let l(v) = v**2 + 3*v - 2. Suppose 3*q + t + 11 = 0, 5*q + 3 = -t - 16. Let a be l(q). Suppose -5*b = -a*b - 39. Does 13 divide b?
True
Let x(j) = j**2 - 17*j + 1. Is 6 a factor of x(18)?
False
Suppose 4*x = -2*j - 10, -20 - 1 = -3*j + 3*x. Suppose -t + 6*t = -j*p + 17, -3*t + 19 = 4*p. Suppose 0*h - 28 = -p*h. Is h a multiple of 7?
True
Let k(r) be the third derivative of -r**4/12 - 4*r**3/3 + r**2. Let q be k(-6). Suppose 0 = -3*x - 3*f + 3, f = 5*x - q*f - 45. Is 5 a factor of x?
True
Let t = 1 + -2. Let n be t + 24/3 + 1. Let r = 12 - n. Is r even?
True
Let k = -1 + 3. Let m = k + -1. Suppose 0 = t - f - m, -4*t = -t - f - 11. Is t a multiple of 5?
True
Let w(n) = 2*n**2 - 8*n + 2. Does 9 divide w(7)?
False
Let g(y) = -y**2 + y + 5. Let s be g(0). Let k = 45 - -66. Suppose s*x - 2*x = k. Is x a multiple of 19?
False
Let m = 5 - 2. Let c(g) = g**2 - 3*g - 2. Let z be c(m). Is ((-30)/(-18))/(z/(-12)) a multiple of 10?
True
Suppose -5*x + g + 341 = 0, 4*x + 2*g - 164 - 106 = 0. Is 34 a factor of x?
True
Let i(t) = t + 18. Does 31 divide i(13)?
True
Suppose 0*f - 404 = -4*y + 2*f, 2*f = 5*y - 506. Is 27 a factor of y?
False
Let f(r) = -r**2 - 34*r - 13. Is f(-23) a multiple of 31?
False
Let u(k) = k**2 + 11. Is 9 a factor of u(5)?
True
Suppose 0 = 5*x + 2*q - 310, -33 = 5*x + 5*q - 358. Is 20 a factor of x?
True
Let t(k) = k**3 - 3*k**2 - 2*k - 6. Let d be t(5). Suppose -4*x + 4 = y + 2, 0 = 4*y + 3*x + 44. Let f = d + y. Is 10 a factor of f?
True
Suppose 0 = -3*z - 2*h + 67, 6*z + 5*h = 3*z + 82. Does 17 divide z?
False
Let t(m) = 7*m. Suppose -3 = -o - 4*o - 4*q, 5*o - q = 18. Is t(o) a multiple of 8?
False
Suppose 5*i = 2*m - 0 - 1, 3*i = m. Let a be i - 15/3*-1. Let y = 16 + a. Is y a multiple of 11?
True
Let t be (-6)/(-9) + (-26)/(-6). Suppose 212 = 4*p + 4*c, t*p + 3*c = -101 + 356. Does 9 divide p?
False
Let i = -20 - -11. Let t = 17 + i. Is 2*5 + t/4 a multiple of 5?
False
Let z be 7 - 7 - 1*-3. Suppose z*r - 2*r - 8 = 0. Does 3 divide r?
False
Let a be 9/(-6)*(-20)/15. Suppose 0 = 5*d - a*d - 51. Is 17 a factor of d?
True
Let m be (3 - 1)/((-4)/22). Let s = -2 - m. Does 2 divide s?
False
Let i = 131 + -19. Is i a multiple of 13?
False
Let y(n) = -n. Let q(o) = 4*o + 1. Let s(b) = -q(b) + y(b). Let u(r) = -5*r - 2. Let v(d) = 3*s(d) - 2*u(d). Is 7 a factor of v(-2)?
False
Let y be 40/5 - (0 - 1). Let c be (-7)/(-3) - 3/y. Suppose -3*i - 4*m = -34, -c*i - 16 + 37 = m. Is i a multiple of 8?
False
Suppose 4*d + 3*c = -143, 2*d - 4*d - 5*c - 89 = 0. Let t = 59 + d. Is 12 a factor of t?
False
Let q(y) = 13*y - 28. Does 10 divide q(6)?
True
Let k(b) = b**2 + 2*b - 5. Does 2 divide k(-5)?
True
Let x = -31 - -51. Suppose 3*v + 1 = -3*a - 2, a = -5*v - 5. Suppose a*w = -w + x. Does 14 divide w?
False
Let w(b) = -b**2 - 7*b + 3. Let n be w(-7). Suppose 2*z = -2*z + 112. Suppose -77 = -n*u + 5*f, -3*f = -4*u - z + 127. Is u a multiple of 9?
False
Let j = 11 - 6. Suppose y + 30 = 2*b + j*y, 24 = 3*b - y. Is 9 a factor of b?
True
Suppose 5*z - 412 = 4*y, 15 = -0*y - 5*y. Is 16 a factor of z?
True
Let n = 149 + 61. Is n a multiple of 15?
True
Let u = 366 - 102. Does 33 divide u?
True
Let f be 1/(-4) + 63/28. Suppose 24 = f*k - 2*a - 0*a, 5*a = k - 4. Does 9 divide k?
False
Suppose 3*y + x = 115, -2*y + 2*x = 4*x - 70. Is y a multiple of 8?
True
Let m(g) = -13*g - 1. Let x be m(-1). Suppose -3*b = 2*j + x, 3*b = 4*b - 5*j + 21. Does 4 divide (-3)/((-9)/b) + 10?
True
Let g = 6 + 59. Is g a multiple of 18?
False
Is 2 a factor of (-358)/(-6) - 6/9?
False
Let k = 8 - -1. Suppose 2*o + 13 = 1. Is o/k - (-50)/3 a multiple of 12?
False
Suppose 12*r - 149 = 79. Is 5 a factor of r?
False
Let r(f) = -6*f**2 + 5*f - 3 + 0*f**2 - f**2 - f**3. Suppose 4*z + 10 = -22. Is 15 a factor of r(z)?
False
Let v(h) = h**3 + 7*h**2 - 2*h - 4. Suppose -5*o - 9 = 21. Let b be v(o). Suppose -n + 5*