 (-5094)/15)/(17/(-85))?
False
Suppose -9*t + 953 + 1558 = 0. Does 9 divide t?
True
Let f(m) = m**3 + 8*m**2 - 11*m - 5. Let t be f(-9). Let i = t - -13. Is i a multiple of 9?
False
Suppose 5*z - 8 - 7 = 0. Let i be (z - (-12)/(-3)) + 3. Suppose -i*u + 3 + 35 = 0. Is 10 a factor of u?
False
Suppose 0 = -r + 5*r, 0 = -4*l - r + 1224. Does 58 divide l?
False
Let f = -210 - -338. Is 34 a factor of f?
False
Let a(i) = -i**2 - 11*i + 15. Let f be -14 - 3/((-3)/2). Let d be a(f). Suppose -d*v + 123 = p, -2*v + 35 + 43 = 2*p. Is v a multiple of 21?
True
Let z = 31 - 29. Suppose 5*t - 157 = 4*t - 4*s, -s + 314 = z*t. Is 19 a factor of t?
False
Let y(v) = 38*v**3 + v**2 + 2*v - 4. Let x be y(1). Let z be ((-97)/4)/(2/(-8)). Suppose -5*m + 3*c + x = -z, 5*m + 5*c = 150. Is m a multiple of 9?
False
Suppose -2*n = -2*j - 28, -4*n + j + 2*j = -59. Let f(t) = -t**3 + 17*t**2 + 8*t - 20. Does 29 divide f(n)?
True
Suppose 12*l + 15 = 15*l. Suppose 6 = 3*z, 0 = -m + 4*z + 58 - 11. Suppose m = w + l. Does 10 divide w?
True
Let q(t) = 21*t**3 - 2*t**2 + 1. Let u be q(1). Let v be (-12)/u - 26/(-10). Suppose 0 = 2*a, -3*y - v*a - 2*a + 90 = 0. Does 18 divide y?
False
Let p(l) = 8*l - 4 - 4*l + 0 - 20*l**2 + 7. Let k be p(-2). Let v = -47 - k. Is v a multiple of 19?
True
Let m = 1356 + -373. Does 19 divide m?
False
Let p = 20 - 2. Let w = p - 14. Is (-1)/w - 102/(-24) a multiple of 2?
True
Let n(t) = 6*t**2 - t - 2. Suppose -3*i - 5 = 2*i. Let r be n(i). Let z(m) = 2*m**2 + 4*m - 2. Is z(r) a multiple of 19?
False
Let n(g) = 2*g**2 - 13*g + 53. Let z be n(6). Let f = z + -31. Does 8 divide f?
True
Let v(c) = -5*c + 3. Let y be v(3). Suppose 0 = -3*u + 4*d - 24, -u - 5*d + 16 = 5. Let b = u - y. Is 5 a factor of b?
False
Does 23 divide 1 - 6 - 1*2122*-1?
False
Suppose -8*z - 20 = 12. Let m(n) = -24*n + 12. Is m(z) a multiple of 12?
True
Let c(z) = z**3 - 13*z**2 + 11*z - 1. Let m be c(12). Is (m/26)/(1/(-54)) a multiple of 2?
False
Let j be ((-2)/(-3))/((-2)/(-9)). Suppose 3*o + 3*x - 222 = 0, 59 + 145 = 3*o - j*x. Does 15 divide o?
False
Let q be (-1 + 1)/1 - -14. Let a(p) = -p**2 + 15*p - 6. Let s be a(q). Suppose -11*z + s*z + 27 = 0. Is 3 a factor of z?
True
Let s(b) = b**3 + 14*b**2 + 15*b + 10. Let u be s(-13). Is (-3)/(-2) - (2376/u)/3 a multiple of 17?
True
Let m(v) = -v**3 - 12*v**2 + 11*v - 12. Let p be m(-13). Suppose -42 - p = -4*i. Is i a multiple of 2?
True
Let a(f) = 14*f**2 + 21*f + 85. Does 48 divide a(-7)?
True
Let b = 240 + 86. Does 6 divide b?
False
Let c(o) = -23*o - 31*o - o**3 + 3*o**2 + 70*o + 6. Is c(5) a multiple of 18?
True
Let c be -3 + (0 - 0) + 1. Let k be (-1)/c*(-8)/(-4). Is 3 a factor of (-1)/k*(0 - 7)?
False
Let c(j) = j**2 + 10*j + 10. Let q be c(-11). Suppose 0*w - 5*a + q = -w, 33 = 2*w + 5*a. Suppose 20 = -w*x + 164. Is x a multiple of 12?
True
Let l be 21683/9 - (-6)/(-27). Does 15 divide l/21 + (-8)/(-28)?
False
Let f = 17 + -1. Let t(w) = -2*w**2 + 16*w + 3. Let z be t(8). Suppose 20 = z*g - f. Is g a multiple of 6?
True
Suppose -v - 3*r = -2*r - 222, 4*r = 2*v - 456. Suppose -4*y + v = 4*y. Is y a multiple of 4?
True
Let k(s) = -2*s + 14. Let u be k(6). Suppose f = u*f. Suppose -3*h + 3*p + 231 = h, -h + 5*p + 45 = f. Is h a multiple of 15?
True
Let d = -8 - -13. Suppose -3*s - 3 = 0, 3*s + 2*s = 4*m - d. Suppose m = -2*x - l + 65, 0*x + x - 5*l - 16 = 0. Is x a multiple of 31?
True
Let x be (33/11)/((-9)/(-6)). Suppose -3*t = -x*v + 133 - 15, 4*v - 236 = 4*t. Is 8 a factor of v?
False
Suppose -5896 = -4*x - s, -1568 = -x - s - 94. Is x a multiple of 10?
False
Let l(r) = -3*r**3 - 8*r + 16. Is 13 a factor of l(-7)?
False
Let o = 71 - 123. Let f = o - -90. Suppose 3*a - f = 2*a. Is a a multiple of 19?
True
Let a(q) = -q**3 - 15*q**2 - 34*q + 4. Does 18 divide a(-13)?
True
Let s = -15 + 21. Suppose 0 = -2*p + p + 2*n - 2, 4*n = -2*p - 44. Is 11/s - 2/p a multiple of 2?
True
Let m be 8 - (-4)/(-1 - 0). Suppose 0*j = -m*j + 724. Suppose 5*k + 123 = 2*g, k + j = 4*g + 4*k. Does 13 divide g?
False
Suppose -3*t + 258 = 3*t. Suppose t = 3*u - 2*x, 0 = -2*u + 4*x + 10 + 32. Is u a multiple of 3?
False
Suppose i = -w + 71, -5*i = -2*w - 4*i + 154. Is 5 a factor of w?
True
Let q be (1 - 2)/((-2)/(-32)*4). Is (-2)/4*(q - 26) a multiple of 15?
True
Let u(l) = 7*l**3 + l + 1. Let b be u(-1). Let q(k) = k**3 + 8*k**2 + 2*k + 1. Does 12 divide q(b)?
True
Let o = 34 + 180. Is 21 a factor of o?
False
Let q(b) = b**2 + 16*b. Suppose 0 = -5*s + 4 - 84. Let m be q(s). Suppose a = -m*a + 9. Is a a multiple of 4?
False
Let g(c) = c**2 + 9*c + 11. Let h be g(-8). Suppose 3*w - 411 = -3*z, -3*w - h*z - 289 = -5*w. Is 15 a factor of w?
False
Let a(w) = -4*w**3 - w**2 + 5*w + 7. Suppose 3*s = 9 - 15. Is 5 a factor of a(s)?
True
Let f(m) = -18*m**3 - 5*m**2 - 2. Let t(z) = 17*z**3 + 6*z**2 + 3. Let c(y) = -4*f(y) - 3*t(y). Does 2 divide c(1)?
True
Suppose 49 = 4*h + 17. Let f be 4*((-12)/h - -2). Is (-51*f)/(27/(-18)) a multiple of 26?
False
Let i = 27 - 27. Does 20 divide (-6 + 78 - 1)*(i - -1)?
False
Suppose -l - 2*l = -9. Suppose -5*s - 3*x + 45 = 0, 0 = 4*s - 0*s - x - 19. Is 27 + (s - l) + 1 a multiple of 7?
False
Is -60*(3/(-20))/((-1)/(-16)) a multiple of 16?
True
Suppose -3607 = -11*u + 3356. Is 19 a factor of u?
False
Let i = -205 - -328. Does 10 divide 8*(i/6 - 3)?
True
Let v be (5/(-5) - -7) + -4. Let m(u) = 2*u**2 - 4*u. Let x be m(v). Suppose 5*i = -2*g + 98, 5*g + 4*i - 2*i - 266 = x. Is 9 a factor of g?
True
Is 6 a factor of 36/(24/(-4)) - -150?
True
Let f(i) be the first derivative of 17*i**2/2 + 5*i - 7. Does 8 divide f(3)?
True
Suppose 3*o + 5 + 1 = 0. Let z be (-152)/(-5) - o/(-5). Suppose z = -3*g + 84. Does 16 divide g?
False
Suppose -2*x + 2*n - n = -58, -2*x + 3*n = -66. Let w(s) = -s**2 - x*s - s - 5 + 0 + 7*s. Is 15 a factor of w(-16)?
True
Let w = -1142 - -1622. Does 48 divide w?
True
Does 17 divide ((-864756)/(-785))/((-2)/(-5))?
True
Is 2973/(0 + 3)*1 a multiple of 21?
False
Suppose 60*j - 3264 = 54*j. Is 16 a factor of j?
True
Suppose 0 = -3*l + 7*l - 60. Suppose 12*y = l*y - 135. Does 9 divide y?
True
Let g(n) = -n - 30. Let l be g(0). Let a = l - -58. Suppose 3*j = a + 5. Is j a multiple of 2?
False
Let i(r) = r**3 + 7*r**2 - 9*r - 8. Let n be i(-7). Suppose -5*h - n = -355. Does 15 divide h?
True
Suppose 2994 = -41*z + 47*z. Does 8 divide z?
False
Let o(s) = 7*s**3 - 6*s**2 - 6*s - 7. Let m(j) = j**2 + j + 1. Let c(f) = 6*m(f) + o(f). Let h be c(1). Is h/21 - 468/(-28) a multiple of 17?
True
Let m = 361 - 81. Is 16 a factor of m?
False
Let v(u) = -u**3 - 4*u**2 + 5*u + 2. Let s be v(-5). Suppose -p = -b - 2*b + 203, 0 = s*p + 10. Is b a multiple of 17?
False
Suppose j - 102 = -105. Is -29*(0 + j + 0) a multiple of 6?
False
Let y(d) = -5*d**3 - 3*d**2 - 2*d - 1. Let r be y(-2). Let x = -6 + r. Is 12 a factor of x?
False
Let f = -981 + 1147. Is 4 a factor of f?
False
Does 53 divide (-9)/15 + 4 + 29148/30?
False
Suppose -2*u + 26 = 2*u - 3*g, -5*u = -2*g - 29. Let k = 0 + 0. Suppose k = -0*n - u*n + 180. Is n a multiple of 12?
True
Suppose 2*q = -2, 2*l + 5*q = -l + 718. Does 47 divide l?
False
Suppose -5*m = -11706 - 1119. Does 19 divide m?
True
Let p(c) = 57*c**2 + c. Let u(h) = h**2 + 3*h - 5. Let k be u(-5). Suppose 2 + 8 = -k*l, -4*l - 12 = -4*n. Is 17 a factor of p(n)?
False
Suppose -4*x + 677 = 5*k, -6*k + k = -x + 138. Let o = x - 113. Is o a multiple of 17?
False
Let a = 698 - 548. Is 30 a factor of a?
True
Is ((-1072)/(-28))/((-4)/(-14)) a multiple of 4?
False
Let p(x) = -x**2 - 5*x - 4. Let k(m) = -m. Let o be k(3). Let a be p(o). Suppose 278 = 5*y - 2*u, -2*u + u + 113 = a*y. Does 14 divide y?
True
Let l(p) be the first derivative of 5*p**4/4 + 2*p**3 - 5*p**2/2 + 4*p + 10. Does 3 divide l(2)?
False
Let r(h) = -h**2 - 13*h + 10. Let q be r(-12). Let p be (37 - -5)*q/4. Let b = -162 + p. Is b a multiple of 26?
False
Suppose -3*q = -4*d + q + 8, -q + 13 = 2*d. Suppose 3*p + 6 = d*p, 3*p + 179 = 4*j. Is 26 a factor of j?
False
Let s(d) be the first derivative of 9*d - d**2 - 11 + 1/3*d**3. Does 18 divide s(-7)?
True
Suppose -l = -2*l + 1, -s + 5*l = -226. Suppose 3*t = 6*t - s. Let w = -40 + t. Is 13 a factor of w?
False
Let u(c) = -3*c**2 + 10*c - 1. Let m(s) = 7*s**2 - 20*s + 2. Let k(o) = 2*m(o) + 5*u(o). 