s 17 divide a?
False
Suppose -16 = -4*r - 0. Suppose 15 = i - r*i. Let j = i + 9. Is j a multiple of 4?
True
Let d = 102 - 67. Does 6 divide d?
False
Let a = 4 - 6. Does 6 divide 204/10 + a/5?
False
Suppose -p + 339 = -3*v, 0*v + 2*v + 334 = p. Is p a multiple of 54?
True
Let l be 2 - 3/3*-28. Suppose 0 = 2*s + l - 90. Suppose -s - 4 = -b. Does 17 divide b?
True
Let b(h) = h**3 + h + 8. Is 5 a factor of b(0)?
False
Let x = 5 - 6. Does 21 divide 2 + 58 - x*2?
False
Suppose 0 = -y + 3*p + 4 + 118, -16 = 4*p. Does 10 divide y?
True
Let d(h) = -h**2 - 8*h - 4. Let o be d(-6). Let g(l) = -l**2 + 11*l - 12. Let r be g(o). Let k = -4 + r. Is 6 a factor of k?
False
Let d(j) = -j**2 + 2*j + 3. Let r be d(3). Let b(m) = m + 30. Does 10 divide b(r)?
True
Let j(r) = -r**2 - 7*r. Let f be j(-6). Suppose x = f*x - 145. Is x a multiple of 29?
True
Let f = -1 + 4. Suppose q + 2*c = 37, -q + f*c + 16 = -2*c. Is q a multiple of 14?
False
Is 21 a factor of 3 - (-10)/((-1 - 1)/(-12))?
True
Let p = 15 - -15. Let j be 38/6 - (-1)/(-3). Suppose 0 = j*f - f - p. Does 3 divide f?
True
Let h(q) = q + 3. Let c be h(-3). Suppose -7 = -c*o - o. Let d = 19 - o. Is 6 a factor of d?
True
Let s(a) = -a - 11. Let c be s(-14). Suppose -5*w - p + 132 - 32 = 0, 0 = 5*w + c*p - 100. Is w a multiple of 10?
True
Suppose -5*o - 364 = -2*k, -4*k - 360 = -6*k + 4*o. Is 25 a factor of k?
False
Let n(a) = a**3 + 5*a**2 + 2*a - 3. Let k be n(-4). Suppose -k*b - 215 = 5*s, 2*b - 3*s + 61 = -0*s. Let f = b + 58. Does 10 divide f?
True
Suppose 20 = 5*t + 3*s, 3*t + 5*s - 2 + 6 = 0. Does 7 divide t?
True
Let c be (-183)/(-12)*(3 - -1). Let h = c + -33. Is h a multiple of 21?
False
Suppose -w - 4 = j, 20 = -2*w - 3*j + 8. Suppose 4*v - 4 - 4 = w. Suppose -3*b - 4 = v*n, -4*n + 0*n = 5*b + 4. Is n even?
True
Suppose 7*s = 5*c + 6*s - 531, -3*c + 2*s = -313. Is c a multiple of 41?
False
Let p(o) = o**3 + 8*o**2 - 11*o - 10. Does 16 divide p(-8)?
False
Suppose 0 = 3*a - g - 13, g = 4*a + 4*g. Suppose 4*s = -3*d - 45 + 13, 0 = -d + a*s - 15. Does 13 divide (-4)/6 - 272/d?
False
Let z(m) = -3*m**2 + m - 1. Let f be z(-2). Is 139/5 + (-3)/f a multiple of 14?
True
Let p(i) = -5*i - 4. Let a(u) = -2*u**2 - 3*u + 5. Let s(c) = -c**2 - 4*c + 4. Let y(t) = -2*a(t) + 3*s(t). Let l be y(5). Is p(l) a multiple of 11?
True
Let x(b) = -b**3 + b**2 + 9. Is x(0) a multiple of 9?
True
Let r(u) = u**2 + 2*u + 36. Does 13 divide r(-16)?
True
Let m = -16 - -14. Is 26 a factor of (-1)/(3/522*m)?
False
Let c(m) = 10*m - 26. Is 17 a factor of c(6)?
True
Let r = 58 + -31. Does 9 divide r?
True
Suppose -4*q + 34 - 150 = -3*a, -4*q - 2*a - 116 = 0. Let w = q - -44. Does 6 divide w?
False
Suppose 2*i - 4*i + 4*z = -238, 5*z + 595 = 5*i. Is i a multiple of 25?
False
Suppose -16 = -l + x, -2*l + 50 = 3*l + x. Let r(h) = h**2 - 6*h - 13. Does 14 divide r(l)?
True
Let d(w) = 11*w. Let m(f) = -2*f + 1. Let b be m(-1). Is d(b) a multiple of 18?
False
Let s be (24/(-10))/(4/(-30)). Does 14 divide (-460)/8*s/(-15)?
False
Let j(a) = a**3 - 9*a**2 + 10*a + 2. Let d(n) = -n**3 + 8*n**2 - 7*n + 3. Let u be d(7). Let o = u - -5. Does 9 divide j(o)?
True
Let y(o) = o**2 + 1. Let a be y(2). Suppose 2*q + a*u = -26, -4*q + 2*u - 54 = -2. Let t = q - -45. Is 12 a factor of t?
False
Suppose t + 2*t - 72 = 0. Suppose -4*v + 39 + 21 = -4*h, v - t = 4*h. Is 6 a factor of v?
True
Suppose -3*w - 1715 = 2*i, -3*w - 3*i - 1396 - 317 = 0. Is w/(-9) + 1/3 a multiple of 16?
True
Let i = 14 + -10. Suppose -k = i*b - 171, -2*b + 216 = 3*b + 2*k. Does 21 divide b?
True
Let f(c) = c**2 - 5. Let d be f(-5). Does 5 divide -2*(-6)/(48/d)?
True
Let r(u) be the second derivative of -1/20*u**5 - 3/2*u**2 + 0 - 5/12*u**4 + 1/6*u**3 + 2*u. Does 11 divide r(-6)?
False
Suppose 4*q - 8 = 2*q. Let l(g) = 4*g - g**2 + 0 + 2*g - 1 + 2. Is 6 a factor of l(q)?
False
Suppose 0 = 3*b + m - 13, -6*b + b + 5*m + 55 = 0. Suppose -x = -b - 2. Does 8 divide x?
True
Is 4 a factor of (-11)/(-22) - (-10)/(-4) - -47?
False
Let r(j) = -j**3 + 10*j**2 + 10*j + 11. Let h be r(11). Suppose h*g + 3*g - 162 = 0. Is 27 a factor of g?
True
Let k = -135 - -191. Does 7 divide k?
True
Suppose 2*q = -0*o + 5*o - 2972, 580 = o - 4*q. Does 18 divide (-4)/22 + o/11?
True
Let l = 15 - 5. Let t be 4/((-5)/((-60)/(-8))). Let a = t + l. Is a a multiple of 4?
True
Let h be 24/10*(-40)/(-3). Let w = 74 - h. Does 20 divide w?
False
Let i(k) = -5*k**3 - 3*k**2 - 3*k + 8. Let s(x) = -6*x**3 - 4*x**2 - 4*x + 9. Let q(y) = 5*i(y) - 4*s(y). Is 3 a factor of q(0)?
False
Let x be 5 - (3/3 - 2). Is (-4)/x - (-178)/6 a multiple of 14?
False
Suppose -11 = x - 3. Let g(p) = -p**3 - 9*p**2 - 10*p - 11. Is g(x) a multiple of 3?
False
Suppose 2*z + 3 = 3*z. Suppose -5*l - 3*x + 67 = 0, -l + 4*l - 13 = 5*x. Let c = l - z. Does 8 divide c?
True
Let a(k) = 2*k + 1. Is 11 a factor of a(10)?
False
Suppose 22 = -5*s + 392. Is 5 a factor of s?
False
Suppose p + 0*u + 76 = 3*u, 3*p + 208 = 5*u. Let y = p - -96. Does 12 divide y?
False
Let l(v) be the second derivative of 0 - 7/12*v**4 + v - 1/20*v**5 - 7/2*v**2 - 7/6*v**3. Is l(-7) a multiple of 13?
False
Let i = 64 - -8. Suppose -l - 3*l = -i. Is l a multiple of 6?
True
Does 18 divide (-538)/(-5) + (132/30 - 4)?
True
Let n(t) be the third derivative of -t**6/120 + t**5/10 + t**4/6 + t**3/3 - 2*t**2. Does 13 divide n(6)?
True
Let q(k) = 8*k + 10. Does 14 divide q(4)?
True
Let x be (-2)/4 + (-20)/(-8). Let t(l) = 0*l**3 + 1 + 4*l**3 - x. Does 2 divide t(1)?
False
Let t be (-2)/(-8) - (-105)/(-20). Let g = 19 + t. Is 6 a factor of g?
False
Let p = 12 - 8. Suppose 3*m - p*n - n - 97 = 0, -5*n + 71 = 4*m. Does 12 divide m?
True
Let s(z) = -5*z + 1. Is 11 a factor of s(-4)?
False
Let q(y) = 5*y**3 + 2*y - 7. Is q(3) a multiple of 14?
False
Suppose -2*q = -4 - 6, 60 = 3*i + 3*q. Is 2 a factor of i?
False
Suppose -4*k = 3*v - 137, 5*k + 31 = 2*v - 68. Is 25 a factor of v?
False
Let m = -18 + 32. Does 14 divide m?
True
Let y(p) = 2*p**3 - p**2 + 1. Let d be y(1). Let o(l) = l**3 - 2*l**2 + 2*l + 2. Is 6 a factor of o(d)?
True
Let f(s) = 5. Let p(c) = -c + 9. Let g(y) = 9*f(y) - 4*p(y). Is g(6) a multiple of 11?
True
Let u = 29 + -42. Let s(l) = l**2 + 12*l - 3. Let n be s(u). Is 46/n - (-2)/5 even?
False
Let o = -2 + -2. Is 10 a factor of 410/18 - o/18?
False
Suppose 0 = 2*z - 8 - 4. Let s(n) = n**3 - 3*n**2 - 2*n - 12. Is 25 a factor of s(z)?
False
Suppose -x = x + 26. Let z = 21 + x. Does 3 divide z?
False
Let a = 20 + -6. Let j = -3 + 1. Let v = a - j. Is 10 a factor of v?
False
Let b(c) = c**3 + 10*c**2 + 10*c + 12. Let v be b(-9). Suppose -v*w = 2*w - 115. Does 6 divide w?
False
Let v(x) = x**2 - 4*x - 8. Let m be v(-8). Suppose -a = 4*a - 2*q - m, 4*a = -2*q + 56. Is a a multiple of 8?
True
Let a = -5 - -9. Let l be a/10 + (-34)/10. Does 2 divide 4*1 + l/(-3)?
False
Let n(y) be the third derivative of 7*y**5/12 - y**4/12 - y**3/6 + 3*y**2. Is 9 a factor of n(-1)?
True
Suppose 11*o - 9*o - 24 = 0. Is 12 a factor of o?
True
Suppose 3*k = -2*q - 2*q, -3*k + 4*q = 0. Suppose 4*u = 4 - k. Does 2 divide 1 + 2 + 0 + u?
True
Let m = 91 + -65. Is m a multiple of 9?
False
Let t be 2/6 + 13/(-3). Does 2 divide t/(-6) + (-12)/(-9)?
True
Let f = 28 - 3. Suppose 2*o + 25 = 5*q - o, -5*q = 2*o - f. Suppose q*z - x - 83 = 0, -4*x = -4*z + 6 + 54. Is 8 a factor of z?
False
Suppose 2*k - 38 = k. Is 19 a factor of k?
True
Let v be -116*3/3*-1. Suppose 2*i + v = 4*z, 3*i = 3*z - 98 + 8. Is z a multiple of 15?
False
Suppose 1 - 10 = -3*w. Suppose -g = -3*g - 5*z + 34, -w*z - 30 = -3*g. Is 12 a factor of g?
True
Does 3 divide ((-3)/(15/(-80)))/2?
False
Let q(d) = -d - 8. Let y be q(-8). Suppose y = 5*n, n = -4*s + 5*n + 184. Is 27 a factor of s?
False
Let d = 36 - -48. Does 28 divide d?
True
Suppose 8 + 56 = 2*g. Does 8 divide g?
True
Suppose -4*a = 5*m - 592, 9*m = 4*m - 5*a + 595. Let z = m - 65. Does 20 divide z?
False
Let k(g) = -2*g**2 - 4*g - 2. Let m be k(-3). Is m*(0 - 3/2) a multiple of 6?
True
Suppose 4*r - 4*g = 224, 0*r + 176 = 3*r - 5*g. Is 9 a factor of r?
False
Let m(x) = -2*x + 11. Let h be m(7). Is 30 a factor of (-1 - h)/((-1)/(-30))?
True
Suppose -15 = 3*f - 7*f + 5*a, -a = -1. Suppose 2*r - f = 15. Is 10 a factor of r?
True
Let n = -97 - -261. Is 41 a factor of n?
True
Le