. Is 16 a factor of q?
False
Suppose -y - 2*j + 55 = 2*y, 5*j - 27 = -y. Suppose -y = -i - 12. Suppose 0 = -4*h + i*o + 161, 3*h + 2*o = -3*o + 77. Is 34 a factor of h?
True
Suppose -4*x + 5*d - 4*d + 12 = 0, -5*x + 5*d = -30. Let w = 3 + x. Suppose -8*a + w*a + 216 = 0. Is 8 a factor of a?
True
Suppose 6*i - 1009 - 965 = 0. Suppose 2*l + 95 + i = 0. Does 10 divide (-7)/((-21)/(-2)) + l/(-3)?
True
Let a(t) = -50 + 24 + 35*t + 29 + 48*t. Is 9 a factor of a(3)?
True
Suppose -4*p - 7 + 11 = 0. Suppose -6*a - p = 11. Does 19 divide (-2)/(-11) + (-493)/22*a?
False
Let d(i) = -78*i - 48. Let a be d(4). Is 10 a factor of 15/2*a/(-27)?
True
Suppose -s - 6*s = -3*s. Suppose -7*h + h + 3*h = s. Suppose h = 4*j - 121 - 135. Is 12 a factor of j?
False
Suppose 3*r - 98 + 17 = 0. Let t = -6 - -10. Suppose -t*a = -219 + r. Does 9 divide a?
False
Let k = -3419 - -50179. Is k a multiple of 20?
True
Let r = -5 - -125. Suppose 51 = -h + 3*l, -3*l + 162 + 9 = -3*h. Let g = r + h. Does 20 divide g?
True
Let c be 4/(0 + -1) - 52. Let k = -51 - c. Suppose 6*q + n - 163 = k*q, 169 = q + 3*n. Is q a multiple of 40?
True
Suppose -4*q - 7 = 5, 5*j + 303 = 4*q. Does 20 divide (-18)/j - (-9591)/21?
False
Is 64 a factor of 168/(-120)*10 - -14232?
False
Let t be -4 + -2*44/(-8). Let k = -5 + t. Is (2 + -2 - -18)*k/3 a multiple of 4?
True
Let g(d) = d**2 - 24*d - 21. Suppose 0 = i + n - 30, -n + 0 = -5. Let c be g(i). Is 4 a factor of 5/(-10)*c*-36?
True
Let f(i) = -47*i - 79. Let u be f(-7). Suppose u*a - 255*a + 280 = 0. Does 40 divide a?
False
Let o(t) = -66*t + 1325. Is 21 a factor of o(12)?
False
Suppose -28*j = -32*j + 160. Is 8 a factor of (-56 + j)*12/(-2)?
True
Let d(j) = j**3 - 6*j**2 - 11*j + 17. Let y be d(7). Does 12 divide (-2)/y - (-5756)/44?
False
Let l(d) = 285*d - 4453. Is l(73) a multiple of 32?
True
Let h(w) = 6*w - 8*w + 35 - 26*w - 10*w. Does 18 divide h(-6)?
False
Let j = -27133 - -45223. Is j a multiple of 135?
True
Let g(l) = -l**2 - 16*l - 11. Let s(i) = -i**2 - 18*i - 25. Let d be s(-16). Suppose 25 + d = -4*m. Does 30 divide g(m)?
False
Is 7 a factor of (-162)/27 - (-864 + (-3 - -1))?
False
Suppose -2*g + 81 = 115. Let i(t) = -2*t**2 - 45*t + 11. Is 11 a factor of i(g)?
True
Let y(h) = -h**2 + 11*h + 2. Let z(j) = -j**2 + 10*j + 2. Let q(c) = -3*y(c) + 4*z(c). Let d be q(7). Let f(u) = 19*u**2 - 6. Is 35 a factor of f(d)?
True
Let r = -1199 - -2954. Is 13 a factor of r?
True
Let p(f) = 383*f**2 - 4*f. Suppose 0 = -6*m + 47 - 53. Is 43 a factor of p(m)?
True
Suppose -2*a - 3*a + 2*p + 29 = 0, 4*a - 4*p - 28 = 0. Let w be (-612)/(-24)*5/((-15)/2). Let v = a - w. Is v a multiple of 13?
False
Suppose -2*s = -4*d + 2, -5 = -3*s + 4*s - 3*d. Is 40 a factor of ((7/3)/s)/((-1)/(-1083))?
False
Let s(u) = -2*u - 45. Let a be s(-5). Is (-2175)/(-12) - a/(-28) a multiple of 15?
True
Suppose -143858 = -20*y + 4082. Is y a multiple of 13?
True
Let d be (-138)/(-460) + 87/10. Is 64 a factor of ((-6)/(-5))/(d/2400)?
True
Let j(h) = -3*h - 16. Suppose z - 9 = -2*z. Suppose 5*n = -52 - z. Does 4 divide j(n)?
False
Let s = 79873 + -56143. Is 33 a factor of s?
False
Let s(u) = 52*u - 9. Let p = -33 + 36. Suppose -5*i = -p*z + 26, 27 - 11 = -2*z - 5*i. Is 10 a factor of s(z)?
False
Let g = 38991 - 15663. Is g a multiple of 54?
True
Let h be -4 - ((-14)/(-21))/(3/(-5364)). Suppose -5*n = 20, -17*n + h = 2*c - 15*n. Does 26 divide c?
True
Let h(w) = w**2 + 20*w - 57. Let g be h(-21). Let o = g + 69. Does 11 divide o?
True
Let z(g) = -53*g**2 + 16*g - 39. Let q be z(3). Let x = q + 692. Is x a multiple of 28?
True
Suppose -2*z - 8818 + 13810 = 0. Is 27 a factor of z?
False
Let d be (14/(-147)*9)/(2/(-126)). Suppose 4*t + x - 30 - 75 = 0, -2*t - 2*x = -d. Suppose -2*w = -6 - t. Is w a multiple of 16?
True
Does 14 divide ((-12)/(-9))/(63900/42552 + 3/(-2))?
False
Suppose -6 = 2*k, 0*l - 12 = -l + 4*k. Suppose 12*f - 10*f - 10 = l. Suppose 2*h = f*h - 378. Does 14 divide h?
True
Let j be 6/18 + (-38)/6. Let p = 6 + j. Suppose 66*u - 62*u - 56 = p. Is u a multiple of 4?
False
Let w(h) = 8990*h**2 - 45*h + 27. Is 72 a factor of w(-3)?
True
Does 194 divide 95068/14 - 300/525?
True
Suppose -92*x = 119*x - 24*x - 583253. Is 59 a factor of x?
False
Let c(k) = 17*k**2 - k - 12. Let a be -3*(-4 - -2 - (-2 + -1)). Is 68 a factor of c(a)?
False
Let x(i) = -i**3 + 43*i**2 - 56*i - 358. Is x(41) a multiple of 10?
False
Suppose 49 = -7*l + 259. Is 4 a factor of (66/6)/(3/l)?
False
Let w(p) = -4490*p - 452. Is w(-4) a multiple of 124?
False
Let h(v) be the first derivative of 13*v**4/24 - 4*v**3/3 + 10*v**2 - 30. Let s(i) be the second derivative of h(i). Does 26 divide s(16)?
False
Suppose 0 = 2*w + 286*f - 287*f - 2383, -4741 = -4*w - 3*f. Does 8 divide w?
False
Suppose -1994 = -21*g + 6070. Let x = 310 + g. Is 32 a factor of x?
False
Let r(n) = 461*n**3 - 29*n**2 - 2*n - 16. Is 8 a factor of r(3)?
False
Let z(x) = 816*x**2 + 2*x. Suppose 0 = 10*d - 137 + 147. Is 22 a factor of z(d)?
True
Suppose -226931 = 79*q - 742959. Is 79 a factor of q?
False
Suppose -3*a + 73 = -2*q, -4*q + 2*q = -5*a + 123. Let d = a - 34. Let x = d - -44. Is x a multiple of 7?
True
Suppose 0 = -5*v + 5*h + 138085, 2*v - 1228*h + 1224*h - 55232 = 0. Is 179 a factor of v?
False
Let b = 26250 - 23661. Does 15 divide b?
False
Suppose 0 = 2*o - 2*s - 6, 4*o + 2*s = -0*o - 18. Let f be 2/(((-8)/(-148))/o). Let z = -19 - f. Is 11 a factor of z?
True
Let w(y) = 43*y**2 + 2*y - 22. Let o be w(-22). Suppose 0 = -70*p + 47*p + o. Is 41 a factor of p?
True
Let g = -115 - -138. Let h = 26 - g. Suppose -h*d + 1420 = 5*a + 2*d, -3*a = 2*d - 848. Is 35 a factor of a?
True
Let n = 5315 + 7254. Is n a multiple of 88?
False
Let y(k) = -7*k + 154*k**2 + 5*k - 64 + 62. Suppose -3*b - 8 = b - 2*d, -5*b - 2*d - 1 = 0. Is 21 a factor of y(b)?
False
Suppose -5*k = -5, -3*k = 5*j - 7*k - 6. Does 11 divide j + (-507)/(-2) + (-50)/20?
True
Suppose -5*s + 157238 = -5*h - 302517, 4*s + 6*h = 367804. Is s a multiple of 409?
False
Suppose -246 - 10 = 4*t - m, 4*t + 264 = -m. Is 21 a factor of (0 - -415)*((-338)/t - 1)?
True
Suppose -5*h + 6*r + 12171 = 0, -r = -4*h - 3*r + 9764. Is 9 a factor of h?
True
Let r(c) = 7*c + 1245. Let n be r(0). Suppose d - n = -4*d. Is 10 a factor of d?
False
Suppose k + 3*x = -0*k - 2218, 4*k + 8914 = 2*x. Let m = 3193 + k. Is m a multiple of 42?
True
Let s be (0/4)/(-5 - -3). Suppose s = -2*y + 5 + 221. Suppose -2*p - 1 = 7, -5*j + 2*p = -y. Is j a multiple of 8?
False
Suppose 3*m - 4*d = -635, -10*m - 5*d = -13*m - 631. Let n = -182 - m. Does 2 divide n?
False
Suppose -4*a = -4*i - 21348, 2*a - 6*i - 10689 = -9*i. Is a a multiple of 52?
False
Let c = -3112 + 8188. Does 12 divide c?
True
Let y(n) = 13*n**2 + 17*n + 25. Let g be y(-4). Let z = g + -81. Is 8 a factor of z?
False
Does 44 divide 11*120/(-2420) - (-52674)/11 - -8?
True
Let v be (-1 - 16/(-12))/((-11)/(-66)). Suppose 0 = -v*r - 4*a + 1098, 4*r - 2*a + a - 2241 = 0. Is 16 a factor of r?
False
Suppose -2*x - 2*x = -r - 1526, 3*r = 4*x - 1522. Suppose -8*z + x = -290. Does 28 divide z?
True
Let b = 10404 - 2945. Is 89 a factor of b?
False
Let u(m) = -2*m - 15. Let k be u(-10). Suppose -k*n = 5*t - 405, n + 5*t - 69 = -0*n. Is 12 a factor of n?
True
Suppose -2*u - 3*u - 2*k - 40 = 0, -3*u - 24 = -k. Let p be 2189/11 + (u/(-2))/1. Suppose -3*q + 1097 - p = 0. Is 14 a factor of q?
False
Suppose 2*a - 124 = 14. Suppose -a + 20 = 7*k. Let x(c) = -c**2 - 9*c - 8. Is 6 a factor of x(k)?
True
Suppose -248*u - 246*u - 39754 = -516*u. Is u a multiple of 9?
False
Does 44 divide ((-759)/115)/((-2)/520)?
True
Suppose 15 = 4*u - 5*q, 3*u - 8*u = -2*q - 23. Suppose 0*o + 20 = u*o. Suppose c = 5*c - 5*z - 929, o*c + 5*z = 959. Is c a multiple of 43?
False
Let h(g) = g**3 + 8*g**2 + 18*g + 19110. Is h(0) a multiple of 65?
True
Suppose 4*t - 4*i = 1008, 2*t - 766 = -t + 5*i. Let j(d) = -88*d + 968. Let l be j(11). Suppose l = 7*x + 30 - t. Does 31 divide x?
True
Suppose 12*v - 33 = 39. Suppose -3*l + 4*b + 273 = -849, v = 2*b. Suppose 10*i = -8*i + l. Is i a multiple of 9?
False
Let v = -240 + 402. Let j = 38 + v. Does 8 divide j?
True
Suppose -86*l - 62520 = -116*l. Does 89 divide l?
False
Let x(o) = 6758*o - 589. Let u(k) = 23*k - 2. Let m(b) = 589*u(b) - 2*x(b). 