t j = -156 - -170. Is 3 a factor of j?
False
Let l(w) = 2*w**2 + 3*w - 6. Let g(v) = v**2 + v - 3. Let r(a) = -7*g(a) + 3*l(a). Let n be r(3). Let t(s) = s**2 + 38. Is t(n) a multiple of 22?
False
Suppose -y + z = 12 - 36, 95 = 4*y - 5*z. Suppose r = 2*n - 140, -n - 4*r + 27 = -y. Does 18 divide n?
False
Let m = -12 - -3. Let q = m + 27. Is q a multiple of 9?
True
Let m(o) = o**3 + 7*o**2 - 2*o + 5. Does 12 divide m(-5)?
False
Suppose 75*f = 77*f. Let t(z) = -26*z - 2. Let a be t(-6). Suppose r + 3*k = -4*r + a, f = -3*r + 5*k + 72. Does 17 divide r?
False
Suppose 5*u - 30 - 5 = 2*y, 2*y = 4*u - 26. Let w be (5/(-4))/(3/(-72)). Let m = w - u. Does 11 divide m?
False
Let a(p) = p**2 + 3*p - 36. Is a(8) a multiple of 13?
True
Is 10 a factor of 1/3 - (-322)/6?
False
Suppose 42 = -3*s + 3*l, l - 4 = 1. Let v = -3 + s. Does 15 divide (112/v)/(2/(-9))?
False
Let j(a) = -2*a - 1. Let r(f) = f + 1. Let d(l) = -2*j(l) - 3*r(l). Does 6 divide d(13)?
True
Let p = 33 + 31. Suppose -3*a - 3*k = -8*k - 48, 0 = 4*a + 2*k - p. Is 8 a factor of a?
True
Let f(j) = -j**3 + 7*j**2 + 8*j + 2. Let g be f(8). Suppose -31 = -g*v + 11. Suppose v = u - 9. Is 10 a factor of u?
True
Suppose -5*y + 0*y = 0. Suppose -5*b + b + 132 = y. Is b/6*(-3 - -5) a multiple of 4?
False
Let g = -14 - -15. Is (-804)/(-12) - (2 + g) a multiple of 16?
True
Let b = -17 - -57. Is 10 a factor of b?
True
Let n be (3 - 1)/(16/24). Suppose -3*u = n*x - 72, -u = 4*x - 12 - 18. Is u a multiple of 11?
True
Let d(z) = -z**3 - z**2 + 30. Does 4 divide d(0)?
False
Is ((-16)/(-10))/((-6)/(-105)) a multiple of 3?
False
Let t(w) = 12*w**2 - w - 13. Is t(4) a multiple of 35?
True
Suppose -4 = -5*t + 1. Is 5 a factor of (0 - 5)*(0 - t)?
True
Suppose -x + 51 = -j, -2*j = -3*x + 15 + 140. Suppose -3 = -4*g + x. Suppose -3*u + g = -7. Is 3 a factor of u?
False
Does 7 divide (1 - 1) + -8*(-19)/2?
False
Let i(n) = -10*n. Let a be i(-1). Suppose -4*q - a + 118 = 0. Is q a multiple of 12?
False
Suppose 2*r = -2*w + 3*w - 120, 10 = 5*r. Suppose 3*g = 4*q + w, 5*g = 3*q - 0*q + 225. Is 16 a factor of g?
True
Let t be 1/5 - (-89)/5. Let v = -12 + t. Is 15 a factor of ((-17)/3)/((-1)/v)?
False
Let p(c) = 8*c - 6. Let j be p(-7). Let l = -52 + -39. Let h = j - l. Is 18 a factor of h?
False
Let c = -11 - 17. Is c*((-3)/6)/1 a multiple of 5?
False
Let b = -45 - -65. Is 10 a factor of b?
True
Suppose g - 3*r = 6, 4*g - 5*r + 12 = -2*r. Let m = -3 - g. Suppose -m*b + 20 = 2*b. Does 4 divide b?
True
Suppose 10 - 50 = 5*x. Is 17 a factor of -2*4/(x/17)?
True
Suppose -u - 2 = -m, 4*u - u + 3*m + 30 = 0. Suppose z = 3*x + 29, -z = -6*z + 5*x + 105. Let v = u + z. Is 4 a factor of v?
False
Let g(b) = -b**3 + 6*b**2 - 6*b + 7. Suppose -5*i = -j - 30, 3*i + 2*j - 30 = 5*j. Let a be g(i). Suppose 0 = -3*d + 3*c + 9, a = 2*c - 2. Is d a multiple of 5?
True
Let h be (-18)/6*(-1)/3. Suppose 2*u + 28 = 4*x, 0 = u + u + 5*x + h. Let f = 24 - u. Is 16 a factor of f?
True
Let s(z) = -z - 3. Let o be s(-3). Suppose o*k + k - 6 = 0. Suppose -k*j + 195 = -j. Is 14 a factor of j?
False
Let y be (3/6)/((-1)/(-20)). Let d = y - -10. Is 20 a factor of d?
True
Let f(p) = -p**3 - 9*p**2 - p - 8. Is 19 a factor of f(-10)?
False
Let n(s) = -6*s + 7. Let y(x) = 0 - x + 1 + 2*x. Let r(p) = n(p) + 5*y(p). Is 6 a factor of r(0)?
True
Let s = 4 + 71. Suppose 3*y = 5*x + s, -y - x + 3 = -14. Suppose 25 = 5*q - y. Is 3 a factor of q?
True
Let u(q) = q - 7. Let n be u(7). Suppose -3*w - 5*x = -128, 2*w + w - 3*x - 96 = n. Does 18 divide w?
True
Suppose -4*s + 77 = -123. Does 10 divide s?
True
Let h be -2 + 384 + (0 - -2). Suppose 2*u = -u + h. Suppose 2*i = 6*i - u. Is 16 a factor of i?
True
Let n(x) = -x**3 - 6*x**2 - 2*x - 5. Suppose u + 12 = -u + 5*k, 5*u + 30 = 5*k. Does 2 divide n(u)?
False
Let j = 3 - 1. Suppose a + 6 = -3*a + j*z, -5*z = -5*a - 10. Let c(m) = -12*m**3 - m**2 - 2*m - 1. Does 12 divide c(a)?
True
Let o(m) = 19*m - 5. Does 12 divide o(4)?
False
Let v be (-23)/(-5) + (-2)/(-5). Suppose -39 = -v*a + 66. Suppose 5*p - a = 14. Is p a multiple of 7?
True
Let l be 4/14 + (-24)/(-14). Let u(a) = 2*a**3 + 5*a + 1. Let n(j) = -j**3 - 3*j - 1. Let w(t) = 5*n(t) + 3*u(t). Is w(l) a multiple of 5?
False
Let k(p) = p + 5 - 2 + 6. Is k(-7) a multiple of 2?
True
Suppose h + 2*p - 2 = -3*h, -4*p + 4 = 0. Suppose 2*f = -3*x + 7, -4*x = f - h*f - 1. Does 5 divide f?
True
Let d(f) = -3*f**2 + 1 - 5*f + 3*f**3 + 4*f**2 + 6*f. Let k be d(-1). Is 9 a factor of k - (-20 - 6/(-3))?
False
Let p(g) = -g**3 - 5*g**2 - 3*g + 6. Let q = 6 + -1. Suppose -2*n + 4*u - 5 = 3*u, -2*u + q = -3*n. Is 21 a factor of p(n)?
True
Let l = 7 + -3. Suppose l*w - 20 = -4*h, -w = 2*w - 4*h - 1. Suppose 0 = q + f - 3, -q - 5*f + 10 = w*q. Is q a multiple of 2?
False
Let c(f) = -11*f - 1. Suppose -2*j + 5 = -4*b - 1, 2*j = -4*b - 10. Is 10 a factor of c(b)?
False
Let w = -15 + 15. Suppose 2*o + o - 99 = w. Is o a multiple of 13?
False
Suppose y + 140 = 6*y. Is 14 a factor of y?
True
Let c = 10 + -5. Suppose -c*j = -10*j. Suppose 2*h + h - 6 = j. Is h even?
True
Let z = -28 - -241. Does 18 divide z?
False
Let k be (10/6)/(3/(-9)). Let d be (-2)/k + 162/(-5). Let j = 50 + d. Does 9 divide j?
True
Let g be ((-1)/1)/((-7)/35). Let u(b) = -15*b - 15. Let j(m) = -7*m - 7. Let h(v) = -13*j(v) + 6*u(v). Is 5 a factor of h(g)?
False
Let y(m) = -3*m - 10. Suppose 3*r - 1 = -3*v - 22, 4*r - 53 = 5*v. Let g(j) = 12*j + 39. Let k(c) = v*y(c) - 2*g(c). Is k(9) a multiple of 20?
False
Suppose -2*h = 4*g - 26, 2*g - h - 19 = -4*h. Suppose 0 = -5*d + 3 - 23, g*u - 380 = 5*d. Suppose -5*r - 2 = -u. Is r a multiple of 14?
True
Let u = 13 - 10. Suppose k + u = 42. Does 13 divide k?
True
Suppose 20 = -0*t + 4*t. Suppose t*i - 77 = -a, -a + 20 + 47 = 3*i. Does 21 divide a?
False
Let o be (42/(-9))/(6/81). Let m = o + 127. Suppose -3*s + 54 = 3*h, 2*s + m = 6*h - 3*h. Is 11 a factor of h?
False
Let l(n) = -n**2 + 3*n + 45. Is l(0) a multiple of 9?
True
Let l be ((-6)/15)/(3/(-15)). Suppose 5 = -m - 0*m - 5*o, -l*o = 2*m + 2. Suppose -5*b + q + 97 = m, 0 = 4*b + q - 110 + 36. Is 16 a factor of b?
False
Let f = -15 - -15. Suppose f = g - 83 - 26. Is g a multiple of 34?
False
Let m(p) = -101*p + 1. Is m(-1) a multiple of 17?
True
Let d(r) = 9*r + 4. Suppose 5*c + 6 - 39 = -4*h, h = 4*c - 18. Let y be d(c). Suppose -4*s + 5*u = -105, -5*s - y = 5*u - 124. Is 10 a factor of s?
True
Let h = 78 - 48. Suppose -3*t + 21 + 37 = 5*k, -3*t = 3*k - h. Does 14 divide k?
True
Let u = -194 - -311. Is (-16)/6*u/(-12) a multiple of 19?
False
Suppose 3*y + 0*y + 6 = 3*t, -3*t + 5*y + 6 = 0. Let b be (7/1 - -2)*t. Suppose 0 = 2*s - 0*s - b. Does 9 divide s?
True
Let v(u) = 9*u - 4. Let c be v(-3). Let q = c - -47. Does 13 divide q?
False
Suppose 4*x - 434 = 174. Suppose 113 + x = 5*m. Is m a multiple of 16?
False
Let a = -18 + 36. Does 9 divide a?
True
Suppose -2*y - 4*l + 10 = y, 2*y - 1 = 3*l. Suppose -5*t + 2 = -2*z + 3*z, -t - 59 = -y*z. Does 9 divide z?
True
Let y = -11 + 8. Let x(q) = 4*q**2 + 2*q - 5. Does 25 divide x(y)?
True
Suppose 2*q = 4*i - 12, 4*i + i - 3*q - 15 = 0. Suppose -2*b - 4*u = -12, u - i = 2*b - 5. Suppose -3*z - b = -47. Does 15 divide z?
True
Let b(z) = z**3 - 7*z**2 + 6*z - 2. Let f be b(7). Let v = f - -14. Let r = v + -37. Does 17 divide r?
True
Suppose -3*h + 0*h + 150 = 0. Let o = 49 - 79. Let q = h + o. Is 10 a factor of q?
True
Let c = -152 - -164. Is 3 a factor of c?
True
Suppose c + 261 = 10*c. Does 15 divide c?
False
Suppose -y - 8 = y. Let r be (-1 - 1) + 10/(-5). Does 18 divide (y/(-2))/(r/(-72))?
True
Let v = 0 + 96. Does 32 divide v?
True
Let o = 71 + -63. Is 2 a factor of o?
True
Suppose h + 3*s - 19 = -h, 4*h + 3*s - 29 = 0. Suppose -h*k + 305 = -5*t, k - 2*t - 61 = t. Let y = -16 + k. Is 15 a factor of y?
True
Let i = 30 - 21. Suppose 6*m + 6 = 3*m - 2*c, -3*m + 3*c + i = 0. Let k(l) = -l**3 - l**2 + l + 6. Does 4 divide k(m)?
False
Suppose 4*x + 6*s - 4*s + 10 = 0, 5*s + 25 = 5*x. Suppose 4*d + 9 = 3*c, -2*c + d + 0 + 11 = x. Let b = c - 1. Is b a multiple of 6?
True
Suppose -232 = -5*m + m. Does 15 divide m?
False
Suppose -24*x + 1114 = -806. Is 35 a factor of x?
False
Let z = -2 + 2. Suppose 0 = -p + 5*l - z - 4, -100 = -5*p + l. Is p a multiple of 7?
True
Let v(c) = -c