ose 2*q = 3*l - 15, -4*q = q + 5*l. Is 20/12 - 1/q even?
True
Suppose y + 2*y = 0. Suppose y = -4*j + 26 + 50. Is j a multiple of 10?
False
Suppose -3 - 1 = -v. Suppose 5*h = 3*j - 20, -v*h - 17 = -2*j - 5. Is 2*(-3)/(-6)*j a multiple of 5?
True
Let w be (-3 - (-1 + 0))*-1. Suppose 0 = -3*b - w*b + 840. Is (-3)/(2/(b/(-9))) a multiple of 9?
False
Let f(x) = 14*x + 3. Suppose 15 = 3*b + 3*q, 3*q - 14 = -4*b + 5*q. Let m be f(b). Suppose -m = -2*p + v, 4*v = -p - 2*p + 116. Is p a multiple of 16?
True
Suppose -2*i = -6*i + 28. Does 3 divide i?
False
Suppose 4*b - y - 451 = 0, 2*b - 3*y + 103 = 3*b. Is 28 a factor of b?
True
Let l = -55 - -13. Let m = 70 + l. Does 14 divide m?
True
Suppose -4*w + 88 = 3*g + g, w = -3*g + 68. Does 6 divide g?
False
Let c(q) = -q**3 + 20*q**2 - 14*q - 15. Does 20 divide c(19)?
True
Let f = -5 - -9. Let g be 8/(3*1/6). Is 4/g - (-51)/f a multiple of 9?
False
Suppose -3*n - 18 = -4*j + 6, -4*n + 7 = -j. Does 2 divide j?
False
Let j(r) = r**3 + 12*r**2 + 4*r + 3. Let m be j(-6). Suppose -2*h = 75 - m. Suppose h = 3*x - 15. Does 13 divide x?
False
Is 16 a factor of 45 + (-3 - -3 - 3)?
False
Let p = -1 + 0. Let n be p/2 - (-90)/12. Suppose m - 5*f + 5 = 0, -4*m + 3*f + n = -7. Is m even?
False
Let n(j) = 22*j + 5. Is n(3) a multiple of 8?
False
Let r(j) = -j**3 - 2*j - 4. Let z(k) = k**2 + 1. Let a(o) = -r(o) - 3*z(o). Is a(3) a multiple of 3?
False
Suppose 0*h + 385 = 7*h. Does 7 divide h?
False
Does 12 divide (-2874)/(-30) - 1/(-5)?
True
Suppose -7*d - 4*a - 389 = -12*d, -3*a + 305 = 4*d. Does 7 divide d?
True
Suppose 2*c = -3*c + 15. Suppose -57 = -l - r, c*l = l + 2*r + 134. Is 26 a factor of l?
False
Suppose 0*u + 2*u - 82 = 0. Suppose 2*y + u = 3*y. Is 18 a factor of y?
False
Suppose -4*h + 210 = -58. Does 23 divide h + 1/(2/(-8))?
False
Let s be 190*(-1)/(-4)*14. Let b be s/(-45) - 2/9. Is 7/(-1 + b/(-12)) a multiple of 14?
True
Suppose 5*n = 4*r + 2*n - 249, 0 = 4*r - 5*n - 247. Does 7 divide r?
True
Let x(i) be the third derivative of -i**6/360 + i**5/10 + i**3/3 + 3*i**2. Let o(d) be the first derivative of x(d). Does 10 divide o(10)?
True
Let w = 28 + -1. Let i = -4 + w. Is 6 a factor of i?
False
Is (3*23)/((-24)/5 + 5) a multiple of 31?
False
Let s be 6*1*(7 + 0). Suppose 10 = -6*b + b. Is s/(b/(-1)) - 0 a multiple of 11?
False
Suppose 3*z + 3 = 6*z, -t + 3*z = -7. Is t a multiple of 6?
False
Suppose -2*d + 2*q - q = -130, -68 = -d - q. Does 33 divide d?
True
Let o = 15 - 10. Let p(f) = -4*f**2 + 6*f - 9. Let c(j) = 3*j**2 - 5*j + 8. Let i(w) = -6*c(w) - 5*p(w). Is 16 a factor of i(o)?
False
Suppose 3*y - 12 = 4*y - 2*v, 5*y = 3*v - 39. Is 18 a factor of (y/3 - -3) + 17?
True
Let s = -1 + 3. Suppose -v = s*v - 12. Does 4 divide v?
True
Let u = -167 + 239. Is u a multiple of 9?
True
Is 5679/153 + (-2)/17 a multiple of 6?
False
Suppose 0 = -3*j + 7 + 2. Suppose 136 = j*x + x. Does 24 divide x?
False
Let n(s) = -s - 3. Let x be n(4). Does 15 divide (0 - -2)*(-119)/x?
False
Let w = -15 - -10. Let o = w + -3. Does 14 divide (-1290)/(-24) - 2/o?
False
Let b(m) = m**2 + 10*m - 1. Let o(g) = g**2 + g. Let y(d) = b(d) - 2*o(d). Is y(4) a multiple of 15?
True
Suppose 2*d + 4*l - 170 = 0, -250 = -3*d - 8*l + 3*l. Does 11 divide d?
False
Let h(y) = 2*y**2 + 2*y - 1. Let q be h(-2). Suppose -3*n + 3*i = -0*n + 6, 5*i = q*n + 16. Suppose -a + 84 = n*a. Is 21 a factor of a?
True
Let k(u) be the second derivative of u**4/12 + 2*u**3/3 - 4*u**2 + 3*u. Is k(-6) a multiple of 2?
True
Let u(o) = -6*o + 2. Let i = 4 - 6. Does 14 divide u(i)?
True
Suppose 44 = i + i. Does 4 divide i?
False
Is ((-3)/5)/(-1) - (-668)/20 a multiple of 34?
True
Let v = -50 + 118. Is 34 a factor of v?
True
Is 4 a factor of 128/(-8)*(-7)/2 - -4?
True
Let n(q) = q**3 - 9*q**2 + q - 6. Let k be n(9). Suppose k*u - u = 106. Is u a multiple of 11?
False
Let p(c) = 22*c - 12. Is p(5) a multiple of 19?
False
Suppose 4*o - 2*o = -3*j + 107, 4*o = -8. Let t = j + -17. Is t a multiple of 10?
True
Does 31 divide (-1)/3 - ((-1286)/6 + -3)?
True
Let j(h) = 8*h**2 + h - 2. Is j(2) a multiple of 12?
False
Suppose 0 = -t - r + 7, 3*t - 19 = -0*t - r. Suppose j = -j + t. Does 3 divide j?
True
Suppose -2*x - 6 - 26 = 0. Is x/(-8)*(9 - 1) a multiple of 16?
True
Is 13 a factor of ((-2)/(-6))/((-2)/(-78))?
True
Let r = 65 - -60. Suppose 0 = 5*l - r - 55. Is l a multiple of 17?
False
Is ((-3)/4 - 0) + 2655/20 a multiple of 21?
False
Suppose 5*z - 4 = 4*z. Suppose 0 = -2*t + z*w + 4, 3*w = 3*t - 2 - 4. Does 2 divide t?
True
Let x = 10 + -3. Suppose 0 = 3*f - 0*f - 3. Let h = f + x. Is 7 a factor of h?
False
Let x(j) = 76*j. Does 14 divide x(1)?
False
Let c = -2 - 2. Let g be (-43)/(-5) - c/10. Is 6 a factor of 1/(-3) - (-129)/g?
False
Suppose 2*d - 4*o = 822, 4*d - 2*o - 2*o - 1632 = 0. Suppose 75 = -5*k + d. Suppose 3*n + 3*t = k, -3*t + t = 4*n - 84. Is 10 a factor of n?
True
Suppose 3*l = -15, -l - l - 98 = -t. Suppose 3*d - 66 = 3*s, 4*d + 3*s - t = -s. Does 8 divide d?
False
Let y(r) = -2*r + r + r - 4*r**2 - r**3 + 6 + 2*r. Does 7 divide y(-5)?
True
Let a(u) = -2*u**2 + 2*u - 1. Let r be a(1). Let h(z) = 1. Let s(y) = -6*y**2 - y + 1. Let x(i) = 2*h(i) - s(i). Is 5 a factor of x(r)?
False
Is -3 + 0 - (-140)/4 a multiple of 8?
True
Let c(m) = m**3 - m**2 - m - 1. Let d be c(-1). Does 4 divide d - (11 + -2)*-1?
False
Let g = 129 + -10. Does 17 divide g?
True
Let p(v) = v**3 - 5*v**2 - v + 7. Let w be p(5). Suppose b + 91 = 4*u, -4*b + w*b - 28 = -u. Is 22 a factor of u?
True
Suppose 4*z - 41 = -5*f + 2*f, -43 = -4*f - 3*z. Is 2 a factor of f?
False
Let h(c) = c + 3 - 3*c**2 - 9*c + 2*c**2. Is 8 a factor of h(-6)?
False
Suppose 0 = 4*l - 0*l - 4. Let d = 1 + l. Suppose 3*g = -9, d*m - 2*g - 23 = m. Is 17 a factor of m?
True
Suppose 2*v + 2*v + 3*d - 15 = 0, 3*v - 5*d = 4. Suppose -116 = -v*y - 8*s + 3*s, 5*s = 5. Does 22 divide y?
False
Let y(n) = 3*n**2 + 5*n - 6. Suppose -1 = -5*o + x - 25, -x + 4 = -o. Let z(l) = -6*l**2 - 9*l + 11. Let v(p) = o*y(p) - 3*z(p). Is 13 a factor of v(2)?
True
Suppose 3*y - 3*r = -57 + 630, y - 3*r = 183. Is 39 a factor of y?
True
Suppose -4*q + 95 = 15. Is q a multiple of 4?
True
Let o be -2*(1 + 79/(-2)). Let i(c) = 3*c - 6. Let j be i(3). Suppose 5*w - j*g - o = g, -5*w = -3*g - 74. Does 5 divide w?
False
Let b be 4*((0 - 0) + 28). Is (0 + b)*(-7)/(-14) a multiple of 14?
True
Let k = 37 - 19. Let n be (-48)/27 - 4/k. Is 1 - n/(6/39) a multiple of 5?
False
Let m = -13 + 21. Is 20 a factor of 3/(-2) + 332/m?
True
Let s(w) = -5*w + 5. Let b(a) = 10*a - 11. Let n(r) = -2*b(r) - 5*s(r). Let u be n(7). Let d = u - 15. Is 12 a factor of d?
False
Let u(g) = g**3 + 6*g**2 - 4*g + 12. Is 5 a factor of u(-5)?
False
Let k(u) = -u**2 + 6*u - 9. Let d be k(12). Does 9 divide 2/(-9) + (-2205)/d?
True
Suppose -5*l = -3*x - 157 - 11, -2*x = 2*l - 80. Is 36 a factor of l?
True
Let t(n) = n**2 + n - 9. Suppose -2*l + 4 + 1 = 5*q, 4*l + 23 = q. Does 3 divide t(l)?
False
Suppose -115 - 125 = -4*o. Is o a multiple of 30?
True
Let d(s) = -s - 6. Let h be d(-7). Let g = h + 4. Is 2 a factor of g?
False
Let a be ((-12)/(-8))/(1/2). Is 15 a factor of ((-9)/6)/(a/(-68))?
False
Is 2 a factor of (-12)/(-3) + 28/7?
True
Suppose -2*w + 3*y - 4*y = 0, 0 = -3*w + 4*y. Suppose -2*q + w*q = -90. Is q a multiple of 19?
False
Suppose 5*u = -2*y + 328, 3*u + 3*y - 76 = 2*u. Is 27 a factor of u?
False
Suppose u = 4*m - 19, -3*u + 0 = -3. Suppose 4*o + 23 = m*o. Is o a multiple of 15?
False
Is (-108)/3*(-1 + -1) a multiple of 10?
False
Is 8 a factor of (4/3)/((-7)/(-252))?
True
Let g be (-7)/(-2) + 2/(-4). Suppose -l + g*l + x = 25, x = -5*l + 70. Is 4 a factor of l?
False
Let k(l) = 13*l**3 + 2*l**2 - l + 4. Does 37 divide k(3)?
True
Suppose -2 = 4*p - 6. Let f(d) = 3*d**3 + 2*d - 1. Let o be f(p). Suppose -75 = -5*a + 3*v, o*v = 4*a + 2 - 54. Is a a multiple of 7?
False
Is 375/35 + (-4)/(-14) a multiple of 6?
False
Suppose -4*b - 2 = 2*t, 0*b + 3 = -3*t + 2*b. Is t/2 + (-196)/(-8) a multiple of 12?
True
Suppose o - 9 = -2*o. Suppose 0 = -o*w - w + 32. Does 3 divide w?
False
Suppose 10 = -5*r, 3*v = -5*r + 113 + 129. Is 14 a factor of v?
True
Let r = 0 + 0. Let a be 1 + 2*(2 - 1). Does 13 divide (11 + r)*(a + 0)?
False
Let v(j) be the third derivative of j**6/120 + j**5