s 13 a factor of b(f)?
True
Suppose -6*a + 5*a = 1530. Is a/(-187) + 2/(-11) a multiple of 8?
True
Let l be 416/(-40) + 4/10. Let o(g) = -9*g - 18. Does 18 divide o(l)?
True
Suppose -9*k + 12*k - 2*n - 1053 = 0, k + 2*n - 343 = 0. Does 70 divide k?
False
Let o = -174 - -292. Let h = o + -3. Is h a multiple of 5?
True
Suppose 4 = 3*m - 2*m. Let v = 406 - 262. Suppose -m*d + n = -v, 2*d - n = 4*n + 72. Does 12 divide d?
True
Let a(v) = 5*v**2. Is a(4) a multiple of 4?
True
Let n = -312 - -872. Is n a multiple of 20?
True
Let v(l) = 1481*l - 17. Is 24 a factor of v(2)?
False
Let x(m) be the first derivative of -127*m**2/2 + 36. Is 24 a factor of x(-1)?
False
Suppose 0 = -4*s - 3*o - 7, -5*s - 1 = 4*o + 9. Let n(t) = -4*t + s*t - 18*t**2 - t**3 - 16 + 2. Does 8 divide n(-18)?
False
Suppose -34*y + 135 = -31*y. Let l = 77 - y. Does 16 divide l?
True
Suppose 0 = -c + 122 + 58. Suppose -15*w = -6*w - c. Is w a multiple of 20?
True
Let r = -43 + 68. Let s = r - 14. Is s a multiple of 4?
False
Let d = 389 + -648. Let c = -89 - d. Does 10 divide c?
True
Let r be (2/4)/((-6)/(-24)). Suppose -36 = -r*k + 58. Does 8 divide k?
False
Let v(h) = -2*h**3 - 4*h**2 - 6*h + 2. Does 19 divide v(-3)?
True
Let n = 1 + 4. Suppose -n*j = -0*j - 550. Does 17 divide j?
False
Let m(a) = 2*a**2 - 3*a - 5. Let g be m(4). Let s be ((-1780)/g)/((-4)/(-126)). Is s/(-36) - (-2)/12 a multiple of 26?
True
Suppose 105 = 52*c - 5043. Is c a multiple of 3?
True
Let q = 2807 + -1719. Is 29 a factor of q?
False
Suppose -3*r = -0*r + 57. Let k(b) = -b**2 + 3*b - 2. Let n be k(4). Let a = n - r. Is 13 a factor of a?
True
Let v(u) = -4*u + 12. Let h(t) = 4*t - 13. Let a(p) = -4*h(p) - 5*v(p). Let q(c) = -c**3 - 4*c**2 + 11*c. Let y be q(-6). Does 8 divide a(y)?
True
Let m(c) = -2 + 0 - 5*c + c**3 - 1 + 2*c**2 + 6*c. Let w be m(3). Does 5 divide 18/w - 76/(-10)?
False
Let h(d) = 2*d**3 - 2*d**2 - 3*d + 5. Suppose 0 = -16*n + 14*n + 6. Let w be (8*n/(-6))/(-2). Does 2 divide h(w)?
False
Let h = 5 - 6. Let a(i) = -2*i**3 - 2*i - 1. Let d be a(h). Suppose 5*j - d*j = 16. Is 4 a factor of j?
True
Is ((-91)/(-35))/(4/60) a multiple of 3?
True
Let s = -165 + 257. Is 17 a factor of s?
False
Let m(o) = -112*o + 6 + 59*o + 58*o + 3*o**2. Is 6 a factor of m(-3)?
True
Suppose -4*d = 13*d - 12223. Is 13 a factor of d?
False
Let f = 32 - 32. Suppose m + x = 82, 4*m - 3*x - 4 - 338 = f. Is 12 a factor of m?
True
Let h(l) = l**3 - 24*l**2 + 14*l + 81. Is h(24) a multiple of 30?
False
Let q(m) = 9*m**2 + 5*m + 12. Let f be q(-6). Let p = f - 211. Is 19 a factor of p?
True
Let o(s) = 36*s + 2. Let r be o(1). Suppose 10 + r = 3*f. Is f a multiple of 4?
True
Let m be (1 - -1) + (-1705)/11. Let k = -62 - m. Does 13 divide k?
True
Suppose 3*r - 5885 = -5*y, 5*y - 7*r - 5875 = -8*r. Does 39 divide y?
False
Let r = 765 + -466. Does 13 divide r?
True
Suppose 0 = 7*g - 11*g + 704. Suppose 0 = -5*r + 9*r - g. Is r a multiple of 44?
True
Let m(h) = 3*h**2 + 20*h - 16. Let c be m(-9). Does 15 divide c - ((-2)/2)/(1/(-2))?
True
Let q(r) = -r**3 + 7*r**2 - 5*r + 1. Let d be q(6). Let j(u) be the first derivative of u**2/2 - 5*u - 1. Does 2 divide j(d)?
True
Suppose -147*a = -158*a + 1045. Does 5 divide a?
True
Suppose -10*m - 531 + 2721 = 0. Let o = m - 25. Is o a multiple of 29?
False
Suppose d = 5*p - 19315, -8063 - 3526 = -3*p - d. Does 41 divide p?
False
Let m = -328 - -548. Is m a multiple of 44?
True
Let l be 3*(20/6 + -3) + 2. Suppose -828 = -12*d + l*d. Does 33 divide d?
False
Suppose 0 = -2*b + 4*b - 4. Let q = 25 - b. Is 10 a factor of q?
False
Let n be (10/(-15))/(4/(-6)). Let a be (-4)/(n - 12/8). Is 27 a factor of 4/a*9*12?
True
Is 38 a factor of (-61 + 57)/(189/190 + -1)?
True
Let j = 18 + -51. Let x = j + -2. Let d = -23 - x. Does 12 divide d?
True
Suppose 2*n = 187 - 17. Is n a multiple of 5?
True
Let w(c) = -3*c + 15. Let z be w(7). Let p be ((-2)/z)/(16/144). Suppose -3*b = -2*h + 128, 4*h + 362 = 9*h + p*b. Is h a multiple of 19?
False
Let p(g) be the third derivative of g**4/24 + g**3/3 + 17*g**2. Does 4 divide p(2)?
True
Let p(r) = r**3 - 7*r**2 + 9*r - 3. Let a be p(5). Is ((-81)/(-12) - -2) + 6/a a multiple of 4?
True
Let a be (-1096)/(-120) - 4/30. Let f(p) = -p**2 + 11*p - 8. Is 5 a factor of f(a)?
True
Let g be (-128)/3*(-18)/12. Is 5 a factor of (180/(-48))/(4/(g/(-3)))?
True
Let t(w) be the third derivative of -w**4/4 - 2*w**3 - 10*w**2. Is 15 a factor of t(-12)?
True
Let g = -868 - -479. Let d = -274 - g. Is 24 a factor of d?
False
Suppose -5*z + 114 = -7*z. Let w be 22/121 + z/11. Is 6 a factor of (-6 - -3) + (w - -20)?
True
Let g(c) = 12*c**2 - 3*c - 13. Let s be g(4). Suppose q - s = 3*k, -q = -2*k + 6*k - 132. Does 19 divide q?
True
Let t(q) = -85*q**3 - q**2 - 5*q - 6. Let u be t(-3). Is 11 a factor of (-3)/(-7) - u/(-35)?
True
Let l(q) = q - 18. Let n be l(0). Let r = 32 + n. Is 5 a factor of r/21*90/4?
True
Let p be (40/7)/((-16)/(-56)). Let y = p + -5. Does 15 divide y?
True
Let g be (-3)/9 - 3275/(-15). Suppose 2*r = g - 58. Is ((-6)/(-15))/(2/r) a multiple of 9?
False
Suppose 16*y = 21*y - 5*b - 390, 0 = -y - b + 72. Is y even?
False
Let a(o) = -88*o - 7. Suppose 5*j = -6*q + q - 5, 5*q + 2*j + 8 = 0. Let y be a(q). Suppose 4*b = y + 119. Is 12 a factor of b?
True
Suppose 2*r + 2*f = -24 + 6, 5*r - 2*f = -10. Let l(c) = -30*c**3 - c**2 + 1. Let i be l(-1). Let h = i + r. Does 13 divide h?
True
Is 2 - (24/8 - 115) a multiple of 37?
False
Let q(x) = 2*x**2 + 3. Let t be q(3). Let h = 29 - t. Is ((-10)/4)/(-5)*h a multiple of 3?
False
Let y(j) = -42*j + 38. Let h be y(-3). Suppose -11*p + 144 = -h. Is p a multiple of 14?
True
Suppose -3*x + 4416 = 13*x. Does 46 divide x?
True
Let v(d) = -d**3 + 68*d**2 - 60*d - 40. Is v(67) a multiple of 13?
True
Let h be (15/10)/((-6)/(-8)). Suppose 0*x + 68 = h*x. Is x a multiple of 6?
False
Let h = 1938 - 1229. Does 60 divide h?
False
Suppose 5*n - 116 = 1054. Does 13 divide n?
True
Let v(r) = 18*r - 3. Let g be v(-1). Let h = g + 25. Is 21 a factor of 12/h + 25 - -2?
False
Suppose -42*i - 870 = -20568. Is 7 a factor of i?
True
Is ((-2 - 5) + 6)*-458 a multiple of 17?
False
Suppose 4*l = -y - 444, 2*l + 2*l + 448 = -2*y. Let a = l - -38. Let m = 6 - a. Does 22 divide m?
False
Let g = -139 - -84. Let x = -42 - g. Does 13 divide x?
True
Let j(s) = -2*s - 3*s - s + 10*s - 15. Suppose -3*n - 2*n + 75 = 0. Does 15 divide j(n)?
True
Let v be (-1)/(-4) - (-14)/8. Suppose 6 = v*k + 18. Is 4 a factor of (1 - -8) + k + 7?
False
Suppose 3*u - 41 = 19. Let b = u + -14. Is b/(-4*1/(-4)) a multiple of 6?
True
Let r be -2 + (-4)/(1 + 1). Is 1 + 62 - (-1 - r) a multiple of 10?
True
Let k(q) = -12*q**2 + 2*q + 1022. Is k(0) a multiple of 21?
False
Let q(t) = 10*t - 15. Let m be q(2). Is 8 a factor of 3 - (-138 - (-10 + m))?
True
Let w be 3*3/18*-14. Let j(t) = t**3 + 10*t**2 + 19*t + 15. Is j(w) a multiple of 2?
False
Let h be 6/(-8) + (-91)/(-52). Let f be h/(-1 + 168/172). Let m = -22 - f. Is m a multiple of 7?
True
Let z = 69 + -65. Suppose -38 = -2*n + 4*i, -2*n = -n - z*i - 13. Is n a multiple of 7?
False
Suppose 5*a - 4*c - 140 = 0, -3*a + 2*c + 14 = -72. Suppose 135 = 4*t - t. Let y = t - a. Is y a multiple of 13?
True
Suppose 2*k - 831 = -5*p, 0 = 3*p + 3*k - 425 - 79. Let g = p + -66. Does 17 divide g?
False
Let n = -469 + 726. Does 4 divide n?
False
Let v be ((-2)/(8/5))/((-2)/8). Suppose 0 = v*t + y - 322, 3*t - 2*y - 30 = 158. Is t a multiple of 4?
True
Suppose 6*k - 2*k + 20 = 0, 1866 = 4*z - 2*k. Is z a multiple of 58?
True
Let o = 26 - 22. Let f(r) = -r**3 + 3*r**2 - 5. Let h be f(o). Is 188/3 - (-14)/h a multiple of 31?
True
Let v(a) = -325*a**3 + a**2 + 2*a + 1. Does 10 divide v(-1)?
False
Let d(f) = -5*f + 52. Let x be d(12). Let t be 3/2*2*-1. Let m = t - x. Does 3 divide m?
False
Let d(v) = v**3 + 11*v**2 - v - 11. Let g be d(-11). Suppose 0 = 4*a - z - 44, -2*a - 4*z - 6 + 46 = g. Is 4 a factor of a?
True
Let w = 29 + 107. Is 6 a factor of w?
False
Let n be 7/((-7)/(-2)) - 8/4. Is 6/(n + -2) + (-3 - -46) a multiple of 27?
False
Suppose -36*j + 40144 = -40928. Is 7 a factor of j?
False
Let g(x) = -11*x**3 + 8*x**2 - 4*x - 50. Is g(-6) a multiple of 56?
False
Let y = 1633 + -1218. Is y a multiple of 10?
False
Let f be (-2 - (-18)/10)/((-1