). Suppose -n = -o - m, 139 = k*n - 4*o + 2*o. Is 13 a factor of n?
False
Is (-4 - 91/(-21) - 0)/(10/111750) a multiple of 149?
True
Suppose g - 2970 = 2*t + 7468, 3*g - 4*t = 31328. Is g a multiple of 78?
True
Suppose -1588*n - 10360 = -1625*n. Is 10 a factor of n?
True
Let z(k) = -2*k**2 + 33. Let m be z(6). Is 238*((-26)/m)/(4/6) a multiple of 17?
True
Let d = -300 + 293. Let a(t) = -2*t**3 - 5*t**2 + 24*t + 80. Does 7 divide a(d)?
False
Let v(g) = g**3 - 29*g**2 + 74*g + 720. Is 40 a factor of v(42)?
True
Does 83 divide 699594/27 - 6 - 10/(-90)?
False
Suppose -226*l + 90*l = -1135192. Is l a multiple of 37?
False
Let j = -907 + 37408. Is 35 a factor of j?
False
Let f(x) = 81*x - 846. Is 18 a factor of f(22)?
True
Let r be (2/(-4))/(1/(-12)). Let g(p) = 2*p**3 - p**2 - 5*p - 5. Let f be g(r). Let s = f + -235. Is s a multiple of 31?
False
Let p be (-132)/10*6/12*-10. Suppose 0 = 2*w + t - 410, -p = -w - 4*t + 153. Is w a multiple of 7?
True
Suppose 44*g - 31*g = 300*g - 8083355. Is 9 a factor of g?
False
Let r be (3/(-1) + -2)*332/10. Let h be (r/(-6))/(24/(-9) + 3). Does 12 divide (h/(-4))/(14/(-56))?
False
Let x(c) = 7*c**3 + 2*c**2 + 11*c - 12. Let b be x(1). Does 2 divide 7 - 58/b - 113/(-4)?
True
Let l(k) = k + 1. Let v(i) = 28*i**2 - 40. Let u(c) = -3*l(c) + v(c). Is u(-7) a multiple of 75?
True
Let s = 0 - 0. Let y(q) = 21*q - 9 - 20*q + 66 + 19 + 7. Does 9 divide y(s)?
False
Let i(v) = -2*v**3 - 6*v**2 + 7*v - 2. Let j be i(-4). Suppose s = 4*r - j*s - 27, 3*r = 2*s + 21. Suppose -r*d = 4*d - 364. Does 2 divide d?
True
Let x(r) = -49*r - 186. Let c be x(-14). Let l = -120 + c. Is l a multiple of 43?
False
Suppose 2328 = -23*s + 47553 + 86657. Is s a multiple of 122?
True
Let f be (-142)/8 + (-2)/8 + -3. Is 10 a factor of (f + 36)/(3/38)?
True
Let u = -1617 + 1767. Is u a multiple of 6?
True
Suppose 11 = 4*a - 7*n + 4*n, -a + n + 2 = 0. Suppose -8*h + a*h = -15. Is 23 a factor of 1/(-1)*((-12 - h) + -6)?
True
Suppose -5*v = 35*v - 63640. Does 21 divide v/4 + (-265)/(-212)?
True
Suppose 5*k - 4*q = 0, 4*k + q - 9 = 3*k. Suppose -2*h - 8 = 0, 8 + 0 = 2*p - h. Suppose -j + p*t = j - 90, k*t - 198 = -5*j. Does 6 divide j?
True
Let z = 6706 + -1557. Is z a multiple of 19?
True
Let f(y) be the second derivative of 14*y**3 + 65*y**2 + 252*y. Does 62 divide f(11)?
True
Let f(n) = -1255*n - 1417. Does 101 divide f(-5)?
False
Let u(d) be the third derivative of 0*d + 19/24*d**4 + 4*d**2 - 1/60*d**5 + 0 - 3/2*d**3. Is u(10) a multiple of 24?
False
Suppose 13*b + x = 11*b + 20144, -5*x + 10081 = b. Does 27 divide b?
True
Let l be 3/2*(-2)/3 + 3. Suppose 4*d - g - 13 = 0, -l*g = -6*d + 4*d + 8. Suppose d*r + 2*m - 356 = 0, -2*r - 3*m + 238 = -m. Does 10 divide r?
False
Suppose 5*l = -4180 + 27645. Does 38 divide l?
False
Let q = 49261 - 41574. Is q a multiple of 12?
False
Suppose -3*c = j - 9601, 0 = 3*c + 65*j - 66*j - 9599. Is 20 a factor of c?
True
Suppose -4095 = 23*h - 14*h. Let d = h + 463. Does 2 divide d?
True
Let r = 867 + -761. Suppose 3*n - 4*n + 4 = 0. Suppose 3*o - 297 = b, -n*b + 6*b = -o + r. Is 19 a factor of o?
False
Let t be -1 + 94/10 + (-4)/10. Suppose -4*l + y = -4*y - t, 4*l - y = 8. Suppose 0*k - l*k = -50. Does 16 divide k?
False
Suppose 3*z - 62 = 5*y, -36 = -2*z - y + 3*y. Let j = z - 4. Is 15 a factor of (-4 - 108/(-8))*j?
False
Suppose 4*u - 13*u + 90 = 0. Suppose -2*o - u = 0, -2*k = 5*o + 38 - 447. Is 27 a factor of k?
False
Let g be (-11)/33 + (20/6 - 1). Suppose c - 2 = 3*p, g*c + 3*p - 3 - 37 = 0. Suppose -d + 54 = -c. Is d a multiple of 17?
True
Suppose 22*u - 106 = 114. Suppose -24 = -2*x - 2*p, p + 8 = -4*x + 59. Suppose -u*r = -x*r + 588. Does 14 divide r?
True
Let v be (3/(-4))/(2/(-8)). Suppose -v*f + 5*b - 2*b + 1413 = 0, 5*f - 3*b - 2359 = 0. Is 43 a factor of f?
True
Let x(n) = 24*n + 347. Does 11 divide x(41)?
True
Suppose -5*v + 16100 = c, 3*v - 1937 - 7735 = -3*c. Is v a multiple of 73?
False
Suppose 5*h - 2*h - 3 = 0. Let g(b) = -3*b**2 + 9*b + 4. Let t be g(4). Is 3 a factor of (4/t)/((-2)/96*h)?
True
Suppose 44*x + 9980 - 47424 = 0. Let y = x + -727. Does 29 divide y?
False
Let x(n) = -4*n + 45. Let b be x(-12). Let w = 326 - b. Does 10 divide w?
False
Let q be (70 - (-2 - -2))/(4/4). Let h = q + -23. Does 7 divide h?
False
Suppose 0 = i - 2*g - 21901 + 2299, 2*i + 2*g - 39180 = 0. Does 101 divide i?
True
Let c(f) be the second derivative of 3*f**5/5 - 5*f**3/6 + 2*f**2 - 2*f. Let z(q) = -q**3 + 5*q**2 + 36*q + 1. Let l be z(-4). Is c(l) even?
False
Suppose -11167 = 26*m - 44551. Does 4 divide m?
True
Suppose -v + 4*b = -b + 75, 0 = -5*v - 3*b - 487. Let j = -45 - v. Is j a multiple of 6?
False
Let i be (5/(15/(-27)))/(-3). Suppose -2*w - 4*p - 148 = 0, 3*w = -0*p - i*p - 210. Let x = -50 - w. Is 4 a factor of x?
True
Let y = 100 - 90. Does 27 divide (12/5)/(y/1575)?
True
Suppose 52701 = 5*v - s, 5*v - 5*s - 3316 = 49369. Is v a multiple of 279?
False
Let t = -2704 + 2982. Does 18 divide t?
False
Suppose 2*v - 124 - 1530 = h, 0 = -4*v + 5*h + 3302. Is v a multiple of 9?
True
Let l be 407/88 + 6/16. Suppose 11*x - 1170 = 6*x + l*j, 0 = 5*j. Is x a multiple of 16?
False
Let d be (-3)/9 + (-201)/(-9). Let x = -18 + d. Suppose i - 3*r = x, -4*r + 57 = 3*i - 7. Does 4 divide i?
True
Let o(d) = d**3 + d + 56. Suppose 1 = 47*w - 48*w. Let j(i) = -i**3 - 2*i**2 + i + 2. Let m be j(w). Does 7 divide o(m)?
True
Is -2*(-120)/(-16) - -11439 a multiple of 16?
True
Is 19 a factor of 3/(-6) + (14/7 - (-29102)/4)?
True
Let l(s) = 33*s**3 - 2*s**2 + 22*s - 75. Is l(4) a multiple of 13?
True
Suppose -3*g = h - 16003, 0 = 4*h + 4*g + 25198 - 89170. Is h a multiple of 28?
True
Let m be -6 - (5 + 1 + 8). Does 5 divide (-716)/m - 4/5?
True
Suppose 0 = -6*z + 20 - 8. Suppose 5*f = -25, -c = z*c + 3*f - 3000. Suppose 5*h = -5, -5*n = -n - h - c. Does 17 divide n?
False
Suppose -138*i = 18*i - 6704568. Is i a multiple of 29?
True
Let f be (-44)/(-132)*39/1. Suppose f*k = 443 + 909. Is k a multiple of 15?
False
Let o = -931 - -543. Let n = o - -798. Is 41 a factor of n?
True
Suppose 0 = -5*w - 1028 + 273. Is 30 a factor of (-9 + 11)*w/(-2)?
False
Let p(a) = 2*a**3 - 1 - 5*a**3 - 3*a + 0*a**3 + 10*a - 6*a**2. Let k be p(-6). Suppose 3*q + 65 = -5*j + k, 5*q - 56 = -j. Does 11 divide j?
True
Suppose 36*s = 33*s - 78. Let p = -23 - s. Suppose p*x = 412 + 35. Is 12 a factor of x?
False
Suppose -4 = -3*f - 7. Let z(h) = -4*h. Let i be z(f). Suppose -5*o = 4*b - 475, 8*b = 5*o + i*b - 515. Is 11 a factor of o?
True
Let m = -8 - -34. Suppose -23*v + m*v - 939 = 0. Let x = -211 + v. Is 34 a factor of x?
True
Let b = -151 - -112. Is (1/(4/b))/((-3)/80) a multiple of 13?
True
Let a = 122207 - 79915. Is 388 a factor of a?
True
Let l = -439 - -487. Suppose 3*f - 67 = -5*v, -5*v = -17*f + 19*f - l. Does 6 divide f?
False
Suppose -j - 3*w = -6*w - 139, 104 = j + 4*w. Suppose 999 = 133*a - j*a. Does 3 divide a?
True
Let a(q) = 26*q + 9. Let l be a(-3). Let u be l/9 - ((-13)/(-3) - 5). Is ((-6)/2 - -1)*(-44 - u) a multiple of 35?
False
Suppose 0 = 24*u + 150*u - 224460. Is u a multiple of 3?
True
Let p = 31 - 76. Let n be (1782/p)/(6/(-20)). Suppose 6*i = 3*i - 3*w + 78, 0 = -4*i + 3*w + n. Is i a multiple of 19?
False
Let s(b) = -3*b + 21. Let x be s(7). Suppose -3*w - 2*u + 11 = -x*u, 0 = 2*u - 2. Suppose 0*t + 2*y - 13 = -w*t, 0 = -5*t + y + 39. Does 7 divide t?
True
Suppose -308*g + 3843576 = 32*g - 3784664. Does 142 divide g?
True
Let q = 30619 + -21408. Is 134 a factor of q?
False
Suppose -5*q + r + 2*r = -22, -3*r = 3*q - 18. Suppose -4*w - 2108 = -5*d, d + q*w - 3*w = 416. Does 35 divide d?
True
Let q = -672 - -900. Suppose 0 = -u - 69 - 89. Let o = q + u. Does 7 divide o?
True
Suppose -2*g - 79*l + 75*l = 2976, 5*g + 7451 = l. Let w = g + 3266. Is 12 a factor of w?
True
Let l = -5549 - -12053. Is l a multiple of 98?
False
Let t be -3*-1*1/3 + 9. Suppose t = 14*w - 12*w. Suppose w*c - 95 = -3*l, -l + 23 = -c + 2. Is 5 a factor of l?
True
Let c(l) = -191*l**3 + l**2 - 2*l - 5. Let v be c(-2). Let p = v + -1063. Is p a multiple of 18?
True
Let f(h) = -14*h**3 + 10*h**2 + 191*h + 93. Is 26 a factor of f(-10)?
False
Let r(q) = -10*q - 69. Let h be r(-7). Is 6 a factor of 12/h + (-24)/12?
False
Let z(f) = 11*f**3 + 5*f**2 - 2*f + 12