 4/16). Suppose 0 = 4*g + 5*h - 33, -f*h - 34 + 10 = -g. Suppose 0 = -g*o + 10*o + 96. Is o a multiple of 17?
False
Let f = 4 - -6. Suppose 28 = 2*u + f. Let d = u + 26. Is 12 a factor of d?
False
Suppose -899 = 6*n - 20579. Does 10 divide n?
True
Let u(b) = 2*b**2 + 12*b + 10. Let a be u(-6). Suppose -15*m + a*m = -10. Is 2 a factor of 0*(3 - m) + 14?
True
Let c(j) = -17*j + 1. Let x be c(-1). Suppose 4*r - 4*u = -0*u, -2*r = 4*u - x. Suppose -n = -r*s - 79, 2*n - 4*n + 166 = 2*s. Is n a multiple of 21?
False
Suppose -4*p + 3*d + 17 = 0, 5*p + 14 = 3*d + 36. Suppose -298 = -3*f + 3*i + i, 4*i = p*f - 502. Is f a multiple of 19?
False
Suppose -2*m + 15 = 3*m. Suppose -5*b + u = -3*b - 183, 185 = 2*b - 3*u. Suppose -b - 59 = -m*i. Does 10 divide i?
True
Let l be ((-10)/6)/(1 - (-14)/(-12)). Does 20 divide (-1)/(-1)*(l + 30)?
True
Let q(g) = g**2 - g + 4. Let v be q(6). Suppose 3*k - 2*d - d = -105, 2*d - v = k. Is 2*(k/2)/(-1) a multiple of 19?
False
Does 4 divide ((-160)/6)/(4/(-24))?
True
Let t(w) be the third derivative of 35*w**4/24 + w**3/6 - 16*w**2. Does 12 divide t(1)?
True
Let a = 32 - 29. Suppose -a*i + 2*i + 143 = -5*h, h = -5*i + 689. Is 23 a factor of i?
True
Let f(u) = 4*u + 2. Let c(n) = -63*n - 33. Let w(d) = -2*c(d) - 33*f(d). Is 12 a factor of w(-6)?
True
Suppose -4*a + j = -1413, 2*a - 3*j - 63 = 636. Is a a multiple of 11?
False
Let t(h) = -2*h - 2. Let k be t(-2). Let o be 1/((-1)/k) - 8. Does 13 divide (-76)/(-6) + o/(-30)?
True
Let l(d) = -10*d**3 - 3*d**2 - 8. Is 70 a factor of l(-3)?
False
Suppose 2*x = 5*v + 7 - 1, -3*v - 15 = -5*x. Suppose -100 = -v*h - 2*h. Suppose -170 = -3*o - h. Is 20 a factor of o?
True
Suppose 387 = 2*w - 81. Does 18 divide w?
True
Let x = 30 + -23. Suppose m + 12 = x*m. Suppose -3*h + 12 = 0, 4*h + 60 = m*c - h. Does 10 divide c?
True
Let y(z) = 2*z**2 + 9*z + 3. Let i be y(-4). Let n be (-1 + (-17)/i)/2. Let h(j) = j**2 + 5*j - 6. Is h(n) a multiple of 26?
False
Suppose -p + 15*h = 16*h - 17, 3*p + 2*h - 47 = 0. Is p even?
False
Let z(u) = 50*u + 15. Let w = -3 - -6. Is z(w) a multiple of 33?
True
Let i be ((-100)/(-75))/((-1)/6). Let k(q) = 2*q**2 + 10*q - 8. Is k(i) a multiple of 18?
False
Let r(h) = -h + 8. Let s be r(-5). Let k = s + -10. Suppose -4 - 12 = 4*m, 0 = 3*z + k*m - 69. Does 22 divide z?
False
Suppose -3*r - 1 = w, -3*w = 2*w - 10. Let k(n) be the third derivative of 29*n**5/60 + n**4/24 - 7*n**2. Is k(r) a multiple of 14?
True
Let x(q) be the second derivative of q**3/2 + 3*q**2 + 5*q. Let h be x(6). Suppose -4*i + 8 = -h. Is 2 a factor of i?
True
Suppose 0 = -j - j - 8, -53 = -3*l + 5*j. Suppose 284 + l = 5*v. Is 29 a factor of v?
False
Suppose 2*z - 3*z + 4577 = 2*p, 3*p - 2*z - 6862 = 0. Is p a multiple of 56?
False
Let l(a) = a. Let w be l(0). Let y = -16 + w. Is (-3 + 0)/3 - y a multiple of 6?
False
Does 13 divide 29/((-80)/384 - 2/(-6))?
False
Let o = -29 + 25. Let g(z) = -36*z + 31. Does 35 divide g(o)?
True
Let z = -111 - -133. Suppose -268 = z*g - 23*g. Does 21 divide g?
False
Suppose 4*i + 2*r - 31 - 73 = 0, -4*i = -5*r - 132. Does 4 divide i?
True
Let i be ((-6)/(-4))/((-9)/24). Let r be i/(-14) + 8/(-28). Suppose r = d + 4*p - 32, 5*d = 3*d - 2*p + 52. Is d a multiple of 9?
False
Suppose -3*v + v + 216 = 0. Let l = -3 + v. Suppose -l = -3*i - 30. Does 25 divide i?
True
Let s(u) = -49*u + 10. Suppose -2*k + 10 = 20. Let i(o) = 48*o - 9. Let d(w) = k*s(w) - 6*i(w). Is d(-2) a multiple of 17?
False
Suppose 4*y = 5*s + 170, y - 31 = -5*s - 1. Does 8 divide (-8)/6 + y/3?
False
Let p(m) = -2*m**2 - 37*m - 7. Let s be p(-17). Let l = 227 + -153. Let z = l - s. Is z a multiple of 15?
True
Is (-2*(-1870)/(-4))/(-1) a multiple of 55?
True
Suppose 40 = 3*w + 1. Does 29 divide 1 + 30 + (11 - w)?
True
Is 13 a factor of 749/(-14)*-10 - 5?
False
Suppose -4*j + u + 5 = 0, 8 = -u + 3. Is j + 109 - (0 + (-5 - -5)) a multiple of 10?
False
Let n = 601 + -430. Does 9 divide n?
True
Let w(c) = c**3 + 27*c**2 - 8*c + 22. Is w(-13) a multiple of 89?
True
Let p be ((-14)/6)/((-7)/21). Let g(z) = 3*z - z**2 - 7*z**2 + 7 + z**3 + 5*z. Does 14 divide g(p)?
True
Let a be (-2)/5 - (-81)/15. Let i(z) = z**3 - 4*z**2 + 2*z + 13. Does 12 divide i(a)?
True
Let s(h) = 269*h**2 - 25*h - 22. Does 68 divide s(-1)?
True
Let n be 0/(-1) + 4260/3. Suppose n = -8*i + 12*i. Suppose 8*w = 3*w + i. Is 28 a factor of w?
False
Let i(l) = -48*l**2 - l + 2. Let n be i(1). Let w = n + 70. Does 23 divide w?
True
Let q = 594 - 262. Suppose -123 = -5*c + q. Is c a multiple of 20?
False
Suppose 6*k + 0*k = 24. Let z(h) = 4*h - 10. Is 6 a factor of z(k)?
True
Suppose -6*o - 9*o + 840 = 0. Is 14 a factor of o?
True
Let s be (2/6)/(3/(-18)). Let t be 2 + (-1)/s*2. Suppose -100 = 5*p - t*a - 460, -5*a = -5*p + 360. Is 18 a factor of p?
True
Is 26 a factor of ((-14)/(-10) - -9)/(2/90)?
True
Let p be (-1 + -1)/(9/(-18)). Let v(a) = 4*a**2 + 4*a - 3. Let f be v(2). Suppose 0 = j + p - f. Does 17 divide j?
True
Let k = -15 - -19. Suppose s + k*b - 164 = -3*s, -3*s + 127 = -b. Is s a multiple of 6?
True
Let x(z) = 3*z - 115. Let j(f) = 2*f - 77. Let a(y) = -8*j(y) + 5*x(y). Let d(h) = -h**3 + 5*h**2 - 5*h + 4. Let i be d(4). Is a(i) a multiple of 25?
False
Let j = -15 + 22. Suppose 3*s + 3*c = j*s - 335, 267 = 3*s + 3*c. Is 9 a factor of s?
False
Let x = -251 - -498. Is x a multiple of 23?
False
Suppose 390 - 1734 = -12*t. Is t a multiple of 2?
True
Let g = 830 - 563. Let d = g + -121. Is 18 a factor of d?
False
Is 4 a factor of (-1412)/(-8) + 7 + (-4)/(-8)?
True
Suppose 0 = 2*v - 2*j - j + 708, v - 4*j + 364 = 0. Let l = 580 + v. Is l a multiple of 10?
False
Suppose -2*c = 14 - 22. Let r = c + 6. Is r a multiple of 3?
False
Suppose -82*q - 840 = -90*q. Does 7 divide q?
True
Let n = -46 + 39. Let k(b) = -b - 5. Let f be k(-6). Is (-183)/n - f/7 a multiple of 13?
True
Let r(f) = 4*f**2 + 9*f - 1. Does 3 divide r(-5)?
True
Suppose 0 = 5*d + 2*c - 24, -3*d - 5*c = -10 - 12. Let f = 13 + d. Let t = -4 + f. Is 13 a factor of t?
True
Let f(c) = c**3 - 4*c + 1. Let n = 12 + -11. Let o(s) = -s**3 - s**2 - 1. Let k(z) = n*f(z) + 4*o(z). Is 4 a factor of k(-2)?
False
Suppose 2*d + 3*p + 3 = 0, -5*d + 6*p = 4*p + 17. Suppose -3*h = h - 52. Let a = d + h. Is a a multiple of 5?
True
Suppose 8 = -4*p, -j - 4*j + 4*p = -2273. Is 10 a factor of j?
False
Suppose 2*p - 143 + 822 = s, 4*s + p = 2671. Does 70 divide s?
False
Let o(a) = a**3 - 9*a**2 - 7*a - 6. Let i be o(10). Let x = 99 - i. Suppose w - x = -4*w. Does 5 divide w?
True
Let w = 11 + -9. Let x(j) = -10 - 3*j - 2*j + 5*j + w*j. Does 5 divide x(10)?
True
Let d be (-4)/(6/3) - -6. Is (111/6)/(1 + (-3)/d) a multiple of 14?
False
Let h be -3 + 7/14 + (-1)/2. Is 21 a factor of (-24)/h*(-42)/(-8)?
True
Let t(k) be the first derivative of k**3/3 - 5*k**2/2 - 10*k + 7. Does 24 divide t(-5)?
False
Let n = -26 - -30. Is 5 a factor of 14/n*(-20)/(-7)?
True
Let u = 2444 + -1696. Is 44 a factor of u?
True
Let j = 615 - 271. Does 43 divide j?
True
Suppose -164*i + 648 = -162*i. Does 33 divide i?
False
Let z(j) = -3*j + 1. Let p be z(0). Let c be 1 + 9/(p - -2). Suppose 0 = -2*f - c + 14. Does 5 divide f?
True
Let k be (4*(2 + (-3)/2))/2. Suppose -2*q - 2*z + 38 = 0, 2*z + k = -5. Is 11 a factor of q?
True
Suppose 0 = a - 5*b - 425, -3*b - 1185 = -3*a - 6*b. Is a a multiple of 20?
True
Let a(t) = 6*t - 58. Let v be a(9). Is 48 a factor of 5/v + (-2739)/(-12)?
False
Let l = 843 - 1314. Is 19 a factor of (-4)/((-24)/l)*(-6 - -4)?
False
Suppose 4*w - 7 = 1. Let a = 5 + -9. Is 9 a factor of ((-54)/12)/(w/a)?
True
Suppose -4*v = -5*v - 3. Let k be 9/2 + v/(-6). Suppose 2*n = -2*o + 8, o = k*n - 3*o - 47. Does 7 divide n?
True
Let y(i) = -i**3 - 3 - 3 + i + 3 - 2*i**2. Does 2 divide y(-3)?
False
Let r(o) = 2*o**3 - 3*o**2 + o - 2. Let t be r(2). Suppose f = -4*i - 0*f - 6, 4*i - t*f + 16 = 0. Let v = i + 37. Is 18 a factor of v?
False
Let p(s) = -s**3 + 9*s**2 + 38*s - 9. Does 14 divide p(10)?
False
Let b be (-40)/12*(-24)/2. Suppose -p + 2*g - g + 11 = 0, 4*p - 2*g = b. Is 3 a factor of p?
True
Let a be 3/1*(1 + 0). Suppose 0 = -q + a*o + 114, 594 = 5*q - o - 2*o. Suppose 3*f - q = -f. Is f a multiple of 12?
False
Let j = -298 + 421. Is 41 a factor of j?
True
Suppose -4*n - 536 = -12*n. Suppose -g =