iple of 6?
True
Suppose i = 6*i - 10. Suppose -9 = 4*o - 29. Suppose -w + i*p = -26, -5*w + o*p + 22 = -83. Is 16 a factor of w?
True
Suppose 0 = d - g + 5, 3*d + 6*g = g - 55. Does 10 divide (-4*1)/(4/d)?
True
Suppose 3*k + 4*q + 7 = -4, -2*k - 26 = -2*q. Let t(g) be the third derivative of g**6/120 + 3*g**5/20 - g**4/8 - 11*g**3/6 + 14*g**2. Is 6 a factor of t(k)?
False
Let k(u) = -u**2 - 16*u - 3. Let r be k(-8). Suppose -3*q + 2 = -r. Is 7 a factor of q?
True
Suppose 5*b + 5*l - 131 = -36, 2*l = -5*b + 104. Let a = b - 10. Does 6 divide a?
True
Let m be 1 + -1 + -1 + 1. Let g be (m + -35 + -1)/(-1). Let x = 78 - g. Is 21 a factor of x?
True
Let s(c) be the third derivative of -c**9/60480 + c**8/3360 + c**6/144 - c**5/60 - c**2. Let w(n) be the third derivative of s(n). Does 5 divide w(6)?
True
Is -17 + 32 + (0 - -4) even?
False
Suppose -c = 3*y - 339, 7*c - 564 = -5*y + 5*c. Is y a multiple of 19?
True
Suppose -2*q + 4*q - 238 = 0. Let j = q - 85. Is 31 a factor of j?
False
Suppose -4*g + 28 = -5*a, -2*a + 30 = 5*g - 7*a. Suppose 5*u = -f + 3*u + 28, g*f + 5*u = 56. Is f a multiple of 14?
True
Suppose -7*q + 10*q = 48. Is q a multiple of 4?
True
Let z be 29/2 + (-1)/(-2). Let i be (1 + -3)/((-4)/10). Is i/(z/(-12))*-2 a multiple of 4?
True
Let q = -11 + 8. Let r be (2*q)/((-2)/1). Suppose 5*v - r*y + 10 = 99, 86 = 5*v - 2*y. Is 10 a factor of v?
False
Suppose -s = g - 31, 5*g + 0*g = -3*s + 85. Is s a multiple of 35?
True
Let j(k) = 3*k**2 - 3*k - 3. Let c be ((-1)/2)/(2/(-12)). Is j(c) a multiple of 5?
True
Let j(u) = 3*u - 8. Let v = 16 - 24. Let h be j(v). Is 22 a factor of 3/((-18)/h)*12?
False
Let s = 36 + 4. Is 40 a factor of s?
True
Suppose 0 = 2*l + 3*l + 50. Let o be (-3)/(-1)*l/(-15). Let f(x) = 9*x**2 - 4*x + 2. Is f(o) a multiple of 13?
False
Let o(n) = -3*n**2 + 7*n + 6. Let b(y) = -5*y**2 + 11*y + 9. Let j(s) = -5*b(s) + 8*o(s). Let z be j(0). Suppose z*p = 3 + 3, 5*p - 21 = -r. Does 3 divide r?
False
Let c = 21 + 1. Does 16 divide c?
False
Does 7 divide (4 + 32/(-10))*85?
False
Let v be -1*(-1 - (1 - -6)). Suppose o + o = v. Suppose o*n = n + 36. Is 6 a factor of n?
True
Suppose 2*i - 4*h - 151 = -13, 352 = 5*i - 3*h. Let r = i + -43. Is r a multiple of 9?
False
Let a(i) = -i - 8. Let z be a(-9). Suppose 0 = 5*y + z - 231. Is y a multiple of 14?
False
Suppose 4*k - 484 = -c - 45, 2*c - 548 = -5*k. Does 22 divide k?
True
Let u(a) = -a**2 + 11*a - 6. Let c be u(7). Let q = -5 + c. Does 17 divide q?
True
Let o(w) be the third derivative of w**4/12 + w**3 - 3*w**2. Is o(6) a multiple of 12?
False
Suppose -14 = -3*o + 2*o. Does 13 divide o?
False
Let t(q) = -4*q - 9. Is t(-8) a multiple of 15?
False
Suppose 2*u - 112 + 72 = 0. Is u a multiple of 4?
True
Suppose -9*a + 92 = -8*a. Does 23 divide a?
True
Let w be 15 - (0/(-2) + 0). Suppose 2*c - w - 17 = -r, 3*c = -5*r + 34. Is c a multiple of 6?
True
Suppose 20 = -4*x - 4*g, -3*g = 2*x - 8*g + 3. Let m(r) = 5*r**2 + 2*r + 3. Let p(k) = 11*k**2 + 4*k + 6. Let q(u) = -13*m(u) + 6*p(u). Does 21 divide q(x)?
True
Let c be 3/15 + 11/(-5). Let o be 1/c - (-25)/(-10). Is 2 a factor of (-2)/o*30/4?
False
Suppose 5*q - 4 - 4 = -2*j, -5*q + 4*j - 16 = 0. Suppose q = 4*c + 103 + 277. Let o = -59 - c. Does 24 divide o?
False
Let g be 7/(-1)*(-8)/28. Suppose -4*u = -5*u + g. Is u a multiple of 2?
True
Suppose -8*y + 56 = -6*y. Does 8 divide 142/9 - y/(-126)?
True
Does 15 divide (2 - -5)*24/7?
False
Suppose 0 = -2*h - 5*q + 13, q = -5*h + 3 + 18. Suppose 5*f - 86 = -6. Suppose 0*j - 5*j = -2*w + f, 2*w = -h*j - 2. Is w a multiple of 3?
True
Suppose -5*i + 2*i + 666 = 0. Suppose -o = 3*t - 68, 4*o - 4*t - i - 50 = 0. Does 10 divide o?
False
Let n(g) = g**2 - 9*g + 5. Let w be n(10). Let k = 2 + w. Does 13 divide k?
False
Suppose -3 = -4*o - 19. Let x(r) = -3*r - 3. Is x(o) a multiple of 2?
False
Let m(c) = c**3 + 4*c**2 - 5*c + 5. Let z be m(-5). Suppose 0 = -k + z*k - 12. Suppose -31 = -k*v - 1. Does 10 divide v?
True
Is 28*(-4)/16*-1 even?
False
Suppose -5*s - d + 264 = d, 0 = -5*s + 4*d + 252. Does 26 divide s?
True
Let q(a) = 1 + 4 - 4 - 23*a. Does 14 divide q(-1)?
False
Let p be 1*(-3 - -2 - -5). Suppose 2*j = p + 14. Does 3 divide j?
True
Let h(x) = x - 8. Does 2 divide h(17)?
False
Suppose 98 = -5*n - 3*j - 317, 2*n - 4*j = -166. Let a = n - -158. Does 25 divide a?
True
Let v = 4 + 33. Is 4 a factor of v?
False
Suppose -4*u = -0*u - 12. Let r(j) = -j**3 + 6*j**2 + 2*j - 4. Is 9 a factor of r(u)?
False
Suppose -5*p = -538 + 58. Suppose -f - 3*f = -p. Is 21 a factor of f?
False
Let u = 14 + 2. Suppose 0 = -d + 2. Suppose d*b = -2*b + u. Does 4 divide b?
True
Let i be 1/(-1 + 18/16). Suppose 21 = 3*y - 21. Let b = i + y. Is b a multiple of 10?
False
Suppose -2*d + b - 7 = 11, 2*b = -d + 1. Let w(t) = -2*t - 5. Does 4 divide w(d)?
False
Let h be -14*(-1 - 0)*1. Suppose -z = -3*z - h. Let a(l) = -l**2 - 11*l - 10. Is 9 a factor of a(z)?
True
Suppose x = -7*x + 160. Is 10 a factor of x?
True
Suppose 22*z + 1000 = 27*z. Is 50 a factor of z?
True
Suppose g - 5*u = -0*u + 104, 4*u - 77 = -g. Does 11 divide g?
False
Suppose 0 = 3*b + 2*f - 74, 0 = -8*b + 3*b + 4*f + 138. Is b a multiple of 8?
False
Is -4 + (-3 - -21*15) a multiple of 11?
True
Suppose 2*s + 16 = -2*s - 4*g, 0 = 4*s - 3*g + 2. Is (-1045)/(-25) + s/(-10) a multiple of 21?
True
Let j(a) = -a + 47. Does 28 divide j(-9)?
True
Suppose -5 = 4*n - 1. Is 5/3*(n + 10) a multiple of 8?
False
Let y(b) = -b**3 - 2*b - 1. Let o be y(-1). Suppose -o*d - 4 = -4*d. Is -3*((-104)/6)/d a multiple of 13?
True
Let y = 56 - 19. Is y a multiple of 6?
False
Let t be (-154)/(-49) + 2/(-14). Suppose -t*u = 15 - 45. Does 3 divide u?
False
Let j(s) = -2*s + 1. Let r be j(-4). Let u = r - 5. Suppose 0 = 5*l - 2*k - 148, 0 = l - 2*l - u*k + 12. Is 14 a factor of l?
True
Let h(x) = x**2 + 3*x + 3. Let k be h(-3). Suppose -5*a + 12*a - 28 = 0. Suppose -k*s + 12 = -a*d - 75, s + 2*d - 39 = 0. Is 11 a factor of s?
True
Suppose 2*u = -0*u - 48. Let o = -12 - u. Is 6 a factor of o?
True
Let u = 9 + -21. Is (3/2)/(u/(-112)) a multiple of 13?
False
Let b = 209 + -51. Does 40 divide b?
False
Let f = 2 - 4. Let w be (-40 + 2)*f/(-2). Let s = w + 54. Is s a multiple of 6?
False
Suppose 0 = 5*v + 3*n - 5 - 24, -5*v + 43 = -4*n. Suppose 2*x - v*x + 130 = 0. Suppose -3*r = -j + r + x, 5*j - 88 = -r. Does 14 divide j?
False
Suppose 13*w - 15*w + 108 = 0. Is 9 a factor of w?
True
Does 5 divide -1 + (42*1)/2?
True
Let c = 32 - -87. Does 7 divide c?
True
Suppose 3*b = 1 + 8. Suppose 10 = -5*k - 2*d - b*d, 3*k - d = 6. Suppose 3*o - 14 = k. Is o a multiple of 5?
True
Let c(t) = -t**2 + 10*t - 7. Let a be c(9). Suppose w - 9 + 4 = -3*q, -a*q = 0. Suppose 42 = w*p - 2*p. Does 12 divide p?
False
Is 12*3*(-26)/(-24) a multiple of 11?
False
Let r(w) = w**3 - 1. Let u be r(1). Suppose u = 3*s - v - 35, -3*s = 2*s - 5*v - 75. Is 5 a factor of s?
True
Suppose 0*p + 3*p - 366 = 3*h, 4*h - 352 = -3*p. Does 24 divide p?
True
Let o be (1/2)/(1/(-8)). Does 4 divide 4 + 0*1/o?
True
Let w(b) = -b + 2. Let a be w(2). Suppose a = -3*q + 5*y + 113 - 4, 20 = -4*y. Does 8 divide q?
False
Let s(n) = n + 0 + 0 - 1. Let m be s(-2). Is m/4 + 67/4 a multiple of 8?
True
Suppose 0 = -3*q + 47 - 11. Let k = q + -18. Let t(x) = x**2 + 4*x + 5. Is 6 a factor of t(k)?
False
Suppose -7*r + 456 = 176. Is r a multiple of 40?
True
Let x be (-12)/(-3 - -6) - -8. Does 15 divide (-1 - (-94)/x)*2?
True
Let y(k) = -26*k - 42. Let i(x) = -9*x - 14. Let t(c) = -8*i(c) + 3*y(c). Suppose 4*p - 2*r = -34 - 8, 37 = -4*p - 3*r. Is 23 a factor of t(p)?
True
Let n = 72 - 9. Is n a multiple of 21?
True
Let o = -7 + 10. Suppose -o*h + 8 = -2*h. Is h a multiple of 4?
True
Is 1 + 3 - ((0 - 2) + 1) even?
False
Suppose 7*z = 5*z + 4. Suppose -z*c = 13 + 83. Let i = 101 + c. Is 17 a factor of i?
False
Suppose 0 = y - 2*c + 42, -2*y - c = 3*c + 52. Suppose -172 - 72 = 4*s. Let d = y - s. Does 11 divide d?
False
Let w(l) = l - 5. Let m be w(-5). Let q(h) = -h**3 - h**2. Let k be q(0). Let y = k - m. Is 10 a factor of y?
True
Let k(w) = 4*w**3 - w**2 + w + 6. Is 9 a factor of k(3)?
True
Let r(h) = -h**2 - h. Let v be r(0). Suppose -4*b - 5*o + 195 = v, 3*b - 6*o = -2*o + 123. Does 17 divide b?
False
Let k = -37 - -102. Suppose 5*b = 5