+ 4*g + 3. Suppose 7*i - 5*l = 4*i + 19, -l = 5. Let m be r(i). Let o(s) = -248*s - 4. Is 18 a factor of o(m)?
False
Suppose 23*g - 218 = -11. Is (15/(-20))/(g/(-12)) - -154 a multiple of 5?
True
Let o be ((-18)/6)/(0 - (-6)/(-4)). Suppose -o*d + 454 = 28. Suppose 4*k + 21 = d. Is k a multiple of 8?
True
Suppose -1857*t - 2*b = -1859*t + 31062, b = -t + 15527. Is t a multiple of 12?
False
Let i(k) = -2*k**3 + 4*k**2 + 2*k + 5. Let m be 14 - (0/1)/(-5). Suppose -11*n = -m*n - 6. Is 11 a factor of i(n)?
True
Suppose 130*c = 2290686 - 589376. Is c a multiple of 8?
False
Let r(p) = -10 + 6 + 5*p - 3*p + p. Let b be r(1). Is b/(-4) - 1532/(-16) a multiple of 6?
True
Does 11 divide 5/3*3 - (-9 - 514)?
True
Let d be ((-7)/(-14))/(2/(-8)). Let g be d/(3 - 59/19). Suppose -3*v + 5*c = -2*v + 13, -c = -2*v + g. Is 12 a factor of v?
True
Suppose -3*i - 261 = -3*b, -183 = -2*b + i - 9. Let v(n) = -91*n + 2*n**2 - b*n - 10 + 171*n. Is v(8) a multiple of 6?
False
Does 13 divide (-2)/(8 + 392720/(-49088))?
True
Let b = 36 + 598. Suppose -3*o - b = -5*x, -x - 3*o + 366 = 2*x. Suppose 4*u + 5*d = x, -5*u - d - d + 169 = 0. Is u a multiple of 15?
False
Let n be 9 + -1*1032/4. Let c = n + 418. Does 28 divide c?
False
Let p be 0*(-2 + 2 - -1). Suppose -9*h + 2547 = -0*h. Suppose -7*q - h + 1102 = p. Is q a multiple of 13?
True
Let h(u) = -u**3 - 16*u**2 + 30*u + 47. Suppose 11*i = -149 - 60. Is h(i) a multiple of 35?
True
Let b(s) = 9*s**2 + 25*s - 4336. Does 15 divide b(66)?
False
Let s be (-13384)/392 + ((-6)/(-14))/3. Let z be 1*65 - (3 - 2). Let w = z - s. Is 14 a factor of w?
True
Let a(c) = -3*c**3 + 11*c**2 + 8*c - 36. Is a(-9) a multiple of 33?
True
Suppose 8*w - 2*x - 20 = 3*w, 2*w + 4*x - 32 = 0. Suppose 4 = 2*h - w. Suppose -h*d + t + 175 = 0, t - 3*t = d - 24. Does 17 divide d?
True
Is 4 a factor of 900*((-11)/((-33)/34) + -6)?
True
Is 4 a factor of (-253010)/(-28) + (-6)/117 + (-495)/24570?
True
Let z(q) be the second derivative of 5*q**4/6 - q**3/6 - 15*q**2/2 - 339*q. Suppose -5*j + 19 + 6 = 0. Is 16 a factor of z(j)?
False
Suppose 4*f + 3*p + 10 = 5*f, f = -2*p - 10. Let h be (f + (-3)/(-6))*-2. Suppose 0 = 9*n - h*n - 216. Does 16 divide n?
False
Suppose -362 - 568 = 6*j. Suppose 325 = 38*t - 37*t. Let i = j + t. Does 34 divide i?
True
Suppose -13*l + 28 = -6*l. Suppose -l*y + 750 = 2*y. Does 5 divide y?
True
Let i(s) = s**3 - 64*s**2 - 570*s - 117. Does 9 divide i(76)?
True
Let z = -38460 - -58778. Is z a multiple of 149?
False
Suppose 10850 = -26*k + 16*k. Let c = k + 1556. Is 5 a factor of c?
False
Let n be (60 + -2)/1*-1. Suppose z = -d - 3 + 14, 46 = 5*z - 4*d. Is 25 a factor of z/(-1)*(2 + n/4)?
True
Suppose -l + 6 = -0*l - 5*w, -12 = 5*l - 4*w. Let k be 0*(-10)/20*l/(-6). Let y = 33 + k. Does 18 divide y?
False
Let z(o) = -o**2 + 6*o - 2. Let s be z(5). Suppose 4*v - s*l - 247 = 0, 3*v + v + 4*l = 212. Is 5 a factor of v?
False
Let o = 5585 - 1826. Is o a multiple of 21?
True
Let l = -5237 - -9513. Does 17 divide l?
False
Let q = 5544 - 2439. Does 69 divide q?
True
Suppose -1 = -5*s - 5*w + 4, 2*w - 4 = -3*s. Does 15 divide 21 + -24 - (-448 - (s - 3))?
False
Let o(l) = 2*l**2 - 168*l + 150. Does 88 divide o(129)?
False
Suppose -v + 50498 - 172052 = -4*u, -2*u = v - 60768. Does 21 divide u?
True
Suppose -l + 3139 = -0*l + 3*x, 2*l = -3*x + 6260. Does 9 divide l?
False
Suppose 3 = 1343*j - 1342*j, 0 = d - 2*j - 58864. Is d a multiple of 145?
True
Is (2/(-10))/(12 - (-11807115)/(-983925)) a multiple of 32?
False
Let f(l) = -4*l + 24. Let b(v) = -2*v**3 - 8*v**2 - 3*v - 2. Let q be b(-5). Let n = 57 - q. Is 4 a factor of f(n)?
True
Let q = -29 + 55. Suppose 2*o - 7*c = -2*c - 7, 5*o - 4*c + q = 0. Is 11 a factor of (4 - o)*-5*-1?
False
Let a be (-2 + -143)*6/(-6)*-1. Let b = a - -1164. Does 67 divide b?
False
Let b(o) = -6*o + 103. Let x be b(15). Does 4 divide ((-11)/4 - 1)/(x/(-1040))?
True
Let j(i) be the second derivative of -i**5/20 + 5*i**4/12 + i**3/6 - 5*i**2/2 + 3*i. Let a(t) = -t**3 - 15*t**2 + 54*t - 3. Let v be a(-18). Does 5 divide j(v)?
False
Suppose -5*n = 10, 33*n - 32*n - 13673 = -5*v. Suppose 4*p - 3*m = v, -2*p = -0*m - 5*m - 1385. Is p a multiple of 8?
True
Suppose -3*g = -8*g - 240. Let w be (40/(-15))/(2/g). Is 7 a factor of 624/14 + w/(-112)?
False
Let b(h) = 4*h**2 + 10*h - 4. Let w be b(4). Let x = -56 + w. Does 4 divide x?
True
Let n(z) = -z**2 - 2*z + 1. Suppose 3*x = -3*j - 12 - 3, 11 = -x - 3*j. Let g be n(x). Does 6 divide 4 - (1 + g + -19)?
False
Let y(t) = 7*t**2 - 4*t. Let r be y(4). Suppose -z + r + 15 = 0. Is 39 a factor of z?
False
Let x(q) = 2*q + 8. Let c be x(-5). Let w be c/20 + (-105275)/(-250). Suppose -5*n + w = -384. Does 23 divide n?
True
Suppose -46*d = 573194 - 2138482. Is 181 a factor of d?
True
Suppose -12*a = -6*a. Suppose -177 = -5*k + q - 0*q, -3*k = 4*q - 120. Suppose a = -t - k + 191. Is 31 a factor of t?
True
Suppose 60*w + 205927 - 943 = 99*w. Does 53 divide w?
False
Let z = 159 - 99. Suppose 55*y - z*y = 130. Is 17 a factor of (-8)/((-104)/1341) - (-4)/y?
False
Suppose -5*t - 79 = 4*z, -5*z = -0*t - 2*t - 25. Is (1 - t - 2)*(-27)/(-6) a multiple of 9?
True
Let h(l) = -l**3 + 2*l**2 + 31*l - 27. Is h(-15) a multiple of 9?
False
Is 10 a factor of 959386/228 - 4/(-24)?
False
Let t = -6 + 8. Suppose -9*j + 5*j = -4*u - 80, -t*j + 26 = 5*u. Is 8 a factor of j?
False
Suppose 4*h - 33*o = -38*o + 12114, 3*h - 9120 = 2*o. Is 66 a factor of h?
True
Is 35 a factor of (-840)/(8 - (-350)/(-42))?
True
Suppose 2*p = 323 + 149. Let d be (4/7)/(753/(-84) - (60 - 69)). Suppose -11*u - d = -p. Is u a multiple of 2?
True
Does 37 divide ((-1122)/6)/(2/(-74))?
True
Let h be (((-10)/3)/1)/((-2)/(-138)). Let r = h - -388. Is 39 a factor of r?
False
Suppose 0 = -3*g - 9, -9*y = -11*y - 2*g + 12074. Is y a multiple of 35?
False
Suppose -2*g + 29 + 27 = 0. Suppose -n = 46 - g. Let w = 21 - n. Does 10 divide w?
False
Let p be (-4)/(4/12*6) - -125. Suppose -181 - p = -2*l. Suppose -l = -4*o + 3*o. Does 8 divide o?
True
Let f = 292 + -290. Is 8 a factor of (41 + f)/(13/117)?
False
Let u(l) = 125*l**2 - 52*l + 945. Does 33 divide u(14)?
True
Let i = -3 - -1. Let g = 48 - i. Suppose p - 6*p + g = 0. Is p a multiple of 4?
False
Let p(a) = a**3 - 23*a**2 - 50*a + 2. Let u be p(25). Suppose -4*g + 4*d = u*d - 900, -2*d + 438 = 2*g. Is g a multiple of 8?
False
Suppose -2*d - 3*d = 0. Let v = 23 - -237. Suppose q - 282 + v = d. Is q a multiple of 11?
True
Let d = -1882 - -3864. Is 9 a factor of d?
False
Let j = 4531 + -1868. Is 7 a factor of j?
False
Let t(c) = -8*c + 97. Let o(y) = 2*y - 24. Let l(w) = 22*o(w) + 6*t(w). Does 3 divide l(6)?
True
Let q(u) = -654*u + 62. Let w be ((-2)/(-6))/((-109)/654). Is q(w) a multiple of 27?
False
Is 8 a factor of ((-49)/14)/(-7)*-7*-844?
False
Let b(r) = 876*r - 7716. Is 113 a factor of b(15)?
True
Let c = -197 + 647. Suppose 0 = 7*h - 2*h + c. Is 14 a factor of (0 + -2)*(h/4 - -1)?
False
Let g be (857/(-6) - -1) + 11/(-66). Let a = -135 - g. Suppose 2*l = -q + 288, 11*l - a*l = -4*q + 576. Is 18 a factor of l?
True
Suppose 0 = 23*i - 197502 + 7016. Is i a multiple of 21?
False
Let i be -4*(-4)/(-16) - (-1 - 15). Suppose i*q - 3737 = 1903. Is 8 a factor of q?
True
Let j(z) be the second derivative of -17*z**3/3 - z**2 - 2*z - 2. Does 84 divide j(-5)?
True
Let i(c) = -67*c**2 + 33*c**2 - 14*c**3 + 39*c**2 + 2*c. Does 23 divide i(-2)?
False
Let d(l) = 328*l**2 - 134*l + 1196. Does 157 divide d(10)?
True
Let l(v) = 124*v**2 - 162*v - 936. Does 18 divide l(-6)?
True
Let v = 38 + -41. Let m(f) = 10*f**2 + 3*f + 8. Let p be m(v). Suppose 0 = -3*q - 3, -2*x + 3*q - 2 + p = 0. Does 11 divide x?
False
Suppose -4147 = 132*s - 136*s + 3*m, -5186 = -5*s + 3*m. Is 24 a factor of s?
False
Let g = 1289 - -4678. Is 117 a factor of g?
True
Let m(v) = -26*v + 9. Let s be m(-10). Suppose -3*g + s = -145. Suppose -w = o - 4*w - g, 0 = 3*o + w - 454. Is 19 a factor of o?
False
Let s be (-10)/45*36/8. Let a(i) = -31*i**3 + 5*i**2 + 11*i + 8. Is 11 a factor of a(s)?
True
Suppose -14884*o + 347696 = -14868*o. Is o a multiple of 64?
False
Let j = 8385 - 5919. Is 18 a factor of j?
True
Let c be 18/8*-24*(-1)/(-9). Let m(h) = -10*h**3 - 58*h**2 - 6*h + 1. Is m(c) a multiple of 9?
False
Let l = -145 + 215. 