 divide a?
False
Let q = -199 - -609. Suppose -b = 4*b - q. Is 27 a factor of b?
False
Suppose -4*x = -2*o + 2 + 2, -4 = 4*x. Is (o + -6)/((-12)/16) a multiple of 6?
False
Is 11 a factor of (-4)/6 - 308/(-12)?
False
Let i be (-758)/(-8) - 9/(-36). Suppose 2*x + 3*x - i = 0. Is x a multiple of 19?
True
Let t(w) = w**2 + 3*w - 4. Let m be t(-3). Let g be (-2)/(m/74) - -1. Does 15 divide g/(-4)*-4 - 2?
False
Suppose -3*t + 0*t + 204 = 0. Does 8 divide 1/(t/32 + -2)?
True
Suppose t - 491 = -3*d, 0 = 2*d - 3*t - 0*t - 331. Does 14 divide d?
False
Let a(w) = 11*w**2 + 2*w - 1. Is a(1) a multiple of 12?
True
Suppose 0 = -2*k - 5*b - 138, 5*k + 5*b + 328 = b. Let f = 34 + k. Let y = 20 - f. Is 20 a factor of y?
False
Let y = 6 - 3. Suppose y = q - 4. Let u = 11 - q. Is 3 a factor of u?
False
Suppose -7 = -5*d + 3. Suppose d*n = -n + 12. Let m(c) = -c**3 + 6*c**2 - 4*c + 5. Does 12 divide m(n)?
False
Let o(d) be the third derivative of d**5/20 - 7*d**4/24 + d**3 + 10*d**2. Is o(4) a multiple of 26?
True
Let r = 3 + 0. Suppose -2*o + 6*v = 2*v - 68, -r*v + 29 = o. Is 14 a factor of o?
False
Suppose 6*r - 4*r - 76 = 0. Is 7 a factor of r?
False
Suppose -2*r = -2*x + 134, -r - 377 = -5*x - 34. Let z = -22 + x. Is z a multiple of 13?
False
Is 58 a factor of 111 - -1 - (-3 + 0) - -1?
True
Let g(d) = 11*d**2 + 21*d + 10. Suppose -5 = -c + 4*x, -4*c - x + 4*x = -46. Let i(t) = 5*t**2 + 10*t + 5. Let q(h) = c*i(h) - 6*g(h). Is 3 a factor of q(4)?
False
Suppose -4*f - f = -20. Suppose -f*o + 27 = 11, -4*j = o - 68. Is 8 a factor of j?
True
Suppose -4*x + 394 = -2*x. Suppose b - 80 = -b + j, 4*j = 5*b - x. Suppose 5*s = -2*z - 13 + 30, -b = -2*z + 3*s. Is z a multiple of 16?
True
Suppose 2*s - 7*w = -3*w + 522, -5*w = s - 275. Suppose -15 = -3*v, -h - 3*h + s = v. Let t = h + -17. Does 18 divide t?
False
Suppose 530 + 190 = 6*k. Does 12 divide k?
True
Suppose 3*u + 0*q - 21 = -3*q, -5*q + 33 = 4*u. Is 8 a factor of 1 - (-3 + u - 14)?
True
Let o be 1 + (-1 - -3) + -33. Is 12 a factor of -2 - (0 + o + 3)?
False
Is (-2)/5 - (-25973)/95 a multiple of 12?
False
Let w(a) = 4*a - 1. Is 11 a factor of w(3)?
True
Let j = -3 - -6. Let l(d) = d**3 - 3*d + 3. Is l(j) a multiple of 10?
False
Let i(s) = s**2 + 5*s + 2. Let j be i(4). Let g = -26 + j. Is 4 a factor of g?
True
Let m = 3 - -6. Let r = 15 - m. Is 4 a factor of r?
False
Suppose -10*g = -8*g - 38. Is g a multiple of 19?
True
Suppose -1 = -g + 1. Suppose 0 = g*p - 4*c - 6, 2*p + 3*p + c = 15. Suppose -p + 93 = 5*r. Is r a multiple of 10?
False
Let v(t) = -16*t**3 - t**2 + 1. Let s be v(-1). Suppose 4*m = -s - 8. Let h(d) = d**2 + 4*d - 7. Is h(m) a multiple of 5?
True
Suppose 3*g - l - 338 = 0, g - 444 = -3*g + 3*l. Is 6/((-3)/(g/(-4))) a multiple of 19?
True
Suppose -3*n = n + 8. Does 28 divide (-2 + (-3)/n)*-212?
False
Let a be -4 + 1*3/3. Let w = -4 - a. Let r = w - -10. Does 9 divide r?
True
Suppose 5*m + 0*q = -3*q + 220, 4*m = q + 159. Does 14 divide m?
False
Let t(g) be the second derivative of 0 + 1/6*g**3 - 2*g + 9/2*g**2. Is 2 a factor of t(-6)?
False
Suppose -3*h - 360 = -7*h. Is h a multiple of 18?
True
Suppose -4*m - 4 + 108 = 0. Does 26 divide m?
True
Suppose 0*u = -3*q - 2*u + 12, 12 = 3*q - u. Is 2 a factor of q?
True
Suppose 3*u + 7 = -5. Let b(f) = -6*f - 6. Does 9 divide b(u)?
True
Suppose 5*i + 0*i = -610. Suppose -4*w - 4*y + 0*y = 48, -3*y - 6 = 0. Is 12 a factor of i/w - 3/15?
True
Suppose 27 = -2*y + 3*y + 2*z, 0 = 4*y + 2*z - 138. Is y a multiple of 11?
False
Let s = -146 + 208. Suppose 38 = 2*k - s. Is 25 a factor of k?
True
Let j(x) be the first derivative of -x**7/840 + 7*x**6/360 - x**5/40 + x**4/4 + x**3 - 1. Let k(f) be the third derivative of j(f). Is 7 a factor of k(6)?
False
Let q(o) be the third derivative of o**6/120 - o**5/5 + o**4/24 + 3*o**3/2 + o**2. Does 7 divide q(12)?
True
Let v = -9 - -17. Is 3 a factor of (-61)/(-7) - v/(-28)?
True
Let b be (-14)/(-3) + (-2)/3. Let h = b + -1. Suppose h*i = 19 - 1. Is i a multiple of 3?
True
Suppose 0 = 3*q - 7*q + 88. Suppose 0*f = -f + 11. Let y = q - f. Is y a multiple of 10?
False
Let y(k) = -2*k**3 - 37*k**2 - 20*k - 26. Let w be y(-18). Suppose 4*v + 0*v - 328 = 0. Suppose 4*g = -w + v. Is g a multiple of 8?
False
Let c(a) = 3*a + 15. Let d be c(-6). Is 7 a factor of d + 5 - (-3 + -14)?
False
Suppose -2*r - 3*w - 12 = -3*r, -14 = -2*r + w. Does 8 divide (-3 + r)*235/15?
False
Let w(a) = 10*a**2 + 1. Is w(-1) a multiple of 4?
False
Let y(w) = -w**2 + 14*w + 3. Is 10 a factor of y(13)?
False
Let c = -3 + 3. Does 25 divide c + 1*(62 + -3)?
False
Let o = -26 + 51. Is o a multiple of 5?
True
Let z = 927 + -143. Is 9 a factor of (-4)/(-18) - z/(-36)?
False
Let a(v) = -23*v - 13. Let l(c) = -12*c - 6. Let p(r) = 3*a(r) - 7*l(r). Suppose -z + 2 = -g, -2*z = 2*z + 4*g - 16. Does 18 divide p(z)?
False
Let d(t) = t**2 + 5*t + 5. Suppose 5 = -a - 0. Does 5 divide d(a)?
True
Suppose k - 2 = -4. Let h be 2*(-3)/((-3)/k). Let u = 11 + h. Is u a multiple of 4?
False
Let j be ((-25)/(-5))/((-2)/(-6)) + 3. Let r be (30/(-9))/((-2)/(-6)). Let u = j + r. Is u a multiple of 4?
True
Suppose -5 = k - 2*k. Suppose -3*b - 56 = -k*g, b = -g + 4*b + 16. Does 6 divide g?
False
Suppose 3*d + 36 = 7*d + 2*l, -4*d + 42 = -l. Is 6 a factor of (-3 - -15)*d/8?
False
Suppose -2*s = 2*s - 8. Suppose s*a - 56 = -0*a. Suppose -y = -3*y + a. Does 7 divide y?
True
Suppose -3*g + 2 + 24 = 4*z, -2*g = z - 14. Does 15 divide (-2)/g - 58/(-3)?
False
Is 13/(-26)*4*-8 a multiple of 16?
True
Is 27 a factor of 216/28*(-3 - -10)?
True
Let s(k) = 36*k + 3. Does 16 divide s(4)?
False
Let t(s) = s**3 - 3*s**2 - 13*s - 6. Does 6 divide t(6)?
True
Let z(r) = r**3 - 10*r**2 + 5*r - 14. Let n be z(10). Suppose -n = -5*b + 3*b. Is 14 a factor of b?
False
Suppose -g = 4*z - 2*g - 73, -2*g + 44 = 2*z. Is z a multiple of 2?
False
Let c(x) = 3*x - 3. Does 9 divide c(4)?
True
Let t be 2 + 3/(-3) + -1. Suppose -w + t + 2 = 0. Is 5 a factor of w/5 + (-136)/(-10)?
False
Let u = 98 - 65. Does 14 divide 4/6 + 638/u?
False
Let t be 27/(-15) + 1/(-5). Is 14 a factor of 4/(t*1/(-16))?
False
Let f(c) = c**2 - 6*c + 5. Does 2 divide f(6)?
False
Let j(h) = h + 38. Is 9 a factor of j(-11)?
True
Suppose -204 = -5*d + d. Is d a multiple of 17?
True
Suppose 3*l - 3*z - 7 = 2, -5*l - 20 = 2*z. Does 15 divide ((-3 + 5)*-37)/l?
False
Let r(m) = 2*m**2 + 9*m. Let v be r(-6). Suppose 3*p - 66 = -v. Is p a multiple of 16?
True
Let m(a) = 8*a**2 + a - 4. Let c = -16 - -14. Is m(c) a multiple of 13?
True
Suppose 2*u - 181 - 111 = 0. Let p = u + -102. Is p a multiple of 22?
True
Let q = 36 + -18. Let i = q + 48. Does 11 divide i?
True
Let x(z) = z**3 + 5*z**2 + 5*z + 6. Let i be x(-5). Let s = -5 - i. Is s a multiple of 14?
True
Let t(g) = 8*g + 25. Is 13 a factor of t(5)?
True
Let b = -6 + 32. Is 13 a factor of b?
True
Does 14 divide ((-292)/5)/(4/(-10))?
False
Let r be (875/(-14))/((-1)/2). Let x = r - 63. Suppose x = -5*d + 262. Is 18 a factor of d?
False
Let r = -7 - -8. Let s be 3*((r - -1) + -1). Suppose 9 + 6 = 4*f + 3*q, -12 = -3*f - s*q. Is f even?
False
Suppose -2*x - 11 = -45. Is 6 a factor of x?
False
Let o = 3 + 1. Let a be ((-6)/o)/(9/(-66)). Suppose -s = -a + 1. Is 10 a factor of s?
True
Let r(n) = -2*n - 11. Is r(-11) a multiple of 4?
False
Let g be (-18)/4*40/(-12). Let b be g/(-2)*(-2)/3. Suppose 4*s - d - d - 82 = 0, -2*s + b*d + 61 = 0. Is s a multiple of 12?
False
Let l = -24 + 48. Is 8 a factor of l?
True
Let h(l) = 3 + 5*l**2 - 3 - 3*l - l**3. Let q(g) = g**2 + 4*g - 1. Let r be q(-5). Is h(r) a multiple of 3?
False
Let g = -2 - -2. Suppose -3*o + 18 + 33 = g. Is o a multiple of 17?
True
Is ((-10)/(-3))/((-3)/324*-3) a multiple of 20?
True
Suppose 3*n - 4*r - 6 = 0, -5*n - 8 + 1 = -r. Let i = n + 11. Does 8 divide i?
False
Suppose -4*j + 5*c - 6 = 0, -2*j - 6 = c + 4. Suppose 128 = 39*a - 43*a. Is ((-15)/(-4))/(j/a) a multiple of 10?
True
Let o = -129 + 345. Is 27 a factor of o?
True
Let c(y) = -32*y**3 - y**2 + y + 2. Is 12 a factor of c(-2)?
True
Let a = -25 + 42. Does 17 divide a?
True
Suppose 9 = 3*c - 3*h, 2*h - 4 = -3*c - 0*c. Suppose v = -3*r + 30, -24 = c*v + 4*r - 80. Does 6 divide v?
True
Suppose -4*z - z + 4*l = -700, 0 = 3*z + 3*l - 420. Is z a multiple of 28?
True
Suppose -2*i