multiple of 18?
False
Let n = 58641 + -24156. Is n a multiple of 33?
True
Let t = 7337 + -6419. Is 51 a factor of t?
True
Suppose -5*l = -7*d + 3*d + 2525, 0 = -3*l - 4*d - 1547. Let s = -384 - l. Is s a multiple of 10?
False
Suppose 3*f + 23 = 5*k, k = 5*f + 6 + 3. Let x(g) be the second derivative of -245*g**3/6 + 7*g**2/2 + 3*g. Does 18 divide x(f)?
True
Let l = -196 - -89. Let j = -91 - l. Is (6 - (-2148)/j) + 1/(-4) a multiple of 20?
True
Suppose -17*w + 28095 = -16*w + 3*a, 0 = 2*a + 2. Does 11 divide w?
False
Suppose -3*y + y + 5550 = w, 3*w = 5*y - 13842. Is 28 a factor of y?
True
Suppose 0 = -28*h - 8*h - 19900 + 170200. Is h a multiple of 54?
False
Let i = 28892 - 3677. Is i a multiple of 41?
True
Let s(a) = 2 + 4*a**3 + 60*a - a**2 - 2 + 4 - 61*a. Let p be s(2). Is (-19*1)/(p/6 + -6) a multiple of 15?
False
Let r(c) = 5*c**2 - 99*c + 2674. Is 16 a factor of r(85)?
True
Suppose q = 4*l - 26304, -44*l + 45*l + 4*q - 6593 = 0. Is l a multiple of 104?
False
Let w(z) = -1662*z + 6. Let x be w(-1). Let y = -1062 + x. Suppose -5*n + 434 = -y. Is n a multiple of 29?
False
Suppose -1584 - 1287 = -3*z. Let a = z - 522. Is a a multiple of 13?
False
Suppose -8*d - 51 = -9*d. Suppose 3*w - d = -3*n + 840, 1503 = 5*n - w. Does 7 divide n?
False
Let o = -3648 - -6417. Is o a multiple of 13?
True
Is -6*9/36 + (-21759)/(-6) a multiple of 29?
True
Let j(v) = -90*v + 10. Let p be j(-4). Let f = p - 541. Is 11 a factor of (-10735)/f - 2/(-9)?
False
Let i(q) = q**2 - 7*q - 18. Let m be i(21). Suppose 0 = 7*b - 30 - 5. Suppose 2*r + 2*j - 218 = 0, -3*j + m = b*r - 263. Is r a multiple of 22?
False
Does 98 divide -174*((-3528)/(-135))/(4/(-10))?
True
Suppose h - 15285 = 20101. Is h a multiple of 110?
False
Let p be (1 - 33/9)*9/(-2). Suppose 3*w - 2*y - p = 53, 4*y = w - 25. Is w a multiple of 2?
False
Let g = -548 + 551. Suppose -3*o + 285 = g*n, 100 + 403 = 5*n - 2*o. Is 9 a factor of n?
True
Suppose 19*z - 485059 - 327665 = -47*z. Is 131 a factor of z?
True
Suppose -37*p - 15016 = 46922. Let n = -1149 - p. Is 7 a factor of n?
True
Suppose -4*w + 2*c + 36 = 0, 3*c - 4*c + 2 = 0. Suppose 27 - 207 = -w*b. Does 6 divide b?
True
Let r = -11391 - -20788. Is r a multiple of 17?
False
Let n(f) = 2*f**2 + 12*f + 58. Let s(t) = -4*t - 29. Let v be s(-4). Does 30 divide n(v)?
True
Suppose -2*w = -j + 1062, 386*j + 4288 = 390*j + 2*w. Does 5 divide j?
True
Let q(t) be the third derivative of -t**6/120 - 11*t**5/60 + 2*t**4/3 + 19*t**3/3 - 10*t**2. Let x be q(-13). Suppose -7*k = -x - 189. Is 21 a factor of k?
False
Suppose -4*r + 3*m + 724 = -482, 4*r - 1214 = -m. Is r a multiple of 40?
False
Suppose -4*o + 940 = -2*s - 6380, 0 = -4*o - 2*s + 7320. Is 122 a factor of o?
True
Let i be ((-6)/(-4))/(2/4). Suppose 0 = -z - z - i*j + 258, 2*j + 626 = 5*z. Suppose 0 = 3*s + 4*v - 2*v - 167, -2*s = 5*v - z. Does 10 divide s?
False
Let k(x) = 3*x**2 + x + 11. Let l be (-3*(-2)/(-2))/((-3)/(-9)). Is 5 a factor of k(l)?
True
Let d = 10688 - 10377. Is 10 a factor of d?
False
Suppose -x - 23 = -22. Is 39 a factor of -2 - x - (0 + -1015)?
True
Suppose n - 676 = -1574*r + 1573*r, -r + 691 = -2*n. Does 3 divide r?
True
Let f = 3009 + -2049. Suppose 2*b + f = 7*b. Is b a multiple of 6?
True
Suppose 5*r - 4042 = -4*j, -3*r - 3*j + 2433 = 2*j. Suppose l + 0*l = -5*d + r, -d + 2446 = 3*l. Is l a multiple of 68?
True
Suppose -4*p - 2*y + 3*y + 242 = 0, y = 2*p - 122. Let d = 85 - p. Suppose 2*a - 23 = d. Is a a multiple of 9?
False
Let k(o) = -48*o + 5811. Is k(-43) a multiple of 24?
False
Let d(h) = 14*h - 328. Let y be d(23). Does 104 divide y*12/216 + 1802/6?
False
Suppose 178*g - 174*g - 9272 = 0. Does 16 divide g?
False
Suppose 14081 - 1250 = 39*k. Let w = k - 300. Is 11 a factor of w?
False
Suppose 4*q + 5*l = -q + 35025, 0 = -l + 7. Is 36 a factor of q?
False
Let q(v) = v**3 + 32*v**2 - 29*v - 9. Let u be q(-32). Suppose -5*y = 10, -11*y + u = 3*x - 7*y. Does 7 divide x?
False
Let b be ((-9)/6)/(2/(-4)). Suppose 3*z - 29 = 2*p, -b*z - 5 = 2*z. Let n = p - -29. Does 13 divide n?
True
Let k(d) = -d**3 - 38*d**2 + 9*d + 370. Is 35 a factor of k(-39)?
True
Suppose 0 = -5*o + 20, 2*j + 4*o = j + 2. Let c = -9 - j. Suppose -c*s = -m + 65, -2*m + 3*s = -69 - 26. Is m a multiple of 40?
True
Let a(i) be the third derivative of 31/6*i**3 + 0 + 17*i**2 + 1/60*i**5 - 5/12*i**4 + 0*i. Does 6 divide a(7)?
False
Suppose -g + d - 3 = -d, 6 = -4*g + 5*d. Let w be g/1 - 3 - (0 - 4). Suppose 4*r = 2*r + f + 101, -2*r + w*f = -104. Is 7 a factor of r?
True
Suppose -4*s + 18 - 74 = 0. Let m = s + 21. Suppose 0 = -6*u + m*u - 38. Does 22 divide u?
False
Suppose -21*r + 18*r + m + 1658 = 0, 5*r - 2745 = -2*m. Is 19 a factor of r?
True
Is 47 a factor of ((-12991)/44 + 5)/((-6)/2688*3)?
False
Let z(d) = 10*d - 170. Let u be z(-38). Let f = -523 - u. Does 5 divide f?
False
Suppose -4*q + 30244 = 5*u, 46*u - 45*u + 22702 = 3*q. Is q a multiple of 39?
True
Let s = -291 + 296. Suppose -2*q + 299 = 5*p, -2*p - s*q = -3*p + 49. Is 27 a factor of p?
False
Suppose k - 2*k + 5*c + 24 = 0, 5*k - 24 = c. Suppose -5 = -4*h + o + 16, 0 = 3*h - 4*o - 32. Suppose 0 = k*a - g - 196, g + h*g + 68 = a. Is 16 a factor of a?
True
Let p(b) = b + 25. Let q be p(-14). Suppose -q*a = -14*a - 9. Is (-418)/(-14) + 2/(-42)*a a multiple of 10?
True
Let a(u) = -3*u - 12*u**3 - 10 - 3*u**2 + 1 + 11. Let p be a(-3). Suppose 3*r = p - 65. Does 27 divide r?
True
Let a(k) = -k**3 - 144 + 168 + 6*k**2 + 23*k + k**2 + 2*k**2. Does 7 divide a(11)?
True
Let o be (-484)/5*15/(-6). Let x = o - -171. Suppose y + 3*i = 137, -5*i = 3*y - x + 10. Is 20 a factor of y?
False
Suppose 0 = 4*j + 8, 0*j - j + 3 = -p. Suppose 2*b + 2*b = 128. Let s = b + p. Is 27 a factor of s?
True
Let t = -44 - -60. Does 62 divide -1*-146*8/t?
False
Suppose a - 6*a = 2*d - 27, d - 21 = -4*a. Let i be 4*1/18 - 43/(-9). Is 36 a factor of 3 + 1244/i + 1/a?
True
Let c = 155 - 114. Suppose 5*o - 4*o = -3*z + c, -3*o - 5*z + 103 = 0. Is o a multiple of 11?
False
Suppose 10 = -2*x, 0 = 3*n - 2*x + 5769 - 29215. Is 28 a factor of n?
True
Suppose 4*d = -2*m - 6, 5*d + 8 = -m + 2. Let j be d + (-590)/(-16) + (-6)/(-48). Suppose 2*i - j = 8. Does 4 divide i?
False
Let v(y) = y**3 - 26*y**2 - y + 36. Let a be v(26). Let s be (-1 - -4)/(-3 - -2). Does 2 divide s/((-38)/48 + a/15)?
True
Suppose 0 = 4*l - 0*l + 68*l - 5544. Does 11 divide l?
True
Is 14 a factor of (2/7)/((-5)/(-152635))?
True
Suppose -t - 15 = -18. Suppose -2*d + 2426 = 2*a, t*d - 1180 - 1243 = -2*a. Suppose -a = -10*j + 464. Does 42 divide j?
True
Suppose -3*b - n = -0*b - 37, n + 2 = 0. Suppose 9*d = 34*d - 700. Suppose d*z - b*z = 1965. Is z a multiple of 6?
False
Let v(j) = j**3 + 5*j**2 + 6*j + 6. Let k be (-2)/(-5) + 17/(-5). Let s = 0 + k. Is v(s) a multiple of 6?
True
Let l = 1 - 44. Let f = l - -79. Suppose 3*y = 12*y - f. Is y a multiple of 3?
False
Let n(s) be the second derivative of -14*s - 31/6*s**3 - 7*s**2 + 0. Is 15 a factor of n(-4)?
False
Does 39 divide -12 - (976 - -3)*-2?
False
Is -13 + (8 - -3932) - 12 a multiple of 54?
False
Suppose 5*m - 5*y = 31 + 9, -8 = -4*m - 2*y. Suppose -14*q = m*q - 3798. Is q a multiple of 60?
False
Suppose -9*v + 8*v - 5*n + 14 = 0, -5*v + 18 = -n. Suppose 0 = -5*a + 5*t + 60, -96 = 17*a - 22*a - v*t. Does 16 divide a?
True
Let v(g) = g**2 - 13*g + 22. Let a be v(11). Suppose a = 3*z + 6 - 0. Is 8 a factor of (-5 - (3 + z))/((-5)/165)?
False
Let z be (84/1 - 2) + 1. Let q = -2456 + 2560. Let r = q - z. Is r a multiple of 5?
False
Let b(w) = -w**3 + 13*w**2 + 22*w - 95. Let m be (13/((-13)/(-28)))/2. Is b(m) a multiple of 17?
True
Suppose -4*s - 26 = -2*b, 89*b + 20 = -5*s + 94*b. Let y(n) = n**3 - 9*n**2 + n - 5. Let k be y(4). Is 171*s/(k/6) a multiple of 42?
False
Let d be 1843 - (0/(-4) + 1). Suppose -z - d = -5*s, -3*s + 6*z = 5*z - 1106. Does 46 divide s?
True
Let t be 4 - (-2 + (3 - 2)). Let c be (t/(-3))/(1/(-3)). Is 9 a factor of 2*36/20*c?
True
Let u(q) be the second derivative of -3*q**5/20 - 3*q**4/4 + 5*q**3/6 + 11*q**2/2 + 9*q. Does 17 divide u(-5)?
True
Let g(p) = 2*p + 22. Let a be g(-3). Let n(t) = 3*t**2 - 15*t + 33. Let i(l) = 13*l**2 - 59*l + 133. Let m(j) = -2*i(j) + 9*n(j). Does 15 divide m(a)?
True
Let g be ((-242)/33)/((-2)/12). Let i(x)