 = 13551 - 5109. Is h a multiple of 126?
True
Suppose -10*y - 972 = -16*y. Let d = 920 - y. Is d a multiple of 53?
False
Suppose 6 = -2*i + 4. Let q = i - 4. Does 17 divide 41/((q/(-3))/5)?
False
Let r(t) = -10*t**3 + 3*t**2 + t + 1. Let m(b) = b**2 + 16*b + 47. Let l be m(-13). Suppose -5*c + c = l. Is 13 a factor of r(c)?
True
Suppose 16 = m - f, -f - 3 - 1 = 0. Let j(c) = -38*c + 3*c**2 - m + 19*c + 34*c. Does 23 divide j(-10)?
True
Let b = 22515 + 1805. Is b a multiple of 95?
True
Let n(y) = -466*y - 5230. Is n(-63) a multiple of 58?
True
Let l(m) = -10*m**3 + 4*m**2 + m - 4. Let n be l(-5). Suppose n = 7*c - 1683. Does 9 divide c?
True
Suppose 43*w - 40*w = 30. Suppose 74 = d - w. Is 74 a factor of d?
False
Let z(s) = -2 - 401*s + 395*s - 1. Let t be z(2). Let q(y) = 2*y**2 + 25*y - 9. Does 7 divide q(t)?
False
Let y(z) = 22*z - 2. Let q be (6 + -7)*2*3. Let j be (-30)/(-18) - (-4)/q. Does 12 divide y(j)?
False
Suppose 10*n - 13*n + 54 = 0. Suppose 3 = 2*z - 3*z, -5*z - n = -r. Does 13 divide (r - 6*-41) + -4?
False
Let m(d) be the third derivative of d**5/15 - d**4/6 - d**3 + 17*d**2. Let j be m(3). Suppose j*f - 50 = 8*f. Is f a multiple of 5?
True
Let o(h) = 3*h**2 - 1. Let x be o(1). Suppose 6 + 0 = x*a. Suppose 2*v = -a*g + 83 + 185, -4*v = -2*g + 184. Does 18 divide g?
True
Suppose 0 = -4*b + 4*u - 404, 0 = -u + 1 - 0. Suppose 0 = 156*c - 163*c - 1960. Let w = b - c. Does 12 divide w?
True
Let g = 23074 - 12562. Does 78 divide g?
False
Let p be (42/4)/((-6)/(-8)). Suppose -p*g + 9*g + 100 = 0. Is 13 a factor of (10*5/g)/((-2)/(-52))?
True
Let p = -515 + 499. Is 4 a factor of -141*1*(p/3 + 5)?
False
Let o(b) = 577*b - 1923. Does 5 divide o(16)?
False
Let v(n) = 90*n**2 - 40*n - 284. Is v(-8) a multiple of 23?
True
Let n be (-3 - 1 - -853)*7/(-21). Let y = 148 - n. Is 24 a factor of y?
False
Let a = 116 - 112. Suppose 4*y - 204 = a*w, -y - 5*w - 10 = -43. Does 30 divide y?
False
Let w(t) = t**3 + 19*t**2 + 17*t - 9. Let v be w(-18). Suppose 0 = 2*a + v*a - 3520. Is a a multiple of 64?
True
Suppose 7*v + 888 = 11*v. Let g be (-948)/(-21)*77/(-22). Let q = g + v. Is q a multiple of 15?
False
Let u = 39 - -40. Let k(t) = 5*t + 3. Let s be k(3). Let i = u - s. Is i a multiple of 27?
False
Let u = 17 - 37. Let n be (10/u)/(1/(-354)). Let a = -66 + n. Does 24 divide a?
False
Let p(z) = -17*z + 28. Let f be p(3). Let i(t) = t**3 + t**2 - t - 79. Let u be i(0). Let r = f - u. Is 10 a factor of r?
False
Let z(u) = 5*u + 5. Suppose -4*y + 1 - 9 = -3*m, 0 = 5*m. Let n(t) = -t**3 - t**2 - 7*t - 5. Let x be n(y). Is 11 a factor of z(x)?
False
Is (-1 - -4 - 318/4)*(-480)/18 a multiple of 177?
False
Suppose -2*d + d = 27. Let z be d/6*(-12)/18*1. Suppose -h + 194 = 5*t - 2*t, -2*h + 193 = z*t. Does 15 divide t?
False
Let g(u) = 12*u**2 + 85*u + 7. Let j be g(-7). Let h be ((-8)/(-6))/4*699. Suppose j = 3*r - h - 115. Is 8 a factor of r?
False
Let s(u) = 7*u - 38. Suppose -5*r = -2*p + 22, -5*r - 8 = -4*p + 26. Let c be s(p). Suppose m - c*g + 125 = 2*m, -2*g = -4*m + 482. Is m a multiple of 15?
False
Let i(f) = f**3 - 14*f**2 + 79*f + 35. Let a(y) = -3*y**2 + 16*y + 7. Let j(g) = -11*a(g) + 2*i(g). Does 3 divide j(6)?
False
Let y(c) = -2*c**2 + 91*c + 353. Does 3 divide y(47)?
False
Suppose 5*v + 4*m - 400 = -0*m, 0 = -v - 3*m + 69. Suppose j - v = 65. Suppose -55 = -2*u + 5*c, -c = 5*u - 2*c - j. Is u a multiple of 15?
True
Let w(f) = f**3 + f**2 + f + 2. Let z(o) = o**3 + 6*o**2 + 7*o - 4. Let d(l) = -5*w(l) - z(l). Is 6 a factor of d(-4)?
False
Suppose 5*x + 3*t = -773, -4*x + 4*t + 45 - 689 = 0. Let w = 151 - x. Is w a multiple of 28?
True
Let u(w) = -266*w - 21. Let o(k) = -2*k + 2. Let y(a) = 14*o(a) + 2*u(a). Does 13 divide y(-1)?
True
Suppose -17*v + 46550 = -291835. Is v a multiple of 31?
False
Suppose 5*s - 48 = 2*r, 7*s - 45 = 3*s - 5*r. Suppose -s = -4*p + 6. Suppose 0 = p*a - 5*h - 258, -4*h + 2*h + 58 = a. Is 11 a factor of a?
False
Let n = 81 + -76. Suppose -3*a - 15 = 4*q, -3*q + n*q + 4 = 2*a. Is (-2710)/(-35) + q/7 a multiple of 11?
True
Let y be 4*-129*5/30*-2. Let q = -100 + y. Is ((-5)/(-2))/(4/q) a multiple of 4?
False
Suppose 4*p - 5 = -49. Suppose 8*q - 377 = -5*q. Let k = q + p. Is k a multiple of 18?
True
Let x be 10/65 - (-18)/(-117). Suppose 0 = 3*b + m - 41, -3*m - 64 + 18 = -4*b. Suppose x = -b*r + 9*r + 24. Is r a multiple of 6?
True
Suppose 0 = -285*p + 265*p + 438340. Is p a multiple of 171?
False
Let j(n) be the second derivative of n**4/12 + n**3/3 + 6*n**2 + 6*n. Let g be j(8). Suppose -h + g - 21 = 0. Is 14 a factor of h?
False
Suppose -l - 3*l + 4*a = -824, -619 = -3*l + 2*a. Suppose -2*s + 2*p + 270 = 60, 2*s = p + l. Does 29 divide s?
False
Suppose -5*y + 4*a = -8*y + 39, -y = -3*a. Let v(n) = 2*n**2 - 5*n - 36. Let s be v(7). Let x = s - y. Is 18 a factor of x?
True
Suppose -19*y + 3205 = -2*y - 7233. Does 16 divide y?
False
Suppose 14*b - 694 - 258 = 0. Let v = b - -32. Is 25 a factor of v?
True
Let c be 70/9 + (-1)/(-18)*4. Let j be -3 - (-12)/c*(53 - 3). Let b = j + -49. Is 5 a factor of b?
False
Let z(b) = -17*b - 8*b + 1 - 22*b - 11*b. Let l be z(-1). Suppose 4*q = -4*i + 191 - 51, i - 5*q - l = 0. Is i a multiple of 6?
False
Suppose -89*u = -61430 - 110340. Is u a multiple of 84?
False
Does 26 divide 22/(-33)*(1286075/(-14) - 2)?
False
Let a(r) = -r**2 - 7*r - 3. Let b be a(-6). Is 13 a factor of (0 - 399)*b*(-6)/54?
False
Suppose 0 = 2*f + 300 - 462. Does 9 divide f?
True
Suppose 1549431 = 125*c - 894694. Is 20 a factor of c?
False
Let r = 31 + -25. Suppose h = 5*u + r*h - 2020, -4*u + 1621 = 3*h. Is 47 a factor of u?
False
Suppose -3*d = 5*m + 13, -5*d + 45 = -0*d - 5*m. Let n = -137 + 139. Suppose n*p = -a + 8 + 21, a - d*p - 53 = 0. Is a a multiple of 27?
False
Let k(r) = 4*r**2 - 3*r - 10. Let t be k(3). Suppose -b = -4 - t. Is b a multiple of 10?
False
Let h = 36332 + -7110. Does 16 divide h?
False
Let m = 10106 - 5492. Suppose 0 = 2*d + 1726 - m. Is d a multiple of 19?
True
Let v(m) = 5*m - 16. Let u be v(-32). Does 51 divide 1389/(-2)*(u/(-24))/(-11)?
False
Suppose 47 = 8*d - 41. Suppose -z = -c + 21, d*z + 3*c + 105 = 7*z. Is 4 a factor of -3*((-76)/z)/(1/(-4))?
False
Let q be 1*11 + 12 + -7 + -1. Is 445/2 - q/30 a multiple of 14?
False
Let f = -463 - -710. Let y = f + -163. Suppose 0 = -2*p + 3*v + 237, -p + 3*v + y + 30 = 0. Is 19 a factor of p?
False
Suppose -16 - 52 = -y. Suppose -5*n - 247 + 32 = 0. Let p = n + y. Is p a multiple of 7?
False
Suppose -22*y = 41*y + 19*y - 2948720. Does 155 divide y?
True
Let f = -31 - -607. Suppose f*r - 568*r = 1312. Does 2 divide r?
True
Suppose 5*f - 2*f - 224 = -4*t, 3*f = -3*t + 225. Let x = 2 - -1. Suppose -x*v + f = 3*l - v, 0 = 3*v - 6. Is l a multiple of 6?
True
Let s(z) = 29*z**3 + 9*z**2 + 18*z - 25. Is 73 a factor of s(6)?
False
Let k be 2/7 - (-2867)/329. Let l = 2 + 28. Suppose -4*p + k*p = l. Is 5 a factor of p?
False
Let l be (-200)/(-6)*(-27)/(-2). Let x be (-515)/(-10) + (-15)/(-6). Suppose l = 14*h - x. Is 12 a factor of h?
True
Suppose 936*p - 320999 = 929*p. Is p a multiple of 23?
False
Suppose -21*m - 395365 + 1374733 = 22*m. Does 52 divide m?
True
Suppose n - 90 - 78 = 29. Does 2 divide n?
False
Suppose 5*p = 3*x + 7728, -716*x - 6188 = -4*p - 715*x. Is 2 a factor of p?
True
Let x be (-90)/(-10) - 8 - -6. Let c = 104 - -319. Suppose x*t - c = 74. Is 25 a factor of t?
False
Let j(o) = o**2 + 15*o + 28. Let q be j(-13). Suppose -q*a - 1360 = -12*a. Does 34 divide a?
True
Let u(p) = -6*p**2 + 7*p - 45. Let j(l) = -5*l**2 + 6*l - 45. Let g(a) = -7*j(a) + 6*u(a). Let d be g(0). Let k = d + -35. Does 2 divide k?
True
Let u be 851/(-2) + 6/12. Is 6 a factor of (u/(-10))/(1/2)?
False
Let m(i) = 3*i - 17. Let k be m(9). Suppose 5*f = 5 + k. Suppose 4*p - f*z = 150, 0 = 5*p - 2*p + 3*z - 102. Is 12 a factor of p?
True
Suppose 15 + 3 = 2*n. Suppose -9920 = -n*p + p. Does 40 divide p?
True
Let b be -8 + 12/10*2320/348. Let p(n) be the first derivative of -n**3/3 + 4*n**2 + 85*n - 2. Is 5 a factor of p(b)?
True
Let q = -650 - -5305. Is q a multiple of 95?
True
Let t(b) = 7*b + 77. Let m be t(-11). Suppose m = -2*a - q + 6*q + 1155, 5*a - 2960 = -2*q. Is 31 a factor of a?
False
Suppose 0 = 3*n + 15, 4*n = 5*i - n - 60. Suppose -6*f = -i*f + 32