/(-6))/(4/174). Suppose f + 0*f = 3*r + h, 0 = 5*r + 3*f + 78. Is 10 a factor of (-2 + r)*(0 - 1)?
True
Let i be (-120)/(-25) + 1/5. Suppose 5*b + 92 = i*y - 3, 4*y = 3*b + 71. Let f = y - 5. Does 9 divide f?
True
Does 32 divide 158 + ((-4)/(-6))/(4/(-18))?
False
Let a be 3*-2 - (2 - -1). Let k = 15 + a. Does 4 divide (3/k)/(2/20)?
False
Let f be -1 - (1 - (5 + 1)). Let i be 36/(-45) - 312/(-15). Suppose i = f*n + n. Is n even?
True
Let k = 21 - -5. Is k a multiple of 6?
False
Suppose 5*i + 147 = 3*m, 3*i = -m - 0*i + 35. Does 10 divide m?
False
Let c(o) = 116*o - 7. Does 21 divide c(1)?
False
Let i be 119 + (-2)/((-2)/1). Suppose 3*p - 4*q = 12, -p = -0*p - 3*q - 4. Suppose -i = -p*k + k. Is k a multiple of 16?
False
Let r(i) = -i**3 - i**2 - 3*i - 1. Let n be r(-2). Is ((-6)/n)/((-2)/75) a multiple of 23?
False
Let h = -3 - -4. Let b = 1 + h. Suppose -4 + 0 = b*o, 2*j - 4*o - 58 = 0. Is j a multiple of 17?
False
Let k be (-656)/(-12) + (-2)/(-6). Suppose 2*j - 3 = n, -3*j = 4*n - 3 - 18. Suppose -u - 4*p + 11 = 0, -2*p = -j*u + 8*u - k. Is 4 a factor of u?
False
Let y = 71 - 59. Is 12 a factor of y?
True
Suppose 0*w - 4 = -w. Is w even?
True
Let a(o) = -o**2 - 5*o + 1. Let h be a(-5). Is 23 a factor of (h - -22)*(1 + 0)?
True
Suppose -4*s + 132 - 4 = 0. Is s a multiple of 8?
True
Let j = -13 + 25. Suppose -q = 2*q - j. Suppose -90 = -4*h - 2*o, -q*h = -3*h + 4*o - 40. Is 10 a factor of h?
True
Let g(c) = 6*c**2 - 2*c + 1. Let j(h) = -h**3 + 3*h**2 - 3*h. Let q be j(2). Let k be g(q). Suppose -34 = -n - 4*y, -n - n + k = -5*y. Is 11 a factor of n?
True
Let o = -12 - -4. Let q(l) = -4*l - 10. Does 22 divide q(o)?
True
Let b(v) = -7*v + v**3 + v**2 + 4 - v**3 - v**3 - 9*v**2. Let r be b(-7). Suppose 3*p + 15 = 5*d - 23, 23 = r*d + 5*p. Is 7 a factor of d?
True
Let o(h) = h**3 + 6*h**2 + 4*h - 2. Let p be o(-5). Suppose 44 - 14 = p*z. Is z a multiple of 10?
True
Suppose -5*x + 168 = -4*y, -4*x + 137 = 3*y + 15. Is 16 a factor of x?
True
Let s = -33 + 53. Suppose g + 1 = -6*u + u, 0 = -g + 2*u + s. Is 14 a factor of g?
True
Let y = 394 + -198. Does 49 divide y?
True
Let y = 6 + -1. Suppose -57 = -y*i + v + 45, 5*i = 5*v + 90. Suppose -4*j + 1 = i, -46 = -2*n - 4*j. Is 13 a factor of n?
False
Let g = 203 - 97. Does 19 divide g?
False
Suppose 0 = 8*v - 4*v + 140. Is 8 a factor of (12/7)/((-5)/v)?
False
Is 6 a factor of (-42)/(-63) + 0 + 80/6?
False
Suppose 3*f = 18 + 18. Let a = f - 19. Let p(r) = -3*r + 7. Does 13 divide p(a)?
False
Suppose 190 = 10*x - 5*x. Let k = x + 28. Is 19 a factor of k?
False
Does 25 divide 5/20*-1 - 338/(-8)?
False
Let i(a) = 3*a**2 + 13*a + 9. Is i(-7) a multiple of 13?
True
Is 13 a factor of ((-455)/(-14))/(1/2)?
True
Let g = 1 - -34. Let a = g + -21. Is a a multiple of 7?
True
Let z = 44 - -281. Is 16 a factor of z/10 + 1/(-2)?
True
Suppose b - 22 = 2*l, 2*b = 3*b - 4. Suppose -58 = 3*x + z + 9, 4*x + 2*z + 86 = 0. Let k = l - x. Is k a multiple of 9?
False
Let j(f) = -f. Let m(y) = -8*y - 7. Let n = 6 - 7. Let u(c) = n*m(c) + 5*j(c). Is 13 a factor of u(6)?
False
Suppose -16 = -k + 5*k, 3*k - 4 = -4*f. Suppose 4*c - 2*v = 2*v + 12, f*c + 3*v = 12. Is 3 a factor of c?
True
Suppose 5 + 7 = -3*x + 3*o, 0 = x + o + 6. Let s(d) = d**3 + 6*d**2 - 3. Is 10 a factor of s(x)?
False
Let q(r) = -r**3 + 6*r**2 - 3*r - 1. Is q(5) a multiple of 9?
True
Suppose -3*i + 8*i = 0. Suppose -g - z + 24 = i, 4*g + z - 68 = g. Is g a multiple of 11?
True
Suppose -2*d = -4*r - 102, 5*d + 2*r = -r + 255. Let p = d - 11. Is p a multiple of 20?
True
Let h(b) = b**2 - 7*b - 4. Let u be h(6). Is 6 a factor of 155/25 + 2/u?
True
Is 8 a factor of (-24)/(3/16*-2)?
True
Suppose -5*u = -h + 54, -u - 159 = h - 5*h. Suppose -h = -2*y + y. Is 12 a factor of y?
False
Let z(r) = -r**3 + r**2 + 32. Is 16 a factor of z(0)?
True
Suppose 4*y + 7 = 3*d, 0*d + 4*d + 4*y = -28. Let o = d + 8. Is 5 a factor of o?
True
Suppose -1 = -l + 1. Suppose l*g - 1 - 3 = 0. Let f = g + 6. Does 8 divide f?
True
Suppose 0 = -2*i - 3*g + 30, 16 = -3*i + 5*i - 4*g. Suppose -2*o + 4*t + 48 = 0, 0 = -3*o + o - 5*t + i. Does 10 divide o?
False
Suppose 0 = -s - 3*s + 4. Let u(v) = 9*v - 1. Is u(s) a multiple of 5?
False
Let h = -5 + 11. Let v be 74 - (-1)/((-3)/h). Suppose 0 = y + 3*y - v. Is y a multiple of 18?
True
Let m = 15 - -7. Is m a multiple of 3?
False
Is 7 a factor of ((-1355)/(-10))/(10/4 - 2)?
False
Suppose -o = -11 - 1. Let s = -27 + 9. Is 2 a factor of o/54 - 50/s?
False
Suppose 5*w = -5*h + w + 75, 2*w = 4*h - 60. Is h a multiple of 3?
True
Suppose -2*i = -0*i - 52. Is 19 a factor of i?
False
Let i(b) = b**2 - b + 7. Let w be i(5). Suppose -2*g - 4*m + w = -77, 5*m + 66 = g. Does 28 divide g?
True
Let c(u) = u + 17. Let a = 3 + -3. Does 13 divide c(a)?
False
Let v = -28 + 78. Let y = 26 - v. Let c = -3 - y. Is 7 a factor of c?
True
Let n be ((-4)/6)/((-1)/255). Let c be 2/(-7) - n/(-7). Let s = c + -12. Does 12 divide s?
True
Suppose 0 = -q + 4*f + 10, 14 = 3*q - 5*f - 2. Let h(t) = t**3 + 2*t + t**2 - q*t + 3 + 4*t**2. Is h(-5) even?
False
Let k = 95 - 14. Is k a multiple of 3?
True
Let a(y) = 3*y**2 + 15*y - 4*y**2 + 6*y**2 - 12. Let h(t) = t**2 + 4*t - 3. Let i(o) = -2*a(o) + 9*h(o). Is i(2) a multiple of 3?
False
Suppose 8*w = 7*w + 1. Let f = 31 + w. Does 9 divide f?
False
Suppose -6*g - 326 = 1528. Is 3 a factor of g/(-18) - (-2)/(-12)?
False
Suppose 5*t = 3*s - 2*s + 1, 0 = 2*s + 3*t - 63. Is s a multiple of 6?
True
Suppose -71 + 254 = 4*k + 5*u, -k + u = -48. Does 4 divide k?
False
Suppose 0 = -5*h - 5*v + 280, h + h + v = 110. Suppose h = 3*f + 3*j, 0 = 5*f - 0*j + 3*j - 84. Is f a multiple of 15?
True
Let n(t) = t**3 - t**2 + t - 1. Let j be n(1). Let f = 11 - j. Suppose -i + 12 = -f. Is 13 a factor of i?
False
Suppose -4 = 8*t - 188. Does 23 divide t?
True
Suppose 5*r = 2*r. Suppose -1 - 9 = -b - 4*j, -4*b + 4*j = r. Suppose 0 = c + 5, 6 = f + 4*c - b*c. Is f a multiple of 8?
True
Let j be (1 - 1)*(-2)/(-4). Suppose -8*l + 11*l - 93 = j. Is 20 a factor of l?
False
Let y(d) = -3*d. Suppose -2*k = -3*c - 16, -3*k + 5*k + c = 0. Suppose -5*u - 7 = -k. Is y(u) a multiple of 2?
False
Let r be (2/4)/((-1)/10). Let g(u) = -9*u + 3. Let c be g(r). Suppose -c = -2*p + 18. Is 12 a factor of p?
False
Let o = -5 - -160. Is o a multiple of 31?
True
Suppose -2*z - 43 = 9. Let h = z + 50. Does 8 divide h?
True
Suppose -4*p + 12 = -p, 4*p = -5*k + 36. Suppose k*g + 4*n = 36, g - 3*n = -2*n - 1. Does 3 divide g?
False
Suppose 2*a = -3*a + 400. Is 16 a factor of a?
True
Let t = 15 - 9. Suppose o = 22 + t. Is o a multiple of 8?
False
Let b(t) = -8*t + 4. Let y be b(3). Let h be (-3 - y/6)*-3. Let r(k) = -32*k. Is 16 a factor of r(h)?
True
Suppose -m + 16 + 4 = 0. Is m a multiple of 10?
True
Let d be 4/14 + (-4)/14. Suppose -16 = 2*g - 4*h, 3*g + 16 = -0*g + 4*h. Is 34/(g + 1 + d) a multiple of 11?
False
Suppose -3*p - 621 = -3*w, 0 = -0*w - w. Let r = p - -103. Is (r/(-10))/((-2)/(-10)) a multiple of 23?
False
Suppose 5*w + 252 = 11*w. Does 6 divide w?
True
Let k be 571/5 + (-4)/20. Suppose -b = b - k. Is 19 a factor of b?
True
Suppose p - 7 = -t, 13 = t + 6*p - 2*p. Let x(i) = -i**3 + 7*i**2 - 4*i + 2. Does 16 divide x(t)?
True
Let x be -39 + (-4 - -2 - -2). Is 19 a factor of 3/((3*-1)/x)?
False
Let o be 2 - 1 - (-3 + 1). Suppose -o*p + 0*p = 51. Does 7 divide (p*1*-1)/1?
False
Let x = 32 - -4. Is x a multiple of 12?
True
Let p be 2/7 + (-4)/14. Let y be (14 + 0 + p)*1. Suppose -3*z + 2*z + y = 0. Is z a multiple of 7?
True
Let y(f) = 2*f**2 - 3*f + 2. Let v be y(3). Suppose -5*b = -44 - v. Does 5 divide b?
False
Suppose 0*s - 3 = -s. Suppose -28 + 8 = 5*h, -5 = s*r + 5*h. Suppose 5*q + 2*v + v - 15 = 0, r = -v. Is q a multiple of 6?
True
Let x be (-1 - (-2)/(-4))*-4. Let h be (3 - 2)/(2/x). Suppose -h*o + 19 = -17. Is 8 a factor of o?
False
Suppose 184 = -2*m + 4*m. Suppose -9*j = -5*j - m. Is j a multiple of 23?
True
Let o(c) = c**3 + 8*c**2 - 8*c + 9. Let b be o(-9). Is 9 a factor of 36 + b*(-1 - 0)?
True
Let c(o) = -3*o**2 - 8*o - 2. Let r(p) = -16*p**2 - 41*p - 11. Let t(i) = 11*c(i) - 2*r(i). Let m be t(-6). Does 5 divide (56/(-2))/(m + -2)?
False
Suppose 0 = -3*a + 2*a + 11. Is a even?
False
Suppose -126 = 3*t - 6*t + 5*a, 71 = 2*t + a. Does 26 divide t?
False
Le