/4 + h/(-38)?
False
Suppose 5*u = -41 + 51. Suppose -3*j = -3*a - 795, -4*j = -0*j + 4*a - 1028. Suppose -j = -b - u*b. Is 15 a factor of b?
False
Let l(o) = o**3 - 8*o**2 + 9*o - 2. Let m be 5/10 + (-15)/(-2). Let g be l(m). Let h = -29 + g. Is 11 a factor of h?
False
Let v(p) = 5*p - 2. Let c = 12 + -10. Let s(z) = -z**3 + 4*z**2 - 5*z + 4. Let j be s(c). Does 4 divide v(j)?
True
Let f(o) = -151*o - 2. Let j(m) = -454*m - 6. Let y(u) = -17*f(u) + 6*j(u). Is 32 a factor of y(-1)?
False
Is 10 a factor of (1/2)/((-7)/(-21420))?
True
Let d = 15 - 15. Suppose d = 2*h + 36 - 312. Is 18 a factor of h?
False
Let d(n) = -n**3 - n**2 - n + 6. Let f be d(0). Suppose j - 5*t = -19 - f, -2*t = 5*j - 10. Suppose 5*p - 2*p - b - 89 = j, 56 = 2*p + b. Does 29 divide p?
True
Let x be 225/9 - 1*-4. Suppose q - 125 = -x. Is q a multiple of 16?
True
Suppose 0 = 5*o - o. Suppose 5*h + o*h - 265 = 0. Does 11 divide 8/(-12)*3 + h?
False
Suppose 33*k - 36*k = -6. Suppose 1285 = 5*z + 5*i, 3*z - 4*i - 704 - 88 = 0. Suppose -4*y + z = k*u, 2*y + 2*y + 5*u = 266. Is y a multiple of 16?
True
Let w(v) = 170*v**2 + 10*v - 30. Does 10 divide w(3)?
True
Suppose o + 2*r = 63, 0*r = 5*o - 2*r - 351. Let n = o + -9. Suppose -h = h - 3*a - n, 5*a + 52 = 2*h. Is h a multiple of 9?
True
Does 9 divide (-24)/(-8 + 16)*-97?
False
Is 90 a factor of (1800/(-375))/(4/(-750))?
True
Suppose 336 = -15*w + 12*w. Is 12 a factor of (-7)/((-4)/w*-2)?
False
Let m be (-3)/(-4) + (-12)/16 + 17. Suppose -m*q = 3*q - 3040. Is q a multiple of 20?
False
Let v(y) = -y**3 + 5*y**2 - 4*y + 6. Let x be v(4). Suppose 0 = -4*h - 2*d + 36, h = x*h - 5*d - 60. Is 10 a factor of h?
True
Suppose 2*r - 4*v = -20, 2*r - 5*v + 22 = -0*r. Suppose -4*q - 33 = -7*q. Let d = q - r. Is d a multiple of 3?
False
Let r(m) = -4*m**3 - 2*m**2 - 2*m**3 - 19 - 8*m - 3*m**2 + 5*m**3. Is r(-5) a multiple of 7?
True
Let j = -13 + 9. Let p be (2/5)/(j/(-120)). Let x(y) = 4*y - 9. Is 13 a factor of x(p)?
True
Let s(i) be the first derivative of -37*i**2/2 - 6*i + 10. Is 35 a factor of s(-3)?
True
Let y(j) = 4*j - 4. Let h be y(2). Let n(q) = q**3 - 4*q**2 - q - 2. Let r be n(h). Is 49*(r/3 + 3) a multiple of 28?
False
Suppose 0 = 3*t + 3*i - 1181 - 1297, t - 806 = 4*i. Does 56 divide t?
False
Let d(i) = i**2 + 3*i - 2. Let q be d(1). Suppose 3*p + 18 - 125 = 4*g, q*p - 2*g - 72 = 0. Suppose -p = -3*l + 35. Is 11 a factor of l?
False
Let m(d) = 3*d**3 - 4*d**2 - d - 1. Let k be m(5). Suppose x - 87 = 3*n, 0*x + 5*n + k = 3*x. Is 31 a factor of x?
True
Does 10 divide -3 - -359 - (-4 - (-5 - -5))?
True
Suppose -30 = -32*z + 29*z. Suppose -z = -14*a + 9*a. Suppose -39 = -5*s + a*i, -4*s - 6*i + 2*i + 48 = 0. Does 3 divide s?
True
Let q = 2687 - 1367. Is q a multiple of 55?
True
Let x = -3891 - -7456. Is x a multiple of 23?
True
Let h(m) = 3*m**3 - 28*m**2 - 17*m + 5. Let f(v) = -2*v**3 + 15*v**2 + 9*v - 2. Let c(b) = -5*f(b) - 3*h(b). Let r be (-3)/1*5/3. Is c(r) a multiple of 23?
False
Let n(l) = 487*l**2 - 2. Is n(1) a multiple of 26?
False
Let a = 57 + -29. Suppose -84 = -4*d + a. Is 7 a factor of d?
True
Let y(k) = -k**3 - 12*k**2 - k - 3. Is 4 a factor of y(-16)?
False
Suppose -60 + 12 = 6*g. Let t(a) = -22*a - 64. Is 16 a factor of t(g)?
True
Let i be (0/(-7))/(0 + -1). Suppose -u + 5*l + 144 = 2*u, -2*l = i. Is u a multiple of 12?
True
Suppose c - 1392 = -t, -2829 = -5*c - 2*t + 4128. Does 11 divide c?
False
Let j(d) = -d**2 - 12*d + 4. Let c be -3 - -1 - (-8 + 14). Is j(c) a multiple of 6?
True
Let i(s) be the second derivative of 5*s**4/12 + 4*s**3/3 - 5*s**2/2 + 4*s. Is 7 a factor of i(-3)?
False
Let k(g) = -2204*g - 59. Is k(-1) a multiple of 40?
False
Let k = 16 - 10. Let r(z) = -7*z**2 - 2*z. Let p be r(1). Let w = k - p. Is 5 a factor of w?
True
Is 60 a factor of (1080/7)/((-9)/(-84))?
True
Let t be (-3 + 5)/(6/(-9)). Let s(p) be the third derivative of -p**6/40 - p**5/30 - p**4/24 + 4*p**2. Does 22 divide s(t)?
True
Suppose 259 = -13*h + 64. Is 17 a factor of (-687)/h + (4 - 1)/15?
False
Does 55 divide 5932/2 - (103 - 107)?
True
Suppose -4*x + q = -0*x + 504, -2*x - 3*q - 266 = 0. Let h be 2/(2/(-203) - 0). Let d = x - h. Is 38 a factor of d?
True
Let q(n) = 4*n + 14. Suppose -u - 4*u - 2*b + 46 = 0, -2*b = -5*u + 34. Does 12 divide q(u)?
False
Let c(v) = 3*v + 4. Let u be c(-2). Let h(g) = g**2 + g + 3. Let a be h(u). Suppose 0 = j + 4*x - 10, -2*x - 45 = -a*j + 5. Is 5 a factor of j?
True
Let m(n) = 6*n**2 - 1. Let t be m(-1). Suppose 2*j - 38 = -3*y + 4*j, 0 = 5*y - t*j - 70. Suppose 0 = 15*f - y*f - 670. Does 17 divide f?
False
Let v(m) = 2*m - 18 - 13 - 6*m + 21. Does 2 divide v(-6)?
True
Let r(p) = -p**2 + 30*p + 290. Is r(-7) a multiple of 5?
False
Suppose -16380 = -14*b - b. Is 13 a factor of b?
True
Let l(g) = -g**3 + g**2. Let u(i) = -2*i**3 + 9*i**2 - 7*i + 15. Let q(x) = l(x) - u(x). Is 15 a factor of q(10)?
True
Let g(k) = k**2 - 19*k - 30. Is g(21) a multiple of 6?
True
Let l(f) be the second derivative of 2*f**3/3 - 5*f**2 + 5*f. Let w be l(6). Suppose 7*g + w = 9*g. Is g a multiple of 7?
True
Suppose -7*o = -2*o - 15. Suppose 0 = -o*d - 0*d - 5*f + 1, f + 3 = d. Does 12 divide 4826/133 - d/7?
True
Let d be ((-231)/6)/7*2. Let q = 127 + d. Is q a multiple of 19?
False
Suppose -2*k + 4*k + 1151 = b, -5*b = -5*k - 5745. Is b a multiple of 37?
True
Let h(x) = -4*x + 10. Let n(y) = -17*y + 41. Let w(j) = -26*h(j) + 6*n(j). Does 5 divide w(21)?
False
Let k(q) = -2*q + 20. Let o be k(18). Let l(i) = i**2 + 7*i + 1. Is 16 a factor of l(o)?
False
Suppose -4008 = -3*s - 9*s. Does 11 divide s?
False
Let a(s) = -s**3 - 27*s**2 + 113*s + 56. Is a(-32) a multiple of 8?
True
Let p be (-9)/(-6)*2 + -2. Suppose -4*w = -241 + p. Does 16 divide w?
False
Let n(i) = i**2 + 12*i + 3. Let h(l) = l**2. Let f(r) = -2*h(r) + n(r). Does 5 divide f(9)?
True
Suppose 2*x + 56 = l + 6, -3*l + 2*x + 170 = 0. Suppose z = -d + 5*z + l, 3*z - 9 = 0. Does 18 divide d?
True
Let f = 28 - 24. Suppose 6 = v - 14. Let d = v - f. Is d a multiple of 6?
False
Let l(v) = 47*v - 2. Let k be 20/8*4/5. Let t be l(k). Suppose 0 = 3*m + m - t. Does 11 divide m?
False
Let r(c) = -2*c**3 + 5*c**2 + 9*c - 23. Does 36 divide r(-7)?
False
Is 46 a factor of (-7720)/(-72)*3 + 2/6?
True
Let k(m) = -134*m**3 + 6*m**2 + 11. Is k(-3) a multiple of 127?
True
Suppose 0 = g - 6*k + 5*k - 143, 4*k + 152 = g. Is g a multiple of 11?
False
Let n(i) = 79*i. Let k be n(-1). Let x = 140 + k. Is 9 a factor of x?
False
Let u(x) = 113*x + 12. Let a be u(-9). Is 28 a factor of (-1 - (-6)/15)/(3/a)?
False
Suppose -2*u + 4*g = -22, -26 = -2*u + g + 4*g. Suppose u*x - 3*y + 18 = 0, 5*x + 27 = -0*x + 4*y. Is (-203)/x - 12/18 a multiple of 36?
False
Let m(z) = 7*z**3 - 3*z**2 - 26*z + 42. Is m(6) a multiple of 10?
True
Let m = -1171 - -3021. Is m a multiple of 25?
True
Let r(c) = -c**2 - c + 2. Let f be r(-5). Let q = -41 - f. Let h = 38 + q. Is 2 a factor of h?
False
Let c = 200 + -184. Is c even?
True
Let y(i) = i**3 - 6*i**2 + 4*i + 7. Let l be y(5). Suppose -5*x - 5*v - 22 = -4*x, -l*x = 4*v + 20. Is -6 - x - -3*10 a multiple of 13?
True
Suppose -3*c - 4*l = -2*l - 790, -788 = -3*c - 4*l. Does 44 divide c?
True
Suppose 12*j - 1432 = 3176. Is 6 a factor of j?
True
Let z = 18 + -12. Is 13 a factor of (18/(-12))/(z/(-176))?
False
Let z(u) = -18*u + 11*u**2 + 4 - 3*u - 3*u**2 + 2. Is 22 a factor of z(4)?
False
Suppose 4*u - 8 = 8. Suppose u*p - 36 - 64 = 0. Is 5 a factor of p?
True
Let t(o) = 24*o**2 - o - 1. Suppose -3*u = 5*c - 8, c - 17 = 3*u - 1. Suppose w = -z - c + 6, -4*w = -4*z - 16. Is t(z) a multiple of 8?
True
Suppose -6*w = -8*w - 2*v + 454, 2*v - 678 = -3*w. Does 28 divide w?
True
Let v(d) = -4*d**3 + d**2 + 6*d + 3. Let l(w) = w + 1. Let y(c) = -4*l(c) + v(c). Does 9 divide y(-2)?
False
Suppose -7 = -5*q + 8. Suppose -3*n = 3*f - 3, -3*f + q*n - 9 = -0*n. Let l(w) = 22*w**2 + 2*w + 1. Is l(f) a multiple of 21?
True
Let q = 0 + -7. Let h = q + 11. Let u = 71 + h. Is 25 a factor of u?
True
Let n(p) = 2*p**3 + 52*p**2 + 52*p + 56. Is 13 a factor of n(-24)?
False
Let d be (0 - (-1 - -2))*-2. Let r(s) = s**3 + s**2 - 1. Is 11 a factor of r(d)?
True
Let t(v) = 64*v**3 - 2*v + 4. Is 12 a factor of t(2)?
False
Let i = 313 + 809. Does 11 divide i?
True
Let f be (-1)/(76