ose -4*a = -5*a - 1. Let g be 3 + 1/a*1. Suppose g*h - 2 = 3*u - 27, 4*u - h = 30. Is 7 a factor of u?
True
Let w(z) = 168*z. Is 28 a factor of w(1)?
True
Is -15*11/(165/(-36)) a multiple of 12?
True
Let m(p) = p**3 - 8*p**2 + 7*p + 3. Let w be m(7). Suppose w*x + 4*k - 146 = -2*x, 74 = 3*x - k. Does 26 divide x?
True
Suppose 0 = 2*n - 2 - 0. Suppose -n + 6 = -5*l. Is 7 a factor of l + (0 - -1) + 7?
True
Let h = 586 - 366. Is h a multiple of 16?
False
Let n = 19 - 7. Suppose 38 = g - n. Is g a multiple of 25?
True
Let z(b) = -b**2 - 2 - 5*b**2 + 7*b**2 - 3. Is 5 a factor of z(-5)?
True
Suppose 6*m - m = 5*k - 615, -20 = -4*m. Does 24 divide k?
False
Suppose m + 6 = 3*m. Suppose -30 = 2*n - m*n. Does 10 divide n?
True
Suppose -3*o = o - 4. Let u be (-3)/(((-2)/4)/o). Suppose -34 = -5*r - 3*q + u*q, 0 = -3*r - 3*q + 30. Is r a multiple of 8?
True
Suppose k - 26 = -6. Is k a multiple of 4?
True
Let x = 6 + -6. Suppose 3*s - 4*j = -9*j + 46, -5*s - 3*j + 98 = x. Does 11 divide s?
True
Let p(l) = 7*l + 10. Let f(b) = 15*b + 21. Let h(x) = -4*f(x) + 9*p(x). Does 21 divide h(5)?
True
Let p be (-2)/8 - (-86)/(-8). Let v = p + 29. Is 9 a factor of v?
True
Suppose 5*r + 3*g = 314, 5*r + 0*r = g + 302. Is 16 a factor of r?
False
Suppose -5*j + 8 + 7 = 0. Let f be 1/(j - 2)*4. Suppose -f*y = 5 - 13. Is y a multiple of 2?
True
Let k be 1 + (-2)/(-2) + -101. Let s be 1/4 + k/12. Let z = 13 + s. Is 5 a factor of z?
True
Let z(q) = -q**2 + 6. Let v be z(6). Let m = -3 - -4. Is 2 a factor of -3 - (m - v/(-3))?
True
Let r(c) = 5*c**3 - c**2 - c + 1. Let j be r(1). Suppose 0 = j*u - 7*u + 69. Does 5 divide u?
False
Let f(g) = -3*g**2 + 5*g - 3. Let i(r) = -8*r**2 + 16*r - 8. Let k(m) = 11*f(m) - 4*i(m). Does 7 divide k(-6)?
False
Is 12 a factor of (48/20)/(1/10)?
True
Let f be (-1524)/(-7) - (-16)/56. Let y = 313 - f. Is y a multiple of 27?
False
Does 13 divide ((-2)/20)/(6/195)*-24?
True
Does 31 divide (-7707)/(-84) - (-3)/(-4)?
False
Let p(a) = 14*a**3 - a. Let s be p(-1). Let i = s + 25. Is 12 a factor of i?
True
Let m = -38 - -90. Suppose 5*t - 4*u = 67, 3*t - 4*u = -t + m. Is t a multiple of 3?
True
Let v be (-3)/(6/(-106)) + 0. Let y = 104 - v. Suppose 54 = 3*u + 2*b - 3*b, y = 3*u - 2*b. Does 13 divide u?
False
Does 23 divide ((-385)/15 - 5)/(6/(-9))?
True
Let o(i) = i**3 - 9*i**2 - 10*i + 2. Let m be o(10). Suppose -s = 5*h - 96, -m*s = 5*h + 93 - 275. Is s a multiple of 27?
False
Let f(q) = -q**3 - 14*q**2 - 14*q - 3. Is 3 a factor of f(-13)?
False
Let h be (-6)/4*10/(-15). Is 5 a factor of 16 - (3 - 0)/h?
False
Does 31 divide (-4)/(-6) - 552/(-9)?
True
Let p be (-88)/(-6) + 7/21. Suppose w + p = 5*t + 50, -t = 4*w - 245. Suppose 2*l - g - 60 = -4*g, -3*l + 3*g + w = 0. Is 8 a factor of l?
True
Suppose 2*h = 3*h + 2*f - 391, -2*f + 1161 = 3*h. Does 60 divide h?
False
Suppose -l + 7*d - 15 = 3*d, 0 = 3*l - 3*d. Suppose j + 5*z + 12 = 0, l*j + 2*z - 3 = -2*z. Does 3 divide j?
True
Let l be (-1)/((0 + -3)/165). Let c = l + -38. Does 16 divide c?
False
Let l(a) = 25*a - 9. Does 9 divide l(3)?
False
Let f = 36 - -12. Is f a multiple of 4?
True
Let s(g) = g**2 + 8*g - 4. Suppose 0 = -3*h + 2*h - 12. Does 15 divide s(h)?
False
Suppose -264 = -q - 3*q. Is q a multiple of 33?
True
Suppose 10 - 14 = -a. Suppose -3*b - 2*u = -44 - 27, -a*b = -4*u - 108. Is b a multiple of 22?
False
Is 33 a factor of (-1 - -23)/(16/192)?
True
Let h(k) = -k + 8 + 0 + 4*k**2 - k**3 - 4. Let a be h(4). Suppose a*x + 82 = 2*x. Does 17 divide x?
False
Let j(a) = -2*a**2 + 35*a - 33. Is 10 a factor of j(15)?
False
Let x = 52 + -37. Is x a multiple of 3?
True
Is 61 a factor of (7/28)/(3*1/1524)?
False
Suppose 4*v - 56 = 4*t - 3*t, -5*v = -3*t - 77. Is v a multiple of 4?
False
Let q = 69 - 13. Suppose -268 = -4*d - q. Suppose 0*y = 3*y - 2*t - d, 4*y - 70 = 3*t. Does 19 divide y?
True
Let m(f) = f**2 + 9*f - 7. Let s be m(-10). Suppose 0 = -0*k + 5*k, -4*k - 9 = -3*l. Suppose 0 = 2*x - t + 2*t - 11, s*t - l = 4*x. Is 3 a factor of x?
True
Suppose -2*p + 4 = 0, -7 = 4*f - 4*p - 39. Is f a multiple of 10?
True
Is 32 - ((1 - 4) + 7) a multiple of 7?
True
Let j = -2 + 2. Suppose j*h = 3*h - 90. Does 10 divide h?
True
Let j = -27 - -79. Suppose 3*k - 4*b = 60, -4*b - 32 = -4*k + j. Is k a multiple of 10?
False
Let i = -28 + 37. Does 3 divide i?
True
Let l = -5 - -13. Is 10 a factor of 9 + l + 1*3?
True
Suppose 2*d + p + p - 24 = 0, 4*p = 3*d - 1. Let o = -4 + d. Suppose -o*g - 2*g = -265. Does 19 divide g?
False
Suppose -u + 206 - 68 = 0. Is 13 a factor of u?
False
Let i be 46 - (0 - (-1)/1). Does 4 divide (i/20)/((-3)/(-8))?
False
Is ((-372)/9)/(4/(-6)) a multiple of 17?
False
Let a = 6 - 6. Let y = 14 - -2. Suppose -5*w + 4*w - y = -d, 4*d - 3*w - 60 = a. Is 12 a factor of d?
True
Does 25 divide (6 + -1)/(-1*4/(-80))?
True
Let s be (3 - -5)*3/4. Let o = s - 4. Suppose 0 = -o*j + 3*j - 24. Does 9 divide j?
False
Let r(l) = l**3 - 11*l**2 + 24*l - 22. Is r(9) a multiple of 31?
False
Let n be (-4)/(-3)*(-45)/(-20). Suppose 0 = -3*d - 9, 2*f = -n*f + 4*d + 57. Is f a multiple of 4?
False
Let g(d) = -d**3 + 8*d**2 + d - 4. Does 4 divide g(8)?
True
Suppose 4*r = -7 - 1. Let z(i) = i**3 + 3*i**2 + i - 2. Let q be z(r). Suppose s - 18 = -q*s. Is 6 a factor of s?
True
Suppose h - 12 = -4*p, -h + 0 = -3*p + 16. Suppose 301 = 5*f - 4*r, -2*f - 45 = p*r - 171. Is 17 a factor of f?
False
Let z = -1 - -1. Let k(q) be the first derivative of -q**4/4 - q**3/3 + q**2/2 + 6*q + 5. Does 4 divide k(z)?
False
Let f be (2/5)/(6/30). Suppose 0 = 3*l - f*l + 3. Let k = 9 + l. Is k a multiple of 4?
False
Suppose 0 = 2*v - 0*v. Let d be (v/(-3) - 2) + 3. Suppose 5*m - d = 44. Does 6 divide m?
False
Let y be (-3 + -9)*1/(-2). Suppose -v - 75 = -y*v. Suppose b + 42 = 4*l - v, -3*l - 3*b = -39. Does 14 divide l?
True
Suppose 3*t - 5 = 7. Suppose c + t - 22 = 0. Does 18 divide c?
True
Let f(j) be the first derivative of 3*j**2 - 6*j - 1. Suppose -r + 6 - 1 = 0. Is f(r) a multiple of 11?
False
Suppose v - p + 0*p - 105 = 0, 195 = 2*v - 5*p. Does 13 divide v?
False
Let z(p) = -p + 2. Let c be z(-10). Suppose -4*d = 3*o - 46, -o + 2*d = -2*o + c. Is 18 a factor of o?
False
Let v = -11 + 16. Let p(j) be the first derivative of j**4/4 - 5*j**3/3 + 3*j**2 + j + 5. Is 11 a factor of p(v)?
False
Let t = 82 + 16. Is 28 a factor of t?
False
Suppose -3*f - 9 = 4*y - 0*y, 2*y = -f - 7. Let z be 106/3 + 2/y. Suppose -179 = -4*d - z. Is d a multiple of 18?
True
Suppose 0 = -5*c - q - 1, 0*c = 3*c + 5*q + 5. Suppose c*a - 27 = -a + u, 3*a + 5*u = 57. Does 12 divide a?
True
Suppose 295 = 3*v + 2*v. Let j = -40 + v. Is 19 a factor of j?
True
Suppose 3*f = -5*u + 34, -2*u = -u - 2. Suppose 4*n - 1 = -t - f, -n - 2*t = 0. Is (0 + n)*32/(-4) a multiple of 8?
True
Suppose 2*g = -2*g - 24. Let s(m) = m**2 + m. Does 8 divide s(g)?
False
Let a be (-1680)/(-36) + 2/(-3). Let p = a - 10. Is p a multiple of 12?
True
Let c(o) be the third derivative of -7*o**4/8 + o**3/6 + 3*o**2. Is 22 a factor of c(-1)?
True
Let g = -8 + 11. Suppose r - 4*x + x = -g, -4*r - 5*x = -39. Is r a multiple of 6?
True
Suppose -2*o = -6*o + 88. Is -1 - (-3)/(6/o) a multiple of 5?
True
Does 4 divide (40/70)/(1/14)?
True
Let m(z) be the second derivative of z**3/2 - 3*z**2 + 2*z. Does 18 divide m(14)?
True
Let b = 4 + -1. Suppose -b*h + h = -4. Suppose -7*f + h*f + 60 = 0. Is f a multiple of 7?
False
Let k be (-6)/(-4)*(-4)/(-3). Suppose -i + 20 = 5*w, -3*i = -4*w - 8*i + 37. Is 10 a factor of w - (-25 + k - 2)?
False
Let w(i) = i**2 + i + 2. Let o be w(2). Let r be (o/6)/((-4)/12). Does 7 divide (-2)/r + (-19)/(-2)?
False
Let m(i) = 30*i. Let z be m(-1). Does 17 divide 2 + (-4)/(8/z)?
True
Let d = -1 - -239. Is 33 a factor of d?
False
Let b(p) = -p**2 + 7*p + 8. Let n be b(8). Is 16 a factor of (0 + n - 1)*-59?
False
Suppose 5*k + l = 773, -4*k - 2*l = l - 614. Suppose m - 4*i = 31, m - 5*i = 6*m - k. Is m a multiple of 8?
False
Suppose 0 = 8*y - 3*y - 505. Is 15 a factor of y?
False
Is 6105/21 - 16/(-56) a multiple of 35?
False
Let v(b) = 6*b**3 - 2*b**2 + b. Let c be v(1). Let f = c - -5. Is 4 a factor of f?
False
Let y(o) = -o**3 + 5*o**2. Let u(z) = z. Let t be u(3). Suppose -4*p + h + 17 = 0, 0 = t*p + 4*h - 8. Is y(p) a multiple of 8?
True
Let h(i) = -i**3 - 6*i