- 3*f - 14. Let p(s) = -4*h(s) - 5*o(s). Does 11 divide p(7)?
True
Let q(g) = -6*g. Let l(o) = 6 + 2*o - 2 + 2. Let z be l(-4). Does 6 divide q(z)?
True
Let s = 49 + -14. Suppose 28 = 3*h - s. Is h a multiple of 12?
False
Suppose 0 = -7*x + 4*x + 501. Is x a multiple of 15?
False
Let z(r) = -4*r + 8. Suppose -6*n + 10*n = -24. Let t be z(n). Suppose w - 38 = -3*x, -5*x = -3*x + 4*w - t. Is 4 a factor of x?
True
Let q(m) = m + 1. Let v be q(-2). Let g = 5 + v. Suppose -g*l = 5*o - 22, 2*l + l - 24 = -5*o. Is o a multiple of 6?
True
Let s be 96/10 - 9/15. Suppose -3*z + s = -3. Is z even?
True
Let o(m) = -2*m - 5. Let v be 15/(-2 - 1) + 1. Is 3 a factor of o(v)?
True
Suppose m - 3 = 19. Is m a multiple of 5?
False
Suppose -3*h + 2*h = 2. Does 11 divide ((-30)/h - 2) + -2?
True
Let d(s) = -1. Let r(h) = -h**2 - h + 2. Let m(t) = -5*d(t) - r(t). Is 6 a factor of m(3)?
False
Let h = 78 - 120. Let f = -94 - h. Let i = 88 + f. Is i a multiple of 12?
True
Let p(y) = y + 8. Is p(11) a multiple of 3?
False
Let g = 9 - 5. Suppose -g*i + 40 = i. Does 3 divide i?
False
Let u = -17 - -26. Is 7 a factor of u?
False
Suppose 4 = -0*x + x. Let z be 2 + 5 + 4/(-2). Is x/(-10) - (-17)/z even?
False
Suppose -5*a - 135 = -8*a. Does 19 divide a?
False
Let x(l) = -l**2 + 12*l + 16. Let k be x(13). Suppose -k*u + 55 = -8. Does 9 divide u?
False
Let o be (-3)/2*(-12)/9. Suppose -21 = -o*j + 3*b, j - 10 = -0*j + 2*b. Does 5 divide j?
False
Suppose 4*q - 136 = 136. Let s = 4 + -48. Let c = q + s. Is 9 a factor of c?
False
Let w = -3 + 2. Let r(q) = 4*q. Let g be r(w). Let l = g - -14. Is 5 a factor of l?
True
Let m be 4/(-2) + 15/1. Suppose -5*g - m + 53 = 0. Is 4 a factor of g?
True
Suppose 4*o = 4*w + 16, -7*w - 27 = 2*o - 2*w. Does 14 divide 50/4*(1 - o)?
False
Let z be (-4)/(-14) - (-1924)/28. Let p = 111 - z. Is p a multiple of 14?
True
Let z(l) = -4 - 5*l**2 - 2*l + l**3 + 0*l + 9*l. Let b = -14 - -18. Is z(b) a multiple of 4?
True
Suppose 0 = 3*m + 5*q + 13, -4*q - 22 = m - 6. Suppose 2*r - m*g - 166 = 0, -4*r + 312 = -3*g - 0*g. Does 21 divide r?
False
Let b = -13 - -8. Let n = b + 6. Let h(s) = 13*s**2 - 1. Is h(n) a multiple of 12?
True
Let c(i) = i**2 + 10*i - 9. Does 11 divide c(7)?
True
Let n(t) = t**2 - 4*t + 4. Let a be n(4). Suppose 13 = a*h - 11. Is h a multiple of 2?
True
Suppose -108 = -2*y - 24. Let g = -30 + y. Does 12 divide g?
True
Suppose 2*d + 5*r - 189 = 0, 64 = d + 5*r - 43. Is 16 a factor of d?
False
Let g = 175 - 123. Does 13 divide g?
True
Does 38 divide 5/15 + 592/6?
False
Let t = -60 + 87. Is t a multiple of 9?
True
Is 9 a factor of 5/((-5)/6)*(-90)/15?
True
Let i = 8 - 18. Let n be (-544)/(-20) - (-2)/i. Suppose -6*m = -9*m + n. Does 4 divide m?
False
Suppose -w + 160 = 4*w. Does 8 divide w?
True
Let d(n) = n**3 + n**2 - 4*n + 1. Let j(s) = s**2 + 11*s + 14. Let f be j(-10). Suppose -5 = -3*h + f. Is d(h) a multiple of 16?
False
Let q(n) = -9*n + 7. Let x be (-2 - 2)*5/4. Is q(x) a multiple of 15?
False
Suppose 0 = 5*u - 4*u - 1, -2*b = -4*u - 192. Does 23 divide b?
False
Suppose -2*t = 2*t - 40. Suppose -i - t = i. Let z = i - -7. Is z even?
True
Suppose -6 = v - 4*v. Let s(y) = 3*y - 3. Let g be s(v). Suppose 2*p + 180 = -0*d + 5*d, 108 = 3*d - g*p. Does 16 divide d?
False
Let j(c) = -4*c**2 + 16*c - 1. Let g(f) = f**2 - f - 1. Let k(r) = -5*g(r) - j(r). Does 15 divide k(-8)?
True
Suppose 0 = 2*w - 11 + 3. Let r = w + 0. Suppose 3*p = -r*m + 129 - 16, -2*m + 78 = 2*p. Is 11 a factor of p?
False
Let c be (-1 - 1) + 28/7. Suppose -2*z + 44 = c*l, -z + 4 = -0*z. Is l a multiple of 9?
True
Does 17 divide (52 - 1) + 10 + -10?
True
Let o(x) = -x**3 + 3*x**2 - x - 9. Let q be o(-7). Is 20 a factor of q/24 - 1/3?
True
Suppose 5*s = 4*s + t - 1, -t = -5*s + 11. Suppose -13 = -2*b - 5*w, -5*b + 3*w = -20 + 3. Does 3 divide (b - 0)*(4 - s)?
False
Let g be (2 - 16) + 6/3. Let o = g + 28. Is 8 a factor of o?
True
Suppose 2*d + 8 = -0*d - 3*z, 0 = -d - 3*z - 7. Does 12 divide d - -32 - (1 - 0)?
False
Let d(o) = -o**2 + 14*o + 2. Let h(r) = r**2 - 2*r + 2. Let a be h(2). Let c be -2 + a + (-10)/(-1). Does 21 divide d(c)?
True
Let u be 1 + 15/3 - 0. Let w = -1 + u. Is 2/5 - (-93)/w a multiple of 8?
False
Suppose 199 = 3*k + 7. Let m be 6/(0 + -2) + k. Suppose -5*q = 4*p - m, q - 6 = -1. Is 9 a factor of p?
True
Let k(u) be the third derivative of -u**6/120 - 3*u**5/20 - u**4/3 - 2*u**2. Let f be k(-8). Suppose -w = -f*w - 32. Does 16 divide w?
True
Suppose g + 11 = 5*o, -5*o = -3*g - o. Suppose 0 = -0*m + g*m - 64. Is 13 a factor of m - (0 - (1 + 2))?
False
Let u be 2 - -1 - 6/2. Suppose u = -2*o - o + 69. Is o a multiple of 9?
False
Let d(x) = -x**3 - 6*x**2 - 2*x + 9. Let m be d(-4). Does 6 divide (1 - m) + (7 - 11)?
True
Suppose -5*o = -560 + 200. Is 28 a factor of o?
False
Let f = 4 + 0. Suppose 3*t = -4*w - 2, 0*w = -3*w - f*t + 2. Does 12 divide (24/w)/(2/(-5))?
False
Let r(d) = -9*d**2 - 7*d + 5. Let n(y) = -10*y**2 - 8*y + 6. Let j(b) = -6*n(b) + 7*r(b). Let i(v) be the first derivative of j(v). Is i(-3) a multiple of 9?
False
Suppose 12 = p - 3. Is p a multiple of 2?
False
Let j(c) = c**2 - 2*c + 1. Let b(f) be the first derivative of f**4/4 - 10*f**3/3 + 4*f**2 + 13*f + 4. Let k be b(9). Is 9 a factor of j(k)?
True
Suppose -2*o = 5*t - 40, -4*t + 5 = o - 18. Is 15 a factor of o?
True
Let r = -6 + 9. Suppose -r*p - 20 = p. Let j = p + 11. Is 5 a factor of j?
False
Suppose 4*w + 14 = 3*t, 0*w + 2*w + 10 = 0. Let d be 11/((1*t)/(-4)). Suppose 0 = -5*x + 4*y + 28, 0*x + 3*y + d = 4*x. Is x a multiple of 4?
True
Suppose -3*x + 2 + 1 = 0. Let u(b) be the third derivative of b**4/3 - b**2. Is 5 a factor of u(x)?
False
Suppose 0 = 3*r + 5 - 158. Is 17 a factor of r?
True
Suppose -5*a - 30 = 5. Let j(o) = o**2 + 7*o - 9. Let m be j(a). Let u = m + 37. Does 18 divide u?
False
Let a be (-152)/12*6/(-4). Suppose w + 4*w + 4*c = a, 2*w - 7 = -c. Suppose 0 = w*f - 4*r - 46, -f + 2*f - 2*r - 14 = 0. Does 7 divide f?
False
Let d(c) = 2*c**2 - 11*c - 6. Let h be d(8). Suppose 3*z + 2*z - 149 = -4*f, f - 2*z = h. Is f a multiple of 12?
True
Let c(s) = s**3 + 7*s**2 - 2*s + 1. Does 15 divide c(-7)?
True
Let w = -87 - -141. Does 2 divide w?
True
Let f(p) = 2*p - 10. Let s be f(9). Let g = 8 + s. Does 8 divide g?
True
Suppose q = -0*q. Suppose 2*a + 4 = -4*h, 5*a + 1 + q = -h. Suppose a = -i - 0*i + 4*d + 17, -2*i + 14 = 2*d. Is i a multiple of 9?
True
Let v(d) = d**2 - 7*d + 3. Suppose -2*c - 28 = -4*u - 5*c, -u = 3*c - 7. Let t be v(u). Does 21 divide 9/t - -39*1?
True
Let k(v) = -v**3 - 12*v**2 + 15*v - 5. Let w be k(-13). Let a = w + 63. Does 9 divide a?
False
Suppose 2*i = 4*i - 46. Let p = -39 + i. Let t = p + 28. Is 7 a factor of t?
False
Suppose -5*q + 1 + 56 = -3*u, u + 23 = 2*q. Is 6 a factor of q?
True
Suppose -w = 3*w - 12. Suppose -w*p + 2*p = -5*f - 27, 4*p - 4*f - 44 = 0. Does 5 divide p?
False
Suppose -4*p - 2*t - 2 = p, -4*p - 3*t = 3. Let y(w) = w + 2. Let c be y(p). Suppose 4*v + 9 = -7, 5*v = c*s - 64. Is 19 a factor of s?
False
Suppose -4*v = -139 - 221. Is v a multiple of 30?
True
Suppose -r + 8 = 43. Is (-12)/15*r/2 a multiple of 7?
True
Let g = 303 - 151. Is g a multiple of 19?
True
Let j(k) = k**3 - 5*k**2 + 5*k - 1. Let c = 0 - -4. Let b be j(c). Suppose b*l - 10 = 14. Does 3 divide l?
False
Suppose 2*o + 10 = -2*l - 0*o, 4*l - 5*o + 38 = 0. Let j = l - -31. Is 12 a factor of j?
True
Let w(t) = -4*t**2. Suppose -3*b - 1 - 2 = 0. Let k be w(b). Let y = 16 - k. Is 8 a factor of y?
False
Let n(x) be the third derivative of x**6/120 - x**5/10 - 5*x**4/24 + x**3 + 3*x**2. Is 10 a factor of n(7)?
True
Let t(m) = 3*m**2 + 2*m + 5. Let d(i) = -i**2 - i. Let j(n) = n + 7. Let z be j(-6). Let o(l) = z*t(l) + 2*d(l). Is o(-5) a multiple of 21?
False
Let q be 0*(2 - (1 + 2)). Let x be (-2)/(2 + q/2). Does 13 divide x/(1/13)*-1?
True
Suppose 139 = o + 2*b, -b + 477 = 4*o - 100. Does 29 divide o?
True
Let c(i) be the third derivative of i**4/24 - i**3/6 - 2*i**2. Is 3 a factor of c(6)?
False
Let v = 54 + 16. Is v a multiple of 7?
True
Suppose 14*q - 31 = 1537. Is 40 a factor of q?
False
Let v = 329 - 161. Does 28 divide v?
True
Let y(j) = -j**3 - 8*j**2 + 5. Let f(c) = -6*c**3 - 40*c**2 - c + 24. Let r(a) = 2*f(a) - 11*y(a). Is 11 a factor of r(7