x?
False
Let z(l) = l**2 - l - 1. Let r be z(2). Does 9 divide 2 + 11 - (-1)/r?
False
Suppose 5*f - 45 - 40 = 0. Suppose -w + 13 + f = 0. Is 10 a factor of w?
True
Suppose -5*c = 43 - 178. Suppose -2*l = -t + 38, 5*l - c = -3*t + 65. Does 17 divide t?
True
Let m(g) = g**2 + 7*g + 5. Let k be m(-5). Let f = 20 + k. Does 15 divide f?
True
Let r be (16/(-10))/((-10)/25). Let s(h) = h**2 - 2*h - 3. Let n be s(r). Suppose -64 - 45 = -4*k - w, -n*k + 125 = 5*w. Does 13 divide k?
False
Let c be (0 + 1434/9)*3. Let r be c/6 + 1/3. Suppose -l + 6*l = r. Is 14 a factor of l?
False
Suppose 3*c = -11 - 13. Does 8 divide ((-12)/3)/(2/c)?
True
Let f(b) = b**3 + 3*b**2 + 2*b - 3. Suppose 2*h = -1 - 7, -2*h - 23 = -5*v. Is f(v) a multiple of 15?
False
Suppose 0*z - 3*z = 33. Let w = 1 - z. Does 12 divide w?
True
Let k = 38 - 18. Is 5 a factor of k?
True
Suppose 5*l + 6 - 26 = 0. Let k be l/10 + (-69)/(-15). Suppose -x = -0*a + a - 13, -55 = -4*x - k*a. Is 10 a factor of x?
True
Suppose -701 = -2*t - 6*c + 9*c, 3*t - 3*c = 1047. Is t a multiple of 45?
False
Let l(i) = i**2 + 10*i + 2. Suppose 4*h = -0*h - 40. Let b be l(h). Suppose -b*f + 24 = v, -42 = -3*v - 2*f + 50. Is v a multiple of 17?
True
Suppose 4*r - 375 = r. Is r a multiple of 11?
False
Let s(p) = 20*p**2 - p + 1. Let q be (-2)/(-4)*(3 + -1). Let g be s(q). Suppose -3*z = -d + 2*z + g, 3*z = -2*d + 66. Is 15 a factor of d?
True
Let k be (-1)/(-2) - 18/(-4). Suppose 2*l + u = -4*u - k, 2*u = 4*l - 26. Suppose 2*m - 30 = l*n + 7, m + n = 15. Does 5 divide m?
False
Let g(n) be the third derivative of n**6/40 + n**5/30 - 2*n**2. Let k be g(-2). Let q = k - -28. Is 12 a factor of q?
True
Let x = 1 + 9. Is x a multiple of 10?
True
Let b(h) = 7*h**2 + 1. Let y = 0 + 1. Let v be b(y). Suppose -3*m + v = -2*m. Does 4 divide m?
True
Let l(x) = 10*x**2 + 4. Let y be l(2). Suppose -h + 16 = 4*m - y, 5*m = -2*h + 105. Is h a multiple of 10?
True
Suppose 4*p = -v + 128, -p - 276 = -2*v - 4*p. Is 16 a factor of v?
True
Let w(q) = 38*q + 2. Let c be w(3). Suppose -b - c = -y - 4*y, -3*y + 64 = -2*b. Is y a multiple of 8?
True
Let d(q) be the third derivative of -q**6/60 + q**5/60 + q**4/6 + q**3/2 + 4*q**2. Let a(f) = f**2 - 6*f - 2. Let s be a(6). Does 9 divide d(s)?
False
Let i = 154 + -98. Suppose -2*c - 12 = -i. Is 11 a factor of c?
True
Let b = -3 + 9. Let s = 3 + b. Is 9 a factor of s?
True
Let f(s) = -116*s**3 + s**2 + s. Let w be f(-1). Let r = 167 - w. Is 16 a factor of r?
False
Let p = -6 - -8. Suppose -p*u + 102 = 4*o, 4*u = -5 - 7. Does 9 divide o?
True
Let t(f) = -f + 1. Suppose -4*k + 18 = -k. Let o be k/(-9)*(2 + 7). Does 7 divide t(o)?
True
Suppose 5*u + 24 = 5*m + 3*u, -3*m - 2*u = -8. Suppose -m*s + 12 = 0, s = -4*l - 25 - 16. Let b = 20 + l. Is 9 a factor of b?
True
Suppose 0*w = -2*w + 86. Suppose 4*r = -4*j + 108, -3*r - j + w = -32. Does 12 divide r?
True
Does 7 divide 118 - 12 - (-1)/(0 - 1)?
True
Let x = 75 + -53. Does 11 divide x?
True
Let c be 154/(-21)*(0 + -9). Suppose -2*o - 4*w = o - c, -o = -5*w - 41. Does 13 divide o?
True
Let s(x) = x**3 + x + 50. Is s(0) a multiple of 10?
True
Let v(x) = -x - 4. Let b be v(-4). Suppose b = -3*d + 33 + 3. Does 4 divide d?
True
Suppose 32 = 4*v - 4. Is 6 a factor of v?
False
Is 18 a factor of 1/((2 - 3)/(-112))?
False
Let c = -9 + 15. Let r be 15 - 4*3/c. Let q = 27 - r. Does 10 divide q?
False
Let a = 2 - -16. Is a a multiple of 9?
True
Let c(d) = -d + 2. Let o be c(0). Suppose 88 = o*g + 2*g. Is g a multiple of 11?
True
Is 4 a factor of ((-48)/(-2) - 2)/1?
False
Suppose -4*l = -4*r - 30 - 14, 2*r - 13 = -5*l. Does 15 divide -18*(-1 - (-9)/r)?
True
Let f(j) = 21*j**3 - 2*j**2 + 2*j - 1. Let m(s) = -s + 3. Let w be m(4). Let k = w - -2. Is f(k) a multiple of 10?
True
Let g(i) = -4*i**3 + i + 1. Let h be g(-1). Suppose h*d - 5*d + 54 = 0. Is d a multiple of 14?
False
Let m = 5 + -3. Suppose -u = -3*u - 4*l - 30, 0 = m*u + 2*l + 22. Let r = 19 - u. Is 12 a factor of r?
False
Suppose 2*b - b = 0. Suppose -2*s + 7*s - 100 = b. Is 12 a factor of s?
False
Is (-1914)/(-24) - 3/(-12) a multiple of 20?
True
Let p(l) = -10*l - 4. Let h be p(-1). Let v(b) = b**3 + 3*b**2 - b. Let x be v(-3). Let z = h + x. Does 9 divide z?
True
Suppose 2*o - w + 16 = w, 4*o - 5*w + 33 = 0. Let k(y) = -3*y + 3. Is 12 a factor of k(o)?
True
Let u be -1 + 3 + -4 + 25. Let l = u + -13. Is 10 a factor of l?
True
Let g(r) = 2*r**2 - 6*r - 1. Let y(o) = 3*o**2 - 11*o - 2. Let q(p) = 7*g(p) - 4*y(p). Let l(a) = -a - 1. Let z(b) = -6*l(b) + q(b). Is 14 a factor of z(-6)?
False
Let s = 62 - 35. Is 9 a factor of s?
True
Let y be 31 + (0 - 1) - -2. Suppose 6*s - 4*s - 52 = 0. Suppose -5*r - 2*h + y = -9, 0 = 4*r + 5*h - s. Is r a multiple of 4?
False
Suppose -b + 2 = -3*b. Let k = b - 2. Let x(r) = -2*r**3 - 3*r**2 + 2*r + 3. Does 12 divide x(k)?
True
Suppose -4*w + 26 + 38 = 0. Is 4 a factor of w?
True
Let u(o) = -o**2 + 6*o + 11. Let q be u(9). Let s = 24 + q. Is 4 a factor of s?
True
Is 18 a factor of (51/15 + -1)/((-6)/(-360))?
True
Let y be 0 + -2 - (-99)/(-3). Let q = -1 - y. Is q a multiple of 17?
True
Let k = 103 + -64. Suppose -4*p - 21 = k. Let i = -9 - p. Is i a multiple of 6?
True
Is (-1 - -2) + 168/8 a multiple of 8?
False
Is 10 a factor of 4284/70 - (-8)/10?
False
Let k be ((-2)/4)/(3/(-1002)). Suppose w = -3, -2*x - w + k = 3*x. Is 17 a factor of x?
True
Suppose u - 8 = -u. Suppose u*o + 14 = 2*z, -3*o - 2 = -4*z + 6. Is 11 a factor of 2/8 - 43/o?
True
Let b = 651 - 1092. Let t be b/(-6) + 3/6. Let z = t - 38. Is 10 a factor of z?
False
Suppose 3*h = -2*w - 17, 0 = 7*h - 2*h + 15. Let j be (6/1)/(6/w). Let q = j - -7. Is q even?
False
Suppose m + 0*d - 12 = 3*d, 0 = -m - d + 20. Let q = 33 - m. Is q a multiple of 11?
False
Let f(z) = -9*z**2 - 3*z. Let p be f(-2). Let y = 54 + p. Is 15 a factor of y?
False
Let o = 99 - 71. Does 6 divide o?
False
Suppose 0 = -4*h + 181 + 27. Is h a multiple of 25?
False
Suppose -3*t + 3*c = 0, -5*t + 10*t + 7 = -2*c. Is (-57 + 0)*t/3 a multiple of 8?
False
Let u = 3 - -1. Suppose -4 = -4*x - 2*i, u*i - 25 = 5*x - i. Is 3 a factor of 2 + (8 - (2 - x))?
False
Suppose 5*h = -5*n + 12 + 8, -n + 8 = 5*h. Suppose 0 = n*m - 8*m - 20. Let r(u) = 2*u**2 + 2*u - 4. Does 20 divide r(m)?
True
Suppose -2*p + 0 = m + 1, -5*p - 4*m - 1 = 0. Is (8/(-6))/(p/6) a multiple of 3?
False
Let v = 13 + -1. Let o = -2 + v. Is 4 a factor of o?
False
Is ((-92)/6)/((-8)/12) a multiple of 2?
False
Let t(j) = -j**2 + 10*j + 5. Let y be t(10). Let z = y - 3. Suppose -44 = -z*s + 40. Is 15 a factor of s?
False
Let v = -10 - -50. Let o = v - 7. Suppose 4*s + 3*q - 105 = -s, 0 = -2*s - 3*q + o. Is 12 a factor of s?
True
Suppose 2*m + 3 = 2*z + 3*m, -z - 11 = 3*m. Suppose 9*i - z*i - 200 = 0. Is i a multiple of 11?
False
Let o(m) = m**3 + 6*m**2 + 3*m + 3. Let h be o(-4). Suppose 15 = w - h. Is w a multiple of 8?
False
Let t(n) be the second derivative of -n**5/10 - n**4/4 - n**3/6 - n**2 - 2*n. Let m be t(-2). Suppose -d - 2*d + 3*y + 60 = 0, -8 = m*y. Is d a multiple of 11?
False
Suppose 0 = -4*d + 11 + 1. Suppose -d*t - 99 = -3*l, -91 = -3*l - 0*t + t. Is l a multiple of 14?
False
Suppose 3*z = 2*y - 315, 4*y - 5*z - 459 = 166. Is 15 a factor of y?
True
Let f(r) = -r - 6. Let i be f(-8). Suppose i*q + q = 6, -4*k + 5*q + 102 = 0. Does 14 divide k?
True
Suppose -2 - 12 = -2*d. Is 7 a factor of d?
True
Let c(g) = -g**3 + 5*g**2 + 6*g + 2. Let y be c(6). Let x be -5*4/(-10)*2. Suppose 5*o = y*a + 2*a + 93, -x*o - 5*a + 99 = 0. Is 8 a factor of o?
False
Let z(s) = -13*s - 3. Is z(-3) a multiple of 18?
True
Let z(x) = x + 5. Let s be (-108)/14 + (-6)/21. Let l = s + 5. Does 2 divide z(l)?
True
Let l be (-8)/(-20) + 33/5. Suppose -l*k + 135 = -4*k. Is 13 a factor of k?
False
Is 11 + -9 + 44/2 a multiple of 5?
False
Suppose -h - 31 = -136. Is 33 a factor of h?
False
Let v(p) = 5*p**2 + 4*p. Let x(z) = 5*z**2 + 5*z. Let l(t) = 6*v(t) - 5*x(t). Suppose 0 = -3*c - 1 - 5. Does 19 divide l(c)?
False
Let r = 355 - 220. Does 15 divide r?
True
Let t be 3 + -3*(-17)/3. Suppose -t = -5*u, -3*f - 4*u + 191 = u. Does 9 divide f?
False
Let d(g) = g**3 - 8*g**2 + 2*g - 6. Does 9 divide d(8)?
False
Suppose -3*u = -2*j + 12 + 7, -2*j - 4*u + 40 = 0. Is j a multiple of 7?
True
Let f(p) = 33*p