(-6)/j*f*-43 a multiple of 26?
False
Let v(x) = 6*x**2 - x**2 - 2*x - 2 - 4*x**2 - 3. Let i be v(-5). Does 13 divide 15/i - (-58)/4?
False
Let d(c) = 24*c - 16. Does 11 divide d(16)?
False
Suppose -39*f - 2952 = -48*f. Is f a multiple of 8?
True
Let p(g) = 5*g**3 - 8*g**2 - 4*g - 13. Does 14 divide p(9)?
False
Suppose -52*b = 72*b - 334056. Is 60 a factor of b?
False
Suppose -5*i = -4*i - 13. Suppose 1 - i = -3*o. Suppose 3*d = 3*r + 93, 0*r + r = -o*d + 124. Is 11 a factor of d?
False
Suppose 0 = f - s - 26, -3*f = s - 52 - 18. Let g be 4496/56 - 4/14. Let y = g - f. Does 14 divide y?
True
Suppose 5*a = 5*k - 3*k - 1, -5*a = -3*k + 9. Suppose 13*x - 15*x + k = 0. Is x a multiple of 4?
True
Let z(t) = 18*t - 65. Is 2 a factor of z(7)?
False
Let g be 2/(6/135) - -3. Suppose -3*l - g = l. Does 14 divide (-86)/(-6) + 4/l?
True
Let l be (0 - 5 - -3)/((-1)/24). Suppose -5*n + 3*n - 3*z = -20, 0 = -2*n + 4*z + l. Does 4 divide n?
True
Let r(s) = 40*s**2 - 12*s + 12. Is 10 a factor of r(1)?
True
Let i = -420 - -769. Is i a multiple of 17?
False
Let o(a) = a**3 - 6*a**2 - 46*a + 25. Is o(11) a multiple of 67?
False
Let y(s) = 3*s**2 - 3*s - 5. Let a be y(4). Let d = 9 + a. Does 8 divide d?
True
Is 414 - (-9 + 3)/(-1) a multiple of 26?
False
Let i(u) = -u**2 - 6*u - 5. Let q be (2 + -1)/((-1)/3). Let a be i(q). Suppose a = l - 23. Is 14 a factor of l?
False
Suppose -49*v + 8280 = -4*v. Is v a multiple of 8?
True
Is 75 a factor of -4 - ((-125)/50 + (-2366)/4)?
False
Let h(m) = m + 5. Let n be h(-6). Let i(s) = -560*s - 48. Let f(a) = 59*a + 5. Let o(j) = -48*f(j) - 5*i(j). Does 9 divide o(n)?
False
Suppose -85*v + 18405 + 30215 = 0. Is 11 a factor of v?
True
Let r(b) be the third derivative of b**4/2 + 17*b**3/2 + 8*b**2. Does 9 divide r(10)?
True
Suppose 9*f + 67 - 11560 = 0. Is f a multiple of 43?
False
Let t(g) = -3*g - 5. Let x be t(-4). Suppose 3*w - 4*i = 14, -2*i - 28 = 2*w - x*w. Suppose 8*u - 56 = w*u. Is 7 a factor of u?
True
Let c(v) = -v**3 + v**2 - v - 2. Let f be c(2). Let p(a) = 2 - 3 - 17*a - 1 - 7*a - a**2 + 15*a. Does 2 divide p(f)?
True
Let h be (116 - 3) + -6 + 2. Let r = -47 - -3. Let c = h + r. Is c a multiple of 21?
False
Let q = 341 + -216. Suppose q = -15*x + 10*x. Let j = x - -36. Is 6 a factor of j?
False
Let a = -6 - 7. Let l(y) = y**2 + 24*y + 52. Let i be l(-23). Let t = i + a. Is 12 a factor of t?
False
Let f(o) = -o**3 + 4*o**2 + 7*o - 5. Suppose 2*h + 22 = 3*x + x, -2*x + 23 = -5*h. Let l be f(x). Suppose 19*g + 140 = l*g. Is 17 a factor of g?
False
Let z = 173 - 111. Suppose 67*b - z*b = 520. Is 10 a factor of b?
False
Let a(n) = 6*n**2 + 28*n + 14. Suppose 0 = -8*w + 2*w - 54. Is a(w) a multiple of 51?
False
Does 6 divide (2 + -28 + 1)/(4/(-20))?
False
Suppose -298 = -3*x + 5*t, -3*x = -t + 4*t - 258. Suppose -w + 2*w - x = 0. Is 13 a factor of w?
True
Let a(c) = 20*c**3 - 4*c**2 - 12*c + 36. Does 28 divide a(3)?
True
Suppose -192 = -n + 123. Let c = -658 + 925. Suppose 6*x = n + c. Is 16 a factor of x?
False
Let j(t) = -t**2 + 6*t - 4. Suppose -3*y + 1 = -11. Let x be j(y). Is 3 a factor of ((-5)/4)/((-1)/x)?
False
Let o(b) = -b**2 + 2*b + 174. Let s be o(0). Let c = 284 - s. Does 16 divide c?
False
Suppose -6*r - 345 = -2817. Is 21 a factor of ((-8)/(-16))/(2/r)?
False
Suppose 0 = -s + 5*p + 130, -s + 4*p + 200 = 69. Is s a multiple of 45?
True
Let o = 811 - -110. Is o a multiple of 87?
False
Let m be 88/(-308) + (-380)/(-7). Suppose 4*p - 4*r = -192, -r = p - 0*p + 54. Let d = m - p. Does 21 divide d?
True
Let u = -65 - -65. Suppose 0 = 5*g + 2*j - u*j - 82, 2*g + 4*j - 36 = 0. Is 14 a factor of g?
False
Suppose 0 = -3*c - 30 + 9. Let u = c + 3. Let h(n) = n**2 - n - 1. Is 9 a factor of h(u)?
False
Let g(p) = 7*p**3 - p. Suppose 5*b - 40 = 80. Let v be 18/b + (-5)/(-4). Is 18 a factor of g(v)?
True
Let p(x) = 2*x**2 - 46*x - 23. Let j be p(25). Suppose 3*u = r + 113, 0 = u + u - r - j. Is 2 a factor of u?
True
Let t(s) = -142*s - 365. Is 13 a factor of t(-12)?
True
Suppose 2*q = 5*b - 1518, 4*b - 723 = -5*q + 465. Suppose b - 22 = 4*u. Does 35 divide u?
True
Let g(m) = -11*m - 3. Let z be g(-3). Suppose z = h + h. Is h a multiple of 4?
False
Is 72 a factor of (1/(-5))/(12 + (-393486)/32790)?
False
Let m = -28 - -46. Let y be (20 - m) + (0 - -1). Suppose y*n - n = 36. Does 13 divide n?
False
Let f = 1804 - 553. Is f a multiple of 8?
False
Let p be (-2)/1 + 2 + -5. Let z(b) = -6*b + 2. Let h be z(p). Suppose -6*x + 7*x = h. Does 8 divide x?
True
Suppose 0 = -4*m - o + 95, -o - 2 = -5*m + 119. Let l = m - 4. Does 10 divide l?
True
Does 8 divide 40/(-8)*2/5*-1195?
False
Let r(j) = -j**2 - 43*j + 121. Does 7 divide r(-20)?
True
Let c be 2 + ((-56)/24)/((-2)/42). Suppose -3*g + 201 + c = 0. Is g a multiple of 22?
False
Suppose 41*h - 37*h + 1276 = 0. Let x = h - -515. Is x a multiple of 37?
False
Let d = 254 + -95. Suppose 3*h - 6*h = -d. Suppose 4 - h = -y. Does 15 divide y?
False
Let j(t) = 124*t - 16. Is j(1) a multiple of 3?
True
Let l(g) = g**3 + 22*g**2 + g - 56. Let r(b) = -6*b**3 - 110*b**2 - 5*b + 281. Let a(p) = -11*l(p) - 2*r(p). Is 16 a factor of a(22)?
True
Let a be 0 + 1 + -4 + 9. Let v(l) = -l**2 - 1 - a - 11*l + 7. Is 8 a factor of v(-6)?
False
Let j(o) = 2*o + 5. Suppose 2*c = -0*z - 4*z + 30, 0 = -2*c + 3*z - 5. Is j(c) a multiple of 15?
True
Let k(q) = 40*q + 6. Let u be k(8). Suppose 30*r - 28*r - u = 0. Does 19 divide r?
False
Let u(f) = 37*f**2 - 5*f + 34. Is 13 a factor of u(-4)?
False
Let m = -56 - -18. Is 23 a factor of 2 + (-19)/(m/180)?
True
Let d be (-45)/(-12) - (-2)/8. Let r(c) = c - 16. Let s be r(16). Suppose -d*m + 48 + 88 = s. Does 15 divide m?
False
Suppose -2*v = -7*v - 1390. Let c = v + 393. Is 13 a factor of c?
False
Suppose 0 = 4*r + 1 - 5. Is 37*r - 40/10 a multiple of 11?
True
Let q be 2/(-7) + (-3179)/(-77). Let b = q + 25. Is 33 a factor of b?
True
Suppose 78 + 58 = 3*r + l, l = 4. Let i = r + -40. Suppose i*a = -12, -3*d + 150 = -d - 2*a. Is 15 a factor of d?
False
Let r = -22 - -28. Suppose r*q - 6 = 3*q. Is -52*q*2/(-4) a multiple of 12?
False
Let k = -28 + 30. Suppose 5*q = k*q + 189. Does 11 divide (-14)/q - (-101)/9?
True
Let i(d) = -11*d**2 + d - 7. Let b be i(2). Let o = b + 88. Does 7 divide o?
False
Let k = 24 - 38. Is (-3688)/k - 30/70 a multiple of 34?
False
Let d(n) = n**2 - 4*n - 5. Let s(l) = -l**3 + 9*l**2 - 7*l. Let y be s(8). Is d(y) a multiple of 9?
True
Let w = -536 - -887. Does 12 divide w?
False
Let y(h) = -2*h**2 + 25*h. Let p be y(12). Is 165/p + -3*(-2)/24 a multiple of 3?
False
Let c(r) = -r**3 - 18*r**2 - 16*r - 20. Let g be c(-16). Let m = -178 - g. Is 49 a factor of m?
True
Let f be (3 - 11) + 2 + 3. Let r = f + 6. Suppose r*x - 37 = -5*s, -5*x + 0*x = s - 69. Is 4 a factor of x?
False
Let b = -14 + 17. Let u(r) = 9*r + 1. Does 7 divide u(b)?
True
Let c(f) be the third derivative of f**5/60 - 7*f**4/24 + f**3 - 3*f**2. Let j be c(6). Suppose j = t - 27 - 0. Does 9 divide t?
True
Suppose 3*z + 0*p - 5*p = 103, 3*p + 130 = 4*z. Let m = z + 131. Does 22 divide m?
False
Let s be 52/(-5) - (-14)/35. Is 2 a factor of 1 + (-48)/40 - 82/s?
True
Does 69 divide (7/((-35)/36))/((-4)/190)?
False
Let k(q) = 2*q**3 - 3*q**2 + 3*q - 2. Let s be k(3). Let y = s - 26. Is (-57)/2*y/(-6) a multiple of 8?
False
Suppose 10*z + 116 = -204. Suppose -5*h + 48 = -h. Let f = h - z. Does 12 divide f?
False
Let n(b) = 3*b**2 + 4*b + 11. Let j(s) = -s**2 + s - 1. Let t(w) = 2*j(w) + n(w). Let a be 2/2 + 27/(-3). Does 12 divide t(a)?
False
Suppose 16 = 3*b + q, 0 = 4*b + 4*q - 7 - 9. Suppose -b*m + 8 = -4*m. Is (20 + m)*3/3 a multiple of 4?
True
Suppose 0 = -2*p + 6, 4*m + 4*p - 57 = p. Is m a multiple of 6?
True
Suppose 0*x + 348 = 3*x. Let s = x + -83. Does 12 divide s?
False
Let a = 748 + -372. Is 50 a factor of a?
False
Let z(s) = -8*s - 7. Let u be z(-4). Does 17 divide -4 + u/6 - (-214)/12?
False
Let g(t) = -3*t + 30. Let j be g(-20). Suppose 5*l + 3*r - 898 = 0, 5*r + 294 = 2*l - j. Is 26 a factor of l?
True
Let n = -195 + 363. Let f = n + -114. Is 9 a factor of f?
True
Let r be 1/(-2) + (-48)/32. Let b be 0 + (-4 - -8) + r. Suppose b*c - 4*i - 38 = 0, 42 = 5*c - 2*c - i. Does 3 divide c?
False
Let g(m) be the third derivative of m**5/5 - 7*m**4/24 - m**3/6 + m**2 + 34