alse
Suppose -h + 34 = 2*z, -3*h - 5*z + 3*z + 82 = 0. Is 12 a factor of h?
True
Let g = -6 - -20. Is 14 a factor of g?
True
Let m be (3 + -12)*(-4)/(-3). Does 4 divide 3/(-4) - 129/m?
False
Let z be 3 + (18/3)/3. Let n(w) = -w - 4. Let i be n(-4). Suppose i = z*a - 64 + 4. Is 12 a factor of a?
True
Let d be (-1 - -111) + 3 + -3. Suppose 0*n = 2*y - n - d, -2*n = y - 60. Does 14 divide y?
True
Let u = 3 + -7. Let n be (18/u)/(2/(-60)). Let v = n + -86. Is 18 a factor of v?
False
Let x(u) = -u**3 + 3*u**2 + u - 3. Let w(t) = -3*t**2 - t + 2. Let z(v) = 3*w(v) + 2*x(v). Is z(-3) a multiple of 13?
False
Is 20 a factor of 60/(4/((-16)/(-3)))?
True
Does 4 divide (-2)/(-3) + (-220)/(-30)?
True
Suppose -5*v = 177 + 133. Let n be v + 1 + (-4)/(-2). Let b = -14 - n. Is 13 a factor of b?
False
Let r(y) be the third derivative of y**5/12 - y**3/6 - 3*y**2. Let l be r(-1). Suppose -130 = l*i - 9*i. Is i a multiple of 13?
True
Suppose 0 = -362*p + 363*p - 39. Does 12 divide p?
False
Let t(z) = 25*z**2 - 5*z - 2. Is 12 a factor of t(-2)?
True
Let r(q) = q**2 - 13*q - 64. Is r(-6) even?
True
Let a(j) = j - 12. Let m be a(0). Does 11 divide 101/3 + 8/m?
True
Let q(y) = 33*y**2 - y. Suppose 3*k - 9 = 3*n, 2*n + 4 + 3 = 3*k. Is q(k) a multiple of 16?
True
Suppose 0 = -4*x + 20, 5*x = 3*b + 10 + 6. Suppose 0*y - 60 = -b*y. Is y a multiple of 10?
True
Suppose -2*h + 88 = -6*h. Let b = h - 0. Is 11 a factor of (b/8)/(4/(-32))?
True
Suppose 0 = t - 41 - 1. Suppose -5*a = j - 2*j - 243, a + 2*j = t. Suppose 2*n - a = -n. Is 16 a factor of n?
True
Let b be (-2 + 5 - 3)*1. Suppose p - 4*p + 2*s + 71 = b, s = -4*p + 113. Suppose -3*r + 11 = -5*q, -5*r + p = -5*q + q. Is 3 a factor of r?
False
Suppose -5*r = 0, l - 31 = 3*r + 9. Does 21 divide ((-81)/(-18))/(6/l)?
False
Let c = -25 + 32. Is 7 a factor of c?
True
Suppose -49 + 309 = 5*h. Suppose -b - h = -3*b. Is b a multiple of 7?
False
Suppose -6*q = -3*a - q + 27, -15 = 5*q. Suppose 0 = a*y - 84 - 56. Suppose 2*d = -0*d + 3*v + y, 4*v - 4 = 0. Does 13 divide d?
False
Let y(m) = 16*m**2 - m. Is 12 a factor of y(-1)?
False
Suppose -6*i + 14*i = 552. Does 15 divide i?
False
Let n = -14 - -13. Is (n/(-4))/(9/180) even?
False
Let c(z) = z**2 - 2*z + 152. Does 19 divide c(0)?
True
Suppose -316 = -3*a - 88. Is a a multiple of 19?
True
Let i(s) = 6*s + 44. Does 23 divide i(16)?
False
Let p be 2/((-44)/(-16) - 3). Let v = p - -25. Is v a multiple of 4?
False
Let r = -2 - -12. Is 5 a factor of r?
True
Let m = -8 - -3. Let f = 45 + m. Does 24 divide f?
False
Is ((-406)/3)/((-152)/(-24) + -7) a multiple of 29?
True
Let m(q) = 0*q**3 - 4*q**3 + 2 - q**3 + 6*q**2 + 4*q**3. Is 9 a factor of m(5)?
True
Let f(n) = 56*n**2 + 14*n + 1. Let q(l) = -37*l**2 - 9*l - 1. Let a(v) = -5*f(v) - 8*q(v). Let c be a(-2). Is (-2)/((-7)/(c/6)) even?
False
Let n(f) = -f**3 - 17*f**2 + 13*f - 35. Is 11 a factor of n(-18)?
True
Let g = -5 - -13. Is g a multiple of 4?
True
Let y = -27 - -43. Suppose -2*q - 3*u = 2*u - 29, -q - 4*u + y = 0. Is q a multiple of 3?
True
Suppose -b + 0 + 2 = 0. Let l be (6/15)/(b/20). Let k(c) = 3*c + 1. Is k(l) a multiple of 6?
False
Let m = 30 - -28. Is 7 a factor of m?
False
Suppose -5*b + 2*z = -1664, 5*b - 6*z - 1658 = -2*z. Is b a multiple of 48?
False
Let x(f) = -f**3 + 2*f + 416. Is 13 a factor of x(0)?
True
Suppose -3*u - 5145 = -1635. Is 14 a factor of u/(-21) - 6/(-21)?
True
Let g(m) = -m**2 + m + 2. Let a be g(0). Is a/5 - 43/(-5) a multiple of 6?
False
Let a(c) = 4*c**2 + 1. Let w be a(-1). Suppose -5*k = 3*z - 0*z - 80, -z - w = 0. Does 5 divide k?
False
Let l be (3/(-9))/(1/(-6)). Is 16 a factor of (-294)/(-9) - l/3?
True
Suppose -2*g + 3 = 3*a, -a - a = 4*g - 26. Is g a multiple of 9?
True
Suppose -2*f + 120 = -2*s, 148 = 3*f + 4*s + s. Let p be (3/3 - 1) + f. Suppose 5*b = -11 + p. Is 4 a factor of b?
False
Let t be 3/2*420/18. Suppose i = 4*m + 2, -5*m + t + 5 = 3*i. Does 5 divide i?
True
Let w(u) = -29*u. Is 29 a factor of w(-1)?
True
Suppose 0*a - 20 = -5*a. Let g = 18 - a. Let i = g - -4. Is i a multiple of 12?
False
Let f be 10/4 + 2/(-4). Suppose 4*t - 112 = 4*u, -t + f*u = -0*t - 30. Is 13 a factor of t?
True
Let u(v) = -12*v**3 + v + 1. Let j be (2/6)/((-2)/6). Does 12 divide u(j)?
True
Let n(a) = 3. Let m(v) = 2*v - 9. Let q(r) = 3*m(r) + 6*n(r). Let f(p) = -2*p + 3. Let x(h) = -8*f(h) - 3*q(h). Is 11 a factor of x(-4)?
True
Let j(z) = z**2 - 6*z - 1. Let s be j(6). Let l = 19 + s. Is l a multiple of 8?
False
Suppose d - 4*i + 75 = 4*d, 5*d = -2*i + 125. Let q be -5 - -4 - -4 - (18 + -1). Let h = d + q. Is 4 a factor of h?
False
Let j = -24 - -40. Suppose 7*a + j = 3*a. Let m(x) = -x**2 - 4*x + 4. Is 4 a factor of m(a)?
True
Let g(c) = c**2 + 11*c + 3. Let s be g(-11). Suppose -2*x = s*x - 25. Is x a multiple of 5?
True
Is 16 a factor of (4/(-3) - 0)/((-3)/108)?
True
Let k(c) = -2*c + 0*c**2 + 3 - c**2 + 3*c**2. Let o = 6 + -3. Does 15 divide k(o)?
True
Let a(n) = n**2 - 4*n - 12. Does 20 divide a(10)?
False
Suppose -104 = -3*p + 106. Is p a multiple of 8?
False
Suppose -46*n + 55*n = 3213. Is 51 a factor of n?
True
Suppose 3*b - 35 - 18 = -s, -5*b + s = -75. Is 8 a factor of b?
True
Is 11 a factor of 12715/105 + (-6)/63?
True
Suppose 5*f = v - 0*v + 117, -51 = -2*f - v. Does 11 divide 2/(-1 + f/22)?
True
Does 14 divide 85 - (2 + -2 - 3)?
False
Let t = -21 - -55. Let a = t + -14. Is 18 a factor of a?
False
Suppose 0*q = -q + 3. Suppose -2*o - 4*f + 10 = o, -9 = -q*o - 3*f. Is 8 a factor of (-6)/2 + 9 + o?
True
Suppose 0 = 3*o - 3*p - 114, 0*p - 2*p = 4. Is 12 a factor of o?
True
Let u(l) = -9*l - 8. Let s = -16 - -10. Does 16 divide u(s)?
False
Suppose o - 5*p - 18 = -2*p, 3*p = -2*o - 9. Suppose f - 18 = -o. Is f a multiple of 11?
False
Let w be (0 + 2)*6/4. Is (15/2)/(w/4) a multiple of 8?
False
Is 30/(69/60 + -1) a multiple of 11?
False
Suppose -2*m = -28 - 68. Is m a multiple of 7?
False
Let x be 10*2*(-4)/(-10). Suppose 5*s - x*s + 15 = 0. Is s a multiple of 3?
False
Let r = 103 + -36. Is r a multiple of 10?
False
Let v be 47 - ((-7)/(-7))/(2/(-4)). Suppose 2*g - 3*p = -6*p - 3, -g + 4 = -4*p. Suppose g = -4*q + 157 - v. Is 12 a factor of q?
False
Suppose -5*t - 20 = 0, -2*k + 4*t + 2 + 10 = 0. Is -3*(k - -3) + 21 a multiple of 6?
True
Let k(z) = -7*z**2 + 5*z - 1. Let v(t) = 8*t**2 - 6*t + 2. Let l(s) = -3*k(s) - 2*v(s). Is 10 a factor of l(3)?
False
Is 5 a factor of (-2)/7 + 848/28 + 3?
False
Let d(h) = 2*h**2 - 3*h - 6. Is 7 a factor of d(4)?
True
Let a = -3 - -7. Is 3 a factor of a?
False
Suppose 0 = -f - 4*l + 88, -3*f + 189 = -3*l - 0*l. Is f a multiple of 4?
True
Suppose h = -0*h + 4. Suppose -h*z = -305 + 21. Is z a multiple of 16?
False
Let d = 54 - 28. Does 13 divide d?
True
Is (2 + -1)*106 + -1 a multiple of 21?
True
Suppose 0 = h - 15 - 5. Let m be (2/4)/(5/h). Is 5 - (-2)/4*m a multiple of 3?
True
Let i(w) = 2*w**2 + 8*w + 4. Let g be (3 - 3 - 2)*3. Is i(g) a multiple of 14?
True
Does 18 divide (-1075)/(-30) - (-1)/6?
True
Let y = 32 + -16. Does 2 divide y?
True
Suppose -5*a + 2*f + 22 = 0, -5*a + 19 = -f - 7. Suppose a = 4*z - 66. Is 9 a factor of z?
True
Is 207/(-6)*12/(-9) a multiple of 23?
True
Let o(j) = 2*j**2 - 4*j - 3. Let m be o(-2). Suppose m = 5*r - 2. Is 13 a factor of 0 - -24 - (r + -2)?
False
Let l be (-296)/(-4)*2/1. Let t = 321 - l. Suppose -r - 4*p + 188 = 3*r, -3*r + t = -5*p. Does 18 divide r?
False
Let t = -4 - -6. Suppose 2*m = -5*d + 24, -10 = -3*m - d - 0*d. Is m - (0 + (t - 4)) a multiple of 4?
True
Let t be (105/(-6))/((-2)/(-4)). Does 19 divide 6/3 - (t - 1)?
True
Is (100/6)/((-6)/(-9)) a multiple of 4?
False
Let x = -89 + 131. Is 7 a factor of x?
True
Suppose -2*h - 6 = 2*h - u, -2*u - 2 = -h. Is 12 a factor of 1/h - (-25)/2?
True
Let i be ((-2)/(-4))/((-1)/(-2)). Let w = i + 10. Is 2 a factor of w?
False
Is (-1 - (-2 + 2))*-33 a multiple of 16?
False
Let a(y) = -2*y**3 - 10*y**2 - 3*y. Let u(n) = 5*n**3 + 29*n**2 + 9*n + 1. Let v(h) = 8*a(h) + 3*u(h). Is v(7) a multiple of 12?
True
Let c = -9 - -9. Suppose -b - 3 + 9 = c. Suppose -b*i + 11*i = 130. Is 10 a factor of i?
False
Let u(p) = 6*p**2 + 10 + p - 2*p**2 - 7*p. Does 14 divide u(4)?
False
Let n(z) = z**3 + 12*z**2 - z - 8. Let o be n(-12). Suppose 2*q - 3*t - 195 = 0, -o*t - 224 = -2*q - 28. Is