*o - 99. Suppose z + 2 = h, -3*z - 5 = -3*h - z. Let p = h + o. Is 14 a factor of p?
True
Let h be (-1)/(-2) + 1/2. Suppose -4*u = -2*u - 12. Let f = u + h. Does 7 divide f?
True
Let w(g) be the first derivative of g**2 - 9*g - 4. Is w(10) a multiple of 6?
False
Let s = 10 - 4. Suppose 18 = -4*b + s*b. Is b a multiple of 9?
True
Suppose 6 - 18 = -3*u. Suppose -u*x + 4*h + h = -56, 3*x - 69 = -3*h. Is x a multiple of 19?
True
Suppose 0 = 3*h - 0 - 15. Suppose -y - h*b + 82 = 2*y, y + 5*b = 24. Suppose -2*c - 4*w = 10, 9 - y = -c + 3*w. Is c even?
False
Let w(y) = 2*y**2 - y + 1. Let h be w(1). Let a = h - -7. Does 9 divide a?
True
Let l(h) = h**3 + 7*h**2 + 4*h + 7. Is 13 a factor of l(-6)?
False
Suppose -540 = -10*o + 5*o. Is o a multiple of 14?
False
Let f = -92 + 156. Suppose -f = -7*u + 3*u - 2*w, -24 = -2*u + 3*w. Is 15 a factor of u?
True
Let b(d) = d**3 - 6*d**2 + 3*d + 6. Is 9 a factor of b(6)?
False
Suppose 6*q - 12*q = -396. Does 11 divide q?
True
Let u be (25 - 3)*10/2. Suppose -3*v = -v + f + 74, -3*v = f + u. Is 18 a factor of v/(-7)*(2 - -5)?
True
Let q(d) = 3*d**2 - 2*d - 23. Is q(5) a multiple of 20?
False
Let a = 63 - 6. Let h = a + -31. Is 5 a factor of h?
False
Let p = -1 + 5. Suppose -22 = -p*u + 10. Let v = u + 6. Is v a multiple of 4?
False
Suppose -2*r - r = 0. Suppose r*h + 2 = p - h, 0 = -4*h. Let g(z) = 4*z**2 + 3*z - 2. Is 20 a factor of g(p)?
True
Does 3 divide 5 - (3 - 4)*1?
True
Let u = -9 + 11. Suppose -k + h - 1 = 4*h, 0 = 5*k + u*h - 60. Does 7 divide k?
True
Let o = -6 + 8. Suppose 5*d + 2*b - 74 = b, -5*d + 90 = 5*b. Suppose -o*g - 2*r = -g - d, g - 20 = 4*r. Is 8 a factor of g?
True
Suppose 3*h + 86 = 2*h. Let o = -56 - h. Does 15 divide o?
True
Suppose 3*s - 5 - 1 = 0. Suppose 5 = -s*u + 23. Is 3 a factor of u?
True
Let i(n) = 17*n + 10. Is 39 a factor of i(4)?
True
Suppose 26 + 46 = 3*j. Does 12 divide j?
True
Let f = 646 - 238. Is f a multiple of 17?
True
Let n(s) = -s - 1. Let p(i) = 2*i - 1 - i - 6*i - i**2. Let v(k) = 2*n(k) + p(k). Does 3 divide v(-6)?
True
Suppose 25 = -s + 6*s. Let c(l) = l + 5. Let o be c(s). Suppose 3*t - t = -4*r - 10, r + o = t. Is 3 a factor of t?
False
Let m be 50/(-6)*(-2 + 5). Let c be ((-30)/m)/(4/10). Suppose 0*j + 30 = c*j. Is 5 a factor of j?
True
Suppose i = 4*i. Let p(m) = -m**2 + 15. Is 15 a factor of p(i)?
True
Let h be -3*(-3*1 + 2). Suppose -h*j + x + 2 = -2*j, 6 = 3*j + x. Does 4 divide -1*j - (0 - 6)?
True
Let u(p) = 54*p**2 - 2. Is u(1) a multiple of 4?
True
Does 30 divide -2 + 4 - 2 - -30?
True
Let d be (-6)/4*28/(-2). Let a = d - 10. Suppose c = 5, 5*o = 5*c + a + 14. Does 10 divide o?
True
Let k(q) = 2*q**2 + 9*q + 12. Let o be k(-8). Suppose 3*s = -4*d + 93, 5*d - o = -3*s + 46. Does 17 divide d?
False
Let w(p) = p - 3. Let q be w(6). Suppose d = q + 7. Is d a multiple of 10?
True
Let p = -30 - -86. Suppose -4*w + 12 + p = 0. Is w a multiple of 17?
True
Let g(q) = 29*q - 1. Let x be g(9). Suppose 2*l + 3*l - x = 0. Is l a multiple of 19?
False
Let y(j) = j**3 + 6*j**2 - 8*j - 7. Let v be y(-7). Suppose 12 + v = 3*q, 20 = 2*w - 4*q. Suppose 0 = c + 2*c - w. Is c a multiple of 3?
True
Let i(o) = 7*o**2 + 1 - o + 4 + o**3 + 7*o. Is 9 a factor of i(-5)?
False
Is 1/(-2)*(295 + 1)/(-2) a multiple of 15?
False
Suppose g + 3*a + a - 43 = 0, -5*g = 5*a - 170. Let l = g + -5. Is l a multiple of 13?
True
Is 142 + -3 - (-4)/4 a multiple of 25?
False
Let o be 2/8 - (-62)/8. Suppose 3*u - 1 = o. Is 2 a factor of u?
False
Let s(m) = 2*m + 4. Let r be s(4). Suppose -12 = -x + r. Suppose 3*f + 3*c - 19 = c, 4*f - x = -3*c. Is 9 a factor of f?
True
Suppose -i = 3*n - 60, 2*n - 20 = n + 4*i. Is (-4)/10 + 608/n a multiple of 30?
True
Let f(d) = 2*d - 3. Let t be f(2). Suppose -2*z = -4*i - t - 7, 3*i = 3. Suppose -3*x - 36 = -3*l, 2*x = 5*l - 51 + z. Is l a multiple of 3?
False
Let k = 172 + 20. Does 16 divide k?
True
Suppose -5*x + 4*z - 19 = 3, z + 2 = 0. Let a = 4 - x. Is 3 a factor of a?
False
Suppose -2*k = -4*k - 40. Let f = 37 + k. Does 17 divide f?
True
Let i(h) = h**2 + 9*h - 8. Let k be i(-10). Suppose -3*l = -k*l - 60. Is l a multiple of 20?
True
Suppose -2*g + 0 + 10 = 0. Suppose -j + 20 = -g*j, -3*c - 14 = 4*j. Does 3 divide (3/c)/(2/4)?
True
Suppose -3*y - i = 1, -i = -2*i - 4. Suppose -2*u = -y - 15. Is 2 a factor of u?
True
Let k = -28 - -32. Is 4 a factor of k?
True
Let k be (3 - -2) + -3 + 2. Suppose 0 = k*g - 240 + 8. Let m = g - 38. Is m a multiple of 10?
True
Let k(i) = 11*i - 3. Let o(u) = 5*u - 1. Let f(w) = 4*k(w) - 9*o(w). Is 3 a factor of f(-6)?
True
Let o be -3 - 0/(-3) - -21. Let v = 49 - o. Is 12 a factor of v?
False
Let k(v) = -v + 10. Suppose 0 = -5*z + 3*u + 29, -z = -2*z - u + 9. Let c be k(z). Suppose -2*h - c*h = -75. Is h a multiple of 9?
False
Let t = 21 - 17. Let x = t + 44. Is x a multiple of 12?
True
Let b(j) = -j + 5. Let q be b(-7). Suppose m + 2*m - q = 0. Is m a multiple of 2?
True
Let m be (0*(-3)/3)/1. Suppose p - 80 = -m*p. Is 20 a factor of p?
True
Let v = 21 + -12. Suppose 4*a + 5*d = d, 0 = -2*a - 5*d - v. Is a a multiple of 3?
True
Let y(v) = 4*v**3 - 5*v**2 + v - 10. Let i(m) = 3*m**3 - 5*m**2 + 2*m - 9. Let q(w) = -5*i(w) + 4*y(w). Suppose -3*k - 7 = 8. Is q(k) a multiple of 19?
False
Let h be -2*37/2*-1. Let q = h - 2. Is q a multiple of 18?
False
Suppose p = 3*p - u - 28, p - 28 = 4*u. Is 6 a factor of p?
True
Let w = -11 + 6. Let m be -2 + -1 + -2 + w. Is 4 a factor of 2/(-5) - 54/m?
False
Let n = -339 - -507. Is n a multiple of 12?
True
Let j(q) = -3*q**2 - 4*q. Let d(t) = -7*t**2 - 9*t + 1. Let u(k) = 4*d(k) - 10*j(k). Let h be u(4). Suppose y - h = -3*y. Is 9 a factor of y?
False
Suppose -4*j + z = 49, 3*j + 35 = 2*z - 8. Let y = j - -15. Is 5 a factor of y/6 - 102/(-9)?
False
Suppose 14*p - 10*p = 16. Is (2 - -1) + (-4)/p even?
True
Let s(i) = 3*i - 1. Let g be s(1). Suppose -4*x + g*k + 64 = 0, -19 = -x - 0*x - k. Is x a multiple of 13?
False
Suppose 11 = -2*j + 185. Does 39 divide j?
False
Let t(i) = -i**2 + 1. Let m be t(-3). Let s = m + 36. Is 11 a factor of s?
False
Is 17*4/(5/5) a multiple of 34?
True
Let z be (-38)/(-4) + 2/4. Does 16 divide 166/z - (-6)/(-10)?
True
Suppose 0 = -3*i + 4*k + 372, i + 3*i - 496 = -k. Is 18 a factor of i?
False
Suppose -g + 0 + 8 = 4*t, -15 = -4*g + t. Suppose -z = g*z - 130. Is 13 a factor of z?
True
Suppose 5*b + 41 - 101 = 0. Is b a multiple of 6?
True
Suppose 0 = 2*y + 2*c + 2, -5*y + 3*c = -y - 24. Let f = y - -27. Does 15 divide f?
True
Suppose -2*j + 17*j = 270. Is 3 a factor of j?
True
Suppose 10 = 5*c, -4 = -2*s + 4*c - 8. Suppose -72 = -2*v + s*k, 2*v - 6*v + 154 = k. Is v a multiple of 19?
True
Let j be (-1)/4 + 905/20. Suppose 2*a + j = 5*a. Is 15 a factor of a?
True
Suppose 2*q - 70 = 4. Suppose -4*h = 4*c - 92, -4*c + 1 = h - q. Is h a multiple of 10?
False
Let n be 9/(-6)*-2 - -2. Let p(t) = -10*t - 8. Let y(m) = 5*m + 4. Let v(s) = n*y(s) + 3*p(s). Is 16 a factor of v(-4)?
True
Suppose 28 = -3*a + 5*a. Suppose 74 = 5*q + a. Is q a multiple of 3?
True
Let f = -3 - -6. Suppose -44 = f*p - 122. Is p a multiple of 13?
True
Suppose -5*z + 4 = -26. Is (z - 0)/3 - -15 a multiple of 13?
False
Suppose 665 = -56*o + 61*o. Is o a multiple of 20?
False
Let g = 52 + -32. Does 4 divide g?
True
Let i(n) = -66*n**3 - 2*n**2 + 1. Let o be i(-1). Suppose -3*v = 2*v - o. Is 13 a factor of v?
True
Does 15 divide (-32)/(-8) + 24 + 2?
True
Suppose 4*n - 77 - 3 = 0. Is n a multiple of 10?
True
Does 6 divide (-12)/28 - (-2667)/49?
True
Suppose -27 = i - 31. Is i a multiple of 4?
True
Let x = 2 + -5. Does 10 divide x - -4 - (-19 + 0)?
True
Let s be (-20)/(-3)*(1 + -4). Let q be (-8)/s - (-126)/10. Suppose 0*j - q = -j. Is j a multiple of 5?
False
Suppose 2*p - 1324 = -4*v + 6*p, -2*v + 656 = -4*p. Suppose -v = -5*f + 41. Suppose f = l + 4*l. Is 15 a factor of l?
True
Let s be (4/2)/(4/(-10)). Let q be -3 - s - (-1 + -13). Suppose 3*z - q = -z. Is z a multiple of 2?
True
Suppose 4*h = -4*v + 8, 3*h = -2*v + 14 - 5. Suppose s - 7*k + 16 = -3*k, h*k - 33 = -2*s. Is 4 a factor of s?
True
Let c be 15/(-6)*(-6)/5. Suppose c*s - 2 = 4. Suppose -4*y + 5*h - 8 = 0, 8 = s*h - 0*h. Is 3 a factor of y?
True
Let b(t) = t**3 + t**2 - 8*t + 12. Is 8 a factor of b(3)?
True
Let d(q) = -5*q - 4*q**2 + 57