f t?
False
Let o be 1*6*(-1 + 5/(-15)). Is 12 a factor of 30/((-28)/o - 3)?
True
Let q = 12 + -12. Suppose 4*v - 49 = -5*c, q*v - 5*c = -2*v - 13. Suppose b - v = 3*a, -5*a - 38 = -3*b - b. Does 4 divide b?
True
Suppose -4*o - 4*t = -1660, 5*t + 1269 = -8*o + 11*o. Is o a multiple of 11?
True
Let u be 78/9*(-24)/16. Let o(z) = -5*z + 5. Does 35 divide o(u)?
True
Let g be 4/6*-3 - 2. Let h = g - -19. Is h a multiple of 6?
False
Let n(m) = -14*m + 3. Is 11 a factor of n(-10)?
True
Let t(s) = -5*s**2 - 34*s + 18. Let u be t(-13). Let v = -144 - u. Does 11 divide v?
False
Does 17 divide 4 - 9/3 - (-783)/3?
False
Suppose w + 5*l - 392 = 0, -4*l - 1140 = -3*w - l. Is 22 a factor of w?
False
Suppose 5*n - 1432 = -0*g + g, 5*n - 4*g = 1438. Let y = n + -34. Is 28 a factor of y?
True
Suppose -21*x + 2160 = -17*x. Does 54 divide x?
True
Suppose -29 = -5*m + 3*v, -5*m + 9 = 5*v + 4. Suppose -2*p + 2*k + 2*k = m, 2*p + k = -4. Let t(g) = 9*g**2 - 4*g - 3. Is 11 a factor of t(p)?
False
Let n(z) = 17*z + 1. Let l(d) = -1 + 3*d**2 + 8*d + 9 - 2*d**2. Let f be l(-7). Does 11 divide n(f)?
False
Let d(p) = -p**2 + 3*p + 2. Let u be d(3). Suppose -4*f + u*f = 0. Suppose -r + 0 + 15 = -w, f = 5*r + 3*w - 35. Is r a multiple of 4?
False
Suppose 4*u - 14*p - 316 = -10*p, 0 = 2*u - 5*p - 143. Is 3 a factor of u?
True
Let b be (2 - (3 - 6)) + -3 + 3. Suppose 1518 = b*q + 333. Is 35 a factor of q?
False
Let y = -18 - -97. Let q = y + -138. Let c = q - -104. Is 15 a factor of c?
True
Suppose 7*c - 14*c = -70. Does 2 divide c?
True
Let k(s) = s**3 + 8*s**2 - 11*s + 4. Let p be k(-9). Suppose c + 19 = p. Does 3 divide c?
True
Suppose 15*q - 7*q - 3528 = 0. Is 9 a factor of q?
True
Suppose -21 - 6 = -3*i. Is 3 a factor of i*(0 + (2 - 1))?
True
Let j be -4 + 1 + (-10 - 8). Is 4 a factor of (-7)/j + 83/3?
True
Suppose 5*s - 3*z = -z + 21, 12 = 2*s + z. Suppose 2*h = u - 58 + 6, s*u - h - 296 = 0. Does 13 divide u?
False
Suppose 0 = 6*s - 5 + 41. Does 11 divide 24/16*(-232)/s?
False
Suppose 25*v = 63406 + 20344. Is v a multiple of 73?
False
Is 32/12*(8 + 118) a multiple of 9?
False
Suppose -2*m = 35 - 45. Suppose 2*y - 91 = -3*q, m*q - 141 = 3*y - y. Does 3 divide q?
False
Let r = -40 + 52. Is 1/((-16)/(-28))*r a multiple of 3?
True
Let z be (0 + -4)/(32/48). Let l(i) = 3*i**2 + i + 15. Is 10 a factor of l(z)?
False
Suppose 12*f - 42 + 6 = 0. Suppose -3*j - 6 = 0, -2*j + f*j + 56 = 3*i. Is i a multiple of 3?
True
Suppose 3*r + 2*t = 4*r - 1482, 3*t + 2967 = 2*r. Does 8 divide r?
True
Suppose 4*v - v - l = 43, 4*l = 8. Suppose 14*z - v*z = -70. Is z a multiple of 35?
True
Let s = -266 + 82. Does 23 divide (s/(-5))/(42/10 - 4)?
True
Let u(d) = -20 + d + 40 + 0*d. Let b be u(0). Suppose 5*i + 3*v - b = 0, 0 = 3*i - v - 8 - 18. Is 2 a factor of i?
False
Suppose 0 = -3*h + 4*u + u + 561, -2*u = 4*h - 722. Does 14 divide h?
True
Let n = 422 + 574. Is 6 a factor of n?
True
Let v(m) = -70*m - 9. Let b be (-5)/((1 + 1)/2). Let y be v(b). Suppose 4*j - y = -3*o, o + 22 + 72 = j. Does 20 divide j?
False
Let o(c) = -62*c - 390. Does 6 divide o(-15)?
True
Let m(y) = 6*y + 2 - y**2 - 5 + 2. Is m(4) a multiple of 2?
False
Let g = 63 + 112. Is 24 a factor of g?
False
Suppose -48*x = -23185 - 18047. Is x a multiple of 32?
False
Let v(a) = -60*a - 5. Is 45 a factor of v(-3)?
False
Let v(q) = q**3 - 27*q**2 + 25*q - 63. Does 18 divide v(27)?
True
Let c(f) = -f**2 - 7*f + 5. Let w be c(-7). Suppose q = 5, -164 = w*h - 3*q + 56. Let t = 13 - h. Is t a multiple of 18?
True
Let s(p) = -3*p + 49. Is s(-9) a multiple of 4?
True
Is 3 a factor of -4 - -4 - (4 + 153)*-1?
False
Let v(u) = 2*u**3 - 25*u**2 + 14*u + 15. Let p(d) = d**2 + 12*d + 12. Let j be p(-12). Does 7 divide v(j)?
False
Let r = 66 - 35. Let n = r - 29. Suppose 0 = -n*o + 4*h + 116, -4*h + h + 33 = o. Is o a multiple of 24?
True
Let x(l) be the second derivative of l**3/6 + 15*l**2/2 + 7*l. Does 6 divide x(11)?
False
Let h(c) = -12*c - 5. Let z be h(-6). Let i(x) = -x**2 + 3*x + 17. Let b be i(-6). Let a = z + b. Is a a multiple of 15?
True
Suppose -4*a + 0*g = 3*g - 378, -2 = g. Let z be (6/(-8))/((-4)/a). Let d = z + -11. Is d a multiple of 7?
True
Suppose f + 0*f = 4. Is f/(-10) + (-1464)/(-60) a multiple of 8?
True
Let x(i) = 3*i + 6. Let z(g) = 9*g + 17. Let p(w) = 8*x(w) - 3*z(w). Let m be p(-2). Suppose -t = -5*c - 25, 0*t - m*t - 5*c = -15. Is 3 a factor of t?
False
Suppose k + 13 + 1 = -3*t, -k - 10 = 2*t. Let u be ((-10)/t)/((-6)/12). Let f(d) = -8*d + 4. Is f(u) a multiple of 21?
False
Suppose 3 = 2*a - 1, -3*x - 349 = a. Let y = x - -225. Is y a multiple of 9?
True
Let i be 0 + 4 - 14/7. Suppose 5*p = g + 15, -i*g + 18 = -p + 3. Suppose -m - 4*f + 10 + g = 0, -180 = -5*m - 4*f. Is m a multiple of 13?
False
Suppose -4*k + 6*m = 8*m - 3678, 919 = k + m. Is 20 a factor of k?
True
Let x = 22 + -26. Is (-15)/(-1 + x) + 4 a multiple of 3?
False
Suppose 5*i = -5*f + 242 + 298, -2*f + i + 222 = 0. Is f a multiple of 9?
False
Does 52 divide ((-448)/10)/(3*6/(-585))?
True
Suppose 12 = -2*m - 4*m. Is 19 a factor of -3 + (-6344)/(-48) - m/(-12)?
False
Suppose 2*b - 4*t - 26 = 0, -8 = 2*t - 0. Suppose -5*h = 25, b*g - 215 = -3*h + 8*h. Does 6 divide g?
False
Suppose -4*t - 19 = -d, 3*t - 4*d = -7*d - 3. Is 12/(-8)*(t + -14) a multiple of 9?
True
Let u(o) = -29*o + 10*o - 36*o - 1. Does 18 divide u(-1)?
True
Let f(l) be the first derivative of l**5/24 - 5*l**4/24 + 2*l**3 - 1. Let i(t) be the third derivative of f(t). Does 9 divide i(4)?
False
Let g(t) = -27*t + 6. Let j be g(-1). Suppose 89*r = 86*r + j. Does 2 divide r?
False
Let f = 97 - -175. Suppose 2*c + 2*r = -188, 4*c + 3*r + 99 + f = 0. Let a = -59 - c. Is a a multiple of 10?
True
Suppose -30 - 26 = -8*z. Suppose -4*a - 2*o + 554 = 0, -z*a + 2*a - 2*o = -694. Does 20 divide a?
True
Let m(y) = 32*y - 6. Let c be m(2). Suppose -4*d - c = -2. Let r = 18 - d. Does 8 divide r?
True
Let d(r) = -18*r - 297. Does 31 divide d(-32)?
True
Let t(r) = r**3 - 8*r**2 - 2*r + 4. Let w be t(9). Let k(f) = f - 5. Let q be k(-4). Let j = w + q. Does 29 divide j?
True
Suppose 310 = 504*n - 502*n. Does 10 divide n?
False
Let n = -20 - -39. Suppose -n = -5*l + 41. Is l a multiple of 10?
False
Suppose -119 = -d + 21. Is 10 a factor of d?
True
Let u(h) = 14*h + 96. Let i(a) = -5*a - 32. Let k(j) = 11*i(j) + 4*u(j). Does 8 divide k(-8)?
True
Let h(g) = 236 - 234 - g**2 + 0*g - 10*g. Does 10 divide h(-9)?
False
Suppose 475 = m - 6*m. Let l be (36 + -15)*(-7 + -2)/3. Let y = l - m. Does 7 divide y?
False
Suppose -9*u = -12222 + 1422. Is 16 a factor of u?
True
Let w = 12 + -9. Suppose -z = w*l - 0*z - 17, z - 13 = -2*l. Suppose -s = -l*k - 16 - 11, -s = k - 12. Is 15 a factor of s?
True
Let u(k) = -1. Let o(s) = -14*s + 3. Let w(a) = o(a) + 5*u(a). Let x be w(-2). Let v = 16 + x. Is 11 a factor of v?
False
Let r(d) = 2*d + 67 - 28 - 21. Suppose 0*z = 3*z - 27. Does 9 divide r(z)?
True
Let m be (-162)/(-30) + -5 + 84/(-10). Let q(a) = -a**3 - 8*a**2 - 3*a + 12. Does 14 divide q(m)?
False
Suppose -400 = -2*a + 4*z, 800 = 4*a - 4*z - 0*z. Suppose -2*p + a = 3*p. Suppose 2*t - 4*b - p = b, 0 = 2*t + 5*b - 40. Is t a multiple of 7?
False
Let z = 26 - 17. Suppose -18*c = -z*c - 549. Is c a multiple of 14?
False
Suppose -g + 8 = -3*a, 3*g = g + 2*a. Let k be (198/g)/(9/(-18)). Suppose -126 - k = -3*f. Is 25 a factor of f?
True
Suppose 18*l = 16*l - 4. Let q be 1 + (2 - l - 2). Suppose 131 = q*i - 2*s, i + 4*s - 20 = 19. Is i a multiple of 12?
False
Let y(c) = c**3 + 11*c**2 - c - 34. Let t be 2 + -14 - (-9)/3. Does 37 divide y(t)?
False
Suppose z - 1077 + 20 = 0. Is z a multiple of 17?
False
Let x be 36/(-60) - (-144)/(-10). Is 3 - (10 + -4) - x a multiple of 6?
True
Suppose 2*r - 17 = 3*q, 0 = -0*q + 2*q - 5*r + 26. Is 6 a factor of (-40 - 0)*(q/2 - 0)?
True
Let c = 38 + -106. Let h = -28 - c. Does 8 divide h?
True
Suppose 7*c = c - 12. Does 24 divide c/5 - (-6)/60*2374?
False
Let q(p) = -p**3 + 10*p**2 + 9*p + 10. Let v be q(11). Let t(w) = -4*w**2 - 2*w + 13*w + 5*w**2 + 1. Is t(v) a multiple of 13?
True
Let y be 2/(-10) + (-186)/(-30). Let t be 2 - -122 - (6 - y). Is 3 a factor of 6/42 - t/(-14)?
True
Let x(b) be the first derivative of -9*b**4/4 - 2*b**3/3 + b - 2. Let k be x(1). Is 4 a factor of (4/k)/