35405 = 2*y. Is y a multiple of 8?
False
Let p be 1 + -1 - 12/2. Let k(z) = -14 + 158*z - 60*z - 56*z - 53*z. Does 13 divide k(p)?
True
Let n(d) = -3*d**2 - 29*d - 13. Suppose 7*r + 8 = -55. Let o be n(r). Suppose -o*p - 2*u = u - 174, -u + 168 = 5*p. Is p a multiple of 11?
True
Let l(f) be the first derivative of -f**4/4 - 2*f**3 + 2*f + 11. Let t be l(-6). Suppose -z + t*i + i = -34, 4*z + 2*i = 192. Is z a multiple of 11?
False
Let j be 1/(6/(-129))*-12. Suppose -s + 746 = 3*m, 3*m - 1012 = -5*s - j. Suppose -i + 3*i - 2*h - 164 = 0, 0 = 3*i - 5*h - m. Does 45 divide i?
False
Let g(h) = -5*h + 18. Let d(r) = 6*r - 17. Let t(z) = -3*d(z) - 4*g(z). Let u be t(18). Let n(m) = -m**3 + 13*m**2 + 36*m - 8. Does 17 divide n(u)?
False
Is 42 a factor of 798/5*(-91 + 181)?
True
Let v(f) = 12*f + 359. Let x be v(-30). Is 765/12 - x*(-12)/16 a multiple of 21?
True
Suppose -4*m - 617 = -5*x - 2*m, -5*x - 5*m = -645. Let z(q) = -q**3 + 73*q**2 + 388*q + 130. Let f be z(78). Let s = x + f. Is 9 a factor of s?
True
Let d = -198 - -276. Let n = -32 + d. Is 4 a factor of n?
False
Suppose 4*y = 628 - 104. Suppose -29 = -5*l + 4*q + y, 5*q + 81 = 2*l. Does 7 divide l?
True
Let f(r) = -3941*r - 21438. Is f(-9) a multiple of 20?
False
Let g(w) = -w**3 + 34*w**2 - 33*w - 212. Is 21 a factor of g(30)?
False
Let q(k) = -279*k - 2295. Is q(-9) a multiple of 3?
True
Let z be (6/9)/((-21)/(-9) + -2). Suppose 0 = -n - z*n + 24. Is 19/6 - n/48 even?
False
Suppose 0 = -4*j + 3*h - 39, -25 = -5*h - 0. Is 12 a factor of (668/j)/(20/6 + -4)?
False
Let c = -3721 - -13382. Is c a multiple of 8?
False
Let a(z) = -45 + 7*z + 6*z - 17*z + 7*z. Let w be a(-11). Let j = -15 - w. Is j a multiple of 11?
False
Let k be 10/((-70)/3927)*-1. Let t = 617 - k. Is 14 a factor of t?
True
Does 59 divide 14934552/995 - (-1 + (-26)/(-10))?
False
Suppose 0*v + 3*v = 0. Let h be -3 - -4 - -2 - v. Suppose -69 = -h*q - 0*q. Is q a multiple of 14?
False
Let n(f) = 31*f**3 - 2*f**2 + 2*f. Let a be n(1). Let m = 34 - a. Suppose -6 = m*v, 6*i - 2*i + v - 118 = 0. Does 19 divide i?
False
Suppose 5*c + 3*c - 192 = 0. Suppose 36*f = c*f + 2388. Is 17 a factor of f?
False
Let r(m) be the second derivative of m**5/20 + m**4/2 + m**3/6 + m**2 + 2*m. Suppose 4*o - 3*f + 21 = -2*f, 4*o + 26 = 2*f. Does 10 divide r(o)?
True
Let u = 696 + -1570. Is -59 - u - (-10)/(-2) a multiple of 9?
True
Let d = -38237 + 55759. Is d a multiple of 114?
False
Let q = 28763 - 6214. Is q a multiple of 20?
False
Let i = 34 + -26. Suppose -i*k = 331 + 9477. Does 26 divide (-22)/(-165) + k/(-30)?
False
Let u(w) = w**3 + 3*w**2 - 58*w + 7. Let y(k) = k**2 + 2*k. Let z(p) = u(p) + 2*y(p). Is z(-9) a multiple of 22?
False
Let x be -3 + 4/(-4)*0 + 8. Suppose -12*n + 31 + x = 0. Suppose 3*t + 4*q = 190, 0 = 3*t + n*q - 2*q - 205. Is t a multiple of 5?
True
Suppose -16*o + 102543 = -7473. Suppose -18*i = -o + 216. Is i a multiple of 20?
False
Suppose -5*z - 3*h = -50618, 2*h - 5113 = -2*z + 15131. Is 61 a factor of z?
True
Let y(p) = -4*p + 25. Suppose -3*f + 24 = 3*o, f + 2*f + 4*o - 27 = 0. Let s be y(f). Suppose -j - 213 = -5*j - h, -3*j + 147 = s*h. Is 18 a factor of j?
True
Let q = -578 + 580. Suppose -b + 3*n + 1516 = 4*b, 2*b - q*n - 608 = 0. Is 13 a factor of b?
False
Let p(z) = -26*z + 9. Let l(i) = -13*i + 5. Let h(s) = 9*l(s) - 4*p(s). Is h(-2) a multiple of 10?
False
Suppose 147*q - 146*q - 351371 = -10*u, 3*u - 105408 = 3*q. Does 88 divide u?
False
Suppose -7 = 3*f - 1. Let d be 764/4 + -3 - (f - -3). Let h = d + -106. Does 25 divide h?
False
Let u(b) = 33*b**3 - 13*b**2 - 14*b + 47. Does 10 divide u(11)?
False
Let r = 88 + -48. Suppose 3*n + 7*n = r. Suppose n*s - 9*s + 690 = 0. Does 19 divide s?
False
Let m = -1840 + 4278. Does 84 divide m?
False
Does 169 divide (1*6)/(159/(-106)) + 7271?
True
Let u be (-2)/((-46)/11 + 4). Suppose c = 5*b - 27, -u - 11 = c - 4*b. Is 1 - c*141/6 a multiple of 6?
True
Suppose -142*q + 34*q - 82935 = -522603. Is 101 a factor of q?
False
Let p be -511*2/16 - 5/40. Let g = p + 64. Suppose j + 2*t = -g*j + 144, 4*t = -3*j + 426. Does 37 divide j?
False
Suppose 3*r - w - 30939 = 0, -39*r = -48*r - 2*w + 92787. Is 22 a factor of r?
False
Let f(v) = v**3 - 8*v**2 - 2*v + 13. Let d be f(10). Let i = 373 - d. Is 60 a factor of i?
True
Suppose 14*q + 1302 - 7938 = 0. Suppose -5*u = 4*x - q, -u - 45 + 135 = -4*x. Is 47 a factor of u?
True
Suppose 56*p - 1179316 = -78916. Is p a multiple of 30?
True
Suppose -d + 45091 = 4*y, -d - 674*y + 679*y = -45028. Is 56 a factor of d?
False
Suppose 5*l - 9*l = -1172. Suppose -p - 88 = -c + 7, 3*c + 5*p = l. Suppose 0 = -7*h + 3*h + q + c, 4*q + 85 = 3*h. Is h a multiple of 3?
False
Suppose -2277*r + 2281*r + 17274 = t, 0 = t + 4*r - 17290. Does 14 divide t?
False
Let k be (2 - (-4)/(-4)) + 15. Let c = k + -8. Suppose c = -u + 37. Is u a multiple of 6?
False
Let s(p) = -3*p**3 - 11*p**2 - 7*p - 30. Let g be s(-5). Suppose 5*f = 5*b - g, -b = 19*f - 18*f - 21. Does 5 divide b?
False
Suppose -5*u = 5*z - 10445, -z - 5*u + 2280 = 195. Suppose -5*n + 2055 = 3*p - 0*p, 5*n = 4*p + z. Is n a multiple of 23?
True
Suppose -19*t + 5121 = -18*t + y, 5*y = -45. Is 15 a factor of t?
True
Suppose 3*s - 85 = 4*u, 75 = 2*s - 0*u + u. Let o = -30 + s. Suppose 0 = -2*x - 8, v - 4*v + o*x = -116. Is v a multiple of 16?
True
Is 9 a factor of (-3)/((-1)/(-32 - 0))*(-4044)/24?
False
Is 9 a factor of 72528/(-18)*(14/77 - 214/88)?
False
Let u = -17587 - -30762. Does 25 divide u?
True
Suppose 0 = -14*s + 12*s + k + 5266, 4*s - 10520 = -4*k. Suppose -23*y + s = -15*y. Is y a multiple of 47?
True
Let z(n) = -n**2 + 8*n - 12. Let a be z(3). Suppose -45 = -6*l + a*l. Let p = -11 + l. Is 3 a factor of p?
False
Suppose -7728 = -u - 3*b, 31*b = -2*u + 32*b + 15442. Is 117 a factor of u?
True
Let g(r) = -4*r**2 - 140*r + 171. Is g(-29) a multiple of 21?
False
Suppose 13*y - 4770 = -40*y. Suppose -92*d + y*d + 1935 = 3*q, 5*d - 3*q - 4785 = 0. Is 96 a factor of d?
True
Suppose 0 = -4*g - o + 49, 3*o = g - 4*g + 39. Suppose -5*s + g = s. Suppose 5*i + 3*w = 228, 2*i - 87 = 5*w - s*w. Does 3 divide i?
True
Let g(m) = 2*m**2 - m - 1. Suppose 3*o - 9 = 0, 2*t + 5*o = -t + 12. Let x be g(t). Suppose x*h - 172 = -4*s, 2*h - 3*s = -0*s + 144. Does 13 divide h?
True
Suppose -3*m + 50876 - 4782 = x, 3*x = -2*m + 30720. Is 33 a factor of m?
False
Let p(f) = -2*f**2 + 1. Let t(v) = v**2 + 10*v + 35. Let g(w) = -2*p(w) + t(w). Does 16 divide g(-7)?
True
Let i = 230 + -228. Does 36 divide (1 - (-4)/4)*249/i?
False
Let r = -9428 - -11093. Is 111 a factor of r?
True
Is 4 a factor of 2/(-6) + 184/(-414)*42756/(-8)?
False
Let q(r) = -r**3 + 4*r**2 - 5*r + 6. Let j be q(2). Suppose -n + 5*v = 114, -5*v + j = -v. Let b = -10 - n. Does 33 divide b?
True
Suppose 5*j + 26 = 3*c - 150, 0 = -3*j + 6. Let x = 69 - c. Is x a multiple of 3?
False
Suppose -66127 = -5*d - 4*z, z = -1 - 1. Is 37 a factor of d?
False
Let w(l) be the second derivative of l**6/60 - 3*l**5/20 - 7*l**4/24 + 2*l**3/3 + 12*l**2 - 5*l. Let n(p) be the first derivative of w(p). Does 10 divide n(6)?
True
Let w(d) = 19*d**2 + 1. Let l be w(1). Let o be 1270/l - 2/4. Suppose 3*z = -3*h - 0*h + o, -5*h + 109 = z. Does 6 divide h?
False
Suppose n = 4*n - 360. Is ((-10)/(-3))/(-1 - (-125)/n) a multiple of 5?
True
Let m(o) = -780*o + 167. Is 43 a factor of m(-8)?
True
Is 52 a factor of (-8)/(-56) - (152919/(-21) - (-5 + 3))?
True
Suppose -6*t + 36 = -0*t. Is 34 a factor of 3/(-18) + -5*(-41)/t?
True
Suppose 4*x - 5*t - 9988 = 12017, 5 = -5*t. Is 100 a factor of x?
True
Suppose 0 = 19*s + 13*s + 1728. Let b = 270 - s. Is 27 a factor of b?
True
Let t be ((-45)/(-27))/(2/(-6)). Let d = t + 147. Is d a multiple of 13?
False
Suppose -1346042 = -126*c + 1212388. Does 31 divide c?
True
Let s be ((18 - 8) + 14)*(-2)/(-4). Suppose -17*p - s = -23*p. Is 2 a factor of p?
True
Let b be (((-32)/7)/4)/(4/(-14)). Suppose n - b*n = -15. Does 13 divide 9*n + 1 + 0?
False
Suppose -807 = -7*g - 37. Suppose 0 = 2*l - g - 0. Is 22 a factor of l?
False
Let v = 7324 - 4123. Is 108 a factor of v?
False
Does 14 divide (-5371575)/110*(-14)/35?
False
Let w = -4348 - -5219. Is 59 a factor of w?
False
Let a(u) = u**3 - 8*u**2 - 4*u - 5. Let m(y) = -y + 41. Let s be m(18). Suppose 3*