 of r?
True
Let r(v) = -v**3 - 12*v**2 - 14*v - 10. Let l = 24 - 18. Suppose -14 = -s + 5*x, -3*x + l*x = -15. Is r(s) a multiple of 11?
False
Let l(j) be the third derivative of -j**4/12 - 3*j**3 - 5*j**2. Let c be l(-8). Let h(a) = -7*a**3 - a**2 + a + 1. Does 12 divide h(c)?
False
Is (-53)/(((-2)/(-20))/(27/(-45))) a multiple of 7?
False
Let g = 37 + -33. Is 13 a factor of (-2)/g - (-1)/(12/162)?
True
Suppose 4*b + 3*d - 41 = 6*d, 13 = b + 2*d. Suppose b*x = 13*x - 6. Suppose -4*z = -g + 14, g = -3*z - x - 4. Is g a multiple of 2?
True
Does 2 divide (348/(-24) - -13)/(6/(-1456))?
True
Let g(i) = -2*i**3 + 2*i**2 - i + 4. Let m be g(2). Is (9/m)/(3/(-18)) a multiple of 5?
False
Suppose 2*b - 111 = -y, 5*b - 118 = y + 177. Let w be (63/(-3))/(-7) - 1*37. Let t = w + b. Does 12 divide t?
True
Let o = 48 - 46. Suppose k - 3*q = 56, -7 + o = -q. Is k a multiple of 32?
False
Suppose g = -4, 0 = z - 5*g - 12 - 10. Suppose -z*v - 75 = -3*v. Is 12 a factor of v?
False
Suppose 2*h - 15 = -l - 2*l, -4*h - 15 = -3*l. Suppose h = 8*i - 10*i + 68. Does 7 divide i?
False
Suppose 3*v - 8 = v. Suppose v*g = 2*g + 206. Suppose -5*z = -237 - g. Is 28 a factor of z?
False
Is 5 a factor of 64/96 + 326/6?
True
Let z be (-12)/2*2/(-6). Let g be 212 - (0 - (-1 + z)). Suppose -2*r + r + 4*j + 30 = 0, -g = -5*r - j. Does 21 divide r?
True
Suppose 0 = -4*c + 5*v + 7, -3*c + 0*c + 3*v = -6. Suppose 2*b + 4*t = 130, 0*b + 304 = 4*b - c*t. Does 29 divide b?
False
Suppose 6*t + 109 = 787. Does 16 divide t?
False
Let s(z) = -1076*z - 70. Does 56 divide s(-1)?
False
Let u = 247 - 103. Suppose 5*x - 4*s = u, 9*s - 108 = -3*x + 6*s. Is x a multiple of 8?
True
Let p = 21 + -12. Suppose 2*a = p*a - 420. Is a a multiple of 30?
True
Let d = 644 + 1980. Is d a multiple of 7?
False
Let i(w) be the first derivative of w**3/3 + w**2 - 4*w + 10. Let f be i(-3). Is ((-15)/(-6) + f)*24 a multiple of 11?
False
Let r(i) = -4*i**2 + 13*i - 19. Let k(f) = -f**2 + f - 1. Let d(b) = -5*k(b) + r(b). Is d(-11) a multiple of 19?
True
Suppose 3*j - 2*l - 182 = 6, 5*l = -4*j + 220. Let b = j - 42. Is b a multiple of 5?
False
Suppose -23*d + 19*d = -2528. Does 22 divide d?
False
Let f(m) = -m**3 + 9*m**2 - 13*m - 8. Let q be f(7). Is 12 a factor of (q + -1)/(13/(-468))?
True
Suppose -4*y + 2*x = 7*x - 165, 2*x = 2. Suppose z = y + 38. Is 13 a factor of (z/9)/(1/3)?
True
Suppose 5*i = 25, 4*i = -5*c + 96 + 64. Suppose 25*z + 156 = c*z. Is z a multiple of 26?
True
Let o(w) = -w**3 - 3*w**2 + 7*w + 3. Let g be o(-5). Suppose -3*c - 9 = 0, -200 = 13*k - g*k + 5*c. Is k a multiple of 5?
False
Let v(p) = 3*p**3 - 6*p**2 + p + 4. Let r be v(2). Is 366/7 + r/(-21) a multiple of 4?
True
Let x be 108 - (0 + -1 + (-4)/4). Let i = x + -44. Is 11 a factor of i?
True
Suppose -o = -2*o + 51. Suppose -o = 5*u - 291. Does 24 divide u?
True
Is (-9 - -198)/((-24)/(-16)) a multiple of 18?
True
Suppose -4*c + 3*s = 101, c + 0*s + 32 = 3*s. Does 17 divide ((-68)/12)/(c/(-24) - 1)?
True
Suppose 2*k + v = 4*k + 22, -v = 4*k + 56. Suppose -j + 38 = 5*d, 7 = 2*j + 2*d - 37. Let o = k + j. Does 4 divide o?
False
Let u = 1256 + -14. Is u a multiple of 46?
True
Suppose 0 = 9*x - 5371 - 1973. Is x a multiple of 8?
True
Suppose 0 = 3*x + 6*a - 3*a, 0 = 2*x + 5*a - 6. Let w be -6*(-1)/x + 7. Suppose 0 = -4*p + 3*k + 177, -w*p = 2*k + 3*k - 153. Is p a multiple of 21?
True
Let g be 3 - -186 - (3 + -5). Let t = 301 - g. Suppose 6*j - t = 418. Is j a multiple of 18?
False
Suppose 18612 = 6*p + 16*p. Does 9 divide p?
True
Suppose 31 - 1 = 3*l. Suppose -6*r = -4*r - l. Suppose -5*b - 4*q + 95 = -3*q, r*q = -25. Does 4 divide b?
True
Suppose d = 1 - 6, -157 = 2*t + d. Let u = 118 + t. Is u a multiple of 6?
True
Let j be (2/(-1))/(6/9). Let u be ((-6)/j - 11)/(-1). Suppose -131 = -4*t + u. Does 13 divide t?
False
Let z = 4 - 4. Suppose 4*i = z, -3*p + 3*i - i = -552. Is 23 a factor of p?
True
Let j = 68 - 63. Is j a multiple of 2?
False
Let d = 2 + 2. Suppose -d*x - 57 = -5. Let z = -4 - x. Does 3 divide z?
True
Let j be (1 - (-25 + 4))*2. Let l = j - 32. Does 2 divide l?
True
Let a(u) = u**2 - u + 117. Does 34 divide a(16)?
False
Let x = 85 - 81. Is 42 a factor of x - 294/35*70/(-3)?
False
Suppose 5*c = -10*t + 8*t + 94, -4*t + 188 = 2*c. Is 21 a factor of t?
False
Does 7 divide (((-7)/(-1))/(-1))/((-12)/348)?
True
Let i = -167 + 981. Is 33 a factor of i?
False
Suppose 4*n - 3*t = 108 + 71, -5*t = -3*n + 137. Suppose 5*s + 5*o = 121 + n, 2*o = 0. Does 11 divide s/(-12)*8*-2?
True
Let l(u) = u + 22. Let s be l(16). Suppose -4*p + 6*p = 2*w + s, -5*p = -2*w - 26. Let z = w - -41. Is z a multiple of 18?
True
Suppose 0*m - m + 120 = 0. Suppose -m = 3*f - 7*f. Suppose -6*i + 186 - f = 0. Is 10 a factor of i?
False
Suppose 5*j - 38 + 8 = 0. Does 10 divide 240/2 + (j - 8)?
False
Let z be 2*3 - (0 + (1 - 0)). Suppose -5*h + 0*h - 44 = -g, z*h = 5*g - 120. Is g a multiple of 3?
False
Let b(x) = -x + 9. Let v be b(3). Suppose p + 4*n = 14, p + 2 = v*n - 2*n. Let r(c) = c**2 + 5*c + 2. Does 34 divide r(p)?
True
Suppose d + 0*d - 7 = 0. Suppose -375 = 2*r - d*r. Does 16 divide r?
False
Let r(u) = u**3 - 6*u**2 + 3*u. Let g be r(2). Let a(z) = -z**3 - 10*z**2 - 9*z - 14. Is a(g) a multiple of 19?
True
Let v = 59 + 65. Does 6 divide v?
False
Let t(d) = -62*d - 206. Is 4 a factor of t(-9)?
True
Suppose -8*m = -9*m + 127. Is m a multiple of 17?
False
Suppose 8*z - 30 = 3*z. Suppose 90 = -d + z*d. Let i = -6 + d. Is i a multiple of 4?
True
Suppose 35*z - 61981 = 41969. Does 51 divide z?
False
Suppose 42*y + 12636 = 51*y. Does 54 divide y?
True
Let d(s) = s**2 - 7*s - 18. Let j be (-52)/(-3) - (1 + (-25)/15). Is d(j) a multiple of 60?
True
Suppose 0 = -2*a - 5*a + 28. Let n be -3*((-456)/(-9))/a. Is n/8*4/(-1) a multiple of 12?
False
Is 19 a factor of 1873/6 + (-100)/(-120)?
False
Suppose -2*g + 8 = 2*g. Suppose g*i = b + b - 4, 2*b = -3*i + 14. Suppose -4*m = t - 100, 0 = i*t - 2*m + 6*m - 196. Is t a multiple of 32?
True
Let b = -773 - -1111. Does 13 divide b?
True
Let w(f) = -9*f**3 - 21*f**2 - 40*f - 1. Is 57 a factor of w(-7)?
True
Suppose 549 = 8*r + 189. Is 3 a factor of r?
True
Let x(k) = 0*k + 3 - k + 5 - 2. Let a(c) = 2*c + 6. Let i be a(-4). Is x(i) a multiple of 2?
True
Suppose -5*s - 6 + 766 = 0. Is 19 a factor of (7 + -10)/((-6)/s)?
True
Let c = -25 - -21. Let r be c/(-6) + (-4)/6. Suppose 5*d - 2*p - 316 = -3*p, -4*d - 3*p + 244 = r. Is d a multiple of 32?
True
Is (-1)/(-9) - -57*(-85)/(-135) a multiple of 11?
False
Suppose 3*v = v - 3*p + 403, -4*p = -5*v + 1019. Let g be ((-434)/(-155))/(4/70). Suppose v + g = 4*d. Does 13 divide d?
False
Let l(u) = -2*u**2 - 20*u - 8. Let g be l(-10). Is 5 a factor of 97 + (-4)/(-16) + (-14)/g?
False
Let b be -9*(3 + 44/12). Let u be (3/(-2))/(2/b). Suppose -5*q + 25 = -u. Is 14 a factor of q?
True
Let r = 596 + -288. Is 11 a factor of 4 - 9/((-18)/r)?
False
Suppose 0 = 2*j - 5*j - 3*w, 4*j + 2*w = 0. Suppose j = 4*h + 4*t - 240, -2*h = -5*h - 2*t + 177. Suppose -2*m = m - h. Is 7 a factor of m?
False
Let x = -914 + 1366. Is x a multiple of 28?
False
Let q(i) = 10*i + 18. Is 64 a factor of q(11)?
True
Let g be (-1 - 1 - -2)/(-2). Suppose g*r + 48 = -r. Is (-2022)/r + 2/(-16) a multiple of 21?
True
Let r(s) = 2*s**3 - 18*s**2 + 9*s - 29. Is 19 a factor of r(10)?
False
Suppose 0 = s - 0*s + 37. Let a = 121 + s. Suppose -171 = -5*v + a. Is v a multiple of 18?
False
Let g = -343 + 1068. Suppose 190 - g = -5*z. Does 9 divide z?
False
Is 12 a factor of 5 + (-1)/(-2)*430 - 1?
False
Let o be (-36)/(-54)*(-6)/(-1). Does 8 divide 3/o + 1672/32?
False
Let r = 948 + -671. Is 30 a factor of r?
False
Let h be -5 - (-20)/(-8)*12/15. Is 8 a factor of (-303)/h - (2 + 72/(-42))?
False
Let r(c) be the second derivative of 65*c**3/6 + c**2/2 - 6*c. Is r(1) a multiple of 11?
True
Let x be 4/5*(-20)/(-8). Let s(l) = 15*l**3 + l**2 + l - 2. Let q be s(x). Let t = q + -28. Is 20 a factor of t?
False
Suppose -13 = -2*l + 7. Let c(q) = q**2 - 13*q - 1. Let g(i) = 2*i**2 - 26*i - 3. Let x(t) = -5*c(t) + 2*g(t). Is 4 a factor of x(l)?
False
Let q(p) be the first derivative of -p**3/3 - 9*p**2/2 + 14*p - 8. Let m be q(-10). Suppose 4*a - 184 = -0*a - m*u, -47 = -a - 2*u. Does 11 divide a?
False
Let x = 288 - -240. Is 33 a fa