Is y a multiple of 5?
True
Suppose 3*f + 9 = 0, -5*j = -5*f - 33 - 32. Let a be (6/(-5))/((-4)/j). Suppose -a = -4*l + r + 24, -l + 4*r = 12. Is l a multiple of 6?
False
Let b(h) = 5*h - 1. Let j be b(5). Let r = j + -14. Is ((-48)/r)/(8/(-60)) a multiple of 16?
False
Suppose 4*v + 22 = 102. Suppose 0 = 2*f + 4*g - 20, -5*f - 3*g - v = -7*g. Suppose -4*k - 7*u = -2*u - 90, f = 5*k + u - 123. Is 10 a factor of k?
False
Let d = -258 + 458. Does 40 divide d?
True
Let z(p) be the first derivative of -p**7/280 + p**6/180 - p**5/120 - 4*p**3/3 + 1. Let n(t) be the third derivative of z(t). Is 17 a factor of n(-2)?
True
Let g(m) = 15*m + 4. Is 16 a factor of g(4)?
True
Suppose -155 = -4*y + 5*s, -2*y + s + s = -78. Is y a multiple of 20?
True
Let r(w) = 8*w + 2. Suppose 5*s + 0*s - 5*x + 5 = 0, -5*x = -25. Is 17 a factor of r(s)?
True
Let v(s) = s + 24. Let q be v(0). Suppose x + 4 + 12 = 3*c, c = 5*x + q. Is 2 a factor of c?
True
Suppose 3*d - 1146 = 3*m, m - 3*d + 387 = -d. Is m/(-5) - (-30)/50 a multiple of 19?
True
Let s(n) = -2*n**2 + 0*n + 3*n - 2*n. Let q be s(-1). Is 10 a factor of 37 + (2 + q - 2)?
False
Let h = 10 - -7. Suppose -h = -4*x - 1. Is 4 a factor of x?
True
Let b = 4 - 4. Suppose -4*u = -3*z + 49, -z - 4*u + 10 + 1 = b. Is z a multiple of 5?
True
Let l = 19 + 46. Suppose 0 = 2*s - 23 - l. Is s a multiple of 18?
False
Is 11 a factor of ((-66)/18)/(1/(-3))?
True
Let u(m) = -m**3 + 7*m**2 - 5*m + 6. Let c = -12 - -8. Let g = 2 - c. Does 12 divide u(g)?
True
Let k = 60 + -108. Let u = -9 - k. Does 9 divide u?
False
Let l = 5 + -1. Suppose t + 0*t - l*f = 25, 5*f + 2 = -2*t. Does 5 divide t?
False
Suppose 4*z - 69 = 91. Suppose 8*v = 3*v + z. Is 7 a factor of v?
False
Let g(a) = -5*a - 1 + 1 - 9 - 1. Is g(-7) a multiple of 25?
True
Let v = 104 - 61. Let s = -14 + v. Is 16 a factor of s?
False
Let d = 10 + -5. Let h be ((-12)/5)/(d/25). Let l = h + 24. Does 8 divide l?
False
Let t be 2/((-1)/(-3) - 1). Let r be (-8)/(-4)*t/(-2). Is 14 a factor of -3*r/(3/(-13))?
False
Suppose 48 = f - 3*w, -3*w = f - 26 - 22. Does 9 divide f?
False
Let v(k) = -17*k - 3. Let w be v(-2). Suppose f + 9 = w. Is 11 a factor of f?
True
Let q be 2 + 4 + 1 + -1. Let l = -4 + q. Is l even?
True
Suppose 144 = 4*u + 4. Suppose -t = 4*t + 4*c - u, 5*c = -3*t + 8. Is 10 a factor of t?
False
Suppose 0 = -2*g + 5 + 5. Suppose o = g*i - 2, -4*o - 5*i = 14 - 56. Is 3 a factor of o?
False
Suppose 3*w - 2*y - 31 - 60 = 0, 3*y + 153 = 5*w. Is 3 a factor of w?
True
Suppose p + 21 = 3*x - 2, -2*x + 2*p + 10 = 0. Suppose -x - 10 = -y. Is 12 a factor of y?
False
Let k = -39 - -59. Is k a multiple of 20?
True
Suppose -2*s = 4*u - 96, 3*u - 4*s - 83 = -0*u. Does 8 divide u?
False
Is 3 a factor of -9*11*(-2)/6?
True
Let w = 12 - -44. Let i = -38 + w. Is 12 a factor of i?
False
Suppose 4*b - 1 - 11 = 0. Suppose 3*i - 33 = b. Is 6 a factor of i?
True
Let y = -58 + 128. Is y/4*16/10 a multiple of 7?
True
Suppose -978 - 486 = -12*z. Is 19 a factor of z?
False
Let l = 6 - -15. Is l a multiple of 6?
False
Let v be -1 + 3 - 10/(-2). Is 145/v - (-2)/7 a multiple of 14?
False
Suppose -5*q - 61 = -221. Is 12 a factor of q?
False
Let g be 24 + 1 - (-3 - -5). Let p = g - 0. Is p a multiple of 23?
True
Let i = 5 - 5. Suppose i = -g + w - 73, -3*g + 3*w = -2*w + 219. Let f = g - -103. Does 15 divide f?
True
Let s(k) be the first derivative of -2*k**2 - k + 3. Is s(-4) a multiple of 15?
True
Let a(z) = z**3 - 2*z**2 - 4*z + 1. Let x be a(3). Let w = x - -3. Does 4 divide (-1)/((3/(-12))/w)?
True
Suppose -5 = g - 8. Suppose g*r = -0*r + 129. Is r a multiple of 11?
False
Let d(i) = 6*i**3 + i**2 + 1. Let j be d(-2). Let y = j + 75. Does 16 divide y?
True
Let v(w) = -w**2 + w + 2. Let f be v(2). Suppose f*q = q - 11. Suppose 8 = k - q. Does 12 divide k?
False
Let k(h) = h**2 - h + 139. Let j be k(0). Suppose -5*d - 4 = -j. Is 9 a factor of d?
True
Suppose -7*w - w + 1120 = 0. Is w a multiple of 20?
True
Suppose -q + 8 + 4 = 0. Let s be (-2)/(-6) + 44/q. Suppose -2*y + 33 + 35 = 2*v, s*y + 2*v - 130 = 0. Does 12 divide y?
False
Let o = 114 + -91. Is 11 a factor of o?
False
Let f be (-182)/(-3) - (-1)/3. Suppose n + 0*n + f = -3*w, -5*w = -4*n - 278. Is n/(-3) + (-4)/12 a multiple of 10?
False
Suppose 2*t = 3*d - 70, 22 = d - t - t. Suppose -5*j + 0*j - 3*v + 48 = 0, 0 = -j + 3*v + d. Suppose -3*o + j = -o. Is 3 a factor of o?
True
Suppose 0 = 2*g + 2*g + 3*n + 99, -n - 26 = g. Is 7 a factor of 2/(-4)*0 - g?
True
Suppose 3*d - j - 477 = -2*d, -4*d + 370 = 5*j. Suppose 5*l - 29 = u + 25, -322 = 5*u + l. Let t = d + u. Does 22 divide t?
False
Suppose -158 = 4*j - 1082. Suppose -5*x + j = 2*f, 0 = 3*x + f + 2*f - 144. Does 15 divide x?
True
Let a(h) = 2*h**2 - 6*h. Is 18 a factor of a(6)?
True
Suppose t + 2 = 0, t - 5 = -2*v + 53. Does 6 divide v?
True
Let b be 0/(-3) + 6 + 1. Let j = b - -3. Suppose -p + j = p. Is p a multiple of 3?
False
Suppose 7*r - 2*r = -3*s + 205, -2*s + r + 115 = 0. Suppose -2*i + 5*i - s = 0. Is ((-25)/(-4))/(5/i) a multiple of 13?
False
Let b be 9 - -10 - 3*1. Let k = b - 10. Does 4 divide k?
False
Suppose -2*q = -q - 2*p - 5, 5*q + 4*p + 31 = 0. Is 23 a factor of -1 + 3 + q - -49?
False
Let r be (-6)/(-5)*120/(-9). Is 12 a factor of -3*5*r/6?
False
Let r = -182 + 59. Is ((-4)/6)/(1/r) a multiple of 29?
False
Suppose x = -2*b + 151, -1 - 11 = 4*x. Does 11 divide b?
True
Suppose 2*t + 29 = -4*q - 3*t, 3*t + 15 = 0. Is 6 a factor of ((-11)/(33/90))/q?
True
Suppose 46 = 4*u - 26. Does 4 divide u?
False
Suppose -3*r - 5*q = 197 - 51, -r + q - 54 = 0. Let m be 19*(-2 - -1)*1. Let n = m - r. Does 10 divide n?
False
Let c = 8 + -6. Suppose 0 = -4*p + 4*m + 84, -5*p = -2*m - c*m - 108. Is p a multiple of 22?
False
Let m(q) = 11*q - 12. Is 18 a factor of m(4)?
False
Let m = -18 - -31. Does 7 divide m?
False
Suppose 84 = 5*z - 3*z. Suppose 4*h - 7*h = -15. Suppose -2*q = -h*q + z. Is 14 a factor of q?
True
Let d(l) = l**3 + 2*l**2 - 3*l + 4. Let j(n) = n**2 + 8*n + 9. Let g(v) = -3*v**2 + 2*v + 2. Let q be g(2). Let k be j(q). Is 4 a factor of d(k)?
True
Let w = 151 + -15. Is 34 a factor of w?
True
Does 4 divide 3 + (-4 - (-204)/4)?
False
Suppose 2*g = -2*g - 48. Let h = g + 20. Is 8 a factor of h?
True
Let w be 6 + 1 + -4 + 2. Suppose w*t = 7*t - 14. Is 6 a factor of t?
False
Suppose 501 = 2*w - p, 2*w - 504 = 4*p - 0*p. Is 14 a factor of w?
False
Suppose -126 = -2*n + 5*k + 7, 5*n - 5*k = 355. Is n a multiple of 12?
False
Let b(x) = 176*x - 2. Is b(1) a multiple of 35?
False
Let o(d) = -7*d + 8. Let l be o(4). Does 20 divide 3*3/((-9)/l)?
True
Let t(q) = 2*q + 64. Is t(0) a multiple of 19?
False
Let b = -33 + 53. Suppose 2*y - b = -4*v, -2*v + 0*v + 10 = 2*y. Is 6 + 1 - (y - -2) a multiple of 4?
False
Let g(s) = 5*s**3 - 2*s**2 + 2*s - 1. Let c be g(1). Is 10 a factor of -66*((-28)/6 + c)?
False
Let f(z) = -8*z + 14. Let i(u) = -3*u + 5. Let r(m) = 6*f(m) - 17*i(m). Is r(9) a multiple of 13?
True
Suppose 4*h - 1 = -5. Let p be (-2)/h*(-88)/(-2). Suppose p = 3*u - 4*f, 2*f = f - 1. Is 14 a factor of u?
True
Let x(m) be the third derivative of m**5/60 + m**2. Let z be x(-3). Suppose -c + f = -25, 2*f - z = -4*c + 73. Is c a multiple of 11?
True
Let w(g) = -24*g - 4. Is w(-3) a multiple of 34?
True
Let x = 63 - 30. Is 17 a factor of x?
False
Let m = 48 - -16. Does 16 divide m?
True
Does 8 divide 5 + -7 - 10*-1?
True
Suppose 155 = 7*k - 3*k - 5*f, 5*f + 50 = k. Is k a multiple of 18?
False
Let f = 0 + -3. Let m be (-1)/f + 15/9. Suppose -3*x + 2 + 1 = d, -3*d + 16 = m*x. Does 4 divide d?
False
Suppose -4*m - 19 = 1, 0 = 3*k - m + 19. Is 14 a factor of 4/k + 58/4?
True
Suppose 2*u + 4 = 0, 4*u - 19 = -2*l + 11. Is l a multiple of 3?
False
Let q(l) = l**2 - 5*l + 2. Let c be q(3). Is ((-57)/c)/(6/16) a multiple of 19?
True
Let j be (-2)/(-9) + (-205)/(-9). Let b = j + 2. Is 13 a factor of b?
False
Let v(s) = -2*s**2 + 5*s + 6. Let b be v(5). Let l = -7 - b. Is l a multiple of 7?
False
Let b = -170 + 479. Does 39 divide b?
False
Let y be ((-6)/(-10))/(5/25). Suppose -2*h = -17 - y. Is h a multiple of 10?
True
Let t(d) = 6*d**2 - 1. Let h be t(-1). Suppose 3*n = -0*x + 5*x - 25, -x = -4*n - h. Suppose -26 + 114 = x*z - 4*i, 0 = 5*i + 10. Does 7 divide z?
False
Suppose 5*h + 1 = 3*a, 2*a