of m(d)?
True
Let a(f) = 0*f**2 + 2*f**2 - f**2 - f + 0*f**2. Let c be a(0). Suppose h - 30 = j - 6*j, c = -2*j + 2*h + 12. Does 5 divide j?
False
Suppose 0 = -r + 2. Suppose 0 = -r*v - 2. Does 4 divide 1/1*(v + 8)?
False
Let r(k) = -k. Let g be r(1). Let c = 37 - g. Does 14 divide c?
False
Suppose 0 = 16*l + 41 - 889. Is 7 a factor of l?
False
Suppose 5*c - 4 - 54 = -d, 3*d = -2*c + 31. Is c a multiple of 2?
False
Let b(m) = -3*m - 2. Let u(t) = 6*t + 3. Let i be (-20)/(-4)*(-1)/1. Let v(j) = i*b(j) - 3*u(j). Does 14 divide v(-5)?
False
Let w(m) = m**3 - m**2 - 4*m + 3. Suppose 5*p - 2*q - 20 = 0, 5*p - 3*q - q - 30 = 0. Let d be w(p). Is 5 a factor of ((-20)/(-8))/(d/(-2))?
True
Suppose 5*n + 0*n = -2*y, -4*n = -4*y. Let q(t) = t + 3. Let a be q(y). Suppose -a*v + 0*w + 54 = 5*w, v - 18 = -4*w. Is 18 a factor of v?
True
Let y(h) = -h**3 - 6*h**2 - 2*h - 3. Is y(-6) a multiple of 7?
False
Is (1 - 63/(-1)) + -7 + 11 a multiple of 4?
True
Let l = 7 + -18. Let g = 3 - l. Is g a multiple of 7?
True
Suppose -m + u = 5*u - 7, 3*u = 4*m + 10. Does 6 divide m + 2 + -2 + 11?
False
Suppose -34*h + 31*h = -645. Is h a multiple of 13?
False
Let z = 10 - -5. Let b = 48 - z. Is b a multiple of 11?
True
Let j be -2 - ((-5 - -1) + -1). Suppose -2*a = -2*l, j*a + l = -l. Is 7 a factor of 17 - (a/2 + -1)?
False
Does 16 divide (12/2)/((-9)/(-48))?
True
Let f(w) = w**3 + 8*w**2 - 7*w + 2. Let u be f(-9). Let j = u - -26. Does 9 divide j?
False
Let z(t) = -t**3 - t**2 + 10*t + 1. Is z(-4) a multiple of 2?
False
Suppose 4 = -5*o + 14. Suppose 3*d = 3*k - 42, -5*k + 70 = -0*k - o*d. Is 14 a factor of k?
True
Suppose 0 = 15*r - 10*r - 220. Is 6 a factor of r?
False
Let z(o) = -o + 10. Let v be ((-9)/(-4))/(12/32). Let n be z(v). Suppose 97 - 1 = 3*u + n*b, 4*b = 0. Is u a multiple of 18?
False
Let a = -5 - -10. Let m(j) be the third derivative of j**5/60 - j**4/12 - j**3/6 - 2*j**2. Does 10 divide m(a)?
False
Let u = 9 - 5. Let l = 96 + -130. Is 17 a factor of l*((u - 2) + -3)?
True
Suppose 3*j - 5 = 4. Let l(r) = r**3 - 2*r**2 + r + 4. Let w be l(j). Suppose -5*a = -34 - w. Does 7 divide a?
False
Suppose 8 + 12 = 4*v. Suppose x - 59 = -3*i, -i + 21 + 8 = v*x. Is 7 a factor of i?
False
Suppose -3*q = -w + 4*w - 144, 3*w - 95 = -2*q. Is 8 a factor of (6 - 5)/(1/q)?
False
Let y be (-6)/9 - (-34)/6. Let s(m) = m**3 - 5*m**2 + 5*m + 5. Does 15 divide s(y)?
True
Let u = 11 + -7. Let w be u/(6/3)*-5. Let a = 42 + w. Is a a multiple of 16?
True
Let b(u) = u**3 + u**2 + u. Let q be b(0). Suppose 3*c + 4*h - 29 - 1 = q, 3*h + 9 = 3*c. Suppose 44 + c = p + 5*w, 46 = p + 4*w. Does 15 divide p?
True
Let s(v) = v + 14. Let l(d) = -2*d**2 + 7*d + d**2 + 0 + 0. Let x be l(7). Does 7 divide s(x)?
True
Let s be (-1)/(-5) + 698/10. Suppose -4*f = -9*f + s. Does 6 divide f?
False
Suppose 4*i = 8*i - 312. Is 26 a factor of i?
True
Let k = -4 + 10. Let r(v) = v**2 - 5*v + 3. Is 9 a factor of r(k)?
True
Suppose -3*q + 30 = 2*m, -2*m + 27 = 2*q - 3*m. Is q a multiple of 7?
False
Let p(n) = -n**3 + n**2 + 2. Let g be (-1 + 0)*0/2. Let z be p(g). Suppose -2*r + 0*r + 8 = -z*o, 4*o - 8 = -4*r. Is r a multiple of 3?
True
Suppose -4*y + y = -744. Suppose 0 = -5*m + 4*g - 297, 4*m + 0*m = -2*g - y. Let x = -39 - m. Is x a multiple of 11?
True
Let o(i) be the first derivative of -i**4/4 + 2*i**3/3 - i**2/2 - 1. Let h be o(1). Suppose s + h*s = -2*k + 14, -5*k = s - 11. Does 16 divide s?
True
Let z be ((-2)/4)/(3/84). Let c be (3 - 7)/(4/270). Is 7 a factor of c/z + 2/(-7)?
False
Suppose d - 2*d = -3. Let j be 147*d/(9/3). Suppose j = 5*l + 17. Is 20 a factor of l?
False
Suppose 2*w = 5*v + 3*w - 19, -3*w = -4*v. Suppose -v*b + 15 = 2*l, b - 5*b = -5*l - 20. Suppose l = -3*m - 20 + 62. Does 8 divide m?
False
Suppose -8 = -d - 2*w, -16 = -0*d + 2*d - 4*w. Suppose -6*h + 2*h + 204 = d. Is 19 a factor of h?
False
Let r(k) = 3*k - 5. Suppose -13 = t - 4*n + 10, 10 = 2*n. Let l = 2 - t. Is 5 a factor of r(l)?
True
Suppose -4*d + d = -102. Does 17 divide d?
True
Suppose 0 = -4*m - 2 - 2. Let y = 31 - m. Is 12 a factor of y?
False
Suppose -2*d - 8 = -22. Does 5 divide d?
False
Let o = 3 + 17. Is o a multiple of 10?
True
Suppose 3*h - 163 = 5*b, -5*b - 14 = 11. Suppose h = p + p. Is 7 a factor of p?
False
Let n(z) = -z**2 + 3*z - 4. Let i(p) = -p**3 - 4*p**2 + 3*p - 7. Let c be i(-5). Let h be n(c). Let w(f) = -6*f - 2. Does 14 divide w(h)?
False
Is 46 - ((-3 - 0) + 2) a multiple of 27?
False
Let q be (30/(-24))/((-1)/4). Suppose -q*m + 3*u = -88, 5*u = -3*m + 4*u + 64. Does 10 divide m?
True
Suppose -3*l - l - 12 = 2*o, 3*o - 4*l = 22. Suppose 0 = -o*m + 18 + 10. Does 14 divide m?
True
Let a(c) = 3*c + 3. Let k = 15 + -21. Let f = k + 13. Is a(f) a multiple of 14?
False
Suppose -5*b + 50 = w, -w = 3*b - 2*b - 14. Is b a multiple of 3?
True
Let k(z) = -z**3 + 4*z**2 + 6*z - 3. Let r be k(5). Let a = r - 3. Let i = a + 5. Is i a multiple of 2?
True
Let h be 16/(-8)*9/2. Let o(p) = -7*p - 17. Is 13 a factor of o(h)?
False
Let g(i) = 2*i**2 + 3*i - 3. Let l be g(-3). Let j(s) = 2*s + 6. Is j(l) a multiple of 6?
True
Let v(l) = 2*l - 10. Suppose 4*z - 14 = 34. Let i be (14/3)/(8/z). Is v(i) a multiple of 4?
True
Let h(n) = -3*n**3 + n**2 - 2*n - 3. Let x = -1 + -1. Does 16 divide h(x)?
False
Let j(i) = 3 + 3*i**2 - 2*i + 0*i - i. Is 9 a factor of j(3)?
False
Suppose 123 = d + 2*j, -6*j + 20 = -j. Is d a multiple of 6?
False
Let o(c) = c**3 + 5*c**2 + 2*c - 3. Let k be o(-4). Let f = 84 - 60. Suppose -7*i + 5*j + f = -3*i, k*j - 42 = -2*i. Is i a multiple of 3?
False
Let y(m) = m**3 - 3*m**2 - 3*m - 3. Let q be y(4). Let p(o) = 54*o**2 + 1. Is p(q) a multiple of 12?
False
Suppose -5*q + 0*c = -2*c, 5*q - 5*c = 0. Suppose q = 3*j - 2*f - 93, -31 = -4*j + 3*j - 5*f. Does 8 divide j?
False
Let k be (-21)/(3/6 + -2). Suppose -k = -4*h + x, 2*x - 25 = -3*h - 9. Suppose h*n - 22 = -3*s, -8 - 2 = -3*n + s. Is 3 a factor of n?
False
Suppose 0*n + 2 = 2*n, -n + 169 = u. Is 23 a factor of u?
False
Let h(b) = -b**3 + 7*b**2 + 6. Is 14 a factor of h(6)?
True
Suppose 2*h - 714 = -5*h. Does 41 divide h?
False
Let i(j) = 12*j + 15. Is i(5) a multiple of 15?
True
Suppose -5 = -r - 2. Suppose 0 = -3*u + 4*i + 27, -r*u + 7*u - 5 = -5*i. Let t = 12 - u. Is 3 a factor of t?
False
Let m = 42 - 72. Is (72/(-5))/(9/m) a multiple of 16?
True
Suppose 3*t + 36 - 147 = 0. Is 6 a factor of t?
False
Is 3/(-1*110/(-104) - 1) a multiple of 26?
True
Let v(c) = -c - 2. Let p be v(-6). Suppose -p*u = -o - 55, -o - 27 + 0 = -2*u. Does 7 divide u?
True
Let a = -102 + 247. Suppose -a = -3*w - 28. Let z = w + -12. Does 10 divide z?
False
Let n(y) = 33*y - 3. Let t = 2 + 0. Is 25 a factor of n(t)?
False
Suppose 3*d = 2*j - 17, -5*d + 3*j - 25 - 2 = 0. Let i be (-432)/(-10) + d/15. Let w = 69 - i. Is 13 a factor of w?
True
Let r(p) = -9*p**2. Let g(y) = -y**2 - 1. Let n(i) = g(i) - r(i). Let m be n(1). Let z = m + 0. Does 7 divide z?
True
Suppose 4*g + 8 = -0*g. Does 19 divide 19/(-2)*(-4 - g)?
True
Let f be 27 + 3/1 + -2. Suppose 0 = w - f - 36. Suppose -3*b + h = -4*h - w, -4*h = -2*b + 44. Is b a multiple of 9?
True
Let s(h) = 3*h + 5. Let y be s(-4). Let f be 2/y + 16/7. Let q = f - 0. Does 2 divide q?
True
Let d(u) = 2 - 5 + 2 - u**2 + 2 - 30*u**3. Is d(-1) a multiple of 6?
True
Suppose -11 - 1 = -2*j. Let w(b) = b**2 - 7*b + 4. Let x be w(j). Is 9 a factor of ((-1)/x)/(2/36)?
True
Suppose -10*i + 159 + 191 = 0. Is i a multiple of 7?
True
Let q be (-2)/3 + 156/18. Suppose 0 = q*h - 4*h - 28. Does 3 divide h?
False
Let u be (-1)/(-3)*(-4 - -4). Suppose l + 3*l + 16 = u. Is 1/(-2) - 14/l a multiple of 2?
False
Let x(y) = 92*y**2 - 2. Is 10 a factor of x(1)?
True
Let l(d) = 17*d + 4. Let c be l(8). Suppose 0*h - 4*h = -c. Is h a multiple of 21?
False
Suppose -2*k + 398 = 4*i - 52, 2*k - 474 = 4*i. Does 21 divide k?
True
Suppose 3*c - 157 = j, j = -3*c + 26 + 141. Does 7 divide c?
False
Let b(s) = 0 - 1 - 3*s + 3 + 32*s**2 + 14*s**2. Is b(1) a multiple of 15?
True
Suppose -23 = -5*i + 2. Suppose -5*y - i = -x, -4*y = -4*x - 0*x + 68. Suppose 2*u - 2*j = x, 0 = -4*u + 3*u + 4*j + 1. Is 12 a factor of u?
False
Suppose -3*q + 426 - 21 = 0. Suppose 3*r - q + 36 = 0. Is 30 a factor of r?
False
Suppose -4*g + 3*g - s + 156 = 0, -s + 316 = 2*g. Let 