(o) - 3*c(o). Does 16 divide z(-1)?
True
Let z = -150 - -271. Suppose -4*b = -x + 16, -4*x - 4*b = -b - z. Does 14 divide x?
True
Let t(r) = -30*r. Let c be t(-14). Suppose 0*j - c = -5*j. Is 28 a factor of j?
True
Suppose 0 = -2*j - 2*j - 40. Is 3/((-9)/6)*j a multiple of 10?
True
Let d = 7 - 4. Is (31 + 0)/(-2 + d) a multiple of 5?
False
Suppose 3*c - 54 = -0*c - 5*j, -5*c + 90 = 4*j. Is c a multiple of 18?
True
Let o = -59 + 389. Is o a multiple of 18?
False
Suppose -3*a = -5*f + 4, -2*f - f - 2 = -4*a. Suppose -v = -a*v - 3. Let i = 9 - v. Is 7 a factor of i?
False
Let j(n) = 4*n + 1. Is 9 a factor of j(2)?
True
Let p = 413 + -280. Is 19 a factor of p?
True
Let l(c) = -c**3 + 10*c**2 - 3*c - 10. Let s be l(9). Suppose 0*v = 2*v - s. Is v a multiple of 12?
False
Is 12 a factor of 24/2*(6 + 4)?
True
Let r = 2 + 6. Suppose 0 = -2*j + a + 57, -3*j - a - 135 = -r*j. Does 13 divide j?
True
Suppose 4*q + 0*p = -5*p + 433, 0 = q + 3*p - 117. Is q a multiple of 25?
False
Is (-4)/(-20) - (-2 - (-597)/(-15)) a multiple of 9?
False
Let v(u) be the second derivative of -1/12*u**4 - 1/2*u**2 + 0 - 1/3*u**3 - 2*u - 1/10*u**5. Is v(-1) even?
True
Suppose -4*a + 6*r = 5*r + 64, -5*a - 69 = -4*r. Let z(i) = i**3 - 11*i**2 - 17*i + 15. Let s be z(12). Let j = a - s. Does 14 divide j?
True
Suppose 0*r = -3*r + 45. Let j be 4*2*15/24. Let o = r - j. Does 10 divide o?
True
Let z = 121 + -77. Is z a multiple of 29?
False
Let w(u) = 4*u**3 - 5*u**3 - 3 + u**3 - 2*u**3 - 3*u**2. Does 8 divide w(-3)?
True
Suppose 4 - 64 = -z + 2*y, 0 = -2*z - y + 120. Let q = -1 + 1. Suppose q*j = -5*j + z. Is j a multiple of 12?
True
Let q be (-1)/1*3/(-1). Suppose -155 = -2*p + m + 30, -q*m + 468 = 5*p. Suppose -p = -5*r + 12. Is r a multiple of 10?
False
Let f = -3 + 8. Suppose -3*k + 3*d + 3 = 6, -2*d + 2 = k. Suppose k = f*q, 4*c - 5*q - 33 - 103 = 0. Is 10 a factor of c?
False
Is 5 a factor of 1 - 1 - (-12 - (-18)/(-6))?
True
Suppose 4*p - 1 = 7. Let n(q) = -q - 2 + q**3 + 3*q**p + 2*q**3 - q**3. Is 12 a factor of n(2)?
True
Let g = 93 + -53. Let o = g - 21. Is 19 a factor of o?
True
Suppose k = 4*o + 20, -5*o = -0*k + 5*k. Let l = 14 - k. Is 5 a factor of 2/l + (-136)/(-20)?
False
Let i = 27 + 5. Is i a multiple of 16?
True
Let r = 260 - 172. Suppose -g - 4*j = 2*g - 46, j - r = -5*g. Is 17 a factor of g?
False
Suppose -5*b + 6 + 4 = 0. Suppose 3*z + m + 25 = 0, -5*m + 8 = -b. Does 12 divide (42/(-9) - -2)*z?
True
Is 36 a factor of 9*(-24)/(-10)*(-80)/(-12)?
True
Suppose 0 = 2*f - 199 + 79. Suppose 0 = 2*q - 0*q - p - f, -2*q = -2*p - 56. Is 16 a factor of q?
True
Let h = 110 + -72. Is 6 a factor of h?
False
Suppose -5*s - g = 2*g - 290, 0 = 4*s - 2*g - 254. Is 35 a factor of s?
False
Is 18 a factor of 5 - (-1 + -74) - (1 + 0)?
False
Suppose 4*y = 25 - 5. Suppose 3*o = o + 10. Suppose -2*r + 35 = y*s + 3*r, -3*r = -o*s + 35. Is 7 a factor of s?
True
Let g(q) = -q**2 + 9*q - 4. Let f be g(9). Does 8 divide (-2)/f - (-159)/6?
False
Suppose 0 = -2*k - 6, -138 = -6*a + 2*a - 2*k. Is 12 a factor of a?
True
Let s be 3/(-4) - (-3)/(-12). Let c be 2*(-3)/(-2) + s. Is 183/9 - c/6 a multiple of 15?
False
Suppose -9 = 4*y + 15. Let f(k) = 3*k**3 - 19*k**2 - 5*k + 1. Let n(s) = -5*s**3 + 29*s**2 + 7*s - 1. Let a(j) = -8*f(j) - 5*n(j). Is a(y) even?
False
Let y(g) = -g**3 - g + 30. Is 13 a factor of y(0)?
False
Let j = 32 + 40. Is 24 a factor of j?
True
Let a(i) = -3*i - 1. Let c be a(-1). Suppose c*u = -u - 5*l + 101, -u - 5*l = -37. Does 14 divide u?
False
Suppose a = 5*i + 36, -3*i = 3*a - 8*i - 68. Is 4 a factor of a?
True
Suppose 0*d + d - 4 = 0. Suppose h = -4*l + 13, 4*h = l + d*l - 32. Is (18/l)/((-2)/(-12)) a multiple of 10?
False
Let l be (-1)/1 + 4 - -67. Suppose -x + l = 4*x. Suppose 2*f - 8 = x. Is 11 a factor of f?
True
Suppose -47 - 253 = -4*c. Is c a multiple of 8?
False
Suppose 7 = 3*z - 20. Let l(b) be the second derivative of -b**4/12 + 11*b**3/6 - 4*b**2 - 2*b. Is 5 a factor of l(z)?
True
Is 15 a factor of 117*(-1 - (-2 - 0))?
False
Suppose 0 = 2*d - i - 8, i - 6*i = 3*d + 14. Suppose 3 = -x + d. Is (0 + x)/(1/(-7)) a multiple of 7?
True
Is 17*(1 + 12/3) a multiple of 19?
False
Let v(p) = -74*p - 11. Does 21 divide v(-2)?
False
Suppose 0 = -7*q + 3*q - 2*i + 562, 4*q - 563 = -3*i. Suppose -2*p + q = 3*p. Is p a multiple of 17?
False
Let v(l) = l**2 + 5*l - 6. Let x(k) = -k**2 - 8*k + 4. Let y be x(-8). Does 30 divide v(y)?
True
Suppose -3*x + y + 2*y = -123, 0 = -4*y + 4. Is x a multiple of 14?
True
Suppose 8 = 2*n - 4*n. Is 2/n - (-206)/4 a multiple of 17?
True
Let c be (-14)/(-5) + (-6)/(-30). Suppose -46 = -c*i + i. Is 14 a factor of i?
False
Suppose -c = l - 12, -2*c = -l - 2 + 23. Suppose 3*a = 2*a + l. Is a a multiple of 12?
False
Let k = 3 - -100. Let p be k/(-4) + 3/(-12). Let z = -12 - p. Is z a multiple of 5?
False
Let m = -3 + 24. Suppose -23 = -10*i + 5*i - q, 3*q = -3*i + m. Is 4 a factor of i?
True
Let z be ((-32)/6)/(1/3). Let a = z - -32. Is a a multiple of 9?
False
Let g(h) = h - 8. Let n be g(8). Suppose -3*t + 2*w = 1, -2*t - 4 - 1 = 3*w. Is 14 a factor of 15 + (t - (n - 0))?
True
Suppose -38 = -3*j + 28. Does 5 divide j?
False
Let y = -2 - 10. Does 6 divide (-2)/8 - 219/y?
True
Let r be (3 + -1)*(-1)/(-1). Is 19 a factor of r/4*282/3?
False
Is 4 a factor of -1 + 15 + -1 + 0 + 3?
True
Let w(i) = 4*i + 5. Let j be w(-11). Let o = 64 + j. Is 10 a factor of o?
False
Let g(c) = -3*c + 1. Is 10 a factor of g(-4)?
False
Let d be (-7)/((-1)/2 + 1). Let o = 34 + d. Is 10 a factor of o?
True
Suppose -1094 = -5*y - 2*h, -4*h + 648 = 3*y - 0*h. Suppose s = -3*s + y. Is s a multiple of 12?
False
Let a(h) = h + 3. Let p be (-5)/(-10) - (-14)/4. Is 2 a factor of a(p)?
False
Let o be (4 - 10)/(3/(-4)). Let k = 59 + o. Does 17 divide k?
False
Let m(x) = -x**2 + 8*x - 7. Let k be m(5). Suppose 0*h + h = -5*u + 2, -4*h - u = -k. Suppose -q - h = -12. Is q a multiple of 10?
True
Does 22 divide 46 - (-4 - -4 - -2)?
True
Is 4 a factor of -4 + (-5)/5 + 24?
False
Let h be (0/2)/(-2 - 0). Suppose -t + h + 3 = 0. Suppose g + 58 = 3*g - t*o, 4*g = 2*o + 108. Is g a multiple of 14?
False
Suppose -4*u + 2*b - 10 = 0, -2*b + 6*b = 4*u + 4. Let i(x) = 5*x**2 + 9*x - 5. Is 13 a factor of i(u)?
True
Suppose -5*i + 0*i - y = -192, -3*i + 114 = y. Is 9 a factor of 1086/39 - (-6)/i?
False
Suppose 0 = -4*l - 3*p + 1285, 5*l - 1589 = 5*p - 3*p. Is l a multiple of 11?
True
Let w(b) = 17*b**2 - 1. Is w(2) a multiple of 22?
False
Suppose s - k = -2*s + 539, -s + 5*k + 161 = 0. Is s a multiple of 39?
False
Let w = -36 - -84. Is w a multiple of 24?
True
Suppose -2*s = a - 178, -a - 362 = -4*s - 0*s. Suppose 5*o + 5*v = s, 5*o + 0*o = v + 102. Suppose b - o - 1 = 0. Is 20 a factor of b?
False
Is 33 a factor of (-556)/(-8) + 1/2?
False
Does 16 divide -4 + (85 - 4)/1?
False
Let m(r) = r**3 + 9*r**2 + r + 11. Let d be m(-9). Suppose 4 = d*u + 2. Suppose w = -5*g + 64, -u = -2*g + 5*w + 3. Is 4 a factor of g?
True
Suppose -5*y + 27 = -3. Suppose -y*a + 4*a + 68 = 0. Is a a multiple of 17?
True
Let s be 2/(-4) - 10/(-4). Suppose 0 = -w + z - 4, -5*w - z = -0*w + 20. Does 15 divide w/6*(-111)/s?
False
Suppose -3*w + 20 = 2*w. Suppose 9*r - 3*f = w*r + 25, 5*f = 2*r - 10. Does 4 divide r?
False
Suppose 40 = o + o. Suppose 0 = 2*a - 7*a + 40. Is 5 a factor of (28/5)/(a/o)?
False
Suppose -2*g + 9 = p, 15 = 2*g + 3*g - 5*p. Suppose -5*j - 4*q = -45, -2*j + 14 = -5*q - g. Is 9 a factor of j?
True
Does 14 divide (-4)/(-4) - 82/(-2)?
True
Suppose -5*f - 28 + 5 = -2*l, -5*l = 4*f - 8. Suppose -d - l*m = 12, -5 + 1 = 2*d + 3*m. Suppose 0 = -p + t + 12, -2*p - 4*t = -d - 20. Does 5 divide p?
False
Suppose 4*h - 11 = h + k, 25 = 5*h + 5*k. Suppose 2*p - h*z = 26, 3*z - 54 = -5*p - 2. Let d(j) = -j + 14. Does 3 divide d(p)?
True
Suppose 5*l - 90 - 10 = 0. Is 10 a factor of (l + -22)*66/(-4)?
False
Let q = 2 - -1. Let g be (-6)/5 + q/15. Let u = 11 - g. Is u a multiple of 12?
True
Let o be 1/((-3)/(-6)) - 66. Let l(a) = -12*a + 2. Let b be l(4). Let h = b - o. Does 10 divide h?
False
Let v(a) = -3*a - 1. Let y be v(3). Is 6 a factor of 1/(-5) - 102/y?
False
Let u(p) = -5 + 7*p - 2 + 1 - 3*p. Is 15 a factor of u(9)?
True
Let h = 1 + -1. Suppose -2*k = -h*k. Suppose k = 2*b - 21 - 7. Does 14 divide b?
True
