ltiple of 13?
False
Suppose y + 420 = 5*y. Suppose 0*d = 5*d - y. Suppose 0 = -h - 2*c + 3, h + d = 3*h - c. Is 9 a factor of h?
True
Let h be ((-12)/(-15))/(2/(-5)). Let l be h/(-8) - (-285)/(-4). Let m = -27 - l. Does 20 divide m?
False
Suppose 0*r - 15 = -5*y - 5*r, -4*r + 19 = -3*y. Let m be (y - -20)*(3 + -2). Let p = m + -1. Is p a multiple of 7?
False
Let g(y) be the first derivative of y**3/3 + 5*y**2/2 - 1. Is 3 a factor of g(-6)?
True
Let s(t) = 9*t**2 - 10*t + 5. Let p(c) = -17*c**2 + 19*c - 9. Let f(h) = -6*p(h) - 11*s(h). Let w(y) be the first derivative of f(y). Is w(5) a multiple of 9?
False
Let r be (-4)/(-14) + (-102)/14. Let z = 4 + r. Let t(o) = o**2 - 2*o - 1. Is t(z) a multiple of 12?
False
Suppose 3*z + 29 = -4*c - 2*z, 2*z + 11 = -c. Let f(l) = 29*l + 7. Let n(y) = 15*y + 3. Let q(x) = 2*f(x) - 5*n(x). Is q(c) a multiple of 8?
True
Let i(g) = 5*g + 66. Is 9 a factor of i(-6)?
True
Let i = 123 + -56. Let q be ((-2)/(2/i))/(-1). Let n = q - 38. Is n a multiple of 12?
False
Let l = 13 - 11. Suppose -4*t + 3*r + 81 = 0, 0*r = -3*t + l*r + 61. Is t a multiple of 12?
False
Let t be 0/(2/(-4)*-2). Suppose -5*w = 4*q + 5, q + t*q = -3*w + 4. Suppose 3*h - 21 = -w*y, h - 4*y - 28 = -6. Is h a multiple of 5?
True
Let z(o) = 3*o + 1. Let l be (-54)/(-13) + 4/(-26). Does 13 divide z(l)?
True
Suppose 3*j - 408 = -4*o + 7*j, -2*o - 4*j = -186. Let l = o - 55. Is l a multiple of 22?
True
Let y(v) = -v**2 + 4*v - 3. Let l be y(3). Let z be 8 - -1*(l - 0). Does 16 divide z*-1*5/(-2)?
False
Let l(t) = 2*t - 3*t + 1 + 2*t. Let m be l(-2). Is 10 a factor of m - -3 - 18/(-1)?
True
Suppose 5*v - t = 4*t + 190, 5*v - 202 = 2*t. Does 21 divide v?
True
Let m = 23 + -19. Does 3 divide m?
False
Suppose -a - 4*a + 30 = 0. Suppose n - 53 = -2*o, 97 = a*o - 3*o + 5*n. Is 12 a factor of o?
True
Suppose -40 = -4*z + 20. Let p = z + -10. Suppose -c - 5*a = 21, -3*a = -p*c + 30 + 5. Is c even?
True
Suppose 2*p + 92 = 6*p. Suppose 3*c = 2*c - 3*v + p, -c - v = -21. Is c a multiple of 4?
True
Let t(r) = 4*r**3 - 2*r**2 + r. Let f be t(1). Suppose d = -x - 3, -f = 3*d + 5*x + 2. Is 6 a factor of (-60)/(-2)*(-2)/d?
True
Let b = 190 - 106. Is b a multiple of 10?
False
Let o(n) = n**3 + 17*n**2 - 22*n - 6. Is o(-18) a multiple of 13?
False
Let h(v) = 9*v + 7. Let o be h(7). Suppose 2*g + 3*d - 28 = -2*d, 5*g - o = d. Is 14 a factor of g?
True
Does 47 divide 11 - -37 - (-2 - -3)?
True
Suppose b + 0*b - 65 = 0. Is 13 a factor of b?
True
Suppose 3*p + 12 = -3*d, p + 7 = -4*d - 12. Let a be 4/5*(21 - p). Suppose 0 = r - 3*r + a. Is r a multiple of 4?
True
Let i = 5 + -6. Let z be 3*2/(-3)*i. Suppose z*m + 0 - 8 = 0. Is m a multiple of 4?
True
Let d = 52 - -84. Is 6 a factor of d?
False
Let f(d) = -3*d**3 + 4*d**2 + d + 8. Let b(j) = -8*j**3 + 13*j**2 + 4*j + 23. Let m(p) = 4*b(p) - 11*f(p). Does 17 divide m(-3)?
True
Suppose -8 = -3*x - 2. Is 8 a factor of (-2*x)/(4/(-16))?
True
Let h(v) = v**3 + 6*v**2 + 6*v + 2. Let p be h(-5). Is (-54)/p - 1/(-1) a multiple of 11?
False
Let s = -1 - -39. Is 19 a factor of s?
True
Suppose -d = 4*d - 30. Let q(s) be the first derivative of s**4/4 - 2*s**3 + 2*s**2 - 6*s + 1. Is 9 a factor of q(d)?
True
Let a(l) = -1 + 16*l**2 - 15*l + 15*l. Is a(1) a multiple of 5?
True
Let x(o) = o**3 + 9*o**2 + 6*o - 6. Is 3 a factor of x(-8)?
False
Let t(n) = 23*n**2 + n + 4. Let y be t(3). Let f = y + -108. Is f/4 + 1/(-2) a multiple of 13?
True
Suppose -12*c = 2*c - 1624. Is c a multiple of 29?
True
Let g(v) = 77*v**2 + v. Does 9 divide g(-1)?
False
Let j(r) = 35*r**3 + r**2 + 2*r - 2. Does 4 divide j(1)?
True
Suppose 0 = v - 4 - 3. Is 7 a factor of v?
True
Let t = 17 + -6. Is 3 a factor of (1 - 2 - -2)*t?
False
Let r(h) = -h**3 - 5*h**2 + 3. Let q(j) = -2*j + 3. Let o be q(4). Is r(o) even?
False
Suppose k - 2 - 2 = 0. Suppose 5*c - 52 = -0*t + k*t, -c + 8 = -2*t. Is 12 a factor of c?
True
Suppose -4*z + 5 = -83. Suppose 3*h + 4 = z. Is 5 a factor of h?
False
Let s be -9*(3 + 3/9). Let u be 4/(-6) - 140/s. Suppose u*b - 35 = -b. Does 3 divide b?
False
Let h = -18 + 21. Does 4 divide ((-12)/h + 3)*-9?
False
Suppose 16 = 3*s + 2*w, w + 14 = 2*s + 1. Let t(j) = j + 10. Is 16 a factor of t(s)?
True
Let n(j) = j**3 - 2*j**2 + 3*j - 3. Let u be n(2). Suppose u*v = 7*v - 128. Is 13 a factor of v/(-12)*39/(-4)?
True
Is 15 a factor of -1*(-41 - (1 + 1))?
False
Let j = 21 - 4. Let d = j + -10. Let f(q) = 5*q - 6. Does 14 divide f(d)?
False
Suppose 0 = -5*q - 19 - 1. Let l = 2 + q. Let n(v) = -23*v - 3. Is n(l) a multiple of 17?
False
Let p = -3 + 6. Suppose 2*c - 5*u = c, -2*c + 13 = p*u. Let i = 9 + c. Is i a multiple of 7?
True
Let i(k) = k**2 - 6*k - 1. Is i(7) a multiple of 5?
False
Let b = -2 + 10. Suppose 3*l - 4*n = b*l + 2, 4*n + 10 = -l. Is ((-96)/(-3) + 2)/l a multiple of 10?
False
Let h(n) = -n + 6. Let j be h(0). Let o(m) = 2*m - 4. Is 3 a factor of o(j)?
False
Let d(r) = -28*r**2 + 1. Let x be d(1). Is (x/(-12))/(3/8) a multiple of 3?
True
Let a be 3/(-2*3/6). Let t = 7 + a. Suppose n - 3*x - 33 - 16 = 0, 8 = -t*x. Is n a multiple of 13?
False
Let o = -96 + 159. Is 16 a factor of o?
False
Suppose -12 = -0*l - 3*l. Suppose f - 28 = -l*a, 2*f - 2*a + 9 = 3*a. Is f a multiple of 8?
True
Suppose -2*p = 3*p - 10. Suppose -36 = -5*i + p*i. Is 11 a factor of i?
False
Suppose 4*v + 148 = 8*v. Does 12 divide -2 + v + 0 + 1?
True
Let q(n) = 2*n**3 + n**2 - 2. Let l be q(2). Does 12 divide 4/18 + 212/l?
True
Suppose -8 = p - 3*p + 5*z, 2*z = 2*p - 8. Is 21 a factor of ((-42)/p)/(1/(-4))?
True
Suppose 0*z = -2*z + 2. Let j be (z - 3 - -2)/2. Suppose 3*h - 132 + 48 = j. Does 9 divide h?
False
Suppose -2*h = 3*d - 379, 102 = 5*d + 5*h - 538. Suppose 2*l - 5*l = -d. Is l a multiple of 15?
False
Let w = 119 + -183. Let j be (-4 - w)/(3/2). Suppose 3*n - j = -n. Does 5 divide n?
True
Suppose -60 = -5*r + 5. Let x = -6 + r. Suppose 0 = l - 5*k - x, l - 2*k + 0*k = 16. Is l a multiple of 6?
False
Let q be 0*(-3)/(-5 + 2). Let c(b) = -5 - 12*b + q + 4. Does 7 divide c(-2)?
False
Does 10 divide ((-5)/(-2) - 3)/((-1)/20)?
True
Let n(b) be the first derivative of -3*b**2 + 8*b - 1. Let v be n(6). Does 5 divide v/(-8)*(3 - -1)?
False
Let s(x) = -x**3 - 1. Let z(n) = -3*n**3 - 11*n**2 + 11*n + 9. Let y(i) = -2*s(i) + z(i). Is 14 a factor of y(-12)?
False
Let q(x) = x**3 + 7*x**2 - 5*x + 3. Let w be -8 - 0 - (-2 + 1). Is q(w) a multiple of 19?
True
Let y(m) = m**3 - m**2 + m + 1. Let v(g) = -6*g**3 + 6*g**2 - 5*g + 14. Let j(z) = v(z) + 5*y(z). Is j(0) a multiple of 17?
False
Let v = -4 - -1. Let u be v + 2 - (-1 + -1). Let t(a) = 10*a. Does 10 divide t(u)?
True
Let z be 382/8 - (-3)/12. Suppose 2*u - 25 = 5*r, -5*r = 5*u - 3*r - z. Does 10 divide 284/u - 4/10?
False
Let r(o) = -5*o**3 - o**2 - o - 1. Let g be r(-1). Suppose 153 = g*w + 17. Is 17 a factor of w?
True
Suppose -4*z - 1 = -17. Suppose -135 = -3*w - 3*x, -4*w - z*x - x = -184. Is 21 a factor of w?
False
Let l(d) = -d + 12. Let b = -5 + 5. Does 12 divide l(b)?
True
Let p = 121 + -41. Is 10 a factor of p?
True
Let d(z) = -34*z - 11. Let t(p) = -11*p - 4. Let i(r) = 2*d(r) - 7*t(r). Let v be i(9). Suppose b = 3*n - b - 48, -4*n + v = 5*b. Is n a multiple of 9?
True
Let l(g) = 5*g**2 + 14*g + 19. Is l(-5) a multiple of 50?
False
Suppose -v - 3*d + 53 = -0*v, -4*d = -4. Suppose -2*o = -4*o + v. Suppose -27 - o = -4*i. Is 13 a factor of i?
True
Let o(h) be the first derivative of -1/4*h**4 + 3*h**2 + 10*h - 2 + 2*h**3. Is 3 a factor of o(7)?
True
Let n(g) = g**3 + 6*g**2 + 14. Let h(p) = 3*p**3 + 18*p**2 + p + 43. Let a(z) = 2*h(z) - 7*n(z). Is a(-7) a multiple of 13?
False
Let s(i) = 17*i + 26. Does 12 divide s(2)?
True
Suppose 2*u - 182 = -38. Is 24 a factor of u?
True
Suppose -138 = -3*g + g. Suppose 0 = -0*h + 2*h - 80. Let w = g - h. Is 13 a factor of w?
False
Suppose -4*a - 2*a = -1404. Suppose -5*i = -4*f - 397, -a = -3*i - 5*f + 19. Is i a multiple of 27?
True
Let v = -174 - -286. Is 16 a factor of v?
True
Suppose -5*g + 1850 - 225 = 0. Suppose -3*n + 189 = 3*t, 9*t - g = 4*t + 5*n. Does 22 divide t?
False
Let a = 132 + -58. Does 11 divide a?
False
Let l = 4 - 4. Suppose l = -5*i + 49 + 61. Suppose 3*v - 95 - i = 0. Does 15 divide v?
False
Let n(m) = -m**3 + 7*m**2 - 3*m - 4. Let x be n(3). Let