/(-14). Let j = t - 44. Is 20 a factor of j?
True
Suppose -2*u + 4 = -0*f + f, 2 = u + 2*f. Suppose -18 = -2*n + 5*v, -u*v = 2*n - 3*v - 10. Suppose 68 = 2*o + n*s, -2*o + s + 87 = 34. Is 14 a factor of o?
True
Let n(p) = -24*p + 20. Let r(k) = -k + 4. Let s(t) = 4. Let g(j) = 5*r(j) - 4*s(j). Let z(w) = -11*g(w) + 2*n(w). Is 19 a factor of z(4)?
False
Let q(b) = -426*b**2. Let s be q(-1). Is (s/12)/((-1)/2) a multiple of 19?
False
Let r be 3 + (-52)/(-2) - 2. Is 396/r + (-4)/6 a multiple of 13?
False
Suppose 4*x - 115 + 43 = 0. Is (-4)/x - 254/(-9) a multiple of 19?
False
Suppose 2*u = -3*l + 31 + 31, l - 104 = -4*u. Let f = u + -15. Does 4 divide f?
False
Let v(m) be the second derivative of m**4/2 + m**2/2 - 4*m. Let n be v(-1). Suppose n*b + 28 = 2*r + 3*b, 3*r - 4*b = 38. Is 8 a factor of r?
False
Let r(z) = 2*z**3 - 4*z**2 + 2*z. Let p be r(3). Suppose 0*j + 3*j - 5*f = 0, 0 = -5*f. Let y = p + j. Is 9 a factor of y?
False
Is (-634)/(-22) - (-6)/33 a multiple of 10?
False
Let k be (2 - 3)*-1*2. Suppose 0 = 5*g - k*g - 15. Suppose p + 12 = g*p. Is 2 a factor of p?
False
Suppose -y = 5 - 15. Suppose -2*z - y = -5*a - 50, 3*a = 3*z - 60. Does 10 divide z?
True
Let t(u) = u**3 - 4*u**2 + 3*u. Let q be t(3). Suppose -8 = -3*f - 2*r + r, -2*f - 2*r = q. Suppose 4 = f*n - 36. Is 6 a factor of n?
False
Suppose -5*z + 4*z + 8 = 0. Let a = z - 5. Suppose 12 + a = 3*h. Is 2 a factor of h?
False
Let w = -4 - -8. Suppose -w = -2*j + 4. Is 2 a factor of j?
True
Let a be 4/14 - (-4089)/21. Does 13 divide ((-3)/(-9))/(1/a)?
True
Let s(j) = -j + 12. Suppose 0*d + 40 = 5*d. Does 3 divide s(d)?
False
Let v be 3/(-12)*2*-4. Suppose -v*n = t - 3 - 1, -7 = -3*n - t. Suppose 8*i - 85 = n*i. Is 17 a factor of i?
True
Let h be ((-4)/(-5))/((-14)/105). Let v = h - -6. Suppose v = -2*q - 27 + 91. Is 16 a factor of q?
True
Let w be ((-14)/(-4))/(3/(-60)). Let l = -20 - w. Does 25 divide l?
True
Suppose 0 = -2*t + 72 - 0. Is 18 a factor of t?
True
Is (-96)/(-15)*5/2 a multiple of 9?
False
Let l be (-2 + 1)*(1 - 26). Let d be (-10)/l + (-452)/(-5). Does 10 divide (d/(-24))/(3/(-8))?
True
Suppose 4*k - 55 - 1 = 0. Is k a multiple of 10?
False
Suppose 0*i = -3*i + 75. Is 14 a factor of i?
False
Let g = -5 + 10. Suppose g*k + 4*c = -44, k + 6 = c + c. Is 12 a factor of 4/k + (-90)/(-4)?
False
Suppose 0 = -7*l + 2*l + 225. Is l a multiple of 22?
False
Let o be 24/14 + 8/28. Suppose 0 = o*m, -5*m - 96 = -2*l - m. Is l a multiple of 12?
True
Suppose -3*t - 2*t - 60 = 0. Let j be 8/(-3)*171/t. Suppose 2*w = -3*q + j, -51 + 146 = 5*w - q. Is w a multiple of 19?
True
Suppose -5*p + 195 = 5*r, p - 5*p - 2*r + 156 = 0. Is 3 a factor of p?
True
Suppose -399 = 32*w - 35*w. Is w a multiple of 24?
False
Let g(f) = f**3 + f**2 + 2*f - 1. Let v(j) = -j**3 - 2*j**2 - 2*j. Let w(p) = 6*g(p) + 5*v(p). Let x be w(4). Suppose x*q - 15 = 87. Does 19 divide q?
False
Is 3 a factor of 952/40 - 3/(-15)?
True
Suppose -p - 3*p = -244. Is 22 a factor of p?
False
Is (-3)/24*-4*14 a multiple of 5?
False
Let m = 124 - 86. Let h = -23 + m. Suppose -n - 4*n + h = 0. Does 2 divide n?
False
Let t be (-52)/(-10) - (-4)/(-20). Let j = -8 + t. Is 8 a factor of (2/5)/(j/(-120))?
True
Let r = 94 - 53. Let j = r + -25. Is 8 a factor of j?
True
Suppose 2*u = 4, -2*v - 2*u - 8 = -4*v. Suppose v*y - 2*a = y + 25, -a = 4*y - 20. Suppose b - 4*j - y = 17, b - j - 7 = 0. Does 2 divide b?
True
Let q(i) = -i - 1. Suppose -4*g - 5*s + 4 = -5, -5*g + 33 = -s. Let m(y) = 5*y + 26. Let t(a) = g*q(a) + m(a). Does 8 divide t(9)?
False
Let v = 24 + -47. Let j = v + 38. Is j a multiple of 7?
False
Let n(m) = 14*m**3 + 2*m**2 - 2*m + 3. Suppose -v + 2 = -0*v. Let d be n(v). Suppose 3*t = -5*a + d, 5*a - 3*t = 181 - 50. Is 14 a factor of a?
False
Let r(k) = 33*k - 13. Let p be r(4). Suppose 4*u = -3*z + 125, -3*z + 3*u = 4*u - p. Does 13 divide z?
True
Let p be (-1 + 2)*(-3 + 3). Let v be 1*(-3 - -4)*p. Suppose -i + 3*i - 12 = v. Is 4 a factor of i?
False
Suppose 14*p - 785 = 9*p. Is 19 a factor of p?
False
Let o(m) = -m**2 + 2*m**2 + m + 8 - 4*m. Is 10 a factor of o(6)?
False
Let y = 4 - 1. Is 94 - (2 + -1 - y) a multiple of 32?
True
Let c(y) = 54*y**3 + 1. Let h be c(1). Let f = h + -28. Is 12 a factor of f?
False
Suppose o = -0*o + 58. Suppose t + 0*t + 6 = 2*a, -4*t - 2*a = -16. Suppose -4*m + 2*d = m - o, 4*m - 46 = t*d. Is m a multiple of 4?
True
Suppose -2*y + 5*w = -37, -2*y - w = y - 47. Let q = 72 - 23. Suppose -2*g = o - 118, -2*o = g - q - y. Does 19 divide g?
True
Let x(f) = f**2 - 1. Let g(u) = 5*u**2 + 9*u - 1. Let s(c) = g(c) - 4*x(c). Let t be s(-9). Suppose 2*a = 4*b + 40, -b - 5 + 86 = t*a. Does 13 divide a?
True
Let y = 8 - 8. Does 3 divide 1 - y - (1 - 8)?
False
Let c = 57 + 153. Does 42 divide c?
True
Suppose -18*u + 15*u + 41 = h, 2*u + 3*h = 18. Does 3 divide u?
True
Let o(v) be the first derivative of -2*v**2 + 1/3*v**3 - 2*v + 1. Is 2 a factor of o(5)?
False
Suppose 0 = 2*f - 5*p - 10, 4*p = f + f - 8. Let u = 3 + f. Suppose 11 = -4*n + 4*y + u, -n + 5*y - 18 = 0. Is 2 a factor of n?
True
Does 14 divide (6/(-2))/((-18)/336)?
True
Does 13 divide ((-4)/8)/(373/(-186) + 2)?
False
Let s = -11 - -14. Suppose -2*j + s*j - 52 = 0. Is 13 a factor of j?
True
Let l(i) = 8*i**2 + 6*i - 2. Let t(o) = -12*o**2 - 9*o + 3. Let d(p) = 8*l(p) + 5*t(p). Suppose -4 = 5*z + 11. Does 13 divide d(z)?
True
Let o(t) = t**2 - t - 2. Let b = 2 - -2. Let f be o(b). Let y = f + 4. Does 14 divide y?
True
Let g(o) be the second derivative of -13*o**3/6 + 2*o. Is 13 a factor of g(-4)?
True
Let o = -80 + 135. Is o a multiple of 8?
False
Let c be 2/(-8) - 27/(-12). Let t be 63/c + 1/2. Suppose -4*k + 8*k - t = 0. Does 4 divide k?
True
Let u = 249 - 126. Is u a multiple of 41?
True
Let w(v) = v**3 - 2*v**2 + 3*v - 2. Suppose -b - 23 = -5*t, 3*b - 5*t + 2*t + 9 = 0. Is 2 a factor of w(b)?
True
Suppose -3*k + 6 = -k. Suppose k*m - 2*d = -35, 2 + 8 = -2*d. Let a = -6 - m. Does 9 divide a?
True
Let h be 1*(-34)/4*-4. Let r = -13 + h. Is r a multiple of 20?
False
Let z(m) be the third derivative of m**7/252 + m**5/60 - 2*m**2. Let h(q) be the third derivative of z(q). Is 12 a factor of h(1)?
False
Let u(l) = -2*l**3 + l**2 + 6 + 0*l**2 - 4*l**2 + l - 3. Is u(-3) a multiple of 9?
True
Suppose 89 + 345 = 7*q. Does 31 divide q?
True
Suppose -16 = 4*i, -2*m - 3*m + 2*i = -83. Is m a multiple of 5?
True
Suppose -6 = 4*o - 2. Let j = 4 + o. Is j a multiple of 3?
True
Let d(z) = 54*z - 1. Let h be d(1). Suppose 4*v + h = -4*x + 373, -5*x = -5*v + 450. Suppose -o + 35 = y - 5*o, 5*y - 2*o = v. Does 15 divide y?
True
Suppose -4*g = -7*g + 6, -3*f + 5*g = -290. Does 13 divide f?
False
Let j be -3 + (1 + 2)*17. Suppose 0 = -3*g + 5*g - j. Is g a multiple of 6?
True
Let a = -1 - -6. Suppose -2*b - 3*d = 2*b - 99, a*d = 2*b - 43. Is 7 a factor of b?
False
Let a(w) = 4*w**2 - 11*w + 1. Suppose 2*n = -4*z + 11 + 15, -2*z + 22 = 4*n. Let o(h) = -2*h**2 + 6*h - 1. Let g(f) = n*a(f) + 5*o(f). Is g(3) a multiple of 3?
False
Let b(t) = -3*t - 1. Suppose p + p + 2 = 0. Let d be b(p). Is 14 a factor of (-140)/(-6) - d/6?
False
Let c(g) be the first derivative of -2*g**2 + 5*g - 2. Suppose 0 = t + 5 + 1. Is 13 a factor of c(t)?
False
Suppose -3*o + 30 - 9 = 0. Suppose -37 - o = -4*r. Let s(u) = -u**2 + 12*u + 15. Does 13 divide s(r)?
True
Let c(q) = -q**3 + 10*q**2 - 14*q - 4. Does 3 divide c(8)?
True
Let i(y) = -y + 7. Let d be i(6). Let s(w) be the third derivative of 7*w**6/120 + w**5/30 - w**4/12 + w**3/6 - 2*w**2. Is s(d) a multiple of 8?
True
Suppose 2*p + 0*i - 4*i - 666 = 0, -2*p - 4*i = -634. Is p a multiple of 25?
True
Let a = -20 + 45. Let n = a - -3. Is n a multiple of 14?
True
Is (3 + -21)/((-3)/8) a multiple of 20?
False
Let d = 42 + -29. Let r(z) = 47*z. Let l be r(1). Suppose -5*c + l = -d. Does 6 divide c?
True
Suppose 324 = 2*u + u. Suppose 0 = 2*a + a - u. Is 7 a factor of a?
False
Suppose 0 = 3*c - 15, 3*p - 5*c + 147 = 5*p. Is p + 1 + (-4 - -2) a multiple of 24?
False
Suppose 5*z = -3*z + 600. Is 8 a factor of z?
False
Suppose -7*z + 333 = -4*z. Let t = -42 + z. Is 23 a factor of t?
True
Is 15 a factor of 5/(-2)*18*-1?
True
Let i = -17 - -31. Suppose -12*a + i*a - 138 = 0. Is a a multiple of 23?
True
Let a be ((-3)/6)/((-3)/24). Suppose