172) a multiple of 55?
False
Let y = 21200 + -13392. Is y a multiple of 122?
True
Suppose 670*g = 663*g + 98. Suppose g*o = 10*o + 2480. Is 13 a factor of o?
False
Let k = -3455 - -38741. Does 86 divide k?
False
Let g = 17439 - 13695. Does 6 divide g?
True
Suppose -197 - 207 = 4*c + 3*r, c = 5*r - 78. Suppose 414 = -8*x + 2*x. Let a = x - c. Is a a multiple of 7?
False
Suppose 13*y - 9*y - 327852 = -32*y. Is 167 a factor of y?
False
Let w(v) = 2*v + 25. Let s be w(1). Let x(i) = 1177*i**2 - 1. Let n be x(1). Does 11 divide n/s - 16/(-36)?
True
Let k = 13514 - 7609. Is 11 a factor of k?
False
Suppose d = -5*v + 20, d - 35 = -5*v + 3*d. Let s be -2 + 4 - -8*38. Suppose s + 329 = v*r. Is 17 a factor of r?
False
Let q = 469 + -466. Suppose 4*g - 520 = q*g. Is g a multiple of 26?
True
Let o be (-2 + 34/12)/((-2)/(-12)). Suppose -2*v = -5*v - o*s - 19, 2*s + 16 = -4*v. Is 3/(-9)*((3 - 39) + v) even?
False
Let p(j) = -5*j**3 - 3*j**2 - 3*j - 6. Let x be -3*(25/15 - 4). Let k(a) = -4*a**3 - 2*a**2 - 3*a - 5. Let w(q) = x*k(q) - 6*p(q). Is w(3) a multiple of 19?
False
Let n(g) = -3*g**2 - 33*g - 9. Let y be n(-11). Is 61 a factor of 3656/6 + ((-15)/y - 1)?
True
Let q(f) = -2*f**2 - 20 + f**2 - f + 0*f - 12*f. Let y be q(-10). Suppose 5*r - y*r + 825 = 0. Is 15 a factor of r?
True
Suppose k + 5*g - 10*g = -22, 4 = g. Let j be 2/8*14 - 3/k. Suppose 0 = w + i - 23, -j*w + i = -w - 92. Is 2 a factor of w?
False
Let v = 726 + -31. Suppose 15*b - v = 1225. Is 32 a factor of b?
True
Suppose -25908 = -3*o + 3*b, 3*o - 2*b - 39627 + 13717 = 0. Is o a multiple of 38?
False
Let f = -125 - -127. Suppose k - 32 = 5*o, f*o - 12 = -2*k - o. Is 7 a factor of (-2)/k*-581 - 6/(-36)?
False
Is 3 a factor of 4150 - (-28)/21*(-2 - 1)?
True
Let n = -46 - -74. Suppose -n = 8*c - 10*c. Suppose 19*o - 60 = c*o. Is 4 a factor of o?
True
Suppose 3*b + 30549 = 5*q, 749*b = -4*q + 752*b + 24438. Is 23 a factor of q?
False
Let z = -75 - -93. Suppose -33*j - z = -35*j. Does 42 divide -3*(-15)/j + 79?
True
Let b = -495 + 498. Suppose -9*s = b*s - 840. Does 7 divide s?
True
Let g(r) be the third derivative of r**5/60 + r**4/2 - 17*r**3/6 - 3*r**2. Suppose 68 = -6*c + 104. Does 13 divide g(c)?
True
Let a(k) = 11*k**2 + 21*k - 1. Let o(l) be the first derivative of 5*l**3/3 + 11*l**2/2 - l + 11. Let x(h) = 4*a(h) - 9*o(h). Does 9 divide x(-8)?
False
Let i = -7842 + 14504. Is i a multiple of 7?
False
Suppose 175 - 54 = y. Suppose -v = -3*i + 97, 4*v = 3*i - 231 - y. Is ((54/5)/9)/((-1)/v) a multiple of 8?
False
Let h = -541 + 360. Let w = 212 + h. Is w a multiple of 2?
False
Let r(j) = -21*j**2 + 10*j - 41. Let c(f) = -7*f**2 + 3*f - 14. Let g(o) = -8*c(o) + 3*r(o). Let a be g(2). Let i = a + 77. Is i a multiple of 13?
False
Let a(q) = -14 + 6*q**2 - q + 4*q - 12*q. Does 2 divide a(-2)?
True
Suppose -53*q + 55*q - 6 = -2*d, -4*q = -2*d - 6. Suppose 0 = 4*n + 3*o - 3432, -o + 849 = n + q*o. Is n a multiple of 21?
True
Suppose -3*r + 2*r + 19 = -3*t, -4*t = -3*r + 32. Suppose -1096 = -r*y - 2*s, -2*y - s = -5*s - 568. Is 46 a factor of y?
True
Let c be (-21)/(-3)*(-12)/14 + 770. Let y = -635 + c. Is 7 a factor of y?
False
Let l(m) = 2754*m**3 + 9*m**2 - 85*m + 129. Is 264 a factor of l(2)?
False
Let k be 1/9 - (4 - 1075/45). Suppose 5*d = d - k, -1044 = -3*n - 3*d. Does 26 divide n?
False
Let u(a) = -a**2 - 5*a - 4. Let q be u(4). Let s = -58 - q. Let o(h) = h**3 + 17*h**2 - 24*h + 6. Is 19 a factor of o(s)?
True
Let a = 17 + -14. Let w(g) = -4 + 0*g + 11*g**2 - 10*g**2 - 9*g**3 - 4*g + 0*g**a. Is 12 a factor of w(-2)?
False
Let x = 16538 - 12516. Is x a multiple of 2?
True
Let q(v) = -5*v**2 + 27*v - 27. Let k(p) = -2*p**2 + 13*p - 13. Let d(f) = 7*k(f) - 3*q(f). Let z be d(-14). Let j = z + -4. Does 4 divide j?
False
Let j(n) = -2*n**2 - 47*n - 48. Suppose 54 = 27*g - 30*g. Does 5 divide j(g)?
True
Suppose 4*o - 24 = 5*h + 5, 3*o - 4*h - 22 = 0. Suppose 0 = -t - 5*t + o. Is 3 a factor of (-8 - -4)*t/(4/(-18))?
True
Let f be 14/77 - (-1590)/(-33). Does 12 divide (f/12)/(2/(-60) - 0)?
True
Let t(b) = -b**3 - 9*b**2 - 8*b + 45. Let k be t(-7). Suppose -5*y - k*g + 936 = 0, -3*y + 3*g + 558 = 6*g. Is 55 a factor of y?
False
Let h = -281 - -289. Let m(a) = a**3 - a**2 - 13*a + 6. Does 10 divide m(h)?
True
Let m = 3752 + -1128. Is 240 a factor of m?
False
Suppose 0 = 2*g - 5*s - 22817, -3*g + 0*g - 4*s + 34283 = 0. Is g a multiple of 141?
True
Suppose -210760 = -27*f + 127415. Is f a multiple of 81?
False
Let l be 0/(-4 + 0 - -5). Let a be l/(6 + -4 - 0). Let t = a - -27. Is t a multiple of 3?
True
Let w = 630 - 107. Suppose -6*y + 905 = -w. Does 34 divide y?
True
Let b = -15 - -15. Let f be 0 + b + 0 + 2. Suppose -i - 2*o + 5*o = -18, f*i = -o + 50. Is 13 a factor of i?
False
Let p(u) = -u**3 - 10*u**2 - 19*u - 20. Let r be p(-9). Let v = r + -58. Suppose 0 = v*y - 187 - 773. Is 16 a factor of y?
True
Let h(g) = -10*g - 60. Let z be h(-9). Suppose -35*t = -z*t + 25. Does 12 divide 2/5 + 4299*t/(-75)?
False
Is 22 a factor of ((-82)/4 + -3)*646/(-19)?
False
Let s = 648 - 641. Is 16 a factor of 8*(23 + 1 + s)?
False
Suppose -2*g - 6 = 4*q - 22, 0 = -5*g + 3*q - 12. Let l(u) = u**2 - 2*u**2 + 21 + u + 2*u**3 - 3*u**3. Is 6 a factor of l(g)?
False
Suppose 6*j + 2*j - 128 = 0. Let f(i) = 9*i - 107. Does 24 divide f(j)?
False
Let f = -9283 - -13014. Is 13 a factor of f?
True
Suppose c + 8 = 2*c. Is ((-438)/c)/((-18)/96) a multiple of 18?
False
Suppose 2*m + 929 = 3*m + 4*t, -3674 = -4*m - 2*t. Is m a multiple of 2?
False
Suppose 0 = -m + 5*p + 7, 2*m - 2*p + 3*p = -41. Is -4 - m - (-2 - 0) a multiple of 10?
False
Let v(b) = 41*b - 76. Let r(q) = -2*q**3 + 7*q**2 + 30*q - 1. Let c be r(-3). Is v(c) a multiple of 55?
True
Suppose 8*w - 81 = -w. Suppose 423 = -0*a + w*a. Is 12 a factor of -4 + 2 + (3 - 2) + a?
False
Let h = 1282 - -990. Is 23 a factor of h?
False
Let u(o) = -64*o**3 - 7*o**2 - 8*o - 24. Is 23 a factor of u(-4)?
False
Suppose 10 = v - 4*d, v - 4 = -3*v - 2*d. Suppose 5*y - 557 = -3*k + 32, 0 = v*k + 4. Is 7 a factor of y?
True
Let i(w) be the first derivative of 5*w**2/2 + 3*w + 7. Let g be i(0). Suppose -r - g*r = 4, -4*z + 5*r = -189. Is 23 a factor of z?
True
Suppose 4*n - 3 - 21 = 0. Suppose n*h = -4*x + 2*h + 8, -2*x = -h - 10. Suppose -v = -2*l + 4, 3*v = x*l - l. Is l a multiple of 4?
True
Let r be (-72)/48 - 4253/(-2). Suppose -3*d - 5*q = 368 - r, d + 4*q = 588. Does 23 divide d?
False
Suppose 21*x = -77*x - 30*x + 333440. Is 15 a factor of x?
False
Let i(c) = 172*c + 20. Suppose -15 = 7*u - 22. Does 37 divide i(u)?
False
Suppose -35*q + 3*q + 6336 = 0. Does 6 divide q?
True
Let b = -22128 + 37603. Does 14 divide b?
False
Let d = -80 - -12. Let r = d + 103. Suppose -r*c = -34*c - 28. Is 7 a factor of c?
True
Let c be 6/2 - 531/(-3). Suppose 0 = 4*v + h + 3*h - 2268, v - 5*h = 573. Suppose 5*j - v = -w, 4*j - c = -4*w + 268. Is 17 a factor of j?
False
Is (6 - 660/99)*(-11)/2*690 a multiple of 11?
True
Let p(d) = 219*d + 3. Let a be p(3). Let f = a - 83. Is f a multiple of 73?
False
Let y = 163 - 154. Suppose 0 = y*t - 133 - 56. Is 5 a factor of t?
False
Suppose -3*u - 2082 = -o, -4856 - 3514 = -4*o + 5*u. Is o a multiple of 28?
True
Suppose 3*a + 0*a + 3*p = 19146, -2*a + p + 12770 = 0. Does 112 divide a?
True
Let t(s) = 6*s**2 + 34*s + 18. Does 59 divide t(-13)?
True
Suppose 5*s - 2*x = 7*s + 162, 5*x + 324 = -4*s. Does 31 divide 3 + -3 + -2 - (s + -14)?
True
Suppose -2*l - 21708 = -5*f + 52972, 25 = -5*l. Is f a multiple of 19?
True
Suppose -19*x + 100 = -14. Suppose x = -2*a + 176. Is 39 a factor of a?
False
Let v(n) = 2*n**3 - 11*n**2 - 9*n + 21. Let d be v(6). Suppose r + 4*c + 18 = d*r, -2*c + 56 = 4*r. Does 2 divide r?
False
Is 112 a factor of (225792/240)/(2 - (-27)/(-15))?
True
Suppose 44 = 2*i - 2*t, 0 = -7*t + 5*t + 2. Suppose 2*r = -5*a - 12, 3*r - 3*a + 6*a = 0. Suppose 2*p - 5 - i = r*l, 0 = 5*l. Does 3 divide p?
False
Let z(i) = -i**3 - i**2 + 10*i - 5. Let d be z(-4). Does 36 divide d/(-6) - 7/((-70)/3945)?
False
Let a(g) = -g**3 - 8*g**2 - g - 1. Let u be a(-8). Suppose -2*s + m - 3*m + 8 = 0, -2*m + u = s. Is 7 a factor of 42 - (-3 + s*(0 - -3))?
True
Let l(o) = -19*o + 17. Let i(v) = -9*v + 8. Let z(h) = 13*i(h) - 6*l(h). Let p be z(-1). Does 25 divide 29 