et a = -15 - -83. Is a a multiple of 17?
True
Suppose 5*b + 160 = w, 5*b = -0*w - 4*w + 565. Does 29 divide w?
True
Let s be (406/21)/(4/6). Does 8 divide s + 2 + (0 - 0)?
False
Suppose -5*f = -f - 88. Suppose -11 = -n + f. Is n a multiple of 11?
True
Let a(w) = w. Let d(v) = -5*v - 8. Let r(b) = -4*a(b) - d(b). Let z be r(-7). Suppose -9 = -u + 2*t + z, -13 = -u + t. Is u a multiple of 8?
True
Suppose 5*i + 30 = q, -2*q = -3*q - 3*i + 14. Is 20 a factor of q?
True
Suppose -2 - 1 = -q. Suppose -q*b + 0*n + 4*n + 44 = 0, -n = 3*b - 34. Does 13 divide (39/b)/(2/8)?
True
Suppose -6*j + 8 = -2*j. Suppose 0 = 2*a - 4*s - 94, -3*s + 132 = a + j*a. Is a a multiple of 9?
True
Let k(j) = 7*j - 3. Let p be (-9)/2*2/(-1). Let c be k(p). Suppose -2*w + c = -0*w. Is w a multiple of 14?
False
Let i(s) = s**3 - s**2 + 4*s - 3. Let l(w) = -w - 9. Let n be l(7). Let g be (-3)/(-2)*n/(-12). Is i(g) a multiple of 9?
True
Let b be 2/2*-3 + 7. Suppose 2*h + b = h + 5*s, 3*s = -5*h + 8. Does 17 divide (5 - 6)/(h/(-17))?
True
Let r(n) = -n + 13. Let t be r(8). Suppose t*b - b = 172. Does 22 divide b?
False
Is 8 a factor of -2*(-7 - 9/(-3))?
True
Suppose 4*x - 4*d - 60 = 0, 0 = -3*x - 2*d - 37 + 87. Let u = x - 5. Is u a multiple of 11?
True
Suppose -50 + 135 = 5*u. Does 6 divide u?
False
Let j = 92 + -47. Suppose -27 = -3*u + j. Does 24 divide u?
True
Suppose 0 = -k + d + 17, -3 - 3 = 2*d. Let u be (k/(-3))/(2/(-48)). Suppose -t + 3*t = u. Does 19 divide t?
False
Let d(k) = -2*k**3 + 4*k**2 - 2*k + 21. Let c(g) = 5*g**3 - 9*g**2 + 5*g - 41. Let u(f) = 3*c(f) + 7*d(f). Does 12 divide u(0)?
True
Let u(j) = -56*j**2 + 11*j + 5. Let b(z) = -11*z**2 + 2*z + 1. Let y(g) = -22*b(g) + 4*u(g). Let w(l) be the first derivative of y(l). Does 18 divide w(1)?
True
Let w(t) = -1. Let g(h) = 3*h**2 - 5*h + 5. Let p(f) = g(f) + w(f). Is 8 a factor of p(3)?
True
Let i(t) = -t**3 + 8*t**2 + 10*t - 7. Does 25 divide i(6)?
True
Is 36 a factor of (-7803)/(-54) - 2/4?
True
Suppose q = 2*q. Suppose q = -4*o + 43 + 5. Is 7 a factor of o?
False
Let y(j) = j**2 - 3*j - 5. Let n be y(-2). Suppose 100 = n*q - 125. Is 15 a factor of q?
True
Suppose p - 13 = 1. Is p even?
True
Let t(h) = -5*h - 4. Is t(-8) a multiple of 18?
True
Suppose m + 2 = 2*g - 0, 5*m - 5*g = 0. Suppose a = 3*r - 64, 39 = 2*r + m*a + a. Does 6 divide r?
False
Let c(j) be the first derivative of j**2/2 + 1. Let u be c(4). Does 13 divide (-12)/u*(-26)/6?
True
Suppose 4*j - 5*t - 16 = 0, -j + 0*t + 3*t = -4. Suppose n = -n + j. Is (30/(-9) + n)*-15 a multiple of 10?
True
Suppose -2*d + 0*d + 274 = 0. Suppose -5*i + d = 2*v - 13, 3*i - v - 90 = 0. Is i a multiple of 10?
True
Let b = -65 - -19. Let w = 64 + b. Does 18 divide w?
True
Let l(t) = 2*t**2 + 3*t. Let b be l(-2). Let s be (-5)/b*(-24)/15. Suppose 5*h - s*f = 111, -4*h = -0*h - 2*f - 90. Does 10 divide h?
False
Suppose -12 - 16 = -4*n. Let w = n + 15. Is w a multiple of 16?
False
Let o be (-68)/3*(-6)/4. Suppose -o + 8 = -y. Does 13 divide y?
True
Let q(z) = -z**3 + 4*z**2 - 4*z + 3. Let k be q(4). Let f = 7 - k. Is 19 a factor of f?
False
Let t(a) = -a**2 + 6*a + 8. Let g be t(7). Suppose 0 = n - g - 1. Does 6 divide (-6)/(-2) + 1 + n?
True
Let q = -22 + 35. Suppose -2*y + 5 = -q. Is y a multiple of 3?
True
Let v(w) = -4*w**3 + w. Let l be v(-1). Suppose -3 = -r + l*h, -5*h = -14 + 4. Is r a multiple of 9?
True
Let j be 7/(-4) + (-3)/12. Let t(d) = -4*d**3 - d**3 - d**2 + d**3. Does 14 divide t(j)?
True
Let s = -2 + -2. Is -24*1*s/12 a multiple of 8?
True
Let t = 6 - 6. Suppose 2*j - 32 = -t*b + 4*b, j - 5*b - 19 = 0. Is j a multiple of 11?
False
Let h(w) be the second derivative of -w**3/2 + 3*w**2 - 3*w. Is h(-11) a multiple of 12?
False
Suppose -2*c = -11*c + 2070. Does 48 divide c?
False
Let z be -1 - (12 + -2)/1. Is 10 a factor of (-2)/z - (-218)/11?
True
Let x be (1 - 2)/(9/(-27)). Let v = 86 + -42. Suppose -x*p + v = -49. Is p a multiple of 9?
False
Let m(i) be the second derivative of i - 13/6*i**3 + 3*i**2 - 1/12*i**4 + 0. Does 14 divide m(-11)?
True
Suppose -3*t + 11 = 2. Suppose 4*r = -t*m + 3*r + 14, -m - 5*r = 0. Suppose f - m*f - 38 = -v, -3*f = -4*v + 126. Does 19 divide v?
False
Let p(f) = -1. Let a(j) = j**3 + j**2 - j. Let o be a(-1). Let h(c) = 8*c - 7. Let u(x) = o*h(x) - 6*p(x). Is u(3) a multiple of 12?
False
Let m = 15 - 5. Suppose -5*i + 2*i + 14 = -q, i = 3*q + m. Suppose 0*x - 196 = -i*x. Is 20 a factor of x?
False
Let a(f) be the second derivative of -f**7/840 + 7*f**6/360 - f**5/40 - f**4/8 - f**3/3 + f. Let n(b) be the second derivative of a(b). Does 12 divide n(3)?
True
Suppose -o = a + 145, -a + 146 = -o - 3*a. Let y = -93 - o. Does 17 divide y?
True
Let u(m) = 28*m**2 - m. Let x be u(-1). Let z be 5/(-10) + 93/2. Let g = z - x. Is 17 a factor of g?
True
Let o = 28 + -13. Is o a multiple of 5?
True
Let v = -17 + 15. Let c(r) = 6*r**2 + r + 2. Does 6 divide c(v)?
True
Suppose -4*z + 3 = -5. Suppose 14 = n - l, 0 = -z*n + n - 4*l - 11. Let d = n - 1. Is d a multiple of 4?
True
Let u(m) = 2*m**2 - 7*m + 10. Let q be u(7). Suppose -3*k + 4*k = q. Is 15 a factor of k?
False
Let w(h) = h - 10. Let r be w(12). Let v(n) = -r + 5*n - 3*n**3 + 5*n**3 - 8*n**2 - n**3 + 3*n**2. Does 15 divide v(5)?
False
Let t = 11 - 7. Suppose 0*s - t = -2*s. Is s even?
True
Does 13 divide (0 - -1) + 67 - -1?
False
Suppose -2*r - 3*h + 44 = -6*h, 3*r - 3*h = 69. Is 5 a factor of r?
True
Let m be (-4)/6 - (-2)/(-6). Let y = 9 - m. Is y a multiple of 10?
True
Suppose -5*k = -4*k + 48. Let o = -21 - k. Is 21 a factor of o?
False
Let c be 1/(3 - 105/36). Suppose -c = -v + 4. Is 11 a factor of v?
False
Let j = -46 - -96. Is 25 a factor of j?
True
Suppose 3*a + 6 = 5*a + 4*f, -a = f - 3. Is a a multiple of 2?
False
Suppose -5*w + 260 + 65 = 0. Suppose 39 = 4*a - w. Does 13 divide a?
True
Let x(v) = -63*v**3 - 7*v**2 + 7*v - 3. Let y(p) = 32*p**3 + 4*p**2 - 4*p + 2. Let d be ((-4)/6)/((-2)/15). Let z(u) = d*y(u) + 3*x(u). Is 14 a factor of z(-1)?
True
Let w(n) = n + 1. Let v(u) = u**2 + u. Suppose -6 = 5*h + 9. Let c be v(h). Does 2 divide w(c)?
False
Let r = -11 - -42. Is r a multiple of 6?
False
Is 9 a factor of -2 - (-1 - -4)*(-166)/6?
True
Let r = 63 - -21. Is 14 a factor of r?
True
Let q(i) be the first derivative of 8*i**3/3 + i**2/2 + i + 3. Suppose -18 = 2*f + 4*m, 5*f + 5*m + 23 = 2*f. Does 4 divide q(f)?
True
Let c(h) = -10*h - 9. Let p be c(-6). Let o be p/12 + 1/(-4). Suppose -2*b + 5 = -o*x - 3, -2*x = -6. Is b a multiple of 6?
False
Let o(b) = b**2 + b. Let m(r) = 12*r**2 + 3*r. Let d(v) = -m(v) + 3*o(v). Let q be d(1). Does 7 divide 6/9 + (-147)/q?
False
Let t(v) = 5*v. Let d be t(5). Let l = d + -17. Suppose 3*h + h = l. Is 2 a factor of h?
True
Suppose 21 - 1 = 4*v. Suppose -16 - 4 = -v*l. Suppose -36 = -l*n + 8. Is n a multiple of 3?
False
Let r be (-26)/(6/4 - 1). Let j = r - -78. Is j a multiple of 13?
True
Does 25 divide (1 + 105)/(-15 + 17)?
False
Let d(c) = -14*c**2 + c + 5. Let a(b) = 2*b + 6. Let x be a(-5). Let p(m) = 5*m**2 - 2. Let s(u) = x*d(u) - 11*p(u). Is s(5) even?
False
Let v be (-2)/10 - 22/(-10). Suppose 2*p - 6*p = -v*r - 30, 5*r - 24 = -p. Does 22 divide 529/p - 6/(-27)?
False
Suppose -222 = 14*z - 1888. Does 51 divide z?
False
Suppose 3*y + a + 10 = -3*a, 2*y = a + 8. Suppose 4*j + 12 + 0 = 0, y*j = -5*s + 19. Is s a multiple of 2?
False
Suppose 12 = 5*j - 13, -3*j = -q - 12. Let d = 1 + q. Is 2 a factor of d?
True
Suppose 5*h - 1 - 4 = 0. Is 3 a factor of (-20)/((-3 + h)*1)?
False
Let b = -5 + 10. Suppose b*y - 183 - 47 = 0. Is 23 a factor of y?
True
Let c(q) = 11*q + 2. Suppose w + 3 = 2*w. Is c(w) a multiple of 5?
True
Let b(y) = y**2 + y - 5. Is b(-6) a multiple of 5?
True
Let v = 2 - 6. Let c = 6 + v. Suppose -12 = -f + c*i + 2*i, 0 = 4*i. Does 12 divide f?
True
Let y(q) = -q**3 - 3*q**2 + 2*q - 4. Let a be y(-4). Suppose a*c = c - 9, c - 55 = -2*n. Does 9 divide n?
False
Let t(h) = -h**3 - 9*h**2 - 8*h + 2. Let o be t(-8). Is 14 a factor of (o/5)/((-3)/(-315))?
True
Suppose -2*u = 2*u - 260. Suppose -10 = 5*d, 4*d + 493 = 5*q + u. Is q a multiple of 22?
False
Suppose 4*n - 2 = 2. Is 3 a factor of ((-2)/n)/2*-3?
True
Let t = 20 + 38. Is 18 a factor of t?
False
Suppose 2*m - 9 = 159. Suppose m = -8*j + 10*j. Is j a multiple 