5*d + 130 = 4*i, 4*i - 7 = 3*d + 119. Let u = -9 + i. Does 24 divide 12/5*(u + -1)?
True
Suppose -l = -d - 377, -5*d - 585 = 4*l - 2093. Does 13 divide l?
True
Let k(b) = b - 7. Let f be k(9). Suppose 0 = -d - 5*a + 26, -2*a - 14 = -d - f. Is 16 a factor of d?
True
Let g(j) = -j + 1. Let h be g(-15). Let y(s) = 3 + h*s + 19*s - 5 - 5*s. Is y(1) a multiple of 28?
True
Suppose 1 = -4*j + 9. Let f = 12 + -10. Suppose u - 4*w - 33 = -f*w, 2*u - 66 = j*w. Does 33 divide u?
True
Let s = 8 - 5. Let u be s/((-4)/(40/(-6))). Suppose -4*k - u*o = -0*k - 59, -3*o = 4*k - 61. Does 13 divide k?
False
Let g = -226 + 155. Let p = 19 - g. Is 15 a factor of p?
True
Suppose 0 = -n - 4*f - 13, 3*f + 16 + 10 = -4*n. Let o(d) = d**2 + 6*d + 8. Let p be o(n). Is 2 a factor of (-14)/(-6) - (-2)/p?
False
Suppose 3*u - z = 3, 5*z - 11 = 2*u - 0*u. Suppose 244 = u*b + w, -3*b - 3*w - 122 = -4*b. Suppose -4*k + b = 5*a - k, -4*k = -5*a + 129. Is a a multiple of 5?
True
Suppose -50 = 3*v - 4*r, 0*v + 4*v + 25 = -3*r. Let i(a) = -48*a - 10. Let l be i(v). Suppose -2*c = -3*x - 165, 7*c - 2*c - l = -4*x. Is 15 a factor of c?
True
Suppose 2*y + 5 = 33. Let o be (-2)/4 + 63/y. Suppose -5*p = -2*c + 26 - 7, 46 = 2*c + o*p. Does 17 divide c?
True
Let m be (-3)/4*(12/(-4) - 201). Let b = m - 63. Is 10 a factor of b?
True
Is (22/1)/(1470/(-185) + 8) a multiple of 32?
False
Let r = -105 - -106. Is ((-74)/(-6)*-3)/(r/(-2)) a multiple of 10?
False
Suppose 0 = -j + 5, 36*j = 3*a + 41*j - 157. Let r(s) = -2*s + 2. Let z be r(-3). Let y = a + z. Does 13 divide y?
True
Suppose -6*j - 48 + 54 = 0. Does 11 divide j/((-4)/(-8) + (-146)/300)?
False
Let w(s) = 16*s**2 - 29*s + 6. Is 14 a factor of w(6)?
False
Suppose -312 = -2*m + z, 4*z = 5*m - 378 - 402. Suppose m = -0*r - 3*r. Let b = -7 - r. Does 15 divide b?
True
Suppose 29*g = 26*g + 192. Is g a multiple of 3?
False
Let m = 116 - 116. Suppose 2*v = -m*t + 4*t + 336, 0 = 4*t - 16. Does 22 divide v?
True
Let y = 124 - 122. Suppose y*h + 2*h = -3*u + 627, -5*u + 462 = 3*h. Does 15 divide h?
False
Let z(f) = 201*f + 5. Let i be z(3). Suppose 5*x - x = i. Does 9 divide ((-18)/(-12))/(6/x)?
False
Suppose 1655 + 25 = 8*t. Is t a multiple of 7?
True
Does 19 divide (-3 - 2) + (96 + -3 - -7)?
True
Let d(a) = -20*a - 20. Let v(x) = 10*x + 10. Let b(h) = 3*d(h) + 5*v(h). Is b(-9) a multiple of 30?
False
Let m = -52 + 56. Let b = 119 + -72. Suppose -3*y + 29 = p, m*p + b - 170 = -5*y. Does 11 divide p?
False
Let g(l) = -19*l**2 + l + 1. Let w be g(-1). Let k = 51 - -22. Let h = w + k. Is h a multiple of 18?
True
Suppose 0 = 2*l - 0*l + 8. Let g(z) = -5*z + 7. Let o be g(l). Suppose o + 101 = 4*q. Is 16 a factor of q?
True
Let n(m) = -2 + 8 - 6 + 14*m + 9 - m**2. Let u be n(15). Let t(b) = -b**2 - 8*b + 1. Is 13 a factor of t(u)?
True
Suppose 0 = 2*b - 4*u - 78, 3*b - 60 = u + 47. Suppose -6 = -o - b. Let f = 48 + o. Does 14 divide f?
False
Let u(h) = 2*h - 8. Let a be u(4). Let s = -6 - 6. Does 2 divide 4/(-8)*(s + a)?
True
Let u = 637 - 42. Suppose 6*b + 43 - u = 0. Is 23 a factor of b?
True
Let g be 30/((-36)/8 - -3). Does 7 divide 12/g + (-152)/(-20)?
True
Let p be 0 + (-3)/6*-4. Let h = p - -10. Is h a multiple of 3?
True
Let o = -505 + 751. Is o a multiple of 16?
False
Suppose -15 = -3*l - 0. Suppose 2*u = l*u. Suppose 3*x = -5*h + 183, u*h - 2*h + 73 = x. Is 12 a factor of h?
True
Let u(f) be the second derivative of f**4/12 + f**3/3 + 6*f**2 + 11*f. Is 11 a factor of u(0)?
False
Suppose 29*x + 8805 = 54422. Is x a multiple of 6?
False
Let i(g) = -g**3 + 3*g - 2. Let o be i(1). Suppose 1950 = 13*j - o*j. Is 50 a factor of j?
True
Does 28 divide (-41499)/(-371) + (-2)/(-14)?
True
Let x(g) = -g + 32. Let i be (-20)/4*(5 + 0). Let j be ((-30)/i)/(2/(-30)). Does 9 divide x(j)?
False
Is 20 a factor of (-12)/21 - 144/(-7)?
True
Let j = -1397 - -1669. Is j a multiple of 16?
True
Suppose 0 = 7*w - 10*w + 12. Is 14 a factor of (w - 1) + 68 + -1?
True
Suppose -3*i + 1 = 4*p - 3, 0 = -2*p - 4. Suppose -112 = -a - 5*q, -a + i*a - q = 384. Suppose 128 = 5*g - a. Is 17 a factor of g?
True
Let m = 4589 - 2517. Is m a multiple of 45?
False
Let h(m) = 6*m**3 + 8*m**2 - m + 7. Is 17 a factor of h(3)?
True
Let a(s) = 5*s**2 + 21*s - 2*s**2 - 1 + 10*s**2 + s**3. Is a(-11) a multiple of 5?
True
Suppose -9*l + 4 = -8*l. Suppose -l + 6 = k. Suppose -k*d + 4*s - s = -27, 0 = 5*d - 4*s - 64. Does 6 divide d?
True
Let i(u) = 14*u**2 - 14*u - 8. Does 31 divide i(-8)?
False
Let j = 123 - -957. Does 3 divide j?
True
Let r(f) = 16*f**2 + 3*f - 3. Suppose 3*i - 9 = 0, 3*d + 2*i = -3*i + 18. Is 8 a factor of r(d)?
True
Let i = 2 - -2. Suppose 4*r - 6 = i*x - 18, 2*x + 14 = -3*r. Does 9 divide (-162)/r*(-2)/(-3)?
True
Let w = 14 - 11. Suppose 0 = -2*v - w*n + 22 + 51, 0 = 4*v - 5*n - 135. Does 15 divide v?
False
Let f(r) = r - 7. Let x be f(27). Let y = 8 - 6. Suppose s + y*z = 30, -5*z + x = s - z. Is 9 a factor of s?
False
Suppose 0 = 2*m + 4*g - 432, -28 + 16 = 4*g. Does 3 divide m?
True
Suppose 4*z + 2*z = 24. Does 16 divide 34 - (z/(-12) - 21/(-9))?
True
Suppose 2*h - 60 = -3*o, -o - 148 = -3*h - h. Suppose h*y = 31*y + 55. Does 4 divide y?
False
Let c(a) = a**3 + 19*a**2 - a + 17. Let p be -5 + (17/(-1) - -3). Is 18 a factor of c(p)?
True
Let z(c) = c**3 + 9*c**2 + c - 5. Let y = 31 + -36. Is z(y) a multiple of 10?
True
Is 7 a factor of (-1)/(8 - 7112/888)?
False
Is ((-376)/(-3))/(-1)*(-132)/16 a multiple of 8?
False
Suppose -12*a + 18200 = -6052. Does 68 divide a?
False
Let o(i) = -3 + 0 - i - 2*i - 2*i**2 - 6. Let l be o(-5). Let q = 64 + l. Does 7 divide q?
False
Suppose -3*w - q = -9867, 3*q + 13143 = 14*w - 10*w. Is 24 a factor of w?
True
Let f = -10 + 10. Suppose -q - q - 284 = f. Let l = -100 - q. Is l a multiple of 11?
False
Suppose -4*l + 5*u + 27 + 3 = 0, l + 5*u = -5. Is (-3 - 84/(-20))*l a multiple of 6?
True
Suppose 74*m = 62*m + 5016. Is m a multiple of 11?
True
Suppose 3*f - 6 = 2*o, -2*f - 3*o = -4*o - 4. Suppose 5*h - 74 = -3*a, 0*a - 2*a = f*h - 32. Does 8 divide (3 + h)/(1/1)?
True
Suppose 0 = 4*h - 3*t - 38, 0*h - 5*t + 21 = h. Let d(j) = -j**3 + 12*j**2 - 11*j + 6. Let o be d(h). Is 5 a factor of ((-5)/(-4))/(o/96)?
True
Let q(j) = j**2 - 20*j + 9. Let f be q(16). Let p = f + 175. Does 28 divide p?
False
Let c(a) = 31*a - 8. Suppose -d + 12 = 3*w, 3*d - 9 = -d + w. Does 17 divide c(d)?
True
Let y(r) = r**2 - 14*r - 11. Let a be y(15). Suppose 0 = 4*n + q - 109, 2*n - 46 - 12 = -a*q. Is 5 a factor of n?
False
Let z(h) = -h**2 + 17*h + 21. Let a be z(18). Suppose -672 = -5*m - a*n, 4*n - 455 = -3*m - 43. Is 22 a factor of m?
True
Suppose 4*m + 132 = 8*m. Is (1 + -2)/((-1)/m) a multiple of 11?
True
Let a = 79 - 77. Is 8/(-6)*(-75)/a a multiple of 9?
False
Let b(w) = 2*w. Let f be 13/91 + (-30)/14. Let v be b(f). Let h = 43 + v. Does 11 divide h?
False
Suppose -2 = -2*u, -u - 3864 = 2*r - 7*r. Does 5 divide r?
False
Let u(j) = 9*j + 111. Does 16 divide u(4)?
False
Let n(o) = -o**3 + 11*o**2 + 9*o - 52. Is n(11) a multiple of 3?
False
Suppose 2*x - j - 60 = 285, 0 = -x - 5*j + 167. Is 14 a factor of x?
False
Suppose 475 = 7*w - 2*w. Is w a multiple of 19?
True
Let y = -15 + 21. Suppose f + 2 - y = 0. Suppose 23 + 17 = f*r. Is r a multiple of 10?
True
Let u = 148 + -91. Let d be (-91)/39*(0 - -6). Let x = u + d. Is 8 a factor of x?
False
Let k be 13/3 - (-1)/(-3). Suppose -305 - 947 = -k*i. Suppose -i = -5*n - 6*f + 3*f, -57 = -n + 5*f. Is n a multiple of 20?
False
Suppose 0*m - 6 = -2*n - m, -4*m = 5*n - 12. Suppose 15 = -f + n*f. Suppose -27 = f*o - 8*o. Is o a multiple of 3?
True
Is 1/((-5)/(-499 + -6)) a multiple of 23?
False
Suppose -6*o + 4*b + 12 = -o, 5*b = -o - 15. Suppose 5*f - 102 - 73 = o. Is 14 a factor of f?
False
Let b(m) be the third derivative of m**6/120 - m**4/12 - m**3/6 - 3*m**2. Let p be b(-1). Suppose 5*s - 145 = -5*n, -s - 4*n + 3 + 14 = p. Does 11 divide s?
True
Let g(p) = p + 20. Let r be g(-19). Does 9 divide r + 0 + 56 + 6?
True
Let p be 1/(-7) + 145/35. Suppose -7 = 5*r - 22, 4*h = 4*r + p. Suppose -3*z - 2*z - 3*s = -408, h*z - 3*s = 348. Does 21 divide z?
True
Let u be 1*-4*(-18)/4. Suppose 14*f - 192 = 172. Let d = f - u. Does 3 divide d?
False
Let l = -1118 - -1658. Is l a multiple of 90?
True
Suppose 0 = -2*q + q +