ative of -3/20*j**6 - 1/12*j**4 - 1/6*j**3 - 1/20*j**5 + 0 + 14*j**2 + 0*j. Does 16 divide r(-1)?
True
Let l = -75 + 180. Let h = 188 - l. Is h a multiple of 8?
False
Suppose -q + 1344 = 3*q. Is 84 a factor of q?
True
Suppose -4*k + 5 + 3 = 0. Suppose 0 = -0*i + 4*i - 16, -2*h + 2*i = -k. Suppose 5*l = p + 4*p + h, 2*p - 10 = 0. Is l a multiple of 2?
True
Let i = 11 - -5. Let z = i - 11. Let s(r) = r - 1. Is 2 a factor of s(z)?
True
Let u(t) = 5*t**2 + 3*t + 1. Let b(v) = 4*v**2 + 2*v + 1. Let n(y) = -6*b(y) + 5*u(y). Let m be n(4). Let w = m + 13. Is w a multiple of 18?
False
Suppose -7*t + 64 = -104. Is t a multiple of 8?
True
Suppose 0 = 21*g - 8*g - 806. Is g a multiple of 6?
False
Let a(m) = 9*m**2 - m - 4. Let o(i) = -26*i**2 + 3*i + 12. Let b(t) = -8*a(t) - 3*o(t). Is b(2) a multiple of 5?
False
Suppose -10 = 13*w - 15*w. Does 26 divide 213 - (8/w + (-4)/(-10))?
False
Let v = -6 - -1. Is 14 a factor of 5/(-25) - 211/v?
True
Let o = 234 - 90. Is (-64)/2*o/(-32) a multiple of 31?
False
Suppose 2*v + m - 1923 = 2027, -3*m = 2*v - 3958. Does 103 divide v?
False
Suppose 5*m + 0*g = -4*g + 45, -m + 4*g = 15. Suppose 0 = -4*p + 5*t + 180, m*p - 192 = -0*t - 2*t. Is 8 a factor of p?
True
Suppose 0 = -4*s - 7*z + 4*z - 7, 2*s - 4*z = 24. Suppose s*q - 6*q = 0. Let j(y) = y**2 - y + 55. Is j(q) a multiple of 34?
False
Let u = 35 + -99. Suppose -3*j = -6*j + 93. Let b = j - u. Does 30 divide b?
False
Let g = 15 - 11. Suppose 0 = -g*z - 10 + 442. Suppose 0 = -2*a + 6*a - z. Does 10 divide a?
False
Suppose -710*w + 4284 = -703*w. Is w a multiple of 22?
False
Suppose 5*f - 1235 = -6*k + k, 4*k = 2*f + 1018. Let s = k + -132. Is s a multiple of 8?
True
Suppose -2*y + 0*x - 2*x = 98, -3*y - 137 = 5*x. Does 22 divide -3*(-8)/(-12) - y?
False
Let z(f) = f**3 - 2*f**2 + 13*f. Let d be z(7). Suppose -5*j = -b - 328, 0*j + 3*b - d = -5*j. Is j a multiple of 15?
False
Suppose -4*c + r = -983, 4*r - 267 = -13*c + 12*c. Does 4 divide c?
False
Let w = 63 - 30. Let m = -14 + w. Is 9 a factor of m?
False
Let t(b) = 46*b**2 + 14*b + 96. Does 12 divide t(-6)?
True
Let b(k) = -k - 5. Let i be b(-12). Suppose -i*a + 49 = 140. Does 6 divide 2 + -1 + (-8 - a)?
True
Let r be 22/4 + 3/6. Suppose -2*k = -3*c - 52, -r*c + 11*c + 10 = 0. Let m = 1 + k. Is 6 a factor of m?
True
Let m(p) = p**2 + 2*p - 9. Let u be m(-5). Suppose 220 = u*s - 104. Is s a multiple of 29?
False
Is -3 + (-6 - -1093) + 25/5 a multiple of 42?
False
Suppose -2*j = 2*m - 358, 2*m - 99 = -j + 81. Is j a multiple of 16?
False
Let p(a) = a**2 - a + 7. Suppose -1 = j + 4. Let v be p(j). Suppose -k + v + 50 = 0. Is k a multiple of 25?
False
Suppose -2*b + 9 = k, -5*b + 15 = 3*k - 2*k. Suppose 5*r + 4*a = r + 224, 3*a = -b*r + 117. Let v = r - 24. Is v a multiple of 27?
True
Let p(q) = 5*q - 14. Let w = 31 + -25. Is p(w) even?
True
Let q = 53 - -9. Let f = q + -107. Is 14 a factor of ((-36)/(-20))/((-3)/f)?
False
Suppose 12 = 2*r + 4. Suppose 8*o = r*o + 20. Suppose -2*i - o - 5 = 0, -3*i = 3*k - 18. Does 10 divide k?
False
Let y(a) = a + 10. Let l be y(-8). Suppose 3*w + l*w = 0. Suppose w = -3*b + 4*q - q + 102, 93 = 2*b + 3*q. Is b a multiple of 13?
True
Let a = -10 - -14. Suppose w = z + 5, 4*w + a*z = 2*z - 10. Suppose g - 6 = -5*k, w = g + 2*g - 4*k - 37. Does 5 divide g?
False
Let k(n) = n**3 - 9*n**2 - 12*n + 22. Let g be k(10). Suppose -y + 3*y + g*s = 336, 849 = 5*y + 2*s. Does 54 divide y?
False
Suppose 0 = 210*d - 231*d + 44583. Is 37 a factor of d?
False
Suppose 5*o + 17 - 2 = 5*p, 4*o - 3 = p. Suppose 3*c = -4*q + 1109, -2*q = -5*q - p*c + 829. Is 11 a factor of q?
False
Let i(h) = 19*h**3 + 13*h**2 + 6*h - 18 - 36*h**3 + 16*h**3. Is 6 a factor of i(13)?
True
Let s(c) = c**3 + 14*c**2 - 16*c - 14. Let w be s(-15). Let o = w + -25. Is 6 a factor of -48*-3*(-4)/o?
True
Let a = 685 - 1159. Suppose 4*w + 3*u = 16, 0 = -0*u - u. Does 29 divide a/(-15) + w/10?
False
Suppose v + 0 - 6 = 0. Let w(z) = -5 + v - 2*z**2 + 43*z**3 + 5*z**2 - 5*z**2. Does 14 divide w(1)?
True
Suppose -3*w + 3770 + 1583 = -4*n, 0 = -4*w - 3*n + 7154. Is w a multiple of 39?
False
Let s(x) = 4*x - 33. Let g be s(0). Does 32 divide (-2320)/(-55) + 6/g?
False
Let s be (2/(-4))/((-5)/1370). Suppose 4*f + 45 = 4*j + s, -f + 23 = j. Let i = f + -11. Is 4 a factor of i?
True
Suppose 827 + 118 = 3*s. Does 5 divide s?
True
Let x = -3 - 7. Let h be 62/x + (-8)/(-40). Let t(j) = j**2 + j - 5. Does 13 divide t(h)?
False
Suppose 55*g - 50*g - 2*i = 1550, 4*g = 3*i + 1240. Is g a multiple of 10?
True
Suppose -5*s = 1505 - 3730. Is s a multiple of 9?
False
Let y(m) be the second derivative of -m**5/20 + 5*m**4/12 - m**3/3 - 3*m**2/2 - 5*m. Let l be y(4). Suppose 2 + l = k. Is k a multiple of 7?
True
Suppose -2*x - 29 = -3*x. Let a = x + -11. Suppose -3*l - 2*t + 29 = 2*t, 2*t = -2*l + a. Is 4 a factor of l?
False
Let c be (-7 - -8)/(3/(-12)). Is 17 a factor of (3 + c)/(-1)*155*1?
False
Suppose -4*h - 244 = -5*h - c, 3*c - 976 = -4*h. Suppose 2*y = -62 + h. Suppose -5*u = 4*o - y, -3*o + 2*o - 96 = -5*u. Is u a multiple of 4?
False
Suppose -11*r - 2645 = -9487. Does 59 divide r?
False
Let x be (124/6)/(-1)*-6. Suppose 4*f + 8 = -x. Is 11/f + (-326)/(-6) a multiple of 18?
True
Suppose -5*l = -s + 3, -3*s - 3*l = -14 + 41. Let g = s - -7. Suppose -4*h + 53 + 3 = g. Is 11 a factor of h?
False
Suppose -2*i = 2*i + 3*l - 8253, 4*i + 6*l - 8250 = 0. Is i a multiple of 24?
True
Let y = 5 + -7. Does 7 divide 21*1*((-8)/12)/y?
True
Let l(g) = g**2 + 3*g + 4. Let v be l(-3). Let m be 2 + -2 - v/(-4). Is m/(((-20)/(-136))/5) a multiple of 17?
True
Let r = 2 - 0. Suppose 0*n = r*n + 42. Let d = 14 - n. Is d a multiple of 20?
False
Is 14 a factor of (-236)/8*(-6 + 2)?
False
Let u = 97 + -27. Does 5 divide u?
True
Let h = -56 - -43. Let u(a) = a + 18. Does 2 divide u(h)?
False
Let i(g) = -4*g**3 + 5*g**2 - 7*g - 6. Let p be i(7). Let s be (-2)/(-3)*p/(-4). Suppose -l + 45 = 4*t, 0 = 5*l - l - t - s. Is 21 a factor of l?
False
Is 7 a factor of (-7)/(-1)*(0 - -35)?
True
Let d = 27 - 41. Is 34 a factor of (204/d)/((-1)/7)?
True
Let d = 5907 + -3137. Does 13 divide d?
False
Suppose -4*n = 25 - 9. Let o be (2/n - 3)*6. Let j = 48 + o. Is 9 a factor of j?
True
Suppose 10114 = 21*g - 575. Is g a multiple of 5?
False
Let c be ((-680)/(-51))/(2/6). Does 4 divide (-36)/c*-2*15?
False
Does 13 divide (-18)/4*560/(-24)?
False
Let z = -11 + 13. Suppose -z*c + 80 + 12 = 0. Is c a multiple of 23?
True
Is 16 a factor of (114/(-18) - -6)/(2/(-13152))?
True
Let x(y) be the first derivative of y**2 - 16*y + 6. Let g be x(11). Suppose 3*b = g*b - 42. Does 7 divide b?
True
Let r(m) = 4*m**2 - 35*m + 91. Is r(10) a multiple of 47?
True
Let z be 2/(-5) - (1 - 14/10). Suppose z*r - 42 = -2*f + 4*r, -5*f - 5*r = -30. Is 2 a factor of f?
False
Suppose -4*w = 2*b - 0*w - 350, 0 = -2*b - w + 356. Does 3 divide b?
False
Let k be 72/21 + 12/(-28). Let q be 21/(-18)*4*k. Let z = 29 + q. Is 15 a factor of z?
True
Let c be 6/10 - 12/20. Suppose 3*b - b = -5*n + 64, c = -b + 4*n + 32. Does 6 divide 2/8 + 184/b?
True
Let g be 232/6 - (-1)/3. Let n = -15 + g. Is n a multiple of 8?
True
Let s = -69 + 19. Let f = s + 92. Does 21 divide f?
True
Let c = 6 + -12. Let d(y) = -2*y - 3. Is 9 a factor of d(c)?
True
Let w(o) = -2*o**2 + 63*o - 85. Is 36 a factor of w(25)?
False
Is (165/(-180)*6)/(2/(-28)) a multiple of 11?
True
Let q = -4 - -118. Is q a multiple of 19?
True
Suppose 2*c = 2*f - 88, c = -2*f - 15 - 23. Does 4 divide (-106)/(-4) - c/28?
True
Suppose 5*f + q - 6*q - 1550 = 0, -2*f + 5*q + 614 = 0. Is 22 a factor of 4580/26 + 16/f*-3?
True
Suppose 10 = -5*h + 2*c - c, -4*c + 18 = 2*h. Is 3 a factor of (16 + -4)/3 + h?
True
Let o = 799 - 631. Does 28 divide o?
True
Let l = 7 - -11. Suppose 0 = 22*q - l*q - 232. Does 29 divide q?
True
Let z = 362 + -182. Is z a multiple of 4?
True
Suppose -w = 4*s + 47, -3*s + 5*w - 77 = s. Let u(m) = -m**2 - 14*m + 12. Let y be u(s). Suppose -y = 5*k - 235. Is k a multiple of 10?
False
Suppose 916 = 2*t + 19*b - 17*b, -2*t = -3*b - 941. Does 64 divide t?
False
Does 115 divide 827 - (84/7 + -7)?
False
Let w be ((-18)/(-6))/(3/(-2)). Let m(k) = -k**3 - 2*k**2 - 2*k. Let o be m(w). Does 25 divide ((-4)/8)/(o/(-200))?
True
Let o(v) = -v**2 - 4*v + 1. Let 