*s + f. Suppose 5*o + i = 80. Is 7 a factor of o?
True
Is 28 a factor of 226 + -4*4/8?
True
Suppose 3*b = 5*b - 5*t - 30, -14 = -2*b + t. Suppose -5*s - 2*p = -478, -2*s - 450 = -7*s + b*p. Does 22 divide s?
False
Let n(a) = 59*a + 3. Let u be n(2). Suppose 6*m - 481 = -u. Is 12 a factor of m?
True
Let i(z) = -13*z - 1. Let h be i(-3). Let l = 55 - h. Is 17 a factor of l?
True
Let j be 9/(-2)*(-742)/(9 - 2). Suppose 3*u = -4*g + 5*g - 108, -j = -4*g + 3*u. Is 15 a factor of g?
False
Suppose -2*p - 31 = -5*a, 18 + 2 = -4*p - 4*a. Is (-2 - (-16)/(-12))/(p/36) a multiple of 15?
True
Let g = -7 + 28. Let q be 7/g - (-166)/6. Is q + (-3)/(-3) + 1 a multiple of 6?
True
Suppose 5*l - 3*t = 17, -3*l + 4*t - 2*t + 11 = 0. Let x(b) = -b**2 - b + 1. Let w(j) = -4*j**2 + 5*j - 4. Let u(y) = -w(y) - 2*x(y). Is 4 a factor of u(l)?
False
Let g = 1899 + -1555. Is 4 a factor of g?
True
Suppose 4*i - c + 49 = -0*c, 2*c = -i - 10. Does 14 divide (1 + 1 - -3)/(i/(-216))?
False
Suppose 5*z - 4822 = 3*i, -12*i = -8*i + 16. Does 37 divide z?
True
Let a = 1278 + -934. Is 2 a factor of a?
True
Let n be ((-15)/(-6) + 2)*4. Suppose -15*c = -17 - 43. Let k = n - c. Does 14 divide k?
True
Let b(u) = 23*u - 16. Is 6 a factor of b(2)?
True
Let i(k) = -k**3 + 4*k**2 + k + 3. Let r be i(4). Let c = r - 6. Does 23 divide ((-4)/(-12))/(c/69)?
True
Let o(b) = b**3 - 14*b**2 - b + 18. Let d be o(14). Let l = 2 + d. Is 6 a factor of l?
True
Suppose 4*b + 4 = 2*y, 2*y + 0 = 2*b + 4. Suppose l = 3*v - 65, 2*v - 55 = 3*l - b*l. Let o = v + -9. Is o a multiple of 5?
False
Let c(p) = p**3 - 5*p**2 + p + 2. Suppose 0 = 2*t - 3*f - 28, 3*t - 40 = 4*f + 2. Suppose 4*r + t = 2*x, 7*r - 2*r + 20 = 3*x. Does 3 divide c(x)?
False
Suppose 0 = -3*k - 6*k. Is (2 + k + -4)*89/(-2) a multiple of 22?
False
Let p(s) = -s**3 + 8*s**2 - 2*s + 1. Suppose 0 = -5*o + 7 + 8. Let h be p(o). Let g = -1 + h. Is 13 a factor of g?
True
Suppose -i - 3*y + 9 = 0, -8*y + 15 = -3*y. Let u be (-3 + i)*(-6)/9. Suppose 0 = -u*v + 5*v - 111. Does 10 divide v?
False
Let x(t) = 3*t**3 - 4*t**2 - 2*t + 3. Let n be (0 - -1)*(3 + 0). Let h be x(n). Let s = 9 + h. Is s a multiple of 22?
False
Let u(g) = 333*g**3 + 3*g**2 - 5*g + 2. Is 37 a factor of u(1)?
True
Let m = 82 - -47. Does 6 divide m?
False
Let b be (-12)/(-24)*(4 - 0) + 4. Is 18 a factor of (-1*(-12)/7)/(b/441)?
True
Suppose -u + 1564 = 2*n, -2*u - 4*n + 3126 = -n. Is u a multiple of 10?
True
Suppose 7*u + 195 = 909. Does 34 divide u?
True
Let y(j) = j**3 - 9*j**2 + 23*j - 14. Is y(6) a multiple of 8?
True
Suppose 2*n + 5*a + 3 = 0, 2*n = a - 3 + 6. Let x = 0 + n. Suppose -4*q = -4*r - 100, q + 3*r + x - 6 = 0. Is q a multiple of 20?
True
Let o(h) = h**3 + 7*h**2 + 5*h + 3. Let x be o(-4). Suppose 0 = t + r + x, 0*r - 4*r = t + 34. Does 8 divide ((-4)/(-5))/((-1)/t)?
True
Let y(b) be the third derivative of -b**5/60 - 17*b**4/24 + 19*b**3/6 - 5*b**2. Is y(-17) a multiple of 19?
True
Let c be 0 - (16/(-4) + 6). Let m be c/9 + 4/18. Suppose d = -t + 51, m = 3*t - d - 80 - 61. Is t a multiple of 8?
True
Let h = 11 - 16. Let y be (1 - -2) + (-101 - h). Let m = y - -140. Is m a multiple of 13?
False
Let i(n) = n**3 - 13*n**2 + 12*n + 15. Let w be i(12). Suppose -20 = -5*d, 4 - w = -5*v + d. Suppose 0 = -u - v*u + 28. Does 4 divide u?
False
Let n(h) = -h**2 + 18*h - 13. Let o be n(17). Suppose 10 = 5*l, o*u - 2*l = -l + 286. Does 8 divide u?
True
Let i(b) be the second derivative of b**3/2 + b**2/2 + 12*b. Let n be i(-1). Let g(w) = -59*w + 2. Is 24 a factor of g(n)?
True
Let p(m) = 5*m + 55. Is p(5) a multiple of 10?
True
Let k = 1531 + -44. Is k a multiple of 34?
False
Let v be -45*(-1)/((-15)/(-36)). Let w be ((-3)/(-3))/((-3)/(-135)). Suppose -w = -3*j + v. Is 26 a factor of j?
False
Suppose 3*g - 34 + 274 = 0. Let t be (-14)/(-3)*(0 - 2)*-12. Let b = g + t. Does 10 divide b?
False
Let q = 38 - -23. Suppose 4*t = 4*x + 12, -5*t - 5*x + 26 = q. Is (-54)/15*5/t a multiple of 7?
False
Let a = 1219 - 905. Is a a multiple of 3?
False
Suppose -23904 = -63*j + 23094. Does 26 divide j?
False
Let q(m) = -4*m**2 + 37*m + 11. Is q(9) a multiple of 4?
True
Suppose -4*i - 75 = 53. Let a = -10 - i. Is a a multiple of 22?
True
Suppose -4 - 1 = -d, -2*s - 3*d = 61. Let i = 46 - s. Let l = -24 + i. Is l a multiple of 30?
True
Suppose 5*a = -2*p + 927, a + 253 - 1637 = -3*p. Is p a multiple of 5?
False
Is (38370/120)/((-4)/(-16)) a multiple of 10?
False
Let v = -7 + 3. Let i be 3/(6/v) + 4. Is i - ((-2 - 37) + 1) a multiple of 10?
True
Let w(m) = 5*m**2 - 9*m - 13. Let y be w(-7). Suppose -4*u - 340 = -3*a - a, 3*a - y = -5*u. Is a a multiple of 10?
True
Does 24 divide -143 + 140 - (-1300 - (1 - 2))?
True
Suppose 0 = -3*u + i - 5 - 10, -5*u + 2*i - 24 = 0. Let t = -9 + u. Does 11 divide 6/t - 1002/(-30)?
True
Suppose -166 = -3*f + f. Let a be -3*10/15 + f. Suppose -153 = -3*z + a. Does 22 divide z?
False
Let q(v) = -2*v + 6. Let s be q(3). Suppose w - 6*w = u - 100, -4*u - 2*w + 382 = s. Is u a multiple of 23?
False
Is 41 a factor of (20/(-15))/2 + (-1109)/(-3)?
True
Suppose -4 = 2*k - 2*m, 5*k + m - 4*m + 16 = 0. Let h = 35 + k. Is 15 a factor of h?
True
Let m = -37 + 40. Let q(a) = -19*a**3 - a**2 + a + 1. Let o be q(-1). Suppose -2*f + 5*c = -o, -c - 17 = -3*f - m. Is 3 a factor of f?
False
Let h(f) = -f - 19. Does 33 divide h(-52)?
True
Suppose -6 - 4 = -2*z. Suppose 0 = -5*y - 2*x + z, -y + 13 = -2*x. Suppose 2*a - 10 = -2*k, -2*a - y*k = 2*a - 19. Is a even?
True
Suppose 4*n - 2*a + a - 14 = 0, -7 = -5*n - 4*a. Let r(i) = -n - 1 - 1 + 3 + 7*i. Does 14 divide r(7)?
False
Let v = -1459 + 3182. Does 25 divide v?
False
Suppose 0 = -2*z - g + 8813 - 2167, -z - 2*g + 3317 = 0. Is 19 a factor of z?
True
Suppose 5*o - o = 608. Suppose 3*x + o = 7*x. Is x a multiple of 7?
False
Is 82 a factor of (-1148)/8*4/28*-72?
True
Suppose 0 = d - 4*d - 3, 5*p = 2*d + 317. Suppose p = 14*y - 11*y. Is 11 a factor of y?
False
Let t = 2632 + -1755. Suppose 2*c + t = 199. Does 15 divide 1/(2 + c/171)?
False
Is 56 a factor of 2/9 - 181360/(-360)?
True
Suppose 3*s + 2*t = -2*t - 20, 2*s + 11 = -5*t. Let c(x) = 27*x**3 - x**2 - 2*x. Let p be c(-1). Let z = s - p. Is 4 a factor of z?
False
Let x(h) = h**2 + 9*h + 49. Let q = 95 + -106. Is 34 a factor of x(q)?
False
Let l(o) = o - 2. Let t be (-13)/1*-1 - 3. Let c be l(t). Let f = 40 + c. Does 24 divide f?
True
Suppose -39 = 12*s + 21. Let c = s + 18. Is 3 a factor of c?
False
Suppose -35 = 14*l - 371. Suppose j = -3*s + s + 8, -j - s = -13. Let o = l - j. Does 2 divide o?
True
Suppose s + 0*s = -18. Let l = s - -18. Suppose 0 = -x - l*x + 63. Is x a multiple of 21?
True
Suppose 3*q + k - 549 = 693, -5*k - 2070 = -5*q. Suppose -584 = 4*t - 4*o, 7*t - 4*t + 5*o = -q. Let l = t - -229. Is l a multiple of 27?
False
Let d be -18*2/(-4)*13. Suppose -120*h + 101*h = -95. Suppose -h*q + 397 = d. Does 12 divide q?
False
Let f = 1073 + -394. Does 15 divide f?
False
Suppose -3*t + 1206 = -5*g, -5*g + 4*t - 5*t = 1218. Let h = -143 - g. Is 15 a factor of h?
False
Let k be (-15)/(-3)*(-32)/(-10). Let t = 58 + k. Is t a multiple of 9?
False
Suppose 0 = -10*o + 5*o - 5*u + 135, 2*o - 5*u - 75 = 0. Is 4 a factor of o?
False
Is 17/(34/(-8)) + 4039 - -7 a multiple of 16?
False
Let w be 15*1 + 0 + -3. Suppose w = -2*b + 4*b. Let u(g) = 5*g + 3. Does 7 divide u(b)?
False
Let a = 1907 + -1253. Suppose 5*j - a = -2*x, 81 + 169 = 2*j - 5*x. Does 13 divide j?
True
Let r(w) = 3*w - 6. Let k be r(10). Is 14 a factor of (-782)/(-8) - (-6)/k?
True
Let z(c) = -c**2 - 66*c - 95. Is z(-51) a multiple of 6?
False
Is 13 a factor of 48 + ((-3)/(-3) + -1 - -2)?
False
Suppose 3*a = 2*s - 22, -2 + 21 = -a + 3*s. Is 13 a factor of (-303)/(-6) - -1 - 2/a?
True
Let z(f) = -6 - 1 + 5 + 23*f**3 - 2. Does 18 divide z(2)?
True
Suppose 54 = -2*d + 178. Suppose d = -j + p + p, 3*p - 248 = 4*j. Let q = -42 - j. Is q a multiple of 20?
True
Let l = -2292 + 4872. Does 86 divide l?
True
Suppose 43 = 4*u + p - 94, 0 = -5*u - 2*p + 169. Let r = u + -12. Is r a multiple of 10?
False
Let z(x) = -x**2 + 30*x - 10. Is z(10) a multiple of 38?
True
Suppose 0 = -45*h + 41*h + 4. Is (-8)/(-6)*(-885)/(-10)*h a multiple of 8?
False
Suppose 3*k - k - 4 = 0. Suppose j + 5 = k. Let c(y) = -37*y + 7. Is 27 a factor 