t t(j) = -2*j**2 + 8*j - 4. Let y be t(c). Let x = y + 86. Does 8 divide x?
False
Let c = 101 + 47. Does 8 divide c?
False
Does 62 divide (93/2)/((-21)/(-364)) + 0?
True
Let u = 1533 - 1469. Is 6 a factor of u?
False
Does 11 divide 18/(-48) - (-11163)/8?
False
Suppose 18*l + 3690 = 23*l. Is l a multiple of 7?
False
Let l = -14 - -14. Suppose 3*i + 22 - 67 = 5*f, -3*i + 27 = f. Suppose s + 4*s - i = l, 0 = m + s - 17. Is m a multiple of 15?
True
Let x(r) = -r**3 + 2*r**2 - 3*r + 3. Let m be x(2). Let f(o) = -o**2 - 1. Let u be f(m). Is (-82)/(-4) - (-5)/u a multiple of 8?
False
Suppose -6*g = -15*g - 351. Let q = -14 - g. Does 5 divide q?
True
Suppose 31 + 99 = 5*u. Suppose 2*f + w - 61 = 0, -2*f - 5*w + 47 = -u. Is f a multiple of 10?
False
Let y be (4/10)/(3/15). Suppose y*w + 8 = 4*w. Suppose 12 = -w*a, 5*n - 2*a - 51 = -0*a. Is 3 a factor of n?
True
Suppose -3*z + 255 = 2*j, 625 = 5*j - 4*z - z. Is 7 a factor of j?
True
Suppose 0 = 3*w - 3*u - 15, 5*u + 14 = w + u. Let a be (-4)/w - (-3 + 17). Let k = 20 + a. Is 4 a factor of k?
True
Suppose 5140 = -24*x + 18316. Is x a multiple of 11?
False
Let s = 145 + -27. Let p be 74/8*(-5 + -3). Let u = p + s. Does 22 divide u?
True
Let g(i) = -2*i - 12. Let k be g(-8). Suppose 3*u - w - w + 8 = 0, k*u = 2*w - 8. Suppose -2*a + 30 + 80 = u. Is 19 a factor of a?
False
Is (12/8)/((-141)/(-140) - 1) a multiple of 30?
True
Suppose 0 = -5*c - 28 + 3. Let v be (1*(0 - 1))/1. Does 12 divide 27 - (-12)/(v - c)?
False
Is 31 a factor of ((-2)/(-7))/(20/135940)?
False
Suppose -4*r + 197 = 2*c - 337, 0 = -3*r - 5*c + 390. Is 45 a factor of r?
True
Let r(f) = -6*f. Let s be r(-3). Suppose 0 = -3*b - l + 3*l - 2, -s = -5*b - 2*l. Suppose -4*h + 2*j + 126 = 0, -2 = b*j + 4. Is h a multiple of 10?
True
Suppose -4*i = -3*l + 292, -2*i = -i + 4. Suppose -4*g + l = -z + 2*z, -z - 5*g = -87. Does 14 divide z?
True
Suppose -2*h + 20 + 472 = 2*s, -5*s - 25 = 0. Does 16 divide h?
False
Let q(n) = 15*n - 60. Let h be q(-20). Is 33 a factor of (11/3)/((-20)/h)?
True
Suppose -z + 3 = 4. Let s(q) = -q**3 + 15*q**2 + 19*q - 33. Let n be s(16). Does 9 divide (n - z) + -15 + 17?
True
Is 47 a factor of (-4)/(-10) - (-29458)/130?
False
Let t(p) = -p**3 - 14*p**2 - 14*p - 17. Let z be t(-13). Let m(u) = -u**3 - 3*u**2 + 3*u + 1. Is 5 a factor of m(z)?
True
Suppose 5*f + 6845 = 5*g - g, -4*f - 1703 = -g. Is g a multiple of 50?
False
Let v = -39 - -214. Does 60 divide v?
False
Suppose 20 = 5*h - d + 6*d, 5*d - 20 = 2*h. Suppose -2*j = 3*i - 38, 66 = 3*j - 5*i - 10. Is 12 a factor of (5 + h)*j/5?
False
Let q(u) = 235*u**3 - 3*u**2 + u. Let k be ((12 - 8) + -3)*(0 - -1). Does 39 divide q(k)?
False
Let v = 18 - -146. Suppose 0 = 4*o - 5*d + 139 + v, 5*o - 2*d + 400 = 0. Let i = -59 - o. Does 14 divide i?
False
Suppose l = -5*t - 345, 4*t - 141 = -3*l - 417. Let v = t - -201. Let m = -75 + v. Is m a multiple of 19?
True
Let a = 49 + -37. Is 26 a factor of (-3)/(-6) - (-930)/a?
True
Let s(g) = 32*g + 28. Let l be s(-3). Let b = 104 + l. Is 12 a factor of b?
True
Let k = 405 + 51. Suppose -k - 237 = -7*p. Is p a multiple of 27?
False
Let m(j) = j**2 + 3*j - 13. Let t be m(-6). Suppose -4*o = 2*v - 162, 0 = -2*v - t - 1. Does 9 divide o?
False
Suppose 6*u - 3*u = -408. Let c = u - -400. Does 24 divide c?
True
Let v(n) be the third derivative of n**5/60 - 5*n**4/24 + 11*n**3/6 + 6*n**2. Is v(5) a multiple of 11?
True
Let j(y) be the first derivative of -1/4*y**4 - 2*y**3 + 5*y**2 - 11*y - 3. Is j(-8) a multiple of 13?
False
Let v = 0 + 8. Let n = 8 - v. Is 1 + n + 90/6 a multiple of 4?
True
Let o(w) = -5*w**2 + 14*w + 18. Let y(c) = -3*c**2 + 9*c + 12. Let i(x) = 5*o(x) - 8*y(x). Let t be i(-3). Let u(r) = r + 12. Is 2 a factor of u(t)?
False
Suppose -4176 = -14*l - 22*l. Does 32 divide l?
False
Suppose -5*r + 134 = 4*x, -r + 3*r - 55 = -3*x. Is r a multiple of 13?
True
Suppose 3*c = -i + 1, i + 3 = -5*c + 2. Suppose 16 = -i*z, -7*n + 3*n = -3*z - 468. Is 12 a factor of n?
False
Suppose -5*i = -12*i + 49. Let b(t) = t**2 - 5*t + 5. Is b(i) a multiple of 8?
False
Suppose 3*g - 40 = -2*w + 79, 2*g + w = 80. Is g a multiple of 20?
False
Is 14 a factor of (-4)/7 + (-24849)/(-231)?
False
Let m be 3*1*488/(-12). Let f = m + 79. Let q = f - -95. Does 13 divide q?
True
Suppose -6*v + 11*v = 580. Suppose 0 = -2*x - 2*i + v, -x + 2*i + 318 = 4*x. Let h = x - 17. Does 15 divide h?
True
Let n be -1 + 6 - 2/2. Suppose -2*y + 30 = -4*v, 3*v - 24 = n*v + 5*y. Let j = 23 + v. Is 7 a factor of j?
True
Is (18/(-21))/(14/(-5782)) a multiple of 7?
False
Let l(a) = -14*a**3 + 11*a**2 + 17*a - 16. Is 18 a factor of l(-4)?
False
Suppose -4*u = -4*b - u + 32, -5*u = 2*b + 10. Let a = 79 + b. Does 16 divide a?
False
Suppose 6*l = l + 1775. Let i = -212 + l. Does 13 divide i?
True
Let m(u) = u**3 - 10*u**2 + 7*u - 3. Let p be m(7). Suppose -13*v = -18*v - 10. Is -4 - v*p/(-2) a multiple of 14?
False
Suppose 4*j - 8*j - 8 = 0. Let f(v) = -24*v + 13. Does 31 divide f(j)?
False
Let s = 871 - 811. Does 6 divide s?
True
Suppose -2*o + 2*m = 157 - 959, 5*o - 4*m - 2000 = 0. Is o a multiple of 36?
True
Suppose 0 = 2*a - 136 + 96. Suppose 0 = 3*k + 5*q + 10, -3*k + q = -0*k - a. Is k a multiple of 2?
False
Let q(r) = -r**3 + 4*r**2 - 5*r**2 - r + 4*r**2 + 4*r + 1. Let i be q(4). Let m = 9 + i. Is 2 a factor of m?
True
Suppose 2*q - 8385 = -1123. Is q a multiple of 104?
False
Suppose 12 = 4*l - 0*l. Let v be (777/14 - 0)*4/6. Suppose l*m + 13 = v. Is m a multiple of 8?
True
Let m = -7 + 7. Suppose -4*t + 2 + 6 = m. Suppose -3*l = -15, 0 = -n - l - t*l + 61. Does 23 divide n?
True
Does 3 divide (5 - 12)*(2 + -27)?
False
Suppose -5*v + 48 = -57. Suppose x + v = 48. Does 9 divide x?
True
Let c(b) = -1514*b - 134. Is 23 a factor of c(-1)?
True
Let z(t) = -t**3 - 14*t**2 + 14*t - 7. Let h(i) = -i**3 - 3*i**2 - i - 1. Let l be h(-4). Let c = l - 34. Is 8 a factor of z(c)?
True
Let g(h) = -h**3 + h**2 - 2*h - 3. Let o be (4 + (-7)/2)*-6. Is 13 a factor of g(o)?
True
Let u be 3 + 3 + (4 - 0). Suppose -u*d + 0*d = -1320. Is d a multiple of 12?
True
Suppose 0 = -4*j, -2*z - 2*j + 189 = -155. Does 16 divide (4 + 7/(-2))*z?
False
Suppose 4 = -b - 4*d + 22, -5*b + 74 = 4*d. Let h be b*(3 - (-1)/(-1)). Let q = 7 + h. Is q a multiple of 7?
True
Let h(j) be the third derivative of -j**5/60 + 7*j**4/12 - j**3 + 7*j**2. Let a(l) = l**2 - 15*l + 6. Let w(x) = -4*a(x) - 5*h(x). Does 27 divide w(15)?
True
Suppose -b + i + 3 = 8, 2*i = -b + 10. Suppose 0 = -5*u - 4*w + 33, -5*u - 2*w + 4*w + 51 = b. Is u a multiple of 6?
False
Let l be 1 + 1 + 5 - 3. Suppose -p - 5 = l*p. Let w(u) = 68*u**2 + 2*u + 1. Does 21 divide w(p)?
False
Let r(i) = i**3 + 10*i**2 - 11*i. Let n be r(-11). Suppose 5*w - 5*m - 1075 = n, -m = 1 + 1. Does 12 divide w?
False
Let p = 66 + -62. Suppose -129 - 1235 = -p*h. Does 25 divide h?
False
Suppose -3*g + 6 = -u, g + 2*u = -4*g + 21. Let m be 18/(-15)*(-10)/g. Is 19 a factor of 10/20 - (-302)/m?
True
Is 34 a factor of (9 - 5) + 343 + -7?
True
Let o = -165 - -171. Let z = -27 + 45. Does 17 divide ((-51)/(-3))/(o/z)?
True
Let b(h) = h**2 - 12*h + 12. Let u be b(12). Suppose -u = -5*a + 13. Suppose -a*k + 3*w + 157 = 0, 2*k + 0*w - 54 = -w. Does 29 divide k?
True
Suppose -75*y = -65*y - 18240. Does 32 divide y?
True
Let p be ((-16)/2)/4 - -14. Let n be -22*p/8 + -1. Let j = n - -56. Does 22 divide j?
True
Suppose 3*c = 7*u - 4*u - 2697, 0 = -3*c + 9. Is u a multiple of 21?
False
Let p(i) be the first derivative of -i**2/2 + i + 4. Let q be p(-3). Suppose 2*v + 230 = q*j + 4*v, j - 5*v = 85. Is 11 a factor of j?
False
Let z = -33 + 39. Suppose -q + z*q = 70. Does 7 divide q?
True
Let k(a) = a**3 + 15*a**2 - 59*a - 16. Is 13 a factor of k(-11)?
False
Suppose -5*h - j + 2518 = 0, h - 5*j - 2026 = -3*h. Is 24 a factor of h?
True
Let k be 2/3 - 40/6. Let m(n) = 3*n + 15. Let v be m(-4). Is (-8)/v*k/2 a multiple of 8?
True
Let u = -87 + 37. Let o = u - -62. Is o a multiple of 2?
True
Let n = 370 - -82. Is (-5)/(-10)*-1*n/(-2) a multiple of 20?
False
Let y(s) = s**2 + s + 4. Suppose -t = -2*t - 4*a + 11, -t = -3*a + 10. Let m = t + 5. Is y(m) a multiple of 11?
False
Let p = 23 + 10. Does 8 divide p/(-77) - (-899)/7?
True
Is (44 + -39)*(1116/15 + 0) a multiple of 3?
True
Let h = -1109