68 = -5*m. Is 8 a factor of t?
True
Let h = 2 + 1. Let s be 8 + -5 - (-266)/2. Suppose 133 + 27 = 5*m + 5*g, h*g = 5*m - s. Is 14 a factor of m?
False
Suppose 4*s + 124 = 5*s. Suppose z - h = 12 + 30, 3*z - h - s = 0. Is z a multiple of 13?
False
Suppose 0 = 2*t + 4, 3*t + 2*t = -2*m + 328. Is 13 a factor of m?
True
Let m(o) = o**2 - 8*o + 6. Let z be m(8). Suppose -z*s + 7*s = 34. Is s a multiple of 25?
False
Let s(w) = -2*w**3 + w**2 - 2*w. Let n be s(2). Is 18 a factor of n/6*(-54)/8?
True
Let m(t) = -t**3 - 7*t**2 - t - 4. Let z be m(-7). Suppose 0*p + z = p. Suppose 7 = -3*x + 4*b, -11 = -p*b + 1. Is x a multiple of 3?
True
Suppose -3*w = -f + 257, -5*f + 5*w - 540 = -1785. Suppose 5*v + 5*m - f = 0, 0 = -3*v + 2*m + 56 + 71. Is v a multiple of 15?
True
Let m be (0 - 2)/((-4)/6). Let h = 1 - m. Is 2 a factor of (4 - 0 - h)/2?
False
Let m = -82 - -25. Let v = m + 87. Is v a multiple of 10?
True
Let t be (-204)/8 + (-1)/2. Is 8 a factor of (-9)/(-1 + 4) - t?
False
Let t(j) = j**3 + j**2 - 3. Let s be t(-3). Does 9 divide 24/(-9)*s/4?
False
Let l = 14 - -38. Is 13 a factor of l?
True
Let h(n) = -18*n + 4. Let w(v) = -17*v + 4. Let p(o) = -2*h(o) + 3*w(o). Let r(b) = 8*b - 2. Let l(t) = 3*p(t) + 5*r(t). Does 7 divide l(-2)?
False
Let z(o) = 3*o**3 + 12*o**2 - 2*o - 17. Let q(f) = -f**3 - 6*f**2 + f + 8. Let p(k) = -5*q(k) - 2*z(k). Is 6 a factor of p(5)?
False
Is 223 - (-25)/10*2 a multiple of 19?
True
Let d = 18 - 4. Is 14 a factor of d?
True
Let p = 96 - 17. Suppose 3*s = 56 + p. Suppose -l = -2*o + 61, -5*o + s = 4*l - 101. Is 10 a factor of o?
True
Let d(q) = 8*q - 5. Let u(f) = -f + 1. Let b(j) = d(j) + 6*u(j). Let p be b(1). Suppose -p*n + 21 = -12. Does 3 divide n?
False
Suppose 2*i - 124 = -110. Is 7 a factor of i?
True
Let a = -38 - -74. Does 24 divide a?
False
Suppose s + 2*s - 21 = 0. Is s even?
False
Let f = -30 + 71. Does 10 divide f - 1/(3 + -2)?
True
Let r be (-3 + 2)/(-1) + -8. Let n be (r - -3)*(0 + -1). Is 22 a factor of (-18)/8*-6*n?
False
Let h = -1 + -2. Let d(r) = -r - 1. Is d(h) even?
True
Suppose -3*a + 0*i + 2*i = -5, 4*a - 3*i - 6 = 0. Suppose 0 = -2*q + 5*z + 98, -a*z + 330 = 5*q + 54. Is 18 a factor of q?
True
Let b = 412 - 224. Suppose -8*r - b = -12*r. Is 19 a factor of r?
False
Is 12 a factor of 31/2*2/1?
False
Suppose 2*y - 2*r = -0*r + 24, -y + 5*r = -4. Is y a multiple of 14?
True
Suppose 0 = -7*p + 4*p + 9. Suppose 3*o - p = 6. Suppose -3*s + z = 5*z - 53, 0 = 3*s + o*z - 51. Does 7 divide s?
False
Let s(g) = -g**3 + 7*g**2 + 2*g - 8. Is 10 a factor of s(6)?
True
Let y(f) = -29*f - 3. Let q be y(-8). Suppose -8 = -t + 3*o + 30, -5*t = -2*o - q. Does 16 divide t?
False
Is 13 a factor of 4/10 + (-1316)/(-35)?
False
Suppose 2*m + 5*r - 19 = 0, 2*m - 4*m = 2*r - 10. Suppose -v + 27 = m*v. Does 3 divide v?
True
Suppose -4*y = -14*y + 2000. Does 12 divide y?
False
Let n(h) be the second derivative of -h**6/120 - h**5/60 + h**4/6 - 5*h**3/6 + 3*h**2/2 - 3*h. Let p(b) be the first derivative of n(b). Does 10 divide p(-4)?
False
Suppose -10 = -0*w - 2*w. Suppose 1 = w*q - 49. Does 5 divide q?
True
Let s = 53 + -96. Let p be 13/(-3) - (-4)/(-6). Let l = p - s. Is l a multiple of 19?
True
Suppose -4*t + 16 = 0, r = 2*t + 2*t - 14. Suppose -r*o - o = -d - 3, 13 = -o + 5*d. Is o even?
True
Let m be (-3)/6 + 1/(-2). Let a be ((-2)/m - 1) + 4. Suppose 0 = 4*j - a*l - 83, 0*j - l = 5*j - 140. Does 14 divide j?
False
Let u(h) = 3*h**2 + h - 5. Let k be u(4). Is 19 a factor of (-3 + 2)*(0 - k)?
False
Suppose -3*t = -b + 7, -5*b - 12 = -2*b + 2*t. Let s = 0 - b. Let k(u) = 6*u**2 - u + 2. Is k(s) a multiple of 12?
True
Let k be ((-2)/(-4) - 1)*-4. Suppose -n - 2*b + 159 = k*n, 2*n + 3*b = 111. Is n a multiple of 17?
True
Let d(f) = -7*f**3 + f. Let o be d(2). Let r be (o/((-6)/2))/1. Let b = 29 - r. Is b a multiple of 11?
True
Suppose 3*j = j + 8. Let s be (51/2)/(2/j). Suppose -4*z = -9 - s. Does 15 divide z?
True
Let q be 2/(5/(975/6)). Suppose -2*o = -4*a + 51 + q, 152 = 5*a + o. Is 17 a factor of a?
False
Let y(g) = -g**2 + 9*g - 12. Let n be y(8). Is 17 a factor of ((-17)/(-1))/((-4)/n)?
True
Let w be (-57)/(-6) - 2/(-4). Let a be w/((-4)/(-6)*1). Is (-6)/(-10) + 456/a a multiple of 16?
False
Suppose o = -3*o + 12. Suppose -2*z + 30 = -2*p - 10, z - 40 = -o*p. Does 12 divide 5/z - (-268)/10?
False
Is 19 a factor of 9/(-6) + 2 + 1589/14?
True
Let u be ((-3)/1 + 3)*1. Suppose 0 = -u*o - o + 10. Is 10 a factor of o?
True
Let x = -7 - -11. Suppose x*u = 18 + 14. Does 4 divide u?
True
Suppose 9 = f + 5. Is ((-6)/f)/((-3)/20) a multiple of 10?
True
Let j = 8 + 42. Let m = -28 + j. Is m a multiple of 6?
False
Let f = 0 + 4. Let t = 3 - f. Does 17 divide 290/6 - t/(-3)?
False
Suppose -3*w = 73 - 232. Suppose 0*i - 2 = 2*i - b, 2*b = -5*i + 4. Is 19 a factor of w + 1 + -1 + i?
False
Let g = -48 - -101. Is g a multiple of 16?
False
Suppose -3*w + 4 + 46 = -4*d, 3*d = -4*w + 50. Does 14 divide w?
True
Suppose a + 0*a - 2 = 0. Let x be (1/a)/((-1)/(-8)). Suppose x*n = -3*m + 28, 8 = -2*n + 5*m - m. Does 4 divide n?
True
Is 28 a factor of (-844)/(-10) - (-10)/(-25)?
True
Suppose 0 = -6*l + 6 + 30. Is 2 a factor of l?
True
Suppose 4*p + 6 = 6*p. Is (-2)/p - 100/(-6) a multiple of 14?
False
Let m be 3 + 37 - (-1 + 3). Suppose -5*h + 82 = -m. Does 12 divide h?
True
Suppose -2*w = -3*l + 299 + 584, 5*w = 4*l - 1175. Does 59 divide l?
True
Let p(a) = -18*a. Is p(-5) a multiple of 6?
True
Suppose 0 = 5*r + t - 81, 4*r + 78 = 9*r - 2*t. Let d = -3 + r. Does 4 divide d?
False
Suppose -7*q + 2277 = 2*q. Is q a multiple of 23?
True
Suppose -6 = -m - 2*m, -2*p = 4*m. Suppose -2*y + 11 = -3*q, 3*q - 2*y - 2*y + 13 = 0. Is (q - 1)*13/p a multiple of 13?
True
Suppose -4*t = x - 81, -5*x = -3*t + 7*t - 69. Does 17 divide t?
False
Let v(b) = -2*b**2 - 4*b - 5. Let r be v(-4). Let i = 31 + r. Let h = i + -7. Does 3 divide h?
True
Suppose f - 4*s - 8 = 2*f, -f = 3*s + 5. Let n be -1*(0 - -1 - 2). Let m = f + n. Does 2 divide m?
False
Suppose 0*j - 2*j = -36. Let s = 53 - 25. Suppose 4*d = -4*l + s, 2*d - j = l - 5*l. Does 2 divide l?
True
Let i(p) = -p - 16. Let v be i(-13). Let b(k) = -16*k + 7. Is 11 a factor of b(v)?
True
Suppose 0 = -5*i + 2*i - 9, -12 = 2*m + 4*i. Suppose -2*g + 2*b = -4, m = 2*g + 5*b - 3 - 1. Suppose -126 = -t - g*t. Is 21 a factor of t?
True
Let a(h) = 13*h**2 - 3*h + 2. Is 11 a factor of a(4)?
True
Suppose g = -3*g + 8. Suppose -g*l - 2 + 12 = 0. Does 5 divide l?
True
Let b(a) be the third derivative of a**4/24 + 10*a**3/3 + 3*a**2. Is b(-11) a multiple of 9?
True
Let u = -11 + 121. Does 22 divide u?
True
Let l(k) = -k**3 + 10*k**2 - 3*k - 17. Does 15 divide l(8)?
False
Suppose -x + 3*u = 0, x + 3*u + 1 = 7. Let a(s) = x + 0 + 1 + s. Does 4 divide a(0)?
True
Suppose 2*i - 36 = 8*i. Suppose 2*l + 108 = 5*l. Is (-1)/i - (-822)/l a multiple of 18?
False
Suppose -3*g + 2*v - 1 = -0, 4*g = -4*v + 12. Suppose g = -5*u + 76. Does 15 divide u?
True
Let b(a) = -a**2 - 8*a + 1. Suppose 3*t - 2*t = 176. Let x be t/(-28) - (-2)/7. Is b(x) a multiple of 7?
False
Let m(g) = 21*g**2 - 2*g - 1. Let h be m(-1). Suppose 0*n + 25 = 5*n. Suppose n*z - h = 43. Is z a multiple of 8?
False
Let p(b) = b**3 + 6*b**2 - b + 5. Let w be p(-7). Let l(j) = -56*j**2 - j - 1. Let f be l(-1). Let c = w - f. Does 6 divide c?
False
Suppose -15 = -8*q + 3*q. Let c(f) = 0*f + 8*f**2 - f**3 + 8*f + 0*f**3 - 4*f**2 - q. Is c(5) a multiple of 8?
False
Suppose 38*c = 40*c - 44. Is c a multiple of 9?
False
Let v(k) = k**2 - 2*k - 3. Let o be v(4). Suppose x = -o, -3*m + x + 23 = -0*x. Is m a multiple of 6?
True
Let y be 1 - (-8 + 0/2). Does 29 divide (-1048)/(-12) + (-3)/y?
True
Let n(k) = -k**3 + 4*k**2 + 4*k + 7. Let g be n(5). Let p = g + 1. Suppose -p*t = -t - 30. Is t a multiple of 7?
False
Let r(x) = -x**2 + 6*x + 2. Let g be r(6). Let z(m) = -6*m**2 + 3*m + 1. Let b(t) = -t**2 - t + 1. Let y(v) = -b(v) - z(v). Is y(g) a multiple of 10?
False
Let v = 190 + -157. Is 11 a factor of v?
True
Let l(g) = 1 - 2*g + g + 2*g + 4. Let b = -1 - -1. Does 4 divide l(b)?
False
Let p = -1 - -8. Suppose -2*u + k - 22 = -p*u, 6 = -2*k. Suppose -83 = -2*o - u*h, -2*o + 5*o = h + 82. Is 16 a factor of o?
False
Suppose 0 = -0*b + 4*b + 20, b = 5*o - 15. Let i(s) = 3 - 4*s + 9*