ue
Let m(u) = 7*u**3 - u. Let j be m(1). Let d(q) = -q**3 + 6*q**2 - 3. Let a be d(j). Is 2/a + (-71)/(-3) a multiple of 11?
False
Suppose 3*a - 3 = -3*u + 225, 0 = 2*a - 8. Is u a multiple of 9?
True
Let b be -6*(1 - (-10)/(-6)). Suppose -y - c = 37 + 9, -90 = 2*y + b*c. Let s = -34 - y. Is 13 a factor of s?
True
Let o be 1/(-3*1/(-12)). Suppose 4*c - 19 = -3*i + 2*i, o*i + 8 = 5*c. Suppose 0 = 4*z - 3*z - i*a - 15, 0 = -4*a. Does 8 divide z?
False
Let b(t) = -t**3 - 15*t**2 + 11*t + 4. Is b(-16) a multiple of 14?
True
Let w(d) = -110*d**3 - 6*d**2 + 23*d + 14. Let l(x) = -37*x**3 - 2*x**2 + 8*x + 5. Let a(h) = 17*l(h) - 6*w(h). Is 10 a factor of a(1)?
False
Let z(c) = -c**3 - 6*c**2 - 5*c + 2. Let h be z(-5). Let b(o) = -23*o + 3. Let r be b(-3). Suppose 2*m = -h*m + r. Is m a multiple of 18?
True
Let h(q) = q**3 + 11*q**2 + q + 14. Let i be h(-11). Suppose i*c + 5*x = 2 + 7, 3*x = 3*c - 33. Does 5 divide c?
False
Let d(x) = x**3 + 7*x**2 + 5*x - 7. Let h be d(-6). Let v = 26 + h. Does 15 divide v?
False
Suppose -n - 4*n + 1800 = 0. Suppose -6*p + 2*p = -n. Is 30 a factor of p?
True
Does 5 divide (-5 + -7)*(-5)/2?
True
Let i = 0 + 4. Let y(h) = 2*h**3 - 4*h**2 - 5*h + 6. Let k be y(i). Let j = k + -34. Is j a multiple of 16?
True
Is (-13 - -16) + 7*27 a multiple of 8?
True
Let j(f) = f**3 - 6*f**2 - 5*f - 1. Suppose 0*d + 14 = 2*d. Does 13 divide j(d)?
True
Suppose 3*r = 62 + 1. Does 11 divide (-219)/(-7) + (-6)/r?
False
Suppose 4 = 5*g - h - 1, 0 = 2*g - 2*h - 2. Is 4*(g - 1/(-4)) a multiple of 2?
False
Let o(s) = 5*s**3 - 3*s**2 + s - 2. Does 28 divide o(2)?
True
Suppose 5*r + 25 = 0, 3*g - 3*r + 0*r + 99 = 0. Let h = g + 80. Does 14 divide h?
True
Suppose 0*u - 428 = -3*v + 4*u, 0 = -4*v - 5*u + 519. Suppose -108 = -4*o - 4*f, -3*f = 4*o - 6*f - v. Is 14 a factor of o?
False
Let f = -8 - -11. Suppose 6 = 4*n - f*n. Is 6 a factor of n?
True
Suppose -3*s = 3*o - 51, 19 = -s + 5*o + 66. Is 11 a factor of s?
True
Let m(j) = -3*j - j**2 + 10*j + 0*j**2 - 5. Let d be m(5). Suppose -w + 56 = -2*g, -d*g = 2*w - w - 21. Does 23 divide w?
True
Suppose 4*m - 2 = 3*b - 239, -3 = m. Is b a multiple of 25?
True
Let o = 133 + -61. Is 24 a factor of o?
True
Let k be -5 + -3*2/(-3). Does 21 divide 3*k/((-27)/141)?
False
Let k be 1*(1 - 2)*-4. Suppose 8 = 2*w + 2*l, -3*w - 4*l + 10 + 1 = 0. Suppose 0 = -k*u - w*o + 84, 3*u = 4*o - 5*o + 52. Is 8 a factor of u?
True
Does 9 divide (-2)/(-10) + 2316/20?
False
Let y be (4/6)/(3/18). Suppose 2*x = y*x - 28. Is 14 a factor of x?
True
Let m be (-2)/(-4) + (-399)/(-14). Let a = 7 + m. Does 10 divide a?
False
Suppose 4*r = -2*h + 3*h + 167, 0 = -5*h + 25. Suppose 5*m = -4*z + 233, 5*m = -z + r + 19. Is 31 a factor of z?
False
Does 22 divide ((-1365)/45)/((-2)/6)?
False
Let g = 246 - 92. Is g a multiple of 11?
True
Suppose 44 = 3*b + 2. Is b a multiple of 10?
False
Suppose 10*y - 165 = 5*y. Does 33 divide y?
True
Let p(z) = -z**3 - 9*z**2 + 9*z - 6. Is p(-10) a multiple of 2?
True
Let q(d) be the third derivative of d**5/60 + 2*d**3/3 - 2*d**2. Let h be q(0). Suppose -h = 4*o - 64. Is 15 a factor of o?
True
Suppose -25*m + 20*m = -460. Is m a multiple of 17?
False
Let v be 84/22 + (-2)/(-11). Let a(s) = s - v*s - 2 - 4*s + s**2. Does 5 divide a(8)?
False
Let b(i) be the second derivative of -i**5/20 + i**4/6 + 2*i**3/3 + i. Let w be 2*1/(2/3). Is b(w) a multiple of 2?
False
Let i = -164 - -324. Is i a multiple of 40?
True
Suppose 19 = 3*a + 7. Let h(f) = -2*f**3 + f**2 - 5*f - 5. Let w be h(-2). Suppose 5*r = 4*c - 45, 3*c = a*r - 2*r + w. Is c a multiple of 5?
True
Let f = 32 + -20. Is (-1)/((-14)/f - -1) even?
True
Let l = 7 - 10. Let b be (0 + 2)/(2/l). Is 13 a factor of 1*6/b + 37?
False
Let a = 23 + -5. Is 13 a factor of a?
False
Let m = 26 - 85. Let a = 103 + m. Does 15 divide a?
False
Let m(n) = -n**2 + 2*n - 4. Let x(o) = 2*o**2 - 4*o + 9. Let u(t) = -9*m(t) - 4*x(t). Does 10 divide u(-5)?
False
Let i(b) = b**3 - 2*b + 4. Is i(4) a multiple of 10?
True
Suppose -8*x = -9*x + 15. Does 5 divide x?
True
Suppose 2*p - 196 = -g, -2*p = -3*g - p + 588. Suppose 2*c = 4*o - g, o - 2*c - 100 = -o. Is o a multiple of 24?
True
Suppose 0 = a + a - 26. Let t = a + 1. Does 7 divide t?
True
Let t(a) = -a + 13. Is 6 a factor of t(-16)?
False
Let p = 179 - 89. Is p a multiple of 19?
False
Is (-244)/(-10) + 18/(-45) a multiple of 6?
True
Let y(b) = -2*b**2 + b. Let k(u) = 5*u**2 - u + 0*u + 0*u. Let n(f) = 3*k(f) + 7*y(f). Is n(-6) a multiple of 12?
True
Suppose -4*w = w + 4*r - 88, 2*r = w - 12. Is w a multiple of 8?
True
Suppose 5 + 1 = i. Suppose i*p - 975 = p. Suppose 5*f = -5*m + p, -f + 13 = 5*m - 10. Is f a multiple of 13?
False
Suppose 0*z = 3*z - 54. Is z a multiple of 6?
True
Suppose -6 + 71 = 5*p. Is 13 a factor of p?
True
Suppose -5*h + 0*h + 10 = 0. Suppose -5*z - 5*y = -193 - 137, 4*z - 282 = h*y. Let j = z + -45. Does 15 divide j?
False
Suppose -i + 2 = q - 3*q, 5*i - q - 1 = 0. Suppose u - 6*u + 40 = i. Does 6 divide u?
False
Suppose 6*c = -4*r + 2*c + 388, 0 = -r + 2*c + 91. Is r a multiple of 18?
False
Suppose -2*m + 12 = w + m, 2*m - 58 = -4*w. Suppose b + a - w = 0, -b - a - a + 14 = 0. Is b a multiple of 16?
True
Let c(f) = -5*f + 1 - 3*f**2 + 2*f + f**3 - 8. Does 28 divide c(5)?
True
Let f = 12 + -6. Suppose -4 = g - f. Is (-80)/4*(-1)/g a multiple of 9?
False
Let c = -223 + 325. Does 56 divide c?
False
Let b(i) be the first derivative of 7/2*i**2 - 1 - i. Is b(1) a multiple of 3?
True
Let k(z) be the first derivative of 3/2*z**2 + 1 - 7*z. Is 14 a factor of k(7)?
True
Let q(n) = n**3 - 14*n**2 - 14*n - 10. Let s be q(15). Suppose -86 = -s*l + 3*x + x, x + 18 = l. Does 7 divide l?
True
Suppose -5*u + 786 = -684. Is u a multiple of 21?
True
Let i(m) be the first derivative of m**4/4 - 8*m**3/3 + 9*m**2/2 - 9*m + 4. Let x be i(7). Suppose n = 3 + x. Is 8 a factor of n?
True
Suppose 5*v = 2*v + 252. Is 21 a factor of v?
True
Let u = 0 + 3. Suppose -r + u = -o, 0 = -2*o + 5*o + 5*r - 31. Is 2 a factor of o?
True
Suppose -2*t = t + 6. Let h be 33 - ((-1 - -1) + t). Let c = 70 - h. Does 13 divide c?
False
Let a(l) = -l**2 + 13*l - 28. Is a(7) a multiple of 2?
True
Let t be 7/(84/(-760))*-3. Suppose 0 = 2*y - 5*b + b - t, 4*y + 4*b - 332 = 0. Does 22 divide y?
False
Suppose -3*a = 12, 130 = b - 4*a - 0*a. Does 22 divide b?
False
Let x(u) = u**2 - u**2 + 8*u - u**3 - 6*u**2 + u**2. Is x(-7) a multiple of 12?
False
Let m(v) = v**3 + 6*v**2 + 5*v + 5. Let n be m(-5). Suppose 0 = -k + n + 3. Let p = k - -8. Is 15 a factor of p?
False
Let k(x) = x**3 + 4*x**2 - 8*x - 5. Is k(-5) a multiple of 10?
True
Suppose -4*w - 2*n + 30 = 0, -3*n - 11 = 4*w - 44. Let c be (-3)/(w/14) - 0. Does 4 divide (-40)/c - (-6)/21?
False
Let k(w) = -3*w**3 + 2*w**2 - w - 3. Let v(l) = -15*l**3 + 10*l**2 - 5*l - 16. Let c(z) = 11*k(z) - 2*v(z). Does 11 divide c(-2)?
True
Let v(a) = -4 + 3 + 6 - a. Let p be v(0). Suppose 0 = 2*b - 19 - p. Does 6 divide b?
True
Let v(o) be the first derivative of -5*o**2/2 - 12*o + 3. Is v(-6) a multiple of 9?
True
Suppose -5*w + v = -163 - 86, 0 = -3*w - 5*v + 155. Is 10 a factor of w?
True
Let t = 14 + -10. Suppose 4*c + 8 = 0, c = b - t*c + 55. Let i = 94 + b. Is 14 a factor of i?
False
Suppose j = 2*v - 141, 4*v - j - 313 = -32. Is 14 a factor of v?
True
Let n(j) = j**3 + 10*j**2 + 5*j + 11. Let c(s) = -3*s**2 + 1 - s**2 + 0*s**2 + 5*s**2. Let k(x) = 6*c(x) - n(x). Does 15 divide k(-4)?
True
Let n be ((-8)/(-10))/(5/125). Let x = -33 + n. Let w = 20 + x. Is 7 a factor of w?
True
Suppose 52 = 2*q - 0*q + 4*y, 0 = -4*q - 2*y + 86. Is 2/12*q*3 a multiple of 6?
False
Let n be ((-93)/9)/((-4)/60). Suppose 3*h - n - 43 = 0. Is h a multiple of 23?
False
Suppose -2*c = -c. Let x(f) = c*f + 2*f + 2 + f. Is x(4) a multiple of 7?
True
Let b = 97 - 79. Is 8 a factor of b?
False
Suppose -v + 146 = i, v + 0*v + 574 = 4*i. Does 16 divide i?
True
Suppose -3*t = -86 - 52. Is 5 a factor of t?
False
Does 12 divide (-1098)/(-15) - 2/10?
False
Let a(g) = g**3 - 2*g**2 + 3. Let s be a(3). Suppose -2*c + b + s = -15, -5*b = 5*c - 105. Does 12 divide c?
False
Let v(d) = 29*d - 4. Let n be v(11). Suppose 3*z - n = 297. Suppose -2*g - z = -5*g. Does 23 divide g?
False
Let z = -93 - -163. Suppose -4*o = 4*m - o - z, 3*m = 5*o 