e u(t)?
False
Suppose 3*i - 180 = -2*i. Suppose 0 = -3*n + 50 - 26. Does 8 divide (23/(-2))/(i/n - 5)?
False
Let w = -6282 - -9577. Does 21 divide w?
False
Suppose 5*w = -3*z - 26 - 864, 5*z + 1492 = -4*w. Let g = z + 196. Let k = -62 - g. Does 7 divide k?
True
Let z be (1 + 10/(-4))/(180/(-13560)). Suppose 0 = 5*q - 5*v - 1735, 0 = 3*q - v - 1162 + z. Is 13 a factor of q?
True
Suppose 3*b = 15*b + 12. Suppose -n = 4*n + 50. Is 25 a factor of -3*(n/6)/(b/(-22))?
False
Let c(t) = 796*t + 33. Let v be c(3). Suppose -4*u = 717 - v. Does 45 divide u?
False
Is (-4)/(24/(-18))*(41069/21 - -1) a multiple of 20?
False
Suppose -5*k + 2*n - 10 = -21, -5*k - 4*n = -23. Suppose k*r = -10*r + 4420. Is r a multiple of 40?
False
Let p(d) = 16*d**2 - 10*d - 42. Is p(-4) a multiple of 2?
True
Let c(j) = j**3 + 6*j**2 - 11*j + 7. Let w be c(3). Let z = -47 + w. Suppose 0 = -z*u + 6*u - 10, 2*t = -3*u + 183. Does 11 divide t?
True
Suppose 6*i = 542 + 676. Let v = 107 + i. Suppose -8*x + v = 2*x. Does 6 divide x?
False
Let k = -57 - -65. Let b = 128 - k. Does 9 divide b?
False
Let z(a) be the first derivative of -a**3/3 - 4*a**2 - 10*a - 10. Let t be z(-4). Suppose t*x - 460 = x. Does 46 divide x?
True
Suppose -16*s - 1628325 = -91*s. Is s a multiple of 98?
False
Suppose -d = o - 420, -4*o + 821 = -5*d + 2885. Is 26 a factor of d?
True
Is 93 a factor of ((-5)/((-60)/(-186)))/((-4 + 3)/1074)?
True
Suppose 2*o + 24 = 5*n, -5 + 48 = -5*o + 4*n. Let r be (1*9)/(o/(-14)). Suppose -r = -6*m + 12. Is m a multiple of 3?
False
Let v be (-2)/7 + 316/28. Let r(b) = b**2 + 112*b - 582. Let j be r(5). Is 6 a factor of -2 + v*j + (21 - 17)?
False
Let q be (12*1/(-2))/(3/(-10)). Let n be 15/q + 778/8*1. Suppose 55 = 3*r - n. Does 5 divide r?
False
Suppose 0 = 16*m - 14*m - 4. Suppose -m*v + 287 = -163. Suppose -11*f = -14*f + v. Is 15 a factor of f?
True
Let t be (2 - 0) + (4 - 4). Suppose 0 = -5*v + d + 326, -v + 3*d + 62 = t*d. Let o = 39 + v. Is 6 a factor of o?
False
Let w(c) be the second derivative of 0 - 3*c + 17*c**2 - 1/6*c**3. Is 12 a factor of w(10)?
True
Let j = -94 - -162. Let c = j + -58. Is c*((-48)/(-15) - -2)*1 a multiple of 5?
False
Suppose 7*b = 5*b + 2. Let m be (350/8)/((2/8)/b). Suppose -m = 7*t - 525. Does 25 divide t?
True
Suppose 0 = 5*f - 30 - 0. Is 8 a factor of 95/f + 68/(-24) + 3?
True
Let o = 22486 + -9688. Is o a multiple of 27?
True
Suppose -30*x - 1316 + 4916 = 0. Suppose -x*h + 122*h - 1188 = 0. Is 54 a factor of h?
True
Suppose -116*g = -118*g. Suppose -8*q + 9*q - 90 = g. Is q a multiple of 12?
False
Let h(y) = 26*y**2 + 1396*y + 68. Does 30 divide h(-61)?
False
Let j be ((-87)/116)/(3/(-232)). Suppose 0 = 11*a + j - 3523. Is 5 a factor of a?
True
Suppose i + 4*b - 5789 = -857, i - 4935 = -3*b. Suppose 13*r = i + 4299. Is r a multiple of 34?
False
Suppose -52*g + 5*g + 41184 = g. Does 34 divide g?
False
Let v = -1945 - -2929. Suppose -3*b + n = -v, -3*n + 4*n = b - 326. Suppose 3*l = 4*c + 4 - b, 5*l = 25. Is 17 a factor of c?
True
Let j(b) = -1312*b + 11377. Is j(8) a multiple of 6?
False
Let l = -17 - -20. Let s be (-3)/4*-2*(l + 63). Let i = 242 - s. Does 17 divide i?
False
Suppose 0 = 6*k - 3*k. Suppose -41*s - 2118 = -58*s + 1690. Suppose 5*v - 2*d + 0*d = 267, k = -4*v - d + s. Does 6 divide v?
False
Suppose 11365426 = 208*x + 109*x + 4615228. Is x a multiple of 9?
True
Let x be -155*(2 + (-39)/15). Suppose 25*i + 1660 = 2*q + 22*i, -1660 = -2*q - 5*i. Suppose 0 = -11*k - x + q. Does 8 divide k?
False
Let x(r) = r**2 + 24*r + 46. Let z be x(-22). Is (1 + z)/((-8)/(-144)) a multiple of 6?
True
Let k = 386 + -666. Let o = 360 + k. Is o a multiple of 8?
True
Let y be (132/8)/(-3)*-6. Let d be ((-30)/8)/(y/(-88)). Does 37 divide d/(-55) - (-335)/11*7?
False
Suppose -2*q + 4*n + 49960 = -24500, 148905 = 4*q - 3*n. Suppose 34*g - q = -13*g. Is 12 a factor of g?
True
Suppose p - 80*k + 77*k = 2771, 0 = 3*p + 4*k - 8222. Is p a multiple of 13?
False
Let l = -147 + 170. Suppose 2*f - 2*x = 300, -4*x + l = -f + 173. Is 25 a factor of f?
True
Let m(z) = z**2 + 10*z + 4. Let w be m(-18). Let n = w - 59. Is n a multiple of 9?
False
Does 40 divide -3*(-53465)/51 - 9?
False
Let n = -73 - -78. Suppose -4*p = n*t - 2*p - 16, 0 = -3*p + 9. Suppose -i - t = 0, -5*m + 2*i + 982 = i. Does 35 divide m?
False
Let a = -685 + 7151. Does 122 divide a?
True
Suppose -2*i = 4*n + 4, 5*n - 2*i + 1 = -13. Let c(d) = -37*d**2 + 6*d - 18. Let m(s) = -53*s**2 + 9*s - 25. Let w(f) = 7*c(f) - 5*m(f). Does 11 divide w(n)?
False
Let l = -5874 - -5738. Suppose q - 3*q + 568 = 0. Let x = l + q. Is 12 a factor of x?
False
Let p = 160 + -158. Suppose 0 = -c + p*h + 2*h + 50, -2*c = 2*h - 100. Does 2 divide c?
True
Let k = 4 + -4. Suppose k = -4*z + 5*w + 3 + 9, 4*z + 2*w = 12. Suppose 0 = i + z*u - 40, -i + 4*u + 120 = i. Is 13 a factor of i?
True
Is 108 a factor of 8850 - (3/9)/(17/(-306))?
True
Suppose 5*u = 8797 - 2917. Suppose -u = 29*c - 36*c. Does 56 divide c?
True
Let q be 100/(-15) + (-4)/18*-3. Let r be (-1)/(1/(-1))*(10 + q). Suppose 0 = r*p - t - 148, 40 = p - t - 0*t. Is 12 a factor of p?
True
Let n = 802 + -437. Suppose 5*p = -3*m + n, m + 2*p - 54 = 69. Does 5 divide m?
True
Let g(t) = -17*t**3 - 9*t**2 + 9. Let z(f) = -6*f**3 - 3*f**2 + 3. Let d(a) = -4*g(a) + 11*z(a). Let s(j) = 9*j + 300. Let n be s(-33). Is d(n) a multiple of 7?
False
Let l = -1506 - -6727. Is l a multiple of 23?
True
Suppose -31 = 3*g - 10. Let q = g - -9. Suppose 0 = -3*w - 3*a + 162, q*w - a - 178 = -w. Is w a multiple of 14?
False
Let n(u) = -13*u - 46. Let b be n(18). Is 8 a factor of (5/(b/(-48)))/(2/266)?
False
Let u = 13 + -17. Let k be (-2425)/u + 27/36. Suppose 0*w = 2*w - 5*h - 271, -4*w + k = 3*h. Does 23 divide w?
False
Let s = -31 + 36. Suppose 0*j + 825 = 4*j + s*p, -j - 4*p + 198 = 0. Does 15 divide (5/2)/(15/j)?
False
Let j(g) = 2*g - 19. Let n be j(10). Is 19 a factor of (-6470)/(-20) + (1/(-2))/n?
True
Suppose -8*w = -6*w + 3*i - 5035, -w - i = -2520. Is w a multiple of 25?
True
Suppose -13 = -4*b - f, f = -3*b + 5*f - 14. Suppose o - 18 - b = 0. Does 21 divide (-4)/o - 1863/(-15)?
False
Suppose -5*a - 34116 = -2*j - 171308, 0 = a - 5*j - 27443. Does 17 divide a?
True
Suppose -4*k = 4*a - 9*k - 34, -36 = -5*a + 3*k. Suppose 5*m + 414 = a*m. Does 23 divide m?
True
Let d(i) = 42*i**2 + 2*i - 1. Let f be d(-1). Is (-2)/(-1)*10/12*f even?
False
Suppose -3*a - m + 5 = -3*m, -4*a + 4 = -4*m. Suppose 3*h + a*x = -x + 668, -x - 643 = -3*h. Is h a multiple of 18?
True
Let b = -1148 + 1722. Suppose -b + 134 = -4*i. Does 4 divide i?
False
Suppose -98*c + 100*c = 0. Suppose c = -43*a + 41*a + 464. Is 48 a factor of a?
False
Let l be (141 - 10) + -1*3. Suppose -o - 987 = -5*g, -3*o + 79 = g - l. Does 66 divide g?
True
Suppose 10*o + 16*o = 5*o + 25851. Is o a multiple of 18?
False
Let g(m) be the third derivative of 7*m**4/24 - 7*m**3 - 10*m**2. Let u be g(7). Suppose -708 = k - u*k. Is k a multiple of 17?
False
Is ((-16)/12)/(10/(-59610)) a multiple of 14?
False
Is 20 a factor of ((-228)/133*80)/((-1)/14)?
True
Suppose 9 - 93 = -7*v. Suppose 4*p - v - 3 = -h, -4*p = -2*h + 6. Let l = h - -1. Is l a multiple of 4?
True
Suppose -5*r - g + 4 + 4 = 0, 0 = -2*g - 4. Let y be -2 - (-14)/((-1)/(5/(-10))). Suppose r*h + h = -p + 21, -y*p + 4*h = -162. Does 3 divide p?
True
Suppose -16*a + 16380 = -2*a + 7*a. Does 60 divide a?
True
Suppose 23*r + 16204 + 1998 = 348551. Is 6 a factor of r?
False
Let n be (-17 + 2)*-1 - (-8)/(-2). Suppose n*d - 20*d + 252 = 0. Let y = d + 13. Is y a multiple of 8?
False
Suppose 3*g - 4*d = 5 + 95, -4*g + 136 = -4*d. Suppose 4*o - 1711 = -k - g, -1255 = -3*o - k. Is o a multiple of 15?
True
Let q be (2 + 1)*(-3 + 26/6). Suppose q*u - 97 = -109. Is 12 a factor of 0 - -145*(u - -4)?
False
Let z = -290 + 477. Suppose -11*l = -10*l - 5*p - z, 2*p = -5*l + 827. Does 10 divide l?
False
Let i(y) = y**2 - 12*y + 822. Does 7 divide i(-29)?
False
Suppose -3*g - x = -4695, -x = -3*g + 4925 - 224. Does 58 divide g?
True
Suppose -3*i = 4*f - 808, -2*i + 0*f = -2*f - 520. Suppose -3*s + i = 69. Is s a multiple of 7?
False
Let q = 76 - 74. Let s be (-2*1/q + 62)*6. Suppose -15*h = -17*h + s. Is h a multiple of 17?
False
Suppose -j + 5*c = 662, 2*j + 772 + 565 = -3*c. Let q =