e l(-3). Suppose -204 = -20*v + q*v. Is v a multiple of 17?
True
Let y = 4 - 2. Let a(k) = 39*k**y - 34*k**2 - 2*k - 5*k. Is 6 a factor of a(-3)?
True
Let l = 1129 + -695. Suppose l = 3*f + 65. Let g = -101 + f. Does 2 divide g?
True
Suppose 0 = 3*x - 0*x - 2*y - 945, 0 = -3*x - 2*y + 945. Suppose -4*o = -5*o + x. Is o a multiple of 67?
False
Is (13/13 - -69)/((-1)/(-82)) a multiple of 27?
False
Let t(n) = -16*n + 208. Let f be t(13). Suppose -3*z + 3*y + 2040 = f, -2*z + 0*y = y - 1366. Is z a multiple of 34?
False
Let x = -4067 + 4272. Suppose 3*c + 426 = -4*s + 61, -500 = 5*s - 5*c. Let k = s + x. Is k a multiple of 22?
True
Let z(p) = p**3 - 62*p**2 + 184*p - 225. Does 8 divide z(59)?
False
Suppose f - 16548 = -6*f. Suppose -f = 2*c - 8*c. Is c a multiple of 48?
False
Let m(i) be the first derivative of i**2/2 - 2*i - 2. Let g be m(7). Suppose 2*y + g*l - 245 - 18 = 0, 124 = y + 4*l. Does 32 divide y?
False
Suppose -4*h + 5*h + 7 = 0. Let y(j) = 4*j - 114. Let g(w) = -11*w + 313. Let i(u) = 3*g(u) + 8*y(u). Is i(h) a multiple of 3?
False
Suppose 2*l + 5*t = 255, -36*t + 32*t + 393 = 3*l. Let p be 1*6 - (2 - 1). Suppose 5*j - l = -4*o, 5*o + p*j - 165 = -0*o. Is 15 a factor of o?
True
Let v be 0 - (8 - (12 + -4)). Suppose v = 11*d - 8*d - 2*w - 2054, -w = -2*d + 1370. Is 7 a factor of d?
True
Let c(k) = k**3 + k**2 + 3*k + 4. Suppose 2 = -5*i + 12. Suppose -i*v + 2*s + 22 = v, 0 = -s - 5. Is c(v) a multiple of 16?
True
Is (26 - 36) + (2 - -3340) a multiple of 17?
True
Let c(u) = 5*u**2 + 6*u - 4. Suppose 4*m + 228 = 6*m. Let p = m - 110. Does 11 divide c(p)?
False
Does 5 divide (0 + (-550)/4)*150/(-25)?
True
Suppose 0 = 5*x - 20, -2*s + 4915 = -3*x + 791. Suppose s = 103*i - 99*i. Does 12 divide i?
False
Suppose 28*k = 60239 + 23061. Does 5 divide k?
True
Let t be (-8)/(-18) - 19590/(-270). Suppose 68*v - t*v + 1840 = 0. Does 16 divide v?
True
Let d = 70 + -69. Let a(s) = 480*s**3 - 2*s**2 + 4*s - 2. Is a(d) a multiple of 24?
True
Suppose 2*d = d - 3*y + 8014, d - 7979 = 4*y. Does 15 divide d?
False
Let c = 132 + -128. Suppose -10 = c*b - 22. Is ((-43)/b)/(7/(-84)) a multiple of 59?
False
Suppose 2*l - 8 - 16 = 0. Suppose l = -9*a - 15. Is a*(15*-3 - -3) a multiple of 14?
True
Suppose -5*g + 5*v + 7210 = 0, 9*v + 67 = g - 1423. Is g a multiple of 177?
False
Let z = -44 - -101. Does 5 divide 3243/z - 1*(-10)/95?
False
Let w be (-33 + 39)*1/2. Suppose -u + 276 = -5*b, -4*b - 1500 = -5*u - w*b. Is u a multiple of 43?
True
Suppose -62*p + 133*p - 306445 = -96*p. Is 16 a factor of p?
False
Let g(n) = 2*n**3 + 2*n**2 + 10*n - 11. Let i be g(5). Let v = i + 6. Is v a multiple of 10?
False
Suppose 2*v = -5*n + 26, 5*n - 32 = v - 0*v. Let r(a) = -a**2 + 4*a - 12. Let k(h) = -h - 1. Let x(f) = -6*k(f) - r(f). Does 11 divide x(n)?
True
Suppose 9*z + 5133 - 15384 = 0. Suppose 5*l + 2*a - z - 60 = 0, 2*l - 3*a - 472 = 0. Is l a multiple of 48?
False
Let o = -30287 + 41061. Is o a multiple of 197?
False
Suppose 0 = -229*b + 241*b + 84. Let n(v) be the third derivative of v**6/120 + 3*v**5/20 - v**4/3 + 3*v**3/2 - 3*v**2. Is n(b) a multiple of 27?
False
Let u(r) = -46*r**3 + 11*r**2 + 99*r - 7. Is u(-7) a multiple of 23?
True
Let o = -5825 + 6769. Is o a multiple of 31?
False
Suppose 3946*f = 3958*f - 513432. Is 74 a factor of f?
False
Suppose -5*f + 25 = 5*v, 4*v - 2*f - 6 = 8. Suppose 0 = v*t - u, -3*t - 2*u = t. Suppose -s - 2*p + 36 = t, -3*p - 7 = -s + 4. Is 11 a factor of s?
False
Suppose 6*c + 63*c = 207759. Let s = c + -2129. Does 49 divide s?
True
Let a(m) = m**3 + 2*m**2 - 3*m + 7. Let p = -40 + 37. Let w be a(p). Suppose -75 = -w*y + 2*y. Does 3 divide y?
True
Suppose -45*z + 78 = -42*z. Is z a multiple of 13?
True
Let y(r) = 17*r**2 - 7*r - 10. Suppose -3*v = o - 79, -v + 22 = -4*o - 0*o. Suppose 31*i + 10 = v*i. Is y(i) a multiple of 8?
True
Suppose 24*l = 27049 + 16055. Suppose 11*i = 7*i - 20, 3*t - l = i. Is t a multiple of 19?
False
Let m = -43905 - -62871. Is 21 a factor of m?
False
Suppose -125 = 5*s - 2800. Suppose s*q + 5579 = 542*q. Is q a multiple of 55?
False
Let p(k) = k**2 - 18*k + 10. Let a(s) = 4*s**2 + 11*s + 15. Let v be a(-3). Is 9 a factor of p(v)?
False
Suppose -2*p + 0 = -8, 2*j + 3*p = -546. Let x = -261 - j. Is x even?
True
Let j = -1865 - -3606. Let v = j + -100. Does 48 divide v?
False
Let k(y) = y**2. Let l(d) = -7*d**2 - 17*d - 17. Let v(z) = -6*k(z) - l(z). Let a be v(-8). Let h = a + 65. Does 5 divide h?
True
Let j = -1935 - -3321. Is 2 a factor of j?
True
Suppose -44675 + 732095 = 190*b. Is b a multiple of 6?
True
Suppose -1135*b - 194136 = -1147*b. Is b a multiple of 32?
False
Let a(l) = 26 - 24 - 15*l - 11*l. Does 23 divide a(-1)?
False
Let n(v) = -v**3 + 8*v**2 - 5. Let t be n(8). Let w(k) be the second derivative of k**4/12 - k**3/3 + k**2/2 - 4*k. Does 12 divide w(t)?
True
Does 9 divide (1112/(-6))/((-686)/19551)?
False
Let t(y) = 24*y**3 - 3*y**2 + 17*y - 72. Let z be t(4). Let c = z + -206. Is c a multiple of 35?
False
Does 14 divide (-13054)/(-17) + ((-1540)/(-85) - 18)?
False
Is (-11)/(-363) - 1612500/(-396) even?
True
Let v = -9945 + 17077. Is v a multiple of 40?
False
Let h = 8574 - 906. Does 108 divide h?
True
Let v = -22 + 55. Let o = 20 - -46. Suppose -3*x + v = -o. Does 32 divide x?
False
Suppose -259 = 12*d + 269. Let f = d + 295. Does 7 divide f?
False
Suppose 27 = -u + 4*f, -4*u = 3*f - 6 + 19. Let n(s) = -26*s**3 + 25*s**3 - 15*s**2 - 6*s - 9 + 5*s**2 + 3*s**2. Does 11 divide n(u)?
True
Suppose -200*w - 77*w + 3933309 + 5228466 = 0. Does 27 divide w?
True
Suppose 3*a - 17 = 4*p - 8*p, -3*a = 3. Suppose 54 = 4*l - p*s, -4*l + 29 + 13 = s. Is l a multiple of 2?
False
Suppose 53*n - 22550 = 12*n. Does 22 divide n?
True
Suppose 258*q = 131*q + 128*q - 10999. Is 17 a factor of q?
True
Suppose 0*f + 47520 = 27*f. Is 17 a factor of f?
False
Let w(h) = -h**2 - 41*h - 35. Let k(q) = -2*q**3 - 2*q**2 + 4*q - 7. Let j be k(2). Is 24 a factor of w(j)?
False
Let c(s) = -4*s**3 - 15*s**2 - 110*s - 24. Is 27 a factor of c(-12)?
True
Let k(u) = -u - 9. Let h be k(-7). Let i(p) = -p**2 - p - 2. Let y be i(h). Is 25 a factor of ((-856)/16)/(2/y)?
False
Let t(j) = -121*j - 9. Suppose 0*g + 2*w + 15 = -5*g, 0 = 2*g - 4*w + 6. Let z be t(g). Is ((-3)/6)/((-3)/z) a multiple of 17?
False
Suppose -88 = -u - 3*f, 4*f - 274 = -2*u - u. Let g = -182 - -104. Let q = u - g. Is q a multiple of 43?
True
Does 3 divide (1544/(-2))/(452/(-2486))?
False
Is (-348824)/(-77) - 17 - (-2)/(-11) a multiple of 14?
False
Suppose -2*v + 34908 = 5*o, -6*o + 41916 = -0*o - 2*v. Is o a multiple of 97?
True
Let t(i) = 2*i**2 - 3*i + 1. Let m be t(2). Does 9 divide 30/m*36/10?
True
Let u(k) = 4*k - 28. Suppose -3*v + 4*i = 7, 2*i = -2 + 10. Suppose v*a + 2*l - 4*l = 29, -5*a - 2*l + 43 = 0. Does 4 divide u(a)?
True
Suppose 0 = 21*j - 26*j + 4235. Suppose -j = -6*d - 217. Is d a multiple of 3?
True
Suppose 22910 = w + 47*j - 51*j, -5*w + 114569 = -j. Does 15 divide w?
False
Let m be (-6)/(-4)*(-60)/(-9). Suppose -37*k = -35*k + m. Is (7/k - -1)/((-10)/1150) a multiple of 23?
True
Let s(r) = 19*r + 5125. Does 120 divide s(102)?
False
Let s be 40/(-180) - 826/9. Let d = s + 134. Is d a multiple of 21?
True
Let t be 8/(5 + (-1818)/366). Suppose 2*m = -g + 673, -424 = -g - m + t. Does 39 divide g?
True
Let b(w) = w + 15. Suppose -d + 2*j = 1, -5*d - 75 = 2*j + 2*j. Let o be b(d). Suppose y - 57 = -2*c + o*y, -5*c + 2*y = -170. Does 18 divide c?
True
Suppose 0 = -6*h + 24*h + 44*h. Suppose h = 23*g - 34*g + 11858. Does 98 divide g?
True
Is (11*-83)/((-165)/330) a multiple of 16?
False
Let d(l) = l**3 - 2*l**2 - 17*l + 46. Let c be d(8). Suppose -297*u + c*u = -1047. Is 91 a factor of u?
False
Suppose y = -2*y. Suppose -132*t + 138*t - 624 = y. Does 60 divide t?
False
Let s = 964 - 524. Suppose 0 = 10*q - 0*q - s. Is 3 a factor of q?
False
Let h(i) = 74*i - 124 - 140*i + 77*i. Is h(38) a multiple of 14?
True
Let u = -181 - -119. Let t = 104 + u. Is t a multiple of 7?
True
Let g(a) = 5*a**3 - a**2 + 4*a + 5. Suppose 0 = 4*x + 12, 4*q + 3*x - 28 = 7*x. Is 13 a factor of g(q)?
True
Let j(n) = 11*n**2 + 20*n - 22. Let f(p) = 5*p**2 + 10*p - 11. Let g(u) = -7*f(u) + 3*j(u). Let s be g(-6). Does 17 divide -9 - -88 - (s + 5)?
False
Let k(x) = -x**2 - 