*c. Suppose -g - 2 = u, 4*g + 11 = -0*u - 3*u. Suppose -u*k = -3*r - 60, -2*k - c = 3*r - 73. Is 14 a factor of k?
False
Suppose -q + 126 = q - 2*k, 2*q - 126 = -3*k. Does 9 divide q?
True
Suppose 172 = -n + 5*n - 4*i, -2*i = 2*n - 98. Suppose -3*f + 5*t + n = -28, 0 = -5*f - t + 170. Is 18 a factor of f?
False
Suppose -4*g + 7 = -3*o + 23, 12 = -4*g + 2*o. Let s(v) = 7*v - 3. Let b(w) = w + 1. Let x(q) = -2*b(q) - s(q). Does 5 divide x(g)?
True
Suppose 0 = -5*j - 2*p + 290, 4*j = 8*j - 2*p - 250. Suppose 0 = 2*d - j + 14. Is d a multiple of 19?
False
Does 13 divide (-14 + (4 - 8))*-6?
False
Let t(q) = q**3 - 4*q**2 + 5*q + 1. Let v be (-19)/(-4) + 6/24. Suppose -v*g + 7 = -13. Is t(g) a multiple of 10?
False
Suppose 4*p + 4*s - 120 = 0, -5*p + 4*s + 66 = -3*p. Is p a multiple of 5?
False
Let p(j) = j**3 + j**2 + 5. Let x = -3 - -3. Let q be p(x). Suppose -4*d + 92 = -5*s + s, 0 = -q*d - s + 97. Does 10 divide d?
True
Let v = 41 - -4. Does 15 divide v?
True
Is 8 a factor of ((-8)/2)/(4/(-48))?
True
Let p(x) be the third derivative of 3*x**5/20 - x**3/6 + 2*x**2. Does 8 divide p(-1)?
True
Let h be 411/(-15) + (-2)/(-5). Does 3 divide (8/(-3))/(6/h)?
True
Suppose 2*r = -2*v + 36 + 40, 3*v - 34 = -r. Suppose -c = -5*c + r. Is 10 a factor of c?
True
Let h(b) = 2*b + 1. Let o be h(10). Let v be o/2*36/7. Suppose 5*c - 2*c = v. Is c a multiple of 9?
True
Let f(r) be the second derivative of r**4/3 + 7*r**3/6 - r**2 - 6*r. Let h = 11 - 16. Is f(h) a multiple of 16?
False
Let v(j) = 3 - 3*j**2 + 4*j**2 + 2. Let s be v(8). Suppose d + 4*o = 23, -2*d = d - 5*o - s. Is d a multiple of 15?
False
Suppose a = -0*a. Suppose 1 = -a*g + g, 4*c + 137 = -3*g. Does 20 divide (c/(-2))/(3/6)?
False
Suppose -4 = 4*g - 12. Let c be (1 - -4) + g - -2. Is 5 a factor of -2 + (-1 + 2)*c?
False
Let x be (3/1)/((-3)/(-15)). Suppose -10 + 2 = -4*s. Suppose -s*z + x = z. Is z even?
False
Let k = -36 - -126. Does 10 divide k?
True
Let t be (-2)/(-8) - 20/80. Suppose t = k - 2*k + 37. Is 10 a factor of k?
False
Let r = -47 - -71. Is r a multiple of 24?
True
Let v(h) = h + 3 + 2*h - 2*h. Let q = 29 - 22. Is v(q) a multiple of 3?
False
Let o be ((-35)/14)/(1/(-2)). Suppose -o*b - 2*d = 3*d - 115, 0 = -2*b - d + 43. Is b a multiple of 5?
True
Let n(s) = s**2 - 10*s - 12. Let l be n(11). Let z = 3 + l. Suppose 3*r = -3, -5*q - r + 147 = z*r. Is 9 a factor of q?
False
Is 29 a factor of (-352)/(-12) + 2/(-6)?
True
Suppose 5*g - 2*s - 86 = 0, 2*g + 4*s + 46 = 5*g. Is g a multiple of 5?
False
Let q be 419/5 - 2/(-10). Suppose -3*j - q = -0*j. Let s = j - -39. Is 11 a factor of s?
True
Suppose 0 = 5*l - 15 - 15. Does 15 divide (-15)/2*(-16)/l?
False
Let n = 2 + 2. Suppose -1 = -n*o - 9. Is 2 a factor of (6/(-10))/(o/10)?
False
Let w = 9 - 6. Suppose w*g - 7 + 1 = 0. Does 10 divide 21 + (2 - 0) - g?
False
Is 711/18 + 2/4 a multiple of 25?
False
Let r(i) = -i**3 - 6*i**2 - 6*i - 2. Let h be r(-5). Suppose 4*f + g = 101, 0*f = h*f + 4*g - 92. Does 12 divide f?
True
Suppose 3*q - 68 - 34 = 0. Suppose 5*z - 16 = q. Does 10 divide z?
True
Let m = 65 - 27. Is 19 a factor of m?
True
Suppose -2*g + 8 = -s, 3*g = -3*s + 5*g - 8. Suppose 2*r = -2*l + 20, s = -3*l + 3*r + 9 + 3. Does 2 divide l?
False
Let p(b) = -b**3 - 10*b**2 - 10*b - 6. Let o be p(-9). Suppose -2*y + 3*j + 185 = o*y, 4*y - 3*j = 148. Is y a multiple of 28?
False
Suppose 150 = 3*o - 60. Is 10 a factor of o?
True
Let b(d) = 2*d + 4. Let r(j) = -j**2 + 6*j + 1. Let m be r(5). Is 16 a factor of b(m)?
True
Suppose -4*t + 0*t = 4*f - 192, -3*t + 5*f = -176. Is 26 a factor of t?
True
Does 25 divide (-1)/(-4) - (-799)/4?
True
Let j = -48 + 66. Is j a multiple of 7?
False
Let h = 9 - 7. Suppose 0 = h*n - 12 - 2. Does 3 divide n?
False
Let z(n) = -3*n - 12. Let m be z(-8). Suppose 0 = -3*v - 42 + m. Is 8 a factor of (-45 + 0)*4/v?
False
Let x = -118 - -130. Is 12 a factor of x?
True
Let h(d) = -d**3 + 4*d**2 - d - 1. Let x be h(3). Suppose 0*v + 220 = x*v. Suppose v = 4*f + 2*t - 10, -20 = -4*t. Is f a multiple of 5?
False
Is 16 a factor of 0 + 1*(-58)/(-2)?
False
Let c(v) = v - 5. Let t be c(7). Is ((-7)/t)/((-1)/12) a multiple of 21?
True
Let p = -2 + 1. Does 5 divide (p - -2 - 2)*-7?
False
Suppose n - 1 = -6, -2*x + 15 = -3*n. Let p be 82 + x + 1 + 2. Suppose 5*a = -0*a + p. Is a a multiple of 14?
False
Suppose 0 = 5*a - 3*t - 905, 3 + 12 = -3*t. Does 46 divide a?
False
Let w = -3 - -5. Suppose -h - 12 = -w*o + 3*h, -o + 20 = 5*h. Does 10 divide o?
True
Let g(u) = -u**3 - u**2 + u + 5. Let r be g(0). Suppose -a = 0, 4*a - 12 = t - r*t. Suppose j + 5*w - 39 = -j, t*j + 3*w = 36. Is j a multiple of 7?
True
Suppose 5*a - a + 5*d + 114 = 0, -5*a = -5*d + 120. Let t = -17 - a. Does 9 divide t?
True
Does 13 divide (2 + -1)*(145 - 12)?
False
Let j(y) = -6*y**2 - y**3 + 7*y - 3 - 3*y + 2. Is 20 a factor of j(-7)?
True
Let f = 6 - 6. Suppose -l + 4*q - 20 = f, -2*q - 7 = 3*l - 17. Suppose l = -3*h - 3*y + 30, 4*y - 26 - 29 = -5*h. Does 5 divide h?
True
Let z(f) = -1 - f**2 + 3*f**2 + 0 + 4*f + 0*f**2. Is 10 a factor of z(3)?
False
Let h be (-1)/(-4) - (-239)/4. Suppose -h = -4*m + 48. Does 9 divide m?
True
Let y = 11 + -2. Let z be (-3)/(-2)*12/y. Is 3 a factor of 1/(-1) + (9 - z)?
True
Suppose -7 = i - 3. Let a = 8 + i. Is a even?
True
Let j be 1*(-3 + (-3 - 67)). Let d = j + 132. Is 19 a factor of d?
False
Let v(l) = -l**2 - 7*l - 6. Let i be v(-6). Is (i + -2)*1 + 23 a multiple of 7?
True
Suppose -2*k = 0, -2*g + 3*g - 2*k = -1. Let i = 15 + g. Let h = i + -7. Does 7 divide h?
True
Suppose -9*p + 319 = -293. Does 19 divide p?
False
Is 21 a factor of (-610)/(-6) - 34/51?
False
Let k be 398/9 - 2/9. Let c = -13 + k. Is c a multiple of 17?
False
Suppose 7*b - 3*b - 5*k = 113, 3*k + 15 = 0. Let i be 14/3 - 1/(-3). Suppose -3 = -f, -i*f = q - f - b. Is q a multiple of 3?
False
Suppose -12 = 4*j - 0. Let x be ((-16)/j)/(4/(-12)). Does 6 divide (x/(-3))/((-2)/(-6))?
False
Let z be (-32)/(-6) + 8/12. Is 10 a factor of (-14)/(-42) - (-58)/z?
True
Let a(c) = 43*c - 39. Does 45 divide a(3)?
True
Let p(k) = k**3 - 11*k**2 + 10*k - 12. Let n be p(10). Let h be (-98)/8 - 3/n. Does 4 divide (-80)/h - 2/(-6)?
False
Let x = 42 - 2. Let h = 8 + x. Is 21 a factor of h?
False
Suppose -4*x - 344 = -4*n, -3*x + 434 - 125 = 4*n. Suppose 214 + n = 5*l. Suppose -2*q + 13 = -l. Is 18 a factor of q?
True
Let c(x) = -3*x**3 + 12*x**3 - 4 + 5. Let u be c(-1). Let w(v) = -2*v + 6. Is w(u) a multiple of 12?
False
Suppose -20 = -2*v - 2*v. Suppose 4*q = -4*m, -2*q = -3*q - v. Is 6 a factor of 72/m - 2/5?
False
Let q(w) = w**3 - 6*w**2 + 5*w + 2. Let o be q(5). Suppose o*u - 452 = -2*u. Suppose u = 3*h - 16. Does 19 divide h?
False
Let s(q) = -q**3 + 2*q**2. Does 4 divide s(-2)?
True
Suppose -q + 0*q + 4*p + 125 = 0, -4*q = 5*p - 521. Is q a multiple of 43?
True
Let q = -52 + 25. Let p = q + 53. Is 13 a factor of p?
True
Let p = 14 - 26. Suppose 0 = 2*s - 4, -5*s = 3*x + 110. Let a = p - x. Does 10 divide a?
False
Let y(c) = 3*c**2 + c. Let a be y(-3). Suppose 2*b - a - 16 = 0. Is b a multiple of 9?
False
Let p be (-26)/39 - 56/(-3). Suppose -39 = -v + 4*w, -2*v - w + 33 = -p. Is 8 a factor of v?
False
Suppose -3*o + q - 6*q - 11 = 0, -5*o = q - 11. Suppose 3*g - 5*y - 47 = 0, 5*g - o*y - 72 = -y. Does 14 divide g?
True
Let a(t) = -t**2 - 6*t + 3. Let o be a(-6). Suppose o*w + 4 = 4*w. Is 3 a factor of w?
False
Suppose 3*v + 5*m + 13 = 4*m, -4*m = v + 19. Is (-2 + 4 - v) + -1 a multiple of 2?
True
Let n be -130 - (-7 - (0 - 4)). Let b = -65 - n. Is b a multiple of 33?
False
Let j(l) = l**3 - 3*l**2 + 4. Let v be j(3). Let b = v - 0. Suppose b*t = 2*w - w - 36, 132 = 5*w + 4*t. Does 14 divide w?
True
Is (36/(-14))/(((-5)/(-35))/(-1)) even?
True
Suppose -2*z - 41 = -3*a + 2*z, -a = 4*z + 13. Is 4 a factor of a?
False
Suppose 5 = -6*l + 17. Suppose -q + 62 = u + 5, 0 = 4*q - l*u - 198. Is q a multiple of 11?
False
Suppose -8 = -u + 5. Is 13 a factor of u?
True
Let r(c) = 5*c**2 + 5*c + 4. Suppose -5*q - 21 - 9 = 0. Let o = 3 + q. Does 13 divide r(o)?
False
Let f = 166 + -58. Is f a multiple of 27?
True
Let k = 21 - 12. Let b = 15 + k. Is b a multiple of 12?
True
Let q = -2 + 6. Suppose -l = 3*l - q. Let u = 13 + l. Is 14 a factor of u?
True
Suppose 6*g - g - 50 = 0. Supp