et r(z) = -7 + z + 3*z**2 + 2*z - 9*z. Does 22 divide r(5)?
False
Let b = 13 + 3. Suppose -12 = -5*k - 4*x, 4*k + 4*x = 6*k - b. Is k a multiple of 4?
True
Let w(j) = -j**2 + 6*j - 1. Let c be w(5). Suppose -5*k + 2*o = -157, -61 = -0*k - 2*k - o. Suppose -g = -5*h - k, -g + 2*h = c*h - 10. Does 16 divide g?
True
Suppose -g - 2 = 2*u - 3*g, 2*u = -3*g - 2. Let y(i) = 23*i**2 + 2*i + 1. Is 22 a factor of y(u)?
True
Is ((-17)/4)/((-4)/32) a multiple of 22?
False
Let b = -8 - -55. Does 12 divide b?
False
Let d(v) = v + 6. Let k be d(6). Let b = k + -10. Does 2 divide b?
True
Let m(g) be the third derivative of -g**6/120 + 3*g**5/20 - g**4/6 - g**3/6 - 3*g**2. Is m(8) a multiple of 14?
False
Suppose 0 = -c - r + 135, -c - 5*r - 256 = -3*c. Is c a multiple of 12?
False
Let l(y) = y + 2. Suppose 14 = 2*w + w - h, 5*w - 22 = h. Is l(w) even?
True
Suppose 2 = 2*c + 4, 0 = 3*k + c - 161. Does 27 divide k?
True
Let p = -30 - -56. Suppose 4*q + 0*b + 2*b - p = 0, 28 = 4*q + 4*b. Does 5 divide q?
False
Let x be ((-48)/60)/((-1)/5). Suppose x*f + f = 185. Is f a multiple of 11?
False
Suppose 3*o - 8 = 3*n + 7, 5*o = -3*n + 9. Let z = 4 + n. Suppose -3*m + 0*l + z*l + 39 = 0, 5*m - 67 = 4*l. Is m a multiple of 11?
True
Let y(x) = 27*x**2 - x + 2. Is y(1) a multiple of 14?
True
Let q be (-4)/(-5)*(-5)/(-2). Let p be 2/(q/11) + 0. Suppose -p = -2*k + 9. Is k a multiple of 10?
True
Suppose 16 = -t + 5*t, -2*t - 1 = -3*q. Suppose -4 - 2 = -q*y. Does 4 divide (2*y)/((-4)/(-8))?
True
Let c = 189 + -70. Does 17 divide c?
True
Let h(o) = 5*o + 6. Is 7 a factor of h(3)?
True
Let g be 14/8 - (-1)/4. Let l be (57/15 - g)*5. Suppose l - 23 = -z. Is 14 a factor of z?
True
Let k(a) = 2*a**2 + 2. Let n = 8 + -5. Let q be k(n). Suppose 2*x + 0*x - q = 0. Is x a multiple of 10?
True
Suppose f + 4*q + 5 = 26, -3*f + 35 = 5*q. Suppose 3*g = -f*u + 2*g - 340, u + 2*g = -68. Does 8 divide u/(-5) - 9/15?
False
Suppose 3*f - 140 = 85. Does 25 divide f?
True
Let h(x) = 2*x**3 - 4*x**2 + 2*x + 5. Let u be h(4). Let d be (-14)/(-42) + 55/(-3). Let f = u + d. Is 22 a factor of f?
False
Let d(v) = -v + 4*v**3 - 5*v**3 + 3*v**2 + 1 + 2*v**2. Let h(m) = m**3 + 3*m**2 - 6*m - 5. Let c be h(-4). Does 11 divide d(c)?
False
Let t be 45*(3/(-3))/(-1). Let a be 5/(t/(-12))*-42. Suppose -c + a = 3*z, 3*z - 2*c = c + 72. Is 10 a factor of z?
True
Let b(r) = 11*r - 3. Let w = 7 - 2. Let m be b(w). Suppose 4*j = 12 + m. Does 8 divide j?
True
Let y be (-2)/(-9) + 1012/(-18). Let m = -31 - y. Suppose 0 = -4*d + 11 + m. Does 4 divide d?
False
Let q(y) = -y**3 - 8*y**2 - y - 9. Let r be q(-8). Does 13 divide r + -1 + (-26)/(-1)?
False
Let y = -159 - -238. Does 41 divide y?
False
Let x(g) = 10*g**3 - g**2 + 3*g - 2. Let y be x(2). Let p(d) = -2*d**2 + 4*d - 4. Let h be p(6). Let j = h + y. Is 14 a factor of j?
True
Suppose -c + 3 + 1 = 0. Is 21 a factor of 1/(0 + c/412)?
False
Let s = -83 - -129. Is s a multiple of 32?
False
Let i(s) = 14*s - 19. Is i(7) a multiple of 30?
False
Suppose 4*r - 39 = 5. Does 4 divide r?
False
Let c = 8 + -3. Suppose -4*l + c*g = -587 + 20, g - 301 = -2*l. Suppose -190 = -5*m + 2*q, 5*m - 42 = 5*q + l. Does 19 divide m?
True
Suppose 4*p - 225 = p. Is 25 a factor of p?
True
Let z = -117 + 181. Suppose u + 3*u - z = 0. Is 5 a factor of u?
False
Suppose -3*u + 21 = -5*h, -2*u - 2*h = -4*u + 10. Suppose 2*z + 254 = 4*g, 0 = -u*g - 6*z + 3*z + 131. Does 28 divide g?
False
Suppose 7*b - 13 = 6*b. Does 3 divide b?
False
Let t(s) = -s**2 - 5*s + 9. Let g be t(-7). Let j(i) = i + 3. Let l be j(4). Let q = l + g. Is q a multiple of 2?
True
Let o(b) = -3*b + 5. Let f be o(4). Is 4 a factor of 2/f + 186/14?
False
Let u(f) = 12*f**3 - 3*f**2 + 3*f. Let n be u(3). Is 19 a factor of n/8 - 2/8?
True
Let l be 138/10 + 1/5. Is (-14)/(-49) - (-136)/l a multiple of 7?
False
Let m(j) be the first derivative of -j**2/2 + 6*j + 3. Is m(-5) a multiple of 11?
True
Let v be (-4)/(-6) + 48/9. Let i = 5 - v. Is 13 a factor of i + (1 - -12) + 1?
True
Let r(d) = d**3 + 11*d**2 + 9*d - 4. Let x be r(-8). Let t be 4/2 - (4 + -6). Suppose -t*o + 27 + 37 = 2*p, 3*p - 4*o - x = 0. Does 18 divide p?
True
Suppose 43 = -3*d + 559. Is d a multiple of 12?
False
Let s(u) = u**2 - 6*u + 2. Let r be s(6). Suppose -r*j + 0*j + 66 = 0. Is 11 a factor of j?
True
Let d be ((-20)/(-3))/((-10)/45). Let c = 64 + d. Is c a multiple of 17?
True
Let i = -436 + -19. Is (-3)/(-2) - i/10 a multiple of 20?
False
Let x(h) = 15*h - 3. Let v(b) = -b. Let s(r) = 2*v(r) + x(r). Is s(3) a multiple of 9?
True
Suppose 0 = -4*l + 9*l - 195. Is l a multiple of 13?
True
Let q be 4/14 + (-2796)/(-14). Suppose 4*c - q = -c. Is c/6 - 1/(-3) a multiple of 3?
False
Is (-2)/15 - (-2526)/45 a multiple of 6?
False
Let z be -1 + -2*(-9)/6. Suppose 2*s - z*v = -12, 0 = 2*s - 5*v - 0*v + 12. Is 13 a factor of (-3 + 0)/(s/52)?
True
Suppose -3 = -3*k - 0. Let j(c) = 22*c + 1. Is j(k) a multiple of 10?
False
Let h(u) = -u**3 + u**2 - 1. Let j(s) = -4*s**3 + 4*s - 5. Let x(o) = 3*h(o) - j(o). Does 8 divide x(2)?
False
Suppose 6*g - 168 = 282. Does 25 divide g?
True
Let o(r) = r**3 + 11*r**2 + 7*r + 6. Let j = 23 - 33. Let q be o(j). Suppose -v = -t + 10 - q, -34 = -v - t. Is v a multiple of 17?
False
Let j(l) = l**3 + 4. Let s be j(0). Let a(o) = -6*o - 9*o**2 + 0*o**3 + o**3 + 15*o - s. Is 4 a factor of a(8)?
True
Suppose -4*m = -144 - 24. Suppose -z - 2*z = -m. Is z a multiple of 5?
False
Let z(j) = j**3 - 2*j**2 - 6*j - 1. Let x = -5 - -10. Is z(x) a multiple of 22?
True
Let h(q) = -q - 2. Let j be h(0). Let l be (9/4)/3*-48. Is 4 a factor of ((-4)/(-12))/(j/l)?
False
Let f(g) = -g**2 + 3*g + 3. Let d be f(3). Suppose 11 = d*x + 5. Suppose 5*a - 89 = -x*o, o + o + 6 = 0. Is 13 a factor of a?
False
Let j(w) = w**3 - w**2 + 2*w - 5. Does 26 divide j(5)?
False
Let u(i) = i**3 - 6*i**2 + 2*i + 15. Does 23 divide u(7)?
False
Is 29 a factor of -5*2/4*1914/(-55)?
True
Suppose 8*p - 10*p = -226. Is 7 a factor of p?
False
Let a = 1 + -1. Suppose 3*j - j - 5*p - 16 = a, 4*j - 6 = -3*p. Suppose -j*y = y - 84. Is 20 a factor of y?
False
Suppose -2*i = -0*n - n - 22, n = 4*i - 44. Let c = i - 0. Is 11 a factor of c?
True
Suppose 19 = 6*q - 5. Is 19 + -3 + -4 - q even?
True
Suppose 0 = 2*b + 2*g - 4, -1 + 11 = 5*b - 2*g. Suppose b*i + 144 = 5*i. Is i a multiple of 12?
True
Does 15 divide (-594)/(-4) + (-24)/(-16)?
True
Let r = 4 + 1. Let j(v) = v**3 + 8*v**2 - 8*v + 11. Let p be j(-9). Suppose -3*f + 2*l + 32 = 0, -r*f + 64 - p = l. Is f a multiple of 6?
True
Suppose j = 2*j - 68. Suppose 3*v - 3*a - j = -2*a, 3*v - 3*a = 60. Is v a multiple of 11?
False
Let i be 30/45 + (-100)/6. Is (-8)/i - (-91)/2 a multiple of 11?
False
Let m be -1 - 3 - 18/(-6). Let u(w) = -10*w - 1. Let p be u(m). Let f = 18 - p. Is f a multiple of 9?
True
Suppose -297 = 2*u - 5*u. Is 27 a factor of u?
False
Let b = 12 - -4. Is 3 a factor of b?
False
Let b = -6 - -4. Is 9 a factor of (9/b)/(2/(-4))?
True
Suppose 4*z - z = 0. Suppose z = -h - 3*d + 2, 0*d = 4*d + 20. Suppose -19 = -3*s + h. Is 12 a factor of s?
True
Let m(n) = n**3 - n**2 - n + 3. Let x be 2/((-7)/3 + 3). Does 18 divide m(x)?
True
Is 4*6*11/8 a multiple of 8?
False
Let q be (7/1)/(8/80). Is 2/(-11) - q/(-22) a multiple of 2?
False
Let q = -201 - -303. Is 17 a factor of q?
True
Let j be (-2)/13 - 1464/(-52). Suppose 0*s + j = s. Suppose x - 11 = u, -3*u - s = -3*x + u. Is 16 a factor of x?
True
Suppose 3*j + 3*t = -24 - 15, 2*j + t = -24. Does 12 divide (1 + 0)*(13 - j)?
True
Let v = 5 + 1. Suppose -v = -2*a + 5*y, -6 = 3*a - 5*a + 3*y. Is a even?
False
Let j(w) = -w**2 - 8*w + 14. Let g be j(-10). Let f be 5*(0 + g/15). Is 6 a factor of 2/1 - 5*f?
True
Let w = -183 + 65. Let l = w - -174. Is l a multiple of 13?
False
Let t(l) = -l**2 + 9*l - 9. Let m be t(7). Suppose -2*p + m + 5 = 0. Suppose -4*i + 3*v = -51, 0 = -p*i - 5*v - 37 + 92. Does 12 divide i?
True
Suppose -33 = 4*h - h. Let v = 18 - h. Is 29 a factor of v?
True
Suppose -1 - 4 = -q + 5*i, 2*i = 0. Suppose 0 = c - q*c + 132. Is c a multiple of 10?
False
Suppose -4*y = -6 - 10. Suppose -y*d = 20, -5*d + 6*d = -u - 4. Is 6 a factor of -1 + 10 - (u - 2)?
False
Let q(l) = 55*l + 2. Let f be q(2). Suppose f - 16 = 4*p. Does 10 divide p?
False
Let q(u) = u**2 + 4*u + 2