*z = -41. Suppose 0 = 2*o + 3*o - x - 44, -y*x = 5*o - 24. Is 5 a factor of o?
False
Suppose 4*h - 165 = -m, -10 = 5*m + 5. Let b be 92/6 - (-1)/(-3). Suppose -l + h = 5*u - 5*l, 5*l = -b. Is u a multiple of 3?
True
Suppose -28 = -v + 3*r + 59, -v = -5*r - 97. Does 6 divide v?
True
Let t(d) = 4*d**2 - 4*d + 6. Does 23 divide t(-4)?
False
Let f be (-1)/3 - (-10)/3. Suppose f*w = 6*w - 60. Does 15 divide w?
False
Let c(g) = g**3 + 5*g**2 + 4*g + 5. Let u be c(-4). Suppose 27 = u*a - 273. Does 19 divide a?
False
Is 3 a factor of (1 - (3 - 5)) + 10?
False
Let k(p) = 10*p**2 + 5*p - 50. Is 34 a factor of k(6)?
True
Let s be (9/(-6))/(3/16). Does 12 divide 6/s + 621/12?
False
Suppose 4*j - 16 = 0, 2*j = 4*m + 3*j - 12. Let a be (-2)/((4/(-5))/m). Is (-2)/(-3)*(a - -4) a multiple of 6?
True
Let f(v) = -107*v + 15. Is 28 a factor of f(-3)?
True
Let h(m) = m + 4. Is h(2) a multiple of 3?
True
Suppose 0*u + 98 = 2*u. Is 7 a factor of u?
True
Suppose -3 = z - 1. Let c = 5 - z. Does 3 divide c?
False
Suppose h - 89 = -27. Is h a multiple of 11?
False
Let k be (28/4)/(-1 - 0). Let y = -1 - k. Let f = 13 - y. Does 3 divide f?
False
Suppose 4*c = -28 + 132. Does 13 divide c?
True
Let z = -3 + 72. Does 2 divide z?
False
Suppose c + 4*c = -o + 65, 0 = 5*c - o - 55. Suppose 0 = -4*i + 3*v + 75, i + 0*i = 3*v + c. Does 7 divide i?
True
Suppose -3*v - 2*m + 370 = 0, -2*v + m + 230 = -m. Does 20 divide v?
True
Let v = 4 - -1. Let a(r) = 9 + v*r**2 + 4*r - 12 - 2*r. Is a(2) a multiple of 12?
False
Let x(r) = 3*r**2 + 4*r + 1. Suppose -26 = 5*q - 11. Is 9 a factor of x(q)?
False
Let l be (4/5)/(2/5). Suppose 0*f + 52 = l*f. Is 13 a factor of f?
True
Let u be -1 - ((-21)/3 + 3). Suppose -3*w + d = -1, 3*d = u*w - 3 - 0. Suppose -3*m + 5*z + 89 = 0, w*z - z = -4*m + 147. Is m a multiple of 19?
True
Let i be 6/2*(0 + -1). Suppose 0 = -4*o - o + 4*d + 31, -10 = -o - 3*d. Let k = o + i. Does 4 divide k?
True
Suppose 0 = -2*d + d. Suppose 3*p - 2 - 10 = d. Suppose -5*v - 26 = -2*q - v, p*q = v + 80. Does 7 divide q?
True
Suppose 400 = j + j. Suppose -3*p - j = -56. Let y = p + 79. Is 12 a factor of y?
False
Let n(c) = 2*c**3 - c + 1. Let x be n(1). Suppose -x*y = w + 7 + 281, -20 = -5*w. Is 13 a factor of (-8)/(-12) + y/(-6)?
False
Let v(o) = 4*o. Let b(r) = -5*r - 1. Let p(q) = 3*b(q) + 4*v(q). Is 2 a factor of p(10)?
False
Let p = -1 + 1. Suppose p*z = 5*z. Suppose 2*m - 63 = 3*g, -2*m + 7*m - 3*g - 135 = z. Is 12 a factor of m?
True
Let c be 39/4 + (-1)/(-4). Let j(d) = d**2 - 6*d - 2. Does 19 divide j(c)?
True
Let t(b) = 2*b - 2. Does 3 divide t(4)?
True
Let p be (-14)/35 + (-193)/5. Let s = p - -64. Suppose -3*i + s = -3*u - 20, -5*u + 24 = 4*i. Does 11 divide i?
True
Let s = 42 - -6. Suppose 5*u - 4*d = -0*u + 222, u - 2*d - s = 0. Is 21 a factor of u?
True
Suppose 864 = 4*u - 4*q, 3*u + 3*q - 4*q = 648. Is u a multiple of 27?
True
Let l(f) = -51*f - 41. Does 50 divide l(-4)?
False
Suppose -2*q = q + 18. Does 10 divide (-2)/((q/(-3))/(-20))?
True
Let p = 61 + -29. Is 8 a factor of p?
True
Let b(a) = 2*a**2 + a + 160. Does 16 divide b(0)?
True
Is (1/2)/((-8)/(-480)) a multiple of 15?
True
Suppose q + q = -2*a + 72, -2*q = a - 37. Suppose 4*g = -g + 275. Suppose -2*l + a = 3*f - 3*l, -5*l = -3*f + g. Does 5 divide f?
True
Let u be (8/(-4))/(2/(-73)). Let k = 103 - u. Does 15 divide k?
True
Suppose 3*v + 216 = 6*v. Is v a multiple of 8?
True
Let l(x) be the second derivative of 0 + 2*x - 3/2*x**3 + 1/20*x**5 + 5/12*x**4 - 2*x**2. Is 5 a factor of l(-6)?
False
Let t be ((-1)/2)/((-1)/28). Let i be -4*(-1 + 0)*-2. Let c = t + i. Is c a multiple of 3?
True
Let h be (-54)/(-13) + 6/(-39). Suppose 5*t - 284 = h*f, -4*f - 38 = -2*t + 78. Does 14 divide t?
True
Suppose -h = -2*h + 54. Suppose 0 = -3*g - 4*m - h + 170, -79 = -2*g - 3*m. Does 8 divide g?
True
Let m = 37 - 14. Suppose m = 4*t - 61. Is t a multiple of 11?
False
Let m(l) = l**3 + 4*l**2 + l + 4. Let x be m(-4). Let y be (-4 + x)/(-1 - 0). Is (5 + 4)/(6/y) a multiple of 3?
True
Let g(a) = 79*a - 9. Is g(2) a multiple of 15?
False
Let s(l) = -l**2 + 1. Let n be s(0). Suppose 6*p - 3*p - n = 5*i, -4*i = -p - 9. Is 2 a factor of p?
False
Let b be (-2 + 4 - -2) + 1. Suppose 2*c = -2*o + 20, -15 = -o - 5*c - b. Does 3 divide o?
False
Let f(k) = -16*k + 1 - 2 + 6*k. Suppose 2*v - 2*z = 8, 0 = 4*v - 2*z + 3 - 9. Is f(v) a multiple of 9?
True
Suppose j - 3*u - 25 = 0, 5*j = 2*j - 3*u + 15. Does 3 divide j?
False
Suppose -5*x + 42 = -33. Suppose x = z + 3*m, 1 = 3*z - m - 34. Is z a multiple of 6?
True
Let i be (-80)/(-3) + (-4)/6. Let c = i + -11. Is 15 a factor of c?
True
Let f(t) = 17*t**2 + 6*t - 6. Let x be f(-5). Suppose 20 = 4*m, -2*u = -6*u + 3*m + x. Is u a multiple of 26?
False
Let i(w) = 12*w**2. Let t(o) = o**3 + 6*o**2 + o + 7. Let k be t(-6). Is 12 a factor of i(k)?
True
Suppose -x - 1 = -4. Is (x + -2 - 0) + 20 a multiple of 17?
False
Let k(m) = -16*m + 65. Does 33 divide k(-14)?
False
Suppose 0 = -2*i + 4*d - 36, -d + 54 = -3*i + 2*d. Let h = i - -35. Is h a multiple of 17?
True
Let w be (0 - 76) + (-2)/2. Is 12 a factor of ((-594)/w)/((-6)/(-28))?
True
Suppose 0 = 4*n - 14 - 2. Let h = 15 - n. Is h even?
False
Suppose -5*n = -5*r - 70, 2*r = 4*n + 15 - 69. Does 13 divide n?
True
Let o = -6 - -8. Suppose o*k + 2 = 10. Suppose 2*n + 3 = i - k*i, 0 = -2*n - 4*i - 8. Does 4 divide n?
False
Suppose -3*p + 105 = -4*h, -2*h + p + 6 = 59. Let z(c) = 9*c + 11. Let g be z(-6). Let l = h - g. Does 8 divide l?
True
Let b(a) = 36*a + 2. Let m be b(-1). Let h = -14 - m. Is h a multiple of 5?
True
Let r(d) = 1 + d**3 + 2 - 4*d**2 + d**2. Let k be r(3). Suppose -25 = 3*a - 5*a - v, 32 = k*a - 4*v. Is 6 a factor of a?
True
Suppose 4*o - 159 = -5*v, v - 2*v - 69 = -2*o. Does 11 divide o?
False
Let j(o) = o**3 - 8*o**2 + 7*o - 11. Does 15 divide j(8)?
True
Suppose -z + 154 = -5*p, -12 = 3*p - 7*p. Suppose z = 2*x + 3*x - 3*g, x + 5*g = 17. Does 8 divide x?
True
Suppose -5*x + 303 = 83. Is 22 a factor of x?
True
Let u(l) = l**2 + 3*l + 3. Does 9 divide u(5)?
False
Suppose 8 = 3*u - 5*l - 159, 4*u + 3*l - 184 = 0. Is u a multiple of 26?
False
Let r = -32 + 38. Does 3 divide r?
True
Suppose -3*p = q - 40, -p + 180 = 5*q + 4*p. Let k = 69 - q. Is k a multiple of 19?
False
Is 8 a factor of ((-68)/51)/(1/(-66))?
True
Let p be (-2)/6 + (-46)/6. Let i be 30 - 1*(6 + -4). Let w = i - p. Is 13 a factor of w?
False
Suppose 57 = -2*x + 5*x. Is x a multiple of 14?
False
Let d be (10/4)/(1/(-12)). Let f = 54 + d. Is f a multiple of 8?
True
Let q be (0/1)/(4 - 2). Suppose 4*u + t = 25, 0*u = -3*u + 3*t. Suppose u*o = -q*o + 130. Does 13 divide o?
True
Let m(x) = 21*x + 1. Does 11 divide m(1)?
True
Suppose -27 = -5*m + 8. Suppose 0 = -5*x - m*j + 4*j + 11, -8 = -5*x - 4*j. Let r(i) = 4*i - 6. Is r(x) a multiple of 10?
True
Suppose -2*t - 5 = 3*t. Does 14 divide (28/6)/(t/(-3))?
True
Suppose -o = 3*x - 98 - 234, -3*x = -4*o - 322. Is 10 a factor of x?
True
Let t = 808 + -489. Is t a multiple of 11?
True
Let t = -8 - -5. Let i(a) = a**3 + 4*a**2 + 2*a. Let d be i(t). Suppose -5*h = 5*m - 35, -4*h - 2*m + d*m = -33. Is h a multiple of 3?
False
Let m(j) = 4*j**3 - 3*j**2 + 2*j + 12. Does 33 divide m(3)?
True
Let x(d) = 6*d**2 + 10*d + 4. Is 40 a factor of x(-6)?
True
Let u be -1*3/6*16. Let j = 2 - u. Does 6 divide 8/j*(14 - -1)?
True
Suppose -3*t = -2*j - 17, -4*j = 3*t + 5 - 16. Does 2 divide t?
False
Suppose 2*p + 16 = 4*i, -5*p + 0*p = 3*i - 12. Suppose 4*k + 0 - i = 0. Is 3 a factor of k - 7*(-1 + 0)?
False
Let a(f) = 3*f**2 + 7*f - 16. Is a(-7) a multiple of 8?
False
Let s(y) = -y. Let n(j) = -2*j + 3*j + 4*j. Let c(b) = -4*n(b) - 15*s(b). Does 7 divide c(-3)?
False
Suppose 5*h - 144 = t, h - 33 = -0*h - 4*t. Is 7 a factor of h?
False
Let w(x) = -2*x - 5. Let f be w(-5). Is 7 a factor of (-3)/(-15) + 104/f?
True
Let w(h) = h**3 - 7*h**2 + 8*h + 7. Is 3 a factor of w(6)?
False
Suppose 29*l = 35*l - 1098. Is l a multiple of 18?
False
Let g(a) = a - 1. Let b(n) = 5*n - 23. Let t(f) = -b(f) + 6*g(f). Suppose 2*l + 8 = i - 5*i, 3*i - 3*l = 12. Is t(i) a multiple of 16?
False
Suppose 0 = -a - 3*a - 12. Is 10 a factor of 5/(a/(-6) + 0)?
True
Is 34 a factor of 10/(-15) + (-670)/(-6)?
False
Suppose -2*y + 3*h = 8*h - 184, -276 = -3*y - h. Does