+ 5*f - 7, 3*m = -3*f - g. Let r(d) = -3*d**3 - d**2 - 4*d - 3. Is 7 a factor of r(m)?
False
Suppose 0 = 3*d - 301 + 58. Is 27 a factor of d?
True
Let q(g) = -g**3 + 7*g**2 - 6*g + 2. Let p be q(5). Suppose 17*m = p*m - 50. Does 10 divide m?
True
Let j = -23 - -59. Is j a multiple of 18?
True
Suppose 5*s = 11*s - 294. Does 31 divide s?
False
Suppose -5*q + 108 + 182 = -2*j, -5*q + 5*j + 305 = 0. Is 12 a factor of q?
False
Suppose -2*b + 3*b = 2. Let d be b/8 - 15/(-4). Suppose 6*t - 3*t = 5*f - 124, -2*f + 44 = -d*t. Is 13 a factor of f?
True
Does 30 divide (-2)/4 + (-2863)/(-56)*4?
False
Let u(n) = -5*n - 3*n**2 - n + 4*n**2 + 7. Let z(h) = h**2 + h + 7. Let j be z(0). Is 14 a factor of u(j)?
True
Suppose 4*v - 142 = 11*k - 13*k, -5*v - 3*k + 178 = 0. Is v a multiple of 5?
True
Suppose -7*k - 2*m - 342 = -4*k, 0 = 2*k - 3*m + 215. Let r = -47 - k. Is r a multiple of 28?
False
Is -2 - 492/(-4 + 1) a multiple of 27?
True
Suppose -3*o + 0*o = -87. Is 14 a factor of o?
False
Let r = 48 - 21. Does 27 divide r?
True
Does 10 divide (46/8 + -2)*4?
False
Suppose 14 = 2*z - 20. Let j = -4 + z. Is j a multiple of 13?
True
Let v = 60 + -11. Is v a multiple of 8?
False
Is 49 a factor of 4 + 10/4*40?
False
Let r be (-2)/8 - 61/(-4). Suppose -2 = 4*z + 3*m - r, 2*m = -2*z + 8. Let v(q) = 6*q**2 + q - 1. Does 6 divide v(z)?
True
Suppose -4*q - 5*l = 9, 5*q - 4*l - 53 = -13. Is q a multiple of 4?
True
Let q be (-2)/(1*(-6)/15). Let v = q + -3. Suppose -v*i + 27 = 5. Is i a multiple of 8?
False
Let p(n) = 2*n**3 + 2*n**2 - n. Let h be p(1). Suppose 0 = -2*m - 2*m + i - 30, h*i + 14 = -m. Is 8 a factor of m/28 + (-116)/(-14)?
True
Suppose -w + 6 = 2*a - 1, 2*w - 2*a + 16 = 0. Is (3 + -5)*(w - -1) a multiple of 3?
False
Suppose 2*h - 26 = -4*x, 2*x - 6*x + 5 = -5*h. Suppose 3*o - h = 57. Is 8 a factor of o?
False
Suppose 2*v = -3*v + 2*c + 225, 135 = 3*v + 4*c. Suppose v = -0*h + 5*h. Is h a multiple of 3?
True
Let b be 66/2*(-4)/3. Is 11 a factor of (b/(-8))/((-2)/(-12))?
True
Suppose -b - j = 2, -4*j + 0*j - 29 = -3*b. Suppose -4*q - 36 = 5*p - 269, -b*q + 171 = 3*p. Suppose 3*t - q - 2 = 0. Is t a multiple of 9?
True
Suppose -o - 10 = -4*j + 5, 4*j = -4*o. Does 12 divide 181/j - (-5)/(-15)?
True
Let w(f) = -f**2 - 8*f - 5. Let h be w(-7). Let q(v) = -v. Let t be q(h). Is 16 a factor of (-12 + -4)*(1 + t)?
True
Is 29 a factor of (-1 + 3)/(((-6)/(-87))/1)?
True
Let j = 78 - 62. Does 4 divide j?
True
Let r(a) = -a**2 + 13*a + 12. Does 8 divide r(12)?
True
Let t be (-1 - 1)/(1/1). Let a(r) = 4*r**2 + 2*r + 2. Let b be a(t). Does 9 divide ((-108)/(-42))/(2/b)?
True
Let j(c) = -c**3 + 9*c**2 + 14*c - 9. Let w be j(10). Let k = w - -5. Is k a multiple of 10?
False
Let s be (1/(-2))/((-2)/52). Let q = 60 + -53. Let z = s + q. Is z a multiple of 10?
True
Let r = -3 + 2. Let g be r/(0 - 3/(-42)). Let w = -3 - g. Is 5 a factor of w?
False
Let p(s) = -s**2 + 0*s**2 - 3*s + s**3 + 2*s. Let h be p(0). Suppose h = 2*a + 8, 3*a = 4*n - 0*a - 28. Is 4 a factor of n?
True
Let k = 4 + 0. Suppose 7*p + 2*q = 2*p + 23, 0 = k*p - 2*q - 22. Is 2 a factor of p?
False
Suppose 0 = 6*c - 27 - 9. Suppose h + 2*l = 81, l + c = 2. Is 16 a factor of h?
False
Let x(w) = 196*w**3 - w - 1. Suppose 0 = -t - 4*t - 5. Let k be x(t). Is k/(-6) - 2/3 a multiple of 16?
True
Let u = -10 + 16. Suppose -2*m - 52 = -u*m. Is 6 a factor of m?
False
Suppose 4*y = 3 + 5. Suppose 0 = y*t - 5*t + 234. Suppose 2*b - 63 = -b - 3*s, -4*b + t = 2*s. Does 9 divide b?
True
Suppose 30 = -5*w - 5. Let z = 11 + w. Does 2 divide z?
True
Is 20 a factor of (-26)/39*303/(-2)?
False
Suppose 5*c = -142 - 118. Let k = c + 80. Does 14 divide k?
True
Suppose 4*d = d + 15. Is 3 a factor of d?
False
Let f(q) = 2*q**2 - 7*q - 6. Is 9 a factor of f(9)?
False
Suppose -7*z = -72 - 12. Is 4 a factor of z?
True
Let o(w) = 2*w. Suppose -i + 12 = 2*i. Let d be o(i). Let a = d - 2. Does 2 divide a?
True
Suppose 2*u - 68 = 4*y, -y - 3*u = -5*y - 68. Let z = y - -3. Let q = 23 + z. Does 6 divide q?
False
Suppose 2*y = -5*v - 20, -5*y + 5*v + 6 = -14. Suppose 5*b - 54 + 19 = y. Is b a multiple of 5?
False
Suppose -s + 1 = 2*d - 7, 0 = -2*s. Suppose 0 = d*m + m - 25. Does 2 divide m?
False
Let w = 43 + 9. Is w a multiple of 21?
False
Suppose 0 = 11*d - 10*d - 88. Is d a multiple of 41?
False
Suppose -4 = -s - 3*z, 2*s = 2*z - 17 + 57. Is s a multiple of 4?
True
Let p(w) = -w**2 - 8*w + 3. Let g be p(-6). Is 8 a factor of 2/5 + 114/g?
True
Suppose -2*m + 8 = 2*m. Suppose 3*x = -m*f + 36, 4*x + 69 = 5*f + x. Is 9 a factor of f?
False
Let a(b) = -b**2 + 8*b + 5. Let c be a(8). Suppose -31 = -5*n - 3*o, 0 = -n + o - 1 + 4. Suppose n*f - t - 80 = -0*t, 4*f + c*t - 35 = 0. Does 9 divide f?
False
Let f = 4 - -1. Suppose 30 = 2*l - 5*j, -28 = -f*l + 4*l - 4*j. Is l a multiple of 8?
False
Suppose -3*c - 27 = 5*k, -3*c + 1 + 2 = -5*k. Let f = k + 6. Is (-3 - -3) + f - -4 a multiple of 7?
True
Let k = 29 - 16. Does 13 divide 25/2 - k/(-26)?
True
Let t(c) = -26*c. Suppose 3 = -2*k + u, 0 = k + 5*u - 4*u. Does 26 divide t(k)?
True
Let h be (-24)/(-30)*5/2. Let c(x) = 22*x + 4. Is c(h) a multiple of 12?
True
Suppose 0 = 4*x + 5*v + 10, -7 = 4*x + 3*v - 1. Let u = x - -21. Is 7 a factor of u?
True
Does 15 divide (-40)/16*(-26)/1?
False
Let l be 24/2*(-4)/6. Let a = l - -3. Does 12 divide (80/(-6))/a*6?
False
Let c be (5 - 3) + 4 + -1. Suppose -76 + 426 = c*z. Suppose 7*v = 2*v + z. Is 14 a factor of v?
True
Suppose -2*w + 4 = -h, -3*w + h = -2 - 2. Suppose 3*c - 79 - 35 = w. Is 12 a factor of c?
False
Let m be -1 - -2 - 66/2. Let y(x) = x**2 - 4. Let v be y(-8). Let n = v + m. Is n a multiple of 14?
True
Suppose 0*y - y - 4 = 0. Is (-87)/(-9) - y/(-6) a multiple of 9?
True
Let d(n) = -12*n - 2. Does 36 divide d(-11)?
False
Suppose -7 + 0 = -3*a - 4*k, 5*k + 15 = a. Suppose a*s = -3*j + 175, 4*j + 20 = 4*s - 120. Suppose 3*q - s = -2*q. Is 3 a factor of q?
False
Suppose 2*k - 4 = -c, 2*k + 20 = 2*c + c. Let a = 2 - c. Is 20 a factor of a/(1 - 33/30)?
True
Let b(f) = 2*f + 2. Let g be b(6). Suppose -38 - g = -4*x. Let i = -7 + x. Does 3 divide i?
True
Let q(o) be the second derivative of -o**5/4 + o**4/6 + o**3/3 + o**2/2 - 5*o. Is q(-1) a multiple of 3?
True
Let q = 61 + -35. Suppose 5*n - 7 = 23. Does 2 divide q/6 + 4/n?
False
Suppose 0 = 32*f - 38*f + 690. Does 38 divide f?
False
Let t = -11 - -25. Let m = 17 - t. Is m a multiple of 3?
True
Let k(b) = b**2 + 6*b + 6. Let y be k(-7). Let o = -9 + y. Is 74/o + 1/(-2) a multiple of 9?
True
Suppose 4*p = -5*p - 27. Suppose -2 = -4*m - 34. Let h = p - m. Is h a multiple of 2?
False
Let o(c) = c + 2. Let g be o(3). Let m = 9 - g. Is (-2 - (-21)/6)*m a multiple of 6?
True
Let f = -429 + 687. Is f a multiple of 43?
True
Let n = 1 - 0. Let g(t) = -t**3 - t**2 - t + 1. Let i be g(n). Does 7 divide 14 - (i + 2 + -1)?
False
Suppose -3*j + 0 = 264. Let z = 137 + j. Suppose 2*k - 4*k - 6 = 0, k = 2*d - z. Does 18 divide d?
False
Suppose -4*h - 3*i - 2*i + 10 = 0, 8 = -h + 4*i. Let s(p) = p**3 + p**2 + 74. Is 16 a factor of s(h)?
False
Let a(j) = j**2 + j + 3. Suppose -6 = 3*i - 0*i, 2*q - 4*i = 16. Let y be a(q). Let o = -6 + y. Is o a multiple of 17?
True
Let v = -21 + 63. Is 24 a factor of v?
False
Is 39 a factor of 9/((-27)/(-6)) + 190?
False
Let t(u) be the first derivative of u**2/2 + 3*u + 1. Let d be t(0). Is 16 a factor of 12/(-18) + 146/d?
True
Suppose -5*j + 3*j + 144 = 0. Is 18 a factor of j?
True
Let i(f) = -f - 1. Let q(o) = o**2 + 5*o - 1. Let l(m) = -5*i(m) - q(m). Is l(0) even?
True
Suppose 3*d + 9 = 3*w, 0 = -4*d - 5*w + 15 - 0. Suppose -7*q + 2*q + 20 = d. Suppose q*j + 4 = 16. Is 2 a factor of j?
False
Let x = -47 + 87. Is 18 a factor of x?
False
Let q be (-1)/(1 + (-2)/3). Does 5 divide 9/(-3)*8/q?
False
Let x = 1 + -2. Let i = x - -20. Suppose -5*a + 189 = i. Is 17 a factor of a?
True
Let v(o) = 5*o - 5. Let r(h) = 4*h - 4. Let s(w) = -6*r(w) + 5*v(w). Let z be s(3). Suppose -2*p - b + z*b + 50 = 0, -44 = -2*p - 2*b. Is 12 a factor of p?
True
Suppose -n - 20 = -75. Does 9 divide n?
False
Let p(o) = 5*o - 6. Let g(u) = 11*u - 13. Let t(z) = -6*g(z) + 13*p(z). Let d(b) = 11*b + 1. Let h(k) = d(k) + 2*t(k). Does 14 divide h(3)?
True
Let p(w) = 47*w - 1. Let i(o) = o**3 + 4*o**2 + 3*o + 1. Let f 