2*o + 0*o - 3*u = -28. Is o a multiple of 4?
True
Let j(k) = -12*k + 19. Let g(x) = 18*x - 28. Let a(l) = -5*g(l) - 8*j(l). Is 12 a factor of a(10)?
True
Let z(w) = w + 14. Let u be z(-10). Suppose 0 = u*m - 2*m - 14. Is m a multiple of 7?
True
Let z(l) = -2*l - 12. Suppose -2*j = -5*f - 20 + 62, 3*f = 12. Does 5 divide z(j)?
True
Let x = 3 + 0. Suppose -5*s + 50 = x*n, -3*n - 4*s = -5*n + 4. Is n a multiple of 10?
True
Suppose -4*v + 1084 = 5*m, -10*v = 2*m - 11*v - 431. Does 36 divide m?
True
Suppose 54 = 3*l - 0*l. Let j = 29 - l. Is j a multiple of 11?
True
Is 17 a factor of 1305/(-6)*2*(-4)/10?
False
Let d = 0 + 11. Does 7 divide d?
False
Suppose -7*i + 32 = -3*i. Let x(z) = z**3 - 7*z**2 - 6*z + 2. Is x(i) a multiple of 18?
True
Suppose 0 = -3*p - 8*p + 2068. Does 18 divide p?
False
Suppose 0 = -2*o + 91 - 31. Suppose o = a + a. Is a a multiple of 7?
False
Let y be 21/(-14)*(-1 + -1). Suppose -7*s + y*s = -84. Does 7 divide s?
True
Let m be 1 + -2 + -1 + 2. Suppose m = 2*z - 3*f - 4, 3*z - 2*f - 3 = f. Let v = 11 - z. Does 10 divide v?
False
Suppose 2 + 4 = 2*i. Let o = i - 1. Suppose o*u = -u + 150. Does 16 divide u?
False
Let o(u) = 13*u - 27. Is 22 a factor of o(19)?
True
Does 15 divide 42 - ((-11)/4 - (-1)/(-4))?
True
Let m(h) = h**3 + 12*h**2 + 12*h + 3. Let l be m(-11). Is 66 + l/(-6)*-3 a multiple of 31?
True
Suppose -12*c + 15*c - 78 = 0. Is c a multiple of 9?
False
Let y be (4/3)/((-2)/(-3)). Suppose y*w = 15 + 17. Does 16 divide w?
True
Let m(u) = u**2 - 13*u + 24. Is 12 a factor of m(16)?
True
Suppose -23 + 5 = -y. Is 2 a factor of y?
True
Suppose 6 = -2*v - v. Let l be (0 + v)/(-5 + 6). Is (1 + l - 40)/(-1) a multiple of 17?
False
Let y = -131 - -214. Does 5 divide y?
False
Suppose 16 = 3*y + 2*c, 3*y - 3*c - 32 = -c. Let m = 3 + y. Is m a multiple of 11?
True
Suppose -3*g + 361 = 2*t, 3*g + 5*t + 159 = 508. Does 34 divide g?
False
Let k = 182 - 317. Let f = -44 - k. Is f a multiple of 30?
False
Suppose 224 = 26*g - 24*g. Is 16 a factor of g?
True
Let s(q) = -11*q + 4. Is 6 a factor of s(-2)?
False
Suppose 4*p = 24 - 8. Suppose p = -3*u + 40. Is u a multiple of 12?
True
Suppose 2*g + 1 = 11. Suppose -4 = -2*u, g*u - 132 = -2*q + 2*u. Does 21 divide q?
True
Let o be (-2)/(-8) + (-44)/(-16). Suppose 0*j + o*j - 141 = 0. Is j a multiple of 19?
False
Let w(f) = -f + 31. Let p be w(13). Suppose d + 11 - 3 = 0. Is 12 a factor of 8 + d - -1*p?
False
Suppose -p + 36 + 0 = 0. Is 9 a factor of p?
True
Is ((-220)/(-33))/((-2)/(-6)) a multiple of 10?
True
Let c be (-4)/(-12) - (-4)/6. Let g(u) = 34*u**2 - u + 1. Does 9 divide g(c)?
False
Let w(s) = s**3 + 8*s**2 - 8*s - 12. Let u be w(-8). Suppose 0 = -c - o - 22, 3*o + 39 = -4*c - u. Let a = c - -66. Is 15 a factor of a?
False
Let v = -1 + 1. Let i be v - (-80 + -1) - 1. Suppose 0*w - 5*w + i = 0. Does 8 divide w?
True
Let d(y) = -2*y + 1. Suppose -2*m = -3*t + 9 - 2, -2*m - 3*t = -11. Let o be d(m). Let v(c) = 61*c**2 + 1. Is v(o) a multiple of 21?
False
Suppose -11*t + 7*t = -276. Is t a multiple of 23?
True
Let j(d) = -6*d. Let h(q) = q**2 + 3*q + 1. Let t be h(-2). Does 3 divide j(t)?
True
Let d(z) be the first derivative of z**2 + z - 3*z - 1 + 0. Is d(5) a multiple of 8?
True
Suppose -t = 4*k - 64, 370 = 5*t - 3*k - 2*k. Is t a multiple of 6?
True
Suppose 5*b = -3*q + 9 - 2, -q + 9 = 5*b. Suppose 0 = 3*t - b*t. Let h(f) = f**2 - f + 30. Does 15 divide h(t)?
True
Let m(g) = g**2 + 6*g + 2. Let j be (-6 - 0) + (3 - 3). Let c be m(j). Suppose 0*r - c*x - 69 = -3*r, -5*r + 5*x = -110. Does 14 divide r?
False
Let x = -5 + 33. Suppose 0 = 4*i - 28 - x. Is 7 a factor of i?
True
Suppose -66 = 2*t - 3*t. Suppose 5*z - 14 = t. Is z a multiple of 12?
False
Suppose 2*y + 1 = 2*k - 3, -7 = -k - 4*y. Suppose 120 = k*u - 4*a, -3*u = -4*u - 4*a + 56. Let p = u + -30. Is 14 a factor of p?
True
Let i = 7 + -25. Let z be 0 + -2 - (i + 1). Suppose -3*l = -8*l + z. Is l a multiple of 3?
True
Let v = -218 - -569. Is 47 a factor of v?
False
Let o(n) = 5*n - 22. Is 28 a factor of o(10)?
True
Let p = 1 - 1. Suppose p = 4*k + 2 + 2. Is 20 a factor of 2/(k*(-1)/10)?
True
Let n(h) be the third derivative of -3*h**4/8 + 2*h**3 + 5*h**2. Does 22 divide n(-6)?
True
Suppose -2*a + 310 = 3*a - 5*m, 0 = a - 5*m - 50. Is 14 a factor of a?
False
Is 158 + (-2 - 0) - -3 - 1 a multiple of 10?
False
Let l(x) = x**3 + 4*x**2 + 5*x + 2. Let o be l(4). Suppose -7*c + 2*c = -o. Is 15 a factor of c?
True
Let g(n) = 42*n + 8. Let c be g(6). Is c/22 - (-2)/11 a multiple of 6?
True
Suppose g - 223 = -2*c + 4*g, g - 1 = 0. Does 14 divide c?
False
Let s(f) = -28*f - 13. Is s(-8) a multiple of 30?
False
Let z = 7 - 0. Suppose -z = -t + 3. Is t a multiple of 10?
True
Let s be (12/(-9))/((-2)/9). Let w = -6 + s. Suppose w = 3*a - 25 - 20. Is 15 a factor of a?
True
Suppose 3*h - 11 - 1 = 0. Suppose q - h - 22 = 0. Suppose -4*g + 42 = -q. Does 17 divide g?
True
Suppose -4*x = a - 136, 2*x - 68 = -6*a + a. Is 17 a factor of x?
True
Let w be (-96)/(-18) + 1/(-3). Let p = w + -6. Does 14 divide (p + 0)/1 + 15?
True
Suppose -125 + 411 = 11*y. Is y a multiple of 9?
False
Suppose 0 = -s + 4*l + 19, 3*s + s - l = 16. Suppose s*k = -5*g - 23, -3*g - 14 = 2*k - g. Let t(u) = -u - 1. Is t(k) a multiple of 2?
False
Let r(y) = -18*y + 4. Let l(c) = -35*c + 7. Let b(a) = -4*l(a) + 7*r(a). Let o be b(1). Let x = -7 + o. Is 7 a factor of x?
True
Let j be -1 - (-1 + 157)/(-3). Let a(y) = y + 3. Let n be a(0). Suppose 3*m - 19 = -4*b, 5*b + 13 = n*m - j. Does 13 divide m?
True
Suppose 2*s - 5*s + 189 = 0. Let a = -19 + s. Is a a multiple of 17?
False
Let n(q) = -q**2. Let f be n(-1). Let x(t) = 10*t**2 + t + 1. Is x(f) even?
True
Let y(c) be the third derivative of 17*c**4/12 + c**2. Is y(3) a multiple of 33?
False
Suppose -4*d - 445 = -3*r - 0*d, -5*r - 5*d = -800. Is r a multiple of 22?
False
Let j(l) = l**2 - 10*l - 2. Let a be j(10). Let r(x) = -x**2 + 5*x + 5. Let p be r(4). Is 2 a factor of (p/(-3))/(a - -1)?
False
Suppose -4*k + 101 = 25. Is 9 a factor of k?
False
Let a(s) = -77*s - 10. Is a(-3) a multiple of 40?
False
Suppose 0 = -s + 4*o + 24, 0 = -2*s - 0*s + 4*o + 32. Does 6 divide s?
False
Let l = -3 + 5. Suppose -a - 4*a - 3*t + 162 = 0, l*t = -2*a + 68. Is a a multiple of 15?
True
Let t = -3 - -5. Suppose 4*y + 2*g = 76, t*y - 30 = -4*g + g. Is 21 a factor of y?
True
Suppose -5*w - 51 = -131. Is 16 a factor of w?
True
Let t(m) = -3*m. Let j be t(-4). Does 2 divide 44/j - (-2)/(-3)?
False
Suppose 29 = -o + 5*d, 0 = -3*o - d + 5*d - 109. Is 15 a factor of 1*((3 - o) + -2)?
False
Suppose -3*o + 246 = 2*n + n, -406 = -5*n - 4*o. Is 14 a factor of n?
False
Let x be 30*2/14*7. Suppose -2*p = 3*p - x. Does 2 divide p?
True
Let l(j) = -j**2 + 14*j + 39. Is l(15) a multiple of 24?
True
Suppose 6*o - 3*o - 6 = 0. Suppose 0 = -o*s + 3 + 7, 175 = 5*q - 5*s. Suppose b - q = -b. Does 10 divide b?
True
Suppose -z - 4*z + 5*p = -65, 0 = -2*z - 2*p + 26. Is z a multiple of 5?
False
Suppose -5*f + 20 - 5 = 5*i, -5*i + f + 21 = 0. Let m(w) = -8 + w**2 + 0*w**2 + i*w + 2. Is 6 a factor of m(-6)?
True
Suppose 0*u = 2*u - 8. Is (-41)/3*(1 - u) a multiple of 13?
False
Is 6 a factor of 7/(-3)*(3 - 4)*3?
False
Suppose -3*k = 2*k + 90. Let g = 51 + k. Is g a multiple of 15?
False
Does 29 divide 435/(-6)*(-360)/75?
True
Is ((-3)/(-1))/((-9)/(-435)) + -1 a multiple of 9?
True
Let b = 79 - 43. Let u be (2/(-3))/(12/342). Let k = b + u. Does 15 divide k?
False
Let a(q) = -3 - 4 + 4*q + 5. Suppose -3*z - 3 + 12 = 0. Is 7 a factor of a(z)?
False
Let z(b) = -2*b**3 - 2*b**2 - 3*b. Let v(i) = i + 4. Suppose 2*a = -a - 18. Let d be v(a). Is z(d) a multiple of 8?
False
Let j be (-3)/(-9)*(-1 - -16). Suppose -28 = -2*f - 2*d, 2*d + 86 = j*f - 19. Does 19 divide f?
True
Suppose -452 = -4*h - 0*h. Is 5 a factor of h?
False
Suppose 2*h = 2*y - 18, 2*y - 4*h - 7 = 7. Suppose 3*q = 4 + y. Is q a multiple of 4?
False
Suppose -10 = -3*v - 1. Let t(u) be the first derivative of u**4/4 - 2*u**3/3 - u**2/2 - 3*u + 1. Does 2 divide t(v)?
False
Let v(m) = 17*m**3 - m. Let g be v(1). Let y = 24 - g. Does 5 divide y?
False
Suppose -2*x + 96 = 2*m, -3 = x + 2. Is m a multiple of 23?
False
Let c(o) = -o**3 - 13*o**2 + 15*o + 17. Let a be c(-14). Suppose 4*w - a*w + 251 = 5*i, -2*w = 4