-598. Is 41 a factor of t?
True
Let d = -197 + 202. Suppose -5*x - b + 126 = -329, -d*x = -2*b - 470. Does 19 divide x?
False
Suppose 15 = -3*z, t - 3*t + 11795 = -z. Does 10 divide t?
False
Suppose 3*q + 7150 - 41446 = -3*i, 3*q = 4*i - 45749. Does 41 divide i?
False
Suppose -4*p - 2056 = -4*o, -2*o - 4*p - 2 + 1054 = 0. Suppose -v + 2*b + o = v, 4*b = -v + 264. Is v a multiple of 5?
True
Suppose -156809 = -4*n - 3*f - 59200, -5*f - 121985 = -5*n. Is 8 a factor of n?
True
Suppose 697690 + 314250 + 47887 = 113*u. Does 171 divide u?
False
Let j be 57*1 - 18/((-66)/11). Suppose j*v - 79 = 59*v. Does 12 divide v?
False
Let m(o) = -113*o - 32*o - 9 - 144*o. Is m(-1) a multiple of 14?
True
Suppose 7*f + 4 + 52 = 0. Is 33 a factor of 3235/7 - f/(-56)?
True
Suppose -16*u = 29*u - 27598 + 3118. Does 34 divide u?
True
Suppose -t - 2*o - 2 = -20, 2*t + o = 39. Let w = -18 + t. Suppose -w*v = 5*f - 16, 0 = 4*f + f - 3*v - 1. Is 2 a factor of f?
True
Suppose 1791604 = 220*m + 155688 - 288644. Is 36 a factor of m?
True
Let b be (-18 - -18)/(1 - 3). Let q be 1/(-1) - (-1 - 3). Suppose b = 2*r + 3*x - 245, 2*x + 370 = q*r + 6*x. Does 10 divide r?
True
Let a(b) = -b**3 - 10*b**2 - 4*b - 22. Let y be (-3 - (-15)/6)*-20. Let s be ((3 - 2) + -2)*y. Is a(s) a multiple of 18?
True
Suppose -3*s - 14 = -5*s. Suppose -s*x = -5*x - 32. Is 73/2 - 8/x a multiple of 9?
True
Let b(n) = n**2 + 3*n + 4. Let t be b(-2). Suppose t*q - 203 = -685. Let w = q - -369. Is 9 a factor of w?
False
Let s = -16 - -12. Let w(y) = 2*y + 5. Let x be w(s). Does 15 divide ((-15)/(-6) + x)*-64?
False
Suppose 13*z - 92 = -10*z. Suppose -69 = -d + u, d + z*u - u = 65. Is 34 a factor of d?
True
Let b be 4 + (293 - 1) + 5. Suppose 23 + b = 4*q. Does 27 divide q?
True
Let j = 64313 + -34577. Does 7 divide j?
True
Let r = 325 + -315. Does 8 divide 1379/21 + -2 - r/6?
False
Let k(l) = 11*l**3 + l**2 + 5*l + 6. Let a be k(-4). Let g = a - -768. Is g a multiple of 12?
False
Let y = 27008 - 13272. Is y a multiple of 136?
True
Suppose 0 = -6613*t + 6556*t + 122265. Does 15 divide t?
True
Let x(q) = 44*q**3 + 8*q**2 - 13*q + 4. Let r(c) = 43*c**3 + 9*c**2 - 15*c + 5. Let k(b) = -4*r(b) + 5*x(b). Is 39 a factor of k(2)?
True
Suppose -14*f + 94745 = 16121. Does 16 divide f?
True
Let b = 1362 - 716. Let s = 1178 - b. Is 38 a factor of s?
True
Let p = -22379 + 23873. Is 6 a factor of p?
True
Suppose -3*g + 70209 = -5*t, -5*g + 117077 = -20*t + 22*t. Is g a multiple of 27?
False
Let f(v) = v**3 - 12*v**2 - 29*v + 26. Let s be f(14). Suppose 30 - s = -2*x. Does 14 divide 3/((-2)/1308*x)?
False
Let r = 19 + -19. Suppose -3*w = -7*w - r*w. Suppose -4*v + 20 = w, -75 = -2*h + v + 56. Is h a multiple of 17?
True
Suppose 0 = -5*a - a + 20821 + 7025. Is a a multiple of 7?
True
Is (297690/100 - 13) + 2/20 a multiple of 52?
True
Suppose 0 = -2*s - 12 + 24. Suppose 469 = 3*k - 5*a, -2*a + s*a = -20. Suppose 12 = 3*w, 2*n = -0*n - w + k. Does 9 divide n?
True
Let y(u) = -u**3 + 3*u**2 - u + 1. Suppose 42*a - 40*a - 4 = 0. Let b be y(a). Suppose 0 = b*j - 5*j + 84. Is 42 a factor of j?
True
Let r(s) = 5*s**2 + 8*s - 58. Let z be r(5). Suppose 2*g - z = -23. Is 11 a factor of g?
False
Let y(c) = -c**3 + 13*c**2 + 26*c + 21. Suppose 0 = 4*f - 30 - 30. Let d be y(f). Let w = d + 71. Is 6 a factor of w?
False
Let w(b) = 475*b**2 + 46*b**2 + 18*b - 17 + 21*b**2 - 180*b**2 + 749*b**2. Is w(1) a multiple of 8?
True
Let j(m) = m**3 - 13*m**2 - 12*m - 24. Let o be j(14). Let n(x) = 3 - 24 + o*x + 4 + 7. Is 11 a factor of n(8)?
True
Let j(p) = -15*p + 4. Let m(k) = -7*k - 4. Let s(l) = -6*l - 4. Let i(g) = -4*m(g) + 5*s(g). Let h be i(0). Does 8 divide j(h)?
True
Let w = -17494 + 24221. Does 56 divide w?
False
Suppose -12 = -6*g + 2*g, -4*m = 3*g - 69. Does 44 divide (-9)/(-15) - (-651)/m?
True
Suppose -d - 100986 = -4*j, -3*j = 5*d - 4*d - 75729. Does 135 divide j?
True
Let c = 2801 + -1975. Let t = -713 + c. Does 3 divide t?
False
Suppose 0 = -13*l + 5372 + 2818. Does 126 divide l?
True
Let h = 69696 - 47110. Is h a multiple of 46?
True
Let c be 249 + -1*(-3)/3. Suppose 4*t + t + c = 0. Let z = 92 + t. Does 7 divide z?
True
Let v be 0 + 1/(-8) + 225/72. Is 3 a factor of 3845/50 + v/30?
False
Let c be (-1)/(-3) + 2 - 5/15. Suppose -157 = -6*y + 2*y - 3*r, -r + 79 = c*y. Is 8 a factor of y?
True
Let j be 110/(53/13 + -15 + 11). Suppose 952 = 2*r - 0*r - 4*m, -5*m - j = -3*r. Does 16 divide r?
True
Suppose -2210 = 46*f - 47*f. Is f a multiple of 6?
False
Let z = 11551 + 2705. Is z a multiple of 18?
True
Suppose -4*j - 5*h = 5, j + j - 5 = -h. Let s be j*(2 + (-5 - -4)). Suppose -109 = -0*x - 2*x - s*g, 5*x = -2*g + 220. Is 17 a factor of x?
False
Let s(b) = -1298*b + 1303. Is 33 a factor of s(-3)?
False
Suppose 6*c - 19622 = -17018. Does 67 divide c?
False
Let n be 7*1/(2/14). Suppose 52 = -5*u + g + 155, -2*u + n = -3*g. Suppose -u*o = -15*o - 60. Does 3 divide o?
True
Let o be 38/247 - (-115)/13. Let a(u) = -u**3 + 11*u**2 - 7*u + 9. Is a(o) a multiple of 12?
True
Is 3905*(42/126)/((-15)/(-9)) a multiple of 71?
True
Let k = -3801 - -3958. Is k a multiple of 7?
False
Suppose 2*s + 1420 = -8*s. Let c = 44 - s. Is c a multiple of 6?
True
Let k = 2039 + -1134. Suppose 0 = -r - 3*j + k + 53, -1904 = -2*r - 3*j. Does 97 divide r?
False
Suppose 53*t + 24 = 45*t. Is -5*((-4)/t)/(16/(-24)) a multiple of 7?
False
Suppose -2*q - 5*c + 2*c + 28 = 0, 0 = -q - 3*c + 14. Suppose -q*u = -9*u + 255. Is u/2*10/(-3) a multiple of 24?
False
Suppose -3423*k - 4226690 = -3553*k. Is 41 a factor of k?
True
Let d(b) = b**3 - 22*b**2 - 47*b - 19. Let t be d(24). Suppose -2*p + 333 = t*q, -p + 120 + 47 = 2*q. Is p a multiple of 8?
False
Suppose 48102 = 17*x - 113738. Is 18 a factor of x?
False
Let m be (-36)/1 - (0 + 1). Let s = 37 - m. Suppose -4*a = -s + 34. Is a a multiple of 3?
False
Let t = 20773 - 10253. Does 5 divide t?
True
Suppose r - 4*f = 1593, -4*f + 216 + 1329 = r. Is 8 a factor of r?
False
Let z be (2/(-14) - 4/(-28)) + 200. Let i = -285 + z. Let u = 152 + i. Is u a multiple of 4?
False
Suppose 2*l + 130500 = 74*l + 2412. Does 9 divide l?
False
Suppose -145*u = -98655 - 3662935. Is 34 a factor of u?
True
Let z(f) = -f**3 - 5*f**2 - 3*f + 2. Let w be z(-3). Let h(i) = 14*i**2 + 2*i - 45. Is 19 a factor of h(w)?
True
Let m = -7828 + 18452. Is 128 a factor of m?
True
Let i = 51 - 77. Let k = i + -123. Let w = 154 + k. Does 2 divide w?
False
Suppose 90*n + 166*n - 377663 = 9*n. Is n a multiple of 11?
True
Let z(y) = -169*y**2 + 11. Let k(c) = -339*c**2 + c + 21. Let t(m) = -6*k(m) + 11*z(m). Does 53 divide t(-1)?
False
Let q = 12711 - 11531. Is q a multiple of 5?
True
Suppose -5*o = -p + 13 - 55, 30 = 2*o + 4*p. Let f(x) = 2*x**3 - 11*x**2 - 25*x + 8. Does 10 divide f(o)?
True
Let u = 24337 + -15049. Is u a multiple of 79?
False
Let i = -1575 - -965. Let v = i + 1142. Is v a multiple of 7?
True
Suppose 0 = 3*c - 4*f - 22, 3*c - 10 = 3*f - 2*f. Suppose 0 = c*h - 14 - 192. Is 3 a factor of h?
False
Let q(v) = -v**3 + 11*v**2 + v - 14. Let b be q(11). Let l be b/(-21) + (-170)/(-35). Suppose 3*o - 12 = l*m + 84, -66 = -3*o - 5*m. Is o a multiple of 9?
True
Let v(s) = s**3 + 12*s**2 + 11*s + 1. Let l be v(-9). Let x = -105 + l. Is x a multiple of 20?
True
Is 44 a factor of (-19)/(418/935)*-162?
False
Suppose -5*i + 11*l = 14*l - 14576, 5*i - l - 14608 = 0. Does 36 divide i?
False
Let x(h) = 40*h**2 - 923*h + 187. Does 172 divide x(41)?
True
Is 16 a factor of 5548 + -3 + (-60)/(-10)?
False
Let t = 809 - 798. Suppose 4*s - t*s = -3591. Is 21 a factor of s?
False
Suppose 10*t - 5*t = 0. Suppose t*z + z - 55 = 0. Is z a multiple of 5?
True
Let u = 40 + -38. Let s be (u*(5 + -1))/(-2). Does 10 divide ((-20)/(-3))/(s/(-24))?
True
Let w = 55 - 55. Suppose 2*t + 55 - 107 = w. Suppose -g = -s + 31, -s + 2*g + t = 6*g. Is 10 a factor of s?
True
Let y(h) be the second derivative of 5*h**4/12 - 11*h**3/2 - 29*h**2/2 - 20*h. Let n(j) be the first derivative of y(j). Does 3 divide n(8)?
False
Let i = 37 - 35. Suppose 3*p = -5*r - 1, 4*r + 1 = -i*p - 1. Suppose p*w = -w + 224. Does 8 divide w?
True
Let l(n) = 319*n + 0*n**2 + n**2 + 36 - 311*n. Is 9 a factor of l(-9)?
True
Let q(c) = -6*c + 54. Let v be q(12). Is (590/30)/(1 - (-16)/v) a multiple of 10?
False