iple of 35?
False
Let l(d) = 4*d**2 + 7*d - 25. Is 21 a factor of l(5)?
False
Let m be (-1 - -2) + -3 - -6. Suppose r + m*z = -z + 3, -3*r + 63 = -3*z. Suppose q = -2*q + r. Is q a multiple of 3?
True
Does 4 divide 0 + 0 - -3 - -13?
True
Let m(r) = r**2 + 6*r + 5. Let u be m(-5). Suppose u*k = -5*k + 210. Does 14 divide k?
True
Let x = 197 + -107. Is 6 a factor of x?
True
Suppose h - 53 = -z - 0*h, -106 = -2*z + 3*h. Suppose z = 3*x - 1. Does 5 divide x?
False
Suppose -2*t + d = -10 - 53, -3*t + d + 94 = 0. Let r = -14 - t. Is 7 a factor of (4/(-3))/(6/r)?
False
Suppose 3*k - 5*w - 115 = 0, 4*k - 3*w = -5*w + 110. Is 13 a factor of k?
False
Let z(m) = m**3 - 6*m**2 - 6*m - 5. Let p be z(7). Suppose 4*d - 3*t = -p*t + 14, d + 3*t = 10. Does 7 divide 1*(d*4 + -2)?
True
Let g = 8 + -6. Suppose g*x - 6*x = -4. Does 9 divide 1/(3/63*x)?
False
Let w(l) = 6*l - 6. Let q be w(-7). Is 7 a factor of 6/(-27)*q*3?
False
Suppose 3*c - 204 = 324. Is 22 a factor of c?
True
Suppose -3*n + 757 = 169. Does 28 divide n?
True
Suppose -19*a + 22*a - 51 = 0. Is 3 a factor of a?
False
Let j(a) = -a**2 + 13*a + 7. Does 10 divide j(10)?
False
Let l be -3 + 2*(1 - 2). Let g = l - -13. Is 4 a factor of g?
True
Suppose -4*o + 19 + 1 = 0. Suppose 5*l + 5*u - 40 = 0, 2*l + 5 = o*u - 0*u. Is 2 a factor of l?
False
Suppose -28 = -4*j + 64. Does 10 divide j?
False
Let q(t) = -3*t**2 - 9*t - 4. Let o(h) = -4*h**2 - 14*h - 6. Let x = 10 - 18. Let u(y) = x*q(y) + 5*o(y). Is u(-3) a multiple of 16?
True
Suppose 0 = -0*h + 3*h - 18. Is 6 a factor of h?
True
Let s = 11 + -7. Suppose -2*h = -s*q, -5*q + 26 = 2*h - 10. Let j(x) = x - 2. Is 6 a factor of j(h)?
True
Let n(m) be the second derivative of m**5/20 - m**4/2 - 2*m**3/3 + 3*m**2/2 + 2*m. Let v be n(6). Is (-1 - v/(-9))*-3 a multiple of 5?
True
Let x = -4 + 3. Let y be ((-3*1)/(-3))/x. Is 5 a factor of ((-15)/(-3))/(y/(-2))?
True
Let j = 56 + -29. Suppose 0 = o + 1, -4*s - 2*o - j = -9*s. Does 2 divide s?
False
Let x(h) = 9*h + 11*h**2 + 2*h**3 + 5 - h**3 - 3*h**2 + 0*h. Let t(i) = -i**3 - 5*i**2 - 4*i - 6. Let o be t(-4). Is x(o) a multiple of 19?
False
Let p(y) = y**2 + 7*y + 1. Let u(v) = -v**2 + 7*v - 5. Let f be u(6). Let a(o) = o**2. Let w(h) = f*a(h) + p(h). Does 10 divide w(-5)?
False
Suppose -2*q + 1 = -5. Let r = 7 - q. Suppose -4*u - 4*d = -20, 3*u + r*d - 25 = 3*d. Is 6 a factor of u?
False
Let x(v) = -v**2 - 14*v - 14. Is 16 a factor of x(-10)?
False
Let k = -21 - -35. Is 4/k + 2634/42 a multiple of 17?
False
Suppose -2*n + 225 = 5*l, -l - l = -3*n + 347. Is n a multiple of 18?
False
Suppose -2*b + 3*h = -101, -2*h + 195 = 5*b - 67. Does 13 divide b?
True
Suppose 2*u - 3*b = 15, -u + 4 = -b - 1. Suppose n = -u*n + 2. Suppose n*w - 6 = -w. Does 2 divide w?
True
Suppose 582 = 15*x - 9*x. Does 8 divide x?
False
Let u be (-20)/24*-3*16. Let j = u - 17. Is j a multiple of 23?
True
Let g = 344 - 236. Does 18 divide g?
True
Let t = -43 + 83. Suppose t + 14 = 3*n. Does 9 divide n?
True
Let m(a) = -3*a - 8. Let q(n) = 4*n + 7. Let s(b) = 6*m(b) + 4*q(b). Does 8 divide s(-18)?
True
Suppose 2 = -a - a. Let p(c) = 27*c**2 - 1. Is p(a) a multiple of 13?
True
Does 15 divide (-1377)/(-15) - 1/(-5)?
False
Suppose -2*g - 3*h + 64 = -51, -5*g - 2*h + 304 = 0. Is g a multiple of 13?
False
Let u(v) be the second derivative of 7*v**3/2 - v. Is 14 a factor of u(2)?
True
Let m(l) = l**2 - 1. Let o(w) = -w**2 + 4*w + 9. Let y(x) = 6*m(x) + o(x). Does 7 divide y(-2)?
False
Let f(m) be the first derivative of m**2/2 - 3*m - 1. Let w be f(8). Suppose c = 3*z + z + 16, -w*c - 2*z = -36. Does 5 divide c?
False
Suppose 3 = 5*f - 57. Suppose 2*l = -2*u + 96 - f, 4*l = u - 47. Does 13 divide u?
False
Let z = -4 + 22. Suppose z = d - 23. Does 13 divide d?
False
Suppose -3*t + 5*t - 24 = 0. Suppose 2*a - t = -a. Suppose 0*l + 42 = a*q + 2*l, 0 = -q - 5*l + 33. Is 7 a factor of q?
False
Suppose -106 = 2*q - 258. Suppose 0 = 2*n - q - 48. Is 11 a factor of n?
False
Let h = 1 + 8. Is h a multiple of 2?
False
Is 31 a factor of ((-6)/12)/(1/(-204))?
False
Let c be ((-39)/6)/((-3)/18). Suppose 0 = -3*f + c + 81. Does 12 divide f?
False
Let c(q) = -3 + 3 - 2 + q + 0*q. Let x be c(0). Does 12 divide (15/3)/(x/(-18))?
False
Suppose 20 + 16 = 3*p. Let d = 34 - p. Is d a multiple of 6?
False
Let c(u) = -u**3 - u**2 - u + 3. Let g be c(0). Let y be 1*(2 - g)*-1. Suppose -3*i + y = -11. Is 4 a factor of i?
True
Let i be (-2 - 1)/((-3)/(-2)). Let u(x) = 8*x**2 + 2*x - 1. Is u(i) a multiple of 7?
False
Let a = 116 - 50. Is a a multiple of 22?
True
Let i(g) = -g - 6. Let u be i(-9). Let r be 7 + u/(2 + -3). Suppose -5*x = 5*n - 95, r*x = 5*x - 3*n - 23. Is 18 a factor of x?
False
Let k be (-8 + 7)/((-1)/485). Is k/20 - (-2)/(-8) a multiple of 12?
True
Suppose -i = i + 378. Is (i/14)/(2/(-4)) a multiple of 9?
True
Suppose 5*p - 55 = -b, b = -4*p + 5*b + 20. Is 2 a factor of p?
True
Let w = 32 + -6. Suppose 2*u = 4*u - w. Is u a multiple of 6?
False
Let s(k) = k**3 - 10*k**2 + 6*k + 5. Let h(a) = 2*a**3 - 20*a**2 + 11*a + 9. Let y(w) = 3*h(w) - 5*s(w). Let g = -11 - -21. Does 16 divide y(g)?
True
Suppose -104 = 7*f - 3*f. Let o = 44 + f. Is o a multiple of 9?
True
Is 22 a factor of 5/(((-2)/2)/(-6))?
False
Let c(p) be the third derivative of -p**5/60 + p**4/8 + 4*p**3/3 + 2*p**2. Let g be c(6). Is (3/(-3))/(1/g) a multiple of 7?
False
Suppose -3*u = -2 + 5. Does 15 divide (-17 - u)/(3 + -4)?
False
Let t(l) = -l**3 + 8*l**2 + 12*l - 4. Does 39 divide t(8)?
False
Suppose -21*g + 118 = -20*g. Is g a multiple of 25?
False
Suppose 0 = -5*v - z + 16, 3*v + 5*z - 10 = 4. Suppose u = 5*a + 31, 3*a + 36 = u + v. Does 18 divide u?
True
Suppose 6*k = 2*k + 20. Let q = k - -23. Does 17 divide q?
False
Let z be ((-5)/(-2) - 3)*-4. Is 72 + 2 + (0 - z) a multiple of 24?
True
Suppose -4*q = -d - 9*q + 255, 5*d - 1191 = -4*q. Is 47 a factor of d?
True
Let h(i) = 4*i + 3. Suppose -6 = m + 4*z - 27, -3*m - 3*z = -27. Suppose -20 = -8*c + 3*c + m*r, 11 = 3*c - 4*r. Is h(c) a multiple of 14?
False
Let s = -46 - -82. Does 4 divide s?
True
Suppose 0 = -5*v - 17 - 33. Let y = 18 + v. Is 4 a factor of y?
True
Let h(j) = -j + 10. Let q be h(7). Suppose 0*x - 7 = -3*o + 2*x, 3*o + 3 = -q*x. Is 8 a factor of (o + 2)*46/6?
False
Let f(h) = 3*h - 1. Let l be f(3). Let w be -5*(-6)/l*4. Let v = w - -13. Is 10 a factor of v?
False
Suppose 0 = -4*r - 8, -r + 0*r = -h + 1. Is (-3 + h)*(-8)/4 a multiple of 3?
False
Let r(y) = 7*y**2 + 2*y - 1. Let c be r(-2). Let w = c - -10. Is 11 a factor of w?
True
Suppose 0 = -i - 8*p + 4*p + 8, 5*i - 3*p + 29 = 0. Does 9 divide (i/(-6))/(7/273)?
False
Does 10 divide (22/(4 - 5))/(1 + -3)?
False
Let s be 0/((-3)/(-1)) + 1. Let h be (-1)/s*2/(-1). Is 74/4 + h/(-4) a multiple of 16?
False
Suppose -3 = -3*t, 15 - 2 = 3*w + t. Suppose -w*c + 2*c + 8 = 0. Suppose -i - 12 = i + c*d, -16 = -4*i + 2*d. Is i even?
True
Let g = 53 - 38. Suppose 3*o = -0*o + g. Suppose 0*w + 110 = o*w. Does 15 divide w?
False
Suppose 4*j + 3*b + 5 = 22, 2*j + 5 = 3*b. Suppose -j*d - d = -3*h + 84, -h + 44 = -5*d. Is 8 a factor of h?
True
Let c = -8 + 10. Suppose -3*m - c*m + 135 = 0. Does 27 divide m?
True
Let b = 58 - -78. Let n be 483/5 + 4/10. Let o = b - n. Does 13 divide o?
True
Suppose -5*k - 2*z + 6*z + 131 = 0, -2*k - 5*z = -59. Is k a multiple of 9?
True
Does 2 divide ((-17)/(-2))/((-12)/(-24))?
False
Let p(c) = -c**3 + 4*c**2 + c. Let r be p(3). Suppose 12 = k - r. Does 6 divide k?
True
Let y(k) = -k**2 - 11*k - 6. Let l be y(-10). Suppose 12 = 2*v + l*f, -2*v + 2 + 2 = -4*f. Let a(j) = j**2 + 2. Does 9 divide a(v)?
True
Let z(o) = -9*o + 19. Is z(-3) a multiple of 46?
True
Let k(a) = a**3 + 6*a**2 - 4*a - 6. Let p be k(-6). Suppose -3*d + 327 = 4*i + p, 0 = -2*d - 5*i + 213. Does 12 divide (-1*1)/((-3)/d)?
False
Suppose -1 = -3*y - 4. Let a = y + 21. Suppose -o = z - a, -z + 4*o = z - 22. Is 6 a factor of z?
False
Suppose 2*b + 2*p - 12 = 0, 2*b + p + 2 = 3*b. Suppose 4*f = 3*w + 6 + 12, b*w = -2*f - 2. Is (-15)/(-3) + 1*f a multiple of 3?
False
Suppose 4*q = q + 3, -5*g + 3*q = -2. Let c = g + -1. Suppose 2*l = -c*l + 48. Does 12 divide l?
True
Let z = 5 + 96. Is 22 a factor of z?
False
Suppose 0 = -2*f + 4*s - 3 - 7, -5*f - 2*s = -11. Does 6 divide 35/(-5)*f/(-1)?
False
L