+ 4*m - 5*m + 11 = 0, 7 = 2*z - f*m. Is z a multiple of 4?
True
Is (4 - 0)/4 - -11 a multiple of 6?
True
Let d = 58 - 15. Suppose 3*p = d + 29. Is p a multiple of 24?
True
Let f = -48 + 88. Does 8 divide f?
True
Suppose -2*w + w = -17. Is 3 a factor of w?
False
Let u(b) = b**3 + 8*b**2 + 8*b + 6. Let t be u(-7). Let g be (2*-1)/t + -2. Suppose 4*n + g*n = 64. Is n a multiple of 6?
False
Let k = -42 + 25. Let p = -9 - k. Does 11 divide (-3)/12 + 218/p?
False
Let s(a) = -3 - a + 3. Let y be s(2). Does 17 divide y/9 + 308/9?
True
Let w(o) = o**2 + 5*o - 12. Let s = 11 - 22. Does 18 divide w(s)?
True
Suppose 0 = s + 3*c - 53, -4*s - c + 126 = -53. Does 7 divide s?
False
Suppose -2*z = -7 - 33. Is 10 a factor of z?
True
Suppose -12*x + 5*x + 28 = 0. Does 2 divide x?
True
Let x = 105 - -39. Suppose -m - x = -5*m. Is 12 a factor of m?
True
Let w be 0/(-1) - (2 + -4). Let p(q) = -w - 4 + 7*q - 4 - 4*q. Is 5 a factor of p(8)?
False
Suppose -18 = -h - 2*n, 2*h + 3*n = h + 17. Is h a multiple of 6?
False
Let w be -31 - (-4 + 4/4). Does 13 divide (-1 + w/(-20))*50?
False
Is 6 a factor of 1*(-11)/(-2)*6?
False
Does 6 divide ((-670)/25)/((-4)/10)?
False
Let i(t) = -t**3 - 6*t**2 - 7*t - 6. Let k be i(-4). Let b(m) = -m**2 - 12*m + 6. Does 26 divide b(k)?
True
Suppose -i = -2 + 1. Let m(p) = 2*p**2 + i - 1 + 1 + 0 - 3*p. Is m(6) a multiple of 14?
False
Suppose 6*t = -5*f + t + 175, 4*f + t = 146. Suppose -10 = 2*h + 5*o - f, o = 5. Let l(b) = 42*b**2 + 2*b - 1. Is 22 a factor of l(h)?
False
Let h(k) = 3*k + 7. Let i be h(10). Suppose -i - 233 = -5*o. Is o a multiple of 19?
False
Is 96/36*(14*5 - 1) a multiple of 23?
True
Suppose -4*f + 16 = -24. Is 5 a factor of f?
True
Suppose 0 = 3*n + 1 - 4, 602 = 5*q + 2*n. Does 40 divide q?
True
Let n be 20*(-2)/(-2) - 1. Suppose -3*l - 4*g + 108 = 0, 3*l - 2*g - 180 = -2*l. Let f = l - n. Does 9 divide f?
False
Suppose 0 = 8*g - 169 - 407. Is g a multiple of 18?
True
Let p = 57 - -39. Is p a multiple of 12?
True
Suppose 2*i - 5 - 7 = 0. Is 5 a factor of (34/4)/(3/i)?
False
Let r(f) = 13*f - 1. Let c be r(3). Suppose 3*q + s + s - c = 0, 4*q = 2*s + 32. Is 5 a factor of q?
True
Suppose 5*w + 4*k = -6, k = -2*w - 2*w + 4. Let l(v) = 30*v + 4. Is l(w) a multiple of 32?
True
Suppose 0 = 11*p - 9*p - 38. Is 4 a factor of p?
False
Let s(b) = b**3 - b**2 - b. Let u be s(1). Let j be 5/2 + 2/(-4). Does 10 divide (21 - 3) + u + j?
False
Let i(m) = m - 10. Let p be i(0). Let q = p - -32. Suppose -3*f + q = -6*g + g, -26 = -3*f + 4*g. Does 14 divide f?
True
Suppose r - 6*r = 0. Suppose 4*w = -r*w + 132. Does 10 divide w?
False
Suppose -b + 5*b = 4. Let h be (b + -1)/(1 - 3). Suppose -2*j - u + 25 = h, 0*j + 2*j - 5*u - 43 = 0. Is j a multiple of 4?
False
Let b(q) = q**2 + 6*q + 3. Let d be b(-6). Suppose -3*x + 2*x - 4*z = 4, 0 = 2*x - z - 1. Suppose k - 11 = r, 2*k - 2*r + d*r - 7 = x. Is k a multiple of 6?
True
Suppose -4*t = 91 + 145. Let o = 99 + t. Is o a multiple of 13?
False
Suppose 4*x - c = 15, 0 = 2*x + 3*c + 4 - 29. Suppose 0 = -4*h - 3*t + 119, -t = -h + x*h - 125. Is 12 a factor of h?
False
Is 20 a factor of (48/20)/((-12)/(-200))?
True
Does 13 divide (3 - 0 - 4)*-13?
True
Does 7 divide 5*(-7)/((-28)/12)?
False
Suppose -2*m = 2*m. Let f be 3/(m - 3/8). Let z = 15 + f. Is 7 a factor of z?
True
Let n = 5 - 3. Suppose k - n*g + 5 = 0, k = 3*g - 6*g + 20. Let b = 9 - k. Is b a multiple of 3?
False
Suppose b + 4*c + 2 = 0, 3*b = 7*c - 2*c - 23. Let r = -3 - b. Is r even?
False
Let h(a) = a + 2. Let g be h(2). Let w(y) = y + 1. Let x be w(g). Suppose -3*k + 57 = -3*v, 0 = x*k + 5*v - 8*v - 89. Does 8 divide k?
True
Let t(w) = w**3 - 5*w**2 - 2*w + 4. Is 30 a factor of t(7)?
False
Let l(p) = 3*p**3 - p**2 - p - 1. Let f be l(-1). Let z(c) = 4*c - 1. Let k(u) = -4*u. Let j(d) = 4*k(d) + 3*z(d). Does 8 divide j(f)?
False
Is 5 a factor of 1/((2 + -3)/(-20))?
True
Suppose -5*m - 1 = -6. Does 4 divide (0 + (m - 0))*10?
False
Let o(u) = -2*u - 4. Is 9 a factor of o(-13)?
False
Let r = -45 + 23. Let z = 11 - r. Is z a multiple of 14?
False
Let i(b) = b**3 + 6*b**2 - 3*b - 1. Let s be i(-7). Suppose -24 = 5*t - 329. Let q = s + t. Is 10 a factor of q?
False
Let w(f) = f**3 + 164. Is 15 a factor of w(0)?
False
Suppose 4*o - 301 = -3*o. Is 16 a factor of o?
False
Let g = 12 + -7. Let b = g + -1. Suppose -4*n = -9*n + 2*t + 69, 3*n - b*t = 33. Is n a multiple of 15?
True
Let g = -35 - -61. Is g a multiple of 12?
False
Suppose -4*z = -4 - 4. Does 4 divide (33/6)/(1/z)?
False
Let r(q) = 14 - q**2 + 10*q - 11*q**2 - q**3 + 1. Is r(-13) a multiple of 30?
False
Suppose 2*z + m = 27, 0 = -4*z + 2*z + 5*m + 45. Suppose -2*q + 2*y - 6 = 0, -q = 2*q - y + 5. Does 17 divide ((-21)/z - q)*-60?
False
Let i(g) = -2*g**3. Let w = -5 - -3. Does 15 divide i(w)?
False
Suppose -4*b + 10 = -3*m, 2*b + 2*b = -4*m - 4. Let k = 14 + m. Does 6 divide k?
True
Suppose -5*h + 18 = 3. Does 3 divide h?
True
Suppose 3*c = 2*c + 93. Does 31 divide c?
True
Let k = -34 - -57. Does 23 divide k?
True
Suppose 0*v + j = 2*v + 5, 3*j = 5*v + 12. Let i be (v/(-2))/((-2)/(-4)). Suppose 4 + 12 = 2*h + 3*s, 0 = 3*h + i*s - 24. Is 4 a factor of h?
True
Let w(l) = -2*l + 2 - 2*l - 8. Suppose -7 = 4*m + 9. Is w(m) a multiple of 5?
True
Let o = 64 - 30. Does 8 divide o?
False
Let x(t) = -t**3 - t**2 - t + 4. Let f be x(0). Suppose -50 - 18 = -f*l. Is l a multiple of 8?
False
Let w(g) = -2*g + 11. Let c be w(9). Let f(n) = -n**2 - 7*n + 5. Let m be f(c). Suppose 143 = 4*p - m*s, -27 = -2*p - 2*s + 49. Is 13 a factor of p?
False
Let s be 8/(2/(2*-1)). Let p be ((-4)/(-5))/(s/(-20)). Suppose 4*i = 0, p*i + 25 = 5*o - 0*i. Is o even?
False
Let x be 5*(-2 - (-36)/15). Let a be 0 - x/(-4)*-10. Does 3 divide 14/35 - 38/a?
False
Suppose -4*g + 10 = -6. Suppose 5*a - 2*w - 56 = w, -8 = g*w. Let m = a - -2. Is m a multiple of 11?
False
Let o be (1/(-2) - 1)*-2. Suppose o*u + 50 = -2*u. Does 6 divide (-5)/((-15)/9) - u?
False
Let x(w) = 10*w**2 + 1. Is x(3) a multiple of 13?
True
Is (-2)/30*-5*51 a multiple of 8?
False
Is 423/4 + (-6)/8 a multiple of 12?
False
Let m be -2*(1 - (-6)/4). Let f = -10 + 43. Let g = f - m. Is g a multiple of 15?
False
Let x = 14 - 8. Is 3 a factor of x?
True
Let j be 285/55 - (-4)/(-22). Suppose u - j*u = -180. Does 23 divide u?
False
Suppose -v + q = -q - 4, -24 = -v - 2*q. Let o = v - 0. Is 14 a factor of o?
True
Suppose -t - 8 = -5*t. Suppose -b = 2*b. Suppose t*a + 5*c - 40 = a, b = -4*c + 20. Is a a multiple of 15?
True
Let f(b) = 5*b - 13. Does 5 divide f(6)?
False
Suppose 8 + 24 = -4*s + 4*g, -4*s = 2*g + 14. Let f = s - -29. Is f a multiple of 12?
True
Suppose 0 = -2*w - 2*k + 424, 0*k = 2*w + k - 422. Is 42 a factor of w?
True
Let f = 11 - 7. Let h be (-4)/(-8) - (-90)/f. Let i = 57 - h. Does 16 divide i?
False
Let v be (2 - -1)/(36/24). Suppose 3*p - p = 0. Suppose -v*o + 100 = -p*o. Is o a multiple of 20?
False
Let q = 37 - -39. Does 25 divide q?
False
Suppose -2*x = -3*x + 8. Let n be ((-3)/(-2))/(2/x). Suppose g - n = -3*t, -2 = 3*t + 1. Is g a multiple of 4?
False
Let s = 119 - 59. Does 10 divide s?
True
Suppose -3*x + 2*m - 2 = -5*x, 0 = -5*x - m + 17. Suppose -r = -x*o + 127 - 1, -3*o - r = -91. Is o a multiple of 16?
False
Let b(p) = -p**2 + 22*p - 28. Is 19 a factor of b(17)?
True
Let k(r) = -r**2 - 15*r - 27. Is k(-12) a multiple of 3?
True
Let h = -83 + 203. Is 30 a factor of h?
True
Suppose 0*y = 9*y - 1053. Is 13 a factor of y?
True
Let g(m) = -m**3 - 22*m**2 + 21*m - 24. Is 18 a factor of g(-23)?
False
Let y(i) be the third derivative of -i**4/8 + 2*i**3/3 - 6*i**2. Is 13 a factor of y(-3)?
True
Let f(p) = 6*p - 20. Is f(8) a multiple of 5?
False
Let w(d) = d**2 - 8*d + 6. Let n be w(6). Does 10 divide (14/n)/(1/(-6))?
False
Suppose 20 - 110 = -3*c. Is 19 a factor of c?
False
Let x = -8 - -25. Does 5 divide x?
False
Let i(k) = k**2 - 8*k + 3. Let n be i(8). Suppose -4*y = -6*y + 14. Suppose 2*o - y*o = -n*l + 67, 2*o - 15 = -l. Does 12 divide l?
False
Suppose 55 = 5*j + 5*z, -1 = z + 1. Does 3 divide j?
False
Let z(j) = j**3 + 2*j**2 - j. Let p be z(2). Let w = p + -9. Suppose -4*q + 96 = -h - 3*h, -w = -h. Does 10 divide q?
False
Let o(q) be the first derivative of -q**5/20 - q**4/2 - q**3/2 - 5*q**2/2 - 2*q + 2. Let k(y) be the fir