= -3*x - g + 2. Does 38 divide (-3 + x + (-2)/(-8))*-152?
True
Suppose -2*s + 280 = -588. Let u = 668 - s. Suppose -a - 2*a = -u. Does 27 divide a?
False
Let n be (-12)/(-9) + 1232/12. Let p = 156 - n. Does 26 divide p?
True
Let b(x) be the first derivative of -x**6/60 - x**5/12 + 5*x**4/24 + 2*x**3/3 - x**2/2 + 1. Let c(t) be the second derivative of b(t). Is 16 a factor of c(-4)?
True
Is 64 a factor of -1*2/(-2) + (-784 - -2208)?
False
Let w = 252 - -28. Suppose -10*x + w = -2*x. Is 7 a factor of x?
True
Is 12 a factor of 294/28*1080/21?
True
Let i = -53 - -32. Let a(g) = g**3 + 23*g**2 + 39*g + 9. Is a(i) a multiple of 4?
True
Suppose 16*b + 108 = 4*b. Let g = 78 + b. Is g a multiple of 23?
True
Let w be -1 + 2 + 4 + 0 + 0. Let n = 1 - 1. Suppose -w*f + 2*a + 170 = n, -7*f + 2*f + 145 = 3*a. Is 8 a factor of f?
True
Let i(r) = 3*r**2 + 6*r + 12. Let v(a) = -4*a**2 - 7*a - 12. Let l(q) = 3*i(q) + 2*v(q). Is 12 a factor of l(-12)?
True
Let d = -27 - -32. Suppose -103 = -2*g - 5*v, d*v = g - 41 - 33. Is 38 a factor of g?
False
Let w(g) = 10*g. Let s be (2/3)/(14/273). Is 10 a factor of w(s)?
True
Let c be (2 - 3)/((-2)/394). Suppose 5*k - 23 = c. Is 11 a factor of k?
True
Let i(h) = h**3 - 12*h**2 + 73*h - 54. Is i(17) a multiple of 14?
True
Suppose 3*x = -2*r + x + 1092, 0 = -2*x + 4. Does 17 divide r?
True
Let g(n) = n**3 - 35. Let s = -11 - -11. Let w be g(s). Let h = 51 + w. Is 16 a factor of h?
True
Let k(i) = -i**2 - 7*i - 8. Let u be k(-5). Is 6 - (5 + 1)/u even?
False
Let l(y) = -y**2 - 6*y - 3. Let r be l(-5). Suppose 0 = r*z - 2 + 6. Is 13 a factor of (28/(-42))/(z/39)?
True
Let v(q) = -q + 9 + 0*q + 2*q - 2*q. Let j be v(8). Let k(f) = 12*f**2 - 2*f + 1. Does 11 divide k(j)?
True
Let w(k) = 2*k**2 + 2*k - 3. Let c be w(-3). Suppose 0 = c*u - 30 - 834. Suppose -5*y = -y - u. Does 12 divide y?
True
Suppose 0 = 5*c + 5*y - 330, -c = -5*y - 60 + 24. Is c even?
False
Let t = -489 + 661. Is 11 a factor of t?
False
Let v be ((-300)/(-9))/((-16)/(-24)). Suppose -v = -6*p + p. Does 2 divide p?
True
Suppose 16*l - 23*l = -12740. Does 14 divide l?
True
Let u(l) = -40*l + 1. Is u(-45) a multiple of 66?
False
Let s(f) = f**3 + f**2 + f + 47. Is s(6) a multiple of 8?
False
Let t = -343 + 695. Is 16 a factor of t?
True
Is (-552)/(-16)*250/15 a multiple of 23?
True
Suppose 0 = -5*x + 4*u - 335, -3*x + 2*u = u + 194. Let s = x - -117. Is s a multiple of 14?
False
Let r = 212 + 175. Suppose 6*n + 3*n - r = 0. Does 10 divide n?
False
Does 6 divide (16 - 10864/12)/(2/(-3))?
False
Let b = 125 - 130. Is 9 a factor of (b + 17)/(1 - (-10)/(-12))?
True
Suppose 21*t - 20*t = -4. Does 14 divide (32 - -8) + (-2 - t)?
True
Let k(c) = -171*c - 54. Is 9 a factor of k(-8)?
True
Let w = 140 + -125. Suppose 2*a = -4*o + 2 + 276, 0 = -3*a - w. Does 24 divide o?
True
Let v(i) = i**3 + 17*i**2 + 15*i - 8. Let m be v(-16). Suppose 5*l - m*l - 3 = 0. Does 18 divide ((-8)/l)/((-4)/(-22))?
False
Suppose 2*h - 142 = d, -8*h = -d - 4*h - 150. Let z = 150 + d. Does 8 divide z?
True
Let n(o) = -o**3 - 10*o**2 + 12*o + 11. Let g be n(-11). Suppose -3*l + 326 - 35 = g. Does 11 divide l?
False
Suppose 3*b - 5*c + 291 = 0, 2*b = -2*c - 290 + 80. Let n be (5 - 0)/((-6)/b). Suppose u + 4*u = n. Is 17 a factor of u?
True
Let q(c) = -48*c**3 + 2*c**2 - c + 1. Let x be q(1). Suppose 3*d - 72 = 7*d. Let y = d - x. Is 14 a factor of y?
True
Suppose 7*y - 23*y = -15776. Is 41 a factor of y?
False
Suppose 4*u + 0*g + 225 = 3*g, -265 = 4*u + 5*g. Does 26 divide (u/(-5)*-1)/(3/(-26))?
True
Let d be -2 - (5 + (-1 - 2)). Does 8 divide 8*(11 + d)*1?
True
Let x = 252 + -105. Is 7 a factor of x?
True
Suppose -9*g - 88 = -20*g. Suppose 0 = -g*c - 5*c + 455. Is c a multiple of 20?
False
Suppose 5*h + 231 = 3731. Suppose -h = 6*a - 11*a. Is 35 a factor of a?
True
Let m(h) = 2*h - 1. Suppose -8*s - 21 = -5*s. Let j be m(s). Does 5 divide (-6)/j + 174/15?
False
Let l(r) = 4*r + 24*r - 12 - 7*r. Is 15 a factor of l(7)?
True
Let k(h) = -h**3 - h**2 + 2*h + 3. Let g be k(-2). Let y(t) = -5*t + 33. Let v be y(7). Is 2 a factor of g - (8 + v)/(-2)?
True
Let z = -450 - -793. Is z a multiple of 6?
False
Suppose 0*c = -c + 3*g - 9, 5*c + 15 = 5*g. Suppose c = -3*q - 0*i - 2*i + 595, -5*i + 181 = q. Does 49 divide q?
False
Suppose 0 = 4*g + 8, -2*b - 5*g + 10 = -g. Let h = b + -7. Suppose -h*v = -4*u + 74, -u + 3*v = -2*u + 15. Is 9 a factor of u?
True
Does 14 divide (-17 - -18 - -4) + 9*7?
False
Suppose 0*t - 1722 = -3*t - 5*d, -4*d = 0. Let c = t + -350. Is c a multiple of 14?
True
Suppose -h + 2 = -2*d, -4 = -4*h - 4*d + 4. Let w(k) = -54*k - 5. Let l be w(-5). Is (-1)/h + l/10 a multiple of 26?
True
Let c = 16 - 12. Let v = -1 + c. Suppose -42 = -3*u + v. Does 4 divide u?
False
Let m(h) = -h**3 + 8*h**2 + 11*h + 2. Does 2 divide m(9)?
True
Let g be ((-12)/(-15))/(6/15). Suppose 3*r + q - 222 = 2*q, 3*r - 219 = g*q. Does 11 divide r?
False
Let v be (-3 + -2)*3/((-3)/44). Is (2*v)/4 - (-4 - -1) a multiple of 30?
False
Let g(y) = y**3 - 5*y**2 - 7*y - 4. Let j be g(4). Is (-3)/4 - 6*486/j a multiple of 11?
False
Let d be (-1676)/16 - (-1)/(-4). Is 2 a factor of (24/14)/((-30)/d)?
True
Suppose 0 = 5*m - 333 - 102. Suppose -m = -2*g - g. Does 9 divide -1 + g + -1 + 3?
False
Suppose -55*u + 16*u = -1170. Does 11 divide u?
False
Let y(r) = 25*r + 7. Let t be y(3). Suppose 0 = l + l - t. Is l a multiple of 12?
False
Let j(d) = -15*d + 39. Is 15 a factor of j(-24)?
False
Suppose 3*d = 9 - 21. Let c(f) = -f**2 - 6*f - 5. Let y be c(d). Let b(s) = 8*s**2 - 2*s + 2. Is 34 a factor of b(y)?
True
Is 5 a factor of 2/6*(-23 - -428)?
True
Let p(u) = -51*u + 10. Let i be p(1). Let z = 59 + i. Is z a multiple of 2?
True
Let r be 8/24*(2 + -2). Suppose h + 2*h - 60 = r. Does 20 divide h?
True
Suppose 6*h + 394 - 94 = 0. Let r = h + 91. Suppose -5*b + r = -4*b + 5*g, -3*b - 4*g = -112. Does 12 divide b?
True
Let d = -2096 - -4082. Is 49 a factor of d?
False
Let f be ((-8)/(-5))/(24/60). Is 672/(0 + f) + (2 - 1) a multiple of 13?
True
Let f(d) = 15*d + 20. Let r(g) = 5*g + 7. Let n(t) = -4*f(t) + 11*r(t). Suppose -1 = 2*m + 7. Is n(m) a multiple of 5?
False
Let s = -583 - -1243. Is 60 a factor of s?
True
Let d(w) = 80*w - 529. Does 10 divide d(12)?
False
Let z be 50/(-15)*(-18)/15. Does 13 divide 849/6 + 0 + 6/z?
True
Suppose -59 + 293 = u. Is 39 a factor of u?
True
Suppose 7716 = 10*r + 1886. Suppose -5*b + 337 + r = 0. Is 46 a factor of b?
True
Let i(n) = n**3 - 44*n**2 - 16*n + 60. Does 7 divide i(45)?
True
Let u(x) = x**2 - 12*x + 14. Let c(b) = -b**3 + 6*b**2 - 5*b - 1. Let v be c(4). Let q be u(v). Suppose 2*k - q*s = 52, k - 84 = -k - 5*s. Is 8 a factor of k?
True
Suppose 3*o = -2*o - 20, -3*q + 6094 = -o. Does 58 divide q?
True
Let a(r) = -10*r**3 - 17*r**3 + 2 - 14*r**3 + 51*r**3 - r**2 - 3*r. Is 12 a factor of a(2)?
True
Suppose 44 = -k + 5*k + 2*j, 2*k + 4*j = 16. Let f = 17 - k. Suppose f*u - 760 = -190. Is u a multiple of 38?
True
Suppose -10*r + 5*r = -30. Suppose -b + 1050 = r*b. Does 50 divide b?
True
Let s = -2768 + 4308. Is 14 a factor of s?
True
Let g be -1*-1*(5 - 2). Does 15 divide 45/(-3)*g/(-3)?
True
Let s(o) = -o**3 - 12*o**2 + o - 62. Is 23 a factor of s(-15)?
True
Let q(g) = 5*g + 13. Does 9 divide q(1)?
True
Let p be 5559/15 - (-4)/10. Let o = -261 + p. Does 22 divide o?
True
Suppose 2283 = 5*t + 358. Is 55 a factor of t?
True
Suppose 8*t - 6*t + 4 = 0. Let d(j) = -30*j + 2. Let p be d(t). Suppose 3*v - v = p. Does 12 divide v?
False
Let m(i) = 13*i**2 - 4*i - 43. Is 10 a factor of m(-4)?
False
Suppose -6*t = -0*t - 12. Suppose -3*f + t*s = 8, -4*s + 15 = -2*f - 1. Suppose f*b = -3*b + 15. Is 5 a factor of b?
True
Let c(n) = 7*n**3 + n**2 - 3*n - 5. Is c(6) a multiple of 25?
True
Let r(a) = -5*a - 9. Let b(q) = 19 + 22 - 8 - 6 + 15*q. Let c(g) = 6*b(g) + 17*r(g). Is 34 a factor of c(9)?
False
Suppose -296 = -2*a - 3*p, p + 602 = 4*a + 2*p. Is 13 a factor of a?
False
Let s(x) = 3*x**2 - 3*x - 26. Let l(k) = 2*k**2 - 2*k - 13. Let v(g) = 5*l(g) - 2*s(g). Let f be (-7)/((-56)/12)*4. Is v(f) a multiple of 29?
False
Let h(s) = 2*s**2 - 2*s + 2. Let z be h(1). Let o(b) = 4*b**z - b + 30 - 3*b**2 - b**2 + b**3. Is o(0) a multiple of 10?
True
Let c(o) = -6*o + 186. Does 12 divide c(-11)?
True
Let h(k) = 