0 a factor of a?
False
Suppose 8*h - 460 = 3*h + 3*y, -2*h + 3*y + 175 = 0. Is 5 a factor of h?
True
Suppose -4*t + 27 = -37. Is 16 a factor of t?
True
Suppose 3*c = -4*t - 42, 3*t = c - t - 2. Let b be (-5)/(c/6) - -7. Suppose h = -1 + b. Is h a multiple of 9?
True
Let g be (-3)/9 + 14/(-3). Let r(m) = 2*m**2 - 2*m - 9. Is r(g) a multiple of 18?
False
Let n(w) = w**3 + 6*w**2 - 7*w. Let d be n(-6). Suppose 0 = -k - 0*k + d. Suppose k = l + 9. Does 12 divide l?
False
Let j be 1 - ((-1)/1 - -3). Let w be j*(3 + -2) - -3. Suppose -w*h - 7 = -17. Is h even?
False
Suppose 3*n + 0*n - 3 = 0. Let g be (40/12)/(n/(-3)). Is 10 a factor of (-3 - 6)/(3/g)?
True
Let r(g) = -g**3 + g**2 - g + 2. Let p be r(0). Let z be (p - (2 - 1))/1. Let c = 21 - z. Does 13 divide c?
False
Let f be (-32)/(-14) + 2/(-7). Let u = f + 2. Is 21 a factor of -2 - (-2)/(u/118)?
False
Let u be 6/7*(8 - 1). Let i be ((-3)/u)/(3/(-36)). Suppose -4*a - i = -26. Is 5 a factor of a?
True
Suppose -12 + 3 = -g. Does 26 divide ((-88)/6)/((-3)/g)?
False
Let u(r) = -13*r**2 + 4*r - 1. Let s(j) = 25*j**2 - 7*j + 1. Let a(n) = 3*s(n) + 5*u(n). Is a(-1) a multiple of 9?
True
Suppose 0 = -3*s + s + 38. Is s + (-5)/(20/(-12)) a multiple of 7?
False
Suppose 0 = -i + 2 - 1. Let s = -1 + i. Suppose 5*g + 2*w - 68 = s, -3*g + 2*w - w = -32. Does 12 divide g?
True
Suppose 5*m - 5*i = 445, 0 = -4*m + 3*m + 2*i + 92. Does 12 divide m?
False
Suppose 0 = 5*a - 2199 - 151. Suppose -104 + a = 2*x. Suppose -25 = -v - m, -5*v - 2*m - 55 = -x. Is v a multiple of 13?
True
Suppose -3*o - 84 = -4*a, o = -5*a - 2*o + 132. Is 4 a factor of a?
True
Suppose 100 = 2*h + 5*o, -3*o = 5*h - 0*o - 212. Does 10 divide h?
True
Let k(h) = -h**2 - h + 229. Does 29 divide k(0)?
False
Let j be (-40)/(-15)*30/8. Suppose 0 = 4*q - 122 + j. Is 28 a factor of q?
True
Let u(g) = 2*g - 6. Let i be u(5). Let p be 4*2/i + 118. Suppose 5*a - 2*y = 2*y + p, -2*a = y - 61. Is a a multiple of 13?
False
Suppose 3*a - 10 + 1 = 0. Suppose 19 = w + 2*h, 2*w - 36 = -0*w - a*h. Does 5 divide w?
True
Suppose 0 = 4*y - 680. Is y a multiple of 17?
True
Suppose 0 = -4*j - 16, 9*i - 3*j - 632 = 4*i. Does 10 divide i?
False
Let x be (18/(-27))/(4/(-90)). Suppose -x = -3*s + 2*s. Is s a multiple of 5?
True
Let b = 7 + 173. Suppose -4*l = -0*l - b. Is 17 a factor of l?
False
Let p(s) = -s**2 + 3. Let v be (2/(-3))/(2/3). Let k(u) = -1. Let b(x) = v*p(x) - 6*k(x). Is b(-3) a multiple of 12?
True
Let b(s) = s**3 + 7*s**2 - 9*s - 6. Let c be ((-24)/9)/((-2)/6). Suppose 0 = -m - 0*m - c. Is 2 a factor of b(m)?
True
Let g(j) = 6*j**3 + j. Let r be g(-1). Is (r + 2)/(7/(-133)) a multiple of 21?
False
Let x(d) = d**3 + 11*d**2 + 6. Let c be x(-11). Let n = c - 3. Is n even?
False
Let w be -3 + (-2 + 3)*1. Does 2 divide (2/(-6))/(w/12)?
True
Let f = 12 - 10. Let w(s) = 3*s**3 - s**2 + 2*s. Is w(f) a multiple of 6?
True
Suppose -4*n - 57 = -4*c - c, 6 = -2*n. Let q = 6 - c. Does 11 divide -3*2/q - -15?
False
Let r(h) = -h**3 - 5*h**2 + 5*h - 3. Let p be r(-6). Suppose -6 - 3 = -p*y. Suppose 0 = -y*x - z + 88, 0*z = -z - 2. Does 14 divide x?
False
Suppose 0 = 3*d - 2*d - 15. Does 5 divide d?
True
Let q(j) = -j**2 - 4*j - 2. Suppose 5*o = o - 20. Let k be q(o). Let z(w) = -w**3 - 7*w**2 + 3. Is z(k) a multiple of 3?
True
Suppose -5 = 4*c - 3*c, -15 = 5*g + c. Let t = 13 - g. Does 15 divide t?
True
Let x(q) = 11*q - 12. Suppose -4*l = -9*l + 50. Is 25 a factor of x(l)?
False
Let j(x) = -35*x + 1. Let t be j(-1). Is t*6/(-9)*-2 a multiple of 28?
False
Suppose 0 = 2*y + 2, 0 = 5*w - 3*y - 8 + 40. Let k = w - -12. Suppose 3*l - 5*p - 31 = -l, 0 = -3*l - k*p + 67. Is 7 a factor of l?
True
Suppose 8*a = 438 + 1634. Does 32 divide a?
False
Let o(u) = -u**2 + 4*u + 5. Let c be o(4). Let m(h) = -h**3 + 4*h**2 + 6*h + 1. Is 6 a factor of m(c)?
True
Suppose 43 = f + 4*j, 3*j + 2*j = -5*f + 185. Suppose z + f = 6*z. Is z a multiple of 7?
True
Let q = -7 + 24. Suppose 5*h + 2 = q. Is h even?
False
Suppose d - 4 = -1. Suppose -d*h = -5*h. Suppose h*l = -l + 8. Is l a multiple of 4?
True
Suppose 3*g - 12 = 0, -3*g - 3 + 15 = 4*c. Let t(l) = l - 5. Let v be t(7). Suppose c = -v*i + 15 + 15. Is i a multiple of 7?
False
Let h = 0 + -1. Let a be -2 - (h + -1)/1. Suppose 5*j + 3*v - 36 = -a*v, 2*v = -3*j + 22. Is j a multiple of 3?
True
Let h be (-2)/(0 + (-2)/(-6)). Let t = h + 9. Suppose -5*v + 53 = -t*c, 4*c - 4 = 8*c. Does 5 divide v?
True
Suppose -5*x - 18 = 12. Is (-76)/(-8) - 3/x a multiple of 10?
True
Let i = 168 + -78. Is i a multiple of 46?
False
Let n(m) = m**2 + 7*m + 7. Let a be n(-6). Let b(h) = 59*h**2 - 1. Does 18 divide b(a)?
False
Let c = 59 + -23. Suppose -92 = -4*q + c. Does 16 divide q?
True
Suppose 0*t + 2*t + 2*p - 144 = 0, -2*t + 132 = -4*p. Suppose t = 4*u + 10. Is u a multiple of 15?
True
Let r be ((-3)/6)/((-1)/2). Suppose r = 3*j - 92. Is 18 a factor of j?
False
Suppose 0 = -10*s + 99 + 31. Is 6 a factor of s?
False
Let l = 79 + 11. Is 10 a factor of l?
True
Suppose 2*v = -3*w - 195, -5*w + 3*v = -2*v + 350. Let r = -116 + 217. Let d = w + r. Does 11 divide d?
False
Let u(z) be the first derivative of -13*z**2 + 2*z + 1. Let s be u(3). Let g = s - -108. Is 11 a factor of g?
False
Suppose a = -2*l + 2*a + 147, 4*a = -5*l + 361. Is 26 a factor of l?
False
Let d(b) = -b**3 - 5*b**2 - 5*b - 4. Let y be d(-4). Let o(x) = 2*x - 8. Let n be o(6). Suppose -u + n + y = 0. Is u a multiple of 3?
False
Let c(u) = 6*u - 3. Let b(y) = 7*y - 4. Let v(s) = -4*b(s) + 5*c(s). Is 7 a factor of v(9)?
False
Let g be (-37)/(-13) + (-2)/(-13). Let m(i) = 8*i - 4. Is m(g) a multiple of 20?
True
Is (-377)/(-4) + (-33)/(-44) a multiple of 24?
False
Let d(m) = m**3 - 3*m**2 + 2*m - 1. Suppose p = 1 + 1. Let w be d(p). Does 14 divide -2 + w*2 + 18?
True
Let m(u) = 5*u. Let q be m(3). Let p = -19 - q. Is 17 a factor of -3 - (2 + -5) - p?
True
Suppose 3*x - 60 = -5*s, -2*s + 0*x = 5*x - 24. Is 6 a factor of s?
True
Suppose 0 = 2*c - 5*a + a - 56, 3*c - 4*a = 92. Is c a multiple of 4?
True
Suppose 2*s + 7 = -5*h, -3 = -h + 3*s + s. Let o(z) = 1 + z**2 + 4*z**2 + 5*z**2. Is 11 a factor of o(h)?
True
Let j(k) = 40*k**3. Does 16 divide j(1)?
False
Suppose q + 138 = 2*g, 4*g - 213 = q + 65. Is g a multiple of 19?
False
Suppose -w + 3*w = 264. Is w a multiple of 44?
True
Let n(l) = 2*l**2 - 3*l - 6. Does 25 divide n(7)?
False
Suppose -8*v + 185 = -3*v - 2*n, 0 = 5*n. Let r = v - 6. Is 11 a factor of r?
False
Let y(s) = -2*s**3 - 7*s**2 + 5. Let b be y(-6). Suppose 0 = 2*v - 2, -6*v + b = 4*u - v. Does 15 divide u?
True
Suppose g + 3*g = -4*o + 492, 3*o - 121 = -g. Does 11 divide g?
False
Let t = 6 + -4. Let j = 5 - t. Suppose j*n - n = 20. Is 10 a factor of n?
True
Let f(a) = -a**3 - 2. Suppose -13 = -4*l + 7. Suppose 0 = l*g + 8 + 7. Is 10 a factor of f(g)?
False
Suppose 0 = 4*u + k - 9 + 2, -4*k = 20. Suppose 16 = u*h - 2. Is 6 a factor of h?
True
Suppose 4*c = -8*y + 4*y - 32, 5*c = -4*y - 38. Let l be (-34)/(-3*2/c). Let w = 52 + l. Is 18 a factor of w?
True
Let d = 79 + -46. Is d a multiple of 11?
True
Let q(v) = -v**2 + 5*v + 7. Let c be q(6). Let p = -2 + c. Let j = 4 - p. Does 5 divide j?
True
Let q(g) = -g**3 - 4*g**2 + 7*g + 6. Let j be q(-6). Let x = j + -16. Is x a multiple of 20?
True
Let d = 5 + -5. Suppose -4*s = -d*s. Suppose s = 3*v - 9. Is v even?
False
Let q(y) = -7*y + 3. Let a(w) = w. Let r(g) = -6*a(g) - q(g). Let x be r(5). Suppose x*d = -3*d + 25. Does 5 divide d?
True
Let p(i) = -i**3 + 5*i**2 - 6*i + 2. Let f be p(4). Let m = f + 9. Is 4 a factor of -1 + (-3)/m + 6?
True
Suppose -r - 10 = -3*r. Suppose r - 13 = -2*d. Is d even?
True
Let w = 24 - 19. Let d(n) = 4*n - 10. Is d(w) even?
True
Let l(i) be the third derivative of -i**6/360 + i**4/3 - i**3/6 - 2*i**2. Let q(j) be the first derivative of l(j). Does 5 divide q(0)?
False
Suppose 0 = 4*s + 5*j + 2 - 14, 16 = 4*j. Is 80/4 + (s - -4) a multiple of 22?
True
Suppose b + 2 = 2*b. Suppose -u + 0 = -b. Suppose -3*a + 46 = -z, a + 20 = 3*a + u*z. Does 7 divide a?
True
Let a(h) = -h**2 + 19*h + 15. Is 5 a factor of a(19)?
True
Let r = -83 - -136. Is r even?
False
Let d = 105 + -72. Let m be (-4)/(-10) + 26/10. Suppose -2*h - 4*r = -30, h - m*r + d = 3*h. Is h a multiple of 7?
True
Let b = 43 + -15. Is b a mult