 0 + (-1 - (-2 - 9)). Let r = q + -13. Is 6 a factor of (r/1)/(-6)*38?
False
Let l = -130 - -326. Let m = 128 - l. Is 7 a factor of m*(27/(-12))/9?
False
Suppose 4*c + 139 = -5*r, -3*r - 108 = 3*c - 0*c. Let p = c + 68. Does 9 divide p?
True
Suppose 2*x + 20 = 7*x. Suppose -g + x*j = 4*g - 66, -75 = -5*g - 5*j. Does 4 divide g?
False
Let w(n) = -9*n**2 + 2*n + 9. Let b be w(-3). Let u = b - -117. Is 8 a factor of u?
False
Is 951 - (-3 - (-3 - -6) - -4) a multiple of 5?
False
Suppose -5*i = -3*t + 16, i - 12 = -5*t + 24. Suppose -t*l + 1160 = l. Does 21 divide l?
False
Let d = -3263 + 4752. Does 11 divide d?
False
Let p(q) = 7 + 35*q + 7 - 22 - 3. Is 41 a factor of p(5)?
True
Let d(p) = 3*p**2 + 9*p - 6. Let i(u) = -6*u**2 - 18*u + 11. Let k(h) = 5*d(h) + 2*i(h). Is k(-11) a multiple of 12?
False
Suppose -5*i - 86 - 194 = -5*s, 4*i + 20 = 0. Suppose v = -2*v + s. Suppose x - 2*x = -v. Is x a multiple of 5?
False
Suppose -3*o + 25 = 7. Suppose -3*m - 4*z + 316 = 0, m = o*m - 4*z - 548. Does 9 divide m?
True
Let f = -337 + 535. Is 17 a factor of f?
False
Suppose -18*f + 34101 = -6525. Does 38 divide f?
False
Suppose -7*v + 3*h + 9711 = -4*v, 0 = -4*v + h + 12933. Is 101 a factor of v?
True
Let d(z) be the first derivative of -z + 7/3*z**3 + 2*z**2 - 1/4*z**4 + 3. Is 7 a factor of d(7)?
False
Suppose -5*t = 4*q - 6*q - 15, 2*q + 12 = 4*t. Let l = t - 0. Is l + 9/(-3) - -10 a multiple of 10?
True
Let v(w) = 14 + 7*w**2 + 0*w - 17 + 15 - 4*w. Is v(4) a multiple of 18?
True
Let u = -614 - -1207. Is 13 a factor of u?
False
Let d = -18 - -18. Let n be -1*(-2)/2*2. Suppose 2*j - 4*j + 70 = n*h, -5*h + 25 = d. Is 10 a factor of j?
True
Suppose 5*n - 40 = -10. Let c(k) = 0*k**3 - 5*k**2 - 6*k + 12*k**2 + 7 + 0*k**3 - k**3. Is c(n) a multiple of 4?
False
Suppose -10*y + 6*y = 236. Let c = -101 - y. Let s = -23 - c. Is 6 a factor of s?
False
Suppose -27025 = -5*f + 5*d, -14*f + 19*f + 2*d = 27032. Is f a multiple of 34?
True
Let h(z) = 41*z**2 + 9*z - 20. Is 21 a factor of h(4)?
True
Suppose -256*v = -253*v - 2559. Is v a multiple of 44?
False
Let d(s) be the third derivative of -s**6/60 - 3*s**5/20 - s**4/6 - s**3 - 18*s**2. Does 21 divide d(-6)?
True
Suppose -2*w = -5*s + 2*s - 301, w - s = 149. Let f = -109 + w. Is f even?
False
Suppose -4*u = 5*u - 6498. Suppose -150 = -r - v, -r - 4*r = -2*v - u. Does 13 divide r?
False
Suppose 0 = 3*u - 2587 - 1910. Is 9 a factor of u?
False
Let p(v) = 10*v**2 + 8*v - 42. Does 23 divide p(6)?
False
Let c = -34 + 19. Is 26 a factor of (24 - c)/(-1 + 2)?
False
Suppose 0 = j + 4*k - 122, 6*j - k - 547 = j. Suppose 0*l + 5*l = j. Is 2/(2/(-3)) + l a multiple of 6?
False
Let m(i) = -i**3 - 25*i**2 + i + 62. Does 37 divide m(-25)?
True
Let z = -34 + 269. Does 8 divide z?
False
Suppose -2*g = -4*g + 10. Suppose -244 = -g*l + 116. Does 24 divide l?
True
Let p = -67 - -66. Is 16 a factor of (0 + 1)/p*-126?
False
Let b(a) = a**3 - 3*a**2 + 6*a - 14. Is b(5) a multiple of 11?
True
Let u(r) = 5*r - 11. Let z(b) = -14*b + 32. Let v(w) = -11*u(w) - 4*z(w). Let q be v(-5). Is 1*q/16*-28 a multiple of 18?
False
Is 10 a factor of (-14638)/(-24) + 6/72?
True
Suppose -5*u + 14 = -2*a, 7*u - 3*u = -4*a. Suppose -4*y + 9*r + 24 = 5*r, -24 = -u*y + 5*r. Does 9 divide y/((-10)/(-15)) + 69?
True
Suppose -3*d = -7*d + 8. Suppose 4*o = -d*u + 26, 7*u + 5*o - 40 = 2*u. Does 8 divide (-5)/(-15)*u - -7?
True
Let p be (-20 - -23)/(5/3 + -2). Let w = p + 46. Is 8 a factor of w?
False
Suppose -31*a + 36*a - 900 = 0. Is a a multiple of 20?
True
Let t = 2023 + -919. Is t a multiple of 8?
True
Suppose -a + 1173 = 2*h - 560, -4*a = -4*h + 3436. Is h a multiple of 32?
True
Suppose -9*p = -8*p + 1. Is (24/15)/(p/(-30)) a multiple of 24?
True
Let l(f) = -3*f - 3. Let i(h) = -4*h - 3. Let n(a) = -4*i(a) + 5*l(a). Let r be n(-4). Let x(z) = -z + 1. Does 8 divide x(r)?
True
Suppose 5*y = 4 + 6. Let q = 3 + y. Suppose -q = -3*c + 16. Does 7 divide c?
True
Suppose -5*a = -2*y - 42 + 135, 4*a = -5*y + 183. Suppose 0 = w - y - 30. Is w a multiple of 16?
False
Let a(g) = -g**3 + 9*g**2 - 6*g + 10. Suppose -9*q + 8*q + 7 = 0. Let o be a(q). Suppose -o = -7*k + 5*k. Is k a multiple of 11?
True
Suppose 5*o + 3*r = -r + 17, -r + 23 = 5*o. Suppose 2*i = -o*z + 30, 4*z - 12 = -2*i + 16. Is 3 a factor of i?
False
Let y(r) = 9*r**2 - 8*r + 4. Let g = 4 - 9. Let o(v) = -6*v**2 + 5*v - 3. Let x(s) = g*y(s) - 8*o(s). Is 26 a factor of x(4)?
True
Let v be (-704)/(-24)*(-8 - 1). Is (3/(-4))/(6/v) a multiple of 6?
False
Suppose -7*b - 30 = -2*b. Let q(m) = 15*m**2 - m - 1. Let d be q(1). Let c = d + b. Is c a multiple of 7?
True
Let v(o) = -o**3 - 10*o**2 - 13*o - 8. Let k be v(-10). Suppose -5*h + k = -3*g, -g + 6 + 20 = h. Is h + (0 - 2) + -1 a multiple of 11?
True
Let v(j) be the third derivative of -19*j**4/24 - 7*j**3/2 + 37*j**2. Is 29 a factor of v(-14)?
False
Suppose -17*k + 16*k + 2 = 0. Let v(b) = b**3 + 6*b**2 + 2*b + 2. Let q be v(-3). Suppose -k*a + q = -13. Is 15 a factor of a?
False
Suppose 21*p - 4926 + 1062 = 0. Is p a multiple of 23?
True
Let v = -68 - -72. Suppose -z + 2*z + 2*o = 24, -v = -z + 2*o. Is z even?
True
Let i be 2/5 + (-6)/((-240)/22024). Suppose -s = 5*n - i, 2*n + 90 - 292 = -5*s. Is 11 a factor of n?
False
Let p(j) = 0 - 2 - 1 - j - 2. Let k be p(-8). Suppose 0 = -o - h + 32, o - 152 = -4*o + k*h. Is o a multiple of 22?
False
Suppose 5*q - 39 = 3*t - 7, -4*q - 32 = 4*t. Suppose 4*h - 2*j - 134 = 0, -h - 184 = -6*h - 3*j. Let a = h + t. Does 13 divide a?
True
Let a = 18 - 16. Suppose 0 = -0*t - a*t. Suppose 3*y = -t*y + 426. Does 33 divide y?
False
Let z(m) = -13*m - 1. Let s be z(-5). Suppose -9*l = -11*l + s. Does 4 divide l?
True
Let x(c) = c**3 + 42*c**2 - 121*c - 77. Is x(-44) a multiple of 6?
False
Let j = 86 - 13. Suppose -2*t - 4 = 2*t. Is t*(20/(-5) - j) a multiple of 13?
False
Let u = -12 + 12. Suppose u = 2*n - z, -3*z + 4 = -2*z. Does 2 divide n?
True
Is 72 a factor of ((-4)/((-8)/29))/(2/124)?
False
Suppose 3*l - 52 = 41. Suppose 3*g - 5*d - 44 = -g, -26 = -5*g - d. Let x = l + g. Does 37 divide x?
True
Let j(k) = -24*k + 86. Does 11 divide j(-12)?
True
Suppose -8*c = -c. Suppose 3*j + 79 - 442 = c. Does 15 divide j?
False
Suppose 10 = x - 0. Suppose -63*l + 46*l - 17 = 0. Does 14 divide l + x/(-5) + 18?
False
Let n = -53 + 77. Is 3 - n/(-20)*160/4 a multiple of 13?
False
Let x(u) = -u + 17. Let y be x(14). Suppose n - 5 - 12 = y*q, -127 = -5*n + q. Does 11 divide n?
False
Suppose 2*d - 4 = -r + 30, 4*d + 72 = 3*r. Suppose r*j + 43 = 29*j. Does 19 divide j?
False
Suppose 6*n = 4*k + 4*n - 2, n + 1 = 5*k. Suppose k = -f + 2*r + 119, -f + 111 = r + r. Is 17 a factor of f?
False
Let x = -109 - -835. Is 11 a factor of x?
True
Let u(x) = 83*x**2 + 20*x + 69. Is u(-3) a multiple of 28?
True
Let l(j) be the third derivative of j**6/120 + j**5/30 - j**4/24 + 5*j**3 + 12*j**2. Is 6 a factor of l(0)?
True
Does 74 divide (-1 + -73)/(9/(-90))?
True
Is 18 a factor of (53 - 93)/(0 - 2/360)?
True
Suppose -j = 5*h + 5, 2*h - 8 = -2*j + h. Suppose -j*y + 220 = -425. Suppose 0*g = -3*g + y. Is g a multiple of 22?
False
Let s = -23 - -26. Suppose s = d + 8. Is 8 a factor of 1*12 - (d + 5)?
False
Suppose 4*u - 1845 = -253. Does 26 divide u?
False
Let n(g) be the third derivative of 0*g + 0 + 0*g**3 - 1/120*g**6 - 1/30*g**5 - 2*g**2 + 1/8*g**4. Does 20 divide n(-4)?
True
Let a(n) = -6*n + 4. Let l be ((-1)/3)/(6/(-72)). Let b be a(l). Is 25 a factor of (b/12)/(3/(-90))?
True
Suppose 2*w = 2*k - w - 143, -5*w = -3*k + 215. Does 15 divide k?
False
Let c = 23 + -19. Suppose 0*l - 36 = -c*l. Is l even?
False
Let v(f) = -41*f - 11. Let g(z) = -z**2 - 8*z - 1. Let d be g(-9). Let n = -13 - d. Does 28 divide v(n)?
True
Let g = -129 - -211. Let h = -31 + g. Suppose -u - 6 = -h. Is u a multiple of 15?
True
Let s(z) = -z**3 + 11*z**2 + 32*z - 3. Is 14 a factor of s(-10)?
False
Suppose -23*a + 7165 - 2657 = 0. Is 98 a factor of a?
True
Let l(o) = 39*o**3 - o**2 + o. Let a be (-49)/(-63) - 2/(-9). Let k be l(a). Is (k/(-5))/(2/(-10)) a multiple of 11?
False
Let j(v) = 7*v**2 + 30*v + 40. Does 77 divide j(-12)?
False
Suppose -4*t = 10 - 46. Suppose 15*z - t*z = 390. Is z a multiple of 7?
False
Let u(f) = -f**2 - f**2 + 38*f**3 + 5*f - 1 - 4*f + 3*f**2. Is u(1) 