+ 4*t = t + 24, 5*c - 7 = 2*t. Suppose -c*y + 2*d = 63 - g, -3*d - 100 = -2*y. Is y a multiple of 25?
False
Let p(b) = -b**3 + 10*b**2 + 11. Is 23 a factor of p(9)?
True
Let v(d) = d**3 + 3*d**2 - 6*d - 5. Let g be v(-4). Suppose g*t + 0 = 6. Suppose -2*w = 4*j + t, 4*j + 40 = 5*w + 5*j. Is 5 a factor of w?
False
Suppose 0 = 3*q - 2*z + 2, -4*z + 2 = 4*q - 2. Suppose q = 4*w + w - 95. Is w a multiple of 8?
False
Suppose -3*y + 163 = 4*g, -3*g + 82 + 25 = 2*y. Is y a multiple of 14?
False
Let y = 4 - 1. Suppose -y*h = -5*o + 11, -4*h - 2 = 5*o + 1. Suppose -3*f + o = 4*j, 3*j + j + 14 = 2*f. Does 2 divide f?
False
Suppose 2*f - 25 = 7*f. Let k = 15 + f. Does 13 divide (48/10)/(1/k)?
False
Let v = 39 + -33. Is 3 a factor of v?
True
Suppose 9 + 0 = 3*b. Suppose -t - 103 = -4*u, -29 = -b*u - 4*t + 53. Is u a multiple of 13?
True
Suppose -56 = 3*y - 5*y. Suppose 0 = -s + 3*s - y. Is 7 a factor of s?
True
Let m(o) be the third derivative of o**5/60 + o**4/24 + 22*o**3/3 + 6*o**2. Does 11 divide m(0)?
True
Let p(h) = 2*h + 1. Let q(u) = -6*u**3 - u**2 - 2*u - 1. Let l be q(-1). Let t be p(l). Let i = t - 7. Does 6 divide i?
True
Let a(y) = 11*y - 6. Let q(v) = 27*v - 15. Let c(m) = -12*a(m) + 5*q(m). Suppose -4*r + 2*w = -r - 11, 20 = 5*r - 5*w. Is c(r) a multiple of 6?
True
Let n(z) = -1 - 4 - 7*z - 2 + 4. Let x = -6 - -4. Is n(x) a multiple of 3?
False
Let u(a) = -a**3 - 3*a**2 - a. Let d be u(-3). Suppose -4*g = -d*i - 45, 0 = 5*g + i - 3*i - 58. Does 6 divide g?
True
Let n = 15 - 15. Is (-10)/(-3)*(n - -6) a multiple of 20?
True
Let p be ((0 - 0)/(-1))/2. Suppose p = -3*f - 2*f - 4*n - 16, -5*f + 3*n + 12 = 0. Suppose l = -f*l + 47. Is 18 a factor of l?
False
Let m(i) = -i - 3. Let a be m(-7). Let u(z) = 6*z**2 - 8*z - 5. Let y(j) = 5*j**2 - 8*j - 5. Let s(w) = a*y(w) - 3*u(w). Is 7 a factor of s(6)?
False
Let t(i) = -i**2 + 6*i - 1. Let j be t(4). Let n = j + 8. Is n a multiple of 15?
True
Let t = -13 + 13. Suppose 2*q + 36 = 4*k, 0 = k + 2*q + 2*q - 18. Suppose v + t*v = k. Is v a multiple of 4?
False
Let t = 134 + -217. Let y = 45 + t. Is 11 a factor of 2 - (3 + y/2)?
False
Let q = -2 - -12. Let u = q + 4. Is 14 a factor of u?
True
Suppose -28 + 6 = -2*d + 4*z, 3*z + 13 = d. Suppose -2*l + 9 + d = 0. Does 8 divide l?
True
Let j = -40 + 51. Does 2 divide j?
False
Let h(m) = m**3 + 16*m**2 - 2*m - 13. Is h(-16) a multiple of 4?
False
Let m = 1 - -14. Suppose -5*j + m = -4*w, -10 + 4 = -5*w - 2*j. Does 15 divide 6/(w - 6/(-15))?
True
Does 7 divide (11 + -2)/(5/35)?
True
Suppose 0 = 3*n - 2*n - 2*w - 60, n + 3*w - 80 = 0. Does 20 divide n?
False
Let l = 58 + -14. Is 5 a factor of l?
False
Let v be (-2 + 2)*(-2)/4. Let w(d) = d**2 - 62. Let k be w(v). Is (-1)/(-2) + k/(-4) a multiple of 8?
True
Is 4 a factor of 195/45 + (-2)/6?
True
Let h be 5/(-35) - (-422)/14. Let n be 1 + (14 - 0/1). Suppose n = 5*i - h. Does 4 divide i?
False
Suppose 2*y + 0*y + 28 = 0. Is 1 - 2 - (y - -3) a multiple of 4?
False
Suppose 3*m - 9 = -n + 6, 3*m - 15 = -3*n. Suppose m*u - u = 68. Does 17 divide u?
True
Let m(k) be the first derivative of -k**4/4 + 5*k**3/3 + k**2/2 - 5*k + 1. Let c be m(5). Suppose c = 2*x + i - 50, -4*i - 24 = -x + 19. Does 12 divide x?
False
Let q = 36 + -2. Is 3 a factor of q?
False
Suppose 0*n - 13 = -5*j + 3*n, 0 = -5*n - 5. Let p(a) = 10*a**2 - 3*a + 2. Is p(j) a multiple of 12?
True
Let g = 210 - 142. Let l = -26 + g. Does 14 divide l?
True
Suppose 7 = -5*n - 3. Let y be (-1)/(-2) - 1/n. Let u = y - -5. Is u a multiple of 4?
False
Let x = 218 + 230. Is 14 a factor of x?
True
Let m be 2 - (-2 + 8)/3. Let l(x) = 3*x - 2. Let p be l(2). Suppose m = k + p*k - 90. Does 10 divide k?
False
Let a be 270/(-35) + 2/(-7). Let w = -8 - a. Let f(z) = z**3 - z**2 + z + 21. Does 12 divide f(w)?
False
Let c(v) be the second derivative of -1/6*v**4 + 0 + 1/10*v**5 - 1/3*v**3 + 3/2*v**2 - v. Is 14 a factor of c(3)?
False
Let d = -15 + 34. Suppose 4 = -5*r + d. Suppose -3*i - r = -2*f + 7, 4*f + i - 6 = 0. Is 2 a factor of f?
True
Suppose 3*z - 73 = o, z - 85 = -2*z - 5*o. Is z a multiple of 25?
True
Suppose z = 2*z - 3, z + 257 = 5*h. Is h a multiple of 13?
True
Suppose -5 = z - 14. Let g(b) = z*b - b**2 - 7 - 5*b + 8*b. Is 10 a factor of g(9)?
True
Let y(z) be the first derivative of -z**5/24 + z**4/24 - 2*z**3/3 + 3. Let p(g) be the third derivative of y(g). Is 15 a factor of p(-6)?
False
Let q(h) = 26*h**2 - 4*h. Is q(2) a multiple of 16?
True
Suppose -4*c + 283 = y + 2*y, -2*y = 6. Does 21 divide c?
False
Let u(t) = t. Let i be (-1)/(-2)*(9 - -1). Let s be u(i). Suppose -2*g = -4*o - 28, -s*o - 4 = 2*g - 59. Is 10 a factor of g?
True
Suppose 0 = -5*l - 4*u + 4 - 16, -3*l - 2*u = 6. Let g = 3 - -2. Suppose -g*b + 16 = -3*w, l = 4*b - 8 - 12. Is w a multiple of 3?
True
Let m = -74 + 124. Let i = m - 22. Is i a multiple of 28?
True
Suppose -191 = -2*j + 3*y, 2*y + 515 - 153 = 4*j. Is 8 a factor of j?
True
Let g(h) = h + 6. Let q be 3*(8/(-6) + -1). Let c be g(q). Is (c - -2)*(-18)/(-1) a multiple of 9?
True
Let u(m) = -7*m - 7. Is u(-4) a multiple of 7?
True
Suppose 2*g - 2 - 2 = 0. Is ((-1)/g)/(5/(-70)) a multiple of 4?
False
Let m(w) = -w**3 - 3*w**2 - 4*w - 2. Let n be m(-2). Suppose -2*s - 2 = 0, 4*z - 7*s = -n*s + 109. Is 13 a factor of z?
True
Let t(i) = i**2 - 4*i - 16. Let q be t(12). Let w = -50 + q. Is 19 a factor of w?
False
Let d = -88 + 314. Let o be d + -1 + (3 - 4). Suppose -4*w - 64 = -o. Is w a multiple of 17?
False
Let v be (3 - -1)/(-1)*1. Is (-4)/(-6)*(-126)/v a multiple of 21?
True
Suppose -4*l - 4*z + 3*z = -84, -5*l + 105 = -z. Is l a multiple of 3?
True
Let r = 2 - 28. Let j(a) = -6*a**3 + a - 2. Let i be j(-2). Let q = i + r. Does 14 divide q?
False
Let h(u) = u**2 - 9*u + 3. Let a be h(8). Let j(v) = 4*v + 9. Let r be j(-5). Let p = a - r. Does 3 divide p?
True
Let s(d) = 4*d - 75. Let f(a) = -a + 19. Let t(x) = 9*f(x) + 2*s(x). Is 21 a factor of t(0)?
True
Let o(h) = 11*h + 7. Let g be o(6). Suppose g = 2*t + 9. Is 14 a factor of t?
False
Let g(w) = 22*w**2 - 2*w. Is 23 a factor of g(2)?
False
Let z(i) = i + 14. Is z(6) a multiple of 6?
False
Is -18*-1*(-3 - -4) a multiple of 4?
False
Let h(p) = -p - 1. Is 6 a factor of h(-7)?
True
Suppose -732 = -4*w - 2*m, 5*m = -4*w + 490 + 230. Is w a multiple of 5?
True
Let k(g) = -81*g - 9. Let j(a) = -40*a - 4. Let p(w) = -7*j(w) + 3*k(w). Does 19 divide p(1)?
True
Let c be (6/(-4))/((-3)/20). Suppose -2*a = 2 - c. Suppose 4*j + 6 = -2*r - 8, -j - 17 = -a*r. Does 3 divide r?
True
Suppose 0 = -0*j - 3*j + 33. Let b = -6 + j. Is b a multiple of 3?
False
Suppose -8*z + 5*z = -6. Suppose z*h - 14 = -0*h. Is h a multiple of 3?
False
Let f(n) = -n. Let k be f(0). Let d = -14 - -17. Suppose k*v + 117 = d*v. Does 13 divide v?
True
Let n = -1 + 3. Suppose -n*u = 3*b - 0*b + 37, -b = 3*u + 52. Is 11 a factor of (u/(-4))/(3/12)?
False
Suppose 0 = z + 1 - 4. Let c = 9 - z. Does 4 divide c?
False
Does 32 divide (-110)/(-12)*14 - 1/3?
True
Let x = 7 + -5. Let u(r) = 5*r - x - 4*r + 6*r - 1. Does 7 divide u(3)?
False
Let i(p) = -6*p**2 + p - 1. Let q(b) = -b**2 - b. Let n(h) = -i(h) + q(h). Let v be n(1). Suppose 3*r = 0, 3*k + k = v*r + 16. Is 4 a factor of k?
True
Let t(q) = q**3. Let m(v) = -7*v**3 - 3*v**2 - 2. Let f(w) = -m(w) - 6*t(w). Let i be (0 - -1 - 1) + -2. Is f(i) a multiple of 4?
False
Let o(l) = -18*l**3 + 3*l**2 - 2. Does 22 divide o(-2)?
True
Let p(b) = -69*b**3 + b**2 + 4*b + 3. Is p(-1) a multiple of 17?
False
Let r be -1 + (-1 + 1 - -2). Let a = r - 2. Is 0 - a*(2 - -27) a multiple of 10?
False
Let b(o) = o**2 - 10*o + 17. Let v be b(7). Is 13 a factor of v/20 + (-132)/(-10)?
True
Suppose 0*k = -2*k. Let i be -4 - -2 - k - 6. Let r = i - -33. Is r a multiple of 9?
False
Is (-15)/(2*(-18)/120) a multiple of 10?
True
Let l = -47 - -70. Is l a multiple of 23?
True
Let g(i) = i**3 - i**2 - 5*i + 2. Suppose 11 = 3*n + 2. Let a be g(n). Suppose -5*l = a, -4*h + 2*l + 140 = -2*l. Is 17 a factor of h?
True
Suppose -8 = -4*x + 2*i + 16, 2*x + 3*i = -4. Let h be 3*27 - 0/x. Is 3 a factor of ((-2)/(-3))/(9/h)?
True
Let b = 97 - 77. Does 5 divide b?
True
Let o(h) = 4*h**2 - 2*h - 1. Let s be o(-1). Let r = 10 + s. Is r a multiple of 4?
False
Let n(q) = 4*q**3 + q**2. Does 18 divide n(2)?
True
