2*d. Suppose -3*c - d*y = -75, 5*y - 50 - 15 = -3*c. Does 15 divide c?
True
Let u = 2 + 2. Suppose 3*j - z = 340, 5*z - 580 = -u*j - j. Is 1/3 - j/(-9) a multiple of 8?
False
Does 3 divide (-6)/(-15) + 116/10?
True
Let g(o) = o + 11. Let f be g(-8). Let l = f - 3. Suppose l*m = 3*m - 15. Does 5 divide m?
True
Is -4 + (231 - (0 + 4 + -8)) a multiple of 11?
True
Let n(f) = f**2 + 2*f - 5. Does 5 divide n(4)?
False
Let g = 16 - 16. Suppose g = y - 5*y + 76. Is y a multiple of 7?
False
Suppose -q = -37 - 67. Is 21 a factor of q?
False
Let c(g) = g**3 + 14*g**2 + 12*g - 17. Does 30 divide c(-10)?
False
Let z be ((-5)/2)/((-1)/(-2)). Let c = z + 13. Is 2/4 - (-20)/c a multiple of 3?
True
Let u = -4 + -15. Let y be 282/(-8) - 4/(-16). Let w = u - y. Is w a multiple of 8?
True
Suppose 0 = -2*c - 2*n + 4*n + 18, 5*n + 17 = -2*c. Suppose -c = -2*h + 8. Is 6 a factor of h?
True
Let q(t) = -4*t + 5. Let n = 16 - 26. Does 16 divide q(n)?
False
Suppose 0*o - o + 2 = 0. Is o a multiple of 2?
True
Let d(v) = -15*v - 15. Let b be d(-5). Suppose 0*p = 5*p - b. Is p a multiple of 6?
True
Suppose 4*p + 77 = 3*z, 2*z - 13 = z - 5*p. Let g = 32 - z. Does 4 divide g?
False
Suppose -2*m = t - 6, 4*t - 22 + 4 = -5*m. Suppose q = -m + 4. Let n = q - -7. Is n a multiple of 5?
False
Suppose 3*j - 7*j = 4*r - 148, -5*r - 2*j = -197. Let i = -57 + r. Let u = 46 + i. Is 14 a factor of u?
False
Suppose 0 = -4*x + 2*a + 130, 4*x + 0*a + a - 145 = 0. Is x a multiple of 9?
False
Let q(a) be the third derivative of a**5/60 - a**4/24 + 3*a**2. Let j be q(2). Suppose 5*n - 187 + j = 0. Is n a multiple of 24?
False
Let w(s) = -67*s - 2. Let x(j) = -4*j + 3. Let d be x(2). Let q(c) = 101*c + 3. Let l(f) = d*q(f) - 8*w(f). Is l(1) a multiple of 16?
True
Suppose u - r = -2*u - 318, -520 = 5*u - 5*r. Let f = -1 - u. Suppose -f = -4*x + 38. Is x a multiple of 18?
True
Suppose 4*x + 3*g = -0*g + 157, -2*g - 82 = -2*x. Suppose 0 = -2*s + 4*s + x. Let d = s - -58. Is 18 a factor of d?
False
Let v = -1 + -3. Let c be 10/v*(-1 - 1). Suppose c*i - 2*h - 160 = 0, 2*i - 4*h = -5*h + 55. Is i a multiple of 13?
False
Suppose -3*r + 289 = v - 3*v, -5*v = 5*r - 515. Is r a multiple of 9?
True
Let z be (1/3)/((-6)/90). Let a be -1 + 1 + (-40)/z. Suppose -92 = -2*u + a. Is 21 a factor of u?
False
Let v be 4*(-30)/(-8)*1. Suppose -g - v = -2*g. Is g a multiple of 7?
False
Let b = 6 + -6. Suppose 2*i - 45 - 21 = b. Is 11 a factor of i?
True
Suppose -118 = -4*f + 230. Is 10 a factor of (-1)/(-2 - f/(-45))?
False
Is 28 a factor of (1 - -50)/(3 + -2)?
False
Let z(q) = q**3 - 6*q**2 - 2*q - 8. Suppose -7 = -t - j - 3, 15 = 3*t + 2*j. Does 11 divide z(t)?
False
Is 15 a factor of -2 - (-1 - (-31)/(-1))?
True
Suppose -14 - 1 = -t. Let w = 25 - t. Is 5 a factor of w?
True
Suppose -5*k + 55 = 3*l, -k - 79 = -l - 2*l. Suppose -4*t + l = t. Does 3 divide t?
False
Suppose 0 = -2*r + v + 131, r - 4*v = -v + 73. Does 4 divide r/(-6)*(-9)/6?
True
Let v(h) = 4*h**2 - 1. Let q be v(-2). Suppose 0*x - l = 5*x - q, -4*l - 28 = -2*x. Suppose -4*w = x*b - 3*b - 119, w - 35 = -2*b. Is w a multiple of 10?
False
Suppose n - p + 313 = 4*n, -p - 311 = -3*n. Suppose 0 = -5*x - n + 414. Let m = x - 44. Is m a multiple of 8?
False
Suppose -4*v = 4*x - 4, 4*v - 8 = -20. Let t(k) = -k**2 + 2*k - 6. Let u be t(x). Does 2 divide (-74)/u - (-4)/(-14)?
False
Let j(r) be the first derivative of r**7/840 + 7*r**6/360 + r**5/30 + r**4/3 - r**3/3 + 4. Let b(x) be the third derivative of j(x). Is 7 a factor of b(-6)?
False
Suppose 0 = -5*i - 3 - 2. Let p be (-52)/(2/(-3 - i)). Suppose -4*w + p = 5*r - 0*r, 3*w - r = 58. Is w a multiple of 16?
False
Let g = 118 + -62. Does 28 divide g?
True
Let v be (-1)/(1/2*-2). Let s(t) = 2*t**3 + 1. Let x be s(v). Suppose -x*n = f + 9, n + 8 = 4*f + 2*n. Does 3 divide f?
True
Suppose -2*q + 20 = 2*q. Suppose 4*b = -3*c + 105, 57 + 113 = q*b - 4*c. Does 10 divide b?
True
Let n = 10 - -34. Is 7 a factor of n?
False
Let m = 8 + -6. Suppose -m*w + 2*i = 2*w, i + 2 = 3*w. Suppose 0 = 3*a + 3*j - 132, w*a + 5*j - 18 - 67 = 0. Does 16 divide a?
False
Let r be 0 - -146 - (0 + 1). Suppose -6*s = -s + r. Let f = s - -55. Does 13 divide f?
True
Suppose -y = 3 - 6. Suppose 0 = y*f - 46 - 32. Is f a multiple of 13?
True
Suppose -2*i + 92 + 34 = 0. Does 7 divide i?
True
Suppose -2*h = -5*h - 12. Is (5 + h)*(30 + 0) a multiple of 12?
False
Suppose -r - 2*r = 12. Let j be r/(-24) + 1/(-6). Suppose 3*s + 5*q = -j*q + 87, 0 = -3*s + 5*q + 87. Is s a multiple of 15?
False
Suppose d - 7 = 4. Let i be d/3 + (-4)/6. Let z = 11 - i. Is 4 a factor of z?
True
Let p = -2 - -8. Suppose p*m + 28 = 292. Is m a multiple of 22?
True
Suppose 0 = -5*l - 2*s + 202, -4 = -6*s + 2*s. Does 7 divide l?
False
Let z = 58 - 27. Is 18 a factor of (z + -4)*(-4)/(-6)?
True
Suppose -10 = -5*v + o, 4*o - 23 = -0*v - v. Suppose v*z + 8 = s + 7*z, 5*z = 4*s - 32. Is s a multiple of 8?
True
Let g(w) = w**2 - 9. Let m be g(0). Does 11 divide (-1 + -1)*(m - 2)?
True
Let d be -1 - 3*(-4)/(-3). Is 14 a factor of (7 + -1)/(d/(-30))?
False
Let f(x) = x**2 + 7*x - 6. Let h be f(5). Let a = -45 - -21. Let c = a + h. Is c a multiple of 18?
False
Let y be (-2)/18 - 34/18. Let x(o) = -o + 2 - o**2 + 2*o**2 - 3. Is 5 a factor of x(y)?
True
Let d be -42*4*(-1)/6. Let m = -3 + 5. Suppose m*s = -0*s + d. Does 14 divide s?
True
Suppose -3*l = l - 5*m - 102, -2*m - 52 = -2*l. Is 7 a factor of l?
True
Let y = -4 - -6. Let x be (11/(-2))/((-4)/8). Suppose y*t + 3 = x. Is t a multiple of 2?
True
Let p(c) = 13*c + 1. Let i(v) = 12*v. Let u(k) = 7*i(k) - 6*p(k). Is 21 a factor of u(8)?
True
Let s be 24/20*50/3. Suppose -5*p + 5*g - s = -60, -5*p - 2*g + 26 = 0. Let z = p - 2. Is 4 a factor of z?
True
Suppose 4*c = -57 + 225. Is c a multiple of 21?
True
Let v be (16/(-20))/(4/10). Let i = v + 7. Is 3 a factor of i?
False
Let r(m) = 6*m. Is 33 a factor of r(11)?
True
Suppose 2*l + 30 - 394 = 0. Is l a multiple of 14?
True
Suppose -4*b + 90 = b. Let o = 3 + b. Does 21 divide o?
True
Suppose x = -2*k - x + 8, 3*x = -2*k + 9. Let d(v) = -5*v**2 + 7*v + 7. Let y(u) = 11*u**2 - 15*u - 15. Let m(h) = 9*d(h) + 4*y(h). Is m(k) a multiple of 2?
False
Let w(m) = -64*m - 1. Is 7 a factor of w(-1)?
True
Is -1*(-4)/(-6) - 3584/(-21) a multiple of 8?
False
Suppose -5*l + 358 = -107. Is l a multiple of 5?
False
Let n = 3 - 0. Suppose 0 = n*j - j - w - 7, -2*w - 8 = -j. Suppose 3*r - 8*r - 5*q + 50 = 0, 64 = 5*r - j*q. Is 5 a factor of r?
False
Let z(u) = u**2 - 11*u + 20. Is z(11) a multiple of 2?
True
Suppose 0 = 5*u - 2*u + 4*p - 5, 15 = -5*u + 5*p. Suppose -t + 0 = -6. Let w = u + t. Is 5 a factor of w?
True
Let o(u) = 2*u - 10. Let w be o(7). Suppose 113 - 17 = w*z. Is z a multiple of 9?
False
Let h = 0 - -27. Does 4 divide h?
False
Suppose -3*k + 2*w + 36 = -k, 5*w + 15 = 0. Is 7 a factor of k?
False
Suppose w + 0*a - 21 = -3*a, -a - 13 = -3*w. Is 30/((45/w)/5) a multiple of 19?
False
Let n(p) = -3*p**2 - p**3 + 8*p - 3*p**2 - 1 - 2*p**2 - 2. Is 2 a factor of n(-9)?
True
Let k = -66 + 92. Does 26 divide k?
True
Let j = 52 - 20. Is j a multiple of 16?
True
Is 13 a factor of (-48)/(-3 + 1) + -3?
False
Let d = 85 + -45. Suppose -d = -n - 10. Is n a multiple of 10?
True
Let f = -51 - -79. Is f a multiple of 14?
True
Let f = 2 + -4. Let b be 4/(-6)*15/f. Suppose t = -b*i - t + 37, 2*i - 2*t - 26 = 0. Is 5 a factor of i?
False
Let s(w) = w**2 + 3*w**2 - w + 3*w**3 + 1 - 2*w**3. Is s(-3) a multiple of 13?
True
Let h(m) = -m**3 + 6*m**2 - 2*m - 4. Suppose 0 = -5*b + 5*u + 5, 3 = -2*u + 9. Let s be h(b). Suppose -2*a - 4 = -s. Is 3 a factor of a?
False
Let b(i) = 2*i - 2. Let a be 1/(-2 - 21/(-9)). Let k be b(a). Suppose -55 = -2*t - 3*s - 1, -k*t - 5*s = -104. Does 8 divide t?
False
Let o(w) = -w + 4. Let k be o(2). Suppose y = -k*c + 164, -c + 2*y - 168 = -3*c. Suppose m = 6*m - c. Does 8 divide m?
True
Let d = -113 - -158. Is 9 a factor of d?
True
Suppose -5*s = -4*o - 125, 5*s + 2*o - 3*o = 125. Is 2 a factor of s?
False
Let t(r) = 69*r. Let a be t(2). Suppose a = 2*v + 6. Does 22 divide v?
True
Let t be 1*-1*1/1. Let s be -3 + 6 + (t - -3). Suppose r - 7 = -g + 2, -5*r + s*g + 75 = 0. Is r a multiple of 5?
False
Let u be ((-73)/(-4))/((-2)/(-8)). Suppose -3*g + m = 24 - 151, u = 2*g - 