rue
Let n = 307 - 147. Does 10 divide n?
True
Suppose -3*g - 3 = 0, 2*g - 16 + 90 = 4*y. Suppose -6*w + 7*w = -y. Is 502/12 + (-3)/w a multiple of 21?
True
Suppose -5*g + 156 = 4*v, 4*v = 8*g - 4*g + 156. Does 6 divide v?
False
Suppose -5*j + 42 = -2*j. Is j a multiple of 5?
False
Let p(o) = -o**2 + 5*o - 2. Let y be p(3). Suppose -4*z + g = -165, 0 = -3*z + y*z - 5*g - 65. Is z a multiple of 10?
True
Suppose -3*s = -8*s + 20. Suppose -s*d - d + 365 = 0. Is 22 a factor of d?
False
Does 13 divide 1810/35 - 4/(-14)?
True
Suppose -2*c + 312 = -5*m, 624 = -2*c + 6*c + 3*m. Let j = c - 102. Does 18 divide j?
True
Let z(l) be the third derivative of l**6/120 - 2*l**5/15 + 11*l**4/24 - 5*l**3/3 - 4*l**2. Does 9 divide z(7)?
True
Let j(p) = p**3 - 6*p**2 - 22*p + 18. Is j(9) a multiple of 7?
True
Let q = 222 + -194. Is q a multiple of 4?
True
Let i(g) = g + 2. Let j be i(0). Is 6*1/(j/7) a multiple of 9?
False
Let q(n) = n**3 + 9*n**2 + 7*n - 2. Let w(g) = 2*g**3 + 18*g**2 + 14*g - 3. Let a(x) = 5*q(x) - 2*w(x). Let s be a(-7). Let u = -27 + s. Does 18 divide u?
True
Suppose 5*m - 2*l - 128 = 0, 23 + 9 = 2*m + 4*l. Is m a multiple of 5?
False
Let f be (-11)/((1 - -1)/(-2)). Suppose -f*l + 26 = -10*l. Is l a multiple of 13?
True
Suppose -5*c = -2*a - 0*c + 29, -a + 13 = -4*c. Does 8 divide a?
False
Let c(b) be the first derivative of -b**4/4 - 7*b**3/3 - b**2 + 6*b - 5. Does 18 divide c(-7)?
False
Suppose -4*y = 5*g + 259, -y + 185 = -3*g + 4*y. Let b = -31 - g. Is 8 a factor of b?
True
Let y be 899/(-13) + 14/91. Let a = 97 + y. Does 14 divide a?
True
Suppose 0 = -j - 4 + 6. Suppose 3*t + 4*b - 55 = -j, 0 = b - 2. Is 15 a factor of t?
True
Let b(v) = 3*v - 3 - v + 3*v**2 + 2*v. Suppose -2*d + 4 = i, 2*d + 2*d = -i + 10. Is 10 a factor of b(d)?
False
Let z = -19 + 27. Let d = z - 5. Suppose -4*l + 3*r + 156 = 0, d*l - 110 = r + 3*r. Does 22 divide l?
False
Let l be (32 - 4)/((-2)/(-3)). Let g be (-12)/l + (-32)/(-14). Suppose -59 = -3*c - 4*r + 3, -g*r = c - 24. Does 14 divide c?
True
Let h be (-7)/(7/(-2)) + -2. Is (h + -3)*(-8)/6 a multiple of 4?
True
Suppose -2*u - 3*u + 20 = 0. Let h = 7 - u. Suppose 3*m - h = -5*p + 10, p = -3*m + 29. Does 10 divide m?
False
Let i(j) = j**2 + 6*j - 1. Is i(-9) a multiple of 26?
True
Let w be ((-94)/4)/((-1)/(-2)). Let l be (-33)/(-3)*-1*6. Let a = w - l. Is 19 a factor of a?
True
Suppose 5*v = -5*h + 105, 0 = v + 3*v - h - 79. Does 4 divide v?
True
Suppose 4*o - 3*i - 1420 = 0, 4*i + 516 + 204 = 2*o. Is o a multiple of 14?
False
Suppose 32 - 2 = -2*k. Let q = k - -28. Is 9 a factor of q*-2*(-1 - 0)?
False
Let u(l) = 3*l**2 + l - 1. Let g be u(1). Suppose -v - 4 = -g*v. Suppose -o + v = -7. Is o a multiple of 3?
True
Suppose h + h = 5*y - 385, 5*h = -y + 50. Does 25 divide y?
True
Suppose 9*a = 8*a + 30. Does 30 divide a?
True
Let s be 35/(-4) - 18/(-24). Let i(k) = -5*k - 10. Is i(s) a multiple of 15?
True
Suppose 0 = -2*w - 3*u + 14, 0*w - 2*w - 2*u = -14. Is w a multiple of 7?
True
Let k(r) = r**2 + r + 1. Let h(p) = 2*p**2 - 5*p - 4. Let d(x) = h(x) + 2*k(x). Suppose -3*g = -7 - 5. Is 15 a factor of d(g)?
False
Suppose -3*d + i + 4 = 0, -d + 2*i = -0*d - 3. Let p = d + 1. Does 2 divide p?
True
Suppose 5*n + 3*d = 0, -3*n + d = 5*d + 11. Suppose 78 - 6 = n*s. Is s a multiple of 12?
True
Let j(w) = 2*w - 18. Let h be j(12). Let u(b) = 5*b - 5. Is 10 a factor of u(h)?
False
Let s = 349 + -207. Does 12 divide s?
False
Let a(d) = -3 + 2 + 3 + 3*d**2 + 1. Let r be a(-3). Does 15 divide r + (-1)/((-2)/4)?
False
Let c(i) = -i**2 + 10*i - 7. Let n be c(9). Let r(p) = -3 - p**n - 5*p**2 + 8*p**2. Does 21 divide r(5)?
False
Let m(p) = 2*p - 2. Let t(j) = j**3. Let g be t(2). Suppose 3*b - g = -2. Is m(b) a multiple of 2?
True
Let v be 30/(-4)*(-12)/(-15). Let u = v - -57. Let h = u + -18. Does 15 divide h?
False
Let o = -48 - -53. Does 4 divide o?
False
Let w be (0 - (-4 - -3)) + 2. Suppose 4*q = q + w. Let u(g) = 21*g**2 - 2*g + 1. Is 10 a factor of u(q)?
True
Let z(k) = k - 88. Let w be z(0). Does 22 divide w/6*(-63)/14?
True
Let n(p) = -p + 7. Let w be n(6). Suppose 13 = 3*j + u - 2*u, 0 = -u - w. Suppose -5*a - g + 63 = -2*a, 74 = j*a - 2*g. Does 6 divide a?
False
Suppose -j - 4*j + 130 = 0. Does 13 divide j?
True
Let f = -10 - -16. Is 2 a factor of f?
True
Let v = -1 - -6. Is v a multiple of 2?
False
Let b(f) = 8*f**3 - 2*f**2 + 2*f - 1. Let p = 7 - 4. Let h = p + -2. Is b(h) a multiple of 7?
True
Let p(c) = -5*c - 23. Does 18 divide p(-12)?
False
Let s(m) = -m**3 + 4*m**2 + 2*m - 3. Let t be s(4). Suppose -o + 6 + 10 = t*h, -3*h = 9. Suppose 2*x - 13 = 2*j + o, 82 = 5*x + 2*j. Does 14 divide x?
False
Let v(m) = 2*m + 11. Let y be v(-8). Let x = -2 - y. Suppose 4*w - 64 = 2*w - 2*i, x*w - 94 = -2*i. Does 10 divide w?
True
Suppose 6*z - z = -d - 23, -2*d - 2*z = 22. Let f(s) = -s + 10. Does 10 divide f(d)?
False
Suppose -3*j + j = 0. Suppose -5*q + 152 = 3*g, q = -j*q + g + 24. Is 14 a factor of q?
True
Let y(o) = o**2 + 6*o + 3. Let l be y(-2). Does 8 divide ((-16)/l)/((-2)/(-10))?
True
Suppose -14 = -4*v - 66. Let b = -26 - v. Let k = 12 - b. Does 19 divide k?
False
Let v be -2 - -12 - 2 - 1. Let n(i) = -i**3 + 9*i**2 - 10*i - 1. Is 17 a factor of n(v)?
False
Suppose 3*a = 8 + 4. Suppose 4 = a*x - 16. Does 5 divide x?
True
Let m(r) = r**2 + 7*r + 6. Let u(q) = -q**2 - 6*q - 6. Let c(k) = -6*m(k) - 5*u(k). Is c(-8) a multiple of 8?
False
Suppose 0 = -4*p + 16, u = p - 3*p + 188. Is 9 a factor of u?
True
Let q = -88 + 151. Is q/5 - (-2)/5 a multiple of 6?
False
Suppose 0*n = -4*n + 52. Suppose -n*k + 620 = -8*k. Is k a multiple of 26?
False
Let s be (-85)/(-10) + (-3)/(-6). Suppose 2*r = -2*k - 5 + 35, -k + s = -r. Does 12 divide k?
True
Suppose 0 = q + 3*t - 38, 4*q + 5*t - 4*t - 174 = 0. Suppose 5*l + 129 - q = 0. Let u = -10 - l. Does 7 divide u?
True
Let t be 0*2/8*2. Let r be (-1)/(-1 - t) - 1. Let o = r - -5. Is o even?
False
Suppose 29*k - 32*k = -201. Let y(x) = x**2 - 2*x - 3. Let o be y(-2). Suppose o = 5*d + 30, d - k = -4*p. Is p a multiple of 9?
True
Suppose 0 = 5*q - 4*t + 6*t - 333, 4*q = 5*t + 240. Let i = 108 - q. Is i a multiple of 12?
False
Let a = -184 - -290. Is 10 a factor of a?
False
Let u(z) be the first derivative of -z**3/3 - 7*z**2/2 + 2*z + 1. Let a be u(-7). Does 10 divide 5/a*(-1 - -7)?
False
Suppose -7 = -2*p + 5. Let w = 6 - p. Suppose w = a + a - 44. Is a a multiple of 9?
False
Let f(t) = -t**2 - 6*t - 2. Let j be f(-4). Suppose 0 = -j*u + 69 + 57. Is 5 a factor of u?
False
Let y = 10 - 18. Let b = y + 6. Is (1/2)/(b/(-120)) a multiple of 15?
True
Let y(s) = s**3 + 3*s**2 - s + 1. Is y(-3) even?
True
Let t be -1 - 1 - (-8 + 1). Suppose -2 = 3*f - t. Is -1 - (f + (-15 - -2)) a multiple of 11?
True
Suppose -5*w + 4 = 19. Let v = w - -6. Suppose -v*t + t = -60. Is 14 a factor of t?
False
Suppose 0 = -0*y - y - 31. Is (3 - (y + 0))/2 a multiple of 5?
False
Let t = 3 - 1. Suppose 8 = 3*i + t*h, 0 = -5*i - 3*h + 13 + 1. Suppose -80 = -i*o - 0*o. Is o a multiple of 10?
True
Suppose -9*g + 16 = -5*g. Suppose -g*x + 72 = 2*u, -46 = -4*u + 4*x + 62. Does 15 divide u?
True
Let k(w) = -w**2 + 2*w - 2*w**2 + 2 + 0*w**3 + w**2 - w**3. Suppose -14 - 1 = 5*h. Does 2 divide k(h)?
False
Let l(f) = -f**2 - 13*f + 4. Let n be l(-13). Suppose 89 = 4*x - s - 8, -n*s + 12 = 0. Is x a multiple of 12?
False
Let v(h) = h**3 - 3*h**2 + 4*h + 2. Let w(d) = -d**2 + 1. Let r(j) = v(j) + 4*w(j). Let y be r(6). Does 19 divide 94/(3/y*-4)?
False
Let g be 2 + 6/(-2) + 4. Suppose 12 = 2*b - g*b. Is 4 a factor of 8/b + 52/6?
True
Let m(h) = h**3 + 5*h**2 + 4*h + 2. Let r = -3 - 1. Let s be m(r). Suppose -j + s*j = 21. Does 13 divide j?
False
Let j(r) = 51*r**2 + r + 1. Does 17 divide j(-1)?
True
Let t = 41 - 18. Is t a multiple of 11?
False
Let a = -6 - -10. Suppose 0 = a*m + 4*k + 24, k = -3*k - 16. Is (-4)/m*19 - 2 a multiple of 18?
True
Let n(x) = -x**2 - 6*x + 11. Let k be n(-7). Suppose 0 = -3*s - 3*w + 309, -k*s + w - 4*w + 411 = 0. Does 34 divide s?
True
Is 24*(-12)/(-9)*1 a multiple of 32?
True
Suppose -73 - 15 = 4*q. Let f = 31 + q. Suppose -5*w + 199 - f = 0. Does 16 divide w?
False
Let r(n) = 18*n**2 + 3*n + 2. Is 17 a factor of r(-2)?
True
Let q(l) = -4*l**2 + 24*l + 47. Let g(m) = -m**2 + 6*m + 12. Let 