- 5. Does 6 divide a?
False
Suppose -3*x + 31 = -20. Is 6 a factor of x?
False
Let g = -10 - -14. Does 3 divide g?
False
Let w(i) = 67*i - 1. Does 29 divide w(1)?
False
Suppose -2*h + 0*h = -60. Let s = 48 - h. Is s a multiple of 7?
False
Suppose -114 - 41 = -5*y. Is y a multiple of 6?
False
Let a be (-845)/(-15) - (-2)/3. Suppose -b - 2*b = -a. Is b a multiple of 19?
True
Let i(g) = g**3 + 7*g**2 - g - 4. Let h be i(-7). Suppose h*c = -0*c - j + 100, 5*c = -j + 168. Is 17 a factor of c?
True
Let w be 8*1 - (0 + 0). Suppose 0 = 2*k + 2*v - w, 0*v + 4*v - 16 = -5*k. Suppose k = x - 2*x + 46. Is x a multiple of 19?
False
Let y = 23 + -7. Is y a multiple of 8?
True
Let s = -14 - -15. Let a(q) = -10*q**2 + 10*q**2 + 11*q**2. Is 4 a factor of a(s)?
False
Let v(d) = d**3 + 6*d**2 + 3*d. Is 4 a factor of v(-5)?
False
Let x(v) = v**2 - 5*v - 3. Let n be x(-3). Is 5 a factor of (-6)/21 + 111/n?
True
Let v be 0/(1 + 0 + -2). Suppose v = 5*n - 12 - 3. Suppose -29 - n = -l. Is 11 a factor of l?
False
Suppose 3*j + 2*j + 25 = 0. Let p = 5 + j. Suppose 4*y - 12 = p, -4*v - 2*y = -3*v - 46. Does 20 divide v?
True
Let f(a) = -2*a - 11. Let s(r) = -5*r - 32. Let d(z) = -11*f(z) + 4*s(z). Is d(10) a multiple of 5?
False
Let c(d) = d + 4. Let i be c(5). Let o(r) = r**3 - 9*r**2 + 2*r - 12. Is 3 a factor of o(i)?
True
Let v(w) = w**3 - 3*w**2 + w - 1. Let x be v(2). Does 14 divide (-18)/27 + (-74)/x?
False
Suppose 4*n = 3*o - 1011, 7*n - o + 1272 = 2*n. Does 17 divide (2/3)/((-10)/n)?
True
Suppose -3*v = 0, 3*m = 2*v + 62 + 175. Does 21 divide m?
False
Let v be (-4)/(-6) + 8/6. Suppose -117 = -7*n + 4*n + 5*k, -v*n + 4*k + 80 = 0. Is 9 a factor of n?
False
Suppose 4 = 2*l - 6. Does 8 divide (-4)/l - 124/(-5)?
True
Let u(f) = 10 - 2*f - 11*f + f**2 + 18*f. Is u(-4) even?
True
Let s = -14 + 30. Suppose 36 = 4*a + 4*t, 6*t = a + 2*t + s. Let c = a + 4. Does 4 divide c?
True
Let r = -4 + 0. Let x = 5 - r. Is 3 a factor of x?
True
Does 2 divide 20 - 16/(3 + 1)?
True
Suppose 0 = -2*q + 45 + 13. Is 15 a factor of q?
False
Let o(l) = l**3 - 7*l**2 - 9*l + 11. Is 11 a factor of o(9)?
False
Let j = 1 - -1. Suppose 0 = -i - 4*q - 30, -24 = j*i + q - 2*q. Is 682/14 + (-4)/i a multiple of 18?
False
Suppose 0*j = 7*j - 931. Is 10 a factor of j?
False
Let s = 9 - 9. Suppose -45 = -3*x - s*x. Is 5 a factor of x?
True
Let g be (-29)/4 + (-2)/(-8). Let d(y) = y**2 + 8*y + 7. Let m be d(g). Suppose m = -5*s + 18 + 7. Is s a multiple of 5?
True
Let s(t) = 4*t - 20. Is 8 a factor of s(9)?
True
Let a = -59 - -87. Let p(n) = n**3 + 3*n**2 - 5*n - 3. Let j be p(-4). Is a/(j + -3)*-1 a multiple of 7?
True
Suppose -o + 22 = -5. Is o a multiple of 15?
False
Suppose -g = -u, -3*g = 2*u + 3*u + 24. Let t = u - 1. Let y = t + 26. Is y a multiple of 21?
False
Let t = 143 - -81. Suppose 2*h + 4*m - t = 0, 2*h - 88 = h + 4*m. Suppose -3*i = i - h. Is 15 a factor of i?
False
Let w(x) = -9*x**2 + 2*x + 2. Let i be w(3). Let p be (-2)/4 - i/(-2). Let d = 65 + p. Does 14 divide d?
True
Suppose w - 10 = -4*w. Suppose -94 = -w*o - 2*t + 4*t, o + 5*t - 53 = 0. Is o a multiple of 24?
True
Let n = 6 + -6. Suppose 72 = 2*v - n*v. Is 18 a factor of v?
True
Suppose 5*b = 3*y - 6 - 6, -2*y + 8 = -b. Suppose b = 6*x - 3*x + 36. Is 5 a factor of 0/(-1) + -2 - x?
True
Let c = 114 - 10. Does 12 divide c?
False
Does 8 divide (-1)/(-4) + 1190/40?
False
Suppose 2*t = 5*t - 6. Let a be (1/t)/(1/6). Suppose 33 = z + a*c, 4*c = 16 - 4. Is 24 a factor of z?
True
Let g(r) = -r**2 - 7*r + 2 - 3 + 1. Let l be g(-5). Let y(o) = 4*o - 13. Does 27 divide y(l)?
True
Is 8 - (-5 + 1 + 6) a multiple of 3?
True
Let f = -88 - -158. Let k = -40 + f. Is 15 a factor of k?
True
Let m(b) be the first derivative of -b**2/2 - 2*b + 2. Let r(z) = -7*z - 1. Let v be r(1). Is 6 a factor of m(v)?
True
Suppose 142 = 4*m + 14. Is 216/m*(-16)/(-3) a multiple of 11?
False
Suppose 3*g = -0*g - 153. Let p = -58 - -37. Let t = p - g. Is 15 a factor of t?
True
Suppose -m + 37 = 13. Is m a multiple of 3?
True
Suppose -5*d + 4*d = -6. Let p(n) = 9*n + 2. Is p(d) a multiple of 14?
True
Suppose -3*v = -3*p - 393, 5*p + 62 - 217 = -v. Is v a multiple of 28?
False
Let q = 123 - 67. Is q a multiple of 14?
True
Suppose -4*q - 15 = -5*q. Suppose 4*d = d + q. Suppose 4*w + 7 = d*w. Is 4 a factor of w?
False
Let k(w) = w**3 - 8*w**2 + 7*w + 3. Let r be k(7). Let x be (r/(-6) - 0)*2. Let b(q) = 15*q**2 + 1. Does 8 divide b(x)?
True
Does 9 divide (-645)/(-35) - 9/21?
True
Let w(a) be the third derivative of -a**5/60 + a**4/24 + 10*a**3/3 - a**2. Is w(0) a multiple of 20?
True
Suppose 2*u + 2*r - 220 = 0, 0*r + 245 = 2*u - 3*r. Suppose 0 = d + 4*d - u. Suppose 0 = 5*m - 67 - d. Is 15 a factor of m?
False
Let d(w) = -11*w**3 - 2*w**2 - 1 + 5*w**2 - 2*w - 3*w**2. Let p be d(-1). Suppose x + p = 2*x. Is x a multiple of 6?
True
Suppose 56 = 4*b + 4*q, 0 = 5*b - 5*q + 7*q - 58. Suppose b = 5*v - k, -v + 2*v + 14 = -3*k. Is 14 a factor of v/(1 - 0) + 14?
False
Let p(h) = h**3 - 2*h - 1. Let c be p(-1). Suppose c*y - 23 = -y. Is y a multiple of 4?
False
Let u(y) = -y**3 + y**2 + y + 1. Let b(i) = -10*i**3 + 10*i**2 + 8*i + 10. Let t(a) = b(a) - 8*u(a). Let j be t(-2). Suppose -v = v - j. Is v a multiple of 13?
True
Let r be (6 + -1)/((-2)/(-2)). Suppose 3*q = -0*q + 87. Let l = q - r. Is 9 a factor of l?
False
Suppose 8 = v - 40. Let n = 132 - v. Is n a multiple of 25?
False
Let x(m) = -2*m**2 + 4*m**2 - 2*m**2 + 2 - 2*m**2 + m. Let u be x(2). Let t = u - -6. Is 2 a factor of t?
True
Is 5 a factor of 2 - (3 - 2) - -31?
False
Suppose 2*j - 660 = -3*x + 98, -2*j - 10 = 0. Does 16 divide x?
True
Let p(k) = 2*k + 9. Let u = 31 + -22. Is 27 a factor of p(u)?
True
Let p = -14 + 10. Let l(i) = 0*i - 4 - 5*i + 0*i. Is 8 a factor of l(p)?
True
Let o = 32 - -18. Is o a multiple of 13?
False
Let f = -57 - -47. Suppose 2*k - 2*y - 4 = 0, -2*k - 4*y = 3*k + 17. Let g = k - f. Does 3 divide g?
True
Let a(b) = b**2 - 10. Does 2 divide a(-5)?
False
Suppose 23*n - 25*n = -140. Is n a multiple of 10?
True
Suppose -6 = -n - 71. Suppose -457 = 5*v + 2*d, 4*d = -v + 3*d - 92. Let b = n - v. Is b a multiple of 13?
True
Suppose -2*g - 5*g = 7. Does 13 divide (g/(-1))/(6/78)?
True
Let l be (-24)/(-1) + -1 + 3. Let n = -12 + l. Is 7 a factor of n?
True
Suppose 3*p - 5*p = -830. Suppose -4*u + p = u. Suppose 3*o = -7*y + 2*y + u, 0 = 2*o - 4*y - 26. Does 8 divide o?
False
Suppose y = 0, 0*a + 4*a - 3*y - 104 = 0. Is 13 a factor of a?
True
Let q(c) = -c**3 + 5*c**2 - 5*c - 4. Let f be q(4). Is 22 a factor of 2/(-4) + (-532)/f?
True
Let n be (-17)/(-34)*(-1 + 119). Let a = n - 31. Does 6 divide a?
False
Suppose -3*p + 37 = -29. Suppose 3*g + t - 16 = 0, 2*t + 0*t - p = -4*g. Is 2 a factor of g?
False
Does 16 divide (20/3)/(-4*4/(-576))?
True
Let w(c) = -c**2 + 13*c - 9. Is 31 a factor of w(8)?
True
Let i = 47 - -2. Does 14 divide i?
False
Suppose d = 3*d - 32. Is d a multiple of 16?
True
Let d(u) = u + 9. Let k be d(0). Suppose -3*v - 3*l + 6 = 0, -v + 4*l + k = -3. Is v a multiple of 2?
True
Let w = 3 - -2. Suppose -7 = -w*r + 23. Suppose -r*k + 6 = -4*k. Is k even?
False
Suppose 18 = 5*d - 4*i - 0*i, 5*d = -5*i. Suppose -48 = -l + 2*u, -2*u + 72 = l + d*u. Does 27 divide l?
False
Suppose 16 = -t - t. Does 22 divide ((-16)/6)/(t/132)?
True
Let i be ((-8)/6)/(6/(-18)). Suppose -i*b = -b - 36. Does 6 divide b?
True
Let v = 0 + 6. Is 9 a factor of (81/(-12))/(v/(-16))?
True
Let g = 6 - 50. Let y = 24 + g. Let r = y + 38. Is r a multiple of 11?
False
Suppose -3*a + 9 = 0, -4*a + 21 + 15 = -3*r. Does 5 divide 2 - (-6 - r/(-4))?
True
Let b = 23 + -8. Is 3 a factor of b?
True
Let h = -808 + 1193. Is h a multiple of 35?
True
Let n(q) = q**2 - 4*q - 6. Let d be n(5). Let g = 7 - 4. Let l = d + g. Does 2 divide l?
True
Is (-2)/((-3)/3) - (-1 - 22) a multiple of 9?
False
Suppose 10 + 5 = 3*o. Suppose -122 = -o*t + 53. Is 6 a factor of t?
False
Let l(y) = -y**2 - y + 1. Let k(u) = 3*u**2 + 7*u + 7. Let f(i) = k(i) + 2*l(i). Is 27 a factor of f(-10)?
False
Let h = -8 + 24. Suppose 2*o = -0*o + h. Does 8 divide (-142)/(-7) + o/(-28)?
False
Suppose 5*o + h - 46 = 32, 0 = -3*o - 2*h + 51. Is 4 a factor of o?
False
Let n(u) = -u**3 - 4*u**2 + 4*u - 4. Let c be n(-5). Let w be (0/(-1))/(-2)*c. Is 4 a factor o