 5 a factor of w?
True
Suppose 5*y - 12 = 4*d, 4 - 20 = 2*d - 5*y. Suppose d + 54 = 4*a. Is 7 a factor of a?
True
Suppose -4*s - 4*m = -416, 0 = 5*s - 2*m - 2*m - 538. Is 28 a factor of s?
False
Let a(v) = v**2 - 2*v + 9. Let s be a(7). Suppose -4*b - s - 28 = 0. Does 19 divide 2/(-6) + (-780)/b?
False
Suppose 16*n = 13*n - 21. Let c(f) = -f**2 - 9*f - 4. Is 10 a factor of c(n)?
True
Suppose 13 - 3 = 5*y. Suppose a = -4*g + 31, g + y = -a + 12. Does 7 divide g?
True
Let d(z) = 40*z - 23. Is d(6) a multiple of 40?
False
Suppose 3*n - 157 = 5*b, -2*b + 0*b - 4*n = 68. Let z = 84 + b. Does 13 divide z?
True
Let f = 13 - 3. Is 3 a factor of f?
False
Let n(u) = 54*u**2 - 5*u - 6. Let v(q) = -55*q**2 + 4*q + 5. Let d(s) = -4*n(s) - 5*v(s). Is 12 a factor of d(-1)?
False
Let o(a) = 30*a**2 - 1. Let t be o(-1). Suppose s = -j + 16, s = -2*j + t - 2. Is 11 a factor of j?
True
Is 18 a factor of (3/(-9))/(1/(-207))?
False
Suppose 28 = 2*l - 10. Is 19 a factor of l?
True
Suppose 5*h + 150 = 8*h. Is h a multiple of 12?
False
Let g(u) = -4*u + 1. Let r be g(-4). Let h = r - 10. Suppose -k + 4 = -h. Is 4 a factor of k?
False
Let c(m) = -9*m - 1. Let s be c(-1). Is 102/(-4)*s/(-3) a multiple of 24?
False
Let f(c) be the first derivative of c**2/2 + 13*c + 2. Is 18 a factor of f(9)?
False
Suppose -6*u = -10*u + 484. Is u a multiple of 11?
True
Suppose -26 = 2*r - 4*j, r + j - 14 = 4*r. Let u be 3 - (2*126)/r. Suppose 2*k + k - u = 0. Is 17 a factor of k?
False
Let c(q) = q**2 + 6*q - 1 + 3 - 5*q. Let r(i) = -i**2 - 3*i + 1. Let w be r(-4). Does 3 divide c(w)?
False
Let p(t) = t + 1. Let i be p(-1). Suppose 4*c - 3 - 5 = i. Let y = 18 - c. Is y a multiple of 7?
False
Let l(w) = w**2 - 7*w - 4. Let r(y) = 5*y + 4. Let s(i) = 6*i + 3. Let c(q) = -4*r(q) + 5*s(q). Let v be c(1). Is 14 a factor of l(v)?
True
Suppose 0 = -0*x + 3*x - 60. Is x a multiple of 10?
True
Suppose -375 = -3*l - 5*w, 2*l - 2*w - w - 250 = 0. Let k be -77 + (-5)/((-10)/4). Let s = l + k. Is 18 a factor of s?
False
Suppose -5*x - 3*i = -13 - 137, -3*i = 0. Is x a multiple of 6?
True
Let b be ((-78)/8)/((-2)/(-8)). Let q = 6 - b. Suppose 0 = -5*t - q + 220. Is t a multiple of 11?
False
Let n(h) = h**3 + 10*h**2 + 8*h + 13. Does 14 divide n(-5)?
True
Let u be (-93)/(-7) - 4/14. Suppose 4*y = -3*b + 14, -2*y = -b + 5 + u. Suppose 4*r - 2 = b. Is r a multiple of 3?
True
Let v = -84 - -167. Suppose -2*a - 4*i + 15 = -v, 0 = a + 4*i - 53. Is 10 a factor of a?
False
Suppose 0*h - 13 = -h. Let z = h - 6. Is z a multiple of 3?
False
Let z be 0 + -3*(-4)/6. Suppose -f = -z*f + 5. Suppose 0 = -x + 5 + f. Is 5 a factor of x?
True
Let d be 0/(-2) + 3 + 1. Suppose -d*v - 4*g + 16 = 0, -4*v + 0*v + 10 = -2*g. Is 5 - (0 - (v - 2)) a multiple of 3?
True
Let g = -3 + -5. Does 6 divide (g/12)/(2/(-51))?
False
Let u(k) be the first derivative of 5*k**2/2 - 8*k + 2. Suppose 24 = 4*c - c. Does 16 divide u(c)?
True
Let g = 9 + -4. Suppose -2*m + 3*u = -30, -g*m + 2*u - 4*u + 75 = 0. Is 4 a factor of m?
False
Suppose -4*g = 4*c - 4, 4*g = -4*c - c + 8. Let x be c/(-3) + 4/(-6). Does 10 divide (84/9)/(x/(-3))?
False
Let k(h) = -h**3 + 20*h**2 - 17*h - 10. Does 4 divide k(19)?
True
Let x(t) = 1 - 3 + t**2 + 0*t**2 + t. Let n be x(2). Is 6 a factor of n - -1*(-2 - -4)?
True
Suppose -2*d = -6*d + 16. Let q = d + -2. Is 2 a factor of q?
True
Suppose 4*j = -d + 190, 3 - 13 = 5*d. Is 12 a factor of j?
True
Let f be (-8)/20 - (-32)/5. Suppose 3*k - 6*k - f = 0, -5*r + 10 = -5*k. Let a(d) = d + 13. Is 6 a factor of a(r)?
False
Let d = 148 - 33. Is d a multiple of 27?
False
Suppose -2 - 250 = -3*b. Is 21 a factor of b?
True
Let c(i) = 7*i - i**2 - 16 + 16. Let v = -8 - -13. Is c(v) a multiple of 5?
True
Let d(g) = 2*g**2 + g**2 - 7*g + 7 + g**3 - 3*g**2 + 6*g**2. Does 5 divide d(-7)?
False
Does 8 divide -2 - 1*-55 - -3?
True
Let n be (1*-25)/1*-1. Let o(g) = 4*g**3 - g**2 + 2*g - 1. Let q be o(1). Suppose -u = q*u - n. Is u even?
False
Let l be 6 + (-2 + 8)/(-3). Let p = 7 - l. Is -1 + (27*1)/p a multiple of 8?
True
Suppose 0*d = -4*d. Suppose d = -2*j + 73 - 21. Is 13 a factor of j?
True
Let o(p) = -p - 16. Let j be o(-7). Let h be 137/j - 6/(-27). Let i = h + 62. Is i a multiple of 18?
False
Let x(t) = 5*t**2 + 2*t - 56. Does 13 divide x(6)?
False
Let u(f) = -14*f - 6. Let r(d) = 14*d + 5. Let q(i) = -5*r(i) - 4*u(i). Let v be q(-2). Let h = 56 - v. Is 14 a factor of h?
False
Let w be 2/3 + 44/6. Let y = w + -6. Does 2 divide y?
True
Let y(h) = 13*h**2 + 31*h + 10. Is 20 a factor of y(-5)?
True
Let b = 45 - 3. Does 14 divide b?
True
Let x(s) = 25*s - 12. Let n be x(6). Suppose 3*p = -d + 5*p + 41, 4*d = -5*p + n. Is d a multiple of 28?
False
Is 66/(3 + -1)*1 a multiple of 11?
True
Let s be (-3)/(-15) + 27/15. Suppose -s*b + 3*b = -5*m + 29, 3*m = 3*b - 69. Is 6 a factor of b?
True
Let k(d) = 2*d - 8. Let a be (1/2)/(6/96). Is 4 a factor of k(a)?
True
Suppose -45 = -4*s - 5*y, -s - 4 = -3*y + 6. Let x = -3 + s. Is (27/x)/(18/24) a multiple of 16?
False
Let u(t) = -10*t + 10. Is 20 a factor of u(-9)?
True
Let m = -1 - -1. Suppose m = 5*d - 50. Suppose -v = p - d, -5*v + 5 = p - 29. Is 3 a factor of v?
True
Let b = 14 - 11. Does 3 divide b?
True
Let f(m) = -130*m + 8. Is 10 a factor of f(-2)?
False
Suppose 4*m - 24 = 12. Is 9 a factor of m?
True
Let y(i) = i**3 + i**2 - 3. Let w be y(0). Let m = w - -18. Is 5 a factor of m?
True
Suppose -5*t + 0*t = -4*k - 7, -3*t - 9 = 2*k. Let f = 0 + t. Is (-3)/f*(-42)/(-9) a multiple of 6?
False
Suppose 0 = -7*z + 3*z - 4. Let s be 15/3 + 1*z. Suppose -s*j = -7 - 69. Does 19 divide j?
True
Suppose 0 = 4*g - 8, -r - r = 3*g - 16. Suppose -5*t + 40 = -r. Let l(c) = c + 5. Is l(t) a multiple of 13?
False
Let r(c) = 2*c**2 - 3*c + 1. Let f be r(2). Let a be (1 + -2 - -3) + f. Suppose 2*s = -a*g + 4*s + 60, 55 = 5*g - s. Does 4 divide g?
False
Let t(n) = -3*n**2 - 5*n + 3. Let x(d) = 2*d**2 + 5*d - 3. Let b(u) = -3*t(u) - 4*x(u). Is 3 a factor of b(6)?
True
Let g(i) = -4 - i - 1 + 7. Let d be g(0). Suppose 4*t + 3*u = 25, -d*u - 16 = -t - t. Does 3 divide t?
False
Let v(d) = -3*d**3 + 11*d**2 - 21*d - 17. Let h(u) = 2*u**3 - 5*u**2 + 11*u + 9. Let w(y) = -5*h(y) - 3*v(y). Is 5 a factor of w(-9)?
True
Suppose 0 = 4*z - 32 + 8. Does 10 divide ((-8)/z)/(-4)*30?
True
Let x be (298/(-8))/((-3)/(-12)). Let a = x + 217. Is a a multiple of 21?
False
Suppose -5*l - 26 = -4*l. Let j = l + 10. Let u = j + 26. Does 5 divide u?
True
Suppose 10*t + 27 = 13*t. Does 2 divide t?
False
Suppose -3*k + 6*k - 132 = 0. Suppose -h + k = 3*h. Does 4 divide h?
False
Let g = -8 - -27. Suppose 4*v = g - 3. Is (v - 5)/(2/(-20)) a multiple of 4?
False
Let m(v) = v**3 - 6*v**2 + 4*v + 2. Let u be m(6). Suppose 0 = -0*a + a - u. Is 15 a factor of a?
False
Suppose -2 - 1 = -s. Suppose 4*f - s = -19. Let z = f + 10. Does 6 divide z?
True
Suppose -5*x + f = 934 + 2510, 5*f - 20 = 0. Does 9 divide (-2)/4*x/8?
False
Suppose -4*r - 123 = 77. Let f be r/(-8) + (-3)/(-4). Suppose -3 = -2*x + f. Does 4 divide x?
False
Let r = -9 + 9. Suppose 0 = 4*f - x - 88, f + r*x - 5*x = 3. Is 14 a factor of f?
False
Let u = 790 + -495. Is 59 a factor of u?
True
Let t(b) = -7*b + 4. Let y be t(8). Is y/(-14) - (-10)/35 a multiple of 2?
True
Let y(m) = m**2 + 1. Let b be y(3). Suppose 0 = 2*h - 7*h + b. Is 5 a factor of h/(-8) + (-66)/(-8)?
False
Suppose 3*s - 8*s + 105 = -2*v, -2*s = 5*v - 71. Is s a multiple of 6?
False
Let f(u) = -u**3 - 2*u**2 + 13*u + 6. Is f(-6) a multiple of 9?
True
Let t(g) = g - 2 - 4 + 2. Let w be t(6). Does 9 divide (-33)/(-2) + 3/w?
True
Let h be ((-2)/5)/((-8)/20). Let q = -1 + h. Suppose q = -0*i + i - 4*k + 1, 0 = -i - k + 4. Does 2 divide i?
False
Let r = 12 - 7. Suppose r*d = 5, -1 - 2 = -2*s + 5*d. Suppose -3*p = -s*p + 41. Is p a multiple of 12?
False
Let p be 8/(0 + 3/15). Suppose -p = -2*a - 3*a. Suppose a*x - 80 = 3*x. Is x a multiple of 11?
False
Let m(v) = 3*v**2 + 14*v - 13. Let z be m(-11). Suppose -b - 3*o = -60, 0 = -5*b + o + z + 88. Is 19 a factor of b?
True
Let y(v) = v**3 + 6*v**2 + 9*v - 4. Let b(s) = 2*s**3 + 7*s**2 + 10*s - 4. Let u(t) = -2*b(t) + 3*y(t). Is u(4) a multiple of 8?
True
Let f be ((-40)/(-6))/((-3)/(-9)). Suppose -2*w = 3*w - f. Suppose 3*q + 23 = w*q - 5*n, -q + 20 = -4*n. Is 5