(g) = 16*g + 12. Let v = 7 - 2. Let w be m(v). Suppose x + 3*u - 20 = 0, -2*x + u - w = -5*x. Does 11 divide x?
False
Let y(q) = -q + 8*q + 2*q - 7*q - 6. Let f be y(4). Is 0 + -3 + 167 - f a multiple of 20?
False
Let b(i) = 2*i**3 - 3*i**2 - 12*i + 24. Let l be b(5). Suppose 14 = d - l. Suppose 198 = 9*a - d. Is 5 a factor of a?
False
Let z be 3/(-6) - (-8667)/54. Suppose 4*q - 240 = z. Does 20 divide q?
True
Let k(w) = -4*w + 4. Let z be k(0). Suppose -4*f - 24 = 4*y, -3 - 21 = z*f + 3*y. Let x(g) = -18*g - 27. Does 28 divide x(f)?
False
Let r(q) = 91*q**2 - 1. Let j be r(2). Let a = 840 - j. Suppose 5*l - 293 = a. Is 14 a factor of l?
True
Is 14 a factor of 2452/(3/(-45)*(-135)/18)?
False
Is (-594055)/(-145) - 7*32/(-3248) a multiple of 10?
False
Let r(u) be the first derivative of 25*u**2/2 + 4*u + 1. Suppose -38 = -11*a - 8*a. Is 9 a factor of r(a)?
True
Let b be (-60)/(-24)*(-12)/(-10). Suppose 2*n = 0, -1170 = -b*v - 17*n + 13*n. Is v a multiple of 15?
True
Let k(r) = r**3 - 5*r**2 - 7*r + 4. Let j be k(6). Let a be (-14)/(-16)*(-27 - -35). Does 16 divide (-1 + a)/((-314)/160 - j)?
True
Suppose 5*x - 375 = -4*d, -3*d + 0*x - x + 284 = 0. Suppose 0 = -r + 5*r + 36. Let j = r + d. Is j a multiple of 19?
False
Is (-3 + -1141)*(64/(-24) - 2/(-3)) a multiple of 22?
True
Let s = -310 - -315. Let o(l) = 3*l**2 + 7*l + 5. Does 23 divide o(s)?
True
Let m = 5362 - 3350. Suppose -2498 = -41*a + m. Is 2 a factor of a?
True
Let f = 2825 + -1947. Does 4 divide f?
False
Let h be (-100)/(-8)*(-1050)/(-3). Suppose h = 12*y - 437. Is 45 a factor of y?
False
Suppose 3*x + 8*c - 12*c = 24171, 24 = -4*c. Does 27 divide x?
False
Is 998/3493 - 147388/(-14) a multiple of 16?
True
Does 10 divide (-6)/(-7)*(-6 - (-160)/15)*370?
True
Let g be 77/2*(-40)/(-70). Suppose -3*v + 169 = g. Suppose -j - v = -89. Does 40 divide j?
True
Let y(h) = -h**2 - 57 + h + 57 + 3*h**3. Let n be y(1). Suppose 3*d + 1 = -b, -3*b - n*d = -6*d - 9. Is 2 a factor of b?
True
Let v(b) = 2*b + 9 + 3*b + 2*b**2 - b**2. Suppose 3*p - 72 = -51. Is v(p) a multiple of 31?
True
Is 44/(-66) - ((-10430)/90)/(2/438) a multiple of 251?
False
Suppose x + 0*m - 18 = 3*m, -2*m - 16 = -x. Let l be (-2)/x*-3*(-6 - -10). Suppose -183 = -l*p + 55. Is p a multiple of 17?
True
Suppose -8*i = -18*i + 20. Let t(l) = 2*l - 16. Let u(j) = j - 15. Let w(z) = 5*t(z) - 6*u(z). Is 6 a factor of w(i)?
True
Does 6 divide 3273 + ((2 - 2) + -8 - -17)?
True
Suppose m - 815 = 1623. Suppose s = 3*x - 1827, 4*x - 5*s - m = -3*s. Is 76 a factor of x?
True
Let w(n) = 2*n - 32. Let u be w(15). Let p be (-27520)/(-90) - u/9. Is (14/21)/(-2 + 616/p) a multiple of 6?
False
Let x(k) = -k**2 + 11*k + 22. Let g be (2 + 2)*-3*7/(-6). Let j be x(g). Is 13 a factor of (8/j)/(-3 - (-1079)/360)?
False
Is 7 a factor of (134 - -2)*1470/112?
True
Let f(d) = 317*d**2 + 10*d + 41. Is 4 a factor of f(-6)?
False
Suppose -3*l - 2*w + 171 = 3*w, -5*w + 233 = 4*l. Suppose -199 = -2*d + 3*q - l, -5*q = -4*d + 279. Does 19 divide d?
True
Let q(f) = 15*f**3 + f + 13 - 54*f**3 + 45*f**2 - 49*f**2. Does 88 divide q(-3)?
False
Let x be (-1 + (2 - 1))*(-9)/(-18). Let r(k) = k**3 - 2*k + 207. Let y be r(x). Let w = -141 + y. Is 22 a factor of w?
True
Let i(k) = k**2 + 4*k. Let l be i(-5). Suppose 2*h = 4 - 0, 0 = 3*t - l*h - 968. Is t a multiple of 28?
False
Let a = 455 - 1519. Let v = -362 - a. Is v a multiple of 18?
True
Let f(z) = 8*z + 11. Let m be ((-4)/6)/(0 + (-2)/(-12)). Let q be f(m). Does 16 divide 4 + (-1014)/q - (-4)/(-14)?
False
Let t be ((-44)/12)/((-1)/6). Let k(a) = a**2 - 18*a - 2. Let d be k(t). Let m = -62 + d. Is m a multiple of 12?
True
Suppose 2*w = 1579 + 2157. Let p be (-76)/(-19) + 84/(-3). Is w/14 - p/(-56) a multiple of 13?
False
Is 113 a factor of -19 + 9 + (-1 - -7836)?
False
Let t(d) = 77*d**2 - 3*d - 10. Let m(h) = h + 1. Let u(a) = 2*m(a) + t(a). Does 28 divide u(-3)?
False
Let r = -37 - -26. Let b(t) = -t**3 - 10*t**2 + 10*t - 6. Let l be b(r). Let u(a) = 3*a**3 - 6*a**2 - a - 9. Is 22 a factor of u(l)?
False
Let t(h) = -60*h**3 - 4*h**2 - 1. Let p be t(2). Is (-4)/(-7) + (-404274)/p a multiple of 11?
True
Suppose 3*b + t - 6549 = 0, 2*b + 2*b - 8748 = 4*t. Is (b/(-20))/(1/(-5)) a multiple of 78?
True
Suppose 0 = -2*r - 2*r + 88. Suppose -r*d = -19*d - 6. Suppose v = -d*v + 90. Is 4 a factor of v?
False
Suppose b + 2418 - 3634 = 0. Is b a multiple of 49?
False
Suppose -31 = -8*n + 17. Does 25 divide n + -4 + 1579 - 4?
False
Suppose 121 = q - 45. Suppose -4*f + q - 50 = 0. Let o = f - 9. Is o a multiple of 4?
True
Suppose 0 = -2*n - 9 + 13. Suppose -n*h - h = -54. Is 12 a factor of 336/h + 1/3?
False
Suppose 530*h + 8894 = q + 531*h, -5*q + 44486 = -3*h. Is 16 a factor of q?
True
Suppose -28560 = 44*j - 248*j. Does 7 divide j?
True
Let p(i) = -5*i**3 + 6*i**3 - 4*i**2 + 0*i**3 - i + 240. Is 30 a factor of p(0)?
True
Suppose -162*n + 111*n = -533154. Is 134 a factor of n?
False
Suppose -o + 40 = 3*u + 393, o - 583 = 5*u. Let z = 125 + u. Does 3 divide z?
False
Let k(h) = 2674*h**2 + 383*h - 3. Is k(3) a multiple of 33?
True
Let c be 2/(-17) + ((-3710)/238)/(-5). Is 32 a factor of (-9 - (-18)/3)/(c/(-928))?
True
Let b(p) = -p**3 + 45*p**2 + 23*p - 125. Is 77 a factor of b(45)?
False
Let s = 16227 + 14037. Is s a multiple of 97?
True
Let q(m) = -m**3 + 8*m**2 - m + 15. Let c be q(8). Suppose -4*b = c*t - 2*t - 1241, -b - 731 = -3*t. Is 5 a factor of t/(-14)*(24/(-7))/2?
True
Suppose 2*p + 0*p - 52 = 0. Let l = p - -45. Let f = l + 1. Is f a multiple of 8?
True
Suppose l + 10 = 3*u, -2*u + 9 - 1 = -2*l. Let f be 6 + -1 + -3 + u. Suppose -4*y - 6*i + f*i = -56, -y = i - 11. Does 5 divide y?
True
Let a = 52 + -92. Let b = 0 - a. Suppose 0 = 5*x + 2*n - 57 - 115, x = n + b. Does 17 divide x?
False
Let p = 4576 - 4259. Does 3 divide p?
False
Let l = 528 + -409. Suppose -416 = l*f - 127*f. Is f a multiple of 26?
True
Let f(r) = -30*r**3 + 7*r - 5*r**2 - 21*r + 10*r. Is f(-2) a multiple of 42?
False
Let z be 24/(-8)*-2*2/4. Suppose -v + m = -z, -v = 2*m - 3 - 3. Suppose 0 = v*o - 2*t + 14 - 168, 4*o - 3*t - 157 = 0. Is o a multiple of 13?
False
Let j(b) be the first derivative of -b**4/12 - 3*b**3/2 - 15*b**2/2 + 13*b - 13. Let a(o) be the first derivative of j(o). Does 3 divide a(-5)?
False
Suppose -176*y = -174*y + 16. Let r(f) = -2*f**3 + 2*f**2 + 20*f - 23. Does 51 divide r(y)?
True
Suppose 5*r + 54*p = 56*p + 23065, 0 = 5*r + 4*p - 23035. Does 208 divide r?
False
Suppose u = -0*u + 6. Let j(l) = l**3 - 4*l**2 - 14*l + 9. Let w be j(u). Is (24/20)/(w - (-1203)/400) a multiple of 45?
False
Suppose 3*a + 3*j - 21 = 0, -7*a = -2*a - 4*j - 53. Let f(n) = n**3 - 13*n**2 + 14*n - 16. Let v be f(a). Let b = 362 + v. Does 37 divide b?
True
Suppose -436*t = 116*t - 150*t - 1947690. Is t a multiple of 19?
True
Let p(t) be the first derivative of -t**4/4 + 13*t**3/3 - 17*t**2/2 - 5*t + 179. Is 4 a factor of p(11)?
False
Let b(k) = -k**2 - 53*k - 44. Let p be 24/150*5 - (-388)/(-10). Is b(p) a multiple of 36?
False
Let o = 16901 + -15643. Is o a multiple of 37?
True
Let p(h) = 50*h - 23. Let f be p(7). Let x = f - 94. Let r = -137 + x. Does 12 divide r?
True
Let t(x) = -10*x - 22. Let i be t(-2). Does 16 divide (5/(-2) - i)*(-604)/2?
False
Let x = 78 - 83. Let p be (4 + 106)/x - 2. Is -2*1245/p + 3/12 a multiple of 9?
False
Suppose 50*w - 4322 = 778. Suppose 110*y - 7920 = w*y. Is y a multiple of 15?
True
Suppose -3*f - 41067 = -3*o, 0 = -339*o + 335*o + 5*f + 54760. Is o a multiple of 23?
True
Let k(y) = -y**3 - 30*y**2 + 105*y + 238. Does 16 divide k(-34)?
False
Let f = -82 - -86. Suppose 2*l - 230 = -f*p, 0 = 5*p + 11*l - 8*l - 290. Does 5 divide p?
True
Suppose 0 = 4*o - 673 - 43. Let u = 271 + o. Is (-7)/(28/u)*-2 a multiple of 29?
False
Suppose -32*w + 36*w = t + 36154, 9070 = w + 5*t. Is 123 a factor of w?
False
Suppose 130*i - 116*i = 97020. Is i a multiple of 110?
True
Let t(d) be the third derivative of d**6/120 - d**5/20 - 5*d**4/24 + 2*d**3 + d**2 + 19. Let y = 11 + -7. Is 2 a factor of t(y)?
True
Suppose l + 4*l - 10 = 0. Let w(q) = -70*q + 422. Let s be w(6). Suppose l*o - 208 = s*r, 0 = 3*r - 4 + 1. Is 15 a factor of o?
True
Suppose 2*q = 2*g + q - 177, 3*g = -q + 278. Suppose -d - 2*d + 9 = 0. Suppose 4*r + g = d*t, 3 =