se -5*t - 31980 = 5*c - 105445, 5*t - 14677 = -c. Is c a multiple of 69?
True
Suppose 0 = -4*i + 63*k - 65*k + 38668, 0 = -i - 5*k + 9658. Is 21 a factor of i?
False
Let n(q) = 113*q**2 + 2*q - 3*q - 109*q**2 - 40. Does 5 divide n(-5)?
True
Suppose -2*d + 51 = -5*j + 2*d, 2*d = 4*j + 36. Let z be (2/(4/(-338)))/(j + 6). Suppose -7*x + 286 = -z. Is 8 a factor of x?
False
Suppose -v + 2*s = -0*v - 498, 4*s + 498 = v. Let y = -430 + v. Does 4 divide y?
True
Let r(t) = -1 + 3*t + 1284*t**3 - 4*t + 7*t**2 - 1282*t**3. Is 3 a factor of r(-3)?
False
Let n(j) = 2453*j**2 + 4*j + 15. Is 160 a factor of n(-3)?
True
Suppose -32*b = -55*b + 33925. Suppose 46*j - b = 21*j. Is j even?
False
Let b(t) = -5 + 29*t + t**3 - 2*t**3 - 17*t + 10*t**2. Let r be b(11). Is 4 a factor of (-92)/36*-3 + 2/r?
True
Let c(o) = o + 12. Let t be c(-7). Let s = t - 3. Suppose -3*l - 2*l + 2*n + 404 = 0, s*l - 4*n = 168. Does 16 divide l?
True
Suppose -3*x - 1225 + 6826 = i, 3*x = -5*i + 27969. Does 8 divide i?
True
Let v = -1 - 56. Let i = v - -26. Let h = 37 - i. Is 34 a factor of h?
True
Suppose 16 = -0*n + 4*n. Suppose n*w - 10*w = -12. Suppose 42 = b + w. Is 11 a factor of b?
False
Does 31 divide 11364/(-36)*-21 + (-1 - -6)?
True
Let x(b) = b**2 - b - 1. Let v(p) = -2*p**3 + 14*p**2 + 13*p - 6. Let r(w) = -v(w) + 2*x(w). Let z be r(7). Is 13 a factor of 1/((-755)/(-250) + z)?
False
Let y(m) = -m**2 + 4*m - 3. Let w be y(3). Suppose w*c + 2*c - 150 = 0. Suppose 3*v + 5*d = -2*v + 90, -5*v + c = 2*d. Is v a multiple of 5?
False
Suppose 2*c = 2*w - 30814, 0 = w + c - 8329 - 7070. Is w a multiple of 211?
True
Suppose -372 + 357 = 3*t, 0 = -4*l - 3*t + 17585. Is l a multiple of 22?
True
Let l = -256 + 19673. Does 5 divide l?
False
Suppose p - 66 = -18. Suppose 4*b - p - 66 = -3*a, 3*a = -b + 105. Suppose a = 2*s - 8. Is 7 a factor of s?
True
Suppose -6*y + 180 = -15*y. Let r(w) = -11*w - 183. Is r(y) a multiple of 2?
False
Let s(c) = 7*c - 146*c**2 - 147*c**2 + 581*c**2 - 141*c**2 - 146*c**2 - 12. Let a(r) = -r**3 - 4*r**2 + 2*r + 4. Let l be a(-3). Is 8 a factor of s(l)?
True
Let o(k) = -3*k**3 + 94*k**2 - 9*k + 264. Is o(22) a multiple of 22?
True
Suppose 0 = -2*j + 7 + 9. Let d be -12*(-2 + 28/j - 1). Is 9 a factor of 2 + -1 + (29 - d)?
True
Let h(u) = 2*u**2 + u - 10. Let r be h(-3). Suppose r*t = 2*d + 10, 9*t + 2*d = 4*t - 10. Suppose t = -5*l + 6*l + 5, -4*w + 3*l + 79 = 0. Is 8 a factor of w?
True
Suppose 64 = 2*y - 2*s, 0 = 4*y - 2*y + 4*s - 52. Let l = y + -28. Is 2 a factor of ((-27)/(-6) - 4)*l*19?
False
Let d be ((-148)/6)/((-36)/54). Let g = 36 - d. Let l(s) = -46*s**3 + s**2 + s. Does 13 divide l(g)?
False
Is 8 a factor of (160/15)/16 + 52/18*1977?
True
Let q(k) be the second derivative of k**4/6 + 11*k**3/6 - 3*k**2 - 7*k. Let b be 1*-1 - (-36)/(-4). Does 12 divide q(b)?
True
Suppose a + 3*o + 163 - 331 = 0, 4*a = -o + 628. Is 6 a factor of a?
True
Let p be (1/1)/2 + (-15)/(-6). Suppose -x - 2351 = -p*o, 4*x - 3140 = 59*o - 63*o. Is 14 a factor of o?
True
Let j(q) = 4*q**3 - 3*q**2 + 5*q. Let b = 46 - 43. Let p be j(b). Let l = 250 - p. Is 14 a factor of l?
True
Let r = -129 + 201. Suppose l - r = -34. Let t = -15 + l. Is 5 a factor of t?
False
Is 11 a factor of (-306)/3*(-1309)/34?
True
Suppose -2061 = 3*a - 10662. Is 117 a factor of a?
False
Let g be 2 - (4 - 0) - -2. Let s be g + (-2564)/(-32) - 2/16. Let l = s + 2. Is l a multiple of 28?
False
Let w(a) = -292 + 11*a + 137 - a**3 + 143 + 8*a**2. Let y be w(9). Suppose y*t - 71 = 43. Does 6 divide t?
False
Does 6 divide (742 - 722)*(-2 - (-3427)/2)?
True
Let h(a) be the first derivative of -a**4/4 + 16*a**3/3 - 5*a**2 + 9*a - 129. Is h(6) a multiple of 50?
False
Let i = 2751 + -1423. Does 4 divide i?
True
Let x(p) = -p**3 + 4*p**2. Suppose -2*f + 5 = -3*f, 5*v + 3*f = 5. Let y be x(v). Suppose -2*r + y*r + j = -496, r = 3*j + 248. Is 22 a factor of r?
False
Let h = 237 - 200. Let o = 90 - h. Is 4 a factor of o?
False
Let g be 1*(7 + -6 - (650 + -2)). Let m = g + 1127. Does 24 divide m?
True
Let o = 5532 + 2185. Does 31 divide o?
False
Suppose -16*j - 80 = -24*j. Let d(s) = 46*s - 9. Does 11 divide d(j)?
True
Suppose 0 = -p + 32*m - 34*m + 39, 4*p - 2*m - 176 = 0. Suppose -f + t + p - 23 = 0, 3*f = -5*t + 44. Does 18 divide f?
True
Let u(z) = z**2 - 14*z + 43. Let t = -332 - -322. Is 11 a factor of u(t)?
False
Is (18 - 44)*4917/(-6) a multiple of 247?
False
Let b(m) = -m**3 - 3*m**2 - 11*m + 5. Let w be b(-8). Suppose -12*i - w = 487. Let u = i - -171. Does 8 divide u?
True
Suppose 2*h + p = -51, 2*h + 3*p + 27 = -30. Let o be (19/(-2))/(3*(-4)/h). Let c = o + 66. Is 8 a factor of c?
False
Let w = 41 + -41. Suppose w = 6*y + 2*y + 208. Is (y/4)/((-4)/8) a multiple of 3?
False
Suppose 3*s + 25 = -4*r, 15 = -3*r - s - 2*s. Is 0 - (208/r + (-11)/55) a multiple of 4?
False
Let v(h) = 221*h - 2236. Is v(14) a multiple of 13?
True
Suppose 41*u - 350 = 6*u. Let h(v) = -2*v**2 + 19*v + 43. Is h(u) a multiple of 11?
True
Let h(a) = 486*a - 11. Let y be h(9). Suppose y - 604 = 3*q. Suppose -k = 6*k - q. Is 33 a factor of k?
False
Suppose 25*o = -0*o + 5425. Suppose 0 = -2*s - 2*d + 286, -2*d + o - 651 = -3*s. Does 18 divide s?
True
Does 3 divide 1926 - (1 + -2)/(-8 - -9)*4?
False
Suppose -27440 = -1076*f + 1060*f. Does 108 divide f?
False
Let x = -1 + 15. Suppose 12*f = -r + 8*f - 92, 4*r - 4*f = -268. Is r/x*140/(-16)*2 a multiple of 30?
True
Let p(o) = 429*o**2 - 448*o - 1353. Does 6 divide p(-3)?
True
Let m = 757 - 757. Is 563 + 6/(-1) - m a multiple of 84?
False
Suppose -35*f + 15 = -30*f. Suppose 2*y = -2*y - x + 848, -y + f*x + 212 = 0. Does 16 divide y?
False
Suppose -4*v + 236 = -4*t, -5*t + 3*v + 127 = 432. Let f = 2055 + -1981. Let n = f + t. Is n a multiple of 10?
True
Let u(r) = -853*r**3 - 5*r**2 + 3*r + 3. Let i(t) = 427*t**3 + 2*t**2 - t - 1. Let h(m) = -5*i(m) - 2*u(m). Is 55 a factor of h(-1)?
False
Let w(a) = 2*a**2 - 43*a + 65. Let m be w(20). Suppose 20 = m*z, -3*z = -9*b + 13*b - 1712. Is b a multiple of 85?
True
Suppose 3*l + 5*q = 2*l - 114, -4*l - 471 = 5*q. Let r = l - -233. Is r a multiple of 17?
False
Suppose -2*d - 3*d = -3*j + 32, 5*j + 4*d = 78. Is 28 a factor of ((-7)/j*692)/(1 + -2)?
False
Suppose 0 = 5*w + 3*t - 172056, 3*w + 2*t - 137644 = -w. Does 10 divide w?
True
Suppose 63 - 413 = -5*l. Suppose 20*h = -6644 + 8844. Let c = h - l. Is 10 a factor of c?
True
Let a be ((-4)/(-6))/(23/(-138)) + 141. Let x = a + -99. Is 2 a factor of x?
True
Suppose -12 - 6 = -9*w. Suppose -4*q + 0*q = -20, w*u - 234 = -2*q. Is u a multiple of 16?
True
Let c = 50 + -2. Let j = -44 + c. Does 2 divide j?
True
Let q(j) = 9*j**2 - 3*j - 6. Let o be q(3). Let r = o + -56. Does 13 divide 12132/45 + 4/r?
False
Let y = -16170 + 17026. Is y a multiple of 5?
False
Let n = 16 - 531. Let v be (-774 - 1)*(2 + -2 - -1). Let o = n - v. Does 40 divide o?
False
Does 24 divide ((-7)/3)/(29721033/(-2476737) - -12)?
False
Let j = 13 - 13. Suppose j = -3*m + 31 + 59. Suppose -5*c - 2*q = -2*c - m, 2*c = -5*q + 31. Is 4 a factor of c?
True
Suppose 15*a - 29160 = 3*a. Suppose 22*b - 25*b = -a. Suppose 0 = 5*k - 2*y - y - b, 145 = k - 4*y. Does 12 divide k?
False
Let y = 41038 + -27938. Is y a multiple of 262?
True
Let c(j) = -130*j - 11. Let o(p) = -65*p - 6. Let r(u) = 3*c(u) - 7*o(u). Let s be r(13). Suppose -2*d = -7*d + 10, -2*d = 5*z - s. Is 22 a factor of z?
False
Let w = 2979 - 2622. Is w a multiple of 11?
False
Suppose 41*v - 34163 - 193592 = 0. Is v a multiple of 4?
False
Does 3 divide -362*((-5)/2 - 6)?
False
Let w(f) = 56*f + 30. Let p(v) = -v**3 + 2*v**2 + 5*v - 7. Let y be p(2). Is 11 a factor of w(y)?
True
Let s = -24303 + 64151. Is s a multiple of 34?
True
Let r be (5/20)/(2/16). Suppose 4*u - 2*p + 6*p - 360 = 0, -3*u + 270 = -r*p. Is u a multiple of 3?
True
Let m(q) = 0 - 5 + 3 - 26*q. Let y(a) = a + 1. Let u(v) = m(v) + 4*y(v). Is u(-4) a multiple of 15?
True
Is 6186/(-10)*(-39)/((-1755)/(-150)) a multiple of 7?
False
Does 9 divide 15/(-10)*(-10040 + 2) + (-46 - -48)?
False
Suppose 17*n - 4 = 15*n. Suppose n*d + 4*f - 291 - 1453 = 0, 3*d + 3*f - 2628 = 0. Is d a multiple of 80?
True
Let o = -6194 + 12149. Does 74 divide o?
False
Let t(a) = 168*a**2 + 73*a - 966. Is t(16) a multiple of 298?
True
Let w = -4