?
True
Suppose -10*t + 146 = -274. Is 21 a factor of t?
True
Suppose 495 = 7*p - 2*p. Suppose 5 = -5*s, -f - 2*f - 3*s = -p. Does 17 divide f?
True
Suppose -6*u + 2*u = 28. Let a be u/(-1)*(10 - -5). Suppose -2*f = f - a. Does 19 divide f?
False
Let w(u) = -3*u**2 + 2*u + 2. Suppose s = -2*r + 2, -s + 5*r - 2 = -4. Let g be w(s). Let b = g - -26. Is b a multiple of 7?
False
Suppose 2*j - 4*z + 12 = 5*j, 2*z = -3*j + 6. Let l = -53 - -89. Suppose -5*n + 29 + l = j. Is n a multiple of 5?
False
Suppose 4*d + 3*i = 124, 4*d + i - 3*i - 144 = 0. Is 34 a factor of d?
True
Suppose 4*z = -16 - 20. Let l(i) = -3*i - 2. Let h(b) = -6*b - 5. Let v(u) = z*l(u) + 4*h(u). Is v(6) a multiple of 8?
True
Does 13 divide (-3)/(-2) + (-138)/(-12)?
True
Suppose -2*q = t + 9, 2*q = -2*t + 3 - 15. Let x(k) = -k**2 + 14*k + 1. Let m be x(14). Is (0 + m)/((-1)/t) a multiple of 3?
True
Let j = 41 + 54. Let a = j - 33. Is a a multiple of 19?
False
Let m(y) = y - 6. Let j be m(0). Let b = 4 + j. Is -1 - 2 - 16/b a multiple of 3?
False
Suppose 3*h + 11 = 4*h. Let r be 1/(2/(-4)) - h. Let d = -6 - r. Is 3 a factor of d?
False
Suppose 4*t - 7*t = -6. Let k be (-69 - 1)*t/(-5). Let q = -18 + k. Is 10 a factor of q?
True
Suppose 1320 = 13*v - 5*v. Does 15 divide v?
True
Let m(b) = b - 1. Let k(l) = -l**3 + 6*l**2 + 2*l - 4. Let c(f) = k(f) + 6*m(f). Is c(4) a multiple of 18?
True
Let f = 9 - -213. Let k = -116 + f. Suppose 0 = -4*r + 2*r + k. Is 14 a factor of r?
False
Let y(b) = 1. Let j(w) = 32*w - 7. Let u(s) = j(s) + 6*y(s). Does 24 divide u(2)?
False
Let u(j) = -14*j. Let h be 5*((-1)/(-1) + 0). Suppose -y + 19 = h*m, 4*y = 4*m - 0*m - 20. Is u(y) a multiple of 5?
False
Suppose -3*d + 9 = 0, 0 = -3*z - 2*z + d + 112. Suppose n + 0*n = z. Is 13 a factor of n?
False
Suppose 1050 = 5*g - 0*g. Does 30 divide g?
True
Let u(k) = -k**2 + 6*k + 3. Let p be u(6). Suppose -p*t + 3*m = -462, m = 2*t + 3*m - 312. Suppose -g + 3*g + 46 = q, 5*g - t = -5*q. Is q a multiple of 18?
True
Let g = 6 + -9. Let h = 0 - g. Suppose h - 15 = -3*w. Is w a multiple of 4?
True
Let l(k) = k**2 + 2*k - 3. Does 3 divide l(3)?
True
Suppose 2*v + 0*f - 18 = -2*f, -v = -f - 1. Suppose -5*s - 55 - 50 = v*c, -5*s + 4*c - 87 = 0. Is 5 a factor of (s/(-3))/((-5)/(-15))?
False
Let k(a) = -2*a**3 + 20*a**2 - 8*a. Does 15 divide k(9)?
True
Suppose -m + 44 = 3. Is m a multiple of 31?
False
Let g(p) = -2*p - 9. Let h be g(-6). Let t = 1 + h. Suppose -3*i - 101 = -4*q + 2*i, -t*i = 5*q - 116. Is 8 a factor of q?
True
Suppose -4*m + 2 - 18 = 0. Let f be 2/(-4)*(m - -4). Let r = f - -26. Is 11 a factor of r?
False
Let a = 146 + -46. Does 12 divide a?
False
Let p be (-1)/((15/(-6))/5). Is 6 a factor of (-15)/(-3) - (1 - p)?
True
Suppose -3*t - 119 = -5*p - 389, -4*t + 5*p = -360. Does 15 divide t?
True
Is 3 a factor of (12 + -3)/((-2)/4*-2)?
True
Suppose -9 + 61 = 2*q. Let p = q + -16. Does 4 divide p?
False
Let v(h) = -h**3 - 3*h**2 - 2*h - 3. Does 14 divide v(-5)?
False
Suppose 4*t + 169 = m, -2*t - 2*t + 571 = 3*m. Does 17 divide m?
False
Let y(b) = 6*b + 4. Let p be y(-3). Let h = p + 24. Does 10 divide h?
True
Let l be 36 + 2/6*-3. Let p = l + -11. Is 6 a factor of p?
True
Let r(u) = u**3 - 2*u**2 - u - 3. Let w be r(3). Let m(x) = -2*x**3 + 2*x**2 + 4*x - 1. Let s be m(w). Let h = s - -37. Does 7 divide h?
False
Let c(r) be the first derivative of -r**3/3 - 7*r**2 + 5*r + 1. Suppose -5*b - 19 = 31. Is c(b) a multiple of 16?
False
Let s be 2/4*(-2)/(-1). Let f = 4 - s. Is f a multiple of 3?
True
Let z(d) = 3*d - 7. Let m be z(5). Let p be (m/10)/(1/(-5)). Does 9 divide p/(-8)*84/2?
False
Let w = 2 - -2. Suppose 2*d = -w*i + 50, 3*i - 47 = -2*d - 0*i. Is 19 a factor of d?
True
Suppose 0*v = 4*v - 116. Let a = v - 51. Let c = a - -48. Is 26 a factor of c?
True
Let l(t) = t**3 - t**2 + t - 1. Let j = 11 + -7. Is l(j) a multiple of 31?
False
Let q(z) = -z**2 + 3. Let n be q(-3). Let f be (-33)/n + 1/(-2). Suppose 0 = -f*p - 3*y - 2*y + 185, 0 = 3*y - 3. Is p a multiple of 18?
True
Suppose -218 - 130 = 4*u. Let y = -49 - u. Is y a multiple of 14?
False
Suppose -3 = -0*u - u. Suppose 4*m - h = 37, 5*m + u*h - 29 = -4. Does 7 divide m?
False
Let v = 10 + -3. Is 3 a factor of v?
False
Let y(u) = -u**2 - 3*u + 13. Let n be y(-5). Suppose 0 = -4*i + 3*z - 4*z + 4, 3*z = -5*i + 12. Suppose -n*o = -i*o - 90. Is o a multiple of 10?
True
Let v(c) = c**3 - 9*c**2 - 6*c - 10. Is v(10) a multiple of 15?
True
Let c = -4 + 1. Let b be 1 + c/((-9)/21). Let z(p) = p**3 - 9*p**2 + 8*p + 4. Is 4 a factor of z(b)?
True
Does 31 divide (62/(-8))/((-1)/8)?
True
Let y be (-27)/12*256/(-12). Suppose -3*h - 166 = -6*z + 2*z, -z + y = -4*h. Does 13 divide z?
False
Let l = -12 - -10. Let t(y) be the third derivative of y**5/20 - y**4/12 + y**2. Does 8 divide t(l)?
True
Let r = 3 + -3. Suppose r = -u + 10 - 5. Is 174/24*(u - 1) a multiple of 12?
False
Suppose -4*r = -x + 6, -2*x - r + 3 = -0*r. Suppose -3*n + 220 = -q, -4*q = x*n - 166 - 4. Is n a multiple of 15?
True
Let r = 19 - -40. Let b be (1*-1)/(3/(-63)). Let y = r - b. Does 13 divide y?
False
Suppose -5*i + 43 = -3*f + 14, -5*i - f + 37 = 0. Suppose i*o = 2*o + 180. Is 12 a factor of o?
True
Suppose -14 - 6 = 2*j. Let a = 59 - j. Is 18 a factor of a?
False
Suppose a = -2*u, u + 0 - 2 = -a. Let w be (10/a)/((-3)/(-6)). Suppose 5*b - 5*r - 40 = 0, -w*b + 3*r + 15 = -21. Is b a multiple of 6?
True
Suppose -4*b + 558 - 2 = 4*i, -2*i - 258 = -2*b. Does 16 divide b?
False
Suppose 3*g - 144 = -0*g. Let m be 2/(-8) - 204/(-48). Suppose -j = -m*j + g. Is j a multiple of 7?
False
Let z be (-6)/21 + 4/14. Suppose 133 + 11 = 4*w. Suppose z*g = 3*g - w. Is g a multiple of 6?
True
Let h(r) = -2*r - 1. Let s be h(-4). Let b(i) = i**3 + i**2 - i - 1. Let c(u) = 4*u**3 - 3*u**2 - 4*u - 5. Let a(d) = -3*b(d) + c(d). Does 20 divide a(s)?
True
Let r(c) = 18*c - 1. Let z be r(5). Let w = -53 + z. Suppose -w = -a - 12. Is a a multiple of 9?
False
Suppose 0*l = 5*l. Suppose l = h - 4. Does 4 divide h?
True
Let w(x) = -x**3 - 6*x**2 + 6. Let g be w(-6). Let l be -5*(2 - (-34)/(-5)). Suppose l = v - 4*b, v - g = -b - b. Does 12 divide v?
True
Suppose 0 = 8*h - 6*h + 92. Let g = h + 79. Is 8 a factor of g?
False
Suppose 3*u = i + 15 + 16, 3*u - 2*i = 26. Is u a multiple of 4?
True
Suppose 0 = 3*f - 120 - 0. Let i = -28 + f. Is 6 a factor of i?
True
Does 8 divide (56/(-10))/((-141)/45 + 3)?
False
Let m(f) be the third derivative of -f**4/4 - f**3/2 - f**2. Is 12 a factor of m(-5)?
False
Suppose -2*s + 312 = 6*s. Is s a multiple of 39?
True
Let h = -2 - -6. Let d(i) = -i. Let w be d(4). Is 2 a factor of 15/h + (-1)/w?
True
Suppose 6 = -0*p - 2*p. Is 4 a factor of 74/6 + p/9?
True
Suppose p - 2*j - 17 = 0, p - 2*j = -p + 40. Is 22 a factor of p?
False
Suppose -5*c + 16 = -c. Let i(p) = 2 - 4*p - c + 0 + 0. Is i(-6) a multiple of 22?
True
Let m = 0 - -2. Suppose m*p = p. Is (-1)/(p - (-1)/(-9)) a multiple of 8?
False
Let m(x) = -4*x**3 - 2*x**2 - x - 1. Does 5 divide m(-2)?
True
Let g = -26 + 36. Is (0 - -2)*55/g a multiple of 6?
False
Let w = 36 - 4. Does 16 divide w?
True
Let q be (-1 - 0)*(-4 - -2). Suppose -f + q*h + 1 + 0 = 0, -5*h - 15 = -5*f. Suppose 0*j + 95 = f*j. Is 7 a factor of j?
False
Let q = -27 - -34. Is q a multiple of 4?
False
Let t(h) = h + 1. Let j be t(-1). Is 6 a factor of 8 + 3 + (j - -1)?
True
Suppose s + 2 = 0, 19 - 7 = w + s. Is w a multiple of 7?
True
Let u(s) = 2*s**3 + 11*s**2 - 18*s + 25. Let z(g) = -g**3 - 6*g**2 + 9*g - 12. Let c(x) = -2*u(x) - 5*z(x). Is c(-9) a multiple of 10?
True
Suppose -3*q = -4*w + 184, -3*q - 184 = -4*w + q. Is w a multiple of 27?
False
Suppose -2*n = 2*l + 10, 0 = 4*n - n - 4*l - 13. Is 2 + (-26)/(0 + n) a multiple of 14?
True
Let o(s) = 2*s**3 + 6*s. Does 9 divide o(3)?
True
Let f(r) = -r**3 + 3*r**2 + 4*r - 1. Let d be f(3). Let p = 49 - d. Is p a multiple of 21?
False
Let n(f) = f**2 + 4*f + 2. Let u be n(-6). Suppose -58 = -4*b + u. Does 9 divide b?
True
Let v(m) be the first derivative of m**2 - 1. Is 4 a factor of v(6)?
True
Let l(b) = b**2 + 10*b + 10. Let x be l(-8). Let k = 31 + -16. Let h = k + x. Does 9 divide h?
True
Is (4/(-6))/(2/(-174)) a multiple of 11?
False
Let n be (0/(-1))/(6/6). Suppose n = -0*v - 2*v + 120. Is v a multiple of 16?
F