. Let s(g) = 0*g + g**2 - 1 - i + 4*g. Does 6 divide s(-7)?
True
Let r = -43 - -48. Suppose -3*v - 109 = -3*h - r*v, 4*v = 3*h - 79. Is 9 a factor of h?
False
Let u(v) be the first derivative of 8*v**4 - 2*v**3/3 + 3*v**2/2 - 2*v + 5. Is u(1) a multiple of 6?
False
Let i(n) be the second derivative of 7/2*n**4 + 2*n + 0*n**3 - 1/2*n**2 + 0. Does 11 divide i(-1)?
False
Let n(v) = 73*v**2 + 5*v - 98. Is 16 a factor of n(6)?
True
Let j = -21 - -21. Suppose 4*i - r - 53 = j, -4*i + i + 26 = 2*r. Is 6 a factor of i?
True
Suppose -2*f = -2*d + 6*d - 26, 86 = 5*f + 3*d. Let v = 25 - f. Is (-4 + v)/((-3)/(-3)) even?
True
Suppose 4*z - 26 + 2 = 0. Suppose -3*b + i + 499 = 0, 0 = 5*b - 10*i + z*i - 827. Does 43 divide b?
False
Let f(i) = -9*i**2 - 6*i + 7. Let r(g) = 9*g**2 + 7*g - 8. Let v(o) = -6*f(o) - 5*r(o). Does 9 divide v(2)?
True
Let s(m) = -2*m + m + 19 - 8 - 8*m + 2*m**2. Is 4 a factor of s(5)?
True
Let f be 6*(5/(-2))/(-5). Let a = -4 - -2. Let x = f - a. Is x a multiple of 4?
False
Is 7 a factor of (-28)/238 + 2622/34?
True
Suppose -50*r + 22838 - 5238 = 0. Is 11 a factor of r?
True
Let x be ((-8)/1)/(6/(-129)). Suppose -x = -6*l + 2*l. Does 10 divide l?
False
Let o = 87 - -11. Is o a multiple of 14?
True
Suppose -2*n + 4*n - 3*m - 1278 = 0, -4*m = 10*n - 6352. Does 76 divide n?
False
Let m(p) = p**2 - p + 1. Let c(a) = 11*a + 4. Let f(j) = c(j) + 4*m(j). Does 10 divide f(-4)?
False
Suppose 5*y - 76 = -2*z - 0*y, -3*y + 37 = z. Suppose -31 = -i - p, -i + p + 16 = -5. Let c = z + i. Is 23 a factor of c?
True
Does 23 divide (-15)/(-30) + (-483)/(-6)?
False
Let v(k) = 7*k - 7. Let c be v(-3). Let i = 22 + c. Let g = 36 + i. Is 5 a factor of g?
True
Let y = 496 - 340. Let h be (-16 - 2)*1*(-28)/6. Let p = y - h. Is 21 a factor of p?
False
Suppose -n + 33 = 25. Is 0 + 2 + (n - 3) a multiple of 7?
True
Is 8 a factor of ((1152/(-30))/3)/(1/(-80))?
True
Suppose 3*u + 2*u = -3*w + 812, 0 = -5*u - w + 804. Suppose 3*o - 5*t - u = 263, -2*o + 4*t = -282. Is 39 a factor of o?
False
Suppose 0 = -x - q + 3 + 1, -q = -x + 6. Suppose -x*z = -z. Suppose r - 28 - 5 = z. Does 14 divide r?
False
Let n(x) = -x**3 - 5*x**2 - 4*x + 5. Let z be n(-4). Suppose 7*w - 3 = 25. Suppose -w*l - 46 = -z*l. Does 23 divide l?
True
Let j be 80/(-100)*(-170)/4. Suppose 7*b = 6*b + j. Is 5 a factor of b?
False
Is -3 - (9516 + 4)/(-5) a multiple of 93?
False
Suppose 0 = -5*q + 6*q - 5. Suppose t = q*t. Suppose t = 2*c - 10, -c = -0*n - 2*n + 71. Is 12 a factor of n?
False
Let j(t) = t**2 + 7*t + 3. Let g be j(-7). Let c(y) = 3*y**3 - 5*y**2 + 5*y + 4. Does 12 divide c(g)?
False
Let n(a) be the first derivative of -a**3/3 + 13*a**2/2 + 4. Let k be n(9). Suppose -y = -0*y - k. Is y a multiple of 12?
True
Let v(g) = -2*g - 10. Let q(y) = -y + 1. Let m(b) = -2*q(b) - v(b). Let u be m(-6). Let w = u - -50. Is 17 a factor of w?
True
Does 18 divide 6/16 - (-123093)/72?
True
Suppose 13*t = 10592 + 5125. Is t a multiple of 47?
False
Let n = -80 + 95. Suppose -5*d - n = 0, 3*k - 450 = d + 3*d. Is 15 a factor of k?
False
Let z(f) = f**3 - 29*f**2 + 67*f - 57. Is 21 a factor of z(27)?
True
Suppose -6 = -g - 2*y + 3, 4*g - 3*y - 25 = 0. Suppose 0 = 6*s - g*s + 22. Does 8 divide s?
False
Suppose u - 4*l = -5*l - 57, 0 = l + 5. Let t = u - -192. Does 5 divide t?
True
Suppose -21 = -0*p - 7*p. Let s = p + -1. Suppose -3*h + 18 = k, -4*h = k - 22 + s. Is k a multiple of 4?
True
Is 12 a factor of 5*(-3)/(-10)*(115 + 29)?
True
Let p = 1685 + -959. Is 66 a factor of p?
True
Let y be 636/8 + 1/(-2). Let v = 29 - y. Let t = 88 + v. Is 16 a factor of t?
False
Let l(q) = 2*q**2 + 8. Let f = -52 - -46. Is l(f) a multiple of 8?
True
Let v be ((-8)/24)/((-2)/60). Let q = 52 - v. Is q a multiple of 7?
True
Let a(b) = b**3 + 7*b**2 - 2*b + 4. Let o be a(-7). Suppose -7*d + 9*d - o = 0. Does 9 divide d?
True
Does 56 divide (340 - 2) + (-80)/40?
True
Is -1 + (-291)/(-4) + (-3)/(-12) a multiple of 3?
True
Let y = 917 - 909. Is y a multiple of 6?
False
Let z(o) = -o + 1. Is z(-3) a multiple of 4?
True
Suppose -184*r - 20020 = -198*r. Is 65 a factor of r?
True
Let g be 1/3*(12 + (-9)/(-3)). Suppose -7*s + 112 = -g*s. Is s a multiple of 37?
False
Suppose 2*u + 3 = 5*u. Let v(o) = 2*o**2 - 2*o + 1. Let w be v(u). Is 5 a factor of w/(2/10) + 0?
True
Let t = 15 + -12. Suppose 3*w = -5*d - 220, -5*d - t*w - 210 = -2*w. Let a = d - -69. Is a a multiple of 7?
True
Suppose 0 = -v - 14 + 4. Let p be 90/(-27)*12/v. Let b(h) = 2*h**2 - h - 3. Is 8 a factor of b(p)?
False
Let g(x) = 3*x + 24. Let i be g(-7). Suppose i*t = 481 + 200. Does 21 divide t?
False
Let y = 891 + 504. Is y a multiple of 93?
True
Suppose 0 = o - 5*x - 0*x + 30, -3*o - 4*x = 52. Does 10 divide 88 + 14/(-10) + o/(-50)?
False
Let g be ((2 - -1)/3)/1. Let b be g + 0 - (-48 + -6). Is 2 + b + 2 - 2 a multiple of 19?
True
Let j(k) = k**3 - 7*k**2 + 40*k + 4. Is 77 a factor of j(5)?
True
Let m(c) = c**3 - 7*c**2 + 7*c - 1. Let d be m(6). Suppose 5*l - 8 = -2*t, 0 = -4*t - 5 + 1. Suppose -d*a + l*a + 225 = 0. Is a a multiple of 25?
True
Let q(j) = 57*j - 6. Is q(1) a multiple of 3?
True
Let y(q) = -17*q + 0*q + 2*q + 8. Let h be y(3). Let b = 136 + h. Is 33 a factor of b?
True
Suppose 5*d = 4*d + 2. Let s = d + -5. Does 14 divide s/6 - (-255)/6?
True
Suppose 0 = 4*c + 2*g, 3*g = g. Suppose k + 3*f - 54 = c, -k - 3*f + f = -49. Suppose 0 = 3*t + h - k, 9 = 2*t - 5*h - 0*h. Does 5 divide t?
False
Suppose 2*a + 5*r = -5, -4*a = -2*a - 2*r - 16. Let h(x) = -25 + 2 + a + x**2. Does 34 divide h(-8)?
False
Suppose 0 = -6*b + 7*b - 5*v + 27, -b - 15 = -2*v. Let h(u) be the first derivative of u**4/4 + 8*u**3/3 - u**2/2 - 4*u - 1. Does 13 divide h(b)?
True
Let m(l) = 3*l**3 - 2*l**2 + l - 12. Let o be m(6). Suppose 0*v = -5*v + o. Is 32 a factor of v?
False
Suppose 12*r = 4*r + 1264. Let s = r - 122. Is s a multiple of 3?
True
Let y(f) = -2*f**2 + 7*f + 2. Let u(v) = -v**2 - v - 1. Let b(t) = u(t) - y(t). Let r be b(6). Is (-5)/(-25) - 147/r a multiple of 10?
True
Let j(v) = -4*v - 10. Let g be j(-3). Let a be 3/(3/13) + g. Suppose a = -2*s + 37. Is s a multiple of 5?
False
Suppose -j = -w + 109, 5*j - w + 559 = -3*w. Let f = -19 - j. Is f a multiple of 23?
True
Let v = 2 - 2. Suppose v*k = 4*k. Suppose k*n + 5*n - 280 = 0. Does 14 divide n?
True
Let x = 38 - -192. Does 14 divide x?
False
Let b = 219 - 66. Let y = -5 + 5. Suppose y = 3*k - 63 - b. Does 18 divide k?
True
Suppose -726*o + 1194 = -723*o. Is 8 a factor of o?
False
Does 11 divide (71 + -1424)*(-2 - (-4)/6)?
True
Does 21 divide ((-7)/(-2) + 1)/(1/74)?
False
Suppose 5*j - 2*t + 2170 - 17992 = 0, 0 = 2*j + 3*t - 6325. Is j a multiple of 15?
False
Let y = -116 - -166. Let r = -30 + y. Let k = r - 8. Does 4 divide k?
True
Let z(x) = 16*x**2 - 5*x + 3. Does 33 divide z(3)?
True
Let v be (2 - 0)*(14 - 12). Is 13 a factor of ((133/(-2))/(-7) - v)*26?
True
Suppose 6*q + 47 = -61. Let w = q + 16. Is 26 a factor of (-134)/w - (0 + 3)?
False
Let z(m) = -m**2 + m - 1. Let p(r) = -8*r**3 + 5*r**2 - 6*r + 4. Let s(h) = -p(h) - 6*z(h). Is 13 a factor of s(2)?
False
Let h = -41 - -541. Is h a multiple of 25?
True
Suppose 0 = -4*i - 5*b + 142 + 60, 4*b = 3*i - 136. Does 3 divide i?
True
Suppose -p - 15 = -2*t, 2*t = -0*p + 3*p + 5. Does 10 divide t?
True
Let r(w) be the first derivative of -11*w**2/2 - 13*w - 1. Let y(b) = -60*b - 72. Let x(m) = -28*r(m) + 5*y(m). Is x(5) a multiple of 9?
False
Let j be 2*(1 + 0 + 3). Let h be 1*(-2)/j*0. Suppose h*n + 60 = n. Is 18 a factor of n?
False
Let d(s) be the first derivative of s**5/60 + s**4/12 - s**3/3 - s**2/2 + 1. Let h(i) be the second derivative of d(i). Is 16 a factor of h(-8)?
False
Suppose 4*z + 8 = 4*x, x = 2*x - 4*z + 13. Suppose 0 = 4*q - 1 - x. Does 26 divide (2 - -15)*6/q?
False
Does 7 divide (1*-46)/(11/(-77))?
True
Suppose 58*o - 63*o + 965 = 0. Let d = 16 + o. Does 42 divide d?
False
Let w(d) = -d + 128. Does 5 divide w(14)?
False
Let m be 1*(-5)/((-15)/9). Suppose c = 3*p - 23, 0 = -3*p + m*c + 3 + 18. Is 8 a factor of p?
True
Suppose -2*q - 244 = 3*n, 10*n + 5*q + 400 = 5*n. Is 23 a factor of (n - -15)/((-1)/1)?
True
Let g(f) = 9*f**2 - f + 2. Let t(m) = -2*m + 6. Let c be t(4). Does 8 divide g(c)?
True
Suppose m - 3*o - 113 = 0, 5*m - 395 = 2*o + 196. Is m