 t = 29 + c. Does 7 divide t?
True
Is 85 a factor of (-65247)/(-7) - (-180)/15?
False
Let k(m) = 60*m**3 - m**2 - 25*m + 48. Does 40 divide k(2)?
False
Is 12 a factor of (-149055)/(-20) + 81/(-108)?
True
Let u(y) = 2*y - 6. Let z = -21 - -23. Let v be u(z). Let x = 88 + v. Does 37 divide x?
False
Let d = -21 + 23. Suppose c - 2 = d*c. Is 7 a factor of c/(285/(-70) + 4)?
True
Suppose -2*o - 5*v = -0*v - 13, 0 = 3*o - 3*v - 9. Suppose 1617 = -o*z + 37*z. Does 5 divide z?
False
Suppose 361 + 39 = 8*r. Suppose -r = -t - 1. Does 2 divide t?
False
Let b = 3255 - 2130. Does 3 divide b?
True
Let l be 3400/(-476)*(1 - 8). Suppose 0 = l*q - 40695 - 21705. Is q a multiple of 78?
True
Let o(g) = 19*g - 90. Let y be o(5). Suppose -y*a = -98 - 1222. Does 12 divide a?
True
Let f(t) = 5*t**2 + 3. Suppose -18 = -3*q - 4*b, 3*b + b = -5*q + 22. Let s be f(q). Let m = s - -45. Is m a multiple of 10?
False
Let a(z) = 2*z**3 - 52*z**2 - 33*z. Does 21 divide a(27)?
True
Let c(o) = 7*o**3 + 14*o**2 + 5*o + 8. Let t(d) = -14*d**3 - 28*d**2 - 10*d - 15. Let s(r) = -5*c(r) - 2*t(r). Is s(-4) a multiple of 9?
True
Let i = 44 - 42. Let d be 3216/9 + 3 - i/6. Suppose -d = -2*u - u. Does 12 divide u?
True
Let u be (-1)/((-714)/(-717) + -1). Let y be u/3 + 2/6. Suppose 82*a = y*a + 32. Is 4 a factor of a?
True
Let t be -7*((-1)/3 + 1/21). Let y be 0 - (t + (4/4 - 1)). Is 12 a factor of (-2 - -48)*(0 - y)?
False
Let b(g) = -5*g**3 - 5*g**2 - 5*g - 16. Let a = -34 - -26. Let r(i) = -3*i**3 - 3*i**2 - 3*i - 11. Let t(o) = a*r(o) + 5*b(o). Is t(0) a multiple of 4?
True
Let r be -1*2*(0 - 244/8). Let a = r - 70. Is 7 a factor of 1/3 - a/(-27) - -70?
True
Let v(q) = -66*q**2 - 1 + 74*q**2 + 10*q - 2. Is 15 a factor of v(4)?
True
Suppose -3 = k, 0*k + 824 = 5*q + 2*k. Is 8 a factor of -2 + 5 + 1 + q?
False
Let o = -19 - -22. Suppose j - 408 = o*j. Let q = -104 - j. Does 25 divide q?
True
Suppose 2*g + 2*k - 16362 = 0, -4*g + 32360 = 5*k - 359. Does 107 divide g?
False
Suppose 8551*v + 8593 = 8552*v. Is 69 a factor of v?
False
Is 13164 - (6 + (-2 - (-1 + 7) - -9)) a multiple of 3?
False
Suppose -u - u + 3985 = -3*l, 7925 = 4*u + 3*l. Suppose r = -q + 2*r + 494, 0 = 4*q - r - u. Is 8 a factor of q?
False
Let p(u) = -u**3 + 12*u**2 + 28*u + 2. Let q be p(14). Suppose -5*x + 0 + 15 = -q*m, -3*x - 5*m - 22 = 0. Suppose -x = -2*y + 13. Does 6 divide y?
False
Suppose -6 = -2*i + 3*w, -3*i + 6*i = -2*w + 9. Suppose -2*a - 122 = -4*v, i*a - 8*a = 15. Does 7 divide v?
False
Suppose f + 2 = 0, 14*f - 19*f = p - 32254. Is p a multiple of 17?
False
Let d(k) = 6*k**3 + 3*k**2 - 3*k - 4. Let v = -203 + 205. Is 15 a factor of d(v)?
False
Let s be (1/((-1)/(-3)) - 7) + 3. Let i(x) = -1. Let o(y) = -y**2 + 6*y - 24. Let w(q) = s*o(q) + 6*i(q). Does 9 divide w(9)?
True
Let u(i) = 9*i - 106. Let m be (22/6)/(2/72*6). Is u(m) a multiple of 7?
False
Let r be (33/4)/(16/(3072/18)). Suppose -111*q + 107*q = -r. Does 4 divide q?
False
Let y = -6894 - -7650. Is y a multiple of 189?
True
Let w be 17 + -18 + (1 + 0)*1. Suppose 5*f = -w*p - 5*p + 90, 33 = 2*p + 5*f. Suppose -515 = p*t - 24*t. Is 6 a factor of t?
False
Suppose 4*w + 23773 = 3*n + 88966, w - 16350 = -5*n. Is w a multiple of 31?
False
Let n(o) = 1988*o**2 - 6*o - 6. Let c be n(-1). Suppose -18*d + 22*d = c. Is 24 a factor of d?
False
Let q(b) = b**2 + b - 2. Let f be q(3). Suppose -17*l = -f*l - 133. Is 6 a factor of l?
False
Suppose 0 = 5*n - 5*g, 5*n - 2*g - 1 = 8. Suppose -4*f - 25 = -t, 7*t + f - 15 = n*t. Does 2 divide t?
False
Let i be (-6 - -8)*3/2. Suppose i*x = 8*x - 55. Suppose 165 = x*k - 6*k. Does 30 divide k?
False
Let u(a) be the first derivative of -a**3/3 - 9*a**2/2 + 15*a + 2. Let z be u(-9). Suppose -85 = -2*i - 2*c + z, 5*c + 245 = 4*i. Is 12 a factor of i?
False
Let p(r) be the second derivative of 10*r**4/3 - 2*r**2 - 133*r. Is p(2) a multiple of 52?
True
Let u(p) = p**2 + 16*p + 112. Does 86 divide u(-29)?
False
Let z(p) = p**2 + 4*p - 99. Let i be z(8). Let w(c) = -2*c**3 + 5*c**2 + 3*c - 3. Does 3 divide w(i)?
True
Let u be 0*(-4)/(-8) - -218. Suppose -u - 1502 = -20*r. Is r a multiple of 8?
False
Let z(i) = 11*i**3 + 28*i**2 - 203*i + 11. Does 21 divide z(6)?
False
Is 931685/873 - 6/27 a multiple of 8?
False
Let g = 30 - 35. Let t(u) = u**2 + 10*u - 6. Let w be t(g). Let l = w + 63. Is l a multiple of 18?
False
Let h = 1217 - 1082. Does 3 divide h?
True
Let p = 91608 + -44868. Is p a multiple of 82?
True
Let a(t) = -t**2 - 20*t - 2. Let g be (-1)/(-3) - (-590)/(-15) - 1. Let c be (3*(-2)/(-2))/(15/g). Is 16 a factor of a(c)?
False
Is 911624/40 + (-119)/(-85) a multiple of 144?
False
Does 56 divide (-3)/(60/(-57125)) - (-8)/(-32)?
True
Suppose -20*a + 5*h + 2049 = -23*a, a + 673 = -5*h. Let t = a + 1600. Is 76 a factor of t?
True
Suppose -13*y = -5 + 5. Suppose y*z + 786 = 4*z + p, -5*z = -2*p - 989. Does 18 divide z?
False
Suppose -10*m = -m - 27. Is 6 a factor of ((-294)/56)/(m/(-56))?
False
Suppose 20*d = 16 + 24. Suppose -d*t = 2*x - 107 - 145, -3*t = 5*x - 628. Is 19 a factor of x?
False
Suppose 5*y = 3*k + 17 - 4, -5*k - 2*y - 32 = 0. Is 50 a factor of (18/k)/((-6)/3522)?
False
Let q(h) = -45*h - 116. Let n be q(-3). Let l(s) = -s**3 + 20*s**2 - 15*s + 4. Is 8 a factor of l(n)?
True
Suppose 9*k - 4*m = -3*m + 3728, m + 416 = k. Does 6 divide k?
True
Let g(i) = 15*i**2 - 1329*i - 17. Is g(93) a multiple of 23?
False
Let i(l) = 74*l**3 + 2*l**2 - 4. Let t be i(2). Let m = t - 246. Is 12 a factor of m?
False
Let s(l) = -l**3 + 17*l**2 + l + 52. Let b be s(17). Suppose p - 2*c - 64 = 2*c, 5*p + c = 215. Let t = b - p. Does 4 divide t?
False
Let i be ((-156)/91)/(-1 - (-122)/126). Let p = 105 - i. Does 40 divide p?
False
Let f(m) = -2373*m**3 - 6*m**2 - 9*m - 2. Is f(-1) a multiple of 29?
False
Let k(v) = 9434*v**3 - 2*v**2 + 9*v - 7. Is k(1) a multiple of 89?
True
Let k(y) = 8640*y - 2196. Is 186 a factor of k(4)?
True
Let s(d) be the third derivative of -d**4/12 + 8*d**3/3 + 15*d**2. Let y be s(8). Suppose 4*t - 2*u - 187 = 3*u, y = 3*t - 5*u - 144. Does 18 divide t?
False
Let z(m) be the third derivative of 13*m**4/12 - 5*m**3/3 - 16*m**2. Let j(f) = -27*f + 9. Let l(t) = 7*j(t) + 6*z(t). Is l(-2) a multiple of 6?
False
Let k(m) be the second derivative of -m**5/20 - m**4 - 47*m**3/6 - 8*m**2 + 8*m + 7. Does 42 divide k(-8)?
False
Let z = -3431 - -5177. Suppose 0*m = 6*m - z. Is m a multiple of 17?
False
Let i = 49 + -47. Suppose 716 = 3*z + 12*k - 11*k, 0 = 3*z + i*k - 712. Is z a multiple of 35?
False
Does 9 divide ((-78)/18)/((-3)/18) - 7?
False
Is (7680/150)/(3 + -3 - 2/(-60)) a multiple of 13?
False
Let l(j) = j**3 - 9*j**2 + 11*j - 22. Let k be l(9). Suppose -13*t + 6*t + k = 0. Suppose -122 = -t*b + 406. Is b a multiple of 12?
True
Suppose 10 = -i - 5*h, -4*i - 5*h + 2*h = 6. Suppose -23*z + 20*z + 192 = i. Let b = 31 + z. Is 19 a factor of b?
True
Is 11 a factor of (5/50 - 3489/(-60))/((-5)/(-100))?
False
Suppose 1014 = 3*t + 101*k - 104*k, 3*t - 5*k = 1006. Is 5 a factor of t?
False
Let b = 361 - 345. Does 3 divide (161/(-28))/((-4)/b)?
False
Let k(h) = -2*h**3 - 25*h**2 - 47*h - 33. Let z(y) = 2*y**3 + 24*y**2 + 48*y + 33. Let a(p) = 7*k(p) + 6*z(p). Is 68 a factor of a(-16)?
False
Is ((-28362)/2)/(-145 - -144) a multiple of 10?
False
Does 117 divide 4392/(((-2)/6)/((-195)/(-3420)) - -6)?
True
Let w = 4887 + -3736. Is w a multiple of 53?
False
Let a(x) = 6*x + 918. Does 23 divide a(-6)?
False
Suppose -2*o + n = -0*n, 0 = 4*o - 3*n. Suppose o = 2*z - 7*z + 1005. Does 3 divide z?
True
Let g = 9 + -4. Let j(n) = -41*n**3 - 4 + 0 + g + 151*n**3. Is 37 a factor of j(1)?
True
Let z = -2836 - -3522. Does 10 divide z?
False
Let o(s) = s**3 - 24*s**2 + 25*s - 47. Let b be o(23). Does 35 divide 22 - 21 - b*69?
True
Suppose -5*h + 3 = -4*y - 567, 4*h - 425 = -3*y. Let k be 2 + 4/(-1) + h. Let m = k - 66. Is 7 a factor of m?
True
Suppose 7 - 7 = -3*a. Let o = 21 - a. Let w = o + 34. Is w a multiple of 5?
True
Let s(l) = l**2 - 30*l - 1179. Does 135 divide s(78)?
True
Does 10 divide (-35)/2*65/91*(-384)/2?
True
Let y be (1173/3)/((-2)/(-2)). Suppose -1621 + y = -6*w. Is w a multiple of 43?
False
Let g(l) = l**3 + 9*l**2 - 3*l - 8. Let b be ((-4)/6)/((-5)/((-300)/(-8))). Is 16 a factor of g(b)?
False
Suppose 4*b = 4*