d + 22 = i, -5*d + 44 = 4*i. Is 9 a factor of -108*(-3 + 14/i)?
True
Suppose 0*r = -3*r - 5*q + 420, -2*r + 280 = -5*q. Is 14 a factor of r?
True
Let w(l) = -3*l + 6. Suppose 13*x = 9*x - 44. Let o = x - -8. Is 6 a factor of w(o)?
False
Let y(t) = 2*t - 7. Let s be y(4). Suppose 3*x - s - 5 = 0. Suppose -3 - 27 = -x*v. Is 12 a factor of v?
False
Suppose -p + 3*p + 2 = 0. Let o(i) = 7*i**2 - i - 2. Let j be o(p). Does 28 divide (-819)/(-52)*32/j?
True
Let o(s) = 118*s + 2. Let f be 2/(-3)*(-3)/2. Is 30 a factor of o(f)?
True
Suppose -2*g - 15 + 5 = 0, 5*g + 10 = -3*y. Suppose 217 = y*f - 4*h, -5*f - h + 3*h = -221. Is f a multiple of 5?
True
Let w = 13 + -7. Let y be w/4*8/6. Suppose 0 = 4*s + 2*d - 194, 98 = 3*s - s + y*d. Is s a multiple of 14?
False
Let d = -435 + 877. Is 26 a factor of d?
True
Suppose 4*v + 5*c = 794 + 8, -2*v = 5*c - 406. Suppose 30*f - v = 28*f. Does 11 divide f?
True
Let s = 338 - 202. Does 68 divide s?
True
Let i = 121 - -369. Is i a multiple of 5?
True
Let y = -1266 - -1824. Is 31 a factor of y?
True
Let h = 148 + -62. Suppose -373 = -7*v - h. Is v a multiple of 12?
False
Suppose -7*o + o = 0. Does 35 divide (o - 210/9)*(-2 - 1)?
True
Let c(l) = -11*l + 69. Does 2 divide c(6)?
False
Let b = 485 + -829. Does 15 divide b/(-18) - (-4)/(-36)?
False
Let d(x) = 97*x + 3. Let s(j) = -3200*j - 100. Let t(n) = 100*d(n) + 3*s(n). Let i be 0 - (9/(-3))/3. Is 28 a factor of t(i)?
False
Suppose 2*z - r = 4*r + 373, -4*r = 3*z - 571. Let f be ((-3)/(-2))/(201/16750). Let c = z - f. Does 16 divide c?
True
Suppose -p + 5*g + 76 = 0, 352 = 3*p + p - 4*g. Is 13 a factor of p?
True
Let q(l) = 36*l + 1. Let t be q(2). Let n = 168 - t. Is 15 a factor of n?
False
Let m(h) = -h**3 - 4*h**2 + 4*h. Let g be m(-5). Suppose g*b + 72 = x - 9, 2*x - 3*b - 183 = 0. Is 32 a factor of x?
True
Let f(u) be the third derivative of 0 + 0*u + 1/12*u**4 + 2/3*u**3 + 2*u**2 + 1/12*u**5. Is 5 a factor of f(-2)?
True
Let s(n) = 899*n**3 + n - 915*n**3 + 1 + 0. Does 4 divide s(-1)?
True
Suppose 5*m = 0, 0*m + 15 = 3*f + 3*m. Suppose -f*w + 327 = 4*c, w + 2*c - 69 = -0*w. Is w a multiple of 5?
False
Let k = -361 + 659. Does 3 divide k?
False
Let i(p) = -9*p**3 + 0*p**2 - 2 - 3*p**2 + 4. Let w(f) = -f**2 + 7*f - 14. Let n be w(4). Is i(n) a multiple of 17?
False
Let j(p) = p**3 + 13*p**2 + 6*p + 18. Let w be j(-14). Let h = w + 388. Is 25 a factor of h?
False
Let k = 15 + -11. Suppose -4*n = -5*s + 15, k*n = -4*s - 1 + 13. Suppose -f - f = s*i - 10, f = -4*i + 5. Does 4 divide f?
False
Suppose 0 = 5*i - 11*i + 492. Suppose -w = h - i, 3*h - 414 = -5*w - h. Is 14 a factor of w?
False
Suppose -6 - 4 = -l. Let v be 2*(l/(-4) + 4). Suppose 7*i - 236 = 3*i - 3*z, v*i + 4*z = 177. Is 13 a factor of i?
False
Let r(j) = -7*j**2 - 65*j - 15. Is r(-5) a multiple of 45?
True
Is 11 a factor of (5 + -15)/100 + 7921/10?
True
Suppose -21 = -3*x + 2*x - 4*i, -5*x + 60 = 5*i. Let b(l) = 5*l + 18. Does 9 divide b(x)?
True
Suppose 2*g = 2*n - 0*g - 14, 2*n - 8 = 4*g. Suppose -j - n = -6*j. Suppose 0 = -j*w - 3*w + 55. Is w a multiple of 11?
True
Suppose -4 = -0*f + 4*f + 5*c, -3*c - 1 = f. Does 9 divide (33/(-55))/(f/30)?
True
Suppose 4*b - 32 = -3*i + 391, 4*b - 388 = 4*i. Does 11 divide b?
False
Let a(m) = -582*m + 37. Is 12 a factor of a(-2)?
False
Let a be 18/(-30) - (-54)/(-10). Let r(v) = v**2 + 2*v - 3. Let q be r(a). Suppose 5*w = -p + 11 + 23, -q = -4*p + 3*w. Is p a multiple of 9?
True
Let v(i) = 7*i**3 - i**2 - 19*i + 37. Is 34 a factor of v(6)?
False
Let p = 0 + 1. Suppose r = -9 + p. Does 20 divide (-30)/r*-10*-2?
False
Let q(d) = 5*d - 59. Let h = 44 + -29. Does 14 divide q(h)?
False
Suppose 0 = -3*r + 4*o + 1627, 3*o - 525 = -0*r - r. Is r a multiple of 10?
False
Is (4368/(-65) + -3)/((-2)/10) a multiple of 3?
True
Does 17 divide 198/27*(2 + 19)?
False
Let r = -15 - -18. Suppose g - 2*h = -3*h + 1, -r*h - 37 = -5*g. Is 2 a factor of g?
False
Let t(q) = -64*q - 48. Is t(-8) a multiple of 58?
True
Suppose 590 = t + 5*v, 4*t = 2*t - 2*v + 1156. Does 11 divide t?
False
Is 5 a factor of (-41)/(-7) + -6 + (-1226)/(-7)?
True
Let i = -28 + 39. Let d(b) = -b + 13. Let n be d(i). Suppose -3*v - n + 77 = 0. Does 18 divide v?
False
Let v(o) = -1 + 0 + 5*o + 0. Let j be v(4). Let s = j + -9. Is 5 a factor of s?
True
Let k(b) = -3*b**3 + 2*b + 1. Let o be k(-1). Suppose -o*s = 3*s + 55. Let r = 22 + s. Does 3 divide r?
False
Let s(b) = 3*b - 1. Suppose -7 - 20 = -q - 5*t, -3*q = 2*t - 16. Suppose -q*k + 4*u + 42 = k, -2*k - u = -17. Does 7 divide s(k)?
False
Is 53 a factor of (-98)/56 - 8262/(-8)?
False
Let n = 27 - 17. Let t(s) = 8*s**2 + 3*s**2 - s**3 + 10 - 10*s + 6 + 1. Does 10 divide t(n)?
False
Let k = 1568 + -1444. Is k a multiple of 28?
False
Is (-17)/3 + 6 - 5530/(-42) a multiple of 33?
True
Let c(g) = -g**3 + 24*g**2 - 69*g + 46. Is c(18) a multiple of 68?
True
Let n = -102 - -235. Let o = 122 + -190. Let r = n + o. Is r a multiple of 13?
True
Let y(g) = 23 + 3*g - 13 - 12. Let s be y(-2). Does 15 divide ((-58)/s)/((-5)/(-20))?
False
Suppose -4*l + 27 = -7*l + 3*y, 0 = -2*y + 8. Let r(u) = u**3 + 5*u**2 + 5. Let v be r(l). Suppose 3*c - 16 = -v*q + 162, 54 = c + 3*q. Is c a multiple of 22?
True
Let v(a) = 4*a + 8. Let z be v(-17). Let t = z - -68. Is t even?
True
Let t(r) = 13*r**2 - r - 8. Suppose 8 = -a + 6*z - 2*z, -a - 3*z = -13. Let u be t(a). Suppose -u = -6*k + k + 2*f, -164 = -4*k + 4*f. Is k a multiple of 16?
False
Suppose 25 = 39*p - 34*p. Is 8 a factor of (-15)/p - -3*17?
True
Suppose 71*u = 75*u - 288. Is u even?
True
Let h(o) = -o**3 - 45*o**2 + 40*o + 114. Is h(-46) a multiple of 67?
False
Suppose 0 = 11*j - 24 - 9. Let k = -29 + 215. Suppose -5*w - j*z + k = 0, -2*z = -2*w - w + 104. Is 10 a factor of w?
False
Let l(t) be the third derivative of -t**4/12 + 2*t**3/3 + t**2. Let f be l(-3). Suppose -2*g + 12 + f = 0. Is 11 a factor of g?
True
Is 221 + (39/26)/(6/16) a multiple of 8?
False
Is 19 a factor of ((-10051)/(-92))/(1/4)?
True
Is 5 a factor of (-78)/(-6 + (-1 - -5))?
False
Let l = -48 + 100. Is l a multiple of 8?
False
Let o = -582 - -558. Let s(q) = 7*q - 1. Let a be s(5). Let f = o + a. Does 5 divide f?
True
Does 38 divide (-8)/24*(-228)/2?
True
Let i be (2 - 1*4)/(6 - 5). Is 15 a factor of ((-134)/i - 24/8) + -4?
True
Let o = 753 - -183. Is o a multiple of 72?
True
Let x = -111 - -148. Is x a multiple of 3?
False
Let u be 2/4 + 18/4. Suppose -k = 4*f + 3*k + 16, -2*f - 4 = k. Suppose u*d = -f*d + 170. Is 17 a factor of d?
True
Let q(c) = -15*c - 6. Let i(v) = -46*v - 18. Let j(y) = 2*i(y) - 7*q(y). Is 27 a factor of j(2)?
False
Let v be -4 - 6/(-4)*42/9. Suppose 4*i = 3*y - i - 801, y - v*i - 263 = 0. Does 34 divide y?
True
Suppose 0*g - 2*z = -g + 26, 0 = -g + 5*z + 32. Suppose b - 2*m - g = 0, 2*b - 6*b = 2*m - 78. Is 8 a factor of b?
False
Suppose -3*t - 81 + 9 = 0. Let v = -24 - t. Let f = 22 + v. Is 5 a factor of f?
False
Suppose 5*j - 5*b + 195 = 6*j, 4*j - 729 = -3*b. Suppose 11*a - 5*a = j. Is a a multiple of 30?
True
Let n(b) = b + 1. Let c be ((-48)/(-40))/(3/10). Let k be n(c). Suppose -k*o + 52 = -43. Does 7 divide o?
False
Let l = 17 - 14. Suppose -8*r + l*r + 530 = 0. Suppose 2*z - r = -18. Is z a multiple of 7?
False
Let p(y) = y**2 - 12*y + 8. Let g be p(11). Is (-41)/g - 3/(-9) a multiple of 5?
False
Suppose 8*s - 205 = 155. Is (s/20)/(3/24) a multiple of 18?
True
Let x(t) = 9*t**2 - 14*t - 8. Is x(-6) a multiple of 8?
True
Is 14/(-4)*120/(-14) a multiple of 7?
False
Let x = -909 + 6357. Does 24 divide x?
True
Let w(q) = q**2 - 2*q + 330. Is w(0) a multiple of 81?
False
Let g be 1/(-2 + (-335)/(-167)). Suppose 2*h - 1673 - g = 0. Does 16 divide h/15*(-3)/(-2)?
False
Let h(x) = -3*x - 5 + 0 - 14. Let w be h(-8). Suppose -j = 2*o - 3*j - 36, -o = w*j - 30. Is o a multiple of 10?
True
Suppose 4*a + 4*v = -0*v + 4356, 2*a - 2180 = -v. Is 16 a factor of a?
False
Suppose 0 = -5*s + 644 - 229. Let n = s - 61. Does 4 divide n?
False
Let o be 2*(-1)/2 + 6. Let s be 6/(-12)*(1 + -1). Suppose -o*k + 6*k - 3 = s. Does 2 divide k?
False
Let m be ((-4)/6)/((-2)/360) + 3. Suppose -o - 4*c + m = 0, 4*o + 2*c - 532 = 6*c. Is o a multiple of 34?
False
Let v(r) be the third derivative of r**5/60 + r**4/4 - r**3/2 + 4*r**2. Let n be v(-7). Supp