(-2)/(-13) + (-114520)/(-910)?
True
Suppose -11*g - 3866 + 54840 = 0. Is 151 a factor of g?
False
Let o be (80*18/(-28))/((-14)/784). Suppose -19*w + o = -11*w. Does 41 divide w?
False
Let t be 6313/642 - (10/12 - 1). Suppose -8*g - 532 = -t*g. Is 14 a factor of g?
True
Let v = -7 - -11. Suppose v*f = 4*i + 8 - 4, -1 = f - 2*i. Does 8 divide 7 - -1*f/3?
True
Let c(g) = g**2 + 37 + 26 + 24. Is c(0) a multiple of 24?
False
Let x = 1227 - 193. Is 19 a factor of x?
False
Let d(h) = h**3 - 2*h**2 + 3*h + 2. Let u(w) = w**2 + 5*w + 9. Let t be u(-4). Does 14 divide d(t)?
False
Let b = 52 - -4. Suppose 6 + 294 = -10*x. Let y = b + x. Is 6 a factor of y?
False
Let k(i) = 2*i - 12. Let a be k(7). Let y = -60 - -86. Suppose -a*h - y + 78 = 0. Is 13 a factor of h?
True
Let z be -2 + -2 + 2 + 3. Suppose -4*n = 3*p + z, 0*p - 3*p + 7 = 2*n. Let h = n - -12. Is h a multiple of 3?
False
Suppose -4*y - 1 - 7 = 0. Is y/5 + 1261/65 a multiple of 9?
False
Let d be 6/(-15)*(-75)/5. Suppose -2*b = d - 14. Let k(y) = 3*y - 5. Is k(b) even?
False
Let g be (-8)/12*-12 + -3. Suppose -4*j = -2*j + g*c + 17, -4*c - 9 = -3*j. Is 10 a factor of 1/j + 4 + 19?
False
Suppose -5*k = 3*y - 596 - 745, -k + y + 265 = 0. Let i = k + -141. Is 21 a factor of i?
True
Suppose -27*s + 23*s = -3*z + 120, -102 = -3*z - 2*s. Is z a multiple of 12?
True
Let d(p) = p. Let n be d(3). Suppose 29 = a + 2*s, 3*s = 8*s + 20. Suppose -a + 1 = -n*j. Is 4 a factor of j?
True
Let t be 200/(-6)*18/(-4). Suppose 2*q + 62 = t. Is 4 a factor of q?
True
Suppose -37*s = -33*s - 4276. Does 14 divide s?
False
Suppose -472 = -4*i - 348. Does 8 divide i?
False
Suppose -v + 127 = -4*u - 176, -u - 2*v = 69. Is 15 a factor of (-2)/((-2)/u*-1)?
True
Suppose -9*x = -6*x - 6. Suppose 86 = 2*u - 5*b, -3*u + 138 = -x*b - b. Is 48 a factor of u?
True
Let i be -11*(-1 - (-3 + 3)). Let b(p) = p**3 - 11*p**2 + p - 11. Let k be b(i). Suppose -3*u + k*u + 81 = 0. Is u a multiple of 8?
False
Let k = 7 - 10. Let p(t) = 2*t**2 + 11*t - 13. Let f(v) = -v**2 - v + 1. Let s(z) = k*f(z) - p(z). Is s(7) a multiple of 2?
False
Let y(c) = 6*c - 15. Let h(m) = -5*m + 16. Let q(o) = -5*h(o) - 6*y(o). Let u(b) = -6*b - 1. Let t be u(1). Is q(t) a multiple of 23?
False
Let k be 740 + -34 + -1*2. Suppose 0*n = 11*n - k. Is 6 a factor of n?
False
Suppose 5728 = 23*j - 17502. Is 18 a factor of j?
False
Let i be 36/(-16)*5/((-20)/(-16)). Does 13 divide (i/(-6))/((-12)/(-28))*26?
True
Suppose -2*l + 9360 = 24*l. Does 10 divide l?
True
Let c(q) = 5*q - 4. Let r be c(0). Let z(y) = -y**3 + 7*y**2 + 10*y + 5. Does 57 divide z(r)?
False
Let t be 3030/8 - (-7)/28. Suppose -t = -3*h - 10. Is h a multiple of 33?
False
Let o = 28 + -11. Let j = -15 + o. Suppose -21 = -3*g - 0*g - j*n, 30 = 5*g + 5*n. Is 9 a factor of g?
True
Suppose 60 = -2*k - 2*k + 5*p, 12 = -3*p. Let n = -11 - k. Is n/15 - (-354)/10 a multiple of 9?
True
Let h = 1708 + -213. Is 13 a factor of h?
True
Suppose 8 = 4*c - 2*c. Suppose -c*u + 52 - 4 = 0. Is 6 a factor of u?
True
Suppose x - 6 = -3*w - 2*x, 5*w - 2*x = -11. Let a(j) = 15*j**3 + j**2 + j. Let l be a(w). Is (-690)/12*12/l a multiple of 10?
False
Let f be (-8)/(-44) + (-57)/11. Let l = f + 23. Is l a multiple of 6?
True
Suppose 2*p - 256 = -0*h - 2*h, 0 = h - 2. Suppose v + 2*v = s - 54, -3*s - 3*v = -p. Does 12 divide s?
False
Suppose 118*f = 117*f - 6. Is 1844/22 + -4 - f/33 a multiple of 10?
True
Suppose -72 + 8 = -4*w. Let a(k) = 2*k + 7 - k**3 + 12*k**2 + 0*k**2 - w + 3*k. Does 15 divide a(12)?
False
Let s = 39 + -22. Suppose -6 = -3*d, 0 = i + 5*d - 4 - 43. Let y = i - s. Is 10 a factor of y?
True
Let q = -26 - -30. Suppose -39 = -q*p + 89. Does 8 divide p?
True
Let b(o) = o**3 + 6*o**2 + 5*o - 3. Let j be b(-4). Let k = 9 - j. Suppose k = 2*u + w - 165, 2*w - 5*w = -2*u + 185. Is 23 a factor of u?
False
Let i = -3 + 4. Suppose 3*g = -2*o + i, 0 = 8*o - 4*o - g + 33. Let w = 10 + o. Is w a multiple of 3?
True
Suppose 0 = 8*a - 9*a - 126. Let z = a + 137. Is z a multiple of 6?
False
Let x be (-14)/35 + (-368)/5. Let p = x + 112. Is 5 a factor of p?
False
Let l(f) = f**2 - 4*f + 5. Let h be l(3). Suppose 132 = 2*w - 5*v, h*w = -2*v + 3*v + 148. Is 13 a factor of w?
False
Does 8 divide (-613712)/(-1364) - 6/(-93)?
False
Suppose -19*m + 3*y = -23*m + 999, -3*m + 743 = -4*y. Suppose -n + 5*k = -m, -4*k + 194 = 3*n - 477. Is n a multiple of 30?
False
Let h be (81/(-15) + 5)/(2/(-150)). Let u(z) = 3*z - 34. Is u(h) a multiple of 8?
True
Let i(u) = -2*u**2 + 8*u + 31. Let r be i(-6). Let h = -30 - r. Is 3 a factor of h?
False
Suppose -2*y - 4*w - 4 = -3*y, 0 = 4*y - w - 1. Suppose h + 27 = -j + 3*h, -3*j + 3*h - 81 = y. Does 23 divide 1/3 + (-1233)/j?
True
Let x be (-4)/30 + 16352/240. Suppose -20 = -5*p + d + 53, 4*p + 4*d - x = 0. Suppose 0 = 3*c + p, -g = c + c - 2. Does 6 divide g?
True
Suppose -4*s + 697 = 2*u - 3*u, 0 = 4*s + u - 687. Does 8 divide s?
False
Let i be (2/(-4))/((-2)/140). Let u = 156 + -75. Suppose -4*o + u + i = 0. Does 16 divide o?
False
Let j = 76 + -72. Suppose -3*u = -3*a - 57, 3*a + 38 = 2*u + j*a. Is u a multiple of 15?
False
Let c be (-38)/(-4) - 7/(-14). Let h(p) be the first derivative of p**4/4 - 10*p**3/3 + 14*p - 4. Is 3 a factor of h(c)?
False
Let c be (30/(-12))/(2/(-28)). Suppose -3*m - 225 = 45. Let y = c - m. Does 34 divide y?
False
Let u(c) = 8*c**2 + 23*c + 14. Is u(13) a multiple of 15?
True
Suppose -y = -6*y + 4*t + 700, -3*y - 3*t = -393. Suppose 15*u + 2*u = y. Does 4 divide u?
True
Suppose -4390 = 8*j - 13*j. Does 7 divide (-12)/(-54) - j/(-18)?
True
Let d = -42 - -45. Suppose 51 = 3*x + d*u, -5*x = -3*u - 2*u - 55. Does 7 divide x?
True
Let k = 56 - 53. Is 15 a factor of 25 + (4 - -1) - k?
False
Suppose 0 = -5*r - 4*m + 2550, -4*r - r + m = -2575. Let k be r/7 - 27/63. Let f = -50 + k. Is 16 a factor of f?
False
Suppose -38*m = -37*m - 120. Does 8 divide m?
True
Let d(x) = 42*x**2 - 15*x - 19. Is d(9) a multiple of 11?
False
Suppose -p - 2*p - 19 = 2*j, -j + 3 = -p. Does 3 divide (-21 - j)*(1 - 2)?
False
Suppose 38*q = 44*q - 36. Is 3 a factor of q?
True
Suppose -p + 11 = 4*p - n, -n = -4*p + 8. Suppose 12 = p*b, 3*b = y - 3 + 4. Let u = 26 - y. Does 15 divide u?
True
Let a(g) = -5*g + 167. Is a(-18) a multiple of 11?
False
Let y(p) = -p**3 + 7*p**2 - 4*p - 7. Let g be y(6). Suppose 8 = g*s - 2. Suppose -3*x + s*x + 17 = 0. Does 5 divide x?
False
Let q = -444 + 664. Is 55 a factor of q?
True
Does 13 divide -3 + -1 - -240 - 6?
False
Suppose 4*x - 1 + 86 = 5*r, 4*r + x - 47 = 0. Suppose -r*v + 219 = 50. Is 13 a factor of v?
True
Let o(l) = 2*l**2 + 33*l - 332. Is o(14) a multiple of 87?
True
Suppose b = 3*c + 5*b - 335, 2*c - b = 227. Does 10 divide c?
False
Let v = -3 + -1. Is (5 + v)*-12*(-51)/4 a multiple of 17?
True
Suppose 4*o - 258 + 34 = 0. Does 4 divide o?
True
Let w(p) = 17*p + 2. Suppose -a - 5*n = 1 + 2, 0 = -2*a - 3*n - 6. Let j(x) = x**3 + 3*x**2 - x - 2. Let y be j(a). Does 14 divide w(y)?
False
Suppose -964 = -3*m - 3*l + 2*l, -l = -3*m + 974. Does 19 divide m?
True
Let w be 1*9 + (-27)/9. Suppose w*d - 52 = 2*d. Is 2 a factor of d?
False
Let z(x) = -8*x - 264. Is z(-54) a multiple of 6?
True
Suppose 0*x = 4*x - 60. Is 13 a factor of (x - 5)*(-44)/(-5)?
False
Let w(n) = 2*n + 24. Let c be w(-11). Suppose 2*t + 2*u + 4 = -c*u, -4*u = 5*t - 14. Is t even?
True
Let m(a) = -2*a**3 + a**2 + 4*a - 6. Let p(g) = g**3 - g**2 - 3*g + 5. Let l(o) = -2*m(o) - 3*p(o). Let x be l(0). Let i(r) = -3*r + 5. Is i(x) a multiple of 6?
False
Suppose -11*j + 1434 + 2361 = 0. Is j a multiple of 23?
True
Suppose 3*l - 2 = -5*w, w - 2 = -l - 0. Let c be (l - 12)*(-27)/12. Suppose -4*u = a - u - c, 5*u - 107 = -4*a. Is a a multiple of 11?
True
Let y be (-12 - -4)*(-3)/4. Suppose 6 = -3*c + 3*b, -2*c + 2*b - 22 = -y*c. Suppose 2*f - 3*q - 321 = -c*f, -4*q + 118 = 2*f. Is f a multiple of 17?
False
Let k(g) = g**3 + g**2. Let s(p) = 5*p**3 - 5*p**2 - p - 1. Let o(a) = 4*k(a) + s(a). Let j be o(2). Let q = j + -1. Does 18 divide q?
False
Suppose 0 = -8*s + 3*s + 270. Let b = s + -23. Suppose -3*q = 3*o - 219, -2*q + 43 + b = o. Is 18 a factor of o?
True
Suppose 1751 - 7601 = -39*d. Is 30 a factor of d?
True
Let u = -17 - -10. Is 13 a factor of (2 - 3) + u + 86?
True
Suppose -3*a - 3 + 18