t h = 263 - 61. Suppose q = -3*f + 118, 2*q - q + h = 5*f. Is 14 a factor of f?
False
Let i = 14 - 9. Suppose -161 - 14 = -i*w. Is w a multiple of 11?
False
Suppose 0 = -3*x + 5*t + 3, -5*x - 8 - 24 = 4*t. Let r = x + 16. Does 8 divide r?
False
Let z be (-1)/(-2)*(4 - 4). Let f(g) = g**3 - g**2 - g + 2. Let a be f(z). Suppose a*h = -h + 27. Does 9 divide h?
True
Let y be 3*(2 + (-2 - -1)). Is 11 a factor of ((-8)/12)/(y/(-171))?
False
Is 35 + -1 + 6 + -9 a multiple of 20?
False
Is (-60)/(3*(-3)/9) a multiple of 15?
True
Suppose -2*o - 24 = -6*o. Is 3 a factor of o?
True
Let p(h) = -h**3 + 6*h**2 - 3*h - 5. Let r be p(5). Suppose -r*b + 4*c + 41 = 0, 3*b + 2*c - 38 = -b. Is b a multiple of 6?
False
Let s = -15 - -129. Does 10 divide s?
False
Let c(u) = -19*u - 5. Let d be c(-6). Suppose 4*n - d = 2*o + 85, -3*o + 189 = 4*n. Is n a multiple of 16?
True
Let j = -54 - -106. Does 13 divide j?
True
Is 8 a factor of 26 + -4*(-12)/16?
False
Suppose 4*b - 3*b - 6 = 0. Does 2 divide (-8)/(-12) - (-14)/b?
False
Suppose 0*b + 3*f - 47 = -b, 5*b - f - 235 = 0. Let q be (b - 2) + -1 + 2. Suppose -4*m = 4*o - 7*o + q, -5*o + 2*m = -58. Is o a multiple of 10?
True
Suppose -16 = 2*n - o + 187, 4*o - 302 = 3*n. Let b be 1*n*4/(-6). Suppose z + 24 = p, 6*z - b = -2*p + 3*z. Does 14 divide p?
True
Suppose 3*j + 3 = -0*j. Let z(g) = -22*g - 1. Does 7 divide z(j)?
True
Suppose -3*k + 2*k + 15 = 0. Does 15 divide k?
True
Let n be (-10)/15 - (-14)/3. Suppose n*b - 8*b + 8 = 0. Suppose 45 = -b*v + 5*v. Does 5 divide v?
True
Let t = 7 - -38. Is t a multiple of 9?
True
Let r = 297 - 207. Let z be (-53)/2*(1 + 1). Let q = z + r. Is q a multiple of 15?
False
Let c be (9 - 3)*(-5)/(-10). Suppose c*h + 2*h - 65 = 0. Does 13 divide h?
True
Let n(v) = v**2 + 5*v + 7. Let i be 9/((-4)/(24/9)). Does 11 divide n(i)?
False
Let y(k) = k + 4. Let v be y(0). Suppose 3*n = -3*u, -5*u = -3*u + v*n + 8. Suppose -f + 11 = 3*h, 12 = 3*h + h + u*f. Is 3 a factor of h?
False
Let l = 69 + -3. Does 12 divide l?
False
Suppose 36 - 252 = -2*d. Does 18 divide d?
True
Let o(f) = 5*f**2 - 4*f - 1. Let c be o(3). Let t = -18 + c. Is t a multiple of 6?
False
Let g = -11 - 2. Let v = g + 21. Is v a multiple of 3?
False
Suppose -5*g + 17 = -18. Suppose -3*l - 1 = -g. Suppose 7*v - 88 = 3*v + 2*u, -3*v + l*u = -68. Is 10 a factor of v?
True
Does 24 divide 1 + 101 - (-10 + 11)?
False
Suppose -3*z - 5*s + 186 = -s, 2*z + 4*s = 120. Is 21 a factor of z?
False
Suppose -2*v + 208 = 3*b, v + 5*b = 90 + 28. Does 14 divide v?
True
Let u = 59 + -37. Suppose u = r - 6*p + 2*p, -3*p = 5*r + 5. Is (0 + 1)/(r/30) a multiple of 15?
True
Suppose x + x = 334. Let w = x - 86. Suppose -5*q = 2*t - w, 2*q - 2*t - 5 = 19. Is q a multiple of 9?
False
Suppose 16*w - 1785 = -5*w. Is w a multiple of 9?
False
Let q = -23 - -39. Is q a multiple of 4?
True
Suppose 15 = 5*i - 0*t + 2*t, -3*i = 3*t - 18. Is 18/i + (2 - 2) a multiple of 8?
False
Suppose 74 - 26 = 8*k. Is k even?
True
Suppose -3*s + o + 196 = 0, s + 3*o - 63 = o. Does 13 divide s?
True
Is (1 - -3)*(-2025)/(-50) a multiple of 27?
True
Let n = 5 - -19. Suppose -5*o + n = -3*o. Does 6 divide o?
True
Let d(m) = -4*m**3. Let v be d(-1). Suppose 0*y - 2*y + 100 = 0. Suppose -2*r - 83 = -v*h - 25, 2*r - y = -5*h. Is h a multiple of 12?
True
Let c(d) = 13*d**2 - d - 1. Let b be c(-1). Suppose 19 = k + 3*x, -3*k + x - 3 = -2*x. Let y = k + b. Does 11 divide y?
False
Let q = -10 - -16. Let j = -12 + q. Is 10 a factor of j*(-1 + 4/(-6))?
True
Suppose -4*g + 593 = -5*v, v + 589 = 4*g - 0*g. Does 21 divide g?
True
Let r(p) = 9*p**2 + p. Let m be r(1). Suppose -u + 3 = m. Let x = u + 20. Does 9 divide x?
False
Suppose -2*l = -b - 9, -5*l = 3*b - 4*b - 24. Let y(w) = 2*w**2 - 3*w - 6. Let z be y(-4). Suppose 2*m - 18 = l*c + z, 2*c - 46 = -3*m. Is m a multiple of 9?
True
Suppose 0*g + 4 = 2*g. Suppose -113 = -5*h + 2*r, 0 = -g*r - 11 + 3. Suppose -3*n + h + 6 = 0. Is 9 a factor of n?
True
Let u(d) = -d - 3. Suppose 3*y - 35 = 8*y. Let t be u(y). Suppose -2*c = -q + 6, q - 44 = -t*q + 3*c. Is q a multiple of 9?
False
Let v = -11 - -36. Suppose 2*f - 5*f = -57. Suppose -2*p = -f - v. Does 16 divide p?
False
Is 9 a factor of (-2 - -99) + (-3)/(-6)*-4?
False
Let j = 11 - 7. Suppose 4*b + 3*c = 68 + 103, 2*b = -j*c + 88. Is 15 a factor of b?
False
Is 9 a factor of ((-3)/(-5))/(16/720)?
True
Let u(p) = -p + 14. Let v be u(7). Let d = -4 + v. Suppose 2*j - 33 = d*t + 23, 5*j - 129 = 2*t. Does 9 divide j?
False
Is (10 - 2) + 8/2 a multiple of 2?
True
Let u(d) = -3*d + 1. Let r = -16 + 12. Is u(r) a multiple of 13?
True
Is (92*(-3)/30)/(2/(-5)) a multiple of 23?
True
Let z be ((-3)/1)/(3/(-3)). Suppose z*u + 8 = 2*u. Let o = 23 + u. Does 11 divide o?
False
Let v be (-1)/(-2 - -1 - 0). Let p = 4 - v. Suppose p*c - 58 = 14. Is 12 a factor of c?
True
Let u(f) = -27*f**3 + 11*f**2 - 8*f + 8. Let l(q) = -18*q**3 + 7*q**2 - 5*q + 5. Let a(j) = -8*l(j) + 5*u(j). Is a(2) a multiple of 17?
True
Suppose -5*r - 1 + 11 = 0. Suppose -2*k + 8 = 0, y - r*k = 3*y + 6. Let m = 21 + y. Is 6 a factor of m?
False
Suppose 0 = -5*l + 3*l + 374. Is l a multiple of 11?
True
Let l(c) = -c**3 + 16*c**2 - 13*c - 22. Let v be l(15). Suppose 0 = 4*h + v - 152. Does 10 divide h?
False
Let c(d) = 109*d**3 - d**2 + d - 1. Is c(1) a multiple of 12?
True
Let o be ((-15)/6 - -2)*0. Suppose -2*p + o*p = 0. Suppose p = 3*n + 2*n - 60. Is n a multiple of 4?
True
Let m be 10/(-4)*(-3 + 1). Is 2 a factor of -1 + m + 16/4?
True
Let o = 5 - 2. Suppose 0*y + o*y + 204 = 0. Let f = y + 119. Does 13 divide f?
False
Does 14 divide (-2)/(-5) - (-1668)/30?
True
Is 60/(-80) + 454/8 a multiple of 12?
False
Let j(h) = -h**2 + 9*h - 7. Let b be j(8). Does 2 divide (3 + -7)*b*-1?
True
Let x be 15/2 - 5/(-10). Let n = -4 + x. Is n a multiple of 4?
True
Let c(t) be the second derivative of -t**7/280 - t**6/360 + t**5/120 + t**4/12 - t**3/3 - 2*t. Let h(y) be the second derivative of c(y). Does 14 divide h(-2)?
False
Suppose -b - 81 = 2*b. Let q = b + 59. Is q a multiple of 15?
False
Suppose c - 1 = 45. Suppose -3*y + 17 = -c. Is y a multiple of 12?
False
Let w = 74 - 60. Does 6 divide w?
False
Let v be (-1)/(-3) + 267/9. Suppose -4*m = -o - 4*o + 70, 0 = 2*o - 2*m - v. Does 10 divide o?
True
Let z(h) = h - 3. Let f be z(5). Suppose -5*l + f*a = -51, 0*l + 3*a = 3*l - 36. Does 8 divide l?
False
Suppose -t = -10 - 0. Is 5 a factor of t?
True
Suppose -2*l = 2*l + 12. Let c = 6 + l. Suppose 0 = g + t - 10, -2*g = -c*g - 4*t + 22. Does 6 divide g?
True
Suppose -n - 8 + 59 = -4*m, -5*n + 191 = -4*m. Does 7 divide n?
True
Suppose q - 2*q = 2*o - 38, -2*q = 4. Does 5 divide o?
True
Let b(n) = 15*n**2 + 2*n - 1. Does 8 divide b(1)?
True
Suppose -p + 23 = f, 2*f + 2*f + 5*p = 97. Does 18 divide f?
True
Suppose 3*n + k = 245, 3*n - 3*k - 103 = 134. Is 27 a factor of n?
True
Let g(n) = -49*n - 17. Is g(-4) a multiple of 30?
False
Suppose 3*s - 71 = 4*s. Let i = 24 - s. Is 29 a factor of i?
False
Suppose 0 = -2*r + 3*x + 64, r + x - 43 = -3*x. Is 35 a factor of r?
True
Let q = 7 - 7. Suppose -x + 0*x + 56 = q. Suppose z - x = -z. Is z a multiple of 14?
True
Suppose 5 - 1 = 2*w. Suppose 3*g + v - 56 - 30 = 0, -w*g - 2*v + 64 = 0. Is g a multiple of 9?
True
Suppose -4*h - 11 = -4*g + 5, -8 = 4*g + 2*h. Suppose -8 = -2*z - g*z. Is 11 a factor of 1/z + (-357)/(-12)?
False
Suppose 5*w = h - 24 + 377, 3*w - h = 213. Does 5 divide w?
True
Does 9 divide -3 - (0 - 5) - -16?
True
Suppose 4*z = 20, 5*u + z - 795 = 2*z. Let v = -106 + u. Does 11 divide v?
False
Let k(g) = -g**3 + 6*g**2 + 8*g - 5. Let h be k(7). Let b be 1 + 2 + h + -2. Suppose -d + 310 = 4*s - b*d, -5*d = -4*s + 307. Is s a multiple of 29?
False
Suppose -4*l - 1 = -5*h + 6, -1 = -3*h + 4*l. Suppose 2*o - o - 48 = 0. Suppose o = v + h*v. Does 6 divide v?
True
Let j(b) = -b**3 - b**2 + b + 1. Let y(f) = f + 3. Let l be y(-4). Let p be j(l). Suppose -2*v = 4*w - 36, v + 5*w + 2 - 35 = p. Does 3 divide v?
False
Let t be 4/(-18) - 202/(-18). Let v = 0 + 4. Suppose v*q - 75 = -t. Is q a multiple of 16?
True
Let n = -204 + -112. Let w = -732 - n. Is 15 a factor of w/(-14) + (-2)/(-7)?
True
Suppose -4*c = -4*a - 528, a = 3*c - 0*a - 392. Does 18 divide c?
False
Suppose -t + 5*d + 6 = 0, 5*t + 4*d + 16 