Is x a multiple of 20?
True
Suppose 3362 = 3*x - 2*q - 17088, 5 = q. Does 20 divide x?
True
Let n = -13395 - -22225. Is n a multiple of 11?
False
Suppose 274 = 3*p + 2*j, -5*p + j = -j - 446. Suppose 8*f + 17 = h + 6*f, 5*h - 52 = -f. Suppose 64 = h*o - p. Does 14 divide o?
True
Suppose 4*r - 8 = 6*r, -2*o + 19912 = 5*r. Is 22 a factor of o?
True
Let r(c) = -c**3 + 2*c - 1. Let d be (3 + 2)*12/30. Let i be r(d). Is i/(-3) - 1 - (-350)/6 a multiple of 10?
False
Let i = 99 + -24. Suppose -i = -5*q - 325. Is 10 a factor of (19 - q) + -1 + 2?
True
Let k(q) = q - 8. Let x be k(7). Let w(m) = -3*m - 213934 + m + 30*m**2 + 213932. Does 6 divide w(x)?
True
Suppose -y + 2 = 0, -7658 = -3*o + 2*y + 15762. Is 16 a factor of o?
True
Suppose 0 = -7*a + 60 + 241. Suppose 0 = -2*z + 2*k + a + 49, 156 = 4*z + 3*k. Is 6 a factor of z?
True
Is (7/(28/(-96)))/((-122)/43371) a multiple of 63?
False
Let d be 268*(-4)/(-32)*4. Let o = 239 - d. Does 43 divide o?
False
Suppose -15*m - 528 = -7*m. Let f = m - -60. Is 4 a factor of (-26 - -29)/(f/(-88))?
True
Let b(w) = -7*w - 19. Let u be b(-3). Let r be (-2)/((-405)/200 + u). Let l = r + -29. Is 12 a factor of l?
False
Suppose 2339 = 6*n - 1897. Let h = 1594 - n. Does 12 divide h?
True
Let w(b) = 55*b**2 - 25*b - 147. Is 18 a factor of w(-8)?
False
Let v(c) = -2*c**2 + 8 + 10*c + c**2 - 26*c. Suppose 4*g - 34 = 2*f + 7*g, -2*g - 60 = 4*f. Is 14 a factor of v(f)?
False
Let c(h) = 29*h**2 - 9*h + 68. Let y be c(6). Does 12 divide 21/(-63) + y/6?
False
Suppose 4 - 10 = -z. Let g = z + 9. Suppose -44 = 11*i - g*i. Is i a multiple of 11?
True
Suppose -5*f - 98034 = -7*o - 669, 4*o - 55626 = f. Is 35 a factor of o?
False
Let o = 29931 + -19521. Is 6 a factor of o?
True
Let u(k) = -2987*k**2 - 7*k - 2. Let a(v) = 1494*v**2 + 3*v + 1. Let o(c) = 10*a(c) + 4*u(c). Let t be o(-1). Suppose t = 11*l + 5*l. Is 31 a factor of l?
False
Suppose 6*t + 12 = -2*i + 2*t, 5*t = 5*i - 45. Suppose 0 = i*y - y + 6. Let r(b) = 14*b**2 + 3*b. Is r(y) a multiple of 12?
False
Is (-1145736)/(-104) + 196/637 a multiple of 62?
False
Suppose -2*u - 17078 - 12099 = -3*u. Is u a multiple of 47?
False
Let u(k) = 4*k - 5. Let b(j) = 7*j - 10. Let x(i) = -3*b(i) + 5*u(i). Let p be x(2). Suppose 54 - 159 = -p*s. Is 20 a factor of s?
False
Does 119 divide (18665/3)/((-88)/(-264))?
False
Let x(w) = 25*w - 224. Suppose 14 = 3*i - 4*b, 2*i - b - 5 = 11. Is x(i) a multiple of 4?
False
Let h be (14/(-3))/(3/(-9)). Let x be 58 - (0 + -4)*9/(-12). Suppose -3*k + h + x = 0. Is k a multiple of 4?
False
Let y = 3249 - -3116. Suppose 15*z - 2155 - y = 0. Does 71 divide z?
True
Suppose 5*r = -2*w + 14623, r + 15174 = 5*w - 21451. Is 20 a factor of w?
False
Suppose 457*a - 447*a - 14720 = 0. Let i = a - 919. Is 11 a factor of i?
False
Suppose 2*b - 4024 - 452 = -a, a = 4*b + 4482. Does 5 divide a?
False
Let b be (8/(-16))/((-1)/518). Does 82 divide (-1*b)/(8/(-24))?
False
Let r(j) = 153*j - 49. Is 3 a factor of r(3)?
False
Let z(h) = 2759*h**2 + 64*h + 201. Is 24 a factor of z(-3)?
True
Let w = 5 + -5. Suppose w = -5*u - 5, -5*s - 2*u + u = 1. Suppose 17 = v - 3*n, s*v + 2*v - 10 = -2*n. Is 4 a factor of v?
True
Suppose 7*x = -f + 3*x + 491, -f = -3*x - 470. Is 16 a factor of f/3*((-4)/(-1) + -1)?
False
Let b = 30294 - 15630. Does 78 divide b?
True
Let n be 48/5 + (-1 - (-14)/10). Let g(b) = -2*b**3 - 3*b - 22 + 29 - 9*b**2 + n*b. Does 5 divide g(-6)?
False
Suppose -1112 = -h - 4*l, 6*h = 2*h + l + 4482. Does 112 divide h?
True
Let f(i) = 2*i + 3. Let r be f(0). Suppose -5*o = -o + 5*z - 2417, -r*o + 4*z + 1805 = 0. Suppose 3*w + v - o = -3*v, 4*w = -v + 791. Does 28 divide w?
False
Suppose 39*z + 1108647 = 48*z + 18*z. Does 79 divide z?
False
Let k = 3269 - 2037. Suppose -219*z = -227*z + k. Is z a multiple of 10?
False
Let k = 43659 + -19557. Is 13 a factor of k?
True
Let j = -1467 + 3276. Suppose 16*x - j - 5359 = 0. Is x a multiple of 16?
True
Let o = -13 - -13. Let c(x) = 4*x. Let i be c(o). Suppose -2*u + i*n = 2*n - 52, -4*n + 131 = 5*u. Is 23 a factor of u?
False
Let x(v) = v**2 - 136*v - 75. Is 40 a factor of x(-20)?
False
Let a = 600 + -351. Let s = -126 + a. Is s a multiple of 41?
True
Let a = 126 - 123. Suppose 10*q + 2*l + 216 = 5*q, -114 = a*q - 4*l. Is 14 a factor of (18/3)/(3*(-1)/q)?
True
Let h(b) = 2*b**3 + 76*b**2 - 78*b + 89. Is h(-39) even?
False
Suppose -3 = 5*h + 2. Let i(u) = -106*u**2 + 14. Let z(a) = 35*a**2 - 5. Let k(d) = -6*i(d) - 17*z(d). Does 14 divide k(h)?
True
Suppose -2*j + 28 = -38. Suppose -2*w + 3*l + 22 = -w, -2*w + 89 = 3*l. Let b = w - j. Does 2 divide b?
True
Suppose 3*d - 5*d + 4 = 0. Let q be -3 + (d - 12/(-3)). Suppose 2*h - 2*t = -7*t + 105, 5*h - 247 = q*t. Is 9 a factor of h?
False
Let n(f) = -67*f + 1072. Does 9 divide n(-20)?
True
Suppose -33*l + 31*l - 2*v + 2874 = 0, 3*v - 3 = 0. Is 148 a factor of l?
False
Let d = 10 - -6308. Is d a multiple of 13?
True
Suppose 0 = -11*o + 13*o - c - 4627, -5*c + 16186 = 7*o. Is o a multiple of 84?
False
Suppose 12 = 3*v + 4*a, 6*v - 5*v - a + 3 = 0. Is 13 a factor of (3 + v)/((-24)/(-11112))?
False
Let f(w) be the first derivative of -11/2*w**2 - 8 - 51*w. Does 3 divide f(-5)?
False
Suppose -2*r + 31 = 79. Let c be (-112)/(-19) - r/228. Let n = 78 + c. Does 14 divide n?
True
Does 147 divide (1 + (-272)/(-40) + -9)/((-2)/11270)?
True
Let z(k) = -6*k**2 + 23*k + 44. Let r(u) = -2*u**2 + 8*u + 15. Let l(j) = 8*r(j) - 3*z(j). Let a be l(9). Let d = 225 - a. Is d a multiple of 13?
False
Let o(f) = 6*f**2 - 4*f + 15. Let w be o(6). Suppose 15 = -3*z, 5*z + 181 = -3*r - 201. Let x = r + w. Does 8 divide x?
True
Let t = -430 - -737. Suppose -30*n + t = -29*n. Is 14 a factor of n?
False
Does 9 divide 7 + (10 - 13 - -6334)?
False
Suppose l - 2*l = 5*c - 17286, 2*c + 2*l = 6908. Is c a multiple of 13?
True
Suppose -4*i = -6*i - 2*w - 12, 3*i + 30 = 3*w. Let s(d) = -d**2 - 6*d + 13. Let g be s(i). Is 6 a factor of 0 + 3/g - 26/(-2)?
True
Let f(h) = 7*h**2 - 44*h - 671. Is 23 a factor of f(54)?
True
Let l(i) = i**2 + 0*i - 5 + 2*i + i + 4*i. Let f be l(15). Suppose 5*u - f = 5*g, -2*u - g + 2*g = -130. Is u a multiple of 13?
True
Suppose 5*t = -3*u - 35, -75*t + 71*t + 36 = -4*u. Let w = 3 - -20. Let m = w - u. Is 13 a factor of m?
False
Suppose 4*o - 16 = -0. Suppose -o*q + q = 27. Is 2 a factor of (-101)/q + 22/(-99)?
False
Let g(j) = 733*j**2 - 3*j. Is g(-2) a multiple of 5?
False
Let a = 6186 + -189. Does 65 divide a?
False
Let m(r) = 8*r**3 + 45*r**2 - 286*r - 8. Does 80 divide m(6)?
False
Let z(l) be the first derivative of -l**4/4 - l**3/3 + 3*l**2/2 + 6*l - 3. Let y be z(-2). Is 17 a factor of ((-6)/y)/(2/(-68))?
True
Suppose 2435 = 15*q - 1135. Is q a multiple of 6?
False
Let v(q) = -10*q + 30. Suppose -7*o + 24 = -3*o. Let y be v(o). Does 5 divide ((-40)/15)/(-2)*y/(-1)?
True
Does 47 divide 5/(10/26) - -254*141?
False
Suppose 0 = -5*j + 9 + 21, -4*j = 5*v - 76224. Does 60 divide v?
True
Let l(f) = f - 2. Let o(t) = -2*t + 2. Let a(v) = 3*l(v) + 2*o(v). Let c be a(6). Does 17 divide -120*(-2 - 1*12/c)?
False
Let q(o) be the first derivative of 5*o**2/2 + 10*o + 4. Suppose 9 = 3*j - 3. Is 5 a factor of q(j)?
True
Suppose -211*a = -585228 - 1239711. Does 31 divide a?
True
Let o(i) = -316*i + 59. Does 87 divide o(-10)?
True
Suppose -y + 2*y = -b + 2, -25 = -5*b. Is 32 a factor of 448 + ((-22)/(-44) - y/(-2))?
False
Suppose 4*p = -x - x + 1516, p = -3*x + 369. Suppose -4*k - 1065 = -q, -6*k - 795 = -3*k - 2*q. Let r = p + k. Is 19 a factor of r?
True
Let n(l) = -2 - l**2 - 1 - 1 - 19*l - 4. Does 10 divide n(-18)?
True
Suppose 0 = -l + 4*r - 24, 3*r = -4*l + 37 - 38. Let t(j) be the first derivative of -17*j**2/2 - 26*j + 2. Is 19 a factor of t(l)?
False
Let q(c) = 2*c**3 - 65*c**2 + 36*c + 46. Suppose 10*f + 30 = 11*f + 2*r, -2*r = 4*f - 126. Does 29 divide q(f)?
True
Is 72/(-15)*(-5 + 0)/(72/324) a multiple of 54?
True
Let t(m) = 9*m - 79. Let q be t(9). Is 53 a factor of 212*(5 + q + -5)?
True
Let y(m) = -304*m - 2148. Is 10 a factor of y(-12)?
True
Suppose -8*j - 73 = -321. Suppose j*t - 36*t + 1580 = 0. Is 4 a factor of t?
True
Suppose -2*c + 924 = -4*m, -2274 = c - 6*c - 2*m. Suppose 83 = 7*h - c. Is h a multiple of 2?
False
Let c(d) = 21*d - 222. Let a be c(11). Does 14 divide 9