et p = 84 + u. Is 7 a factor of p?
False
Suppose -4*w + 2 + 2 = -2*u, -5 = u - 3*w. Suppose u*p + 64 = 4*a, a + a + p = 47. Suppose a = -6*n + 69. Is 6 a factor of n?
False
Let j = 5 - 2. Let r(z) = -2*z + 4. Let s be r(j). Is (-91)/s + (-1)/(-2) a multiple of 11?
False
Suppose -14*i - 36 = 4*i. Let t(w) = -6*w - 5. Is 7 a factor of t(i)?
True
Suppose 3 = 4*i - 5. Suppose -i*w - 3 + 43 = 0. Let h = 35 - w. Does 10 divide h?
False
Suppose -3*m + 2*n = 4*n - 17, -4*m - 2*n + 26 = 0. Suppose -m*a + 206 = -55. Is a a multiple of 7?
False
Let b(q) = -3*q + 8. Let x be b(4). Is 8 a factor of x - (2 - 10) - -20?
True
Suppose -3*h - 2*q - 97 = 2*h, 76 = -4*h - 2*q. Does 13 divide (182/h)/(4/(-54))?
True
Let y be ((-309)/(-9) + -3)*3. Suppose 50 = r + 2*b, 3*b - y = -2*r + 2*b. Is r a multiple of 46?
True
Let o = 2882 - 1674. Does 13 divide o?
False
Let h be (3/((-45)/(-430)))/((-12)/(-18)). Suppose i + 5*w = -4, 2*i + 2*i + 5*w + 91 = 0. Let o = i + h. Is o a multiple of 6?
False
Suppose 15*u - 19*u - 5878 = -2*r, 0 = 5*u + 15. Does 23 divide r?
False
Suppose -2 - 8 = 5*f. Let s(d) = -11*d**3 - 3*d**2 - 3*d - 2. Let n be s(f). Let r = n + 41. Is 32 a factor of r?
False
Suppose 9 = -2*d - 3*x, -15 = -9*x + 4*x. Let l = 22 + d. Let w = l - 6. Is 7 a factor of w?
True
Let q(p) = p - 2. Let x be q(16). Is 26 a factor of -1*(1 - x)*6?
True
Suppose 3*f + 2*f + 3*u = 66, -4*u = 2*f - 32. Let a be (f/(-5))/(18/(-855)). Suppose -3*r + a = 3*w, 4*w = -r + 19 + 22. Is r a multiple of 8?
False
Let c be (-6)/24 - 66/(-8). Suppose 2*a - 3*f + c*f - 30 = 0, 2*f + 15 = a. Does 11 divide a + 7 + 1 + -1?
True
Let l = 724 + -152. Is 44 a factor of l?
True
Suppose 2*a - 6 = 2*d, 7 = a - 3*d - 2. Suppose 5*p + 7 - 32 = a. Suppose 7*f - 84 = p*f. Is 13 a factor of f?
False
Let v be (-8)/(-3)*(-9)/(-6). Suppose -v*o - o = 0. Suppose o = 6*b - 29 - 121. Does 11 divide b?
False
Let s = -22 + 40. Let c = 25 - s. Suppose c*z = 2*z - 10, 0 = -3*a - z + 70. Is 17 a factor of a?
False
Let a = 43 + -8. Suppose -3*b + 7 = -3*t + 112, 5*t = -b - a. Let o = -11 - b. Is 6 a factor of o?
True
Let g be -2*(1 - 44) + 2*-1. Let w = 2 + 0. Suppose 0*j + w*j = g. Is 11 a factor of j?
False
Suppose -46 + 127 = f. Does 9 divide f?
True
Let f = -1 + 16. Suppose -4*d + f = -d. Suppose -d*c - 53 = -4*a, -32 = -3*a - 4*c - 0*c. Does 12 divide a?
True
Let f = -3116 - -5054. Does 6 divide f?
True
Suppose 0 = 4*v + 2*q - 20 - 6, -v + q - 1 = 0. Suppose v*m + w - 27 = 0, 4*w - 17 = -5*m + 14. Does 5 divide m?
False
Suppose 2*y + 52 = -5*q + y, -4*q = -y + 38. Is 23 a factor of 565/(-1)*2/q?
False
Let g = -153 + 44. Let z = g - -142. Is 2 a factor of z?
False
Suppose -30*v = -249 - 1911. Is v a multiple of 18?
True
Suppose -5*s - z + 1087 = 0, 4*z - 1078 = 3*s - 8*s. Is 23 a factor of s?
False
Suppose 0 = -2*x + 2 + 2. Suppose x*h + 96 = 8*h. Is h a multiple of 4?
True
Let r be (4/(-10))/(3/(-120)). Let s = 15 + r. Is s a multiple of 31?
True
Let u = -2093 + 3106. Is 22 a factor of u?
False
Let f(y) = -y**3 - 9*y**2 - 7*y + 6. Let t be f(-12). Is 19 a factor of (-2)/6 - t/(-27)?
True
Let x be -4 - -2 - -3 - (-27)/(-3). Does 27 divide (-886)/x - (-5)/20?
False
Suppose -74*y + 73*y + 76 = 0. Is y a multiple of 2?
True
Is (-1)/(16/(-1220)) - (-1)/(-4) a multiple of 10?
False
Suppose 0*m = -3*m - 4*v - 11, v + 19 = -4*m. Suppose 17 = -3*c + 4*j, -2*j - j = -3*c - 15. Does 18 divide (3/m)/(c/255)?
False
Let l be (-37)/(-7) + (-92)/28 + 3. Suppose -181 = -l*s - 4*b, 2*s = -3*b + b + 74. Is s a multiple of 16?
False
Let t(k) = 40*k - 7. Let n be t(1). Let z = 126 - n. Is z a multiple of 14?
False
Let d be -2*1/8*-28. Let z(l) = l**2 - l - 2. Is 10 a factor of z(d)?
True
Suppose 5*o = o - 4, -3*s + 4*o = -595. Suppose -s = -3*u + 97. Suppose 3*m - 70 = -0*m - 4*k, -5*m - 2*k = -u. Is 6 a factor of m?
True
Suppose 2*g + 0*g = 0. Let a be -5 + 5 + (g - -2). Is -1*(-3 + a/(-1)) a multiple of 5?
True
Let w(f) = 5*f + 11. Let h be w(-13). Let d(g) = g**2 + 20*g - 1. Let a be d(-15). Let c = h - a. Is 11 a factor of c?
True
Let o(n) = 77*n - 8. Is 38 a factor of o(5)?
False
Suppose -3663 - 3246 = -49*i. Is 10 a factor of i?
False
Let k(q) = -q**3 + 20*q**2 - 18*q + 16. Let y be k(19). Suppose 40*c = y*c + 205. Is 41 a factor of c?
True
Suppose 756 = -n + 7*n. Is 17 a factor of n?
False
Let q = 1405 - 703. Is q a multiple of 27?
True
Suppose -3*x = 3*u - 75, -4*x + x = -2*u - 85. Suppose -5*c + 2 = x. Let a = 2 - c. Does 3 divide a?
False
Suppose -5*r = -2*p - 201, -3*r = -2*r - 3. Let d = -55 - p. Is 16 a factor of d?
False
Suppose 32*i - 39*i + 1323 = 0. Is 4 a factor of i?
False
Let o = 107 - 106. Is ((-85)/(-20) - 5)/(o/(-64)) a multiple of 15?
False
Let g = 33 + -33. Suppose -4*k + g*k = -72. Is k a multiple of 6?
True
Let i(b) = -141*b**3 - 2*b**2 - 4*b - 1. Is 13 a factor of i(-1)?
False
Suppose 30*r = 34*r. Suppose -w = -2*t + 2 - r, 4*w - 1 = 5*t. Suppose -6*o + w*o = -62. Is o a multiple of 10?
False
Suppose 0 = -12*k + 29*k - 5610. Is k a multiple of 11?
True
Suppose -4*x + f + 1837 = 0, 4*x + 5*f + 1399 = 7*x. Does 2 divide x?
True
Suppose 5*k + 17 = 12, u = k + 901. Is u a multiple of 30?
True
Suppose 0 = 6*t - t, 2*d - 2*t = 0. Let w(u) = u**2 - 1. Let c(y) = -y**3 + 3*y**2 - y. Let l(x) = c(x) - 4*w(x). Is 3 a factor of l(d)?
False
Let s be 45 - ((-20)/4 + 3). Suppose 3*k - v = 96, -k + s - 15 = v. Is 16 a factor of k?
True
Is 6 a factor of 3 + 1 + 2576/8?
False
Suppose -5*u - 4*r = -2341, 7*u = 5*u + 4*r + 914. Is u a multiple of 11?
False
Suppose -t = -0*t + 6. Let j(y) be the second derivative of y**4/3 + y**3 - 4*y**2 - 16*y - 1. Is j(t) a multiple of 28?
False
Suppose -16*j + 17004 = -468. Is j a multiple of 52?
True
Is 17 a factor of (-10598)/(-4) + ((-228)/(-24) - 7)?
True
Let b = -759 - -1911. Does 72 divide b?
True
Let l(w) = 3*w - 15. Let m(j) = 5*j. Let i be m(-2). Let v be (-64)/(-12) - i/15. Is 2 a factor of l(v)?
False
Let i = -226 - -401. Does 7 divide i?
True
Suppose 3*n = 2*f - 5*f + 9, 0 = 3*f - 3. Is 14 a factor of 65/1 - (-6)/n?
False
Let w be 2/((-14)/6 - -3). Suppose -w*y + 43 = -56. Does 3 divide y?
True
Let i(d) = 11*d + 65*d**3 - 2 - 23*d**3 - 8*d. Is i(1) a multiple of 43?
True
Let t = 933 - 168. Suppose 5*u = 5*h - 0*u - t, 15 = 3*u. Does 26 divide h?
False
Let j(v) = 7*v**2 - 18*v - 11. Does 31 divide j(8)?
False
Let k(l) be the third derivative of l**6/120 + l**5/10 - 5*l**4/12 + 3*l**3/2 + 2*l**2. Does 6 divide k(-7)?
True
Let m = -35 - -40. Is 23 a factor of 1/(1*m/115)?
True
Suppose 0 = 3*m + 2*m - 35. Let z(j) = -6*j**2 - m*j - 7*j**2 + 12*j**2 + 1. Is 10 a factor of z(-5)?
False
Suppose -9 = -5*v - 4*f, 0*v - 3*v - 4*f = -7. Let r = v + 26. Is r a multiple of 4?
False
Let m = 98 + -94. Suppose 0 = m*i - y - 560, 4*i - 482 - 78 = -2*y. Is 14 a factor of i?
True
Let j(b) = -b**3 - 10*b**2 + 11*b + 3. Let g be j(-11). Suppose -7*x - 5*f + 20 = -2*x, -18 = g*x - 3*f. Does 13 divide (-1)/(x*(-4)/(-132))?
False
Let v = -107 - -35. Let t = 40 + v. Is ((-3)/2)/(2/t) a multiple of 8?
True
Let x(u) = -9*u + 9. Let i be x(-6). Let r = 105 - i. Does 20 divide r?
False
Let d = -549 - -993. Does 12 divide d?
True
Let w(t) = -61*t**3 + t**2 + t. Let l be w(-1). Let j = l + 112. Is 35 a factor of j?
False
Suppose -3*m + 130 = -5*q, 51 + 27 = 2*m + q. Suppose -m = -4*j - 0*j. Is j a multiple of 3?
False
Let s = 31 + -34. Let b be (37 - 5)*s/(-4). Suppose -11*o = -13*o + b. Does 8 divide o?
False
Let i(l) = 24*l - 2. Let y be i(-3). Let d = y - -112. Let k = d + -25. Is k a multiple of 7?
False
Suppose 4*v = -195 - 905. Let z = -143 - v. Is z a multiple of 22?
True
Let b = -564 - -1250. Does 7 divide b?
True
Let c(a) = -20*a + 84. Is 16 a factor of c(-11)?
True
Suppose z - 3 = -3*a + 3*z, 4*z = 4*a. Let t = a + 0. Suppose t*g - j = 45, -2*j + j - 60 = -4*g. Is 15 a factor of g?
True
Suppose 11703 = 26*i - 17417. Is 4 a factor of i?
True
Let i(z) be the third derivative of 31*z**4/24 + z**3/3 + z**2. Let q be i(3). Let s = -65 + q. Is s a multiple of 15?
True
Suppose 62 = 4*w + 3*j, 2*w = -j - 14 + 44. Suppose 0 = 4*g + t - 28, 3*t = -2*g - t. Let y = w - g. Does 3 divide y?
True
Suppose 16 = v + 13. Suppose -l = h - 6*l - 214, -4*h + 948 = v*l. Is h a multiple of 55?
False
Suppose 