 -t + 0*t = -o - q. Is 24 a factor of 2/t + (-305)/(-10)?
False
Let k = 55 - 53. Suppose 0 = k*h - 5 - 37. Is h a multiple of 2?
False
Suppose -a - 2*n + 132 = -62, -9 = -3*n. Let r = a + -134. Is r a multiple of 6?
True
Let b = 10 - 4. Let f be (2/b)/(4/(-36)). Is 14 a factor of (f/(-6))/((-2)/(-56))?
True
Is ((-528)/14)/(81/42 - 2) a multiple of 8?
True
Suppose 5*p + 171 = q, -p = 5*q - 6*p - 855. Does 19 divide q?
True
Let d = -19 + 25. Suppose 12 + 6 = d*f. Suppose 2*p - 18 + 2 = t, 0 = -3*p - f*t + 15. Is 3 a factor of p?
False
Let d = -1645 - -2365. Is 3 a factor of d?
True
Suppose 4*j = 9419 - 3091. Does 48 divide j?
False
Suppose 5*b - 8*b + 342 = 0. Suppose q = 3*q - b. Let v = q + 23. Is v a multiple of 21?
False
Let j = -608 + 789. Does 8 divide j?
False
Is 11/(385/4179) + (-6)/(-10) a multiple of 12?
True
Let k(t) = t**2 - 10*t - 9. Let i be k(-6). Let y = 61 + -59. Suppose 3*s + 5*g = 87, s + y*s - 3*g = i. Does 5 divide s?
False
Suppose q + 3 = 0, 3*q - 311 = -5*z + 760. Is z a multiple of 8?
True
Let f(c) = -2*c**2 + 5*c. Let r be f(5). Let d = 34 + r. Suppose -i - 3*l + d = 0, 4*l = 4*i + 8*l - 60. Does 6 divide i?
True
Let i = 29 + -26. Suppose 0 = 3*f - i - 0. Is 11 a factor of f/1*60/1?
False
Suppose 0 = -9*i + 1255 + 635. Is 35 a factor of i?
True
Suppose 2*z + 118 = i, -z - i - 167 = 2*z. Let f = z - -97. Is f a multiple of 5?
True
Suppose 3*t - 489 = 216. Is 47 a factor of t?
True
Is 144/(-72)*4418/(-4) a multiple of 51?
False
Suppose -u + 2651 = 10*u. Is u a multiple of 14?
False
Let r(g) = 283*g**2 + 12*g - 10. Is r(1) a multiple of 55?
False
Let z(j) = 35*j - 294. Does 9 divide z(34)?
False
Suppose 6*s - 50 = s. Suppose 3*n - 35 = -4*v, 0 = -2*n + 3*v + v - s. Suppose 222 = n*g + 72. Is g a multiple of 12?
False
Suppose -5*r = -z - 877, -2*r - 5*z + 349 = -6*z. Does 4 divide r?
True
Let o(p) = 4 + 168*p - 17 - 192*p. Is o(-2) a multiple of 17?
False
Let v be 3 + 0 + (-3 - 2/(-1)). Is 3 a factor of 81/4 - 0 - v/8?
False
Suppose -56*l + 55*l + 403 = 0. Is 13 a factor of l?
True
Let k = 2083 + -1474. Is 29 a factor of k?
True
Let g = 1007 + -240. Does 9 divide g?
False
Does 9 divide (-2)/(-2) - -340*(-8)/(-16)?
True
Let b(a) = a**3 - 11 + 3*a - 15*a + 8*a**2 + 3*a**2. Let o be b(-12). Let x = o - -16. Is 3 a factor of x?
False
Suppose 6*m + 169 = 961. Suppose -2*q - m = -5*q. Is q a multiple of 22?
True
Let o(f) = f**2 + 2*f + 3. Let d(l) = -l**3 - 7*l**2 - 4*l + 7. Let y be d(-6). Is 6 a factor of o(y)?
True
Suppose h + 2*g = 7, 2*h + 3*g + 5 = 24. Suppose -u + 2*d = -24, -h = -2*u - 4*d + 15. Does 11 divide (132/u)/((-2)/(-10))?
True
Let l(x) = -x**3 + 23*x**2 + 34*x - 22. Is 55 a factor of l(22)?
True
Suppose 0 = a - 4*c - 9 + 1, 2*c = 2*a - 34. Suppose 0 = -5*s - y + 20, 3*s - 2*y - a = -y. Suppose s = k + 1. Is 4 a factor of k?
True
Suppose 75*v - 79*v + 212 = 0. Let x = 90 - v. Does 4 divide x?
False
Let u = 132 - 310. Let m = -101 - u. Does 9 divide m?
False
Let p = -173 + 262. Does 32 divide p?
False
Let l(r) = -130*r - 386. Does 20 divide l(-14)?
False
Suppose 6*o = 15*o - 4662. Does 37 divide o?
True
Let z(f) = f**2 - 10*f - 3. Suppose 22 + 2 = 2*v. Is 12 a factor of z(v)?
False
Let a(y) = -6*y - 3. Let n(t) = 16 - 10*t + 8 + 58*t. Let v(c) = -33*a(c) - 4*n(c). Is v(10) a multiple of 22?
False
Let w(u) be the third derivative of u**5/60 - u**4/2 + 7*u**3/3 - u**2. Let g(d) = -d**3 + 4*d**2 + 7*d + 1. Let l be g(5). Is 2 a factor of w(l)?
False
Let c be (1/(-2))/((-13)/78). Suppose -5*h = c*f - 37, 3*f + 4*h = 3*h + 53. Let l = 30 - f. Is 2 a factor of l?
False
Let z(b) = 2*b**2 - 10*b + 11. Let j be z(9). Suppose -2*c + 0*c + 352 = 4*r, r - j = 2*c. Suppose -5 - r = -4*d. Is d a multiple of 5?
False
Suppose 2*i - 5*r = 4530, -67*i + 2*r - 4516 = -69*i. Does 20 divide i?
True
Suppose 10*o - 13*o + 57 = 0. Suppose -5*y + 33 = 3. Let h = o - y. Is h a multiple of 3?
False
Let s be (-8 - -4)/(1*-1). Suppose s*m + 13*m = 442. Is 13 a factor of m?
True
Suppose 0 = 15*r - 14*r - 2. Suppose -5*p - 233 = -3*z, r*p - 20 = 7*p. Is 19 a factor of z?
False
Let k(w) = -7*w**3 + 2*w + 12. Let p(t) = -13*t**3 + 4*t + 23. Let q(r) = -11*k(r) + 6*p(r). Let o be q(-3). Let s = o + 17. Is s a multiple of 10?
False
Let i(a) = -a + 2. Let w be (-250)/(-4) - (-4)/(-8). Suppose -2*k + k = 3*h - 2, 0 = 5*k - 3*h + w. Does 3 divide i(k)?
True
Suppose 2*s = 8*s - 132. Suppose 0 = 3*k + 4 - s. Is 20/(-7)*(-21)/k a multiple of 10?
True
Is 28 a factor of 5 + (-435)/85 + (-20004)/(-102)?
True
Let y(o) = 2*o**2 - 8*o + 4. Suppose -11*r = -9*r - 12. Let s be y(r). Let q = s - -49. Does 33 divide q?
False
Let a(l) be the second derivative of l**4/12 - l**2 + 5*l. Is a(5) a multiple of 11?
False
Let o(m) = 6*m**2 - 7*m - 8. Is o(-9) a multiple of 44?
False
Suppose 51*u - 48*u + 3*d - 8616 = 0, -3*u - 5*d = -8622. Is 46 a factor of u?
False
Is 31 a factor of -1*(2 + (5 - 472))?
True
Let z(v) = v + 0*v - 5*v**2 - v**3 + 1 + 3. Let k be z(-4). Let q = -8 - k. Is q a multiple of 4?
True
Is 27 a factor of (2 + -20)/((-14)/273)?
True
Let h(x) = -9*x - 4 - 6 - 5 + 3*x. Suppose -4*m - 30 - 2 = 0. Does 11 divide h(m)?
True
Let o(t) = t**3 + 15*t**2 + 10*t + 28. Is o(-12) a multiple of 34?
True
Let a(r) = -36*r - 165. Does 33 divide a(-32)?
False
Suppose 5*s = -3*s - 56. Is (-74)/4*(s + 5) a multiple of 3?
False
Let h(n) = n**2 - 2*n - 62. Is h(19) a multiple of 9?
True
Suppose -y + 4*y = 27. Let q(u) = -u**3 + 12*u**2 + 7*u + 9. Let b be q(y). Suppose 129 = 2*z - 5*r, -5*r - b = -5*z - 30. Does 16 divide z?
False
Suppose v - c = 3, -3*c = 3*v - 1 + 4. Let u(f) = 36*f**2 - f + 1. Is 5 a factor of u(v)?
False
Let w = -4 + 3. Let c(v) be the third derivative of -7*v**6/15 - v**5/60 - v**4/12 - v**3/3 - 5*v**2. Is c(w) a multiple of 11?
True
Suppose -3322 = -11*i + 7403. Is 15 a factor of i/(-26)*(1 - 3)?
True
Let y be (-3 + 303/6)*2. Let h = y + 57. Suppose 4*t - q - h = 0, 9 - 60 = -t - 3*q. Does 21 divide t?
False
Let v(b) be the second derivative of -13*b**3/6 + 84*b**2 + 31*b. Is 21 a factor of v(0)?
True
Let g = -346 - -528. Does 6 divide g?
False
Let g(s) = -8*s - 2. Let a be (-3 + -4 - 3)/(-1). Suppose -23 = 4*k + b - 9, 5*b = a. Is g(k) a multiple of 29?
False
Let a(n) be the third derivative of n**4/24 + 7*n**3/6 + n**2. Let q(v) = 3*v - 1. Let c be q(4). Is 15 a factor of a(c)?
False
Let w(r) = 2*r + 37. Let f be w(-11). Let g(n) = 11*n - 60. Does 9 divide g(f)?
False
Suppose 5*b - 134 = 8*c - 10*c, -2*b - 5*c = -62. Does 3 divide b?
False
Suppose -4*p + 9*p - 16 = -2*s, 5*s = -4*p + 6. Is 4 a factor of s*(-18)/(4 - 1)?
True
Suppose 4*g = -205 - 475. Let p = 66 - g. Suppose 3*s + s - p = 0. Is s a multiple of 21?
False
Suppose 2*o + 28 - 16 = 0. Let l(k) = -8*k - 3. Let u be l(3). Let i = o - u. Is i a multiple of 7?
True
Let c(g) be the third derivative of g**6/120 + g**5/6 - 7*g**4/12 - g**3/6 - 11*g**2. Is 32 a factor of c(-11)?
True
Let i(x) = -5*x**2 + 15*x + 5. Let u be i(3). Suppose u*a - 2*r = 117 + 89, -r = 3. Does 5 divide a?
True
Suppose 460 = 5*b + 5*g, -b = -0*b + 4*g - 80. Let a = b - -2. Does 15 divide a?
False
Let u = 1099 - 604. Is u a multiple of 55?
True
Let o = 84 + -206. Let c = o - -167. Is 7 a factor of c?
False
Let w = 46 - 107. Let l = w + 32. Let f = l - -69. Does 6 divide f?
False
Let g be (48/10)/(6/30). Suppose -u - u = -g. Suppose 3*l - 57 - u = 0. Is l a multiple of 7?
False
Suppose 532 = -c + 8*c. Let p = 91 - c. Does 15 divide p?
True
Let i(v) = v**2 + 8*v - 17. Let d be i(-10). Suppose 0 = -3*k - d*k + 30. Suppose 4*x - 140 = -3*t, 5*t - k*x - 158 = 17. Is 20 a factor of t?
True
Suppose 0 = -44*d + 133*d - 204967. Is 47 a factor of d?
True
Let p = -102 - -69. Let v = 58 + p. Is v a multiple of 6?
False
Suppose -2*u = 2*u + 2*x - 10, -2*u = -x - 3. Let w(v) = 5*v**3 - 3*v**2 + 3*v + 2. Is 6 a factor of w(u)?
True
Suppose -5*i - 81 = -121. Suppose -i - 72 = -t. Is t a multiple of 23?
False
Suppose 2*z - 12 = -5*r, -5*r + 4*z = -0 - 6. Suppose -r = 8*h - 6*h. Is 14 + (h - (-2 - 0)) a multiple of 14?
False
Suppose 2*d + 3*s = 17, -3*d = s + 4*s - 28. Is 7/(8/88*(0 + d)) a multiple of 11?
True
Let k(j) = 149*j + 772. Is k(8) a multiple of 34?
False
Suppose 4*m - 5*n + 39 = 0, 5*m + 0*m = 5*n - 45. Let o = m + 6. Su