+ 5*r, 0 = 5*l + 3*r - 57. Does 6 divide l?
True
Let o be (-2)/(-10) + (-1019)/(-5). Suppose 2*j + 3*i - o = 0, 0 = -j + 2*j - i - 97. Let p = -60 + j. Does 11 divide p?
False
Let o(f) = 201*f. Let t be o(1). Suppose -5*h + t = 61. Does 14 divide h?
True
Let k = 11 + 13. Let u = -17 + k. Does 2 divide u?
False
Let w(b) = b**2 + 3*b - 1. Let g be w(-4). Suppose -g*x - 1 = -10. Suppose -x*i = 35 - 89. Is 9 a factor of i?
True
Let a(o) = o**2 + 4*o - 4. Suppose 42 = 4*g - 2*t, -3*g = -6*g + 5*t + 42. Let y = 0 - g. Is a(y) a multiple of 12?
False
Let w = 9 + -1. Does 5 divide w?
False
Let k(a) = 4*a - 6. Is 22 a factor of k(7)?
True
Suppose 126 + 54 = 3*f. Does 12 divide f?
True
Suppose 2*z = 5*z + 2*o - 179, -4*o + 122 = 2*z. Is 10 a factor of z?
False
Let c be (-4)/10 + (-3)/5. Let v be (108/(-15))/(c/5). Is 11 a factor of (-2)/9 + 1196/v?
True
Suppose 0*n - 16 = 2*n. Let v = 38 + n. Is v a multiple of 21?
False
Let d(k) = -k**2 + k - 5. Let b be d(0). Let f(y) = y**2 + 2*y + 4. Does 7 divide f(b)?
False
Suppose 34 = b - 16. Suppose 5*z + 0*z = b. Is z a multiple of 10?
True
Let g(i) = -i**2 - 8*i - 6. Let y be g(-6). Suppose -192 = -3*r + y. Is r a multiple of 20?
False
Suppose u = 4*u + 5*p + 20, -5*u + 2*p + 8 = 0. Let f be -3 - (-1 - u) - 1. Is 14 a factor of (2 + f)/((-1)/20)?
False
Let i be ((-6)/3 - 4) + -2. Is i/(-3)*27/2 a multiple of 18?
True
Suppose 7 = -2*u - 1. Let c be 8 + -1 + 2 + u. Suppose c = 2*l + 1, q + l = 40. Is q a multiple of 19?
True
Suppose -4*d - 9 = -1. Let i be (-1 + 2)/(d/(-58)). Suppose -t + i = s - 2*s, -4*t = 4*s - 156. Is t a multiple of 17?
True
Suppose 2*q = 112 + 76. Is 9 a factor of q?
False
Let c(s) = -s**3 - 7*s**2 - 19. Is 9 a factor of c(-8)?
True
Let d(w) = 26*w**3 + w. Let v be d(1). Let t = -27 + 16. Let a = t + v. Does 8 divide a?
True
Let m(w) = w**2 + 4*w - 3. Let v be m(-4). Let n = v - -6. Is 4 a factor of 7/(1/n*3)?
False
Let z(j) = -j**2 - 5*j - 4. Let l be z(-3). Suppose 2*u = -3*p + 22, 0*p - 4*u + l = -p. Does 3 divide p?
True
Is 29 a factor of 14/3*(-63)/(-98)*24?
False
Let z(h) = -h**3 + 6*h**2 - h - 1. Let b be 2/5 - (-4)/(-10). Let r be b + (0 + 2 - -1). Does 9 divide z(r)?
False
Let b(j) = 5*j + 5. Does 20 divide b(3)?
True
Suppose -3*u - 4*s + 2*s + 226 = 0, 2*u - s = 153. Is 19 a factor of u?
True
Let t = 32 + -17. Is t a multiple of 5?
True
Let u(p) = 3*p**2 + 5*p - 2. Let l be u(-4). Suppose 4*f = l - 10. Suppose -5*c - d = -c - 57, -f*c + 3*d = -53. Is 14 a factor of c?
True
Let k = -13 + 19. Let g(b) = -b**3 + 5*b**2 + 7*b - 2. Let z be g(k). Let w(p) = 7*p + 4. Does 16 divide w(z)?
True
Let z(c) = -5*c**2 - 3*c + 6. Let a be z(3). Let d(p) = -p**3 + 5*p**2 + 5*p - 9. Let v be d(6). Let w = v - a. Does 16 divide w?
False
Let f = -57 - -301. Is 20 a factor of f?
False
Is 50 a factor of (-57)/(-21) + -3 - (-2804)/14?
True
Suppose 4*i - 3 = 1. Let m be i - ((2 - 3) + 1). Let k(n) = 10*n**2 - n + 1. Is 5 a factor of k(m)?
True
Suppose 0 = 4*n - 4*p - 28, -2*p - 26 = -4*n - 0*p. Suppose 3*f + 127 = q, f = 1 - n. Suppose -4*j = 2*o - q, -2*j + 0*j + 2*o = -44. Is 13 a factor of j?
True
Let k(c) = c**3 + 3 + 2*c**2 - 5*c**2 + 7*c**2 + 4*c. Let b be k(-3). Let g = 8 + b. Does 4 divide g?
True
Suppose -3*y = 3*r - 291, r - 69 = 3*y - 364. Is y a multiple of 11?
False
Suppose 0 = 3*w + 5*i - 112, -2*i - 148 = -3*w + 2*i. Suppose -4*m + h = -114, -m - 10 = -3*h - w. Does 14 divide m?
True
Suppose -4 = m, 3*s - 31 = -2*m - 9. Suppose -4 = 2*r - s. Is r even?
False
Suppose 3*z = 2*b - 7*b + 65, -b - 5*z + 13 = 0. Suppose -21 = -3*p + n + 2*n, p + b = -3*n. Suppose 3 = -p*f + 13. Is f a multiple of 4?
False
Let b = 7 - 5. Suppose 0 = 4*c - k - 209, b*k = 5*c - c - 210. Is c a multiple of 13?
True
Suppose 5*w = 1 - 6. Is 5 a factor of -1 + 13 + 2/w?
True
Let p(m) = 6*m**2 - 2*m. Suppose g + 6*r - 5*r = 4, g - 3*r + 4 = 0. Is p(g) a multiple of 15?
False
Suppose -5*r + v + 340 = 0, -r + v + 68 = -0*r. Does 17 divide r?
True
Let r = 6 - 4. Suppose -41 = -4*i + 31. Is 4 a factor of (i/(-8))/(r/(-8))?
False
Let s be 3/1 - 5/5. Suppose -2 = s*z - 6. Suppose 0 = z*n - 2*b - 30, -6 + 41 = n + 3*b. Is 16 a factor of n?
False
Is 19 a factor of 4*(4 + (-180)/(-8))?
False
Let n(c) = 3*c - 6. Let j(h) = 6*h - 11. Let l(m) = 3*j(m) - 5*n(m). Let s be l(2). Suppose -2*f + 2 = 0, -o - f = -4 - s. Is 6 a factor of o?
True
Suppose 2*f + d = -5, 3*f - 2*d - 7 = 3. Suppose -t + 87 - 13 = f. Is 21 a factor of t?
False
Let h(z) = -3*z**3 - 18*z**2 - 3*z + 7. Let d(o) = 5*o**3 + 27*o**2 + 5*o - 10. Let k(x) = -5*d(x) - 8*h(x). Let p be k(9). Does 4 divide 7 + 5/(p/(-6))?
False
Let a = -8 + 13. Suppose a*q + 3*o + 14 = 73, -4*q = o - 43. Is 6 a factor of q?
False
Suppose -5*n + a + 432 = 0, 5*a - 13 = 2. Is n a multiple of 33?
False
Suppose r - 8 = -5*y, -5*y = -0*y + 3*r - 4. Does 25 divide y/(-5) - 756/(-15)?
True
Suppose 6*t - 174 = t - a, -4*t + 142 = -2*a. Is (-4)/(-10) - (-931)/t a multiple of 9?
True
Let g(l) be the first derivative of 49*l**4/4 - l**3/3 + l**2/2 - l - 3. Is 18 a factor of g(1)?
False
Let b(q) = q**2 + 3*q - 2. Let y be b(-4). Suppose 0 = y*z + 5 + 1. Let j = 12 + z. Is 9 a factor of j?
True
Suppose 4*g - 3*w = 23, 5*g + w + 0*w - 43 = 0. Does 3 divide g?
False
Let x = -23 + 52. Does 9 divide x?
False
Let r(w) = w**3 + 8*w**2 - 2*w - 15. Does 16 divide r(-7)?
True
Suppose -6*a + 20 = -16. Is a a multiple of 3?
True
Let z(n) = -56*n - 1. Is z(-1) a multiple of 12?
False
Let l = -30 - -90. Is 5 a factor of l?
True
Let f(j) = 8*j - 4. Let w(o) = 9*o - 3. Let m(d) = 4*f(d) - 5*w(d). Is 13 a factor of m(-4)?
False
Suppose 0 = m - 5*w + 7, w + 3 = -2*m + 11. Suppose -v = 5*s - 11, m*s - 2*s = 1. Is v a multiple of 4?
False
Suppose -i + 3*i = 2. Is 6 a factor of -1*-12*i - 0?
True
Suppose 0 = -s + w - 2, -4 - 8 = -2*s - 2*w. Let o = -32 + 53. Is ((-54)/o)/(s/(-14)) a multiple of 6?
True
Let a(y) = y**2 + 3*y + 1. Let f be a(-4). Suppose f - 38 = -g. Is g a multiple of 8?
False
Suppose -5*t = -t - 144. Is 6 a factor of t?
True
Suppose -12*r + 2*r + 2350 = 0. Does 52 divide r?
False
Let t(j) = -2*j**2 - 2*j - 2. Let f(d) = -d**2 - d - 2. Let x(v) = 5*f(v) - 4*t(v). Let l be x(2). Is ((-77)/(-28))/(2/l) a multiple of 11?
True
Suppose 3*h - 2*d = -6, -4*h - 6*d + 9 = -3*d. Suppose 2*u + 5*f = 0, 0 = -2*u - h*f + 5*f. Is 0 + u + 6*1 a multiple of 3?
True
Let i(v) = v**2 - 7*v - 3. Let r be i(6). Let z(b) = -b**2 - 10*b + 7. Is z(r) a multiple of 13?
False
Let k(i) = 58*i**2. Does 29 divide k(1)?
True
Let m(h) = h**3 + 3*h**2 - 4. Let q be m(-3). Let a(j) = 3*j**2 - j - 2. Does 20 divide a(q)?
False
Let q = 4 + -2. Suppose 84 = -q*m + 3*m. Suppose -3*d + m = -2*j, -2*d + 5*j + 0*j + 56 = 0. Is 14 a factor of d?
True
Let q = 2 - 2. Suppose o - 2 = -q*o + 2*b, -b - 12 = 5*o. Is o/(56/(-26) - -2) a multiple of 7?
False
Let c(g) = g**2 + 7*g - 12. Let l(z) = 3*z + 6. Let n be l(-5). Let a(i) = 2*i + 9. Let o be a(n). Is 3 a factor of c(o)?
True
Suppose 2 = -3*a + 5*i, 0 = -0*a + a - 5*i + 4. Let c(h) = 1 + 1 + 27*h - a. Is 19 a factor of c(1)?
False
Let z = -287 - -402. Suppose 0 = 3*y - d - z, -y - 5*d + 166 = 3*y. Is 13 a factor of y?
True
Suppose -5*y - 3*s + 1600 = -y, -4*s - 2000 = -5*y. Suppose 5*x + y = 10*x. Suppose 0 = 2*p + 4 - x. Does 11 divide p?
False
Suppose 90 = 5*w + 5*y, 0 = 3*w + 2*w - 3*y - 122. Is 15 a factor of w?
False
Let a(r) = -57*r**2. Let z be a(1). Let t = -15 - z. Does 21 divide t?
True
Let b(t) = 4 - 8*t - 4 + 0*t - 2 + t**2. Let h be b(8). Let u = h + 8. Is u even?
True
Let n = 145 + -80. Is n a multiple of 31?
False
Suppose -m - 4 = -2. Let n be (-1)/m*0/(-1). Suppose n = -3*h + 2*p + 38, 0*p - 8 = 2*p. Does 10 divide h?
True
Suppose a + 1 = 2, -2*o + 5*a + 175 = 0. Does 6 divide o?
True
Let c(s) = 7*s + 1. Let y(d) = -6*d - 1. Suppose -24 = -2*i - 2*i. Let q(o) = i*y(o) + 5*c(o). Is q(-5) even?
True
Suppose 7*y - 2*y = -10. Let s(h) = 16*h**2 - 1. Is s(y) a multiple of 21?
True
Suppose 5*z + 115 = z + 3*r, 0 = 5*r - 25. Let a = z - -17. Let u(l) = -2*l - 6. Is u(a) a multiple of 8?
False
Let l(d) = d**2 - 26*d**3 - 2*d**2 + 9*d**3. Is 6 a factor of l(-1)?
False
Let r be (-1 - -3)/((-4)/(-14)). Let d(f) = f**2 - 8*f + 7. Let k be d(r). Is 5 a factor of k + 0 + 7 + 3?
True
S