j*x - i = 2*x. Is x a multiple of 4?
True
Let d be (-6)/27 - 106/9. Let g = d - -6. Is 18 a factor of 52/3 - g/9?
True
Let d(c) = 32*c**2 + 10*c - 6. Is d(2) a multiple of 23?
False
Let d = 1033 + 1168. Does 21 divide d?
False
Let n = 553 + -189. Is n a multiple of 13?
True
Let c(h) = 6*h**2 + 5*h - 168. Is c(12) a multiple of 27?
True
Let q(c) = -c**3 + 9*c**2 - 9*c + 12. Let i be q(8). Let h(g) = g - 4. Let f be h(i). Suppose -5*d - 20 = -k, 5*k + f*k = 5*d + 100. Does 8 divide k?
False
Let w(d) = -3*d**2 + 20*d + 27. Let l(t) = -t**2 + 10*t + 13. Let u(p) = 5*l(p) - 2*w(p). Let q be u(-8). Let r(x) = -x**2 - 7*x - 2. Is 4 a factor of r(q)?
True
Let a = -2 + 884. Does 49 divide a?
True
Let z(s) = -22*s**3 - s**2 + 5*s + 3. Is 15 a factor of z(-2)?
True
Suppose 0*c - 4*c + 20 = 0. Let z(a) = -4*a + 3. Let t be z(-7). Suppose -v + t = -c. Is 12 a factor of v?
True
Let g(v) = 290*v**3 - 4*v + 2. Is 16 a factor of g(1)?
True
Suppose -2*z - 4 = -4*q, z + 4*q - 2*q + 6 = 0. Is 30 a factor of (-3)/((-3)/4) + z + 40?
False
Let f(w) = -w**2 + 44*w + 189. Is 7 a factor of f(30)?
True
Suppose 3*x + 20 = -37. Let t(z) = z**3 + 19*z**2 - 2*z - 23. Is t(x) a multiple of 7?
False
Suppose -2*h + 64 = 3*a - 31, -h + 2*a + 44 = 0. Let t be ((-65)/10 - 2)*-4. Suppose -2*i + h = 5*b, 5*i - 23 = 2*b + t. Is 13 a factor of i?
True
Suppose 0 = -27*n + 30*n - 1857. Is 13 a factor of n?
False
Let b = -761 - -2185. Suppose -281 = 9*d - b. Does 19 divide d?
False
Let c = 10 - 12. Let p be c/13 + (-8)/(-52). Let x = 40 + p. Is 13 a factor of x?
False
Suppose -f + 25 = 2*q, 7*f - 8*f + 3*q = -15. Is 3 a factor of f?
True
Let f(c) = c**3 - 2*c**2 - 8*c + 2. Let i be f(4). Is (2 - 1) + 0 + 165 + i a multiple of 21?
True
Let b be 308 + 3/(3/(-4)). Is 11 a factor of (-5)/((-20)/b) - 4?
False
Suppose 0 = -0*h - 6*h + 2*h. Suppose o - 2*w - 77 = h, -o + 6*w - 5*w + 74 = 0. Is 16 a factor of o?
False
Suppose 3*s - 25 - 290 = 0. Is 32 a factor of 2*3/(-5)*(-5600)/s?
True
Suppose -170 = -3*f + f - 5*k, -5*f - 3*k + 463 = 0. Suppose -w + 2*w = -5*t + f, t = 2. Suppose 3*z + 5*n - 68 = -z, -w = -5*z - 5*n. Does 5 divide z?
False
Suppose -124*t = -128*t + 752. Is t a multiple of 47?
True
Let x be 8 + (-1 - (-3)/(-6)*6). Suppose 3*q - x*q = -96. Is q a multiple of 24?
True
Let a(b) = b**3 - 23*b**2 + 43*b - 17. Let q be a(21). Let v = -141 - -197. Suppose 148 + v = q*h. Is h a multiple of 13?
False
Let q(y) = y**2 - 4*y + 5. Let m be q(5). Let s(o) = -o**2 + 10*o + 8. Let h be s(m). Does 3 divide (-14)/(-4) + 4/h?
False
Let h(n) = -17*n - 6. Let d be h(5). Let k = d + 163. Suppose -6*c - k = -552. Is 16 a factor of c?
True
Let c(a) be the second derivative of 3*a**3/2 + 4*a**2 - 3*a. Let j be c(6). Is (0 + j/(-6))*-3 a multiple of 18?
False
Is (-8 + (-119)/(-14))/(2/1004) a multiple of 27?
False
Let m = -9 - -7. Let b(f) be the third derivative of -f**6/20 + f**5/60 + f**4/24 - 6*f**2. Does 24 divide b(m)?
False
Is 2/11*5167 - (-150)/275 a multiple of 15?
False
Let s = 0 + -3. Let q be s/(-9)*-1*-12. Suppose 4*b = q*m - 0*m + 72, -4*m + 12 = 0. Does 14 divide b?
False
Suppose j + 1 = 4. Suppose x - 41 = j. Suppose c - x = 7. Does 17 divide c?
True
Suppose 5*b = 2*y - 6, -b + 4 = b - 4*y. Let i be 1 + 1 + (-1 - b). Suppose 2*c + 116 = 3*z, z + c = -i*z + 140. Is z a multiple of 12?
True
Suppose 13*w - 10*w = 0. Suppose 4*o + o - 605 = -5*y, w = -o + 4*y + 101. Suppose 2*k + 2*n - 60 = 0, -n = 3*k + k - o. Is k a multiple of 17?
False
Suppose c - 7594 = -3*f - 613, 5*c = -3*f + 6993. Does 47 divide f?
False
Let n(j) = 3*j**2 + 31*j + 36. Is 7 a factor of n(-12)?
False
Let y(z) = 2*z**3 + 4*z**2 - 2*z + 1. Let h be y(-6). Let q = -464 - h. Let x = -111 - q. Is 26 a factor of x?
True
Suppose -13*x + 16 = -9*x. Suppose -11 = x*f - 31. Is 5 a factor of f?
True
Let h(m) = m**2 + 9. Let n be h(8). Suppose n = 2*s - 47. Suppose 3*w = 9 + s. Is w a multiple of 12?
False
Let p be 2/9 + (-3 - (-125)/45). Does 3 divide (40 + p)*(-4)/(-10)?
False
Suppose -4 = -3*j + 5. Let w(d) = 11*d + 7*d**2 + 2*d**3 + 4*d**3 + 1 - 7*d**j. Is w(8) a multiple of 8?
False
Let m = 1453 + -925. Does 12 divide m?
True
Let f(t) = 23*t**3 + t**2 + 4*t - 6. Let g be (15/(-9))/((55/6)/(-11)). Does 38 divide f(g)?
True
Let g(l) = -l - 5. Let u be g(0). Let t = u + 12. Does 4 divide t?
False
Let t(q) = -q**2 - 3*q + 18. Let y be t(-6). Suppose y = 25*g - 33*g + 264. Does 33 divide g?
True
Suppose -25 = -2*q - 3*q. Suppose 0 = -p - 3*i - 0*i + 36, -q*i - 116 = -2*p. Is p a multiple of 15?
False
Does 60 divide (5/((-25)/(-198)))/(1/105)?
False
Let s(a) be the first derivative of -2*a**4 + a**3 + 2*a**2 + 4*a - 13. Does 12 divide s(-2)?
True
Is (-7 + 17 + -5)*1756/10 a multiple of 18?
False
Let o(d) be the first derivative of d**2 + 20*d + 10. Is o(2) a multiple of 6?
True
Suppose 4*q + 6 = -3*r - 111, 0 = 2*r - 2. Let z = 110 - q. Suppose -z = -0*s - 4*s. Does 21 divide s?
False
Let g(a) = 3*a**3 + a**2. Let l be g(1). Suppose 0*f + b + 157 = 3*f, -3*f = -3*b - 147. Is f/l - 8/(-16) a multiple of 5?
False
Let l(b) = b**3 - 10*b**2 - 19*b + 20. Let n be l(12). Suppose 6*c - c + 170 = 0. Let w = n + c. Is w a multiple of 23?
True
Suppose 3*o = -0*o - h + 5, -5*o + 3*h + 27 = 0. Suppose t - m = -0*t + 14, o*t - 4*m = 45. Does 7 divide t?
False
Let d(p) = 4*p**2 - 6*p - 40*p**3 + 41*p**3 + 4*p. Is 19 a factor of d(3)?
True
Let f(q) = -q**3 - 10*q**2 - 16*q + 8. Let c be f(-8). Suppose 0 = -c*m + 7*m + 20. Does 10 divide (16/6)/(m/150)?
True
Let t = 263 + -208. Does 5 divide t?
True
Suppose a + 3*a + 32 = 0. Let f = a + 8. Is 4 a factor of 11 + (f + -1)/(-1)?
True
Suppose -25 = -3*b + 5*j, b + 25 = -4*b - 5*j. Suppose -n - 4*d + 15 + 11 = b, 3*n = 5*d + 10. Suppose 76 = -8*h + n*h. Is h a multiple of 7?
False
Suppose 0 = 2*s - 3*u - 5674, -6*s + 3*s + 8526 = 3*u. Does 17 divide s?
False
Suppose -260*k = -258*k - 3454. Is 15 a factor of k?
False
Let m(t) = 3*t**3 - t**3 - 3*t**3 + 0*t**2 - 3 - 3*t**2. Let q = -7 - -3. Is m(q) a multiple of 10?
False
Let z(c) = 10*c**3 + c**2 - 1. Let p be z(1). Suppose 24 = 5*f - 11. Suppose 162 = p*u - f*u. Does 20 divide u?
False
Let y(a) = a**2 + a + 8. Let n be y(0). Let m be n - (-13 - 3)/(-4). Suppose -5*f + 34 = -4*q + 130, 3*q = -m*f + 103. Is q a multiple of 29?
True
Let y = 2 + 4. Let b be 3/y - 39/(-2). Let c = 44 - b. Is 6 a factor of c?
True
Suppose -2*b = -7*b - 4*v + 27, -5*v + 27 = 4*b. Suppose b*j - 140 = 5*z, -2*j - z + 3 = -112. Is 11 a factor of j?
True
Suppose 0 = 4*l - 655 - 185. Is l a multiple of 14?
True
Suppose 2*t - 14 = -10. Suppose -2*d - t*d = -4*n - 56, -2*d + n + 32 = 0. Is d a multiple of 4?
False
Suppose -4*m + 2*m = -4*v + 14, 4*m = -4*v - 16. Let f(r) = 137*r - 2. Is f(v) a multiple of 42?
False
Let d be (-5)/((6 - 3)/(-3)). Suppose 5*o = d*a - 215, 2*a + 2*a - 184 = -2*o. Let u = a - 7. Is 19 a factor of u?
True
Let u(d) = 2*d**2 + 34*d - 468. Does 20 divide u(-41)?
True
Let k(g) = -g**2 + 16*g + 19. Suppose b = -i - 25, 4*b = -0*b + 5*i - 109. Let u be (-8)/52 + (-446)/b. Is k(u) a multiple of 2?
True
Let v(f) = 3*f**2 - 8*f - 5. Let n be v(6). Let b = 51 + n. Is b a multiple of 14?
False
Suppose 0 = -c - 5*y + 77 + 4, 0 = 2*c + 3*y - 141. Does 33 divide c?
True
Suppose -958 = -7*b + 7162. Is b a multiple of 48?
False
Is 6 a factor of 2*-3*(-2075)/30?
False
Let r(q) = -q**3 - 9*q**2 + 8*q - 20. Let v be r(-10). Suppose -5*i + 193 + 47 = v. Is i a multiple of 4?
True
Suppose 0 = 4*r - 3*m - 11983, -r - 5*m = -6*r + 14985. Is 25 a factor of r/20 + ((-28)/(-20) - 1)?
True
Let b(h) = 2*h**3 - 22*h**2 + 10*h - 6. Is b(11) a multiple of 5?
False
Let y(m) = -m**3 + m**2 + m + 4. Let l be y(0). Suppose -5 = l*b - 9*b, 9 = -2*j + 5*b. Is (j/(-4) + 0)*50 a multiple of 9?
False
Suppose 0 = -14*r + 897 + 867. Is 18 a factor of r?
True
Does 15 divide -1 - -5 - (-25517)/19?
False
Let r(a) = 44*a**2 - 14*a - 3. Does 15 divide r(-3)?
True
Suppose 0 = a + 4, 3*d = -4*a + 3151 + 2512. Suppose 465 = -6*c + d. Does 17 divide c?
True
Let y(c) = 3*c**2 + 3*c + 3. Let l be y(6). Let q = l + 12. Let g = q + -72. Is 12 a factor of g?
False
Suppose 4*k - 2*r - 952 = r, -2*k + 2*r = -478. Suppose -k - 125 = -3*g. Does 19 divide g?
False
Let r = -623 - -1007. Is 64 a factor of r?
T