e
Suppose -3*s + s = -4*t + 86, 3*s - 113 = -5*t. Is 22 a factor of t?
True
Suppose x - 5 = -4*b, -3*b + 6 = -0. Is ((-12)/(-8))/(x/(-8)) a multiple of 4?
True
Suppose 25 = 5*q + 5*d, -3*d = -5*q - 0*d + 9. Let v be (3/(-6))/(2/(-8)). Suppose q*k + v*x + 22 = 7*k, -4*k - 2*x = -26. Is k a multiple of 6?
True
Let b(f) be the second derivative of -f**4/12 + 13*f**3/6 + 3*f**2 - 2*f. Is b(12) a multiple of 6?
True
Let a(r) be the third derivative of r**5/60 - r**4/4 + r**3/3 + 2*r**2. Let c be a(6). Suppose -2*j - 2*j = t - 92, 30 = j + c*t. Is 11 a factor of j?
True
Is (9 + -5)*(-15)/(-6) a multiple of 5?
True
Suppose 3*l - 5*f = -5, -3*f + 4*f = -l - 7. Let q = l + 4. Does 8 divide 1 + (-5)/q + 2?
True
Let b(a) be the first derivative of a**3/3 + 7*a**2/2 + 8*a - 3. Is 4 a factor of b(-7)?
True
Suppose -5*w = 2*m + 5, -3*m - 2*w = -w - 12. Suppose 0*g + m*g - 25 = 0. Is g a multiple of 3?
False
Suppose 5*w - 302 - 28 = 0. Is 20 a factor of w?
False
Does 8 divide 8/(-2)*220/(-16)?
False
Suppose 4*u - 75 + 11 = 0. Is u a multiple of 8?
True
Let n(r) = -r**3 + 8*r**2 + 12*r - 2. Let f = 7 - 5. Let g be f*-1 - (-15 + 4). Does 19 divide n(g)?
False
Let c = -4 - -9. Suppose -5*q - 4*n + 159 = 0, -2*q - 5*n + 2*n = -58. Suppose c*f = -0*f + q. Is 7 a factor of f?
True
Let k be (-3 + 2)/(1/(-5)). Suppose k*g = n, 4*g + 3*n + n - 24 = 0. Does 15 divide (0 - g)*-3*10?
True
Let u(v) = v**2 - 7*v - 1. Let d be u(7). Let w = -1 - d. Is (10/1 - w)/2 a multiple of 5?
True
Let s(i) = i - 3. Let w be s(3). Suppose 3*l - l - 16 = -u, w = -3*u + 4*l - 2. Does 14 divide 152/u - 1/3?
False
Let k = -70 - -138. Let j = -30 + k. Does 11 divide j?
False
Suppose -x - 3*k - k = -2, 3 = -k. Suppose 4*p = -2*g - x, 3*p - 8*p = 4*g + 10. Is 12 a factor of (9/2)/(p/(-40))?
False
Suppose -2 = u - 10. Let y(r) = -r - 6 + r + r**2 - 6*r. Is 10 a factor of y(u)?
True
Let i(r) = r**2 + r - 4. Let v be i(6). Let o = v + -22. Is (-231)/14*o/(-6) a multiple of 18?
False
Let o(y) = y**3 - 6*y**2 + 2*y - 2. Let w = -13 - -19. Is 5 a factor of o(w)?
True
Let j(f) = -f**2 + 5*f + 7. Let q be j(6). Let b be q*3*(-2)/(-6). Is 15 a factor of -2*(-2 + b) - -26?
False
Suppose -22 = 2*p + 2*z, -5*p - 3*z = z + 53. Let s(c) = -c**2 + 3*c + 6. Let u be s(5). Let x = u - p. Is 3 a factor of x?
False
Suppose 0 = -2*s - 3*s + 25. Let b = s - -21. Is 14 a factor of b?
False
Let s = 139 - 67. Suppose 4*f = -8, -a - 3*f - s = -3*a. Is a a multiple of 11?
True
Suppose 0*x + 20 = 4*x. Suppose -2*b - 2*b = 4*m - 56, -x*m = -b - 16. Is b a multiple of 3?
True
Suppose 0 = 4*q + q - 10. Suppose 22 - q = g. Is 10 a factor of g?
True
Suppose 3*a - 5*h - 1092 = 640, -577 = -a + 2*h. Suppose 4*f + w = -a + 100, 2*f - 4*w + 226 = 0. Does 12 divide (-2)/(-10) - f/5?
True
Let a = -4 + -2. Let w(r) = r**2 + 7*r + 8. Let n be w(a). Suppose -1 = f + 2*m - 5, 4*f + n*m = 46. Does 7 divide f?
True
Let h(m) = 6*m + 6. Does 10 divide h(9)?
True
Let k(v) = 2*v**2 - 5*v - 9. Is k(-2) a multiple of 3?
True
Does 4 divide (1 - (-57)/(-12))/((-24)/128)?
True
Let p(v) = -v**3 + 3*v**2 + v - 2. Let c be p(2). Suppose -4*q + c*j + 76 = 0, j = -0*q + 4*q - 73. Is 6 a factor of q?
True
Let s = -19 + 67. Does 16 divide s?
True
Suppose 0 = -4*n + 4*x - 12, -3*n - n - 7 = -3*x. Suppose -n*y - 2*y = -3*g - 3, -4*y + 4*g = 0. Is y*6/(-27)*-33 a multiple of 7?
False
Is 3 a factor of 74/4 - (-3)/(-6)?
True
Suppose -2*a - 2*a = -12. Let f(x) = 10*x**2 - 4*x. Let l be f(a). Suppose -w + l = 2*w. Is w a multiple of 13?
True
Let s = 61 - 50. Is s a multiple of 2?
False
Let t be 3*(-15 - 0)/3. Is (-5)/t - 77/(-3) a multiple of 13?
True
Let z(n) = 31*n - 17. Does 35 divide z(5)?
False
Suppose 4*g + 195 = -177. Is g/(-2) - (-5)/10 a multiple of 19?
False
Suppose x - 5*c = 6*x + 545, 0 = -3*x - 2*c - 331. Let u = -81 - x. Is 16 a factor of u?
True
Suppose -16 = 4*n, -z + 2*z + 2*n = -8. Suppose z = 4*p + 53 - 17. Is 12 a factor of 6/p*138/(-4)?
False
Let t = 47 + -26. Does 16 divide (-1)/3 + 616/t?
False
Let v(q) = 20*q - 48. Is 23 a factor of v(7)?
True
Let v(o) be the second derivative of o**7/2520 - o**5/30 + o**4/3 + 5*o. Let s(j) be the third derivative of v(j). Is 10 a factor of s(-5)?
False
Let s = 5 + -8. Let f be (-1)/1 + (s - 4). Let d = f + 21. Is 9 a factor of d?
False
Suppose r - 4*r - 75 = 0. Let o = r + 45. Is 5 a factor of o?
True
Let d(w) = 5*w**2 - 2*w - 1. Let o be d(3). Let n = 58 - o. Does 10 divide n?
True
Let u(h) = h**2 + h + 8. Suppose 0 = 3*j - 4*j. Is 4 a factor of u(j)?
True
Suppose 5*g = 3*h + 134, h + 45 = 2*g - 8. Is g a multiple of 5?
True
Does 18 divide (6/8)/((-9)/(-864))?
True
Suppose c = b - 2*b + 4, 0 = -3*c + 3*b. Suppose -2*t + 32 = 2*u, -4*t - c*u - u = -59. Does 3 divide t?
False
Let i(v) = v**2 + 0*v**2 + 31*v**3 + 0*v**2. Let q(o) = -2*o - 1. Let b be q(-1). Is 16 a factor of i(b)?
True
Suppose -57 = -3*v - 3*c, 3*c - 7 = -v + 5*c. Let b be 1*v/3 - 0. Suppose -b*u = 5*t - 8 - 122, -73 = -2*u + 5*t. Is 19 a factor of u?
False
Suppose h - 12 = 3*z, h + 3*z = -0*h + 24. Let x = 6 + -6. Suppose -2*q = -4*u - 0*u, -5*q + u + h = x. Is 2 a factor of q?
True
Let u = -5 - -7. Suppose -3*r + 12 = 3*p, 0 = -0*p + p - u*r + 5. Suppose -13 + p = -x + 2*o, 12 = x - 4*o. Does 12 divide x?
True
Is 5 a factor of (10/1)/(-4 - -6)?
True
Suppose 3*h - 32 = 4*q, -2*q - 16 = -0*q - 2*h. Let g(o) = o**3 + 7*o**2 - 9*o + 1. Is g(q) a multiple of 3?
True
Let g = -40 - -64. Does 6 divide g?
True
Let r = 104 + -34. Let l = r + -19. Is l a multiple of 16?
False
Suppose -3*m + 2*m = 0. Does 5 divide (-19)/(-2)*(2 + m)?
False
Suppose -3*h - 25 = -c + 2*h, 3*c - 5*h = 85. Does 6 divide c?
True
Let l(a) = 42*a - 3. Let i(k) = -127*k + 10. Let m(f) = 2*i(f) + 7*l(f). Does 24 divide m(1)?
False
Suppose 0*k = -4*k - 24. Let a = 2 - k. Is a a multiple of 3?
False
Let g = -2 - -10. Is 4 a factor of g?
True
Suppose -5*w = -0*w - 200. Is w a multiple of 20?
True
Let n = -11 - -15. Suppose -j + 15 = n*j. Suppose 0 = -j*l - 0*l + 42. Is 14 a factor of l?
True
Suppose 2 = -5*q - 8, 3*w - q - 8 = 0. Suppose 0*d = w*d - 16. Is 16 a factor of 362/d - 4/16?
False
Is 8 a factor of -1*(-8)/4 - (-41 + 2)?
False
Suppose 0 = -6*g + 161 + 379. Does 19 divide g?
False
Let f(v) = -22*v**2 + 3*v. Let x be f(2). Let q = x - -119. Is q a multiple of 11?
False
Let l be ((-2)/(-5))/((-8)/(-80)). Is 7 a factor of l*(9/12 + 1)?
True
Suppose -4*i - 3*r + 19 + 4 = 0, -i - 2*r = -7. Does 3 divide i?
False
Suppose -2*t - h - 10 + 0 = 0, -2*t - 5*h + 6 = 0. Let g = t + 35. Does 15 divide g?
False
Let o(y) = y**2 + 22. Does 12 divide o(7)?
False
Suppose -9 = -3*t - 2*w, 5*t - 2*w = -3*w + 15. Suppose 3*u + 2*u = 0. Suppose -6*a + a = -t*y + 32, 5*y - 5*a - 60 = u. Is y a multiple of 6?
False
Let h = -74 - -44. Let m = -51 - -33. Let r = m - h. Is 6 a factor of r?
True
Let w be 0/(4/6*3). Suppose -u + d - 1 = w, 3*u + 3 = d + 4. Does 4 divide 8 - (3/u + -2)?
False
Let j(l) = -l**2 + 8*l + 10. Let y be j(8). Is 14 a factor of 314/10 + y/(-25)?
False
Suppose -8*c + 6 = -6*c. Suppose 0 = -2*t + 10, 38 = 4*d - c*t + t. Is 12 a factor of d?
True
Let b(t) = t**2 + 9*t + 2. Is b(-10) a multiple of 6?
True
Suppose -p - 4*i + i + 8 = 0, 5*p = 5*i. Suppose -x + 10 = -p*v + 6*v, -2*v + 8 = 2*x. Suppose x*h + 4 - 10 = 0. Does 3 divide h?
True
Suppose 5 = q, -2*a = -0*a - 4*q - 40. Let x = a - -27. Does 19 divide x?
True
Let c = 3 - 2. Is 9/(c/((-6)/(-9))) a multiple of 6?
True
Let d = -165 + 246. Does 20 divide d?
False
Suppose 0*n + 26 = 2*n. Does 10 divide n?
False
Suppose 0 = -4*c + 2*c + 8. Suppose 0*n = c*a + 4*n - 48, -6 = -2*n. Is a a multiple of 4?
False
Suppose 615 = 5*d + 5*r, 0 = -6*r + 7*r - 3. Is d a multiple of 30?
True
Let f = -2 - -3. Is 16 a factor of f - -50 - 15/5?
True
Suppose 0 = -h + 2*h - 4. Suppose -h*a + 7 = -49. Is a a multiple of 7?
True
Let d be (-1 + 0)/((-1)/43). Let w = 61 - d. Is w a multiple of 9?
True
Suppose -s + 3*m = -12, -2*s - 2*m - m + 33 = 0. Let q = s + 20. Is q a multiple of 12?
False
Suppose 3*f - 6*f = -2*m - 80, 82 = 3*f - m. Does 14 divide f?
True
Let s = -6 + 10. Suppose b = 3*b + 2*p - 4, -s*b - 5*p + 8 = 0. Suppose 2*r - 3*z - 19 = 0, -3 = 3*r - b*z - 29. Is 4 a factor of r?
True
Let n(f) = f**2 + 13*f - 9. Does 24 divide n(6)