-2*x - 132 = -3*d, d - 27 = -x + 12. Does 21 divide d?
True
Let l(r) = r**2 + 9*r - 6. Let j be l(-8). Is (-14)/(-49) + (-304)/j a multiple of 11?
True
Let u(k) be the third derivative of k**5/60 - k**4/24 - 5*k**3/3 - 2*k**2. Does 17 divide u(9)?
False
Let f = -28 + 68. Is 10 a factor of f?
True
Let m(k) = -6*k - 3. Let i(b) = 5*b + 2. Let d(z) = -5*i(z) - 4*m(z). Let w be d(-2). Suppose 2*r + 8 = s - 17, 106 = w*s - 5*r. Does 13 divide s?
False
Let r = 5 - 4. Suppose -3*x + 19 = r. Suppose 60 = x*z - 4*z. Does 15 divide z?
True
Suppose -3*j = -4*r + 3 - 20, 0 = 5*j - 2*r - 19. Suppose j*b - 70 + 25 = 0. Is b a multiple of 4?
False
Let f(g) = -23*g + 1. Suppose 1 = i - 0. Suppose 2 + 4 = -w + 5*p, 0 = -p + i. Is f(w) a multiple of 12?
True
Suppose 2*r + 21 = 3*m - 2*r, -3*r = 0. Let z(t) = -m + t - 2*t + 3*t. Is z(9) a multiple of 10?
False
Let p be -4 - 38/(-10) - 28/10. Suppose 3 = h + c, c - 3 = 2*c. Does 11 divide p/9 - (-200)/h?
True
Suppose -2*p + 12 = -0*p. Does 6 divide p?
True
Suppose -3*c + 2*c + 10 = 0. Does 7 divide c?
False
Let d = -6 + 36. Is d a multiple of 10?
True
Suppose -3*v = 6*z - z - 435, 0 = -v + 5. Is z a multiple of 21?
True
Let a(z) = -3*z**3 - 2*z**2 + z + 2. Let g be a(-2). Let y = 34 - g. Is 9 a factor of y?
True
Let n be (10 - -3)*(-1 - -2). Suppose 0 = 3*t - 2*t + n. Let m = 2 - t. Does 15 divide m?
True
Let u be (23/3 - 0)*3. Let k = -15 + u. Is k a multiple of 3?
False
Let m = -106 - -197. Does 13 divide m?
True
Let d be 4*(0 + -3)/(-3). Suppose -2*c - d = -o - 3, -2*o - 2*c + 14 = 0. Suppose -34 = -o*s + 5*j - 9, -2*s - 2*j + 10 = 0. Is s a multiple of 5?
True
Let g(h) = -4*h + 6. Let u(r) = r**3 - 5*r**2 + 3*r - 2. Let k be u(4). Is 30 a factor of g(k)?
True
Let z(s) = s**3 + 2*s**2 - 1. Let v be z(-2). Let n(b) = 5*b + 4. Let j be n(-5). Does 7 divide (2 - 3)*(j - v)?
False
Is 4 - (4 - 4)/4 even?
True
Let r(w) = w**2 - 6*w + 13. Let d(j) = -j**2 + 6*j - 12. Let y(l) = -6*d(l) - 5*r(l). Let f = 4 + 2. Does 4 divide y(f)?
False
Let l = 21 - 30. Let c = 37 + l. Is 9 a factor of c?
False
Let a = 21 + -36. Suppose -2*b + 2 = -t - 3, -3*t + 4*b - 25 = 0. Is 6 a factor of (36/t)/(3/a)?
True
Suppose 517 + 707 = 12*h. Is 25 a factor of h?
False
Let v(f) = f**2 + f + 2. Let i = -9 + 6. Let j = i + 7. Is 11 a factor of v(j)?
True
Suppose 4*v - 21 = -5*n, 3*n = 2*v + 14 + 3. Does 3 divide (v - 0)/((-1)/3)?
True
Suppose 0 = -5*s + 37 + 3. Is s even?
True
Let m(l) = -2*l**3 - 5*l**2 - 4*l - 3. Let d(c) = -c**2 - 7*c - 5. Let t be d(-5). Suppose t*i + 9 = 2*i - 2*y, 0 = 3*y. Does 18 divide m(i)?
True
Let y = -79 - -86. Does 7 divide y?
True
Let w be ((-4)/(-6))/(2/(-6)). Let h be -1*((-57)/3 + w). Suppose g + 0*g = h. Does 21 divide g?
True
Suppose 0 = 2*c - 11 - 7. Is 3 a factor of c?
True
Let g = 130 - 221. Let y = -50 - g. Does 24 divide y?
False
Let g(t) = 33*t**3 + t + 1. Let u be g(-1). Let a = u - -21. Let l = a - -22. Does 6 divide l?
False
Let j(p) = -p**3 + p + 1. Let k(t) = -t**3. Let a be k(-1). Let h(r) = -3*r**2 - 5*r. Let x(z) = a*h(z) + j(z). Does 8 divide x(-3)?
False
Suppose 3*t - 3 = -4*z - 1, -11 = -4*t + 3*z. Suppose 2*c = -3*g + 2*g, t*g + 5*c = -2. Is 16 a factor of (-4)/(-2)*(4 + g)?
True
Suppose -3 = 5*s + 2. Is 4/(s - 1) + 54 a multiple of 13?
True
Let l be (-15)/2*(-1 + 3). Is 8 a factor of (-246)/l + 2/(-5)?
True
Let h be 2/(-3)*(-6)/4. Suppose -h - 1 = -u + 3*t, -t + 60 = 4*u. Does 7 divide u?
True
Suppose -3 = -2*q + 1. Let y(i) = 3*i**3 - 4*i**2 + 3*i - 2. Let a be y(q). Is 16 a factor of a/30 + 158/5?
True
Suppose 4*s = s + 15. Suppose 0 = -s*x + 4*x + 5. Suppose -v - 24 = -3*v - 5*k, -60 = -x*v - 3*k. Does 6 divide v?
True
Suppose 5*f - 864 = -f. Is f a multiple of 16?
True
Let n(u) = -u + 11. Does 7 divide n(-10)?
True
Suppose 4*d = 5*d - 9. Let j = d - 5. Is 10 a factor of j + 19 + (2 - 0)?
False
Suppose 5*k = 74 - 19. Suppose -k = q - 5. Let m(t) = t**3 + 5*t**2 - 10*t - 8. Is 8 a factor of m(q)?
True
Let j(x) = -2*x - 3. Let v be j(-6). Let s = 30 - v. Does 9 divide s?
False
Suppose -5 = 4*c + 7, 153 = 5*x - c. Let h = x + -14. Is 6 a factor of h?
False
Suppose 8*r - 9*r + 23 = f, 4*r - 116 = -5*f. Is 12 a factor of f?
True
Let s(d) = d - 5. Does 2 divide s(7)?
True
Suppose 3*d + 2*d = 0. Suppose d = x + 3*x - 136. Does 11 divide x?
False
Let h be 6 - (1 - (-1 + 0)). Suppose 2*o - 5*g - 24 = -3*g, -39 = -h*o + g. Does 6 divide ((-3)/(-2))/(o/48)?
False
Let u = 7 - 7. Suppose 5*i + u*c + c - 162 = 0, 3*c = 5*i - 154. Does 13 divide i?
False
Let c = -5 + 9. Suppose 0 = c*x - 49 + 13. Suppose 5*j - 66 = x. Does 13 divide j?
False
Let i(r) = -r**3 + 17*r**2 + 20*r + 8. Does 11 divide i(18)?
True
Suppose w = 7 - 4. Suppose 2*n = 2*g + 56, w*n - 6*n + 124 = 5*g. Is n a multiple of 9?
False
Suppose 0 = 5*m - 25, -5*l + l - 3*m + 23 = 0. Suppose l*b - 5*b + 180 = 0. Is b a multiple of 20?
True
Let v(y) = y**3 + 3*y**2 - 2*y + 2. Let k be v(-3). Let t be (-8)/12*3*6/(-4). Does 3 divide (t*-3)/((-12)/k)?
True
Suppose 5*h + 3*h - 536 = 0. Is h a multiple of 13?
False
Suppose 5*j - o - 139 = 172, -5*j - o = -319. Is 9 a factor of j?
True
Let g(h) = -h**2 + 6*h - 5. Let m be g(7). Let z = m - 12. Is (z/(-15))/((-2)/(-20)) a multiple of 8?
True
Let a(v) = -4*v**3 + v**2. Is a(-2) a multiple of 9?
True
Let i(k) = 2*k**2 - 10*k - 3. Let q be i(7). Let s = q + -12. Suppose s = -u + 2*u. Does 4 divide u?
False
Suppose 6*d - 24 = 60. Is d a multiple of 4?
False
Let n(r) = 19*r**3 - 2*r**2 - 3*r + 3. Is n(2) a multiple of 13?
False
Suppose -3*q - 95 = -8*q. Is q a multiple of 6?
False
Suppose -2*l + 45 = -7*l. Let y = 35 + l. Is 26 a factor of y?
True
Suppose 0 = 3*u - 0*u + 2*y - 73, 5*u = y + 100. Does 7 divide u?
True
Is 135/12*(-36)/(-30)*2 a multiple of 5?
False
Let t be ((-16)/14)/(4/(-14)). Suppose -t*j = -6*j + 8. Is j even?
True
Let b = 7 + -5. Suppose 0 = b*y + 4 - 8. Suppose -5*c + 2*o = 3*o - 90, 61 = 3*c + y*o. Does 7 divide c?
False
Let t(x) = -5*x - 1. Let l(h) = h**2 + 3*h + 1. Let j be l(-4). Suppose -j*o - 4*p - 10 = 20, 0 = 4*o + 3*p + 23. Does 9 divide t(o)?
True
Let d(i) = -i**3 - 9*i**2 + 8*i + 6. Is 13 a factor of d(-10)?
True
Let l(n) be the first derivative of n**4/4 + 5*n**3/3 + 5*n + 3. Let y be l(-5). Suppose 0 = -y*t + 19 + 11. Is t even?
True
Let y = -30 - -236. Does 28 divide y?
False
Let f = -20 + 35. Let o = 25 + f. Is 11 a factor of o?
False
Let z = 174 - 122. Let m = -68 - z. Is 16 a factor of m/(-4) + 1*2?
True
Let c(h) = -h**3 - 8*h**2 - 9*h - 10. Let d be c(-7). Suppose -d*m + 36 = -4*x, -5*x - 17 = 2*m - 3*m. Suppose -3*v = 3*p - 63, -v = m - 2. Is 7 a factor of p?
False
Let d(v) = 7*v**2 + 2*v - 49. Let a(g) = 3*g**2 + g - 25. Let f(y) = -5*a(y) + 2*d(y). Is f(0) a multiple of 12?
False
Let a(b) = b**3 - 4*b**2 - 2 - b + 4*b**2 + 3*b**2. Let i be a(2). Suppose 4*n - i = 68. Does 15 divide n?
False
Is 3/7 - 2310/(-98) a multiple of 6?
True
Suppose -4 = 4*c, -3*c - 2*c + 10 = o. Suppose -5*d + 195 = o. Is 13 a factor of -1 + 2 + (d - 2)?
False
Suppose -160 = -8*f + 4*f. Does 6 divide f?
False
Let p be 0*(-2 - -5)/(-3). Suppose -s + 75 = -p*s. Let b = s - 53. Is 11 a factor of b?
True
Suppose -2*c = -16 + 68. Let p = 45 + c. Is p a multiple of 12?
False
Let m = -3 - -1. Suppose 2 = 2*o + 6. Is 17 a factor of -1 - (m + -35 - o)?
True
Suppose -3*j + 10 = j - x, 4*j = -3*x + 18. Suppose j*u - u + 22 = 0. Let n = 11 - u. Is n a multiple of 10?
False
Let k be 2/(-4) + 2/4. Let x = 5 + k. Suppose 37 = -0*n + 5*n + 2*g, -x*g = 2*n - 19. Is n a multiple of 7?
True
Let q = 166 - 95. Is q a multiple of 27?
False
Let q(r) = -r**2 + 7*r + 2. Let n be (-49)/(-14)*12/7. Is q(n) even?
True
Let n = 4 + -2. Let u(m) = m + 1. Let w be u(n). Suppose -3*k + 5*h + 46 = 0, 0*h + 56 = 2*k + w*h. Is k a multiple of 18?
False
Let m be (-307)/(0 + -3 + 2). Let j = m + -207. Does 27 divide j?
False
Let q(i) = 2*i - 15. Suppose -4*b - 2*g + 26 + 14 = 0, 10 = b + g. Let u be q(b). Suppose -z + 6 + 0 = 4*m, -64 = -u*z - 3*m. Is 7 a factor of z?
True
Let z be (-1 + 37)/3 - -1. Suppose -1 - 5 = 3*r. Let f = r + z. Is f a multiple of 11?
True
Let p(a) be the third derivative of -a**4/24 - 5*a**3/6 + a**2. Let v be p(-10). Suppose 3 = -4*i - v*r + 55, -5*i + 98 = -2*r. Is i a multiple of 18?
True
