 - 4 = -3*u. Let f = u + -7. Suppose -q + 3*v = 4*q - 63, v - f = 0. Does 6 divide q?
False
Suppose -118 + 32 = -2*f. Let x = f - 22. Is 6 a factor of x?
False
Suppose 0*z - 2*z + 8 = 0. Let f(a) = 7 + 1 - 16 + z*a. Does 8 divide f(6)?
True
Let g be 5/(-2)*(-8)/10. Suppose -g*n - c + 13 = 0, 4*c = -5*n + 51 - 20. Let h(o) = o**3 - 8*o**2 + 10*o - 7. Is 14 a factor of h(n)?
True
Suppose -r - 3 = -1. Let x be (0 - 9/6)*r. Does 11 divide 1/x + 32/3?
True
Let b = 265 - 171. Does 5 divide b?
False
Let j(b) = b**3 - 4*b**2 - 2*b - 7. Does 8 divide j(5)?
True
Does 10 divide (-1 + -105)*(-18)/36?
False
Suppose 118 = 3*d - 113. Is d a multiple of 13?
False
Suppose 3*y - 2*f - 168 = 0, 6*y - 5*f - 177 = 3*y. Let i = -30 + y. Does 18 divide i?
False
Is 23 a factor of -46*(-4 - -1)*(-26)/(-39)?
True
Let w be 10*3/((-45)/(-12)). Is (-4)/(w/(-6)) + -1 even?
True
Suppose 2*p + 3*p - 15 = 0. Suppose -p*s + 145 = -89. Suppose 0 = 5*a + 23 - s. Is a a multiple of 11?
True
Suppose 0 = i + 4*f - 236, 4*f - 1408 = -4*i - 404. Let n = i + -170. Is 34 a factor of n?
False
Suppose 0 = 3*c - 5*c + 22. Does 11 divide c?
True
Let u(g) = 13*g**2 + 2*g + 2. Let z be u(-1). Is z + (-1 + 3)/(-1) a multiple of 11?
True
Suppose 0*q = 2*q - 54. Is 6/27 - (-237)/q a multiple of 9?
True
Let j(x) = -4*x**2 + x. Let h be j(1). Let f = h - -3. Suppose -3*g + f*g + 9 = 0. Is 2 a factor of g?
False
Let f(q) = -q**3 - q + 65. Is f(0) a multiple of 14?
False
Suppose -5*x + 75 = -z, -x - 4*x - 2*z + 60 = 0. Is 4 a factor of x?
False
Let n(i) = i**3 + 10*i**2 - 3*i + 11. Is 20 a factor of n(5)?
False
Let f(t) = -3*t**2 + t - 4. Let z(j) = -2 - 5 + 0*j - 7*j**2 + j. Let o(q) = 5*f(q) - 3*z(q). Does 5 divide o(-1)?
True
Suppose -3*f = 6 - 0, 0 = 5*o + 4*f - 367. Is 23 a factor of o?
False
Let m(n) = 24*n - 8. Is m(6) a multiple of 13?
False
Suppose -3*c + 593 = -y, -4*y + 542 = 5*c - 469. Is 20 a factor of c?
False
Let a(j) = j**2 + 3*j. Let q be a(-6). Is 10/45 + 302/q a multiple of 17?
True
Suppose 4*t + 152 = 2*b, -4*b + 297 = -4*t + 3*t. Suppose 5*u = c - 10, 0 = 4*c - 7*c + 4*u + b. Is c a multiple of 17?
False
Let c = 55 - 28. Is c a multiple of 13?
False
Let z(l) = 4*l**3 + 12*l**2 + 6*l + 3. Let d(w) = -2*w**3 - 6*w**2 - 3*w - 2. Let h(u) = -5*d(u) - 3*z(u). Does 19 divide h(-4)?
False
Suppose 3*b - 6*b + 4*s + 15 = 0, -b + 3*s + 10 = 0. Is 21 + ((-2)/1 - b) a multiple of 9?
True
Let w = 24 + -19. Suppose 0 = h + 4*j + 12, 2*h + 2*h - j - 20 = 0. Suppose -h*m - 4*p + 102 + 50 = 0, -5*m + w*p = -140. Does 13 divide m?
False
Let o be ((-30)/12)/((-1)/2). Suppose -o = 5*v - 0. Is 15 a factor of 15 + (1 - 2) - v?
True
Let n(j) = -2*j + 8. Is 8 a factor of n(-12)?
True
Let i = -10 + 16. Suppose -i*d = -2*d - 20. Does 3 divide d?
False
Let y = 181 - 107. Let a = y + -46. Does 12 divide (-172)/(-14) - 8/a?
True
Let a(m) = m - 3. Let q = 7 + -2. Let h be a(q). Suppose h*o + 20 = -4*c + 104, 53 = 3*c - o. Is 12 a factor of c?
False
Let r(n) = n**3 + 5*n**2 + 3*n - 3. Let c be r(-3). Let l(b) = -b**2 + 9*b. Is l(c) a multiple of 18?
True
Let v(t) = 0 + t + 2 + 1 + 4. Is 4 a factor of v(4)?
False
Let u = 105 - 48. Let f = u - -1. Does 16 divide f?
False
Let f(c) = -2*c - 7. Let p be f(-5). Suppose 0 = p*b - 0*b - 39. Does 11 divide b?
False
Let u be (94/(-3))/(4/6). Suppose 4*p = -5*o - 141, p - 3*p + o - 53 = 0. Let k = p - u. Is k a multiple of 8?
False
Does 6 divide (-1)/2 + ((-663)/6)/(-17)?
True
Is 8 a factor of (-486)/(-30) + 1/(-5)?
True
Let z(n) = -82*n**3 + n**2 - n - 1. Let g be z(1). Let m = g + 133. Does 30 divide m?
False
Is 8 a factor of (-8)/(-2) - (-29 + -1)?
False
Suppose 4*c - 18 = 2. Suppose 7 = -2*s + c*t + 26, -5 = 5*t. Is s a multiple of 2?
False
Let p = 25 + -15. Suppose -n + p = -1. Suppose l = 11 + n. Is l a multiple of 11?
True
Let u = 9 - 0. Does 3 divide u?
True
Suppose -3*l - l = 8. Let g = l + 6. Suppose -4*i - 188 = -4*q, -2 = -2*q - g*i + 116. Is q a multiple of 19?
False
Let g(o) = -16*o - 5. Does 25 divide g(-6)?
False
Suppose 4*k = 54 + 66. Suppose -4*x - x = -k. Suppose -2*s - 5*w - 129 = -6*s, 0 = -2*w + x. Is s a multiple of 18?
True
Let w be (-3 - -3)*(-1)/2. Is 52 - (-1 + -1 + w) a multiple of 18?
True
Let v(l) = 3*l**2 - 7. Is v(5) a multiple of 17?
True
Suppose 2*n - 236 + 62 = 3*x, 10 = -5*x. Does 7 divide n?
True
Suppose 3*y + a - 96 = 17, 154 = 4*y + 2*a. Let b = y + -16. Suppose b = 2*n + 3*n. Does 3 divide n?
False
Suppose d = f + 4*d - 19, 3*d = 5*f - 77. Is f a multiple of 16?
True
Let s be (-4)/(-18) + 156/27. Suppose 2*n - 2*i + s = 0, -4*n = 7*i - 3*i - 28. Let p = n - -13. Is 15 a factor of p?
True
Suppose i + 4*a - 62 = -i, 5*i - 3*a - 207 = 0. Suppose 6 = 5*l - i. Is (-6)/4*(-228)/l a multiple of 14?
False
Let h = -206 - -358. Does 33 divide h?
False
Let c(u) = 2*u - 5. Let h be c(4). Does 19 divide 2 - (h - 10*2)?
True
Let g(a) = -5*a**2 - 5*a. Let q(d) = 9*d**2 + 11*d + 1. Suppose 7 = -4*j - 5, 4*j - 16 = 4*z. Let l(s) = z*g(s) - 4*q(s). Is l(-7) a multiple of 7?
False
Suppose 5*x + 18 = 2*x. Does 12 divide 92/8 + (-3)/x?
True
Let m(b) = b + 6. Let f be m(-6). Let x(c) = c + 1. Let v be x(3). Suppose f = v*w - 26 - 2. Is 3 a factor of w?
False
Let x = 133 - 88. Is 9 a factor of x?
True
Let i = -11 - -17. Suppose -2*b - b + i = 0. Suppose 0*s = b*s - 16. Is 7 a factor of s?
False
Let h be 3 - (0 + -2) - 0. Let g = 22 + h. Let t = -16 + g. Is t a multiple of 11?
True
Let h(z) = z**3 - 2*z**2 + 1. Let p be h(-1). Let f(i) = i**3 - 8*i**2 + 8*i - 1. Let m be f(7). Does 26 divide 37*(-6)/(m/p)?
False
Suppose -n - 15 = -4*n. Suppose -n*s + 56 = -s. Is 7 a factor of s?
True
Suppose -2*i + i + z + 21 = 0, -5*i + 4*z + 101 = 0. Is 11 a factor of i?
False
Let l(r) = r**3 - 2*r**2 - r - 1. Does 8 divide l(5)?
False
Suppose 5*y + 171 - 876 = 0. Is y a multiple of 10?
False
Let g = 21 - 13. Let x(k) = -k**3 + 8*k**2 + 4*k + 7. Let a be x(g). Suppose a = 3*n - 15. Does 13 divide n?
False
Suppose 0 = -4*l + 16, -4*l = -4*d - 2*l + 340. Is 22 a factor of d?
False
Suppose -4*o - 5*z + 18 = 0, -4*z + 16 = 4*o - 0*z. Let f = o - -3. Is f even?
False
Let g(b) = b**2 - 8*b + 4. Let r be (1 - -4)*1 + 1. Let q be g(r). Let y(t) = -t**3 - 9*t**2 - 10*t + 10. Does 13 divide y(q)?
True
Let l = 10 + -1. Suppose -l*u - 45 = -10*u. Does 15 divide u?
True
Let l(q) = -q + 1. Let p(w) = -w**2 - 5*w + 4. Let a(d) = 4*l(d) - p(d). Does 11 divide a(-7)?
False
Is (93/(-3) + 0)*-3 a multiple of 31?
True
Suppose -2*s + 96 = 2*o, -3*o = -3*s - 33 + 153. Suppose -4*d = -3*d - s. Does 11 divide d?
True
Let h = 8 - 3. Let o(l) = -l**2 - h*l**2 + 3*l**2 + 3 + 6*l**2. Is o(-3) a multiple of 11?
False
Suppose 0 = 4*c - 429 + 157. Suppose w - c = -3*w. Is w a multiple of 7?
False
Let w(c) = -1 + 0 + 3*c + 2 - 3. Is w(4) a multiple of 4?
False
Let c be 1 + 1 + 0 + 0. Suppose -m + 2*s = 1, 7 = -c*m - 3*s + 2*s. Is 6*(5/m - -2) a multiple of 2?
True
Suppose -4*l - m = -6*m - 28, 20 = -5*m. Suppose -3*c = 5*o - 8, 0*c - l*o = -c - 1. Is 14 a factor of (28/6)/(c/3)?
True
Suppose g + 3*q - 21 = -2*q, 2*g = -2*q + 66. Is g a multiple of 9?
True
Let g(z) = -3*z + 2*z + 5*z**2 - 2*z**2. Is g(2) a multiple of 6?
False
Let a be 4/7*14/4. Suppose -a*n = 3*n - 70. Is n a multiple of 12?
False
Let u = 2 + 0. Let v be (3/u)/((-6)/8). Does 5 divide (v - -2 - -9) + 1?
True
Let m(f) be the second derivative of -f**5/20 - f**4/12 - f**3/6 - 3*f**2/2 - 14*f. Suppose 3*l = -3*b - 3, -2*l + 6*l - 2*b = -16. Is m(l) a multiple of 9?
True
Is 9 a factor of 2 - -76 - 9/(-3)?
True
Let g(y) be the first derivative of -2*y + 1/4*y**4 - 2*y**2 + 2 + 2*y**3. Is 11 a factor of g(-6)?
True
Let v(q) = 9*q**2 - 1. Let n be v(-1). Let i = n - 4. Suppose -k = -i*w - 6 + 17, 16 = 5*w + k. Does 3 divide w?
True
Suppose -2*c + 3*c + 3 = 0. Is 7 a factor of (1*c)/((-3)/21)?
True
Let b be 2 + 2 + (-3 - 1). Suppose b = i - 2*i + 3. Suppose -5 = 4*y + 2*u - 17, 0 = -i*u. Does 2 divide y?
False
Let d be (-3)/(-2)*(-70)/(-21). Suppose -d*a + 45 = -2*a. Is 10 a factor of a?
False
Let t = 14 + 48. Is 14 a factor of t?
False
Let t(p) = 2*p**3 + 2*p**2 - 2*p - 1. Suppose 4*f - 2*f - 2 = 0, -4*f = 2*m. Let w be (-2 + m)/(-1) - 2. Is t(w) a multiple of 19?
True
Suppose -3*w + 185 + 16 = 0. Is 13 a factor of w?
False
Suppose -2*