se 4*o + 2549 = 4*g + 6853, -2*o + 2148 = -4*g. Is o a multiple of 4?
False
Let t(i) = -i**2 + 11*i + 3. Let p be t(10). Let x(c) = -c**2 + 18*c - 26. Is 17 a factor of x(p)?
False
Let j = 37 - 33. Let b be j + (-3 - -2) + -567. Is 17 a factor of 8/6 + b/(-36)?
True
Does 32 divide 18/12*230/3?
False
Suppose -3*u = u + u. Suppose -46*f + 42*f + 840 = u. Is 30 a factor of f?
True
Suppose -3*r + f - 186 = -1190, -2*r = -2*f - 676. Is r a multiple of 6?
False
Is ((-4)/(-6))/(14/5439) a multiple of 48?
False
Let u be 3/(18/2805) + (-6)/4. Suppose 0 = 3*p - 3*r - 435, 3*p - u + 56 = -2*r. Is p a multiple of 18?
False
Let j be ((-436)/6)/((-22)/33). Suppose 4*s + g - j = 71, 3*g = 5*s - 208. Is s a multiple of 5?
False
Let u = 657 - 245. Suppose -9*y + u = -146. Is y a multiple of 4?
False
Suppose -133*l = 2*h - 137*l - 760, 1848 = 5*h + 3*l. Is h a multiple of 6?
True
Let s(x) = -x**2 + 3 + 0 + 9*x + 1. Let r be s(9). Suppose r*d - 34 = 14. Is 12 a factor of d?
True
Let j(x) = -x + 5. Suppose 0 = b + b. Let i be j(b). Suppose -i = -w - 3*f, 3*w - 1 = -f + 14. Is w even?
False
Let x be -262 + ((-5)/(-1) - (0 + 3)). Does 31 divide 18/12*(-2 + x/(-6))?
True
Suppose 107*h = -60464 + 211334. Does 47 divide h?
True
Let h(v) = -9*v + 5*v**3 - 3*v**3 + 4 - 11*v**2 - v**3 - 3*v. Let d be h(12). Suppose -d*a = -4*k - 156, a - 4*k = 3*a - 48. Is a a multiple of 34?
True
Let x(f) = -f**3 + 11*f**2 - 7*f + 11. Let o(h) = h**2 - h - 2. Let t be o(-3). Does 6 divide x(t)?
False
Let y = 50 - 39. Suppose -1008 = -y*x + 5*x. Is x a multiple of 8?
True
Suppose -3 = 3*g, -4*g + 0 + 12 = 4*q. Suppose 35 = 4*d + q*a - 153, -5*a - 29 = -d. Is d a multiple of 34?
False
Let r be 50/13 - (-10)/65. Let j = -2 - r. Is (-2)/j + (-68)/(-3) a multiple of 6?
False
Suppose 2*l + 502 = 5*l - 2*x, 0 = -3*l - 2*x + 506. Is 28 a factor of l?
True
Let p = 11 + -5. Suppose 7*s = p*s + 22. Suppose 3*n - 3*g - 39 = 0, g - 4*g = -2*n + s. Does 8 divide n?
False
Let z be (-2)/(-8)*4 + 1. Suppose p - 3*d + 11 = 0, 2*p = -z*d + 4 + 14. Suppose -p = -n - n. Is n a multiple of 2?
True
Suppose -2*r + 3563 = -3*v + 1121, 3*r + 2*v - 3650 = 0. Is 21 a factor of r?
True
Let z = 557 - 441. Is z a multiple of 22?
False
Let v(u) = -u**3 - 3*u**2 - 2*u - 4. Let q be v(-3). Let h(i) = 2*i**2 - 4*i + 2. Let l be h(q). Suppose -b - 39 = -l*b. Does 13 divide b?
True
Let k(b) = -5*b**2 + 19*b + 7. Let g be k(4). Suppose -q - 206 = -3*p + q, -g*q - 276 = -4*p. Is 22 a factor of p?
True
Suppose -4*t = -10*t + 9*t. Suppose u - 4*j = 149, -3 + t = -3*j. Does 17 divide u?
True
Suppose v = -4*o - 83, -v = -4*o + 3*v - 68. Does 6 divide (-54)/10*o/6?
True
Let o(w) = w**2 - 3*w + 2. Let h be o(2). Suppose 4*a - 61 - 139 = 4*n, -4*n + 4 = h. Suppose 0 = -3*z - 6 + a. Is z a multiple of 7?
False
Suppose -17*l + 7022 = -2022. Is 77 a factor of l?
False
Let r(j) = 8*j. Suppose 0*h + h = 3. Is 12 a factor of r(h)?
True
Let a(g) = 48*g. Let t be a(4). Let x = -203 - -288. Suppose -3*s = 5*f - 138 - x, 4*f - s = t. Is f a multiple of 12?
False
Let t = 680 - 95. Does 45 divide t?
True
Suppose 41*j - 8 = 45*j, 3324 = 5*y - 2*j. Does 4 divide y?
True
Let v = 427 + -602. Let j = v + 295. Is j a multiple of 30?
True
Suppose -34*p = -44*p + 24310. Is 13 a factor of p?
True
Let g be (-38)/6 - 4/(-12)*4. Let a be 1/2 + 118/4. Is (1 - (-20)/g) + a a multiple of 9?
True
Let u = 165 + -59. Suppose u + 214 = 5*r. Is 12 a factor of r?
False
Let r(o) be the second derivative of o**4/12 + o**3/3 + o**2 - 6*o. Is 29 a factor of r(11)?
True
Let w(h) = 9*h**2 - 80*h - 10. Does 15 divide w(20)?
False
Suppose -4*a + 3177 = -c, -3703 = -5*a - c + 266. Is a a multiple of 58?
False
Is (1 - -1211)*126/189 a multiple of 89?
False
Let d be 4 + (5 + -4)/1. Let r be -1 + 66 + d + -3. Suppose 0 = -2*a + r + 13. Does 19 divide a?
False
Suppose 0 = -7*j + 6289 - 2117. Does 33 divide j?
False
Is 40 a factor of (-2 - -22)/(60/3720)?
True
Suppose 9*b - 3364 = 1928. Does 42 divide b?
True
Let n(q) = q**2 - 11*q + 15. Is n(10) even?
False
Let o(j) = 2*j + 10. Let h be o(-5). Let m be (-166)/(-2) + (-3 - h). Let l = m + -36. Is 11 a factor of l?
True
Is 13 a factor of (-2044)/(-7) + (-4)/2?
False
Suppose 5*j - 113 + 23 = 0. Let a = j - -2. Is 5 a factor of a?
True
Does 18 divide (-25)/5 + -1 - -249?
False
Is (-3135)/(-99)*18/15 a multiple of 3?
False
Suppose 5*j = -3*g + 15, -20 = g - 5*g - 4*j. Suppose g*l - 576 = -3*l. Does 12 divide l?
True
Suppose 2*c + 0*c - 34 = 0. Let z = 39 - c. Is z a multiple of 3?
False
Let w be (-2 - -4)*(-27)/(-6). Suppose 72 = -5*d + w*d. Is 9 a factor of d?
True
Suppose -r - 2*k + 454 = 0, 42*k - 38*k = -3*r + 1368. Is 23 a factor of r?
True
Let a(i) = -2*i**2 - 7 + 9*i - 6*i + 15*i + 9*i. Is 3 a factor of a(13)?
True
Let j(t) = 2*t**2 - 2*t. Let g be j(-4). Let p be 31/(g/12 - 3). Suppose -67 = -4*k + p. Is k a multiple of 20?
True
Let t = 224 + -156. Is t a multiple of 17?
True
Suppose 5*f = -4*u + 7953, -4*f - 5*u + 3188 = -2*f. Does 22 divide f?
False
Let c(m) = 45*m**2 - 29*m + 180. Does 68 divide c(6)?
False
Suppose 8 = -2*r - 0*r. Let m(g) be the second derivative of -g**5/20 - g**4/4 + 2*g**2 - 2*g. Is m(r) a multiple of 10?
True
Let c(d) = -31*d. Let j(o) = -588*o. Let a(r) = 77*c(r) - 4*j(r). Let u be a(1). Is 5 a factor of (-14)/u + (-196)/(-10)?
True
Let t(f) = 5*f**2 - 14*f + 55. Is 22 a factor of t(5)?
True
Let w be -12 + 9 - (-4 - -1). Suppose -3*f + 64 - 16 = w. Let b = 37 - f. Is 5 a factor of b?
False
Suppose 3*c - l = 3110, 10*l - 2062 = -2*c + 5*l. Is 38 a factor of c?
False
Suppose p + 5*n - 572 = 0, -p - 2*n + n + 564 = 0. Does 21 divide p?
False
Let j be (-36)/48 + (-43)/(-4). Suppose 4*i + j = -i, 3*z - 2*i = 196. Does 16 divide z?
True
Let v(x) = -x**2 - 12*x + 4. Let m be v(-12). Suppose -m*u + i = -0*i - 112, -28 = -u - 4*i. Is u a multiple of 7?
True
Let d(j) = -j + 49. Does 5 divide d(12)?
False
Let t(h) = h**2 + h + 45. Let s(p) be the second derivative of p**4/12 - 2*p**3/3 - 3*p. Let j be s(4). Does 15 divide t(j)?
True
Let a(p) = -2*p**3 + 2*p**3 - 8*p**2 - 4*p + 3 + 4*p**2 + 2*p**3. Let m be a(5). Suppose -m = -5*k - 23. Is k a multiple of 11?
True
Let h(j) = -2*j + 5. Let q be h(5). Let r be 1 + (4 - -12) - 2. Let d = r + q. Is 10 a factor of d?
True
Suppose -5*i = -2*y + 6*y - 319, -2*i + 118 = 4*y. Suppose 4*k = -l + i, k = -4*l - 1 - 1. Is 2 a factor of k?
True
Suppose 21411 = 12*g + 15*g. Does 61 divide g?
True
Let p be 5/(1/(2 - -1)). Let j = -11 + p. Suppose -o = j*o - 325. Is 23 a factor of o?
False
Let f = 27 - 15. Let u(d) = d**3 - d**2 + 8 + d - 6 + f. Is u(0) a multiple of 12?
False
Let r(x) = -6 - x**2 + 6*x**2 + 13*x**2. Let m be r(2). Suppose -4*c - 9 + m = 3*o, 0 = 2*c + 2*o - 26. Does 6 divide c?
True
Let d = -29 - -31. Suppose 2*s + d*s = 576. Suppose 0 = -3*r + 4*j + s, 2*r + j - 101 = 2*j. Does 9 divide r?
False
Suppose 0 = -2*c + c + 9280. Let j = c - 5081. Is j/65 - 2/(-5) a multiple of 13?
True
Is (-9 - -2)*1 - -29 even?
True
Does 46 divide (-1 + (-98)/(-6))/(190/16530)?
True
Suppose 5*r = -4*l + 5 - 34, 5*r - l = -49. Let i(j) = -j**2 - 8*j + 13. Let g be i(r). Suppose -g*z - m = 2*m - 116, 4*m = -2*z + 48. Does 8 divide z?
True
Suppose -x = 5*c + 64, x + 0*x - 1 = 0. Let v = c - -158. Does 45 divide v?
False
Suppose -4*z + 8 = -0*z. Suppose 2*o + 0*o + 5*v - 76 = 0, 0 = -v - z. Is 37 a factor of o?
False
Suppose -2*o - 2816 = -6*o. Let m be (-4)/(-10) - o/(-40). Suppose 4*z - 23 - 13 = -2*i, -i = -2*z + m. Is 2 a factor of z?
False
Let r be 33840/54 + (-2)/(-6) + -1. Let o = r + -439. Is 35 a factor of o?
False
Let q be 11/22 - 42/4. Let z be (606/5)/((-4)/q). Let c = -208 + z. Does 24 divide c?
False
Suppose -16 + 0 = -4*q. Let s(k) = 4*k**3 - 3*k**2 - 4*k + 4. Is 8 a factor of s(q)?
False
Let u be 5/(-5) + (0 - -4). Suppose 370 = 5*w - 5*i, 5*w + 0*i = -u*i + 354. Is 12 a factor of w?
True
Let f(n) = 8 - 3 + 0 - 17*n. Is f(-5) a multiple of 24?
False
Suppose -403 = 4*c - 19. Let w = 191 + c. Suppose g + 5*s - w = -4*g, -2*g = s - 41. Does 11 divide g?
True
Let o(v) = v**3 + 7*v**2 + v - 5. Suppose 3*k = 1 - 4, 3*f + k + 16 = 0. Is 8 a factor of o(f)?
True
Let x = -11 + 16. Does 22 divide (-166)/((-2)/x*(9 - 4))?
False
Let i be 1*158/(-4)*(-4 + 2). Let t = -51 + i