). Suppose 5*h - 168 = -m + 3*m, -h = -4*m - n. Suppose -2*j + 6 = -h. Does 10 divide j?
True
Is 16 a factor of 10/35 - (-110)/7?
True
Suppose 0 = -3*u + 5*u - 96. Suppose -u - 14 = -t. Does 5 divide (-2)/5 - t/(-5)?
False
Let r = 0 + 3. Suppose 99 = r*w - 81. Is 5 a factor of (3/2)/(9/w)?
True
Let v = 88 - 63. Suppose -5*r + v = 0, b + 5 = 4*r + 2. Is 15 a factor of b?
False
Suppose -3*y + 3*m = -30, 3*y + 2*y + 3*m = 10. Let j = 31 - 9. Let d = j - y. Is 7 a factor of d?
False
Let p(v) = v**2 - 2*v - 2. Let w(m) = -m**3 - 5*m**2 - 3*m - 11. Let j be w(-5). Is 2 a factor of p(j)?
True
Let f be (-89)/(1 + (-4 - -2)). Suppose -3*d - 14 = -f. Is d a multiple of 14?
False
Suppose -9 + 81 = 3*m. Suppose 3*q = -q + m. Is q a multiple of 3?
True
Suppose 3*z + 0 = 9, 0 = u - 5*z - 29. Let n = 64 - u. Is n a multiple of 16?
False
Suppose -12*u = -8*u - 36. Is u a multiple of 3?
True
Let h(s) = 8*s - 6. Let c be h(3). Let w = c + -10. Does 6 divide w?
False
Suppose -c = -3*a + 131, 2*c = c + 1. Let m be 80/(3*2/6). Suppose -3*s + a = -2*s - 5*f, -5*s = 3*f - m. Does 7 divide s?
False
Suppose -2*v = -5*v - 12. Let c = v + 3. Does 23 divide (4 + c)/3 + 57?
False
Suppose 0 = v - 0*v - 1. Let r = -2 - v. Let m(b) = b**2 - 2*b + 3. Is 7 a factor of m(r)?
False
Let l(s) = s**3 + 10*s**2 - 10*s + 12. Let d be l(-11). Suppose b + d = 10. Let k = b - -5. Does 8 divide k?
False
Is (-1 + 22/(-14))*(-42)/9 a multiple of 6?
True
Suppose 3*y - 8*o = -3*o - 67, 0 = y - 3*o + 29. Let h(s) = -172*s**2. Let m be h(-1). Does 8 divide 4/y - m/14?
False
Is 110 - -4 - (0 - -2) a multiple of 8?
True
Let w = 226 + -77. Is w a multiple of 25?
False
Let y(w) = 5*w + 1 - 2*w - 5*w + 4. Is y(-8) a multiple of 19?
False
Suppose -4*o - 14 = -3*p + 20, -35 = -3*p + 5*o. Is p a multiple of 5?
True
Does 12 divide (-2)/(-7) - (-12072)/84?
True
Let l(u) = u**3 + 3*u**2 - 1. Let g be l(-2). Suppose -2*f + g*y + 31 = 0, 5*f - 49 - 24 = 3*y. Does 9 divide f?
False
Let t be (-4)/6*5*-12. Let r = t + -15. Is r a multiple of 17?
False
Let b be ((-10)/1)/(-1 - 0). Suppose -2*a + 5*s + 3 + 3 = 0, 4*a + 4*s = 12. Let g = b - a. Is g a multiple of 4?
False
Let t(x) = -x. Let u be -1 + 3 + -2 - -1. Let z(h) = -6*h + 7. Let v(f) = u*z(f) - 4*t(f). Is 7 a factor of v(-7)?
True
Suppose 3 = -u, 5*i + u = -4*u + 5. Suppose -12 = i*q, q = 2*k + 4*q + 15. Does 13 divide k/2 + 165/6?
True
Let a(m) = m**3 + 8*m**2 + 5*m + 1. Let x be a(-7). Suppose 0 = -5*g + 432 - 112. Suppose g = 4*w - 4*q, -4*q + x = q. Is 7 a factor of w?
False
Let x(k) = -31*k. Let p be x(1). Let j = -22 - p. Does 9 divide j?
True
Suppose 3*q - 249 = -5*a, 241 - 75 = 2*q - 3*a. Does 20 divide q?
False
Let z(j) = 2*j + 10. Is z(-3) a multiple of 2?
True
Suppose v = 2 + 2. Suppose h + h = -v*q + 34, -h - 10 = -q. Is q a multiple of 5?
False
Is 40 a factor of (-4)/((1 + 4)/(-160))?
False
Let c(p) = -p**2 + 1. Let b(f) = -2*f**2 + f + 3. Let z(q) = 4*b(q) - 10*c(q). Is 18 a factor of z(5)?
True
Let w = -31 + 28. Let h(j) = -5*j**3 - 3*j**2 + 3*j + 1. Is h(w) a multiple of 24?
False
Let x = 204 + -54. Is 25 a factor of x?
True
Suppose 0 = 2*f - 2*n + 151 - 409, -4*n - 20 = 0. Is 32 a factor of f?
False
Suppose o + 358 = 3*o. Suppose -a + 4 = -3*a, -2*a = -5*v + o. Is 10 a factor of v?
False
Is 7 a factor of (12 - 18)*26/(-4)?
False
Let t = 287 - 127. Is 10 a factor of t?
True
Let u be 9/(-6)*(-8)/6. Suppose -u*o = -0*o - 64. Let a = o + -16. Does 16 divide a?
True
Suppose -6*w + 9*w - 12 = 0. Suppose -w*p + 135 = p. Is 11 a factor of p?
False
Let i = 22 - -28. Is i a multiple of 4?
False
Let u = 7 - 4. Suppose 0 = 5*a - 2*o - 16, -5*a + 19 = o - 4*o. Suppose -5*c = d - 182, 0 = -2*c - u*c - a*d + 184. Is c a multiple of 18?
True
Is (-4)/(-10) + 11076/60 a multiple of 15?
False
Let m = 9 - -54. Is 29 a factor of m?
False
Let m(y) = -y**2 - 9*y - 7. Let h be m(-8). Let i(f) = f**2 + 1. Does 2 divide i(h)?
True
Let u be 1*1/(-1) + 97. Let v = 69 + -119. Let q = v + u. Is 16 a factor of q?
False
Is 2/4*(74 + 0) a multiple of 8?
False
Let u = -100 - -32. Let q = -37 - u. Is q a multiple of 13?
False
Let d = -902 + 1343. Is d a multiple of 49?
True
Let c be (-1 - -4) + 2/(-1). Let p(l) = 50*l**2 - l + 2. Is 10 a factor of p(c)?
False
Suppose -n + 15 = 5*m, -2 + 0 = -2*n + 4*m. Suppose n*v = v + 112. Is 20 a factor of v?
False
Suppose 10 = 5*l, 4*d + 3*l - 30 = -2*l. Suppose -3*p - 34 = f, 0*f - 40 = 2*p + d*f. Is 16 a factor of 4/p + (-711)/(-15)?
False
Does 18 divide 69 - (1 + 9/(-3))?
False
Suppose -6*p + 1061 - 251 = 0. Is p a multiple of 15?
True
Suppose q + d = -33 + 404, -2*q = -d - 733. Is q a multiple of 46?
True
Suppose -x + 38 + 58 = 3*f, 0 = -2*f - 2*x + 60. Is 7 a factor of f?
False
Let f be ((-2)/(-4))/(3/210). Suppose f + 75 = 5*l. Is l a multiple of 22?
True
Let x(u) = -u**2 + u. Let h be x(1). Suppose h = f + f - 44. Is 10 a factor of f?
False
Let a be (-1)/(-1) + 0 + -1. Suppose -4*b + 3 + 73 = a. Does 19 divide b?
True
Suppose 0 = -f - 5, -87 = 3*v - 3*f - 324. Is 24 a factor of v?
False
Suppose 3*j + j = 2*x - 28, -76 = -4*x + 3*j. Is 13 a factor of x?
False
Suppose 4*y + 80 = r, 2*r - 13 = 2*y + 117. Does 5 divide r?
True
Suppose 0 = 2*f - 3*o + 38 - 126, 3*f + o - 110 = 0. Is 11 a factor of f?
False
Suppose 2*t - t + 2 = 0. Does 10 divide ((-259)/14)/(1/t)?
False
Suppose 0*z + 12 = 4*z. Suppose l + 2 = z. Suppose -d - l = -17. Is 8 a factor of d?
True
Let q be (8/6)/(1/6). Let x be 74/(-14) - q/(-28). Let r = 24 - x. Is r a multiple of 14?
False
Let t = 2 + 14. Let w = 39 - t. Let m = w - 0. Does 13 divide m?
False
Let h = 7 - 7. Suppose h = 3*k + 1 - 121. Is k a multiple of 12?
False
Let l be 12/(-16) - 3/(-4). Suppose 0 = -k - w + 21, -3*k + l*w = 2*w - 68. Is k a multiple of 10?
False
Let j(q) = -2*q + 20. Does 12 divide j(-3)?
False
Suppose 1 = 3*c - 2. Is 8 a factor of 32 - (c + 0)*-2?
False
Let z be ((-1)/3)/((-3)/45). Suppose 6 - 51 = -z*t. Is (-6)/27 + 146/t a multiple of 10?
False
Suppose -15 = -5*n, 3*z - 6*n = -2*n + 264. Does 15 divide z?
False
Let r = -11 - -17. Suppose -2*a + r + 36 = 0. Is 7 a factor of a?
True
Let v = 1 - -14. Suppose -2*j = 3*j - v. Let z(l) = 5*l + 1. Is z(j) a multiple of 8?
True
Suppose 0 = -4*o - 5*k + 53 - 6, 3*k = 3*o - 69. Does 9 divide o?
True
Let t = 726 + -294. Is t a multiple of 37?
False
Let p be (2/(-3))/(2/(-9)). Is 9 a factor of 12 + (0 - (p + -2))?
False
Let v(c) = -c**3 + 3*c**2 + 2*c - 2. Let k be v(4). Let l be (-1 + (-22)/10)*-5. Let u = l + k. Does 3 divide u?
True
Suppose 3*b - 21 = 6*b. Let g(p) = -p**2 - 7*p + 3. Let y be g(b). Suppose 0*v + 44 = y*v + t, 38 = v + 5*t. Is 13 a factor of v?
True
Suppose -44 - 100 = -3*a. Does 8 divide a?
True
Let o(i) = i**3 + 7*i**2 - 12*i - 2. Let p be o(-8). Suppose -w + u + 72 = p, 0 = 4*w - 5*u - 172. Does 19 divide w?
True
Let q(u) = u**2 - u. Let h(r) = r**2 + 5. Let d(b) = 3*b**2 - b + 15. Let z(j) = -4*d(j) + 11*h(j). Let m be z(4). Does 15 divide q(m)?
True
Let d(u) = u**3 + 4*u**2 + 9*u + 4. Let r be d(-6). Let z = -71 - r. Is z a multiple of 23?
False
Let p = -210 - -294. Is 28 a factor of p?
True
Suppose -g + 31 = 5*d - 4*d, -4*d + 5*g = -151. Suppose 0 = 6*y - 5*y - d. Is y a multiple of 17?
True
Let w = -96 + 134. Is w a multiple of 19?
True
Suppose -11 = -g - 5*l, 2*g + 10*l - 17 = 5*l. Let r = g - 0. Is 3 a factor of r?
True
Suppose -3*d - 19 = -b, 2*b - 4*d - 38 = -10. Is (-8)/(-4) - b - -19 a multiple of 10?
False
Let x(t) = 25*t**2 - 1. Let i be x(1). Let r = -7 + i. Is 10 a factor of r?
False
Let a(j) = -15*j - 5. Let m(s) = 14*s + 4. Let t(q) = 5*a(q) + 6*m(q). Let w be t(2). Let b = -1 + w. Does 8 divide b?
True
Suppose -3*h = 15, 0*d + d + 2*h = -5. Let u be (-12)/(-10)*(-5)/(-2). Suppose d*o = -5*m + 150, -u*m = -4*o - m + 132. Is o a multiple of 11?
False
Let z = -108 + 152. Suppose 3*t - z = 28. Does 22 divide t?
False
Does 10 divide (-3 - (-655)/(-15))/((-4)/18)?
True
Let a(g) = -g**2 + 2*g - 1. Let l be a(4). Let w be 6/l - (-112)/6. Suppose -35 = -3*v - 4*c - 7, 0 = -v + 3*c + w. Is v a multiple of 12?
True
Let f(s) = 3*s**2 + 3*s + 2. Let k(x) = -2*x**2 + 4*x - 2. Let i be k(2). Let m be f(i). Is 8 a factor of ((-34)/m)/((-3)/12)?
False
Suppose 2*z - 5*k - 82 = -k, 0 = -2*z + 2*k + 80. Let u = 23 - z