 + 1. Is i(g) a multiple of 16?
True
Suppose 0 = 7*q + 16 - 37. Is q even?
False
Suppose 0 = 4*i - 51 - 21. Suppose i = 3*s - s. Does 9 divide s?
True
Suppose -2*h - 5*f + 176 = 0, -3*h - f + 255 = 2*f. Suppose -27 + h = 2*s. Is 16 a factor of s?
False
Let x be (6/4)/(1/2). Let a be (2/(-4))/(x/(-186)). Let t = -16 + a. Is 4 a factor of t?
False
Suppose 7*m + 70 = 2*m. Suppose -x = 4*b - 20, -2*x + x = 2*b - 26. Let v = x + m. Does 11 divide v?
False
Is 7 a factor of 3/18 + (-394)/(-12)?
False
Suppose 3*u + 2*f = 142, f = -0 - 4. Is 10 a factor of u?
True
Suppose -3*z = -0*z - 216. Suppose -4*w + z = 4*m, 0*m = -2*m + 4*w + 12. Is 6 a factor of m?
False
Suppose -5*a + 8 = -1112. Is 22 a factor of a?
False
Let n be 0 - 3 - 5*-1. Let b(z) = -z**2 + 3*z + 2. Is b(n) a multiple of 4?
True
Suppose -2*w - 41 = -3*w - 2*q, -4*q - 247 = -5*w. Let m = w + 9. Does 28 divide m?
True
Suppose -3 - 1 = -2*w. Suppose w*j - 4*u = 7*j - 335, 0 = 2*j + u - 131. Suppose i + 4*g = -g - 9, -5*i + j = -2*g. Does 4 divide i?
False
Suppose 5*q + 13 = 2*m, 0 = -0*m - 2*m + 8. Let b = 3 + q. Suppose -b = c - 0*c, 0 = -2*o + 2*c + 36. Is 8 a factor of o?
True
Suppose 3*p = r + r + 148, 0 = 4*p + 5*r - 159. Let v = p - 18. Does 14 divide v?
True
Let s(o) = o**2 - 12*o - 19. Let m be s(14). Suppose 2*t = -t + 9. Suppose -33 = -t*d + m. Does 7 divide d?
True
Suppose 0 = -4*r + 11 + 1. Suppose 5*t - 4 - 41 = 0. Let d = t - r. Is d a multiple of 3?
True
Suppose 9 = -3*q, -3*d = 3*q - 12 + 3. Does 6 divide d?
True
Suppose -3*v + 32 - 5 = 0. Does 10 divide (6/v)/((-1)/(-15))?
True
Let q = -6 - -17. Is q a multiple of 8?
False
Suppose -2*i + 4 = -0*i. Suppose 2*a + i = 8. Suppose 7*x + 3*p = a*x + 142, 5*p - 101 = -3*x. Is x a multiple of 18?
False
Suppose 4*c + 2*l = -l + 2, -3*c - 3*l = 0. Let x be 0 + c + (-9 - -2). Is (x*2)/(4/(-8)) a multiple of 9?
False
Suppose -2*j = -86 - 118. Suppose 0 = -5*t - 42 + j. Is 6 a factor of t?
True
Suppose -3 = -5*u + 2*w, -5*u = -u - 4*w. Let a be u/(-4) + (-105)/(-20). Is (-627)/(-15) - (-1)/a a multiple of 21?
True
Let h(y) = 4*y - 5. Let f(i) = i**3 + 3*i**2 - 4*i + 4. Let c be f(-4). Is 8 a factor of h(c)?
False
Let u(o) = 4*o**2 - 2*o. Suppose d + 12 = 3*w, -w + 9 = -0*w - 2*d. Is u(w) a multiple of 15?
True
Suppose h + 2*b - 2 = -1, -4*h = -5*b - 17. Suppose h*c - 1 = 47. Does 8 divide c?
True
Suppose -5*i + i + 228 = 0. Suppose 2*j - b - i = -0*b, -113 = -4*j + b. Is j a multiple of 11?
False
Suppose 0 = 4*k - i - 276, -k + 3*i + 0*i + 69 = 0. Is k a multiple of 32?
False
Let d be 368/12 - (-6)/(-9). Is 9 a factor of ((-2)/2 - 2) + d?
True
Let v(d) = -11*d + 7*d - 8 + 6*d. Let w be v(7). Suppose p + 108 - w = 5*z, 5*p = -z + 36. Does 21 divide z?
True
Let f(p) = p**3 + p**2 + 72. Does 12 divide f(0)?
True
Let u = 5 + -13. Let h(i) be the third derivative of -i**4/12 - 11*i**3/6 + 2*i**2. Is h(u) a multiple of 5?
True
Let i be 17/3 + 2/6. Suppose 0 + i = s. Let g = 11 - s. Does 4 divide g?
False
Let n(w) be the third derivative of w**5/60 - w**4/12 + 2*w**3/3 - 4*w**2. Does 19 divide n(5)?
True
Suppose 0 = -3*t + 4*i + 28, -24 = -0*t - t + 5*i. Suppose -25 = 5*m, -24 - 104 = -2*d + t*m. Is 18 a factor of d?
True
Is 17 a factor of 4/(-2) + (-5 - (-51 - 7))?
True
Suppose 3*t - 7 - 5 = 0. Suppose 0 = -2*p + 12 + t. Does 8 divide p?
True
Let k = 1 - 1. Suppose -i - 4*i - 3 = -q, 4*q + 5*i - 37 = k. Is 8 a factor of q?
True
Let t(u) = u**2 - u + 6. Suppose -2*i = i. Is t(i) a multiple of 3?
True
Let u be (-4)/(-1)*4/2. Suppose -3*k - 3*m + 21 = -0*m, 0 = -k - 4*m - u. Is 12 a factor of k?
True
Does 36 divide (-231)/(-4) + (-12)/(-48)?
False
Suppose -9*x + 535 = -4*x. Does 25 divide x?
False
Let d(x) = 18*x - 10. Is d(5) a multiple of 26?
False
Let b(y) = -y**3 + 2*y + 57. Is 16 a factor of b(0)?
False
Does 15 divide 1 + -1 - (-13 - 107)?
True
Suppose -5*k + 22 + 18 = 5*q, 2*k - 24 = -3*q. Suppose q*m = 9*m - 54. Is 18 a factor of m?
True
Suppose 3*h + f = 195 + 232, 0 = -4*f - 20. Does 15 divide h?
False
Let j(g) = -g + 8. Let z be j(6). Let t = 6 - z. Suppose t*n = -4*i + 68, -6 = -n - 1. Is i a multiple of 12?
True
Let m = 421 + -258. Is m a multiple of 13?
False
Suppose -9*b = -6*b. Suppose -3*j + 2*j + 67 = b. Is j a multiple of 15?
False
Let d(a) = 4*a + 6. Let n(o) = 6*o**2 + o. Let b be n(1). Does 9 divide d(b)?
False
Suppose -3*r - 31 = -n, -3*n + 71 = 5*r - 3*r. Suppose -2*t - 4*x + 62 = 0, 0*x - n = -5*x. Is t a multiple of 9?
False
Suppose -2*p - 2*p + 20 = 0. Suppose 2340 = -b + p*b. Does 19 divide 2/8 - b/(-12)?
False
Let r = 6 + -4. Suppose 8 = -r*q + 34. Does 5 divide q?
False
Suppose 2*b = -5*l + 24, l + 12 = 6*l - 4*b. Does 4 divide l?
True
Suppose 2*r - 33 = 37. Does 16 divide r?
False
Let u = 10 - 6. Suppose 2*y - 10 = -u*p + 8, -p - 3 = -y. Is 19 a factor of (55/(-15))/(p/(-12))?
False
Suppose 4*v = v - u - 39, 0 = -4*v - 3*u - 47. Is ((-48)/(-56))/((-1)/v) a multiple of 4?
True
Suppose -4*c + 212 = 4*t, -2*t = 3*c + 3*t - 163. Is c a multiple of 17?
True
Suppose -5*p + 59 = f, -3*p + 4*f + 15 = -25. Does 5 divide p?
False
Suppose 2*k - 3*k = -2. Suppose -k*z + 5*z = 0. Suppose 3*q + 3*s = 63, q - 41 = -z*s + 3*s. Is q a multiple of 16?
False
Let f(p) = -2*p - 4. Suppose -2*i = 0, i + 0*i = -3*z - 18. Is 6 a factor of f(z)?
False
Suppose 3*c = -2*c. Suppose -f + c*f + o = -17, 2*o - 29 = -f. Does 21 divide f?
True
Let f = -19 - -35. Does 8 divide f?
True
Suppose 0 = -2*y + 19 - 57. Is 0/2 + (1 - y) a multiple of 13?
False
Does 21 divide ((-42)/10)/(5/(-25))?
True
Let m(r) = 6*r - 5. Let v be m(13). Let x = v - 36. Is 12 a factor of x?
False
Suppose n + 3*r - 22 = 0, -2*n = -5*n + r + 16. Suppose 5*y = 2*m - 9, -3*m - 4*y + n*y = -9. Suppose -2*b = m*b - 32. Does 4 divide b?
True
Let u(y) = -5*y**3 - 8*y**2 + y**2 + 8 + 6*y**3 - 2*y. Let s be u(7). Let t = s - -18. Is 4 a factor of t?
True
Suppose -3*x + 4*x - 124 = 0. Is 31 a factor of x?
True
Suppose 12*p + 673 - 1753 = 0. Is p a multiple of 11?
False
Suppose 2*p - 4*h = 824, -2*p + 0*p + 5*h = -829. Is 12 a factor of p?
False
Suppose -3*h + 32 = -h - 2*g, 0 = -5*h - 5*g + 90. Is 4 a factor of h?
False
Let t = 12 - -8. Suppose b + 5*h + 7 = 0, -3*b + t = b + 4*h. Let l(z) = -z**3 + 8*z**2 + 2*z - 3. Is 9 a factor of l(b)?
False
Suppose 3*x - 35 = -v, 2*v + 2*v - 23 = -3*x. Is x a multiple of 5?
False
Let p(s) = 10*s**2 + s + 4. Let n be p(-4). Suppose 6*g = g + n. Is 12 a factor of g?
False
Let k = -37 - -86. Let v = k + -5. Does 15 divide v?
False
Let d(s) = 9*s + 1. Let m be d(-4). Let i = 7 - m. Is i a multiple of 14?
True
Let q(v) = -v**3 + 4*v**2 - 2*v + 2. Let r be q(3). Suppose -5*k + t = -20, -2 = k + r*t - 6. Is k even?
True
Let x be (-8)/12 + (-4)/(-6). Let r be x + (2 + -5 - 5). Does 6 divide -4*1/r*34?
False
Let k(l) = l**3 + 8*l**2 - l - 2. Is k(-7) a multiple of 18?
True
Let m(b) = -b**3 - 23*b**2 - 52*b - 12. Is m(-21) a multiple of 33?
True
Let x(v) = v**3 + 3*v**2 - 8*v + 2. Is 8 a factor of x(3)?
True
Let z(q) = -17*q**2 - 3*q. Let l be z(-3). Let i = l + 203. Suppose 0 = s + 5*v - 14, 4*s = -5*v + i + 57. Does 16 divide s?
False
Suppose -10*g = -14*g + 336. Is g a multiple of 28?
True
Is (54/(-12))/(3/(-48)) a multiple of 26?
False
Does 32 divide 1897/49 - 4/(-14)?
False
Let k(c) = -15*c. Let v be k(-1). Does 19 divide 55/v*(0 - -9)?
False
Suppose 4*w = 3*n + 9*w - 621, -2*n + 392 = -4*w. Is 43 a factor of n?
False
Suppose 5*h + 2 = -d, -2*h + 5*d + 10 = 3*h. Let l = 6 + h. Is l a multiple of 3?
True
Let h be ((-6)/(-1) + -1)/(-1). Let i(n) = 2*n + 2. Let r be i(h). Is 2/(-8) + (-298)/r a multiple of 14?
False
Let i(r) = -12*r**3 + 2*r**2 + 3*r + 1. Let y be i(-2). Suppose -7*z + y = -181. Is z a multiple of 20?
True
Suppose -322 = -3*r - 2*d, -113 = -5*r + 4*r + 5*d. Suppose 0*b = y - b + 62, 2*b = -2*y - r. Let s = -20 - y. Does 19 divide s?
True
Suppose -4*f + 441 = 57. Is 32 a factor of f?
True
Suppose -v + 3*f = -71 - 54, f = -5. Is 22 a factor of v?
True
Let x be (8/(-10))/(2/(-195)). Let s = -38 + x. Is 17 a factor of s?
False
Let o be 0 + 7 + 18/(-6). Suppose 0 = -o*l + 6*l - 8. Does 2 divide l?
True
Let k(p) = -3*p**3 - p**2 + 3*p + 2. Let l(v) = v**3 - 2*v**2 - 2*v - 1. Let x be (4/(-2))/(-2) - 2. Let m be l(x). Does 8 divide k(m)?
Tr