q + 3 = 0. Let i be 6/(0/x - -2). Suppose 2*h = -i*z + 14, -h = 5*z - 2*h - 32. Does 6 divide z?
True
Suppose 960 = -10*l - 0*l. Is ((-18)/(-12))/((-9)/l) a multiple of 2?
True
Let k = 36 - 25. Suppose 0*g - 5*g = -1080. Suppose 14*n = k*n + g. Does 24 divide n?
True
Is 7/(-70) + (-2042)/(-20) a multiple of 3?
True
Let n(a) = 39*a - 68. Is 11 a factor of n(4)?
True
Let i be 5/20 + (-30)/(-8). Let s = 361 + -254. Suppose -s = -i*v + 121. Is v a multiple of 19?
True
Let l be 4 - 18/(4 + -1). Let m = 1 - 4. Is l*m/6 + 23 a multiple of 5?
False
Let u(q) = -122*q**3 - q. Let t be u(-1). Let p = t - 67. Is p a multiple of 8?
True
Suppose 16*x - 80 = 20*x. Is (-6)/(-15) - 2092/x a multiple of 35?
True
Suppose 7*p - 1455 = -8*p. Is p even?
False
Let s = 50 - -10. Suppose -s = -6*o + 5*o. Suppose -o = -0*d - 2*d. Is 17 a factor of d?
False
Let m(a) be the third derivative of 2*a**4/3 + 2*a**3/3 - 8*a**2. Is 10 a factor of m(2)?
False
Let c(b) = b**3 + 3*b**2 - 2*b - 1. Let r = 25 - 25. Suppose r = -4*j - 2 - 6. Is 2 a factor of c(j)?
False
Let r be (-2)/9 + (-100)/(-45). Suppose 804 = -r*u + 5*u. Let q = -177 + u. Is 24 a factor of q?
False
Let b be (-6)/(-14) - 1626/21. Is 15 a factor of ((-60)/7)/(11/b)?
True
Let z(a) = a**2 - 37*a + 112. Is z(35) a multiple of 3?
True
Let p = 1407 + 3194. Does 43 divide p?
True
Let t = 75 + 12. Is 29 a factor of t?
True
Let b(d) = d**3 + 4*d**2 - 6*d - 7. Let s be b(-5). Let t(n) = -51*n - 102. Let c be t(-4). Is 10 a factor of -5*(c/(-15) - s)?
False
Let y(a) = a + 5. Let p be y(0). Suppose 4*n + p = -n, 0 = v - 2*n + 22. Does 16 divide v*(-8)/6 - 0?
True
Let d(q) be the second derivative of -3*q**3 - 9*q**2/2 + q. Does 9 divide d(-8)?
True
Let h(x) = -x**2 + x + 4. Let m be h(-4). Let j = m - -52. Let f = -22 + j. Is 6 a factor of f?
False
Suppose 0 = 2*q + 8, 0 = -5*t + 3*q + 1366 - 319. Is 9 a factor of t?
True
Suppose 0 = 3*m - 734 - 1060. Does 13 divide m?
True
Let m = 1 + 8. Let c = -2 + m. Let d = 7 + c. Is 8 a factor of d?
False
Let v(x) = -2*x**2 + 5*x + 4*x**2 + 4 - 2*x**2 - 4*x**2. Let q(l) = -3*l**2 + 6*l + 4. Let d(h) = -5*q(h) + 4*v(h). Is d(-6) a multiple of 20?
True
Let l(x) = 67*x - 1030. Is 39 a factor of l(22)?
False
Let v(y) = -y**3 + 29*y + 35*y**2 - 30 - 56*y**2 + 35*y**2. Is 9 a factor of v(15)?
True
Let p be 75/(-10)*(-4)/(-6). Does 5 divide ((-38)/p)/((-14)/(-35))?
False
Let r(p) be the third derivative of -5/3*p**3 + 1/4*p**4 + 0*p + 0 + 5*p**2. Does 7 divide r(7)?
False
Does 25 divide (-730)/(-6) - (65/(-15))/13?
False
Suppose -m + 2*m + 3*g - 16 = 0, -2*g = 4*m - 24. Suppose -m*a = 3*h - 2*h - 101, 4*h + 3*a = 456. Is 13 a factor of h?
True
Is 12/(-10)*(-5 - 3025/15) a multiple of 31?
True
Let n(s) = 34*s + 51. Suppose 5*d = -12 + 37. Is 28 a factor of n(d)?
False
Suppose -30*x + 3640 = -4*x. Does 2 divide x?
True
Suppose -3*g = 14 + 25. Let z = g - -91. Is z - 6 - (1 - 2) a multiple of 14?
False
Suppose 47 = x - 19. Let r(y) = -y + 33 + 32 - x. Does 6 divide r(-13)?
True
Let t = 4 - -2. Suppose 5*r = t*r - 52. Does 26 divide r?
True
Let j(f) = f**3 + 6*f**2 + 9. Let k be j(-6). Is 5 a factor of -6*1*(57/k)/(-1)?
False
Suppose -10*p + 25*p - 3240 = 0. Is p a multiple of 12?
True
Let s = 1579 + -1095. Is 11 a factor of s?
True
Suppose 0 = -4*p - 2*j + 1478, 2*p - j + 6*j = 751. Suppose -29*g + p = -25*g. Is g a multiple of 23?
True
Let n = -1191 + 1685. Is 16 a factor of n?
False
Let a be 14 - (5 + -3) - 2. Let h(w) = w**2 - 4*w - 2. Let o be h(5). Let m = o + a. Is m a multiple of 5?
False
Let k be 23 + 9 + -3 + 1. Let g = k + 3. Does 13 divide g?
False
Let l(m) = -8*m - 1. Let r be l(-4). Let y = 8 - r. Let h = y + 70. Is 15 a factor of h?
False
Suppose l + 243 - 69 = 0. Let j = -52 - l. Is 14 a factor of j?
False
Suppose -5*d = -g - 15, 5*g - 3*d + 0*d + 9 = 0. Let l = -123 - -93. Let a = g - l. Is 15 a factor of a?
True
Suppose -g + 397 = 12*p - 11*p, -p - 1563 = -4*g. Does 15 divide g?
False
Suppose -4350 = 8*s - 23*s. Is s a multiple of 16?
False
Suppose 0 = 2*b + 10, 0 = -3*q - b - b + 515. Does 70 divide q?
False
Does 4 divide (23 + 13)*(1 - (-1)/(-3))?
True
Let x(t) = t**3 - 8*t**2 - 9*t + 11. Let m be x(9). Let r(a) = 11*a + 30. Is r(m) a multiple of 10?
False
Let r = -145 - -269. Suppose -5*c + 203 = -c - 5*y, 0 = 2*c + 2*y - r. Does 24 divide c?
False
Suppose -5*n - 1141 = -3*d, -48*d + 47*d - 5*n + 407 = 0. Is d a multiple of 9?
True
Let m = 435 + -121. Is m a multiple of 6?
False
Suppose 3*s - 13 + 4 = -3*l, 3*l - 10 = -4*s. Suppose -a - l*a + 5*m = -24, -2*a - 2*m + 16 = 0. Suppose o - 20 = a. Is o a multiple of 14?
True
Let p(q) = -q**3 + 7*q**2 + 14*q + 17. Does 13 divide p(8)?
True
Is 57 a factor of 8/16 - (1 - (-11285)/(-10))?
False
Let b(n) = -11*n - 7. Let p be 1 - 24/(-20)*-5. Is 4 a factor of b(p)?
True
Is 10 a factor of (5 - 33)*5/(-2)?
True
Let s be (-12)/18*(1 - -20). Let m = s + 50. Is 9 a factor of m - (4/1 + -4)?
True
Let n(y) = 2*y**2 - 25*y + 21. Let r be n(15). Suppose -2*c + 0*o + 5*o = -188, -3*o = -c + r. Does 12 divide c?
True
Suppose 4*h + 120 = 5*h + 5*o, 0 = 2*h - o - 240. Suppose 0*b - b - 5*l = -h, l = -2. Is 26 a factor of b?
True
Suppose 0 = 3*a - 2*v - 1, 2*v = a + 5. Suppose 0 = a*d + 2*d - 5*b - 205, 5*d = -3*b + 237. Does 9 divide d?
True
Let s be 6 + 4 + (-2 - 0). Suppose 4*j - v - 5 = s, j + 2*v - 1 = 0. Is 3 a factor of (6 - 3) + 0 + j?
True
Let l = 193 + -169. Does 2 divide l?
True
Let b(r) = -r**3 - 6*r**2 - 2*r + 7. Let z(i) = -2*i + 9. Let h be z(8). Let f be b(h). Suppose 4*n - 34 = f. Is 26 a factor of n?
True
Let a(i) = -i**2 + 24*i - 82. Let q be a(20). Let r(w) = -31*w - 3 + 7*w + 1. Is r(q) a multiple of 16?
False
Let d(u) = -47*u + 4. Let w(r) = -48*r + 4. Let j(c) = -7*d(c) + 6*w(c). Let a be j(9). Suppose -3*b - 116 = -a. Is 18 a factor of b?
False
Let o be ((-20)/(-4))/1 - -4. Is 6 a factor of 2 - o/3*-11?
False
Let z(l) = 2*l**2 + l + 2. Let r be z(-1). Suppose a - 9 = -r. Does 3 divide a?
True
Suppose -7 = t - 8. Is 58 a factor of 14/(-21) - ((-695)/3 - t)?
True
Let m(t) = 5*t**3 - t**2 + 2*t + 3174. Is m(0) a multiple of 138?
True
Let l = 42 - 3. Let d be (-2)/(-5) + 10/(-25). Let s = d + l. Is 13 a factor of s?
True
Suppose n = 8 - 5. Does 32 divide 324/(-1 - -3) + n?
False
Suppose -n + 4*r = -16, 4*n + r = -2*r + 45. Suppose -17*z + 140 = -n*z. Is z a multiple of 14?
True
Suppose 5*o - 1423 = -j, o + 2*j = 5*j + 275. Is 7 a factor of o?
False
Suppose 0*q - 24 = -2*q. Suppose -10 = -q*s + 7*s. Suppose -4*o - 156 = -4*m, -s*m + 46 = o - 41. Is m a multiple of 14?
True
Suppose -3*g + g - 132 = -3*c, -117 = -3*c - 3*g. Let a be (-2)/1*(-23)/(-2). Let m = a + c. Is m a multiple of 15?
False
Suppose -p + 17 = 4*k, -3*p + 2*k - 26 = -7*p. Suppose 0 = -0*z - p*z. Suppose 4*c + 0*w - 3*w - 177 = z, 120 = 3*c + 2*w. Is 19 a factor of c?
False
Let j be ((-2)/(-1))/((-2)/4). Let k be (-2 - j)/((-1)/(-8)). Let h = -3 + k. Does 4 divide h?
False
Let m(h) = 918*h**3 - 3*h + 4. Is 7 a factor of m(1)?
False
Let h(g) = g**3 + 37*g**2 + 21*g + 244. Is h(-34) a multiple of 16?
False
Let u(s) = -2*s + 38. Let b be u(18). Does 13 divide 127/b + 6/(-12)?
False
Let b = -13 + 73. Let y = 75 + b. Is y a multiple of 23?
False
Let x = -14 + 10. Let c(j) = -j**2 + 2*j - 4. Let h be c(4). Let s = x - h. Is 4 a factor of s?
True
Let g = 0 + -13. Let j be 0 + 105 + (-14 - g). Suppose -5*u + j = -6. Is 11 a factor of u?
True
Let q(i) = -i**3 + 7*i**2 + 7*i + 1. Let k be q(8). Let z(l) = l**3 + 5*l**2 - 15*l + 10. Is z(k) even?
False
Let v(h) = h**2 + 5*h - 1. Suppose 5*k + 0*k = -30. Let i be v(k). Suppose 4*u - u = 2*z + 10, z = -i*u + 34. Is u a multiple of 6?
True
Does 20 divide 1/(-10) + 172938/380?
False
Let x(b) = -14*b + 1. Let n be x(-8). Let o = n - 48. Is 39 a factor of o?
False
Suppose -5*y = -12*g + 15*g - 489, 4*y - 652 = -4*g. Is g a multiple of 3?
False
Suppose 0 = h + 3*h - 180. Suppose 48*p = h*p + 63. Does 4 divide p?
False
Let a(n) = 93*n**2 + n - 2. Is 16 a factor of a(-2)?
True
Let s(q) be the second derivative of -3*q**5/20 - q**4/2 + q**3/6 + 4*q**2 + 4*q. Does 20 divide s(-4)?
True
Let z(n) be the third derivative of n**6/120 + n**5/20 - 5*n**4/24 - 5*n**3/6 + 3*n**2. Let l be z(-4). Is 18 a factor of l + -2*111/(-6)?
True
S