 3*i + z. Suppose -4*x + 251 = -5*g, 0 = 4*x - 0*x + 4*g - 296. Let r = x - i. Is r a multiple of 14?
True
Is 13 a factor of (104/(-10))/((35/50)/(-7))?
True
Suppose -b = 4*b - 155. Is 15 a factor of b?
False
Let z = 10 - 2. Let b = z + 1. Does 3 divide b?
True
Let y(v) = v**3 + 4*v**2 + 2*v - 2. Let l be y(-2). Let d(r) = -6*r. Let g(q) = -5*q. Let x(i) = 3*d(i) - 4*g(i). Is 2 a factor of x(l)?
True
Suppose -16 = -3*s + 119. Is 15 a factor of s?
True
Let q(h) = -4*h**2 - h - 3. Let f be q(3). Let a be -2*(f/(-4))/3. Let t = 10 + a. Is t a multiple of 3?
True
Suppose -37 = -k - y, -148 = -4*k + y - 20. Let t = k + -13. Is 10 a factor of t?
True
Suppose 48 + 52 = 5*g. Suppose -7 - g = -u. Is 15 a factor of u?
False
Let q = -35 + 57. Does 11 divide q?
True
Let o be ((-4)/14)/(4/(-28)). Suppose -5*x = 4*z - 3*x - 20, -o*z = 4*x - 16. Let f(d) = 8*d - 5. Does 9 divide f(z)?
True
Let g = 38 + -31. Is 6 a factor of g?
False
Suppose 0*b + 29 = b + 3*g, -4*b = -3*g - 86. Is 23 a factor of b?
True
Let a = 142 - 88. Does 9 divide a?
True
Suppose 2*s - 2*v - 2*v - 88 = 0, -5*s + v = -238. Is s a multiple of 10?
False
Let n(r) = -r**2 - 14*r + 2. Does 11 divide n(-8)?
False
Suppose -3*s + 10 = -s. Let g(r) = -3*r - s + 3*r**2 - r - 2*r. Is 16 a factor of g(5)?
False
Let i be (2 - 0) + 6*1. Let q = i + 4. Is q a multiple of 6?
True
Let n(r) = 5*r**2 - r - 2. Let i be (-18)/(-10) + 3/15. Is n(i) a multiple of 8?
True
Let z be 2/(-8) + 25/4. Suppose 2*t - z*t + 4 = b, t = -2. Is b a multiple of 12?
True
Let x(c) = -9*c**2 - 12*c - 10. Let w(s) = 5*s**2 + 6*s + 5. Let j(y) = 11*w(y) + 6*x(y). Does 11 divide j(9)?
True
Let z(q) = -5*q - 2*q + 4*q - 6*q. Let f be z(1). Let h = 1 - f. Does 5 divide h?
True
Suppose 0*q - 4 = -4*q. Let w be (q/(-3))/((-1)/15). Suppose w*m - m - 2*a = 122, -4*m + 125 = -5*a. Does 10 divide m?
True
Suppose -6*n - 3*k + 26 = -n, -5*k - 43 = -4*n. Is n even?
False
Does 4 divide 7/(21/4)*(2 + 4)?
True
Let o be (-144)/(-40) + 4/10. Let p be 3 + (-1 + 0 - 0). Suppose z = p*z - o. Is z a multiple of 4?
True
Is (-85 - 0)*(-3 - -2) a multiple of 18?
False
Let m = 9 - 7. Suppose -i + 2*j + 3*j = 16, m*i = 4*j - 2. Does 9 divide i?
True
Suppose -3*v - v = 8. Let f be v/4 + (-248)/(-16). Suppose 0 = w - 4 - f. Is 14 a factor of w?
False
Let y(d) = -6*d + 1. Is 4 a factor of y(-1)?
False
Let l(b) = b**2 - b. Let i be l(0). Suppose -5*q = 3*n - 63, i*n + n - 1 = 0. Is q a multiple of 6?
True
Let p(f) be the second derivative of 0 + 9/2*f**2 - 2*f + 1/20*f**5 - 7/12*f**4 - 7/6*f**3. Does 9 divide p(8)?
False
Let o(a) = -a**3 + 7*a**2 + 9*a - 5. Let k be o(8). Suppose 0 = k*x + x + 108. Let j = 71 + x. Is 13 a factor of j?
False
Let v be (2 + -2)*1/(-2). Suppose -3*t + 136 + 95 = v. Does 18 divide t?
False
Let w = 32 + -20. Let f be 45/3*2/(-3). Let g = w - f. Does 20 divide g?
False
Let y(f) = -5*f**3 - 5*f**2 - f + 16. Let m(o) = -11*o**3 - 11*o**2 - 2*o + 33. Let z(w) = -6*m(w) + 13*y(w). Let u be z(0). Does 3 divide (u/6)/((-1)/(-3))?
False
Let h = -6 - -6. Suppose k - 2 + h = 0. Suppose -k*q + 4*q - 16 = 0. Is q a multiple of 4?
True
Is (3/(-2))/(6/(-460)) a multiple of 23?
True
Let n = 3 + -3. Suppose n = l - 5 - 7. Is 6 a factor of l?
True
Suppose -4 + 2 = -y. Suppose -y*u - 12 = -3*u. Is 4 a factor of u?
True
Let t(z) = z**2 - 10*z + 9. Let n be t(8). Does 4 divide (n/(-7))/(1/7)?
False
Let x = 25 - -8. Does 3 divide x?
True
Let u = -32 - -132. Suppose -4*j + 2*m = 1 - 71, 5*j = m + 92. Suppose u = 3*p + j. Does 15 divide p?
False
Let y(h) = h**3 - h**2 - 6*h + 1. Let v = -3 + 7. Does 13 divide y(v)?
False
Suppose 9*t - 300 = 4*t. Is t a multiple of 12?
True
Suppose 5*s - 7 = 3. Suppose -s*t - 150 = -5*t. Suppose -4*m + 34 = -g - g, -5*m = -g - t. Does 11 divide m?
True
Let g be 6*((-2)/(-4) - 0). Suppose -2*o - g*o + 100 = 0. Does 7 divide o?
False
Suppose -2*l + 80 = 8*s - 3*s, 3*s = 4*l - 134. Is 24 a factor of l?
False
Let p(l) = -l**2 - 4*l - 5. Let c be p(-4). Let k = c + 32. Does 8 divide k?
False
Let p(x) = x**2 + 5*x - 9. Suppose 20 = 4*h - 0. Does 7 divide p(h)?
False
Let i be (-1)/2*2 + -2. Does 3 divide (-1 + 5)*i/(-2)?
True
Suppose -2*k = -5*k - 15, 3 = 2*t + 5*k. Does 14 divide t?
True
Let z(g) be the third derivative of g**6/120 - g**5/12 - 3*g**4/8 - g**3/2 + g**2. Is z(7) a multiple of 16?
True
Suppose -8 = -3*a + 4. Suppose x - a*x = r - 63, 2*x = 2. Is r a multiple of 19?
False
Let i = -1 + 7. Is i/18*(17 + 1) a multiple of 2?
True
Let a be -3 + 0 - 2/(-1). Let h = 1 - a. Is 12 a factor of 46*h/4 - -1?
True
Suppose -9 = -4*m + 3. Suppose 4*j = 8*j - m*t - 62, -5*j = 5*t - 60. Does 5 divide j?
False
Let s(l) = 6*l + 20. Is 20 a factor of s(10)?
True
Is 20 a factor of (-834)/(-14) - (-24)/56?
True
Suppose -t - t - 5*p + 30 = 0, -5*t - 5*p + 105 = 0. Suppose 17 = 3*r - t. Does 14 divide r?
True
Suppose 0 = -10*r + 41 + 859. Is 13 a factor of r?
False
Let y = 24 - 11. Let n = 7 + y. Is n a multiple of 16?
False
Suppose 5*j + 2*l - 6 = 6*j, -j - 2*l + 6 = 0. Does 7 divide 29 - (1 + -1) - j?
False
Suppose 0*o + 2*o = 50. Suppose 4*r = -5*g + 177, 0*r - 162 = -4*r - 2*g. Let d = r - o. Is 8 a factor of d?
False
Let f(x) = -3*x + 10. Let t be f(-8). Suppose 0 = -4*z + t - 6. Is z a multiple of 7?
True
Suppose -3*o = -5*o + 4*f + 332, 809 = 5*o - 3*f. Is 7 a factor of o?
False
Let d(u) = -u + 1. Let s(j) = j**2 - 3. Let w(n) = -2*d(n) - s(n). Let x(o) be the first derivative of w(o). Does 4 divide x(-3)?
True
Let h(j) = -4*j - 17. Let u be h(-5). Suppose -2*v - 17 = 2*s - 5*s, -s - u*v + 13 = 0. Is s a multiple of 7?
True
Let a = 149 - 95. Does 18 divide a?
True
Let m = -16 - -44. Does 5 divide m?
False
Let k = -6 + 6. Suppose -4*c = -c - 2*j - 74, k = 5*c - 3*j - 122. Suppose h = -0*h + c. Is h a multiple of 11?
True
Suppose 0 = 3*i - 15, i = 4*x - 21 - 138. Is x a multiple of 27?
False
Suppose 0 = u + 4*u + 5, -2*u = 3*b - 193. Is b a multiple of 16?
False
Suppose 4*k + 2 - 10 = 0. Suppose -k*v = 2*v - 232. Suppose 3*g + 17 = -4*m + 112, 0 = 2*m - 2*g - v. Is 13 a factor of m?
True
Let l = -27 + 66. Does 8 divide l?
False
Suppose 4*j = p - 117, -188 + 716 = 4*p - 4*j. Suppose 3*o + p = 4*r, r = 3*r + 2*o - 58. Does 9 divide r?
False
Suppose 2*d - 180 = 7*d. Does 5 divide (5/15)/((-2)/d)?
False
Suppose 0 = t + 5*v - 35, 5*v = -2*t - 36 + 126. Is 32 a factor of t?
False
Let k(g) = -16*g - 14. Is k(-8) a multiple of 15?
False
Let a(v) = v + 14. Let n be a(-9). Suppose 0 = -4*r + n*r - 14. Is 10 a factor of r?
False
Suppose -4*x + w + 9 = -0*w, 2*x - 8 = 4*w. Let u(s) = 4*s + 2. Let r be u(x). Let i = r + 22. Is i a multiple of 16?
True
Let f(m) = 2*m**2 - 3*m - 5. Let a be f(-6). Suppose 3*t - a - 23 = 0. Is 13 a factor of t?
False
Let y(g) = -8*g - 8. Let o be y(6). Let u be (6/(-4))/(6/o). Is 4 a factor of (18/21)/(2/u)?
False
Let s = 8 + -10. Is ((-44)/(-4))/(s/(-4)) a multiple of 13?
False
Let i(a) = a**2 - a + 1. Let w be i(3). Suppose w*l - 20 = 2*l. Suppose -l*g = -31 - 21. Is g a multiple of 13?
True
Is 15 a factor of 4 - (2 + -5 + -53)?
True
Let z(v) = 5*v**2 - 14*v - 10. Is z(10) a multiple of 26?
False
Let t = 8 - 5. Suppose 0*o = t*o - 102. Does 5 divide o?
False
Suppose -5*m = 3*u - 6, 6*u = u + m + 10. Let y be 28/(-35)*(-10)/4. Suppose q - y*q = u*r - 37, -3*r = -2*q - 52. Is r a multiple of 6?
True
Suppose -52 = 5*p - 17. Let s be (p - -1)/2 + -4. Is (-6 - 1)*12/s a multiple of 5?
False
Let n be (1/1)/((-2)/(-10)). Suppose -4 = n*d - 2*u - 24, -3 = d + u. Suppose 0 = -d*p - 4*t, -t - 33 = -5*p - 0*p. Is 6 a factor of p?
True
Let h be -4 + 6 - 124*-2. Suppose m - 6*m = -h. Suppose m + 40 = 3*y. Is y a multiple of 15?
True
Let a(i) = -5*i**2 + 2*i + 2. Let t be a(2). Let c = t + 7. Let q(u) = -u**2 - 10*u - 7. Is q(c) a multiple of 14?
True
Is 22 a factor of 1/2 - (1100/(-8) + 6)?
True
Suppose 6 = -5*n - 3*j, -3*n + 3*j - 3 = -5*n. Is -6*13/(-2) + n a multiple of 18?
True
Let u be 3/6*(3 - -3). Suppose p = -2*h + 17, u*p = -2*p - 2*h + 77. Is p a multiple of 15?
True
Let m(u) = 2*u**2 - 9*u - 9. Let w be m(8). Let z = w + -26. Is 21 a factor of z?
True
Let t(h) be the second derivative of -1/4*h**4 - 2*h**2 - 1/10*h**5 + 1/2*h**3 + 2*h + 0. Does 7 divide t(-3)?
True
Let q(x) = -2*x - 13. Let u be q(-8). Is 27 a 