ue
Let l = 89 + -12. Let r = l + -27. Does 10 divide (r/15)/((-2)/(-6))?
True
Let y(r) = 19*r**2 - 27*r - 5. Is y(4) a multiple of 3?
False
Let m = 444 - 326. Is m a multiple of 99?
False
Suppose 0 = 22*a - 21*a + 36. Let d = a + 52. Does 16 divide d?
True
Is 3 - -3*31/3 a multiple of 34?
True
Let t = 49 - 49. Suppose t = 3*v - 0*v - h - 217, -3*h - 147 = -2*v. Is 18 a factor of v?
True
Let l be 10 - 0/1*-1. Let f(h) = -h**3 + 10*h**2 + 6*h + 3. Is f(l) a multiple of 21?
True
Let n = -2 + 3. Let j be 2/(93/91 - n). Suppose 0*r + j = r. Does 13 divide r?
True
Let h(a) = -55*a + 33. Is 10 a factor of h(-2)?
False
Is 2 a factor of 4/18 + (3336/27)/2?
True
Suppose 3*u - 72 = 924. Let q = u + -227. Is 15 a factor of q?
True
Suppose -3*x + 355 = 2*x. Suppose d - 5 = -0*d - h, 3*h = 9. Suppose -g + d*g - x = 0. Does 20 divide g?
False
Suppose -4*m - 5*w + 119 = -4*w, m = -3*w + 38. Is m a multiple of 29?
True
Let f(v) = v**3 + 8*v**2 - 6. Let j be f(-8). Let y(r) = -14*r - 6. Let l be y(j). Suppose -9*a + l = -6*a. Is a a multiple of 13?
True
Suppose -2*w = 5*l - 6, -5*w + 0 + 15 = -2*l. Suppose -a - 2*h - h + 38 = l, -5*a + 2*h = -156. Is 21 a factor of a?
False
Let x(k) = -k**2 - k - 1. Let p be x(2). Let u(w) = 2*w**2 + 4*w - 6. Does 8 divide u(p)?
True
Let z = 5 + -3. Suppose 5*f - 30 = z*f. Is 10 a factor of f?
True
Let o(i) = -31*i + 12. Let l be o(6). Let b = l - -284. Is 22 a factor of b?
True
Suppose 2*x + 2310 = -5*x. Let g = x - -702. Suppose -4*t = -2*u - g, t - 6*t + 3*u = -464. Is t a multiple of 22?
False
Let z be ((-12)/(-18))/(4/(-102)). Does 7 divide (-4)/4*3 - z?
True
Let l(a) = a**3 + 10*a**2 + 9*a - 1. Let g be l(-9). Let h = 1 - g. Suppose -2*d - h*c + 108 = 0, 0*d - 5*c - 230 = -5*d. Does 31 divide d?
False
Let c(q) = 72*q**2 + 9*q - 24. Is 21 a factor of c(3)?
True
Let w be (-52)/(-16) + (-3)/(-4). Suppose b - 22 = w*d, -4*b - 5 - 7 = 4*d. Is (b - -21) + (0 - 1) a multiple of 11?
True
Let n(x) = -2*x**2 + 9*x - 11. Let w be n(5). Let v = 10 + w. Let f(g) = -6*g - 17. Does 19 divide f(v)?
True
Let w(c) = 269*c**3 + 2*c**2 - 4*c + 3. Let g be w(1). Let l = -133 + g. Does 25 divide l?
False
Let r(a) = 3*a**2 + 20*a. Let g be r(-8). Is 6/(g/(-12) + 3) a multiple of 10?
False
Let s(t) = 103*t + 867. Is 16 a factor of s(-5)?
True
Let z(l) = l**3 - 13*l**2 + 15*l - 7. Let n be z(12). Suppose 38 - 8 = 2*s - 3*b, -s + 5*b = -n. Is s a multiple of 3?
True
Let v = -204 + 456. Suppose 12*h + v = 15*h. Does 35 divide h?
False
Let w(i) = -71*i - 262. Is 20 a factor of w(-12)?
False
Suppose -g = -0*g + 119. Let p = g + 249. Is p a multiple of 26?
True
Let q(a) = 36*a**3 + a - 1. Let f be q(1). Let n = 36 - f. Suppose n*k + 2*k + 200 = 5*b, -121 = -3*b + k. Is b a multiple of 14?
True
Suppose -8*c + 7*c - 184 = 0. Let s = 80 + c. Let w = -51 - s. Does 20 divide w?
False
Let o(c) be the second derivative of c**4/4 + 3*c**3/2 - c**2 + 2*c. Does 40 divide o(6)?
True
Let x(d) be the first derivative of d**2 - 16*d - 1. Let t be x(9). Let s = 46 + t. Is s a multiple of 16?
True
Let o = -18 + 23. Let m = 61 + o. Is m a multiple of 6?
True
Suppose -5*m = 15 - 0. Is 8 a factor of (-7 - -10)/(m/(-16))?
True
Suppose 52 = 2*v + 16. Let d = -12 + v. Let o(w) = -w**2 + 7*w + 10. Does 4 divide o(d)?
True
Suppose -2180 = -11*x + x. Is x a multiple of 30?
False
Let b = 43 - 23. Suppose 0*r + 5*a + 22 = -r, 4*a + b = 0. Suppose -2*y = r*d - 15, 6*y + 9 = 3*y. Does 4 divide d?
False
Suppose -3906 = -4*d + 49042. Let g be (-2)/12 - d/(-42). Suppose -4*x = -x - 3*b - g, 315 = 3*x - 4*b. Is x a multiple of 35?
True
Let g(i) = -34*i**3 + i**2. Let x be g(1). Let o = 20 - x. Does 15 divide o?
False
Suppose 5*w = 1127 + 1438. Does 19 divide w?
True
Suppose -61*z = -66*z + 255. Does 21 divide z?
False
Let m = -109 + 112. Suppose -m*o = 2*g - 168, 0*o + 2*o = -4*g + 344. Does 29 divide g?
True
Suppose 0 = -l - 4*z + 155, -9*z = 2*l - 6*z - 315. Is 49 a factor of l?
False
Suppose 169*o = 167*o + 1488. Does 62 divide o?
True
Let d be -24*-1*3/(-6). Let t = 24 + d. Is t a multiple of 11?
False
Let g(y) be the third derivative of y**5/12 + 19*y**4/24 - 2*y**3/3 + y**2. Is g(-9) a multiple of 23?
True
Let a = 12 + -11. Let v(o) = 31*o - 1. Let q be v(a). Suppose -50 = -4*l - g + 10, -5*g = 2*l - q. Is l a multiple of 4?
False
Suppose 6 - 9 = -3*s. Let y be 3/(-2)*10/15. Is 5 a factor of (y/1 - -6)/s?
True
Let r = -77 + 76. Is ((-3)/r)/(1/68) a multiple of 31?
False
Let c(o) = -2*o**2 - 30*o - 36. Let g(i) = -i**2 - 15*i - 18. Let q(w) = 4*c(w) - 7*g(w). Does 6 divide q(-9)?
True
Suppose 0 = -2*f + z + 4, -3*z + 3 = -3*f + 6. Let s(w) = -w**2 + 3*w + 1. Let j be s(f). Let v(y) = 19*y. Is v(j) a multiple of 19?
True
Let s = -189 - -1000. Is 15 a factor of s?
False
Let n(w) = -w. Let q(f) = f**3 - 7*f + 66. Let k(a) = -6*n(a) + q(a). Suppose 0 = -4*t + t + 3, t = -4*s + 1. Does 22 divide k(s)?
True
Let d be 8/(0 - -2) - (-18 - -19). Suppose -d*m + m = -96. Is 6 a factor of m?
True
Let o(v) = v**3 - 3*v**2 + v + 2. Let b be o(3). Suppose -5*f = 4*z - 494, 2*f + 490 = 4*z + b*f. Let k = 170 - z. Is k a multiple of 27?
False
Let j(b) = 55 + b - 55. Let u be j(2). Suppose 0 = -u*i - 0*i + 108. Is i a multiple of 18?
True
Is 90 a factor of ((-4)/(-14))/(3/11046*2)?
False
Let b(w) = -125*w. Let u be b(1). Let r = u - -234. Suppose 5*c - r = 171. Is 16 a factor of c?
False
Suppose -5 = b - 210. Is 41 a factor of b?
True
Let f(i) = i**3 - 2*i**2 - 4*i + 2. Let x be f(3). Let s(p) = -p**2 + 1. Let q be s(x). Suppose -2*n + 2*t + 44 = q, t - 83 = -4*n - 0*t. Does 13 divide n?
False
Let a(z) = -z**3 - 7*z**2 + 9*z + 10. Suppose -24 = -2*p + 5*p. Let m be a(p). Let y = 20 - m. Is y a multiple of 9?
True
Let a(w) = -104*w + 22. Is 21 a factor of a(-1)?
True
Let l(y) = y + 208 - 223 + 3*y. Is 7 a factor of l(9)?
True
Let u = -15 + 36. Let c = u + -36. Does 6 divide (c/(-25))/((-2)/(-20))?
True
Let z(j) = 49*j + 42. Let q(v) = 1079*v + 923. Let s(x) = 3*q(x) - 65*z(x). Does 26 divide s(4)?
False
Suppose 0 = -2*o + 9*o - 4648. Is 8 a factor of o?
True
Suppose -1366 = -5*r + 444. Is r a multiple of 10?
False
Suppose 0 = -3*m - 106 - 170. Is 4 a factor of m/(-3) + 11/33?
False
Suppose -3*m - 90 = -4*m. Let j = -34 + m. Does 8 divide j?
True
Let o(u) = -u**3 - 3*u**2 + 4. Let g be o(-3). Suppose g*y - 70 = 4*p - 230, -5*p + 3*y + 192 = 0. Is p a multiple of 9?
True
Let m = 19 - 19. Is m + 2434/18 + (-8)/36 a multiple of 12?
False
Let x(z) = 2*z**2 - 7*z + 21. Is x(-8) a multiple of 5?
True
Let b = -176 - -197. Does 7 divide b?
True
Let p(l) = 12*l**2 + 3*l - 3. Let k be p(2). Suppose 0 = -5*b + t + 147, -6*t + 5*t = 3*b - 93. Let a = k - b. Is 21 a factor of a?
True
Suppose 3*y + 3*z + 12 = 0, -y + z = -z - 8. Let p(u) = u + 2*u**2 + 2 + 3*u + y - 3. Is 14 a factor of p(-4)?
False
Let f(b) = -b**3 + 12*b**2 - 19*b - 6. Is 16 a factor of f(6)?
True
Does 24 divide 2/6 + 1941/9?
True
Suppose 18 = 5*q - 14*q. Let o(f) = -54*f - 6. Does 17 divide o(q)?
True
Let t(h) = h**3 + 7*h**2 - 11*h + 7. Is t(-8) a multiple of 5?
False
Suppose 10*i = 9*i + 4. Suppose 0 = i*a - 8 - 116. Does 12 divide a?
False
Let d(n) = 14*n**3 - n - 2. Let a be d(-2). Is (a/(-21))/((-4)/(-6)) a multiple of 2?
True
Suppose 0 = -4*a - 3*p + 100, 0 = -2*a + 3*p - 0*p + 50. Is a a multiple of 12?
False
Does 7 divide 12/(1*-2) + (-7616)/(-28)?
True
Let j be (-6)/5*30/(-1). Let f be 4/(-10) + ((-94)/(-10) - -4). Let c = j + f. Is c a multiple of 24?
False
Let l(g) = 13. Let b(w) be the third derivative of -w**4/24 - 11*w**3 + w**2. Let r(k) = 2*b(k) + 11*l(k). Is r(-10) a multiple of 10?
False
Let s(r) = 48*r - 2. Let t be s(1). Suppose -3*k + t = -k. Does 15 divide k?
False
Let b(v) = 12*v + 2*v**3 + 7*v**3 - 16 - 9*v**2 - 10*v**3. Is 15 a factor of b(-11)?
False
Let m be 6/(1 + -3)*-1. Suppose 8*f - 2*p = m*f + 8, -f + 1 = -p. Suppose 0 = -f*u - u + 42. Does 14 divide u?
True
Let n = -80 - -197. Is 18 a factor of n?
False
Let a = 3 - -2. Let r(z) = -3 + a*z + 0 - 1 - 1. Does 10 divide r(5)?
True
Is 11 a factor of -660*(9 - 209/22)?
True
Let t = -22 - -3. Let y(p) = -p**3 + 8*p**2 - 2*p - 1. Let q be y(7). Let o = t + q. Is o a multiple of 15?
True
Suppose -38 + 74 = 3*a. Suppose a + 20 = 4*g. Is g a multiple of 2?
True
Let b