uppose 3*q + 1 + 3 = 2*o, u*q = 3*o - 5. Let v = 2 + o. Is v a multiple of 3?
False
Is 10/4*-34*64/(-40) a multiple of 18?
False
Suppose 0 = -k + 5*i + 94, 2*k - 560 = -3*k - 5*i. Let p = k - 61. Is 16 a factor of p?
True
Let x = 542 - 42. Is 20 a factor of x?
True
Let r(g) = -g**3 + 6*g**2 + 4*g - 3. Let n be r(6). Suppose -19 = 2*o - 95. Let j = o - n. Is j a multiple of 11?
False
Let o(u) = -u**2 - 4*u + 21. Let r be o(-10). Is ((-195)/r)/((-5)/(-42)) a multiple of 14?
True
Suppose -5*c = -0*c - 160. Let i = c + -12. Is i a multiple of 10?
True
Suppose 0 = -3*l - 5*h + 2*h + 828, -2*h - 552 = -2*l. Is 12 a factor of l?
True
Suppose 0 = -5*k - 4*u + 5369 + 2322, -5*u - 6120 = -4*k. Suppose k + 1801 = 12*y. Is y a multiple of 10?
False
Is (-2)/(-14) - (1054833/(-91))/17 a multiple of 62?
True
Let n = -222 + 667. Is 21 a factor of n?
False
Let w = 8 + -8. Let h(l) = 6*l**2 - l**3 - 2 - 8 + w + 6*l + 1. Is h(6) a multiple of 12?
False
Let h = 151 + 114. Is h a multiple of 13?
False
Let g(l) = l - 8. Let w be g(6). Let c(i) = -13 - 4 - 15*i + 29 - 8 - 33*i. Does 23 divide c(w)?
False
Let w(z) = -z**3 + 8*z**2 + z - 5. Let x be w(8). Let q = -95 - -355. Suppose g + x*g = q. Is 18 a factor of g?
False
Let h be ((-31)/(-62))/((-1)/(-18)). Is h/27 - (-2002)/6 a multiple of 16?
False
Let a(q) = 68*q**2 + 29*q - 133. Is a(4) a multiple of 63?
True
Let v = 74 + -162. Let m = 158 + v. Is 11 a factor of m?
False
Let f(g) = -2*g**3 - 2 - 5*g - 17*g**3 + 0 + 2*g. Is f(-1) a multiple of 18?
False
Let o(k) = -k**2 + 4*k + 7. Let q be o(5). Suppose -2*c + q*h - 6 = 0, -c + 5 = -6*c + 3*h. Suppose 0 = -c*n + 31 + 41. Is n a multiple of 18?
True
Let g(r) = -14*r**3 - 3*r**2 - 2*r - 20. Is g(-4) a multiple of 19?
True
Suppose c - 2 = 2*c. Let l be ((-60)/3)/(2/c). Suppose -2*s + 90 = -4*u - l, -4*s + 238 = u. Does 12 divide s?
False
Let w be (2 + 2 - 2) + 2. Let b(a) = a**2 + 13*a + 22. Let n be b(-11). Suppose n = w*o - 2*o - 60. Is 10 a factor of o?
True
Suppose 0 = k + 25 + 11. Let d = k - -73. Is d a multiple of 14?
False
Let t(y) = 2 + 2*y + 7 - 12*y + 4. Let k(c) = -5*c + 6. Let h(j) = 7*k(j) - 4*t(j). Does 28 divide h(13)?
False
Let k be -6*(3 + (-28)/8). Suppose k*d - 3 = 0, 0 = -0*g - g - 5*d + 31. Does 6 divide g?
False
Let z be (-1 + 0 - -2) + 7 + -6. Suppose 4*w - 2*q - 47 = 29, -97 = -5*w + z*q. Is 21 a factor of w?
True
Let i(v) be the third derivative of -v**6/120 + v**5/30 + v**4/24 + 55*v**3/6 - 26*v**2. Let u = -8 - -8. Is 38 a factor of i(u)?
False
Suppose -2160 = 7*h - 12*h + m, -2*h = 5*m - 864. Is 48 a factor of h?
True
Suppose -8*v + 4*v = -92. Suppose -3*j - 3*p - 1 = v, 5*j = 2*p - 19. Does 9 divide (100/j)/(2/(-4))?
False
Let j = 360 + -280. Does 21 divide j?
False
Let t(g) = -17*g - 68. Is 17 a factor of t(-18)?
True
Let g(y) = -2*y - 10. Let z be g(-7). Let a be 1*(z - (1 - -1)). Suppose -20 = -3*j + a*j. Is j a multiple of 10?
True
Let l(z) = 16*z**2 + 22*z - 176. Does 4 divide l(6)?
True
Let l(s) = -s**3 + 8*s**2 + 4*s + 24. Let p be l(6). Suppose 2*z = -2*r + 88, -3*r + 3*z + p = 2*z. Is r a multiple of 41?
True
Suppose 3*d = 4*t - 10630, -3*t + 7189 = 4*d - 771. Is t a multiple of 61?
False
Suppose 0 = 5*y + 4*i + 993, -3*i + 795 = -4*y - 6*i. Let t = y - -326. Is t a multiple of 24?
False
Let w = 43 + 59. Let n be (-2)/5 - w/(-5). Suppose -2*h - 2*d + n = -0*h, 0 = 5*h - 5*d - 90. Does 7 divide h?
True
Let v(r) = 2*r**2 + 16*r - 10. Let d be v(-8). Let p(a) = -a**2 - 9*a + 7. Let k be p(d). Let j = k + 8. Is 4 a factor of j?
False
Suppose -b + 384 = b. Let l(g) = -g**3 + 7*g**2 + 13*g - 11. Let k be l(8). Suppose b = -25*c + k*c. Is c a multiple of 16?
True
Suppose 2 = 2*a - 4. Let n = a - -2. Suppose -n*k - 204 = -544. Does 17 divide k?
True
Let v be 2/2*(4 - 4). Suppose j - 15 - 16 = v. Suppose 0 = -3*o + j + 23. Does 9 divide o?
True
Let r(x) = 7*x + 28. Let o(z) = 57*z + 225. Let c(g) = 4*o(g) - 33*r(g). Is 2 a factor of c(-11)?
False
Let m = 197 + 89. Is 26 a factor of m?
True
Let i = -669 + 1531. Is 30 a factor of i?
False
Suppose 0 = -f + 1 + 11. Suppose -5*o = -2*l - 15, -4*o + f = -0*l + 5*l. Suppose o = -5*r + 78. Is r a multiple of 12?
False
Let a = -528 - -589. Is a a multiple of 54?
False
Suppose 0 = 4*x + 3*c - 2*c - 11, -5*x - 4*c = 0. Suppose -191 = -x*l + 49. Is l a multiple of 10?
True
Is 3*-4*(-30)/72 + 1255 a multiple of 5?
True
Let p = 452 + 10. Does 33 divide p?
True
Suppose -2*t - 10 = -4*t. Suppose -t*j = -346 - 29. Is j a multiple of 14?
False
Let n = 103 + -72. Let g = 60 + n. Is g a multiple of 21?
False
Suppose u - 5*w - 443 - 204 = 0, -1334 = -2*u + 2*w. Is 6 a factor of u?
True
Let m(j) = -19*j**3 - 7*j**2 - 25*j + 7. Does 5 divide m(-4)?
False
Let y be (-7 + 2)/(1/(-19)). Suppose 3*g + 2*b + 160 = 0, 0*g + 2*b = -2*g - 104. Let s = y + g. Is s a multiple of 9?
False
Suppose 40 = 2*s - 270. Let i be (17/5 + -3)*s. Suppose 74 = 4*q - i. Is 7 a factor of q?
False
Suppose 4 = -m + 4*y, 4*y - 3 = 2*m + y. Suppose 4*h - 2*h + 2 = m. Is 6 a factor of 11 - (h + (-3 - -5))?
False
Suppose -263 = -3*b + 370. Suppose -x - b = -r, 4*r - 4*x + 619 = 7*r. Is r a multiple of 18?
False
Let j be (1*-1)/((-4)/8). Suppose -j*p = -12 + 2. Suppose -h = p*m - 6, 2*m + 18 = 3*h - 2*m. Is h a multiple of 6?
True
Is 316/12 - 7/(63/(-6)) a multiple of 8?
False
Let m(x) = -52*x + 176. Does 26 divide m(-8)?
False
Suppose 0 = -99*g + 61*g + 16568. Is 4 a factor of g?
True
Let j = -40 + 40. Suppose -7*o - 170 = -3*a - 2*o, j = 4*o - 8. Is 20 a factor of a?
True
Let j(s) = -8*s**3 + 6*s**2 + 5*s - 5. Let o(h) = -7*h**3 + 7*h**2 + 6*h - 6. Let d(r) = -6*j(r) + 5*o(r). Does 10 divide d(2)?
True
Is 6 a factor of 0 + 32 - (-5 - (-2 - 0))?
False
Let i be -9 + -1 + (-2)/(-1). Let k be 34/i + (-15)/20. Let s(x) = -x**3 - 2*x**2 - 4. Does 18 divide s(k)?
False
Suppose 0 = -4*f - 2*v - v + 59, 0 = 3*f - v - 41. Let a(l) = 3*l**2 - 36*l - 14. Is a(f) a multiple of 35?
True
Let h(v) be the first derivative of v**2/2 - 3*v - 2. Let y be h(5). Suppose -y*l + 9 = -29. Is 5 a factor of l?
False
Let o(n) = -2*n**2 + 3*n - n**3 + 0 + 1 + 0*n. Let r be o(-4). Is 15 a factor of (-6)/(-14) - (-621)/r?
True
Let q be 6/(-4) + (-13)/(-2). Suppose q*y - 60 + 10 = 0. Is y even?
True
Suppose 0 = -6*q + 12. Suppose -q*n - 815 = -3*z, -5*z + 4*n = -991 - 368. Does 21 divide z?
False
Is (2037/7 - 0) + -6 a multiple of 19?
True
Let h(t) = -t**3 + 14*t**2 + 16*t - 14. Let a be h(15). Let y(f) = -6*f. Let s be y(a). Is 26 a factor of 255/s*(-2 + 0)?
False
Suppose -4*a + 10 - 26 = -4*c, 5*a + 5 = 0. Suppose 2*k + 7 = c*y - 4, -4*k + y = -3. Suppose 0 = -k*n - 46 + 190. Does 12 divide n?
True
Let r(o) = -o**2 + 10*o - 3. Let m be r(5). Is 6 a factor of m/(-99) - 65/(-9)?
False
Suppose 5*n = 8*n - 141. Let r = n - 33. Is 2 a factor of (48/r)/(10/35)?
True
Let a be (-3)/(-9)*(969 + 0). Let d = a - 179. Is (3/(-4))/((-9)/d) a multiple of 6?
True
Suppose 9*t = 5*t + 92. Let k = 139 - t. Does 29 divide k?
True
Suppose -4*p - 237 = -i + 20, -2*i + 484 = 2*p. Is 8 a factor of i?
False
Suppose 4*g - 3*g + 1 = -4*j, -4*j - 2*g - 6 = 0. Let f(w) = -5*w. Let p be f(j). Is (-252)/(-10) + p/25 a multiple of 25?
True
Suppose -8*g - 2193 = -9737. Does 41 divide g?
True
Let s = 3428 + -1592. Is s a multiple of 17?
True
Suppose -7 = -2*t + 4*k + 15, 5*t - 4*k - 37 = 0. Suppose t*d - 3*u - 71 = 0, -d + 2*d - 5*u = 1. Is d a multiple of 3?
False
Let p = 376 - -796. Is 11 a factor of p?
False
Let l(v) = 136*v - 106. Is 5 a factor of l(5)?
False
Let b(i) = -i**3 + 9*i**2 + 11*i - 8. Let u be b(10). Suppose -4*f = 3*z - 39, u*z - 24 = -f + 6*z. Does 5 divide f?
False
Suppose -6*u = 3*j - 2*u - 7, 8 = 4*j + 5*u. Let h(s) = 87*s - 169*s + 81*s + 4*s**2 - 2*s**3. Is h(j) a multiple of 26?
False
Suppose 2*v - 115 = 5*f, -v + 2*f + 2*f + 65 = 0. Is v a multiple of 32?
False
Let y = -454 - -544. Does 9 divide y?
True
Is ((-13)/2)/(23/(-3588)) a multiple of 26?
True
Let w(k) = -21*k - 3*k**2 + 4*k**2 - 5 + 9*k - 2. Let l be w(12). Let o = l + 36. Is o a multiple of 29?
True
Suppose -2*w = -5*f + 4791, -3*f + f - w = -1920. Is 26 a factor of f?
False
Suppose -5*m - 307 = -3*x + 426, 0 = x - 3*m - 243. Let s = x - 56. Does 38 divide s?
True
Suppose 0 = -5*c - 2*y + 1050, -3*c + 5*y = -1040