l(h) = 7*h + 1. Is 17 a factor of l(6)?
False
Let p be (-3 - -1 - -2) + 17. Suppose -4*a = -n + p, a = 2*n + 3*n - 85. Is 13 a factor of n?
False
Let u(d) = d**2 - 9*d - 9. Let j be u(10). Let t(q) = 14*q**2 - q + 1. Does 7 divide t(j)?
True
Let t = 3 + -2. Suppose -12 = -d + t. Let f = d + 3. Is f a multiple of 8?
True
Suppose -10 = 5*k - 3*z - 59, 4*z = -4*k + 20. Let l = k + 7. Is l a multiple of 15?
True
Let g be (5 - 2) + 126 + 6. Suppose 5*y = -15, i - 4*i = -5*y - g. Is 10 a factor of i?
True
Let y(x) = -3*x**3 - 3*x**2 - 3*x - 15. Is y(-5) a multiple of 60?
True
Let q(c) = 15*c + 1. Let y(p) = -7*p - 1. Let l(n) = 2*q(n) + 5*y(n). Is l(-3) a multiple of 8?
False
Suppose 4*g - 58 = -5*v, v + 1 = -5*g - 0. Is 4 a factor of v?
False
Let t = 50 + -29. Does 4 divide t?
False
Suppose -2*b = -38 + 8. Suppose r + 7 - b = 0. Is 4 a factor of r?
True
Suppose c + c - 416 = 0. Suppose 7*z = 4*z + o + 156, c = 4*z - 2*o. Is 14 a factor of z?
False
Does 15 divide (15/4)/(6/24)?
True
Suppose 0 = -3*l + 1 + 11. Suppose 0 = 2*s - 4*s. Let o = s + l. Is o a multiple of 2?
True
Suppose -6 = r - 57. Suppose -4*n = -4*w - w + 61, 2*w = n + 13. Let o = r + n. Is 14 a factor of o?
False
Let m = 227 - 123. Is m a multiple of 26?
True
Let q(g) = g**2 - 8*g + 13. Let c be q(9). Suppose 0*w = -w - 4*p + 17, w - p = c. Is 7 a factor of w?
True
Suppose -1080 = -0*x - 12*x. Does 18 divide x?
True
Suppose 2*w - 1 - 9 = 0. Let n(b) = 4 + 2 - 6 - 3 + 2*b. Is 7 a factor of n(w)?
True
Let i be (-2 - 7) + 0/(-8). Suppose -3*u = -n - 35, 2*u = n - 4*n + 16. Let z = u - i. Is 20 a factor of z?
True
Suppose -4*c = 3*v - 87, -5*c - 37 = -2*v + 44. Does 5 divide v?
False
Let u(g) = -3*g + 11. Does 11 divide u(-22)?
True
Is (434/155)/((-2)/(-15)) a multiple of 3?
True
Let f(m) = m - 1 + 0 - 1. Let d be f(7). Suppose -d*z + z + 148 = 0. Does 16 divide z?
False
Let y be (6 - -2)*3/4. Let l be 4/y*(-12)/4. Does 9 divide 318/12 - l/4?
True
Let r = 266 + -92. Is r a multiple of 6?
True
Let a(w) = w**2 - 2*w - 6. Let f(u) = u**3 + 9*u**2 + 9*u + 12. Let k be f(-8). Let c be (k/(-2))/(1/2). Is 9 a factor of a(c)?
True
Suppose 9*l + 145 = 14*l. Is l a multiple of 29?
True
Is (276/8)/((-1)/(-2)) a multiple of 23?
True
Suppose 0*w + 2*s - 36 = -w, 4*w - 128 = -4*s. Suppose w = -0*q + q. Does 14 divide q?
True
Suppose i - 2*v + 0 = -5, 5*i = -v + 8. Does 4 divide i - (-4 - (0 + 0))?
False
Suppose -6*c + 4 = -2*c. Let s(v) = -c + 2 - 5*v + v**2 + v. Is 5 a factor of s(5)?
False
Let u(f) = -f**3 + 6*f**2 - 3*f - 5. Let r be u(5). Suppose l + t = -3*t - 6, -r*l = 2*t - 6. Suppose -5 = -2*d - 3*w, 3 - 9 = -l*d - 2*w. Is d even?
True
Suppose 3*i = a - 13, 4*a - 24 = 3*i + 2*i. Let u be (i/(-10))/(2/10). Is 16 a factor of 0 - (u + -2 + -19)?
False
Suppose 0 = 3*o + s - 1, 0 = o + 3*s + 6 - 1. Suppose 13 = 5*u + 3*f, o = u + 3*f - 4. Suppose -i + 115 = 4*m, -u*m - 3*m + 134 = -2*i. Does 14 divide m?
True
Suppose -28*x + 117 = -25*x. Does 20 divide x?
False
Suppose 194 = d - 2*f, -d - d + f + 379 = 0. Does 20 divide d?
False
Let f be (22 - 1 - 2)/1. Let h be f - 6/3*1. Suppose 4*o - 2 = -2*d, 0 = -d + 2*o - 0*o + h. Does 6 divide d?
False
Suppose 0 = -4*t + 5 - 29. Let s be 9/t*2/(-3). Does 8 divide -8*s/(2/(-4))?
True
Let b be ((-2 + 11)/3)/(-1). Let o = b - -11. Suppose 3*t - o - 4 = 0. Is t even?
True
Let l = -68 - -113. Let a be (2/6)/((-5)/l). Is 20 a factor of (-2 - a)/1 + 39?
True
Let c = 12 - 8. Does 20 divide ((-76)/(-6))/(c/18)?
False
Let v(i) = i + 1. Let g be v(-3). Let u(x) = -x. Let k be u(g). Suppose 154 = 3*w - 0*w + k*z, -2*w + 101 = 3*z. Does 18 divide w?
False
Let k(l) = -l**3 + 18 + 12 + 2*l - l. Let d be k(0). Let h = d - 12. Is h a multiple of 18?
True
Let p(k) = -k + 10. Let v be p(5). Suppose 0*g + 3*g = -2*m + 55, 3*g - m - 58 = 0. Let a = v + g. Does 12 divide a?
True
Suppose -4*i + 34 = 2*d, 4*i = -0*d - 4*d + 60. Is d a multiple of 13?
True
Suppose -3*d + 44 = y, -d - 6 = -3*d. Is y a multiple of 5?
True
Let g(a) = a**2 + 7*a - 5. Let w = 3 + 1. Is g(w) a multiple of 14?
False
Suppose 43 = 3*s - 14. Is 19 a factor of s?
True
Suppose w = 62 - 20. Suppose t - 40 = -4*x, 2*x + 3*x - w = -t. Is t a multiple of 16?
True
Let y = 6 + 50. Is y a multiple of 14?
True
Let z(g) = g**3 + 8*g**2 + g + 6. Let j be z(-8). Let m = j - -6. Is 3 a factor of m?
False
Let k(h) = 8*h**2 - 2*h - 1. Is k(-1) a multiple of 3?
True
Let h(v) be the third derivative of 29*v**4/4 - v**2. Let i be h(1). Suppose -36 = 3*q - i. Is q a multiple of 14?
False
Let b(r) be the second derivative of 0 + 0*r**4 + 0*r**3 - 11/10*r**5 - 1/2*r**2 - 4*r. Is 17 a factor of b(-1)?
False
Suppose -5*z + 270 = 5*h, -z = -1 - 1. Let c = -30 + h. Is c a multiple of 11?
True
Suppose -8*x + 5*x = 0. Suppose x*d = d - 43. Is d a multiple of 12?
False
Let x(u) = u**3 - u**2 + u - 30. Let y be x(0). Does 10 divide 5 - 6 - (y + -1)?
True
Let w = 121 + -22. Is w a multiple of 31?
False
Suppose -l = 2*l - 93. Let g = l + -24. Is g a multiple of 7?
True
Suppose 0 = 2*g - 4 - 18. Let h = -8 + g. Suppose h*q = 8*q - 40. Does 3 divide q?
False
Let y be 1/(-1)*3 - 1. Let d = -16 + 28. Is 15 a factor of (45/d)/((-1)/y)?
True
Let o(p) be the third derivative of p**5/120 + p**4/24 - p**3/2 - p**2. Let q(m) be the first derivative of o(m). Is q(10) a multiple of 11?
True
Let j be -3 - 1 - (2 + -119). Let x = j + -55. Is 29 a factor of x?
True
Let n = 11 + 7. Is 6 a factor of n?
True
Let x be 1/(-2*(-1)/126). Does 11 divide 14/x - (-196)/9?
True
Let j be (-784)/(-21) - 1/3. Suppose 3*u - j = l + 15, 4*u = 3*l + 76. Is 4 a factor of u?
True
Let k = 21 - 14. Does 2 divide k?
False
Let l(m) = m**2 + m + 88. Does 11 divide l(0)?
True
Let z = 9 - 13. Let o = z - -10. Does 3 divide o?
True
Let q = 6 + 10. Is q a multiple of 6?
False
Is 19 a factor of (-4)/(-8) + 545/10?
False
Is ((-4)/(-10)*(1829 - -6))/2 a multiple of 55?
False
Let t(r) = -14*r**2 - 22*r + 4. Let m(d) = -5*d**2 - 7*d + 1. Let v(f) = -11*m(f) + 4*t(f). Let w be (-2)/((-2)/(-10) - 0). Does 10 divide v(w)?
False
Let r(t) be the second derivative of t**3/6 - 15*t**2/2 - t. Let o be r(13). Is (21 + -3)*(-2)/o a multiple of 6?
True
Suppose -30 = 5*z - 185. Is 12 a factor of z?
False
Let q = 258 - 183. Suppose -l - 48 + 4 = 0. Let d = l + q. Is 20 a factor of d?
False
Let i(d) = 2*d**3 + 3*d - 1. Suppose q + 2 = 4. Let j be i(q). Suppose 2*a + 4*m - j = 19, 2*m = -5*a + 108. Is 11 a factor of a?
True
Let v = 120 + -82. Let y = v + -25. Is 13 a factor of y?
True
Let g(w) = -2*w + 8. Is g(-13) a multiple of 7?
False
Let d = 86 + 4. Does 10 divide d?
True
Suppose 2 = 2*n + 2*u - 10, -5*u + 21 = -4*n. Does 10 divide (-174)/(-9) + n/(-3)?
False
Let c(u) = -u**2 - 4*u + 1. Let a(o) = -4*o**2 + 1. Let n be a(-1). Let q be c(n). Suppose 4*d - q*m - 11 = 3*d, m = 4*d - 44. Does 10 divide d?
False
Let h be (1 - 0) + (-26 - 2). Let s = h + 77. Does 25 divide s?
True
Suppose -o = -5*i - 3*o + 33, -5*o = -4*i. Suppose -i*r + 4*r + 103 = 0. Is r a multiple of 28?
False
Suppose 2*z + 2*f + f + 9 = 0, 2*f - 32 = 5*z. Let t = 2 - z. Is 8 a factor of t?
True
Suppose -2*q - 164 = -12. Let b = q + 137. Suppose 23 + b = 4*o. Is o a multiple of 11?
False
Let p = 6 + 3. Suppose 0 = -3*v - d + 4, 5 = -4*d - 3. Let r = v + p. Is r a multiple of 11?
True
Does 11 divide (0 - -1*92) + -4?
True
Let j be 3/((-3)/(-108) + 0). Let k = -69 + j. Is 13 a factor of k?
True
Let n = -77 + 103. Does 4 divide n?
False
Let i(k) = -6*k. Let o be i(-2). Let f = -3 - o. Let h = 24 + f. Is h a multiple of 3?
True
Suppose 3*r = -2*j + 21, -r + 13 = 4*j - 4. Suppose r*d - 26 = -2*y, -d + 5 = -y + d. Is 2 a factor of y?
False
Let m = -68 - -113. Is m a multiple of 11?
False
Let z = 10 + -18. Let f(a) = a**2 + 8*a + 8. Does 4 divide f(z)?
True
Let m = 181 - 61. Is m a multiple of 26?
False
Suppose m - 140 = -4*q, -4*m = q - 2*q + 52. Does 9 divide q?
True
Suppose t + t = 4. Suppose -3*o + 275 = t*o. Does 14 divide o?
False
Does 10 divide (-2 - -7)/((-2)/(-4))?
True
Let p(z) = z**2 - z. Let g(d) = 3*d**3 + 7*d**2 - 6*d + 4. Let h(c) = -g(c) + 4*p(c). Is 8 a factor of h(-3)?
False
Let d = -52 - -91. Let n = -23 + d. Is 16 a factor of n?
True
Suppose 4*q = 3*q + 188. Let p = q + -23. Suppose p - 39 = 2*k. Is k a multiple of 2