 -4*t + t = i, 2*i + 5*t - 4 = k. Is 12 a factor of i?
True
Let g(j) = 25*j**2 - 6*j - 30. Is 19 a factor of g(-5)?
False
Let z = -120 + 152. Does 29 divide z?
False
Suppose -4*l + 745 + 859 = -3*n, 0 = 2*l + 5*n - 802. Is 2 a factor of l?
False
Let n = 76 - -118. Is n a multiple of 26?
False
Suppose -k + 4*v + 12 = 0, -3*k + 3*v = -6*k - 9. Suppose k = 4*x + 3*c - 79, 5*x - 4*c = 71 - 11. Is x a multiple of 2?
True
Let b(c) = -7*c**2 + 4*c + 1. Let f(u) = -6*u**2 + 3*u. Let a(t) = 5*b(t) - 6*f(t). Suppose l - m - m = -10, -39 = 5*l + m. Is a(l) a multiple of 19?
False
Let q = -105 + 193. Is 8 a factor of q?
True
Let g be -1 - (1/1 - 1). Let r be (6/(-9) - g)*9. Is 7 a factor of 8*((-27)/(-6) - r)?
False
Suppose 2*o - 16*o + 3038 = 0. Is 24 a factor of o?
False
Let z be 1/(-3) + 301/21. Let v = z + -12. Suppose v*p = 8*p - 66. Is p a multiple of 3?
False
Let i be (-1)/(-28)*7 - (-139)/4. Is 7/(i/135) - -5 a multiple of 2?
True
Let q be 2 - 7/(4 + -5). Suppose -q = -4*b + 3*h, -4*h + 38 = 5*b - 2*b. Suppose 0 = -7*r + b*r + 37. Is r a multiple of 16?
False
Let z(i) = -i**2 - 6 - 4*i - 5 - 10*i + 2*i**2. Let x be z(12). Let d = 50 + x. Does 15 divide d?
True
Let h(b) = b - 19. Let v be h(5). Let d = v - -36. Is 11 a factor of d?
True
Let i be -3*((-84)/(-18) + (-5)/1). Let v(t) = -3*t**3 - 4*t**2 - 5*t - 3. Let c be v(-3). Does 19 divide c*-3*i/(-9)?
True
Let k = -398 + 601. Is 41 a factor of k?
False
Suppose -176*k = -165*k - 7524. Does 19 divide k?
True
Let y(b) = 2*b**2 - b + 12. Let c be y(0). Let x = c + -2. Suppose 28 = x*f - 9*f. Is f a multiple of 9?
False
Suppose 0 = 4*v - 16 + 48. Is 2 a factor of (v/(-2))/(-4 + 5)?
True
Let m(a) = -7*a**3 - a**2 - 5*a + 5. Suppose 0 = -5*y - 5*l - 20, -3*l = -0*l + 3. Does 25 divide m(y)?
True
Does 10 divide (1 - 4 - -127)*6/24?
False
Let l(i) = i**2 + 5*i - 9. Let d be l(-7). Suppose 3*r - 209 = -5*p, 5*r - 95 = 3*p - d*p. Is 20 a factor of p?
True
Let y(j) = 3*j**2 + 3*j - 1. Let v(d) be the second derivative of -d**5/20 + 2*d**4/3 - 4*d**3/3 + 9*d**2/2 - d. Let b be v(7). Does 8 divide y(b)?
False
Suppose 3 = -3*g + 9. Suppose y - 8 = g*y - 4*z, y - 5*z = -12. Does 8 divide y?
True
Let y(c) = -c**3 + 17*c**2 + 17. Let x be y(17). Suppose x = 7*i - 53. Does 3 divide i?
False
Suppose 103*b - 38*b - 26520 = 0. Does 6 divide b?
True
Let g(f) = f**3 + 23*f**2 - 26*f - 53. Does 10 divide g(-19)?
False
Let q(y) = 34*y - 42. Does 101 divide q(25)?
True
Suppose d + 2 = 0, 3*u - 142*d - 294 = -145*d. Does 10 divide u?
True
Suppose 0*z = -4*z. Suppose -3*v + 2 = -2*b, 3*b - 4 - 11 = z. Suppose -q - v*q = -20. Is 4 a factor of q?
True
Suppose 55*i = 66*i - 8932. Is 58 a factor of i?
True
Suppose 5*y = -5*o + 145, -2*o = -y - o + 25. Is y a multiple of 3?
True
Let k = -80 - -17. Let u = k + 115. Is 26 a factor of u?
True
Let r = 654 + -473. Does 26 divide r?
False
Let o(a) be the second derivative of 4*a + 1/20*a**5 + 0 - 7/12*a**4 - 9/2*a**2 + 4/3*a**3. Does 18 divide o(7)?
False
Suppose -30*c + 324 = -27*c. Is c a multiple of 36?
True
Let f(u) = -8*u**3 - 6*u**2 - 32*u - 13. Is f(-4) a multiple of 12?
False
Let n(q) = -31*q + 369. Is n(8) a multiple of 26?
False
Let o be ((-62)/(-2))/((-5)/(-5)). Let x = -85 + 60. Let p = x + o. Is 3 a factor of p?
True
Let m(y) = -y**3 - 4*y**2 + 4. Let u be m(-4). Suppose -w = u*w - 525. Is 21 a factor of w?
True
Suppose b = w + 55, 2*w + 3*b + 85 = -0*w. Let r = w + 158. Is r a multiple of 9?
True
Let y be -1*(3 + -1) - 415. Let d = -285 - y. Suppose -3*n = -3*j - 126, -n - 2*n = -j - d. Is n a multiple of 15?
True
Suppose -76 = -i - 362. Let a = -193 - i. Is a a multiple of 33?
False
Let i(z) = -z**2 + 8*z - 4. Let a be i(7). Suppose 2 = -2*f, -14 = -4*r - a*f - 1. Suppose 0*g + 24 = r*g. Is 6 a factor of g?
True
Let h(k) = 10*k**3 + k - 1. Let t be h(1). Suppose -3*x + 8*x - t = 0. Let f(q) = 19*q**2 - q - 2. Is 14 a factor of f(x)?
False
Let g be -18*((-163)/12 - 54/72). Suppose -2*c - 40 = -l, -4*l + g = c + 80. Does 22 divide l?
True
Suppose 2*d + 2 = 3*d. Suppose -3*v = -d + 20. Is 11 a factor of (-3)/9 - 278/v?
False
Let n(f) = 3*f + 28. Let i(p) = -2*p - 19. Let s(d) = 7*i(d) + 5*n(d). Let h be s(-3). Is 28 a factor of 1/2 + 446/h?
True
Is ((-100)/40 + 2/(-4))*-15 a multiple of 45?
True
Suppose 2157 = 27*o - 4755. Is o a multiple of 9?
False
Let x(b) = 26*b**3 + 2*b**2 - b. Let n be x(1). Suppose 0 = -3*j + n + 258. Is 16 a factor of j?
False
Let k be ((-1)/(-2))/((-5)/(-560)). Suppose -8 = -j - 5*v, -8 + k = j - 5*v. Is j a multiple of 28?
True
Let n = 170 + 20. Is n a multiple of 38?
True
Let a(v) = 87*v**2 - v + 1. Let l be a(1). Let u = -65 + l. Does 2 divide u?
True
Let t(o) = 78*o**3 + 8*o - 9. Is t(1) a multiple of 3?
False
Let g = -130 + 178. Suppose -4*q = -757 + 293. Let y = q - g. Is y a multiple of 18?
False
Let z(v) = -40*v + 45. Let g(h) = h - 4. Let a be g(-2). Is 39 a factor of z(a)?
False
Let a(n) be the second derivative of -3*n**5/20 - n**4/8 + n**3/3 + 4*n. Let l(k) be the second derivative of a(k). Is l(-3) a multiple of 17?
True
Suppose 8*q - 13 - 11 = 0. Suppose -100 = -g + r + r, -q*r = 3*g - 255. Is g a multiple of 10?
True
Is 3 - 8 - (-2)/(6/5853) a multiple of 7?
True
Let i = -23 - -26. Suppose n + i*a - 9 - 6 = 0, -4*a = 3*n - 40. Let o = 31 - n. Is 4 a factor of o?
False
Let i = 9 + -4. Is (-85 - i)*(-2)/5 a multiple of 8?
False
Let x = 9 + -24. Let k = x - -32. Is k a multiple of 17?
True
Suppose -2*g + 5*u + 184 = 0, 7*g + 4*u = 9*g - 184. Let h(v) = 30*v - 1. Let w be h(-2). Let b = w + g. Does 6 divide b?
False
Let c = 83 - 16. Suppose -n + 5*n = 5*w + c, -4*n + 4*w = -68. Let s = n - 9. Is 3 a factor of s?
True
Let v(g) = g**2 + 5*g - 2 + 8 - 2*g**2 + 2*g**2. Let f be v(-4). Suppose -4*l + f*x + 354 = 0, -6*l + 351 = -2*l - 5*x. Is 30 a factor of l?
False
Suppose 33 = 2*n + 3. Suppose -17*u = -n*u - 136. Is 6 a factor of u?
False
Let x(a) = 5*a + 2. Let j be x(-1). Let o be (j + 353)/5 - -2. Is 9 a factor of (-18)/o - 293/(-4)?
False
Let l(c) = c**2 + 13*c + 2. Let d be l(-12). Let k = -7 - d. Suppose k*f = 3*u - 15, -4*f = -5*u - f + 21. Is u even?
False
Let i = -34 + 54. Suppose i*q - 13*q = 588. Does 39 divide q?
False
Let y = -8 + -22. Let d(a) = -a + 62. Is 11 a factor of d(y)?
False
Let p(y) = 67*y**2 - 28*y - 38. Does 115 divide p(-7)?
False
Suppose 84 = -4*t + 8*t. Suppose i - 99 = -t. Is 14 a factor of i?
False
Let a(h) = h + 42. Let q(i) = -i**2 + 10*i - 9. Let d be q(9). Is 21 a factor of a(d)?
True
Let j = 8 + -17. Let q = 16 + j. Suppose -l - q = -3*p, 0 = -l - 1 + 3. Is 2 a factor of p?
False
Let l be 73/(1 - 0/(-2)). Let g = 163 - l. Is 9 a factor of g?
True
Suppose 15*z - 12*z + 120 = 0. Is -3*(-4 + z/6) a multiple of 26?
False
Let u(s) = s**3 - s**2 + 5*s - 4. Let j be u(4). Let v = -52 + j. Is 6 a factor of v?
True
Let m be (14/42)/(1/9). Suppose -c + 68 = 2*n, m*n + 4*c + 5 - 107 = 0. Does 10 divide n?
False
Let q(m) = -82*m - 14. Let h(d) = 165*d + 29. Let u(l) = -4*h(l) - 9*q(l). Does 8 divide u(1)?
True
Suppose 131*p - 135*p = -8. Suppose 0 = i + 4*h - 322, 3*i - h - 1631 = -p*i. Is 19 a factor of i?
False
Suppose -z + 2*g = -112 - 351, 4*g = 5*z - 2315. Does 6 divide z?
False
Let g be (-1 + 0 - -1)/(-15 - -14). Suppose z - 4*l - 131 = g, 2*z - 272 + 22 = 5*l. Is z a multiple of 22?
False
Let c(d) = 6*d**2 + 3*d + 9. Let w(g) = 7*g**2 + 2*g + 8. Let m(l) = 4*c(l) - 3*w(l). Is m(-5) a multiple of 5?
False
Suppose 0 = -4*b + 56. Suppose 4*l - 4*z = 188, 214 + b = 5*l + 2*z. Is 23 a factor of l?
True
Suppose 2*z = z + 4*u - 11, 2*z - 4*u = -18. Is (-142)/(-8) - z/28 a multiple of 3?
True
Suppose -16 = 4*y, 4*n + 2*y - 5*y = 672. Does 7 divide n?
False
Let r(x) = -6*x. Let o(k) = 2*k**2 + 9*k - 10. Let n be o(-7). Suppose -2*m = 4*g + 16, -4*g - n = -2*m - 9. Is r(g) a multiple of 8?
True
Let r(c) = -4*c + 1. Let m be r(7). Suppose -o = 17 - 2. Let v = o - m. Is 6 a factor of v?
True
Suppose -3*a + y = -212, -3*y - 160 = -2*a - 7*y. Does 3 divide a?
True
Suppose 4*s - 29 - 6 = 5*y, 0 = s - 2*y - 11. Suppose s*t - 4*p = -90, 4*t + 32 = 3*t - 2*p. Let k = t - -37. Does 5 divide k?
True
Suppose 2*h = -5*y + 1419, -2*y - 31*h = -35*h - 582. Does 5 divide y?
True
Let b(z) = z**2 + z. Let n(o) = 7*o**2 - 15*o + 44.