 + 3*g = 20. Is 3 a factor of g?
False
Let m(t) = -t**2 + 5*t - 4. Let j be m(4). Suppose k + 3*r = 12, j*k - 3*k - 5*r = -20. Suppose -44 = -2*z - 4*v, -3*z + 8*z - 4*v - 40 = k. Does 6 divide z?
True
Is 9 a factor of ((-2)/(-4) + -1)*-90?
True
Suppose -u + f = -203, 4*u + 3*f = 838 - 19. Is u a multiple of 6?
True
Suppose 3*h = -q + 9, -12 = -4*h - 0*q - q. Suppose 35 = 4*y - h*y - 4*v, 0 = -y + 2*v + 31. Is y a multiple of 9?
True
Let p(s) = 2*s - 5. Let g be p(4). Suppose 3*l = -2*t - 2*t + 269, 0 = -5*t + l + 341. Suppose -g*z - t = -7*z. Is z a multiple of 17?
True
Let a = -49 - -75. Is a a multiple of 13?
True
Suppose -q + 18 + 68 = 0. Let h = 146 - q. Is h a multiple of 20?
True
Let s = 37 + -14. Let k = 47 + s. Does 12 divide k?
False
Let a be 2 + -4 + 9*1. Suppose -a = -h + 2*k + 2, -h - k + 21 = 0. Let z = -1 + h. Is z a multiple of 8?
True
Let a be (4 - 1) + 0 + 2. Suppose -5*c = -0*q - a*q + 50, -2*c - 26 = -3*q. Let i = q - -10. Is 8 a factor of i?
True
Let x = -101 - -176. Does 11 divide x?
False
Let t(k) = 7*k**2. Let l = -12 + 10. Does 14 divide t(l)?
True
Is 1308/54 - (-4)/(-18) a multiple of 6?
True
Is 46 a factor of (-26436)/(-180) - 4/(-30)?
False
Let s = 1 + -2. Let c(v) = -65*v - 5. Let z(r) = -98*r - 8. Let k(w) = 8*c(w) - 5*z(w). Is 10 a factor of k(s)?
True
Let w = 23 - -7. Is w a multiple of 6?
True
Is (-95)/(-9 + 4) - 1 a multiple of 6?
True
Let s be (1 - (-19)/1)/1. Let a = s - -20. Is 10 a factor of a?
True
Suppose -276 = -3*z + 3*b, -3*z + 5*b = -0*z - 284. Is z a multiple of 11?
True
Does 13 divide (-200)/(-3) + (-170)/102?
True
Let m(o) = 5 + 6*o + o**2 - 2*o**2 - 2 + 2*o**2. Let b be m(-6). Suppose -b*p - p + 128 = 0. Is p a multiple of 16?
True
Suppose -12*f = -14*f + 210. Is f a multiple of 21?
True
Let i be (-25)/(-9) + 8/36. Suppose i*h = -o + 20 + 25, h - 25 = 3*o. Is 16 a factor of h?
True
Suppose -4*b + 8 = 0, 5*b = -3*t - 27 + 205. Does 28 divide t?
True
Let h(k) = 7*k**2 - 3*k + 1. Let s(x) = -x**2 + x. Let w(i) = h(i) + 3*s(i). Let a be w(-1). Let t = a + 2. Does 7 divide t?
True
Suppose -4*b = -2*s - s + 55, -97 = -5*s + 4*b. Suppose 3*h - s = 141. Is 33 a factor of h?
False
Let d = 25 + 5. Is 7 a factor of d?
False
Let a(f) = f**3 - 6*f**2 + 8*f - 8. Does 8 divide a(6)?
True
Let f = 93 - 44. Is f a multiple of 18?
False
Let v(x) = 5*x + 7. Let c(h) = -4*h - 7. Let j(b) = 7*c(b) + 6*v(b). Let w(k) = -k**3 + 5*k**2 + k + 2. Let y be w(5). Does 2 divide j(y)?
False
Let n(x) = x**3 - 13*x**2 - 35*x - 1. Is 29 a factor of n(16)?
False
Let d be 1171/7 - (-2)/(-7). Does 21 divide 1/4 + d/4?
True
Suppose 4*p - 6*p = -6. Let r = 6 - p. Suppose 24 = z + r*x - x, 3*x - 12 = 0. Does 8 divide z?
True
Let q = 227 - 405. Is 13 a factor of (-8)/(-28) - q/14?
True
Let k(c) = c**3 + 9*c**2 + 5*c - 8. Let v be k(-6). Suppose 8*i = 3*i + v. Is i a multiple of 7?
True
Suppose 3*f - 144 = -3*w, -4*w + 2*w = -4*f - 66. Is 21 a factor of w?
False
Suppose -18 = 12*w - 13*w. Is 10 a factor of w?
False
Let j(w) = -2*w**3 + 6*w**2 - w**3 + 14 - 3 - 2*w**3 - 2*w. Let i(q) = -9*q**3 + 13*q**2 - 3*q + 21. Let f(t) = 4*i(t) - 7*j(t). Is f(10) a multiple of 13?
False
Let b(r) = -r**2 - 6*r - 3. Suppose 3*k = 2*d + 2*d - 2, -3*d = 3. Let w be b(k). Suppose -2*o - o + w*l + 22 = 0, 0 = -5*o + 4*l + 41. Is o a multiple of 4?
False
Let d be 0*(-1)/((-1)/1). Let o = 12 + d. Is o a multiple of 12?
True
Let r = -94 - -237. Does 15 divide r?
False
Suppose -3*r - 86 - 218 = -2*w, 0 = -w + 3*r + 158. Does 19 divide w?
False
Suppose -3 = -2*n - i + 4, -5*i = -5. Let d = 47 - n. Does 22 divide d?
True
Let l = -95 + 177. Is l a multiple of 12?
False
Let x(z) be the first derivative of -z + 1/2*z**2 + 2/3*z**3 + 1. Is x(2) a multiple of 4?
False
Let v(t) = -t**2 - 2*t - 1. Let f be v(-1). Suppose f = 2*p + 2*p - 48. Is 6 a factor of (0 - 0) + 0 + p?
True
Suppose 116 = 4*q + 4*f, q + 4*f = 18 + 20. Let t(s) = -s**3 + 3*s**2 + 2*s. Let r be t(-2). Let y = q - r. Is 9 a factor of y?
False
Suppose -3*g = -4*l + 1, 5*l = -3*g + 36 - 1. Suppose 2*i = 6 - 2. Suppose -l = i*d - 4*d. Does 2 divide d?
True
Let f(t) = t**3 - t + 129. Let w be f(0). Suppose 3*l = 3*n - 87, 5*n - l = -0*n + w. Does 5 divide n?
True
Suppose 0 = -3*s - 3*x, -3*s - s + 5*x = 0. Suppose -4*l + 19 = z, 7*z - 2*z + l - 76 = s. Is 15 a factor of z?
True
Suppose -4*c + 1084 = -4*d, -c + 109 = -5*d - 158. Is 16 a factor of c?
True
Let c(v) = v + 11. Does 3 divide c(7)?
True
Let a = -197 + 494. Is a a multiple of 11?
True
Suppose 2*n - 4*n = -10, 2*p - 4*n = 112. Is 12 a factor of p?
False
Let w = 36 + 44. Suppose z + 3*z - w = 0. Is 18 a factor of z?
False
Let s(i) = i - 6. Let t be s(6). Suppose t = -0*l - l + 57. Does 19 divide l?
True
Let f = 208 - 143. Suppose 0*d - 5*d - f = 0. Let b = -8 - d. Does 4 divide b?
False
Does 23 divide 557/15 - 4/30?
False
Suppose -42*l + 48*l - 360 = 0. Is 42 a factor of l?
False
Suppose -2*j = 2*d - 20, 5*d + 13 - 63 = -4*j. Let f = 3 + -1. Let w = f + d. Does 6 divide w?
True
Let k(g) = g**2 - 13*g - 6. Is k(14) a multiple of 8?
True
Let f(c) = 9*c**3 + c**2 + 2*c + 2. Let u be f(-1). Is 4 a factor of 284/18 - u/36?
True
Let t = -1 - -3. Suppose -4*p = -2*p - t*g - 26, -p + 25 = 5*g. Is 6 a factor of p?
False
Does 14 divide 16/(-6)*468/(-16)?
False
Suppose -56 = -4*x - 2*y + 22, y + 18 = x. Is 19 a factor of x?
True
Suppose -3*r - 5*z + 881 = 47, 4*r = -5*z + 1107. Suppose -d + 60 = -v, -4*d - 4*v = d - r. Is d a multiple of 20?
False
Let p be 2*(39/(-2))/(-3). Is p/(-2)*(-4)/2 a multiple of 11?
False
Suppose 2*g - c + 2 = 4*g, 0 = -2*g - 2*c. Let h = 17 - g. Is h a multiple of 5?
True
Let m = -13 + 24. Is -1*1 + m + 29 a multiple of 11?
False
Let s(f) = 5*f**2. Let n = -6 + 7. Is 5 a factor of s(n)?
True
Let o be 10/6*(-6)/2. Is 6 a factor of o/(5/4)*-2?
False
Suppose 0 = j + 4*j. Suppose j = -2*m + 12 - 6. Is m even?
False
Let p be 2*3/(24/(-92)). Let g = p - -61. Is g a multiple of 17?
False
Let p(u) = 8*u. Let c(y) = -y**2 + 10*y + 13. Let n be c(11). Does 12 divide p(n)?
False
Let b = 6 - 12. Let w(j) = -3*j - 8. Does 10 divide w(b)?
True
Let q(t) = t + 5. Let w be q(-5). Does 13 divide w - 5/(15/(-117))?
True
Let m be (-1 + 0)/(2/6). Let d = m + 3. Suppose 2 = n - d. Does 2 divide n?
True
Is 14 a factor of 255/6 + (-2)/4?
True
Let u(h) = 4*h**2 + 30*h + 32. Let m(g) = 3*g**2 + 20*g + 21. Let l(o) = 7*m(o) - 5*u(o). Let i be l(11). Does 13 divide i/(-2 - (-228)/117)?
True
Let i be ((-4)/5)/(8/(-140)). Suppose x = i - 5. Is 5 a factor of x?
False
Suppose -2*y + 7 - 1 = 0, 3*q - 165 = 2*y. Suppose 2*l = -7 + q. Is 9 a factor of l?
False
Let i(j) = -5*j + 5. Let x be i(4). Is 32/(-6)*x/10 even?
True
Let p = 2 - 2. Is (-1 - -3) + p + 11 a multiple of 11?
False
Suppose 4*s - 592 = -v, 148 = 2*s - 5*v - 148. Suppose -5*y = -y - s. Let z = -22 + y. Is 15 a factor of z?
True
Let f be 2 + (3 - 5) + 4. Suppose -3*t + 4*o + 59 = 2*o, -2*t + f*o = -50. Does 4 divide t?
False
Let p be 4/(-12) - (-13)/3. Suppose -d - 42 + 1 = -b, b + p*d - 26 = 0. Let z = b + -23. Is 13 a factor of z?
False
Let g be (-15)/5 - (-42)/1. Let q = g + -2. Is 14 a factor of q?
False
Let w(o) = 16*o**2 + o - 1. Is w(-1) a multiple of 13?
False
Let w = 156 - 130. Is w even?
True
Suppose -4*n + o = -11, -2*o = 2*n - o - 1. Suppose -n*q + 0 = -54. Is 9 a factor of q?
True
Is (-120)/(-25)*(-20)/(-3) a multiple of 4?
True
Let v be 3*14*1/(-3). Suppose 2*r - b = 3, -4*b - 31 + 7 = 4*r. Is 1 - v - (-2)/r a multiple of 13?
True
Suppose 3*f - 191 = 28. Is f a multiple of 26?
False
Let q(r) = -3*r**2 - 2*r - 2*r**3 + 3*r + 1 + 3*r**3. Let a be q(3). Suppose a*o - o = 96. Is 16 a factor of o?
True
Let j(x) = -x**2 - 8*x + 13. Let t be j(-9). Suppose 65 = t*f + f. Is 13 a factor of f?
True
Let m(g) = -2*g**2 + 2*g + 6. Let q be m(5). Let k = -4 - -6. Is (k/(-4) + 0)*q a multiple of 5?
False
Suppose 4 + 11 = 3*t. Suppose -57 = -d + t*p, 3*d - d - p = 87. Is d a multiple of 14?
True
Let q(n) = -n**2 - 9*n + 7. Let v be q(-9). Suppose 0 = 2*u - 0*y - y - v, -3*y = -4*u + 11. Suppose 4*t = -u*l + 74, 0 = -t - 2*t + 3. Is 5 a factor of l?
False
Suppose -2*s = 2*m - 54, 4 = s - 5*s. Suppose l = -l + m. Does 14 divide l?
True
Let n(g) = -g - 12. Let a be n(-5). Suppose y + 4 - 19 = 0. Let z =