7, -o*m - m + 213 = 5*q. Does 33 divide m?
True
Suppose 0 = -p - 1, -2*p - p = 5*w - 7. Suppose -5*r - y = y - 164, -w*r + 70 = 3*y. Suppose 4*q = r - 12. Does 4 divide q?
False
Suppose 3*b - 9 = 0, -k + 0*k - 14 = -5*b. Let l be (-8)/6*(k - 28). Suppose -4*n - u + 18 = 0, 0 = 4*n - 5*u - l + 6. Is n a multiple of 5?
True
Let w = -4 - -43. Is w a multiple of 12?
False
Suppose 2*j - 323 + 109 = 0. Let h(x) = -x**3 + 8*x**2 + x + 4. Let l be h(4). Let s = j - l. Is s a multiple of 15?
False
Let x(u) = -4*u**2 - 11*u - 3. Let h(j) = -7*j**2 - 22*j - 5. Let z(b) = 3*h(b) - 5*x(b). Does 12 divide z(-8)?
True
Let t = 0 + 3. Let y = 5 - t. Suppose -24 = -0*f - y*f. Is f a multiple of 12?
True
Let m(w) = 3*w**3 + 2*w**2 - 1. Let z be m(1). Suppose -l + z = l. Suppose i + l = 7. Does 5 divide i?
True
Let i(n) = 6 + 18*n**3 - 2*n**2 - 5*n**2 - 19*n**3. Does 6 divide i(-7)?
True
Let u be -4 - 0 - 0 - -1. Let w = 47 + u. Does 23 divide w?
False
Let b(n) = 2*n**2 + 4*n - 3. Let t be 9 + 2 + 0 + 0. Suppose 5*i = -31 + t. Does 13 divide b(i)?
True
Let y(d) = -d**2 + 9*d - 10. Let n be y(7). Suppose 68 = -n*q - 100. Let c = 59 + q. Does 17 divide c?
True
Suppose 0*j + 4*j = 16, -5*j + 10 = -2*k. Suppose 0 = -2*r + 5*g + 148, k*g = 4*r - 103 - 173. Is 16 a factor of r?
True
Let y(k) = k**2 + 8*k + 8. Let s be y(-6). Let b(f) = f**3 + 5*f**2 - 4*f - 2. Does 15 divide b(s)?
True
Let s(z) be the third derivative of z**5/30 - 6*z**2. Is s(4) a multiple of 8?
True
Let m = -21 + 24. Suppose 4*g - p - 79 = 0, -6*p = -3*g - m*p + 48. Does 11 divide g?
False
Suppose 0 = -3*q + q + 226. Suppose 3*o + 0*o + 5*v = 107, -3*o = 2*v - q. Is o a multiple of 13?
True
Let p = 18 + -33. Let d = -4 - p. Is 10 a factor of d?
False
Suppose 0 = -4*c + c + u + 294, 4*u + 384 = 4*c. Is 9 a factor of c?
True
Suppose -2*p + 4*p = 8. Is 14/p*(3 + 1) a multiple of 4?
False
Let x = 51 - -10. Let r = x + -42. Does 12 divide r?
False
Does 8 divide -1*(-5)/(20/128)?
True
Suppose 23 = 4*a - 25. Suppose 3*j - 4*t - a = 0, -12 = -3*j + t + 4*t. Does 4 divide j?
True
Let a be 1/(-2)*2*-331. Suppose 5*t - 431 = -2*w, a = 3*t + t - 3*w. Let q = t - 55. Does 15 divide q?
True
Suppose -2 = -2*c + 6. Does 3 divide 6 + -1*(3 - c)?
False
Suppose -f + 62 = 14. Is 6 a factor of f?
True
Let p = 37 - 17. Is p a multiple of 4?
True
Suppose 10 = -5*n + 35. Suppose 5*w + 25 = 0, -4*w + n = -5*r + 60. Is 3 a factor of r?
False
Let a = 1 + -1. Let p = a - 18. Is 20 a factor of (2 + -1)*2 - p?
True
Let q(b) be the third derivative of 7*b**5/60 + b**4/24 - 2*b**2. Is 7 a factor of q(1)?
False
Suppose -2*s - 165 = -u - 3*s, -780 = -5*u + 4*s. Does 20 divide u?
True
Suppose -3*q + 50 - 134 = 0. Let i be (-8)/q - (-2)/(-7). Let u = 24 - i. Is u a multiple of 12?
True
Suppose o + 16 = -2*q - 3*o, 2*q - o = 9. Let n(i) = 3*i**2 - i - 6. Let l(x) = -3*x**2 + x + 5. Let v(c) = -6*l(c) - 5*n(c). Is 10 a factor of v(q)?
True
Let o be 5/(-5)*(1 - 3). Let r = -1 - -1. Let v = o - r. Is v a multiple of 2?
True
Let v(g) = -3*g + 6. Is 7 a factor of v(-16)?
False
Let m(p) = -10*p**3 - 18*p**2 - 5*p - 10. Let y(c) = 7*c**3 + 12*c**2 + 3*c + 7. Let h(a) = -5*m(a) - 7*y(a). Does 17 divide h(-4)?
True
Suppose -4*b = -30 - 66. Is b a multiple of 24?
True
Suppose 4*d + 8*v = 3*v + 45, 0 = 3*d + 3*v - 30. Suppose -10 = -d*b + 5. Suppose p = b*u - 115, p = -2*u + 19 + 66. Is 20 a factor of u?
True
Let o = 157 - 101. Is 29 a factor of o?
False
Let s(x) = -x**2 + 6*x + 17. Let a be s(7). Does 6 divide (17 - 2)*4/a?
True
Let t(z) = -z. Let l be t(-5). Is 0/(l - 2) - -6 a multiple of 6?
True
Let x be 3*1*31/3. Let l = x - 64. Let m = l + 66. Does 12 divide m?
False
Let h be (-15)/2*(0 - 2). Let z be (0 + -3)*(-7)/3. Let p = h + z. Is p a multiple of 11?
True
Let p = 8 + -14. Let o = 21 + p. Is o a multiple of 15?
True
Let w = 40 + 65. Suppose -3*v = -8*v + w. Is v a multiple of 8?
False
Let j(x) = -5*x**3. Let w be j(-1). Suppose -d + w*f + 105 = 24, -2*f - 138 = -2*d. Is d/(-3)*(-3)/2 a multiple of 18?
False
Does 8 divide 2/4 - (-237)/6?
True
Let x(n) = -n**2 - n + 14. Suppose -3*m = -6*m. Does 12 divide x(m)?
False
Does 8 divide ((-1)/3)/((-4)/96)?
True
Suppose -5*y + 6 = -8*y, -5*u = -4*y - 23. Suppose 2*h = -u*h. Suppose -p - l + 21 = h, -3*p + 0*l + 2*l + 38 = 0. Is 16 a factor of p?
True
Let u(c) = 3*c**2 - 29*c. Does 52 divide u(14)?
False
Suppose 67*x - 65*x - 44 = 0. Is 11 a factor of x?
True
Let v(s) = 31*s - 36. Is 14 a factor of v(12)?
True
Suppose 0 = -3*y + 1 - 61. Is 5 a factor of (7/4)/((-5)/y)?
False
Suppose -3*g + 12 = -3*y - 246, -4*g + 332 = 2*y. Does 21 divide g?
True
Let i be 22/8 + 3/(-4). Suppose -i*u = -26 - 0. Is 13 a factor of u?
True
Let i = 1 + 0. Let r = 2 - i. Is (10/(-6) + r)*-24 a multiple of 6?
False
Let l(g) = 16*g**2 - 2*g + 1. Let t be l(3). Let q = -94 + t. Is q a multiple of 15?
True
Let x(w) = 4*w + 5. Suppose 5*z - 18 = -4*d + 3*z, -4*z + 4 = 0. Is 21 a factor of x(d)?
True
Suppose -3*r = -8 - 1. Suppose -r*z - 38 = -4*z. Is z a multiple of 23?
False
Suppose -9 - 13 = -i. Is i a multiple of 10?
False
Let q = 41 + -16. Let i = q + -11. Is 13 a factor of i?
False
Let x be 5 + -5 - 2/(-1). Let f(i) = 4 - 10*i - 4*i**2 - 3*i + i**x + 2*i**2. Is 17 a factor of f(-7)?
False
Suppose -w + 2 = -1. Suppose 72 = 2*c - 2*i, -5*i = w*c - 0*c - 108. Is 12 a factor of c?
True
Let s = -8 - -10. Suppose 0 = 2*q - s*d - 97 - 23, -2*q - 2*d = -100. Does 12 divide q?
False
Let x(r) = r**3 - 5*r**2 - 8*r + 1. Suppose -3*q = p - 1, -7*q + 2*q = -p + 17. Does 15 divide x(p)?
False
Suppose 2*t = 3*t - 27. Let x = t + -14. Let g = x - -3. Is 10 a factor of g?
False
Let d be 3*((-56)/(-3))/4. Is d - (4 + -3)*0 a multiple of 5?
False
Let c = 0 + -1. Let b be -9*(4/(-6) - -1). Does 15 divide (16 - c) + 6/b?
True
Let q = 36 + -2. Does 8 divide q?
False
Suppose -3*s = 5*b - 276 - 292, 4*s - 564 = -5*b. Is b a multiple of 29?
True
Let b be (3 - 1) + (-1 - -5). Let d be (2/b - 0)*69. Suppose 0 = -4*t + 25 + d. Is t a multiple of 12?
True
Suppose 4*k = 2*d + 20, 2*k = 3*k + 2*d - 5. Is k even?
False
Let j be 1/(-5) + 6104/70. Suppose 0 = 3*t + 4*z - 148, j = 4*t + z - 106. Does 15 divide t?
False
Let q = -30 + 74. Is 12 a factor of q?
False
Suppose 0*g - 3*z = -g + 5, 0 = -2*g + z + 20. Is g a multiple of 11?
True
Let z(d) = d**2 + 11*d + 4. Let o be z(-8). Let r be (-24)/(-10) + 8/o. Is 5*-14*r/(-5) a multiple of 14?
True
Let r = 11 + -9. Suppose -r*c = -0*c - 12. Is c a multiple of 4?
False
Is 18 a factor of 4*(-5)/(-170) - 11010/(-51)?
True
Let s be 190*(0 - 3)/6. Let w = -50 - s. Does 15 divide w?
True
Let a = 9 - -9. Let b be (3*1)/(a/732). Suppose -3*h + g + b = -g, -5*h + 196 = 4*g. Is h a multiple of 17?
False
Let u(n) = 4 + 6*n - 4*n + 3*n - 3*n. Does 6 divide u(3)?
False
Let k(i) = -i**3 + 10*i**2 - 10*i + 6. Let n be k(9). Suppose -6*z - 4 = -4*z. Is -2 - (-14 - z) - n a multiple of 13?
True
Let z(y) = -y**3 - 3*y**2 + y - 4. Let g be z(-4). Is (g - 11) + 69/1 a multiple of 18?
False
Suppose -3*z - 2*z + 5*d - 55 = 0, -4*z + 3*d = 42. Let v(m) = -85*m - 4. Let p be v(-4). Is (-2)/(-3) - p/z a multiple of 19?
True
Let p = 48 - 93. Let k = p + 63. Does 6 divide k?
True
Suppose 6*o = -g + 3*o + 11, -2*o = 10. Suppose -2*f - g = 4*v, 2*f + 2*v + 14 = -12. Let x = 11 - f. Is x a multiple of 12?
True
Suppose 4*i = i + 27. Is 5 a factor of i?
False
Let n = -157 - -286. Does 28 divide n?
False
Let q(a) = 4*a - 5. Let o be 20/(-70) + (-116)/(-14). Does 9 divide q(o)?
True
Let t(w) be the first derivative of -w**2 - w - 2. Let l be t(4). Does 5 divide ((-26)/6)/(3/l)?
False
Let n be 2*4/(-24)*0. Suppose 0 = -4*l - n*l + h + 144, -h = -5*l + 181. Is 15 a factor of l?
False
Let b = -5 + 10. Suppose -4*o + o + 5*t + 254 = 0, -b*t + 370 = 5*o. Is 13 a factor of o?
True
Let k(o) = -31*o - 1. Let a be k(-1). Suppose -a = -2*s + p + 66, -144 = -3*s + 5*p. Is 16 a factor of s?
True
Let n(j) = -j + 3. Let m be n(-3). Suppose k - m = 2*o + 4*k, -5*k = 5*o + 5. Is o a multiple of 3?
True
Let w(h) = -93*h - 1. Does 23 divide w(-1)?
True
Let h = -65 - -139. Suppose 44 = 2*y - 2*r, -3*y - r + h = -0*y. Is y a multiple of 6?
True
Let z = 3 - -38. Is z a multiple of 10?
False
Let k = -96 - -68. Let j = 14 - k. Is 14 a factor of j?
True
Suppo