 factor of c?
True
Suppose 0 = 3*f + 2*f - 45. Does 9 divide f?
True
Is 20 a factor of 80/6*(-6)/(-2)?
True
Let b = -116 + 169. Does 12 divide b?
False
Let q(b) = 2*b + 3 - 3. Let f be q(3). Let y(x) = x**3 - 6*x**2 + 6. Does 6 divide y(f)?
True
Does 4 divide 84/9 + (-8)/(-12)?
False
Suppose -g = -0*g - 3*j - 150, 2*g - j = 290. Is g a multiple of 24?
True
Let a be 3/(-6)*-4 + 34. Suppose 4*q + a = 4*f, 0 = 2*f + q - 1 - 11. Suppose -f*w + 3*w = -112. Is 14 a factor of w?
True
Suppose 3*b - 19 = 4*d, 2*d = 3*b + b - 12. Let i = 3 - b. Is 8 a factor of 4*i/4 - -15?
False
Suppose 0 = -5*q + x + 54, 11 + 13 = 4*q + 4*x. Does 4 divide q?
False
Let y(i) = 2*i - 8. Let k be y(11). Suppose 0 = -5*b + 4*b + k. Does 14 divide b?
True
Let m(n) = n**3 - 13*n**2 - 14*n - 15. Let c be m(12). Is c/(-12) - (-2)/(-8) a multiple of 9?
True
Suppose 2*t - 18 = -3*p + 12, 4*t + 2*p - 60 = 0. Is (-4)/10 - (-726)/t a multiple of 12?
True
Suppose o - 7 = 3*k, 0*o + 3*o - 11 = -k. Suppose r - 15 = -o*r. Let t = r + 11. Is 10 a factor of t?
False
Let p(l) be the first derivative of l**3/3 - 7*l + 3. Is 9 a factor of p(4)?
True
Let r = -34 + 52. Is r a multiple of 9?
True
Let l(d) = d + 28. Let i be l(0). Let p be -10*(2 - (-5)/(-2)). Suppose i - 3 = p*o. Is 3 a factor of o?
False
Let a be (-4)/8 + 11/2. Suppose 17 = 5*q + 4*d - d, 2*d - 8 = 0. Suppose 4*y = -3 - q, -a*r + 124 = -4*y. Does 12 divide r?
True
Let d(h) = h**3 - 3*h**2 + 0*h**3 + 0*h**2 - 3 + h. Is 11 a factor of d(4)?
False
Suppose w + 8 + 2 = 0. Let s = w + 30. Suppose -4*a + s = -92. Is 10 a factor of a?
False
Let j = 64 + -22. Suppose 3*k - 5*k = -j. Does 21 divide k?
True
Let j(v) = 6*v - 15. Is j(10) a multiple of 10?
False
Let f(r) = -3*r - 9. Let c be f(-6). Suppose 4*t - c*t + 80 = 0. Is 12 a factor of t?
False
Suppose -13 = -5*c + 557. Does 10 divide c?
False
Let a(j) = 2*j**2 + 6*j + 2. Let t be a(-6). Suppose -4*d - 2 = -6. Suppose -4*n = 3*v - d - 15, 3*n + t = 4*v. Is 6 a factor of v?
False
Suppose u = -27 + 5. Let f = 33 + u. Is 11 a factor of f?
True
Let f(u) = -u + 7. Let l be f(0). Suppose l*g - 110 = 2*g. Is g a multiple of 11?
True
Is 22 a factor of ((-2)/(-3 + -3))/(7/4074)?
False
Let c(p) = -p**3 + 5*p**2 - p - 5. Let z be c(4). Let t = z - -6. Is 6 a factor of t?
False
Suppose -2*o - 58 = -2*f, -o + 4*o - 33 = -2*f. Does 3 divide f?
True
Suppose r - 7 + 1 = 0. Let y = -4 + r. Suppose y*v - 36 = -4*w, 0 = -4*v - 2*w + 72 + 6. Does 20 divide v?
True
Let o(y) = -y**3 - 6*y**2 + 2*y. Let j be o(-6). Let x be 2*(-2)/(j/3). Is (-10)/(x/(-2) + 0) a multiple of 20?
True
Let j(n) = -n + 1. Let z be j(3). Let h(c) be the third derivative of -29*c**4/24 - c**2. Is h(z) a multiple of 15?
False
Suppose 0 = -2*c - x + 5, -x = c - 0*c. Let j(w) = -w**2 - 6*w - 5. Let g be j(-4). Suppose -c*o + 50 = 5*l, l - 73 = -5*o - g. Does 8 divide o?
False
Is (-1)/(4 + 699/(-174)) a multiple of 5?
False
Let m = 4 - 1. Suppose -5*y = -y + m*v - 257, 2*y - 109 = 5*v. Let a = -32 + y. Does 17 divide a?
False
Let v = 4 - 1. Suppose 0 = v*o - 8 - 10. Is 6 a factor of o?
True
Suppose 3*a = -4*v + 456 - 104, 4*a = 0. Does 8 divide v?
True
Let f(b) = -b**3 + 2*b**2 + 2*b + 3. Let v be f(3). Suppose x - 2 = -v. Suppose x*s + 3*z = -2*s + 56, 0 = -z - 4. Is s a multiple of 17?
True
Let n = -18 + 12. Let c(j) = j**2 + 5*j + 6. Is c(n) a multiple of 9?
False
Suppose -20 = -0*x - x - 4*m, 2*x = -5*m + 31. Let g be (-4 + -2)/(x/(-4)). Let u(b) = b**2 - 2*b. Is u(g) even?
False
Let j = 2 - -1. Suppose -j*d + 4*o + 16 = -d, -5*d - 5*o + 10 = 0. Does 8 divide d/(-2) + 11 + -1?
True
Suppose 5*h - 3 - 2 = 0. Let v(s) = 46*s**3 - 2*s**2 + 1. Does 13 divide v(h)?
False
Suppose -2*d + 5*k = 2*d - 506, -4*d = 2*k - 492. Is 8 a factor of d?
False
Let f(z) = 16*z**3. Let k(w) = -w + 11. Let h be k(10). Does 10 divide f(h)?
False
Suppose w - 5*w = 0. Let z(b) = -b**2 + b + 9. Let f be z(w). Suppose -113 + f = -4*h. Is 15 a factor of h?
False
Let p(o) = -o**3 - 8*o**2 - 10*o. Let j be p(-7). Let s = j + -8. Is s a multiple of 13?
True
Suppose -o - 4*o - 3*y = -285, o = 5*y + 57. Suppose -2*q = -9 - o. Is q a multiple of 33?
True
Suppose -443 - 81 = 4*c - 4*z, c + 4*z = -131. Let v = -77 - c. Suppose -3*p + 49 = 4*w, 5*w - v + 1 = -p. Is w a multiple of 5?
True
Let i = -307 + 459. Is i a multiple of 38?
True
Does 9 divide -1 - -3 - (2 + -153)?
True
Let n(z) = z**3 + 11*z**2 + 10*z - 2. Is n(-7) a multiple of 19?
False
Let y = 286 - 190. Is y a multiple of 12?
True
Suppose -2*q = -7*q - 2*x + 278, 4*q - 4*x = 200. Is 8 a factor of q?
False
Let w = -10 + 14. Is -1*46/w*-2 a multiple of 7?
False
Let k = 21 - 8. Is 9 a factor of k?
False
Suppose -5*q = -5*h - 25, 11 + 4 = 3*h + 3*q. Let u = h - -7. Does 6 divide u?
False
Suppose 0 = 3*j - 55 - 5. Is j a multiple of 6?
False
Suppose -5 = -3*j - 2*j. Suppose -u + 4*t + 95 = 0, -2*t + 3*t = j. Is u a multiple of 21?
False
Suppose 0 = o - 2*x, -3*o + 6*o + x - 14 = 0. Suppose 0 = -o*t + 2*t + 48. Is 13 a factor of t?
False
Let y = -28 + 19. Does 12 divide (-290)/y - 10/45?
False
Is (0 - 1)*(-13 + 1) a multiple of 4?
True
Let j be (-5)/(-20) + 9/(-4). Let f be (j/(-4))/(1/4). Suppose -f*c + 75 = 3*c. Does 15 divide c?
True
Let a(u) = -u**2 - 8*u - 9. Let m be a(-6). Let q be (2/(-4))/(2/76). Is 15 a factor of q/(-1) + 0/m?
False
Suppose -z = -2*y + 9, 4*z = 13 - 1. Suppose -y*w = -w + 155. Let b = -18 - w. Is 13 a factor of b?
True
Suppose -4*o + 3*l + 0 + 5 = 0, -3*o + 10 = -l. Suppose 10 = o*y - 10. Suppose 0 = -2*x, -y*g + 2*x = x - 112. Does 13 divide g?
False
Let r = 3 - 7. Let o be 5/20*(0 - r). Is 8 a factor of (2 - o) + 28/4?
True
Let j = 12 - -164. Does 8 divide j?
True
Suppose -5*d + 288 = -432. Does 12 divide d?
True
Suppose -7*j + 15 = -160. Does 5 divide j?
True
Suppose -2*o + 2*z - z = -1, 2*o = -4*z + 26. Suppose 0 = w + o, 5*d = d - 2*w - 42. Is (0 - -4)*-1*d a multiple of 12?
True
Suppose y = 5*y. Suppose -4*f - 66 = -3*p - f, y = -4*p + 2*f + 78. Does 7 divide p?
False
Let j(q) = q + 9. Let i be j(-7). Suppose -i*x + 4*z = -61 - 31, 3*x - 113 = z. Is x a multiple of 14?
False
Suppose 6*x - 209 = 91. Is x a multiple of 10?
True
Suppose 3*m + o - 19 = -4*o, 5*m - 21 = -3*o. Suppose -m*s - 25 = -4*s - 4*b, 4*s - 148 = -4*b. Is 16 a factor of s?
False
Let i = 37 + 128. Is 33 a factor of i?
True
Let i = -26 - -5. Let a = i + 125. Suppose -2*f - 2*f = -a. Is 13 a factor of f?
True
Let z(o) = -o**2 + o + 1. Let d(q) = q**3 - 6*q**2 + 5*q + 5. Let h(f) = d(f) + 2*z(f). Is 7 a factor of h(7)?
True
Suppose 0*l = 4*l - 96. Suppose -s - l = -3*s. Is 12 a factor of s?
True
Suppose 4 = -2*l, 0 = -3*m + l - 3*l + 2. Suppose -27 = m*k - 119. Is k a multiple of 23?
True
Let q(o) = o**2 - 3*o + 3. Let f be q(3). Suppose 5*w - 2*a = 23, f*w + 4*a = -0*w + 19. Does 2 divide w?
False
Suppose 1 + 26 = 3*o. Suppose -3*i - 3 = -o. Suppose -p = -18 - i. Is p a multiple of 7?
False
Let j(w) = -5*w + 1. Let o be j(1). Let n be o/(-6) + (-28)/(-12). Suppose n*q - 5*p - 9 = q, 0 = -3*q + p + 7. Is 2 a factor of q?
True
Suppose -5*h - 460 = -5*t, -2*t + 0*t + 184 = -5*h. Suppose -3*x + 4 = -t. Does 16 divide x?
True
Suppose 0 = -3*k - z + 133 + 36, -4*z - 259 = -5*k. Suppose -5*c = -5*p + k, -p = 2*p + c - 37. Is 2 a factor of p?
True
Suppose 2*o - 4*k = 0, o + 2*o = -k. Suppose 5*m + o*m - 150 = 0. Is 7 a factor of m?
False
Let m(o) = -2*o + 11. Let b be m(5). Let u = 9 + b. Does 5 divide u?
True
Suppose 300 = 5*q + 55. Suppose -5*x = -4*x - q. Does 13 divide x?
False
Suppose -3*u + 0*u = 5*w - 25, -20 = -4*w + u. Suppose 2*j - 121 = -3*c, 4*c + 0*j - 173 = -w*j. Is c a multiple of 11?
False
Let g(l) = 7*l. Let k be g(-3). Let f be (k/(-1))/(2/(-4)). Let h = -30 - f. Is h a multiple of 8?
False
Suppose 0 = f - 5*x - 2, -x + 2*x - 10 = -5*f. Let l(k) be the second derivative of k**5/20 - k**4/12 - k**3/6 + k**2/2 + k. Is 2 a factor of l(f)?
False
Let f be 1/((-3)/(-4 + 1)). Suppose -f = 3*z - 4. Is z*(-3)/2*-4 a multiple of 4?
False
Let n = -1 + 4. Let c(r) = r**2 + n*r**2 - 2*r - r**2 + 1 + 8*r. Is 12 a factor of c(-4)?
False
Suppose 4*p = 6*p + 3*g, 2*p + 4*g = -2. Suppose -23 = j - p. Does 4 divide (-168)/j + 2/(-5)?
True
Let z = 104 + -51. Does 4 divide z?
False
Suppose -k + 0*k + 14 = 0. Is 12 a fa