(-7)?
True
Suppose 4*r - 160 - 164 = 0. Suppose -3*u - u + d + 130 = 0, 158 = 5*u + d. Let b = r - u. Is b a multiple of 22?
False
Let f(x) = -x**2 - 2*x + 3. Let w(u) = -2*u**2 - 2*u + 4. Let l(d) = 4*f(d) - 3*w(d). Let q be 2*-2 - 1*-2. Is 4 a factor of l(q)?
True
Let t(g) = -g**3 + 9*g**2 - 4*g + 9. Suppose 4*n = 2*i - 0*i + 14, -45 = -5*n - 3*i. Let v be t(n). Suppose 0*f - v = -3*f. Is 12 a factor of f?
False
Let n(g) = g + 1. Let z(l) = l**2 - 4*l - 3. Let o(a) = 6*n(a) + 2*z(a). Let v be o(2). Suppose 0 = v*t - 19 - 93. Is 12 a factor of t?
False
Suppose -14 - 36 = -2*o. Is o a multiple of 13?
False
Let m be 4/8*0/2. Suppose 0 = 4*g + 3*p + 2*p - 297, m = -5*g - 5*p + 365. Let v = g - 46. Is v a multiple of 10?
False
Is 19 a factor of (-2)/((-99)/(-684) + 1/(-4))?
True
Suppose 4*m + 12 = 5*m. Is m a multiple of 3?
True
Let b(q) be the second derivative of q**3/3 + 5*q**2 + 3*q. Let a be b(8). Let r = a - 9. Is r a multiple of 12?
False
Suppose -3*s + 5*h + 259 = -119, 0 = s - h - 128. Is 9 a factor of s?
False
Let p = 9 - 5. Suppose 4*m = -o - 10, p*o = m + 2*m + 17. Suppose 5*a - o - 63 = 0. Is 13 a factor of a?
True
Let o(g) be the second derivative of 3*g**6/80 + g**4/12 + 2*g. Let q(b) be the third derivative of o(b). Does 10 divide q(1)?
False
Suppose -3*k = -2*k. Is 8 a factor of k + (2 + -26)/(-3)?
True
Suppose -2*p + 12 = -3*r + 64, -59 = -3*r - 5*p. Does 18 divide r?
True
Suppose 0*n - 216 = -3*n - 3*z, 2*n = -4*z + 134. Does 6 divide n?
False
Let r = 74 + -51. Let i = -12 + r. Suppose -49 - i = -3*v. Is v a multiple of 9?
False
Suppose 0 = -2*j + 292 - 12. Is j a multiple of 6?
False
Let a(n) = -14*n**2 - 30*n + 47. Let i(u) = 5*u**2 + 10*u - 16. Let k(v) = 6*a(v) + 17*i(v). Is k(10) a multiple of 6?
False
Suppose 3*b - 34 = -2*v, -4*b + 6*v - v + 30 = 0. Suppose -2*t = -86 + b. Does 14 divide t?
False
Suppose 30 = 2*r + n, -4*r + r = -4*n - 67. Is r a multiple of 5?
False
Suppose -3*p + 33 = 6. Is p a multiple of 5?
False
Let k(g) = -128*g - 1. Is k(-2) a multiple of 10?
False
Suppose 0 = r + 4*s - 125, -2*r = 3*s - 53 - 197. Let p = r + -74. Is p a multiple of 17?
True
Suppose 0 = 4*b - 4, 5*c - 3*c + 10 = 2*b. Is 6 a factor of 1*17 - (-5 - c)?
True
Suppose 2*i - 20 = -3*i. Suppose 0 = 2*d - 3*s - 197, i*d + 0*d = 5*s + 389. Suppose -10 + d = 3*r. Is r a multiple of 9?
True
Let f = 1 + -2. Let h be (0 - 0) + (-3 - f). Is -2*(-1 - h) + 15 a multiple of 6?
False
Let a be (-4)/10 - (-60)/25. Let g = 21 - a. Is 7 a factor of g?
False
Let c(b) = b**3 + b**2 + b. Let y be c(0). Is (y + 10)/((-8)/(-4)) a multiple of 2?
False
Suppose 0*d - 2*d + 10 = 0. Suppose 0 = d*u - 26 - 4. Is 2 a factor of u?
True
Does 11 divide ((-534)/(-24))/((-1)/(-4))?
False
Let x(t) = -2*t**3 - 2*t**2 - t - 1. Is x(-4) a multiple of 37?
False
Let r be 0 + 2 - (-34 - 4). Let j = 66 - r. Is 12 a factor of j?
False
Let s = 0 - 2. Let n(p) = -13*p + 2. Let d(y) = -19*y + 3. Let i(f) = 5*d(f) - 7*n(f). Does 7 divide i(s)?
False
Suppose y - 37 = -5*b, -5*b - 5*y = -3*y - 39. Is b a multiple of 2?
False
Let t = -14 + 44. Suppose -v = v - t. Does 5 divide v?
True
Let x be 6*(1 + (-10)/6). Let d = 15 + -28. Let p = x - d. Is p a multiple of 9?
True
Suppose 0 = 3*s + 2*s - 300. Does 20 divide s?
True
Let d = 1 - -4. Suppose -7*u + 3*u = -5*m - 25, 0 = u + m + d. Suppose s - 4 + 0 = u, -86 = -3*f + 4*s. Does 14 divide f?
False
Let y(h) = -h**3 - 8*h**2 + 6*h - 18. Does 2 divide y(-9)?
False
Suppose -187 = -13*p + 268. Does 22 divide p?
False
Let x(y) = -23*y**3 - y**2 - 2*y - 2. Is 11 a factor of x(-1)?
True
Let o(k) be the third derivative of k**5/30 - 7*k**4/12 + 4*k**3/3 + k**2. Does 20 divide o(9)?
False
Let q = 35 + -20. Is 10 a factor of q?
False
Let v = -32 - -71. Does 13 divide v?
True
Suppose -12 + 0 = -2*x. Let o = x - 4. Let k(r) = 6*r**2 - r - 2. Is k(o) a multiple of 20?
True
Let l be (0/7)/(2*1). Suppose l = -2*p - p + 21. Is p a multiple of 2?
False
Suppose -l = 3*n + n - 11, 2*l = 6. Suppose s = n*s - 4. Is s even?
True
Suppose -f - 2*f + 3*o + 72 = 0, 49 = 2*f - o. Let h = -4 + f. Does 8 divide h?
False
Is 8 a factor of (-2)/3 + 47/3?
False
Suppose -2*m + 3*m = 1. Let q = m - -9. Does 4 divide q?
False
Is (-1 + 16)/((-9)/(-12)) a multiple of 10?
True
Let r be ((-6)/(-9))/((-4)/(-6)). Let n be (-4)/(-2)*5/2. Suppose -y - r = -n. Does 2 divide y?
True
Let j(h) = 4*h**3 - 3 - 3*h**3 - h**2 - 3*h - 1 + 2*h. Is 20 a factor of j(4)?
True
Suppose f + 54 = 2*n + n, 0 = -5*n + 4*f + 90. Does 5 divide n?
False
Let b be 0/(2 + 1/(-1)). Let h be (b - 278)*(1 + -2). Suppose -93 + h = 5*l. Is l a multiple of 14?
False
Is 6*1 - (-3 - (4 + -3)) a multiple of 10?
True
Suppose -132 = -5*b + j, b = -j + 37 - 7. Is 9 a factor of b?
True
Let d(z) = -z**3 + 6*z**2 + 9*z - 10. Let q be d(7). Suppose -y - 90 = -q*y. Is 15 a factor of y?
True
Is (-1)/(-2)*-303*16/(-24) a multiple of 15?
False
Let p be (3 - 6)/(6/(-4)). Suppose 2*z - 24 = -p*z. Is z a multiple of 3?
True
Suppose 5*u + 4*g = -3, 5*u - 3*u + 3*g = -4. Let k be u/3*0/(-1). Suppose -4*t + k*t + 148 = 0. Is 13 a factor of t?
False
Let b = 19 + 60. Suppose b = 4*s + 7. Is s a multiple of 18?
True
Let y(t) = t**2 - 2*t + 3. Does 6 divide y(-3)?
True
Let q be (-38)/(-14) + 2/7. Let p = 5 - q. Suppose 4*h - 2*b - 118 = 0, -2*h + p*b + 33 = -25. Does 15 divide h?
True
Let r be 2/(-4) + (-683)/(-2). Suppose 0*v - 3*v = 4*h - r, -80 = -h + v. Is h a multiple of 19?
False
Let i be (-10)/(-40) + (-185)/4. Let c = i - -109. Does 21 divide c?
True
Let k(j) = 35*j**2 + j + 1. Let y be k(-1). Suppose a + 5*o + 5 = 0, -6*o - 8 = -2*o. Suppose 0*i + y = a*i. Is i a multiple of 4?
False
Let q(j) = j**2 + 3*j - 3. Let w(x) = x**3 - 3*x**2 - x - 3. Let a be w(3). Is 6 a factor of q(a)?
False
Is 18 a factor of (6*-1)/(14/(-161))?
False
Let l be (12/(-10))/((-9)/60). Suppose l = -3*a + 17. Suppose -a*g = i - 64, 4*g - 2*g + 5*i - 34 = 0. Does 11 divide g?
True
Suppose q - 60 = -v, 4*q - 240 = -0*q + 4*v. Does 15 divide q?
True
Let q(i) = -2*i**2 - 3*i**2 - 2 + 0*i**2 + 0*i**2. Let g(s) = 2*s**2 + 1. Let u(n) = 8*g(n) + 3*q(n). Is 11 a factor of u(-3)?
True
Suppose 27*a - 29*a = -288. Is 36 a factor of a?
True
Let k(b) = 3*b - 2. Let o be k(1). Does 4 divide 26*o + (-4)/4?
False
Does 3 divide (15/(-10))/(2/(-4))?
True
Suppose p + 8 = -5*s, 10 = s - 2*s + 4*p. Let u = 9 + s. Is u a multiple of 3?
False
Suppose -a = -1 - 3. Suppose 0 = u + a - 18. Is u a multiple of 12?
False
Let f be -75*(-1)/((-10)/(-8)). Let m be 2/(-7) + 988/28. Let w = f - m. Is 9 a factor of w?
False
Let a = 7 - 7. Suppose 5*r - 2*r - 63 = a. Let m = r + 17. Is m a multiple of 15?
False
Suppose -4*c = -6*c + 6. Suppose 0 = 2*i - c*i + 12. Suppose d = -4 + i. Does 8 divide d?
True
Suppose -l + 0 = 4*d + 2, 8 = 5*d - 4*l. Suppose 82 = 4*p + 2*x, 3*p - x - 24 - 25 = d. Does 6 divide p?
True
Let f = -9 + 5. Is 170/f*20/(-25) a multiple of 22?
False
Suppose 8*t - 30 = 2*t. Suppose -39 - 26 = -t*f. Is f a multiple of 12?
False
Let s(t) = t**3 - 7*t**2 - 5*t - 3. Is s(8) a multiple of 4?
False
Let c(i) = i**3 - 2*i**2 - i + 3. Let w be c(3). Let t = 25 - w. Is 8 a factor of t?
True
Let x = -4 + 6. Suppose -x*t = -t - 2. Suppose -3*y - 5 = 10, 3*y - 15 = -t*p. Is 15 a factor of p?
True
Suppose -4*d = 5*z - 236, 2*z + 0*d = -3*d + 93. Is 8 a factor of z?
True
Suppose 23 = 2*m + 3*m + 3*a, 0 = -m + a + 3. Let w = -2 - m. Let g(f) = 2*f**2 + 7*f + 3. Does 16 divide g(w)?
False
Let o = 0 + 3. Does 3 divide o?
True
Suppose -3*s = -2*r - 309 + 92, 0 = -r - s - 96. Let q = 145 + r. Suppose 0 = 3*f - 34 - q. Does 13 divide f?
True
Let t = -79 - -117. Is (-18)/4*t/(-3) a multiple of 26?
False
Suppose 3*s = -s + 20. Suppose s*r - r = 2*w + 16, -2*w = 0. Is 4 a factor of r?
True
Suppose a = -4*x + 78, 3*x = 2*a + x - 146. Does 12 divide a?
False
Suppose 0 = 4*n - 571 + 83. Let m = -5 + n. Does 11 divide 0 - (m/(-3) - 3)?
False
Suppose b = 5*z - 183, -8 = 3*b + 1. Does 4 divide z?
True
Does 13 divide (32 - -4)*26/8?
True
Let a(c) = 13*c**2 + c + 1. Let u(y) = -y - 8. Let g be u(-7). Is 3 a factor of a(g)?
False
Let f = 60 + 158. Is f a multiple of 20?
False
Let t = 55 + -36. Suppose 3*o + 4 = -3*b + t, 3*o - 4*b = 36. Does 7 divide o?
False
Let m be 4/14 + 759/161. Suppose 0*b 