/2 - 6*l. Is 11 a factor of g(0)?
True
Suppose q - 2*q - 3*k = -3, k = 4*q - 38. Suppose q*u + 29 = 344. Is 7 a factor of u?
True
Suppose 13*u - 25273 = -2276. Is u a multiple of 29?
True
Let s be (6/(-4))/(2 - (-220)/(-104)). Let u(g) = 15*g + 102. Is 50 a factor of u(s)?
False
Suppose 5*o + 10 = 2*i, 0*i - 4*i = -5*o - 10. Let y = i + 3. Suppose -3*l - 4*r + 65 = 0, 0*l = -y*l + r + 40. Does 9 divide l?
False
Let z(p) = -p**3 + 8*p**2 - 23*p - 32. Does 4 divide z(-8)?
True
Let l(f) be the first derivative of -3 + 9/2*f**2 + 2/3*f**3 - 6*f. Is l(-9) a multiple of 15?
True
Suppose 0 = 2*n - 2*m + 3064, 2*m = -n - 782 - 741. Does 13 divide -6*2/28 - n/7?
False
Suppose 6*k + 17 = 155. Let l = 1 + 4. Suppose 18 = 2*u + 2*b, 2*u + l*b = -2 + k. Does 7 divide u?
False
Suppose -9*q - 9296 = -37*q. Does 62 divide q?
False
Suppose -19 = -2*c + 111. Is c a multiple of 6?
False
Is 44 a factor of 3/(-18) - (-5 + 13055/(-30))?
True
Suppose -3*z - 5*a = -6*z + 103, 0 = 5*z + 3*a - 183. Let l = z + 18. Is 9 a factor of l?
True
Let o = 4 + -2. Let p(x) = 21*x**2 - 10*x**2 - 2 + 11*x**2. Does 27 divide p(o)?
False
Suppose 7*w = -2*w + 522. Does 58 divide w?
True
Let w be 4/((-2)/(-2)*-2). Let o be w/(-7) + 78/21. Suppose -4*a = 2*v - v - 22, -8 = -o*v. Is 5 a factor of a?
True
Does 22 divide -5 + 6918/12 + 2/4?
True
Suppose 5 = -5*v - 0. Let q(o) = o**3 + o**2 + 4. Let h be q(3). Does 12 divide 5 + h + v + 2?
False
Let a be ((-228)/(-18))/(4/6). Let z(u) = -u**2 - a + 44 + 44. Does 11 divide z(0)?
False
Let o = 494 - 180. Does 25 divide o?
False
Let c(a) = -7*a + 3*a**2 - 5*a - 3*a + 6*a**2 + 2. Is c(6) a multiple of 16?
False
Suppose y - 6 + 2 = 0. Suppose -4*k - 4*z + 152 = -0*z, z + y = 0. Suppose b - k = 3. Is b a multiple of 12?
False
Suppose 3*k - 2*t - 4 - 34 = 0, -85 = -5*k - t. Suppose c + k = 3*c. Is (24/(-32))/((-2)/c) even?
False
Is 20 a factor of ((-7)/(-28))/(14/18200)?
False
Suppose -125*j + 136*j = 2530. Is j a multiple of 46?
True
Suppose 9 = 3*b - 3. Let t(m) = -2 + m**3 + 2 - 3*m**2. Is t(b) a multiple of 8?
True
Suppose 2*w - 84 = w. Let x = w + -56. Suppose -x = -2*z - t, 0*z = 2*z - t - 36. Does 5 divide z?
False
Does 19 divide 19*(0 + 4 - 1 - -59)?
True
Let a(m) = -2*m**3 - 7*m**2 - 6*m - 7. Let s be a(-3). Suppose 0 = 5*l - s*x - 1444, -2 = x - 0. Is l a multiple of 48?
True
Let q be (-59 + 21)*2/4. Let z = 20 + q. Does 10 divide (-430)/(-10) - z*-1?
False
Let a(r) = 4*r**2 + r + 5. Let k be a(5). Let j = -66 + k. Does 11 divide j?
True
Let s(y) = -y**2 + 5*y. Suppose -w + 6 = 1. Let l be s(w). Suppose l*h + 42 = 2*h. Is h a multiple of 7?
True
Let k(v) = v**3 + 5*v**2 - 10*v - 5. Is 36 a factor of k(-4)?
False
Let i be -1*2*(-192)/(-4). Is (i/(-18))/(2/6) a multiple of 13?
False
Let y be -1*(4 - (7 - 3)). Does 12 divide (72 + y)/(1 + 0)?
True
Suppose -23*o + 12762 = 4344. Is o a multiple of 7?
False
Let s(d) = 13*d**2 - 3*d - 1. Let u be 1/4 + 95/20. Suppose u*o + 0 + 10 = 0. Does 19 divide s(o)?
True
Suppose 4*f - 676 = -2*c, -5*c = f - 0*f - 151. Is 20 a factor of f?
False
Let u be (-2030)/(-21) - 2/3. Suppose 5*w - u = w. Is w a multiple of 6?
True
Let m(q) = -4*q + 81. Let t = -47 - -47. Is 7 a factor of m(t)?
False
Let y(n) = -3*n. Let u be y(13). Let b be (u/5)/((-6)/30). Suppose -2*l - b = -3*l. Is 13 a factor of l?
True
Let d be (-1 - 2)*16/(-12) - 2. Suppose -34 - 2 = -d*f. Does 6 divide f?
True
Let o = 87 - 25. Let v = o + -42. Does 10 divide v?
True
Suppose -2*s = 15 - 79. Let o = 56 + s. Is 11 a factor of o?
True
Let z(t) be the second derivative of 161*t**3/3 - t**2 - t. Let i be z(1). Suppose 5*s + 2*k - 420 = 0, 0 = -5*s - 4*k + 110 + i. Does 26 divide s?
False
Let t(q) = -q**2 + 11*q - 14. Let w be t(9). Suppose 4*a - 172 = v, 5*a + 3*v - 214 = w*v. Is a a multiple of 7?
True
Let j(z) = 3*z**2 + 9*z + 12. Suppose 6*i - 3*i - 4*y = -28, -2*i - 2*y = 0. Is 15 a factor of j(i)?
False
Suppose 0*y = -3*y. Let b be 39 + (y + 0 - 3). Suppose -b = -h - h. Does 11 divide h?
False
Is (-2294)/(-8) - 5/(-4) a multiple of 18?
True
Let o(l) = 2*l**2 + 18*l - 13. Let y be o(-10). Let n = 12 - y. Does 2 divide n?
False
Suppose 0*u - 4*u + 5*k + 662 = 0, -2*k = -4*u + 668. Is u a multiple of 21?
True
Let v(o) = 11*o**2 - 69*o + 2. Is v(-15) a multiple of 14?
False
Suppose -3*a - 28 = -2*k + 4*k, 28 = -4*k + a. Let v = k + 10. Suppose 52 = 5*b + v. Is 9 a factor of b?
False
Let y be ((-20)/(-25))/((-1)/(-5)). Suppose 2*s = 4*w + 66, -2*s - 137 = -7*s - y*w. Is 10 a factor of s?
False
Let y(g) = g**3 + 4*g**2 - 6*g. Let k be y(-5). Let d(i) = -2*i - 16. Let j be d(-13). Is 2 a factor of (11/2)/(k/j)?
False
Suppose 8*s + 342 = 862. Is 13 a factor of s?
True
Let w = 3 + -5. Let s be -5 + -2 + w + 3. Does 6 divide s/(-8)*(-112)/(-7)?
True
Let m be (-2)/10 - 77/(-35). Suppose -m*a + 6*a + 2*p = 12, -4*a = -p. Is 13 a factor of (-224)/(-8) + a + -4?
False
Let m = -738 - -1123. Is m a multiple of 7?
True
Let b = -23 - -25. Let z(q) = 7*q - 5. Is z(b) a multiple of 6?
False
Let p = -21 + 37. Let h(i) = -4*i**2 - 3*i + 6*i**2 - p + 23. Does 16 divide h(6)?
False
Let a(x) = -6*x**3 + 2*x**2 - 6*x - 3. Let b be a(-3). Suppose -3*g = -b - 0. Is 16 a factor of g?
False
Let x(i) = -i + 13. Let d be x(11). Suppose -d*t = k - 16, -8 = -0*t - t + 3*k. Let n = 15 - t. Is n a multiple of 2?
False
Let j(y) = -24*y**3 + 7*y**2 - 9*y - 9. Does 10 divide j(-3)?
False
Suppose 6*b - 2*b = 8. Suppose 3*i - 100 = -b*i. Does 4 divide i?
True
Suppose 3*y - 3*h = 4035, h - 1648 = -3*y + 2371. Is 26 a factor of y?
False
Let c(d) = -d**3 - 2*d**2 - 1. Let g be c(-3). Suppose -5*t + g = -7. Suppose -t*p = -2*m - 5*p + 18, 0 = -5*p. Does 2 divide m?
False
Let q(f) be the second derivative of f**5/20 - 5*f**4/6 + 4*f**3/3 - 4*f. Let g be q(9). Let m(v) = -v + 17. Is m(g) a multiple of 13?
True
Let s(g) = 14*g**2 - g. Suppose -2*f = 6 - 4. Is 6 a factor of s(f)?
False
Let x(f) = f**3 + f**2 - 8. Let s = -11 + 4. Let r be x(s). Is 15/(-90) - r/12 a multiple of 7?
False
Let f(w) = -10079*w**3 - 3*w**2 + 1. Let h be f(1). Does 9 divide h/(-102) + 1/6?
True
Let v = 20 + -13. Let i(l) = -5*l + 7*l - 2 - l - 2*l**2 + v*l**3. Is i(2) a multiple of 20?
False
Suppose 18*b - 4624 = 6608. Is b a multiple of 13?
True
Is 24 a factor of (1 + 595/(-25))*40*-1?
True
Let b be (-3)/(-6) - (-22)/4. Suppose 2*l - 592 = -b*l. Is 40 a factor of l?
False
Suppose -5*b = -3*j + 40, b = j + 4*j - 8. Let g = 13 + b. Suppose -191 = -g*q - o, 2*q - 120 + 30 = 3*o. Is q a multiple of 13?
True
Let x = 386 + -169. Is x a multiple of 31?
True
Suppose 4*c - 220 = -5*y + 720, -3*c + 674 = -4*y. Suppose -3*g = 3*u + 2*g - c, -90 = -u + 5*g. Does 20 divide u?
True
Let r(l) = l + 14. Let y(a) = -1. Let k(j) = -r(j) - 3*y(j). Let n be k(-13). Suppose -d + 2*d = 3*q + 48, n*d - 105 = -3*q. Does 17 divide d?
True
Let u(a) = a**2 - 9*a - 1. Let y(m) = 5*m. Let k(d) = -2*u(d) - 5*y(d). Let o be k(-6). Is o/(-2) - (-7 - -9) a multiple of 12?
True
Let p be (-2)/(-1) + 0/3. Suppose 0 = p*j - 132 - 96. Is 38 a factor of j?
True
Does 32 divide -1134*8/32*(-40)/6?
False
Suppose 4*j - 3*j = 2. Suppose 2 = -0*y + j*y. Does 5 divide (y - 5) + 30/2?
False
Let j(h) = 3*h - 7. Let u be j(-13). Let g = u + 82. Does 6 divide g?
True
Let u(h) = -h**2 + 7*h + 21. Let c be u(9). Suppose 2*r = -k + 17, 0 = 4*r - c*k - k - 28. Is 7 a factor of r?
False
Let o = -314 - -624. Is o a multiple of 75?
False
Suppose 3*b - 1833 = -3*i, -1829 = -3*i - 6*b + 4*b. Is 11 a factor of i?
False
Suppose -4*u + 3*r = 295, 0 = u + 5*r - 0*r + 68. Suppose -18 = -n - 69. Let h = n - u. Is h a multiple of 11?
True
Let r = -256 - -859. Is r a multiple of 43?
False
Let f(n) = -n**3 + n**2 + 5*n + 16. Let m be f(-4). Is ((-6)/(-12))/(2/m) a multiple of 16?
False
Let p(a) = a - 6. Let j be p(9). Let y(b) = b**2 - 2*b - 1. Let o be y(j). Let c = 31 - o. Is c a multiple of 15?
False
Is 22 a factor of ((-11)/(-2) - 7)*-464?
False
Suppose -5*h - 2*r + 27 = -6*r, 0 = 3*h + 4*r + 3. Suppose -h*k - 122 = -4*k. Is k a multiple of 40?
False
Let j(v) = -v**3 - 8*v**2 + 11*v + 20. Let d be j(-9). Is 15 a factor of 1 + -2 + d + 55?
False
Let r be (2 - (-1212)/9)*3. Suppose 3*n = n + r. Suppose 0 = t + 4*t - n. Does 18 divide t?
False
Suppose -5*z + 63 + 202 = 0. L