 n a multiple of 2?
False
Let b = 1954 - 261. Suppose -2*d + b = 3*y + 357, -2682 = -4*d - y. Does 9 divide d?
False
Suppose 59*r - 4*p - 10924 = 54*r, -2*r - 4*p + 4364 = 0. Is r a multiple of 24?
True
Is ((-8)/1)/(188/(-35391)) a multiple of 6?
True
Suppose -7*o = 21*o - 31164. Does 53 divide o?
True
Let c = -34629 - -41380. Is 157 a factor of c?
True
Let b(l) = -l**3 + 20*l**2 + l - 26. Let v be b(19). Let d = 320 - 548. Let t = v + d. Does 8 divide t?
False
Let r(w) = -16*w**3 + w**2 + 74*w + 12. Is 9 a factor of r(-7)?
True
Let d = -10545 - -15463. Is 8 a factor of d?
False
Let b be (-144)/78 - (-1 - (-15)/13). Let f(u) = -4*u**3 - u**2 - u - 2. Let d be f(b). Let a = d + 35. Does 11 divide a?
False
Is 18194/33 - (-20)/(-15) a multiple of 9?
False
Let a = 9321 - 2734. Is 58 a factor of a?
False
Let n be 3 + -376 - (-9 - -7). Let l = -53 - n. Is 12 a factor of l?
False
Suppose 4*i = -g + 7396, -46*g - 4*i - 22092 = -49*g. Does 38 divide g?
True
Let k = -3067 + 5341. Does 6 divide k?
True
Is 9770/1 - (6/(-2) - (-23 - -15)) a multiple of 21?
True
Suppose 12352 = 3*r + n, 0 = r - 110*n + 115*n - 4108. Is r a multiple of 3?
False
Suppose 0 = -90*q + 445564 + 14966. Does 119 divide q?
True
Suppose 12*x - 7665 = 783. Does 4 divide x?
True
Let w be 350/45 + (-2)/(-9). Suppose 37 + w = 3*a. Suppose a = -9*h + 4*h, -m - 4*h + 6 = 0. Is 3 a factor of m?
True
Suppose 123*f - 140968 = 13151. Does 12 divide f?
False
Let n(i) = -i**3 + 27*i**2 + 37*i - 327. Does 83 divide n(12)?
False
Suppose -29 = -7*v + 4*v - n, -3*v = -n - 37. Suppose -v*b + 368 + 1557 = 0. Is b a multiple of 7?
True
Does 11 divide -1 + ((-16)/(-8) - -3) + 16767 + -7?
True
Let w(f) = 4*f**3 + 3*f**2 + 2*f + 3. Let z(s) = -4*s + 18. Let j(p) = 4*p - 19. Let b(y) = 3*j(y) + 4*z(y). Let a be b(3). Does 16 divide w(a)?
True
Suppose -47*y = 37*y - 202860. Is y a multiple of 105?
True
Suppose 59*z - 62*z + 26874 = -5*t, -8954 = -z + 3*t. Is 220 a factor of z?
False
Let f(m) = -3*m**3 + 14*m - 23*m + 14 - 28*m + 0*m + 57*m**2. Does 27 divide f(18)?
False
Let i(w) be the first derivative of -9*w**2/2 - 2*w + 6. Let n(c) = 19*c + 5. Let z(b) = -14*i(b) - 6*n(b). Does 28 divide z(21)?
False
Let j be 10/(-30) + (-104)/3. Let u = 39 + j. Suppose -u*i + 12 = -i. Is 2 a factor of i?
True
Let m(o) be the third derivative of 19*o**5/60 - 11*o**4/8 + 57*o**3/2 + 151*o**2. Is 17 a factor of m(6)?
False
Let u(w) = -w**3 - 16*w**2 - 16*w - 28. Let v be u(-16). Let g = 271 + v. Suppose -37 = 14*c - g. Does 33 divide c?
True
Let f(g) = g**3 - 21*g**2 + 3. Let p be f(21). Let t(d) = 46 - 11 - 16 - p*d. Is 7 a factor of t(-5)?
False
Let q = -45 - -42. Let r be (-1)/q*9/(-3). Let l(i) = -27*i + 1. Is 28 a factor of l(r)?
True
Let w = -4038 - -11078. Does 16 divide w?
True
Let f = -70 - -12. Let q = 2645 - 2580. Let g = q + f. Is 3 a factor of g?
False
Suppose 161 = 5*l + 2*o, 4*l + 2 = 5*o + 111. Suppose 2*j - l = 481. Suppose -5*k = -j - 594. Is 34 a factor of k?
True
Suppose 7*m - 3*l - 33 = 3*m, -4*m = 5*l - 9. Suppose -364 = 3*c - m*c - 2*x, 4*c - x - 478 = 0. Is 19 a factor of c?
False
Suppose -10 = 5*k - 2*y, 4*y - 6*y = 4*k - 10. Suppose k = -57*t + 59*t + 4. Is 78/(-5)*t/(16/20) a multiple of 11?
False
Let a(j) = j**2 - 10*j - 75. Let d be a(15). Is 200 + 12/(-4 - d) + 1 a multiple of 66?
True
Suppose 37*s - 238366 = 160322 - 92698. Is 15 a factor of s?
False
Let i be 6/(-11 + 5) + 1862 + -2. Let l = -1184 + i. Does 9 divide l?
True
Let k(p) be the first derivative of 5*p**3/3 - 2*p**2 + p + 11. Let h(d) = -4*d**2 + 3*d - 2. Let b(y) = 5*h(y) + 6*k(y). Is 20 a factor of b(4)?
True
Let c = -28 + 34. Let k(f) = -c + 14*f + 2 - 1. Does 31 divide k(7)?
True
Let c(m) = -3*m**3 - 17*m**2 + 24*m + 8. Let l(d) = 7*d**3 + 35*d**2 - 49*d - 17. Let o(w) = -9*c(w) - 4*l(w). Let g = -330 + 341. Does 3 divide o(g)?
True
Suppose 641 = 13*c + 7687. Let p = c + 855. Does 7 divide p?
False
Let k be -118*((-9)/(-2) - 4). Let c = -34 - k. Let o = 38 - c. Is 13 a factor of o?
True
Let u be -4 + 3 - (-157 - (-1 + 2)). Suppose u = -6*n + 7*n. Is n a multiple of 36?
False
Let b(x) = 23 + 4*x - 46 + 20 + 26*x**3. Is b(1) a multiple of 4?
False
Let i(a) = a**3 + 20*a**2 - 6*a + 71. Let c(n) = n**3 + 5*n**2 - n + 11. Let r be c(-6). Is 42 a factor of i(r)?
True
Let h(z) = 2600*z**2 + 91*z + 179. Is 132 a factor of h(-2)?
False
Let n = -2360 + 10496. Is n a multiple of 12?
True
Suppose 144*c - 162235 = -25*c + 7674971. Is 383 a factor of c?
False
Let b(o) = 7*o**3 - o**2 - 4*o - 84. Let k(g) be the second derivative of g**5/20 - g**3/6 - g**2/2 - g. Let y(f) = -b(f) + 6*k(f). Does 26 divide y(0)?
True
Let y(w) = -w**3 - 45*w**2 - 96*w + 738. Is 20 a factor of y(-47)?
False
Let g(y) = y**3 - 9*y**2 - y - 1. Let v be g(9). Let t(u) = -u**3 - 10*u**2 - 2*u - 8. Let j be t(v). Let f = j + 14. Is f a multiple of 6?
False
Let b = 12 + -91. Let t be b - 1/(-3 - (-10)/4). Let k = -71 - t. Does 3 divide k?
True
Let b(o) = 45*o + 67. Let g(p) = 15*p + 22. Let a(q) = -3*b(q) + 8*g(q). Let h be a(-10). Suppose j = -5*y + 2*j + 670, -2*j = -y + h. Is y a multiple of 15?
True
Let u = 445 + -449. Does 64 divide (-179760)/(-190) + u/38 + -1?
False
Let i(b) = -1680*b + 3137. Is i(-4) a multiple of 24?
False
Let y(d) = d. Let h(m) = -m + 7. Let o be h(8). Let l(i) = -14*i - 7. Let t(c) = o*l(c) + 2*y(c). Is t(4) a multiple of 13?
False
Let x(l) = -30*l + 96. Let u be x(16). Let t = -336 - u. Is 17 a factor of t?
False
Let b(x) = 2*x. Let w(i) = -11*i - 26. Let u(n) = 2*b(n) + w(n). Let s(z) = 168*z + 623. Let t(a) = 2*s(a) + 49*u(a). Is t(-9) a multiple of 5?
True
Let g(m) = -68*m + 999. Is g(6) a multiple of 11?
False
Let r = 109 - 112. Let i(a) = -8*a**3 - 7*a**2 - 2*a - 4. Let q be i(r). Suppose 5*c = -2*f + q, c + 10 = -c. Does 18 divide f?
True
Let r(o) = 15*o**2 + 133*o - 530. Does 13 divide r(26)?
False
Suppose w + 3*n - 21 = 0, 0 = 5*w - n - 65 - 24. Is 2*(0 - -1) + w*3 a multiple of 28?
True
Let l = -48 + 50. Suppose -3*c + l*d = -1369, 2*c - 4*c + 902 = 4*d. Does 8 divide c?
False
Let t = 31 - 36. Let w be t*(1/2*-50 - -2). Suppose -w - 395 = -3*f. Does 27 divide f?
False
Let r(v) = -23*v + 4061. Is 81 a factor of r(53)?
False
Suppose -15*y - 7 = -7. Does 3 divide (y/7 + 2/(-4))*-376?
False
Let x(s) be the third derivative of -s**4/24 - s**3/3 + 18*s**2. Let w be x(-2). Suppose -6*c + 184 + 116 = w. Does 13 divide c?
False
Let k(t) = -2*t - 11. Let f(w) = -5*w - 58. Let q be f(-10). Is 5 a factor of k(q)?
True
Let z(g) = 12*g - 114. Let n be z(10). Is ((-14)/n - 1)*(-103 - -1) a multiple of 62?
False
Let t(w) = w + 14. Let p be t(15). Let h = p + -10. Suppose 0 = -y - 0 + h. Does 2 divide y?
False
Suppose 2077 = g + y, 164*y = g + 162*y - 2065. Is g a multiple of 71?
False
Suppose -175*w = -184*w - 5*f + 275007, 2*f + 30541 = w. Does 117 divide w?
False
Is 4 a factor of 718/(-4)*(33 + (47 - 82))?
False
Suppose -2*p - 14160 - 3000 = -4*r, 2*r - 8580 = 3*p. Is r a multiple of 55?
True
Let m(f) = 504*f**2 + 50*f - 148. Is 67 a factor of m(3)?
False
Let i be -56 - -3 - (3 + -1)/(-2). Let c = -48 - i. Let j(v) = 5*v + 7. Is j(c) a multiple of 3?
True
Let x(l) = -5*l**3 - l**2 - l - 2. Suppose -36 = -76*t + 88*t. Is x(t) a multiple of 3?
False
Let v be (-3 + 5 - -69)*1. Let d = 103 - v. Is d a multiple of 8?
True
Let o = 1801 - -2551. Does 74 divide o?
False
Let q be 2/1 + (3 - 4) + 2. Is ((-490)/21)/(q*(-4)/126) a multiple of 7?
True
Let m = 128 - 123. Suppose m*l - 101 = 264. Suppose 123 = 4*z - l. Is z a multiple of 3?
False
Suppose 12*w - 8092 + 28552 = 0. Let a = w + 2929. Does 22 divide a?
False
Suppose 2*q = 2*z - 10004, 2*z + 7*q = 6*q + 10010. Is 13 a factor of z?
False
Let l = 90 - -339. Let u = l - 297. Is 3 a factor of u?
True
Let h(x) = x**3 - 4*x**2 - 19*x + 48. Let y be h(6). Suppose -5*z - 8*s = -y*s - 784, 3*s + 9 = 0. Does 41 divide z?
False
Suppose y - 2*y + 19 = 0. Suppose t - y = -3*t - i, 7 = t - 2*i. Does 22 divide (-4 + t)/((-2)/(-46))?
False
Let v be 4*-1*1 - (-13 + 7). Suppose -732 = v*j - 6*j. Is j a multiple of 74?
False
Let i(b) = 2339*b - 2801. Is 246 a factor of i(6)?
False
Let k be 38 + 1*-21*5/15. Let b = -10 - -36. Let n = k + b. Does 5 divide n?
False
Does 4 divide 41560/35 + (-530)/371?
False
Suppose 