m - 2*v - 7 = 0. Suppose -m - 11 = i - 5*r, -4*i + 48 = 4*r. Suppose -5*a - 66 = -i*a. Does 10 divide a?
False
Let m be (-1)/(1 + -2)*-46. Is 16 a factor of (0 - 1*m) + -1?
False
Let k = -3 - -4. Let o be -1 + (0 + 0 - k). Let a(m) = 9*m**2 + 3*m + 2. Does 16 divide a(o)?
True
Let a = 55 + -37. Is a a multiple of 2?
True
Suppose -s + 127 = 3*j - 30, 3*s + 15 = 0. Is 14 a factor of j?
False
Suppose 4*g - 40 = 4*q, -2*g + 0*g - 3*q = -10. Is 5 a factor of g?
False
Suppose 5*i = 9 + 1. Suppose -47 + 14 = g - 3*a, -i*a = -g - 32. Is 2 a factor of 13/5 - 12/g?
False
Let x = 55 + -35. Suppose -4*s = -0*s - 24. Suppose -x = -b + s. Is 12 a factor of b?
False
Suppose 0 = 4*c - 6 - 6. Suppose -c*p + 144 = -0*p. Is p a multiple of 15?
False
Suppose -5*a = -a - 8. Let x(p) = 6*p**2 - p**3 + a + 4*p**3 - 5*p**2. Is 15 a factor of x(2)?
True
Suppose -2*d + 1 = -3. Suppose -159 = -5*c + 4*y, -2*y = -d*c + 16 + 48. Does 14 divide c?
False
Let u = 0 - -22. Suppose -2*w - 9 = -3*x, 3*x + u = 5*w + 49. Is -3*((-14)/w)/(-1) a multiple of 7?
True
Let b = -25 - -28. Is 3 a factor of b?
True
Suppose 0 = -5*o + 7 + 18. Let f = 1 - -2. Suppose -4*t = -4*d + f*d, -o*d + 4*t = -32. Is 8 a factor of d?
True
Suppose -q + 4*q - 342 = 0. Does 4 divide (32/48)/(4/q)?
False
Suppose 4*p - 102 = -3*l, -l + p + 1 = -26. Is l a multiple of 10?
True
Suppose 4*l = 3*k + 132, -5*l + 0*k + 142 = 2*k. Is 10 a factor of l?
True
Suppose -3*y = -0*y + 36. Let s = 21 + y. Does 7 divide 2/(s/7 - 1)?
True
Let z = -28 - -62. Suppose 3*v = -4*u + z - 2, 5*v - 57 = -3*u. Is v a multiple of 12?
True
Suppose -2*f - 575 = 371. Is 20 a factor of f/22*(1 - 3)?
False
Suppose -j - 2*h = -64, 0 = -2*h + 2 + 6. Is j a multiple of 26?
False
Let a = -35 + 19. Let z = -7 - a. Is z a multiple of 3?
True
Let f(t) = -t**2 - t - 1. Let g(a) = 6*a**2 - 5*a + 3. Let q(h) = -5*f(h) - g(h). Is q(7) a multiple of 10?
False
Let q(x) = 5*x - 5*x**2 + 12*x**2 - 4*x. Let d be (-12)/(-16) - (-2)/8. Is q(d) a multiple of 8?
True
Let m = -58 + 28. Let o be (-10)/m - (-215)/3. Suppose -t + o = 3*t. Is t a multiple of 6?
True
Suppose 3*g = 2*v + 146, 4*v - 5*v + 5 = 0. Suppose p + g = 5*p. Is p a multiple of 13?
True
Let h be 3/12 + (-2)/8. Suppose -3*a = -h*a - 18. Does 6 divide a?
True
Suppose 2*v + g - 47 = 0, g - 4 - 1 = 0. Suppose -b - 2*b = -v. Is 6 a factor of b?
False
Let b(h) = h**2 - h + 1. Let y(v) = -7*v**2 + 7*v - 9. Let g(t) = -6*b(t) - y(t). Let x be g(0). Suppose -x*o = -0*o - 42. Does 14 divide o?
True
Let t(w) = 2*w**3 - 7*w**2 - 4. Is t(5) a multiple of 6?
False
Let i = -13 - -21. Let u = 23 - i. Is u a multiple of 13?
False
Let h be -1*3 - (-8 + 9). Let p(a) = -6*a. Is 8 a factor of p(h)?
True
Suppose -4*t = -3*t - 8. Let x(g) = 0 + 6*g**2 + t - 5*g**3 + 4*g**3 + 8*g. Is 8 a factor of x(7)?
False
Let o be 6/(-12) + 409/2. Suppose b - o = -2*b. Is 17 a factor of b?
True
Let w(y) = -7*y + 6 - 21*y**2 + 22*y**2 + 5. Suppose -5*v + 56 = 3*t + 19, -3*t = 3. Is w(v) a multiple of 8?
False
Let k = 7 + 3. Suppose -15*a = -k*a - 195. Is a a multiple of 14?
False
Let o = -112 + 165. Is 17 a factor of o?
False
Suppose 2*y = 2*q - 126, -3*q + y + 3*y + 186 = 0. Is 33 a factor of q?
True
Let o(g) = g**3 - 11*g**2 + 12*g - 10. Is 3 a factor of o(10)?
False
Suppose -2*b + 93 - 13 = 0. Does 5 divide b?
True
Let b(p) = 145*p**3 + p**2 - 1. Is 39 a factor of b(1)?
False
Is 16 a factor of 48/(-10)*90/(-27)?
True
Let n be (3/6)/(1/76). Let j be (n/4)/((-3)/(-6)). Let b = -13 + j. Is b a multiple of 6?
True
Let r(n) = -n**3 - 2*n**2 + 2*n + 2. Let z be r(-2). Let s(u) = -2*u**3 - 3*u**2 - 2*u - 1. Is 4 a factor of s(z)?
False
Let d be (1 - 0)*(-2 - -112). Suppose 0 = -0*u - 2*u + d. Is 31 a factor of u?
False
Suppose 2*y = 1 + 5. Suppose -2*n = y*m - 0*n - 3, -5*m - 8 = -n. Is (3 - 2)/(m/(-6)) a multiple of 6?
True
Let s be (3/(-3))/(2/(-78)). Let r = -17 + s. Suppose 2*f = f + r. Does 11 divide f?
True
Let b = 15 + -5. Let u(r) be the third derivative of -r**6/120 + r**5/6 + r**4/24 + 11*r**3/6 + r**2. Is u(b) a multiple of 14?
False
Suppose -4*b - 3*i + 17 = 0, 11 = b - 0*b + 3*i. Let f(r) = -r + 3*r + b*r + 4. Is 14 a factor of f(6)?
True
Let q be -6*(-4)/2 - -3. Is 11 a factor of 20/150 + 163/q?
True
Let h(a) = a**3 - 2*a**2 - 3*a - 4. Let m(v) = v + 8. Let g be m(0). Let s be 2/g + 60/16. Is h(s) a multiple of 8?
True
Let n(i) = -i**3 - i + 5. Let j be n(0). Suppose 0 = -10*v + j*v. Suppose 5*d - 2*d - 54 = v. Does 9 divide d?
True
Suppose 0 = -3*d + 12*d - 135. Is 5 a factor of d?
True
Let c(j) = 2*j - 5. Suppose -4 = -2*r - 4*d, 0 = 3*r - 3*d + 4*d - 26. Let a be (-1)/(-1 - (-8)/r). Is 4 a factor of c(a)?
False
Suppose n - 24 = 5*v + 5, -2*n + 4*v = -46. Is 9 a factor of -2 + 3 + n - 2?
True
Let b(c) be the second derivative of -c**3/2 - c**2 + 3*c. Does 5 divide b(-4)?
True
Suppose 0 = -4*m + 128 + 152. Let v = m + -34. Is 18 a factor of v?
True
Let s(l) = -2*l + 312. Is 39 a factor of s(0)?
True
Suppose 3*l = 4*n - 37, 3*n - 28 = -l + 3*l. Let j be 4/n + (-116)/(-10). Suppose -o + 0*o + j = 0. Does 12 divide o?
True
Let c(m) = m**3 + 8*m**2 + 4*m - 5. Is c(-5) a multiple of 13?
False
Let m = -7 + 12. Suppose 2*f + m*l = 68, -2*l - 176 = -4*f + 8. Is f a multiple of 22?
True
Suppose 2*w - 3*z = 73, -35 = -w + z - 0*z. Is 5 a factor of w?
False
Suppose 6*s - 4*s = -b + 8, 33 = 5*s - 4*b. Suppose 4*v - 274 = -s*m, 265 = 5*m + v - 6*v. Is m a multiple of 10?
False
Let f(c) = c**2 - 7 - 7*c - c + 4*c. Does 5 divide f(6)?
True
Let y = -40 + 158. Suppose 4*d + 18 - y = 0. Does 10 divide d?
False
Let m(b) = b**3 + 5*b**2 + 3. Let j be m(-5). Suppose j*a + 5 - 29 = 0. Is 4 a factor of a?
True
Is (-179)/(-6) - 10/(-60) a multiple of 6?
True
Let j(a) = 1 + 5*a**2 + 1 + 0*a - 2*a. Does 18 divide j(2)?
True
Suppose -7*h + 244 = 62. Is 3 a factor of h?
False
Let o = 12 - 7. Suppose a = 2*a - 48. Suppose -9*y + o*y + a = 0. Is y a multiple of 12?
True
Suppose 0 = 5*q + 5*j - 40, -5*j - 3 = 3*q - 35. Suppose -71 = 4*w - 23. Is 3 a factor of q/(-24) + (-50)/w?
False
Suppose h + 51 = -0*h. Let a = -21 - h. Is 10 a factor of a?
True
Let l(z) be the second derivative of z**4/12 - z**3 - 8*z**2 + 3*z. Does 13 divide l(11)?
True
Let h(y) be the first derivative of 26*y**3/3 - 3*y**2/2 + y + 9. Is h(2) a multiple of 33?
True
Let y = 14 + -13. Suppose -2*g + 23 = -y. Does 12 divide g?
True
Suppose -2*q - 15 = -q. Does 5 divide q/2*8/(-12)?
True
Let c = -13 + 22. Suppose -c = -w + 65. Suppose -3*l + w = -i + 11, 28 = l + 2*i. Is l a multiple of 11?
True
Let t be 63 - 0 - (-4 - -4). Let n = t - 27. Is 18 a factor of n?
True
Let o(q) = q**3 + q**2 - 6*q - 6. Does 12 divide o(5)?
False
Is 32 a factor of 187/4 + 7/28?
False
Suppose 0 = -2*i + 5*y + 11, i - 6 = -0*i + 3*y. Suppose -s - i*s = -388. Suppose -s = -4*l + 27. Does 15 divide l?
False
Let j = 82 + -37. Suppose 3*a - 4*a = -j. Does 9 divide a?
True
Suppose 0 = 4*d - l - 3*l - 344, -5*d + 3*l + 440 = 0. Is 22 a factor of d?
False
Suppose 4*o - 51 = 5. Let u be (-4)/o - (-92)/28. Suppose -4*t - t - 1 = 3*h, 0 = -u*h + 2*t + 13. Is h even?
False
Let b be 6/3 + (3 - -71). Let j = b + -31. Is j a multiple of 18?
False
Let m = 50 - -20. Does 10 divide m?
True
Let b = -15 + 19. Is b a multiple of 3?
False
Suppose 25*q = 22*q + 480. Does 10 divide q?
True
Let g(d) = -d**2 + 27*d - 20. Is 38 a factor of g(23)?
False
Let u be 3 - (6 + -3 - 5). Suppose x - 456 = -2*x - 5*t, u*x = -t + 738. Suppose 0*h + 3*h - x = 0. Is 16 a factor of h?
False
Suppose 2*u + 4 + 0 = 0. Let t be (8/20)/(u/(-10)). Suppose t*w + 41 = 5*g - 142, -2*w - 146 = -4*g. Is 16 a factor of g?
False
Let r(w) = -2*w + 14. Does 11 divide r(-15)?
True
Let d(l) = -l**3 + 5*l**2 - 2*l + 1. Let o be d(5). Let q = -24 - o. Let j = q + 29. Does 10 divide j?
False
Let n = -25 - -49. Let k = -65 - -48. Let z = k + n. Is 4 a factor of z?
False
Let k be 23/7 - 6/21. Let f = -3 + k. Suppose y + f = 13. Does 5 divide y?
False
Suppose -4*f + 8*f + 2*t = 42, t + 42 = 5*f. Let l = 21 + f. Let o = l - 16. Is 7 a factor of o?
True
Suppose 150 = 4*a + a + 3*s, 0 = -3*a + s + 76. Does 5 divide a?
False
Let r(u) = u**2 + 3*u - 7. Let j be r(-5). Is 8 - (-3 - j)/2 a multiple of 7?
False
Let y = -3 - -5. Let w(u) = u**3 + u - 1. Let n(c) = 11*c*