 Let f be u(7). Let r be ((-4)/f)/((-12)/(-126)). Suppose -2 - r = -2*d. Does 8 divide d?
True
Let s(u) = 4 + u**3 + 9*u + u**2 - 14 - 8*u**2 - u**2. Is 4 a factor of s(7)?
True
Let p = -217 - -407. Does 10 divide p?
True
Let z(b) = -9*b - 4. Let g be z(-4). Let x be g/6*9/(-6). Let d = x - -46. Is d a multiple of 16?
False
Let k = -25 + 41. Is k a multiple of 8?
True
Let g(u) = u**2 + 7 + u - 9*u + 0*u**2 + 1. Does 8 divide g(8)?
True
Let b = -23 + 37. Let q = -4 + b. Does 10 divide q?
True
Let l = 502 + -339. Is 18 a factor of l?
False
Suppose -484 = -q - 3*q. Does 11 divide q?
True
Is (-399)/(-5) - 1/(-5) a multiple of 16?
True
Let p(q) = -2 - q**3 + 0 + 5*q - 4 + 4*q**2 + 0*q. Let v = -7 + 11. Is 14 a factor of p(v)?
True
Suppose 0 = -d + 5*d - 16. Suppose 0 = g - 13 - d. Is g a multiple of 7?
False
Is 58 - 10 - (4 - 0) a multiple of 44?
True
Suppose 5*p + 26 + 24 = 0. Is (0 - -2)*(-125)/p a multiple of 5?
True
Let a(k) = -k**3 + 1. Let i be a(-1). Let t = 18 - i. Is t a multiple of 8?
True
Let n(a) = a**3 - 6*a**2 + 5*a - 4. Let z be n(5). Let d be 4/(-2) - (z + 2). Suppose o - 3 = -d, 0 = -5*h - o + 78. Is 15 a factor of h?
True
Let s be 15/25 - 574/(-10). Suppose 0 = -p - o + 54, -3*o + o = p - s. Is 25 a factor of p?
True
Let u(p) = -p**2 + 14*p + 12. Is u(9) a multiple of 19?
True
Let g(a) = -a**3 + 11*a**2 + 14*a - 18. Let r be g(12). Let j = -5 + r. Is 25*1 + (-1)/j a multiple of 8?
True
Suppose -2*m = -0*m + 10. Let t(j) = 2*j**2 + j - 3. Let o be t(-3). Is 12 a factor of (o/5)/((-1)/m)?
True
Let b(d) = -6*d + 2. Let l be b(-7). Suppose 0*y - l = 4*y. Let g = 20 + y. Does 3 divide g?
True
Let v be ((-1)/3)/((-3)/45). Suppose -38 = v*z - 118. Is 8 a factor of z?
True
Let d(h) be the second derivative of -h**3/6 + 2*h. Let m(l) = 2*l + 10. Let k be m(-8). Is 6 a factor of d(k)?
True
Suppose 36*x = 37*x - 110. Does 11 divide x?
True
Suppose -y = -0*y. Suppose -18 = -c - 2*d, 0*c - c - 4*d + 12 = y. Does 10 divide c?
False
Let q(u) = 3*u**2 - 1. Let y be q(-1). Suppose -s - y*s = -6. Is 2 a factor of (10/s)/(1 + 0)?
False
Suppose 0 = -3*s + j - 4 + 1, j - 3 = -4*s. Suppose 0 = 5*w - s*w - 20. Let b = w + 6. Does 5 divide b?
True
Let y(c) = -c**2 - 10*c + 7. Is 3 a factor of y(-10)?
False
Suppose -283*c = -278*c - 245. Does 8 divide c?
False
Let r = -426 + 666. Suppose -r = -3*d - 2*d. Does 15 divide d?
False
Let n = 112 + -73. Does 8 divide n?
False
Let v = -122 + 147. Does 5 divide v?
True
Suppose -2*b - 142 + 34 = 0. Let z = -34 - b. Does 10 divide z?
True
Does 29 divide (9/(-15))/(1/(-145) + 0)?
True
Let p = -5 - -13. Suppose -p = -4*x - 0. Suppose -o - x*g = -20, 0 = -g + 6*g. Does 17 divide o?
False
Suppose 8 = -b + 3*b. Suppose 4*n + 0*o + b*o - 120 = 0, -n = -2*o - 21. Does 9 divide n?
True
Suppose -5*c + 27 = -0*c - 2*x, 22 = 4*c - 2*x. Suppose c*n - 17 = -0*a - a, n + 33 = 5*a. Suppose -a = -d + 3. Does 5 divide d?
True
Does 19 divide (-2)/4 + 715/10?
False
Suppose -4*x - 3 = 5*t, 0 = 2*x - t - 1 - 8. Suppose -x*q = q - 12. Suppose 0 = -v, -q*h - v + 62 = -h. Does 11 divide h?
False
Is 2 a factor of 67/4 - (-2)/8*1?
False
Let i be (-145)/(-4) - (-1)/(-4). Suppose -v - 4*d + 7 = 0, 2*d = -1 + 3. Suppose -v*z = -2*z - i. Is z a multiple of 18?
True
Is 23 a factor of 36 - (1/(-1))/(-1)?
False
Let i = 27 + -18. Suppose -3*a = -3*o - i, 2*a - 1 = 3*o - 6*o. Suppose a*d = -0 + 8. Is 2 a factor of d?
True
Let b be 19/(-2) - (-6)/(-12). Let s(d) = -14*d. Let g be s(1). Does 14 divide 16/b*245/g?
True
Let t(n) = n**3 - n**2 + n + 44. Does 9 divide t(0)?
False
Is 2 + -3 + (-6)/2 - -172 a multiple of 24?
True
Let l(x) = -x**3 - 8*x**2 - 8*x - 9. Let i be l(-7). Is 2 a factor of 1 + 0 - (-4 - i)?
False
Let n be 1/(-3) + (-92)/(-6). Does 9 divide n + (-2)/4*-6?
True
Suppose -88 = -2*v - 5*c - 37, -c = 2*v - 47. Does 12 divide v?
False
Suppose -216 = o - 4*o. Is 9 a factor of o?
True
Let f(x) = -x**3 + 5*x**2 + 9*x - 5. Does 2 divide f(6)?
False
Suppose 0*o - 54 = -2*o. Is o a multiple of 15?
False
Let q be (-45)/(-10)*(-8)/3. Let p = q - -15. Is p a multiple of 3?
True
Suppose 3*i - 10 - 2 = 0. Let n(m) = i + 3*m - 3 - 3 + m**2. Does 13 divide n(-7)?
True
Let w be 21/6 + (-1)/(-2). Is 7 a factor of (95 - -1)/3 - w?
True
Suppose 5*g = 15, 0 = -3*k + 2*g - 7*g + 459. Is k a multiple of 43?
False
Suppose -1520 = 7*m - 26*m. Does 7 divide m?
False
Suppose 4*b + 3 - 19 = 4*p, 5*p = -3*b - 20. Suppose -2*i + 3*c = -180, -5*i + c + b*c + 437 = 0. Is 29 a factor of i?
True
Suppose 0 = -3*g - 51 + 135. Is g a multiple of 5?
False
Let d be (-5)/4*(4 - 8). Suppose -2*a - 3*x = -x - 4, -d*x = 3*a + 4. Let m(t) = -t**3 + 6*t**2 + 10*t - 9. Is m(a) a multiple of 12?
True
Let m = 3 + 7. Is 5 a factor of m?
True
Suppose -4*x = -0*x - 2*b - 124, 5*x + b - 162 = 0. Does 32 divide x?
True
Let q(v) = -v**2 - 16*v + 26. Is q(-13) a multiple of 13?
True
Let n(c) = 2*c**2 - 4*c + 3. Let w be n(2). Suppose 0 = -4*g - 2*i + 150, -2*g = -4*g + w*i + 63. Does 18 divide g?
True
Let f be (44/(-55))/(2/35). Is 7/(f/(-66)) + 1 a multiple of 17?
True
Suppose -3*q + 10 = 2*q. Let x = q + -4. Is 7 a factor of (-20)/(-3) + x/(-6)?
True
Let d = 6 + 130. Let x be 16/56 - d/(-14). Is 15/(-3)*(-88)/x a multiple of 20?
False
Let q(a) be the second derivative of -1/12*a**4 + a**3 + 5/2*a**2 + 2*a + 0. Is 10 a factor of q(5)?
True
Suppose 2*q - 3*y = -3*q - 40, -4*y = -20. Let r(j) = -j**3 - 5*j**2 - j + 2. Is r(q) even?
False
Does 16 divide 19/(((-4)/(-8))/1)?
False
Let a be 8/3 - 1/(-3). Let f(b) = 2*b - 18. Let r be f(10). Suppose p = -5*n + 3*p + 118, r*n - 32 = -a*p. Is 13 a factor of n?
False
Suppose 10 = w - 29. Let m = -26 + w. Is 13 a factor of m?
True
Let f(n) = 13*n - 14. Let h(g) = -6*g + 7. Let i(v) = 4*f(v) + 9*h(v). Let l be i(6). Does 8 divide (-72)/l + 8/(-20)?
False
Let y(k) = 6*k + 20. Does 16 divide y(18)?
True
Suppose 2*x + 2*x = 420. Suppose 5*n - x = -3*j, 3*n + n = -2*j + 84. Is 7 a factor of n?
True
Let h = 3 + 37. Suppose -3*t + 7*t = h. Is t a multiple of 5?
True
Suppose -8 = 5*n + 3*v - v, 0 = -v + 1. Suppose -4*x - 3 = -x. Is 105/3 + n + x a multiple of 24?
False
Is 2 - -23 - (3 + -7) a multiple of 15?
False
Let h be (6/1)/(6/(-33)). Let v be 2/11 - (-39)/h. Let u(q) = -31*q + 1. Does 16 divide u(v)?
True
Let h(b) = -5*b**2 + b**3 + b**3 + 0*b**2 + 1. Does 17 divide h(4)?
False
Let y be 15/(-12) - 2/(-8). Let i be 0 - 2 - (y + 0). Does 14 divide i*1/(1/(-14))?
True
Suppose 0 = q - 3*n + 20, -8*q - 4*n = -3*q + 100. Let s = 16 - q. Is s a multiple of 11?
False
Let w be ((-9)/3 - -2)*0. Let o(k) be the third derivative of k**4/24 + 7*k**3/3 + k**2. Is o(w) a multiple of 14?
True
Let h(l) = -8*l - 6. Let n(z) = -41*z - 30. Let k(g) = 11*h(g) - 2*n(g). Is 10 a factor of k(-6)?
True
Suppose -3*x + 0*h = -3*h - 75, 0 = x + 4*h - 30. Is 3 a factor of x?
False
Suppose w = 4*w - 6. Suppose 0*h - w*h = -148. Is 30 a factor of h?
False
Let w(u) = u**2 - 1. Let i(s) = 2*s**2 - 7*s - 5. Let a(b) = -i(b) + 4*w(b). Let c = -26 + 21. Is a(c) a multiple of 8?
True
Suppose -3*g - 3 + 0 = 0. Is 6 a factor of -1*(g + -8 + -3)?
True
Suppose 85 = 5*n - 5*w, 3*w = -w - 20. Is (1 + 11)*8/n a multiple of 5?
False
Let c(j) = -j**2 + 6*j - 9. Let y be c(6). Let d(z) = -z**2 - z + 1. Let o(p) = p**2 - 6*p - 11. Let t(x) = -2*d(x) - o(x). Is 16 a factor of t(y)?
False
Does 5 divide 21/6*(4 + -2)?
False
Let t be (-8)/(-10)*(0 - -5). Let n = t - 2. Suppose -h = n*o - 17, 5*h = 2*o + 138 - 5. Is h a multiple of 10?
False
Let p be (28/(-5))/(2/10). Let f = -12 - p. Is 16 a factor of f?
True
Does 16 divide 18/63 + (-222)/(-7)?
True
Let g = -38 - -80. Is 14 a factor of g?
True
Let a = 192 + -72. Suppose -g + 6*g + a = 0. Does 12 divide (-5)/((-2)/g*-2)?
False
Let i = 108 + -63. Let p = i + -21. Does 16 divide p?
False
Let s(w) = -4*w**2 - 10*w - 5. Let n(r) = 9*r**2 + 21*r + 10. Let c(f) = 3*n(f) + 7*s(f). Is c(-5) a multiple of 3?
False
Let b(l) = l**3 - 8*l**2 + 8*l + 6. Suppose -41 = -5*m - 6. Is 6 a factor of b(m)?
False
Suppose -6*q + 2*q + 2*l = -1566, 5*q - 1941 = -3*l. Does 13 divide q?
True
Is 4 a factor of 12 - (-1 - 3)*1?
True
Let i = 93 - -17. Does 22 divide i?
True
Let n(o) = -o - 13. Let q be n(-18). Suppose 0 = m - 3*d - 13, 4*d = -q*m + 4 + 4. Does 2 divide m?
True
