*5/60 - i**4/24 + i**3/6 + 2*i**2. Does 8 divide s(t)?
False
Is (5 + 0)/((-9)/(-144)) a multiple of 16?
True
Does 13 divide (4/10)/(1/205)?
False
Let f be (-46)/(-4)*(0 + 2). Suppose 7 - f = -2*t. Is t a multiple of 4?
True
Suppose -v = v - 76. Let s = -27 + v. Is s a multiple of 11?
True
Let f(n) = -n**3 + 2*n**2 - 1. Let x be f(1). Suppose -5*q - 6 = 4*k, x*k - 4*k - 24 = -4*q. Is (-12)/(2 + 1 + k) a multiple of 6?
True
Suppose 0 = -3*i + 1 + 5, -5*i - 23 = -3*x. Let w be ((-2)/2 - -3) + x. Is 2 a factor of 4/8 - w/(-2)?
False
Suppose -25 = -5*p + 25. Is 10 a factor of p?
True
Suppose -3*z - 2*w - 13 = 7, -30 = 4*z + 2*w. Let p = 5 - z. Is 5 a factor of p?
True
Suppose -3*j = -3*y - y + 129, -2*j = -2*y + 64. Suppose 5*a + y = 6*a. Is 14 a factor of a?
False
Let w(b) = -91*b**2 - 16*b - 16. Let r(u) = -18*u**2 - 3*u - 3. Let i(l) = -11*r(l) + 2*w(l). Is 8 a factor of i(-1)?
True
Suppose -4*g = 5 - 37. Suppose -2 = 4*q + 14, -3*t = 4*q - g. Does 8 divide t?
True
Suppose 3*c + 21 = -0*c. Let x = 11 + c. Is x a multiple of 2?
True
Let r = 215 + -48. Suppose -5*s - 2*a = -214, 0 = -4*s - 2*a - a + r. Does 22 divide s?
True
Suppose m - 6*m - 10 = 0. Let o be (5 + -20)*(-4)/(-6). Is (-198)/(-15) - m/o a multiple of 5?
False
Let i(b) = b**2 - 4*b - 2. Let s be i(-4). Suppose 5*c + s = z, 0*z + 4*c + 123 = 3*z. Is 20 a factor of z?
False
Let o = -2 + -4. Let r(h) = h**2 + 5*h + 8. Let l be r(o). Let c = -8 + l. Is c a multiple of 3?
True
Suppose -4*j + 3*j = -7. Is 5 a factor of j?
False
Suppose 0 = -2*t - 4*o + 296, -3*t + 0*o = -5*o - 411. Is t a multiple of 13?
False
Let h(m) = 2*m**2 - 4*m + 3. Let x = 2 + 0. Let v be 0/2 + x*1. Does 2 divide h(v)?
False
Suppose 0 = -3*x - g - 838, 170 + 114 = -x + 2*g. Let a = -166 - x. Suppose 0 = -5*n - 4*d + a, -2*d = 4*n + n - 122. Is n a multiple of 13?
True
Let a(j) = j**3 + j + 29. Let q be a(0). Let x = q + -21. Suppose 18 = f + x. Does 10 divide f?
True
Let p be (-3 - 8)*(3 - 2). Let s = p + 17. Does 6 divide s?
True
Suppose 2*u - b - 17 = 0, b - 10 = 4*u - 43. Is u a multiple of 2?
True
Let s(x) = x**3 + 5*x**2 - 4*x + 2. Let f be s(-6). Let u be (-15)/f*8/3. Suppose u*g + 33 = 5*g. Is g a multiple of 13?
False
Let r(u) = -u**2 + 10*u. Let k be r(9). Let o(p) = -p**3 + 10*p**2 - 9*p + 6. Does 3 divide o(k)?
True
Let s(y) be the first derivative of 0*y**3 + 9/4*y**4 + 1 - 1/2*y**2 + y. Does 7 divide s(1)?
False
Suppose k = 3*k - 8. Does 7 divide (1 + -2)/(k/(-72))?
False
Is 6 a factor of (-9)/(-2)*112/84?
True
Let z(i) = -i**3 + i**2 - 1. Let b be z(0). Let a be b/((-22)/10 + 2). Suppose a*k - 3*k - 60 = 0. Does 15 divide k?
True
Suppose 3*a - 4*j = 147 + 41, -3*j = -3. Is 16 a factor of a?
True
Suppose 4*n - q - 556 = 0, -n + 0*q + 139 = 3*q. Suppose 4*c - n = -23. Is c a multiple of 9?
False
Is 2 a factor of (-402)/(-18) + 4 + (-1)/3?
True
Suppose 0 = 2*y - 1 - 3. Let c(n) = 7*n**2 - 2*n - 1. Let u be c(y). Suppose x = 2*g + u, 104 = 9*x - 4*x + g. Is 21 a factor of x?
True
Suppose 10*h - 192 = 7*h. Is 12 a factor of h?
False
Let w be -20*(-1 - (-3)/5). Let n be (-1)/(-4) + (-2)/w. Suppose -4*r + 6 = 2, n = 5*c + r - 96. Is c a multiple of 14?
False
Let a = -197 - -76. Let l = -80 - a. Does 13 divide l?
False
Let r(g) be the first derivative of -17*g**2/2 + 2*g - 1. Is r(-1) a multiple of 7?
False
Let w = -19 - -7. Is (0 - w) + 3/(-1) even?
False
Let x(j) = -21*j - 10. Does 37 divide x(-6)?
False
Is 6 a factor of -4 - ((-5 - -2) + 2*-8)?
False
Let g(f) = -f**2 + 12*f + 8. Does 14 divide g(10)?
True
Suppose 4*o = -c + 148, 0*c = o + c - 34. Is 38 a factor of o?
True
Let l(g) = -g + 4. Let y be l(-4). Let r(o) = 1 + 23*o - 21*o - 5 + 2. Is r(y) a multiple of 11?
False
Let s = -5 + 10. Does 22 divide 2/5 + 293/s?
False
Let i(s) = s**2 + 3*s. Is i(6) a multiple of 18?
True
Suppose -5*k = 5*q - 15, 5*k - 6*q + 3*q = 23. Is (-2)/(k/(-32)*2) a multiple of 4?
True
Suppose 2*x - 6*x - 24 = 0. Let o = x - -18. Is o a multiple of 12?
True
Let b(u) = -8*u - 1. Let m be b(-1). Suppose -7*w + 100 = -3*w. Suppose -4*z + m = -w. Is z a multiple of 4?
True
Suppose -r - r - 3*w = 20, -3*r + w = 8. Let f = r - -4. Suppose -2*k + 4*m + 66 = f, -42 = -2*k + 3*m + 19. Is 17 a factor of k?
False
Suppose -d - d = -4. Suppose 3*f + 22 = z, 3*z + d*f - 39 = 49. Is 13 a factor of z?
False
Let q be (-1 + 11/5)*5. Let x(s) = s - 1 + 2*s - 3 + 2. Is 15 a factor of x(q)?
False
Let v = 32 - 21. Let t = v - -2. Suppose -t = -2*n + 21. Does 8 divide n?
False
Let v = -22 + 110. Is 22 a factor of v?
True
Does 24 divide (1 - (-21)/(-9))*(-10 - 26)?
True
Let d be (3/(-2))/(12/(-16)). Suppose -d*b + 35 = v, -4*v + 95 = 5*b - 0*b. Is b a multiple of 15?
True
Let z be (-1264)/(-14) - (-2)/(-7). Let x = z + -63. Let m = x - 4. Is m a multiple of 20?
False
Let b be 6/(-12)*(0 - 0). Suppose 0 = 2*y - 5*q - 5 - 28, b = 5*y + 4*q. Suppose 0 = p - 5*a - 49, -y*p - 53 = 4*a - 129. Is 12 a factor of p?
True
Let g(u) = 10*u - 10. Let r be g(7). Is 9 a factor of ((-5)/10)/((-1)/r)?
False
Suppose 0 = -2*q + 6*g - 4*g + 68, 0 = 5*q + g - 200. Let x = 63 - q. Is x a multiple of 6?
True
Let n(w) = -w**2 - 2*w. Let i be n(-2). Suppose i = -c + q + 31, -5*q + 83 = 3*c - 18. Is c a multiple of 16?
True
Let c(h) = h - h**2 - 5*h**2 - h**2 - 3. Let p(x) = 6*x**2 - 2*x + 3. Let r(z) = -5*c(z) - 6*p(z). Does 6 divide r(5)?
False
Let b = -64 + 34. Is (6/(-5))/(2/b) a multiple of 5?
False
Let y = 62 - 28. Does 17 divide y?
True
Let x(o) = -10*o - 16. Does 4 divide x(-5)?
False
Let p be (-468)/20 - 6/10. Is 9 a factor of ((-18)/(-3))/2 - p?
True
Let y be 146/9 + 2/(-9). Suppose -j = -y - 23. Suppose -3*o = -5*l - j, -o = -3*l + 6*l + 1. Does 7 divide o?
False
Let y(u) = u**2 + 6*u + 2. Let r be y(-6). Suppose 4*z = 4*l - l + 145, 0 = -r*z + l + 71. Is z a multiple of 17?
True
Let x be (1 + 0)*(0 - -2). Suppose -x*k + 4*k - 55 = d, -3*k = 2*d - 100. Suppose 0 = -3*p + 9 + k. Does 8 divide p?
False
Suppose h + 4*h = 410. Let v = h + -53. Does 6 divide v?
False
Let x = 72 - -4. Does 19 divide x?
True
Suppose -4*r + 110 = 5*o - 0*r, -92 = -4*o - 4*r. Is o/12 - (-174)/4 a multiple of 9?
True
Suppose -2*b - 6*u = -u - 38, -12 = -b + u. Does 4 divide b?
False
Let p = 107 - 63. Is 3 a factor of p?
False
Let y be (15/9)/((-2)/6). Let m = y - -7. Does 5 divide (4/(-2))/(m/(-15))?
True
Suppose 5*q - 318 - 407 = -4*o, -5*o - 2*q = -885. Is 5 a factor of o?
True
Let w = -16 + 165. Is w a multiple of 14?
False
Let q = 8 - 4. Is 2/(0 + q/36) a multiple of 18?
True
Let o = 261 - 416. Let r = -111 - o. Is 22 a factor of r?
True
Let f(n) = -n**3 + 9*n**2 + 4*n + 11. Let s be ((-72)/20)/((-8)/20). Does 15 divide f(s)?
False
Let w = 25 + 0. Does 5 divide w?
True
Suppose 2*f = -0 + 14. Let g(z) = -2*z**3 - 3*z**2 - 5*z + 2. Let p(y) = 3*y**3 + 7*y**2 + 11*y - 3. Let l(d) = 5*g(d) + 3*p(d). Does 6 divide l(f)?
False
Suppose -b = 1 - 3. Let j(c) = -4*c - b - c**2 + c - 7*c. Is 8 a factor of j(-8)?
False
Suppose 4*j + 40 = 4*g - 3*g, 52 = 3*g + 5*j. Let k = -12 + g. Does 12 divide k?
True
Let v = 15 - -1. Is 7 a factor of v?
False
Suppose -3*i = 3*y - 12 - 0, -3*i + 2*y = -17. Suppose i*b = -25, -386 = -5*o - 3*b + 4. Is 27 a factor of o?
True
Suppose 6*r - 466 + 46 = 0. Does 10 divide r?
True
Let m(t) = 3*t**3 - 2*t**3 + t**2 - 4*t**2 - 4*t. Let o be m(-3). Let y = o + 70. Does 14 divide y?
True
Let j = -7 + 13. Suppose 3*n + 3 = j. Is 2*-13*n/(-2) a multiple of 8?
False
Suppose s + 3*c + 264 = 4*s, -4*s - 4*c + 336 = 0. Is 5 a factor of s?
False
Let d be 1/4 - (-66)/(-8). Let a be (-3)/(-2) - 212/d. Let i = a + -15. Is i a multiple of 13?
True
Let n be -1 + (-1 - 1)*-2. Suppose 2 = p - n. Does 3 divide p?
False
Let k(r) = -r**2 + 5*r - 1. Let l be k(3). Suppose -l*c + 32 + 58 = 0. Does 6 divide c?
True
Let n = -14 + 42. Is 11 a factor of n?
False
Let i(t) be the second derivative of -t**5/20 + t**4/3 - 2*t**2 - t. Let b be i(3). Suppose 0 = -0*k - k - j + b, k - j = 15. Is 5 a factor of k?
True
Let b be 202/(-8) - (-2)/8. Let i = -65 + 126. Let t = i + b. Does 15 divide t?
False
Let l = -8 - -21. Let b = 52 - l. Does 39 divide b?
True
Suppose c - 34 = 8. Suppose 0 = 6*t - 2*t - 8. Suppose -u - t*u = -c. Is u a multiple of 5?
False
Suppose 0 = 3*s, 0*h = -3*h - 5*s + 153. Does 17 d