factor of (-2)/(-2) + 59 + u?
False
Let g(j) = 46*j**2 - 2*j. Is 8 a factor of g(-1)?
True
Let d = 201 - 131. Is 7 a factor of d?
True
Let x(g) be the first derivative of 3*g**2/2 - 4*g + 1. Let i be x(8). Suppose -2*h = -2*p + i, 12 = p - 0*h + h. Is 11 a factor of p?
True
Let d(m) = 2*m**2 + m + 1. Suppose 3*a + 6 = -3. Is 8 a factor of d(a)?
True
Let i(q) = -2*q**3 + 2*q**2 + 2*q. Let u(n) = n**2 - 5*n - 1. Let j be u(6). Suppose -3*s - 15 - 3 = 3*x, -2*s - 24 = j*x. Is 7 a factor of i(s)?
False
Suppose 0 = -k - k + 156. Suppose -4*l - x = 4*x - 82, -4*l - 3*x + k = 0. Does 18 divide l?
True
Let y be 3 + (0 - 1) + -1. Suppose k - 5*j + y + 29 = 0, -3*k = 2*j + 56. Is 15 a factor of (0 + -1)*1 - k?
False
Let q(t) = 2*t**2 + t - 4. Let l be 2/(-4)*(-4 - 6). Let w be l/2*(-18)/(-15). Is q(w) a multiple of 14?
False
Let f(k) = -9*k + 1. Suppose 0 = 4*p + 2*u + 2*u + 8, -2*u = -5*p + 11. Let d be f(p). Let g = 12 + d. Is g a multiple of 4?
True
Is 2/2 - (1 - 34) a multiple of 7?
False
Suppose 5*h - 2*h - 31 = -4*t, 4 = -2*t. Let u = h - -5. Is 0 + -1 + -1 + u a multiple of 8?
True
Let r(u) = u**2 - 6*u + 6. Let h be r(4). Let m be 24/16 + (-5)/h. Suppose -5*n + p = -165, 3*p - 2*p = m*n - 131. Is 17 a factor of n?
True
Let s be ((-4)/(-3))/((-16)/(-24)). Is 3 a factor of (1/s + -1)*-34?
False
Suppose -r + 2*z + 41 = z, -3*z = 3. Is r a multiple of 21?
False
Suppose -12 = -3*g + 3. Suppose p = g*p - 96. Is 8 a factor of p?
True
Is 13 a factor of 27 - 1*(-3 + 2)?
False
Let j be 2 + (-2 - 0) + -25. Let b(f) = 4*f + 7. Let m be b(-6). Let p = m - j. Is 8 a factor of p?
True
Suppose -5*m - 14 + 289 = 3*u, -159 = -3*m - 3*u. Is m a multiple of 21?
False
Suppose -y + 0*c = 3*c - 11, -145 = -5*y + 3*c. Does 6 divide y?
False
Let m = -4 + 6. Suppose m*v = 4*v - 8. Suppose -2*y + v*y = 26. Is 6 a factor of y?
False
Suppose 3*f - 4*k = 3, -k - 17 = -6*f + 2*f. Suppose o - 25 = 3*s, 5*o - 175 = -0*o + f*s. Is 10 a factor of o?
True
Let p(b) = -45*b + 3. Let q be p(5). Is 12 a factor of (-2)/6 + q/(-18)?
True
Let o = -17 + 17. Is (3 - 8 - o)*-3 a multiple of 5?
True
Suppose -h - 15 = -6*h. Suppose 2*d + 6*n - h*n - 37 = 0, 5*d = -n + 99. Does 12 divide d?
False
Suppose -3*j - 3*g - g = -194, -4*j + g = -265. Is j/2 - 64/(-16) a multiple of 8?
False
Let f = 44 - 22. Is f a multiple of 4?
False
Let l = 2 - 0. Suppose -f + 2*f - 108 = 0. Suppose l*s = -5*i + f, 0 = -3*s - 0*s + 5*i + 137. Is 27 a factor of s?
False
Let u(o) = 3*o**2 + 4*o - 5. Is u(2) a multiple of 5?
True
Let j = -10 - -14. Let u = 21 + j. Is 25 a factor of u?
True
Let d = 6 - -26. Let u = d + -7. Is 25 a factor of u?
True
Let m be ((-1)/((-2)/(-6)))/(-3). Let u = -4 + m. Let k(w) = -4*w + 3. Does 9 divide k(u)?
False
Let s(u) = u**2 - 9*u - 10. Let k be s(10). Let q(v) = 9*v - 4 + 4 + k - 4. Does 15 divide q(4)?
False
Suppose -l = 3*b + l - 406, -3*b + 3*l = -426. Suppose -2*u + 3*u + 5*j = 76, b = 3*u - 3*j. Does 17 divide u?
True
Let t(s) = -11*s + 1. Does 3 divide t(-1)?
True
Is 24 a factor of 30/(-105) + 1096/14?
False
Let a be 10/(-15) - 16/(-6). Suppose -5*r = -a - 23. Does 3 divide r + 4/((-2)/(-1))?
False
Let a = 65 - 29. Suppose -3*g + a = -6. Let z = g + -6. Is 8 a factor of z?
True
Let s = -2 - 10. Let m = s - -25. Is 13 a factor of m?
True
Let q(b) be the first derivative of -2*b - 4/3*b**3 + 1/2*b**4 + 3/2*b**2 - 3. Is q(2) a multiple of 4?
True
Suppose -5*r = -25, 0*s + 675 = 5*s + 4*r. Suppose 2*w = -5*l + s, 2*w - 3*l + 0*l = 123. Is 21 a factor of w?
True
Suppose -u = -8*t + 3*t + 16, 0 = 4*u - t + 7. Does 5 divide ((-91)/28)/(u/4)?
False
Suppose 0 = 2*g - 3*b - 3, 3*g + 3*b - 32 = 2*b. Is g a multiple of 8?
False
Let v(j) = j**2 - 5*j + 4. Let u be v(5). Suppose -3*x + 4 = w + w, 0 = x + u*w + 12. Suppose y = -4, x*c - 144 = y - 3*y. Is 19 a factor of c?
True
Let b = 2 + 4. Suppose -5*t + 0*t - 9 = -3*r, t + 2*r - b = 0. Suppose x + 0*x = l + 11, t = -5*l - 15. Is 3 a factor of x?
False
Let a(l) = 10*l**3 - 9*l**2 - 2*l - 7. Let j(d) = -9*d**3 + 8*d**2 + d + 7. Let p(i) = -5*a(i) - 6*j(i). Is p(2) a multiple of 15?
False
Let m be (-3)/5 + (-117)/(-45). Suppose -p - 27 = -m*p. Is 11 a factor of p?
False
Is 10 a factor of -72*3*1/(-6)?
False
Let b = 82 - 49. Is b a multiple of 11?
True
Let s = 14 + 6. Is s a multiple of 17?
False
Suppose 89 = f + 3*n - n, -3*f + 267 = 3*n. Suppose 71 = 5*j - f. Is j a multiple of 9?
False
Let y(b) = -b**3 + 11*b**2 - 8*b - 14. Let c be y(10). Suppose c*a + s - 34 = 4*a, -s - 56 = -4*a. Is a a multiple of 15?
True
Let b = -10 - -20. Is 3 a factor of b?
False
Let q(n) = -2*n**3 + 3*n**2 - 3*n. Let u be q(2). Is (-26)/(-65) - 356/u a multiple of 8?
False
Suppose 12*q = 8*q + 208. Is 19 a factor of q?
False
Suppose 2*n = -y + 26, -2*y - 2*n = 3*n - 50. Is 12 a factor of y?
False
Let t be (-1382)/(-22) + 6/33. Does 6 divide t/(-6)*2/(-1)?
False
Let b = 236 - 36. Does 25 divide b?
True
Let t(k) = -7*k - 3. Suppose -2*p - 3 = 3. Does 7 divide t(p)?
False
Suppose -532 = -5*w + h + 46, -5*w = 3*h - 566. Is 27 a factor of w?
False
Let m be 2 - (3 - 4) - 37. Is -3 + 5/((-10)/m) a multiple of 9?
False
Suppose -5*l + 118 = -2*c, c + 3*c + 16 = 0. Is 22 a factor of l?
True
Let t(o) = o**2 + 5*o - 3. Let f be t(-6). Suppose -235 = -2*i - f*i + 5*n, 4*n = -2*i + 88. Is i a multiple of 13?
False
Let s = 27 - 39. Is (-150)/(-8) + (-3)/s a multiple of 7?
False
Suppose 4*y - 12 = u, -31 = 2*u - 2*y + 11. Let i = -59 + 42. Let n = i - u. Is n a multiple of 3?
False
Let g = -3 - -10. Suppose -s - g = 11. Let x = -6 - s. Is x a multiple of 6?
True
Let x(b) = 6*b + 26. Does 22 divide x(14)?
True
Let w = -100 - -38. Suppose o + 2*v + 32 = -2*v, 2*o + 3*v = -74. Let f = o - w. Is f a multiple of 15?
False
Let f(k) be the third derivative of k**4/12 + 7*k**3/6 - k**2. Does 8 divide f(9)?
False
Suppose 0 = 3*p + 3*p - 276. Is p a multiple of 22?
False
Suppose -3 = 2*r - 13. Let p be 0 + 3 + r*7. Suppose -x = 5*c - 42, -c = 3*x - 2*x - p. Is 14 a factor of x?
False
Suppose -7*t + 2*t + 10 = 0. Let x(j) = 3*j - 3. Let w be x(t). Suppose -p + a + 18 = 0, -w*a - 9 = -24. Is p a multiple of 9?
False
Suppose -k - 4*k = -45. Suppose -h + 5*s = k, -4*s = -5*h - 160 + 10. Let q = h - -60. Does 13 divide q?
True
Suppose -2*o - 2*x = -12, 4*o - 16 = -0*o - 2*x. Suppose -2*u - 20 = o*m, -62 = 5*m - 2*u + 3*u. Let r = 59 + m. Does 23 divide r?
True
Suppose 0 = -5*n - 4*m + 76, 0*n = n + m - 15. Let z = n + -3. Does 3 divide z?
False
Let t(g) be the third derivative of g**6/120 + g**5/60 + g**4/24 + 31*g**3/6 - 4*g**2. Is 7 a factor of t(0)?
False
Let o(h) be the first derivative of h**3/3 + 3*h**2/2 - 8*h + 7. Let g = 6 - 14. Is o(g) a multiple of 10?
False
Let h = 11 + -1. Let n = 24 - h. Is n a multiple of 5?
False
Suppose -f - 309 = -5*x - 2*f, 122 = 2*x + 2*f. Does 28 divide x?
False
Let l = 54 - 46. Is l a multiple of 2?
True
Suppose 91 = o + 61. Is o a multiple of 11?
False
Let u(p) = -p**3 - 3*p**2 - 3*p - 7. Does 12 divide u(-5)?
False
Suppose -2*s = -24 - 24. Is s a multiple of 2?
True
Let y = -52 - 28. Let j = y - -182. Suppose -392 = -5*a - j. Does 21 divide a?
False
Suppose -9 = -4*o + 7. Suppose -b = b - 8. Suppose -5*y + b*y - v + 16 = 0, 0 = o*y - v - 54. Is 5 a factor of y?
False
Suppose 0 = 4*b - 2*b. Suppose -5*l = -b*l + 45. Let h(r) = r**2 + 7*r - 12. Is h(l) a multiple of 3?
True
Let s(o) = -2*o**3 + 2*o**2 - 3*o. Let l be s(3). Let k = 63 + l. Does 7 divide k?
False
Is 4385/40 + (-6)/(-16) a multiple of 10?
True
Let z(t) = 3*t**3 - 8*t**2 + 16. Is 20 a factor of z(5)?
False
Let r(m) = -3*m - 18. Let k be 10/(-25) - (-68)/(-5). Is 17 a factor of r(k)?
False
Let f = 2 + 7. Suppose -10 - 10 = -5*y. Suppose -f = -y*d - 1. Is 2 a factor of d?
True
Let k(v) = -v**3 - 4*v**2 + 3. Does 10 divide k(-7)?
True
Is 13 a factor of 6/4*(-1820)/(-42)?
True
Suppose 5*g = g. Let s be (2 - -7)*1/3. Suppose 3*i = n - 31, -4*n + 0*n - s*i + 79 = g. Is n a multiple of 11?
True
Let g = 124 - -44. Is g a multiple of 24?
True
Suppose j + 27 - 82 = 5*k, 296 = 5*j - 4*k. Does 20 divide j?
True
Suppose 0 = 4*z - 1 - 15. Let w be (0 - (3 - 44/12))*3. Suppose -c - w = -z. Does 2 divide c?
True
Let r(a) = -5*a**2 - 2*a - 5. Let j(o) = 6*o**2 + o + 5. Let x(i) = 6*j(i) + 7*r(i). Let w be 