(j/32)?
True
Suppose 0 = o + f, -5*o - 2*f = -2*o - 2. Let b be (-3)/2*o/(-1). Suppose d = -b*d + 72. Is 8 a factor of d?
False
Suppose -2*g + 198 = -0*p - 3*p, -4*g + 392 = -4*p. Is 27 a factor of g?
False
Does 3 divide (-5)/15 - 19/(-3)?
True
Suppose p - 23 - 63 = 0. Is 27 a factor of p?
False
Let t be 49/5 - (-3)/15. Suppose 0 = 3*x - 5*x - t. Is ((-22)/x - 0)*5 a multiple of 7?
False
Let b = 139 + -83. Is 28 a factor of b?
True
Suppose 5 = -p + 9. Suppose 3*m = p*t - 67, 0*t + m + 31 = 2*t. Is t a multiple of 10?
False
Let w be (-2)/3 + 768/(-9). Is 10 a factor of w/(-8) - (-9)/(-12)?
True
Suppose 2*y = -2*y - 108. Is 18 a factor of (2 + -1)*(3 - y)?
False
Let c = -3 + -1. Is c/(4/(-19)) + -2 a multiple of 10?
False
Suppose 2*t = -4 + 52. Is 8 a factor of t?
True
Suppose -3*v + 6 = -0. Let l be -2 + 47 + v/(-2). Suppose 4*n + 4*q = 40, -q + l = 4*n + 2*q. Is 7 a factor of n?
True
Let m(v) = -v**3 + 4*v**2 + 3. Let f be m(3). Is (402/f)/((-2)/(-4)) a multiple of 14?
False
Let b(m) = 0 - 5*m**2 + 4*m**2 + 3 + 1. Is b(0) a multiple of 2?
True
Suppose a - 5 - 4 = 0. Let v = 18 - a. Does 3 divide v?
True
Let o(r) = -2*r**3 + 4*r - 3. Let c be o(2). Let z = -6 - c. Is z a multiple of 5?
True
Suppose 0 = -4*z - 3*l + 107 + 133, -5*z + 307 = 2*l. Does 7 divide z?
True
Let a(y) = 11*y**2 + 2. Is a(2) a multiple of 13?
False
Let k = 0 - 1. Let j be (8/(-16))/(1/(-6)). Is 11 a factor of (1/j)/(k/(-33))?
True
Suppose 0 = -n + 5*n + 16. Is 2 + -1 + 6 + n even?
False
Suppose 0 = 4*u - 29 + 5. Let q(c) = 4 + 4 - 5 + 0*c**2 + 6*c - c**2. Is 3 a factor of q(u)?
True
Let x be 1 + 1*1*-8. Is (-23)/x + 4/(-14) a multiple of 2?
False
Suppose 0 = -6*d + d - 2*o + 37, 0 = 3*d + o - 23. Does 2 divide d?
False
Let i(m) = -4*m**2 - 1. Let d be i(-1). Let n(h) = h**3 + 5*h**2 - 6*h + 3. Does 11 divide n(d)?
True
Let o be 4/6 + 8/(-3). Is o + 4 + 30 - 0 a multiple of 8?
True
Suppose c = -2*i + 47, 5*i + 4*c = 159 - 43. Is 12 a factor of i?
True
Suppose 0 = -4*n + 3*q - 5*q + 64, 0 = 3*n - 5*q - 48. Is 7 a factor of n?
False
Suppose -3*j = 20 + 4. Let y = j + 8. Is y + 2 - 15/(-3) a multiple of 3?
False
Let w(i) = -4*i**3 - i**2 - i. Let g be w(-1). Let z be -4*(-1)/g*2. Suppose -1 = 5*x - z*x + 5*k, 3 = x + k. Is x a multiple of 6?
False
Let m(a) = -a**2 + 5*a - 2. Is m(3) a multiple of 2?
True
Let h = 9 + -18. Let f(x) be the third derivative of x**5/60 + x**4/3 + 3*x**3/2 - x**2. Does 9 divide f(h)?
True
Let i = -98 - -168. Is i a multiple of 7?
True
Let k be 2*1 + (4 - -6). Let n = -20 + k. Let g(h) = -2*h. Is 13 a factor of g(n)?
False
Let t be -1 + (0 - 0 - -2). Let q(n) = 11*n**2 + 2*n - 1. Is 6 a factor of q(t)?
True
Suppose -3*v - 108 = -5*v. Is 9 a factor of v?
True
Suppose 3*z = 5*d + 4*z - 405, 155 = 2*d - z. Is d a multiple of 16?
True
Is ((-392)/(-6))/((-6)/(-9)) a multiple of 14?
True
Suppose -i - 2*i - 5*f = -20, -3*i + 18 = 3*f. Suppose h = -3*q - 2*h + 54, 0 = 4*q - i*h - 81. Is 17 a factor of q?
False
Let f(i) be the first derivative of -i**4/4 - 4*i**3/3 + i - 3. Let h be f(-4). Does 9 divide 20 + (h - (-6)/(-2))?
True
Suppose 0 = 5*b + 5, q + 0*q - 2*b = 155. Let f be 0*(1 + 6/(-4)). Suppose m + 3 = 0, 4*z + f*m + 5*m = q. Does 21 divide z?
True
Let d = 119 + -73. Suppose -t - 3*q + 15 = 0, 4*t + 5*q + 0*q - d = 0. Does 3 divide t?
True
Let c(y) = -y**2 + 13*y - 3. Suppose -4 = -a + 1. Is 16 a factor of c(a)?
False
Let l(d) = -d**3 + 9*d**2 - 4*d - 2. Does 5 divide l(8)?
True
Suppose 4 = -0*y + y. Suppose y = r - 0*r. Does 2 divide r?
True
Suppose 3*d = 4*g + 26, -3*d - g + 3 = d. Suppose d*f = -3*f. Suppose -2*a + a + 58 = 3*y, f = a + y - 60. Is a a multiple of 16?
False
Let r(v) = 7*v**2 + 6*v - 5. Is r(4) a multiple of 14?
False
Is 7 - (5 + (-12 - -3)) even?
False
Suppose -3*d + 73 = 2*m + 2*d, d + 223 = 5*m. Is 11 a factor of m?
True
Is (7/(14/(-40)))/((-1)/6) a multiple of 6?
True
Suppose 1008 - 238 = 5*a + 5*x, 618 = 4*a + 2*x. Does 51 divide a?
False
Suppose -86 = -2*m + 5*j, m - 3*j - 45 = -0*j. Let y = 66 - m. Is 12 a factor of y?
False
Let y(i) = 11*i + 3. Let r be y(-2). Let p = 5 + r. Let q = 32 + p. Is q a multiple of 9?
True
Let h = -27 + 53. Is h a multiple of 14?
False
Let t = 123 + -3. Is t a multiple of 24?
True
Let n(r) = -8*r - 13. Does 12 divide n(-5)?
False
Suppose 2*z = 5*z + 2*b - 78, 0 = 3*b - 9. Does 17 divide z?
False
Suppose 5*s - 81 = -5*c + 344, -c - 4*s = -79. Does 9 divide c?
False
Suppose -5*y + 21 = -2*q, 0*y + y = 3*q + 12. Let x(a) = 5*a - 16. Let d be x(5). Let c = d - q. Does 4 divide c?
True
Let q(u) = -u**3 + 2*u**2 + 5*u - 2. Let b be q(3). Suppose -5*j = 5*l - 52 - 33, 2*l - 62 = -b*j. Does 8 divide j?
False
Suppose 3*s = 5*t + s - 27, 2*s + 12 = 2*t. Suppose -192 = -t*y - 12. Does 9 divide y?
True
Let n(t) = 9*t**2 - 15*t + 22. Is n(6) a multiple of 32?
True
Let b be ((-1)/(-2))/(2/(-36)). Suppose 37*c - 32*c = 110. Let w = c + b. Is w a multiple of 4?
False
Let w(n) be the second derivative of -n**3/6 + 19*n**2 - 31*n. Suppose 0*c - 4*c = 0. Is 20 a factor of w(c)?
False
Let s(p) = -p**3 - 2*p**2 + 6*p - 1. Is s(-5) a multiple of 22?
True
Let j = -397 - -238. Let w = j + 37. Is (-1)/4 + w/(-8) a multiple of 15?
True
Let t(h) = 0*h - 10*h - h. Is t(-1) a multiple of 11?
True
Suppose -3*n = 2*b - 8*n - 576, 5*n = -b + 288. Is 24 a factor of b?
True
Let o be (6 + -1)*(-5 - -4). Let a = 5 + o. Suppose -q + 16 = -a*q. Is q a multiple of 8?
True
Let s = 138 - 3. Does 15 divide s?
True
Suppose -3*z = -z - 10. Let d = 0 + z. Let y = d + 3. Is y a multiple of 4?
True
Let a = 157 - 31. Is 18 a factor of a?
True
Let f = -1 - -2. Let j(m) = -22*m**3 + 2*m**2 - 4*m + 1. Let q(d) = d. Let y(k) = -j(k) - 2*q(k). Is y(f) a multiple of 21?
True
Let h(v) = v + 7. Let k be h(-4). Suppose -k*p = p - 24. Let b = 18 - p. Is 12 a factor of b?
True
Let w(d) = 2*d. Suppose 2*o - 2 = 4. Is w(o) even?
True
Let o = -18 - -168. Suppose -4*i + w - 34 = -o, 0 = -2*w. Is i a multiple of 13?
False
Let q(m) = m**3 - 3*m**2 + 4*m + 6. Is 22 a factor of q(4)?
False
Suppose -2*k + 18 = 3*t - 0, -4*t + 4 = -4*k. Suppose 0 = -k*a + 15 + 12. Is 9 a factor of a?
True
Let x(i) = i**3 - i**2 + 4. Suppose -c = 4*o + 132 + 341, -o + 5*c = 92. Let a be 18/o - (-41)/13. Is 11 a factor of x(a)?
True
Let d be (-3)/6 + 2/4. Let h = 16 + d. Is 16 a factor of h?
True
Suppose 3*w - w = 20. Is 7 a factor of w?
False
Let z be 2/(-6) - (-1799)/(-21). Let v = -51 - z. Is v a multiple of 11?
False
Let m = 57 + -25. Is m a multiple of 8?
True
Let a = -22 - -35. Suppose 20 = 3*v - a. Is v a multiple of 8?
False
Let x(r) = -r**3 + 10*r**2 + 3*r + 14. Does 11 divide x(7)?
False
Let u = 1 + -3. Let i(n) = -n**3 - n**2 + 1. Let k be i(u). Suppose -k*r - 47 = -2*b, -r + 81 = 3*b + 2*r. Does 26 divide b?
True
Suppose 3*l - 27 = 5*v, 2*l + 29 = 7*l - 3*v. Suppose 0 = -2*h + l + 36. Is 10 a factor of h?
True
Let u = 3 + -3. Suppose -m = 5*n + 417, -3*n - 7*m + 3*m - 240 = u. Let d = -56 - n. Is 12 a factor of d?
False
Let r = 21 - 16. Is 2 a factor of r?
False
Suppose 5*z - 192 = z. Is z a multiple of 8?
True
Let g(z) be the second derivative of 2*z**4 - z**3/3 - z**2 + 2*z. Is g(2) a multiple of 28?
False
Let r(t) = t - 2. Let p be r(3). Let q(b) = 12*b**3 + b**2 - b. Does 6 divide q(p)?
True
Let j(n) = -32*n - 3. Let x(h) = 31*h + 2. Let q(i) = 3*j(i) + 4*x(i). Is q(2) a multiple of 11?
True
Let o(s) = 13*s - 2. Let w be o(1). Suppose 0 = -z - 3*r + 16, 5*r - w = 5*z - 131. Is 3 a factor of z?
False
Does 4 divide 7 + (-2 - (2 - 1))?
True
Let i(o) = -o**2 - 13*o - 11. Let u = 2 - 5. Let a = u + -7. Is 5 a factor of i(a)?
False
Let r(s) be the second derivative of s**4/12 + s**3/3 - 2*s**2 - s. Is r(3) a multiple of 9?
False
Let x(s) = 2*s**3 + 2*s + 1. Let a be x(-1). Does 6 divide 1 + (-3)/a - -4?
True
Suppose -2*y = -5*v + 16, v + 5*y + 0*y = -13. Is 23 a factor of v/(-6) - 1120/(-21)?
False
Let o(x) = x**3 + 9*x**2 - 2*x + 6. Let s be o(6). Suppose -2*a = -10, -7*c + 4*a + 46 = -4*c. Does 16 divide s/33 - 4/c?
True
Let k = 28 + -44. Let o = 34 + k. Is o a multiple of 7?
False
Let k(s) = -s**3 - 6*s**2 - s - 3. Let o be k(-6). Suppose 2 = -2*v + 3*q, 3*q = -5*v - o + 19. Is ((-3)/v)/((-6)/88) a multiple of 11?
True
Let u(i) = i**3 - 2*i**2 + 3*i + 6. Does 22 div