r of o?
True
Suppose 0 = -128*y + 129*y - 2096. Is y a multiple of 34?
False
Let w = -103 - -108. Suppose 10*t - w*h - 650 = 5*t, -3*t + 5*h = -398. Does 14 divide t?
True
Let t = -2 - -5. Suppose -7*s + 40 - 12 = 0. Suppose d - t*i - 60 = 7, -4*i = -s. Is 21 a factor of d?
False
Let c(s) = s**2 + 6*s - 7. Suppose -1 = -3*y - 7. Let q be (4/(-2)*5)/y. Is 16 a factor of c(q)?
True
Let n(a) = 34*a**3 - a - 3. Let w be n(-2). Let g = w + 406. Is 21 a factor of g?
False
Let r(l) = -l**3 - 3*l**2 + 5*l + 5. Let p be r(-5). Let x = -13 + p. Does 2 divide x?
False
Suppose 0 = -2*a + 8, p + a - 2*a = 0. Suppose -p*o + 9 = x, -4*x = 5*o - 2*x - 12. Suppose -o*b = -7*b + 115. Is b a multiple of 23?
True
Let n(i) = 2*i**2 + 16*i + 10. Let m be n(-10). Suppose -4*o + m = -5*d - 510, 536 = 4*o + d. Let k = o + -85. Is k a multiple of 10?
True
Does 18 divide (1377/(-34))/(3/(-90))?
False
Suppose 5*z - 28 = -8. Suppose -3*y + 20 = 2*r, -z*y + 0*r = -3*r - 4. Is y even?
True
Let r be 2/(-20)*-2 + (-8)/40. Is 19 a factor of 330/12*(r + 2 + 4)?
False
Suppose -4 = 2*m - 4*o, -5*m + 4*o + 0 = -2. Let f(s) = -2*s - 21. Let b be f(-13). Suppose 0 = k + b*w - 3, 3*k - 4*w = -m + 87. Does 8 divide k?
False
Is 79 a factor of (-106656)/(-75) + 96/(-1200)?
True
Suppose -3*t = -o + 10, -2*o - t + 40 = -1. Let f = o - -7. Does 13 divide f?
True
Let w be (-74)/(-4) - (-14)/(-28). Suppose 16*u + 72 = w*u. Does 4 divide u?
True
Suppose 12*y - 8*y = 564. Let s = y - 87. Is s a multiple of 13?
False
Let h = 36 - 23. Suppose -h*q + 12*q = -75. Is q a multiple of 10?
False
Let j(b) = -b**2 - 5*b + 43. Let z(v) = -3*v + 21. Let d(p) = -3*j(p) + 5*z(p). Is 28 a factor of d(8)?
True
Let l(y) = -2*y**2 + 5*y + 21. Let i(s) = 2*s**2 - 5*s - 21. Let x(a) = -4*i(a) - 5*l(a). Is x(6) a multiple of 3?
True
Suppose 12 = 3*l, -u - 3*l + 322 = -8*l. Does 18 divide u?
True
Let v(d) be the first derivative of 3*d**2/2 + 29*d + 23. Is 5 a factor of v(7)?
True
Let b(m) = 8*m**2 - 5*m - 6. Suppose 3 = 3*d - 2*d. Suppose 5*p + 3*l + 27 = 0, -2*l - 5 = 3*p - d*l. Is b(p) a multiple of 30?
False
Let k be 26/(-39) - (-68)/(-6). Does 5 divide k/18*(-51)/2?
False
Suppose 0 = 3*z - 3*r - 1320, 2*r - 1700 = -3*z - 380. Is z a multiple of 8?
True
Suppose 8 = -5*o + 7*o. Suppose 0 = -5*k + 3*k - o*i - 68, 5*i = 2*k + 104. Let r = 64 + k. Is 11 a factor of r?
True
Is 27 a factor of (196/(-21) + 9)/((-4)/19116)?
True
Suppose 3*p - 8 - 7 = 0. Suppose p*q = 6 + 19. Suppose 2*v - q*n = 6*v - 195, -3*n = -4*v + 203. Does 25 divide v?
True
Suppose -3736 = -9*k - 415. Is k a multiple of 41?
True
Suppose x + 5*r = -0*x + 7, 0 = 3*x - 4*r - 78. Suppose x = 3*j - 3*w + 1, 0 = -4*w. Suppose h + j = v, -h = -2*v - 3*v + 23. Does 2 divide v?
True
Let k be -3 - 1/(2/(-54)). Let p be k/15*15/6. Suppose p*v = 7*v - 75. Is 5 a factor of v?
True
Suppose 3*t + 5*l + 380 = -2*t, 0 = -2*t + 2*l - 172. Suppose -5*n + 58 = 213. Let w = n - t. Does 15 divide w?
False
Suppose -7040 = -839*o + 834*o. Does 47 divide o?
False
Let x be 342/27 + (-1)/(-3). Let f = x + -10. Suppose -35 = -2*z - f*z. Is z a multiple of 7?
True
Let w(x) = x**3 + 14*x**2 - 20*x - 25. Does 18 divide w(-11)?
True
Let y = -4 - -6. Let c be 17 + -3 - (-4)/(-1). Suppose s = c + y. Is 6 a factor of s?
True
Let g(z) = z**3 + 3*z**2 + 22*z - 50. Is g(5) a multiple of 5?
True
Suppose -5*o + 102 = 2*v, -2*v - 3*o + 131 = 25. Suppose -3*s = -4*z - v, s - 3 - 3 = -5*z. Is s a multiple of 8?
True
Suppose 0 = -5*s + 2*b - 1 + 21, -3*s + 11 = -b. Suppose -4*n + 3*k + 77 = 0, -6 - 31 = -s*n + k. Is n a multiple of 2?
False
Suppose -3*z = -2*u - 126, -u = 5*z - 3*z - 77. Is 8 a factor of z?
True
Suppose j + 6 = 3*h, h - 2 = 1. Let a be j - 4 - -1*8. Suppose -3*c - 32 = -a*c. Is c a multiple of 8?
True
Let t(o) = 7*o**3 - 16*o**2 + 2*o + 3. Let g(v) = 4*v**3 - 9*v**2 + v + 1. Let j(u) = -5*g(u) + 3*t(u). Suppose 6*y = y + 20. Does 6 divide j(y)?
True
Does 21 divide 8/(160/1428) - 4/10?
False
Let c(v) = 2*v**3 + 15*v**2 - 8*v - 46. Is 43 a factor of c(7)?
False
Let z = 295 + 225. Is 30 a factor of z?
False
Let g(u) be the third derivative of u**5/60 - 5*u**4/12 + u**3/6 - 18*u**2. Is g(-5) a multiple of 29?
False
Let w(r) = r + 3. Let k(h) = -3*h - 5. Let g(o) = 2*k(o) + 5*w(o). Let v be g(7). Is 14*(-1)/v + 0 even?
False
Suppose -202 = 4*h + 70. Let w = 204 + h. Is w a multiple of 23?
False
Suppose -9*k = -7*k + 80. Is 9 a factor of 2*(-1 + 2) - (k - -15)?
True
Let a(s) = -2*s + 100. Does 2 divide a(24)?
True
Suppose -2*p + 1077 + 2115 = -2*o, -6396 = -4*p + o. Is 80 a factor of p?
True
Suppose 0 = 85*h - 12*h - 162571. Is 17 a factor of h?
True
Let o(v) be the first derivative of v**4/4 + 2*v**3 + 2*v**2 - v + 3. Let t be o(-5). Suppose 0 = -t*f + 85 + 119. Is 11 a factor of f?
False
Suppose -3*x = -8 - 4. Suppose 7*q - 414 = x*q. Is q a multiple of 15?
False
Let y = -159 + 259. Let o be (-17)/(51/90) + 0. Does 15 divide (0 + -18)/(o/y)?
True
Let v = -21 - -6. Let u be 10/v*18/(-4). Suppose 5*n + u*b - 39 = 0, n = 3*n - 5*b + 3. Is 6 a factor of n?
True
Let z(y) = -51*y - 203. Does 10 divide z(-13)?
True
Suppose -2*b + 1 + 1 = 0. Let z be (b - -2)*-1 - -2. Is 30 a factor of (z + -1)/((-6)/162)?
False
Suppose 4*m + 48 - 8 = 0. Let b = m - -55. Is b a multiple of 14?
False
Let b(a) = -a**2 - 5*a - 9. Let t be b(-9). Does 6 divide (54/t)/(162/(-80) + 2)?
True
Suppose -2*r - g + 2 = -0*r, -14 = -2*r + 2*g. Suppose 0 = 3*p - 8 - 7. Suppose r*i - 13 - p = 0. Is i a multiple of 2?
True
Suppose -p - 7 = 2. Is 4 a factor of 18/(4*p/(-48))?
True
Suppose 15*j + 11 = 71. Let s = 8 + -6. Suppose 0 = -s*h - h + j*v + 78, -h + v + 26 = 0. Does 26 divide h?
True
Suppose -b + f + 52 = 2*b, -b + 4*f = -32. Let q = 133 - b. Does 9 divide q?
True
Suppose 0 = q - 5*q + 4928. Is q a multiple of 44?
True
Let g = 1237 - 709. Is g a multiple of 8?
True
Suppose -17*v + 2527 = -10*v. Is 7 a factor of v?
False
Let v(a) = 10*a**2 + 2*a - 3. Suppose 5*j + 0 = -15. Is v(j) a multiple of 18?
False
Suppose 6*l = 1402 + 1376. Is 8 a factor of l?
False
Let f(k) = -162*k**3 - 2*k**2 - 6*k - 3. Is f(-1) a multiple of 2?
False
Suppose 7*d - 6 = 9*d. Let y(x) = -2*x**3 + 2*x**2 - 5*x - 3. Is 12 a factor of y(d)?
True
Let k = -45 + 45. Let x(v) = v**2 + v + 97. Is 7 a factor of x(k)?
False
Let v = -15 - -19. Let n be (3*2)/((-3)/(-8)). Suppose u - n = -u + 2*b, 3*b = -v*u + 46. Does 5 divide u?
True
Let j = -183 - -295. Let n = j + -74. Is 10 a factor of n?
False
Let p = 145 - 65. Suppose p = -7*m + 12*m. Is m/(-5)*(-60)/24 a multiple of 8?
True
Suppose -3*n - 2*n = -10. Suppose 0 = 2*a - 5*h - 50, 0*h = -a + n*h + 25. Let d = -1 + a. Is 10 a factor of d?
False
Let j be ((-15)/(-5))/((-9)/6). Does 33 divide j/11 - 728/(-11)?
True
Is ((-672)/18)/(-14)*294 a multiple of 16?
True
Let y = -164 + 956. Is 44 a factor of y?
True
Suppose -3 - 1 = -j. Suppose l = j - 2. Suppose -229 = -3*n - n - 3*i, -3*n + 176 = -l*i. Is n a multiple of 12?
False
Let z = 682 - 178. Is z a multiple of 3?
True
Suppose -b - 2*b + 22 = -4*r, -3*b - 3*r + 15 = 0. Suppose b = 2*k - 46. Suppose 2*x + 74 + k = 2*d, 0 = 4*d + x - 190. Is d a multiple of 24?
True
Let t = 73 + -68. Let b(c) = 9*c - 10. Is b(t) a multiple of 5?
True
Let p be (-428)/20 - (-4)/10. Let i be (-28)/p*3/2. Suppose 0 = -v - i*v + 69. Is v a multiple of 6?
False
Let y = 152 - 167. Does 21 divide 230/y*21/(-2)?
False
Suppose -16*n + 1269 = -13*n. Suppose -5*p = -n - 1092. Is p a multiple of 46?
False
Let w(r) = -r**3 - r**2 - 2*r + 11. Let x(k) = k**2 - 22*k - 23. Let z be x(23). Is w(z) a multiple of 11?
True
Let v(o) = -o + 84. Is v(-16) a multiple of 25?
True
Let j be (192/120)/((-4)/(-10)). Suppose 85 = -j*l - l. Let k = 8 - l. Does 6 divide k?
False
Suppose 5*l + 3*b - 20 = 0, 5*b = -2*l - l + 12. Suppose o = l*o + 3*x - 45, -2*o + 2*x = -10. Suppose p = -2*m + o + 17, -4*m + 63 = 5*p. Is 4 a factor of m?
True
Let y = 11 - 6. Suppose 4*m - 182 = -q, -11 = -4*m + q + 167. Suppose -30 = -w - j + m, -5*j - 375 = -y*w. Does 12 divide w?
False
Let s be ((18/(-4))/3)/(24/(-592)). Let l = 51 + s. Is l a multiple of 13?
False
Let s = -24 - -24. Let y be 2/(-2)*s/(-4). Suppose 5*b - 175 = -y*f - 5*f, -115 = -3*b - f. Is b a multiple of 19?
False
Let l(h) = h**3 + 8*h**2 + 