 = 14 - -28. Is 21 a factor of f?
True
Let i = -8 - -10. Suppose i*z - 4*z + 52 = 0. Is 9 a factor of z?
False
Let l(h) = -h**3 - 13*h**2 + 11*h - 18. Is l(-14) a multiple of 12?
True
Suppose -5*i = 4*g - 18, 18 = 6*i - 2*i + 5*g. Is i a multiple of 2?
True
Suppose -52 - 4 = -2*m. Is m a multiple of 4?
True
Let q be (-5)/10 + (-81)/(-2). Let m be q/(-15)*6/(-4). Suppose 0 = -t + 3*x + 22, m*x = 5*t - 0*x - 77. Does 6 divide t?
False
Let d = 134 + -80. Does 15 divide d?
False
Let d = 465 + -310. Is 18 a factor of d?
False
Let r(k) = 29*k**3 + 1. Let s be r(1). Let w = 0 + s. Is w a multiple of 10?
True
Let t = 49 - 29. Let i = 9 + t. Is 11 a factor of i?
False
Suppose -2*z - z = -72. Is z a multiple of 4?
True
Suppose -4*q + 3*a + 58 = a, 3*a - 78 = -5*q. Let u(h) = h**3 - 14*h**2 - 15*h + 8. Is 8 a factor of u(q)?
True
Let b(p) = 8*p - 7. Let q(z) = 9*z - 8. Let n(w) = -6*b(w) + 5*q(w). Suppose 0 = 2*g - 4*i + 10 + 2, -3*i - 24 = 4*g. Does 10 divide n(g)?
True
Let j(c) = -4*c**3 - c**2 - 5*c - 5. Does 11 divide j(-2)?
True
Suppose n - 3 = 2*n, -d - 4*n - 28 = 0. Let t = 8 - 17. Let q = t - d. Is q a multiple of 5?
False
Suppose b + 3*n - 4 = n, 0 = -4*b + 5*n - 49. Let j(g) = -3*g + 3 + 3 + 1 - 3. Is 8 a factor of j(b)?
False
Suppose -5*m = 5*y - 370, -3*y + 4*m + 58 + 185 = 0. Is 21 a factor of y?
False
Does 12 divide (-1)/(2/(-80)) - -1?
False
Let u(r) = -15*r - 1. Let k(j) = -j**2 - 2*j. Let q be k(-3). Is u(q) a multiple of 24?
False
Let g(x) = -47*x - 6. Does 22 divide g(-2)?
True
Suppose -r - 152 = -2*j + 4*r, -j - 3*r = -76. Does 13 divide j?
False
Let s(j) = -8*j - 3. Let c(p) = p**3 + p**2 + p - 3. Let v be c(0). Is s(v) a multiple of 9?
False
Let f = -21 - -43. Is 11 a factor of (f/(-4))/((-1)/4)?
True
Let d = -6 + 24. Let w be d - (-6)/3 - -1. Let m = -12 + w. Does 8 divide m?
False
Suppose 35 + 26 = b. Is 24 a factor of b?
False
Suppose 24 = 3*m - 3*x, 5*x + 20 = 5*m + 4*x. Suppose 2*n - 2*k - 38 = -0*k, 9 = m*k. Does 11 divide n?
True
Suppose 0 = 3*w + w - 16. Let s(n) = -n**3 + 4*n**2 + 2. Let p be s(w). Suppose -d = 5*i - 205, 3*d - 195 = -3*i - p*i. Does 21 divide i?
True
Let p be ((-40)/30)/((-2)/9). Suppose 5*i - p = -3*u + 46, -i = -2. Is 14 a factor of u?
True
Let n be (6 - 1)*1*-1. Let h = -3 - n. Suppose -4*k - h*z + 16 = 2*z, 5*k + 3*z = 20. Does 4 divide k?
True
Let s be (-4)/(-1)*(-3 - -4). Suppose s*o = i + 3*i - 64, 0 = 4*o + 2*i + 40. Let y = 29 + o. Is 8 a factor of y?
False
Let b(j) = j - 1. Let p(d) = -9*d + 4. Let x(t) = -5*b(t) - p(t). Let n = -2 - -3. Is x(n) a multiple of 2?
False
Let b(v) = -v - 1. Let j be b(-1). Let u(i) = -i - 3. Let n be u(j). Let t = n - -5. Does 2 divide t?
True
Let x(s) = 4 - 5 - 2*s - 3. Let m be x(-3). Suppose -6 = -2*y - m. Does 2 divide y?
True
Let w(v) = v + 8. Let s(p) = p**3 + 6*p**2 + 6*p + 1. Let b be s(-5). Is 4 a factor of w(b)?
True
Suppose w - 3 = -5*b + 5, -6 = 2*b + 5*w. Suppose -b*x + 18 = -4*f, 3*f + 9 = 2*x + 2*f. Is 3 a factor of x?
True
Suppose 205 = -3*t + b, -130 = t + t - 4*b. Let j = t + 40. Let r = -5 - j. Is 12 a factor of r?
True
Suppose -2*y - y + 12 = 0. Suppose h = -2*h - s + 145, 2*s + y = 0. Does 29 divide h?
False
Suppose -15 = -0*t + 5*t, -4*t + 24 = 2*r. Let m = r - 5. Is m a multiple of 5?
False
Let q(i) = 14*i - 2. Let u be q(-2). Let x = u - -63. Is x a multiple of 20?
False
Let q(r) = -7*r**2 + 15*r - 13. Let t(b) = 4*b**2 - 8*b + 7. Let f(v) = 3*q(v) + 5*t(v). Let n be f(3). Is 15 a factor of -1*4/n + 47?
True
Suppose 0 = -76*f + 75*f + 52. Is 3 a factor of f?
False
Suppose -5*r - 6 = -2*q - 2*q, -5*r + 3*q = 2. Let p = -6 + 15. Suppose r*b - 41 = -p. Is b a multiple of 16?
True
Suppose -2*n + 2 = -4. Suppose 5*c - 120 = -5*z, -5*z + n*z - 36 = -2*c. Does 12 divide c?
False
Suppose -2*z - 2*z = u - 46, 3*z + 168 = 3*u. Does 6 divide u?
True
Let u(v) = v**3 + 4*v**2 - 6*v + 2. Let y be u(-5). Let r = y + -3. Is r a multiple of 4?
True
Let l(t) = 14*t - 2. Let m be l(7). Suppose 3*z - 5*u = m, 2 = 2*u + 8. Is 9 a factor of z?
True
Let i(u) be the third derivative of u**5/30 - 7*u**4/24 - 4*u**3/3 + u**2. Is 11 a factor of i(6)?
True
Let x = -2 - -7. Suppose x*a - 60 = a. Is 15 a factor of a?
True
Let v(x) = -x**3 + 4*x**2 - x - 4. Is 31 a factor of v(-3)?
True
Let l = 3 + 5. Is 20/(-3)*(-12)/l a multiple of 5?
True
Let p(z) = z**2 - 7*z - 34. Is 3 a factor of p(12)?
False
Let r be (-2 + 3 + 0)*40. Suppose 6*u - r = u. Does 8 divide u?
True
Suppose -10 = 6*f - f. Let k be (-8)/(-3) - f/(-3). Suppose -u = -1 - 1, 2*l - 48 = k*u. Does 26 divide l?
True
Let r(f) = 7*f**2 - 5*f - 6. Does 18 divide r(5)?
True
Let h be 9/(-6)*20/(-6). Suppose 0 = y - h*x, -3*y + x + 19 = 5*x. Is 3 a factor of y?
False
Suppose -8 = 4*k, k + 10 = -4*h - 4*k. Let r be 8 - h - (1 - -1). Is 11 a factor of (-11)/(0 - 3/r)?
True
Let g = 18 - 33. Let f = 21 + g. Is 6 a factor of f?
True
Let b(r) = r + 18. Let i = 4 - 4. Is b(i) a multiple of 8?
False
Let w be ((-24)/(-30))/((-1)/(-5)). Suppose -w*a = 5 - 49. Is a a multiple of 7?
False
Suppose -a = 2*v - 29 + 8, 0 = 4*a - 4. Is (-96)/(-1)*5/v a multiple of 12?
True
Let h(q) = -q**2 + 2 - q**2 + 0*q**2 + 6*q**3 + q**3 - q. Does 24 divide h(2)?
True
Suppose -6*z + 1 = -155. Does 26 divide z?
True
Suppose -5*o = -4*o - 11. Is o a multiple of 10?
False
Let n(o) = -12*o + 6. Is n(-7) a multiple of 9?
True
Suppose -118 = -3*a + 2*a. Suppose a + 66 = 4*r. Does 13 divide r?
False
Suppose 5*h - 120 = 3*x, 2*h + x - 62 = 5*x. Is 7 a factor of h?
True
Suppose 0 = 4*w + 8, -k = 3*w - 8*w - 18. Let z(t) = 4*t + 2. Is z(k) a multiple of 14?
False
Let q = 8 + -14. Let w be 18/(-21)*(-1 + q). Let b = -1 + w. Is 3 a factor of b?
False
Suppose 0 = -4*i + i + 246. Does 21 divide i?
False
Suppose 0 = 20*z - 3811 - 1049. Is 37 a factor of z?
False
Let c = -1 + 1. Suppose -2*n + c*n = -16. Let k = -2 + n. Does 3 divide k?
True
Suppose 26 = 4*m - 2*o, 0 = -7*m + 5*m - 4*o - 2. Suppose 0 = 5*k - 20, 0*k = -m*a - 3*k + 97. Is 4 a factor of a?
False
Suppose -5 = z, -p + 37 = -4*z - 208. Is p a multiple of 57?
False
Suppose -2*t = -2*b - 4*t + 296, 2*b + 5*t - 296 = 0. Does 16 divide b?
False
Suppose -34 = -3*m + 26. Let x = m + 2. Is x a multiple of 19?
False
Let z(w) = -4*w**3 + w**2 + 4*w - 1. Is 16 a factor of z(-3)?
False
Let n(o) = -11*o**3 + 2*o**2 - 1. Suppose -2*p + 3 - 5 = 0. Is n(p) a multiple of 4?
True
Suppose 3*c = -5*d + 282, d - 3*c - 58 = -4*c. Is d a multiple of 18?
True
Let q be -3*(-4)/(36/15). Suppose -4*j = 4*a - 24, a = -4*j + 12 + 12. Suppose -2*s + j*s + 36 = 2*v, q*s + 24 = v. Is 5 a factor of v?
False
Suppose 5*n - 63 + 13 = 0. Let c be ((-12)/n)/(2/(-20)). Let z = c - -5. Is z a multiple of 17?
True
Let l(q) = 6*q + 6. Let z(t) = -12*t**3 - t**2 - 2*t - 1. Let m be z(-1). Let i = 17 - m. Is l(i) a multiple of 14?
False
Suppose 53 = 2*c - 49. Is c a multiple of 23?
False
Let g(s) = 2*s**3 + 3*s**2 - 4*s + 1. Let m be g(4). Let f(t) = -t**2 + 13*t + 8. Let w be f(6). Suppose -3*k + m = w. Is k a multiple of 13?
False
Let x(g) be the third derivative of 2*g**2 + 1/24*g**4 + 0*g + 0 + 0*g**3 + 1/60*g**5. Does 2 divide x(-2)?
True
Let f = -6 + 25. Suppose -f = -0*w - w. Is w a multiple of 19?
True
Suppose x - 296 = -3*x. Let o = 46 - x. Is 4 a factor of (7 - 8)/(2/o)?
False
Let r = 49 - 0. Does 17 divide r?
False
Let h(j) = j**3 + 2*j**2 - 4*j - 3. Let g be h(-3). Suppose 5*y + g*y = 30. Suppose -3*n = -4*n + y. Is n a multiple of 2?
True
Let h(p) = -p**3 - 10*p**2 - 3*p - 2. Is 18 a factor of h(-10)?
False
Let r = -64 - -100. Is (r/14)/((-15)/(-70)) a multiple of 11?
False
Let l be ((-20)/(-2))/2 - 3. Let f(z) = z**3 + 2*z. Does 4 divide f(l)?
True
Let x = -1 + 3. Suppose 2*y + 36 = -x*y. Let i = y - -20. Is i a multiple of 7?
False
Suppose 25 = t + 8. Let a = 30 + t. Does 12 divide a?
False
Suppose 2*w - 5*w = -4*t - 15, -2*t = 5*w - 25. Suppose -4*o = -w - 11. Suppose o*r = -3*s + s + 36, 0 = -3*r - s + 26. Does 8 divide r?
True
Is 14 a factor of 98/245*(141 + -1)?
True
Let k = 10 + -11. Suppose 0 = 3*b + 2*b + 10. Is 20*((k - -4) + b) a multiple of 10?
True
Suppose -518 = -16*l + 14*l. Is l a multiple of 28?
False
Let c(i) = 2*i + 5. Let s be c(-4). Let x be (0 - -2) + (s - -5). Suppose -x*r + 11 = -17. Is 3 a factor of r?
