= 5*d - 3*m, 3*d = -3*m - 18. Is d + 2 - (-1 + -135) a multiple of 2?
False
Suppose -396*h + 250*h = -199582. Does 19 divide h?
False
Let d(k) = -473*k - 1643. Is d(-27) a multiple of 26?
True
Is 12 a factor of -109 - -107 - -2*493?
True
Let p = -93 - -48. Let y = -45 - p. Suppose 3*o = 5*d - 168, d + d + 5*o - 61 = y. Is d a multiple of 13?
False
Let j = -5 - -88. Suppose -90*h - 151 = -4*f - 93*h, 3*h = -2*f + j. Is f a multiple of 7?
False
Let v(t) be the third derivative of -t**6/40 - t**5/30 + t**4/4 + 41*t**3/6 - 21*t**2 - 3*t. Is v(-5) a multiple of 6?
True
Let v = 16 + 2030. Suppose 4*q = 4*j - 2728, 3*j = 5*q - q + v. Is j a multiple of 11?
True
Suppose -2*o - 2*q = -20, o = -3*q + 22 - 2. Suppose o*w - 1 = 9. Suppose -k - w*r - 2*r = -85, 3*k = 5*r + 238. Is k a multiple of 27?
True
Suppose -l + 2*l + 3898 - 12792 = 0. Is l a multiple of 8?
False
Let z = -2668 - -6032. Is 14 a factor of z?
False
Let r(y) = -6*y**2 + 9*y - 7. Let a(f) = 6*f**2 - 8*f + 6. Suppose -d + 5*d = 2*p + 24, -d + 12 = -2*p. Let m(z) = d*r(z) + 5*a(z). Is 34 a factor of m(-3)?
True
Let n be 385*(1 - -2 - (-4 - -2)). Suppose -16*w = -11*w - n. Is w a multiple of 11?
True
Let y = -73160 + 105785. Is y a multiple of 25?
True
Let i(m) = m**3 - 5*m**2 + 13*m - 8. Let j be i(5). Let b be (19/(j/198))/(4/30). Suppose 3*l + 245 = t, 0*t - b = -2*t + l. Is 12 a factor of t?
False
Let z(s) = -s**2 - 123*s + 1239. Is z(-132) a multiple of 51?
True
Let d(z) = 575*z - 2324. Is 33 a factor of d(27)?
False
Let f(a) = -a**3 - 4*a**2 + 15*a + 3. Let j be f(-6). Let x = j - -11. Does 4 divide 0 - x/((-8)/(-58)) - 1?
True
Let h(z) = -z**2 + 12*z - 3. Let u be h(8). Let w = u - -57. Is w a multiple of 43?
True
Suppose -2*f = 4*d - 5612, 5*d - 5*f - 3607 = 3453. Does 3 divide d?
False
Let b(i) = 18*i + 1. Let k be b(-1). Let v(w) be the third derivative of w**6/120 + 4*w**5/15 - 11*w**4/12 - 4*w**3 + 74*w**2. Is 39 a factor of v(k)?
False
Let l(i) = -1779*i - 8022. Is 48 a factor of l(-18)?
True
Is 31 a factor of 241531/5 - ((-25)/125)/((-4)/(-16))?
False
Is 11 a factor of (-16)/120 - (2 + (-451088)/60 - -3)?
True
Let v(m) = -m**2 + 3*m + 3. Let t be v(-1). Let y be 58*((-10)/20)/(t - -2). Let q = -26 - y. Is q a multiple of 3?
True
Let i(p) = -17*p + 15. Let k(w) = 8*w - 8. Let t(f) = -6*i(f) - 11*k(f). Suppose 55*u = 56*u - 5. Is t(u) a multiple of 52?
False
Let u = -124 + 1083. Suppose -29*k + 30*k = 2, u = 3*i + 4*k. Is 40 a factor of i?
False
Let g be -167 + 1 - (-6 + (5 - -1)). Let z = -139 - g. Is z even?
False
Let o = 1152 - 351. Let l = 1287 - o. Is 13 a factor of l?
False
Suppose 2*g - g - 3 = 0. Suppose d + 14 = 5*a, g*a - a = -d + 7. Suppose 0 = -5*l + k + 94, -a*k - 45 - 39 = -4*l. Is l a multiple of 9?
True
Suppose 5*i = -2*k - 43, 9*k - 12*k = 4*i + 47. Let p(u) = 2*u**2 - 9*u - 28. Is 9 a factor of p(k)?
False
Let g = 4316 + 10428. Is 38 a factor of g?
True
Suppose 5*m = -10, 2*p - 74*m + 77*m - 268 = 0. Let f = p + -65. Is f a multiple of 4?
True
Let r(h) = 2*h - 6*h + 11*h - 5*h - 34. Let k be r(18). Suppose -62 = -c + 5*s - 7, -5*c - k*s = -221. Does 9 divide c?
True
Is (56/16 + (-52)/13)/(3/(-107544)) a multiple of 19?
False
Let f = 9200 + -5839. Is 7 a factor of f?
False
Suppose 0 = 34*f - 37*f + 2*b + 5861, -3920 = -2*f - 5*b. Is f a multiple of 23?
True
Let s = 9614 - 8218. Is s a multiple of 4?
True
Is (-111606)/96*-12 - (-1)/4 a multiple of 105?
False
Suppose 911944 = 104*d - 61*d. Does 22 divide d?
True
Suppose 2*r + 8787 = h, 2*h + 2*r + 3*r - 17619 = 0. Let y = h + -5710. Does 52 divide y/12 + 3 + (-3)/12?
True
Suppose -8*t + 0*t = -16. Suppose 3*c = -m - 0*m + 82, 5*m = -t*c + 46. Is 14 a factor of c?
True
Is (8 - (-220)/(-32))*32/6 - -39584 a multiple of 30?
False
Suppose 123*j = 106*j + 116722. Is 17 a factor of j?
False
Suppose 0 = -7*g - 124 - 2. Let b = g + 21. Suppose -2*m - 2*w + 28 = 0, 2*w + 12 = b*m - m. Is m a multiple of 8?
False
Let i(r) = 41*r + 5. Let n(u) = -42*u - 4. Let o(h) = 2*i(h) + 3*n(h). Let s be o(-8). Suppose 5*d = s + 185. Is d a multiple of 28?
False
Let s(w) = -21*w - 63. Let r be s(-3). Suppose 5*v - 38*v + 5115 = r. Is v a multiple of 12?
False
Let x be 52/9 + (-14)/(-63). Let t be 36/24*208/x. Suppose -c + t = -186. Is c a multiple of 17?
True
Is 110 a factor of -3 - (-4052)/36 - 12*(-9)/243?
True
Suppose -3*z - 23830 = -k + 36322, 4*k - 240608 = z. Is k a multiple of 73?
True
Suppose -302*h = -1827144 - 1159032. Does 309 divide h?
True
Let f(h) = -h**3 + 8*h**2 - 9*h + 7. Let m be f(7). Let v be (-56)/8*2/m. Is 7 a factor of v/4*248/4?
False
Suppose -10*q + 2*f = -96803 - 106953, -3*f = 4*q - 81472. Is q a multiple of 286?
False
Let t = -19 - -23. Suppose t = 3*d - 5*d. Is (-2)/d + (-2)/(-2)*33 a multiple of 17?
True
Suppose 0 = 2*k + 3*l - 2*l + 3, 3*k + 6 = -2*l. Suppose k = 2*w - 113 + 71. Is (-4)/(-14) - (-561)/w a multiple of 9?
True
Is 118/((-7)/14*2/(-4)) even?
True
Suppose 4*b = 20, -4*n + b + 8 + 3 = 0. Suppose -70 = -n*d - d. Suppose -158 = -4*s - d. Is s a multiple of 12?
True
Is ((-905)/(-25) + (-3)/15)*196/8 a multiple of 63?
True
Let d(f) = -f**2 + 6*f - 5. Let i be d(2). Let j = i + 39. Does 4 divide 3330/105 + (-3)/(j/(-4))?
True
Suppose 0 = -i + y + 6841, 56*i = 53*i - y + 20535. Does 116 divide i?
True
Let k = -119 - -131. Let s = 68 + k. Is s a multiple of 40?
True
Let s be (-20669)/(-99) + 4/18. Suppose -n + s = 3*u, 2*u = 2*n + 5*u - 418. Let v = n + -119. Is 11 a factor of v?
False
Let r be 111 + (1 + 0)*(4 + -3). Suppose 0 = -r*q + 117*q - 265. Let i = -48 + q. Is 3 a factor of i?
False
Let v(g) = -4*g**2 - 19*g + 33. Let u(k) = -12*k**2 - 56*k + 96. Let y(o) = -6*u(o) + 17*v(o). Is y(10) a multiple of 47?
False
Let v(i) = -i**3 + 27*i**2 + 5*i + 33. Let s(b) = -b**3 + 22*b**2 + 50*b - 22. Let a be s(24). Is 49 a factor of v(a)?
False
Let q = 86 + -76. Let l be 3 + q/6 - (-2)/(-3). Suppose 5*h - 102 = -u, 4*u - 3*u + l*h - 104 = 0. Is u a multiple of 41?
False
Let l(p) = -p**2 - 25*p + 25. Let j be 1*(-2 - (-42)/(-3)). Is 13 a factor of l(j)?
True
Suppose -3*f - 2*a + 8 = -a, a + 8 = 5*f. Suppose 5*b + 2*r + 851 = 10*b, 3*b = -f*r + 501. Does 39 divide b?
False
Is 81 a factor of 0 + -12 - (-263130)/98?
True
Let x = -97 - -85. Let i = x + 48. Does 36 divide i?
True
Let h(s) = -40*s - 6. Let o be h(0). Is 4 a factor of ((-302)/14 - 1)*(-1 + o)?
False
Let k(s) = -s**3 + 11*s**2 + 7*s - 1. Let b(c) = -2*c**3 + 34*c**2 + 22*c - 3. Let z(i) = -2*b(i) + 7*k(i). Let g be (-5 - -6) + -6 + 2. Does 14 divide z(g)?
False
Let g(j) = -6 + 4*j**3 + 0*j**3 - 10*j - 5*j**3 - 5*j**2. Suppose -2*f - 36 = 4*a, 9*a = 10*a - 4*f - 18. Does 8 divide g(a)?
False
Is 9 a factor of 2*35/10 + 335?
True
Let y(i) = -i**3 + 148*i**2 - 359*i + 302. Does 25 divide y(144)?
True
Let f = -3628 + -472. Is 17 a factor of (-3)/(f/(-684) - 6)?
False
Suppose 0 = 442*m - 723485 + 154146 - 528589. Is 92 a factor of m?
True
Suppose 2*g = 6*g. Let o = -23401 - -23441. Suppose -106*n + 102*n + o = g. Is 8 a factor of n?
False
Let n = -614 - -1239. Is 15 a factor of n?
False
Let a be 15/5 + 3/1. Let h be -1 + 231 + 4 + -4. Suppose h = -y + a*y. Is 13 a factor of y?
False
Suppose 5*p = 3*t + 978 + 1528, 2546 = -3*t - 5*p. Let b = -461 - t. Is 5 a factor of b?
False
Let s = 38 - 54. Let a(k) = -k**3 - 15*k**2 + 16*k + 15. Let t be a(s). Let n(l) = l**2 - 13*l + 22. Is n(t) a multiple of 13?
True
Let h(b) = b**2 + 20*b + 4. Let t be h(-20). Let k(v) = v - 4 + 5*v - 2*v - v. Is k(t) a multiple of 4?
True
Suppose 55 + 21 = 4*n. Let m(x) be the third derivative of x**5/60 - 17*x**4/24 - 7*x**3/3 - 251*x**2. Does 5 divide m(n)?
False
Let q(l) = 7*l**2 - 8*l + 12 + 9*l**2 - 17*l**2. Let z be q(-9). Suppose 4*n - 2*x - 112 = 0, -5*n - 3*x = -z*n - 48. Does 3 divide n?
True
Let c(k) = 12*k**2 + 3*k + 22. Let y be c(-8). Suppose y = z - g, 3*z - g = 1403 + 905. Does 78 divide z?
False
Let s(b) = b**3 + 9*b**2 + 10*b + 8. Let p be s(-7). Let m = 52 + -62. Let t = m + p. Is 5 a factor of t?
False
Let v(g) = -158*g + 489. Does 131 divide v(-11)?
True
Let h(g) = 15*g**3 - 6*g**2 + 8*g - 4. Let r(t) = -16*t**3 + 6*t**2 - 7*t + 3. Let u(p) = -4*h(p) - 5*r(p). Let v be u(-5). Does 15 divide (6/(-4) + 1)*v/9?
False
Suppose -13*p + 99183 = 40033. Is 25 a fact