 - 68 = 3*t. Is o a multiple of 10?
True
Suppose 138 = -r + 3*r - 3*x, -3*x - 213 = -3*r. Is 15 a factor of r?
True
Suppose -5*r - 4 = 1. Let y = r + -2. Is y/(0 - 9/66) a multiple of 11?
True
Suppose 0 = -20*s + 16*s + 60. Does 5 divide s?
True
Let v be 1*(1 + -1 + 0). Let b(t) = t**2 + 13*t - 15. Let p be b(-15). Let j = v + p. Is j a multiple of 15?
True
Let t(d) = 3*d + 1 + d**2 + 2*d - 4*d. Let w(j) = -5*j**2 - 6*j. Let z(i) = -3*t(i) - w(i). Does 9 divide z(3)?
False
Let o(d) = -d**3 + 6*d**2 - 2*d - 1. Let t be o(3). Let g be -10 - (-2)/(-4)*0. Let k = t + g. Is 10 a factor of k?
True
Let h(b) = 7*b**2 - 5*b + 7. Is 22 a factor of h(6)?
False
Suppose -4*k - 4*y = -k - 309, 4*k = -y + 425. Is 28 a factor of k?
False
Let q(w) = 2*w**2 + 68*w - 5 - 1 - 71*w. Is q(4) a multiple of 7?
True
Suppose 0 = -5*a - 3*h + 59, 6*a - 61 = a - 2*h. Is a a multiple of 10?
False
Let i(k) = k**2 - 10*k - 9. Let t be i(11). Suppose -88 = t*d - 6*d. Does 11 divide d?
True
Suppose 0 = -3*n + n + 106. Suppose -13*s - 135 = -8*s. Let r = n + s. Does 10 divide r?
False
Let k = 174 + -122. Is k a multiple of 52?
True
Let x = -2 + -1. Let o be (-97)/x - 4/(-6). Suppose -19 - o = -4*q. Is q a multiple of 7?
False
Is 6 a factor of -5 - (2 + -43 - -2)?
False
Let a(s) = -s**3 - 9*s**2 - 11*s - 4. Suppose 4 + 5 = -w. Let x be a(w). Let d = 133 - x. Does 14 divide d?
False
Let q(t) = -t**3 - 96. Let u be q(0). Let k = -67 - u. Does 16 divide k?
False
Let y = 6 - 4. Suppose 4*t + 2*o - 104 = -t, -2*t + 36 = -y*o. Does 10 divide t?
True
Let g(b) = 3*b**2 - 2*b - 16. Does 13 divide g(7)?
True
Let b(l) = -24*l - 7. Is 17 a factor of b(-2)?
False
Suppose 0 = k - 2*k + 5*d + 18, 4*d - 72 = -4*k. Does 4 divide k?
False
Suppose -p + 4*p + 12 = 0. Let n = p + 5. Is 5 a factor of 5/n*(0 - -2)?
True
Let r(i) = -2*i - 6. Let p(k) = -k**2 + 6*k - 6. Let u be p(6). Is r(u) a multiple of 3?
True
Suppose 3*r = 2*f + 2*f + 93, -2*r - 3*f + 79 = 0. Suppose -45 = -4*d + r. Is 7 a factor of d?
False
Suppose 2*l - 30 - 33 = 5*w, 5*l - 3*w = 148. Let h be 1*6 - 2/(-2). Suppose l + h = 2*d. Does 16 divide d?
False
Let x = -2 + 5. Suppose 3 = x*y + 9. Let p = 5 - y. Does 4 divide p?
False
Suppose -4*i + 571 = -397. Let c = -147 + i. Suppose -4*l + 145 = 3*o + 2*o, -4*o + l = -c. Is 11 a factor of o?
False
Suppose 0 = 3*c + 6*c - 1350. Is c a multiple of 34?
False
Suppose -2*z + z = -13. Is 5 a factor of z?
False
Suppose q = -k - 3*q - 13, 0 = 5*k + 5*q + 5. Suppose 28 = -n + k*n. Is 14 a factor of n?
True
Let c(m) = -6 + 35*m - 84*m + 40*m. Let u(s) = -2*s**2 + 3*s + 4. Let r be u(3). Is 13 a factor of c(r)?
True
Suppose -110 = -d - 39. Suppose 2*b - 31 = i, -5*b + 2*i = -8 - d. Is 9 a factor of b?
False
Suppose -d = 2*d + 3*x - 297, 3*x + 375 = 4*d. Let j = d - 56. Is 20 a factor of j?
True
Suppose 3*g + 5*j = j - 18, 2*g + 2*j + 12 = 0. Let x be (-7)/(-1) - g/(-3). Let k = 22 - x. Is k a multiple of 6?
False
Let c(k) = k**2 - 4*k - 1. Let p be c(4). Let o = 5 + p. Is o a multiple of 2?
True
Let f be 0/(2/(-2)*2). Let v be 1 + 1 + f + 167. Suppose -o + 2*h = -26, -o - 5*h + v = 3*o. Is 18 a factor of o?
True
Let u = 2 + -1. Let i = -5 + u. Is 10 a factor of (-76)/(-4) + i/2?
False
Let o(g) = -5 - 5 + 0*g - 2*g. Let f be o(-7). Suppose -2*n + f*y = -22, 5*y - y = 3*n - 27. Is 5 a factor of n?
True
Let h = 3 + -3. Suppose b + 0*b = -2*z + 28, -3*b - 3*z + 75 = h. Is 11 a factor of b?
True
Suppose 0*x = -2*x + 3*r - 54, -3*x + 2*r = 81. Does 9 divide x*-1*6/9?
True
Let n(q) = 25*q - 6. Is n(2) a multiple of 11?
True
Suppose 3*r + 15 = a, 4*a + 8 = -5*r - 0. Suppose -7*n = -a*n - 100. Is 14 a factor of n?
False
Let w(n) = -5. Suppose j - 4*z - 1 = -2*z, 0 = -5*j - 3*z - 21. Let r(y) = -y + 11. Let m(b) = j*r(b) - 7*w(b). Is m(6) a multiple of 17?
False
Let t = 122 + -94. Is 7 a factor of t?
True
Let a(o) = 4*o**2 - 2*o**2 + 7 - o**2 - 2*o + o. Is a(0) a multiple of 3?
False
Let t(q) = q**3 - 9*q**2 + q + 12. Suppose 3*w = 5*x - 36, 1 = -4*w + 13. Does 7 divide t(x)?
True
Suppose 0 = o + 2 - 5. Does 2 divide o - -2 - 0/1?
False
Suppose 4*i = 447 - 127. Is 10 a factor of i?
True
Let r(h) = 2*h**3 - 9*h**2 + 5*h + 10. Let c(p) = 3*p**3 - 18*p**2 + 10*p + 21. Let d(f) = 3*c(f) - 5*r(f). Is d(-10) a multiple of 21?
True
Let p(d) = d**3 + 6*d**2 + 5*d + 5. Suppose -4*r + 2 = l - 13, 0 = -l + 2*r - 15. Let a be p(l). Suppose -x + 4*x + a*w = 72, 0 = -3*w. Is x a multiple of 12?
True
Let a = -11 - -7. Suppose -x - 10 = -3*n, 0 = x - n + 2*n - 6. Is (22/a)/((-1)/x) a multiple of 10?
False
Suppose -s + 36 = 5*y, s - 35 = -4*y + 3. Does 12 divide s?
False
Let l be (-1)/(3*(-4)/(-60)). Is 4 a factor of (-17)/l + (-24)/(-40)?
True
Is (-44)/(-110) - (-453)/5 a multiple of 21?
False
Let i = 87 - 146. Let s = -5 - i. Suppose -6*l + s = -4*l. Does 12 divide l?
False
Suppose h + w - 10 = 27, 0 = 3*h + 2*w - 106. Is h a multiple of 4?
True
Let u(y) = -272*y**3 + y**2 + 5*y + 5. Does 24 divide u(-1)?
False
Let g = 144 + -59. Suppose 0 = v, -5*h - 2*v + g = -25. Is 22 a factor of h?
True
Let j(d) = 3*d**2 - 13*d - 7. Is j(7) a multiple of 11?
False
Suppose -h - t = -20, -21 = -5*t - 1. Does 2 divide h?
True
Let x(j) = -104*j - 1. Let g = -14 - -6. Let r be x(g). Is 12 a factor of (-4)/(-18) - r/(-27)?
False
Suppose -3*h + 4 = 2*g, h = 5*h - g + 2. Suppose 3*z + 2 = -n + 17, z + 1 = h. Is n a multiple of 5?
False
Suppose 0*z + 4*z = -228. Suppose -37 = 3*s - 2*s. Let y = s - z. Is 10 a factor of y?
True
Let n = 8 - 6. Suppose 0 = n*h - 16 - 12. Does 12 divide h?
False
Let h = -12 + -40. Let g = -28 - h. Is 7 a factor of g?
False
Let s be (348/14)/((-4)/(-28)). Let w = -67 + s. Suppose -5*u + 3*b + w = 26, 0 = 3*u + b - 43. Is 15 a factor of u?
True
Let h(o) = o - 4*o + 4 - 5*o. Does 20 divide h(-2)?
True
Suppose 3*a + 3*c = -2*a - 27, 2*c + 8 = 0. Is 21 a factor of a - (-3)/(3/55)?
False
Let z(h) = -h**2 - h + 16. Let l be z(0). Suppose l = q - 3*f, 2*q = -5*f - 0*f + 43. Let a = q - 13. Is 5 a factor of a?
False
Let y(c) be the second derivative of c**5/20 + 11*c**4/12 - c**3/6 + 3*c**2/2 - 2*c. Does 3 divide y(-11)?
False
Let g(p) = 2*p - 22. Is 6 a factor of g(16)?
False
Suppose 2*s - 5*h - 24 = 0, 11 = -5*h - 9. Is 28 + -1 + s/(-2) a multiple of 18?
False
Let i = -71 + 21. Let t = i + 127. Does 16 divide t?
False
Does 11 divide (-6)/(-2) - -66 - 3?
True
Let f(j) = j**3 + 6*j**2 + 6*j + 9. Let q be f(-5). Does 3 divide 1 - (-2*12)/q?
False
Let y = -42 + 77. Does 5 divide y?
True
Suppose -5*v = -2*s - 2*v - 10, 3*v - 12 = 0. Let y = 6 - s. Suppose -102 + 7 = -y*b. Does 19 divide b?
True
Suppose 0*u = 3*u - 636. Suppose -5*p + 2*b = -u, -p - p = 2*b - 96. Is 17 a factor of p?
False
Let h = 1 + -4. Let j = h + -2. Is 13 a factor of j/2*(-7 - -1)?
False
Let z(f) = f - 5. Let n(y) = -y + 10. Let p(j) = 3*n(j) + 7*z(j). Is 9 a factor of p(8)?
True
Suppose -3*j - 4*w = j - 20, -10 = -2*j - 5*w. Suppose -3*x = -j*l + 220, 0 = -3*l - 3*x + 4*x + 128. Suppose -4*s + l = -7. Does 4 divide s?
True
Let g = 14 + -9. Suppose -4*j - 3*h + 17 = 0, -g*j + 15 + 15 = 2*h. Is 4 a factor of j?
True
Suppose 0 = 5*q - 37 + 47. Suppose -4*x + 26 + 6 = 4*i, 0 = 2*i + 4*x - 16. Is 8 a factor of (-1)/(q - (-15)/i)?
True
Let v = -3 + 15. Let k = v - -22. Is 12 a factor of k?
False
Let s(i) = i**2 - 3*i + 9. Let d(t) = -2*t**2 + 2*t - 10. Let r(g) = -2*d(g) - 3*s(g). Does 17 divide r(-8)?
True
Suppose o + 0*x + 13 = -3*x, 108 = -4*o + 2*x. Let c = -4 - o. Is 7 a factor of c?
True
Suppose 5*l + 13 = 2*w, 0 = -4*w + 8*w - l - 17. Suppose -20 - w = -i. Does 12 divide i?
True
Let g = -3 - -36. Let j = -41 - -60. Let x = g - j. Is 5 a factor of x?
False
Let h = 1 + 54. Does 24 divide h?
False
Suppose r - 6*y + 15 = -4*y, r - 3*y = -20. Let w(o) be the second derivative of o**4/12 + 5*o**2/2 - 3*o. Is 10 a factor of w(r)?
True
Suppose 31 = 3*f - 53. Suppose 0 = 2*x - t - 70, -4*t + 55 = 3*x - f. Does 11 divide x?
True
Suppose -4*y = -471 + 83. Is 29 a factor of y?
False
Let s(p) be the third derivative of 0*p + 1/8*p**4 - 3*p**2 + 1/120*p**6 + 7/60*p**5 + 0 + 1/2*p**3. Is 7 a factor of s(-6)?
True
Suppose -5*q + c = -58, 0*q + 32 = 3*q - 2*c. Is q a multiple of 7?
False
Suppose -3*g + 4*g = 0. Suppose f + 2*m - 22 = -3*f, g = f + 5*m - 19. Does