6*a + 116. Let o = a + 168. Let v = o + 4. Does 28 divide v?
True
Let u(l) = -2 + 3 - l - 6 + 1. Is u(-20) even?
True
Let p = 765 + -437. Does 7 divide p?
False
Let a(g) = -30*g - 63. Let x(t) = 7*t + 16. Let u(q) = 4*a(q) + 18*x(q). Is 11 a factor of u(11)?
False
Suppose -4947 + 1320 = -13*z. Is z a multiple of 9?
True
Let x(h) = -7*h**3 - 3*h**2 - 9*h - 40. Is 23 a factor of x(-5)?
True
Suppose 13*a = 25165 + 20465. Is 27 a factor of a?
True
Suppose -793 = -3*q + 269. Is 16 a factor of q?
False
Suppose 2*u = 9*u - 3465. Is 4 a factor of u?
False
Let w(s) = 3*s**2 + 3*s + 17. Let z be w(-4). Suppose -j = 4*j - 40. Suppose j*r - 7*r - z = 0. Is 29 a factor of r?
False
Does 17 divide 84480/216 + 1/(-9)?
True
Suppose -3*a - 3 = -4*a. Suppose a*j - 1704 = -j. Suppose 5*r - 11*r = -j. Is r a multiple of 16?
False
Suppose -732 = -2*m + 2*l + 564, 2598 = 4*m - l. Is m a multiple of 10?
True
Suppose j - 5*j + 434 = -2*u, 4*j - u - 439 = 0. Suppose j = 2*h - 5*h. Let k = h - -69. Is k a multiple of 8?
True
Let p = -140 + 1750. Is 35 a factor of p?
True
Is 35 a factor of 652 + 1 - 19/(285/45)?
False
Let r(x) = -3*x**3 + x. Let q be r(-1). Suppose 3*c + 20 = z, 3*c = -3*z + q*c + 50. Does 17 divide z?
True
Let a be -2*(3 + 121/(-2)). Suppose 3*b + a = -2*f, -4*b + 275 = -5*f + b. Is -60*(2 + f/20) a multiple of 8?
True
Let v = -310 + 342. Does 2 divide v?
True
Suppose 361 = -6*k + 43. Is (-4)/(-3 - 157/k) a multiple of 33?
False
Let y(g) = g**3 + 13*g**2 - 24*g - 4. Is y(-13) a multiple of 14?
True
Let g = 0 - -2. Suppose 4*t - 12 = 8*f - 10*f, -5 = -2*f + 3*t. Suppose z - g*q = 17, 0 = -f*z - z + q + 58. Does 3 divide z?
False
Let s = 108 - 127. Let y = 37 - 61. Let d = s - y. Is d a multiple of 2?
False
Let q = -1040 + 2790. Is 70 a factor of q?
True
Suppose 254*f - 241*f = 36036. Is f a multiple of 42?
True
Let k(v) = 100*v + 68. Does 22 divide k(9)?
True
Suppose -27*q = -29*q - 198. Let p = 135 - q. Is p a multiple of 26?
True
Let g(o) = 14*o**2 + o - 2. Suppose 2 = h, 3*t - 2*t - 5*h = -7. Is 15 a factor of g(t)?
False
Suppose 4*l = -2*y + 4, -y - 3*y + 5*l - 44 = 0. Let v be ((-10)/y)/(3/180). Suppose 0 = -7*c + 2*c + v. Is 10 a factor of c?
True
Suppose d = -b + 6*d + 450, -4 = -4*d. Is 12 a factor of b?
False
Let k = 1125 + 477. Is k a multiple of 9?
True
Let w(n) = 2*n**2 + 8*n. Let i(v) = 5*v**2 + 16*v - 1. Let r(q) = -3*i(q) + 7*w(q). Let l = -5 + 10. Is 9 a factor of r(l)?
True
Suppose -5*d + 78 = -8*d. Suppose 0*n + 3*n = 144. Let r = d + n. Is r a multiple of 9?
False
Suppose -4*v - 620 = -3*f - f, f = 4*v + 149. Is 54 a factor of f?
False
Let h be (-1 + -2)*30/(-9). Let n be (28/(-6))/(h/(-15)). Suppose s - n = 19. Is s a multiple of 13?
True
Let f(v) = 2*v**2 - 3*v + 5. Suppose -3*u - h + 11 = 0, -3 = -2*u - u + 3*h. Let s be f(u). Is ((-72)/s)/((-18)/84) a multiple of 12?
True
Suppose -4*a = -8*a + 3*v + 3046, -4*v - 8 = 0. Does 20 divide a?
True
Let g = -48 + 64. Let h(n) = -n**2 + 25*n - 29. Does 9 divide h(g)?
False
Let w = 2024 + -1221. Is 67 a factor of w?
False
Let p be 12/7*(-231)/(-22). Suppose -4*m = 3*s - p, -4*m + 0*s = -s - 26. Is 2 a factor of m?
True
Suppose -9 = -3*o - 3. Suppose 3*z = -3*h + 120, -4*h + 0*z + 115 = -5*z. Suppose 0 = -2*k - 3*v + h - 5, -o*k + v + 22 = 0. Does 12 divide k?
True
Suppose -18*x - 183 = -19*x. Does 12 divide x?
False
Let r(n) = -n**2 - 9*n - 11. Let p be r(-7). Suppose p*i - 8*i = -20. Suppose 4*g = -4*a + 24, -g = a + i*g - 6. Is 3 a factor of a?
True
Let t = 3 + 3. Let c be (-2)/(-3*t/45). Suppose 0 = -2*r - 3*r - 2*j + 45, -2*r + 47 = -c*j. Does 11 divide r?
True
Let m(u) = 3*u**3 - 5*u**2 - u + 2. Let v be m(4). Let d = -1120 - -1070. Let s = v + d. Is s a multiple of 12?
True
Let n(p) = p**3 + 6*p**2. Let i be n(-6). Suppose 3*v + 284 = -v + 4*o, i = 3*v + 5*o + 197. Let f = -32 - v. Is 10 a factor of f?
False
Let u = -10 - 19. Does 29 divide u*(-3 + 4)*-2?
True
Does 46 divide 1200 - (-14)/49*-14?
True
Let w be (-1)/(-2) - 1/2. Let g be w + (3 - (-2 - -3)). Suppose -g*m = -3*m + 16. Is 8 a factor of m?
True
Suppose 0 = -4*z + 461 - 1. Does 6 divide z?
False
Let a(u) = -5*u - 9. Let h(v) = v + 2. Let r(m) = -2*a(m) - 11*h(m). Let f be r(2). Does 4 divide f/4*204/(-18)?
False
Let a(u) = u**3 - u**2 + u - 1. Let k be a(2). Let m be -2*(10/k - 5). Suppose -z - 170 = -m*z. Does 6 divide z?
False
Is (3 - 78/24) + (-593)/(-4) a multiple of 25?
False
Let x(q) = q**3 + 10*q**2 + 8*q - 7. Let d be x(-9). Suppose d*l - 194 = -5*v, -2*v + 68 = -2*l + 6*l. Is v a multiple of 20?
True
Let m = -6 + 4. Is (-2)/(10 - m) - (-110)/12 a multiple of 2?
False
Let c be (-5)/((-2 - -4)/2). Let u(i) = i**2 + 4*i + 1. Let a be u(c). Does 12 divide ((-3)/a)/((-3)/72)?
True
Suppose 4*s - h + 2 = -139, -4*h = -4*s - 144. Let c = s - -53. Does 14 divide 436/c + 14/(-63)?
False
Suppose -22 = -2*d - 0*f + f, -d = f - 8. Let o = 4 - d. Is (-308)/o + 20/30 a multiple of 14?
False
Is 2*3/(-12) - 1845/(-6) a multiple of 36?
False
Suppose -4*u + 1440 = -2*s + 6*s, -4*s - 744 = -2*u. Is u a multiple of 13?
True
Is (-4)/20*-5 - -31 even?
True
Let b(l) = -60*l**3 + l**2 - 1. Let i be b(-1). Suppose -7*r - i = -3*k - 4*r, -4*k - 4*r + 96 = 0. Let h = k - -4. Does 7 divide h?
False
Suppose -3*o = -i - 3212, -5*o + 5368 = 6*i - 4*i. Does 39 divide o?
False
Let n be 4/6 + 4460/15 + 1. Suppose -961 - n = -14*z. Is z a multiple of 9?
True
Let l(i) = -2*i**2 + 129*i - 12. Is 19 a factor of l(61)?
False
Let b(g) = 4*g**2. Let i be b(-1). Suppose -4 - 8 = 4*l, 4*l = i*u - 160. Is 14 a factor of u?
False
Let q(v) = v**2 - 5*v + 6. Let y be q(3). Let m = -131 + 195. Suppose y = -5*s, -2*o + s - m = -6*o. Is 8 a factor of o?
True
Let o(t) be the second derivative of t**4/6 + 5*t**3/3 + 3*t**2/2 + 5*t. Let f(a) be the first derivative of o(a). Does 24 divide f(9)?
False
Let q(d) = -d**2 - 18*d + 9. Let t be q(-19). Is 5 a factor of (5/t)/((10/148)/(-5))?
False
Let a = -46 + 46. Suppose a = -3*n - 5*q - 0*q + 148, -2*n + 101 = q. Is n a multiple of 29?
False
Let n = 1491 - 1014. Is 9 a factor of n?
True
Let n = 35 - 39. Let c(l) = l**2 - 8*l - 16. Is 18 a factor of c(n)?
False
Suppose 0 = 13*k - 10*k + o - 6048, 4*k - 4*o - 8064 = 0. Is k a multiple of 28?
True
Let d(a) = -10*a + 540. Does 15 divide d(0)?
True
Let z(q) = -3*q**3 - 29. Does 28 divide z(-8)?
False
Suppose 2*v = 2 + 6. Suppose -86 + 534 = v*p. Suppose g = -3*g + p. Is g a multiple of 7?
True
Let o be 2*-3*15/(-2). Let f = o + 81. Is f a multiple of 18?
True
Let q(z) = -z + 3. Let a be q(0). Suppose a*g = -3*i + 3 + 6, 0 = -g + 3. Suppose 4*l = 4*p - l - 329, i = 5*l + 25. Is p a multiple of 13?
False
Let l(a) = -a**3 - a**2 + 7*a - 25. Is 11 a factor of l(-7)?
True
Let a(k) = 126*k + 3703. Does 23 divide a(0)?
True
Let f(t) = 208*t - 480. Is 74 a factor of f(8)?
True
Let k(a) = 26*a**2 + 34*a - 1. Let p(u) = -5*u**2 - 7*u. Let g(y) = -2*k(y) - 11*p(y). Does 17 divide g(-6)?
False
Let s(m) = -2*m**2 - 18*m + 32. Let h be s(5). Let p = -112 + 46. Let c = p - h. Does 11 divide c?
False
Let m be 6/42 + (-24)/21. Does 6 divide (12/(-9))/(m/18)?
True
Let r = -579 - -1074. Does 9 divide r?
True
Let c = -28 - -20. Let p = c + 8. Suppose h = -p*h + 9. Is h a multiple of 9?
True
Suppose -p = 4*a + 8, 7*p = 10*p - 2*a - 18. Does 9 divide 2/(-8) + (0 - (-1185)/p)?
False
Let f(u) = u**2 + 9*u + 4. Let q be f(-9). Let g = 10 - q. Does 4 divide -5*(g/(-3) - 0)?
False
Suppose i - 11 + 1 = 0. Is 20 a factor of (-1*1*40)/(i/(-10))?
True
Let k(j) = 4*j**2 + 2*j. Let a be k(1). Let x(l) = l + 1. Is x(a) a multiple of 2?
False
Is ((-3)/4)/(9/(-3024) + 0) a multiple of 7?
True
Let k be (-878)/(-8) + (-3)/(-12). Suppose 2*n - 69 - 253 = 0. Let t = n - k. Is 16 a factor of t?
False
Let a = 391 + -210. Is a a multiple of 48?
False
Let n(f) = -f**3 - f**2 + f. Let p(g) = -2*g**3 - 7*g**2 + 4*g - 3. Let d(l) = -6*n(l) + 2*p(l). Let t be d(4). Suppose -t*i - 3*i + 35 = 0. Is 4 a factor of i?
False
Is 4 a factor of 258132/1323 - (-1 + (-10)/(-9))?
False
Let c be 3*2*3/(-2). Is 4 a factor of (21/c)/((11/12)/(-11))?
True
Let w be (-48)/9*(-3)/(-2). Let o be 106 - w/((-2)/1). Suppose 4*i = -0*i - 5*c + 69, c = -5*i + o. Is i a multiple of 13?
False
Let f = -11 + 15. Let b(u) = u**3 - 4*u**2 + 2*u + 5. I