0, 3*b = a + 43 + 28. Let i = 109 + a. Is i/5 + (-10)/(-25) a multiple of 4?
True
Let n = 17 + -5. Is 8 a factor of n?
False
Let o be 2/9 + (-1312)/72. Is (-465)/o + (-2)/(-12) a multiple of 26?
True
Let f(g) = -6*g**3 - 14*g**2 + 14*g + 6. Let r(w) = 7*w**3 + 15*w**2 - 15*w - 6. Let s(m) = 6*f(m) + 5*r(m). Let d be (1 + 1)/((-1)/5). Does 8 divide s(d)?
True
Suppose 3*i = 49 + 20. Let a = -1 + 4. Suppose -i = -5*b - a*t, -t + 5*t = 4. Is b even?
True
Let m(f) = -f**3 + 8*f**2 - 8*f + 3. Let x be m(6). Let k = x + -13. Is k a multiple of 6?
False
Let q be 5*(104/10 + 0). Let d = q + -27. Suppose 5*n - 100 + d = 0. Is 14 a factor of n?
False
Let c(i) = -i**3 - i**2 + 5*i - 1. Is 18 a factor of c(-5)?
False
Suppose h = -0*h + 61. Is h a multiple of 16?
False
Let v(k) = -k**2 + 1. Let x(a) = -a**3 + 2*a**2. Let t be x(2). Let f be v(t). Let m = 6 - f. Does 5 divide m?
True
Suppose 5*w - 202 = -2*u, 3*u - u = -2*w + 208. Let k = u + -70. Is 18 a factor of k?
True
Let g be (-13)/5 - 14/35. Is (-158)/(-8) + g/4 a multiple of 9?
False
Suppose 2*k = k + 2*z + 12, -16 = 2*k + 4*z. Does 2 divide k/(-7) + 230/70?
False
Let u(r) = -2*r**3 - 2*r**2 + r + 177. Is u(0) a multiple of 34?
False
Suppose 4*h + 4 = -0*h - i, 5*i = -4*h + 12. Let g(s) = -5*s - 1. Is 9 a factor of g(h)?
True
Let f = -17 + 227. Does 23 divide f?
False
Let i = 6 - 8. Is 35/i*36/(-15) a multiple of 21?
True
Let u(l) = -2*l**3 - 6*l**2 + l + 7. Does 31 divide u(-6)?
True
Let h(y) = -4*y + 3. Let a = 4 + -10. Let f be h(a). Suppose 2*g + f = 3*g. Is 9 a factor of g?
True
Suppose 0 = -4*p + c + 269, 0 = 2*p - 0*c - 2*c - 130. Suppose -3*f - p = -h - 13, -3*h + 125 = -f. Is h a multiple of 23?
False
Suppose 4*o = -0*d + 4*d - 96, -o + 36 = 2*d. Is 20 a factor of d?
True
Suppose 2*m = -3*m - 130. Let x = 36 + m. Is 10 a factor of x?
True
Let m = -2 + 5. Suppose -5 = 3*s + 5*r, s - 32 = -3*s + m*r. Let y(x) = 2*x**2 - 8*x + 4. Is y(s) a multiple of 14?
True
Suppose -2*q + 253 = 5*a + 101, 3*a - 2*q - 88 = 0. Suppose -2*d + a + 7 = 5*x, 0 = -2*d + 5*x - 13. Does 4 divide d?
False
Suppose 0 = 3*b + 9 + 9. Let t be -17*(b/2 - -2). Let p = t - -1. Is p a multiple of 18?
True
Let w be 4*(0 + 1/2). Suppose w*a + 2 = 46. Is a a multiple of 12?
False
Suppose -36 = 5*l + 9. Let v = l + 16. Does 7 divide v?
True
Suppose -3*v - 519 = 5*a - 10*a, a - 5*v - 95 = 0. Is 15 a factor of a?
True
Let a(w) = w + 13. Let j be a(-10). Suppose -15 + j = -k. Is 6 a factor of k?
True
Let n(i) = i - 2. Let a be n(4). Suppose -4*c - a*z = -146, -2*c - 137 = -5*c + 4*z. Does 11 divide c?
False
Let q(f) = -f**3 - 7*f**2 + 7*f - 9. Let o be q(-8). Let s be 5*(o + 27/5). Is 8 a factor of s/((0 + -4)/(-2))?
False
Let m(h) = h + 10. Let y be ((-5)/4)/(4/16). Let g be m(y). Suppose 0 = g*j - 175. Does 12 divide j?
False
Suppose 2*h - 19 = -a, 5*a - h = h + 83. Suppose -j = -8 - a. Is j a multiple of 14?
False
Suppose -c + 6*c = -85. Let k = c + 26. Does 3 divide k?
True
Let h(l) = l**2 + 3*l - 2. Let j be h(-4). Let g = 9 - j. Is 5 a factor of g?
False
Suppose -5*b = -48 - 47. Does 10 divide b?
False
Suppose -5*t + 68 = -t. Let p = t - 8. Is 4 a factor of p?
False
Suppose -2*b - 5*d + 2*d = -72, 3*b - 3*d - 123 = 0. Let x = 5 + b. Is 18 a factor of x?
False
Suppose -2*c + 60 = 3*c. Is c a multiple of 5?
False
Let j = 325 - 112. Does 7 divide j?
False
Let d be (2 + (-13)/5)*-5. Is 2 + d/((-9)/(-3)) even?
False
Suppose -3*l - 2*x + 6 = 0, -l - 3*l - x + 13 = 0. Suppose -l = -3*k + 2. Suppose p - k*i = 11 + 5, -2*p - 2*i + 44 = 0. Is p a multiple of 10?
True
Let s(m) = 5*m + 7. Let v(q) = 11*q + 15. Let r(k) = -9*s(k) + 4*v(k). Let j be r(-8). Suppose p - 5*z + 35 = j*p, z + 5 = 0. Is 9 a factor of p?
False
Let n(h) = h + 2. Suppose -5*z + 28 = -4*s, -6*z + 3*z + s = -14. Does 3 divide n(z)?
True
Suppose -468 = -14*a + 10*a. Is 32 a factor of a?
False
Let r(o) = -o**3 + 7*o**2 - 5*o + 9. Let c be r(6). Suppose 5*j - 6*j + c = 0. Is j a multiple of 5?
True
Suppose -5*v + 951 = 4*r, v - 5*r - 34 - 162 = 0. Is 12 a factor of v?
False
Suppose -4 = -3*q + 2*g + 70, g - 54 = -2*q. Is q a multiple of 13?
True
Suppose -5*q + 0*m = 5*m - 855, -5*q - m + 843 = 0. Suppose -3*w + q = -w. Is w a multiple of 28?
True
Suppose -7*u - 22 = b - 2*u, 0 = -5*b - 5*u - 30. Is 6 a factor of (4/8)/(b/(-108))?
False
Let p be 3/(-2)*10/(-3). Let z(n) = n**3 - 4*n**2 + 3*n - 6. Does 17 divide z(p)?
True
Suppose -2*t = 2*v, -12 = -3*v + 2*v + 2*t. Suppose -2*s = v*z - 140, -6 + 0 = 3*s. Let c = -22 + z. Is c a multiple of 7?
True
Suppose -2*t - 60 = 3*t. Let o be 4/t + (-61)/(-3). Suppose -4*s + o = p, 0 = 3*s + 2*s + p - 24. Is s a multiple of 2?
True
Suppose -98 = -5*h + 27. Is h a multiple of 25?
True
Let z = 4 - -1. Suppose 12 = -3*b - b - 4*g, -z*b = -g - 9. Let m(h) = 12*h**3 - 2*h**2 + 2*h - 1. Is 11 a factor of m(b)?
True
Let i(n) = -10*n - 6. Let d be i(-5). Suppose 3*b = 2*b + d. Is 11 a factor of b?
True
Suppose 0 = 2*d - 7 + 1. Let c be (0*d/(-6))/(-1). Let u(k) = -k**2 + 33. Does 24 divide u(c)?
False
Suppose 5*r = 3*i + 47, 0*i + 41 = -3*i - r. Let u(s) = -s + 13. Let c be u(8). Let g = c - i. Is g a multiple of 12?
False
Let y be (6/(-12))/((-2)/276). Suppose 0 = -5*o + 14 - y. Let a = o + 16. Does 4 divide a?
False
Let t = 4 + 1. Let j(w) = w**2 - 2*w - 6. Let x be j(t). Let p = x - 5. Is p a multiple of 4?
True
Let c(v) = 4*v**2 - 8*v + 8. Let s be c(6). Suppose -2 = -p, 4*z - 3*p - s = -z. Is z a multiple of 11?
True
Let h(q) = 3*q**3 + 2*q**2 + 3*q - 3. Let p be 5 + -5 + 2 + 0. Does 11 divide h(p)?
False
Let i(t) = -t**3 + 6*t + 3. Is 16 a factor of i(-5)?
False
Let q be (-2)/(-6) + (-20)/(-3). Let k = q - 1. Is k a multiple of 2?
True
Does 12 divide 64 - ((-1)/1 - -1)?
False
Let y = 6 + -4. Suppose y*n + 10 = 0, 4*z + n = -2*n - 95. Does 6 divide 54/(-15)*z/6?
True
Is 15 a factor of (518 - 3)*(-20)/(-50)?
False
Let f(d) = -5*d**2 - d - 4. Let t(s) = 11*s**2 + s + 7. Let p(w) = 13*f(w) + 6*t(w). Let i be p(8). Is (-12)/((2/1)/i) a multiple of 4?
True
Let w(g) be the third derivative of 0 - 1/120*g**6 - 5/6*g**3 + 0*g + 2*g**2 - 1/12*g**5 - 1/8*g**4. Does 10 divide w(-5)?
True
Let b be -6*(-1 + (-69)/9). Let q = b + -10. Is 14 a factor of q?
True
Suppose -5*a + a = -32. Suppose a = -3*p + 38. Is 6 a factor of p?
False
Suppose 5*d = 325 + 5. Is 8 a factor of d?
False
Suppose 0 = 2*j - j - 2. Suppose j*t + 4*s = -4, -3*t + 4 = 3*s - 2. Is 6 a factor of t?
True
Is 7 a factor of (-18)/(-24) + (-50)/(-8)?
True
Suppose 3*w - 43 = 5*n, 0 = -2*n + n + 3*w - 11. Let c(o) = o**3 + 8*o**2 - 8*o + 6. Does 22 divide c(n)?
False
Let b = 73 + -19. Is 6 a factor of b?
True
Let t = 2 - -3. Suppose -t*b = 20, 208 = 2*l + b + b. Suppose 5*z = x - 1 - 9, 4*x - 3*z = l. Is 9 a factor of x?
False
Is -3 + 5 - 0 - -48 a multiple of 13?
False
Let f(h) = 6*h**2 + 2*h + 7. Let u be f(-3). Suppose -z - z = -5*g - u, z - g = 23. Is 5 a factor of z?
True
Suppose -49 = -2*o + o. Is 25 a factor of (-4)/(-14) + 2436/o?
True
Let f = 3 + -1. Suppose 0*v + 26 = 2*g - f*v, -v = 1. Is 6 a factor of g?
True
Is 3*(-4 + 3) + 37 a multiple of 17?
True
Suppose 4*q - 5*q = 0. Suppose q = 3*m + 2 + 1. Is m/(42/(-40) - -1) a multiple of 20?
True
Let y(o) = -5*o**3 - 41*o**2 - 40*o - 21. Let p(s) = s**3 + 10*s**2 + 10*s + 5. Let t(m) = 9*p(m) + 2*y(m). Is 5 a factor of t(9)?
False
Let v be -2*(-1 - 87) + -1. Suppose v = 5*i + 15. Does 16 divide i?
True
Suppose 3*p = 4*p + 5*b + 40, -5*b - 70 = 2*p. Is 4/2 - (p - 3) a multiple of 10?
False
Suppose 14 = -3*j + 5*a, 3*a + 9 = -4*j - 0*a. Let v be 1/(2*j/12). Let u = v + 16. Is 7 a factor of u?
True
Let m(h) = -32*h**2 + h - 1. Let r(o) be the first derivative of -97*o**3/3 + 3*o**2/2 - 3*o - 1. Let t(f) = 11*m(f) - 4*r(f). Is 12 a factor of t(1)?
True
Let r = 23 - 16. Suppose r - 55 = -4*l. Is l a multiple of 6?
True
Suppose -d - 2*v + 7 = 5, 2*d + 2*v - 6 = 0. Let h(g) = 2*g**2 - 5*g. Let s be h(d). Let t = -5 + s. Is 7 a factor of t?
True
Suppose -110 = -2*t - 2*m, -t - 275 = -6*t - 2*m. Suppose 0 = -2*j - 7 + t. Does 8 divide j?
True
Suppose -26 - 149 = r. Let t = 256 + r. Is 31 a factor of t?
False
Suppose 0 = -g + 4 + 1. Suppose -2*i + g*p + 2 = -3, 0 = -i + 4*p + 1. Suppose -i*v + 135 = 5*y, -4*v + 111 = -y + 2*y. Does 14 di