*z + 312 = 2*w + 3*w. Is 16 a factor of w?
True
Let u = -5 + 5. Suppose u = t + t - 6, -2*l = -2*t - 28. Suppose 4*q - 3*q = l. Is 11 a factor of q?
False
Is 18/(-27) + (-442)/(-6) a multiple of 28?
False
Let k be 1/3 + 80/3. Suppose -u - 3*u = 0. Suppose u*o + 3*o = k. Does 8 divide o?
False
Let t = 3 + -5. Let d = t - 0. Does 7 divide 14*(-2)/d + 0?
True
Suppose 5*x = -17 + 7. Let m = x + 6. Is m a multiple of 4?
True
Let r(k) = -k**2 - 32*k. Does 7 divide r(-28)?
True
Let y be 10/(-35) + (-368)/(-14). Suppose -3*w - y = -d - w, -104 = -4*d + 5*w. Does 6 divide d?
False
Suppose l + 2 = -2*f - 4, 4*l = -2*f. Suppose 5*m = 5*r - 35, l*r - m - 2*m = 13. Is r a multiple of 3?
False
Let d be (-2)/(-2) - (1 - -4). Is 20 a factor of (16 + -1)/((-1)/d)?
True
Suppose 4*a + 6 + 10 = 0. Let j = 1 + a. Does 19 divide (34/j)/(1/(-3))?
False
Let p be -1 + (-6)/(-9)*33. Suppose -4*a = -3*a - p. Is 21 a factor of a?
True
Let r = -6 - 12. Let j = r + 28. Is 5 a factor of j?
True
Let s = 56 - 23. Is 22 a factor of s?
False
Does 25 divide (-4)/((-3)/99*1)?
False
Let h(l) = l**3 - 9*l**2 + 8*l - 7. Let x be h(8). Let m(b) = -8*b - 1. Let c be m(-2). Let r = x + c. Is r a multiple of 5?
False
Suppose 4*y + 2*u + 2 = -12, 4*u + 1 = y. Let x(m) be the first derivative of -m**4/2 - 2*m**3/3 + m**2/2 - 3*m + 11. Does 15 divide x(y)?
True
Is (-185)/(-7) - 56/(-98) a multiple of 8?
False
Suppose 5*t - 2*r + 0*r = 74, t + 3*r - 25 = 0. Let n = t - -72. Suppose 4*s - 6 - 74 = -4*v, 5*s - n = -2*v. Does 8 divide s?
True
Suppose 220 = -4*f + 4*o, 2*f - 3*o = -45 - 69. Let q = f - -121. Is 29 a factor of q?
False
Suppose 18*m - 16*m = 86. Is m a multiple of 9?
False
Let x = 35 + 52. Is 9 a factor of x?
False
Let t(r) be the third derivative of 11*r**4/24 + r**3/3 + 3*r**2. Is 12 a factor of t(2)?
True
Let k = 3 + 0. Let h(p) = -2*p**k + 0*p - 4*p**2 + 1 - 2 + p**3 + 2*p. Is h(-5) a multiple of 7?
True
Let l(x) = -30*x + 2. Let f be l(-2). Suppose 0 = -4*r + 8 + 4. Suppose f + 73 = r*n. Is 16 a factor of n?
False
Let r = 5 - 1. Suppose -2*o + n = -6*o + 9, 0 = -o + r*n + 15. Is o even?
False
Suppose 72 = 7*r - 3*r. Is 18 a factor of r?
True
Let i(f) = f**2 - 3*f - 3. Let l(h) = -1 - 5*h**2 + 6*h**2 + 7*h + 3. Let r be l(-6). Is i(r) a multiple of 10?
False
Suppose 0 = -0*p + 4*p + 4. Is 11 a factor of (2/5)/(p/(-45))?
False
Let p be ((-4)/(-6))/((-4)/12). Let o = p - -6. Is (o/(-14))/(1/(-7)) a multiple of 2?
True
Let p(u) = -4*u + 11. Let x be p(8). Is 8/6*x/(-14) a multiple of 2?
True
Suppose -3*i = 4*a - 483 - 200, 2*a - 345 = -5*i. Suppose -2*w + a = 3*w. Is w a multiple of 14?
False
Let d = -156 + 27. Suppose -2*g - 2*s + 0*s = 146, -s = 3*g + 223. Let l = g - d. Does 19 divide l?
False
Let i(s) = -8*s + 2. Let p be i(-4). Let t = p - 10. Does 11 divide t?
False
Let b = 16 - 5. Is b a multiple of 11?
True
Let r be -1*(0 - (-1)/(-1)). Let o = -5 + r. Let d(s) = s**3 + 6*s**2 + 7*s + 5. Is 7 a factor of d(o)?
False
Let t = -91 - -136. Suppose -t - 63 = -4*j. Suppose -j = y - 2*y + 5*f, -2 = -2*y - 3*f. Is 7 a factor of y?
True
Suppose -5*h + 3*a = -518, -4*a + 0*a = 5*h - 546. Is 20 a factor of h?
False
Let m(h) = h + 44. Let n be m(0). Let i = n - 27. Is 6 a factor of i?
False
Let o(s) = s**3 + 5*s**2 - s + 5. Let j be o(-4). Suppose b + j = 2*b. Is 11 a factor of b?
False
Let v(r) = r**2 + 2*r + 9. Let q(o) = -o - 4. Let y(t) = -t**2 + 10*t + 6. Let x be y(10). Let m(d) = x*v(d) + 13*q(d). Is m(-2) a multiple of 14?
True
Suppose -2*z + 3*y + 15 + 39 = 0, -80 = -3*z + 5*y. Does 6 divide z?
True
Let t = -113 + 170. Suppose 2*z = -4*a + 76, 3*a - 5*z = -0*a + t. Is 19 a factor of a?
True
Suppose -2*r + 16 = 2*r, 0 = -5*p + 4*r - 1. Suppose 2*f + 2 = p*o - 8, -2*f + 6 = 5*o. Is ((-9)/o)/(3/(-4)) a multiple of 3?
True
Let f be -2 - -3 - 4/(-2). Let l = f - 4. Is 6 a factor of (6/8)/(l/(-8))?
True
Suppose 3*j + j + 5*u = 241, -4*u - 88 = -2*j. Suppose -2*h - 6*w = -4*w - 24, -5*h - 3*w = -j. Does 2 divide h?
False
Suppose 4*j + 2 = 5*j. Is 10 a factor of 8*(0 - -2) - j?
False
Let b(r) = 2*r**2 - 6*r + 8. Does 16 divide b(-6)?
False
Let m be 54/(-15) + 2/(-5). Is 10/4 - 6/m a multiple of 3?
False
Let z be 7 + 4 - 0/1. Suppose -w + z = -19. Is 20 a factor of w?
False
Let x(r) = -r. Let c(n) = -9*n - 1. Let z(o) = c(o) - 2*x(o). Is 8 a factor of z(-4)?
False
Let x be 3/(-4) + 39/(-12). Let c be (x - 1)*(-324)/(-15). Let q = -74 - c. Does 17 divide q?
True
Let t = -10 - -14. Let d be (-38)/(-8) + 1/t. Suppose d*i = i + 8. Does 2 divide i?
True
Suppose -4*i = -5*q + 243, 0 = -3*i + 2 + 7. Suppose 8 = 3*p - p. Suppose q = -p*z + 147. Is z a multiple of 8?
True
Suppose 4*m - 275 = g, -2*g - g = m - 72. Does 16 divide m?
False
Let m = 50 + -26. Is m a multiple of 12?
True
Does 21 divide -18*((-49)/15 - 20/50)?
False
Suppose 8*b - 3*c - 1370 = 3*b, -2*b - 5*c + 579 = 0. Is b a multiple of 22?
False
Suppose -76 = -2*q + 2*d, -4*q + 3*d = -155 + 2. Let o = 14 - 35. Let f = o + q. Does 9 divide f?
True
Suppose -10 = -5*h, -2*h = 3*y + 6 + 8. Let b(q) = q**3 + 5*q**2 - 6*q + 6. Does 4 divide b(y)?
False
Suppose g + 6 = 5*f - g, 5*f - 5*g = 0. Suppose 0 = -f*c - 4*j + 10, -5*j = -4*c - 0*j + 46. Is 7 a factor of c?
False
Let q(h) = -h**2 - 18*h - 9. Does 27 divide q(-8)?
False
Let p(a) = a**2 + 3*a - 6. Let j be p(-5). Let k(y) = -5*y - 1. Let b be k(-2). Suppose 3*o = -b, 75 = -j*d + o + 214. Is d a multiple of 17?
True
Let m be 2 - (-1 - 0) - 1. Suppose -4*d = -3*i - 144, m*i - 15 = 4*d - 163. Is 17 a factor of d?
False
Suppose -32 = -5*z + 3*z. Let x = z + -11. Does 2 divide x?
False
Suppose 0 = -10*y + 535 + 25. Does 28 divide y?
True
Suppose -54 = -2*k + 2. Is 28 a factor of k?
True
Suppose 0*y = -y + 4. Is y even?
True
Let j = 9 - 5. Suppose 0 = j*f - 52 - 32. Is 3 a factor of ((-7)/f)/(2/(-42))?
False
Let i = 35 + -136. Let y = i - -144. Is 14 a factor of y?
False
Let k = 8 - 4. Suppose k*w - 4*h - 11 = 1, -4*h - 4 = -2*w. Does 6 divide 60/8 + (-2)/w?
False
Let n(f) be the first derivative of -23*f**4/4 - f**3/3 + f + 2. Is 19 a factor of n(-1)?
False
Suppose 0 = 5*j - 3*s - 64, j - 3*s = 2*s + 26. Is j - 2/6*0 a multiple of 11?
True
Suppose -3*w = 2*b + 10, w + 3*b + 4 = 10. Let x(g) be the third derivative of -g**6/120 - g**5/10 - 5*g**4/24 - g**3/6 + 4*g**2. Is 14 a factor of x(w)?
False
Suppose -4*a - 37 = 23. Let g = a + 28. Is 6 a factor of g?
False
Suppose -3*k - 4*j - j + 14 = 0, -19 = -5*k - 4*j. Suppose 0 = a + 2*a - 12. Is a/k*(-78)/(-4) a multiple of 13?
True
Suppose -8*f + 3*f + 195 = 0. Is 7 a factor of f?
False
Suppose 120 = -d + 6*d. Suppose f - d = -3*f. Does 2 divide f?
True
Suppose -4*y + 8 + 28 = 0. Is y a multiple of 9?
True
Suppose 5*b - 3 = 7. Let a = b - 2. Does 6 divide ((-2)/1 - a) + 15?
False
Suppose -12 + 2 = -2*g. Suppose 0*z = z - g*n - 64, -5*n + 112 = 3*z. Is z a multiple of 11?
True
Suppose 3*a - 4*a - 17 = 0. Let p = -55 - a. Is (p/4 - -1)*-4 a multiple of 17?
True
Suppose -5 = -5*z, 7*c - 86 = 2*c + 4*z. Does 6 divide c?
True
Let y(t) = -t**3 + 9*t**2 + 2*t + 4. Does 5 divide y(9)?
False
Let q = -86 - -120. Suppose q = 5*a - 116. Is 13 a factor of a?
False
Suppose 27 = 5*b - 13. Suppose -l - b + 46 = 0. Is 12 a factor of l?
False
Is 4 + 116/8*8 a multiple of 48?
False
Let c = -708 - -288. Let t be (-2 + -1)/(9/c). Suppose 0 = -8*x + 3*x + t. Does 16 divide x?
False
Let l = -1 - -11. Suppose -5*y + 4*g + l + 2 = 0, 3*y + g = 14. Does 3 divide y?
False
Suppose 5*j = -3*p + 557, 4*j - 453 = p + 4*p. Let b(d) = -3*d**2 - d + 2. Let m be b(5). Let r = j + m. Does 17 divide r?
True
Let v(n) = n - 5. Let j be v(10). Let g(l) = -l**2 + 6*l + 5. Is 5 a factor of g(j)?
True
Let h = 1 + 2. Does 5 divide 10/h*(-1 - -4)?
True
Suppose -1904 = -50*j + 46*j. Is 50 a factor of j?
False
Suppose -d = -5*x + 2*d + 8, 2*d = 8. Suppose x*b + 20 = 5*m - 56, -5*b + 4*m = 86. Is 13 a factor of 4/b + (-186)/(-14)?
True
Let f(p) be the third derivative of 7*p**4/24 + p**3/6 + 8*p**2. Is 6 a factor of f(1)?
False
Suppose 3*t = 3*i + 51, -4*t + 38 = -2*i - 0*i. Let g = i + 23. Does 7 divide g?
False
Suppose 0*j + j - 1 = 0, 0 = 3*o - 2*j - 52. Is o a multiple of 8?
False
Let a be 12/15*(-5)/(-2). Suppose -4*o = -a*h - 68, 0 = o - 3 - 0. Let m = h + 55. Does 10 divide m?
