ve of s(f). Does 8 divide t(-7)?
True
Suppose 5*d + 13 - 148 = 0. Is d a multiple of 27?
True
Let w(i) = -i**3 - 6*i**2 - 5*i + 1. Let h be w(-5). Is 92/6 - h/3 a multiple of 7?
False
Is 12 a factor of 169 + 1 + (-4)/2 - 0?
True
Let m = -69 + 156. Is m a multiple of 12?
False
Is 8 a factor of (-16)/(-3)*(4 + -1)?
True
Let c(t) = -t. Let b(u) = 19*u - 17. Let a(n) = b(n) + 2*c(n). Does 15 divide a(7)?
False
Suppose 68 = -5*p + 3*p + v, 3*v - 105 = 3*p. Let w = p + 64. Suppose 0*n - w = -n. Is 28 a factor of n?
False
Suppose 0 = 3*b + m + 8, 3*m = 4*b - b - 12. Does 12 divide (b - -13) + -3 + 3?
True
Let t = -14 - -18. Suppose t*h = -3*f + 175, 2*h - 2*f = -0*f + 70. Is 10 a factor of h?
True
Let l(v) = -v**2 - 4*v - 1. Let s be l(-3). Let x(j) = -j**3 + j**2 - j - 2. Let h(r) = -r**3 + r**2 + r. Let g(i) = -2*h(i) - x(i). Is g(s) a multiple of 6?
True
Suppose -25 = -2*k + 2*v + 3*v, 0 = -4*v - 20. Suppose k = -z + 3*z - 738. Does 21 divide z/(-6)*(-2)/3?
False
Let p be (1 - 7)/(6/(-4)). Suppose -6 = f + p. Is 16 a factor of 2*10*(-8)/f?
True
Suppose 5*k + 3 = -3*s, -k = -2*s + 2*k + 17. Suppose 2*a + 27 = -5*m + 96, 2 = a - s*m. Is 12 a factor of a?
False
Is 5 a factor of ((-6)/(-4))/((-60)/(-440))?
False
Let d(p) = p**2 + 5*p - 3. Let u be 7/(-2)*8/4. Is 6 a factor of d(u)?
False
Let s = 50 + -12. Is s a multiple of 38?
True
Let h be 1 + 0 + 3 - 0. Suppose 2*p = h*p - 100. Does 20 divide p?
False
Let c(b) = b**2 - b + 2*b + 2*b**2 + 1. Let v be c(-1). Suppose 0 = -v*o + 4*o - 33. Does 17 divide o?
False
Suppose 5*r - 2*r = 12. Suppose 0 = -4*q + 2*q - r. Does 14 divide (-24)/q - 6/(-3)?
True
Let f = -12 - -27. Is 15 a factor of f?
True
Is 21 a factor of 6/(-14) + (-2471)/(-49)?
False
Suppose 2*y + 20 - 106 = -4*h, 5*h - 110 = -3*y. Is 6 a factor of h?
False
Let f(w) = 28*w + 4. Does 44 divide f(3)?
True
Let w = -159 + 244. Let b = 2 - 60. Let k = w + b. Does 13 divide k?
False
Suppose -2*i - y = i - 9, -2*i - 4*y = -16. Suppose 0 = i*l - 25 - 11. Does 6 divide l?
True
Let l = 576 + -285. Suppose 5*n = 2*n + l. Suppose -4*a - 5*h + n = 0, -3*h - h + 20 = 0. Is a a multiple of 7?
False
Let d be 6/(-10) - (-23)/5. Suppose l - 4*i - 16 = 0, 0*i - 20 = -2*l + d*i. Suppose -l = 2*g - 5*b - 40, 4*b + 8 = -g. Does 4 divide g?
True
Let s be 1*(-1 + 2)*0. Suppose 3*z + h + 3*h = 18, 2*z - 3*h + 5 = s. Suppose 3*r - 4 = z*r. Does 2 divide r?
True
Let m = 85 + -53. Is m a multiple of 8?
True
Suppose 3*z + 1629 = 2*t, -2715 = 6*z - z + t. Let c = 51 + z. Is 21 a factor of (-4)/6 - c/9?
False
Suppose -3*r = 5*n - 4*r - 13, r - 3 = -3*n. Let p(w) = 5*w**3 + 2*w**2 + w - 1. Is p(n) a multiple of 15?
False
Let f be ((-12)/8)/(3/44). Let z = -23 + 11. Let a = z - f. Is a a multiple of 6?
False
Suppose -2*x = -9 - 1, -3*u + x = -292. Is u a multiple of 11?
True
Suppose -6*a = -2*a - 548. Does 10 divide a?
False
Suppose 367 = 4*b - 169. Suppose 5*c - c - 2*x = b, 131 = 4*c + x. Is 12 a factor of c?
False
Does 4 divide (8 - -6)/((-1)/(-4))?
True
Suppose 3*i - 6*i = 0. Suppose i*q + 4*q + 48 = 0. Let p = q + 32. Is p a multiple of 20?
True
Let l(w) = -3*w**2 - 12*w + 3. Let j(g) = -g**2 - 6*g + 2. Suppose -4*x - 5 - 3 = 0. Let a(v) = x*l(v) + 5*j(v). Does 14 divide a(8)?
False
Let i(q) = 0 - 6 + 3 - q + 2*q**2. Does 10 divide i(-3)?
False
Let i(p) = p + 6. Let b be i(-3). Suppose -b*o + 11 = -19. Is 5 a factor of o?
True
Suppose 3*x = 5*c - 22, -2*x + x - 19 = -4*c. Let u = c + -5. Suppose w - 2*d - 19 = u, 5*w - d = -5*d + 25. Is w a multiple of 5?
False
Suppose -3*u = -9 - 3. Suppose 8 = u*g + 4*n, -3*g + 2*g - 5*n + 2 = 0. Suppose -g*b + 3 = -19. Is 5 a factor of b?
False
Let w = -34 + 49. Is w a multiple of 5?
True
Suppose n = 28 + 5. Is n a multiple of 4?
False
Suppose -3*f + 13 = 1. Suppose 0 = -b + 11 + f. Does 8 divide -2*5/(b/(-24))?
True
Let i be ((-30)/(-9))/((-3)/(-9)). Let m = i + -6. Suppose -6*l = -m*l - 8. Is l a multiple of 4?
True
Does 11 divide 2/12 - 699/(-18)?
False
Suppose -y - f = -11, -2*y + f + 3*f + 40 = 0. Is 15 a factor of (-4)/14 - (-284)/y?
False
Let d be (-3)/(-2)*(-4)/1. Is (3 - d/9)*3 a multiple of 11?
True
Suppose 0 = -2*y - 3*t + 45, 3*y + 0*t - 45 = 3*t. Does 8 divide y?
False
Suppose 0 = -7*f + 2*f + 140. Suppose 2*s - 2*u + 12 = 0, -u + 4 = s - 4*u. Let t = s + f. Does 6 divide t?
False
Let l(r) = r**3 + 6*r**2 + 2*r - 3. Does 6 divide l(-4)?
False
Suppose 0 = -4*t + z - 2*z - 3, -5*t + 3 = -z. Suppose 2*l + t*l - 12 = -4*q, -4*l - 31 = -3*q. Is q a multiple of 3?
False
Suppose 215 = -2*q - 2*n + 31, n + 468 = -5*q. Let g = -56 - q. Does 17 divide g?
False
Let i(s) = s**3 + 4*s**2 - 3*s - 6. Does 6 divide i(-4)?
True
Suppose -u + 236 = 2*k, 0 = k - 6*k + 5*u + 560. Is 29 a factor of k?
True
Let w(i) = 13*i - 3. Let u be w(5). Suppose 2*k + 3*k = 0. Suppose 5*x - u - 148 = k. Does 14 divide x?
True
Let j be (2/4 + 2)*-2. Let q(m) = -13*m**3 - m**2 + 6*m - 6. Let t(s) = 12*s**3 + s**2 - 7*s + 7. Let a(y) = j*t(y) - 6*q(y). Is a(1) a multiple of 9?
False
Let g(z) = -4*z**2 + z - 1. Let b be g(1). Is 5 a factor of (-222)/(-42) + b/14?
True
Let p = -3 + 4. Suppose 0 = 5*i + 3*y + p, i + 5*y + 0*y = -9. Suppose -2*c - i + 13 = 0. Is 2 a factor of c?
True
Suppose 0 = 5*l - 122 + 12. Does 2 divide l?
True
Suppose -15 = -5*y + s - 6*s, -4*y + 2*s + 30 = 0. Is 7 a factor of y - 0 - (1 - 2)?
True
Suppose -4*u = -7*u + 150. Let a be u/(-6) + 2/(-3). Is a/6*(-22)/3 a multiple of 8?
False
Suppose -5*z = 2*s + 109, -z - 2*s + 15 = 40. Let g = 8 - z. Is g a multiple of 14?
False
Suppose -j = -3*m + j, 2*j + 2 = 4*m. Suppose 2*a + m*l = 34, 0*a - 13 = -a + l. Does 15 divide a?
True
Suppose -2*m = -7*m + 175. Suppose p + 3*p - 8 = 0. Suppose 7*x - p*x = m. Is 2 a factor of x?
False
Suppose -2*v = -5*z + 599, 4*z - 6*z = 4*v - 230. Is z a multiple of 10?
False
Let x(u) = -u**2 - 14*u - 1. Let p(l) = -3*l - 1. Let m be p(2). Is 16 a factor of x(m)?
True
Let i(o) = 2*o**3 + 4*o**2 + 4*o + 3. Let z be i(-2). Let y = 4 + z. Does 9 divide (1/y)/((-1)/26)?
False
Let i(y) = -6*y + 2 - 3 + 4. Let d be i(3). Let r = d - -28. Does 13 divide r?
True
Suppose 5 = r + 3. Let g = 6 - r. Does 4 divide g?
True
Suppose 4*v = -0 + 40. Suppose p - 3*r + 4*r - 33 = 0, 5*r = -3*p + 99. Suppose 4*o - v = y + p, -2*o = 2*y - 24. Is o a multiple of 11?
True
Suppose 7*h + 302 - 841 = 0. Is 26 a factor of h?
False
Let o = 28 + -20. Does 9 divide o/(-28) - 93/(-7)?
False
Is (-232)/(-13) + (-2)/(-13) a multiple of 6?
True
Let u = 83 - 8. Is u a multiple of 10?
False
Let y = 1412 - 1002. Is y a multiple of 36?
False
Let i = 13 + -10. Let g(r) = r**3 - r**2 - 2*r. Is 4 a factor of g(i)?
True
Is -4 - 44/(-10) - (-573)/5 a multiple of 17?
False
Suppose -64 = 4*y - 6*y. Is 20 a factor of y?
False
Is 5*-48*(-10)/75 a multiple of 9?
False
Suppose 2*s - 3*d + 6*d - 8 = 0, d = 2*s. Is 19 a factor of 40 + (1 - -1 - s)?
False
Let i(c) = c**2 + 14*c + 3. Let w be i(-9). Let z = 88 + w. Does 27 divide z?
False
Let r(s) = -2*s + 2. Let p be r(7). Does 6 divide 0/(-2) + p/(-2)?
True
Let w(p) = -3*p + 62. Is 15 a factor of w(-12)?
False
Let w = 3 + -1. Suppose -4*r = 2 + w. Let m = 9 + r. Is 8 a factor of m?
True
Is 2/(-10) - 392/(-10) a multiple of 8?
False
Is 23 a factor of 14/7 - (2 - 230)?
True
Let g(p) = 13*p**2 + p + 3. Let l(o) = -25*o**2 - 2*o - 5. Let k(h) = -7*g(h) - 4*l(h). Is k(2) a multiple of 10?
False
Let l(m) be the first derivative of m**3/3 - 5*m**2 + 3*m + 2. Let a be l(10). Suppose f - 3 - a = 0. Is 2 a factor of f?
True
Suppose -4*k - 3*v - 14 = 0, 2*k + k - 5*v - 4 = 0. Let a = -22 - k. Is 4 a factor of 65/a*(-4)/1?
False
Suppose 3*u - 293 - 117 = 2*c, 4*c + 400 = 3*u. Does 20 divide u?
True
Let b = -4 - -6. Let k be 2 - (1 + (b - 29)). Is 14 a factor of 8/k + 257/7?
False
Let w(m) = 8*m**2 - 23*m + 4. Is 11 a factor of w(6)?
True
Let g = 152 + 82. Is 15 a factor of g?
False
Suppose -d - 3*d = -4*t + 48, -3*t = 2*d - 61. Is t a multiple of 11?
False
Let s = -16 + 18. Suppose r = -s*r + 90. Is r a multiple of 10?
True
Suppose 0 = -z - 2*z. Suppose 0 = 4*i - z*i - 124. Is 13 a factor of i?
False
Let n = -48 + 55. Is n a multiple of 7?
True
Is 45 a factor of 2 + 2 + 181 + -5?
True
Let q(p) = -p**2 + 4*p - 1. Let x be q(3). Suppose -9 = -3*r, 0*r = -x*w + 3*r + 11. Is