 Suppose -34 = -k*h + 286. Suppose -2*r - h = -6*r. Is 3 a factor of r?
False
Suppose 0 = j - 2*g - 14 + 3, -25 = -3*j + 4*g. Let n be -2 - (1 + -11 + j). Suppose -12 = -h + n. Is 17 a factor of h?
True
Suppose 3 + 5 = 2*m. Suppose 0 = -4*a - m*h + 116, -2*a + 65 - 12 = h. Does 6 divide a?
True
Suppose -3*n = 3*h - 3966, -2*h + 6622 = 5*n - 0*h. Is 39 a factor of n?
True
Does 22 divide 89349/145 + 2/(-10)?
True
Let a be 3*(-8)/12 - 3. Let m(t) = -11*t - 29. Is m(a) a multiple of 2?
True
Suppose 20 = -4*d, 8 = -0*h - h - 4*d. Suppose p = -2*z + 11, 3*p - 2*z + h = 85. Is 7 a factor of p?
True
Let t be (-670)/(-8) + 2/8 - -2. Let x = 119 + t. Does 41 divide x?
True
Let i(c) = c**2 - 2*c - 1. Let f be i(-1). Suppose -11 = -f*h + 3. Does 2 divide h?
False
Let i(q) = 61*q - 13. Does 30 divide i(9)?
False
Let h(l) = l - 10. Let c be h(6). Let r(q) = -30*q. Is 30 a factor of r(c)?
True
Let u be (68/(-6) - 2)*-3. Is (96/u)/(4/30) a multiple of 5?
False
Suppose 4*f - 4*h - 40 = 0, 6 = -2*f - 3*h + 1. Suppose f*g = 3*g. Let z(o) = -o + 12. Is 8 a factor of z(g)?
False
Suppose 4*u - 11 = y, -4*y - 2*u - 2*u = -16. Suppose 3*h - y = 3*t + 5, -4*h + t + 17 = 0. Suppose 2*g + 102 = 3*i, h*i = -g + 6*g + 165. Does 18 divide i?
True
Let q be (-168)/2*(-25 - -12). Suppose 0 = 5*w - q - 493. Does 68 divide w?
False
Suppose -3*v + 4*h + 167 + 47 = 0, -3*h = 4*v - 327. Is 7 a factor of v?
False
Let g(l) = -l**3 - 16*l**2 - 32*l - 23. Is 33 a factor of g(-14)?
True
Let b(y) = 5*y - 61. Let m be b(14). Let a(i) = -i**2 + 11*i - 11. Does 7 divide a(m)?
True
Let s(r) be the first derivative of -2*r**2 + 5*r + 12. Does 8 divide s(-6)?
False
Let y be 918/45 - 3/(-5). Suppose 23*z = y*z + 40. Is z a multiple of 5?
True
Suppose 5*g + 23 = 4*a, -a - 3*g + 1 = 4*a. Suppose a*i - 35 + 99 = c, -2*c = -5*i - 130. Is 6 a factor of c?
True
Let f = 26 + 5. Let m = 43 - f. Let s = m - -3. Does 7 divide s?
False
Let k(j) = 31*j**2. Let w be k(2). Suppose -v - 28 = -w. Suppose 0 = -3*c + 6*c - v. Is c a multiple of 8?
True
Suppose 3*c - 3*r - 3810 = 0, 3*c - 2920 - 906 = -r. Is 13 a factor of c?
True
Let u(m) = m**2 + 8*m + 12. Does 12 divide u(-12)?
True
Let j(h) = -10*h**2 + h**3 - 1 + 3 - 2*h - 6*h. Suppose -17*g = -12*g - 55. Is j(g) a multiple of 5?
True
Let q = 24 + -14. Let n be (-17)/(-5) - 4/q. Is 3*n/(-18)*-50 a multiple of 5?
True
Let f(j) = -3*j**3 - 5*j**2 - 5*j - 2. Let q(d) = -d**3 - d**2 - d. Let n(y) = -f(y) + 4*q(y). Is 13 a factor of n(-4)?
True
Is 8 a factor of 2 + -3 + 411/(-9)*-3?
True
Let q = 21 - 14. Suppose 3*w + q = 76. Is w a multiple of 22?
False
Let l = -36 + 39. Suppose -h - 5*s = -39, -7 = -l*h + 2*h + 3*s. Is h a multiple of 19?
True
Let o be (3 + 1)*(-230)/(-8). Suppose -4*w - o = -9*w. Suppose -2*f + 4*v + 27 = -w, 5*f - v = 125. Is 7 a factor of f?
False
Suppose r = -r + 30. Let m be 8/(-2)*r/(-12). Suppose -m*w = -4*f + 47, -2*w = 8 - 2. Is 8 a factor of f?
True
Let z be 10 + -12 - (-3 + 2 - 21). Suppose n - z = 39. Is n a multiple of 38?
False
Let n = -1848 + 5438. Is 52 a factor of n?
False
Let q be 159/1 + (4 - 5) + -1. Let t = q + -112. Is t a multiple of 8?
False
Is 73 a factor of 1403/2 + (-288)/(-192)?
False
Let q = 3236 + -1760. Suppose 4*u - 5*r = q, 851 = 5*u + r - 1023. Is 22 a factor of u?
True
Let i(f) = -2*f**3 + 3*f**2 - 2*f - 2. Let y(j) = j**2. Let x(u) = -i(u) + 4*y(u). Let g be x(-2). Let o(c) = -2*c + 16. Is o(g) a multiple of 22?
True
Let m(c) = c**3 - 9*c**2 - c + 10. Let r(i) = 6*i**3 - 45*i**2 - 6*i + 51. Let y(h) = -11*m(h) + 2*r(h). Let k be ((-2)/6)/(1/24). Is y(k) a multiple of 27?
False
Suppose 464 = 3*g - 250. Is 17 a factor of g?
True
Let j = 1803 + -958. Is j a multiple of 65?
True
Let n(f) = 4*f - 85. Let a be n(24). Let l = 72 + -49. Let q = l - a. Is q a multiple of 6?
True
Does 31 divide (-20)/(-4)*1872/15?
False
Let b = -92 + 97. Suppose -2*w = -5*n + 1688, 4 = -b*w - 16. Is 16 a factor of n?
True
Let q(l) = l**2 + 6*l + 27. Let j be -15 - -17 - (-2 - 1)*-6. Is 15 a factor of q(j)?
False
Let b = 173 - 120. Suppose -8*r = -43 - b. Is r a multiple of 7?
False
Suppose -10 + 4 = -3*x, 0 = -3*d + x + 658. Is 5 a factor of d?
True
Suppose -1373*b + 1380*b - 16121 = 0. Does 27 divide b?
False
Let m(t) = -10*t - 10. Suppose 31 = -6*g - 119. Does 14 divide m(g)?
False
Let t(q) = q**3 - 12*q**2 + 22*q - 8. Suppose -4*k - 50 = -9*k. Does 4 divide t(k)?
True
Suppose 0*z = -5*z + 15. Suppose 72 = z*o - 0*o. Is o a multiple of 8?
True
Does 20 divide 8/(-10) + (-2128)/(-35)?
True
Let h be (2 - (-1 + 0))*49/21. Let k(a) = 5*a**2 - 3*a + 18. Is k(h) a multiple of 29?
False
Suppose i - 3 = 13. Let v(n) = -8*n**2 - 7 + 6*n + n**3 + 9*n - 6*n + i. Is 23 a factor of v(7)?
True
Let a be (21/(-49) + (-4)/(-42))*-1101. Suppose -4*h = 63 - a. Is h a multiple of 6?
False
Let q(d) = -5*d**3 + 4*d + 4. Let u be q(-2). Suppose -3*r + u = 3*r. Does 25 divide (48/(-20))/r*-250?
True
Suppose 4*w = -25 - 39. Let d = 30 + w. Is 10 a factor of ((-60)/d)/(1/(-7))?
True
Let k(o) = o**2 + o + 6. Let c be k(4). Let m = c - 21. Is 3 a factor of m?
False
Let r(o) = 4*o**2 + 12*o + 8. Does 10 divide r(-6)?
True
Suppose v - 22 = -s - v, -3*s - 5*v = -61. Let k(t) = t - 9. Let j be k(s). Suppose 29 = a - 5*c, a - j*c = -0*a + 21. Does 9 divide a?
True
Let g be (-2)/(2/(-4) + 1). Let h be 2/4 + (-14)/g. Suppose -2*n = h*q + n - 348, -4*n = -16. Does 14 divide q?
True
Let p = 36 - 64. Let m = p + 29. Suppose j - 48 = m. Does 17 divide j?
False
Let n(g) = -2*g**3 + 10*g**2 + 8*g + 2. Let q(u) = 3*u**3 - 19*u**2 - 15*u - 4. Let m(a) = -5*n(a) - 3*q(a). Is m(-6) a multiple of 3?
False
Let i = 3 + -27. Let y be 4*(-21)/i*4. Suppose 3*c - 41 + y = 0. Is c a multiple of 3?
True
Suppose 3*i + 4*b - 29 = -0*b, 2 = -i + b. Let l(j) = 4*j - i*j + 18 - 16. Is 6 a factor of l(6)?
False
Let z = 59 + -40. Suppose 21 + z = 5*h. Does 12 divide ((-108)/h)/((-3)/8)?
True
Let m(a) = 2*a**3 - 11*a**2 - a + 36. Let d be m(5). Let h(u) = -8*u + 0*u - 2*u**3 - 4*u**2 + 3*u**3 + 8. Does 32 divide h(d)?
True
Suppose 4 = t, 0 = 2*v - t + 2 - 6. Suppose 0 = 7*h - 21. Suppose 6*d - 35 = h*d - 5*x, -v*x + 6 = -2*d. Does 5 divide d?
True
Let i = 74 - 38. Suppose 114 = 6*a - i. Is 11 a factor of a?
False
Suppose s + 40 = 3*s. Suppose 123 = 23*m - s*m. Does 10 divide m?
False
Let g = -31 + 35. Suppose -510 - 2 = -g*a. Suppose l + a = 5*l. Does 16 divide l?
True
Suppose 5*a = -3*u - 21, 0 = -5*u + 5 - 15. Let m be (-5 - a)/((-2)/96). Suppose -5*f + 3*f + m = 0. Is f a multiple of 19?
False
Let w = 27 - 22. Suppose 141 + 194 = w*l. Suppose -a + l - 22 = 0. Is a a multiple of 11?
False
Let z be 6*(-3 - (-50)/(-3)). Let n be ((-6)/12)/(1/z). Suppose g + 6 = y, -4*y + n = -g + 4*g. Is 11 a factor of y?
True
Let k(d) = 3*d**2 - d - 1. Let c be k(-2). Let s = -10 + c. Suppose 0*v + s*v = 33. Is v a multiple of 4?
False
Let l = 41 - 2. Suppose 22*t = 25*t - l. Is t a multiple of 6?
False
Suppose 38*g - 2184 = 35*g. Does 16 divide g?
False
Suppose 2*p - 3*p = -2. Let i be (-3 - -2)/(p/(-4)). Suppose -3*x + 26 = -i*x. Is 17 a factor of x?
False
Let c = -156 - -255. Let f = c - 68. Is f a multiple of 7?
False
Let p = -4 - -6. Suppose -w - p = 14. Let o = w + 37. Is o a multiple of 7?
True
Let y = 24 - 24. Let x be 1 - 0 - (-2 - -3). Suppose 2*l + x*q - 4*q - 112 = y, -3*l + 3*q = -174. Is l a multiple of 10?
True
Suppose 3*u + 2 = 5*z, 3*z + 4*u - 1 = 6*z. Is z + 43 + 3 + 1 a multiple of 24?
True
Let f(q) = 9*q**2 + 6*q + 31. Is 13 a factor of f(5)?
True
Let h(u) = -2*u**3 + u**2 - u + 5. Let o(l) = -l**3 + 1. Let i(w) = h(w) - 5*o(w). Let z be i(3). Let a = z - 43. Is a a multiple of 10?
False
Let c(l) = -87*l + 79. Is 61 a factor of c(-4)?
True
Let v(l) = l**3 - 20*l**2 + 21*l - 16. Let a be v(19). Suppose a*h = 26*h - 192. Is h a multiple of 10?
False
Let u = 9 + -5. Suppose b + 0*b - u*x + 15 = 0, -60 = 4*b - 3*x. Let f = 21 + b. Is 6 a factor of f?
True
Let h = 22 + -30. Let o(z) = z + 8. Let g be o(h). Suppose 4*c = 2*r - 7*r + 65, -3*c + 4*r + 10 = g. Is c even?
True
Let m = -30 + 33. Suppose -m*b + 57 = -0*b. Does 19 divide b?
True
Let g = -2 - -1. Let u = 2 - g. Suppose 0 = -0*v - u*v + 27. Is v a multiple of 9?
True
Suppose -o + 2 = -2*n - 1, 0 = 5*o + 5. Does 17 divide 51/(-1*2/n)?