of i?
False
Is 10 a factor of 4/(-16) - 202/(-8)?
False
Is 31 a factor of 2/(-8) - (-375)/12?
True
Let r(n) = -n**3 - 2*n**2 - n + 8. Let y(d) = -d**3 - 3*d**2 - d + 7. Let g(o) = 3*r(o) - 4*y(o). Is g(-4) a multiple of 12?
True
Let a = 176 - 95. Does 15 divide a?
False
Does 11 divide (-1385)/(-45) - (-4)/18?
False
Let g = -4 + 8. Suppose -s - 4*y + 15 = -13, -5*y + 101 = g*s. Is s/10*(-15)/(-3) a multiple of 5?
False
Let v(q) = -23*q + 4. Let p(o) = 35*o - 6. Let i(k) = -5*p(k) - 7*v(k). Is i(-2) a multiple of 9?
False
Let w be 2/7 - (-2536)/(-56). Let b = w - -75. Let j = -12 + b. Does 9 divide j?
True
Let r(u) be the third derivative of u**5/6 + u**4/6 - u**3/2 + 2*u**2. Let c be r(2). Let n = c + -2. Is 21 a factor of n?
False
Let a = 157 + -53. Suppose -2*n - 2*n = -a. Is n a multiple of 7?
False
Let g = 32 - 8. Is g a multiple of 10?
False
Suppose -3*p = i - 355, 5*p - 504 = -2*i + 89. Does 39 divide p?
True
Let s(a) be the first derivative of a**4/4 + 2*a**3 + 5*a**2/2 - 3*a - 1. Let m(r) = 3*r + 2. Let x be m(-2). Is s(x) a multiple of 5?
False
Suppose -229 = -3*m + 347. Is m a multiple of 12?
True
Suppose 5*l - 4*s - 284 = 0, -5*l - 4*s + 115 = -201. Is 5 a factor of l?
True
Let z(n) = 4*n**3 + n**2 - 3*n. Does 18 divide z(3)?
True
Let c(x) = x**2 - 3*x + 3. Let h be c(3). Let y be (-6)/4 - h/(-6). Is 11 a factor of 10 + y + (-4)/(-2)?
True
Let r(t) = t**2 - 6*t + 3. Suppose 14*y - 12*y = 14. Is r(y) a multiple of 4?
False
Let j(x) = x**3 - 9*x**2 + 9*x - 12. Let y be j(8). Is ((-33)/(-3))/(y/(-8)) a multiple of 14?
False
Let r(c) = -c - 2. Let l be r(-4). Suppose -3*t + l*t = -14. Suppose 0 = 3*a - a - t. Is a a multiple of 3?
False
Let m(s) be the second derivative of s**3/6 + s**2 + s. Let a be m(3). Let x = 3 + a. Is 5 a factor of x?
False
Let u(o) = -2*o - 16. Let x be u(-7). Is 9 a factor of (21*-1)/(-3) - x?
True
Suppose 4*m = 3*m - 4*d + 10, 5*d + 1 = m. Is -21*(1 - 22/m) a multiple of 28?
True
Let i(o) = -o**3 + 17*o**2 - 20*o - 34. Does 15 divide i(15)?
False
Let w(g) = 2*g**2 + 4*g + 10. Is 20 a factor of w(-5)?
True
Let g = 246 + -124. Suppose 0 = 2*q - 4*f - g, -f = 4*q - 2*q - 127. Is q a multiple of 14?
False
Let m be (-1*15)/((-3)/10). Suppose -4*x + 2 = -m. Is x a multiple of 7?
False
Does 8 divide (-319)/(-44) + (-6)/(-8)?
True
Is -2*(-3)/(24/28) a multiple of 3?
False
Let h = 51 - 35. Is h a multiple of 16?
True
Let q(y) = y**3 + 12. Let k be q(0). Suppose -3*d = -d - k. Is 6 a factor of d?
True
Let p = 16 + -11. Suppose -3*w + 217 = w - p*n, -2*n + 230 = 5*w. Is w a multiple of 24?
True
Let c(o) = -7*o**2 + 3*o - 2. Let q be c(2). Does 10 divide 96/(-9)*90/q?
True
Suppose 411 = -4*l + 7*l. Does 24 divide l?
False
Let j = -11 - -14. Suppose -3*u - j*d = -24, -3*u + 49 = -3*d + d. Is 6 a factor of u?
False
Suppose -36*x = -37*x + 258. Does 12 divide x?
False
Let t = 78 - 47. Let n = t + 11. Is n a multiple of 13?
False
Let q = 19 + -9. Suppose 3*n - q = 5. Is 5 a factor of n?
True
Let k = -4 - -6. Suppose 17 = -j - m, -j - 2*m - k*m = 14. Is 12 a factor of 0/3 + 2 - j?
False
Suppose -18 = -2*l + 6. Let i = 37 + l. Let p = i + -33. Is p a multiple of 13?
False
Suppose m - 5 = -1. Suppose 9*t - 30 = m*t. Is 94/t - (-4)/(-6) a multiple of 4?
False
Let l(j) = -20*j - 27. Is 19 a factor of l(-8)?
True
Let z be (-506)/(-9) + (-2)/9. Suppose 3*b - 109 = 4*u, 2*b - z = -2*u + 4*u. Let k = 5 - u. Is k a multiple of 12?
False
Let s(a) = a**3 + 5*a**2 - 7*a - 4. Let i be s(-6). Suppose -z - 1 - 1 = 0, o - i = z. Suppose -4*d - 5*k + 97 = o, 0 = 3*d - k - 2*k - 39. Does 9 divide d?
True
Suppose -3*y = 2*y + 2*c - 28, 0 = 2*y - 3*c + 4. Suppose y*t = -4*o + 116, -o + t = 3*o - 106. Let x = 7 + o. Is 14 a factor of x?
False
Suppose 6 = i - 3*r, 2*r - 47 = -0*i - 5*i. Let h = 3 + i. Does 6 divide h?
True
Let c(t) = t**2 - 7*t + 8. Let b be c(6). Is b + (-4)/(4/(-19)) a multiple of 10?
False
Suppose 2*q - 3*t = q + 52, -166 = -3*q + 4*t. Does 9 divide q?
False
Let v = 12 + -9. Suppose 0*k + k = -v*n + 82, -3*k = -3*n + 90. Is n a multiple of 12?
False
Suppose 2*b - 7*b = -4*d + 25, 4*b + 20 = -3*d. Let i(a) = -3*a - 8. Does 2 divide i(b)?
False
Let c = 9 + -7. Suppose c*z + 23 = -n - 2*z, -3*n - 41 = -2*z. Is 42/9*n/(-2) a multiple of 19?
False
Let s be (-20)/(-6) + (-4)/(-6). Suppose -14 = -s*o + 2. Suppose 0 = 2*w - j - 76, j = -o*j. Is 13 a factor of w?
False
Let a = -407 - -178. Let o = -155 - a. Does 37 divide o?
True
Suppose 4*s - 5*z + 3 = 4, 0 = -5*s + 2*z + 14. Let i(p) = -3*p - 1. Let k(x) = x. Let m(q) = -3*i(q) - 6*k(q). Is m(s) a multiple of 13?
False
Suppose 5*a - 375 = -5*o, -223 = -3*a + 3*o - 8*o. Is 9 a factor of a?
False
Let m(u) = -u**2 + 5*u - 1. Let y be m(3). Let p(v) be the first derivative of 2*v**2 + 7*v - 10. Is 11 a factor of p(y)?
False
Suppose 0 = 4*y - 3*y - 11. Let c = 2 + y. Is 13 a factor of c?
True
Suppose 5*h - 12 = 2*h. Let k = h + -12. Let c = 2 - k. Is 10 a factor of c?
True
Let v be 3*(4 + 2) + -2. Suppose d - 48 - v = 0. Is d a multiple of 20?
False
Let c(b) = 11*b**3 + 3*b**2 - 5*b + 5. Is c(2) a multiple of 19?
True
Is 18 a factor of (-5 - 22)/((-3)/14)?
True
Let x be 295/(-1 - -1 - -1). Suppose -x = a - 6*a. Does 20 divide a?
False
Let t be 2 + 0 + 4 + -1. Is (1 - t/3)*-60 a multiple of 14?
False
Suppose -n + 14 = 4*y - 2, 4*n - 104 = 4*y. Does 6 divide n?
True
Suppose -d + 5*d - 76 = 0. Suppose z = -3*s - 0 + d, -5*z + 2*s = -146. Is z a multiple of 14?
True
Let v(c) = -2*c**3 - 2*c**2 + 2*c + 2. Let t = -5 - -2. Is v(t) a multiple of 13?
False
Let h = 47 + 108. Is 8 a factor of h?
False
Suppose -7*q + q + 336 = 0. Is 7 a factor of q?
True
Let t be (-2)/2*(-3 + -2). Suppose -t*j - 16 = -6*j. Is j a multiple of 15?
False
Suppose -5*w = -3 - 12. Suppose t - w*t + 24 = 0. Does 4 divide t?
True
Does 13 divide (28/(-6))/((-14)/63)?
False
Is (-4)/(-38) + (-10016)/(-152) a multiple of 11?
True
Let o = 8 + -2. Suppose d - w = 23, o*d + 3*w = 3*d + 57. Is 7 a factor of d?
True
Let c = -7 + 37. Is 15 a factor of c?
True
Suppose 4*j + 240 = 9*j. Is 8 a factor of j?
True
Let s(k) = -k**3 + 11*k**2 + 8*k - 2. Let o be s(12). Let t = -11 - o. Is 13 a factor of t?
True
Suppose 15 = 6*z - z, -m - 2*z + 16 = 0. Does 2 divide m?
True
Suppose -4 = j + 3. Let i be (-2)/j - 48/(-28). Suppose i*q + 2*q - 76 = 0. Is 8 a factor of q?
False
Let a be (2 + 2)*(-2)/4. Does 2 divide 3/(-2) + (-23)/a?
True
Let x(v) = v**2 + 5*v + 12. Let p = 1 - 7. Does 6 divide x(p)?
True
Let t = 3 + -2. Let m be 0*t/(-1) + 0. Suppose -5*o + 3*h + h = -114, -5*h - 5 = m. Does 10 divide o?
False
Suppose 30 = 5*j + 3*r, -4*j = -0*j - 4*r + 8. Suppose -j*z - c + 31 = -z, -c = -5*z + 67. Is z a multiple of 14?
True
Let k = -11 - -14. Let l = 12 - k. Is l a multiple of 3?
True
Let f(s) = -s**3 - 6*s**2 - 8*s + 8. Is f(-6) a multiple of 4?
True
Let m be 18/(0 - -3) - 3. Suppose d - 7 = -m. Is 2 a factor of d?
True
Let v(s) = s**3 - 5*s**2 - 6*s + 2. Suppose -3*u + 2*u + 6 = 0. Let p be v(u). Suppose 0 = 4*f + p - 42. Is f a multiple of 4?
False
Let h be (-2)/((-3 - -1) + 1). Suppose -h*q + 22 = -4*i - 0*q, -3*i + 2*q = 16. Does 19 divide (-2)/(0 + i/57)?
True
Suppose -2*g = -3*c + 19, 3*c + 3*g = g + 11. Suppose -25 = c*b, -l + b - 3 + 15 = 0. Does 7 divide l?
True
Does 6 divide 17 + (-3)/(0 + -3)?
True
Suppose 3*g + 106 = 6*g + 2*x, 4*x + 4 = 0. Is g a multiple of 18?
True
Let b(f) = -f**3 - 9*f**2 - 8*f + 9. Let a be b(-9). Suppose -i + 3*t = 19, 5*i + a = -0*i + t. Is 7 a factor of -2 + (-8)/(-2) - i?
False
Let b(n) = 0 - 22*n + 4 + 20*n. Is b(-12) a multiple of 16?
False
Let n(g) = -3*g + 68. Does 14 divide n(0)?
False
Let q(b) = 1. Let d(n) = 3*n - 6. Let c(u) = -3*d(u) - 36*q(u). Is 13 a factor of c(-12)?
False
Let p(c) = -c**3 + 6*c**2 - 5*c + 4. Is 8 a factor of p(4)?
True
Let x = -5 + 3. Suppose -4*p + i = p + 9, 5*i = 3*p + 23. Is 6 a factor of p - x - 33/(-3)?
True
Suppose 0 = 2*j - o - 12, -3*o = 4 + 8. Let u(d) = -d**3 - d**2 - d + 40. Let k be u(0). Suppose 0 = i - 5, 4*i + k = y + j*y. Does 12 divide y?
True
Does 26 divide 5*(4 - (-64)/10)?
True
Suppose -468 = -10*p + 4*p. Does 13 divide p?
True
Suppose 4*j + 352 = 5*x, -x - 4*x = -j - 358. Is x a multiple of 24?
True
Let k be (-3)/12 - 10/(-8). Let f = -4 + k. Let t(i)