pose -2*d = -2*x + 5190, 39*x - 7789 = 36*x + 4*d. Is x a multiple of 128?
False
Let o(b) = -4*b - 13. Let w(x) be the first derivative of -4*x**3/3 + 3*x**2 - 9*x - 21. Let g be w(2). Does 13 divide o(g)?
True
Is 3 a factor of -2*((-12879)/18)/3?
True
Suppose 40*w = 48*w - 2760. Suppose 355 = -0*t + 5*t + 4*h, 5*t + 2*h = w. Is 19 a factor of t?
False
Let a(r) = -5*r**3 - 11*r**2 + 21*r + 12. Is 166 a factor of a(-20)?
True
Let c = -1382 - -19734. Does 31 divide c?
True
Let p = -69 + 1253. Let u = p - 763. Is u a multiple of 12?
False
Suppose -4*s = -27 + 7. Suppose -862 = -s*y + 3383. Does 15 divide 10 + -8 + y/3?
True
Let w(f) = 2*f**2 + 90*f - 74. Let m be w(-46). Suppose -m*l + 4875 + 19101 = 0. Is l a multiple of 12?
True
Let n be 7 + 13364/4 + -3. Suppose 111*z - 106*z = n. Is z a multiple of 14?
False
Suppose -778 = -0*x - 4*x + k, 4*x - 784 = 4*k. Let c = 286 + x. Is 16 a factor of c?
True
Suppose -3*l + 4 = 2*r, 3*l = 2*r - 17 + 1. Suppose 4*k - 1192 = j, -r*k + 304 = -j - 1187. Is k a multiple of 10?
False
Let s(x) = x**3 - 2*x**2 - 2*x + 3. Let m be s(1). Suppose m = 19*y - 14*y. Is 14 a factor of (y - (-70)/(-12)*2)*-12?
True
Suppose -8*b + 645 + 1755 = 0. Suppose -5*w - 5*n = -b, 4*w + 25*n - 29*n - 224 = 0. Does 29 divide w?
True
Let b be (-3)/5 + 28/5. Suppose 398 + 852 = b*y. Suppose y = 3*l - 8. Is 6 a factor of l?
False
Let h(b) = 2*b - 5*b**2 - 2*b + 12*b - 8*b - 1 + 13*b**3 - 11. Is 21 a factor of h(4)?
True
Let a(j) = -2*j**2 + 3*j + 44. Let h be a(-4). Suppose 5*u - 117 = -3*g - 38, h = -3*g - u + 95. Is 9 a factor of g?
False
Suppose 2*g + 21296 = 4*f, -2*f + 107 = g - 10537. Does 9 divide f?
False
Let y = 1007 + -998. Suppose y*w = 6775 + 11900. Is 83 a factor of w?
True
Let d(o) = -32*o + 316. Is 46 a factor of d(-51)?
False
Let k = 704 + -704. Suppose 32*v + 2479 - 8111 = k. Is 44 a factor of v?
True
Let d be (140/60)/(-1*1/198). Let o = -258 - d. Is o a multiple of 7?
False
Suppose -88040 = 10*r - 30*r. Is r a multiple of 54?
False
Let s = 13533 - -1867. Is 8 a factor of s?
True
Suppose 5*n - 2817 = 4*k + 8436, 3*k = -5*n + 11309. Is 265 a factor of n?
False
Let f = 26812 - 927. Is f a multiple of 16?
False
Suppose -137*j + 171 = -138*j. Let g = 264 + j. Is 66 a factor of g?
False
Let y(f) = 13*f**2 - 6*f. Let l(i) = 4*i - 3. Let s be l(0). Let k(c) = 12*c**2 - 7*c + 1. Let v(t) = s*k(t) + 4*y(t). Is v(3) a multiple of 12?
True
Suppose 6*m - 356 = 3*m + 4*t, 0 = -2*t + 8. Suppose -97 = 3*w - 19. Let f = m + w. Is 7 a factor of f?
True
Let z be ((-145)/(-35) - 5)/((-3)/14). Suppose z*o - 1715 = 5*b, 0 = 2*o - b - 0*b - 859. Is 43 a factor of o?
True
Let w = 272 - 167. Suppose -110*y + w*y = -3750. Is 15 a factor of y?
True
Let v = 9124 + -4920. Is v even?
True
Let b(a) = a**3 + 6*a**2 + 5*a - 4. Let k be b(-5). Let t = k - 7. Does 4 divide (-328)/(-11) - 2/t?
False
Let y(g) = -834*g - 1759. Does 5 divide y(-8)?
False
Does 30 divide 57239/6 - 676/(-4056)?
True
Let t be (-2)/((-2)/3) - 426/(-2). Suppose 0 = -24*d + 22*d + t. Is 38 a factor of d?
False
Let w(i) = i**3 + 13*i**2 + 4*i + 35. Let u be w(-9). Is u - ((-16)/40)/((-3)/30) a multiple of 21?
False
Let f(p) = 1043*p + 140. Is f(1) a multiple of 7?
True
Suppose -l - 5*w = -6*w - 1, -5*l = 3*w - 29. Suppose -3*p + 1565 = -2*y, 0 = -2*p + 2*y - l*y + 1040. Is p a multiple of 85?
False
Let c be (-34 - -36)/(1/24). Is (42/c*28)/(1/2) a multiple of 2?
False
Let a = 411 - 409. Suppose -2318 = -a*m - 7*k + 3*k, -3*k + 5830 = 5*m. Is m a multiple of 32?
False
Let x be (1*-3)/((-276)/80132). Suppose 2*z + x = 1647. Is z a multiple of 23?
False
Let n(i) = 96*i**2 + 21*i - 43. Is n(-9) a multiple of 164?
True
Let u = 1370 - 1373. Let m(v) be the first derivative of -v**4/4 + v**3/3 + 7*v**2/2 + v - 1. Does 5 divide m(u)?
False
Let b(a) = -32*a + 326. Let k be b(10). Let y(o) = 3*o**2 + o**3 + 18 + 0*o - 9*o**2 + 10*o. Is 13 a factor of y(k)?
True
Suppose 5*m = 5*o - 275, -5*o + 95 = -9*m + 7*m. Does 3 divide (-5424)/m*(-15)/(-6)?
False
Suppose -13*f - 1196 = -2*n - 9*f, -3*f - 2407 = -4*n. Is 2 a factor of n?
True
Let l(w) be the third derivative of 0 - 1/3*w**4 - 28*w**2 - 29/6*w**3 + 0*w. Is 7 a factor of l(-6)?
False
Suppose 115 = 2*k - x, 4*x = 5*k - x - 290. Suppose k*l - 60*l = -4374. Is 28 a factor of l?
False
Let m(p) = -p**3 - 9*p**2 - 8*p. Let v be m(-8). Let g(w) = 9 + 1 + w + 1 + v. Does 2 divide g(5)?
True
Suppose 48 = 2*a - 0*a - 3*t, -2*t - 98 = -5*a. Let i(q) = -3*q - 24. Let n be i(a). Let y = n - -104. Does 4 divide y?
False
Suppose 0 = -68*y + 67*y + 5*r + 9823, -24 = -4*r. Is y a multiple of 207?
False
Is (-3)/(12/32) - (-6468)/21 a multiple of 10?
True
Suppose -x = 2*s - 1282, 7*x - 1424 - 7586 = -5*s. Is 15 a factor of x?
True
Let d = 1 + 1. Let h be (d - 16) + (-9 - -5). Is (-3)/h + (-750)/(-36) a multiple of 7?
True
Suppose 0 = 6*n - 219 - 177. Let z = n + -59. Suppose z*g - 6*g = 34. Is 34 a factor of g?
True
Let j be (-4)/2 - (-8 - -6). Suppose 2*p - 50 - 48 = j. Does 8 divide p?
False
Let o(v) = -3859*v + 182. Is 79 a factor of o(-2)?
True
Let z(t) = t**2 - 52*t + 455. Let s be z(11). Let u(r) = -5*r**3 - 1. Let h be u(-1). Suppose s*w - a = 221, 2*a - h*a = -4*w + 218. Is w a multiple of 8?
True
Let m(o) = -20*o + 2. Let q(s) = -s + 17. Let v be q(15). Let x be m(v). Is 10 a factor of (-4 - (x + 4))*(-1)/(-3)?
True
Let r(n) = -3*n + 8. Let b be r(-7). Let t = 882 + -846. Let p = b + t. Is 19 a factor of p?
False
Let y = 22 - 28. Let m(k) = -31*k - 19. Let s be m(y). Let z = s - 92. Does 17 divide z?
False
Does 33 divide ((-12361)/(-235))/((-2)/(-530))?
False
Let u(w) = 2*w + 32. Let d be u(-14). Suppose 1675 = d*v - i, 0 = -4*i - 0*i - 12. Does 38 divide v?
True
Let f(y) = 47*y + 5141. Is 68 a factor of f(50)?
False
Suppose 11*g = -20*g + 7533. Suppose 5*r + 746 = -l + 246, -3*r = -5*l + 328. Let o = r + g. Is 12 a factor of o?
False
Let a = -2836 - -4612. Does 48 divide a?
True
Suppose -6*k + 540 = 3*k. Suppose -4*q + 5*w - 60 = -8*q, -4*q + k = 2*w. Does 5 divide q?
True
Let x = 5 + 2. Let w(k) = -k**3 + 7*k**2 + 14. Let i be w(x). Suppose -8*c = -i*c + 510. Does 14 divide c?
False
Suppose -r = -6*r - 20, 2138 = 3*t + 4*r. Let f be t/8 - (-2)/(-8)*3. Let k = -34 + f. Does 7 divide k?
False
Suppose -51*t - 136*t + 388416 = -51*t. Does 68 divide t?
True
Let x = 5827 + 3220. Is x a multiple of 83?
True
Let i(c) = c**3 + 18*c**2 - 3*c - 8. Let j be 6/8 + (-4)/(80/(-745)). Suppose -t + 5*a = 23, -t - t - j = -2*a. Does 18 divide i(t)?
False
Let q = -15803 - -22908. Is q a multiple of 104?
False
Let k be (-5)/(-4) + (-1417)/436. Let t(x) = 33*x**2 + 2*x - 1. Does 13 divide t(k)?
False
Let s(b) = 11*b**2 - 16*b + 47. Suppose 0 = 3*f - 2*w - 25, -5*f = -0*f + 5*w. Does 52 divide s(f)?
False
Let j(l) = 167*l + 115. Does 11 divide j(7)?
False
Let r(c) = -4*c + 53. Let p be r(12). Suppose 4*q - 697 = -p*n, -6*n + 558 = -2*n + 3*q. Is n a multiple of 18?
False
Let k be (1/(-1))/(3/30*5). Does 20 divide (-41568)/(-208) - k/13?
True
Suppose -4*x + 5 = 3*h, 2*x = -3*x - 20. Suppose 120 = 5*r - 2*j, -h*j + 20 = -3*j. Let a = -1 + r. Is a a multiple of 8?
False
Suppose 135*o - 148*o - 416 = 0. Let i = 50 - o. Is 8 a factor of i?
False
Let v be (2 + 1)*14/21. Suppose -v*g - 2 = -2*h, 7*h - 14 = 2*h + 2*g. Suppose 3*l = h*c + 88, 0*l + 3*c = 3*l - 84. Is 5 a factor of l?
False
Suppose -21*y + 9682 = -17*y + 2*w, -y - 2*w = -2419. Is 34 a factor of y?
False
Let r(w) = 2*w**2 + 17*w - 18. Let h be r(-14). Let j = 878 + h. Does 39 divide j?
True
Let q = -4160 - -10980. Is 10 a factor of q?
True
Let f be (-7)/28 + (-143)/(-44). Let r(c) be the third derivative of c**6/120 + c**4/24 + 2*c**3/3 - c**2. Is r(f) a multiple of 17?
True
Suppose -5*n = t - 1419, -14*n = -t - 15*n + 1407. Is t a multiple of 39?
True
Let i(t) = 47*t**2 + 2*t + 3. Suppose -113*r = -108*r + 5. Does 12 divide i(r)?
True
Suppose -3*i = 4*o - 897, -3*o - 68 = 4*i - 739. Let c = o + 360. Is 45 a factor of c?
True
Suppose -9*g = -379 - 17. Is g a multiple of 11?
True
Let o be 2/(-7) + 22655/(-161). Let n = -7 - o. Does 10 divide n?
False
Is (-10 + (-46086)/(-36))/(2/12) a multiple of 43?
False
Let m be 3/3*(0/5)/1. Is 32 a factor of 13/(-91) - (m - 4230/14)?
False
Suppose -4*q = j, 1 = -3*j + 4