r of (47 - (3 + -2))/1?
True
Is 15/(-10) - 114/(-4) a multiple of 9?
True
Suppose -2*g + 40 = 3*g. Is g a multiple of 3?
False
Suppose 7 = 5*q - 8. Suppose -4*u + 76 = q*r, 0*u + 62 = 2*r - 3*u. Is 14 a factor of r?
True
Let f = 18 + -7. Let u = f + 22. Does 7 divide u?
False
Let l be (37/2)/(-1)*8. Let u = -76 - l. Suppose 2*q + q = u. Is 10 a factor of q?
False
Let n = -4 + 11. Suppose 2 = 2*w + 6*f - 2*f, 2 = 2*f. Let x = w + n. Does 3 divide x?
True
Suppose 4*f + 136 = 4*g, 2*g = -3*f - 2*g - 116. Let j be (4/6)/(8/f). Let m = 24 + j. Is m a multiple of 11?
False
Let c = -8 - -12. Suppose 50 = c*q - 5*a, -2 - 6 = -q - a. Is 5 a factor of q?
True
Let k be (-1 - (0 + -9))/2. Suppose k*l - 31 = 57. Does 11 divide l?
True
Suppose -4*s + 0*j = -4*j + 12, -4*j = s + 3. Let k = 6 + s. Suppose k*g - 86 = 64. Does 13 divide g?
False
Does 36 divide (-175)/(25/(-5)) + 1?
True
Suppose 5*q - b - 2*b = 246, 46 = q + b. Suppose -y + q = 2*y. Let c = y + -11. Is c a multiple of 5?
True
Suppose -3*o + 10 = -b, -6*o + o + 15 = 0. Let u(y) = -33*y**3 + 2*y**2 + 2*y + 1. Is u(b) a multiple of 5?
False
Suppose 2*w - 4 = w. Suppose -d = v + w*v + 10, -4*v + 13 = 5*d. Does 5 divide d?
True
Suppose 2*j - 146 = -4*n, 2*n - 4*n + 58 = -2*j. Is 3 a factor of n?
False
Suppose 3*x = 5*x + 94. Is 12 a factor of (-3)/6*(x + -1)?
True
Let l(v) = v**2 + 10*v - 13. Let z(m) = -13*m - 11 + 33*m + 2*m**2 + m**2 - 16. Let c(y) = -5*l(y) + 2*z(y). Is c(11) a multiple of 9?
False
Let l(k) = -7*k - 2 - 5*k + 0. Let d be l(-7). Is (-2)/(-7) - d/(-7) a multiple of 12?
True
Suppose 3*o + 140 = 7*o. Is 14 a factor of (2/5)/(1/o)?
True
Suppose 5*c = -5*o + 35, 5*c + 4 = 4*o + 3. Suppose -j = o*j - 220. Does 20 divide j?
False
Suppose i + i + 2*s - 42 = 0, -69 = -4*i + s. Does 18 divide i?
True
Let n(f) = -4*f + 13. Let y be n(9). Let s = -14 - y. Is 3 a factor of s/(-12) + 70/8?
False
Is (-88)/(-6) + (2 + -4)/(-6) even?
False
Suppose -3*v + v = -30. Is 15 a factor of v?
True
Is 2 - (-5 + 4) - -15 a multiple of 6?
True
Let v = 3 + -1. Suppose -4*c = -j - 7, -v*c + 5*c - 5*j = 18. Let w(g) = 28*g**3 + g - 1. Does 11 divide w(c)?
False
Let b(s) = 4*s**2 - 2*s - 1. Is 5 a factor of b(-2)?
False
Let a(j) = 15*j**2 - 2*j + 2. Let r(x) = -x + 12. Let k be r(11). Is 8 a factor of a(k)?
False
Let m be 1*-8*(-27)/12. Does 18 divide 4/m*3*72?
False
Suppose 3*t = 63 + 9. Is t a multiple of 4?
True
Let l be (-12*20/(-8))/(-1). Let s = -16 - l. Is 7 a factor of s?
True
Suppose -23*f + 78 = -20*f. Let w = f - 14. Is 12 a factor of w?
True
Suppose 5*z = -p - 25, -4*z - 18 = -4*p + 2. Let s be (z/3)/((-2)/6). Suppose 4*o = s*t + 55, o + o - 55 = -3*t. Does 8 divide o?
False
Is 2 + ((-9)/(-1) - -1) a multiple of 5?
False
Suppose -3*j + j = 4. Let w(c) = c**2 - c - 2. Let d be w(2). Is (-46)/j - (d - -1) a multiple of 11?
True
Suppose -3*l + 6*l = 72. Is l a multiple of 9?
False
Suppose a - 4*i - 4 = 0, 3*i = 4*a - 3*a - 4. Does 4 divide a?
True
Let c(w) = 3*w**3 + 3*w**2 + 3*w. Let m = -4 + 1. Let a be c(m). Let n = 103 + a. Is n a multiple of 16?
False
Suppose 0 = -4*x - 0 - 4. Is 9 a factor of 15 - (-1 + x - -2)?
False
Let h be 3 - ((-1)/1 + 2). Let u be 7 + 2 + 1 + -3. Suppose -u*s = -h*s - 170. Is 17 a factor of s?
True
Let d(o) = o**3 - 5*o**2 - 5*o - 3. Let w be d(6). Let p = 22 + -6. Suppose 0 = g - w*g + p. Is g a multiple of 4?
True
Let j(t) = t**2 + 4*t + 20. Is 9 a factor of j(-8)?
False
Let x = -4 + 7. Let h(i) = 6*i**2 + 3*i - 2. Does 27 divide h(x)?
False
Suppose 0*t = -3*n - 3*t + 213, 69 = n + 2*t. Does 15 divide n?
False
Suppose -4*x + 5*i + 36 = 0, 4*x + 3*i + 4 = -2*i. Suppose -4*u + 4 + x = 0. Is 2 a factor of u?
True
Let d(w) = 2*w + 52. Is 8 a factor of d(-22)?
True
Let s = -42 + 103. Suppose 3*a + 4 - s = 0. Does 6 divide a?
False
Let o(s) be the first derivative of s**4/12 - 2*s**3/3 - s**2 + 2*s - 1. Let x(a) be the first derivative of o(a). Does 7 divide x(6)?
False
Suppose -l + 77 + 4 = 0. Let z = l + -56. Does 12 divide z?
False
Let b(t) = -t**2 - 4*t + 2. Let h be b(-6). Does 13 divide 32 - (h/(-2) + -1)?
False
Let k(t) = -t**3 - 7*t**2 + 2. Let u be k(-7). Suppose -108 = -3*o - u*r, -3*o - 5*r = o - 144. Is o a multiple of 18?
True
Does 13 divide (-862)/(-22) + (-2)/11?
True
Suppose 7*w - 211 + 36 = 0. Is 10 a factor of w?
False
Suppose 2*w = 2*p + 60, -5*w + 65 = 5*p - 55. Is 9 a factor of w?
True
Let k = -5 - -2. Let w be (-4)/6 - 4/(-6). Does 11 divide 3/(k - w) + 19?
False
Suppose -4*t + 7*t + 12 = 0, t - 402 = -2*d. Does 18 divide d?
False
Let s be (-18)/8 - 1/(-4). Let w be 1 + 2 + 2 + s. Suppose w*c - 122 = d + 4*d, 4*d + 124 = 3*c. Is 22 a factor of c?
True
Is ((-3)/(-6))/((-1)/(-100)) a multiple of 5?
True
Let d be (-9)/36 + (-98)/(-8). Is 9 a factor of d + 3 + (-3 - -2)?
False
Let u(w) = -7*w + 6. Let c be 37/7 + 6/(-21). Suppose -d - c*g + g = 2, 3*g - 3 = 0. Is 17 a factor of u(d)?
False
Let c be (12/(-9))/(2/(-33)). Let m be (-64)/11 + (-4)/c. Let l = 6 - m. Is 5 a factor of l?
False
Suppose 5*g - 1008 = -3*g. Is g a multiple of 14?
True
Let p(h) = -2*h**3 - 4*h**2 - 3*h - 2. Let a be p(-2). Suppose -i + 2*d = -11, -2*d - 74 = -0*i - a*i. Suppose -55 = -4*l + i. Is l a multiple of 19?
True
Suppose 0*v + 2*v - 2*t = 222, 0 = -v + 5*t + 95. Does 36 divide v?
False
Let n = 506 - 360. Suppose 0*t - m = -4*t - n, 2*t - 5*m = -82. Let y = t - -56. Is 10 a factor of y?
True
Suppose 4*a - 151 = 125. Is 31 a factor of a?
False
Let b = 126 + -90. Let o = b - 3. Does 11 divide o?
True
Let d(g) = g**3 + 3*g**2 - 2. Suppose 5*n = -11 - 4. Let w be d(n). Is -1 - (-29 - (-4)/w) a multiple of 16?
False
Let f(o) = -o + 23. Let g = 0 + 2. Suppose 2 = -4*h - 5*k + 3*k, 5*k + 5 = g*h. Is 11 a factor of f(h)?
False
Suppose c = v, 2*c - c - 8 = -v. Suppose 2*g + 5*b + 4 - 10 = 0, -v*b + 6 = 2*g. Let x(f) = 2*f**3 - 3*f**2 - 2*f + 3. Is x(g) a multiple of 10?
False
Let y be (-2 + -1)/((-1)/10). Let h be -1 - -43 - (4 - 2). Is h/6*y/25 a multiple of 7?
False
Let z(l) = 3*l**2 + 9*l - 8. Let v be z(-7). Let n = 29 + v. Suppose 0 = r - 2*p - 21, 0*r + 2*p - n = -5*r. Is r a multiple of 7?
True
Let k be (15/6)/((-4)/(-8)). Suppose r - 19 = y, k*r + 2*y + 20 = 6*r. Is 9 a factor of r?
True
Is 10 a factor of 10 + 6 + 8/(-2)?
False
Suppose 2*p = -2*p - 128. Let w = p - -79. Let g = -23 + w. Is 17 a factor of g?
False
Suppose -2*z = -0*z - 220. Does 11 divide z?
True
Suppose -2*k + 5*v + 35 = 0, -3*k + 40 = -0*k - 5*v. Suppose -2*g + k = -g. Suppose -g*q + 148 = 18. Does 13 divide q?
True
Let p = 8 - 3. Suppose -2*t - 86 = -p*m, -6*m - 5*t + 100 = -m. Is m a multiple of 16?
False
Let w(a) = a**3 - 6*a**2 + 3*a - 4. Let s(f) = -f**2 - 7*f - 6. Let h be s(-4). Let q be w(h). Is (-1 - q)*4/(-6) a multiple of 10?
True
Let h be -2 - (-1 - (34 + -1)). Suppose 2*q + h = 4*q. Is q a multiple of 7?
False
Let t(v) = -v**2 - v + 12. Is 3 a factor of t(0)?
True
Let a(o) = -8*o + 4. Does 8 divide a(-3)?
False
Let h = -23 - -52. Is 4 a factor of h?
False
Is (-62)/4*-2 - 3 a multiple of 15?
False
Suppose -s - 4*s = 5*p - 470, -8 = 2*p. Is s a multiple of 15?
False
Suppose -28 - 8 = 2*x. Let s = -10 - x. Is s a multiple of 8?
True
Let t be (2/(-4))/((-2)/(-16)). Let s = 17 + t. Is s a multiple of 7?
False
Let h = 8 - 10. Let q be (-2)/(h - (2 - 2)). Does 15 divide q + -3 + 2 - -30?
True
Let m(s) = s - 5. Let a be m(5). Suppose -4*x + 17 + 7 = a. Suppose -x = -v + 2. Is 7 a factor of v?
False
Let h(a) = -a**3 + 4*a**2 - 2*a + 1. Let g = 0 - -6. Let x be h(g). Let s = x - -134. Is 18 a factor of s?
False
Suppose 5*j - 28 = -2*a, 3*a - 5*j - 19 = -j. Is a + (2 - (0 - -3)) a multiple of 4?
True
Suppose -7*s + 80 = -3*s. Suppose 20 = r - 3*h, -3*h = -2*r + s + 26. Is r a multiple of 13?
True
Suppose -1 = l - 27. Let g = l + -7. Is 15 a factor of g?
False
Does 58 divide (-3381)/(-14) + (-2)/(-4)?
False
Suppose 2 = -3*d + 110. Does 21 divide d?
False
Let v(l) = l**3 + 8*l**2 - l - 6. Let o be v(-8). Let t(b) = -b**2 - 8*b - 1. Let y(c) = -c**3 + c**2 + 7*c. Let p(z) = -3*t(z) - 4*y(z). Does 20 divide p(o)?
False
Let x(i) = 7*i**2 - i - 6. Let a(y) = 8*y**2 - 7. Let f(q) = -6*a(q) + 7*x(q). Is f(-5) a multiple of 20?
True
Let u be 75/2 + 2/4. Let j be u/2 + -1 - 0. Suppose -j + 2 = -2*o. Is o a multiple of 5