Is 32 a factor of g?
True
Let b = -3 + 9. Suppose 0 = -5*m + b + 4. Suppose a - z - 9 = m, -z = -5*a + 35. Is 3 a factor of a?
True
Let r(i) = i**2 - 2*i - 1. Let s be r(3). Let j = -23 + 46. Suppose t = s*t - j. Is 10 a factor of t?
False
Let a = 6 - 4. Suppose 4*y = -2*g + 70, 4 + 31 = g + 3*y. Is 17 a factor of -1 + -2 + a + g?
True
Suppose -2*u + 28 = 2*d - 78, 3*d + 240 = 4*u. Does 19 divide u?
True
Let y = -15 - -32. Does 9 divide y?
False
Let g = -39 - -60. Suppose -4*w + 235 + g = 0. Let z = 90 - w. Is 13 a factor of z?
True
Let g(o) = -4*o + o**3 + 0*o**2 - 5 + o**2 - 2*o**2. Is g(4) a multiple of 9?
True
Let m(z) = 16*z**2 - 26*z - 1. Let u(d) = 3*d**2 - 5*d. Let s(w) = -2*m(w) + 11*u(w). Is s(-3) a multiple of 10?
True
Let u be -2 - (-1)/((-1)/(-9)). Suppose -2*f - u = 5*s - 406, -3*s - 3*f = -243. Suppose 2*a - s = 5. Is 13 a factor of a?
False
Suppose 0 = 5*p - 3*p. Suppose 2*y + 2*d + 0*d = 48, p = 2*y - d - 57. Does 23 divide y?
False
Let m(i) = 2 - 4*i - 8 + 12*i. Suppose 2*n + 13 = c, 3*c - 3*n - 7 = -5*n. Is 17 a factor of m(c)?
True
Let q be 2/(-7) + 32/14. Let h(g) = g**2 + 0 + q + 0*g - 5*g. Is h(6) a multiple of 6?
False
Suppose -4*w - u + 280 = 0, 350 = 2*w + 3*w + 2*u. Does 7 divide w?
True
Is 6 a factor of 16 + 5 - (2 - 4)?
False
Suppose 0 = -5*z + z + 3*a + 557, 4*z - 5*a = 555. Is z a multiple of 28?
True
Let j = -36 - -68. Let z(x) = 42*x**2 - x. Let q be z(1). Suppose 2*t + 7 = 3*i - q, -2*i + j = 3*t. Is 6 a factor of i?
False
Let g(o) be the third derivative of o**6/120 + 7*o**5/60 - 5*o**4/24 - o**3/6 + o**2. Let m be g(-6). Does 16 divide m + -3 + (2 - 1)?
False
Let h(r) = 2*r**2 + 8*r + 5. Let x be h(-5). Is 5*(0 - (-54)/x) a multiple of 8?
False
Let b = -70 - -160. Is b a multiple of 15?
True
Let v(y) = 9*y - 12. Is v(5) a multiple of 11?
True
Let a = -79 - -118. Does 13 divide a?
True
Suppose 0 = -6*c + 2*c - 212. Let d = -35 - c. Does 7 divide d?
False
Suppose 2*y + 13 = 3*z, -2*y - 4*z + 7 + 1 = 0. Let n be 2/((-2)/8*y). Suppose 0 = 4*u - 5*a - 92, 2*u = -n*a + 106 - 34. Is 14 a factor of u?
True
Let u = 12 - 7. Suppose -u*h - 2*x = -59, -4*x - 42 = -5*h + 35. Is h a multiple of 4?
False
Is 21 a factor of 84/(-10)*8/(16/(-5))?
True
Suppose 3*s + 0*s = 6. Suppose 5*u = s*u + 21. Does 7 divide u?
True
Suppose 0*u - 144 = -4*u. Is u a multiple of 6?
True
Suppose 2*g = -2*g - 2*f + 120, 2*g - 64 = f. Does 31 divide g?
True
Let k = 42 + -34. Is k a multiple of 2?
True
Suppose -14 = -0*w - 4*w - 3*g, 10 = -5*g. Suppose -3 = -4*m + w. Suppose 5*v = -m + 22. Is v a multiple of 2?
True
Suppose 6 - 10 = -2*n. Suppose 5*h - n*p - 42 = 0, 37 = 4*h + h + 3*p. Is h a multiple of 8?
True
Suppose 25 = 5*k - 2*k - 4*z, 0 = -k + 4*z - 5. Does 5 divide 10 + k + -2 + -1?
False
Suppose -9 = l - 5*v + 3, 8 = 2*v. Let t = 11 - l. Is 3 a factor of t?
True
Let o = -8 - -12. Suppose -2*n + 6 = 0, -o*f + n + 225 = -4*n. Is 15 a factor of f?
True
Let y be 3*-1*(-2)/(-6). Let k(c) = -1 - 28*c**3 - 2*c + 0 - 2*c**2 + 7*c**3. Is k(y) a multiple of 10?
True
Suppose -f - 3*f + 208 = 0. Is f a multiple of 13?
True
Suppose 0*n = 4*n - 40. Is 3 a factor of n?
False
Let y(a) = 3*a - 12. Let t be y(9). Let n = 3 + t. Is n a multiple of 9?
True
Is 12 a factor of (6 - 4/1) + 85?
False
Suppose 3*f + 138 = -120. Let c = -16 - f. Is c a multiple of 14?
True
Suppose 4*r - 4*v = -9*v + 15, 5*v = -25. Suppose 5*k - 4*c - 24 = 3*k, -5*c = r. Is 4 a factor of k?
True
Suppose -2*r + 4*r = 10, 3*i + 4*r = 488. Is 39 a factor of i?
True
Let h be (1 - 0 - -14) + -2. Let s = h + -8. Does 3 divide s?
False
Let y = -137 + 223. Is 16 a factor of y?
False
Let x be -1 - 0 - (1 - 5). Suppose 3*w = -5*i - 3, 4*w = i - x*i + 10. Suppose -w*r = -0*r - 92. Is 12 a factor of r?
False
Suppose 0 = -q + 3 + 1. Suppose 0 = 3*p - q*p + 28. Is p a multiple of 14?
True
Let p = -20 - -22. Let r(u) = -u - 1. Let w be r(-4). Suppose -w*z + p*i - 5 + 43 = 0, -2*z - 3*i + 21 = 0. Is z a multiple of 6?
True
Let j be (2/(-4))/((-1)/(-6)). Let g(p) = -p**3 + 4*p**2 + 5. Let w be g(5). Does 4 divide (3/2)/j*w?
False
Suppose -3*x + z - 125 = -3*z, -5*x - 5*z - 255 = 0. Let n be x/(-9) - 6/27. Suppose n*t + 2*m - 6 = 7, -4*t = m - 11. Is t a multiple of 3?
True
Let q(r) = -r**2 + 104. Let f be q(0). Suppose -3*l - 94 = -5*s, -5*s - l = l - f. Is s a multiple of 10?
True
Let n(f) be the third derivative of f**6/120 - f**5/15 + 5*f**3/6 + 2*f**2. Suppose 2*i = -3*h + 11, -2 = -5*h + 3. Is n(i) a multiple of 5?
True
Suppose 38 = r - d, -3*d + 7*d = 5*r - 192. Is r a multiple of 10?
True
Let c = 4 - 1. Suppose -v - c*v + 40 = 0. Is 10 a factor of v?
True
Let d = 2 + -5. Let v be (d/(-2))/((-3)/(-8)). Suppose -2*b + 16 = -v. Does 5 divide b?
True
Suppose -2*h - 8 = 2*h. Is (-2)/h*-1 - -3 a multiple of 2?
True
Suppose -3*p + 468 = -6*p. Is p/9*(-6)/4 a multiple of 15?
False
Let x(k) = -k**3 + 6*k**2 - 6*k + 7. Suppose 0 = 2*r + w - 8, 1 = -r + w - 4*w. Let c be x(r). Suppose -6 = -l - c*l. Is l a multiple of 2?
True
Suppose 2*d - 3*d + 2 = 0. Suppose 0*l - d*w + 74 = 4*l, 5*w + 4 = -l. Is 15 a factor of l?
False
Let y be (-7 - -3)*3/6. Is (-4)/y*(-255)/(-10) a multiple of 31?
False
Let m(k) be the third derivative of -11*k**4/24 - 5*k**3/6 + 5*k**2. Is 13 a factor of m(-4)?
True
Suppose -2*l - l - 3*r = 15, 5*l + 19 = -3*r. Let b be l + 2 + 56 + 2. Suppose -2*x - j + 16 + 50 = 0, -2*x = 3*j - b. Is 15 a factor of x?
False
Suppose q - 6 = -2. Suppose j - x - 15 = 0, 5*j + q*x - 147 = -54. Does 17 divide j?
True
Let b = 69 + 35. Is b a multiple of 8?
True
Let j(h) = 3*h**3 + 28*h**2 - 28*h - 16. Let t(o) = -o**3 - 9*o**2 + 9*o + 5. Let k(r) = 2*j(r) + 7*t(r). Is k(-8) a multiple of 3?
False
Suppose q + 4*r - 12 = 0, 2*r - 7*r + 10 = 0. Suppose 0 = -q*i - 4*v, -i - 2*v + 2 = 4. Does 2 divide i?
True
Let p be 3/4 + 34/8. Suppose p*l + 26 - 106 = 0. Is l a multiple of 4?
True
Let x(z) = 45 + z**3 - 23 - z**2 + 20 - z. Is 21 a factor of x(0)?
True
Suppose 2*y = 7*y - 105. Suppose -27 = -4*c + y. Is c a multiple of 6?
True
Suppose -w + 6*w + 35 = 0. Let u(t) = t**3 + 7*t**2 - 6*t - 10. Does 24 divide u(w)?
False
Let q be (5/(-3) + 1)*-6. Does 8 divide (-105)/(-6) - q/8?
False
Does 18 divide (-65)/(-1) - (-4 - -2)?
False
Suppose 2*t + 4*h - 18 = -0*t, -h = -3*t + 27. Let s = 13 + t. Is s a multiple of 10?
False
Suppose -3*a + 2*a + 60 = 0. Is 15 a factor of a?
True
Let g = 356 - 227. Is g a multiple of 16?
False
Let h(k) = k**3 - k + 6. Let n be h(0). Suppose 0 = -0*q + q + 20. Is (n/5)/((-4)/q) a multiple of 3?
True
Suppose 0 = -15*q + 19*q - 148. Does 8 divide q?
False
Suppose 5*b - 27 - 48 = 0. Let i be 9/(1*3/b). Suppose -5*f + 120 = -i. Does 10 divide f?
False
Let v(d) = 7*d**2 - 7*d + 4. Is v(5) a multiple of 18?
True
Let d(v) = 2*v**2 - 3 + 0*v**3 + 2 - v**3. Is 15 a factor of d(-2)?
True
Suppose 2*s - 5*s = -5*r - 551, r + 187 = s. Is 12 a factor of s?
True
Let z = 10 - -36. Suppose 22 + z = 2*d. Let q = d + -21. Is 13 a factor of q?
True
Let j(y) be the second derivative of -y**3/6 + 5*y**2 + 3*y. Is j(-5) a multiple of 15?
True
Suppose 4*t - 290 = 414. Is 14 a factor of t?
False
Let w(b) = 2*b**2 + 9*b + 1. Let m be w(-6). Suppose 0 = -3*l + 4*n - n - 15, 3*l - 2*n = -m. Does 9 divide 32*1*l/(-12)?
False
Let m = -1 - -3. Suppose -5*c + 30 = -m*c. Suppose -c = -5*g, 4*g + 53 - 216 = -5*w. Is 11 a factor of w?
False
Let w(y) = 4*y + 1. Let x = 0 - -1. Is w(x) even?
False
Let u(g) = -g**3 - 3*g**2 + 3*g + 3. Let c be u(-3). Let l = c - -11. Suppose -2*i - 3 = -4*k + 23, -3*k - l*i = -39. Is 4 a factor of k?
True
Suppose -5*j + 53 = -4*d, 0 = -0*d + 5*d - 15. Does 13 divide j?
True
Let c(n) be the third derivative of -n**5/60 + n**4/4 - 2*n**2. Let w be c(6). Suppose -3*j + 19 = -w*j - 5*p, 41 = 5*j + p. Is j a multiple of 3?
False
Let r = 4 + -2. Suppose -2*j = -2*w + 4*w, -r*j = 5*w - 12. Suppose 0*l - 4*d = w*l - 64, 5*l = 2*d + 87. Is 6 a factor of l?
False
Let g = 9 + -6. Is (-48 - 6/g)/(-1) a multiple of 10?
True
Suppose 5*v - 3 = f, -4*v = -4*f + 2 + 2. Suppose f*u + 9 = 91. Does 23 divide u?
False
Let b(r) = -19 + 21 - 3*r**2 + 2*r**2 - r + 2*r**2. Does 7 divide b(4)?
True
Suppose 0 = 3*f - 3*l + 2*l - 7, f = 2*l + 4. Suppose 0 = -5*g + 3*a + 125, 5*a = -2*g + 17 + f. Is 22 a facto