9 = 3*y + 3*x. Is 13 a factor of y?
True
Is 36 a factor of (3 - (-36954)/30)/(43/215)?
False
Let l = -300 + 811. Suppose 187 = -i + l. Does 6 divide i?
True
Let q = -10 + 12. Suppose q*j + 4*x - 32 = 0, 11 = -0*j + j + x. Suppose -w - 147 = -4*a - j*w, 4*a - 2*w - 126 = 0. Is a a multiple of 11?
True
Suppose 5*t - 8025 = -5*h, -5*t = -2*t - 2*h - 4790. Is t a multiple of 20?
True
Let h(s) = -2*s**3 - 10*s**2 + 9*s + 12. Suppose k + 10 - 2 = f, 0 = -5*k + 4*f - 39. Does 5 divide h(k)?
True
Let r = -15188 - -16397. Does 31 divide r?
True
Suppose 5*f = -b - 0*b - 163, b - f = -139. Let i = b + 57. Let j = i + 143. Does 5 divide j?
False
Suppose 4*c + 90 = 14*c. Is 41 a factor of 1*238 + c/((-18)/10)?
False
Suppose 4*d - 4035 = -3*b, 2025 = 2*d - 1924*b + 1927*b. Is 17 a factor of d?
False
Let a = 39241 + -21457. Is a a multiple of 13?
True
Suppose -41 = 3*t - 59. Suppose 0 = 7*b - 4*b + t. Is (101 - 0 - b) + 6/(-2) a multiple of 50?
True
Let g = 19134 + -7975. Is 5 a factor of g?
False
Let y(b) = -6*b**3 - 9*b**2 + 7*b + 14. Let i be y(5). Let v = -72 - i. Is 61 a factor of v?
True
Let w(c) = -c**2 - 5*c + 52. Let q be w(5). Suppose 4*t - 2*h - 1486 = 396, -q*h + 1394 = 3*t. Is 36 a factor of t?
True
Let v = 5207 - -18124. Is v a multiple of 11?
True
Suppose o - 69 = 3*s - 201, -4*s - 2*o + 176 = 0. Suppose 5*x - 5*g - 70 = 0, 0*g - 5*g = -3*x + s. Let c(i) = i**2 - 7*i - 27. Does 17 divide c(x)?
True
Suppose -4*y - 18698 = -2*b, -29*b + 33*b + 5*y = 37344. Is b a multiple of 19?
False
Let g be (9/((-18)/(-4)))/(1/4). Let u(w) = -w**3 + 7*w**2 + 12*w - 8. Is 4 a factor of u(g)?
True
Let s(u) = 21*u + 23. Let d be s(7). Suppose 0 = d*t - 172*t + 10. Suppose 0 = t*p - 4*o - 218, o = p - 29 - 14. Does 23 divide p?
True
Suppose 6*k - 24 = -0. Does 37 divide (-11)/(k*(-2)/296)?
True
Let n(q) = q**2 - 7*q + 2. Let u be n(7). Let m(d) = -5*d**3 - d + 2. Let a be m(2). Is 10 a factor of (-24)/a*(u - -48)?
True
Let r(k) = 2*k - 10. Let v be r(8). Suppose 3*c - 1046 = -4*y, -4*c + 1525 = 5*y + 217. Does 54 divide (v/5)/(6/y) + 2?
True
Let v = 77 + -75. Suppose -3*y - 5*o - 676 = 0, v*y - 688 = 5*y + 2*o. Does 13 divide (-2)/(y/(-118) - 6/3)?
False
Suppose -4 = 4*c + 8, -4*r + 2*c + 406 = 0. Let t = 145 - r. Suppose t = -5*z - k + 121, 4*k = -z. Is z a multiple of 8?
True
Let f(x) be the second derivative of -7*x**3/3 + 33*x**2/2 + 26*x. Let p be f(12). Let l = 245 + p. Does 11 divide l?
True
Suppose -14*k + 42336 = -13874. Does 12 divide k?
False
Suppose 165*q + 6146 - 35846 = 0. Does 4 divide q?
True
Suppose t + 2*v - 90 = 0, 113*t - 111*t - 180 = 3*v. Is t a multiple of 31?
False
Let d = 19197 + -14591. Is 49 a factor of d?
True
Let m(b) = b**3 + 24*b**2 + 24*b + 26. Let a be m(-23). Suppose -a = 7*d - 8*d. Suppose -d*u + 17*u - 364 = 0. Is u a multiple of 2?
True
Let r be 4 - (0 + 0 - 2) - -1108. Suppose 4*i = r + 502. Does 7 divide i?
False
Let u = 27 - 29. Suppose -f + 2 = -3*f, -5*h + 43 = -3*f. Is (-182)/(-6) + (h/(-6))/u a multiple of 2?
False
Let m = -193 - -333. Let i be m/21*(-48)/10. Let q = 44 + i. Is q a multiple of 2?
True
Let n be (-2288)/(-12)*(1 - -2). Suppose -17*t = -n - 5038. Is t a multiple of 11?
True
Suppose 4*c - 1402 = -242. Suppose -c = -s + 79. Suppose 0 = 5*n + 4*n - s. Is 18 a factor of n?
False
Let m be 210*70/15 - -5. Let h = m + -584. Is 36 a factor of h?
False
Suppose 363 = 2*y - 5*j, -3*j - 339 = -2*y - 6*j. Let s = 118 - y. Let f = -42 - s. Is f even?
True
Let q(d) = -10*d + 89. Let t be q(7). Let b = t - -5. Is b a multiple of 6?
True
Suppose -2*s + 5*w + 14 = 0, -2*w - 3*w = 5*s. Suppose 0 = -m - 2*x + 12, s*x = -2*m + 7*m. Does 12 divide m - 10/6 - 213/(-9)?
True
Suppose 5*u + 332*l = 333*l + 9124, 4*u - 4*l - 7312 = 0. Is 12 a factor of u?
True
Let l be (-1233)/(-63) + 2 + (-8)/14. Suppose -12*v = -9*v - l. Does 6 divide v?
False
Suppose -9*h = -6*h - 9. Let b(m) = -8*m**2 + 8*m + 3*m**3 - 2*m**h - 10 + 4*m - 5. Is b(8) a multiple of 27?
True
Let c(w) = -44*w + 71. Let t be c(-15). Let i = t + -532. Is 88 a factor of i?
False
Suppose -7*x + 5*x = -56. Let f = x + -3. Suppose -f = 2*w - 7*w. Is w a multiple of 4?
False
Let z = -34 + 31. Let a be (-4)/2*(33/(-6) - z). Suppose 0 = -a*w + 21 + 14. Is w a multiple of 4?
False
Let u be 10622/14 + ((-48)/28)/(-6). Suppose 0 = -2*y + 7*s - 2*s + 521, -3*y + 3*s + u = 0. Is y a multiple of 35?
False
Let i(h) = 28*h + 30 + 233*h**2 - 116*h**2 - 114*h**2. Does 15 divide i(-21)?
True
Let i(o) = o**3 - 8*o**2 - 13*o - 18. Let d be i(10). Suppose 3*v - d = 4*l, -4*v = 9*l + 2 - 14. Does 2 divide v?
True
Let s be -1*(-2)/(-6)*(0 - 0). Let c be 1 + 8 - s/(-5). Let r(i) = 2*i**2 - 13*i + 1. Is r(c) a multiple of 20?
False
Suppose -7*j + 8*j - 3*c - 15 = 0, -4*c = j + 6. Is 33 a factor of (-33)/j*(-36)/((-4)/(-2))?
True
Suppose 0 = -3*o - 3, 5*x - 832 = o + 63719. Does 38 divide x?
False
Suppose 0 = -21*g + 12173 - 4193. Is g a multiple of 44?
False
Let a = 69 - 71. Does 9 divide a*(-31)/(-6)*(-48)/16?
False
Let r = -16172 + 36851. Is r a multiple of 14?
False
Suppose -5*d = 5*w - 225, 3*d + w = 6*d - 135. Suppose 467 = 4*x + 5*s, 43*s - 10 = d*s. Does 4 divide x?
False
Suppose 0 = d + 4*r - 83 - 465, -d - 2*r = -558. Is d even?
True
Let k(f) = -9*f - 40. Let g be k(-5). Suppose 132 = g*o + 6*o. Suppose -o*s + 64 = -8*s. Is s a multiple of 8?
True
Let s(q) = 19 - 2*q + 50 + 9*q - 3. Does 32 divide s(18)?
True
Suppose -6*h - 22 = -64. Let i(q) = 32*q + 113. Is i(h) a multiple of 22?
False
Suppose -6*n = -n. Suppose 0*d = 5*d, n = -4*w + 5*d + 72. Is w a multiple of 3?
True
Let u = -2 + 6. Suppose -u = 2*j - 4. Suppose j = -4*x + 4*h + 104, 3*x + 2*h = -x + 116. Does 14 divide x?
True
Let m(z) = 20*z + 30. Let o be ((-14)/(-8))/((-1)/4). Let a be m(o). Let f = 170 + a. Does 6 divide f?
True
Suppose -27*i + 12*i + 389760 = 17*i. Does 10 divide i?
True
Let r(u) = 7*u**2 - 3*u + 6. Let h(x) = -x**3 + 5*x**2 - 8*x + 10. Let k be h(4). Does 23 divide r(k)?
True
Suppose 11270 + 564 - 1511 = -111*l. Let m = 257 + -367. Let h = l - m. Does 17 divide h?
True
Let d = 21113 + -14654. Is 11 a factor of d?
False
Suppose -3*h - 1573 = -5*m + 637, -4*m - 5*h = -1768. Is 13 a factor of m?
True
Suppose -4*r + 720 = 9*j - 5*j, -736 = -4*r + 4*j. Suppose 2*i = 4*u + r, 99 - 2 = i + 4*u. Is i a multiple of 31?
True
Suppose v + 64*v = -0*v + 990925. Is v a multiple of 33?
False
Is 34 a factor of ((-36)/(-10) - 4)*-94730 + 0?
False
Let n(u) = 7*u**2 - 27*u - 340. Does 10 divide n(16)?
True
Let t = -211 - -215. Suppose t*o - 1928 = 5*n, -4*o + 2818 = 3*n + 858. Does 22 divide o?
False
Let k(a) = 471*a**2 + 40*a - 108. Is k(6) a multiple of 64?
True
Let h(w) = w**3 - 6*w + 23. Let r be h(6). Suppose 7*j = r + 728. Does 12 divide j?
False
Let p(j) = -46*j + 168. Suppose -18*t + 64 - 190 = 0. Is p(t) a multiple of 7?
True
Is (-723)/((1/3)/(4/(-12))) - 3 a multiple of 9?
True
Is 51 a factor of 2343/(-22)*-136*9/9?
True
Let l(h) = 9*h**2 - 15*h + 31. Let x(k) = -10*k**2 + 15*k - 32. Let z(s) = 7*l(s) + 6*x(s). Does 19 divide z(17)?
False
Let n(j) = j**3 + 10*j**2 - 2*j. Let x(i) = 2*i**2 - 3*i - 2. Let z be x(-2). Suppose -58 - z = 10*f. Is 28 a factor of n(f)?
False
Suppose -2341 + 16225 = 13*m. Suppose -h = -73*o + 72*o - 363, 3*h = -4*o + m. Is 18 a factor of h?
True
Suppose d + 5*s - 1932 = -3*d, 0 = 4*s. Let x = -199 + d. Is x a multiple of 13?
False
Let k be (138/27 - (-1)/(-9)) + -5. Suppose k = 8*o - 1 - 703. Is o a multiple of 3?
False
Let v(t) = 374*t - 108. Does 27 divide v(27)?
True
Let f(u) = 2*u**2 + 44*u + 44. Let y be f(-21). Suppose 29 = y*m - 171. Is 50 a factor of m?
True
Let f(j) = -21 - 7 + 7*j + 8*j. Let k be f(8). Suppose 5*v + 2*q - k = 0, -v + 4*v = 5*q + 49. Is v a multiple of 4?
False
Let r be (-36)/(-8)*(-4)/(-12)*6. Is 64 a factor of 1*(7 - r) - (-1 + -705)?
True
Does 73 divide 1320 + (17 - 6)*2?
False
Let p(n) = -896*n + 2171. Is p(-14) a multiple of 45?
True
Let z = -1637 - -6537. Is z a multiple of 49?
True
Let t be (133 - -2)*(-1302)/(-70). Let p = t - 1644. Is 13 a factor of p?
False
Does 19 divide (-11 - -1)*4622928/(-1480)?
True
Does 190 divide (-26662972)/3395*(-10)/16*6?
False
Let h(x) = -x**3 + 15*x - 193 + x**2 + x**3 + 3*x**3 + 158. Is 88 a factor of h(5)?
True
Is ((-6