00 - 11676 = 14*n. Let d = -794 - n. Is 62 a factor of d?
False
Suppose 10*w - 67 = -17. Suppose -1629 = -3*k - 3*b, 0*k + w*b + 2745 = 5*k. Is 26 a factor of k?
True
Suppose -6*m + 200861 = 8*m + 69345. Is m a multiple of 237?
False
Let u(w) = w**3 - 10*w**2 + 46*w + 5. Is u(9) a multiple of 108?
False
Suppose -b + 37491 = -11*d + 13*d, -3*d + b + 56229 = 0. Is d a multiple of 12?
True
Let t(g) be the first derivative of g**3/3 - g**2 - 16*g + 69. Does 19 divide t(-5)?
True
Let z(r) = 12 - 44 + 6*r - 15*r - 4*r. Suppose -5*t - 2*a = -0*a + 42, 0 = -2*t - 4*a - 4. Does 14 divide z(t)?
True
Let n(q) = 8*q + 47. Let w be n(21). Suppose -v = 4*b - 318, 4*v - 47 = 2*b - w. Is b a multiple of 6?
False
Let r = 614 - 602. Is (-15)/5*(-764)/r even?
False
Let a(l) = 199*l - 469. Let q(u) = -593*u + 1407. Let f(b) = -11*a(b) - 4*q(b). Is 34 a factor of f(12)?
False
Let g(q) = -14*q - 203. Let a be g(-20). Let k be 4/(-6) - 20/(-3). Suppose a + 55 = k*u. Is 11 a factor of u?
True
Let s(f) = -f + 22. Suppose q - 4*t - 35 = 0, 4*q + 8*t - 4*t - 60 = 0. Let g be s(q). Suppose 8*a = g*a - 25, -a = 4*w - 867. Is w a multiple of 25?
False
Let d = 345 - -291. Is d a multiple of 16?
False
Let z = -66007 + 120241. Is z a multiple of 174?
False
Suppose -447*l + 46231 = -439*l - 12569. Is l a multiple of 50?
True
Let r(w) = -3*w**3 - 97*w**2 - 68*w + 18. Is 10 a factor of r(-32)?
True
Let u(c) be the second derivative of 4/3*c**3 + 0 - 9/2*c**2 + 4*c + 5/6*c**4 + 1/20*c**5. Is u(-6) a multiple of 14?
False
Suppose p - v + 4*v = -11, 2*v = 5*p - 30. Suppose -5*z - o - 199 = 0, -p*z - o = -4*o + 163. Let n = -20 - z. Is 20 a factor of n?
True
Suppose 3*k = -5*u - 196 - 414, 4*u + 20 = 0. Let s = k - -556. Does 38 divide s?
False
Let o = -325 - -328. Suppose -4753 = -5*d + 2*u - 1985, 0 = -o*d - 5*u + 1636. Does 24 divide d?
True
Let n(t) = -t**3 - 38*t**2 + 2. Let w be n(-38). Let z(b) = -b**2 + 3. Let q be z(0). Suppose q*a + w*x = 463, -2*x - 238 = -a - 89. Is 17 a factor of a?
True
Is 17 a factor of (-2)/(322/(-533807)) + ((-20)/(-14) - 2)?
True
Let d be (-1 - -33)/(-2) + 120/30. Is d/90*5 - (-420)/9 a multiple of 9?
False
Let r = 50297 - 24590. Is 123 a factor of r?
True
Suppose -1531 = -x + d, 3*d + 5488 + 2173 = 5*x. Is 26 a factor of x?
True
Suppose -3*r + 888 = -2*r - 2*u, 4*r + 3*u - 3596 = 0. Suppose 14*j = -2*j + r. Is 4 a factor of j?
True
Suppose -32 = -15*m - 2. Does 27 divide 3*m/(-6) - -4 - -78?
True
Let l be -6*5/(-10) - -18. Suppose 6*w - 3*w = -l. Is 40 a factor of (77/w)/((-1)/15)?
False
Suppose -i = -5*b - 10 - 7, -4*b + 8 = i. Suppose 5*n - 10 = 2*j + 55, 2*n + 2*j = i. Let f = 83 - n. Is f a multiple of 18?
True
Let s be 236/6 - 490/210. Suppose 2*l + 15400 = s*l. Does 22 divide l?
True
Suppose 0 = -5*c - 5*h - 0*h + 3490, 4*c + h - 2780 = 0. Suppose -c + 2080 = 6*b. Does 21 divide b?
True
Suppose 5*w = 9*w + 104. Let b be w/4 + 9/(-6). Does 17 divide b/(-14) + 4060/98?
False
Suppose -3*m = 4*l - 11225, 116*l - 3*m + 5617 = 118*l. Is l a multiple of 9?
False
Suppose -4*w + 5*x + 51 = -3*w, -115 = -5*w - 3*x. Let m = -3170 - -3168. Let g = w + m. Does 21 divide g?
False
Let f be (34/51)/((-1)/6). Is 555 + 0/f + (-4)/2 a multiple of 15?
False
Is (60/(-120))/((-21)/28 + (-10822)/(-14430)) a multiple of 222?
True
Let g(c) = -20*c + 3*c + 0*c - 109 - 8*c. Is 8 a factor of g(-5)?
True
Suppose -u = 8 - 100. Suppose -24 = -12*y + 1 + 23. Suppose -u = -y*o + 16. Is 5 a factor of o?
False
Let w(k) = -k**3 - 12*k**2 - 12*k - 9. Let o be w(-11). Suppose -3 = o*z - 4*a + 5, -4*a + 2 = -5*z. Suppose -3*c - z*c + 30 = 0. Is c a multiple of 2?
True
Suppose 5*z = 2*h + 75, h = 3*z + 2*h - 45. Let v(q) = 2*q + 1. Let y(c) = -c**2 + 14*c - 2. Let k(d) = 3*v(d) - y(d). Is 11 a factor of k(z)?
True
Suppose 5*r = -z - 0*z + 401, 4*r = -2*z + 772. Suppose 2*h = -4*x - 1082, -4*x + 61*h = 69*h + 1100. Let t = z + x. Does 12 divide t?
False
Let n(h) = -h**3 + 3*h**2 + 9*h - 1. Let m be n(5). Let t(f) = -f**2 - 10*f - 12. Let b be t(m). Let s(z) = z + 15. Is 27 a factor of s(b)?
True
Let r = 86725 - 50940. Is 87 a factor of r?
False
Suppose 5*d + r - 88 = 0, -2*d + r = -3*r - 22. Suppose 22*l - 390 = d*l. Is l a multiple of 26?
True
Suppose 11*f - 9*f = 4. Suppose -f*l = 3*d - l - 868, 572 = 2*d - l. Is 36 a factor of d?
True
Let g = -535 + 537. Suppose -3*w - h + 2558 = 0, 0 = -g*w + 5*h - 40 + 1717. Is 11 a factor of w?
False
Let j(w) = -w**2 + 15*w - 14. Let s be j(14). Let v be 16 - -285 - (s + -1). Is 16 a factor of (v/(-4))/(1/(-2))?
False
Let q be ((-11)/(-3))/((-45)/(-810)). Suppose -738 = -q*j + 57*j. Is j a multiple of 19?
False
Let b = -7307 - -11469. Is b a multiple of 101?
False
Is 11 a factor of (-7)/2*-20*(-5 + 1230/4)?
True
Let d = 94 + -88. Let k be -1 + (2 - 3/d*-2). Is 24 a factor of 3 + (k - 209)/(-3)?
True
Let j(q) = 2078*q**3 - 2*q**2 - 2*q + 3. Is 4 a factor of j(1)?
False
Suppose -2*k - 57*v + 676 = -59*v, -1015 = -3*k + 4*v. Let b be (-1 - 5)*196/8. Let f = k + b. Does 10 divide f?
True
Let a(w) be the second derivative of 0 - 4*w - w**2 + 1/20*w**5 - 2/3*w**4 + 3/2*w**3. Is 10 a factor of a(8)?
True
Let c(n) = -14*n - 60. Let q(s) = -s - 1. Suppose 3*i = -t - 20, -2*i - 2*i = -t + 22. Let o(y) = i*q(y) + c(y). Is o(-13) a multiple of 7?
False
Suppose -2964 = 43*t - 47*t. Let l = t + -121. Suppose l = 40*b - 36*b. Is 31 a factor of b?
True
Let z(m) = 2*m**2 - 26*m + 31. Let n be ((-9 - -2) + 4)/((-21)/91). Is 3 a factor of z(n)?
False
Let r(m) = -m**3 + 7*m**2 - 2*m + 7. Let p be r(7). Let g be -6*((p - -4) + 4). Is 30 a factor of 90/(-1 + (-15)/g)?
True
Suppose -2*d = -2*q - 38436, 90419 = 4*d + 2*q + 13523. Does 158 divide d?
False
Suppose 6*p = 4*h + 2*p - 26844, 3*h + 3*p - 20127 = 0. Is 8 a factor of h?
False
Suppose -5*h = -14 - 291. Suppose -13*c = -12*c + h. Is 39 a factor of (c/(-4))/(26/8 - 3)?
False
Suppose 104 - 244 = -s + 3*d, 276 = 2*s - 5*d. Does 12 divide 18/(408/s + -3)?
True
Suppose 5*o - 5*n - 40 = 0, -2 = o + 3*n + 6. Suppose a = 3*m, 4*a + 14 = o*m + 6. Is a*4/(-8) - (-588)/8 a multiple of 15?
True
Let k(o) be the second derivative of -11*o**5/40 + 5*o**4/24 - 5*o**3/3 + o. Let l(g) be the second derivative of k(g). Is 22 a factor of l(-4)?
False
Suppose 0*q + 6 = q. Let y be ((-3)/q)/((0 + 3)/(-36)). Suppose -1 - y = -z. Is z a multiple of 4?
False
Let v(k) = -6*k - 9. Let l be v(0). Let d be ((-3)/l*3)/(-1) - -63. Suppose 3*j - d = -4*y, 7*j = 2*j - 4*y + 114. Is j a multiple of 11?
False
Let t(n) = n**3 - 3*n**2 - 20*n + 18. Let l be t(7). Let g = 210 - l. Does 39 divide g?
False
Suppose 83 - 63 = 5*n. Suppose 0 = n*q - 0*q + 2*v - 814, 5*v = -3*q + 614. Suppose q = 3*h - 214. Is 19 a factor of h?
False
Let r be -3 + (-75)/(-27) - (-35)/(-45). Does 6 divide -4 - r - (-28 - 60)?
False
Suppose -4*u = -6*u - 8. Let a be (4/(-6))/(u/12). Suppose -a*w + 6*w - 2*h = 24, 3*w - 3*h = 15. Does 7 divide w?
True
Let f(a) = -287*a + 57 - 2*a**2 + 261*a + 3*a**2. Is 21 a factor of f(27)?
True
Suppose -d + 43213 = -2*k, -94*k + 98*k = -36. Is d a multiple of 11?
False
Let r(h) = -h**2 + 21*h + 15. Let j be 46/3*(2 + -5). Let k = -26 - j. Is 7 a factor of r(k)?
True
Suppose 3640 = 3*i + 7*i. Let k = 680 - i. Does 9 divide k?
False
Let b(c) = 13*c**2 - 3*c + 8. Suppose g + 7 = -x - g, g = -3*x - 16. Let n be 90/27*1/(x/6). Is 12 a factor of b(n)?
True
Suppose -8*a + 44274 = -5*a - 2*t, a - t = 14757. Is a a multiple of 27?
False
Suppose -32686 - 15205 = -5*i + 7599. Is 12 a factor of i?
False
Does 26 divide 3556/1 - ((-34)/(-9) + 68/306)?
False
Let a(h) = h**3 - 89*h**2 + 32*h - 209. Is a(89) a multiple of 13?
True
Suppose -3*q = 3*h, -q - 4*h - 14 = -2. Suppose 4*x + f + 19 = -x, 4*f = -q*x - 12. Does 18 divide (-10)/15*306/x?
False
Let i = -527 + 532. Suppose -i*g = -6*g + 450. Is g a multiple of 90?
True
Let q(j) = -j**3 + 2*j + 18. Let r be q(0). Let a be ((-42)/15)/(r/(-45)). Suppose -9*d + a*d + 74 = 0. Is d a multiple of 4?
False
Let i(s) = -s**3 + s**2 + 23*s + 3. Let l be i(5). Suppose 0 = l*f - 13*f - 540. Does 6 divide f?
True
Let m(j) = -j**2 + 3*j + 4. Let d be m(4). Suppose -2*o - 3*o + 20 = d. Is 9 a factor of 24/2 - (-2)/o*-4?
False
Suppose -8 = -4*m, 453*n + 2*m = 456*n - 41108. Does 20 divide n?
False
Let p(x) = x*