 60 = -f*d + 5. Let n(u) = -3*u - 9. Is n(d) a multiple of 6?
True
Suppose -2*u + 3 = a - u, 0 = 4*a - u - 7. Suppose -s + 23 = -a*s. Let v = s + 35. Is v a multiple of 12?
True
Suppose -62*v + 1311 = -59*v. Is v a multiple of 23?
True
Let o = 73 - 124. Let j = o - -99. Is 3 a factor of j?
True
Suppose -3*m - h - h = -1493, 2*m - 5*h = 970. Let k = -311 + m. Is 58 a factor of k?
False
Let w(s) = -2*s**3 + 8*s**2 - 36*s + 6. Let q be w(9). Is (1 - 0 - -8)*q/(-36) a multiple of 24?
False
Let y be 0 + (5 - (3 - 1)). Suppose y*u + 2*u = 115. Is 4/12 - u/(-3) a multiple of 8?
True
Suppose 4*u + 168 = -0*u. Is 2/(-3) + -158*u/18 a multiple of 18?
False
Suppose 28 = -4*c + 4*k, -2*k - 13 = 2*c - c. Let z = c + -8. Let g = 5 - z. Is g a multiple of 8?
False
Let r(f) = -f**3 + f + 1. Let t(w) = 4*w**3 + 3*w**2 - 3*w - 110. Let m(y) = -5*r(y) - t(y). Is m(0) a multiple of 35?
True
Let t(a) = 0*a**3 + 3*a + 3*a**3 - 4 + 0 - 3*a**2 - 2*a**3. Let f be t(3). Suppose 3*x = -0*x + f*u + 85, 5*u - 5 = 0. Does 10 divide x?
True
Suppose 3*l + 3*i + 11 = -2*i, 4*l + i = 8. Suppose 3*a = -f + 10, l*f + a = 8*f - 50. Is f a multiple of 5?
True
Let s(z) = -z**3 - 4*z**2 + 2*z + 7. Let t be s(-3). Is 8 a factor of 1/t*82*-4?
False
Suppose 252 - 51 = 4*w + 3*a, 5*w - 234 = 2*a. Does 8 divide w?
True
Is 29 a factor of 2268 - -5*18/(-10)?
False
Suppose 3*p - 117 = -0*y - 2*y, -2*y = -p + 31. Suppose s - p = 79. Suppose -3*w = -2*x + s, 4*x + 0*w - w - 232 = 0. Is x a multiple of 12?
False
Suppose 5*i = 5*w - 286 + 16, 2*w - i - 106 = 0. Does 11 divide w?
False
Suppose -2*s = 6, -p + 8*s = 3*s - 81. Does 2 divide p?
True
Suppose 10*i - 607 = 653. Is 9 a factor of i?
True
Let q be (-2)/5 + 234/10. Let n = -159 - -176. Let w = n + q. Is 10 a factor of w?
True
Let y = -1180 + 1668. Suppose y = 5*j - 222. Does 31 divide j?
False
Let w(r) = -r**3 - 13*r**2 - 10*r - 14. Let j be w(-11). Let k = j - -206. Is k a multiple of 20?
True
Let m(y) = -68*y - 38 + 15 + 18. Let j be m(-4). Suppose 5*q = -3*v + j, q - 95 = -5*v - 24. Is 12 a factor of q?
False
Suppose -5*m - 173 = -2*n, -3*m + 411 = 4*n - 0*n. Suppose 33 = 2*i - n. Is i a multiple of 33?
True
Let d(m) = m**3 + m**2 - 17*m - 18. Is 57 a factor of d(10)?
True
Suppose 0 = 14*p - 13*p - 4. Suppose -37 + 13 = -p*l. Let s(o) = 14*o - 1. Is s(l) a multiple of 22?
False
Suppose 0*v + 240 = -5*v. Is 6 a factor of (v/(-20) + -2)*65?
False
Let b be (-1)/(-3) - (-13884)/9. Suppose b = 13*y - 914. Is y a multiple of 27?
True
Let l(g) = -11*g + 5. Let c be l(1). Let r(j) = -j**3 - 3*j**2 + 6*j - 4. Is 6 a factor of r(c)?
False
Let p = 19 + -17. Let d = 24 + p. Does 5 divide d?
False
Let b = -451 + 1107. Does 41 divide b?
True
Let w(m) be the first derivative of m**3/3 - 17*m**2/2 + 3*m - 2. Is w(17) even?
False
Does 8 divide (40/80)/(1/1000)?
False
Suppose 31*j - 2748 = 6955. Is j a multiple of 20?
False
Let l = 68 + 114. Does 32 divide l?
False
Is (79*1)/(-15*17/(-510)) a multiple of 6?
False
Suppose 4*a + 2*a = 216. Suppose 24 = j - a. Is 20 a factor of j?
True
Let j = -16 + 21. Suppose j*p - 498 = -p. Is 28 a factor of p?
False
Let b(u) = 16*u**2 + 2*u - 43*u**2 + 23 + 26*u**2. Let j be b(0). Let g = j + 15. Is 38 a factor of g?
True
Let d(n) = -17*n**3 - n**2 - 34*n - 69. Is 23 a factor of d(-2)?
False
Suppose 4*l + 20 = 0, -l = -3*w + w + 17. Let r be 3 + 17 - (-3 + w). Suppose 12*f + 350 = r*f. Does 12 divide f?
False
Let u be (4 - (-46)/(-10))*15. Let b = -4 - u. Suppose b = 5*v - 30. Does 3 divide v?
False
Is 8 a factor of (-1 + ((-25)/(-10) - -1))*46?
False
Suppose 7 + 15 = 11*q. Suppose a - 3*i - 22 = q*i, -4*a + 5*i = -43. Is 7 a factor of a?
True
Let q(x) be the third derivative of 3*x**5/10 - x**4/24 - x**3/3 + 4*x**2. Does 17 divide q(-1)?
True
Is (-1 - -3)*585/6 a multiple of 13?
True
Let l = -68 + 140. Let n = 28 + l. Is 9 a factor of n?
False
Let j = 96 - 95. Is 14 a factor of (-11)/(33/(-168)) - j?
False
Let d(p) = -p + 2. Let q be d(11). Let g(a) = -a**3 - 10*a**2 - 8*a + 11. Let j be g(q). Suppose -4*n + 5*z = -156, -j*z = -3*z - 4. Is n a multiple of 11?
False
Let l = 2 - 3. Let m be l/(0 + -1) - -1. Is (m/4)/((-7)/(-756)) a multiple of 18?
True
Suppose 0 = -4*f - 4 - 4. Let h be ((-66)/(-77))/(f/(-14)). Let q(n) = 8*n - 12. Does 9 divide q(h)?
True
Suppose -17*j + 18*j = c + 2693, c + 13445 = 5*j. Is j a multiple of 23?
False
Let g(d) = 3305*d**2 + 1. Is g(1) a multiple of 114?
True
Let b(r) = r - 7. Let k be b(9). Let a(q) = -12 - 2*q**2 + q**k + 0*q**2 - 10*q. Is a(-8) even?
True
Let x(y) = -1 - y + 1. Let n be x(-3). Suppose -18 = n*q - 4*q + 2*o, -5*q + 5*o = -100. Is 11 a factor of q?
True
Suppose -23232 = 35*w - 59*w. Is w a multiple of 44?
True
Suppose -2*l + 0*w + 21 = -3*w, l - 5*w = 21. Let g(f) = -f**2 + 8*f - 3. Is 2 a factor of g(l)?
False
Let g = 168 - -1540. Is 14 a factor of g?
True
Let z be 50 - (-1 + 3 + -4). Suppose -64 = -3*w + 4*t + 14, -2*w + z = 3*t. Is w a multiple of 3?
False
Suppose 0 = 7*d - 3850 + 539. Suppose -2*i - d = -1117. Is 23 a factor of i?
True
Let p = -62 + 91. Let q = p + -48. Let u = -10 - q. Is 7 a factor of u?
False
Suppose -2*z + 2290 = -458. Does 25 divide z?
False
Let z be (41/(-3) + 1)*3. Let h be -1*(-1 + 0) + -13. Does 10 divide z/(-5)*(-7 - h)?
False
Let y(l) be the third derivative of -l**5/60 - 19*l**4/24 - 7*l**3/6 - 5*l**2. Is 17 a factor of y(-13)?
False
Let m be (-1 + -13)*(-104)/(-16). Suppose 3*a + z - 52 = -20, -3*z = -4*a + 21. Let r = a - m. Does 25 divide r?
True
Suppose i = 3*i - 168. Is i a multiple of 21?
True
Let v(k) = -11*k**2 - 3*k + 18. Let u(t) = 7*t**2 + 2*t - 12. Let y(b) = 8*u(b) + 5*v(b). Suppose -c + 15 = 2*c. Is 8 a factor of y(c)?
True
Suppose 2*j = 5*j - 4*g - 49, -5*g + 10 = j. Let i = j + -15. Suppose -7*p + 9*p - 40 = i. Does 12 divide p?
False
Suppose 4*k - 160 = 2*k + 2*x, 2*x = k - 76. Is 6 a factor of k?
True
Let b = 99 + -19. Suppose 2*s = -3*s + b. Is s a multiple of 4?
True
Let c be 0/((-4 - 0) + 1). Suppose 3*i = c, -5*a + 12 + 8 = -4*i. Is a even?
True
Does 16 divide (-1)/(-2) - (-35959)/22?
False
Let m(b) = 28*b**2 + 3*b + 1. Let q(h) = -6*h - 11. Let a(i) = 5*i + 10. Let d(u) = -5*a(u) - 4*q(u). Let l be d(-4). Does 35 divide m(l)?
False
Suppose -4414 = -5*u - 3*r, -3*u = u + 3*r - 3530. Does 68 divide u?
True
Let a(k) be the second derivative of -k**4/12 + k**3/3 - 3*k**2/2 + 4*k. Let d be a(6). Let h = d - -55. Is 14 a factor of h?
True
Let k be 16/6*66/8. Suppose -3*q = -4*m + 174 + k, 0 = 4*q. Is 6 a factor of m?
False
Let z = -1 - -1. Let r(x) be the first derivative of -x**4/4 + x**3/3 + 7*x - 45. Is 7 a factor of r(z)?
True
Is ((-44)/(-55))/(1*4/640) a multiple of 32?
True
Suppose 4 = -3*i + 16. Suppose -3*x - 33 = -2*p, -i*p + x + 60 + 31 = 0. Suppose -p - 21 = -5*b. Is 3 a factor of b?
True
Let w = -413 - -683. Is w a multiple of 27?
True
Let z(p) = p**3 - p**2 - p + 20. Suppose -w = w + 16. Let b = -8 - w. Does 10 divide z(b)?
True
Suppose 0 = -3*u + u + 1746. Suppose 193 - u = -8*n. Is 24 a factor of n?
False
Let l(g) = -2*g - 1. Let x be l(-3). Suppose -y = x*a - 8, 5*y + 12 = -0*a + a. Suppose a*u - 115 + 39 = 0. Is 10 a factor of u?
False
Let y = -487 - -628. Is 14 a factor of y?
False
Let b = -286 - -283. Let w(y) = 25*y - 21. Let s(m) = -8*m + 7. Let j(f) = 7*s(f) + 2*w(f). Is 6 a factor of j(b)?
False
Suppose -7*f + 780 - 591 = 0. Is f a multiple of 27?
True
Suppose 0*b - 5 = -5*b. Let n = 1 - b. Is 5 a factor of (5 + n)*(-6 - -9)?
True
Suppose -6*f = -5*f - 172. Let r = -92 + f. Is 8 a factor of r?
True
Let f = -8 + -3. Suppose -5*z - 14*x + 13*x = -9, -3*z + 8 = -2*x. Is 4 a factor of 15 + f + z + 0?
False
Let v = -240 - -448. Is 16 a factor of v?
True
Let f = 103 + -144. Let l(y) = y + 64. Let m be l(0). Let r = f + m. Is 15 a factor of r?
False
Let w(y) = 2*y - 13. Let p be -3*(-6)/((-54)/(-33)). Is 4 a factor of w(p)?
False
Let w = -135 + 1395. Suppose 11*x + x = w. Is 6 a factor of x?
False
Let t be 11 + (-1 + -1 - -2). Let l = t - -14. Is 5 a factor of l?
True
Suppose j + k = 0, -4*k = -j - 2*j - 7. Let h = 9 + j. Suppose -3*o + h*o - 105 = 0. Is 7 a factor of o?
True
Let a = -1168 - -1799. Is a a multiple of 17?
False
Let m be 189/36*(-24)/9. Let g = m + 18. Suppose -6*f = -g*f, -2*f = 4*n - 1