e of 6?
False
Let m(q) = -q**2 + 5*q - 7. Let r be m(5). Let f = r - -5. Let c = f - -6. Is c a multiple of 3?
False
Suppose j - 42 = 3*j. Is 23 a factor of 648/14 + 6/j?
True
Is 12 a factor of -3*1 + (72 - 9)?
True
Let f = -9 - -22. Suppose 0 = -8*j + 9*j - f. Does 3 divide j?
False
Suppose -5*w + 41 = -49. Does 18 divide w?
True
Does 14 divide (-12)/(-9) - 664/(-6)?
True
Let f be 4/(1 + 2/(-1)). Let b = f + 8. Is 3*((-136)/(-6))/b a multiple of 17?
True
Suppose g + 27 = 3. Suppose 3*q + 8 = 7*q. Is 2 a factor of (g/(-15))/(q/5)?
True
Does 7 divide (0 + -62 - 0)/(-2)?
False
Let m(p) = -p - 8. Let o be m(-8). Suppose o*u + 2*u - 44 = 0. Does 11 divide u?
True
Suppose 8*r - 5*r - o + 1 = 0, -r + 13 = -3*o. Is 514/12 + r/(-12) a multiple of 10?
False
Suppose v - 20 = -4*v. Suppose 3*a - 144 = -2*t, -3*a - 2*a = -v*t + 332. Is 29 a factor of t?
False
Let t = -37 - -53. Is 4 a factor of t?
True
Suppose -3*b - 3*t + 7 = -5*t, 0 = 5*b + 4*t - 19. Is -4 + -1 + b - -23 a multiple of 7?
True
Let f be -2 - -2 - 3 - -7. Suppose p - f*p = -60. Does 20 divide p?
True
Let k(c) = -2*c + 13. Is k(-9) a multiple of 7?
False
Let b = -29 + 92. Is 16 a factor of b?
False
Suppose -6 = j - 21. Does 15 divide j?
True
Suppose t - 5 - 1 = 0. Is 2 a factor of t?
True
Let w = -119 - -329. Is 42 a factor of w?
True
Suppose -3*o = -4*o. Suppose 6*l - 4*l = 6. Suppose l*s - 6*s + 33 = o. Is 6 a factor of s?
False
Let i be ((-22)/4)/(2/(-36)). Let o = -181 + i. Let t = o - -120. Is t a multiple of 18?
False
Suppose 60 = -j - 4*j. Does 17 divide (-178)/(-3) + j/(-18)?
False
Suppose -2*z + 3*z - 1 = 0, 3*u - 11 = z. Suppose -4*r = -13 + 1. Suppose -r*h - 16 = -u*h. Does 8 divide h?
True
Let s = 241 + -144. Is s a multiple of 6?
False
Let a(t) = -t**2 + 5*t - 4. Let l be a(3). Let p be ((-24)/(l - 4))/2. Suppose v = -f + p*f + 19, -32 = -4*v - 2*f. Is 3 a factor of v?
True
Let d(u) = -u - 5. Let j be d(-6). Is 12 a factor of j*-1*162/(-6)?
False
Suppose -1 = -2*w - 5. Suppose 0 = 2*h + 5 - 1. Is 7 a factor of (-29)/w + h/4?
True
Let c = 20 - 1. Does 3 divide c?
False
Let v = 70 - 15. Is 11 a factor of v?
True
Let c = 22 - -10. Is c a multiple of 21?
False
Let x(h) be the second derivative of -h**3/3 - 9*h**2/2 + h. Let j be x(-8). Suppose j*f - 35 = 2*f. Is 4 a factor of f?
False
Let v = 381 + -134. Suppose -5*j + 2*o = -v, 3*j - 4*o = 7*j - 220. Suppose 4*y - j = 21. Does 13 divide y?
False
Suppose 0 = -4*u + 7*u. Suppose u = 3*f - 5*w - 103, 3*f + 5*w - 127 = -14. Is f a multiple of 12?
True
Suppose -4*o = 4, 5*h + 2*o + 5 = 123. Is 6 a factor of h?
True
Let c = 4 - 5. Let s = 4 + c. Suppose -8 = 2*n - s*n. Is 4 a factor of n?
True
Let j = -3 - 5. Let m = 17 + j. Does 9 divide m?
True
Let r(k) = k - 5. Let o be r(9). Suppose -2*v - 14 = -2*h - 6*v, 5*h - 23 = 2*v. Suppose j - 85 = -h*n - o*j, n - 3*j = 13. Is n a multiple of 10?
False
Let l be 2/8 + 115/20. Suppose -o - 2 = 0, -4*h - 24 = -l*h - 4*o. Suppose h + 2 = q. Is q a multiple of 14?
False
Let g = -9 + 26. Let z = -10 + g. Is 3 a factor of z?
False
Let m(q) = -6*q + 2. Let o(h) = h + 11. Let d be o(-13). Let j be (d/3)/(8/24). Is 9 a factor of m(j)?
False
Suppose 3 = -g + 11. Let u(i) = 29 - 3*i - 15 - 8 + i**2 + 0*i. Does 23 divide u(g)?
True
Suppose 8 = -2*k + 4*k, 4*k - 36 = -4*b. Suppose 54 = b*f - 76. Is f a multiple of 15?
False
Suppose 2*r = 7*r - 20. Suppose -4*i + 3*i = s - 77, 311 = r*s + 5*i. Is s a multiple of 17?
False
Suppose 0 = -0*p + 5*p + m + 554, 5*p - m + 556 = 0. Does 10 divide (-1)/(((-9)/p)/(-3))?
False
Let k be -4 + (1 - 2)*-1. Let z(s) = 2*s**3 - 2*s**2 + 5*s + 6. Let v(b) = -b**3 + b**2 - 1. Let q(l) = 3*v(l) + z(l). Is 12 a factor of q(k)?
True
Let j(i) = -2*i**3 - i - 1. Let d be j(-1). Let t be (d + 0)*(43 - -1). Suppose u + u - t = 0. Is 25 a factor of u?
False
Suppose l + 36 = 2*i, -4*l = -3*i - 2*l + 52. Does 4 divide i?
True
Is 38 a factor of 26/143 + (-986)/(-22)?
False
Let k be ((-2)/5)/((-3)/15). Suppose 0 = 7*n - k*n - 150. Is 15 a factor of n?
True
Let f(v) = 3 - 3 - 12 - 8*v. Is 14 a factor of f(-5)?
True
Suppose 4*z = 85 + 39. Is z a multiple of 8?
False
Suppose 5*h - h = 284. Suppose 4*t - 73 = -4*w + h, 4*t + 41 = w. Is w a multiple of 11?
False
Let a(q) = 2*q**2 - 4*q**2 + 4 + 1 - 6*q. Let r be a(-6). Let x = 67 + r. Is x a multiple of 18?
True
Let c = 441 + -137. Is 16 a factor of c?
True
Let l = -76 + 212. Is 17 a factor of l?
True
Let y(g) = -9*g + 12. Is 13 a factor of y(-3)?
True
Let c = 44 - 24. Is c a multiple of 5?
True
Suppose 2*x + 3*x = -30. Let z = x + 10. Is 3 a factor of z?
False
Suppose 5*o = 2*f - 3*f + 21, 0 = -5*f + 5*o + 195. Suppose 2*n - s - 25 - 72 = 0, -n = -3*s - f. Does 16 divide n?
False
Let d = 34 - 10. Is d a multiple of 10?
False
Is 16 a factor of 32/((-44)/(-12) + -3)?
True
Let t(s) = 1 - 4*s**3 + 1 - 2 - 2*s. Is 11 a factor of t(-2)?
False
Let k = 0 + 1. Let v = -2 + k. Let r = 9 + v. Is r a multiple of 8?
True
Suppose -2*r = 4*s - 84, -2*r = -4*r + 2*s + 66. Does 18 divide r?
True
Let n(b) = 9*b - 6. Is 9 a factor of n(2)?
False
Suppose 2*a - 2*d = 3*d - 21, 4*d = 3*a + 14. Suppose 34 = 4*n - a*n. Suppose -5*c + 68 = -n. Is 10 a factor of c?
False
Let x = 29 - -23. Does 10 divide x?
False
Suppose -3*u + 5 = 29. Let n(s) = -s**3 - 8*s**2 - 2*s - 9. Is 6 a factor of n(u)?
False
Suppose -u + 2*u = n - 21, 0 = -2*u + 5*n - 33. Let q = 7 - u. Is 8 a factor of q?
False
Suppose -3*q + 0*q = -24. Suppose -q = -4*p, -g = -4*g - p + 50. Suppose 0 = -3*n - n + g. Does 2 divide n?
True
Suppose 75 = 5*c + 5*z, 4*c + 4*z - 2*z = 56. Is c a multiple of 5?
False
Suppose 3*q = o + 1166, 309 = 4*q - o - 1247. Suppose -11*f = -6*f - q. Does 26 divide f?
True
Let d(p) = -p**3 + 8*p**2 - 5*p + 6. Suppose -5*l - 3*b + 9 = -11, -13 = l + 4*b. Let c be d(l). Suppose -m - c = -2*m. Is 20 a factor of m?
True
Suppose 11 = 5*b - 4*a, 3*b - 1 = a + 7. Suppose -12 = -b*p, 2*p + 4 = -2*l - l. Let h = l - -40. Is h a multiple of 11?
False
Suppose 0 = 3*n - n. Suppose 3*c + 0*s = s + 130, -4*c - 3*s + 169 = n. Is 14 a factor of c?
False
Let y be 21*3/(-36)*-4. Let j(b) = -b**3 + 8*b**2 - b + 1. Is 12 a factor of j(y)?
False
Let h be (-4 - -3)/((-3)/9). Let f(q) = q**2 - 5*q + 3. Let n be f(5). Is 7 a factor of n*1/h*14?
True
Suppose 0*i - 4*i = -252. Is 25 a factor of i?
False
Suppose -2*d + 32 = 4*w, 2*d - 59 = -w - 21. Is 5 a factor of d?
True
Let d be 1/(2/(-2)*-1). Let b(z) = z**3 + 4*z**2 + 2*z. Let v be b(-4). Is -2*d - -2 - v a multiple of 8?
True
Let h = -4 - 65. Let p = -40 - h. Suppose q + 10 = p. Does 12 divide q?
False
Let c = 2 - -2. Suppose 66 = -d + c*d. Let j = d - 10. Is 7 a factor of j?
False
Let n(a) = 6*a**3 + a**2 - a + 2. Suppose 0 = f - g - 3, f - 3*g = 2 - 3. Suppose f*c + 3 = 13. Is 24 a factor of n(c)?
False
Let y(n) = -2*n + 19. Does 13 divide y(-5)?
False
Suppose 5*x + 42 = 8*x. Does 9 divide (-191)/(-7) - 4/x?
True
Suppose -5*l = -0*l. Let q = 2 - l. Suppose q*c - 6 = -u, 2*c - 14 = -5*u - 0*c. Is u a multiple of 2?
True
Suppose 3*u = 4*u + 21. Is 14 a factor of u/(-1*(-2 + 3))?
False
Let a(f) = -f**3 + 4*f**2 - 2*f. Let y be a(3). Let o = y - 7. Is (o/5)/(4/(-80)) a multiple of 8?
True
Let j = -4 + 6. Let s be ((-4)/6)/(j/(-264)). Is 11 a factor of (3/(-2))/((-6)/s)?
True
Let z(a) = 10*a - 55. Does 25 divide z(13)?
True
Let z be (2 + 0 - 3) + 7. Suppose -o = -3*o + 44. Suppose u + z*l - 2*l - o = 0, 5*u + 4*l - 78 = 0. Is 7 a factor of u?
True
Suppose -14 = -4*q + 178. Is q a multiple of 16?
True
Let b(l) = l - 7. Suppose 4*u = -16, -2*v + 4 = 2*v + u. Let y(k) = -4*k + 22. Let s(o) = v*y(o) + 7*b(o). Does 2 divide s(-7)?
True
Suppose -170 = -d - d. Does 21 divide d?
False
Let f(y) = y**3 + 2*y**2 - 3*y + 2. Let c be f(-3). Suppose -4*v = -3*p + 115, 2*v = -c*p - 15 + 115. Does 15 divide p?
True
Let m(l) = -l**3 + 9*l**2 + 10*l - 2. Let v be m(10). Is (-4 - 2)*7/v a multiple of 5?
False
Let b = 137 - 124. Is b a multiple of 13?
True
Suppose 12 = 3*f - 0*f. Is 10 a factor of (0 - f)/(4/(-32))?
False
Let y(z) = 6*z**2 + 3*z + 6. Does 15 divide y(-4)?
True
Suppose 0*j = -4*j + 20. Suppose 3*k - 5*a = 40 + 73, 0 = -5*k + j*a + 185. Is k a multiple of 12?
True
Is 20/(-2 + 126/60) a multiple of 20?
True
Suppose -6*c + c - 4*x = -830, -5*c + 790 = 