 + 100. Suppose 0*m = -3*m + p. Does 6 divide m?
True
Let h be (-2)/(-12) + 46/12. Suppose -7 = -h*p + 193. Suppose -4*r = -p - 70. Is r a multiple of 12?
False
Let b be (-106)/4 - 3/6. Let z = b - -39. Is z a multiple of 5?
False
Suppose 6*w + 332 = 10*w. Does 26 divide w?
False
Suppose 0 = -2*t + 17*t - 630. Is 17 a factor of t?
False
Let o(q) = q**2 - q + 2. Let c = 19 + -13. Suppose 3*f = -2*n + c - 0, -12 = -4*n - 4*f. Is o(n) a multiple of 8?
True
Let v(x) = -x + 12. Does 4 divide v(0)?
True
Let z(d) = d**2 + 11*d + 14. Let b be z(-10). Let w = 0 - b. Is (4/6)/(w/(-108)) a multiple of 9?
True
Does 26 divide (1 - 10/(-8))/(27/1872)?
True
Suppose 14 = -3*l - 2*f + 100, -f + 1 = 0. Suppose -5*d + l = -d. Suppose -d*r + 43 = -2*r + 4*x, -2*r + 31 = -3*x. Does 11 divide r?
True
Suppose 5*n = 4*k + 266, -n + k + 56 = 3*k. Is 22 a factor of n?
False
Suppose -6*l = -50 - 4. Suppose 2*n - 6*n = -944. Is 15 a factor of n/l - (-2)/(-9)?
False
Suppose 0 = 3*u + 4*k - 122, -2*k - 205 = -5*u - 7*k. Let b = 75 - u. Is 20 a factor of b?
False
Let u = 196 + -98. Is 14 a factor of u?
True
Suppose -n + f = -244, 0 = -5*n + 6*f - 10*f + 1184. Is n a multiple of 16?
True
Does 11 divide 718/12 + (-3)/(-18)?
False
Does 16 divide (-24)/10*195/(-6)?
False
Let u(h) = h + 2. Suppose 6*t + 25 = t. Let w be t/(-4 - (-3 + 0)). Does 3 divide u(w)?
False
Let u(m) = -m**2 + 71. Does 35 divide u(0)?
False
Let b(v) = -5*v. Let p(a) = -15*a + 1. Let g(m) = 11*b(m) - 4*p(m). Is 16 a factor of g(4)?
True
Suppose -5*t + 2*t = -2*u + 73, 2*u - 50 = 2*t. Let k be (354/(-9))/((-12)/(-18)). Let v = t - k. Is 18 a factor of v?
True
Suppose -4*g = -g + 210. Let q = g + 158. Suppose 0 = 3*d + d - q. Is 11 a factor of d?
True
Let o(u) = -u**2 + 11*u + 2. Let b be o(9). Suppose 3*w - b = -8. Does 2 divide w?
True
Let m(w) = w**3 + 22*w**2 + 17*w - 45. Does 39 divide m(-21)?
True
Suppose -10 = -g + 2*k, -3*g + 0 + 39 = 3*k. Does 3 divide g?
True
Let m(v) = -2*v**2 + 3*v - 5. Let g(y) = 5*y**2 - 8*y + 14. Let d(h) = -3*g(h) - 8*m(h). Let t = -6 + 2. Is d(t) a multiple of 14?
True
Suppose -3*p + 319 = -314. Suppose 5*m - 14 = p. Let g = m + -21. Is 24 a factor of g?
True
Let k = 13 - -5. Does 4 divide k?
False
Suppose 15*g = 24*g - 270. Is 5 a factor of g?
True
Let y be -5*31 - (6 + -8). Is 6 a factor of 2/(3*(-6)/y)?
False
Let b(s) = s**2 - 2*s - 6. Let z be -1*(0 - (-38)/2). Let w be (-4 - z)*2/6. Is 9 a factor of b(w)?
True
Suppose 0 = i - 5. Let f(j) = j - 1. Let o be f(i). Suppose 5*a - 67 = m + 2*m, o*a - 4*m = 52. Does 8 divide a?
False
Suppose 48*d + 54 = 50*d. Is 9 a factor of d?
True
Suppose 56 - 262 = -2*d. Does 10 divide d?
False
Does 22 divide (-4)/3*(71/(-2) + -2)?
False
Suppose 11*l + 572 = 24*l. Is 6 a factor of l?
False
Let b(y) = -2*y + 2. Let l be b(0). Suppose 55 = 2*x - 2*d + d, l*d + 2 = 0. Does 12 divide x?
False
Let y be (1/(-1))/(11/(-77)). Is (900/63)/(2/y) a multiple of 28?
False
Suppose a = -p + 4, p - 4 = 4*a - 2*a. Suppose p*k = -3*v - 0*k + 15, 2*k = 0. Is v even?
False
Suppose -5*j + y = -242, -2*j - j - y = -142. Is 12 a factor of j?
True
Does 18 divide (-6)/(-4)*2 - -31?
False
Let o(j) = j**3 + j**2 + j + 1. Let w(n) = 8*n**3 + 3*n**2 - 3*n - 3. Let c(l) = 2*o(l) - w(l). Is c(-2) a multiple of 8?
False
Suppose 4*m - 9*m = -35. Let i = 40 - m. Is 11 a factor of i?
True
Suppose 2*o = b + 6, -5*b - 19 - 6 = -5*o. Let a(u) = -2*u**3 - 2*u**2 + 1. Let d(s) = -3*s**3 - s**2 + s. Let v(y) = b*a(y) + 3*d(y). Does 5 divide v(5)?
False
Suppose -5*s + 0*s + 680 = 0. Suppose -5*v + s = -79. Does 18 divide v?
False
Let g(f) = -f - 2. Let u be g(-4). Suppose 2*o = o + u. Suppose 3*a - 44 = -2*r, r = 3*a + o*r - 43. Does 6 divide a?
False
Let q(d) = 3*d - 1. Suppose -2*c - 4*f + 58 = 0, 3*c - 85 = -3*f - 2*f. Suppose 5 = 3*g - 5*y - c, g = -5*y - 10. Is 5 a factor of q(g)?
False
Suppose -5*o - 5*c = -3*o - 58, 4*o - 3*c - 116 = 0. Is o a multiple of 8?
False
Suppose 9 = -0*h + 2*h + 5*a, 11 = 3*h + 5*a. Suppose 5*r - 12 = -b, h*r - 7 = -5*b + 7. Suppose 96 = b*g + 4*s, -4*s + 0*s = -3*g + 124. Is g a multiple of 21?
False
Suppose -3*z = -4*z + 10. Is 19 a factor of 2/3*915/z?
False
Let a(c) = -18*c - 8. Is 13 a factor of a(-4)?
False
Let v(u) = -4*u - 3. Let s be v(-2). Let i(q) = 13*q**3 + 3*q + 2. Let x be i(-1). Let m = s - x. Does 8 divide m?
False
Let t(x) = -x**3 + 8*x**2 - x - 9. Let y be ((-2)/(-1))/((-1)/(-2)). Let f = y + 3. Is t(f) a multiple of 14?
False
Let c(s) = -s**2 + 3. Let y be c(0). Is 4/(4/y) + 30 a multiple of 9?
False
Suppose 5*g + l = 339, 6*g + 4*l = 2*g + 268. Is 21 a factor of g?
False
Suppose -3*q = -2*q - 2. Suppose q*g = g + 30. Is 12 a factor of g?
False
Let j = 167 - -45. Does 32 divide j?
False
Let z(c) = c**2 + c + 6. Does 12 divide z(5)?
True
Let n(i) = 2*i + 15. Does 5 divide n(10)?
True
Suppose 5*p - 3*n = 11, 2*p + n - 4 - 7 = 0. Let c(d) = d**2 + 5*d. Let g be c(-5). Suppose p*k = r - 70, g*r - k + 145 = 3*r. Is 20 a factor of r?
False
Suppose 2*q = 5 + 1. Suppose -q*b = -4*o + o - 129, 2*b = 3*o + 82. Is 12 a factor of b?
False
Suppose -89 = -4*l - 25. Is 8 a factor of l?
True
Suppose 0 = -0*b + 5*b - 5. Does 4 divide -1*b/((-2)/20)?
False
Let d(q) = -66*q**2 - 9. Let h(a) = 33*a**2 + 5. Let y(g) = -6*d(g) - 11*h(g). Is y(-1) a multiple of 16?
True
Suppose u = -3*t + 7, -3*t + u = 2*t - 17. Suppose 0 = t*m - 2*m - 11. Does 11 divide m?
True
Is 21 a factor of 992/26 - 34/221?
False
Suppose 4*z = 8*z - 12. Suppose z*t + r + 2*r - 126 = 0, -t + 54 = 4*r. Does 15 divide t?
False
Let h(j) be the first derivative of -49*j**2 + 2*j - 6. Is 31 a factor of h(-1)?
False
Let n = 11 + -7. Suppose a + k - 40 = n*k, 100 = 4*a + 3*k. Is 23 a factor of a?
False
Suppose 0 = -3*j + 18 + 189. Does 23 divide j?
True
Let r = 2 + 3. Suppose 7 = 2*g - r*k - 44, -3*k + 129 = 3*g. Does 19 divide g?
True
Let g(s) = 3*s - 1. Let v(j) = -25*j + 9. Let d(x) = 51*g(x) + 6*v(x). Is d(6) a multiple of 8?
False
Let t(c) = 13*c + 1. Let a be t(-2). Let b be ((-80)/a)/((-1)/5). Is 12 a factor of (108/(-8))/(6/b)?
True
Is 3 a factor of 1*(15/1 - 2)?
False
Suppose 4*l + 45 = 5*l. Does 15 divide l?
True
Let g(o) = -o + 7. Let u(a) = -6*a + 35. Let y(z) = 11*g(z) - 2*u(z). Let i be y(-5). Let f(t) = t**2 + 4*t - 3. Is 4 a factor of f(i)?
False
Let n = 75 + -22. Is n a multiple of 40?
False
Suppose 0 = 7*j - 2*j - 1545. Suppose -2*u = -j + 91. Suppose 0 = 4*a + 5*n - u, 44 = 4*a - 5*n - 55. Is 13 a factor of a?
True
Let w be (-1)/2*-14*1. Let c(z) = -9*z + 9*z + z**3 - 8*z**2 + 7*z + 9. Is 6 a factor of c(w)?
False
Let n = 361 + -137. Suppose 4*i = 64 + n. Does 22 divide i?
False
Suppose 129 = -7*g + 1585. Is 8 a factor of g?
True
Suppose -6*d + 21 + 195 = 0. Is 12 a factor of d?
True
Suppose 2*a - 85 = 3*r, -3*a + 0*r + 130 = -5*r. Is a a multiple of 12?
False
Suppose -3*p + 6*p = 18. Let h(f) = -f + 3. Let n be h(p). Is 14 a factor of ((-63)/(-6))/n*-4?
True
Let u(b) = -b**2 - 7*b + 5. Is u(-6) a multiple of 11?
True
Let d(b) = b**2 - 2*b - 4. Is 22 a factor of d(8)?
True
Suppose -20*k + 410 = -15*k. Suppose -6 = -2*d + k. Is d a multiple of 11?
True
Suppose 55 = x - 2*x. Let b = -25 - x. Is b a multiple of 10?
True
Is (-1 - (-27)/3)*2 a multiple of 7?
False
Let s(j) = -j**3 + 7*j**2 + 11*j + 6. Is s(8) a multiple of 15?
True
Let n be -27*(3 - 4)*1. Suppose 5*h - 4*h = n. Is h a multiple of 12?
False
Let n = 19 + -13. Suppose 3*g + n = -2*z - 2, -g = z + 5. Let j(l) = l**3 + 8*l**2 + 5*l - 2. Is 8 a factor of j(z)?
False
Suppose -s - s = 6. Let g be 3/(2 + s/6). Suppose 0*f - 114 = -4*f - g*w, -f + 31 = 3*w. Is 14 a factor of f?
True
Let l(s) = -s**2 + 9*s - 6. Let b be l(8). Let f be (4/(1 + 0))/b. Suppose -3*r - 18 = -3*g, 0*r + 3*r = f*g - 10. Is g a multiple of 4?
True
Let z = 35 + -75. Is 12 a factor of (132/10)/((-12)/z)?
False
Let n = -142 - -246. Does 52 divide n?
True
Suppose 6 = 4*p - p. Let j(s) = 2*s**3 - s**2 - s + 2. Does 5 divide j(p)?
False
Let i be -5 + (1 - -1 - 4). Let j = i - -11. Suppose -60 = -j*t + 44. Does 13 divide t?
True
Suppose 0 = 5*y + 5 - 0. Let r(o) = 20*o**2 - o - 1. Does 15 divide r(y)?
False
Is 16 a factor of 4/2*-4*-6?
True
Suppose 0 = -2*s + 3 + 1. Let u(l) = -l**2 - 6*l - 6. Let t be u(-4). Let n = t + s. Is 3 a factor of n?