+ 8186. Is 8 a factor of i(37)?
False
Let b(a) = -170*a - 86. Let m be b(-15). Suppose -18*g - m = -32*g. Does 8 divide g?
True
Let f(l) = 0 + 7*l + 4*l + 133 - 4 - 4*l. Is 72 a factor of f(-8)?
False
Suppose 4*v - 4051 = -3*a, -4*a - 5*v = -401 - 4998. Is 236 a factor of a?
False
Let n be ((-16)/24)/(2/(-9)). Let b(v) = -v + 7. Let t be b(n). Does 17 divide -1 - 513/(-5) - t/(-10)?
True
Let m(h) = 314*h**2 - 398*h - 6. Is m(6) a multiple of 81?
True
Let k(x) be the first derivative of -6*x**4 + 2*x**3/3 - 22. Is k(-1) a multiple of 26?
True
Suppose m + 33981 = 5*t, 5*m + 27176 = 4*t + 2*m. Is t a multiple of 34?
False
Suppose 0 = -30*q + 17*q. Suppose -13*x + 996 + 2163 = q. Does 27 divide x?
True
Does 6 divide (-7 - 0 - (-186)/30)*-15215?
False
Suppose 0 = -24*j + 29*j + 2*a - 104486, -a + 20902 = j. Does 228 divide j?
False
Let b = 10608 - 7174. Does 40 divide b?
False
Let a(f) = -451*f**3 - f**2 - f + 1. Let b be a(1). Let t be 1/((-1)/b) - (-12 - -14). Suppose -4*q - 5*o = -466, -2*o + 5*o + t = 4*q. Is 26 a factor of q?
False
Let p be (-4)/14 + (-36)/21. Let z(k) = k**3 + 5*k**2 - 5*k + 1. Let j be z(1). Is 10 a factor of j + (-76)/p + -2?
False
Let x(w) = -2*w**2 - 14*w + 9. Let p be x(-6). Suppose 0 = p*a + a - 1144. Is a a multiple of 4?
True
Suppose -4*v + 5681 = -y, 2*v - 3822 = 3*y - 999. Does 18 divide v?
True
Let t(q) = 4030*q - 8413. Is 113 a factor of t(8)?
False
Let d(f) = f**3 - 9*f**2 - 2*f + 8. Let p be 2/(-2) + (-2 - -3 - 0). Suppose 5*t - 10 - 40 = p. Is 22 a factor of d(t)?
True
Let f(n) = 3*n - 76. Let x be f(26). Suppose -3*m + m + 4 = 0. Suppose 3*i - h - 87 = 0, -x*i - 4*h + 66 = -m*h. Is i a multiple of 10?
True
Let u = 16 - 8. Suppose 1846 = -u*h + 21*h. Is 11 a factor of h?
False
Let a be (3/(-15) - 12/15) + -28. Let z = 32 + a. Suppose z*l + 486 = 12*l. Is l a multiple of 9?
True
Suppose -2 = 2*d - 6. Suppose a = -5*t + 2, d*t = 3*t - 4*a + 8. Does 8 divide (-4 - (-3 + -20)) + t?
False
Let o(c) = -c**3 + 5*c**2 + 51*c + 11. Let u be o(-5). Let v(d) be the second derivative of 5*d**3/2 - 4*d**2 - d. Is v(u) a multiple of 17?
False
Let l be (0 - 877/(-2))/((-46)/(-92)). Let t = -527 + l. Does 16 divide t?
False
Let x(q) = q**3 + 5*q**2 + 2*q - 8. Suppose -4*o - 50 = 5*w + o, -2*w = -2*o. Let v be x(w). Is 178 + 40/v + 10/45 a multiple of 16?
True
Let k be (45/(-30))/(3/8*-2). Suppose k*l - 806 = 4*d - 6*d, -d = -3*l - 383. Is d a multiple of 15?
False
Let w(x) = 4*x**2 - 199*x + 2057. Does 14 divide w(11)?
False
Let m be (-2 - 5 - -2) + 1 + 155. Suppose 0 = -148*t + m*t - 1371. Does 18 divide t?
False
Suppose 0 = -y - o + 22306, 279*y - 2*o = 275*y + 89266. Is 53 a factor of y?
True
Let b be (11 + 21/(-7))/(-4 + 6). Suppose -305 = -5*k + 260. Suppose k + 43 = b*v. Is v a multiple of 14?
False
Suppose -5*u + 3*u = -6. Suppose u*w = 3*b - 2*b - 1501, 3*b - 4545 = -5*w. Is 24 a factor of b?
False
Suppose 7*d = -x + 3*d - 14, -2*x + 3*d = -16. Suppose -x*g + 6 = 0, 4*g - 652 = -11*c + 6*c. Does 32 divide c?
True
Let s(j) = -95*j - 248. Let r(c) = -283*c - 740. Let w(x) = -3*r(x) + 8*s(x). Is w(6) a multiple of 55?
True
Let s(r) = 13*r + r**3 - 36*r**2 - 29*r**2 - 1 + 52*r**2 - 9. Let t be s(12). Suppose -2*y + 7*h - t*h = -59, 2*h = -2*y + 66. Is 8 a factor of y?
True
Is 12 a factor of (8851 + -147)/(2/3 + -4 + 4)?
True
Let c(q) = -13*q + 20. Let s(y) = -14*y + 22. Let x(r) = 7*c(r) - 6*s(r). Is 21 a factor of x(-14)?
False
Let i(k) = -2*k**2 - 2*k + 4. Let t be i(1). Suppose 13*j + 5*l = 18*j - 4595, 5*j - 4*l - 4594 = t. Is 54 a factor of j?
True
Suppose -g + 9802 = -384*m + 386*m, 0 = -g + 5*m + 9767. Is g a multiple of 44?
False
Let l(c) = -277*c - 123. Is 49 a factor of l(-25)?
False
Suppose 5*k - 1970 = 2*j, 3*j + 1524 = k - 1405. Let b = -644 - j. Is b a multiple of 12?
False
Let i be ((-96)/9)/((-4)/(-6)). Is (501/12)/((-4)/i) a multiple of 23?
False
Suppose -1869 = -3*k - 3*f, 5*k - 3*f = k + 2527. Let l = k - 101. Is 31 a factor of l?
True
Suppose 1330*x - 1332*x + 24 = 0. Is 4/(-12) - (-1708)/x a multiple of 12?
False
Let q be (-2 + 3)*-2 + 4. Suppose o = -q*o - 3. Does 12 divide 3/o*174/(-9)?
False
Suppose 0*p = -4*p. Does 23 divide (p + -23)/(13/(-39))?
True
Suppose 481 = -o + l, 0 = -4*o - 0*l - 4*l - 1900. Let s = -285 - o. Is s a multiple of 50?
False
Let b be (-3 - (-10 - -2)) + (-19 - 0). Let y(w) = 2*w**2 + 14*w + 42. Is y(b) a multiple of 34?
True
Let p(t) = -t**3 + 13*t**2 - 5*t + 20. Let r be ((-8)/20)/((-6)/105). Is 31 a factor of p(r)?
True
Let j = -44 + 39. Suppose 3*c - 4*c - 19 = 0. Let q = j - c. Does 5 divide q?
False
Suppose 87 = -9*b + 267. Suppose -4*s - 4*f = -b, 5*s + 0*f + 25 = 5*f. Suppose s = -d - 2*i + 16, 0 = 3*d - 7*d - 5*i + 67. Is d a multiple of 4?
False
Let s be 4 + 0*(-5)/(8 + 2). Suppose -s*f + 547 + 77 = 0. Does 39 divide f?
True
Let p be (-5)/4 - (-5738)/(-152). Let k(h) = -h**3 - 41*h**2 - 93*h - 21. Is 20 a factor of k(p)?
False
Let h = 19742 - 11034. Is 27 a factor of h?
False
Let w = 73 - 66. Let o(d) = 4682 + w*d - 4682. Does 19 divide o(21)?
False
Let n be 70*(1/(-4) - (-5)/(-20)). Is 27 a factor of 10/n - 17992/(-56)?
False
Suppose -5*j - j = -474. Let x = j - 75. Suppose l - 560 = -x*l. Is l a multiple of 35?
False
Suppose -76*l = -381085 + 24616 - 122559. Is l a multiple of 11?
True
Let c be 22/3 + (0 - (-3)/(-9)). Suppose -310 + 100 = -3*x. Let f = x - c. Does 15 divide f?
False
Let y = -8337 + 14187. Is 52 a factor of y/(-36)*16/(-10)?
True
Suppose -2*g = 2*g + 4*k + 260, 209 = -3*g + 4*k. Let l = -62 - g. Suppose 3*o + 2*f - 252 = -f, l*f + 450 = 5*o. Is 10 a factor of o?
False
Let u be 3/(-6)*-8 + 42. Let o = u + -41. Suppose -3*v + o*r - 79 = -310, -4*v = 4*r - 308. Does 17 divide v?
False
Is 38 a factor of 5 + (0 - (-4)/(-14)) + 850765/119?
False
Let k(z) = -108*z + 35. Let s = -596 + 593. Does 10 divide k(s)?
False
Suppose 20*h = 109 + 11. Let j(f) = 3*f**2 - 13*f - 10. Let c be j(-8). Suppose -4*p = -h*p + c. Is p a multiple of 9?
False
Let s = -7475 - -9491. Is s a multiple of 56?
True
Is (-28824045)/(-1425) - ((-26)/10 + 2) a multiple of 13?
True
Is ((-76)/10)/((-2)/365) a multiple of 19?
True
Is 28 a factor of 2120 + (-60)/(-24)*4?
False
Is 14 a factor of (-705)/((-25)/35 + 81*(-16)/(-1848))?
False
Let j be 2 + (5 - (0 + 5)). Suppose -5*r + 24 = 6*x - 5*x, -j*x - 3*r = -20. Suppose 500 = 3*d + 5*p, -x*d = d + 4*p - 816. Is d a multiple of 29?
False
Suppose 0 = 3*i + 3*d - 3249, 7*i = 3*i - 2*d + 4328. Suppose -4*h + 116 = 3*t - i, t + 1 = 0. Does 10 divide h?
True
Suppose -g + 2*q = -41982, 27*g - 26*g + 4*q - 42006 = 0. Is 95 a factor of g?
True
Let l(p) = -2*p**2 - 38*p - 11. Let b be l(-19). Let k(t) = 11*t + 19. Let a be k(b). Let d = a - -260. Is 21 a factor of d?
False
Let n be 19/(76/16)*(1 - 0). Is 15 a factor of (n - 56/12)/((-6)/4689)?
False
Let a = 1074 + -473. Let q = a - 445. Is 12 a factor of q?
True
Let a(i) = -i**3 + 13*i**2 + 7*i - 63. Let z(q) = 2*q**2 + 5. Let n be z(2). Is 28 a factor of a(n)?
True
Suppose d + 36 - 38 = 0. Let o be (12 + -13)/(d - (-618)/(-310)). Let s = o + 255. Does 20 divide s?
True
Suppose 5*m - 3*f + 6*f - 9015 = 0, -5*m + 9025 = f. Suppose 17*q - m = 10*q. Is 43 a factor of q?
True
Suppose -191*i - 71536 = -171*i - 326896. Is i a multiple of 21?
True
Let t(w) = -w**3 + 6*w + 3. Let s be -4 + 4/(-8)*4 + 3. Let j be t(s). Is 24*(4/j)/((-1)/(-4)) a multiple of 16?
True
Let q be 12/(-8)*(-2 + 4/6). Is 24335/62*q/5 a multiple of 4?
False
Suppose 11*m = -31*m + 5964. Suppose -6*a - m = -604. Is 17 a factor of a?
False
Let c = 426 + -777. Let o = 75 - c. Is 63 a factor of o?
False
Let y(c) = -77*c + 37*c + 2 + 35*c + 18*c**2. Let k be y(2). Does 5 divide (1 + (-17)/4)/((-4)/k)?
False
Suppose -11*p = 12*p - 3771 - 33489. Does 68 divide p?
False
Let b = -815 - -9329. Is b a multiple of 66?
True
Let b(c) = -3*c - 100 - 10*c - 6*c - 24 + 2*c. Does 72 divide b(-20)?
True
Let f(c) = -198*c**2 + 1. Let n = 0 - 1. Let b be f(n). Let q = 282 + b. Does 17 divide q?
True
Let l = 322 + -319. Suppose 15*p = 4*c + 12*p - 1758, l*p = -2*c + 888. Is c a multiple of 21?
True
Suppose 14*b - 30655 - 34571 = 0. Does 20 divide b?
False
Is (6675/(-30) - 10)*196/(-6) a multiple of 74?
False
Suppose 0 = -5*p + 15, 2*y + 3*p - 7*p = -11