 g - -1. Does 7 divide o?
False
Let r be (-3)/((-12)/9 + 1). Suppose -5*c + r = -1. Is 6 a factor of c*(30/4 + -2)?
False
Suppose 16 - 4 = 5*g - 2*r, -g - 2*r = 0. Suppose 12 = 3*c, -g*u = -c - 7 - 17. Suppose 4*l = 4*a - 84, u - 77 = -2*a - 5*l. Is 12 a factor of a?
True
Let i(t) = -5*t - 5. Let m be i(11). Let y = m + 108. Is 14 a factor of y?
False
Let n(v) = -2*v**2 + 7 - 2*v**2 + v**3 + 2*v**2. Is n(4) a multiple of 13?
True
Let b(s) = s**3 + 6*s**2 + s - 8. Let n be b(-6). Let o = 10 + n. Does 6 divide 32/12*(-18)/o?
True
Let r(s) = -s**2 + 20*s - 25. Is 18 a factor of r(17)?
False
Suppose 43*i = 45*i - 186. Is 10 a factor of i?
False
Let y be 3 - (-4 + 5)*-10. Is 3 a factor of y - (-1 - 2)/(-1)?
False
Suppose 0*i - 5*i = 40. Let o(b) be the third derivative of -b**4/8 + 2*b**2. Does 17 divide o(i)?
False
Suppose -3 = 3*o + 6. Does 4 divide -3*(-4)/o*-2?
True
Let b be (8/(-20))/((-4)/(-20)). Let i(f) = 6*f**2 + 6*f + 6. Is 6 a factor of i(b)?
True
Let z(b) = 5*b**2 - b. Let f be 2/(-6)*-3 + 3. Suppose 0 = 3*v + 4*m + 9, 4*v + f*m = -0*v - 8. Is 3 a factor of z(v)?
False
Let k(y) be the second derivative of y**3/3 + y**2 - y. Does 5 divide k(5)?
False
Let n = 54 + 53. Suppose 5*f = 23 + n. Does 9 divide f?
False
Let y = 1 + 1. Suppose -2*d + y*p = -50, -25 = -d + 3*p - 8*p. Does 25 divide d?
True
Suppose -2*q + 707 = 3*m, 2*q = -2*m + m + 229. Is 39 a factor of m?
False
Let h = -8 + 33. Does 8 divide h?
False
Does 2 divide 84/(-24)*(-20)/7?
True
Let w = 673 - 433. Is 12 a factor of w?
True
Does 20 divide (-3)/(-5) - (-194)/10?
True
Let p = -41 + 68. Is 9 a factor of p?
True
Suppose 4*s = -4, s + 2*s + 2 = g. Let o be (-1 - g)*(-2 + 1). Suppose o = -k - 10 + 46. Is 19 a factor of k?
False
Is 4 a factor of 176/6*(15 - 0)/5?
True
Let o(v) = 11 - 5*v + 2 + 6*v. Does 5 divide o(0)?
False
Does 2 divide (112/(-2) - -2)*7/(-14)?
False
Let c(h) = 2*h - 9. Let q(j) be the third derivative of -j**6/120 - 2*j**5/15 + 3*j**4/8 + 7*j**3/6 - 3*j**2. Let o be q(-9). Does 5 divide c(o)?
True
Suppose -4*w = 3*y - 22, -2*y + 4*w + 55 - 7 = 0. Is y a multiple of 7?
True
Let q = -8 - -4. Let a be q/(-10) + 216/(-15). Let h = a + 46. Is h a multiple of 16?
True
Let u(c) = -4*c + 0 + c + 2. Does 9 divide u(-4)?
False
Does 4 divide (-112)/12*6/(-4)?
False
Suppose q + 5*h - 89 = 0, -7*h = -3*q - 2*h + 267. Let p = q + -192. Let r = -55 - p. Does 16 divide r?
True
Suppose -4*h = -7*h + 87. Does 8 divide h?
False
Let b(a) = 4*a**2 + 25*a + 15. Let p(u) = 2*u**2 + 12*u + 7. Let j(f) = -2*b(f) + 5*p(f). Is j(-7) a multiple of 13?
False
Suppose -4*u - p - 4*p + 86 = 0, 128 = 5*u - 4*p. Let s = 3 + u. Let m = s + -7. Does 10 divide m?
True
Let n = -156 + 246. Let t be 2/4*1*124. Let v = n - t. Is 12 a factor of v?
False
Suppose -3*f = 4*u + 21 - 151, -4*u = -f - 138. Suppose 12 = 2*x - u. Does 7 divide x?
False
Suppose -4*m = -2*m + 6. Let g be (-9)/(-6)*(-1 - m). Suppose -g - 13 = 4*o, -2*u + 2*o + 66 = 0. Is u a multiple of 18?
False
Suppose 2*t - 2*v + 92 = 0, 5*v + 3 = -2. Let i = t + 98. Is 17 a factor of i?
True
Suppose -3*w + 26 = 3*h - 97, -3*w = -3*h - 129. Suppose -w = -n - n. Is 8 a factor of n?
False
Let s(p) = 3*p + 1. Let w be s(-1). Let r = w - -26. Does 17 divide r?
False
Let q = 289 + -204. Is 17 a factor of q?
True
Suppose -2*z - 2 = -8. Suppose 0 = z*a + 15, -2*a = -5*k - 6*a + 30. Does 5 divide k?
True
Suppose 0 = 5*r - 109 - 386. Suppose -4*y + 279 = r. Is 20 a factor of y?
False
Let y(x) = -10 - 3*x + 0*x + 0*x. Let r(v) = -v**3 - 5*v**2 - 2*v + 1. Let k be r(-2). Does 4 divide y(k)?
False
Suppose 2*x - 65 = -13. Is 13 a factor of x?
True
Let d(x) = -x + 6 - 4*x**2 + 1 + 5*x**2. Suppose -5*s + 2 = 2*p, -5*p + 5*s = -p - 34. Is 17 a factor of d(p)?
False
Let b = 167 - 72. Is b a multiple of 14?
False
Suppose 7*a = 194 + 422. Is a a multiple of 19?
False
Suppose f + 300 = 6*f. Suppose 15 - f = -y. Is y a multiple of 12?
False
Let c(k) = -2*k**2 + 2*k - 6*k**2 + 23*k**3 - 1 + 7*k**2. Does 6 divide c(1)?
False
Let m = 13 + -17. Is 4 a factor of 2 - -1 - (m + 2)?
False
Suppose 0 = -4*m + 18 - 6. Suppose 3*z - 5*b - 35 = 0, -5*z + 30 = m*b - 51. Is 5 a factor of z?
True
Suppose -6*y = -8*y + 10. Suppose 3*p + 8 = 4*t - p, 0 = y*t + 4*p - 19. Does 3 divide t?
True
Suppose 6*v = 27 + 15. Is 4 a factor of v?
False
Let v(f) = -3*f - 2. Is v(-7) a multiple of 3?
False
Let s = -24 - -48. Does 12 divide s?
True
Let z be 8/20 - 4/10. Let o = -4 - z. Let r = -2 - o. Is r even?
True
Let m(t) = -6*t - 33. Is m(-10) a multiple of 9?
True
Let z(h) = h**2 - h - 5. Let o be z(0). Let j = o + 24. Does 7 divide j?
False
Let x = 2 + 9. Is x a multiple of 2?
False
Let b be ((-3)/6)/((-1)/14). Suppose -12*w + 130 = -b*w. Does 13 divide w?
True
Let d(n) = 3*n**2 - 3*n - 4. Let i(f) = -7*f**2 + 5*f + 7. Let j(b) = 7*d(b) + 4*i(b). Let h be j(-1). Is 23 a factor of (372/(-9))/(4/h)?
False
Let o be -1 + 7 + (-2)/1. Suppose -o*i = c - 97, -5*i + 5*c + 108 + 7 = 0. Is 12 a factor of i?
True
Does 18 divide (62/(-4))/(3/(-6))?
False
Suppose 0 = -3*i - i. Let z = 0 + i. Suppose 4*g = c - z*c + 14, 3*c + g - 23 = 0. Is 3 a factor of c?
True
Let n be -2 + 1 - (-3)/3. Let o(y) = -4 + n*y + 6*y + y. Does 15 divide o(6)?
False
Let t = -21 + 25. Suppose 0 = -t*p + 4*b + 24, 2*b = -2*p - 9 + 25. Is 6 a factor of p?
False
Let f be 34/(-6) + (-6)/(-9). Let j be (0 - 15) + (0 - -2). Let n = f - j. Is 5 a factor of n?
False
Is 18 a factor of (-1 - 125)*(-5)/10?
False
Let h(k) = k**3 + 8*k**2 - 9*k - 8. Let l be h(-9). Let n = l + 12. Does 4 divide n?
True
Suppose -3*j + 280 = 2*j. Does 14 divide j?
True
Suppose -4*u + 0*u + m + 14 = 0, 4*u = -4*m + 4. Suppose -w + 3*w - 4 = -2*s, -u*w + 6 = s. Suppose a + 0*a = -2*j + 10, w*j - 22 = -4*a. Is 2 a factor of j?
False
Let s(h) = h**2 - 7*h + 2. Let k be s(7). Suppose 3*d - 13 = k*d. Is d a multiple of 13?
True
Let a = 7 - -1. Does 9 divide 2/(-8) - (-146)/a?
True
Suppose 0 = 2*d - 0 - 4. Suppose -x + d*i = -2*x + 42, -3*i = 5*x - 203. Does 22 divide x?
False
Let t(o) be the third derivative of -o**6/120 + 7*o**5/60 - o**4/8 - o**3/3 + o**2. Is t(3) a multiple of 18?
False
Let v = -11 - -15. Suppose 0 = -b + 5*l + 52, -v = 3*l + 8. Is 16 a factor of b?
True
Let t = -12 + 11. Does 17 divide 1 + (-1)/t*16?
True
Let p(y) = -9*y - 3. Suppose 2 = -5*s - 23. Is 11 a factor of p(s)?
False
Let n(b) be the first derivative of b**2/2 + 32*b + 2. Let z = 23 - 23. Is n(z) a multiple of 18?
False
Suppose 7*d - 147 = -0*d. Is 13 a factor of d?
False
Suppose -6*t + 2*t - 5*d + 39 = 0, 0 = 5*t - 4*d - 18. Let h(x) = x + 8. Let s be h(t). Is 13 a factor of s/(1/((-6)/(-4)))?
False
Suppose 4*b + 3*z + 0 - 1 = 0, -3*b + 4*z = 18. Let v = b + 6. Suppose 0 = 5*s - v - 16. Does 2 divide s?
True
Suppose -3*y - 5*j = -89, -2*j = 5*y - 5*j - 205. Does 7 divide y?
False
Let v = 10 - 4. Let n be ((-4)/v)/(2/516). Is n/(-5) + 2/(-5) a multiple of 14?
False
Suppose -3*i + 2 = -34. Suppose d - 3 = j, 0 = -d - 2*j - 2*j - i. Let u = d - -39. Is u a multiple of 13?
True
Suppose -8 = 3*p + 5*f, 2*p + p - 3*f - 24 = 0. Suppose p*i = 3*i. Suppose -45 = -3*q - i*q. Is q a multiple of 15?
True
Let x(q) be the first derivative of -q**4/4 - 10*q**3/3 - 5*q**2 - 4*q + 3. Let z be x(-9). Suppose z*y - 27 = 13. Is y a multiple of 8?
True
Let m be ((-40)/(-15))/((-1)/(-3)). Suppose 1 = a - m. Is a a multiple of 3?
True
Let c = -2 - -22. Is c a multiple of 7?
False
Let l be ((-45)/9)/((-1)/2). Suppose 4*h + 7 - 27 = 0, 0 = -5*z + h + l. Is 2 a factor of z?
False
Suppose 4*y = -2*v - 16, -2*y + 3*y + 4 = 0. Suppose 0 = -v*n - 3*n + 78. Is 13 a factor of n?
True
Let l be (-936)/(-63) + (-1)/(-7). Is l + 3 - (0 - 0) a multiple of 6?
True
Let u be (-12)/18*-12*7. Let q = -38 + u. Suppose q + 17 = 5*j. Is 4 a factor of j?
False
Let z = -70 - -140. Is z a multiple of 14?
True
Let g(h) = -h**3 + 8*h**2 - h + 2. Is g(5) a multiple of 24?
True
Let r(l) = 6 - 3*l - 6*l - 21. Let x be r(-11). Suppose 2*d + 0*d - x = 0. Does 21 divide d?
True
Let m(t) be the third derivative of t**5/60 + t**4/8 - t**3/6 - 6*t**2. Does 2 divide m(-5)?
False
Suppose 0 = -4*q + b - 4, 3*q - b + 10 = -2*b. Let o = 0 - q. Is 8 a factor of 7 + 1*o/1?
False
Suppose -4*v = 0, -4*w = 3*v - 11 - 1. Suppose 2*b = w + 1. Supp