tiple of 21?
False
Let j = 528 + -340. Does 89 divide j?
False
Let x = 1 + 4. Suppose -4*i + 2*i + 2*s = -54, 81 = 3*i - x*s. Is 20 a factor of i?
False
Let k(m) = -m**3 + 7*m**2 - 2*m - 42. Is 14 a factor of k(-7)?
True
Suppose -4*x + 106 = 2*z, -20*z + 19*z + 33 = -3*x. Suppose -5*f - 3*a = -169, 0*f - 115 = -3*f + 5*a. Is 15 a factor of f*6*6/z?
False
Let b be 42/9 + (-4)/6. Suppose f = 4*a - 34, -b*a + 4*f - 1 + 29 = 0. Let v = a - -18. Is 13 a factor of v?
False
Let n(d) = 50*d**2 - d - 12. Is 63 a factor of n(-3)?
True
Let v(b) = 2*b - 2. Let j be v(4). Let i = 463 - 137. Suppose h - k = -j*k + 74, -4*h - 5*k = -i. Is 12 a factor of h?
True
Let o(j) = j**3 - 16*j**2 - 11*j - 6. Let s be o(17). Let z = -57 + s. Let r = -25 + z. Is 3 a factor of r?
False
Suppose -960 = -5*m + 3*f + 1042, 4*m - 1596 = f. Is m a multiple of 18?
False
Suppose -2*k = c - 10, 0*c - 20 = -4*k - 4*c. Suppose k*g - 428 = g. Is 31 a factor of g?
False
Let i(g) = 4*g**2 + g + 2. Let a be i(2). Let p = -21 + 25. Let y = a - p. Does 4 divide y?
True
Let q(f) = -5*f + 53. Let m be q(11). Let h(s) = -46*s - 5. Is h(m) a multiple of 14?
False
Suppose -344 = -5*x - 19. Is 11 a factor of 5018/x - (1 + (-8)/10)?
True
Suppose -3*i + 5*i - 66 = 0. Let u = i - -132. Is 29 a factor of u?
False
Let f be 1*(-1 - -4 - 3). Suppose -3*c + 14 = 5*r - 6, 2*c - 4*r - 28 = f. Does 5 divide c?
True
Is 18 a factor of ((-37)/(-3))/(57/513)?
False
Let h be (-26 + -2)*1/(-4). Let a = -6 + h. Does 4 divide a*(1 + -2) + 13?
True
Let j = 24 + -26. Let y be (-84)/(-10)*10/j. Let s = 4 - y. Is 15 a factor of s?
False
Let t be -3*(17 + 1) - -1. Let r be (t/(-2))/(3/(-6)). Is 3/4 + r/(-4) a multiple of 14?
True
Let s = 159 + -267. Let h = -58 - s. Is h a multiple of 25?
True
Let b(k) = 1 - 2 - 6*k - 5*k**3 + 6*k**3 + 9*k**2. Suppose -5*o = -4*g - 42, 3*o - o - 36 = 4*g. Is 32 a factor of b(g)?
False
Let c(b) be the first derivative of 3*b**2/2 - 7*b + 11. Let v be c(3). Suppose -v*i = -16 - 12. Does 12 divide i?
False
Let z(s) = 2*s**3 + 3*s**2 - s. Let u be z(-3). Let d be (4/(-3))/(u/54). Suppose d*f = -f + 208. Is 13 a factor of f?
True
Suppose -o - 4*x = 3, 0 = -3*o - 2*x + 11 - 0. Suppose -o*p - 5*d - 52 = -137, 4*p - 4*d - 92 = 0. Does 20 divide p?
True
Let k(c) = -c**3 - 13*c**2 - 58*c - 15. Is k(-7) a multiple of 4?
False
Let f = 763 + -1195. Let y = f - -620. Is y a multiple of 39?
False
Let n(v) = 39*v - 3. Let a be n(2). Suppose 11*l - 6*l = a. Does 5 divide l?
True
Let s(x) = -x + 20. Suppose -2 = -2*a, -8*n + 3*n = -4*a - 76. Let p = n + -16. Does 10 divide s(p)?
True
Suppose -2*l + 3*l - 19 = -3*v, 2*v + 3*l = 22. Suppose 0*f + 60 = -v*f. Is 3 a factor of (f/9)/(4/(-30))?
False
Let j(k) = -99*k - 118. Is j(-6) a multiple of 41?
False
Let p(v) = -13*v - 47. Suppose -i - 10 = 1. Does 24 divide p(i)?
True
Let m = 13 + -9. Suppose 0 = 2*l - m, 4*i - 109 = -i - 2*l. Let o = -9 + i. Is o even?
True
Suppose -5*x = -20, -2*j + x + 20 = 2*x. Suppose 3*p = 5*r - 396, -j*r - p = -9*r + 78. Is r a multiple of 27?
True
Let l be ((-8)/(-16))/((-1)/(-38)). Suppose 4*d - l = 21. Suppose -12*a = -d*a - 76. Is a a multiple of 18?
False
Let l(p) = 7*p - 15. Let z(b) = 13*b - 30. Let y(f) = 11*l(f) - 6*z(f). Let i be y(13). Does 2 divide 15/i*(-28)/(-21)?
True
Let m(l) = -l**3 - 4*l**2 - 4*l + 2. Let r be m(-3). Suppose 20 = 5*j - j, 0 = -3*c + r*j + 497. Does 58 divide c?
True
Suppose -3*o - 3 = 0, -2*k + o - 865 = -2518. Is k a multiple of 14?
True
Does 58 divide (-4392)/(-427)*(887/3 - -3)?
False
Suppose -26 + 11 = -5*q + 2*u, -4*q - 4*u = -40. Suppose q*j - j = 60. Does 9 divide j?
False
Let y be (-2)/3*18/3*1. Is 5 a factor of (-5 - 0 - y)/(1/(-41))?
False
Suppose -4*f - 1 = -3*m, -m + 2 - 3 = -2*f. Suppose -3*z + m + 36 = 0. Does 13 divide z?
True
Suppose -3*a - 4 = 2*m, 2*m = 3*a + 5*m. Does 6 divide (118/a)/(2/(-4))?
False
Let d = 1023 + -758. Is d a multiple of 18?
False
Suppose 3*o - 15 = -2*f - 0*f, -4*o = 4*f - 24. Suppose b = o*p - 7, 0 = -2*b - p + 5*p - 8. Suppose 2*q = b*d + 1 - 5, 2*d - 32 = -5*q. Is 3 a factor of d?
True
Let i be -2*9/6 + (-35)/(-5). Is 5 a factor of -5*(i/1)/(-4)?
True
Suppose -5*x = -4*c - x, -4*c + 3 = -3*x. Suppose -5*a - 10 = -3*a, -37 = -c*v - a. Is 14 a factor of v?
True
Let q(o) = o**3 - 11*o**2 + 11*o - 1. Suppose 5*x + 194 = -2*m, -2*x + 2*m = 2*x + 166. Let b = x + 50. Is q(b) a multiple of 3?
True
Let i(o) be the first derivative of 2*o**3/3 - 5*o**2/2 + o - 2. Is 4 a factor of i(6)?
False
Is -3 - -13*(-94)/(-2) a multiple of 19?
True
Let n = -570 - -906. Suppose -o + n = 7*o. Is o a multiple of 7?
True
Suppose 5*y = -8*t + 7*t + 277, -831 = -3*t - y. Is 4 a factor of t?
False
Is (-1)/(-6) - 246834/(-324) a multiple of 6?
True
Let t = 399 - 294. Does 10 divide t?
False
Suppose 2*m - 984 = -5*d, -3*d = -2*d - 3*m - 190. Suppose 4*b - d = -3*b. Is 7 a factor of b?
True
Does 4 divide 2194/10 - (-24)/(-60)?
False
Let f(r) = 5*r**3 - 14*r**2 + 84 + r**3 - 5*r**3 - 87 + 12*r. Is 15 a factor of f(14)?
True
Let s(r) = -r**3 + 5*r**2 - 2*r - 2. Let u be s(4). Let g be (u/15)/(2/(-20)). Is g/14 + 382/14 a multiple of 27?
True
Let g = 14 + -104. Let a be (34/(-4))/(9/g). Let n = -45 + a. Does 11 divide n?
False
Suppose 5*c - 4*m - 481 = 0, -4*m = c - 3*m - 98. Is (2 - (4 - 4)) + c a multiple of 9?
True
Suppose 1046*a - 1031*a - 3900 = 0. Does 5 divide a?
True
Suppose g - 19 = -2*p, 9 = 3*p - 6. Suppose 2*c + 22 = 2*i, 5*c + g + 14 = 3*i. Is 16 a factor of i?
True
Is 14 a factor of ((-10)/(-4))/(2/300 - 0)?
False
Let x = 3230 - 2977. Is x even?
False
Let u(p) = -p**3 + 2*p**2 + 3*p - 3. Let l be u(2). Suppose -2*g = -l*g + 47. Is g a multiple of 9?
False
Let m(f) = 27*f**2 + 2*f + 1. Let y be m(-1). Let r(k) = -k**3 + 17*k**2 - 25*k - 15. Let u be r(15). Let g = u - y. Is 17 a factor of g?
True
Suppose -8*x + 212 - 268 = 0. Let t be (0 - -1)/(2/4). Is 21 a factor of ((-26)/t + 4)*x?
True
Let m be (-1680)/(-165) + -1 + 18/22. Suppose 11 = 7*l - m. Is l even?
False
Does 5 divide 2/(-5 - 3) + (-1681)/(-4)?
True
Let t = 288 + -253. Is t even?
False
Let a = -26 - -28. Does 13 divide (11/a)/(23/460)?
False
Let g be (0 - 33/(-2))/(9/24). Let v = g + -37. Is 4 a factor of v?
False
Let h = 74 - 71. Suppose -o + 0*o = -2*l + 131, 2*l = -h*o + 143. Is l a multiple of 15?
False
Let a(o) = -o**2 - 6*o + 5. Let f be a(-6). Let v be (48/f)/(-4)*-5. Is 8 a factor of v + (6/(-3) - 0)?
False
Let a(q) = -59 - 7*q - 3*q + 15. Does 16 divide a(-14)?
True
Suppose -5*f + 88 = -5*k - 177, -4*k = -3*f + 154. Is 26 a factor of f?
False
Let x(j) = j**3 - 7*j**2 - 7*j - 2. Let a be x(8). Is 19 a factor of a/(-10) + (-2072)/(-70)?
False
Let h = 50 - 9. Suppose 4*n = n - 4*j + h, -65 = -3*n + 2*j. Is 5 a factor of n?
False
Suppose 10*k = 166 + 514. Does 68 divide k?
True
Does 50 divide (4588/(-6))/((-120)/(-9) - 14)?
False
Suppose -5*q + 10*q = -10. Let i be (q - 15/(-6))*0. Suppose i = r - 49 + 5. Does 13 divide r?
False
Suppose 3*i - 1 = 5. Suppose -4*b = -i*b. Suppose 22*y - 27*y + 700 = b. Is y a multiple of 33?
False
Let c = 11 + -26. Does 5 divide (c/(-12))/((-2)/(-16))?
True
Let i(w) = w**3 - 14*w**2 + 31*w + 2. Let j be i(13). Suppose -4*k + 596 = -5*u - j, 0 = k + 4*u - 208. Does 14 divide k?
False
Let w be 2/(10 - -2) + 31/(-6). Is w/((-15)/8)*(-891)/(-44) a multiple of 3?
True
Suppose 637*l - 642*l + 680 = 0. Does 17 divide l?
True
Is 288/((-13)/130 - 2/(-4)) a multiple of 45?
True
Let l = 1502 + 449. Suppose -571 = 10*b - l. Is b a multiple of 46?
True
Suppose 3*r - 3*u + 755 = 3215, 2*u = 4*r - 3288. Is 37 a factor of r?
False
Suppose 4*j = -4*h + 3520, 204*h - 207*h + 2632 = j. Is 31 a factor of h?
False
Let a be ((-42)/(-24))/((-3)/(-12)). Suppose -z = -a + 1. Let o(h) = 4*h - 12. Is o(z) a multiple of 12?
True
Suppose 257 = -6*o + 1373. Is o a multiple of 6?
True
Suppose 5*w = -3*c + 1680, -5*c + 5*w + 3793 = 993. Is 20 a factor of c?
True
Let x(y) = -23*y - 18. Let b be x(-8). Suppose b = -4*c + 554. Is 32 a factor of c?
False
Let p = -12 + 43. Let c = -88 + 144. Let a = c - p. Is a a multiple of 17?
False
Let g(c) = c**3 - 6*c**2 - 7*c. Let f be g(7). Suppose -i + f*w = w - 104, -w = 5*i - 512. Does 17 divide i?
True
Let t = -4 + 12. Let u(y) = y**2 - 9*y + 11. Is u(t) a multi