213/(-9))?
False
Let r(b) = -b. Let z be r(-7). Is 189/15*(z - 2) a multiple of 21?
True
Let c = -115 + 146. Does 31 divide c?
True
Is (-130)/(-35) - (-6)/21 - -8 a multiple of 4?
True
Let r(x) = -x**2 + 3*x - 3. Let k be r(0). Let p(i) = 4*i + 5. Let t be p(-5). Does 7 divide ((-52)/k)/((-10)/t)?
False
Does 17 divide 68/6*(-3 + 6)?
True
Suppose -3*c = -5*c + 4*i - 34, 3*c - 3*i + 36 = 0. Is 20 a factor of ((-39)/7 + -3)*c?
True
Suppose 5*s + 2*y - 4 = 9, -10 = 2*s - 3*y. Does 13 divide (-194)/(-5) + s/5?
True
Let t(n) = -n**3 + 5*n**2 + 9*n - 9. Let y be t(6). Suppose -5*v + y = -1. Suppose -17 = -v*b + b. Is b a multiple of 17?
True
Let a be (-710)/(-15) - 4/(-6). Let w = a + -25. Is w a multiple of 7?
False
Let t be 64 - -3*4/(-6). Suppose 7 = 6*o - 5*o + 5*g, -5*o + 2*g + t = 0. Is (o/(-8))/((-6)/112) a multiple of 12?
False
Suppose 13*o - 66 = 11*o. Does 11 divide o?
True
Let g = 44 - -12. Does 14 divide g?
True
Let n = 2 + -4. Let i(t) be the second derivative of t**4/3 + t**3/3 - t**2/2 + 6*t. Is 5 a factor of i(n)?
False
Suppose -x = -a - 2*a - 19, 3*x - 21 = 3*a. Let f be (-4 - -1)*40/a. Is (f/(-5))/((-2)/28) a multiple of 20?
False
Let t(o) be the second derivative of -o**4/12 + 5*o**3/3 - 3*o**2 - o. Let m be t(8). Let q = 2 + m. Is 12 a factor of q?
True
Suppose 2*y - 51 - 15 = 0. Is 11 a factor of y?
True
Let v be -1 + 10 + (0 - 1). Suppose v = 4*l + 100. Let i = 39 + l. Is 8 a factor of i?
True
Suppose 0 = -h - 4, -3*l + 3*h + 2*h + 26 = 0. Suppose 0 = 4*f + 5*j + 23, j = -l*j + 15. Does 9 divide f/9*6*-3?
False
Let s(h) = -6*h - 3. Let a be s(-3). Let l = a + 18. Suppose 0*g - 3*g + l = 0. Does 8 divide g?
False
Suppose -1 - 5 = 3*t. Does 17 divide ((-136)/(-32))/(t/(-8))?
True
Let g = -114 + 198. Is g a multiple of 21?
True
Suppose 4*n + 106 = 2*v, 0 = -v - 3*v + 5*n + 200. Does 5 divide v?
True
Let s = -12 + 9. Let c(f) be the first derivative of -f**4/4 - f**2/2 + 4*f + 1. Is c(s) a multiple of 15?
False
Does 5 divide -2049*4/(-72) - (-1)/6?
False
Let x be 15/12*(3 + 1). Suppose -x = -2*u + 91. Is u a multiple of 16?
True
Let f(o) = -o**2 + 11*o + 9. Let u be f(11). Let x be -1 + (-3)/u*-3. Does 17 divide (-68)/((x - 2)*1)?
True
Is 10 a factor of (-2)/(-6) - (-178)/6?
True
Suppose -3*i + 10 = -5*r - 5*i, 4*i + 20 = r. Suppose -5*m - f + 6*f + 205 = r, -5*m + 212 = 2*f. Is m a multiple of 29?
False
Let l be 2/(-12) - (-1)/6. Let v be 7 - (0 + 2 + l). Suppose 29 = v*h + 2*f, -4*f + 12 = 2*h - 3*f. Is h even?
False
Suppose 34*a + 560 = 39*a. Is 28 a factor of a?
True
Let c(v) = -14*v + 2. Let x be ((-2)/3)/((-1)/(-3)). Is 15 a factor of c(x)?
True
Suppose 3*j + 4*o = 8, 2*j + j - 16 = 4*o. Suppose m + j*z - 40 = 0, 0 = m - 2*z - 2*z. Is 5 a factor of m?
True
Let j(l) = l**2 + 2*l - 6. Let t be j(-4). Does 6 divide (-1 + 2)/(t/36)?
True
Let s(d) = d**3 + 8*d**2 - 8*d + 5. Let u be s(-9). Let f be ((-22)/u + 2)*-2. Does 7 divide (f - 0 - -1)/(-1)?
True
Let f(y) = y**2 - 6*y - 7. Let x be f(7). Let v be 2 + x + (4 - -12). Is 11 a factor of 2/9 + 554/v?
False
Let j(n) = 4*n**2 + 3*n + 1. Let q be ((-1)/(-2))/((-3)/18). Is j(q) a multiple of 14?
True
Let l = -69 - -83. Does 2 divide l?
True
Let o = -45 + 69. Suppose 5*d = 4*d + o. Let n = 0 + d. Is 12 a factor of n?
True
Let d be (-3)/(-12) - 314/8. Let j = -28 - d. Let i = j - 1. Is 10 a factor of i?
True
Let b(y) = -y**2 - 17*y - 2. Does 27 divide b(-7)?
False
Suppose s - 515 = 5*p + 5*s, -4*s = -5*p - 475. Let w = p - -147. Is w a multiple of 24?
True
Let i = 151 - 67. Does 14 divide i?
True
Suppose 16 + 0 = -4*l. Let k(p) = 7*p + 2. Let r(j) = -8*j - 1. Let m(x) = l*k(x) - 3*r(x). Is m(-8) a multiple of 9?
True
Suppose -4*z = 5*x - 81, x - 4*x + 3*z = -27. Is 4 a factor of x?
False
Suppose 0 = 25*u - 31*u + 360. Does 3 divide u?
True
Is 6 a factor of (-212)/(-5) + (-13)/(455/14)?
True
Let u(g) = -3*g + 3. Let y(v) = 7*v - 7. Let z(c) = 5*u(c) + 2*y(c). Let t be z(-1). Suppose -3*a + 22 = -t. Is 4 a factor of a?
True
Let u(s) = 26*s**2 + s - 2. Is 20 a factor of u(-2)?
True
Suppose 101 = a - 3*i, -2*a + 5*i + 214 = 3*i. Is 30 a factor of a?
False
Let o(w) = w**3 + 3*w**2 - 4*w + 4. Let m be o(-4). Let d be (-2)/m + 11/2. Suppose -4*i + 5*t = -116, d*t + 86 = 3*i + t. Is 12 a factor of i?
False
Let d = 15 - 10. Suppose 0 = 4*r + 4*p + 8, 5*r = 2*p + 20 + d. Is 3 a factor of r?
True
Let r be 7/(21/9 + -2). Let y be (-4)/(-14) + (-132)/r. Does 13 divide ((-8)/y)/((-2)/(-39))?
True
Let g(b) = b**3 + 6*b**2 - 18*b + 4. Does 4 divide g(-8)?
True
Suppose 3*o + 0*o - 310 = -4*r, -3*r = 5*o - 513. Is 17 a factor of o?
True
Let n be 0/1*(-1)/2. Suppose n = 2*a - 4*g - 40, -a + 0*a + 5*g + 23 = 0. Is a a multiple of 6?
True
Let g(f) = 2 + f + 7*f + 4 - 2*f. Is 11 a factor of g(6)?
False
Let n = -4 + 2. Does 10 divide 22 - (-3 - (-1 + n))?
False
Let s = -5 + 8. Let f(l) = 2*l**2 - 2. Is f(s) a multiple of 16?
True
Let g be 2*2/((-8)/(-604)). Suppose i + g = 5*z - i, 136 = 2*z + 3*i. Does 23 divide z?
False
Let i = -24 + 16. Let s = i + -10. Let o = 40 + s. Is o a multiple of 11?
True
Let j be (1/(-3))/((-3)/(-27)). Let z(r) = -5*r - 4. Does 11 divide z(j)?
True
Is 14 a factor of 1/(3/42)*1?
True
Let k(u) = -6*u**3 + 2*u**2 + 3*u - 1. Does 7 divide k(-2)?
True
Let d be (-1)/((2/1)/(-64)). Suppose -10 = -2*c + d. Does 12 divide c?
False
Let j be (-2)/(-1) + (-48)/4. Let p be 2/(-5) - 64/j. Is p/2 + (-98)/(-7) a multiple of 5?
False
Suppose 3*b = u + 121, -133 = -3*b - 2*u - 3*u. Suppose -b = -2*r + r. Suppose -r = -3*v + 2*n, -5*n + 18 + 92 = 5*v. Is v a multiple of 5?
False
Let l(s) = -38*s**3 + s**2 - 1. Is 19 a factor of l(-1)?
True
Let t = -23 + 92. Is t a multiple of 23?
True
Suppose x = -0*x + 2. Suppose -3*w = x*w - 255. Is w a multiple of 13?
False
Let g(m) = -m - 5. Let n be g(-5). Suppose -2*l + 6 = -n*l. Suppose 7*u + 2*t = 2*u + 85, 4*t - 51 = -l*u. Is u a multiple of 6?
False
Let y(c) = 3*c**2 - c. Let g be y(-2). Let k be 2/(-7) - (-4)/g. Suppose -2*q - 5 + 17 = k. Is q a multiple of 4?
False
Suppose 0 = 2*w - 4*r + 20, 0*r = 5*w - 2*r + 26. Does 9 divide 56/2 + w + 3?
True
Suppose p = -5*p + 252. Is 7 a factor of p?
True
Let f(p) = 73*p + 2. Is f(1) a multiple of 25?
True
Let w(g) = 0*g - g + 0*g - 5*g. Let d be w(-3). Is d*3/(-18)*-3 a multiple of 4?
False
Let h(f) = -8*f**2 + 2*f + 5. Let l(x) = 9*x**2 - 3*x - 5. Let j(o) = -3*h(o) - 2*l(o). Is j(-3) a multiple of 25?
False
Let q = 10 + 20. Suppose -5*h + q = -4*h. Is h a multiple of 15?
True
Suppose -k + 5*m + 12 = 0, 4*k + 2*m = m + 27. Let w be 2/k + 14637/49. Does 26 divide (-4)/(-14) - w/(-7)?
False
Is 13 a factor of (((-520)/2)/(-5))/2?
True
Let k(p) = -p**2 - p + 7. Let o be k(0). Suppose -2 - o = -d. Suppose -d*b + 4*b + 60 = 0. Is b a multiple of 12?
True
Let b = -693 + 986. Does 22 divide b?
False
Let n be (4 + -1)/(6/4). Suppose -2*v - v + 75 = n*z, 0 = z + v - 38. Does 23 divide z?
False
Does 10 divide 9/(-6)*-11*2?
False
Let j(p) = 15*p + 10. Is j(3) a multiple of 2?
False
Suppose 112 + 395 = 3*q. Is 8 a factor of q?
False
Let g(w) = w**3 - 4*w**2 - 5*w - 6. Is 12 a factor of g(6)?
True
Suppose -7 - 1 = -2*n. Suppose -64 = -3*r - r + 4*m, -n*r = m - 69. Does 5 divide r?
False
Let j = 2 - -1. Suppose -j*l - l = -1288. Does 16 divide l/10 + (-5)/25?
True
Suppose 420 = -5*y + 8*y. Is 20 a factor of y?
True
Suppose 5*j = 59 + 106. Does 17 divide j?
False
Suppose 0 = -z - 5 - 1. Let f(r) be the first derivative of r**3/3 + 2*r**2 + 6*r + 1. Is f(z) a multiple of 9?
True
Suppose -4*n + b = -3*b - 192, 2*b + 141 = 3*n. Suppose 3*x + 0*x = 2*u + n, 4*x - 2*u - 60 = 0. Let z = x - 5. Is 5 a factor of z?
True
Suppose 2*x + 4*k = 3*x - 112, 5*x + 4*k = 680. Is 44 a factor of x?
True
Let n be (-25)/(-10)*(-3 + 1). Let r(w) = w**2 + 3*w - 3. Let s be r(n). Let t = s + -2. Does 4 divide t?
False
Let o = 2 - 6. Let s be 16/12*(-6)/o. Suppose -s = 2*x + 5*g - 39, -4*x - 1 = -5*g. Is x a multiple of 2?
True
Let k = 0 - 5. Let v = 16 + k. Let u = 19 - v. Does 3 divide u?
False
Let l(z) be the second derivative of z**4/12 + 5*z**3/6 - z**2 - 2*z. Let g be l(-6). Suppose h + g*h = 50. Is h a multiple of 10?
True
Suppose -4*n + l + 179 = 0, -7*n - 2*l = -3*n - 182. Does 9 divide n?
True
Suppose -3*z - 27 + 153 = 0. Does 17 divide 