e
Suppose 4 - 52 = -4*a. Is a a multiple of 4?
True
Suppose -8*j + j + 161 = 0. Does 12 divide j?
False
Suppose 0 = 3*f - 2*f + 14. Let y = f + 24. Is 10 a factor of y?
True
Suppose 2*g = 4*o + g + 19, 5*g = o. Let n(y) = y**2 + y + 6. Does 14 divide n(o)?
False
Let r(x) = 10*x**3 + 2*x**2 - 3*x + 8. Does 45 divide r(2)?
True
Let v = 2 - 0. Suppose 0 = -2*a + 4*i - v*i + 84, 4 = 4*i. Is a a multiple of 11?
False
Let x = -10 - -23. Suppose 3*i - x - 32 = -3*t, -2*i + 4*t = -12. Is i a multiple of 6?
True
Does 8 divide (-400)/75*3/(-2)?
True
Let l = 130 - 81. Is 7 a factor of l?
True
Let b = -48 - -12. Let j be (b - 0/(-2))/1. Let k = -12 - j. Is k a multiple of 12?
True
Let a be 74/3 + (-10)/15. Is (a/(-30))/(4/(-110)) a multiple of 10?
False
Let q(m) be the first derivative of -1/3*m**3 + 5*m + 4*m**2 - 3. Is q(6) a multiple of 17?
True
Let o be 11/(((-2)/(-4))/1). Suppose 3*q = -o + 124. Is q a multiple of 17?
True
Let y(f) be the first derivative of -3 - f**2 + 0*f - 4*f + 4. Does 11 divide y(-8)?
False
Let n(b) be the second derivative of b**3/2 + 5*b**2/2 - 3*b. Let g(u) = u + 2. Let c(y) = -7*g(y) + 2*n(y). Is c(-7) a multiple of 3?
True
Suppose -183 - 151 = -5*k + 3*r, 0 = 5*k + 3*r - 346. Let v be -2*2/(-2) + 2. Suppose -v*s - 2*x + k = 0, 3*x = 4*s + 2*x - 80. Does 18 divide s?
False
Suppose -3*k + 6*k = 108. Is 6 a factor of k?
True
Let s(g) = g + 7. Does 10 divide s(16)?
False
Suppose 5*z - 3*z - 17 = -5*q, 5*q + z - 21 = 0. Suppose 0 = -2*c + 2*a + 2*a + 52, -2*c + q*a = -47. Suppose -3*r + c = -r. Does 9 divide r?
True
Let y = 10 + 52. Is 18 a factor of -2 - 1*(1 - y)?
False
Let x be -7 + 4 + (-1 - -9). Suppose -3*d - 197 + 59 = -x*q, 3*q - 4*d = 85. Is q a multiple of 9?
True
Let y(j) = j**3 + 10*j**2 + 6*j + 5. Is 11 a factor of y(-7)?
True
Let u = 16 + -26. Let t = 10 + u. Suppose -3*r + 31 - 4 = t. Is r a multiple of 4?
False
Let f(h) = 3*h**2 - 3*h + 4. Let b be f(-3). Does 2 divide 224/b - 6/10?
False
Let b = 55 + -33. Is b a multiple of 11?
True
Suppose 0*b = -4*b + 16. Let r = -2 + b. Suppose 0 = r*o - 2*d - 30, 2*d + 25 = 3*o + 4*d. Is o a multiple of 6?
False
Let u be (8 - 3)*2/2. Suppose 95 = 3*v - 2*w + 3*w, 3*v - u*w = 83. Does 15 divide v?
False
Let n(d) = -5*d**3 + d + 1. Let h be n(-1). Suppose -t + 43 = h*g, -44 = -4*t + 2*t + 4*g. Does 19 divide t?
False
Let g(r) = r**2 - 3*r + 1. Suppose 0 = -3*z - 5*c - 3, -4*c + c - 17 = -2*z. Is 5 a factor of g(z)?
True
Suppose -3*o + 3*h = 323 - 20, 2*o + 210 = 4*h. Let m = -68 - o. Is 10 a factor of m?
False
Let r = 8 - 5. Suppose -l - 5*w = -33, l + 41 = r*l + 5*w. Suppose -126 = -l*b + 5*b. Is b a multiple of 21?
True
Let f(t) = 2*t**2 + 8*t. Let d(h) = -h. Let a(s) = 3*d(s) + f(s). Is 6 a factor of a(-4)?
True
Suppose -4*s + 8 = -2*s. Suppose 4*f = -s*r + 196, 5*r - 235 = 2*f + 3*f. Does 11 divide r?
False
Suppose -5*d + 0 + 10 = 0. Let a be ((-1)/d)/((-2)/4). Let k(f) = 7*f**2 + f. Does 8 divide k(a)?
True
Let v(t) = t**2 - t - 13. Is 17 a factor of v(9)?
False
Let y(r) = -16 + 2*r + 0*r**2 + 0*r + r**2 + 2*r. Is y(-7) a multiple of 5?
True
Let q(l) = -l**3 - 3*l**2 + 4*l + 3. Let a be q(-4). Does 2 divide 28/7 + 1*a?
False
Let l be (-128)/(-6) + (-3)/9. Let a = 37 - l. Is a a multiple of 8?
True
Let m = 5 + 0. Suppose 92 = m*p - 2*h, -5*h = -p - 0*p. Is 9 a factor of p?
False
Suppose 3*z = -a + 19 + 7, 2*z = -3*a + 50. Let w = -6 + a. Does 4 divide w?
True
Let z(s) = s + 4 - 3*s**2 - 9*s + 4*s**2. Let f be z(7). Does 13 divide 3/2*(-26)/f?
True
Let z = -3 + 5. Let u be 0/3 + z + 7. Let d(c) = c**2 - 6*c - 9. Is 15 a factor of d(u)?
False
Let t be (134 - 0) + 15 + -18. Let c = t + -67. Is 16 a factor of c?
True
Let s(i) = i**2 + 12*i + 1. Let l be s(-12). Is (-1)/(l/3) - -34 a multiple of 8?
False
Let z(j) = j**3 + 14*j**2 - 2*j + 14. Let v(c) = c**3 + 15*c**2 - 3*c + 13. Let m(n) = -2*v(n) + 3*z(n). Let w be m(-12). Does 11 divide (-2)/(4/2) + w?
False
Let i = 1 + -1. Suppose 4*d - 11 - 5 = i. Does 3 divide d?
False
Is 41 a factor of 486/8*(-128)/(-48)?
False
Suppose -4*a + 3*b - 25 = -5*a, 0 = 5*a - 3*b - 89. Let r = a - 5. Does 5 divide r?
False
Let x(f) = -13*f + 3. Does 7 divide x(-4)?
False
Suppose 10*t - 106 = 184. Is 8 a factor of t?
False
Suppose 23 + 0 = w. Is w a multiple of 3?
False
Suppose 4*m - 328 = 5*t, -3*m - 5*t + 3*t = -246. Let n = m + -49. Is 11 a factor of n?
True
Let y = -48 + 69. Does 3 divide y?
True
Does 33 divide 5 + -1 - (-387)/3?
False
Suppose u - 1 = 0, 3*m - 5*m = 5*u - 1. Is 3 a factor of (-5)/m*20/5?
False
Suppose 3*g - 102 = -3*g. Does 7 divide g?
False
Let g(u) = 37*u**2 - 3*u + 2. Is g(1) a multiple of 12?
True
Let g be 6/2*1/1. Suppose 0*p - 48 = -g*p. Suppose -t + 10 = -p. Is 13 a factor of t?
True
Suppose -3*w = -2*w + 1. Does 6 divide (-11 - -5)*1*w?
True
Suppose 4*j + 8 = 3*s - s, 3*s = -3*j - 6. Let t = j + 4. Suppose 0 = -5*n - t*g + 96, 12 = -2*n + 3*n - 2*g. Is n a multiple of 8?
False
Let p be 2/(-6) + 14/6. Is 0 + (-6 - p)/(-4) even?
True
Let d(v) = 11*v**3 + v**2 - 2*v. Let a be d(2). Suppose u - 1 = -4*c + a, -2*c = 4*u - 34. Is c a multiple of 6?
False
Suppose 60 = 4*s - 8*s. Let o = -4 - s. Does 5 divide o?
False
Let u(i) = i**3 + i**2 - 3*i - 3. Let c be u(-2). Does 9 divide (c/2)/(1/(-36))?
True
Let s = -408 - -692. Is (-12)/(-66) + s/11 a multiple of 13?
True
Let l be (0 - 0 - 2) + 2. Suppose 5*m - 32 = b, -4*m + 2*m - 3*b + 6 = l. Is m/(-8) - (-190)/8 a multiple of 10?
False
Let j(s) = -s - 2. Let i be j(-5). Is (0 + 9)/(1/i) a multiple of 22?
False
Suppose -v = v - 4. Suppose -3*s + 3*x = 18, 3*x - 16 = -2*s - v*x. Let u = s - -7. Is u a multiple of 2?
False
Let z(w) = 19*w**3 - w**2. Let f(y) = y**3 + 5*y**2 + 3*y - 3. Let c be f(-4). Is z(c) a multiple of 9?
True
Let a(d) = -3*d - 4. Suppose 3*i - 32 + 0 = 2*g, 4*i - 40 = 4*g. Suppose -5*r = 4*j + 2 - 1, 4*r - i = 0. Is a(j) a multiple of 3?
False
Let v(w) = -2*w + 11. Let i be v(8). Let o(s) = -9*s - 3. Is o(i) a multiple of 14?
True
Suppose 2*o = 121 - 11. Is 6 a factor of o?
False
Let q = 12 - 6. Let h be ((-2)/(-6))/(1/q). Is ((-1)/h)/(2/(-56)) a multiple of 7?
True
Let m = -5 + 5. Suppose 3*i + 5*u + 1 - 28 = m, -4*i - 2*u + 50 = 0. Is 5 a factor of i?
False
Suppose 5*k + h = 4*h + 4, -k = -5*h + 8. Suppose 5*y - k = -2*r, 2*r + 3*r - 2*y = 34. Suppose -r*l + 90 = -3*l. Is 12 a factor of l?
False
Suppose 3*n - 8 + 2 = 0. Suppose 0 = 5*k - 5*i - 45, -5*i + 27 = 3*k - n*k. Does 3 divide k?
True
Let j = 10 - 10. Suppose 3*n - 2*b = -j*n + 120, 3*b - 105 = -3*n. Does 19 divide n?
True
Suppose -3*p + 6 = -2*p. Suppose -2*x + 54 = 4*o + p, 48 = 2*x - 2*o. Is x a multiple of 11?
False
Let b be (-1)/((-2)/(-2)) - -2. Let q = b - 2. Is 21*(6/(-9))/q a multiple of 7?
True
Suppose 4*m = 8*m - 300. Does 11 divide m?
False
Suppose 4*z + 82 = 2*q, -5*z + 3*z = -2*q + 78. Let g = -83 + 57. Let k = q + g. Does 6 divide k?
False
Let l(g) = -2*g - 13. Let d be l(-8). Suppose 0 = y + r + 2*r + d, -2*r = -3*y + 46. Is 3 a factor of y?
True
Let z(d) = 9*d - 4*d - 6 + 6*d. Let g be z(-5). Is 3 a factor of g/(-7) - (-14)/49?
True
Suppose -7*x + 16 = -3*x. Suppose 4*d = 5*d - x. Is d a multiple of 4?
True
Let b(w) = 0*w**3 + 4*w - w**3 + 7*w**2 - 3*w - 7. Let n be b(7). Let i = 4 + n. Does 4 divide i?
True
Let g(y) = 46*y + 6. Is 16 a factor of g(3)?
True
Let s(l) = l**2 + 5*l - 2. Let j be s(-6). Suppose -4*f + 136 = j*u, 3*u - f = 23 + 75. Is u a multiple of 11?
True
Suppose -n + 2*i - 12 = -3*n, 57 = 5*n - 4*i. Suppose -3*d = n + 18. Let v(o) = -o**3 - 9*o**2 - 2*o - 6. Is v(d) a multiple of 5?
False
Let s(w) = w**2 + 6. Suppose -7*y - 4 = -3*y + j, 4*y = -2*j - 8. Let q be s(y). Let b(c) = 9*c - 6. Is 16 a factor of b(q)?
True
Suppose -c = 3*c - 2*t - 108, c = -4*t + 9. Is c a multiple of 24?
False
Let j = -325 + 457. Does 22 divide j?
True
Let q be (-4)/(-5)*170/4. Let o = q - 8. Does 13 divide o?
True
Let q be 21/(-6) + (-5)/(-10). Let j(m) be the first derivative of m**4/4 + 5*m**3/3 + 2*m**2 + 4*m - 1. Does 5 divide j(q)?
True
Suppose 0 = 2*k + 3*j + 5 - 2, -3*k + j + 12 = 0. Suppose 2*y + t = -k*y + 32, -y + 22 = -5*t. Is y even?
False
Let p = -44 - -98. Does 27 divide p?
True
Suppose 0 = 5*w - 5*l + 25, 2*w - l + 5 = -w. Is 20 a factor of 31 + 1/(-1) + w?
False
Suppos