96/(-1052) - -2)?
False
Let g = -7 - -5. Let n be (2 - (-1 - 0)) + g. Is (-2)/n*39/(-6) a multiple of 13?
True
Suppose -5*d = -5*u - 35, 0*u + u - 4*d + 4 = 0. Does 3 divide (-2)/(-8) - 70/u?
True
Let q(k) = 2*k**2 - 8*k + 9. Let r be q(6). Let m = 17 - 27. Let x = m + r. Is x a multiple of 13?
False
Let m(l) = -12*l - 12. Is 38 a factor of m(-20)?
True
Suppose 0 = -0*m - 2*m + 10. Suppose -2*g = 3*a - 69, -5*g - 2*a = -2*g - 96. Suppose p + 3*b - g = 2*b, m*p - b = 132. Is 13 a factor of p?
False
Suppose 36 = 6*b - 42. Is b a multiple of 13?
True
Let v be ((-8)/(-5))/((-1)/(-10)). Suppose 3*w - 17 = v. Is w a multiple of 11?
True
Let u = 4 + -2. Let k be (-3 + 0)*(u - 10). Suppose -4*s + k + 24 = 0. Is 12 a factor of s?
True
Suppose 10 = 4*x - 362. Does 40 divide x?
False
Let j be 3/(-1 + (-5)/(-2)). Suppose -3*m + 5*q + 7 = -19, 2*q + 12 = j*m. Suppose -4*p = m*u - 42, p + 12 = 2*p + 2*u. Does 6 divide p?
False
Suppose -6*x = -3*x - 12. Is 3 a factor of x?
False
Let j be (0 - -25)*4/(-10). Is 6 a factor of 6/10 + (-54)/j?
True
Let c(q) = q**2 + 9*q - 57. Does 19 divide c(-19)?
True
Let q(p) = -23*p - 2. Let r = 3 + 0. Suppose k + 17 = 5*g, -r*k = -k + 2*g - 2. Is 13 a factor of q(k)?
False
Suppose 4*v = -16 + 72. Does 14 divide v?
True
Suppose -4*t - 16 = u, 7 = -2*u + 4*u - 5*t. Let a = u + -3. Let g = 9 - a. Is 8 a factor of g?
True
Suppose 0 = -2*x + 564 + 308. Let i be 2/8 - x/16. Let c = -19 - i. Is c a multiple of 8?
True
Does 8 divide (384/(-9))/(2/1)*-3?
True
Suppose 0*c - 2*c + 4*z = 2, z = c. Let u = -4 + c. Is u + 22 - (0 + 0) a multiple of 19?
True
Let m be 7/(-3)*-10*3. Suppose 13*k - 8*k - m = 0. Is 4 a factor of k?
False
Let u(v) = -28*v - 2. Let a(l) = l + 3. Let y be a(-5). Does 27 divide u(y)?
True
Let g(t) = t. Let l be g(2). Let v(p) = l*p - 2*p**2 + 0*p + p**2 - 5 - 9*p. Is 5 a factor of v(-5)?
True
Let o(f) = -f - 1. Let z be o(1). Does 7 divide 19 - 1/(z/(-6))?
False
Let q(t) = -t + 3. Let s be q(7). Let m(c) = 2*c**2 + 3*c - 5. Does 15 divide m(s)?
True
Let g be (2 - 2)/(-2)*1. Suppose -4*z + z + 84 = g. Does 14 divide z?
True
Let a = 96 - 169. Let f = a + 163. Is f a multiple of 14?
False
Suppose -8 = -2*j - 2*j. Is 8 a factor of 3/j - 90/(-4)?
True
Suppose -36 = -g + 63. Is g a multiple of 6?
False
Suppose 7*m = 11*m - 156. Does 13 divide m?
True
Suppose 0 = 5*q + 5*p + 18 - 53, 3*p = 15. Suppose 0 = -2*z + 19 + 5. Is (7 - 3)/(q/z) a multiple of 8?
True
Is (40/(-3))/(4/(-3 + -21)) a multiple of 16?
True
Let v(a) = 10*a - 4*a - a. Let f be v(-1). Is 3 a factor of (-3)/((-3 - f)/(-2))?
True
Let f = 0 - 0. Let a be (76/(-5))/((-28)/70). Suppose f*m = 2*m - a. Is 19 a factor of m?
True
Let b(n) = -3*n**2 - 29*n + 18. Is 9 a factor of b(-9)?
True
Suppose -12 = 3*z - 6. Suppose 0 = -a - 2*a - 234. Is 5 a factor of (-3)/z + a/(-12)?
False
Let v = -15 + 35. Let u = 29 - v. Does 9 divide u?
True
Let m = -7 + 13. Is 3 a factor of m?
True
Let g be ((-8)/(-6))/(3/90). Suppose -4*j + 208 = 5*v, -j + g = 2*v - 45. Does 21 divide v?
False
Let n = 46 - 23. Let v = 6 + n. Is 17 a factor of v?
False
Suppose -4*u = -2*u - 6, 0 = 5*h + 2*u - 156. Is 10 a factor of h?
True
Let x = -4 + 6. Suppose -d = -2*t + 4*d + 18, 5*t - x*d = 3. Is 2 a factor of 95/20 + t/(-4)?
False
Let y be 0/(-2) + 0/(-3). Suppose 3*k - 9 = -y*k. Is k even?
False
Let w(g) = -g + 10. Let v be (8/(-12))/((-4)/(-42)). Is 11 a factor of w(v)?
False
Let h(p) be the third derivative of p**7/2520 + p**6/180 - p**5/120 + p**4/24 + 2*p**2. Let j(y) be the second derivative of h(y). Is 12 a factor of j(-7)?
False
Let x be 15 - (-1 + 4)/3. Is (3 - 2)/(2/x) a multiple of 2?
False
Let l(q) = q**2 - q - 1. Let h(j) = j**2 + 5*j - 7. Let k(i) = -h(i) + 2*l(i). Let r be k(6). Is (4/(-4))/(r/15) a multiple of 15?
True
Let p(i) = i**2 - 3*i + 1. Let j(n) = -5*n**2 + 11*n - 3. Let c(u) = -2*j(u) - 9*p(u). Let x be c(-6). Suppose -x*f = -f - 28. Does 7 divide f?
True
Suppose 0*t = -3*t - 3. Let r = 1 + t. Suppose r = 3*a - 5*a + 34. Is 11 a factor of a?
False
Suppose 0 = 5*j - j + 4. Is 8 a factor of 11 - -2 - (-4 - j)?
True
Suppose 5*z + 151 = -3*c, 3*c + 2*c + 263 = 3*z. Let q be 63/13 - 8/c. Suppose -q*b + 75 = 3*t, -t + 13 = 2*b - 12. Is t a multiple of 10?
False
Let c(k) = -k**3 + 12*k**2 + 13*k + 7. Is 2 a factor of c(13)?
False
Let y = -19 + 23. Is 2 a factor of y?
True
Let d = -22 - -36. Let o be 206/d + 6/21. Suppose o = m - 3. Does 11 divide m?
False
Suppose -5*c = 5*v, 0 = -5*v - 2*c - 6. Does 15 divide 2*(-24)/v*1?
False
Does 39 divide (-2 - (-292)/(-12))/((-4)/12)?
False
Suppose 5*k + 2*k = 0. Suppose -f = -k*f - 28. Is 7 a factor of f?
True
Let y(q) = -q**2 + 3*q - 1. Let a be y(1). Let m(x) = 8*x + 5 - 6 + 14*x. Is 8 a factor of m(a)?
False
Suppose -3*w + 959 = 5*v - 4*w, -4*v + 2*w + 766 = 0. Is 35 a factor of v?
False
Suppose -3*q - 10 + 28 = 0. Let t = q - -2. Is 8 a factor of t?
True
Is (1244/(-24))/((-1)/6*1) a multiple of 15?
False
Let j(g) = g**3 + 7*g**2 + g + 9. Let w(r) = -r**2 - 9*r + 3. Let o be w(-10). Let p be j(o). Suppose p*u + f = 46, 42 = 2*u + 2*f + f. Is 9 a factor of u?
False
Let r be (-4)/14 + (-4)/(-14). Let i be (r + -1)*(1 + -4). Suppose 0 = -4*a + i*a + 9. Is 9 a factor of a?
True
Let i(z) = 2*z**2 + 4*z - 4. Is i(-6) a multiple of 17?
False
Let m = 23 - 43. Let v = 22 - m. Is 14 a factor of v?
True
Let m(f) = 0*f**2 + 1 + 42*f**3 + 0*f - f - f**2. Is m(1) a multiple of 21?
False
Let c = -15 + 17. Suppose 290 = 7*z - c*z. Is z a multiple of 28?
False
Let l be -1 + 1 + 2 + 0. Suppose -3*c - 102 = 5*m - 311, m - 130 = -l*c. Is 21 a factor of c?
True
Let i(c) = 3*c**3 - 4*c**3 + 1 + 3 - 7*c**2. Let f be i(-7). Is 11 a factor of (-26)/(f/2 + -3)?
False
Suppose -4*s = -27 + 11. Suppose 0 = 2*q + 5*i - 31 + 11, -i = -q - s. Suppose -3*x + 2*x + 5*b + 55 = 0, 2*x - b - 65 = q. Is 15 a factor of x?
True
Suppose 3*f + 4 - 19 = 0, 4*a + f - 61 = 0. Is 14 a factor of a?
True
Let q(a) = a. Let g(l) = 22*l - 4. Let o(k) = g(k) + q(k). Is o(4) a multiple of 28?
False
Let l be (-16)/(0 + 3/(-33)). Suppose 0 = 4*t - 8, 2*v - 4*v - 4*t + l = 0. Suppose -s - 36 = -v. Does 17 divide s?
False
Let o be -7*(-5)/(105/6). Suppose o = -2*d + 8. Is 2 a factor of d?
False
Let z = 7 + -5. Is 10 a factor of 93/z - (-6)/12?
False
Let f(m) = 114*m + 24. Is f(4) a multiple of 45?
False
Let q = 35 + -26. Let p(u) = -7*u - 7. Let l(j) = -j - 1. Let x(r) = 4*l(r) - p(r). Is 13 a factor of x(q)?
False
Let o(m) = -3*m**3 - m**2 - 2*m - 2. Let y be o(-2). Suppose -s + 45 + y = 0. Is 14 a factor of s?
False
Suppose 3*o + 2*o = -15. Is (-2)/o*(-684)/(-8) a multiple of 17?
False
Let l = -4 + 17. Suppose -5*k + 35 = 2*t + l, -5*k + 50 = -5*t. Is 68/k - (-1)/(-3) a multiple of 6?
False
Let i(v) = 29*v**2 - v + 3. Let w be i(2). Let s = -81 + w. Is s a multiple of 9?
True
Let j = 481 - 206. Suppose 3*i - j = 5*y, 3*i - 4*i + 105 = -5*y. Is 23 a factor of i?
False
Let h = 172 + -54. Does 15 divide h?
False
Let l = 9 - 5. Suppose l*o - 227 = -2*z + 89, 0 = -5*z + 5*o + 745. Is z/6 - 6/(-9) a multiple of 13?
True
Suppose z - 4 - 1 = 0. Suppose -4 = z*q - 44. Is 3 a factor of q?
False
Let s = 6 + -1. Suppose 0 = -5*x + s + 15. Let z(m) = -m**3 + 4*m**2 + 3*m - 3. Is z(x) a multiple of 9?
True
Let b(o) = o**3 - 10*o**2 + 10*o + 19. Is 9 a factor of b(9)?
False
Let w = -66 - -106. Does 10 divide w?
True
Is 9 a factor of (-1 - 15)*-3 + -1?
False
Let p(j) = -7*j - 5. Let m be p(5). Let a = -27 - m. Is a a multiple of 13?
True
Let l be -7*1*-1*2. Is l + (0 + -6)/3 a multiple of 6?
True
Let l = 5 - 3. Suppose l*g + 3*o - 11 = 0, -2*o = -0*o + 2. Let y = g - 4. Does 3 divide y?
True
Let g(z) = z**2 + 7*z - 1. Let a be g(-5). Let h = -10 - a. Let x = h + 4. Is x a multiple of 5?
True
Suppose 4 = d + d. Suppose 3*y - d*y = 0. Suppose y = -4*i - 4, -h + 5*i + 22 = -0*i. Is 16 a factor of h?
False
Suppose 49 + 5 = 3*z. Let d be -3*4/z*-6. Suppose -d*a - 15 + 63 = 0. Is 6 a factor of a?
True
Let x(f) = 2*f**2 + 8*f - 4. Let a(b) = b**2 + 4*b - 2. Let l(p) = -5*a(p) + 3*x(p). Let u be l(-6). Let t = 36 - u. Is 13 a factor of t?
True
Let l(m) = m**3 + 3*m**2 - 3*m. Is 7 a factor of l(2)?
True
Suppose -1 = -f + 2. Suppose r = u + 25, 4*r - 7 = f*r - 5*u. Is r a multiple of 13?
False
Is 30 a factor o