*i - v. Does 14 divide i?
True
Suppose u = 3, -3*w + 4*u - 8 = -w. Suppose 0 = -w*i + 9 + 9. Is i a multiple of 9?
True
Does 15 divide 1020/70 - 3/(-7)?
True
Let a(o) = -7*o + 17. Let y(j) = -8*j + 8 + 2*j + 2*j. Let g(k) = 3*a(k) - 7*y(k). Is g(5) a multiple of 8?
False
Let d = 9 + -16. Let u(h) = -h**3 - 8*h**2 - 8*h + 4. Is 11 a factor of u(d)?
True
Let z(r) = -14*r + 3. Does 10 divide z(-3)?
False
Let m = 4 + 0. Let k(o) = -o. Let p be k(0). Suppose x - 3*j = 24, -x = -p*x + m*j - 3. Does 10 divide x?
False
Let x(p) = 19*p - 12. Is 9 a factor of x(3)?
True
Let v(z) = -z**3 + 10*z**2 + 2*z - 10. Is 22 a factor of v(9)?
False
Let d be 1/2 - 234/(-4). Let w(t) = 13*t + 4. Let c be w(6). Let s = c - d. Does 8 divide s?
False
Is (-292 - -1)*3/(-9) a multiple of 34?
False
Let n(x) = x**2 + 3*x + x + 6 - 2*x. Let m = -14 - -7. Does 11 divide n(m)?
False
Let o(x) be the first derivative of x**3/3 - 5*x**2/2 + 2*x + 3. Let w be o(5). Suppose 0 = 2*i + w*i - 40. Is 9 a factor of i?
False
Suppose 0 = x + 2*k + 13 + 15, 0 = 2*x - 4*k + 48. Is 14 a factor of (-5)/(((-6)/x)/(-3))?
False
Is (-8 + 1/2)/((-1)/10) a multiple of 25?
True
Let q = -71 - -27. Let d be q/(-10) - (-4)/(-10). Let f(j) = j**3 - 2*j**2 - 2*j + 3. Is f(d) a multiple of 9?
True
Let a be -4*(9/(-2) + 3). Suppose -5*j + b + 100 = 0, a*b - 2*b + 40 = 2*j. Is 10 a factor of j?
True
Let h = -4 + 13. Is h a multiple of 2?
False
Suppose 2*i + 4 = 5*v + 26, 2*v = 2*i - 16. Let m be 33/i*2 + -2. Is 14 a factor of 128/m - 8/36?
True
Does 13 divide (-13)/(-2)*(1 - -1)?
True
Suppose -191 = -3*g - 2*l + l, l = 2*g - 119. Suppose 0 = -3*n + g + 100. Does 27 divide n?
True
Suppose 0 = 3*f - f + 5*v - 16, 5*f = -2*v + 82. Suppose -2*x = 5*j - 180, 4*x = 2 + f. Is 17 a factor of j?
True
Let z(c) = c**2 - 5*c + 8. Let o(k) = -k**2 + 5*k - 7. Let i(y) = -7*o(y) - 6*z(y). Is 5 a factor of i(6)?
False
Suppose -116 + 1286 = 3*l. Is 13 a factor of l?
True
Is 12 a factor of (440/(-56) + 7)*(-70)/1?
True
Let m(d) = d**3 - 6*d**2 + 6*d + 5. Let f(l) = l**2 - l + 5. Let p = 7 - 7. Let c be f(p). Does 6 divide m(c)?
False
Let i = 80 - -55. Does 31 divide i?
False
Let z(a) = -4*a**3 + 2*a**2 - 2*a. Let n be z(2). Is 11 a factor of (-215)/2*n/35?
False
Suppose -94 = 118*v - 119*v. Is v a multiple of 47?
True
Let y(h) = -3*h**2 - 23*h - 6. Is y(-7) a multiple of 7?
False
Suppose 0 = -t - 5*d - 26, -t - 2*d = -4*t - 10. Is 3/(-4)*(-10 - t) a multiple of 3?
True
Let v = 3 + -1. Suppose r = -0*r + 38. Suppose v*j + r = 4*j. Is 10 a factor of j?
False
Suppose 3*s - 46 = -2*i + 175, 4*i + 3*s = 445. Does 14 divide i?
True
Let k(a) = -a**3 - 2*a. Let d(s) = -s**2 + 6*s - 6. Let y be d(4). Suppose 8 - 2 = -y*b. Is k(b) a multiple of 11?
True
Let f = 3 + -1. Let b = f - -1. Suppose -2*l = -b*k + 30, 0 = -4*k - 5*l + 23 + 17. Is k a multiple of 10?
True
Let k(z) = 8*z - 3. Suppose 3*i - 1 - 14 = 0. Does 11 divide k(i)?
False
Suppose 2*w + 0 = 8. Suppose 4*a = -w*n + 88, 4*a + 0*a = 0. Does 22 divide n?
True
Let y(t) = 20*t**3 + 2*t**2 + 6*t + 23. Let c(r) = -7*r**3 - r**2 - 2*r - 8. Let i(j) = -17*c(j) - 6*y(j). Is 4 a factor of i(3)?
False
Let p = -173 - -206. Is 11 a factor of p?
True
Suppose 4*v = -3*i + 206, 4*i + 215 = 4*v + 23. Is 20 a factor of v?
False
Let a(t) = -4 + 8*t - 2 + 7*t**2 + 1 - t**3. Let v be -1 + 6 + (-2)/(-1). Is a(v) a multiple of 13?
False
Is 14 a factor of 0 + (43 - 2) + 1?
True
Suppose 165 + 10 = 5*n. Is n a multiple of 23?
False
Let u(w) = -w**2 + 9*w - 7. Suppose 2*s = -0*s + 54. Suppose -s = -d + 4*b, 0*d - d = -3*b - 22. Is u(d) a multiple of 7?
True
Let f(s) be the third derivative of 11*s**6/120 + s**5/60 - s**4/12 + s**3/6 + s**2. Let j = 32 + -31. Is 11 a factor of f(j)?
True
Suppose 2*x = -0*x - 68. Suppose -5*p - 25 = 15. Let s = p - x. Does 11 divide s?
False
Suppose -44 - 36 = -5*r. Is r a multiple of 10?
False
Is (-5250)/(-24) - 2/(-8) a multiple of 17?
False
Let a = -46 - -94. Is a a multiple of 12?
True
Let i(o) = o**2 - 8*o + 7. Let g be (3 + -11)*(-5)/4. Does 9 divide i(g)?
True
Let i(h) = -h**3 + 5*h**2 + 6*h. Let g be i(6). Suppose -3*o + 7 + 2 = g. Suppose -4*b - o*c = -2*b - 28, 5*b - c - 70 = 0. Is b a multiple of 5?
False
Let d(j) = 3*j + 6. Let n be d(-7). Let m = 27 + n. Is m a multiple of 5?
False
Let s(d) be the third derivative of d**4/24 + d**3 - d**2. Let o be s(-5). Is -2 - (-20 - o*-2) a multiple of 9?
False
Suppose 0 = -3*q - 3*z, -5*q + 4 = 3*z + 10. Let m(n) = -3*n + 2. Does 11 divide m(q)?
True
Suppose -468 + 73 = -5*l. Suppose -s + 29 = 2*j - 17, -l = -3*j - 4*s. Does 5 divide j?
False
Let y(o) = -26*o + 1. Suppose -3*m = 4*r + 7, 0 = 2*m - 0 + 2. Does 12 divide y(r)?
False
Let w = -182 - -263. Is 3 a factor of w?
True
Let y be (-6)/(-5)*10/3. Let z be 6/y + (-218)/(-4). Suppose 5*b - 6*b = -2*h + 44, 2*b - z = -2*h. Does 12 divide h?
True
Suppose 0 = -2*y + 3*l + 2*l + 12, 5*l = -5*y - 5. Let g = y + 5. Let s(v) = v**2 - 7*v + 9. Is s(g) a multiple of 2?
False
Let l = 29 + 11. Is 9 a factor of l?
False
Does 4 divide 5*-1*(-70)/25?
False
Suppose 0 = -3*k - 6 + 63. Suppose 2*h - 103 - k = 0. Suppose h = 5*t - 204. Does 19 divide t?
False
Let p(i) = i**3 + 3*i**2 + 3. Let q = 5 + -10. Let f = 2 + q. Is 3 a factor of p(f)?
True
Suppose 5*x = -0*x + 15. Let i = x + -8. Is ((-7)/(-4))/(i/(-40)) a multiple of 4?
False
Suppose -6 = -x + 3*p, -x - x = 3*p - 57. Does 7 divide x?
True
Suppose 11 - 1 = -f + 2*g, 4*f + 79 = -5*g. Suppose 0 = 4*u + 3*a - 161, 5*a - 2*a = u - 44. Let i = f + u. Is i a multiple of 9?
False
Suppose 2*t = 11*t - 801. Does 14 divide t?
False
Let a(g) = -g - g + 7*g - 6. Let y be ((-2 - -2) + 1)*5. Does 19 divide a(y)?
True
Suppose -h + 5*h - 153 = -3*d, -h + 2*d + 41 = 0. Is 13 a factor of h?
True
Let t(s) = 3*s**2 + 14*s - 1. Is t(-13) a multiple of 18?
True
Let h(t) = -19*t - 44. Is 24 a factor of h(-20)?
True
Suppose 39 + 7 = o. Is o - (-1 + -1)/1 a multiple of 16?
True
Suppose -17*u + 4830 = 4*u. Is u a multiple of 23?
True
Is -11*1*22/(-11) a multiple of 8?
False
Let d(m) = 58*m**2 + m - 2. Let h be 6*-1*3/(-18). Does 18 divide d(h)?
False
Suppose -n - 135 = -6*n. Suppose -41 = -4*a + n. Is 11 a factor of a?
False
Let v be ((-12)/16)/(2/128). Let w(l) = 2*l**2 - 2*l - 2. Let g be w(2). Is (g/4)/((-4)/v) a multiple of 5?
False
Let w(b) = 2*b**2 + 6*b - 7. Does 13 divide w(-5)?
True
Let m(l) = -32*l + 6. Is 2 a factor of m(-1)?
True
Let r(v) = -2*v**2 + 2*v + 2. Let h be r(-1). Does 15 divide 0/h - -32 - -2?
False
Let g be (1 + 1/(-3))*-3. Let a be g/(-8) + 179/4. Let u = -12 + a. Is 17 a factor of u?
False
Let w = -72 - -167. Is 6 a factor of w?
False
Let t(p) = -2*p**2 - 5*p**2 - 2*p**3 + p**3 - 6*p + 4. Let x = -26 + 20. Does 3 divide t(x)?
False
Let r be (-1 - 5/(-2))*2. Let q be (-12 - -15)*2/(-6). Is 14 a factor of ((-6)/r - q)*-18?
False
Suppose -p + 0 - 2 = -4*s, 0 = -3*p - s + 7. Suppose p*y + 18 = -0*y. Is (y/6)/(6/(-136)) a multiple of 14?
False
Suppose -16*q + 19*q - 1047 = 0. Is 33 a factor of q?
False
Suppose 3*l + 22 = 2*l. Let h = l + 54. Does 19 divide h?
False
Let b(h) = h**3 - 4*h**2 + h - 5. Let l be b(4). Suppose -2*o - 1 = -3*o. Is (l - 0) + o - -22 a multiple of 11?
True
Let x(i) = -i + 32. Does 3 divide x(-5)?
False
Let l be 0/(-2 + 1 + 0). Suppose l = p + 11 - 5. Let g = 1 - p. Does 4 divide g?
False
Let p = -7 - -3. Is (-73)/(-5) + p/(-10) a multiple of 11?
False
Does 9 divide 6/(-6) + (-27)/(-1)?
False
Let s be (-1 - -1)/(-1 + 2). Let n = 6 + s. Is 6 a factor of n?
True
Let m(v) = v - 11. Let z be (0 - 2)/(-1) - -1. Let d(i) = -5. Let w(r) = z*m(r) - 7*d(r). Is 14 a factor of w(4)?
True
Suppose 3*d = 7*s - 8*s + 1340, 3*s = 6. Does 49 divide d?
False
Let c(t) = 104*t**2 + t. Is c(1) a multiple of 15?
True
Let s = 721 - 449. Does 39 divide s?
False
Is -84*((-112)/(-12))/(-4) a multiple of 14?
True
Suppose c - 2 = -p + 2*p, 0 = 3*p - c. Suppose -2*k - p = -61. Does 15 divide k?
True
Suppose 4*h + 3*r = 220, 0*h - 55 = -h - r. Let w = 94 - h. Is w a multiple of 13?
True
Let c = 57 - -23. Does 10 divide c?
True
Suppose o - 2*m = 322, -3*m - 21 = -o + 298. Does 41 divide o?
True
Suppose -5*i + 93 = 3*b, -i - 93 = -4*b + b. Is b - (10 - 1)/(-3) a multiple of 13?
False
Let i(u) = 2*u**2 - 7*u - 8. Let c(g) = -8*g + 3*