-7). Let z = -22 - q. Does 22 divide z?
True
Let x be (65/(-26))/(2/(-4)). Let m be 1*((6 - 2) + x). Suppose 0 = 8*c - m*c + 72. Does 20 divide c?
False
Let c = 1700 + -586. Does 31 divide c?
False
Let t(a) = -a**2 + 4*a - 3. Let f be t(3). Suppose -n + f*n = -2. Does 13 divide n/(-4*(-2)/184)?
False
Let s(h) = -193*h**3 + 3*h**2 + 8*h + 6. Is 8 a factor of s(-1)?
False
Let q = 14 + -15. Let f(l) = -4*l**3 + l**2 + l - 1. Let s be f(q). Suppose -46 + 7 = -g + b, -b = -s. Does 10 divide g?
False
Let a = -7 - 3. Suppose -5*t - 107 - 288 = 0. Does 16 divide t/(-5) - 2/a?
True
Let l(t) = t - 8. Let f be l(10). Let b(o) = -2 + f*o - 5 - 20*o. Is b(-5) a multiple of 33?
False
Let w be (9/7 - 1) + (-3772)/(-28). Let b = -104 + w. Is 7 a factor of b?
False
Suppose 5*c - 24 = -f, 0 = -2*f + 4*f + 2. Suppose 3*a + q - 275 = 0, -3*a + 4*q = -294 + 44. Suppose a = 7*v - c*v. Does 14 divide v?
False
Let f = 1010 + -918. Is 11 a factor of f?
False
Suppose -14*n - 12*n + 17082 = 0. Is 9 a factor of n?
True
Suppose -5 = 3*c - 2. Suppose 4*d = 30 + 18. Does 3 divide (-2)/c*42/d?
False
Let d = -1433 + 1818. Is 35 a factor of d?
True
Let g(j) = j**3 - 6*j**2 + 4*j - 7. Let d(t) = t**3 - 7*t**2 + 5*t - 7. Let h(n) = -4*d(n) + 3*g(n). Let l be h(5). Let r = l - 25. Is 10 a factor of r?
False
Suppose -10*z + 1008 = -4*z. Is 24 a factor of z?
True
Let t(h) = -h**3 + 17*h**2 + 8*h + 9. Let b be t(17). Suppose -a = -4*o + 125, -4*o - a = -6*a - b. Does 8 divide o?
False
Let w = 25 - -44. Suppose -5*z = 4*b - 100, 0 = 6*z - 2*z + b - w. Does 16 divide z?
True
Let w(c) = 3*c - 3. Let y be w(2). Let g = -5 - y. Let s(m) = -m**2 - 10*m - 9. Is 2 a factor of s(g)?
False
Let r(s) = -s**3 + 11*s**2 - 10*s + 4. Let t be r(10). Let u be -1*t/6*-3. Suppose u*w + 2*w - 44 = 0. Does 10 divide w?
False
Suppose 9*t - 7*t - 459 = 5*m, t - 2*m = 227. Is 30 a factor of t?
False
Let t(k) = -k**3 + k**2 + 16*k + 9. Is t(-7) a multiple of 17?
True
Suppose -5*y - 3*q - q = -5, -15 = -5*y - 2*q. Let o be 37*(33 + -1)/4*1. Suppose y*d - o = d. Is d a multiple of 19?
False
Let t(w) = w**2 - 28*w - 58. Is t(-18) a multiple of 110?
True
Suppose 0 = 5*n + 4*a + 12, -a - 4*a - 15 = 5*n. Suppose 2*w + 3*w - 25 = n, 817 = 3*o + 5*w. Is 22 a factor of o?
True
Let u(d) = -d**3 + 13*d**2 - 13*d + 3. Let n be u(12). Let y = 11 + n. Suppose y*i = 5*i - 27. Does 3 divide i?
True
Suppose x - 60 = 46. Suppose -3*l + x = -20. Is l a multiple of 15?
False
Let l be 2/(-1) + (1 - 8). Let k = l + 9. Suppose k = -4*q + 63 + 93. Is 8 a factor of q?
False
Suppose -64 = -20*a + 21*a. Suppose -136 = 5*g + 24. Let z = g - a. Does 16 divide z?
True
Let d = -5 - -5. Suppose -n - 4*b = -3*n + 2, 5*n + 4*b - 19 = d. Suppose -5*r = n*u - 93, -135 = -5*r + u - 26. Does 13 divide r?
False
Is (-32767)/(-91) + 8/(-104) a multiple of 9?
True
Suppose -4*t = -2*t + 2*m + 220, -3*m - 6 = 0. Let o = t + 248. Does 20 divide o?
True
Let l(f) = -f**2 - 9*f + 6. Let x be l(-8). Suppose -2*c = 2*c - n - x, 0 = 3*c - n - 10. Suppose -8 = -0*o - c*o. Is o even?
True
Suppose 0 = 3*w - 0*n - n - 15, -5*w - 2*n + 25 = 0. Suppose 6 = -3*j + w*j. Is 2 a factor of j?
False
Let h = 181 + -177. Suppose h*u = -5*b + 379, -u + 106 = 3*b + 2*b. Does 7 divide u?
True
Let d(b) = b**3 - 7*b**2 + 7*b + 4. Suppose -5*i = 14 - 49. Is d(i) a multiple of 22?
False
Let t = -23 - -25. Suppose -t*k = -9*k + 280. Does 2 divide k?
True
Suppose -2*g = 2*g + 3*k - 7, -4*k - 4 = 2*g. Suppose -40 = -x + j - 6*j, -176 = -4*x - g*j. Does 4 divide x?
False
Suppose 3*s - 2*r - 4 = 0, -4*r + 24 = 3*s - 4. Suppose 4 = -s*k - 3*v - 2*v, 0 = -4*k + 3*v + 28. Suppose 0 = -2*m + k*m - 130. Is 21 a factor of m?
False
Let i(v) = 32*v**2 + v + 10. Is 8 a factor of i(-2)?
True
Suppose 39*q = 12*q - 675. Suppose j - 5*v = -83, -v = -5*v - 4. Let c = q - j. Is c a multiple of 21?
True
Suppose -2*t - t + 4*j + 256 = 0, -2*t - 3*j + 199 = 0. Is t a multiple of 3?
False
Let v be ((-15)/(-10))/(3/(-76)). Let a(r) = r**2 + 7*r + 3. Let f be a(-6). Does 14 divide (-4 - f) + -1 - v?
False
Suppose 4*f - 8 = -5*a - 0*f, a = -f + 2. Suppose a = -8*d + 3*d + 3*q + 24, 0 = d + 2*q - 10. Suppose -d*n + 54 = -0*n. Does 3 divide n?
True
Let w be 492/(-9) - 4/(-6). Is 38 a factor of (-9)/w - (-2)/((-12)/(-1139))?
True
Suppose -2*q - 9 = -4*w + 7, -3*w + 9 = 0. Let n = 47 - q. Is n a multiple of 4?
False
Let b = 84 + -32. Let k be 6/(-4)*(-30)/9. Suppose -n + 78 = 3*o, -k*n - b = -2*o - n. Is o a multiple of 8?
False
Suppose -3*y = -4*y + 29. Suppose 0 = -2*g - h + 11, 10*h - 5*h + y = 4*g. Suppose -3*i - 141 = -g*i. Does 26 divide i?
False
Let x = 9 - 1. Let k = x + -4. Does 4 divide -8*2/((-16)/k)?
True
Let x(b) = -5*b**3 - 8*b**2 - 5*b - 6. Let l be x(-5). Let w be (6/9)/(8/l). Let r = -16 + w. Is 7 a factor of r?
True
Suppose -2905 = 7*c - 17*c - 5*a, -5*c + 3*a + 1425 = 0. Is c a multiple of 48?
True
Let p(j) = 7*j + 4. Let m be p(6). Let g(v) = 2*v**2 - 72*v + 202. Let i be g(33). Suppose -z = -4*x - 3*z + 170, x = -i*z + m. Is x a multiple of 7?
True
Is 2155/6 - (-185)/222 a multiple of 14?
False
Let a = 3650 - 2255. Is 15 a factor of a?
True
Let c = -35 - -10. Let s(x) = -36*x**3 - 2*x + 1. Let t be s(1). Let z = c - t. Is z a multiple of 4?
True
Let u(f) = 3*f**2 - 2*f - 1. Let s be u(-1). Suppose h - 2*h - 4*o = -78, -2*h + 176 = s*o. Suppose 2*a - 2*c = h, -4*a + a + 145 = -5*c. Is a a multiple of 25?
True
Suppose m - 5*m + 12 = 0. Let y(a) = -5*a + 2*a**2 + 0*a - 134 + 2*a**2 + 131 + 0*a**2. Is y(m) a multiple of 4?
False
Let n(w) = 2 + 3*w - w + 2*w + 0*w. Let r be n(6). Let o = -6 + r. Is 10 a factor of o?
True
Suppose 4*t + 7*x - 8*x = 157, x + 117 = 3*t. Does 4 divide t?
True
Suppose -5*d - j = -195, 2*j - 32 = -d - 2. Suppose -d = 2*q + 52. Is 13 a factor of (-6 + 10)*q/(-4)?
False
Does 5 divide (-1170)/(-4) + 6 + 136/(-16)?
True
Let w be (-4)/6 - (-152)/57. Suppose 0*h + 3*h - 93 = -w*k, -5*h + 3*k = -155. Does 11 divide h?
False
Let j(r) = 17 - 11*r - 30 - 9*r + 14. Is 27 a factor of j(-5)?
False
Let q(a) = 51*a + 86. Is q(11) a multiple of 10?
False
Suppose -63 = -g - 0*g. Let x(y) = -8*y - 15. Let l be x(-4). Let b = g - l. Is 17 a factor of b?
False
Let n be (178/(-8))/((-6)/(120/5)). Suppose 5*i - 3*u - n = 0, -u = -2*i + 4*u + 47. Is i even?
True
Suppose -j + 55 = f, 46 = 4*j - 2*f - 144. Suppose 0 = 5*d - 10*d + j. Suppose -3*b - m + 61 = 0, -4*m = 5*b - d - 80. Is 11 a factor of b?
True
Is 22 a factor of -4*((-12103)/(-28))/(-7)?
False
Let b = -70 - -28. Is (-4)/(48/b)*8 a multiple of 7?
True
Let o be (-46)/(-12) - (-1)/(-12)*-2. Let q = o - -95. Is 46 a factor of q?
False
Let c be 2/(-5) + ((-135)/(-25) - 1). Suppose r = c*h + 6*r - 269, 0 = 2*h - 2*r - 148. Is 7 a factor of h?
False
Suppose 4*o - 5*a - 113 = -4*a, 0 = 3*o - 4*a - 75. Suppose -4*z + o + 31 = 0. Does 11 divide z?
False
Let f = -130 + 1184. Does 17 divide f?
True
Let h(o) = -o**2 + 16*o + 2. Let b be h(16). Suppose -46 = -b*v + 22. Is 8 a factor of v?
False
Does 15 divide (-11 + -4)/((-1)/29)?
True
Suppose -b - n + 189 = 0, 4*n + 158 + 196 = 2*b. Does 5 divide b?
True
Let r(d) = 8*d**2 + 3*d + 41. Does 16 divide r(-6)?
False
Suppose -3*y = 2*y - 4*x - 19, y = -4*x + 23. Let p = y - -3. Is 6 a factor of p?
False
Suppose 2 = 5*y - 3. Let q(m) = -3 + 3*m**2 - 4*m**2 + 8*m - y. Does 3 divide q(6)?
False
Let t = 85 - 17. Suppose -t*k = -70*k + 440. Is 55 a factor of k?
True
Let m = 666 + -385. Is 55 a factor of m?
False
Let n(z) = -3*z**3 - 40*z**2 - 27*z + 28. Does 6 divide n(-13)?
True
Let k(u) = 4*u - 24. Let p be k(15). Suppose 2*o - p = -2. Is o a multiple of 2?
False
Suppose -4*s + 38 = -j - 79, 5*s - 5*j = 150. Is 10 a factor of s?
False
Is (-62)/(-6) - 10 - 2176/(-6) a multiple of 11?
True
Suppose 0 = b - 4 - 4. Let v be 12/b*(0 - -4). Suppose -v = -4*l + 110. Is l a multiple of 21?
False
Let x(a) = -5*a**3 + 3*a**2 - 2*a + 11. Let w(g) = -3*g**3 + 2*g**2 - g + 7. Let r(y) = -8*w(y) + 5*x(y). Let o be (-1 - 3)/2 + 0. Is 7 a factor of r(o)?
True
Is 4 a factor of -495*(-6)/18 + 1 + -3?
False
Let l(b) be the third derivative of b**5/60 + 3*b**4/8 + 4*b**3 - 4*b**2 + 4. Is 24 a factor of l(10)?
False
Is 39 a factor of (-40)/(-6)*34272/60?
False
Let b(j) = j**3 - 13*j**2 + 5*j - 44. Let f(x) = -x**3 + 