 -0*b - 2*b + 208, d = b - 4*g - 96. Does 12 divide b?
False
Let w = 529 + 27. Suppose -49*y + 47*y = k - 134, 0 = 4*k + 4*y - w. Is k a multiple of 8?
True
Suppose s + p = 3*s - 271, 2*p = 5*s - 675. Let l = -136 + s. Is (24/(-5))/(4*l/30) a multiple of 5?
False
Let l(o) = -o**2 - 10*o - 14. Let d be l(-8). Suppose d*w + w = 3*u - 75, 0 = -5*u - 5*w + 125. Suppose 21*i + 24 = u*i. Does 2 divide i?
True
Let c(j) = -153*j + 24. Does 8 divide c(-28)?
False
Let v be 426/4*(-4)/6. Let n = v + 153. Suppose -4*o = 2*k - 186 - n, 0 = -3*o + k + 191. Is o a multiple of 18?
False
Suppose -2350 = -3*k + 4*r, -4*k + 3155 = 3*r - 4*r. Does 10 divide k?
True
Suppose 11*l - 1294 = 4151. Is 2 a factor of l?
False
Suppose 17*t - 20*t + 999 = 2*b, 2*b - 1002 = -2*t. Is b a multiple of 21?
True
Suppose 9*d = 8*d - 3*v + 2997, 5*d + v = 14943. Is 4 a factor of d?
True
Suppose 0 = 35*s - 3*s + 96. Is 4 - 9 - -9 - 8*s a multiple of 14?
True
Let o = -136 + 632. Let z = 1144 - o. Is 9 a factor of z?
True
Suppose 2*y = g - 13, -3*y - 3 + 16 = 5*g. Let m be (6 + (-200)/28)*14/y. Suppose m*x + 20 = -b + 561, 3*x - 408 = -3*b. Is x a multiple of 21?
False
Suppose -k = -5*n - 14208, -104*k = -101*k + 5*n - 42564. Does 57 divide k?
True
Suppose -23*r = -24*r - 1, 5*h - 85 = -5*r. Suppose 0 = h*n + 75 - 615. Is n a multiple of 3?
True
Suppose b = -3*q + 73192, -4*b = -3*q - 161787 - 131116. Does 73 divide b?
True
Let r = 98 - 98. Suppose -14*g - 4*g + 1584 = r. Does 7 divide g?
False
Let z(p) = -6*p**3 - 27*p**2 - 168*p - 3. Is 53 a factor of z(-7)?
True
Suppose 5*s = 3*p + 6313, 4*s - 175*p = -171*p + 5052. Is s a multiple of 8?
False
Let t = 2894 - 2815. Is 9 a factor of t?
False
Suppose -49*r + 52*r = -18. Let h = 9 + r. Is h a multiple of 3?
True
Let l(u) = u**3 + 4*u**2 + 2*u - 4. Let n be l(-3). Is (88/12 - 1)/(n/(-9)) a multiple of 19?
True
Let m(c) = c**2 - c - 3. Let t(w) = 40*w**2 - 28*w + 56. Let u(j) = -6*m(j) + t(j). Is 29 a factor of u(5)?
False
Suppose -f - 3 = -0. Let j be f - (-10*1 - -2). Suppose 8 = 3*s + 5*a, 3*s - j*a = 26 + 32. Is 4 a factor of s?
False
Let i = 118 - 2. Let y = -114 + i. Suppose 36 = y*z - 4*j - 48, 4*z - 133 = j. Is z a multiple of 17?
False
Let g be 16/(-40) + (2356/5)/(-2). Let m = -177 - g. Is m a multiple of 14?
False
Suppose 27 = r + 4*d - 191, 3*r + 5*d - 661 = 0. Let l be 1 - (7 - (-2 - -8)). Suppose -g + r = g + 3*s, l = 4*g + 3*s - 432. Does 20 divide g?
False
Let y be -1*1*(1522 + -9). Let h = -793 - y. Suppose -3*r = 6*r - h. Does 20 divide r?
True
Let h(g) = 12*g**2 - 2*g - 14. Let o(p) = 8*p + 10. Let m be o(8). Let s = m - 77. Is 6 a factor of h(s)?
False
Let b(n) = 13*n - 59. Let p be b(12). Suppose p = 5*z - 838. Does 16 divide z?
False
Suppose -14*w = -3*w - 88. Suppose 4*c = w*t - 6*t - 1052, -3*t - 2*c = -1546. Is 25 a factor of t?
False
Let y(g) = -g**3 + 8*g**2 + 4*g + 19. Let d be y(9). Let a = d + 55. Let x = a - -23. Is 13 a factor of x?
True
Let b(x) = -x**3 - 22*x**2 + 25*x + 51. Let j be b(-23). Suppose 816 = j*r - 264. Is r a multiple of 9?
True
Suppose 0*h = 2*h + 4, 0 = 5*g - h + 18. Let t(u) = -11*u. Let c be t(g). Suppose -c = 9*a - 11*a. Is a a multiple of 22?
True
Let d(r) = -23*r + 51. Let x(b) = -11*b + 25. Let t(n) = 3*d(n) - 7*x(n). Let m be t(13). Let u = m + -58. Is 4 a factor of u?
True
Suppose 0 = -3*b + 3*k + 15735, -3*b - 16*k + 15736 = -20*k. Suppose b = 15*r - 906. Is 21 a factor of r?
False
Let t(b) = 14*b**2 - 1. Let n be t(-1). Let j = 55 - n. Does 8 divide j?
False
Let y(g) = -g**3 + g**2 + 10*g + 430. Is 3 a factor of y(0)?
False
Let l = 5455 - 152. Is 22 a factor of l?
False
Suppose -78 = -11*y - 2*y. Does 32 divide (-8)/y*(-255)/34*32?
True
Let g(s) = 764*s + 2760. Is g(27) a multiple of 16?
False
Suppose 5*v = 3*v + 4. Suppose -v*a = -d - 0*d - 12, 20 = 5*a. Is 3 a factor of ((-150)/35 - d) + (-102)/(-14)?
False
Does 16 divide (6084/(-195))/(2/15*(-2)/8)?
False
Let b(z) = z**3 - 9*z**2 - 13*z - 24. Let d be b(7). Let t(k) = -73*k - 1. Let f be t(5). Let g = d - f. Does 49 divide g?
False
Is 41 a factor of (-63)/3*(-105732)/324?
False
Let z = -1162 - -1166. Let g(c) = 8 - 3 + c**2 + 2*c**3 - 5*c**2. Does 23 divide g(z)?
True
Let u = -213 + 203. Is 7 a factor of (902 + u)*(21/(-12) - -2)?
False
Let n be 21*(-1 - (-49)/21). Is ((-792)/63)/((-4)/n) a multiple of 22?
True
Suppose -484050 = -115*o + 1261305. Is 70 a factor of o?
False
Suppose -8*s = -4*s - 2168. Let m = s + -422. Is m even?
True
Let o(a) = a**3 - 19*a**2 + a - 17. Let t be o(19). Suppose d + 4*p - 559 = 0, -2202 = -5*d + t*p + 637. Is 27 a factor of d?
True
Suppose -g - 5 = -13. Let h be ((-3 - -2)*g)/((-2)/(-3)). Does 8 divide 0 + 4 + (-4)/(h/81)?
False
Suppose -2*d = -5*x + 5, -4*d + 26 = x + x. Suppose -z + 10 = 3*b, x*z = -4*b + 16 + 4. Suppose 3*f - 82 = z*g, 4*g = 3*f + g - 87. Does 34 divide f?
True
Suppose -24 = -n - 2*n. Let z = n + 1. Let l(f) = -f**3 + 9*f**2 + f + 6. Is l(z) a multiple of 15?
True
Let v = 1172 - 948. Is v a multiple of 8?
True
Suppose 19*w - 75 = 16*w. Suppose -x = 3*h - w, 2*h + x - 11 = h. Let r(k) = 3*k**2 + 12*k - 17. Is r(h) a multiple of 32?
False
Suppose 6*o - 5*g - 359 = 3*o, 5*o - 569 = g. Let m(h) = 39*h + 4. Let t be m(-2). Let k = o + t. Is 13 a factor of k?
True
Let c be -1*(-48)/(4 + -5). Let d = c + 50. Is 11 a factor of (-375)/(-35) + d/7?
True
Let v(l) = 30*l**2 - 2*l. Suppose 2*w + 2*f = 8, 2*w - 10*f + 11*f = 6. Is v(w) a multiple of 2?
True
Suppose 4*v = 1174 + 406. Let j = v + 21. Is 7 a factor of j?
False
Let z(j) = j**3 - 100*j**2 - 1415*j + 184. Is z(113) a multiple of 8?
False
Let c(b) = 9*b**2 + 22*b - 7. Let d be c(-4). Suppose d*m - 459 = 40*m. Does 2 divide m?
False
Suppose -332 = 12*w + 9508. Let k = w + 866. Does 4 divide k?
False
Let j(v) = 4*v**2 - 8*v - 9. Let r(a) = -7*a**2 + 15*a + 19. Let z(c) = 5*j(c) + 3*r(c). Let h be z(9). Let p = -16 - h. Is p a multiple of 4?
True
Suppose 44*m - 48*m - 16 = 0. Let o be (116/(-16))/(m/(-16)). Let w(b) = -b + 22. Is w(o) a multiple of 7?
False
Let m(q) = q**3 + 14*q**2 - 31*q + 3. Suppose 7*r + 10 = -102. Let w be m(r). Let c = w - -45. Is c a multiple of 8?
True
Suppose -20 = 3*z - 5*z. Suppose 5*b - 4*h = 20, -4*h = 2*b + 10 + z. Suppose b = -7*d + d + 162. Is d a multiple of 9?
True
Does 27 divide 26487/(-2)*(-94)/141?
True
Let s = 14888 + -7046. Is 13 a factor of s?
False
Let v be (-10)/(-8)*((-3 - -5) + 2). Let c(y) = -3*y + y - y + 0*y + 10*y**2 + v. Is c(2) a multiple of 3?
True
Let w be (4/(32/(-126)))/((-5)/20). Suppose -87 = -a - w. Let h(u) = 2*u - 44. Is h(a) a multiple of 2?
True
Suppose 2*j - 27 - 33 = 0. Let m be 4/j*-5*-1*183. Suppose -y = -2, 0*y - 4*y - m = -5*r. Does 26 divide r?
True
Suppose 3*g = -0*g - 4*g. Suppose g = -75*y + 119051 - 33701. Is y a multiple of 75?
False
Let i = -40 + 39. Let s be (i - -1) + (0/(-1) - 3). Is 13 a factor of s + 119 + (-3)/(-3)?
True
Suppose 2*c + 4 = 6. Let m(w) = -w**3 - 9*w**2 - 4*w - 22. Let o(s) = -s**2 + s + 1. Let k(t) = c*o(t) + m(t). Is 6 a factor of k(-10)?
False
Let q(f) = 8*f - 16. Let m(a) = 2*a. Let g(l) = -m(l) - q(l). Is g(-23) a multiple of 25?
False
Let k(p) = -231*p**2 - 7*p + 17. Let h(a) = 462*a**2 + 14*a - 31. Let y(z) = 6*h(z) + 11*k(z). Does 25 divide y(-1)?
True
Let w be 2/6 + 51/9. Suppose w*n = 3*n + 21. Let x = n + 0. Is x a multiple of 5?
False
Let j(d) = 2*d - 19. Let t(b) = b**3 + 9*b**2 - 10*b - 3. Let s be t(-10). Let q(l) = -2*l + 19. Let x(n) = s*j(n) - 4*q(n). Is 5 a factor of x(17)?
True
Suppose -2376765 = -133*c + 1883491. Is 11 a factor of c?
True
Suppose -5*i + 5*s = 2*s + 4, -5*i + 14 = 3*s. Let n be 8*(-2*3/(-12))/i. Suppose n*f + 540 = 9*f. Does 9 divide f?
True
Suppose 0 = -3*o + 5*i - 1093, 2*o - 4*i - 736 = 4*o. Let d = o + 834. Suppose 0 = 8*y - d - 252. Is 30 a factor of y?
True
Suppose -3*o + 18*u = 14*u - 18277, -4*o = -2*u - 24386. Is 3 a factor of o?
True
Let t(y) = y**3 + 48*y**2 - 118*y + 275. Is 22 a factor of t(-47)?
True
Suppose 45*m - 15*m - 120 = 0. Suppose 0 = -5*p + m*z + 2635, 3*p - 735 = 2*z + 844. Is p a multiple of 13?
False
Let v(z) = 110*z**2 + 141*z + 126. Is 26 a factor of v(8)?
True
Suppose -11*c + 33062 - 6695 = 0. Suppose 14*u + 465 - c = 0. Is 6 a factor of u?
True
Let n(p) = -76*p + 767.