 + 76 = 4. Suppose 3*r - 3*w = 2*r + 15, -2*r = -4*w - d. Is 24 a factor of r?
True
Let o(v) = -v - 1 + 12 - 2. Is 3 a factor of o(6)?
True
Suppose -2*f - 38 = -4*f + 2*d, 2*d = -5*f + 60. Let p be 4/(-14) + (-5724)/(-42). Suppose -2*l + 4*j = -3*l + f, 2*j + p = 5*l. Is l a multiple of 13?
True
Is (56/(-6)*3)/(-2) a multiple of 7?
True
Let d(s) = -s**2 + 1. Let i be d(-2). Let x be i + (-6*1 - 0). Is 10 a factor of -20*(x/(-6) - 3)?
True
Let n be (-3)/7 + 24/7. Suppose -n*i = -0*l + l - 20, -2*i + 60 = 2*l. Suppose -2*o + v = -0*v - 19, v - l = -4*o. Is 3 a factor of o?
True
Let u = -37 - -53. Let v = 4 - 2. Suppose v*j - u = 12. Is 9 a factor of j?
False
Suppose 30 = -4*d + 2*n, -39 = 5*d - 3*n - 1. Let c be 3/(3/8) + 1. Does 7 divide -2*c/6*d?
True
Let m(y) = y**2 + 3*y - 1. Does 8 divide m(-10)?
False
Let j = -67 - -133. Does 6 divide j?
True
Is 23 a factor of 22 + (0 - -4) + 4?
False
Let o(j) = -13*j - 10. Does 17 divide o(-6)?
True
Let i(k) = -12*k. Let v be i(2). Let z be 6/(-10) + (-72)/5. Let q = z - v. Is q a multiple of 5?
False
Let h(d) = d**3 - 5*d**2 + 6*d - 5. Let c be h(4). Let o(i) = i**3 - i**2 - 3*i - 2. Does 7 divide o(c)?
True
Let x(a) = 3*a**2 - 7*a + 4. Let d be x(4). Is 7 a factor of (6 + -2)/(4/d)?
False
Suppose -3*l - x = -124, 5*l + 4*x - 127 = 2*l. Does 10 divide l?
False
Let u(r) = 19*r**3 - r**2 + r - 1. Let v be u(1). Let w = 30 - v. Does 6 divide w?
True
Let b be 88 + -3*(-20)/(-15). Let a be (1 + 9)/((-6)/(-27)). Let w = b - a. Is 15 a factor of w?
False
Let z = -3 + 5. Suppose -2 = -z*m + 6. Suppose -m*q = -44 - 20. Is 8 a factor of q?
True
Let k = -6 + 11. Suppose -k*s + 3*a + 128 = 0, s - 11 = -3*a + 29. Is 14 a factor of s?
True
Let o = -6 + 17. Let p = o - 3. Does 8 divide p?
True
Let t(b) = 2*b + 17. Does 2 divide t(-4)?
False
Let j = 117 + 54. Let n = 240 - j. Is n a multiple of 23?
True
Let m(o) = o**3 - 6*o**2 + 8*o + 4. Is 19 a factor of m(5)?
True
Suppose -7 = i + 14. Is 2 + (-15)/3 - i a multiple of 6?
True
Suppose w + 4*w = -210. Let l = w + 25. Let j = l + 35. Is j a multiple of 9?
True
Let p be (-1072)/(-88) - (-2)/(-11). Suppose 7 = 4*x - 17. Let l = p - x. Does 4 divide l?
False
Let a(w) = -2*w + 1. Let q be a(-1). Suppose -57 = -q*b + 2*b. Is 14 a factor of b?
False
Suppose 0 = 3*p + l - 16, -3*p - l = l - 14. Let q(s) be the second derivative of s**4/12 - s**3/6 + 4*s**2 + s. Is q(p) a multiple of 14?
False
Let u(f) = -f**3 - 16*f**2 + 24*f - 34. Does 14 divide u(-18)?
True
Let x(i) be the second derivative of -i**5/4 + i**4/6 + i**3/3 - 2*i**2 - i. Let m be x(-3). Suppose q = -2*b - 2*b + m, 2 = -2*q. Is 18 a factor of b?
True
Let o = 145 + -85. Is 30 a factor of o?
True
Let w be (-4)/2 - (-3)/1. Let k = w + -2. Let x = k - -15. Is 14 a factor of x?
True
Let c(i) = i**3 + 4*i**2 - 4*i - 3. Let y be c(-6). Let r = 114 + y. Suppose 0*p + 3*p - r = -3*f, 5*f + 4*p - 102 = 0. Does 8 divide f?
False
Let q(c) = 8*c - 12. Let g be q(12). Suppose 0*n - 3*n + g = 0. Does 20 divide n?
False
Let g(b) = 2*b - 18. Let d be g(10). Suppose 4*t + 1 = d*s + 23, -5*s = 4*t - 43. Does 4 divide t?
False
Let i(w) = 3 + 0*w + w - 3*w. Let n be 0/(-1) - (-8)/(-2). Does 11 divide i(n)?
True
Suppose -10*u + 9*u = -24. Suppose -11 = p - 1. Let n = p + u. Does 7 divide n?
True
Let x(g) = -8*g + 6. Does 14 divide x(-8)?
True
Suppose -43*u + 120 = -42*u. Is 24 a factor of u?
True
Suppose 225 = -8*a + 777. Is a a multiple of 13?
False
Let a(y) = y + 2. Suppose 2*q - 10 = -0*q. Let m be a(q). Let h = m - 0. Does 7 divide h?
True
Suppose 4*x + 35 = b - 3, 0 = -5*b - x + 148. Let n = b - 49. Let g = n + 33. Is g a multiple of 14?
True
Let t = -50 - -16. Let i = 49 + t. Let v = -1 + i. Is v a multiple of 7?
True
Let c(w) = -w**3 - 8*w**2 - 3*w + 6. Let d be c(-8). Suppose 5*s + d - 210 = 0. Is 12 a factor of s?
True
Let h(q) = q**2 + q + 32. Let y be h(0). Let n = y - 18. Is n a multiple of 5?
False
Suppose -4*f - 19 = -5*z + 2, -f = 4*z. Let t be 22*2 + (z - 3). Let u = -17 + t. Does 17 divide u?
False
Let r be 47/(-2)*(-12)/3. Suppose 0 = 2*x + 22 - r. Is 18 a factor of x?
True
Let m(q) be the third derivative of 0*q + 1/2*q**3 + 0 + 1/8*q**4 + 2*q**2. Does 18 divide m(11)?
True
Suppose -4*g + 6 = -2. Suppose -4 = g*w - 20. Suppose -3*b + w*b - 70 = 0. Is b a multiple of 11?
False
Suppose -2*g = -39 + 3. Suppose -k = -2*k + g. Suppose 4*d - d - k = 0. Is 3 a factor of d?
True
Let h(z) = 2*z**2 + z + 318. Is 53 a factor of h(0)?
True
Does 45 divide 63/42 + 85/2 + 1?
True
Let f(k) = -6. Let h(l) = -l. Let s(c) = f(c) + 4*h(c). Let o(y) = -5*y. Let g be o(1). Is 7 a factor of s(g)?
True
Let w = 168 + 49. Suppose 6*b - w = 131. Is b a multiple of 29?
True
Let i(t) = 5*t**2 + 2*t - 55. Does 16 divide i(-7)?
True
Let p be (-4 + 0)/((-2)/4). Let y = 40 + p. Does 16 divide y?
True
Suppose 0 = -5*g + 2*c + 356, g + 4*c - 57 - 1 = 0. Is 5 a factor of g?
True
Let m(r) = -2*r**2 - 7*r - 1. Let g(h) = 2*h**2 + 7*h + 2. Let v(c) = 3*g(c) + 2*m(c). Suppose -5*s - 37 = 3*i, -5*i + 2 - 47 = 5*s. Does 5 divide v(i)?
False
Let p(k) = -k + 11. Let y be p(15). Let o(b) = -1 - b + 2 + b**2 + 0*b**2. Does 21 divide o(y)?
True
Suppose -4*f = 4*d - 76, -5*d + 2*f + 104 = -2*f. Is d a multiple of 20?
True
Suppose -j - 4 = -3. Let l(h) be the third derivative of -h**6/8 + h**4/24 + h**3/6 + h**2. Is l(j) a multiple of 9?
False
Let t(l) = -l**3 - 5*l**2 + 3*l + 2. Let c = 2 - 7. Let u be t(c). Let w = -6 - u. Is w a multiple of 4?
False
Let f(a) = 2*a - 3. Let w be f(-6). Let h = -9 - w. Is 6 a factor of h?
True
Suppose 4*o = 3*o + 61. Suppose 5*q = o + 9. Is q a multiple of 9?
False
Let v be (-1)/(2 + 63/(-33)). Let b = 16 + v. Suppose -z = -q + b, 0 = 2*q - 3*z - z. Is 5 a factor of q?
True
Suppose -6*a + a = -420. Is 14 a factor of a?
True
Suppose -240 = 3*s - 8*s. Does 16 divide (s/(-5))/(3/(-10))?
True
Let r(y) = y**2 - 2*y - 4. Let t be r(4). Suppose 5*s - 10 - 23 = -4*l, 3*l = t*s + 17. Is l a multiple of 7?
True
Let m(s) be the third derivative of 7*s**6/40 + s**5/60 - s**4/12 + s**3/6 + 2*s**2. Is 13 a factor of m(1)?
False
Suppose -34 = -v + 36. Does 10 divide v?
True
Let o = -13 - -5. Is 13 a factor of -4 - ((-4 - o) + -35)?
False
Let h(q) = -4*q**2 + q + 2. Let s be h(2). Let y = 32 + -13. Let j = s + y. Is 7 a factor of j?
True
Let z = 115 - 45. Does 7 divide z?
True
Suppose t + 3*n = 7 + 10, -2*n + 58 = 4*t. Let v = 20 - t. Is 3 a factor of v?
True
Suppose -o = 2*o - 4*f - 55, 0 = 2*f + 2. Suppose -2*n - 3*z - o = 1, 49 = -3*n + z. Let q = n - -26. Does 11 divide q?
True
Let d = -4 + 13. Suppose t - d = -4. Suppose t*s - 3*c - 18 = 0, 5*c = s - 0*s + 14. Is 3 a factor of s?
True
Let m(v) = -24*v - 7. Is m(-3) a multiple of 13?
True
Let v(u) = u**2 + 15*u - 14. Let b be v(-16). Suppose b*n = 6*n - 240. Is n a multiple of 15?
True
Let t(j) = -j**3 - 5*j**2 + 6*j + 2. Let r be t(-6). Suppose -r*l = l - 51. Does 8 divide 3 + -4 - -1*l?
True
Let l(t) = -13*t - 41. Is 16 a factor of l(-10)?
False
Suppose -3*r + 4*f + 9 = -8, -2*f = -3*r + 25. Let d = -6 + r. Suppose 2*g + 9 = o - 2, 4*o + d*g = 70. Does 6 divide o?
False
Let b = 4 - 2. Is 20 a factor of (2/(-2))/(b/(-106))?
False
Let j(d) = 3*d + 0*d - 4 + d. Let l(h) = -h**2 - 4*h + 12. Let n be l(-5). Is 12 a factor of j(n)?
True
Let r be 1/(-3) - 158/(-6). Suppose 2*l = -v + 16, -2*l = 2*v - 0*l - r. Is v a multiple of 5?
True
Let t(x) = -x**2 - x + 2. Let o be t(-2). Suppose 4 = d - o. Suppose -m = -4*k + 120, 45 = 3*k - 2*k - d*m. Is k a multiple of 19?
False
Suppose 15*f - 106 = 14*f. Is 15 a factor of f?
False
Let i = -1 - 2. Let t(f) = -f**3 - 3*f**2 - 3*f - 4. Let m be t(i). Suppose d + 5*j - 10 = -1, 2*d - 48 = m*j. Is 14 a factor of d?
False
Let d(a) = -9*a - 5. Let o be d(-9). Let p(c) = c**2 - c + 3. Let h be p(0). Suppose -s + o = h*s. Does 6 divide s?
False
Let k(f) = -10*f**3 - f**2 - 2*f - 3. Is 8 a factor of k(-2)?
False
Let t = 385 + -156. Does 30 divide t?
False
Suppose 3*q + 9 = -0, -5*q = 2*g - 313. Is g a multiple of 16?
False
Let y = 9 - 4. Suppose -9 = -y*k + 66. Does 14 divide k?
False
Suppose -7*y - 20 = -8*y. Does 4 divide y?
True
Let y(b) = -9*b**3 - 2*b**2 - b + 2. Does 18 divide y(-3)?
False
Suppose 3*c = -c + 12. Let y = 10 - c. Does 4 divide y?
False
Supp