w + 121, 4*m - 2*m - 40 = -5*w. Is m a multiple of 7?
False
Suppose -4*t + 3*t = a, 5*t - a = 30. Suppose t*x - 2*d - 35 = 0, 3*x + 2*d + d - 21 = 0. Is x a multiple of 7?
True
Let t = 93 - 16. Is 10 a factor of (-4)/(-22) - (-1526)/t?
True
Suppose 116 = 7*y - 766. Is y a multiple of 21?
True
Let z be ((-5)/(-2)*10)/1. Suppose 0*c + 5*u + 33 = -2*c, 75 = -5*c - 5*u. Let d = z + c. Is d a multiple of 11?
True
Suppose -2*l - 216 = -5*l. Suppose p - l = 5*p. Let y = 30 + p. Is y a multiple of 6?
True
Suppose -5*r + 11 = -4. Let d(k) = -k**3 + k**2 + 5*k - 3. Let v be d(r). Let p(b) = -b**2 - 8*b + 3. Is 15 a factor of p(v)?
True
Suppose -5*k + 2*k + 2*c + 140 = 0, -45 = -k + c. Does 17 divide k?
False
Suppose 0 = 4*z + 5*p + 25, 5*z - 1 = 3*p + 14. Suppose -3*i - 5*m + 2 = -6, -2*i + 22 = -5*m. Let u = i - z. Is u a multiple of 5?
False
Let c be 32 + 5/1 + -2. Suppose -b + c + 5 = 0. Does 17 divide b?
False
Let k(s) = -s**2 + 6*s - 2. Let b be k(5). Suppose -4*l - 2 = 2*o, 0 = 4*l - 0*l + o - b. Suppose 5*g = -3*p + 16 + l, 4*p = -3*g + 2. Is 5 a factor of g?
False
Is 15 a factor of 9770/130 + ((-2)/13 - 0)?
True
Suppose 0 = 4*m - 42 - 38. Is 5 a factor of m?
True
Suppose -808 = -3*j + 4*v, -2*v + 415 + 369 = 3*j. Is j a multiple of 12?
True
Suppose 4*w = 5 + 115. Let q = -38 - -23. Let d = q + w. Does 5 divide d?
True
Suppose 0 = -q + 2*q, 0 = -3*p + q. Suppose p = -d - d. Suppose 2*a + d = 40. Is a a multiple of 7?
False
Let p(h) = h**3 + 27*h**2 + 22*h + 64. Is 15 a factor of p(-26)?
False
Let v(q) = 3*q**2 + q - 4. Let p = -1 - -4. Is v(p) a multiple of 7?
False
Suppose 2*w - 36 - 14 = 0. Is 25 a factor of w?
True
Let t(p) = p + 2. Let z be (1/(-2))/(1/(-8)). Is t(z) a multiple of 5?
False
Suppose -g = z - 4*z + 204, -5*g = -4*z + 261. Is z a multiple of 27?
False
Suppose -2*f + 279 = 3*p + 2*p, 0 = 5*f + 15. Is p a multiple of 19?
True
Suppose -x = -0*x - 20. Is 6 a factor of x?
False
Let k be (-1)/(-4) - (-233)/(-4). Does 15 divide 1/(-1)*-2 - k?
True
Suppose -c + 36 = 2*c. Suppose -c = -3*f - f. Let r(s) = s**3 - 3*s**2 + 3*s + 1. Does 10 divide r(f)?
True
Does 11 divide 2/(-10) - 1660/(-50)?
True
Suppose b - 35 = -2*q, -2*q - 2*b = -32 - 6. Is 8 a factor of q?
True
Let i(z) = z**3 - 9*z**2 + 6*z + 9. Let o be i(8). Let m(n) = n**3 + 9*n**2 + 9*n - 3. Is 16 a factor of m(o)?
True
Suppose -i + 5*z = 16, 4*z + 48 + 40 = -4*i. Let d = -57 + 87. Let l = i + d. Is 7 a factor of l?
False
Let b be 2 + -1 + (-8)/4. Let a be 17 + -3 + -4 + 1. Let n = b + a. Is n a multiple of 5?
True
Let u(r) = 59*r**2 - r. Is 20 a factor of u(-1)?
True
Suppose 2*x = -0*x + 378. Does 9 divide x?
True
Suppose 0 = 3*r + b, -r + 0*b - 5*b = 0. Suppose -a + r*a = -51. Is 23 a factor of a?
False
Suppose -4*a = -5*q - 58, -2*q + 4 - 68 = -5*a. Is a a multiple of 12?
True
Let y = -11 - -4. Let w = y + 7. Suppose -5*o + 2*o = 12, -f + 3*o + 15 = w. Is f a multiple of 3?
True
Suppose 0 = 5*n - 29 - 1. Is n a multiple of 3?
True
Suppose -159 = -2*y - 3*y + 4*l, -l = -4*y + 136. Let o = 59 - y. Is 8 a factor of o?
True
Let y(j) = -j + 11. Let i be y(6). Let f = 0 + i. Is f even?
False
Suppose 0 = -4*l + 8*l - 36. Let d(a) = a**2 - 6*a - 13. Is 14 a factor of d(l)?
True
Suppose 5 = -i - 16. Is 18 a factor of 0 + (1 - 3 - i)?
False
Let j be 2/2 + -9 + -1. Let x(q) = -q**3 - 10*q**2 - 12*q - 7. Is 10 a factor of x(j)?
True
Let q = 14 - 4. Does 5 divide q?
True
Suppose -371 = -9*t - 74. Does 7 divide t?
False
Suppose -4*j - 1 = 7. Let p(d) = -2*d**3 - 3*d**2 - d - 1. Let x be p(j). Suppose -4*b + 180 = 4*o, -5*b + 101 = -x*o - 134. Does 23 divide b?
True
Suppose -3*d = -d. Suppose 2*r - 42 + 2 = d. Does 12 divide r?
False
Suppose 0 = -w + 2*j + 34 + 12, -2*w + 95 = -3*j. Is 25 a factor of w?
False
Suppose 0 = q + 10 - 46. Let w = q - 18. Is 11 a factor of w?
False
Suppose -4*l + 130 = -50. Suppose 6*d = d + l. Is 9 a factor of d?
True
Suppose g - 45 - 4 = u, -213 = -5*g - 3*u. Is 9 a factor of g?
True
Let f(o) = o**2 + 8*o + 4. Let i = -10 - -3. Let q be f(i). Is -3*(q - 14/3) a multiple of 8?
False
Suppose 5*l = 132 + 18. Is l a multiple of 3?
True
Suppose -2*q + 8 = -2, 0 = i + 5*q - 29. Let h(f) = f**3 - 4*f**2 + 6*f - 2. Is 11 a factor of h(i)?
True
Let l = -1 - -3. Suppose 2*h - 4*h = -l. Suppose 23 = o + h. Does 11 divide o?
True
Let p(k) = k**3 - 3*k**2 - 5*k + 10. Does 30 divide p(6)?
False
Is (1 + 3 - 3) + (-176)/(-2) a multiple of 18?
False
Let h = 5 + 7. Let q = h - -16. Does 7 divide q?
True
Let x(z) = 5*z**2 + 3*z - 2. Let v be x(2). Suppose v = 2*c - 46. Is c a multiple of 11?
False
Let p = 206 - 129. Let g = 116 - 60. Suppose 4*l + 2*f - g = 0, f = 7*l - 2*l - p. Is l a multiple of 6?
False
Suppose -4*m = 16, -m + 2 = -5*l - 29. Let z = 169 + -283. Does 6 divide z/l - (-2)/(-7)?
False
Let c(m) = m - 2. Let d be c(0). Let r be (-14)/(-5) - d/10. Suppose -s + 5 = -r. Does 3 divide s?
False
Suppose 0 = -u - 0*u + 1. Suppose -5*n + u = 11. Is 12 a factor of -1 + (1 + n - -35)?
False
Suppose 3*w = -4*a - 27, w + 3*w + 4 = 0. Let d be (0 - 0)/(a/3). Is (d + -2)*(-2 + -2) a multiple of 3?
False
Let t(s) = s + 16. Let i be t(-12). Is -2*(-1)/i*20 a multiple of 4?
False
Let s(b) = -5*b**2 + 9*b - 13. Let l(p) = -2*p**2 + 4*p - 6. Let u(q) = 7*l(q) - 3*s(q). Is 3 a factor of u(-3)?
True
Let x be (-24 - 5)*(1 + 0). Let d = -26 - 44. Let a = x - d. Is 14 a factor of a?
False
Let q = -16 + 31. Is q a multiple of 7?
False
Suppose -d + 25 = 4*d. Suppose -d*m = -3*m. Suppose m = -c + 4*z + 13, -3*z + 4*z = -1. Is c a multiple of 9?
True
Suppose -3*h + 2*p = -13, -7 = -3*h + 3*p - 4*p. Suppose 0 = t + h*t - 32. Is t a multiple of 5?
False
Let h(i) = -i**3 + 4*i**2 + 5*i + 2. Let m be h(5). Suppose 16 = 3*o - m. Is 3 a factor of o?
True
Suppose -3*g + 261 = -3*f, g - 102 = -0*g - 2*f. Suppose g = -0*k + 4*k. Is k a multiple of 11?
False
Let y = 17 - 31. Let j = 7 + y. Let p = j + 12. Is 2 a factor of p?
False
Let g be 24/9*(-18)/(-8). Let f be (-2)/(-1) + g + 2. Suppose -f = -o - 2. Is o a multiple of 3?
False
Let m be 2/(-10) + 5/25. Suppose 5*g = -2*p + 28, 3*p + 2*g - 64 = -m*p. Does 6 divide p?
True
Let n(c) = -4*c - 2. Let m be n(-5). Let f = 34 - m. Does 8 divide f?
True
Let v = 37 + 7. Is 7 a factor of v?
False
Let m(x) = x**2 - 3*x. Suppose 0 = t - 0*f - 4*f + 14, 1 = t - f. Is 4 a factor of m(t)?
False
Let f(u) = -u**2 + 23*u - 5. Does 10 divide f(10)?
False
Suppose 0*t - t - 19 = -5*j, 2*t = j - 2. Suppose 0 = j*z - z + 12. Let k(a) = -3*a. Is 12 a factor of k(z)?
True
Let a be 6/(-21) + (-422)/(-7). Let l = a - 38. Does 11 divide l?
True
Is (0 - 6)/(6/(-63)) a multiple of 17?
False
Is 72/(-27)*(-15)/2 a multiple of 4?
True
Suppose 4*i - 5*o - 28 = -o, 2*o - 22 = -2*i. Suppose 10*c - 33 = i*c. Is 14 a factor of c?
False
Let k(j) = -104*j**3 + 2*j**2 - 1. Is 15 a factor of k(-1)?
True
Suppose n - 3 - 1 = 2*p, 0 = 3*n - 3*p - 12. Is 2 a factor of n?
True
Let u(w) = -45*w. Let c be u(-1). Suppose 7*t - 2*z = 3*t + 42, c = 4*t - 5*z. Suppose -3*r + 38 = a, 2*a + 3*a - t = 0. Is 6 a factor of r?
True
Suppose 336 = 4*i + 3*i. Does 24 divide i?
True
Suppose 4*d + 2*l = 3*l + 37, 0 = -5*d - 5*l + 40. Suppose 4*q - 2*i = -20, 0 = 2*q + i + i - 2. Let h = d - q. Is 12 a factor of h?
True
Let n be 404/(-7) + 2/(-7). Let p = n + 84. Does 13 divide p?
True
Suppose 0 = 2*i + 2*y, 3 + 27 = 5*i - 5*y. Suppose 0 = -5*l + i*l + 36. Is l a multiple of 9?
True
Let d(p) = 4*p - 9. Let g be d(3). Suppose n - 6*n - 2*h = -44, -g*n + 5*h + 45 = 0. Is n even?
True
Let p be 4/6*(2 - -4). Suppose -c + 16 = -p. Does 5 divide c?
True
Let b = -22 + 16. Does 10 divide (4/b)/((-2)/66)?
False
Does 4 divide (-34)/(-4) + (-6)/12?
True
Suppose 5*y - 4*u = 18, 4*y + 3*u = -0*u + 33. Is 170/3 - 4/y a multiple of 15?
False
Suppose 0 = -c + n + 128, 0 = -2*c - 3*n + n + 260. Is 17 a factor of c?
False
Suppose -5*g - 3*b - 54 = 0, -3*b + 2*b + 42 = -5*g. Let h(r) = -r - 17. Let i be h(g). Let l(n) = -n - 4. Is l(i) a multiple of 4?
True
Suppose -4*h = -17 + 1. Suppose 0 = 8*d - h*d - 220. Is 34 a factor of d?
False
Let d = 1 - 3. Is 4 a factor of 8 + -1 - 2/d?
True
Let z(g) be the second derivative of -g**4/12 + g**3 + 9*g**2/2 + 2*g. Does 2 divide z(7)?
True
Let u(p) = -3 - 2 - p + p - 2*p. Is u(-6) a multi