**3 - 7*u**2 + 8*u + 5. Let j be s(-8). Let i be r(j). Suppose 2*m = 7*m - i. Is m a multiple of 10?
True
Suppose 0 = -r - 2*s + 60, r + 4*r - 2*s = 240. Is 25 a factor of r?
True
Let q(x) = x**3 - 6*x**2 + 2*x - 6. Is q(6) even?
True
Let q be (-64)/(-11) - 12/(-66). Does 13 divide ((-3)/q)/(1/(-82))?
False
Let q(s) = -s - 5. Let c be q(-6). Does 4 divide c/(3/24) + 2?
False
Let t(u) = 2*u**2 + 1. Suppose 4*r - 2 = i, -i - r = -4*i + 16. Suppose -i = f + 2*k, 3*k = -f + 3*f - 16. Is 9 a factor of t(f)?
True
Suppose 2*c + 21 = 5*v, 3*v - 5 = -c + 6*c. Suppose -3*o = -c*o - 5. Suppose d = z - 13, 11 = -2*z + o*z + 4*d. Is z a multiple of 4?
False
Let v(j) = -j**3 - j**2 + 2. Let a be v(-2). Is 21 a factor of 189/(-12)*(-16)/a?
True
Does 11 divide ((-20)/(-50))/(1/55)?
True
Let r(z) = -26*z - 2. Let g be r(-1). Suppose 2*o + g = 3*o. Is 12 a factor of o?
True
Let z = -16 - -183. Is z a multiple of 12?
False
Suppose -4*v + 3*j = -43, 21 = 5*v + 3*j + 1. Does 7 divide v?
True
Is (-350)/(-8) + 2/((-32)/12) a multiple of 9?
False
Let t = 16 + -10. Let w be 18*2*3/t. Does 3 divide (-10)/45 + 58/w?
True
Let a be (2 + -2)/(1/(-1)). Suppose -3*g + 0*g + 30 = a. Suppose 2*j + g = 66. Is j a multiple of 14?
True
Let w be 5/1 + 0 + 1. Suppose w*u - 5*u = 37. Is u a multiple of 12?
False
Let k = 1 - 6. Let n = k - -7. Is n a multiple of 2?
True
Let f be -1*(1 + (-2)/2). Suppose 3*x + 35 = 8*x + l, -21 = -3*x - 3*l. Let m = x + f. Is 7 a factor of m?
True
Let t(c) = c**3 - 8*c**2 + 7*c + 5. Let s be t(7). Suppose s*w + 75 = -0*w. Is w/(-2)*(-2)/(-3) even?
False
Let v(l) = -l + 10. Let y be v(7). Suppose -y*p + 7*p - 42 = -c, 0 = -5*p + 2*c + 59. Suppose -3*g + 16 = -2*w, 7 + p = 4*g - w. Is 4 a factor of g?
True
Suppose 6 = 4*m - 6. Suppose 4*a = 2*a + m*s + 43, -41 = -4*a - 3*s. Let w = a - 7. Is w a multiple of 5?
False
Let s(t) = 3*t - 6. Let y(v) = -v**2 + 9*v - 1. Let i be y(8). Is 7 a factor of s(i)?
False
Suppose 0 = -5*z + 10, z + 3 = 3*m - 91. Is 16 a factor of m?
True
Suppose -3*r + 8*r - 311 = -4*o, -5*o - r + 415 = 0. Is o a multiple of 12?
True
Suppose -4*h + 183 = -j - 2*j, h - 3*j = 48. Let g(l) = -2*l - 2. Let w be g(-1). Suppose -7*v - 12 = -3*v, -2*o - 3*v + h = w. Does 11 divide o?
False
Suppose 36 = l + 3*w, -2*l - 3*w + w + 56 = 0. Does 12 divide l?
True
Let k be (558/(-30))/(2/(-10)). Suppose -384 = -4*t + 5*g, -3 - k = -t + 5*g. Is 9 a factor of 1 + 0 + t/3?
False
Let f = 6 + 45. Is 17 a factor of f?
True
Let t(c) = -2*c + 9. Let d be t(6). Let n = 6 + d. Suppose -5*r + 5*l = -n*r - 16, 2*l = -4*r + 80. Is r a multiple of 9?
True
Let q(x) = -14*x + 3. Let w(j) = j**3 - 5*j**2 - 2*j + 6. Let p be w(5). Is q(p) a multiple of 14?
False
Let s be (-5 + 3)/1 + 33. Let c = s + -13. Is 5 a factor of c?
False
Suppose h - 108 = -3*h. Is 9 a factor of h + 1 + 12/4?
False
Let d = -442 + 636. Suppose 0 = -2*k - 3*v - 0*v + d, 298 = 3*k + v. Is 27 a factor of k?
False
Is -1 + 53/3 - (-2)/(-3) a multiple of 5?
False
Suppose -3*t - 6 = 5*o - 136, 4*o + 32 = t. Does 8 divide t?
True
Suppose 176 = 3*o - 73. Let a = o + -37. Is 19 a factor of a?
False
Suppose i = 3*k - 5, -i + 4*k - 2 = 5. Suppose i - 7 = -l. Does 2 divide l?
True
Suppose 8 = -5*z + 103. Is z even?
False
Let i = 6 + -10. Let w = 8 + i. Suppose -b - 3*a = 2 - 13, 18 = w*b - a. Does 5 divide b?
True
Suppose -2*g - 2*g - 4 = 0. Let p be 0/(-2 + (0 - g)). Suppose p = 4*o + 5*w - 69, -3*w = -5*w - 6. Does 15 divide o?
False
Let i(k) = 1 - 14*k + 8*k + 3 - 5. Let o be ((-6)/9)/(2/12). Is i(o) a multiple of 9?
False
Let z = -203 - -309. Does 9 divide z?
False
Suppose -2*p = -3*w + 19, 2*w + w = 4*p + 29. Is (-3)/((-3)/w) + 11 a multiple of 7?
True
Suppose 5*w - 542 = 2*w - 4*h, -5*w + 3*h + 855 = 0. Is 15 a factor of w?
False
Let y(s) = 2*s**2 - 7*s. Let z be y(5). Suppose -3*t + z + 0 = -2*o, 0 = 4*o + 4*t. Does 18 divide 50/(3 + o + 1)?
False
Is 27 a factor of (-60)/(-75) - 3032/(-10)?
False
Let z = 1 + 1. Suppose 3 = -3*l, z*x - 42 = -3*x - 3*l. Is x a multiple of 3?
True
Let z(l) = -l**3 + 12*l**2 - 9*l - 14. Let j be (2 - 30/4)*-2. Is z(j) a multiple of 5?
False
Suppose 87 = 2*m + 5*i, m - i + 2*i - 45 = 0. Does 9 divide m?
False
Let m = -170 + 334. Is 34 a factor of m?
False
Let z = -11 - -9. Is (4/6*-93)/z a multiple of 16?
False
Let b = -18 + 26. Let z = 16 - b. Does 2 divide z?
True
Let u = -202 - -287. Is 17 a factor of u?
True
Let a(r) = -r**3 + 8*r**2 - 4*r - 8. Does 5 divide a(5)?
False
Suppose 0 = -6*a - 154 + 1396. Is a a multiple of 37?
False
Suppose 4*m = 10 + 6. Suppose s + m*s = 20. Suppose s*z = b - 6*b + 176, -z + 5*b + 19 = 0. Is z a multiple of 13?
True
Let m(k) = -k**2 - 16*k - 16. Does 13 divide m(-11)?
True
Let w(r) = -r**3 - 10*r**2 - 24*r - 13. Is 2 a factor of w(-7)?
True
Suppose -4*r = -5*k - 265, -2*r + 2*k = 2*r - 262. Suppose -12 = -4*q, 3*d - q + r = 5*d. Does 14 divide d?
False
Is 12 a factor of (-37 + 7)/((-3)/4)?
False
Let p = 0 - -18. Suppose 0*a - a = -p. Suppose -a = 2*x - 90. Does 18 divide x?
True
Let c = 312 + -219. Suppose -5*t + c = -157. Is 13 a factor of t?
False
Suppose -27 - 99 = -3*i. Let y = i - -17. Is 33 a factor of y?
False
Let s(f) = 2*f. Let q be s(-1). Suppose -2*h + h = -5*k + 61, 3*k = 3*h + 27. Let b = k + q. Is 11 a factor of b?
True
Is 26 a factor of 4/14 - (-27892)/133?
False
Let q(b) = -b - 4. Let d be q(-7). Suppose -m + 3 + d = 2*w, w - m = 0. Is 9 a factor of (12/(-10))/(w/(-30))?
True
Is 17 a factor of (3/9)/((-3)/(-153))?
True
Let b(z) = z**2 - 14*z + 31. Let x be b(13). Let u be (-64)/(1 - 0) - -1. Does 4 divide (-14)/u - (-212)/x?
True
Is (-4)/(-8)*162/3 a multiple of 27?
True
Suppose -x = -0*x - 9. Let i(j) = -j**2 + 10*j - 11. Let t be i(x). Does 13 divide 2/((-180)/93 - t)?
False
Is (13 + -11)*(-71)/(-2) a multiple of 10?
False
Let x be 2/8 + (-152)/(-32). Suppose 2*t + t = 9, -2*a + 99 = x*t. Does 24 divide a?
False
Suppose 2*o + 0*y - 184 = y, 0 = -5*o + 2*y + 459. Does 19 divide o?
False
Let k = 138 - 90. Is k a multiple of 6?
True
Let k = -10 - -8. Let p(y) = 2*y**3 + 5*y**2 + 2*y - 2. Let c be p(-3). Is (k - c)*(-10)/(-6) a multiple of 18?
False
Suppose -2*y + y = -4. Suppose -y*a = -3*a + 6. Does 11 divide 126/4 - a/4?
True
Suppose -370 = -5*v - 0*v. Is v a multiple of 13?
False
Suppose 0*q = d + 4*q + 3, d = 2*q + 9. Suppose 47 = b + d*j, -2*j + 0*j - 370 = -5*b. Suppose -r + 5*r = b. Is r a multiple of 8?
False
Let d = 3 - 1. Suppose d*h = -h. Let b = 12 - h. Is 4 a factor of b?
True
Let i(b) = b - 6. Let z be i(11). Suppose -z*t = -t. Suppose -5*y = -4*n + 103, 0 = 2*n - y - t*y - 53. Does 9 divide n?
True
Let n(c) = c**3 - 6*c**2 - 5*c + 4. Does 3 divide n(7)?
True
Let y(q) be the first derivative of -q**4/4 + 2*q**3/3 + q**2 + q + 3. Let j be y(-1). Is 16 a factor of 51 + (-3)/(2/j)?
True
Let x(r) be the third derivative of -r**8/20160 + r**7/560 + r**6/144 + r**5/30 - r**2. Let y(k) be the third derivative of x(k). Does 19 divide y(7)?
True
Suppose 5 = -3*r + 53. Is r a multiple of 8?
True
Suppose -m = -2 + 11. Does 5 divide (m/(-6) + 0)*10?
True
Let d be -6*(5/2 + -2). Let t(p) = p. Let k(f) = -18*f - 4. Let g(j) = k(j) + 12*t(j). Is g(d) a multiple of 13?
False
Let c = 5 + -6. Let n(i) = -19*i + 1. Is 7 a factor of n(c)?
False
Does 5 divide 31/(-4)*-6*70/105?
False
Let n be 3 - (1 - -1)/2. Suppose -4*s + 8 = -0. Suppose -3*l + 2*f + 85 = -n*f, 5*f - 95 = -s*l. Does 21 divide l?
False
Suppose 5*o + 9 = 24. Let u be -4*((-48)/2 - -1). Suppose -g - o*g = -u. Does 18 divide g?
False
Let i(x) = -2*x**3 - 3*x**2 + 2*x - 3. Let m be i(-3). Let o = 9 + m. Suppose -3*b = 3*l + 6 - o, -b = 2*l - 14. Is 7 a factor of l?
True
Suppose -2*z + 3*s + 30 = 0, 20 = 5*z - 4*s - 41. Does 9 divide z?
True
Let m be 2 - (-1 + -24)/(-1). Let z = -7 - m. Does 16 divide z?
True
Suppose -3*k + 0*k + 12 = 0. Let p(r) = -r**2 + 4*r + 1. Let o be p(k). Does 19 divide (o + 6)*(2 - -1)?
False
Let i be 2/(-5)*(-2 + 32). Let x = -6 - i. Is 3 a factor of x?
True
Let b = 27 - -1. Is 14 a factor of b?
True
Let f(k) = 92*k + 3. Is 11 a factor of f(2)?
True
Suppose -f + 5*l + 117 = 0, 5*f = -2*l - 32 + 482. Does 40 divide f?
False
Let z = 4 - 0. Suppose 0 = -z*k + 16, k + 138 = 5*p + 3*k. Is 13 a factor of p?
True
Suppose 4*u + 16 = 2*s, 7 = 