*t - 13 = -5*m. Let d be c(t). Suppose 5*o = d + 114. Is o a multiple of 22?
True
Suppose 1 = 2*k - 17. Let n(p) = -16*p - 15*p + k + 30*p + p**2. Is n(-5) a multiple of 13?
True
Let d be 2/(6/(-1) - -5). Is 5 a factor of (-10)/3*(-53 - d)?
True
Suppose 4*b + g - 6 = 12, 0 = b - 2*g. Suppose -18*q = b*q - 4048. Is 2 a factor of q?
True
Let j = 8687 - 4643. Does 4 divide j?
True
Suppose 2*o - 5*z - 821 = 134, 3*o - 1436 = 4*z. Does 40 divide o?
True
Let g be ((-7)/(-35) + (-18)/(-10))*3. Does 4 divide (-4 - 427/(-14))/(1/g)?
False
Suppose 16*r - 47*r - 10447 = 0. Let p = r + 386. Does 14 divide p?
False
Suppose -19762 = -30*w + 5588. Is 5 a factor of w?
True
Suppose -5*p - 25*u + 29*u + 8045 = 0, 0 = -p - 2*u + 1609. Let s = p - 957. Is 16 a factor of s?
False
Let w(g) = g**2 + 24*g - 20. Let k(r) = r**2 + 25*r - 21. Let p(x) = 4*k(x) - 3*w(x). Let s be p(-10). Is 8 a factor of (-1 + 2)/((-3)/s)?
False
Suppose 392*y = 386*y + 3456. Suppose -p = -3*g + 1535, -2*g + 5*p + y = -469. Does 30 divide g?
True
Let w(s) = -6*s + 14. Let u be w(4). Let p(t) = -t**3 - 8*t**2 + 21*t + 8. Let z be p(u). Is z - (-85)/15 - 1/(-3) a multiple of 4?
True
Let h = 4188 + 747. Does 21 divide h?
True
Let p(b) = 114*b**2 - 26*b + 100. Does 14 divide p(4)?
True
Let u(b) = -1099*b - 1048. Is u(-13) a multiple of 83?
False
Suppose -2*k = 3*g - 20, 4*k = 3*g + g. Suppose -5*h - 5*r = 25, -3 - 1 = -4*h + k*r. Let c(l) = -7*l**3 + 6*l**2 + 9*l + 4. Is 29 a factor of c(h)?
False
Suppose 0 = -6*r + 3534 + 654. Suppose -4*t = -3*t - i - r, 4*t - 2792 = -i. Is t a multiple of 66?
False
Let k = 94 - 70. Suppose -86 = 23*d - k*d. Is d a multiple of 43?
True
Let f = -2374 + 7238. Is f a multiple of 152?
True
Suppose -4*t + 28 = -0*l + 2*l, -2*l + 5*t = 17. Suppose -5*i + 1977 = -3*f, -l*f + 1588 = 11*i - 7*i. Does 36 divide i?
True
Suppose 0 = -9*f + 4*f - 170. Let m = f + 50. Let b = 37 - m. Is b a multiple of 15?
False
Let n(q) = 23*q + 0*q + 22 + 8*q**2 - 5*q**2. Does 2 divide n(-7)?
True
Let m = -190 + 190. Suppose m = 24*c - 1205 + 125. Is 9 a factor of c?
True
Suppose -4*l + 2 = i, 0 = i - 4*i - 5*l + 6. Suppose -i*w - 14 = 4*v, 2*v = 3*w - 9 - 10. Let u(y) = -y**3 - 2*y**2 + 8*y + 6. Is u(v) a multiple of 8?
False
Let l = -1523 - -1835. Is l a multiple of 8?
True
Suppose -4*l - 100 = -2*v, -5*v + l = -7*v + 75. Suppose -3*r + 529 = 4*u + v, -2*u + 4*r = -228. Is u a multiple of 12?
True
Suppose 2*d + 3*k = 13563, 3*k = -d + 2*k + 6779. Is 109 a factor of d?
False
Suppose -5702 - 5518 = -15*r. Is r a multiple of 17?
True
Does 71 divide (3/(9/47357))/((-1755)/(-5265))?
True
Let x be 686/(-56) + 2/8. Let r be 9076/14 + x/42. Suppose 5*k - 266 = -2*o, 0*o - 4*k = 5*o - r. Is 16 a factor of o?
True
Let x(i) = -1531*i - 373. Is 71 a factor of x(-4)?
True
Does 68 divide ((-20)/(-35))/(-2) + 204/28 - -2441?
True
Let s = 20632 - 16240. Is 72 a factor of s?
True
Suppose 559*d = 555*d + 8. Is 3 a factor of 8 + d + 4 - 0?
False
Let f(t) = -9*t - 106. Suppose -14*v + 13 = 265. Is f(v) a multiple of 6?
False
Let w = -3911 - -6938. Is 83 a factor of w?
False
Let a = -2213 + 2409. Is 49 a factor of a?
True
Let l(i) = 31*i + 6. Let a(j) = -2*j**2 + 3. Let k be a(0). Let h be l(k). Let m = h + -61. Is m a multiple of 4?
False
Let n = 593 + -592. Is 3 a factor of 325/4 - n/4?
True
Suppose -q + 1 + 6 = 0. Let h be -1*(-4)/((-4)/q). Let x = h + 36. Does 29 divide x?
True
Let a(j) = -3*j**2 + 11*j - 39. Let q(u) = u**2 - 6*u + 19. Let b(s) = 2*a(s) + 5*q(s). Let n be b(-8). Suppose -f + 165 + n = 0. Is 33 a factor of f?
False
Suppose -2*a + 1950 = 2*o, -33*o = 4*a - 28*o - 3896. Suppose -4*v + 3023 = a. Is 14 a factor of v?
False
Suppose -2*c = 156*t - 158*t + 60762, -6 = -3*c. Is t a multiple of 83?
False
Suppose 78 = 37*x + 4. Suppose 908 = 5*s - 4*c, -x*s + 543 = -3*c + 177. Is s a multiple of 45?
True
Let y = -4898 - -11475. Is 74 a factor of y?
False
Suppose 32*o + 9*o = -19*o + 541080. Is o a multiple of 9?
True
Let x(u) = 72 - 25 - 26*u - 21. Is 7 a factor of x(-12)?
False
Let j(p) = 496*p**2 + 52*p + 156. Is j(-3) a multiple of 12?
True
Let c(x) = 24*x. Let f be c(2). Suppose 2*n - 3*a + 1 = 40, 3*n - 30 = -5*a. Suppose -f - n = -3*m. Is 10 a factor of m?
False
Suppose 4*w - 3*c - 26229 = -3210, -5*w = 3*c - 28821. Is 72 a factor of w?
True
Suppose 14*f = -5*q - 8*f + 70512, -4*f - 56496 = -4*q. Is 8 a factor of q?
True
Let n = 147 - 147. Suppose -5*m + 21*m - 1552 = n. Is 14 a factor of m?
False
Let h(a) = -10*a + 407. Does 2 divide h(20)?
False
Let d = -213 + 213. Suppose d*q - 8*q = -3040. Is q a multiple of 41?
False
Does 58 divide (493 - 19)*((-119)/(-21) + 4)?
True
Let d(f) = f**2 - f + 7 + 9*f + 12 - 1. Let y be d(-5). Suppose 5*a = -0*a + y*h + 73, -4*h = 3*a - 67. Is 5 a factor of a?
False
Let f(z) = 5 - 46 + 2*z - 3 + 9 + 13*z. Is f(53) a multiple of 40?
True
Let o(m) = m**2 - 7*m - 6. Let g(c) = c**2 + 11*c + 14. Let t be g(-10). Suppose -f - t = 3. Is 23 a factor of o(f)?
True
Suppose -1600 = -2*v + 17*k - 19*k, 4*v = 2*k + 3200. Let p = v - 424. Is 47 a factor of p?
True
Suppose 88*x - 19655 = -3815. Is 3 a factor of x?
True
Suppose 5554*p - 5539*p = 66780. Is p a multiple of 28?
True
Let d(f) = -311*f**3 - 2*f**2 + 1. Let t(p) = 3*p - 4. Let l be t(1). Let a be d(l). Suppose -7*s = -355 - a. Does 13 divide s?
False
Let o = -196 + 194. Is 19 a factor of 416/11 - o/11?
True
Let r = -19 + 34. Suppose -21*b + 36*b = 3960. Suppose -b = r*o - 19*o. Does 11 divide o?
True
Let a(f) = -248*f**3 - 9*f**2 - 32*f + 9. Is a(-3) a multiple of 45?
False
Suppose 3*j - n = 45009, 679*n = 680*n - 6. Does 168 divide j?
False
Let c(f) = 2*f**2 - 61*f - 66. Let m = 392 - 356. Is c(m) a multiple of 6?
True
Let o = 75 - 54. Suppose -3*c + 22 = -f + 6*f, o = -c + 4*f. Does 17 divide (10/(-30))/(c/54)?
False
Suppose 6 = g + 5, 5*g + 1 = -2*i. Does 22 divide ((i/(-9))/(-1))/((-2)/2646)?
False
Suppose -45*i = -47*i - h + 44, -2*i + 44 = -5*h. Let a(m) = 12*m - 67. Is a(i) a multiple of 27?
False
Let o(i) = 13*i - 101. Suppose 7*u = 6*u + 13. Is o(u) a multiple of 17?
True
Is 2664/(-10)*250/(-30) a multiple of 10?
True
Let o be (-3 + -8)/(2/8*-4). Suppose -4*p = -h - 5343, -4*p - o*h + 5358 = -9*h. Does 33 divide p?
False
Let f = 7474 + -6214. Is 126 a factor of f?
True
Let l(v) = 62*v**2 - 130*v + 310. Does 39 divide l(20)?
False
Suppose 21*k - 16*k = -2*y + 169214, y - 101528 = -3*k. Is 45 a factor of k?
False
Let f(i) be the first derivative of 2*i**3/3 - 7*i**2/2 + 23*i + 19. Let l(u) = u**2 - 4*u + 12. Let a(z) = 3*f(z) - 5*l(z). Does 3 divide a(5)?
False
Let x(t) = -t**3 - 22*t**2 - 11*t - 48. Let d = 30 - 25. Suppose d*s - 34 = -144. Is 24 a factor of x(s)?
False
Suppose 455*g - 444*g = 61721. Does 11 divide g?
False
Let x be (8/6 + -2)*-6 + -2. Is 567 - (x + -1 - 7) a multiple of 9?
False
Is 7 a factor of (99/9 + 2)*(-2 + 159)?
False
Let k(f) = 16*f**3 - f**2 + f + 1. Let y be k(2). Suppose -2*m = 3*n + y, 8 + 122 = -2*m - 2*n. Let l = m - -204. Is l a multiple of 20?
False
Let j be 5*(2 + (-1 - (-24)/20)). Suppose 4*i - 3*b = j, -i - 2*b + 2 = i. Suppose -4*l = i*x - 30, l = 3*x + 7 + 4. Does 6 divide l?
False
Suppose -8 + 4 = -m. Suppose -2*n = 8 - m. Let l(s) = 9*s**2 - 4. Is l(n) a multiple of 8?
True
Let q be (27/5)/((-5)/(-50)*2). Let x = 234 - q. Is x a multiple of 23?
True
Let q be ((717/4)/3)/((-37)/(-296)). Let x = 1472 - q. Is 71 a factor of x?
True
Suppose 2*w - 2*x + 6*x = -24, 5*x = -3*w - 32. Does 16 divide (-1428)/(-10) - (w - 133/(-35))?
False
Let k = -26 - -32. Suppose 684 = k*u - 3*u. Is u a multiple of 23?
False
Let h = 45 - 36. Suppose -4*p + 8*c = 3*c + 259, 3*c - h = 0. Let z = p + 102. Does 13 divide z?
False
Let t(f) = 2*f**2 + 7*f + 5. Let d(k) be the third derivative of k**5/60 + k**4/6 + k**3/3 + 14*k**2. Let q(w) = -7*d(w) + 3*t(w). Is 3 a factor of q(-5)?
False
Let d(b) = -3*b + 96. Let y be d(32). Suppose q - 454 - 1 = y. Is 13 a factor of q?
True
Is 4 + 69/(-15) - 80/(-50) - -4934 a multiple of 44?
False
Let k(y) = 3*y + 5*y - 5*y - 14*y + 21. Does 10 divide k(-4)?
False
Let d = 12227 - 249. Is 113 a factor of d?
True
Let z = -47 - -64. Is 22 a factor of ((-26)/5)/(z/(-935))?
True
Let t(s) = 5*s + 23. Let b(m) = m + 1. Let z(o) = 6*b(o) - t(o). Let c be z(