e
Let y(l) = 5*l + 61. Let n = -101 - -101. Is y(n) a multiple of 5?
False
Does 74 divide 2/25 - (-163638)/150?
False
Let d = -39 - 82. Let y = d + 197. Let l = y - 41. Does 6 divide l?
False
Let p be (135/(-2) + 1)/((-26)/52). Let b(a) = -6*a**2 - 6*a - 6. Let l be b(-4). Let t = p + l. Is t a multiple of 15?
False
Suppose 4*l - 52 - 124 = 0. Is 4 a factor of l?
True
Let q = -26 - 1. Let r be 264/q - (-6)/(-27). Let y = 3 - r. Is y a multiple of 13?
True
Let k = 256 - 33. Does 11 divide k?
False
Suppose 74*k - 2460 = 68*k. Is k a multiple of 10?
True
Let d(u) = u - 1. Let z(i) = i**2 - 12*i + 7. Let n(x) = -2*d(x) - z(x). Let r be -1 + -1 + 11 - 0. Does 4 divide n(r)?
True
Let u(z) be the first derivative of z**4/4 - 8*z**3/3 + z**2 - 12*z - 26. Suppose -v = -0*v - 8. Is u(v) a multiple of 4?
True
Let k = 73 + -72. Suppose 5*v + 3*p - 10 = 0, -2 = -v - 0*v + 4*p. Suppose -7 = -v*z + k. Is z even?
True
Suppose -7*g + 20 + 15 = 0. Suppose 7 + 268 = g*l. Suppose b = 5*o - 13, -5*o = 5*b - 0*o - l. Is 6 a factor of b?
False
Let o(d) = -d**2 + 2*d + 82. Let t(j) = -j**2 + j + 1. Let r(s) = o(s) - 2*t(s). Let w(h) = h**3 - 4*h**2 - 5*h. Let l be w(5). Does 16 divide r(l)?
True
Let t be (0 + 2)*(-17)/2. Let b be (-10)/(-15) - t/(-3). Is 5 a factor of b/(-2)*(-102)/(-15)?
False
Let q(x) = x**3 + 27*x**2 + x + 280. Is 54 a factor of q(-25)?
False
Let n = 24 - -40. Let p = n + -122. Let b = p - -98. Is 28 a factor of b?
False
Suppose -2*f - 3*f = 0. Suppose f*u = u - 4. Suppose 23 = x - u. Is x a multiple of 6?
False
Let x(l) be the second derivative of l**4/6 - 13*l**3/6 + 11*l**2/2 + 4*l. Does 8 divide x(8)?
False
Let w(g) = -g**3 + 17*g**2 - 29*g - 13. Let q be w(15). Suppose -q*f - a = -349, f - 3*f - 5*a + 345 = 0. Is 23 a factor of f?
False
Let q = 416 + -252. Does 10 divide q?
False
Let a = -497 - -1034. Is 11 a factor of a?
False
Let j be (5 - 12/4)/(6/(-3)). Is j/3 - 2164/(-12) a multiple of 20?
True
Is 9 a factor of 5 - 3*(-12)/9?
True
Let s(k) = k**3 + 9*k**2 + 5*k - 24. Let o be s(-8). Suppose 5*t - 40 + 5 = -5*n, -2*n + 17 = 5*t. Suppose -n*u + 156 = -o*u. Is u a multiple of 26?
True
Is 13 a factor of (1771/22)/(2/4)?
False
Let x = -41 - -35. Let b(d) = d**2 + 3*d + 13. Is b(x) a multiple of 10?
False
Let x = 24 - 44. Is 5 a factor of x/((9/(-6))/3)?
True
Let b(h) = 85 + 95 - 207*h + 102*h + 109*h. Does 36 divide b(0)?
True
Suppose -3*h = r + 8, -5*r - 10 = 2*h + 3*h. Let a be h/3*17 - 1. Let c = a + 31. Is c a multiple of 13?
True
Suppose -6*l - 9*l + 105 = 0. Let f(o) = o**3 - 7*o**2 + o + 4. Does 2 divide f(l)?
False
Suppose -346*k = -339*k - 8470. Is 110 a factor of k?
True
Suppose -3*o = -9 - 12. Suppose -2*k = 3*p - o*p + 60, -2*k = 3*p - 52. Is p a multiple of 4?
True
Let z(r) = 25*r**2 - r + 1. Let g be -6*(3 + (-20)/6). Suppose g*m = 4*m - 2. Is z(m) a multiple of 13?
False
Suppose v = -9*v + 3730. Is 21 a factor of v?
False
Suppose -48 = -2*m - m. Suppose q + m = 27. Is q even?
False
Let i(r) = -2*r + 9. Let t be (2/(-4))/(2/24). Is i(t) a multiple of 21?
True
Suppose -4*z + 876 = r, -4*z + r + 876 = -0*r. Suppose j + 2*h = 225, j + h = -3*h + z. Is 45 a factor of j?
False
Suppose 0 = -0*d - 4*d. Suppose d = -8*r + 5*r - 9. Is 3 a factor of (r/6)/((-2)/40)?
False
Is 6 a factor of 25975/45 - 20/90?
False
Suppose 17*h - 13*h - 148 = 0. Is 3 a factor of h?
False
Let h(n) = n**2 + 50*n - 48. Is 21 a factor of h(-59)?
True
Let k be 8/(-32) + (-19)/4. Let h(x) = -x - 2. Let v be h(k). Let a = v + 94. Is a a multiple of 15?
False
Suppose -687 = 2*d - 1427. Is 10 a factor of d?
True
Suppose 0 = -0*x - 5*x + 10. Suppose -2*f + 82 = x*w, 2*f - 82 = -0*f + 2*w. Does 41 divide f?
True
Let y = 51 - -4. Suppose p - y = -4*p - 5*v, 5*p - 64 = 4*v. Does 6 divide p?
True
Let c(o) = 2*o + 22. Let r be c(-10). Let l(f) = 5*f**2 - 2*f + 4. Does 4 divide l(r)?
True
Is 17 a factor of 44570/38 - 20/(-190)?
True
Suppose l - 4 = 0, 5*l - 22 + 296 = 2*b. Is b a multiple of 21?
True
Let o be 10/(-15)*6/(-2). Suppose -5*c - n = o*n - 1515, c + 2*n = 310. Suppose -3*l + c = 2*l. Is 20 a factor of l?
True
Let v(m) = 0 - 19*m + 0*m - 1 + 0. Let j be v(3). Let l = -25 - j. Does 14 divide l?
False
Suppose 0 = 3*u - 5 + 47. Let b = 46 + u. Let p = -14 + b. Does 9 divide p?
True
Let w = 301 + -113. Is 12 a factor of w?
False
Suppose 255*f = 261*f - 1560. Does 20 divide f?
True
Let z(v) = v**3 + 7*v**2 - 8*v + 3. Let l be z(-8). Suppose l*q + 466 - 1825 = 0. Is 13 a factor of 3/12 + q/12?
False
Suppose -3*d = d - 16. Suppose -3*v - d*k = -97, -v = -0*v - 4*k - 59. Is 7 a factor of v?
False
Let j(t) = t**3 - 6*t**2 - 8*t + 9. Let o be j(7). Suppose 3*s = -o*d + s + 56, -d - 4*s + 22 = 0. Is d a multiple of 15?
True
Let f be (715/20)/(-3 - (-39)/12). Suppose -4*q + 106 = 4*a + a, 5*q = -a + f. Does 9 divide q?
False
Let d be (36/(-30))/((-4)/(-10)). Let w be -12*(40/d)/5. Suppose 7 - w = -t. Is 10 a factor of t?
False
Suppose -4*a + 21*u - 24*u = -2617, -5*a - 2*u + 3266 = 0. Is a a multiple of 20?
False
Suppose 0 = z + 2*m - 494, -z - 3*m + 270 + 219 = 0. Does 28 divide z?
True
Does 2 divide (-15015)/(-55) - 7/(-1)?
True
Suppose -55 = -3*f - f - q, 2*q + 2 = 0. Let x = 16 - f. Is (14/8)/(x/16) a multiple of 5?
False
Let y(x) be the second derivative of -x**7/2520 - x**6/720 + 17*x**5/60 + x**4/4 + 5*x. Let p(l) be the third derivative of y(l). Is 10 a factor of p(0)?
False
Let q(k) = -124*k + 50. Does 13 divide q(-4)?
True
Suppose 0 = 4*b - 3*k - 21, 5*k + 2 = -4*b - 1. Let d(q) = 27*q**2 - 4*q - 3. Is d(b) a multiple of 22?
False
Let g be (84/(-16))/((-2)/(16/3)). Suppose 9*u - g*u = -200. Does 8 divide u?
True
Suppose 0 = 5*k - 3*w - 3206, 3*k = 3*w + 1739 + 187. Is k a multiple of 20?
True
Let t(y) be the second derivative of -y**5/20 + y**4/2 - y**3 - y**2/2 + 10*y. Is 4 a factor of t(3)?
True
Suppose -4*j = -8*j. Let p be -1 - -1 - (j + 11). Let h(a) = -6*a. Is 21 a factor of h(p)?
False
Let x(p) = -p**2 - 15*p + 1. Suppose 30 - 4 = -2*t. Is x(t) a multiple of 9?
True
Suppose 3*b = 155 + 241. Let y = b - 60. Is y a multiple of 28?
False
Let l(s) = -521*s - 981. Is 33 a factor of l(-6)?
True
Let h(f) = 49*f - 11. Let l be h(-4). Let p = l + 300. Is 11 a factor of p?
False
Let j = -5 - -7. Suppose 2*k + 2*g + 0*g = j, -3*g - 9 = 0. Suppose -90 = a - k*a. Is 8 a factor of a?
False
Suppose -5212 = -3*b - 1603. Does 11 divide b?
False
Let p(f) = 76*f - 421. Is p(25) a multiple of 17?
True
Is 4/(-16) + 2805/20 a multiple of 4?
True
Let f = -19 - -120. Let a = f - 54. Does 15 divide a?
False
Let x be (-75)/60 - 94/8. Let z(o) = 4*o + 7. Let c be z(6). Let j = x + c. Is j a multiple of 6?
True
Let q(t) be the third derivative of t**5/60 - t**4/8 + 7*t**3/6 + 8*t**2. Let m(r) = -r**2 - 11*r - 13. Let p be m(-9). Is 10 a factor of q(p)?
False
Suppose -178*m + 147*m + 14508 = 0. Does 9 divide m?
True
Suppose 5*r - 4*r = 3. Suppose -r*f + 2*i = -49, 0*i - 72 = -4*f + 4*i. Is f a multiple of 7?
False
Suppose 3*v + 5*r + 752 = 7, 0 = v - 3*r + 239. Is 6 a factor of (0 + 1)/((-5)/v)?
False
Let k(u) = u**3 - 2*u**2 + 3*u - 3. Let c = 18 + -16. Let x be k(c). Suppose -x + 53 = 5*d. Is 10 a factor of d?
True
Let n = -25 - -37. Let u = 17 - n. Suppose 5*r = u*y + 134 - 424, -3*y - 5*r + 190 = 0. Does 13 divide y?
False
Suppose -83*a + 80*a + 2340 = 0. Does 65 divide a?
True
Suppose 3*z + 3*u = 4*u + 30, -5*z = -5*u - 50. Suppose z*g = 6*g - 172. Let i = 63 + g. Is i a multiple of 20?
True
Let r = -93 + 165. Is 9 a factor of r?
True
Suppose 3*r + 28 = -5*d, -3*d + 0*d + 47 = -4*r. Let y(g) = -g**2 - 15*g - 8. Does 12 divide y(r)?
True
Does 57 divide (192/(-60))/(4/(-570))?
True
Let q(u) = 70*u**3 - 2*u**2 - 5*u + 4. Let p(j) = 70*j**3 - 2*j**2 - 6*j + 5. Let m(i) = 4*p(i) - 5*q(i). Let f be 2/(-9) + 77/(-99). Does 18 divide m(f)?
False
Let s be (8 - 7) + (5 - 3). Suppose -1 = -t + 3. Let k = t + s. Is k a multiple of 7?
True
Is ((-474)/(-6))/(-4*2/(-8)) a multiple of 3?
False
Let k = -656 - -1176. Does 40 divide k?
True
Suppose 22*q + 896 = 30*q. Is 28 a factor of q?
True
Does 30 divide 171/9*10 - 10?
True
Let k(f) = f**2 - 14*f - 10. Let n(t) = -2*t**2 + 29*t + 21. Let z(c) = -9*k(c) - 4*n(c). Let u be z(9). Let v = 6 + u. Does 7 divide v?
True
Suppose 4*j + 570 + 278 = 5*a,