?
False
Let l = -20 - -29. Does 9 divide l?
True
Let h = 61 + -29. Is 8 a factor of h?
True
Suppose 5*y - 8 - 22 = 0. Suppose l = y*l - a - 94, -l + 4*a = -34. Is 6 a factor of l?
True
Let g be (9/12)/(1/80). Suppose 0 = -6*d + 3*d + g. Is 20 a factor of d?
True
Suppose 3*n = -n + 252. Let x = -7 + n. Does 20 divide x?
False
Suppose 4*h + 24 = 4*t, -2*h - 2*h + 32 = 3*t. Is t even?
True
Is 21 + (-3)/(6/(-4)) a multiple of 9?
False
Let s(j) = 119*j**3 - 2*j**2 + j. Does 11 divide s(1)?
False
Suppose -4*u - u = -160. Does 5 divide (-3)/(3 - u/10)?
True
Let q(k) = k**3 - 6*k**2 + 3*k + 2. Let c be q(4). Let i be (-652)/c + (-2)/9. Suppose 3*x + i = 3*p, -x - 58 = -4*p + x. Is p a multiple of 7?
False
Suppose -3 = -o + 36. Is 13 a factor of o?
True
Let v(a) = a**3 - a**2 - 4*a - 2. Let m be v(4). Suppose m + 6 = 4*r. Is r a multiple of 9?
True
Let s be (6 + -1 - 1)*1. Let w(n) = 19*n + 8. Is 12 a factor of w(s)?
True
Does 11 divide (-940)/(-8)*(-2 - -4)?
False
Let s(u) be the second derivative of u**5/20 - u**4/3 - 4*u**3/3 + 2*u**2 + 2*u. Is 14 a factor of s(6)?
True
Suppose b = 4*b - 156. Is b a multiple of 19?
False
Suppose t = -5*p + 1077, 5*p - 502 = -3*t + 569. Is p a multiple of 16?
False
Does 5 divide (-11)/33 - 98/(-6)?
False
Suppose 2*q - 10 = -4*w + 4*q, -4*w + 40 = 4*q. Suppose -3*v + 261 = -2*g, 3*g + 33 = v - 61. Suppose h - w*h + v = m, 0 = -2*m + 10. Does 10 divide h?
True
Suppose -16*r + 17*r = 30. Is 7 a factor of r?
False
Let q(x) be the second derivative of 2*x**3/3 + 2*x**2 - 2*x. Let n(v) = -20*v - 20. Let d(t) = 3*n(t) + 16*q(t). Is d(5) a multiple of 15?
False
Let m(r) = -r**3 + 3*r**2 - 3*r - 1. Let y be m(3). Let o = 10 + -8. Let u = o - y. Is u a multiple of 4?
True
Suppose -4*f + 14 = -3*f. Is 7 a factor of f?
True
Suppose 7*z + 5 = 152. Is z even?
False
Is 2*((-453)/(-3) - 3) - -4 a multiple of 60?
True
Let k(n) = -n**3 + 3*n**2 + 6*n - 6. Let w be k(4). Suppose 0 = 5*d + 4*x - 150, 2*d + w*d + x - 131 = 0. Is d a multiple of 19?
False
Let w(x) = x**3 + 18*x**2 + 24*x + 15. Does 11 divide w(-15)?
True
Let r be (26/4)/(6/(-12)). Let p(f) = -f**3 - 14*f**2 - 17*f - 13. Does 12 divide p(r)?
False
Does 12 divide (-16)/(-2)*(-110)/16*-2?
False
Let p be 27/21 + 2/(-7). Let b be -2 + (1 - (p + 1)). Does 7 divide 17 - (-3 + 1 - b)?
False
Let x = 736 + -495. Is x a multiple of 20?
False
Suppose -64 = -4*j - 0*j. Let z = j - 11. Suppose -80 = -z*r + r. Does 9 divide r?
False
Let y = 37 + -23. Is 4 a factor of y?
False
Let x(p) = 12*p - 6. Let n be x(4). Suppose -4 = 2*z + n. Let h = z - -56. Is 12 a factor of h?
False
Let h(c) = 166*c**2 - 2*c - 1. Is h(-1) a multiple of 11?
False
Let a(b) = b**2 + 6*b - 1. Let u be a(-6). Let v be 1/(-2)*-8 + u. Suppose v*x = 12 + 3. Does 2 divide x?
False
Is (2 + 0 - -7) + 3 a multiple of 3?
True
Let z = 304 + -168. Is z a multiple of 17?
True
Let z(p) be the second derivative of -p**5/20 - 3*p**4/4 - 5*p**3/3 + 3*p**2/2 + p. Let h = 19 - 27. Is 19 a factor of z(h)?
True
Suppose -f - 1 = 0, -x + 5*x + 3*f = 37. Let d(z) = 6*z - 10. Let m(v) = -9*v + 15. Let c(a) = -7*d(a) - 5*m(a). Is 8 a factor of c(x)?
False
Suppose 5*k = -3*y + 70, 4*y - 2*k = k + 103. Is 12 a factor of y?
False
Let j(f) = -6*f + 27*f - 15*f. Does 18 divide j(6)?
True
Let g be (-1 + -5)/((-21)/(-14)). Let u(f) = -f**2 + 4*f + 1. Let i be u(5). Does 16 divide ((-50)/i)/((-2)/g)?
False
Let x(p) be the third derivative of 1/120*p**6 + 0*p + 2/15*p**5 - 2/3*p**3 + 0 + 5/24*p**4 - 2*p**2. Is x(-7) a multiple of 6?
False
Suppose -3*f = -3*d + 75, -2*f = -2*d + d + 24. Does 4 divide d?
False
Is 14 a factor of (-99)/(-3) + (3 - 4)?
False
Let g be (0 - -5)*(-1)/(-1). Suppose 0*k = g*k - 90. Suppose 2*d - k = d. Does 10 divide d?
False
Let a = 23 - 12. Is 8 a factor of a?
False
Let u = -37 + 109. Is u a multiple of 12?
True
Let w(i) = -i**3 - 6*i**2 + 8*i + 2. Let j be w(-7). Let q = j - -9. Let u = q + 3. Is 3 a factor of u?
False
Let s(b) = -b**2 - 3*b + 1. Let h be s(-3). Let l be h + -6 + (-2 - -1). Let a = l - -15. Is 8 a factor of a?
False
Suppose 5*q = -0*n + 2*n - 47, 36 = -4*q + 2*n. Let w be q - 1*2*-1. Let l(j) = -j**2 - 9*j + 12. Is 9 a factor of l(w)?
False
Let z be -1*(28 - (2 - 1)). Let o = z + 38. Does 11 divide o?
True
Let j = 11 - 8. Let d = 3 - j. Suppose d = -2*o + 3*o - 17. Is o a multiple of 9?
False
Let d(p) = -4*p - 20. Is 18 a factor of d(-12)?
False
Let k be 4/((-4 + 0)/(-2)). Let c(g) = -g**2 - 7*g - 1. Let x be c(-4). Is k*x*(3 + -2) a multiple of 11?
True
Let g(o) = 11*o - 12. Is 36 a factor of g(7)?
False
Let p be (-2 - 15/(-6))*48. Suppose -2*l - p = -5*l. Is l a multiple of 8?
True
Suppose 20 = n + 4*m - m, 0 = 4*n - 4*m - 128. Suppose 13 + n = 3*d. Is 14 a factor of d?
True
Suppose 8 = -2*b - 10. Let q = b + 67. Does 22 divide q?
False
Does 10 divide (-90)/(-21)*(14 - 0)?
True
Is 14 a factor of ((-42)/(-8))/(33/176)?
True
Suppose -2*c - 2*c - 12 = -4*t, -5 = 5*c - 3*t. Is 7 a factor of 0/c - (9 + -33)?
False
Let i(b) = -b**3 - 8*b**2 + 8*b. Is 9 a factor of i(-9)?
True
Let n be 3 + -1 - (33 + 5). Is 19 a factor of ((-57)/9)/(4/n)?
True
Let h(n) be the third derivative of -7*n**6/120 - n**5/30 + n**4/24 - n**3/3 + 2*n**2. Suppose 5*t - t + 8 = 0. Does 22 divide h(t)?
True
Suppose 179 = 3*r - 331. Is r a multiple of 34?
True
Let l = 23 + 6. Let i be (32/6)/4*-12. Let t = i + l. Is 8 a factor of t?
False
Suppose 0 = -y + 4*y + 2*b - 412, -3*y = b - 416. Suppose -n - 4*n + y = 0. Does 3 divide 3*(n/(-3))/(-4)?
False
Suppose -3*l = z - 423, 4*l - 571 = -0*z + z. Is l a multiple of 30?
False
Let h(k) = 5*k**3 + 4*k**2 + 8*k - 1. Let u(n) = -14*n**3 - 12*n**2 - 23*n + 3. Let z be -2 + -3*(-4)/(-3). Let j(a) = z*u(a) - 17*h(a). Is 5 a factor of j(4)?
False
Suppose -9*n + 1476 + 126 = 0. Is 22 a factor of n?
False
Suppose 5*b = 2*o + 138, 4*o = 6*o + 8. Is b a multiple of 17?
False
Is 25 a factor of 2/9 + (-448)/(-9)?
True
Let i be 9/(-12)*4*-1. Let t be i/12 + (-51)/12. Let j = 7 + t. Is 3 a factor of j?
True
Suppose 0 = -5*w + 83 + 497. Suppose 0 = t - 5*t + w. Does 12 divide t?
False
Suppose -5*f + 3*g = 5*g + 24, 0 = 4*g - 12. Let p be 4/f*18/(-4). Suppose t = 0, z - 7*t = -p*t + 50. Does 25 divide z?
True
Let r(i) = i**3 + 3*i**2 - i - 2. Let t(a) = a**2 - 6*a + 2. Let c be t(5). Let v be r(c). Suppose 5*p - 136 = -v. Does 9 divide p?
True
Let k(y) = y**2 + 2*y - 3. Let w be k(2). Suppose -11 = -0*o + o + 3*n, 0 = w*o - 5*n - 5. Does 7 divide (-3 - o/1) + 19?
False
Let p(l) = -10*l + 1. Let o(u) = -29*u + 3. Let s(g) = -6*o(g) + 17*p(g). Let w be s(1). Suppose 4*y - 22 - 23 = -5*c, 0 = w*y + 3*c - 33. Is y a multiple of 5?
True
Let d(s) be the first derivative of 5*s**2/2 - 3. Is 10 a factor of d(2)?
True
Suppose 0 = 2*c + 1 + 7. Let b(l) = l**2 + 3*l + 1. Let j be b(c). Suppose -5*x - 82 = -4*t + 82, -j*t + 3*x = -192. Is 18 a factor of t?
True
Let k = 94 - 56. Is k a multiple of 11?
False
Let g(f) = -1 - f + 2 + 3. Let d be g(6). Is 6 a factor of -1*(d + 11*-1)?
False
Let r = 37 - 10. Is r a multiple of 17?
False
Let k(o) = -5*o - o**3 + 2*o + 2*o. Let a(i) = 4*i**3 - 5*i**2 + 4*i + 7. Let y(c) = a(c) + 5*k(c). Is y(-5) a multiple of 4?
True
Suppose -2 = -2*m - 4*y, 1 = -11*m + 6*m - 4*y. Let o = m + 0. Is 4/((-5)/7 - o) a multiple of 14?
True
Let c(t) = 7*t - 1. Suppose -2*v = v - 18. Suppose 0 = -v*k + k + 10. Does 12 divide c(k)?
False
Suppose 0 = -z - z + 118. Let y = -35 + z. Is 9 a factor of y?
False
Suppose -5*s + 3*c = -0*s + 10, -8 = 4*s + 3*c. Let o be (30/(-4))/(1/s). Suppose 0 = 3*m - 3 - o. Is m a multiple of 5?
False
Does 7 divide (-283)/(-5) + 10/(250/(-15))?
True
Let v be (1 - 5)*(-15)/(-4). Is (-5)/(v/(-2))*-33 a multiple of 9?
False
Does 14 divide 1/((-6)/28)*-6?
True
Let h(m) = -m - 5. Let z be h(-4). Let l be z/((-3)/(-4) + -1). Suppose l*n = 2*f - 56, -f - 3*n - n - 2 = 0. Is 11 a factor of f?
False
Let l(u) = 7*u + 19. Let h(p) = 4*p + 9. Let t(n) = -5*h(n) + 3*l(n). Is 3 a factor of t(-9)?
True
Suppose -5*a - 12 = -3*a. Let g = a + 4. Let v = g - -7. Is v even?
False
Let z(l) = -l**2 + 5*l - 2. Let c(w) = -2. Let o(h) = -3. Let f(g) = -8*c(g) + 5*o(g). Let n(t) = -6*f(t) - z(t). Is 8 a factor of n(7)?
False
Let h = -3 + 8. Suppose 0 = 4*g - i + h*i - 88, -3*i = -12. Suppose g