4. Let n be v(-7). Let m = n - -33. Is 10 a factor of m?
True
Suppose -g = -2*g. Suppose -4*h + 3*h = g. Suppose -m = 4*k - 4 - 25, -5*k + m + 43 = h. Does 6 divide k?
False
Let t(x) = -x + 33. Is t(14) a multiple of 3?
False
Does 8 divide ((-25)/(-15) + -1)/((-2)/(-192))?
True
Let h(c) = -c - 1. Let u be h(2). Let y be (-9)/u + 0/(-1). Is (-6)/(-18) - (-83)/y a multiple of 14?
True
Let u = 42 - 28. Is u a multiple of 4?
False
Let q = -62 + 157. Does 19 divide q?
True
Suppose c = -a - 9, -3 - 9 = c + 2*a. Does 13 divide 585/(-30)*4/c?
True
Suppose 3*z - 82 = p - 3*p, 0 = z - p - 34. Suppose 0 = 3*c + 3*t - 42, 3*c + t - z = c. Suppose -5*n - c - 49 = -5*u, 4*u + 3*n - 38 = 0. Is 11 a factor of u?
True
Let w(v) = v + 9. Let a be w(0). Let t be 4/(-18) - (-218)/a. Let m = t - 12. Is 6 a factor of m?
True
Let k(y) = -5 - 16 + 6*y + 3 + 2*y. Is 10 a factor of k(9)?
False
Suppose 0 = -x + 5*o - 5, -2*x - 2*x + 5*o + 10 = 0. Suppose -x*u + 280 = 80. Does 20 divide u?
True
Suppose -8*w = -3*w. Suppose 2 - 17 = -5*c. Suppose w*u + 9 = c*u. Is 3 a factor of u?
True
Suppose n = -13 + 118. Is n a multiple of 15?
True
Suppose 4*n = 122 + 38. Is n a multiple of 30?
False
Does 4 divide (-18)/(-5) - (-2)/5?
True
Suppose 0 = -4*r + 475 + 29. Is r a multiple of 18?
True
Let f = -10 + 75. Does 7 divide f?
False
Let c(l) = -12*l + 20. Let s(z) = -4*z + 7. Let i(j) = -3*c(j) + 8*s(j). Is 6 a factor of i(4)?
True
Let d(t) = t**2 - 9*t + 6. Let h be d(4). Let w = -8 - h. Is w a multiple of 3?
True
Let g = 4 - -19. Is 2 a factor of g?
False
Let x = 47 + -21. Suppose -3*c = -4*l + c + 52, -x = -2*l + 5*c. Does 9 divide l?
False
Let h = -13 - -18. Suppose -u = -2*u + h. Suppose 0*t = -t + u. Is t a multiple of 2?
False
Let v = -126 + 216. Is v a multiple of 18?
True
Let i be 3 + 0 - (12 + -3). Let s(b) = -b + 2. Does 4 divide s(i)?
True
Let i(w) = w**3 - 14*w**2 + 13*w + 7. Is i(13) a multiple of 4?
False
Is (330/168 - (-4)/14)*12 a multiple of 4?
False
Does 16 divide 53 - -4 - 2 - 4?
False
Suppose -7*s + 3*s - 12 = 0. Let a be 0 + 1 - 3*s. Suppose -6*x + a = -x, -42 = -l - 5*x. Is l a multiple of 16?
True
Let m(v) = v**2 + 5*v + 1. Let c = 7 - 13. Is m(c) a multiple of 2?
False
Let w = -3 - -5. Suppose -r = -3*l + 99, -w*r + 36 = l - 4. Is 22 a factor of l?
False
Suppose 44 = 4*g + 4*m, -2*g + m = 3*g - 79. Does 14 divide g?
False
Suppose 2*s = -3*s + 160. Is 16 a factor of s?
True
Let y = -40 + 60. Is y a multiple of 2?
True
Suppose 3*i - 4*l = 182, 0 = 3*i - 3*l + 4*l - 202. Does 25 divide i?
False
Is 35 a factor of 1056/15 - (-2)/(-5)?
True
Suppose -6*b - 3*a + 16 = -2*b, -2*b + 4*a = 14. Is 5 a factor of (b/(-2))/(1/(-30))?
True
Let i(p) = 4*p**2 + 3*p + 2. Does 4 divide i(-2)?
True
Suppose -m - j = 2 - 1, -5*m = -4*j + 23. Is (-3*7)/m + -2 a multiple of 2?
False
Suppose 0 = -4*c + 6*z - 3*z - 37, 2*z + 49 = -3*c. Let o = c - -27. Is o a multiple of 5?
False
Let a(f) = -11*f + 12. Let n(g) = 16*g + 1. Let y be n(1). Let d(u) = -33*u + 35. Let l(w) = y*a(w) - 6*d(w). Is l(4) a multiple of 19?
True
Suppose 0 = 3*y + 6 - 30. Suppose 0 + y = r. Is r even?
True
Let d(k) = k**3 - 4*k**2 + 4*k + 1. Let s be d(3). Suppose 60 - 16 = s*c. Is c a multiple of 11?
True
Suppose -2*g = 5*q + 2*g - 284, -4*q + 244 = -g. Is q a multiple of 20?
True
Suppose 3*p - 84 = -3*p. Is 3 a factor of p?
False
Suppose 0 = -2*l + 7*l. Let i = l - 0. Suppose 0*q - q - 2*k + 2 = i, 2*q - 20 = 4*k. Does 6 divide q?
True
Let o = -23 + 35. Is 19 a factor of (-4)/(o/(-75)) - -3?
False
Does 14 divide (-1)/(5/(-85)) - 3?
True
Let m(p) = -20*p - 10 + 8 - 27*p + 16*p. Does 20 divide m(-2)?
True
Let k = 13 + -20. Is -14*(-2 + (-8)/k) a multiple of 12?
True
Let l(y) = y**3 - 2*y - 1 + y**2 + 0*y**2 + 2*y. Is l(2) a multiple of 6?
False
Let c(h) = h**3 - 5*h**2 - h. Let s = 15 - 9. Is 13 a factor of c(s)?
False
Suppose -18 = -3*r + 9. Is 13 a factor of (2 - -1)/(r/48)?
False
Suppose 10*c + 54 = 12*c. Is 27 a factor of c?
True
Let t = 10 + -6. Suppose -v - t*v + 90 = 0. Let x = -6 + v. Is 12 a factor of x?
True
Let i(x) = x**2 - 8*x - 7. Let v be i(9). Let k = -4 - -6. Suppose -w - v*u - 78 = -5*w, k*w - 41 = -u. Is 8 a factor of w?
False
Let g(a) = a**3 - 5*a**2 + 2*a + 6. Let h be g(6). Suppose -o - h = -3*o. Is o a multiple of 9?
True
Let j(n) = -11*n + 7*n - 9 + n. Is j(-8) a multiple of 15?
True
Does 10 divide (260/39)/((-1)/(-12))?
True
Suppose -4*j - 13 = o, -j - 4 + 0 = 0. Let n(c) = c**3 - 4*c**2 + 3*c + 1. Let r be n(o). Is 15 a factor of 3*r/3 - -14?
True
Let x(v) = v + 12. Let m be x(-10). Suppose -4*g - 2*u = -28, -m*u = 3*g + u - 27. Does 4 divide g?
False
Let s(d) = 89*d + 1. Is s(2) a multiple of 25?
False
Suppose -29 = -5*c + n, 5*c - 15 = -n + 6. Suppose -c*a = 37 - 2. Let y(r) = r**3 + 6*r**2 - 10*r - 6. Does 9 divide y(a)?
False
Let r(z) = -z**3 + 8*z**2 - 9*z + 8. Let y be r(7). Let s = 10 - y. Is 16 a factor of s?
True
Suppose -2*u = -6*u. Suppose -4*d - 2*z + 64 = u, -5*d + 80 = 2*z + z. Does 8 divide d?
True
Let y(h) = 8*h**2 - h + 3. Let w = 12 - 14. Is 15 a factor of y(w)?
False
Let w(p) = p**2 + p + 25. Is 25 a factor of w(0)?
True
Let w(i) = -i**3 + 7*i**2 + 4*i + 8. Does 27 divide w(6)?
False
Suppose 5*o + 135 = b, -2*o = -2*b + 4*b - 318. Is 31 a factor of b?
True
Suppose 23 = -4*y + 7. Does 11 divide 18 - y*3/(-4)?
False
Let t = 259 - 181. Is t a multiple of 15?
False
Let w = 10 - 3. Let r(n) = -n**2 + 9*n - 9. Is r(w) a multiple of 2?
False
Suppose -8*h = -3*h + 100. Is 2 a factor of h/(-6) + (-14)/(-21)?
True
Let x(w) = w**2 + 4*w + 6. Suppose -3*s - 16 = s. Is x(s) a multiple of 3?
True
Suppose -2*f + 3*v + 89 = -84, -5*v = -2*f + 175. Is f a multiple of 14?
False
Suppose 4*a + 3*o - 38 = 2*o, -4 = -a - 3*o. Suppose 4*z = 4*n + 80, -3*z - 5*n - a = -2*z. Does 7 divide z?
False
Suppose 0*a + 44 = 2*a. Is 11 a factor of a?
True
Let q(d) = -2*d**3 + d**2 + 6*d - 5. Let l(p) = -p + 1. Let m(y) = 5*l(y) + q(y). Let f be (0 + -1)*3/(-1 + 4). Is 2 a factor of m(f)?
True
Let a(p) = p**2 + 4*p + 1. Suppose 0 = -3*b - 3*y, 0 = -2*b + 2*y - y + 6. Let s(z) = -z**3 + z**2 - z. Let v be s(b). Does 6 divide a(v)?
False
Suppose -19 - 11 = -3*a + 2*m, -4*m = 3*a - 48. Is a a multiple of 4?
True
Let w be 8/(-3) + (-2)/(-3). Let v be w*(-2 + 1) - -171. Suppose 5*i - v = -b, i - 3*b - 29 - 12 = 0. Does 13 divide i?
False
Let c(h) = 3*h - 2 + 11*h + 11*h. Does 12 divide c(2)?
True
Is 21 a factor of (-2 - 6/(-4))*(2 - 204)?
False
Suppose 0*u = 5*u. Suppose 3*g - g + 5*m - 1 = 0, -5*m = -5*g + 20. Suppose u = -2*l - g*l + 75. Is l a multiple of 11?
False
Let h = 8 - 6. Suppose 0*j - 28 = -h*j. Let r = 39 - j. Does 13 divide r?
False
Suppose 0 = v - 0*v - 122. Let r = -74 + v. Is 12 a factor of r?
True
Let t(o) = 19*o**2 + 2*o - 1. Is t(1) a multiple of 10?
True
Let v(y) = -y**3 - 7*y**2 - 6*y. Let t be v(-6). Suppose o + 0*o - 10 = t. Is 10 a factor of o?
True
Suppose 25 = -5*l - 5*o, 0 = 5*o + 2 + 8. Is 6 a factor of (-12)/(0 - l/(-2))?
False
Let c = -61 + 182. Is 24 a factor of c?
False
Suppose -5*c + 23 + 22 = 0. Suppose 3*u = -1 - 5, -3*u = 3*h - c. Is h a multiple of 5?
True
Is 5*3 + -5 + 5 a multiple of 15?
True
Suppose -16*s + 17*s = 238. Is s a multiple of 14?
True
Suppose 2*n = 14 + 6. Suppose 2*o = 4*o - n. Suppose o*t = 4*t + 3. Is 3 a factor of t?
True
Suppose 0 = 2*k - 2*o + 5*o - 138, 3*k - 181 = 2*o. Is 25 a factor of k?
False
Let v = 146 - 103. Does 12 divide v?
False
Suppose -2 = -0*s - 2*s, s = -p + 3. Suppose 0 = 6*z - 2*z. Let a = p + z. Is a a multiple of 2?
True
Let k(g) = -g. Let m(i) = i - 2. Let o be m(4). Suppose o*s = -0*s - 6. Is k(s) even?
False
Let d be 7/4 + (-1)/(-4). Let s = d - 1. Suppose 0 = -2*h + u + 12, -h - u = -8 - s. Does 7 divide h?
True
Suppose 0 = -10*z + 5*z + 15. Is 7 a factor of (-3)/(-1 - z/(-4))?
False
Let k = -67 - -119. Is k a multiple of 9?
False
Let i be (2 + 5/(-2))*0. Suppose -4*s - 185 - 519 = i. Is 8 a factor of 5/(-15) - s/6?
False
Suppose 0 = -0*w + w + 4, -2*q = -w - 384. Is 38 a factor of q?
True
Let y = -852 - -1204. Is 17 a factor of y?
False
Let y = -3 + 8. Suppose y*s + 56 = 9*s. Is 5 a factor of s?
False
Suppose 0*f - f + 1 = 0, 0 = 5*j - 2*f - 208. Suppose -j = -4*z + 2*z. Is z a multiple of 17?
False
Let l(o) = -7*o**3 + 1