h + 6 + 15 = 0. Does 6 divide z?
True
Suppose 5*m = 5*n + 95, 4*n + 6 = -3*m + 35. Suppose 0 = -0*q - q + m. Is 15 a factor of q?
True
Let s = 23 - 15. Suppose -j - 2*h - s = -24, 38 = 2*j - 2*h. Is 18 a factor of j?
True
Let m be 0 + 1/(1/(-2)). Does 20 divide 1010/25 - m/(-5)?
True
Is ((-3)/(-1))/(3/90) a multiple of 13?
False
Let f be (-20)/3*(0 - -3). Does 5 divide (-8)/f*(24 - -1)?
True
Let v be (-11)/4 + (-2)/8. Is ((-3)/v)/(2/84) a multiple of 14?
True
Let p(d) = d**3 - 10*d**2 - 2*d + 7. Let r be p(10). Suppose 3*m + 5*b - 28 = 2*m, 2 = -2*b. Let n = m + r. Does 13 divide n?
False
Let i be 0/(-3*2/(-3)). Suppose -3*f - 7 + 43 = i. Is f a multiple of 12?
True
Suppose 4*k + 2 = -10. Let t(o) = o + 3. Let n be t(k). Suppose n*y + 48 = 3*y. Does 5 divide y?
False
Suppose 4*t = -m + 3*t - 2, -t = 2*m. Let q = m - -47. Suppose 9 = -w - 2*n - n, -4*w + 5*n = -q. Is 4 a factor of w?
False
Suppose 2*j + 198 = -4*x, -j = 3*x - 23 + 125. Let v = j + 198. Is 34 a factor of v?
False
Is ((-24)/(-10))/((-12)/(-90)) a multiple of 6?
True
Let l = 93 - 62. Suppose -2*y - l = -2*q - 3*y, -2*y = -q + 28. Suppose -3*f + 5*h + 29 = 0, 2*f + h = 5*h + q. Is 13 a factor of f?
True
Suppose -7*h + 2*h = 5*l - 365, -3*h - 2*l = -223. Is h a multiple of 11?
True
Let v(j) = -3*j + 8. Let w be v(7). Let g = -8 - w. Does 13 divide (2/g)/((-2)/(-150))?
False
Let g = 9 + -7. Suppose g = -2*a + 16. Let i = 17 + a. Is 8 a factor of i?
True
Let i(b) = -5*b + 3. Let p(c) = c**3 + 6*c**2 - 8*c - 10. Let v be p(-7). Is 12 a factor of i(v)?
False
Let i be -5*4/(20/1). Is 15 a factor of ((-90)/(-2))/(-1)*i?
True
Suppose 4*d = 5 + 3. Suppose 2*c = 2*i - 8 - 14, -3*c - 22 = -d*i. Is 8 a factor of i?
False
Let v be ((-5)/(-1))/((-3)/(-6)). Suppose -5*g = v, 2*i - 10 - 58 = -4*g. Is 19 a factor of i?
True
Let x(t) = t**3 + 6*t**2 - 5*t - 3. Let i(y) = y - 7. Let l be i(0). Let n be x(l). Is 4 a factor of 0 - 1 - n - 2?
False
Is (1 + 260/28)*(0 + 7) a multiple of 27?
False
Suppose w - 47 = 2. Is 8 a factor of w?
False
Suppose 96 = -6*y + 9*y. Is 16 a factor of y?
True
Let t = 27 + 18. Suppose 165 = 5*s + t. Is 24 a factor of s?
True
Is 17 a factor of 34/3*(1 - -11)?
True
Let y(b) = 2*b**3 - 3*b**2 + 3*b - 4. Is y(2) a multiple of 2?
True
Let b(g) = 2*g**2 + 17*g + 8. Let w be b(-11). Suppose 5*h - 182 = w. Suppose 4*z + h = 3*r, -r + z = -0*r - 15. Is 11 a factor of r?
True
Let n(x) = 57*x. Let r be n(4). Suppose -5*o + 4*b + 249 = 0, -7*b + 3*b + r = 4*o. Does 19 divide o?
False
Let q(u) = -2*u + 5. Let j(b) = b + 9. Let x be j(-14). Is q(x) a multiple of 5?
True
Let l(q) = 5*q**3 + q**2. Let p be l(-1). Let v = 5 + p. Let k = v - -4. Does 2 divide k?
False
Suppose 4*k = -0*k + 5*u + 808, -223 = -k - 4*u. Is k a multiple of 23?
True
Let o(b) = b**3 + 5*b**2 - 2*b - 1. Does 5 divide o(-5)?
False
Let c(f) = -f**3 - 5*f**2 + 11*f + 8. Let b = -19 + 12. Is 29 a factor of c(b)?
True
Let o(z) = 66*z**2 - z + 3. Is o(1) a multiple of 34?
True
Let f be (9 + 0)*3/9. Suppose -2*t + 5 = f. Is 5 a factor of ((-3)/9)/t*-27?
False
Does 16 divide (36/45)/(6/225)?
False
Let m(p) = 2*p**2 + p - 1. Let v be m(1). Let b(x) = -x**2 - x. Let y be b(v). Let f = 0 - y. Is f a multiple of 3?
True
Let w(o) = -o - 3. Let d be w(6). Let v(s) = -s - 15. Let g be v(d). Is ((-63)/g)/(9/12) a multiple of 7?
True
Suppose 2*x = 4*x. Suppose x = -o + 4*o. Suppose -2*l + o*l + 66 = 0. Is l a multiple of 11?
True
Does 25 divide (-4)/(-22) - (-2869)/11?
False
Let p be (-4)/(-6) - 38/(-6). Suppose -245 = -5*s + 4*g, g + 240 = 5*s - 2*g. Suppose 2*m + s = p*m. Does 9 divide m?
True
Suppose -10 = 5*m - 10*m. Is (-201)/(-9) + m/(-6) a multiple of 8?
False
Let r(a) = -7*a - 2. Let l = 3 + -3. Let x(c) = -c**2 + c - 4. Let f be x(l). Does 13 divide r(f)?
True
Suppose -4*x + 248 = -100. Suppose z - 4*z + x = 0. Is 11 a factor of z?
False
Suppose 7*t - 4*t + 9 = 0, -2*t = -2*p + 50. Does 11 divide p?
True
Let h = -413 + 638. Suppose y - 2*k - 82 = 131, -h = -y - k. Suppose 5*g = y + 39. Is g a multiple of 26?
True
Let k(v) = -3*v**3 - 3*v + 2. Let y be k(2). Let i be (-30)/4*(-96)/15. Let b = i + y. Is b a multiple of 7?
False
Does 11 divide (-11)/(-3 + (-15)/(-6))?
True
Suppose 3*h - h = 24. Suppose 3*a - 3 - h = 0. Does 2 divide a?
False
Let p(q) = -15*q + 2. Let l(z) = 227*z - 36. Let w(d) = 57*d - 9. Let v(g) = 2*l(g) - 9*w(g). Let i(k) = 9*p(k) - 2*v(k). Is i(-2) a multiple of 17?
True
Suppose 5*t - 3*p = 479, p + 188 = 2*t - 2*p. Is t a multiple of 20?
False
Let h = -5 - -20. Suppose v - h = 3. Is 9 a factor of v?
True
Is 6 a factor of (-2 + 4 + -4)*19*-1?
False
Let x = 19 - -24. Does 28 divide x?
False
Suppose -148 = -3*u - u. Suppose o - j - u = 3*j, -4*o - 3*j = -53. Does 17 divide o?
True
Let o(w) = -w**3 + 7*w**2 - w + 11. Does 4 divide o(7)?
True
Is (2/2 + 319)*12/15 a multiple of 40?
False
Suppose -4*y - y = -150. Suppose -5*s = -5*p - y, 3*s - 2*p = 13 + 8. Is s a multiple of 4?
False
Suppose -6*u - 260 = -11*u. Is u a multiple of 13?
True
Suppose -4*f = -84 - 448. Suppose 0 = 2*q - f - 13. Is q a multiple of 23?
False
Let q = 33 + 11. Is q a multiple of 11?
True
Let u = 812 + -469. Is u a multiple of 14?
False
Let b = 216 - 123. Is 19 a factor of b?
False
Let k(n) be the second derivative of -4*n + 0 + 1/12*n**4 - 5*n**2 + 0*n**3. Is 10 a factor of k(-7)?
False
Suppose 4*b - 156 = -2*m - 42, 59 = 2*b - m. Is b a multiple of 12?
False
Let z = -9 + 13. Let j be 56/z*2/4. Suppose 4*y - 27 + j = 0. Is y a multiple of 3?
False
Does 7 divide (-4)/(0 + -1) - -34?
False
Let f be ((-16)/(-10))/(6/705). Suppose -f = -4*t + 5*u, 4*t - 47 = 3*t - u. Let i = t + -11. Is 14 a factor of i?
False
Let u be (60/9)/((-4)/(-6)). Let n(d) = 3*d + 6. Does 16 divide n(u)?
False
Let w = -2 + -3. Let q = w - -7. Is 8 a factor of q/(-4)*(1 + -17)?
True
Let p = 9 - 5. Suppose -3*o - 495 = 2*n, -p*n - 79 - 746 = 5*o. Is 6/(-4) + o/(-10) a multiple of 15?
True
Suppose -5*d = -2*u + 1 + 4, -3*u = -3*d - 3. Is 6 a factor of (3 + d)/((-8)/(-60))?
False
Suppose 0*k + 100 = 4*k. Suppose -k = -3*o + 8. Is o a multiple of 3?
False
Let l(z) = -z**3 + 8*z**2 + 8*z - 15. Is 18 a factor of l(7)?
True
Suppose -2*i + 256 = -4*c, -137 = -6*i + 5*i - c. Is i a multiple of 13?
False
Suppose 0 = 5*u - 0*u - 60. Does 4 divide u?
True
Let n(a) = -a**2 - 17*a - 16. Does 9 divide n(-11)?
False
Let x = 3 - -19. Suppose -d = d - x. Does 5 divide d?
False
Let c = 1 + 2. Suppose f - 13 = c. Is 16 a factor of f?
True
Let a(z) = -11*z - 42. Let p(r) = -4*r - 14. Let c(s) = -6*a(s) + 17*p(s). Is c(-6) a multiple of 26?
True
Let a(l) = 35*l**2 - 2*l - 1. Let p be a(2). Suppose -9*t + 5*t + 4*m = -100, -5*t = 5*m - p. Is 11 a factor of t?
False
Let u(i) = -i - 3. Let p be u(-3). Suppose -5*l = 3*f - 9, p = 4*l - f + 3*f - 6. Suppose l = -4*n - 13 + 117. Does 13 divide n?
True
Let r be -54 + 1/(2/(-4)). Let a = -35 - r. Is a a multiple of 9?
False
Let i = 10 + -7. Suppose 2*q - 3 = i. Is (q - 1) + 8 - 3 a multiple of 2?
False
Suppose -3*t = -0*t. Let s = 24 + t. Is s a multiple of 6?
True
Let a(h) = 24*h - 70. Is a(5) a multiple of 50?
True
Let x = 20 + 19. Does 5 divide x?
False
Suppose -5*d + 27 = 3*u + u, 2*d - 16 = u. Let j = d + -4. Suppose -2*z = 2*z + 8, -5*l - j*z = -24. Is l a multiple of 5?
False
Suppose 8 = 5*o - 3*o. Let c = 5 + o. Is c a multiple of 3?
True
Let h = -4 + 4. Let l(d) = -d. Let v be l(h). Let y = v - -18. Is y a multiple of 9?
True
Suppose -2*w = w + 33. Let h = 3 - w. Is 3 a factor of h?
False
Let q(g) = 2*g + 33. Is 39 a factor of q(16)?
False
Suppose -7 = -l + 3. Suppose -l = q + 3*u, 3*u = -2*q + u. Is q a multiple of 5?
True
Is 18 a factor of 588/32 + (-6)/16?
True
Let v(o) = o**2 - 2*o. Let p be v(2). Suppose p*l - l + 12 = 0. Is l a multiple of 12?
True
Does 9 divide 0 + (-3)/3 + 28?
True
Let c(q) = -q**2. Let p be c(0). Suppose -4*o + 120 = 4*a, 2*a + p*a - 8 = 0. Is o a multiple of 9?
False
Suppose 2*v + 3*v = 190. Let s = v + -2. Does 12 divide s?
True
Let d be 2/(-6) + 134/(-3). Let a = 78 + d. Is a a multiple of 17?
False
Let m(u) = 3*u**3 - 3*u**2. Is m(2) a multiple of 9?
False
Suppose 4*u = -2*f - 22, 4*u = -f - 0*f - 21. Let y(b) = 2*b**2 + 4*b. Is y(u) a multiple of 10?
True
Let f(b) be the first derivative of -b**3/3 -