e
Let l(m) = 5*m**2 - 9*m + 8. Does 13 divide l(5)?
False
Suppose 4*y = -z + 461, -5*y - 3*z + 206 = -379. Is y a multiple of 57?
True
Suppose 0 = -3*t - 3 + 15. Suppose -2*x - 36 = -t*f + f, -5*f + 3*x + 61 = 0. Is 12 a factor of (-8)/(-28) + 430/f?
False
Let j(w) = -6*w + 277. Is j(16) a multiple of 5?
False
Let z = 44 + -26. Suppose -z*h - 118 = -20*h. Is 39 a factor of h?
False
Let a(u) = 6*u - 4 - 6*u - 6*u. Let r = -5 - -2. Is 7 a factor of a(r)?
True
Let a = 747 + 297. Is 32 a factor of a?
False
Suppose 3*b + 483 = 6*b - 4*l, -5*l - 645 = -4*b. Is b a multiple of 15?
True
Let w(y) = 3*y + 8. Let q be w(-5). Let f be (-1)/3*(-651)/q. Does 34 divide (f/(-2))/((-6)/(-24))?
False
Let t(o) = -o**2 - 12*o + 9. Let i be t(-11). Let q = -20 + i. Suppose q = -5*g + g + 260. Is g a multiple of 17?
False
Let q(p) = 78*p - 6. Suppose b + 5*b - 12 = 0. Does 30 divide q(b)?
True
Let m(k) = k**2 + 11*k - 3. Let y be m(14). Suppose -16 = -4*x, 3*z + 0*x = -2*x + y. Does 12 divide z?
False
Does 24 divide -4*11/22*-840?
True
Let i(c) = c**2 - 16*c + 32. Let q be i(14). Let n(x) = 4*x**2 + q - 5*x**2 - 6 + x**3 - 4*x. Does 26 divide n(5)?
True
Let u(k) = -k**3 - 9*k**2 + 8*k - 20. Let l be u(-10). Suppose -5*w - 4 = -19. Suppose l = w*b + j - 1, -21 = -2*b + 3*j - 2. Is 2 a factor of b?
True
Let j be ((-225)/100)/((-6)/8). Suppose -o + 516 = 3*o - j*n, -5*n = -4*o + 508. Is o a multiple of 11?
True
Suppose 0 = 5*a - 4*a + 10. Let f be 4240/(-24)*12/a. Suppose -5*g - f = -4*m - g, -268 = -5*m + 2*g. Does 18 divide m?
True
Let t = 43 - 44. Let y = t - -3. Is 2 a factor of y?
True
Suppose -10*m - 2 = -32. Suppose -a = -w + 83 + 72, 0 = -m*w - 2*a + 440. Is w a multiple of 15?
True
Let s(o) be the second derivative of o**5/20 - o**4 + 13*o**3/6 + 6*o**2 + 16*o. Does 17 divide s(11)?
True
Suppose c = -2*j + 3*j - 2, -5*j - 3*c + 50 = 0. Let d(h) = 7*h - 5*h - j + 3*h. Is d(4) a multiple of 6?
False
Suppose -4 = f + 4*c - 0, 0 = 5*c + 10. Let d be 89 - (0 - (f + -3)). Suppose -2*y + 16 + d = 0. Does 17 divide y?
False
Suppose 9*v = -9*v + 7452. Is v a multiple of 46?
True
Suppose -5*d - 2*k = 5, 5*d + 3*k = 2*k. Let r(b) = 52*b + 2. Does 18 divide r(d)?
True
Does 2 divide 2/1*(83 + 20 + 14)?
True
Let c(l) be the second derivative of l**2 + 0 - 1/6*l**3 + 3*l. Is c(-2) a multiple of 4?
True
Does 17 divide (3565/(-93))/(3/(-153))?
True
Let k(u) be the first derivative of u**4/2 - u**3 - 5*u**2/2 + 7*u + 1. Suppose 63 - 9 = 18*b. Is 9 a factor of k(b)?
False
Let w = -95 + 166. Let d be (-49)/(-3) + (-8)/(-12). Let l = w - d. Is 18 a factor of l?
True
Suppose -4*d = -0*d - 12. Does 7 divide (-56 - -1)/(d + -4)?
False
Let j(m) = -m**3 - 14*m**2 - 16*m - 35. Let s be j(-13). Suppose 0 = -h + 3*h. Suppose h = -2*l - s*l + 138. Does 12 divide l?
False
Let u(l) be the third derivative of -l**6/60 - l**5/60 + l**4/24 - l**3/6 + 2*l**2. Let r be u(1). Is (-78)/(r/(-2)*-1) a multiple of 12?
False
Let w = 533 + -501. Does 2 divide w?
True
Suppose -u + 5*u - 3*u = 0. Suppose b - 45 = -y - 9, u = -5*y + 4*b + 144. Is y a multiple of 28?
False
Suppose 36 = 4*g + 4*u, -3*g + 3 = -2*u + 1. Suppose l - 270 = -4*l + 5*h, 2*l = -g*h + 132. Does 29 divide l?
True
Let y be (700/15)/((-2)/(-3)). Let m = y - 35. Does 5 divide m?
True
Let m(y) = -y - 2*y**2 - 2*y + y**2 + 2*y**2. Does 14 divide m(7)?
True
Let x(f) = 2 + f - 7*f - 5*f + f. Let z be x(-2). Let n = z + -11. Is n even?
False
Let y = 1774 - 528. Does 27 divide y?
False
Suppose -74*z + 68*z = -2016. Is z a multiple of 6?
True
Let x(b) = -b**3 - 5*b**2 - 6*b - 4. Let k be x(-4). Suppose -r + 5*g - 26 = -3*r, k*r - 3*g = 0. Suppose r*u - w - 123 = 2*w, -2*w = 2*u - 62. Does 9 divide u?
True
Suppose -62*f - 3408 = -19590. Is f a multiple of 9?
True
Let x be (30/(-12))/(4/(-8)). Suppose 5 = b, -x*o = b - 0*b - 870. Is o a multiple of 14?
False
Suppose -63 = -10*m + 3*m. Is 885/m + -2*(-3)/9 a multiple of 30?
False
Suppose c - 75 = 39. Suppose 0 = -7*n + 3*n + s + 7, 7 = 5*n - 3*s. Suppose -136 = -4*z + 4*y, -n*z + 5*z + 3*y - c = 0. Does 12 divide z?
True
Let y(u) = -u + 4. Let f be y(4). Suppose 4*q - q - 96 = f. Suppose c - 35 = -r - 16, 0 = 3*c - 2*r - q. Does 7 divide c?
True
Suppose 6*u + 3*j = 4*u - 15, -4*j - 20 = -5*u. Let t = 93 + -90. Suppose u*b = -t*b + 210. Does 20 divide b?
False
Let g = 1163 + -855. Does 3 divide g?
False
Let j(q) be the third derivative of q**4/3 - q**3 - 7*q**2. Is 9 a factor of j(3)?
True
Let y(x) = -3*x + 6. Let b be y(4). Let n = 3 - b. Does 22 divide n/1*88/12?
True
Let c = -19 + 20. Let y(t) = 19*t**2 - 3*t + 2. Is y(c) a multiple of 9?
True
Let v(a) = -8*a + 20. Let g be v(4). Let c(b) = b**3 + 13*b**2 + 11*b. Is 3 a factor of c(g)?
True
Let y(l) = l**2 + l - 1. Let v(f) = f**3 - 3*f**2 + 14*f - 10. Let j be ((-5)/(-2))/((-6)/12). Let t(h) = j*y(h) + v(h). Is 3 a factor of t(7)?
True
Let g be 6 + (2/(-4))/((-1)/(-30)). Let x(n) = -5*n - 1. Let z be x(-2). Is 9 + 0 + g/z a multiple of 5?
False
Let n = -25 + 32. Suppose 4*l + 465 = n*l. Suppose 4*f - l + 3 = 0. Is 19 a factor of f?
True
Suppose 0 = 4*s - 16. Suppose -68 = s*i - 1088. Suppose 0*k - i = -5*k. Does 21 divide k?
False
Suppose 310*t - 309*t - 2102 = 0. Is 12 a factor of t?
False
Let n = 23 + -26. Let r be 3/(-18)*n*30. Suppose r = 5*g - 60. Is g a multiple of 3?
True
Suppose -70*d = -75*d + 225. Is d a multiple of 15?
True
Suppose 5 - 33 = i. Let r = i + 68. Does 31 divide r?
False
Suppose -13*x - 3479 + 23200 = 0. Is x a multiple of 59?
False
Does 12 divide (11 - 492/24)/((-2)/104)?
False
Suppose z = -0*c - 2*c + 9, 3*c - 20 = 5*z. Suppose -o = -t + 2*o + 8, -t = -c*o. Suppose b + t = 2*b. Does 5 divide b?
True
Let w(o) = -37*o - 7. Let a be w(-19). Let s = -497 + a. Is 33 a factor of s?
False
Let b = -19 - -21. Suppose 4*q + 3*m - 139 = -b*m, 4*m - 140 = -4*q. Does 12 divide q?
True
Let v be (3/2)/(7/14). Let o(k) = 41*k**2 + 8*k**3 - 41*k**2 - 2*k**v. Is o(2) a multiple of 12?
True
Suppose 24 = 4*x + 4*x. Suppose -x*j + 6 = -24. Is 4 a factor of j?
False
Let a be 3 - 110/5*-6. Let j = -44 + a. Is j a multiple of 13?
True
Let n be 1/((27/12)/9). Suppose 0 = -5*s - b + 135, -n*s + 88 = -2*b - 6. Is 13 a factor of s?
True
Suppose -118*f + 196*f - 71604 = 0. Does 17 divide f?
True
Suppose 0*k - 2*k = 3*v + 5, 4*k = 4*v - 20. Does 3 divide (15/6)/(v*(-3)/(-6))?
False
Let g(x) = 13*x + 4. Let c(i) = 40*i + 13. Let d(m) = 2*c(m) - 7*g(m). Does 11 divide d(-11)?
False
Let h(n) = 255*n**2 - n. Let k = -70 - -69. Is h(k) a multiple of 14?
False
Let k(u) = -4*u - 5. Let g = 12 + -21. Let r be k(g). Suppose 0 = -s - h + r, s - h = -3*h + 27. Is s a multiple of 14?
False
Let j(a) = -3*a**3 + 10*a**2 + 7*a + 14. Is 13 a factor of j(-6)?
False
Suppose 0 = -z + f - 4, 2*z + z + 13 = 2*f. Let t(r) = -3*r**3 + r**2 + 2*r. Does 39 divide t(z)?
True
Suppose -5*y + 2*w + 290 = 0, -2*y + 3*w - 135 = -4*y. Is y/(-9)*72/(-15) a multiple of 8?
True
Suppose -21*s + 4953 = 1971. Is 4 a factor of s?
False
Let t = 32 + 38. Let d = t + -19. Does 17 divide d?
True
Suppose -2*f + 7*f + 15 = 0, -3*f - 29 = 5*o. Let k(g) = -43*g + 52. Is k(o) a multiple of 24?
False
Is 35 a factor of 14/63 + 39365/45?
True
Let r(p) = p**3 - p**2 - 3*p + 4. Let x be r(0). Suppose 2*c + 3*g + 111 = 3*c, 3*c + x*g - 307 = 0. Does 28 divide c?
False
Suppose 7*n - 8 = 3*n. Suppose -x - 2*x + 5*z = -34, n*x = -3*z - 9. Suppose -95 = -4*p + x*l, -p + 30 = -0*p - 2*l. Is 12 a factor of p?
False
Let y(b) = 150*b**3 - b**2 + 1. Let t be y(1). Suppose -4*v = -0*v - 5*w - 120, -4*w = 5*v - t. Does 10 divide v?
True
Is (3*3710/(-75))/((-8)/20) a multiple of 14?
False
Suppose 3*j - 5387 = -5*h, -11*j = -14*j + 3*h + 5379. Is 23 a factor of j?
True
Let j = -17 + 20. Suppose -2*v = -8, 244 = g + j*g + v. Is 3 a factor of ((-2)/(-4))/(5/g)?
True
Suppose 3 = o - 7. Suppose 8*j = o*j - 78. Suppose -57 = -k - 5*b, 5*b = 2*k - 45 - j. Does 11 divide k?
False
Suppose -5*v = -2*r - v + 12, v = -5*r - 3. Suppose -o + 30 = -r*o. Does 15 divide o?
True
Does 7 divide -3*(-2)/3 - (-203 - 36)?
False
Suppose 2*b - 3*b = 5, -5*i - 2*b = -20. Let z(y) = y**3 - 3*y**2 - 10*y + 8. Does 4 divide z(i)?
True
Suppose d = j + 3, 3*j - 3*d - 16 = 5*j. Let l(n) = -8*n + 10. Does 5 divide l(j)?
True
Let j = 293 - 