Suppose 54 = x*a - a. Is 6 a factor of a?
True
Suppose -4*i = -5*h - 912, -4*i + h + 912 = 5*h. Is i a multiple of 19?
True
Let z be (-4)/(-6)*3 - 0. Suppose -4*c = -106 - z. Is ((-6)/(-3))/(2/c) a multiple of 9?
True
Let m = -443 - -938. Is 11 a factor of m?
True
Let h(j) be the second derivative of 2*j**3/3 + j**2/2 - 3*j. Let k be h(1). Suppose -46 = -3*d + k*q + 60, 90 = 3*d + 3*q. Is 13 a factor of d?
False
Let l(t) be the first derivative of -t**4/4 + 2*t**3/3 + 5*t**2/2 - 3*t - 4. Let w be l(3). Suppose w*i = 5*i - 24. Does 6 divide i?
True
Let m = 21 - 30. Let t = 11 + m. Suppose -3*l + 2*l + t = 0. Is l even?
True
Let l(d) = 120*d - 2. Let j be l(1). Let i = 51 - j. Let z = i - -100. Is 11 a factor of z?
True
Let r be -3 - 4*(-1 - 1). Suppose r*s - 5*w - 220 = -0*w, -s - 5*w = -14. Is 22 a factor of 864/39 + (-6)/s?
True
Suppose -81 = -4*k - l, l = -0*l - 3. Suppose 104 = 5*i + o - k, 75 = 3*i - 5*o. Is i a multiple of 5?
True
Let a(o) = 2*o**3 + o**2 - o - 2. Let f = 4 + -6. Let g be a(f). Is 9 a factor of g/(-10)*(-250)/(-15)?
False
Suppose 92*v - 45525 - 48775 = 0. Is 4 a factor of v?
False
Suppose -g = 245*r - 244*r - 602, -g - 4*r = -599. Does 36 divide g?
False
Suppose -7*b - 3186 + 8520 = 0. Is b a multiple of 15?
False
Let w = -547 + 847. Is w a multiple of 12?
True
Suppose 7*q = 5*q + 4, 0 = 2*b + 5*q - 956. Is b a multiple of 43?
True
Let c(h) = h**2 + 5*h - 18. Let o be c(-17). Suppose -166 = -4*f + o. Does 18 divide f?
False
Suppose -a + 3*v = -49, 59*a - 61*a + 3*v = -110. Is 24 a factor of a?
False
Does 20 divide ((-80)/7)/((-106)/3710)?
True
Let f = 239 + -173. Is f a multiple of 6?
True
Suppose 2*o = o - 2*i + 90, -5*o + 4*i + 408 = 0. Suppose 33 = 2*c + 3. Suppose -c*q + 13*q = -o. Is q a multiple of 14?
True
Let j = 767 - 725. Does 11 divide j?
False
Suppose 4*d - q - 2*q + 89 = 0, -103 = 3*d + 5*q. Let k = -23 - d. Suppose 31 + 164 = k*a. Is a a multiple of 13?
True
Let k be 2/((-4)/42) + 2. Let h = k + 21. Suppose -5*c + 0*s + s = -185, h*s + 66 = 2*c. Is c a multiple of 15?
False
Let f(v) = -v**3 + 6*v**2 - v + 8. Let m be f(6). Suppose -4*d - 8 = -4*n, 2*d = -2*n + m + 2. Suppose 16 = -4*z, r - n*r = 3*z - 35. Is r a multiple of 28?
False
Let w be -2 - 3*233/(-3). Let i = -153 + w. Does 13 divide i?
True
Let r be 8/3*(-180)/80. Is 16/(-48) - 44/r a multiple of 7?
True
Let c = -140 - -335. Does 60 divide c?
False
Let g be (28/(-3))/4*54. Let x = 189 + g. Does 9 divide x?
True
Suppose 0 = -2*p - 5*h + 52, 4*p - 81 = -5*h + 13. Let n = p - -13. Does 9 divide n?
False
Suppose 10*w = -0*w - 50. Let n(f) = f**3 + 6*f**2 - 5*f - 22. Is 2 a factor of n(w)?
True
Suppose -2*p - 2*b + 18 = 3*b, b = 4*p - 58. Suppose -7*a = -5*a - p. Let k(j) = j**2 - j - 3. Is k(a) a multiple of 13?
True
Suppose 3*b = -2*q + 449, -2*b = -7*b - 3*q + 747. Is 34 a factor of 4 - (2 - 4 - b) - -4?
False
Suppose -4*h = 7 - 27. Suppose n - 1 = c, -h*c - 3*n + 2 = -n. Is 16 a factor of 2 + 30/(1 + c)?
True
Let q = 113 + -221. Let n = 246 + q. Is 12/(-9)*n/(-4) a multiple of 23?
True
Suppose -3*g - l + 2*l = -4, -4*l = 4*g. Let v be 134*g - (-4)/1. Suppose -v = -5*z + 202. Is z a multiple of 17?
True
Let m be (3 - 2 - 3) + 0. Let u be ((-48)/(-12))/(0 + m). Is u/((-18)/(-3))*-9 a multiple of 3?
True
Let r(g) = -g**3 + 31*g**2 + 95*g - 56. Does 163 divide r(24)?
False
Is (1712/(-6))/(10/(-15)) + 2 a multiple of 10?
True
Let n(s) = s**2 - 12*s - 20. Let t be n(15). Let p(l) = -l + 43. Does 8 divide p(t)?
False
Let m(n) = 112*n**2 + 3*n + 3. Let b be m(-1). Suppose 6*i - b - 164 = 0. Does 23 divide i?
True
Suppose -11*g - 3*l + 528 = -8*g, 2*g - 354 = -l. Does 4 divide g?
False
Let p = -7588 + 3763. Does 13 divide p/(-68) - (-1)/(-4)?
False
Let i = 3002 - 2220. Does 16 divide i?
False
Let k(v) = v**3 + 41. Let h(c) = c + 7. Let i be h(-7). Let p be k(i). Let r = p + -16. Does 8 divide r?
False
Let l(i) = i**3 - 2*i**2 + 4*i - 3. Suppose 4 = 5*t - 3*w + 5*w, 0 = -2*t - 5*w - 11. Does 2 divide l(t)?
False
Suppose 2 = -2*m - 8. Let r = m + 28. Is 8 a factor of r?
False
Suppose 0 = -2*l + 7 + 1. Let q(a) = 3*a - l*a + 3 + 2*a. Is 2 a factor of q(0)?
False
Let b = -61 + 79. Is 35 a factor of 9/b + (-278)/(-4)?
True
Let n(c) be the second derivative of -c**5/20 + 11*c**4/12 - 4*c**3/3 - c**2/2 - 10*c. Is n(7) a multiple of 20?
False
Let r(i) = -8*i**2 + i + 3. Let y be r(2). Let x = y - 16. Let m = x + 78. Is 7 a factor of m?
True
Suppose 3*m + c = 6*c + 19, 5*m + c - 13 = 0. Suppose -w = 2*v - 6*w - 195, 0 = -m*v - 3*w + 303. Does 18 divide v?
False
Suppose 4*u + 2 + 2 = 0. Let y(c) = 5*c**3 + 11*c**2 + 20. Let k(d) = -2*d**3 - 4*d**2 - 7. Let z(s) = 17*k(s) + 6*y(s). Is z(u) a multiple of 3?
True
Let m(i) = i**2 - 4*i - 17. Let s be m(7). Suppose 2*z + 12 = 4*z + 3*v, -4*z + s*v + 4 = 0. Does 3 divide z?
True
Let n be (-124)/(-8)*-2 - 2. Let x = 13 + -34. Let l = x - n. Is 12 a factor of l?
True
Let l(w) = 5*w**3 - 40*w**2 + 13*w - 83. Let y(v) = -2*v**3 + 20*v**2 - 7*v + 41. Let p(m) = 3*l(m) + 7*y(m). Is p(-20) a multiple of 14?
True
Let x(d) = -33*d - 287. Does 59 divide x(-13)?
False
Let t(n) be the first derivative of n**3/3 + 5*n**2 - 3*n - 4. Let s(v) = -v**2 + 3*v - 5. Let a be s(5). Does 24 divide t(a)?
True
Let w = 11 + -17. Let v be ((-3)/w*-10)/(-1). Suppose -v*p + 3*d + 226 = 0, -5*p + 274 = -5*d + 44. Is 7 a factor of p?
False
Suppose 8684 = 5*x - 2*y, 49*x + y = 53*x - 6946. Is x a multiple of 14?
True
Does 10 divide 4/6 - 2958/(-153)?
True
Let q = -352 + 704. Does 88 divide q?
True
Let g(q) = q**3 + 19*q**2 + 10*q - 8. Let u(p) = -21*p + 3. Let m be u(1). Does 43 divide g(m)?
False
Let t be 1/(-4 + (-681)/(-171)). Let b = -30 - t. Does 14 divide b?
False
Suppose -4*k = 5*c - 1375, 3*c - 658 - 167 = -2*k. Does 11 divide c?
True
Suppose -18*o = -19*o - 3654. Is o/(-30) + 1/5 a multiple of 21?
False
Let u(y) = -y**3 - 3*y**2 + 5*y - 2. Suppose -13 - 11 = 3*w. Let l(m) = m + 2. Let s be l(w). Is u(s) a multiple of 21?
False
Suppose -3*v + 2*v = 3*v. Suppose v = -l - 7*l + 2160. Does 15 divide l?
True
Let l(y) = -13*y - 264. Is l(-24) even?
True
Suppose -3*t = -5*g + 5227, -1174 = -2*g + 4*t + 928. Is g a multiple of 23?
False
Let p = -121 - -512. Suppose -2*j - 3*j + p = 4*l, 400 = 4*l - 4*j. Is 18 a factor of l?
False
Let y(r) = r**2 - 18*r - 46. Let h be y(16). Let n = h - -282. Is n a multiple of 12?
True
Suppose 0 = -3*n + 15, -4*c + 33*n + 13796 = 29*n. Does 61 divide c?
False
Suppose -p - 3*i + 272 = -4*i, -4*i + 830 = 3*p. Is p a multiple of 27?
False
Let z(a) = a**3 + 11*a**2 + 16*a - 18. Let y be z(-9). Suppose -f + 3*f + c = 165, y = -f + 4*c + 96. Does 12 divide f?
True
Let f be -3*(8/(-6))/2. Let i = 176 + f. Suppose -3*s = w - 38, w = -4*w - 3*s + i. Is 11 a factor of w?
False
Let c = -169 + 812. Is c a multiple of 18?
False
Is 97 a factor of 2713/2 + 1 + 12/24?
True
Is 24*(2562/24)/7 + 2 a multiple of 15?
False
Let a(t) = -3*t + 6 + 4*t + 0 - 4. Is 20 a factor of a(20)?
False
Suppose 36*r - 40*r = -4816. Does 25 divide r?
False
Let p = 16 - 37. Let q be (-3)/((3/p)/(-1)). Let o = q - -49. Is o a multiple of 14?
True
Let t(z) = 63*z**2 - 127*z - 12. Is t(-4) a multiple of 47?
True
Suppose -29 = -3*l - 5*g, 3*l = 5*l - 2*g - 30. Let o = l + 35. Suppose 42 = 3*i - o. Is i a multiple of 15?
True
Suppose 0 = -3*g + 2*g. Suppose -105 = -g*i + 5*i. Let l = 30 + i. Does 2 divide l?
False
Suppose -12*o + 17*o + 4*m = 610, -5*o = m - 610. Is o even?
True
Let t = -46 - -92. Is 16 a factor of t?
False
Let u be (6/(-9))/((-5)/(-435)). Let k = -32 - u. Is k a multiple of 17?
False
Let d(z) be the third derivative of z**5/30 + z**4/3 - 7*z**3/6 - 13*z**2. Let r = 10 + -17. Is d(r) a multiple of 14?
False
Let k = 139 + -14. Does 8 divide k?
False
Let v be 2/((-2)/(-8) + 11/(-28)). Let u = v + 70. Is u a multiple of 16?
False
Let g(a) = 16*a**2 + 18*a - 26. Is g(5) a multiple of 4?
True
Let x(q) = -q**3 - 7*q**2 - 15*q - 7. Let b be x(-4). Is b/(30/4)*39 a multiple of 13?
True
Suppose -y - 440 = -2*y. Is y a multiple of 8?
True
Let t be (12 - 18)/(2*1). Let l = 15 + t. Does 7 divide l?
False
Suppose 4*k + 7*o = 4*o + 2, -2*k - 2*o = -2. Let u be (-5)/k + -6 + 5. Let m(r) = 3*r**2 - 4*r + 4. Is 18 a factor of m(u)?
True
Let n(i) = i + 6. Let 