= -26 + h. Is x a multiple of 12?
True
Let x(w) = w**3 + 3*w**2 - 2*w - 2. Let z be x(-3). Suppose 0 = z*b - 2*b - 6. Suppose 5*h + 29 = b*n, 0*n - n = 2*h - 28. Is n a multiple of 6?
True
Let s = 1 + -41. Let f = s - -29. Let l = 20 - f. Is l a multiple of 6?
False
Suppose 3*s - p - 122 = 0, -4*s - p + 152 = 3*p. Let l = s + -16. Is (-72)/(-5) - l/(-40) a multiple of 3?
True
Let w(v) = -v**2 + 13*v + 18. Let h be w(15). Let r = -6 - h. Is r a multiple of 4?
False
Suppose 0 = -3*l - 4*n + 898, 3*n = -3*l + 444 + 459. Is l a multiple of 17?
True
Suppose -2*o - o = 1293. Does 14 divide o/(-7) - 21/(-49)?
False
Suppose 5*l - 573 = 2*a - 3*a, -4*a - 330 = -3*l. Suppose -2*f + l = -f. Is f a multiple of 10?
False
Suppose 22*f = 3755 + 20269. Is f a multiple of 39?
True
Suppose 3 = -9*m + 8*m. Is 31 a factor of -3*(-2 - (-281)/m)?
False
Let h(w) = 58*w**2 + w + 1. Suppose 0 = -5*v - 2 - 3. Let t be h(v). Suppose -14 - t = -3*f. Is f a multiple of 24?
True
Let h(k) = k**2 + 4*k - 4. Let s be (3 - 9) + 2 - 0. Let x = s + 8. Does 10 divide h(x)?
False
Suppose 4*x - 3*r = 7, -3*x - 2*x - r = -23. Suppose 4*s = -12, x*s = -2*b - b + 660. Is 12 a factor of b?
False
Let i = -48 + 52. Suppose -5*n + 105 = -2*q, -n + i*n + q - 63 = 0. Is n a multiple of 10?
False
Let m = -9 + 22. Suppose 9*s - m*s = -152. Is 19 a factor of s?
True
Let s(i) = i + 1. Suppose -u - 5 - 4 = 0. Let k be s(u). Is 15 a factor of (-12)/k*236/6?
False
Suppose 3*d = 1534 + 218. Suppose -d = -9*u + 1054. Is 26 a factor of u?
True
Let i(b) = b**3 + 56*b**2 - 73*b + 47. Is i(-57) a multiple of 39?
False
Suppose 2*q = -5*w + 22, 4*w - w + q = 14. Let d be 0 - w/(2 + -4). Is (-4)/(-6) - (-28)/d a multiple of 10?
True
Let k = 15 + 130. Is k a multiple of 5?
True
Let r be 0*3/(-5 - -2). Suppose r = -2*w + 10, n + w - 63 = -2*w. Is 8 a factor of n?
True
Let g = -1125 + 1665. Is 12 a factor of g?
True
Let b(d) be the second derivative of 7*d**3/6 + 2*d**2 + 4*d. Let f be b(4). Let s = 56 - f. Does 12 divide s?
True
Let s(r) be the first derivative of -r**4/4 + 13*r**3/3 + 17*r**2/2 + 7*r - 2. Is 7 a factor of s(14)?
True
Let n = -17 + 137. Does 4 divide n?
True
Suppose -5 = -13*m + 34. Let z = -3 - -5. Suppose l - 105 = -l - m*n, -z*n = 2. Is 18 a factor of l?
True
Let w(d) = -d + 18. Let q be w(18). Suppose -5*k + 86 + 199 = q. Does 12 divide k?
False
Suppose 5*n - 24 = 2*n. Let i = n - 11. Let l(o) = -o**3 - 2*o**2 - 4*o - 4. Is l(i) a multiple of 8?
False
Let a = -41 + 46. Does 11 divide ((-8)/a)/((-72)/11340)?
False
Let x = -3430 - -4849. Is 33 a factor of x?
True
Is 19 a factor of 361*((-6)/7)/((-21)/98)?
True
Let g be (-3 - -2)/((-5)/(-30)). Let u = 13 + g. Let v(j) = -j**3 + 9*j**2 - 11*j + 10. Does 31 divide v(u)?
True
Let w(y) = -9*y**2 - 4 + 11*y + 2*y**3 - 4 - 3*y**3 - 2*y. Let l be w(-10). Suppose -3*j - 115 = -5*b, 5*j + 125 = 3*b + l*b. Does 20 divide b?
True
Let v = -62 + 60. Does 15 divide ((-3)/6)/(0 + v/252)?
False
Suppose 4*t = 9*t - 790. Let p = t - 100. Is p a multiple of 29?
True
Suppose 48*w = 49*w - 1, 3*d - 5399 = -5*w. Does 19 divide d?
False
Let f(y) = -y**2 + 2*y - 1. Let n be f(2). Let m(a) = 168*a**2 - a. Let c be m(n). Suppose c - 52 = 3*u. Does 18 divide u?
False
Let v be ((-48)/(-20))/(2/85). Suppose 6*n = -0*n + v. Does 17 divide n?
True
Suppose t - 5*s - 15 = 0, 0*s + 3*s = -2*t - 9. Suppose u - 6*u + 25 = 0, -5*i + 4*u + 125 = t. Is 6 a factor of i?
False
Does 20 divide (-525)/75 - (-505 + 1)?
False
Let t(v) = -1. Let n(z) = -116*z - 39. Let k(p) = -n(p) + 3*t(p). Let u(b) = 23*b + 7. Let i(q) = -2*k(q) + 11*u(q). Is i(3) a multiple of 17?
True
Let p = -8 - -10. Suppose w + 1 = 2*j + p, 0 = -3*j - 5*w + 31. Suppose 48 = 4*n + 4*c, 6*n - 43 = j*n - 3*c. Is n a multiple of 3?
False
Suppose 18 = -4*v + 90. Is (6*12/v)/2 a multiple of 2?
True
Suppose 33*x - 475 = 2396. Does 30 divide x?
False
Let f = 239 - 122. Does 5 divide f?
False
Is ((-2)/(-8))/((-13)/(-63128)) a multiple of 12?
False
Suppose -3*x - 64 = -61. Is 33 a factor of (x/((-10)/(-198)))/(8/(-40))?
True
Let q be 0/(-2 + -3 + 7). Let a = -11 + 22. Suppose q = w - a - 18. Is 13 a factor of w?
False
Let u(y) = -y**3 - 2*y**2 - 5*y - 4. Let m be u(-1). Suppose 4*a + 5*q - 98 = 75, 4*a + q - 169 = m. Does 6 divide a?
True
Suppose -3*v + 96 = 3*t - 0*v, -3*v = -2*t + 39. Does 7 divide ((-424)/6)/(-1) + (-18)/t?
True
Let f = 121 + -119. Suppose 3*g - 602 = f*m, 5*m = -g + 179 + 16. Is 19 a factor of g?
False
Suppose 4*g = 3*b + 2243, 5*g - 16*b - 2805 = -11*b. Is g a multiple of 40?
True
Let d = -12 + 14. Let q = 22 + -22. Does 4 divide -2*(0 - (q + d))?
True
Let z(y) be the first derivative of -2/3*y**3 - 1/2*y**4 - 3*y - 5 - 3/2*y**2. Is z(-4) a multiple of 27?
False
Suppose 4*o + 13*a - 3142 = 11*a, 5*o = -3*a + 3925. Does 41 divide o?
False
Suppose -2 = -2*c + 2*z, -5 = 4*c - 0*c + 5*z. Suppose c*t = -2*t + 26. Suppose 0*s - s + t = 0. Is 13 a factor of s?
True
Let a be 0 + (-7)/((-21)/102). Let d = 72 - a. Does 29 divide d?
False
Suppose 1165 = 4*n + 277. Is n a multiple of 25?
False
Does 67 divide (5 - -20)*(-603)/(-15)?
True
Suppose -5*a + 368 + 217 = 0. Let m = -25 + 27. Suppose -89 = 2*n + 4*p - 221, -p - a = -m*n. Is n a multiple of 15?
True
Is ((-1990)/(-25) + -4)/((-3)/(-15)) a multiple of 37?
False
Suppose 19*a + 405 = 24*a. Let l = 103 + a. Is 23 a factor of l?
True
Let m = -29 + 57. Is 5 a factor of (-11 - 1)*(m/(-12) + -1)?
True
Is 51 a factor of 1242/12 + -4 - 5/(-2)?
True
Is 4 a factor of 2*((-92)/(-22) - (-26)/(-143))?
True
Let t be 67 - (4 - 1) - 2/(-1). Suppose -t - 66 = -j. Is j a multiple of 12?
True
Let v = 28 + -26. Suppose -v*p + 0*p + 12 = 2*x, -2*x - p = -10. Suppose x*f = -2*c + 3*f + 34, -20 = -5*f. Does 3 divide c?
True
Let l(o) be the first derivative of -o**2/2 + 17*o + 20. Does 9 divide l(-5)?
False
Let q(m) = 27*m**2 + 1. Let k(z) = -1. Let p(v) = v - 8. Let w(g) = -5*k(g) + p(g). Let c be w(4). Is 16 a factor of q(c)?
False
Suppose 3*q = -2*q + 285. Let c = 66 + -64. Suppose 4*j - 4*i - 100 = 0, -4*j + c*i + 37 + q = 0. Does 11 divide j?
True
Suppose 60 = 4*l + l. Let o = l - -33. Is 16 a factor of (3 + o)/(6/4)?
True
Suppose -7*a + 228 = -3*a. Let r be a - (-1 - (-1)/(-1)). Let v = r + -35. Does 7 divide v?
False
Let a(b) = -b**3 + 6*b**2 + 9*b - 10. Let y be a(7). Suppose -7*r - y*r = -572. Is 14 a factor of r?
False
Suppose 0*d + 5*d - 550 = 0. Suppose 16*t - 18*t = -d. Is 6 a factor of t?
False
Let f be (-18)/6 + -2 + 8. Let u(t) = 3*t**2 - 4*t + 1. Let h be u(f). Suppose c = h + 6. Is 7 a factor of c?
False
Does 9 divide 4 + (-252)/(-20) + (-6)/(-15)?
False
Let w(v) = 92*v**2 - v - 3. Let t be w(-2). Suppose -17 = -4*s + t. Is s a multiple of 16?
True
Let z(m) = -m**3 - 2*m**2 + 2*m - 4. Let t be z(-3). Let q = 5 + t. Let n = q + 17. Is n a multiple of 7?
True
Let r(y) = y**3 - 3*y**2 + 3*y + 9. Is r(4) even?
False
Suppose -4*h - 5*w - 20 = 0, -2*h + 3*w = h + 15. Let z = h + -3. Let n = 22 + z. Is n a multiple of 10?
False
Let z(u) = 6*u**2 + 32*u + 12. Is z(-7) a multiple of 13?
False
Suppose -2*q - 418 = -3*q. Suppose 271 = 2*j - 5*y, -2*j = j + 4*y - q. Does 21 divide j?
False
Suppose -n = 5*d - 25, 5*d + 6*n = n + 25. Suppose -d*i = -22 - 153. Does 5 divide i?
True
Does 54 divide (-27)/(-42)*(-28)/(-24)*344?
False
Let w(q) = 283*q**2 + 67*q + 131. Is 68 a factor of w(-2)?
False
Suppose 15 = 4*p + p. Suppose -4*v + 0*x = 5*x - 42, -p*v - 2*x = -35. Suppose 0*u - u + 5*f = v, 3*f = 15. Is u a multiple of 4?
True
Let a(y) = -y - 1. Let t be a(-3). Suppose 0*l - 2*l + 26 = 3*j, j = 2*l - t. Is 8 a factor of -2 + 5 - j*-3?
False
Let b be -1*22*(3 + -2). Let g = 351 - 192. Let c = b + g. Is 32 a factor of c?
False
Suppose -5*y + 11763 = 3*u, 2*y + u - 1824 = 2881. Is 48 a factor of y?
True
Suppose 4*s - 5*b - 3441 = 0, 2*b - 4614 = -5*s - 288. Does 18 divide s?
True
Suppose -5*v = -0*v + 5*s - 150, -2*s = 3*v - 94. Suppose -v = -t + 4*n - 10, 2*t - 48 = 5*n. Is t a multiple of 6?
True
Suppose -9*k = -2208 - 6. Does 9 divide k?
False
Let u(p) = -p**2 + 2*p + 2. Let y be (-1 + 2)/((-2)/(-4)). Let r be u(y). Suppose r*f = -3*f + 85. Is f a multiple of 9?
False
Let z(u) = u**3 + 11*u**2 + 13*u + 12. Let t(a) = -10*a. Let w be t(1). Let b be z(w). Let l = 29 + b. Is l 