 - -7. Let y = g + 13. Is y a multiple of 5?
False
Let c = 20 + -5. Suppose -3*t + 8*t - c = 0. Is 2 a factor of t?
False
Let c = -4 + 5. Let r = 9 - 12. Is 18 + 0 - r*c a multiple of 7?
True
Let c(r) = -r + 26. Is 5 a factor of c(12)?
False
Suppose -g = -2*a + 3, -4*a - 1 = -13. Suppose -s + 2*t + 6 = -7, 2*t = -s - g. Suppose -10 = -s*o - 0*o, -5*v = -5*o - 5. Is 3 a factor of v?
True
Suppose 2*z = -3*z. Let w = 2 - z. Suppose 0 = -r - w*r + 102. Does 17 divide r?
True
Let x = 82 + -55. Is x a multiple of 22?
False
Suppose 100 = -3*y - 2*y + 4*c, -2*c - 20 = y. Is ((-8)/(-5))/((-8)/y) a multiple of 2?
True
Let w be 8 - 0 - (2 + -2). Suppose 4*l - w = 0, 0*l - 3*l - 169 = -5*i. Suppose 4*y - i = -3. Is 5 a factor of y?
False
Let w be 64/1*2/4. Let k = w + -7. Suppose -2*s + 89 = 4*v + k, -s = -3*v - 7. Is 11 a factor of s?
True
Let g(h) = -5*h + 2. Let v be 15 + (3 + 0)*-1. Let l be g(v). Let d = l + 93. Is d a multiple of 14?
False
Does 11 divide (-7)/(28/(-16)) + 15?
False
Suppose 4*f + 121 = 3*a + 2*f, 2*a = 3*f + 89. Let i = 55 - a. Does 8 divide i?
False
Let x = -4 - -5. Does 14 divide 0*x/2 + 14?
True
Let l(s) = -s**3 - 7*s**2 - 11*s + 2. Does 16 divide l(-6)?
True
Let m(q) = q - 4. Let p be m(6). Suppose 3*w + 3 = p*h, 2*h + 5 = -4*w + 1. Suppose h = -7*a + 9*a - 42. Is 7 a factor of a?
True
Suppose -n + 26 = 4*o + 2*n, n = 5*o - 23. Is o a multiple of 2?
False
Does 4 divide (-1)/3*(8 + -11)*45?
False
Suppose -4*f = f - 10. Suppose -f*d + a = -38, -70 + 0 = -4*d - a. Does 18 divide d?
True
Let t(o) = o**3 + o**2 + 7*o - 20. Is 33 a factor of t(5)?
True
Suppose -2*b - 60 = -5*b. Is 5 a factor of (-23)/(-5) + 8/b?
True
Let x(t) = -7*t**3 - 19*t**2 + t - 13. Let u(w) = 3*w**3 + 9*w**2 - w + 7. Let n(g) = 5*u(g) + 2*x(g). Let c be n(-8). Is 4 a factor of (-4)/10*(c - -1)?
True
Let a(f) = f**3 + 7*f**2 - 13*f - 12. Is a(-8) a multiple of 12?
False
Is 26 a factor of (-162)/(-6) - (1 - 0)?
True
Let p be 4 + (1 - 3) + 0. Let x(u) = u**2 + u - 1. Let q(z) = z**2 + 5*z - 3. Let i(c) = -q(c) + 4*x(c). Does 5 divide i(p)?
False
Is ((-12)/(-4) - 4)*-41 a multiple of 23?
False
Suppose f - 23 = -5*z - f, -3*z + 5 = -f. Is z a multiple of 3?
True
Suppose -3*y - 2*y = 70. Let s = 28 + y. Does 14 divide s?
True
Let o = -103 + -33. Is 18/(-99) + o/(-22) a multiple of 6?
True
Let n(c) = 3*c + 4. Let i be n(4). Let t = i - -34. Is 17 a factor of t?
False
Let f = 81 - 21. Is f a multiple of 16?
False
Suppose -2*d + 26 + 16 = 0. Suppose -d + 6 = 5*v. Does 5 divide (-8)/(1/v*2)?
False
Suppose -3*l - 4*r + 54 = -2*r, r = 3*l - 63. Suppose -4*i + l = -n - 7, -44 = -3*i - 4*n. Does 2 divide i?
True
Let p be (-2)/3 + 33/9. Suppose a + 75 = -p*n + 8*n, 4*a = -5*n + 75. Is 15 a factor of n?
True
Suppose 5*j + 61 = 2*t, 3*j + 9 = -0*j. Does 17 divide t?
False
Suppose 4*i - 8 = 0, -2*d - d - 4*i + 32 = 0. Let r = -46 - 16. Is 10 a factor of d/(-12) - r/3?
True
Let c(o) = -o**3 - 3*o**2 + o + 18. Does 14 divide c(-4)?
False
Let z(b) = 22*b**2. Is 22 a factor of z(1)?
True
Let c be (4/(-5))/((-2)/10). Suppose 0 = c*y - 0*y - 12. Does 3 divide y?
True
Let y(j) = 10*j + 2. Let k be (14/35)/(4/10). Is y(k) a multiple of 3?
True
Suppose a = z + 3, -a - 3*z + 3 = -2*a. Is 6*(9/a + 0) a multiple of 9?
True
Let m(u) = 2*u + 5*u**3 + 0 - 1 + u**3. Let h be m(1). Is (-17)/(h/(-2) + 3) a multiple of 13?
False
Let s(q) = q**3 + 2*q**2 - 2. Suppose 0 = 3*g + z + 9, -2*g + z - 3*z - 10 = 0. Let r be s(g). Is (65 + 3)/((-4)/r) a multiple of 16?
False
Let x(u) = -2*u**3 - 4*u**2 + 3 + 5*u**2 - u**2 - 3*u**2. Is x(-3) a multiple of 15?
True
Let a be ((-3)/9)/(1/(-9)). Suppose -f = a*l - 27 + 6, -24 = -5*l + 2*f. Is l a multiple of 3?
True
Let w = 507 + -354. Suppose -4*p - 29 = -w. Is p a multiple of 10?
False
Suppose -2*g + 57 = 9. Suppose -2*d + g = -6*d. Let k(b) = -b**3 - 6*b**2 - 5*b - 2. Does 14 divide k(d)?
True
Let f(x) = -x - 5. Let y be f(-7). Suppose y*m + 2*v - 48 = 0, 0 = -2*v + 4*v + 8. Does 13 divide (-4)/2 - m/(-1)?
True
Let h = 366 + -252. Is 33 a factor of h?
False
Suppose 71 = d - 0*s + s, -4*d + 284 = -2*s. Does 35 divide d?
False
Let b be ((-6)/(-4))/(2/4). Suppose -c + 18 + 3 = 0. Let a = c + b. Is a a multiple of 12?
True
Suppose -3*k - 124 = -4*u, 0 = -2*u - 3*u + 4*k + 156. Is 8 a factor of u?
False
Suppose 2 = h + 4. Is ((-44)/8)/(h/36) a multiple of 29?
False
Let d(m) = -13*m + 1. Let r be d(-1). Suppose -18*p = -r*p - 80. Does 10 divide p?
True
Let f(d) = -d**2 - d - 3. Let r be f(-3). Let k = -5 - -18. Let a = k - r. Is 11 a factor of a?
True
Let p(o) = 4*o - o**2 + 0*o - 2*o + 3 + 8*o. Let f be p(10). Suppose -f*u - u = -20. Is 2 a factor of u?
False
Let x(o) be the first derivative of -o**2 + 6*o + 6. Is x(-9) a multiple of 12?
True
Let c(r) = r**2 + 10*r - 12. Let z be c(-11). Let n be ((-57)/z - 0) + 3. Suppose 2*q - 24 = n. Is 14 a factor of q?
True
Let u = -3 + 18. Suppose 4*t = t + u. Suppose 22 = t*a - 3*a. Is a a multiple of 11?
True
Let u(i) = -i - 4. Let s(j) = 4*j + 13. Let k(b) = -4*s(b) - 14*u(b). Is 12 a factor of k(-4)?
True
Let q(h) = -16*h - 12. Is q(-6) a multiple of 12?
True
Let y(z) = 26*z - 4. Does 25 divide y(4)?
True
Let m = 28 - -38. Suppose 2*w + w = m. Is 8 a factor of w?
False
Suppose 236 + 484 = 4*a. Is 36 a factor of a?
True
Let m be (-1 + (6 - 3))/2. Suppose -q + 2 = -m. Suppose -12 = -q*k + 4*c, 0 = -4*k + 3*c - 9 + 25. Is k even?
True
Suppose 4 + 6 = -2*p + 5*z, 3*p + z + 49 = 0. Is 16 a factor of 237/5 - p/25?
True
Suppose 0 = -4*v + 2*y + 48, -4*v + 0*v = 4*y - 24. Suppose 4*n - 62 = v. Suppose 0*b = b - n. Is 18 a factor of b?
True
Let r(z) = -z**3 - 5*z**2 + 4*z + 14. Is r(-6) a multiple of 13?
True
Suppose 0*w + 5*w - 10 = 0. Suppose w*j = 4*n - 6, -3*n - n - j = -21. Suppose -16 = -k + n*m, -4*k - m - 53 = -185. Is 16 a factor of k?
True
Let s be 1/4 + 7/4. Suppose 4*q = n + 249, s*q - 57 = q - 5*n. Suppose -26 = -l + u - 2*u, q = 3*l - u. Is 11 a factor of l?
True
Let w(o) = 11*o - 5. Suppose -5*i = -5*j + 30, 3 = 3*i + 6. Is 20 a factor of w(j)?
False
Let h(n) = n**3 + 12*n**2 + 8*n - 23. Is h(-11) even?
True
Suppose -3*z + 3 = 0, -5*m = 2*z + 2*z - 804. Is 14 a factor of ((-12)/(-24))/(2/m)?
False
Let t = -9 - -6. Let f(r) = r**2 - 4*r - 3. Let a be f(t). Let k = a + 0. Does 8 divide k?
False
Let b = 167 + -112. Is 11 a factor of b?
True
Let x be (-4)/(-14) + 2298/42. Suppose -d = -5*r + 73, -x = -4*r + 4*d + 13. Is 14 a factor of r?
True
Suppose -15*z + 256 = -7*z. Is z a multiple of 8?
True
Suppose 5*y - 3*p = -5 + 335, 0 = 4*y - 3*p - 261. Is y a multiple of 15?
False
Suppose 0 + 12 = 4*r. Let m(c) = -r*c**2 - c**2 + 5*c - 1 + 5*c**2. Is m(4) a multiple of 16?
False
Suppose v - 2*j = 2*j + 3, 0 = -4*j. Suppose i = -0*b + v*b - 52, i = -b + 12. Is 14 a factor of b?
False
Let i(u) = 11*u + 18. Does 31 divide i(7)?
False
Suppose -d = -11 - 2. Let x = d + -19. Does 13 divide 8/x*(-195)/10?
True
Let y(k) = 8*k + 4. Is 31 a factor of y(15)?
True
Let j(p) = p**2 + 4*p. Let u be (4/(-8))/(2/16). Let z be j(u). Let h = 6 + z. Is h a multiple of 6?
True
Let j(v) = 2*v**3 + 3*v**2 + 3. Let f be j(-4). Let o = -37 - f. Does 18 divide o?
False
Let w(q) = 2*q + 13. Let s(x) = -x. Let b(v) = 3*s(v) + w(v). Is 2 a factor of b(0)?
False
Let j(u) = -u**2 - 1. Let y(o) = o**3 - 9*o**2 - 6*o - 12. Let g(l) = 4*j(l) - y(l). Let q be g(6). Let t = 4 + q. Is t a multiple of 6?
True
Suppose -27*t - 56 = -31*t. Does 11 divide t?
False
Let f(z) = -2*z - 8. Suppose 7 = -h - q, 14 + 4 = -2*h - q. Does 9 divide f(h)?
False
Suppose 0 = 3*n + 5*h - 16, 0 = 3*n - 3*h. Suppose 2*l + 4*o = 96, -4*l - 2*o + 180 = n*o. Is 21 a factor of l?
True
Let w(y) = y**2 + y + 1. Let h be w(0). Is 20*(9/12)/h a multiple of 15?
True
Suppose x = 3*a - 17, -3*x - 3 = 3*a - 0*x. Let c = 32 - a. Does 28 divide c?
True
Let n = -58 - -29. Let z = -50 + 99. Let h = n + z. Does 8 divide h?
False
Let i = 127 + -69. Let b = i - 26. Does 9 divide b?
False
Let z = 12 + -22. Let g be 60/(-25)*(0 - z). Is 14 a factor of 18/g*(-55 + -1)?
True
Let z(o) = 2*o - o**2 - 5*o**2 - o + o**2. Let g be z(1). Is (g/6)/((-6)/135) a multiple of 6?
False
Suppose -o = o + 188. Let z = -58 - o. Does 12 divide z?
True
Suppose 0 = 4*m - 3*o - 304, -3*m + m + 5*o + 166 = 0. Is m a multi