-d = d + 24. Let j be (-2)/d - 4/24. Suppose j*y = 5*y - 60. Is y a multiple of 4?
True
Suppose -8 = 2*b - 3*o - 26, 5*b - 3*o - 63 = 0. Does 9 divide b?
False
Let i(y) = y**2 - 19*y - 16. Let t be i(20). Suppose 5*q = -2*k + 31, 20 = t*k + 5*q - 17. Does 3 divide 100/30 + 2/k?
False
Let q(i) = -12*i**3 - 10*i**2 + 6*i - 11. Does 4 divide q(-4)?
False
Suppose -10*x = -6*x - 1060. Suppose 1 + 14 = 3*v, 3*o = 4*v + x. Is 8 a factor of o?
False
Let l(g) = 57*g + 9. Let w be l(1). Suppose w*f = 70*f - 616. Is f a multiple of 22?
True
Suppose -4*b = -5*b. Suppose v - 15 = -3*o, b*v - 2*v + 41 = -5*o. Let x = v - -6. Is 24 a factor of x?
True
Let m(r) = -17*r - 4. Is 3 a factor of m(-3)?
False
Let x = -625 - -1003. Is 15 a factor of x?
False
Suppose 7*y - 8*y + 4*w = -66, -y + 21 = 5*w. Does 46 divide y?
True
Suppose 3*l = 5*l. Let a(b) = -b**3 + b**2 - 3*b + 89. Is 5 a factor of a(l)?
False
Suppose -5*n - x + 2093 = -9566, -3*x - 3 = 0. Does 117 divide n?
False
Let s = -6 + 29. Let l = 1 - -3. Suppose 0 = -3*c + l*c - s. Is c a multiple of 7?
False
Suppose 5*p + 3814 = v + 13819, -4002 = -2*p - 3*v. Is p a multiple of 87?
True
Let c(w) = w**2 + 89. Let d be c(0). Suppose -u + d - 31 = -2*k, 260 = 5*u - 4*k. Is 12 a factor of u?
True
Let a be 977/2 + (-3)/6. Let i = a - 282. Is 13 a factor of i?
False
Let t(g) = 2 - 2 - 7*g. Let h(c) = -c**2 + 28*c - 98. Let y be h(24). Does 5 divide t(y)?
False
Let v(i) = -i**3 + 5*i**2 - i + 5. Let t be v(5). Let y be (-10)/(t + 1/(-36)). Suppose -y = -10*n + 5*n. Does 12 divide n?
True
Suppose -3*c - 34 = -1. Let t = 55 + c. Suppose 2*z - 54 = 3*p, p = -2*z - p + t. Does 7 divide z?
False
Let x(t) = t**3 + 18*t**2 + 36*t + 19. Is 33 a factor of x(-14)?
False
Let i(s) = -2*s + 4. Let c be i(-4). Let n be ((-128)/c)/(4/(-6)). Suppose n - 136 = -4*v. Does 15 divide v?
True
Does 26 divide (612/(-8))/(33/(-572))?
True
Suppose -4*r + 38 = 2*q + r, 57 = 5*q + 3*r. Suppose 0 = q*m - 12*m + 222. Is m a multiple of 11?
False
Let c(x) = 11*x**2 - 27*x + 20. Let k(f) = -7*f**2 + 18*f - 13. Let l(r) = 5*c(r) + 8*k(r). Suppose -2*g = -4*v - g + 20, 2*g - 8 = -4*v. Does 16 divide l(v)?
True
Suppose 4*h - 1924 = 26*z - 27*z, 2*h - 962 = -3*z. Is h a multiple of 35?
False
Let s = 235 + -13. Is 16 a factor of s?
False
Is 10 a factor of (162/(-30) - -5)*-15 + 1148?
False
Let w(i) = 6*i**2 - i - 3. Let g be w(7). Suppose -98 = 4*y - 11*y. Suppose 5*t - g = -y. Does 18 divide t?
True
Suppose 0 = 2*s - 4, 3*n + 3*s - 10 = 5. Suppose 3*z = -2*l - 3*l + 76, -n*l + 44 = z. Suppose -l = -2*d - o, -3*o + 1 = 2*d - 9. Is d a multiple of 4?
True
Let g be 6/(-36)*-3 + 94/(-4). Let o = 131 + g. Is o a multiple of 21?
False
Let p(j) = 2*j**2 - 5*j - 1. Let h be p(3). Let g = -24 + 46. Is g*((-3)/(-3))/h a multiple of 11?
True
Let v(q) = -q**3 - 11*q**2 - 6*q + 14. Let c be v(-11). Suppose 0 = -4*o + 9*o - c. Is o a multiple of 4?
True
Is 10 a factor of (0 - 8/(-6))/(2/975)?
True
Suppose -196 = 15*k - 1861. Does 14 divide k?
False
Suppose -m - 4*u + u = 79, 0 = m + u + 85. Let l be ((-6)/4)/(6/m). Suppose -l = -4*i + 50. Does 8 divide i?
False
Let n = 14 + 11. Suppose -4 - 1 = -5*g - h, 3*g = -5*h + n. Is 6 a factor of -7 + 9 + (g - -28)?
True
Let v be ((-8)/(-4))/((-150)/146 - -1). Let d = v - -173. Is 23 a factor of d?
False
Let q be 4 + (184 - 2 - -1). Let m = q + -79. Is m a multiple of 18?
True
Let w(g) be the second derivative of g**3/3 - 15*g**2/2 + 9*g + 3. Let u be (-40)/(-4)*6/5. Is 2 a factor of w(u)?
False
Let r(k) = k**3 - 14*k**2 + k - 6. Suppose 0 = n + 3*n - 60. Let j = n - 1. Does 6 divide r(j)?
False
Let p(q) = 12*q - 12 + 4 + q - q**2. Let t(a) = 53*a + 381. Let u be t(-7). Does 13 divide p(u)?
False
Suppose 19*p - 594 = 8*p. Is 2 a factor of p?
True
Let x be -16*5/15*-3. Is 10 a factor of (-3)/(-4) - (-692)/x?
False
Let i = -39 + 56. Let q(n) = -11*n**3 + 3*n**2 - 3*n + 1. Let d be q(1). Let y = i + d. Is y a multiple of 7?
True
Let z be (14 - -2) + -5 + 4. Suppose -14*j + z*j = -2. Does 13 divide 22 + (1 - -1 - j)?
True
Let z(l) = 48*l**2 + 37*l + 100. Is z(-4) a multiple of 18?
True
Suppose 94 = 3*s - v, 0 = -s - 0*v + v + 30. Suppose -22*d = -24*d + s. Is 8 a factor of d?
True
Suppose -3*f + 8*f + 3*c = 180, 0 = -3*f - 3*c + 102. Suppose 2*g = 9 + 129. Suppose 0 = -4*z + f + g. Does 9 divide z?
True
Suppose -k = -3*t + 1396, 2350 = 5*t - 14*k + 17*k. Is t even?
False
Suppose 158 = 70*k - 68*k. Suppose -3*f - f + 444 = 0. Let z = f - k. Is z a multiple of 16?
True
Let p = 4901 - 3285. Does 54 divide p?
False
Suppose 27*o = 21*o + 2460. Does 9 divide o?
False
Let p = 1 + 134. Let i = 303 - p. Is 33 a factor of i?
False
Suppose -4*t + 4*s - 11 = t, 4*s = -t - 7. Is (-11)/(-2)*(t + 21) a multiple of 33?
True
Does 12 divide (-8854)/(-18) - (-13)/(-936)*-8?
True
Let x(h) = 5*h**2 - 11*h + 15. Does 15 divide x(10)?
True
Let b be (4 + (-1 - 4))*15. Does 22 divide 4/b*-33*5?
True
Suppose 4*t = 20, -4*t - 588 = -3*l - t. Does 16 divide l?
False
Let a = 121 - 33. Is a a multiple of 8?
True
Suppose -7*s = -8*s + 3. Suppose 4*f = -s*q + 44, q - 14 = -2*q + 2*f. Does 4 divide q?
True
Let g = 3061 - 652. Is g a multiple of 14?
False
Let x = -109 + 212. Is 6 a factor of x?
False
Let k be 3 + -1 + -1 + 0. Suppose 5*d - 4*i = 22, -2*d = -3*d - i - k. Suppose 0 = -3*m + 3*t + 153, 0*m = -d*m - 4*t + 84. Is 24 a factor of m?
True
Let n be 12/10 + (-2)/10. Suppose -k = 2*o - 41, -2*k = -2*o - 2*o + 62. Does 21 divide o + n/(1/3)?
True
Let s(m) = -23*m**2 - 3*m + 1. Let i be s(1). Let p(t) = -t + 1. Let o be p(9). Is 2 a factor of (o/(-10))/((-10)/i)?
True
Suppose -5*z - 2*t + 169 = 0, 4*z - 2*z - 76 = -5*t. Suppose u + 2*u + 2*u = 0. Suppose u = -4*k + 7*k - z. Is k a multiple of 11?
True
Let d = 204 + -150. Does 27 divide d?
True
Let o = -46 + 15. Let m = -14 - o. Does 4 divide m?
False
Suppose 2*q - 2 = -2*x, 0 = -q - 2*x - 0*x - 3. Suppose q*s - 4*s + n = 28, 5*s = 4*n + 104. Is s a multiple of 4?
True
Suppose 0 = 5*a - t - 15, 3*a - 4 = t + 5. Suppose -5*m + 30 = -5*j + a*j, 3*m = -4*j - 8. Let s = 19 + j. Is s a multiple of 12?
False
Let t be (-1272)/(-42) - 2/7. Let u be 3/(3/t*6). Suppose -4 = 2*l, 2*p - 18 = -3*l + u*l. Does 6 divide p?
False
Let n(z) = z + 47. Let r(u) = u + 7. Let o be r(-7). Let d = 0 + o. Is n(d) a multiple of 19?
False
Let y(p) = -p + 1. Let o be y(-1). Suppose -5*f = 3*i - 294, o*i - 3*i + 231 = 4*f. Let n = f + -36. Is n a multiple of 7?
True
Let y(r) be the third derivative of 2*r**5/5 + r**3/6 + 2*r**2. Is 5 a factor of y(1)?
True
Let v = 4 + 0. Let h(k) = -k**2 + 3*k + 4. Let j be h(v). Suppose -4*p + 64 - 4 = j. Is p a multiple of 13?
False
Let s(v) = 5 + 6 + 4 + 2 - 8*v. Let r be s(-8). Suppose -r = -2*h - 29. Is h a multiple of 5?
False
Is 7 a factor of 0/(-3) + -1 - (-635)/5?
True
Let h(g) = 4*g - 32. Let u(s) = -2*s**3 + 9*s**2 - 4*s - 1. Let z be u(3). Is h(z) a multiple of 12?
True
Let z be -1*2/4*-8. Suppose 4*j = z*s - 2*s + 10, 2*j - 2*s = 4. Suppose 4*i - 3*r - 5 = 12, -4*r = -j*i + 11. Does 2 divide i?
False
Let n be ((-20)/15)/4*(-3 - 0). Is n/2 - (531/(-6) + -1) a multiple of 10?
True
Let s = -102 + 102. Suppose 4*q - 6*q + 78 = s. Is 14 a factor of q?
False
Suppose p - 40 = -p - 2*r, -p + 40 = -4*r. Let s = 66 + p. Is s a multiple of 7?
False
Let y be (-3 - -4)*(-27)/3. Let k = 10 - y. Is 9 a factor of k?
False
Does 72 divide 2*254 + (-20 - -16)?
True
Let u(c) = 4*c + 24. Let q be u(5). Does 66 divide 8808/q - (-8)/(-44)?
False
Let o(f) = f**2 - 2*f + 1. Is o(9) a multiple of 32?
True
Let t(j) = 3*j + 1. Let v be t(1). Let g be v*(25 + -4) + -2. Let b = g - 17. Is b a multiple of 11?
False
Let d(s) = -2*s**2 + 13*s + 13. Let p = -8 + 20. Let x be d(p). Is (-12)/54 + x/(-9) a multiple of 13?
True
Is 30 a factor of (-450 + 0)/(-3)*(-48)/(-60)?
True
Suppose 0 = -3*j + 8*j + 5*v - 1445, 568 = 2*j + 4*v. Is j a multiple of 42?
True
Let i(l) = -l + 14. Let n be i(12). Let s(t) = 7 + t**n + 9*t - 6*t + t + 7*t. Does 33 divide s(-13)?
True
Let n = -10 - -14. Suppose 0 = j + n*j - 10. Suppose -j*t = -t - 36. Is 12 a factor of t?
True
Let l be (22/4 + -3)*2. Let m(s) be the second derivative of s**4/12 - 2*s**3/3 + 3*s**2 - s. Does 11 divide m(l)?
True
Let a = -1178 - -4799. Suppose -a = -11*x - 6*x