q + -29. Does 11 divide f?
True
Suppose o + 1996 = 5*s - 89, -411 = -s - o. Is s a multiple of 22?
False
Suppose 2*f + k + 90 = 4*f, -5*k = 3*f - 135. Suppose -300 = -f*w + 40*w. Does 12 divide w?
True
Suppose 0 = -52*n + 1960 + 1732. Is n even?
False
Let i(a) = -a**3 - 10*a**2 - 2*a + 8. Let o be i(-10). Suppose -10 = -3*c - v + 22, -4*c = 5*v - o. Does 12 divide c?
True
Does 22 divide (274 - (0 - 6)) + 6?
True
Suppose 20 = x + 16. Suppose 0*z + 70 = n + x*z, 0 = -n + 3*z + 105. Is 18 a factor of n?
True
Suppose -4*k + 35 + 130 = -v, 5*k - 190 = -2*v. Is 40 a factor of k?
True
Suppose -3*h + 27 = -0*h. Let g be 3 - (-9)/(h/(-3)). Is 22 a factor of 33 + 1 + (1 - g)?
False
Let k be (-152)/(-56) + (-2)/(-7). Suppose j + g - 2 = -k, -j + 5 = -5*g. Does 4 divide -12*(1 + -2 + j)?
True
Let k(n) = n**2 + 8*n + 3. Let y be -12 + 11 + -10*1. Is 12 a factor of k(y)?
True
Suppose -4*i - 3 = -11. Let n(j) = -35*j - 1. Let p be n(-1). Suppose -h = -p + i. Is 16 a factor of h?
True
Let y be (-8)/(-3)*3/2. Suppose 4*w - 4*m = y, -5*w = -2*w - 4*m + 1. Suppose -56 = c - w*c + r, -r - 11 = -c. Is c a multiple of 5?
True
Suppose 0 = 2*v + n - 7549, 3*n - 11325 = 60*v - 63*v. Is 17 a factor of v?
True
Let h = 1121 + -440. Is h a multiple of 23?
False
Let f(c) = c - 12. Let r be f(-9). Let i be 6 + -2 + (-8 - r). Suppose i = 2*y - 79. Is 16 a factor of y?
True
Let l be (0/(-2 - -1))/((-2)/(-1)). Suppose 3*o - 4*d - 365 = l, 0 = 3*o + 4*d - 192 - 181. Is 41 a factor of o?
True
Suppose 44 + 173 = f - 5*t, 0 = 4*f - 3*t - 919. Suppose 6*n + 28 - f = 0. Is 17 a factor of n?
True
Let a(d) be the first derivative of -3 - 6*d + 3/2*d**2. Is a(10) a multiple of 6?
True
Suppose j - 207 = -4*f + 755, -3*f = j - 722. Is 24 a factor of f?
True
Let n(j) = -15*j. Let w be n(-1). Suppose 5*b + w = 2*b - 2*a, -b - 5*a + 8 = 0. Let p = 26 - b. Does 8 divide p?
False
Let y = 137 + -77. Is 20 a factor of y?
True
Let h(c) be the first derivative of 49*c**2/2 - 3*c + 2. Does 30 divide h(2)?
False
Let g = -4 + 10. Let m(u) = 71*u - 35. Let v(l) = 14*l - 7. Let b(z) = -2*m(z) + 11*v(z). Is 13 a factor of b(g)?
True
Suppose 13*s - 7*s = 0. Is (107 - s - -2) + 4 a multiple of 19?
False
Let t = 25 + -25. Let y = -30 - t. Is 9 a factor of -4 + 12*y/(-9)?
True
Does 70 divide 6/(-21) + 492/7?
True
Suppose g = -0*g + 15. Suppose 3*m = m + p - 11, 3*p = g. Let a(s) = -2*s**3 + 4*s**2 + 4*s. Does 18 divide a(m)?
False
Let o = -137 + 260. Is 7 a factor of o?
False
Suppose -4*a + 0*a = 4*q - 140, 19 = q + 5*a. Is 16 a factor of q?
False
Suppose -3*n - 3*u = 8 - 5, 0 = n + 4*u + 16. Suppose -8 = q - 3*z, -n*q + 4*z - z = 50. Is 14 a factor of (-24)/(-84) + (-584)/q?
True
Let k(m) = -m + 15. Let l be k(16). Let z = 55 + l. Does 6 divide z?
True
Suppose -4*f + 36 = -0*f. Let i(v) = v**2 - 4*v + 10. Let x be i(f). Suppose -3*w = 5*j - 30, 3*w - 4 = 4*j - x. Is 9 a factor of j?
True
Let n(z) = 16*z - 4*z - 36 + 3*z + 21*z. Does 60 divide n(6)?
True
Let m(z) = z**3 + 6*z**2 + 5*z + 3. Let j(k) = -4*k + 19. Let r be j(6). Let h be m(r). Suppose -141 = -6*d + h*d. Is d a multiple of 9?
False
Let m(j) = -145*j - 46. Is m(-24) a multiple of 34?
True
Suppose -5*d = -5*u + 20, 24 = 4*u - 5*d + 7. Let q(o) = 3*o - 3*o + 4 + 5*o**2 + o**3 + u*o - 3. Is q(-4) a multiple of 4?
False
Let l(y) = 2*y + 16. Let x(u) = -2*u**2 + 2*u - 3. Let b be x(2). Let s be l(b). Suppose 3*g + 2*z = -s*z + 153, -5*z = g - 51. Is g a multiple of 8?
False
Let x = 4612 + -2192. Is x a multiple of 44?
True
Let n(a) = -277*a - 271. Does 37 divide n(-8)?
False
Let i be ((-1)/(-2))/((-3)/(-18)). Suppose -2*o = -i*o - 7. Does 28 divide (o/2)/(5/(-40))?
True
Suppose -479 = -9*n + 25. Is n a multiple of 8?
True
Let i(t) = 5*t**2 + 52*t - 673. Does 44 divide i(15)?
True
Let c(h) be the first derivative of 2*h**3 + 9*h**2/2 + 11*h + 6. Let p(s) = -5*s**2 - 9*s - 10. Let l(n) = -6*c(n) - 7*p(n). Is l(9) a multiple of 2?
True
Suppose 12*i - 78 = -18. Let r(w) = 70*w**2 + w. Let f be r(-1). Suppose 11 = i*z - f. Is z a multiple of 13?
False
Let s(b) = 2*b**3 + 5*b - 3. Suppose 0 = m + 4*d - 4, 0 = -3*m + 2*d + 3 + 9. Is s(m) a multiple of 22?
False
Suppose 0 = -136*g + 127*g + 1620. Is g a multiple of 32?
False
Let j = 9 - 0. Suppose -2*r = -j + 3. Suppose h = -r*g + 273, 289 = 2*g + 2*h + 103. Does 18 divide g?
True
Let q(r) = 5*r - 2. Let b be q(1). Suppose -b*x + 12 = x. Suppose 0 = 5*o - 4*l - 408, -4*l + 0*l = -x*o + 240. Is 28 a factor of o?
True
Does 12 divide (-4)/18*-264 - (-2)/(-3)?
False
Let q(m) = -m - 1. Let t(l) = -8*l - 1. Let d(h) = -4*q(h) - t(h). Does 13 divide d(3)?
False
Does 30 divide (-35)/(-2)*(-140)/(-25)?
False
Let n(p) = p**2 - p - 326. Does 5 divide n(-43)?
False
Let s(k) = 1224*k**2 + 4*k + 4. Is s(-1) a multiple of 34?
True
Let n = 55 + -56. Does 9 divide 3*n/(-6)*74?
False
Let l = 11 + -13. Let j(p) = -9*p**3 + p**2 + p + 1. Is 25 a factor of j(l)?
True
Let q(m) = -17*m - 45. Let y(l) = 50*l + 137. Let s(a) = -11*q(a) - 4*y(a). Is s(-9) a multiple of 8?
True
Let d be (-2)/4*-27 + 3/6. Is 7 a factor of 107 + (-8)/(-14)*d/2?
False
Let q(m) be the third derivative of m**6/120 + m**5/15 + 2*m**2. Let o be q(-4). Suppose 4*v + 2*w - 110 = o, -2*v = -3*v + 3*w + 17. Is v a multiple of 7?
False
Suppose 1832 = 5*l + 4*u, l - 5*l - 4*u + 1464 = 0. Is 8 a factor of l?
True
Let x be (-5)/20 - 13/(-4). Suppose -4*c = -x*c + 5*z + 2, 5*c - 16 = z. Suppose c*y - 2*y - 16 = 0. Does 5 divide y?
False
Let j = -15 + 12. Does 3 divide (2 + j)*42/(-6)?
False
Let d(g) = g**2 - 12*g - 11. Is 43 a factor of d(-11)?
False
Suppose 3*i - 2*r - 13 = 0, -i + 3*r + 12 = i. Is 4 - i*(-12)/8*60 a multiple of 30?
False
Is (-14 - -10)*(0/(-1) + -59) a multiple of 59?
True
Does 13 divide 5 + -9 + 2 + 250?
False
Is 15 a factor of -1 + 1492 + 7 - (4 - 6)?
True
Suppose 18*s - 17*s + 47 = 0. Let d = s - -65. Does 9 divide d?
True
Let r = 95 - 82. Is 13 a factor of r?
True
Let f = 10 + -6. Let c(o) = -o**3 + 5*o**2 - 2. Does 3 divide c(f)?
False
Let v(t) = 2*t + 3. Let p be v(-7). Let x = p + 26. Is 15 a factor of x?
True
Suppose -160*s - 6630 = -175*s. Does 13 divide s?
True
Is 18 a factor of (1955/(-10))/((-9)/162)?
False
Let p(y) = -13*y**3 + 3*y**2 + 7*y - 9. Let b(x) = -4 - 2*x**3 + 4*x - 1 + 2*x**2 - 3*x**3 - 2*x**3. Let l(r) = -11*b(r) + 6*p(r). Is 3 a factor of l(-4)?
True
Suppose -5*l + 3 = -27. Suppose l*k = -9*k + 60. Does 3 divide k?
False
Let v be 1/(2 - 19/9). Is v/(-12) + 399/28 a multiple of 15?
True
Is 52 a factor of (-676)/((-3 + 4)*-1)?
True
Let z(t) = 2*t**3 + 3*t**2 - 5*t. Let o be z(-6). Let b = -56 - o. Is 17 a factor of b/(-21)*(-6)/2?
True
Is 352740/240 + 2/8 a multiple of 10?
True
Let g(t) = t**3 - 11*t**2 - 3*t - 2. Let p(j) = -2*j**3 + 23*j**2 + 7*j + 4. Let v(u) = -13*g(u) - 6*p(u). Is v(3) even?
False
Let f(z) = -z**2 - 4*z - 3. Let v be f(-3). Let w(p) = p**3 + 17*p**2 - 8*p - 122. Let h be w(-17). Let a = v + h. Does 14 divide a?
True
Let d = 1304 + -779. Is 5 a factor of d?
True
Let t be ((-132)/11)/(4/(-46)). Suppose -19*r = -16*r - t. Is r a multiple of 8?
False
Is (-7)/14 - 129/(-6) a multiple of 7?
True
Let p = 0 + 4. Let t(a) = 22*a - 4 + 0*a**2 - 17*a + 2*a**2. Is t(p) a multiple of 15?
False
Let v be -1 + (8/12)/((-4)/354). Let u = 103 + v. Does 9 divide u?
False
Let m(a) = a**3 - 10*a**2 + a - 6. Let c be m(10). Suppose 0*n = n - 3*v - 1, c*n - 15 = v. Is (10 + 2)*2/n a multiple of 4?
False
Let o(i) be the second derivative of i**4/8 + 7*i**3/6 - 7*i**2/2 + 5*i. Let n(u) be the first derivative of o(u). Does 19 divide n(8)?
False
Suppose -a - 14 = -4*w, -w - 2*w = -a - 11. Suppose 8 = 3*d + d. Suppose 34 = w*j - d*j. Is j a multiple of 12?
False
Let f be 4/10 + 56/10. Is 27 a factor of 105*(3 - f)/(-3)?
False
Let s(a) = a + 29. Let c be s(-14). Let b = 78 + c. Does 24 divide b?
False
Suppose -3*d - 6 = 0, 3*d = 3*n + d - 601. Is n a multiple of 4?
False
Let x = -4 - -4. Suppose x*c = -4*c + 108. Suppose 0 = -2*j + 5*j - c. Is 8 a factor of j?
False
Suppose -48 = -p + 9*p. Is 10 a factor of 876/22 + p/(-33)?
True
Let d = 35 - -3. Suppose 4*r - d = 690. Is 14 a factor of r?
True
Let f(t) = 2*t**2 - 3*t - 95. Is f(-10) a multiple of 9?
True
Suppose -4*m = 2*l + 84, 0 = -5*l - 3*m - m - 192. Let w be l/10 + (-4