 4*u - 2*m - 48. Is 12 a factor of g(u)?
True
Suppose t + t = -2. Is (10 - 2/t)*1 a multiple of 12?
True
Suppose 228 = -8*d + 14*d. Is 19 a factor of d?
True
Suppose 4*t = 5 + 3, -w - 5*t = -18. Suppose 3*f = 2*f + l + 24, -5*f - 5*l = -100. Let m = f - w. Is 7 a factor of m?
True
Suppose -2*r - 330 = -7*r. Suppose r = 4*m - 38. Is 26 a factor of m?
True
Is (-1)/(-5)*44*20 a multiple of 39?
False
Suppose 4*a - k = 804, a + 4*k = -0*a + 184. Does 45 divide a?
False
Let q = 20 + 21. Is q a multiple of 16?
False
Suppose s - 80 = 2*t, 0 = -6*s + 3*s + 5*t + 240. Suppose -5*y + k = -y - s, -y - 5*k - 1 = 0. Is 7 a factor of y?
False
Let u = -9 + 29. Does 5 divide u?
True
Suppose 8*c - 5*c - 36 = 0. Does 11 divide c?
False
Let h(i) = 25*i**2 + 2*i + 1. Let q be h(2). Let v be (-6)/2*(-1 - 0). Suppose -v*y = -5*k + 2*k - q, k = -y + 25. Is y a multiple of 18?
False
Let t(b) = -b**3 + b**2 + 5*b + 2. Does 2 divide t(-2)?
True
Let w(f) = -f**2 + 6*f - 4. Let o be w(12). Does 22 divide 3 + -2 - (o - -5)?
False
Is 13 a factor of 654/10 - (-4)/(-10)?
True
Let i(y) = -y**2 + 3*y + 3. Let o be i(3). Suppose 6*k = o*k + 72. Is k a multiple of 11?
False
Let r = -72 + 40. Let b = r - -59. Does 8 divide b?
False
Suppose 5 = -0*h + h. Suppose -7 = 2*d + h*v, -v + 6*v = 4*d - 61. Let q(p) = -p + 13. Does 4 divide q(d)?
True
Suppose -6 = -3*a - 0*a. Suppose a*k = -0*r - 2*r + 112, -4*k = -4*r - 200. Is 15 a factor of k?
False
Let n(c) be the third derivative of c**5/4 + c**4/8 + c**2. Let o be n(3). Suppose y = -2*y + o. Is 24 a factor of y?
True
Suppose -3*j + 47 = 2*v - 34, -2*j = 4*v - 150. Does 18 divide v?
True
Suppose -5*z = 2*r + 11, 10 - 24 = 2*z + 4*r. Let c = z - 0. Does 19 divide (c/(-3))/(5/285)?
True
Suppose 3*p = 5*c - 85, -2*p + 2*c = 68 - 10. Is 14 a factor of (0 + -2 - p) + 2?
False
Is (5/3)/((-140)/(-138) - 1) a multiple of 23?
True
Let d be 0/8*(2 - 1). Suppose -a + 9 + 10 = d. Is a a multiple of 5?
False
Suppose 4*x + 14 - 42 = -4*b, -5*b + 4*x - 1 = 0. Suppose -5*z + r = -0*z - 159, -b*r = -3. Is 20 a factor of z?
False
Suppose -4*i + 40 = 3*v - 95, -164 = -5*i + v. Is i a multiple of 25?
False
Let c be (12/(-48))/(1/(-12)). Suppose 0*y - 5*m + 87 = 2*y, 143 = c*y + 5*m. Is 14 a factor of y?
True
Let s be 2/(-7) - (-12)/(-7). Suppose 3*n + z - 9 = 0, -z + 6*z = 5*n - 35. Is ((-14)/n + 2)*s a multiple of 2?
False
Let k = -3 + 18. Does 15 divide k?
True
Let v be -1*(3 + -27 - -3). Let l = v - 11. Is l a multiple of 9?
False
Let o(c) = -c**3 + 5*c**2 + 7*c - 6. Let k be o(6). Suppose 3*v + 2*v - 10 = k. Suppose -13 + 49 = v*m. Is 6 a factor of m?
True
Suppose 6*x - 345 = x. Suppose -3*f + x = -0*f. Is f a multiple of 23?
True
Suppose 3*t - 5*x + 8 = -t, 5*t + 10 = -3*x. Let n = t - -5. Let o(f) = 3*f**2 + 4*f - 3. Is o(n) a multiple of 18?
True
Suppose -5*m + 10 = 5*r, -r + 6*r - m - 4 = 0. Let t be -1 - (r + -2)/(-1). Let a = t + 8. Is a a multiple of 6?
True
Suppose -2*c + 5*q = -668, -3*c = -0*c + 2*q - 1021. Is c a multiple of 16?
False
Let d = -34 + 342. Is 48 a factor of d?
False
Let s = 52 + -31. Suppose -101 = -5*o + 3*g, -3*g - 8 = o - s. Does 10 divide o?
False
Suppose 3*o - 73 = -2*d, -8*d + 2*o = -3*d - 230. Is d a multiple of 11?
True
Let x = -2 - -4. Suppose -7 - 19 = -2*v + 5*k, -x*v = -k - 10. Is 2 a factor of v?
False
Let v(d) = d**2 - 5*d + 2. Let z be v(5). Is 2/z - -39 - 0 a multiple of 20?
True
Let w(k) = -k**2 + 5*k. Let z be 141/27 - 2/9. Let r be w(z). Suppose 0*i + 2*i - 34 = r. Is i a multiple of 17?
True
Let z(l) = 7*l**2 + 12*l + 1. Does 28 divide z(-3)?
True
Let t = 1 + 2. Suppose -t*z + 13 = 4. Suppose -a - z*a + 15 = -o, -15 = a - 4*o. Does 2 divide a?
False
Suppose 4*l - k + 30 = 0, -3*l + k + 5 = -4*l. Let s = 0 - l. Suppose -s*d + 2*d = -5*r - 65, -3*d + 29 = -r. Is d a multiple of 7?
False
Suppose 0 = -2*y + 4*d + 6, -d + 0 + 3 = 0. Is y a multiple of 3?
True
Let j be 1*-1*(-9)/3. Let s be ((-3)/(-2))/(j/2). Let w(x) = 3*x**3 + x**2. Is w(s) a multiple of 3?
False
Let b(u) = -u**3 + 7*u**2 - 6*u - 4. Let n be b(6). Let c(x) = -3*x - 2. Let d be c(n). Let j = d - -3. Is 9 a factor of j?
False
Suppose -170 - 115 = -3*t. Is 14 a factor of t?
False
Is 11 a factor of (132/16)/(12/128)?
True
Suppose 0 = z - 2*s - 99, 3*s + 93 = z - 2*s. Is z a multiple of 23?
False
Is 4 a factor of -8*-10*(-4)/(-32)?
False
Let w(j) = -j**3 - 6*j**2 + j - 5. Let c be w(-6). Let n(u) = -u**2 - 13*u - 4. Is 10 a factor of n(c)?
False
Suppose -t + 0*z = 2*z - 4, 3*z - 7 = -2*t. Suppose -4*a - t = -5*y, 2*a + 6 = a + 4*y. Suppose 0 = -5*u + a*u + 48. Is u a multiple of 6?
False
Let w be ((-8)/10)/((-4)/10). Suppose d + p = 18, d - 12 = -p - w*p. Is 9 a factor of d?
False
Let j(d) = -d + 8. Let h be j(8). Suppose h = m - 5*m + 16. Suppose -m*z + 35 = -5. Is 10 a factor of z?
True
Let t = 21 + -12. Let s = t - 10. Let g = 12 - s. Is 6 a factor of g?
False
Let v(r) = 7*r**2 + 30*r - 4. Is v(-5) a multiple of 3?
True
Is 2 a factor of 12 + -2 + -4 - 4?
True
Suppose -5*q - 2*t = 41 - 2, 5*t = -5*q - 45. Let n = q + 11. Is n even?
True
Let t(y) = -4*y - 30 - 2*y**2 + 31 + 4*y**2. Does 3 divide t(3)?
False
Let l = 2 - -1. Let x be ((-10)/l)/(10/(-105)). Suppose -2*o - 3*o - 10 = -n, -2*n - 5*o + x = 0. Is n a multiple of 11?
False
Suppose 13*w - 675 = 8*w. Is w a multiple of 9?
True
Suppose 22 = -4*u - 442. Let i = 215 + u. Is i a multiple of 33?
True
Suppose 0*f = 2*b - 5*f - 170, -440 = -5*b + 5*f. Is 45 a factor of b?
True
Suppose 2 - 1 = h. Let j = h - -2. Suppose -4*y + 3*u - 3 = -5*y, 27 = j*y + 3*u. Is y a multiple of 8?
False
Is 6 a factor of ((-48)/(-14))/(((-2)/(-1))/14)?
True
Suppose -55 = -c - 18. Is c a multiple of 9?
False
Let r(o) = -o**3 - o**2 + o + 4. Let p be r(0). Let n(h) = 0 - p - 4*h + 5. Is n(-2) a multiple of 9?
True
Let k = -72 - -28. Let g = k - -62. Does 9 divide g?
True
Let v(w) = w**3 + 12*w**2 - 10*w + 21. Does 47 divide v(-10)?
False
Suppose -z + 14 = 4*i, 5*z - 2*i - i - 70 = 0. Is z a multiple of 11?
False
Suppose z - 5*z - 2*v = -34, -2*z = -3*v - 13. Suppose 4*o + w - 15 + 1 = 0, -z = 4*w. Is o even?
True
Let y = -7 - -147. Is y a multiple of 14?
True
Suppose 2*l = 7*l - 100. Is l a multiple of 10?
True
Let c(f) = 8*f - 7. Let g be c(-5). Let b = -30 - g. Suppose -3*l = -l - i - b, -2*i = -3*l + 27. Is l a multiple of 7?
True
Let y(z) = -z**3 - 13*z**2 - 8*z + 18. Is 22 a factor of y(-13)?
False
Suppose 4*a = 5*x + 49, -2*x = -5*a - x + 56. Is 11 a factor of a?
True
Let d = 168 + 60. Does 57 divide d?
True
Let o = 22 + -6. Suppose -l + 3*l = o. Is 8 a factor of l?
True
Suppose 8 = a - 18. Does 13 divide a?
True
Let c = 8 + -1. Let w = c - 4. Suppose -w*f + 179 = 47. Is 20 a factor of f?
False
Let w be 13 + (-2*1 - -1). Let k = 8 + w. Is 20 a factor of k?
True
Let n be -4 + 1 + -2 + 5. Suppose -o - x = -n*o - 8, 8 = o - 2*x. Is o a multiple of 3?
False
Let o(u) = 16*u - 2. Let v be o(2). Is 2/(v/(-34) - -1) a multiple of 17?
True
Let q = 3 - -13. Suppose 7 = 5*i - 2*b, -2*i - 3*b + 2 = -q. Is 11 a factor of ((i - 4) + 12)*1?
True
Suppose 5*t = t, i + 5*t - 5 = 0. Is 2 a factor of i?
False
Let g = 197 - 111. Does 19 divide g?
False
Let o be (0 + -6)*(-1)/3. Suppose 2*t - 3*z = 44, 6*t - 5*z = o*t + 92. Does 9 divide t?
False
Let i(w) = 4*w**2 - w. Let n be i(1). Suppose z + n*z + 20 = 4*o, 2*z = -2*o - 2. Suppose -5*r = o*b - 5, -5*b - 30 = -3*r + 4. Is r a multiple of 2?
False
Let y(h) = -h**3 - 9*h**2 - 9*h - 2. Is 16 a factor of y(-9)?
False
Suppose 0 = 19*u - 17*u - 24. Does 12 divide u?
True
Is 14 a factor of (3 - (-115)/1) + -6?
True
Let y(o) = o**3 - 7*o**2 + 2*o - 5. Let k be (-30)/4*(-24)/(-10). Let a = k + 25. Is y(a) a multiple of 7?
False
Suppose 204 + 66 = 5*g. Is g a multiple of 4?
False
Suppose -5*o + 4*v = -0*v - 47, 0 = -o - 3*v - 2. Is o a multiple of 7?
True
Suppose 2*h + 281 - 58 = -3*m, -5*m + 3*h = 340. Let l = -23 - m. Is 24 a factor of l?
True
Does 26 divide 7*(165/35 - 1)?
True
Let x(c) = c**3 + 5*c**2 - 6*c + 4. Does 4 divide x(-6)?
True
Let t be -2 + -3 + 1 + 4. Suppose 5*c = l - 6*l + 150, t = 3*c + l - 90. Does 15 divide c?
True
Let o(c) = 5*c**2 + 10*c - 15. Is 45 a factor of o(6)?
True
Suppose -3*h - 20 = 5*n, 0 = -3*n + 5*h + 17 + 5. Let k = n - -4. Does 2 divide k?
False
Let s