*c + f = 0, -3*l - l = -5*c - 172. Is 21 a factor of l?
False
Let t(p) = -p**2 - 4*p + 5. Let o be t(-5). Suppose -54 = -o*b + 3*b. Does 16 divide (-760)/b - (-2)/(-9)?
False
Let f = 386 - 245. Is 9 a factor of f?
False
Suppose 167 - 1791 = -4*j. Is j a multiple of 70?
False
Is 12 a factor of (196/(-6) + 3)*-3?
False
Let h(w) = 5*w**2 - 7*w - 8. Is h(-7) a multiple of 44?
False
Let z = -48 - -73. Is 8 a factor of z?
False
Suppose -18*a - 420 = -21*a. Is 10 a factor of a?
True
Suppose 3*l = -5*k - 100, 3*l + 32 = -0*k - k. Let y = 70 - 41. Let a = k + y. Does 6 divide a?
True
Suppose 0 = -9*k + 4*k + 285. Suppose 0 = 4*g - 2*f - 1 - k, 2*f = 10. Is g a multiple of 16?
False
Suppose 2*h - 4 = 6. Suppose 5*p - h*k = 85, p - 13 = 2*k + 6. Suppose -3*v + 24 + p = 0. Is v a multiple of 11?
False
Let y(l) = -41*l - 1. Let g be y(-1). Let q be g/(-6) - (-4)/6. Let m = 29 + q. Is m a multiple of 18?
False
Suppose -2*y = -k - 112, -2*k = 2*y + k - 128. Is y a multiple of 15?
False
Let s = -29 - -182. Is 17 a factor of s?
True
Suppose h - 5*f = 92, 3*f - 276 = -3*h - 2*f. Does 23 divide h?
True
Suppose 0 = -5*z - q + 1 + 5, -2*z + 3*q = 1. Suppose -4*y - z = -89. Is y a multiple of 11?
True
Suppose -4*m + 2*k = -31 + 5, 0 = -5*k - 15. Suppose m*r + 62 - 12 = 0. Let n = -1 - r. Does 9 divide n?
True
Let w = 122 - 57. Does 8 divide w?
False
Is (0 - -36) + 2 + 1 a multiple of 11?
False
Let n = 21 - 0. Is 3 a factor of n?
True
Let l = 3 + -4. Is (39/4)/(l/(-4)) a multiple of 13?
True
Let o be 78/(-6) + (0 - -3). Let i(m) = -m**2 - 12*m - 10. Is i(o) a multiple of 10?
True
Let a be (3 - (-13 + -1))*-1. Let q = -10 - a. Is q a multiple of 7?
True
Let v = -33 + 40. Does 2 divide v?
False
Suppose 3*p + 2*i - 54 = 0, i + 12 = p - 1. Is p a multiple of 8?
True
Suppose 0 = 2*n - 5*n. Let d(j) = j**2 - j + 5. Let c be d(n). Suppose c = f - 7. Is 12 a factor of f?
True
Let r(u) = -5*u - 2. Suppose 2*x + 0*a - 5*a + 30 = 0, -5*x - 2*a - 17 = 0. Does 8 divide r(x)?
False
Suppose -3*y + 17 = 2*j - 6, -j = 5*y - 29. Suppose 0 = 5*n + 2*a - 164, 2*a = -n + y*n - 124. Does 8 divide n?
True
Let w = 33 - -6. Is 13 a factor of w?
True
Let d(o) = -o**3 + 6*o**2 + 7*o + 10. Let c(r) = -2*r**3 + 12*r**2 + 14*r + 20. Let b(n) = 3*c(n) - 5*d(n). Is 4 a factor of b(7)?
False
Let v be 1 + (1 - (2 + -3)). Suppose -v*g = -2*g - 2. Suppose g*k = k + 25. Does 9 divide k?
False
Suppose 9*r - 1676 = 268. Is r a multiple of 9?
True
Suppose 6*c = c + 285. Is c a multiple of 19?
True
Let y(q) = 5*q + 1. Let g be y(-1). Let s(i) be the first derivative of -i**4/4 - 4*i**3/3 - i**2 + i + 11. Does 9 divide s(g)?
True
Suppose 4*x + z + 5 = -2*z, 0 = z - 1. Let f be 1 - (-3)/(-6)*x. Suppose 0 = -w + 25 + f. Does 10 divide w?
False
Suppose 0 = g - 0*g - 65. Is g a multiple of 13?
True
Let p = -37 + 10. Is p/(-5) + (-6)/15 a multiple of 2?
False
Is 11 a factor of (12/(-9))/((-4)/150)?
False
Let v(k) = -111*k. Let u be v(-1). Suppose 3*t = -t - 20, 3*b - u = 3*t. Does 8 divide b?
True
Suppose 12*a = 8*a + 56. Is a a multiple of 14?
True
Let n(u) = u**3 + 7*u**2 - 7*u + 11. Let p be n(-8). Let a = 26 + p. Does 8 divide a?
False
Suppose 3*d = 2*j + 40, 4*j - 26 = 3*d - 70. Suppose 0 = 4*n - 0 + d. Does 2 divide 3/1*(-4)/n?
True
Let b be (-1 - -1)*(-5)/10. Suppose b = 2*j - 25 - 85. Suppose -6*x + j = -x. Is x a multiple of 6?
False
Suppose -12*g + 1235 = g. Is g a multiple of 5?
True
Suppose -2*k = k - 9. Suppose 0 = r + k - 213. Is 14 a factor of 8/(-10)*r/(-4)?
True
Let f be 1/(-2)*(-11 + 5). Suppose 19 + 26 = f*u. Suppose 4*q - u = 2*z + 43, -2*q = 3*z - 25. Is 8 a factor of q?
False
Let n = 177 + -81. Is 24 a factor of n?
True
Suppose 0 = 3*g + 3*w - 453, -g - 6*w + w = -131. Is g a multiple of 17?
False
Let b be (-36)/(-5) + (-7)/35. Let p = -3 + b. Let g = 7 - p. Is g a multiple of 3?
True
Let z(t) = -4*t + 3. Let y be z(-3). Let s = y - 8. Does 3 divide s*(3/(-21) + 1)?
True
Suppose -10 = 5*g, g + 2 = u + u. Suppose -20 = -4*n - u*n. Is n a multiple of 2?
False
Does 29 divide (-3)/(9/(-579))*(-2)/(-2)?
False
Is 14 a factor of 1379/49 + 1/(-7)?
True
Let d(y) = y**2 - y - 2. Let a be d(3). Suppose -32 = -o - w + a*w, -4*o + 3*w = -101. Let g = -6 + o. Is g a multiple of 10?
False
Let g(p) = -p**3 - p**2 + p + 9. Does 6 divide g(0)?
False
Let x(w) = w**2 - 6*w - 10. Let z be x(8). Let g = z + 11. Is g a multiple of 3?
False
Is 5*((-22)/(-5) + 0) a multiple of 7?
False
Let l be ((-6)/(-2))/(6/34). Suppose 4*x - l = 3*x. Is x a multiple of 5?
False
Is 36 a factor of 6/(-4) + 6/((-12)/(-227))?
False
Let b(d) = -d**3 + 8*d - 7. Let x(s) = -s**3 - s**2 + 8*s - 7. Let l(q) = -5*b(q) + 6*x(q). Let y be l(-7). Let v = y - -20. Is v a multiple of 6?
True
Let s be 10*-1*(-2)/(-4). Let c = 8 + s. Suppose -43 = -c*b - 1. Does 14 divide b?
True
Let r = -115 + 69. Does 12 divide (r/(-2) - 1) + 2?
True
Suppose 0 = -4*h - 2*d + 14, -d - 4*d = -15. Is 5 a factor of (10/5)/(h/19)?
False
Suppose -1 = 4*b - 77. Is 5 a factor of b?
False
Let m be (-24)/(-20)*(-5)/(-2). Does 8 divide ((-39)/15 + m)*40?
True
Suppose -3*p + 680 = p. Is p a multiple of 14?
False
Let c(s) = 8 - 5*s - s**3 + 11*s + 0 - 4 - 5*s**2. Is 4 a factor of c(-6)?
True
Let z(d) = -5*d - 2. Suppose 0*y - y = 4. Let f = -6 - y. Is z(f) a multiple of 4?
True
Let v(o) = -o. Let d be v(5). Let i(f) = -4*f - 2. Does 5 divide i(d)?
False
Suppose 4*o - 120 = -3*p, 5*p + o - 189 = -2*o. Is 9 a factor of p?
True
Let p(w) = 18*w**2 + 2*w + 11. Let m(s) = -2*s - 17*s**2 + 8*s**2 - 5 + s. Let n(r) = -9*m(r) - 4*p(r). Does 14 divide n(-2)?
False
Let z(n) = -10*n - 1. Let j be z(1). Let c = 33 + j. Is 11 a factor of c?
True
Suppose 30 = 7*m - 2*m + 5*w, 2*m - 5*w - 19 = 0. Let z = 12 - m. Does 3 divide z?
False
Let l be (-14)/(-2) + (-7 - -4). Suppose -53 = -l*f + 19. Is f a multiple of 18?
True
Suppose 4*w - 7*w + 144 = 0. Does 12 divide w?
True
Let y be -3 + 0 - (4 + 1). Let n(t) = -t**2 - 13*t - 12. Does 9 divide n(y)?
False
Suppose 4*s + 2 + 1 = g, 2*g = 4*s + 10. Let t(x) = -x**2 + 7*x - 1. Let v be t(g). Does 2 divide 1 - (-2 + 2 + v)?
True
Is 52 a factor of (-26)/(-4)*(5 + 3)?
True
Let u be 2 + (-1 - (3 - 2)). Suppose 5*z - 391 = -j, -2*z = 3*j - u*j - 159. Suppose -3*l + z = -24. Does 17 divide l?
True
Let m(b) = -b**3 + 13*b**2 - 12*b + 1. Let c be m(12). Is (10/30)/(c/30) a multiple of 6?
False
Let x(m) = -m**2 + 16*m + 23. Is x(17) even?
True
Suppose 6*a = 108 - 30. Is 12 a factor of a?
False
Suppose -4*f - 2 = -5*f. Suppose -3*a + 44 = -5*c, -2*a - 5*c - f - 2 = 0. Is 7 a factor of a?
False
Let r(h) = h**2 - 8*h - 4. Let m be r(6). Is (-420)/m - (-1)/(-4) a multiple of 9?
False
Suppose -3*j + 120 + 222 = 0. Does 6 divide j?
True
Let l be (-90)/11 + (-4)/(-22). Let f be (-6)/8 - (-2)/l. Does 6 divide (f/2)/(8/(-96))?
True
Suppose 2*u = 4*p - 78, -5*u + 2*u - 45 = -2*p. Is 9 a factor of p?
True
Suppose -41 = -6*s + 13. Is 2 a factor of s?
False
Let z(g) = -g**3 + 11*g**2 + 12*g + 5. Is z(12) even?
False
Suppose 0 = k - 0*k. Suppose 4*t + 3*n - 2*n = 15, -t + n + 10 = k. Suppose -t*h - 42 = -122. Is 8 a factor of h?
True
Let p = 3 - -1. Suppose -2*d + d - 12 = p*q, 4 = 2*d + q. Is d a multiple of 3?
False
Let r(w) = w - 5. Let u be r(5). Suppose -9*n + 8*n = -24. Suppose l - 5*l + n = u. Is 6 a factor of l?
True
Let s(x) = 2*x**3 - 8*x**2 + 10*x - 21. Does 25 divide s(6)?
False
Suppose -5*c + 10*c = 0. Suppose -4*p - 96 + 408 = c. Is p a multiple of 27?
False
Suppose -m - q = 0, 3*m + 3*q - 4*q - 8 = 0. Let w = m + 1. Suppose 5*l + 64 = w*p, -2*l - 25 = -2*p + 15. Does 9 divide p?
True
Let j be ((-2)/5)/((-5)/(-25)). Is 4 a factor of ((-18)/(-24))/(j/(-32))?
True
Suppose 30 = 5*q + 4*r, 2*r - 18 = -3*q + r. Does 7 divide (-105)/(-10)*8/q?
True
Let y(u) = -13*u**2 + 2. Let w be y(2). Let d = w - -86. Does 14 divide d?
False
Let p be ((-15)/9)/1*-30. Suppose -6*t = -t - p. Does 6 divide t?
False
Let k(d) = d + 10. Let n be k(-7). Suppose 5*o - 56 = n*o. Is 15 a factor of o?
False
Let h(t) = t**2 - 2*t - 1. Let l be h(3). Suppose -c - 8 = -l. Let f(d) = -7*d - 1. Is f(c) a multiple of 11?
False
Suppose -3*u + 63 = -3*t, 0*t = u + t - 13. Suppose -5*g + m + u + 27 = 0, m + 4 = 0. Is g a multiple of 8?
True
Let f(u) = -u**3 + 9*u**2 + 8*u + 2. Let i be f(1