. Is y a multiple of 28?
True
Suppose 0 = 5*z + 4*m - 883, -5*m = -4*z - 117 + 848. Suppose -i + 2*y + 141 = 0, 5*i + 3*y - z = 552. Does 9 divide i?
False
Let z(x) = 326*x - 26. Let b(s) = 164*s - 17. Let i(w) = -5*b(w) + 3*z(w). Suppose 0 = -4*p + o + 1, 0*p + 5*o - 10 = 5*p. Is i(p) a multiple of 33?
True
Suppose -25*x - 14*x = 159*x - 159192. Is 134 a factor of x?
True
Suppose -3*j = 2*j + 2*z + 37, -10 = 2*j - 4*z. Let u(v) = 5*v**2 + 25*v + 100. Does 10 divide u(j)?
True
Let x = -7 + 12. Suppose -321 = -d + 3*c + 1198, -5*c - 6090 = -4*d. Suppose 2*m = -5*h + 1505, 0 = x*h - 2*m - 0*m - d. Is h a multiple of 22?
False
Let j(b) = 3*b**2 + 12*b - 2. Let g be j(6). Let c = 70 + g. Is c a multiple of 8?
True
Suppose 0 = -4*u + 5*u - 1008. Suppose -2*s - 5*s = -u. Let o = -70 + s. Is o a multiple of 6?
False
Suppose -5*p = -52 - 98. Suppose -4*i + p = i. Suppose -m - i + 26 = 0. Is m a multiple of 20?
True
Let p(n) = -9*n + 106. Let h be p(9). Suppose -h*c + 2640 = -3*c. Is 4 a factor of c?
True
Let h(m) = m**3 + 32*m**2 - 55*m - 473. Is 11 a factor of h(-33)?
True
Suppose 2*q - 8552 = 4*z, 3*z + 0*z = 5*q - 21394. Is 12 a factor of q?
False
Suppose 0*i + 3*f - 6060 = -3*i, -4*f = 5*i - 10096. Suppose -3*s - i = -15*s. Is s a multiple of 21?
True
Let c(y) = -23*y - 8. Let h(q) = -12*q - 4. Let w(o) = 4*c(o) - 7*h(o). Let d be w(-1). Suppose -3*x + 470 = -s - 4*s, -d*x = -3*s - 634. Is x a multiple of 20?
True
Let p(a) = 70*a + 1988. Is p(82) a multiple of 24?
True
Let l be (-1 + -2)*4/(-6). Let t(s) = 9*s + 219. Let y be t(-23). Suppose y = o + l*o, 0 = -4*d + o + 180. Does 11 divide d?
False
Let i = -4147 + 4455. Does 7 divide i?
True
Let n(w) = -1584*w - 292. Is n(-13) a multiple of 70?
True
Let f(p) = 2*p. Suppose -3*m = -0*m. Let i be f(m). Does 6 divide 2 + i - 2*(4 + -12)?
True
Let d(m) = -4*m**3 + 60*m**2 + 26*m - 18. Is 31 a factor of d(15)?
True
Let m = 532 - 130. Suppose 4*r - 3062 = 2*d - m, r + d = 665. Is r a multiple of 35?
True
Let m(u) = 27*u**2 - 37*u - 33. Does 14 divide m(14)?
False
Let p = 4454 - -796. Is p a multiple of 70?
True
Let m(w) = 2*w**2 + 2*w - 1. Let t be m(-2). Suppose -t*b - i = -1603, 5*i - 144 = -2*b + 916. Is 6 a factor of b?
False
Suppose -148*c - 37*c + 183106 = -1170169. Is c a multiple of 35?
True
Let r = 59 - 55. Suppose 77 = r*x - 5*o, -2*x - o - 3*o = -32. Let t = 33 - x. Is t a multiple of 2?
False
Let r = 3047 + 1057. Does 13 divide r?
False
Let g be 4 - (31 + -4 - 5). Let b be (-1932)/g + ((-30)/9 - -3). Is 6 a factor of (-2 - 3/(-1))*b?
False
Let x(u) = 8*u - 171. Let q be x(22). Suppose 16*j - 20*j + 2*h + 2446 = 0, q*h = 5*j - 3060. Is 21 a factor of j?
False
Let f = -461 + 1748. Is f a multiple of 33?
True
Suppose 5148 = d + t, -4*t = -5*d + 6*d - 5154. Is d a multiple of 83?
True
Let m = -50 + 53. Suppose 283 = m*q - 563. Does 50 divide q?
False
Suppose v - 2*v + 59 = 5*p, -p = -2*v + 140. Let c be (2 + (-132)/30)/(2/(-30)). Let h = v - c. Is h a multiple of 33?
True
Suppose -3682 + 54306 = 8*v - 5*f, 5*f - 25252 = -4*v. Is 21 a factor of v?
False
Suppose -40*o - 15494 = -4*o - 1040198. Is 16 a factor of o?
True
Suppose 0 = -0*m - 3*m + 6. Let v(t) = -t + 79. Let u be v(14). Suppose -m*a + a = -u. Does 19 divide a?
False
Is 15 a factor of (24/48)/((-1)/(-4748))?
False
Let u = -224 - -6689. Is u a multiple of 5?
True
Suppose 3*r - 12 - 27 = 4*c, 27 = -3*c + 3*r. Let g be (0 - -6)/(c/(-1744)). Suppose -4*z + g = -0*z. Does 29 divide z?
False
Let i(g) = -g**3 + g - 9. Let d be i(0). Let p be (d/(-2))/(-9)*0. Let j = p - -42. Does 21 divide j?
True
Let o(p) = -156*p - 950. Is 50 a factor of o(-61)?
False
Let m(s) = -2*s + 20959 - 4*s - 21017. Is 19 a factor of m(-16)?
True
Let k(m) = -4*m**3 - 305*m**2 - 91*m + 130. Is k(-78) a multiple of 17?
False
Let b(t) = -2*t**3 - 94*t**2 - 119*t - 216. Does 25 divide b(-48)?
False
Let d(j) = j**3 + 24*j**2 - 28*j - 17. Let q be ((-130)/(-15) + -8)/((-2)/75). Is 24 a factor of d(q)?
False
Let n(j) = 6*j + 1987. Is n(-17) a multiple of 6?
False
Let z = -9796 + 15718. Does 47 divide z?
True
Suppose 0 = d - 717 + 131. Suppose 0 = -3*p + 6*a - 7*a + 346, -d = -5*p - 4*a. Let y = 136 - p. Does 22 divide y?
True
Let a(u) = 7*u**3 - 3*u**2 - 2*u - 1. Let t be a(-1). Is (152/16 + t)/((-1)/(-176)) a multiple of 4?
True
Let m = 294 + 201. Let n(v) = 45*v + 198. Let p be n(-9). Let a = m + p. Does 32 divide a?
True
Let k(c) = 6*c - 170. Let d be k(29). Suppose 0*x + 1385 = 5*h + 5*x, d*h = -2*x + 1116. Does 13 divide h?
False
Let m be ((-68)/(-3))/((-18)/(-27)). Let c = -33 + m. Does 6 divide 84*(3/6)/c?
True
Let l(j) = 35*j**3 + 3*j**2 + 10*j - 160. Is l(6) a multiple of 176?
True
Let w(i) = -i**3 + 13*i - 4. Let m be w(3). Is m + -3 - (4 - 52) a multiple of 36?
False
Let z(v) = 459*v + 4*v**2 - 462*v + 7 + 36*v**3 - 6. Is z(2) a multiple of 13?
True
Suppose -7*k - 25 = -2*k. Let r be (10/k)/(-2) + 3. Suppose 3*m - 6 = 0, -r*s - 3*m = -2*s - 270. Is 11 a factor of s?
True
Suppose 110*j - 84*j = 6656. Suppose -3*c + 2*b + 103 = 0, b + j = 5*c + 75. Is 19 a factor of c?
False
Let y(h) = 67*h + 3. Let m be y(-1). Let t = m - -62. Is 9 a factor of 927/18 - 3/t?
False
Suppose -3*w - 2*w + 30 = 0. Let h be -19 - 0 - 3*-1. Is w + (-9)/(36/h) a multiple of 5?
True
Let c = 7904 - 6561. Does 17 divide c?
True
Let j be (4/(-4))/((-2)/4). Let b(i) = 5 + 0*i - 6 + i + j. Is 13 a factor of b(12)?
True
Suppose 0 = -o + 2*d - 12, 0*o + 2*d = -2*o - 42. Let h(m) = -m**3 - 19*m**2 - 22*m - 2. Let x be h(o). Let y = -1 + x. Is y a multiple of 13?
False
Suppose 13*x - 1721856 = -51*x. Is x a multiple of 114?
True
Suppose 5*c - 3*b - 23 = -113, c - 4*b = -18. Is c*(-13 + 1)*(-40)/(-16) a multiple of 18?
True
Suppose -33*a + 216694 + 53180 = 0. Is 73 a factor of a?
False
Let s(a) = -326*a + 4555. Is s(-13) a multiple of 9?
True
Let j = 395 + -260. Suppose -a = -5*c - 76 - 53, -a - c = -j. Does 24 divide a?
False
Let a = 218 - 215. Is 2 a factor of 1/(3*a/441) + -5?
True
Let p(o) = o + 4676. Let r be p(0). Suppose 0*u - 4*u = -r. Is u a multiple of 18?
False
Let n(d) = -7*d + 8*d**2 + 65 - 124 + d. Let k(s) = 9*s**2 - 7*s - 60. Let r(j) = 5*k(j) - 6*n(j). Is r(0) a multiple of 27?
True
Suppose 54*u - 5*n - 141 = 50*u, -u - 3*n + 48 = 0. Suppose 0 = -2*m + 8 + 4. Suppose 0 = 3*a - u + m. Is a a multiple of 3?
False
Let r be ((-20)/((-400)/(-45)))/(1/108). Let j = r - -413. Does 10 divide j?
True
Let a be (1515/(-6) - 1)*(-2)/3. Suppose -15*m = -a - 71. Does 2 divide m?
True
Suppose -43*t + 76957 + 92635 = 25*t. Is 21 a factor of t?
False
Suppose 0 = z - 2*w - 13773, 3*z + 158*w = 155*w + 41328. Is z a multiple of 13?
False
Suppose -5*x + 129248 = 2*f - 3*f, 3 = -f. Is 8 a factor of x?
False
Let o = -703 + 322. Let p = o + 1187. Does 20 divide p?
False
Let d = -7 + 9. Suppose -d*l + 5*m + 141 = -1035, 0 = 2*l - m - 1192. Does 13 divide l?
True
Let y(m) = 4*m**2 + 59*m - 9. Let l(i) = i. Let q(d) = -22*l(d) + 2*y(d). Is q(-15) a multiple of 19?
True
Let d be 2/2*-3 + 12 + 4053. Suppose 0 = -4*x - 102 + d. Is 22 a factor of x?
True
Let g = 35 + -72. Let t = -22 - g. Suppose 9*p = 6*p - t, 3*n - 5*p - 187 = 0. Does 20 divide n?
False
Suppose 132*d - 65*d - 797233 = 0. Is d a multiple of 21?
False
Suppose 47 = 11*u + 14. Suppose -3*x = 5*y - 298, -15*y = u*x - 12*y - 300. Is 4 a factor of x?
False
Suppose -17*u = -3 + 3. Suppose u = -126*b + 123*b + 2214. Is 41 a factor of b?
True
Let b be (1206/(-81))/(4/(-36)). Suppose -5*d + 38 = 2*o - 270, -5*o = 5. Let q = b - d. Is q a multiple of 36?
True
Let a be 8 - -100 - (1 - (0 - 2)). Let f = 60 + a. Does 33 divide f?
True
Suppose -13*r + 14*r = 2. Suppose -p + 4*a = r*p - 321, 2*p - 221 = 5*a. Suppose 4*j = 3*o - 502, 0 = o + 2*j - 287 + p. Is 58 a factor of o?
True
Suppose -13*y + 16*y - 657 = 0. Let p = -129 + y. Does 16 divide p?
False
Let a(b) = 2 + 1 - 5 + 441*b - 4. Is a(1) a multiple of 61?
False
Let z = -1 + 5. Let v = 1 + z. Suppose 118 = 2*o - 5*y, -295 = -v*o + y - 4*y. Is 15 a factor of o?
False
Suppose -8 = -2*i + 4*a + 24, -5 = -5*a. Suppose 13*v = i*v - 10. Suppose 11*o - 494 = -v*o. Is o a multiple of 14?
False
Suppose 4*j = -5*g + 3*j + 869, -2*g + 349 = -j. Let r = g - 138. Does 2 divide r?
True
Let t be (-126)/16 + 8 + (-184