 s = h + -7. Suppose -5*t = 4*c - 68, t - s*c - 54 = -4*t. Does 6 divide t?
True
Suppose 0 = 4*d - 2*x + 6, -2*x - 3*x + 15 = -3*d. Suppose -z + 5*a = 0, -3*z + 3*a + 18 - 6 = d. Is 4 a factor of z?
False
Suppose 1076 = 3*d - d + j, -2*d + 1084 = -j. Does 36 divide d?
True
Suppose 740 = 14*i - 10432. Is 42 a factor of i?
True
Let k be (1 + -1)*(-8)/16. Let m be 35/21*(3 - k). Suppose m*w = -p + 45, -4*w + 27 = -0*w - p. Does 8 divide w?
True
Suppose -o - 4 = -2*o. Suppose -o*u + 232 = -232. Does 22 divide u?
False
Suppose h - 3*c - 30 = 2*h, -116 = 5*h - 2*c. Is 11 a factor of 24/h - (0 - 57 - -1)?
True
Let t = -1 + 10. Let m(x) = -x**3 + 11*x**2 - 10*x. Let q be m(t). Let f = 127 - q. Is f a multiple of 15?
False
Does 26 divide (-7)/(-14)*(-2 - -320)?
False
Let n = 26 - 21. Let x(s) = s**3 - 4*s**2 + s - 3. Does 12 divide x(n)?
False
Let d(h) = -h**3 - 4*h**2 + 3*h - 3. Let o(a) = a - 5. Let u be o(0). Does 2 divide d(u)?
False
Let x(s) = -5*s + 61. Does 13 divide x(7)?
True
Let z be (-106)/34 + (-22)/(-187). Let s = z - -9. Does 13 divide 4/s + (-370)/(-30)?
True
Let l be 86/(-7) + 46/161. Let v(m) = -m**3 - 13*m**2 - 14*m + 2. Let o be v(l). Suppose 44 - o = 2*a. Is a a multiple of 3?
True
Let c = -18 + 33. Let s be (-3 + 4)*c*-1. Let o = s - -61. Does 13 divide o?
False
Suppose -24 = 5*v - 3*v. Let x be 8/v - 4/(-6). Suppose -2*f = -3*o - f + 218, x = 2*o + 3*f - 127. Is o a multiple of 13?
False
Let f = -112 - -199. Let u = f + -39. Is u a multiple of 12?
True
Let a(b) = -2*b + 1. Let c be a(1). Let f = 61 + c. Does 20 divide f?
True
Suppose -10*g + 40 = -680. Is g even?
True
Let v be (1/(-1)*-12)/(-1). Let g(w) = -5*w + 22. Is g(v) a multiple of 26?
False
Is 52 a factor of ((-16)/6*-39)/((-1)/(-3))?
True
Is 45 a factor of 22142/12 - (7 + 287/(-42))?
True
Let n = -103 + 155. Let l = 92 - n. Is 8 a factor of l?
True
Let z(o) = 57*o - 7. Let g(i) = 2 - 5*i - 17*i + 3*i. Let s(t) = -7*g(t) - 2*z(t). Is s(3) a multiple of 11?
False
Is 10 a factor of 9 + -3 - -49*16?
True
Let p = 307 - 169. Is p a multiple of 23?
True
Let v(x) = 4*x**2 - 41*x - 60. Let w(s) = s**2 - 10*s - 15. Let l(h) = 2*v(h) - 9*w(h). Is l(7) a multiple of 22?
True
Let j(f) = 465*f - 34. Is 14 a factor of j(2)?
True
Suppose 0 = 6*h - 11*h + 730. Suppose -4*w = -142 - h. Is w a multiple of 28?
False
Let w be (-2 - 0)*227/2. Let n = 318 + w. Is 13 a factor of n?
True
Let n be ((-90)/(-4) - 3)*-2. Is 2 a factor of 1/((-120)/n - 3)?
False
Let g(o) = 53*o - 356. Does 8 divide g(12)?
True
Let b(i) be the third derivative of -i**5/60 + 11*i**4/24 + 5*i**3/3 - 7*i**2. Is 5 a factor of b(9)?
False
Let z = 62 + 6. Is 34 a factor of z?
True
Is ((-1)/((-8)/20))/((-20)/(-632)) a multiple of 3?
False
Let w be -3 + (-1 - (-7 + -2)). Suppose -w*o = z - 35, -o = 2*z - 0*o - 34. Does 5 divide z?
True
Let y(w) = -w**3 + 10*w**2 - 9*w + 57. Does 20 divide y(6)?
False
Let z = -4 - -8. Suppose z*l - 210 - 874 = 0. Suppose -285 = -4*f - 5*a, a + 49 + l = 5*f. Is 13 a factor of f?
True
Let m = -116 - -136. Suppose -u + m = 4*h - 87, -581 = -5*u + 3*h. Is u a multiple of 35?
False
Suppose -4 = -u, -3*u + 6 = -2*d - 0*u. Suppose 0 = d*g - 30. Does 3 divide g?
False
Suppose 4*s = 37 - 33. Let h(n) = 160*n - 5. Is 11 a factor of h(s)?
False
Let h(p) = 5*p**2 - 7*p - 1. Let f(v) = -4*v**2 + 8*v + 1. Let q(i) = 4*f(i) + 5*h(i). Is 2 a factor of q(-2)?
False
Let y(a) = -a**3 + 11*a**2 - 18*a - 13. Let l be y(9). Let c = -4 - l. Is c a multiple of 9?
True
Suppose -5*y = -x + 585, -2*x + 4*y = y - 1156. Does 14 divide x?
False
Suppose -w = 4*r - 8 - 1, -5*r + 5*w - 20 = 0. Is 1 - 2 - (r + -2 + -19) a multiple of 18?
False
Let h = 168 + 201. Is 9 a factor of h?
True
Let g be (3 - 6) + -1*95. Let i = g - -133. Is i a multiple of 6?
False
Suppose 0 = 3*p - 7*p + 220. Suppose -p = -2*f + 31. Suppose w = c - 46, 0 = c - 3*w + 5*w - f. Is c a multiple of 9?
True
Suppose 2*f = 7*f - 960. Let a be 48/(-32)*(-1)/(3/128). Suppose -j + a = n, -3*n + 2*j + 0*j = -f. Is 11 a factor of n?
False
Let f(k) = 18*k**2 + 2*k. Let y be 1 - -3 - (-1 - -4). Let r(m) = m**2 - 1. Let x(u) = y*f(u) - 3*r(u). Does 18 divide x(-2)?
False
Let m(y) = -37*y + 1. Let n = -9 + 2. Let x be 3/(-2) + n/(-14). Is m(x) a multiple of 15?
False
Suppose 67*n - 68*n + 1156 = 0. Does 18 divide n?
False
Is ((-1496)/20)/((-5)/175) a multiple of 22?
True
Suppose -24223 = -15*s + 2297. Does 68 divide s?
True
Suppose 0 = -2*w + 2, -3*p + 3138 = 4*w + 446. Is p a multiple of 109?
False
Suppose -9*n = -5*n - 96. Let j = n - 3. Does 7 divide j?
True
Let z(c) = 433*c + 2. Let s be z(6). Suppose 10*b - 153 = 47. Is 13 a factor of (1/2)/(b/s)?
True
Let d be 2/(-11) + 1126/22. Suppose -5*i = 1 - d. Is i a multiple of 5?
True
Let x(p) = 3*p - 1. Let v be x(1). Suppose -310 = -5*f + v*q, 3*f + f - 241 = 3*q. Suppose 4*g - 340 = 3*m, 2*g + m - 244 = -f. Is 16 a factor of g?
False
Suppose -354 = -4*a - 134. Is 4 a factor of a?
False
Let w(f) = -226*f - 132. Is w(-3) a multiple of 19?
False
Let k(t) = t**2 - 5*t + 1. Let z be k(8). Suppose -z = -3*h - 2*h. Suppose -3*m - 2*w = -h*m + 112, -3*w = -2*m + 111. Does 15 divide m?
False
Let h be (0 - -50)/((-5)/(-30)). Let r = -135 + h. Is r a multiple of 63?
False
Is (-6 + 0)/((-27)/1170) a multiple of 5?
True
Let b = -629 + 1908. Is b a multiple of 21?
False
Let f(z) = z**3 - 22*z**2 + z + 20. Is f(22) a multiple of 6?
True
Suppose 0 = -3*w + 2*w - 3, -11 = -4*t + w. Suppose -o = t*o - 222. Is o a multiple of 14?
False
Let v(c) = -c**3 + 8*c**2 - 7*c. Let i be v(7). Let b(d) = d**3 - d**2 + d + 55. Let h be b(i). Let u = h + -7. Is 24 a factor of u?
True
Suppose 2*h + 142 = u, u - 170 = 4*h - 28. Suppose v - 137 = -2*b, 4*v = -2*b + u + 4. Does 8 divide b?
False
Let w = -12 - -37. Suppose 100 = 29*l - w*l. Is 9 a factor of l?
False
Suppose 3*q + 21 = 15. Is 4 a factor of (-260)/5*q/8?
False
Suppose -42*i + 41*i = -353. Does 44 divide i?
False
Let m = -276 + 389. Is m a multiple of 6?
False
Let r be 2186 + (-2)/(10/(-5)). Is 23 a factor of r/19 - (-2)/(-19)?
True
Let l(u) = -12 - 9 + 11*u**2 + 6*u - u**3 + u - 4*u. Let q be 66/(-2)*6/(-18). Is 12 a factor of l(q)?
True
Let j = 1050 - 511. Is 14 a factor of j?
False
Is 6831/(-66)*(-80)/6 a multiple of 12?
True
Let x(p) = 6*p**2 - 4*p + 2. Let r = 0 - 1. Let b be -3 - (-6)/(-1)*r. Is 12 a factor of x(b)?
False
Let m = 65 + -133. Suppose 0 = -3*b + 15, -y - 2*b - 50 = -176. Let s = y + m. Is 16 a factor of s?
True
Let i(v) = -v + 16. Let l be i(10). Suppose l*m - m - 85 = 0. Does 13 divide m?
False
Suppose 9*j - 1887 = 102. Is 72 a factor of j?
False
Suppose b - 4 = w + 96, 3*b = -2*w - 175. Let z = w - -110. Does 4 divide z?
False
Let n be (-2)/(-2) + 2 - (5 + -8). Suppose 40 = n*b - b. Is b a multiple of 7?
False
Suppose -4*l = -2*l + 20. Is (-1023)/(-15) - (-2)/l a multiple of 18?
False
Suppose c - 527 + 11 = 0. Does 12 divide c?
True
Let j(m) = 5*m**2 - 2*m**2 + 2 + 9*m - 2*m**2 - 5*m. Let w be j(-4). Does 26 divide (-97 + -2)*(w - 3)?
False
Let o = 3 + -1. Suppose o*f + u + 4 = -3, -4*f + 4*u + 4 = 0. Is 9 a factor of (50/(-15))/(f/27)?
True
Let d = -43 + 42. Is (2 + d)/((-13)/(-1417)) a multiple of 20?
False
Let p(g) = 111*g - 167. Is 28 a factor of p(26)?
False
Suppose 6*s - s - 2618 = -2*q, s + 2*q - 522 = 0. Let b = s - 372. Is b a multiple of 17?
False
Suppose -464 + 1699 = 5*l. Does 2 divide l?
False
Let a = -29 - -52. Suppose a = -3*k - 13. Let t = 107 + k. Is t a multiple of 19?
True
Let x = -84 - -21. Let b = x - -348. Suppose -5*c - 3*j + b = 0, -2*c + 3*j = 4*j - 113. Is c a multiple of 16?
False
Let v(a) = -a**2 - 45*a + 261. Is 53 a factor of v(-47)?
False
Let k(u) = 85*u**2 + 19*u + 60. Is 22 a factor of k(-5)?
True
Let k(l) = -l**3 + 2*l**2 - 4*l + 4. Let w be k(4). Let o be w/2*7/(-14). Is 22 a factor of o*4/2*3?
True
Let p be 2685/(-35) + 6/(-21). Let v = p + 48. Let o = 38 + v. Does 9 divide o?
True
Suppose 2 = 5*c - 4*c. Let v be (14/(-21))/(c/(-9)). Suppose -v*z - 144 = -2*a, 288 = 3*a + a - 3*z. Is a a multiple of 24?
True
Is 5406 + (-2)/(-10) + 168/(-40) a multiple of 63?
False
Suppose 0 = -58*g + 52*g + 534. Is g a multiple of 13?
False
Let c be 2 - (208 - 0)/2. Let r = -30 - c. Is r a multiple of 9?
True
Suppose 4*p - 4*m + 1 = -27, 4*m + 