e
Suppose -66 = -39*a + 17*a. Suppose 0 = a*f - 6*f + 45. Is f a multiple of 5?
True
Suppose -4*s - 3*u - 2833 = 0, 0 = -7*s + 2*s + 3*u - 3548. Let p = 1371 + s. Does 61 divide p?
False
Let q = 2875 + -1001. Is q a multiple of 32?
False
Let j(m) = 65*m + 857. Is 7 a factor of j(-9)?
False
Let k(l) = -l**2 - 5*l + 54. Let m be k(-10). Suppose 4*b - 302 = 4*g + 70, -m*g + 68 = b. Is 22 a factor of b?
True
Let b(r) = 3*r - 8. Let i be b(-4). Let l = i + 50. Is -1 + -1 + (-7)/((-14)/l) a multiple of 13?
True
Suppose 4*p + y = -3*y + 24, 0 = 3*p - 4*y + 3. Suppose 16 = 17*j - 35. Suppose j*d = m - 5, p*m = -2*m - 4*d + 63. Is 11 a factor of m?
True
Suppose -3*h - 3*t + 7*t = -8929, 0 = 4*t + 4. Is 40 a factor of h?
False
Let x(y) = -23*y + 2461. Is x(-68) a multiple of 161?
True
Suppose -50*v + 757103 = -95247. Is v a multiple of 14?
False
Let y be 986/2 + (1 - -2). Suppose 615 = 3*m + 2*c, 2*m + 3*c - y = -81. Is 45 a factor of (-6)/(-7)*(7 + m)?
True
Suppose 2*m - 6 = -3*h, -h - 8 = 6*m - 2*m. Suppose -336 - 720 = -h*d. Does 51 divide d?
False
Suppose h = -c + 15299, -4359 = -c - 5*h + 10936. Is 87 a factor of c?
False
Suppose -3*f = -3*t + 22782, -2*t + 12*t - 75996 = 3*f. Does 4 divide t?
False
Let s(a) = a**3 - 5*a**2 + 2*a - 10. Let h be s(5). Let m(o) = 3*o - 5*o + 8 + h*o + o. Does 17 divide m(-9)?
True
Suppose 3*a - 792 = -4*b + 776, -4*b + 1560 = 5*a. Is 2 a factor of b?
False
Suppose -16*x + 18701 = 3*c - 11*x, -2*c - 3*x = -12470. Is 19 a factor of c?
False
Let t = 7634 + -7579. Is 11 a factor of t?
True
Suppose 320 = 3*j - 115. Let f = -5760 - -5845. Let n = j - f. Does 38 divide n?
False
Suppose -8*p + 111111 = -9*p + 22*p. Is 7 a factor of p?
False
Let t(a) = 16*a + 84. Let f be t(-5). Suppose 4*k = 2*l + 1682, f*l + 1691 = 4*k - l. Is k a multiple of 10?
False
Suppose -15*o = -139 - 251. Is 6 a factor of (-8)/((o/(-24))/13)?
True
Suppose 4*u - 1697 - 747 = 0. Suppose 5*o + 276 = u. Is o even?
False
Let g be (4 - 2)/(24/84). Suppose 2*m - 10 = 0, 1993 - 9863 = -g*p + m. Does 74 divide p?
False
Suppose 34*x - 242908 = 153362. Is 15 a factor of x?
True
Let j(s) = s**2 + 27*s + 23. Let f be j(-25). Let d = f + 127. Is d a multiple of 5?
True
Let v(z) = 8*z**3 - 5*z**2 + 1. Let g be ((-12)/(-9))/(0 + (-8)/(-18)). Suppose 0 = n, p - 5*n + g = 5. Does 15 divide v(p)?
True
Suppose 44*a = 29*a - 45. Is 20 a factor of ((-2236)/6 + 14)/(2/a)?
False
Suppose -2*m + s + 172 = 0, m - 44 = -2*s + 52. Suppose 9*d = d + m. Suppose -d*l + 223 = -74. Is 4 a factor of l?
False
Does 142 divide (11360/(-60))/(1*1/(-135))?
True
Suppose -20*y = -15*y - 20. Let m be 4 - (0 + y) - -9. Suppose 0 = 3*x - 5*g - 43, -x - g - m = 2*g. Is 3 a factor of x?
True
Suppose -27 = -9*z - 0. Suppose z*k - 5*u = 2367, -3*k + 1884 + 459 = 3*u. Is 8 a factor of k?
True
Suppose 0 = 4*l - 5*l + 5. Suppose -2*b - c + l = 4*c, 4*b = -3*c + 17. Suppose -b*k = 4*r - 13, 4*r = -k - 0*r - 7. Does 3 divide k?
False
Let m be 394/6*(-18 + 24). Let o(u) = 2*u**2 + 5*u + 2. Let f be o(6). Let c = m - f. Does 29 divide c?
True
Suppose -2*g - 12 - 1 = -3*f, -2*f + 5 = -5*g. Suppose 5*b - 3*b + 901 = 3*h, 5*b = -f*h + 1485. Does 34 divide h?
False
Suppose 2*f + 3*w + 13 = 22, 3 = -3*w. Suppose 2*j = -4*t + 1018 + 354, 3*t - 2*j - 1029 = 0. Suppose f*o = -o + t. Is 12 a factor of o?
False
Let b be 354 + 10/2*(-3 - -4). Let l = 1125 - b. Is 14 a factor of l?
False
Suppose 0 = -h + c + 6145, -18*c - 12314 = -2*h - 13*c. Is h a multiple of 19?
True
Let t = 11310 - 6360. Is 18 a factor of t?
True
Let y = -4 + 4. Let j be ((-4)/(-5))/(1/(-10) + y). Is 38/14 - j/28 - -161 a multiple of 25?
False
Let k(z) = -3*z + 20. Let h be k(6). Let v be 6/h*3/(-3). Does 10 divide v/(3*5/(-430))?
False
Suppose -5*b - 1110 = -0*r - 2*r, 3*r + 2*b = 1665. Let t = -381 + r. Let x = t - 122. Is 13 a factor of x?
True
Let w(f) = f + 32. Let d be w(-31). Is 14 a factor of 1 - d/2 - (-1169)/14?
True
Let p(u) = 51*u**2 - 5*u + 3. Let m be (3/(-5))/((-13)/(-65)). Does 9 divide p(m)?
True
Let h(b) = 19*b**2 - 80*b - 208. Is 51 a factor of h(21)?
False
Let x = 4032 - -3789. Is 33 a factor of x?
True
Suppose 8*h - 12 = 5*h. Suppose 2*p = -2*u + h*u - 230, -3*u - 4*p = -338. Is u a multiple of 3?
True
Suppose 3*x + 169 = z - 453, 4*z - 5*x - 2516 = 0. Does 5 divide z?
False
Suppose -j + 3*p + 14063 = 4*p, 3*j = p + 42189. Is 41 a factor of j?
True
Let j(g) = 4*g - 10. Let r be j(7). Let q = r - 58. Is q/(-12)*(-18)/(-10)*35 a multiple of 46?
False
Is 17 a factor of (-539183)/(-93) - ((-20)/(-12) - 1)?
True
Let v(u) = 33*u + 7. Let r be v(5). Suppose 259 = 25*c + 43*c - 81. Suppose r = c*i - 48. Is i a multiple of 22?
True
Let h be 15 + 35/(385/(-132)). Let n = 6 + -4. Is ((-2)/h)/(n/3) - -27 a multiple of 18?
False
Let x(f) = -2*f**2 - 14*f - 11. Let z be x(-7). Let d(p) = p**2 - 12*p + 10. Let k be d(z). Let q = k + -167. Does 23 divide q?
False
Let a = -79 - -86. Suppose -a*h + 588 = -49. Let u = h - 85. Is u a multiple of 2?
True
Suppose -2*s = -5*p + 12371, 3*s = 4*p - 13696 + 3802. Does 55 divide p?
True
Let f = 9 + -13. Let v = 7 + f. Suppose v*j = j - n + 496, 2*n = j - 258. Is 40 a factor of j?
False
Let z = 161 - 106. Suppose 0 = -34*j + z*j - 8295. Is 79 a factor of j?
True
Let q(g) = -28*g - 4. Let h be q(-9). Suppose 4*j - h = 5*n, -j - n + 53 = -0*n. Let c = 96 - j. Is 13 a factor of c?
True
Suppose 461*k = 249*k + 330296. Is k even?
True
Let d = 163 + 27. Let w = -112 + d. Let r = w + -26. Does 23 divide r?
False
Does 72 divide -3*(-5)/15 - (-1650 - 5)?
True
Let m be 5*(0 + -4 + 3). Let f(w) = 7*w**2 + 4*w + 2. Let i be f(m). Suppose -1102 = -15*y - i. Is y a multiple of 7?
True
Let w = 150 + -127. Let y(d) = -43*d + 4 + w*d - 81*d. Is 21 a factor of y(-1)?
True
Let d = -15 + 43. Suppose 0 = 3*w + 4*w - d. Does 4 divide (1 + 1)*w/2?
True
Let b(v) = 6*v**3 + 11*v**2 - 32*v - 10. Suppose 0 - 9 = -3*g - 3*i, g + 4*i = 0. Is b(g) a multiple of 29?
False
Let m(b) be the first derivative of b**3/3 - 2*b**2 - 4*b + 3. Let h = -425 - -437. Does 23 divide m(h)?
True
Suppose 3*f + 5*v = -0*f + 25, 3*f + 5 = v. Let w be 1 + (-1 - 42)*-1. Suppose 46*o - w*o - 38 = f. Does 19 divide o?
True
Let s = -264 + 1132. Is 3 a factor of s?
False
Let t be (1/3)/((-1)/6). Let a(v) = -4*v + 16. Let q be a(6). Does 8 divide 4*t/q + 43?
False
Let u(p) = 140*p**2 - 240*p + 928. Is 48 a factor of u(4)?
True
Let v = -226 + 403. Suppose 4*t - 53 = -3*r + 74, -v = -5*r + 2*t. Is 3 a factor of r?
False
Suppose 50 = 77*g - 67*g. Suppose -g*t = -3*d - 2037, t = -d + 44 + 357. Does 9 divide t?
True
Suppose -388 = -125*r + 28*r. Let y be ((-1)/2)/((-2)/4). Is 4 a factor of 22 - (y/1 - r)?
False
Let p = -22 + 41. Suppose 0 = p*r - 13*r - 1842. Is 23 a factor of r?
False
Let k(f) be the first derivative of 15*f**4/4 - f**3/3 + f**2 - 14. Is 20 a factor of k(2)?
True
Let n(d) = d**3 - 111*d**2 + 144*d - 980. Is 8 a factor of n(110)?
True
Let g(c) be the second derivative of 5*c**4/12 - c**3/2 + 3*c**2/2 + 17*c. Suppose 3*a - 4*a = -5. Does 29 divide g(a)?
False
Suppose 4*j - 5*g + 2 = -1, 4*g = 4*j. Let b be (-1 + 0)*j - (-58 - -40). Does 6 divide (1 + -24)/(b/(-15))?
False
Let f(n) = 176*n - 463. Is 90 a factor of f(7)?
False
Suppose 0*i - 165 = 5*i. Let x = i - -57. Let m(b) = -b**3 + 22*b**2 + 58*b - 56. Is m(x) a multiple of 23?
True
Suppose 5*f - 4*d - 638 = 0, -5*d - 640 = 3*f - 8*f. Suppose y + 3*l = -24 + f, y + 5*l = 112. Is 44 a factor of y?
False
Let m be (-1)/2 + (-5621)/14. Let w = m - -742. Is 10 a factor of w?
True
Let x(b) = -5*b**3 - 10*b**2 + 9*b + 8. Let d be x(-8). Let j = -2820 + d. Is j/(-6) + (-8)/12 a multiple of 16?
True
Let r(u) = 42*u + 3. Let j be r(5). Suppose 5*a + 1041 = 1106. Suppose -a*i + 99 = -j. Does 8 divide i?
True
Let u(o) = 21*o**2 + 5*o - 1. Let z(i) = -i**3 - 10*i**2 - 14*i - 47. Let f be z(-9). Is u(f) a multiple of 9?
False
Let q = -6363 - -8967. Is 41 a factor of q?
False
Let b(u) = u**3 + 10*u**2 + u - 4. Let o = -70 + 124. Let q = -59 + o. Is 12 a factor of b(q)?
False
Let z(h) = 15*h**2 + 401*h - 63. Does 12 divide z(-29)?
False
Suppose 57 = 44*t - 31. Suppose 0 = x - 4*l - 388 - 268, 5*x + t*l = 3236. Is x a multiple of 18?
True
Let c(l) = 119*l**2 - 20*l + 60. Is 51 a factor of c(3)?
True
Suppos