 4/(a/3)*-2. Suppose w = 7 + m. Is w a multiple of 5?
True
Let k(b) = 2*b**2 - 6*b + 10. Let t be k(9). Let o = t + -60. Is 29 a factor of o?
True
Let y(p) = -2*p**2 - 15*p - 27. Let m be y(-10). Let u = 0 - m. Is 7 a factor of u?
True
Suppose 82*d - 72070 = 84796. Does 15 divide d?
False
Suppose 76 + 32 = -4*c. Let h be (-6)/4*(-36)/c. Is (-36)/(-10) - h/5 a multiple of 4?
True
Let x be -4*2/(-8) - -1. Suppose 0*o = -x*o + 36. Is o a multiple of 6?
True
Suppose 5*r - 4*r = 2*c, -2*r = c - 5. Suppose -m - 2*v - 1 = -4*v, -3*v = r*m + 2. Is 3 a factor of m/4 - (-222)/24?
True
Suppose n - 1980 = -3*n. Is 45 a factor of n?
True
Let x(r) = -r**2 + 14*r - 28. Let m be x(10). Suppose -689 = -m*p - 173. Is p a multiple of 14?
False
Let s = -193 + 121. Let j = 96 + s. Is 24 a factor of j?
True
Let b(x) = 3*x - 1. Let v be b(1). Suppose v*j = -3*a + 2*a + 250, j = 2*a + 130. Is 21 a factor of j?
True
Let o = -34 + 39. Suppose -o*n = 5*m - 995, m + 189 = 4*n - 3*n. Let g = -89 + n. Is g a multiple of 21?
True
Suppose 4*y = 103 + 617. Is y a multiple of 12?
True
Let z be (-1 + 1/(-4))*-4. Suppose -3*r + 4 = -2*c + 25, z*c + 10 = -5*r. Suppose x = -3*x + c*i + 315, -x = -i - 79. Is x a multiple of 16?
False
Let r(v) = -v**2 - 38*v - 114. Does 8 divide r(-33)?
False
Let m(b) = b**2 + 5*b + 2. Let k be m(-5). Suppose -50 = -2*s + 7*s + 4*z, 0 = -2*s - k*z - 22. Is (-24)/18*117/s a multiple of 11?
False
Let d(u) = 130*u**3 - u**2 - u + 1. Suppose -s = -0*s - 1. Let q be d(s). Let i = q + -73. Is 14 a factor of i?
True
Suppose -2*h + 3*o + 393 = -576, 0 = 4*o - 4. Does 81 divide h?
True
Let g(j) be the third derivative of -j**6/12 + j**4/24 + j**3/3 - 9*j**2. Does 8 divide g(-1)?
False
Let c be -1 + 2 - 0/(-2). Let p be (-372)/(-20) - 120/75. Let a = p + c. Does 9 divide a?
True
Let b(h) = -h**3 - 10*h**2 - 11*h - 21. Let m be b(-9). Is (3 + -4)/(m + (-1072)/(-358)) a multiple of 32?
False
Let j be 4/4 + 3 - -4. Let c be 8/3*(j + -5). Is 12 a factor of (c/12)/(6/351)?
False
Suppose 0 = -5*i - 0*i + 5. Let v be (-1)/((-24)/22 + i). Suppose -v*g + 8*g + 33 = 0. Does 11 divide g?
True
Suppose -4*i + 951 = -3*q, -q + 288 = 2*i - 195. Let b = 629 - i. Is b a multiple of 18?
False
Does 84 divide (9515/(-44))/((3/8)/(-3))?
False
Suppose -2 = -2*z + 3*z. Does 20 divide (-5 - 0)/(z/8)?
True
Let k(g) = 6*g**2 - 3*g**3 + 5*g**3 - g**3 + 3 + 7*g**2. Let o be k(-13). Suppose 5*d = b + 9, -b - o*d + 27 = d. Does 5 divide b?
False
Suppose -3*g + 7*g + 7*g = 0. Suppose g = -2*l + 27 + 7. Is l a multiple of 4?
False
Suppose 9*r - 9 = 6*r. Suppose -122 = -r*i + 73. Does 5 divide i?
True
Let a(k) = k**2 - 5*k + 2. Let m be a(5). Does 36 divide m/10 + 609/5?
False
Let h(s) = -58*s - 1256. Is 3 a factor of h(-26)?
True
Let f(o) = o**3 + o**2 + o - 7. Let w be f(-4). Let q = w + 101. Is 7 a factor of q?
True
Let s be 13 - 5/((-5)/(-1)). Suppose 76 = 4*i + s. Does 4 divide i?
True
Let o = -10 - -8. Let s(h) = -6*h + 3. Is 4 a factor of s(o)?
False
Let n be 309/7 + -1*1/7. Does 16 divide (-722)/(-22) + 8/n - -3?
False
Let n(q) = -q**3 - 8*q**2 - 6*q + 3. Let h be n(-8). Let l = 113 - h. Does 31 divide l?
True
Suppose -7*d - 117 + 12 = 0. Is 7 a factor of (d - -105) + 3/(-2 - -5)?
True
Suppose 0 = 3*s - 3 - 9. Suppose -s*d - 2 = 34. Is 14 + (-3)/(d/6) a multiple of 4?
True
Suppose 2*m + m - 18 = 2*v, 0 = -m + 2*v + 2. Suppose -5*a = 2*z - a - m, -2*a - 12 = 5*z. Does 16 divide z/26 - 3845/(-65)?
False
Let u(j) = -j**2 - 2*j + 1. Let h be u(-5). Let z = 17 + h. Suppose -12 = 2*s - z*s. Is s a multiple of 3?
True
Let z(j) = -2*j - 20. Suppose -3*w - 2*p = 42, 5*p = -w + 3*p - 14. Is 3 a factor of z(w)?
False
Let g = 2156 + -358. Is g a multiple of 29?
True
Suppose n - 4*k = -11, 10*n = 5*n - 3*k - 55. Let u(j) = -j**2 - 13*j - 5. Is u(n) a multiple of 11?
False
Suppose -2*u + 7 = -35. Let q = 109 - u. Does 4 divide q?
True
Suppose -11*u = -1823 - 949. Is u a multiple of 7?
True
Suppose 0*s + 50 = -5*s. Let y be 34 - (-2 - -14)/(-3). Let x = y - s. Does 16 divide x?
True
Let u = 942 + -669. Does 13 divide u?
True
Suppose 5*u - 3 - 10 = 3*a, 4*u - 2*a = 12. Suppose 0 = -5*w - 5*h + 150, 35 = u*w - 4*w + 2*h. Is 25 a factor of w?
True
Is (-5)/((-3 + -3)/1848) a multiple of 20?
True
Suppose 0 = 2*f - 5*z + 21, 2*f + 2*z + 1 = 3*z. Suppose f*t + i = 44, 0*t - 12 = -t - 3*i. Is 3 a factor of t?
True
Let s(r) = -42*r - 7. Let f = 35 - 44. Does 53 divide s(f)?
True
Let i be (1 - 3)/(2 + 360/(-178)). Let z = i + -14. Does 10 divide z?
False
Let d(x) = -6*x**2 - 5 + 5 + 7*x**2. Let n be d(2). Suppose 0 = 3*u - 0*u + 2*g - 11, 3*u - n*g = 23. Does 5 divide u?
True
Suppose 18*v - 367 = 65. Does 2 divide v?
True
Let r be (-41)/3*(-108)/12. Suppose -393 = -6*p - r. Is p a multiple of 2?
False
Suppose -j - 3*j = -w - 39, -2*w = -j + 1. Let x = j + -7. Is 4 a factor of x?
True
Suppose -2835 = -2*n + 3*x, -5*n + 5*x + 10942 = 3852. Does 46 divide n?
False
Let o be 48/(-36)*(-3)/2. Let g = o - -3. Suppose g*s - 2*d = 270, -3*s + 2*d + 136 = 6*d. Is 33 a factor of s?
False
Let x(l) = -l**2 + 22*l + 15. Does 9 divide x(21)?
True
Let v = -125 + 11. Let j = 11 - v. Is 39 a factor of j?
False
Suppose 4*n = -n. Suppose -3*b - b + 112 = n. Is b a multiple of 18?
False
Does 27 divide (2/((-8)/(-2)))/((-3)/(-1362))?
False
Let w = 356 - 175. Is w a multiple of 13?
False
Let j(a) = -a**3 + 4*a**2 + 11*a + 9. Let f be j(6). Suppose -f*u + 2 = -13. Suppose -208 = -u*m + m. Is 22 a factor of m?
False
Let a be (-13 + (-1)/(-1))*(-274)/6. Suppose -4*d = -4*h - 552, 5*d + 4*h - 169 - a = 0. Is d a multiple of 12?
False
Suppose -3*k + 1728 = 8*f - 11*f, 4*f = 0. Does 16 divide k?
True
Suppose -1018 = -2*g - 250. Suppose 2*a = g - 124. Is a a multiple of 13?
True
Let q = 25 - 20. Suppose 0 = -q*c + 107 + 28. Is 10 a factor of c?
False
Let r = -864 + 2574. Is r a multiple of 20?
False
Let b be 4/(-8)*(-485 + 3). Let y = b + -93. Does 12 divide y?
False
Suppose 0 = -28*b + 23*b - d + 12394, -3*d - 4961 = -2*b. Does 10 divide b?
False
Suppose 14*w = -5*w + 1938. Is 17 a factor of w?
True
Let f(t) = 3 + t**3 - 3*t**2 - 12 - 19*t - 2*t**2 + 8*t. Is f(7) a multiple of 6?
True
Let y(u) be the first derivative of 7*u**2/2 - 2*u + 9. Let f be y(-5). Let d = 110 + f. Is d a multiple of 13?
False
Suppose 0 = 13*y - 1303 - 4313. Is 48 a factor of y?
True
Let y(z) = z**3 - z**2. Let n be y(1). Suppose 0 = -n*r + 4*r + 112. Does 6 divide (12/14)/((-2)/r)?
True
Suppose 0 = 19*t - 7730 + 662. Is t a multiple of 31?
True
Let l be 1 + 2 + 3/(-3) - -6. Let i(o) = -o**2 + 12*o - 16. Is 16 a factor of i(l)?
True
Suppose 5*x = -2*u - 16, -4*x + 0*x + 2*u = 2. Is 3 + 0 - (x + -6) a multiple of 4?
False
Suppose -55*g - 6790 = -62*g. Does 15 divide g?
False
Suppose -3*m - 55 = 5*y, 2*y = -5*m - 0*m - 3. Let q = y + 28. Suppose f - 6 = 5*x + q, -3*x + 36 = f. Is 10 a factor of f?
True
Suppose -z + j + 8 = -0*z, -2*j + 5 = 5*z. Suppose x = 5*x + g - 564, z*x = -5*g + 440. Is x a multiple of 28?
True
Suppose 0 = 4*h - 3*h - 9. Suppose b - 4*l - 1 = 0, b + 5*l - 10 - h = 0. Does 3 divide b?
True
Suppose 4*v - 16 = -5*c, -5*v + 0*c + 3 = 2*c. Let x be 7 - v/(1/3). Let d = 8 + x. Is d a multiple of 9?
True
Suppose 0 = k + 4*k - 5. Let d be 5 + 2 - (-2)/k. Let j = d + -2. Is 2 a factor of j?
False
Suppose 3*i + 2*c = 4*c - 2, 4 = 4*c. Suppose -2*x + i = -14. Is x - (-3 + 0 + 2) a multiple of 6?
False
Let t(a) be the second derivative of -a**5/20 + 3*a**4/4 - a**3/6 - 9*a**2/2 - 3*a. Does 14 divide t(7)?
False
Let s = 23 - 16. Suppose -5*n + s = -13. Suppose -n*l + 177 = -3*q, 4 = 2*q + 2. Is l a multiple of 15?
True
Suppose 3*a + j - 964 = -a, 0 = -5*a - 2*j + 1208. Is a a multiple of 20?
True
Suppose 4*f + 3*d = 65 + 383, 0 = d + 4. Does 23 divide f?
True
Suppose -2*o = -119 - 129. Let s = o - 63. Is s a multiple of 5?
False
Let s = -57 - -18. Let o be (52/s)/((-4)/6). Suppose o*t = w + 111, 4*t = -t + w + 279. Does 27 divide t?
False
Let l = 385 + -247. Is 23 a factor of l?
True
Suppose -4*a - 18196 = -4*q, -16*a - 13642 = -3*q - 14*a. Does 142 divide q?
True
Suppose 2292 = 101*c - 45279. Is c a multiple of 3?
True
Let p = -180 + 335. Suppose p = 4*s - 465. Is 31 a factor of s?
True
Let q(o) = o**2 + 6*o - 4. Let d be q(-7). Suppose -5*y + 3 = 4*