32 = 7. Suppose -a + 0 = -b. Suppose 3*r - 2*r = a. Does 13 divide r?
True
Let o be (-2)/5 + 54/(-15). Let w(t) = 3*t**2 - 3*t - 5. Is 14 a factor of w(o)?
False
Let o(v) = v**3 + 6*v**2 - v + 6. Let i = -7 + 12. Suppose i*x + 42 = 12. Is o(x) a multiple of 5?
False
Suppose 4*o = -o - 2*s + 478, 4*o - 388 = 4*s. Does 22 divide o?
False
Let y = 45 - 39. Let r(n) be the second derivative of -n**5/20 + 7*n**4/12 - 3*n**2 - n. Is r(y) a multiple of 17?
False
Let p(d) = -8*d**3 - 7*d**2 + 7*d - 7. Let k(r) = r**3 + r**2 - r + 1. Let u(s) = -6*k(s) - p(s). Is 25 a factor of u(3)?
False
Suppose 4*o - 78 = -3*a, -o - 2*a + 5*a + 12 = 0. Is o a multiple of 18?
True
Suppose -5*m + 0*m - 5 = 0, -13 = -3*f - 5*m. Suppose 3*j - f = -0*j. Suppose a + 11 = j*a. Is 11 a factor of a?
True
Suppose 183 = 5*t - 387. Let o = t - 63. Does 18 divide o?
False
Suppose 0 = -3*l - v - 11, -9 = 4*l - 2*l + v. Does 22 divide (66/24)/(l/(-16))?
True
Suppose 0 = 2*w - 5*l + 2, 4*w + 5*l + 24 = -10. Let x(n) = n**2 + 7*n + 3. Let t be x(w). Is 8 a factor of (-27)/t - (2 - 5)?
False
Suppose 10 - 35 = -5*x. Is 5 a factor of x?
True
Suppose 3*v + 4 = 4*v. Suppose 0 = 5*h - v*o - 65, -2*h + 46 = 2*h - 2*o. Suppose 4*l = 63 + h. Is 9 a factor of l?
True
Let z = -64 - -66. Is 2 a factor of z?
True
Suppose -6 = 3*u + 18. Let s = u - -11. Suppose -4*i = 3*h - 87, i - 3 = s*h - 0. Does 13 divide i?
False
Let r(k) = -18*k**2 + 1. Let z be r(2). Suppose 0 = -2*o + 196 + 8. Let l = o + z. Does 11 divide l?
False
Let y(a) = 4*a - 26. Is y(14) a multiple of 6?
True
Let c(r) = 4*r**2 - 7*r - 12. Suppose -7*k = -11*k + 20. Does 23 divide c(k)?
False
Let b(g) = -8*g - 2. Let l = 8 + -2. Let y be (-9 + 1)*l/12. Is 15 a factor of b(y)?
True
Suppose 52 = 4*o - 8. Let j = o + 5. Does 10 divide j?
True
Let f be 4/(-20) - 21/(-5). Suppose 0 = 2*o - 2 - f. Does 3 divide o?
True
Is (-2 - 0)/2 + 20 a multiple of 4?
False
Let b(a) = -a**3 + 4*a + 7*a - a - 8*a**2 - 8. Let t be b(-9). Is 6 a factor of t*(0 + -1 - 0)?
False
Let s(t) = -t**3 - 4*t**2 - 2*t + 3. Let q be s(-3). Let z be 26 + (-4)/6*3. Suppose -3*i = 4*v + 3, 3*v - 6*i + 3*i - z = q. Is v a multiple of 2?
False
Suppose 2*p + 3*c = -9, 6 = c + c. Is (-24)/(-4)*(-84)/p a multiple of 14?
True
Suppose 3*o - 3*d - 14 = -d, 2*o - 2*d = 10. Suppose 3 = o*i - i. Suppose -4*z = l - 35 - i, -4*l + 2*z + 90 = 0. Is 10 a factor of l?
False
Suppose -2*n + y = 8 + 6, -2 = -n - 4*y. Does 17 divide 2/(-6) + (-206)/n?
True
Suppose -3*n = -4*c - 345, -2*n - n = -3*c - 342. Is 6 a factor of n?
False
Let a be 12/(-18)*(0 + 3). Let y = a + 7. Is 5 a factor of y?
True
Let b = 20 + -2. Is b a multiple of 9?
True
Let v(r) be the third derivative of r**5/60 + r**4/12 + r**3/2 - 4*r**2. Is 17 a factor of v(6)?
True
Let m(w) = w + 1. Let p(k) = -3*k + 3. Let q(i) = -5*m(i) + p(i). Is q(-2) a multiple of 7?
True
Let s(f) = f**2 + 2. Suppose -12*i + 5 = -11*i. Does 9 divide s(i)?
True
Let f = -166 - -171. Is 4 a factor of f?
False
Suppose -3*k + 2*i + 88 = 0, 3*k - 84 = k - 5*i. Is k a multiple of 32?
True
Is (2 - -4)/(3*5/30) a multiple of 5?
False
Let h be (-2)/9 + 222/27. Suppose -4*d + 115 = 5*z, -5*z - 68 + h = -3*d. Is d a multiple of 9?
False
Does 7 divide 324/15 - 15/25?
True
Suppose 3*b - 2*b + 3 = 0, 2*b + 2 = -4*r. Suppose -r - 5 = -n. Suppose g + 105 = n*g. Is g a multiple of 12?
False
Suppose 5*a - 329 = 141. Is 9 a factor of a?
False
Let s = -6 - -5. Let w = 6 + -9. Is 9 a factor of 17/3*w/s?
False
Let p(c) = 3*c - 6. Let w be p(15). Let d = w - 22. Is 17 a factor of d?
True
Let s(d) be the first derivative of d**3/3 - d**2/2 - 4*d - 3. Let x be s(3). Suppose 0 = x*v + 3*v - 70. Does 7 divide v?
True
Let d = -18 - -134. Does 22 divide d?
False
Let y be (0*(-1)/3)/2. Does 9 divide y + 3 + 14*3?
True
Let z be (-1)/(3 + (-34)/12). Let j(o) = o**2 + 5*o. Does 4 divide j(z)?
False
Let t be (-335)/(-9) + (-8)/36. Suppose -3*x = -4*x + t. Is x a multiple of 10?
False
Suppose -3 - 1 = -2*u. Suppose 0 = 5*x, 2*l - u*x + 67 = l. Let w = -42 - l. Does 17 divide w?
False
Suppose -l - 2*t = 3*t - 53, 3 = -t. Let v = -34 + l. Suppose -q + 3*q = -3*h + v, -2*h - 2*q + 24 = 0. Does 5 divide h?
True
Let l(v) be the second derivative of 7*v**5/10 - v**4/6 + v**2/2 + 3*v. Let b be l(-1). Does 3 divide -10*(b/6 - -2)?
False
Let d be (3 + -3)/(-2 - -1). Is 18 a factor of (d + 2 - 3)*-83?
False
Suppose 4*s + 0*s + 236 = 0. Let c be s/(-4) - (-1)/4. Let m = -4 + c. Does 11 divide m?
True
Suppose z = -2*m + 16, 4*z = 3*z + 3*m + 6. Let c(h) = h**3 - 12*h**2 + h - 13. Let t be c(z). Does 27 divide (-5 - t)/(2/(-34))?
False
Suppose -4*i + 0*v = -4*v - 80, -5*i - 4*v = -136. Suppose 5*b - 8 = -0*a - a, -3*a = b - i. Is a a multiple of 6?
False
Let j = 3 - -1. Suppose 2*u - l + 163 = 0, j*u = l - 0*l - 321. Let r = -41 - u. Does 19 divide r?
True
Let p(d) = 2*d + 10 + 0*d - d. Is p(-7) a multiple of 3?
True
Let p(u) = -31*u - 7. Let j(a) = -10*a - 2. Let l(z) = -7*j(z) + 2*p(z). Suppose -x + 2*x = 5*m - 23, 2*x + 22 = 4*m. Is l(m) a multiple of 16?
True
Suppose s = 111 + 91. Does 21 divide s?
False
Let b(f) = -6*f - 10. Let l be b(7). Let j = 82 + l. Is 14 a factor of j?
False
Suppose -3*k - t = -292, -2*t = 2*k - 6*k + 396. Does 23 divide k?
False
Suppose -4*i = -10 + 2. Suppose -3*o + 17 = i*c, -10 = 2*o + 2*c - 6*c. Suppose d + 20 = o*d. Is 10 a factor of d?
True
Suppose 2*j = -2*q + 56, 0*j - 5*q = -4*j + 67. Does 8 divide j?
False
Let s = -4 + 29. Let v = s + 50. Is 25 a factor of v?
True
Let d(j) = j**2 + 3*j + 1. Let o be d(-5). Let s(v) = -4*v**2 + 15*v + 4. Let y be s(o). Does 21 divide ((-2)/3)/(5/y)?
True
Let r(k) = 33*k - 1. Let t be (-4 + 3)/(2/(-4)). Is r(t) a multiple of 18?
False
Is ((-175)/(-1) - -1) + -2 a multiple of 11?
False
Let y = 135 - 43. Is y a multiple of 26?
False
Suppose 5*a = r - 18 - 19, 3*r + 4*a - 149 = 0. Is 11 a factor of r?
False
Let t(d) = -3*d + 3*d + 6*d**2 + d + 94*d**2. Is 33 a factor of t(-1)?
True
Suppose -5 = -t - 0. Let o = 0 + t. Suppose -o*j = -185 + 35. Is 15 a factor of j?
True
Let s be (-3 + 2)/(2/4). Let y(g) = -4*g**3 + 0 - 3 + g**3 - 2*g**2 - 2*g. Is y(s) a multiple of 7?
False
Let z = -133 + 77. Let l = z - -80. Does 9 divide l?
False
Suppose 2*o + 64 = 6*o. Let l = o - 7. Does 3 divide 2 + 3/l*3?
True
Let d(k) = k**3 + k**2 + k + 1. Let s(p) = p**3 + p**2 + 5*p + 4. Let c(f) = -2*d(f) + s(f). Let t be c(-2). Suppose t = -h + 5 - 1. Does 2 divide h?
True
Let o(k) = 94*k - 3. Let l(t) = -141*t + 4. Suppose -6*d + d + 25 = 0. Let c(y) = d*l(y) + 7*o(y). Does 18 divide c(-1)?
False
Let v = 22 - 9. Suppose 3*f + 21 = 4*c, -3*c + 7 = -c - 5*f. Suppose c*r + v = 7*r. Does 13 divide r?
True
Let l(b) = b**3 + b**2 + 44. Let a be (0 - (-3)/6)*0. Is l(a) a multiple of 12?
False
Suppose -9 = 2*p - 117. Suppose 2*h + 5*n = -2*h + 62, -4*h - n + p = 0. Does 13 divide h?
True
Suppose -366 = -4*c - 2*n, 3*c - 5*n - 307 = -0*n. Is 15 a factor of c?
False
Suppose 4*b - 2*t - 42 = 0, -b + 27 = 3*t + 2*t. Let d be b/(9/(-6) - -3). Suppose -2*x = -d*w + 3*w - 21, -4*x + 4*w + 60 = 0. Is x a multiple of 8?
False
Suppose 39 = -5*f - 51. Suppose -4*w + 189 = 5*p, 0*w = -p - 5*w + 42. Let t = p + f. Is 11 a factor of t?
False
Suppose -3*u + 154 = 2*k - 56, -u = 5*k - 83. Is u a multiple of 17?
True
Let h = -24 + 10. Suppose x = 3 + 29. Let l = x + h. Is l a multiple of 12?
False
Suppose -5*r = 5*q - 2*r - 9, 0 = -4*r - 8. Let a(h) = -h**3 + 3*h**2 - 2*h + 4. Let p be a(q). Is (-72)/(-5) + p/5 a multiple of 10?
False
Suppose z = 5*z. Let l(u) = -u + 7*u**2 - 4 + z + 3 + 31*u**2. Is l(-1) a multiple of 19?
True
Let r = 15 - -5. Is 8 a factor of r?
False
Let q(r) = 42*r**2 + r. Let a = 0 - -1. Let n be (a - (-2 - -2))/(-1). Does 15 divide q(n)?
False
Suppose 9 = 2*x + 1. Let n be (2 - -54)*2/x. Suppose -3*i + n = -i. Is i a multiple of 11?
False
Let h = -1 + 1. Suppose 4*v + 8 + h = 0. Does 9 divide 128/7 - v/(-7)?
True
Suppose 0 = -5*n + n + 124. Let s = n - 16. Is 8 a factor of s?
False
Let s be 4/5*(-55)/(-22). Suppose 3*q + s*j = 583, -7*q = -2*q - 5*j - 955. Suppose 3 = -3*k, 5*k + q = 3*c + 11. Is 27 a factor of c?
False
Let s = 37 - 21. Suppose -4*f + 120 = s. Suppose f = 2*g - 14. Is g a multiple of 6?
False
Suppose 0*m - 8 = -4*m. Suppose -3