or of r(-25)?
True
Let s(h) = h**2 + 19*h - 4. Let m be s(-19). Let y be m/(-8)*40/2. Suppose 6*i + 516 = y*i. Is i a multiple of 13?
False
Let s(u) = -22*u - 2*u**3 + 3*u**3 - 36*u + 41*u + 4*u**2. Is 30 a factor of s(4)?
True
Let p be 3 + 12*262/4. Suppose 0 = -4*i + 2*k + k + 1553, -p = -2*i - k. Does 21 divide i?
False
Suppose -126*n + 145*n - 333317 = 0. Does 53 divide n?
True
Is (-2)/(-6) - (61330/(-15) - 7) a multiple of 33?
False
Let z = 15 + 6. Let g be ((-6)/9)/((-14)/z). Does 2 divide (-1 - -9) + g + 2?
False
Let b(p) = 4*p**2 - 99 + 50 + 28 + 17*p - p**3. Let y be b(6). Suppose 18*x - y*x = 207. Is x a multiple of 7?
False
Suppose 2*b + 130 = -3*b. Let g = b - -29. Suppose 2*j + g*z = 25, -5*z - 34 + 6 = -3*j. Is j a multiple of 3?
False
Let a = 66 - 62. Suppose -5*f = k - 73, k + a*f = 5*k - 196. Let q = 113 - k. Is q a multiple of 3?
True
Suppose -59 = 4*q + 2*f + 677, -5*f = 4*q + 736. Let i = q + 372. Is i a multiple of 7?
False
Suppose 3*o + 10 = -0*o - 2*x, 4*o - x = -6. Let y(s) = -s**2 - 18*s - 77. Let i be y(-13). Does 37 divide (-568)/(-12) + (o - 32/i)?
False
Suppose 2*j = -5*c + 43447 - 14790, -3*j - 11440 = -2*c. Is c a multiple of 137?
False
Suppose -2*u = -19 + 23. Let d be (-12)/((-6)/(1 - u)). Is d*((-92)/(-6))/1 a multiple of 22?
False
Suppose -13*w = 5*z - 10*w + 41, 5*z + 2*w = -39. Let b = 291 - z. Does 16 divide b?
False
Suppose 17716 = -11*b + 63366. Is b a multiple of 57?
False
Let b(c) = -21319*c + 3777. Is 40 a factor of b(-2)?
False
Let z(w) = 2*w + 12. Let b be z(-7). Let q(s) = s**2. Let i be q(b). Suppose -81 + i = -c. Is 7 a factor of c?
True
Let t = 2931 + 15815. Is 14 a factor of t?
True
Suppose 3*b - 523 = -511. Suppose 105 = 3*a - b*q, 3*q + 74 = 4*a - 66. Does 2 divide a?
False
Suppose 4265430 = 3*z + 192*z. Does 13 divide z?
False
Let s = 8340 - 5216. Suppose 23*z + s = 34*z. Is z a multiple of 49?
False
Let f be (-4)/6*6 + -3. Is (18/(-3))/(7/f) a multiple of 5?
False
Let b be 386*(-2 - 9/(-2)). Suppose -q = 3, -3*q - 9 = -19*f + 24*f. Suppose 9*w - b + 155 = f. Is 6 a factor of w?
True
Suppose -4*o + 0*t = -3*t - 516, 5*t - 20 = 0. Suppose -o = -7*x + 106. Suppose -x - 1 = -r - u, -4*u = 0. Does 9 divide r?
False
Suppose -t = 3 - 50. Suppose 11*l - 14*l + 12 = 0, -w - 3*l = -t. Does 30 divide w?
False
Suppose -2*y + 8 = 0, -3*u + 116 = u + y. Let p be (8/6)/(u/9114). Suppose -38 = -4*w + p. Is 34 a factor of w?
False
Suppose -28*p - 3500 = -33*p. Suppose 2*o = -3*t + 696, 2*o - 2*t + 6*t = p. Does 57 divide o?
True
Let m(d) = -4*d**2 + 4*d. Let n be m(3). Let j be (2658/n)/(1/(-20)). Suppose 7*x + 192 = j. Does 20 divide x?
False
Suppose 0 = j + 96 - 4801. Suppose -47*c + j = -1499. Does 6 divide c?
True
Let w(h) = -9*h**2 - h**3 + 28*h - 14 + 4 + 4 - 6*h**2. Does 12 divide w(-17)?
True
Let j(f) = -f + 9. Let l be j(5). Let b = -118 + 1422. Is 18 a factor of (-3)/((-36)/b) + l/(-6)?
True
Let v be (-13)/(-6) - 1/6. Suppose -5*h = -2*j + 183, -85 - 118 = -v*j + h. Let u = j - 26. Is 6 a factor of u?
True
Let v(a) = 8*a**3 + 3*a**2 - 3*a - 3. Suppose -10*s - 24 = -2*s. Let u be v(s). Let w = 72 - u. Does 51 divide w?
True
Let v = 1946 - 1011. Does 60 divide 22/6*(-7 - v/(-5))?
True
Let d be ((-3)/((-48)/(-236)))/(2/(-8)). Let p = 185 - d. Is p a multiple of 18?
True
Suppose b - 198*u = -195*u + 488, 0 = 4*u. Is b a multiple of 8?
True
Let f(b) = 7*b - 19. Let t be f(16). Let y = t - 94. Let i(q) = 24*q**2 + 4*q + 1. Is 3 a factor of i(y)?
True
Suppose -102*h - 28*h + 2004963 - 77063 = 0. Is 12 a factor of h?
False
Suppose -8*z = -21*z + 182. Suppose l - 4*w - z = 0, -3*l + 4*w + 8 = -10. Suppose l*p = 2*j - 3*p - 608, 2*j = -p + 584. Is 21 a factor of j?
True
Let w = 267 + -264. Does 13 divide 8*-3*(w + 0)*-1?
False
Let p = -774 - -17798. Is 224 a factor of p?
True
Let f(k) = 17*k - 2*k**3 + 27*k + 35*k - 15 + 19*k**2 - 60*k. Is f(8) a multiple of 24?
False
Let v(t) = 439*t**2 - 22*t + 13. Is v(11) a multiple of 11?
False
Suppose -3*k - 5*n + 630 = 0, 0 = 2*k + 3*k - 2*n - 1050. Suppose 18*r - 15*r + 4*p - 299 = 0, 5*r + 3*p = 480. Suppose 0 = 88*x - r*x + k. Does 14 divide x?
True
Let b(r) = -4*r**3 - 9*r**2 + 22*r + 84. Let y be b(-7). Let u = y - 595. Is u a multiple of 15?
False
Let r = 5102 + 6960. Does 37 divide r?
True
Let g(s) be the third derivative of 11*s**5/60 + s**4/6 + 11*s**3/6 - 2*s**2. Let z be g(-8). Suppose -z - 927 = -14*j. Does 7 divide j?
False
Let z = -7045 + 11857. Does 20 divide z?
False
Let i be (-114)/4 - (-7 - (-143)/22). Let x = i - -41. Is 4 a factor of x?
False
Does 3 divide 10 - 1551/(-11) - -2?
True
Suppose -23*n - 820 = -13*n. Suppose -5*b = 66 + 169. Let k = b - n. Does 5 divide k?
True
Suppose 2*h - z + 4 = -13, -4*h - 3*z - 9 = 0. Does 16 divide h/4*(-2256)/18?
False
Is 148 a factor of (-27)/18*(1230852/(-36) - (-2 - -1))?
False
Let a(x) = 39*x**3 - 2*x**2 - x - 2. Let s be 5 + 0 + -2*(-6)/(-4). Is 15 a factor of a(s)?
True
Let t be -3 + 2 + 4 - (5 - 2). Suppose t = -u - 5 + 9. Suppose u*f - 673 = -253. Is 22 a factor of f?
False
Let s(z) = 4*z - 10. Let a be s(4). Suppose -u - 5*n = -3*u + 9, 4*n + a = u. Suppose 0 = -l + 4*f + 15, -u*f - 1 = -5. Is l a multiple of 23?
True
Let t(q) = 13*q - 4*q**2 - q**3 - 3 - 2 + 17*q - 32*q. Let x be t(-4). Suppose -7 + 97 = x*w. Does 8 divide w?
False
Suppose 16 = f - 4*r, -4*f - r = 2*r + 31. Let y be ((-2 + f)*5)/(-2). Does 2 divide y + 1/(1/(-4))?
False
Let a(x) = 40*x + 96. Let m be a(-26). Let q = -568 - m. Is q a multiple of 45?
False
Let p(l) = 2*l**3 + 21*l**2 + 9*l - 4. Let t be p(-10). Suppose -372 = -t*s + 300. Suppose 3*z = s + 71. Is 4 a factor of z?
False
Is 27373248/279*6*(-2)/(-16) a multiple of 24?
True
Suppose -181*f - 3*i = -184*f + 51726, -3*f - 5*i + 51790 = 0. Is 238 a factor of f?
False
Let q = -974 + 4307. Does 101 divide q?
True
Let r = -87 - -129. Let w be (r/(-8))/((-1)/120*3). Is 15 a factor of w/4*(-14)/(-7)?
True
Let v = 7640 + 10093. Is v a multiple of 69?
True
Let m(s) = 6*s**2 - 77*s - 949. Is 2 a factor of m(21)?
True
Let y(z) = -z**3 + 10*z**2 + 13*z - 38. Does 2 divide y(4)?
True
Suppose 0 = a + 20 - 22. Suppose 0 = -3*t + 2*o + 1055, t - 6*t - a*o = -1737. Is t a multiple of 17?
False
Let t = 383 + -371. Does 14 divide ((-5)/(-15) + (-11428)/t)/(-1)?
True
Suppose a = 13 + 1. Let y = 19 - a. Suppose 2*k - g - 22 = g, 0 = -4*k + y*g + 43. Is k a multiple of 12?
True
Suppose 2*u - 540 = 3*t, 4*u - 2*t = t + 1086. Let b = u - -151. Is 64 a factor of b?
False
Let u(l) = 189*l + 41. Suppose -32 = -50*h + 42*h. Is 4 a factor of u(h)?
False
Let g(w) = 47*w - 43. Let r be g(6). Suppose d + 2*z = 95, -3*d + r = z - 36. Is 13 a factor of d?
True
Let b(o) = 153*o**2 + 68*o + 31. Is b(9) a multiple of 29?
False
Let z = -82246 + 116014. Is 84 a factor of z?
True
Let x(y) be the second derivative of -14*y - 3/2*y**3 - 3/2*y**2 + 0. Is x(-12) a multiple of 15?
True
Suppose -4*v - f + 1187 = -1859, -4*v = -2*f - 3028. Does 2 divide v?
True
Let w be (-82 - -13)/(6/16). Let b = -119 - w. Is b a multiple of 18?
False
Let h(v) = 2069*v**2 - 2*v + 47. Is h(4) a multiple of 23?
True
Suppose -a + 293 + 159 = 4*m, -3*a - 2*m + 1376 = 0. Is a even?
True
Suppose 45844 + 182006 + 5730 = 20*u. Is 20 a factor of u?
False
Suppose -54 = -6*a + 18. Let v = 141 + a. Is 9 a factor of v?
True
Is 25 a factor of (-24)/(-36)*78*707/28?
False
Let d = 26 - 26. Suppose 1708*z - 1705*z - 99 = d. Is 11 a factor of z?
True
Let g(v) = -643*v - 125. Is 4 a factor of g(-1)?
False
Let x = 74 - -1. Let p = x - 69. Is 3 a factor of p/(-15) + 539/35?
True
Let j(q) = q**3 + 5*q**2 + 6*q + 2. Let i be (2 - 1) + 1 + -4. Let u be j(i). Suppose -5*m + 276 = 4*t, -u*t + 5*m = m - 112. Is t a multiple of 12?
False
Let b(a) = 5*a**2 + 6*a + 16. Does 16 divide b(8)?
True
Suppose -568 = -4*n + 2*h, 284 = 2*n + 31*h - 29*h. Suppose 0 = 136*x - n*x + 3528. Does 25 divide x?
False
Let x(d) = 54*d + 1592. Is 84 a factor of x(20)?
False
Let u(s) = -26*s - 51. Let m be u(-6). Is 2512/84 + -1 + 115/m a multiple of 3?
True
Let n be (-1)/11 - 3363/(-209). Let x = n - -22. Is 18 a factor of x?
False
Let n(a) = -357*a + 2107. Is n(-19) a multiple of 7?
True
Suppose 134*a + 2*t + 16626 = 135*a, -5*a + 2*t + 83138 = 0. Is 8 a factor of a?
False
Let b = 3