vide g?
False
Let v = -33 - -55. Let f(q) = 4*q - 1. Let u be f(-1). Let j = v + u. Does 11 divide j?
False
Let z(q) = -6*q + 8. Is z(-3) a multiple of 13?
True
Let i be 28/8 - (-3)/(-6). Suppose 5*k - 4*k = 3, 4*l = -i*k + 145. Is 17 a factor of l?
True
Let c = -66 - -117. Does 11 divide c?
False
Suppose -2 = -k - 0. Let v(z) = -z**3 + 6*z**2 - 2*z - 12. Let a be v(5). Suppose k*t = -a*t + 35. Does 6 divide t?
False
Let k(y) = -6*y + y**3 + 5*y + 11 - 8 + y**2 + 19. Is k(0) a multiple of 22?
True
Suppose 5*s - 4*h = 61, -2*s + 42 = s + 3*h. Does 13 divide s?
True
Let q be 282/9 + (-4)/(-6). Suppose 5*f - 2*u = 3*f + q, 5*u = 2*f - 44. Is 6 a factor of f?
True
Let r(f) = f**3 + 8*f**2 - 11*f - 6. Is r(-9) a multiple of 12?
True
Let o = -17 + 0. Does 13 divide (o - 0)/(-7 - -6)?
False
Let z = -43 + 66. Is z a multiple of 2?
False
Let z(a) = a**3 - 9*a**2 - 7*a - 3. Is z(10) a multiple of 9?
True
Is 19 a factor of 3 + (-331)/(-3) - (-4)/6?
True
Let z(a) = 2*a**2 - 3*a - 1. Let t be z(-2). Let u = t - 25. Let m = 10 - u. Is 9 a factor of m?
False
Let c = -63 - -43. Let l = c + 29. Does 9 divide l?
True
Let y(k) = -7*k + 8. Is 16 a factor of y(-8)?
True
Let r = -3 + 7. Suppose 2*c - 3*a = 69, 0 = -6*a + 2*a - r. Let v = c + -21. Is v a multiple of 8?
False
Let h(g) = g**2 + 4*g - 7. Let v be h(-6). Suppose -6*q + 2*q - 48 = -4*p, -p = -v*q. Does 12 divide p?
False
Let t be 1*(5 - (2 + 0)). Suppose -t*r - 10 = -5*r. Suppose -r*s + 42 = -2*s. Is s a multiple of 7?
True
Suppose -3 = -2*w - 1, -2*i - 4*w + 44 = 0. Is 6 a factor of i?
False
Suppose -12 + 2 = -2*r. Suppose 0 = -r*o + 152 + 8. Is o a multiple of 16?
True
Let d(p) = 11*p - 7. Is 12 a factor of d(5)?
True
Let h(p) = 6*p - 2. Let t be h(-8). Let d be -5*5/(t/44). Suppose 0*a + a - 1 = 0, 0 = -k + 2*a + d. Does 12 divide k?
True
Let t be (7 + (-1)/(-1))/2. Does 8 divide (14/t)/(4/16)?
False
Let n be 816/20 - (-1)/5. Is 10 a factor of n/(-3 + 5 + -1)?
False
Is 38 a factor of 304/((-1 - 1)*-1)?
True
Is 2 a factor of ((-4)/(-6))/(6/27)?
False
Suppose -2*p = p. Suppose p = -4*q - 3*z - 0*z + 9, -4*q = -2*z + 6. Is 13 a factor of (2 - q)*1*11?
False
Let n(u) be the second derivative of -5*u**3/6 + 4*u**2 + 8*u. Does 7 divide n(-4)?
True
Let p be (-1 - 2)/((-3)/4). Suppose 0 = -p*d - 0*d + 168. Is 14 a factor of d?
True
Let s be (-5)/(-10)*(-1 + -1069). Let i be s/10 + (-2)/(-4). Is 14 a factor of (i + -1)/(-2) - -1?
True
Let g(w) = w**3 + 7*w**2 + w - 1. Let b be g(-7). Let t(q) = -q - 6. Let m be t(b). Suppose -5*k - 5*o = -155, 2*o + 62 = m*k - o. Is k a multiple of 13?
False
Let z = -60 - -108. Suppose 4*k = -0*q - 2*q + z, 36 = 3*k + 2*q. Is k a multiple of 4?
True
Suppose 3*i = -i + f - 3, -2*f = -3*i - 1. Let v = 2 - i. Suppose o = -3*x + 123, -v*x - 3*o = -2*x - 41. Is x a multiple of 12?
False
Let p(m) = 3*m**2 - 4*m + 1. Let d = -3 - -25. Suppose 2*v + 0*v + d = 4*g, 4*g = 16. Does 20 divide p(v)?
True
Suppose z = -0*z - 5*f + 42, 5*z - 4*f = 94. Does 15 divide z?
False
Is (-1088)/(-24)*9/4 a multiple of 21?
False
Suppose -y - 2*y - 300 = 0. Let u = y + 163. Suppose q = u - 22. Is q a multiple of 20?
False
Is 10 a factor of (7/21 - 6)*(-19 + 1)?
False
Let a = 13 + -11. Suppose 0 = 4*m - m. Suppose 3*b = -m*b + 12, a*c - 114 = -4*b. Is c a multiple of 19?
False
Let f(n) = 12*n**2 - 2*n - 5. Is 7 a factor of f(3)?
False
Suppose 4*x - 24 = -3*t, 0 = -x + t - 7 + 20. Does 4 divide x?
False
Let l(v) be the third derivative of -v**5/60 - v**4/2 + v**3/3 - v**2. Let w be l(-12). Suppose w*t + 2*c = 17 + 3, 0 = 3*t + 5*c - 30. Does 6 divide t?
False
Let v(s) be the second derivative of -s**3 - s**2 - 3*s. Is 12 a factor of v(-4)?
False
Suppose -4*b = -0*o - 2*o - 306, -2*b = 4*o - 138. Is 38 a factor of b?
False
Does 45 divide (14 - (2 - 8))*(-88)/(-10)?
False
Let u(p) = 11*p + 7. Does 31 divide u(5)?
True
Suppose -2*x - 1040 = -6*x. Suppose -3*s + x = 2*s. Does 13 divide s?
True
Let z be 24/(-2) + 16/(-4). Let w = 11 - z. Is 27 a factor of w?
True
Suppose 0 = 3*r + 6 - 0. Does 2 divide 10/2 + (r - 1)?
True
Suppose 3*q = 8*q - 690. Is 6 a factor of q?
True
Let d = 26 - 22. Is 18 a factor of d*4/16*53?
False
Let q(m) = -m**3 - 5*m**2 + 4*m + 1. Is 4 a factor of q(-6)?
False
Let v(p) = -p**2 + 6*p - 6. Let b be v(4). Does 9 divide 972/28 - b/(-7)?
False
Suppose 128 = 2*s - 220. Is s a multiple of 14?
False
Let y(d) = -d**3 + 8*d**2 + 9*d - 8. Let p be y(7). Suppose 0*u + p = 4*u. Is 11 a factor of u?
False
Let p(r) = r - 4. Let g(h) = 2*h - 5. Let s(f) = -4*g(f) + 5*p(f). Suppose -4*v - 33 = 4*m - 5*m, -4*m + 34 = -2*v. Does 7 divide s(v)?
True
Let x = -3 + 3. Suppose 0 = -x*c - 5*c + 10. Suppose c*q = 57 - 17. Does 10 divide q?
True
Suppose -54 + 154 = 2*c. Is c a multiple of 10?
True
Suppose x + 12 = -2*x. Let z(w) be the second derivative of w**5/20 + w**4/2 + w**3 + 3*w**2 - w. Does 8 divide z(x)?
False
Suppose -d - 3*d = -192. Is 17 a factor of d?
False
Suppose 4*i + 5*b - 10*b - 502 = 0, 250 = 2*i - 3*b. Is 32 a factor of i?
True
Let y(q) = -1 - q**2 + 2 + 6*q + 2*q**2. Let i be y(-6). Is (-1)/((-3)/36*i) a multiple of 12?
True
Suppose -2*f = -3*f + 5. Suppose -r + 3*r + 13 = -3*k, 4*r + 19 = -f*k. Is 1/(13/k - -2) a multiple of 5?
False
Let d(j) = 3*j**2 + j - 1. Let u be d(1). Suppose 0 = -t + 4*x + 2, -3*t + 6*x + 6 = u*x. Suppose -2*h + 32 = 2*m, -7*h = m - t*h - 24. Is 5 a factor of m?
False
Let i be 1/1*(15 + -10). Suppose w - i*f = 47, -5*f = -5*w + 157 + 38. Is w a multiple of 15?
False
Let q(l) = 20*l - 4. Let j be q(6). Let t(n) = -7*n + 19. Let w be t(-8). Suppose -j = -3*x - y, x = -5*y + w - 13. Does 12 divide x?
False
Let x be 5/((-15)/6) + 6. Suppose -3*q + 620 = 2*q. Suppose -4*d + q = -x*n, 5*d + 8 = 4*n + 159. Is d a multiple of 9?
True
Suppose 0 = 6*n - 2*n + w + 55, -4*n - 50 = 2*w. Does 5 divide ((-24)/10)/4*n?
False
Let n(s) = s**2 - 2*s - 1. Let d be n(3). Suppose 6 = -d*i + 22. Is 4 a factor of i?
True
Suppose -y + 2*n + 43 = 0, 4*y - 5*n = 63 + 121. Does 17 divide y?
True
Let t(m) = -27*m + 1. Let q be t(-1). Suppose 2*w + 2*w = q. Is w a multiple of 5?
False
Let c be (-2)/6 - 13/(-3). Let u = 296 + -168. Suppose u = 4*b + c*q, 2*b - 2*q - 39 = q. Is 13 a factor of b?
False
Let n = 3 + -3. Suppose n = -3*u + u - 12. Let h = 8 + u. Is 2 a factor of h?
True
Suppose 0*f - 1 = f. Let q be (f - -2)*(-1 + 3). Suppose q*r - 2*w - 32 = r, -2*r + 2*w = -56. Is r a multiple of 16?
False
Suppose 0 = 3*v - 4*v - 3. Let c(u) = 4*u + 3. Let w be c(v). Let h(f) = -f**2 - 12*f + 12. Does 10 divide h(w)?
False
Suppose -10*a = -81 - 1069. Does 23 divide a?
True
Is 28 - (-1 - (-4)/4) a multiple of 14?
True
Suppose 0 = -o - 2*o + 6. Let f = o - 0. Suppose -2*p + 24 = 2*v, 6 = 2*p - 3*v + f. Does 3 divide p?
False
Suppose 5*t - 26 = -2*a, 0 = a + a + t - 34. Is a a multiple of 10?
False
Suppose 2*g = n + 5, -4*g - 3*n - 1 = -3*g. Suppose 65 = g*a + 5*t, a - 3*t - t = 52. Suppose -5*s + a = -s. Is s a multiple of 4?
False
Let c(y) = 7*y**2 - y - 1. Let x be c(-1). Suppose a - 27 = x. Is a a multiple of 17?
True
Let j be (6 - -2)/(4/14). Suppose j = -3*w - 26. Let y = w - -31. Does 13 divide y?
True
Let d = 2 - 10. Let x = 6 - d. Is 14 a factor of x?
True
Let o(q) = -q**3 - 3*q**2 + 2*q + 2. Let a be o(-3). Suppose 4*d + w = -4*w + 104, -w = 4*d - 104. Is 18 a factor of d + a + (-4)/(-2)?
False
Suppose -3*w = -5*r + 8, 2*r + w + 3 - 15 = 0. Let k = -1 + r. Suppose 0 = 5*j + k - 33. Is 6 a factor of j?
True
Let a = -72 - -124. Does 11 divide a?
False
Suppose l = d + 3*l - 3, -3*d = 2*l - 13. Suppose 0 = -s + d, -2*v + 5*s = -0*v - 89. Is v a multiple of 19?
True
Let n(h) = h**2 - 6*h. Let x(r) = 1. Let i(c) = -n(c) - 2*x(c). Is i(4) a multiple of 3?
True
Let a be ((-48)/(-9))/((-2)/(-6)). Suppose 3*i + i - a = 0. Suppose 4*u = n - 24, -i*n + 0*u = -2*u - 124. Does 13 divide n?
False
Let d = 12 + 14. Let g be (2/(-5))/(3/(-15)). Is 12 a factor of 0 + d*1 - g?
True
Suppose 3*i - i + 14 = 4*f, 2*i - 3*f = -10. Let b = i - -2. Does 2 divide b?
False
Let t = -16 + 9. Is 17 a factor of (-4 - t)/1 + 48?
True
Let k = 104 + 103. Suppose f - k = -2*f. Suppose -f = -5*p + 36. Does 14 divide p?
False
Does 8 divide (44/(-8))/(1/(-10))?
False
Let n(w) = -w**3 + 9*w**2 + 5*w - 13. Let g be n(9). Supp