-22. Let z(q) = -6*q - 1. Let v be z(1). Does 7 divide (v + 6)/((-1)/u)?
True
Let i = -1 - -3. Let t(z) = 0*z**i - 7*z**2 - 3 + 2*z**2 + 0*z**3 + z**3. Is t(6) a multiple of 18?
False
Suppose q - 1 = k, -4*q = q + 4*k + 22. Let t be 1/2*3*q. Is t/(297/102 - 3) a multiple of 15?
False
Is 14 a factor of 11 - -6 - (1 - 4)?
False
Let f = -94 + 175. Let c = f - 57. Does 8 divide c?
True
Let a(r) = r**3 - 8*r**2 + 8*r + 5. Suppose l - 3*k - 7 = 0, -5*k - 40 = -5*l - 5. Suppose -7 - l = -2*b. Does 6 divide a(b)?
True
Let g(z) be the first derivative of 7*z + 3/2*z**2 - 2. Does 8 divide g(5)?
False
Suppose 2 + 4 = -3*p. Let f = p - -16. Is 7 a factor of f?
True
Let r = 3 + -1. Let u be (-24)/10*(-170)/4. Suppose -2*x - 3*x = -r*l + 30, 5*l - u = -x. Is 10 a factor of l?
True
Let n(b) = 21*b + 1. Let c be n(1). Let a = c + -2. Is 10 a factor of a?
True
Is 14 a factor of 12/(-54) + 1228/18?
False
Let l(v) = -16*v - 11. Let c(f) be the second derivative of -f**3/2 - f**2 - 4*f. Let x(u) = -22*c(u) + 4*l(u). Does 10 divide x(5)?
True
Let d(n) = 15*n - 6. Does 21 divide d(6)?
True
Let g be (-7)/1*(-5 - -37). Let x = g + 331. Is x a multiple of 30?
False
Suppose 15 = 2*b - 7*b. Let x = b - -38. Suppose 8*g - 3*g = -3*o + 39, -5*g + x = 5*o. Is g a multiple of 9?
True
Let p(v) = 4*v - 4. Let s be p(5). Suppose 4*u = -s + 56. Does 10 divide u?
True
Suppose j + k - 171 = -j, 3*j = 3*k + 243. Is j a multiple of 12?
True
Is 47 a factor of 1126/4 + 1 + 4/(-8)?
True
Let l = -7 + 11. Suppose -2 = n - l. Does 17 divide n + (204/2)/3?
False
Suppose 0 = 4*p - 2*p - 4. Let y be (-1 - p)*(1 + -2). Suppose -2*a + 40 = y*x, a = 4*a - 6. Does 5 divide x?
False
Let n be ((-2)/4)/(2/(-24)). Let r be 406/6 - (-2)/n. Suppose -2*i = -6*i + r. Does 11 divide i?
False
Let x = -59 - -65. Is 6 a factor of x?
True
Suppose 0 = -2*u + 2*a + 96, 5*u - 25 = -5*a + 245. Does 8 divide u?
False
Let h = -41 + 169. Is 17 a factor of h?
False
Let y(f) = f**2 - f - 2. Let r be y(3). Suppose r*u - 6 = u. Suppose 0 = u*h + 3*h - 345. Is h a multiple of 23?
True
Suppose -5*m = 5*l - 915, 423 + 476 = 5*m - 3*l. Is 44 a factor of m?
False
Let w(u) = -11*u**3 + 2*u**2 + 2*u - 2. Let a be w(2). Let v = a + 124. Suppose v + 46 = 4*g. Does 13 divide g?
False
Let c = 57 + 4. Is 12 a factor of c?
False
Suppose -2*z + 4*h + 35 + 37 = 0, 4*z - h = 158. Is z a multiple of 10?
True
Let b(y) = 4*y - 1. Let s be b(2). Is 6 a factor of 2 - (2 - 5 - s)?
True
Suppose 3*f - 2*z + 9 = 53, 0 = 5*f - 3*z - 72. Is 6 a factor of f?
True
Let a(q) = q**3 - q**2 + 7. Does 7 divide a(0)?
True
Let m(c) = -c**2 - 2*c + 3. Let u be m(-6). Let t be 2/4*-2 - -45. Let j = t + u. Is 8 a factor of j?
False
Suppose -12 = k + k. Let c be k/9 - 11/(-3). Suppose -c*j + 3*m + 111 = 0, -3*m + 89 = -0*j + 2*j. Is j a multiple of 20?
True
Suppose 59 = 3*a - 100. Is 17 a factor of a?
False
Suppose 4*w = 2*w + 4. Let y(r) = 13*r - 2. Does 18 divide y(w)?
False
Let q = 29 + 28. Is q a multiple of 23?
False
Let d(i) = -10*i**3 - i**2 - 2*i + 2. Let f be d(2). Let s = f + 38. Is 20 a factor of (-1)/(-2)*(-8 - s)?
True
Suppose -2*f - 50 = 2*k, -3*k + 6 + 3 = 0. Let x be ((-8)/f)/((-1)/(-7)). Suppose -5*w - z = -120, 5*z = x*w - 26 - 22. Does 8 divide w?
True
Let l = -2 + 6. Suppose l*a = -3*t + 56, a - 6 = -2*a. Is t a multiple of 8?
True
Let g = 77 - 43. Suppose -5*d = 4*s - 211, -s + g = -0*s + 5*d. Suppose -5*q + 3*r + 73 + 110 = 0, 5*r - s = -q. Is 12 a factor of q?
False
Let l = -389 + 624. Suppose 4*u + 5*z - l = -u, 5*u + 4*z - 235 = 0. Does 14 divide u?
False
Suppose -3*k + 2*k + 150 = 0. Is k a multiple of 30?
True
Suppose 0 = z - 81 - 135. Is 18 a factor of z?
True
Let p(j) be the first derivative of 0*j + 0*j**2 - 1 + 1/3*j**3. Is 4 a factor of p(3)?
False
Suppose -10*p = -7*p - 15. Suppose -4*l + 100 = 2*x, -3*x + p*l + 3 = -103. Does 11 divide x?
False
Let k(v) = -2*v - 1. Let n be k(-2). Suppose 130 = 3*w + 4*u, 53 + 35 = 2*w + n*u. Does 19 divide w?
True
Let z = 38 + -32. Is 6 a factor of z?
True
Suppose 0*n - 380 = 4*n. Let h = n + 147. Is 15 a factor of h?
False
Let o(u) be the second derivative of -5*u**3/2 + 3*u. Does 13 divide o(-1)?
False
Let a(o) be the first derivative of o**2/2 + 22*o + 2. Let b be 0 - (2 + -3 + 1). Does 12 divide a(b)?
False
Let w(z) = z + 31. Does 3 divide w(-7)?
True
Suppose 5*r + f = 349, 10*f = 3*r + 5*f - 187. Is r a multiple of 23?
True
Let p be -3 - -3 - (-4 - 0). Suppose -p*i + 11 = -21. Is i a multiple of 8?
True
Let k be 2 - (2 - 0)*-1. Suppose 4*d - 132 = -4*q, -d - 3*q = -k*q - 35. Is d a multiple of 17?
True
Suppose -4 = 2*r + 6. Is 13 a factor of (6/r)/((-2)/60)?
False
Suppose -7*z + 124 = -436. Is 23 a factor of z?
False
Suppose 5*m - 2 = -7. Let y be -1 + (0 - -6) + m. Suppose -y = -5*a + 6. Is a even?
True
Let t be (2/(-2) - 3) + 4. Suppose b - 6 = -a, -3*b + t*a = -2*a - 43. Is b a multiple of 6?
False
Suppose -1 = f - 2*f. Suppose -2*b + f - 5 = 0. Is -1 - (2 + (-10 - b)) even?
False
Let v(y) = 110*y**2 + 3*y - 1. Does 14 divide v(1)?
True
Let u(d) = 3*d**3 + d**2 - 5*d + 3. Let a be u(-7). Is 14 a factor of (-4)/(-6) - a/18?
False
Let i(u) = -u. Let a(y) = -y**3 + 8*y**2 - 3*y - 7. Let n(g) = -a(g) + 2*i(g). Is n(8) a multiple of 15?
True
Suppose -6*m + 2*m - 4*c + 20 = 0, 7 = -m + 3*c. Let j(k) = 3*k**3 - k - 2. Is 10 a factor of j(m)?
True
Suppose 2*w + 0 + 6 = 5*t, -5*w = -3*t - 4. Is 2 a factor of w?
True
Is 9 a factor of (1 + 2)*(3 - 0)?
True
Let c(x) = -9*x - 3. Does 16 divide c(-11)?
True
Suppose -2*x - 12 = -5*x. Suppose -x*w - 12 = 4. Let b = w + 13. Is b a multiple of 4?
False
Suppose -f + 27 = -3*b, -24 = 4*f - 6*f - 4*b. Let l = 2 + f. Is l a multiple of 10?
True
Let l(y) = y + 4. Let p be l(-5). Let n(d) = -d**3 - 3*d**2 - 4*d - 3. Let i be n(-2). Does 7 divide (-10 + (i - 1))/p?
False
Let a(l) = l**2 - 8*l - 11. Let u be a(9). Is 2 - (u + 296/(-4)) a multiple of 26?
True
Let r(x) = -x**2 + 10*x - 5. Let l be r(5). Let c be 1225/l - (-3)/4. Let n = -42 + c. Does 12 divide n?
False
Suppose 5*v - 101 = 54. Is 17 a factor of v?
False
Let w(l) = -l**3 + 7*l**2 - 4*l - 4. Let n be w(6). Let z be (-23)/4 + (-2)/n. Does 13 divide (20/z)/((-6)/81)?
False
Suppose 5*f - 135 = -2*y, 4*f - 33 = y + 62. Is 5 a factor of f?
True
Let d(m) = -m + 2. Let t be d(-2). Suppose 2*u - 24 = -f, -t*f + 140 = -0*f - 3*u. Suppose 3*o - f = 4. Is o a multiple of 4?
True
Is 20 a factor of 1616/20 + (-4)/(-20)?
False
Let q = -11 - -15. Let x be 2 - q - (1 - 7). Suppose f - 7 = x. Is f a multiple of 11?
True
Let u(v) = 2*v**2 - 4*v + 2. Let d(t) = -t**3 + t**2 + 1. Let r(w) = 4*d(w) - u(w). Let h be r(-2). Let m = h + -6. Does 10 divide m?
False
Suppose 4*j = 21 + 15. Let q be (9/(-4))/(j/(-168)). Suppose -d = -5*n, -4*d + n + q = -53. Does 18 divide d?
False
Let c be (4 - 4)/((-2)/1). Suppose 3*h - 4*s + 0*s = -20, c = -3*h - 4*s + 20. Suppose 2*v - 36 = -0*v - 4*j, 5*j + 20 = h. Is v a multiple of 13?
True
Let g(n) = -n**3 + n**2 + 3*n + 1. Let l be g(-2). Let j(h) = 8*h - 1. Is j(l) a multiple of 11?
True
Suppose 5*h = 19 + 1. Let x(o) = o**3 - o**2 + o + 3. Is 22 a factor of x(h)?
False
Let b(m) = m**2 - 2. Let g be b(-4). Suppose -2 = 4*h - g. Suppose 3*c + 6*y = 2*y + 5, -h*y = -2*c + 26. Does 4 divide c?
False
Let r = 0 - 31. Is (-2 + -1 - r) + -2 a multiple of 7?
False
Suppose 0 = -4*f + 5*c + 985, -4*f + 470 = -2*c - 500. Does 54 divide f?
False
Let i = 19 - 7. Let b = i + 3. Is b a multiple of 4?
False
Let c = -18 + 3. Let u = -11 - c. Suppose 0*i - u*i + 188 = 0. Does 21 divide i?
False
Let p = -2 + 4. Suppose -4 = p*h + 42. Does 11 divide (0 - (1 - 0))*h?
False
Let l = -185 + 207. Is 2 a factor of l?
True
Suppose -3*m = 5*r - 49, -r + 0*r - 11 = -2*m. Let d(t) = t**3 + 8*t**2 - t + 6. Let x be d(-8). Let s = m + x. Does 9 divide s?
False
Let i = -76 + 133. Is 19 a factor of i?
True
Let o be (-5)/5 - 1*-11. Suppose q = 47 + o. Is 19 a factor of q?
True
Let v(b) = 5*b. Let y be v(1). Suppose -3*o - 2 = -y*o. Is -66*1/(-3)*o a multiple of 11?
True
Let d = -6 - -6. Suppose -p + d*p = -8. Does 3 divide p?
False
Suppose 3*k = 8 + 205. Let a = k + -48. Does 12 divide a?
False
Let p = 133 - 63. Is 21 a factor of p?
False
Let f(g) = -7*g - 1 + 1 + 2 - g**2. Does 4 divide f(-6)?
True
Let w be 