*i + 9 = 5175. Suppose -102*s = -101*s - i. Is s a multiple of 9?
True
Let z = -3648 - -5198. Is z a multiple of 25?
True
Let v(r) = 34*r**2 + 2. Let l be v(-4). Suppose 23*g = 29*g - l. Is g a multiple of 24?
False
Suppose 56*k - 315860 - 684076 = 0. Does 31 divide k?
True
Is 2818880/220 - 80/(-88) a multiple of 44?
False
Suppose -102*y - 93*y = -213*y + 301806. Does 69 divide y?
True
Suppose 0 = 15*a - 51*a - 8*a + 1710192. Is 43 a factor of a?
False
Let x(v) = -4*v**3 - 3*v**2 + v + 3. Let g be x(-1). Is 18 a factor of ((-21)/14)/(g/(-546))?
False
Let q = -221 - -155. Let o = q - -143. Does 77 divide o?
True
Suppose -5*o + 6650 = 9*o. Let m = -295 + o. Is 45 a factor of m?
True
Let h = 11480 - 9833. Is h a multiple of 3?
True
Suppose 0 = -18*j + 8*j + 10250. Suppose -512 = -3*n + 5*l + 75, j = 5*n + l. Does 5 divide n?
False
Let r(v) = 13*v + 63. Let n(l) = -14*l - 64. Let t(j) = 4*n(j) + 5*r(j). Does 5 divide t(11)?
False
Let n = 27043 + -10843. Is n a multiple of 90?
True
Let x(r) = 7*r + 409. Is x(-52) a multiple of 14?
False
Let j(q) = q + 27. Let r be j(-24). Suppose u + 14 = -4*o, 0*u + r*o + 21 = u. Let d = 108 - u. Is 31 a factor of d?
False
Suppose 0 = -4*j + 20, -f + 7 = 2*j - 2. Does 18 divide f/(-2)*-6*-127 - 2?
False
Let u = -848 - -841. Is 221 - 2 - ((-14)/(-7) + u) a multiple of 13?
False
Let k(f) = -f**3 + 2*f**2 + 4*f - 21. Let z be k(-6). Suppose 0 = -3*q - 9, 0 = -3*w + 5*q + z. Does 19 divide w?
True
Suppose -2*w = -3*d - 0*d - 241, d = 1. Suppose 63 = -v + 1. Let a = w + v. Is 10 a factor of a?
True
Is -12 + 15 + -6 - -2143 a multiple of 107?
True
Let l(a) = -3*a + 97. Let c be l(31). Suppose 5*u - c*v = -25, 3*u + 5*v - 20 = -2*u. Is (u - (1 + -9)/4) + 269 a multiple of 10?
True
Let c(d) = -2*d**3 - 18*d**2 + 5*d - 34. Let b(y) = -y**2 + y. Let x(q) = -5*b(q) + c(q). Is x(-7) a multiple of 10?
False
Suppose 3*n = -u + 13402, -8*n - 40176 = -3*u - 7*n. Is u a multiple of 15?
False
Let z(c) = -c + 7. Let x be -4 + (-57)/(-3) + -3. Let k be z(x). Is 6/(-45)*k*6 a multiple of 3?
False
Let n(x) be the first derivative of -x**3/3 - 17*x**2 - 110*x - 37. Is 23 a factor of n(-25)?
True
Let f(y) = y**3 + 24*y**2 + 88*y + 132. Does 22 divide f(22)?
True
Suppose -8*b - 6 = 154. Let z = 29 - b. Does 2 divide z?
False
Let o be (1 + 34/(-6) - -5)*-6. Is 32 a factor of 17/(-34) - 1217/o?
True
Does 41 divide (-30)/20 + (-79893)/(-22)?
False
Let z be 4 + -3 + -3 + (1 - -3). Suppose z*k + 2*l = 70, 0 = 4*k - 6*l + l - 131. Suppose -3*a + 3*t - k = -5*a, -48 = -2*a + 4*t. Does 20 divide a?
True
Does 304 divide (158/22 - 7) + (-6741472)/(-176)?
True
Let l = 5367 + -3679. Does 11 divide l?
False
Suppose 0*v = 8*v - 4560. Suppose 5*l + 3*h = 209 + 1216, 2*h = -2*l + v. Is l a multiple of 15?
True
Let q(i) = 458*i + 3764. Is 9 a factor of q(23)?
False
Let l = -15934 - -36573. Is 76 a factor of l?
False
Suppose 4*p - 6*p = 220. Let k = p + 168. Is 3 a factor of k?
False
Let g(w) = -w - 540 + 262 + w**2 + 255. Is 21 a factor of g(-7)?
False
Let h = 21 - 442. Let f = -372 - h. Does 10 divide f?
False
Let n = 17042 + -2485. Does 157 divide n?
False
Let j(n) = -n**3 + 7*n**2 + 18*n - 36. Let p be j(8). Let m = 5 + p. Is 24 a factor of m?
False
Suppose 1 - 6 = -2*f - z, -f + 10 = -z. Does 9 divide -3 - (-51 - f) - -1?
True
Let m = -257 - -249. Let c(d) = d**2 - d - 8. Does 8 divide c(m)?
True
Suppose 36*w - 14773 = -24*w + 27887. Is w a multiple of 9?
True
Does 16 divide (-10792)/(-18) + 12/27?
False
Let h(t) = t**3 + 12*t**2 - t - 10. Let a be h(-11). Suppose -2*v + a = -400. Is v a multiple of 18?
False
Is 2 a factor of 12*((-27)/324)/((-1)/159)?
False
Let l = 184 + -223. Let n = 353 + l. Is n a multiple of 20?
False
Let h = -23 + 41. Let i = 286 + -283. Suppose -5*a + h = -i*a. Does 3 divide a?
True
Let p(q) = 5319*q**2 + 78*q + 79. Is 14 a factor of p(-1)?
True
Let t = 13 + -99. Let z = t + 162. Is 19 a factor of z?
True
Suppose 896*s = 892*s + 8. Suppose -s*o + 275 + 105 = 0. Is 36 a factor of o?
False
Let n be -3*4100/24*-4. Suppose -5*s = 2*g - n, 2*s + 0*s - 4*g = 796. Is 17 a factor of s?
True
Let x(h) = 2*h**3 + h**2 + 4*h + 1. Let u(p) = -3*p**3 - p**2 - 3*p - 1. Let y(q) = -5*u(q) - 4*x(q). Let g be (-6)/((-96)/(-8))*-2. Is y(g) even?
True
Suppose -3*g + 3*t + 495 = 0, -6*g + 2*g + 3*t + 659 = 0. Suppose -26*n + 5*m = -25*n - 230, -3 = -3*m. Let y = n - g. Does 7 divide y?
False
Does 7 divide ((-47152)/20)/(-1) + (-48)/(-120)?
False
Let a(p) = 3*p + 73. Let t be a(-3). Suppose 0 = t*r - 63*r - 102. Does 2 divide r?
True
Suppose 2*d + 5 = 4*z + 17, -2*d + 8 = 0. Let t be (5 + z)*(-7 - -6). Is (1 - (-94)/t)/((-1)/2) a multiple of 15?
True
Suppose -2*p + 1 - 1 = 0. Suppose 4*z - 3*y + 374 = p, 3*z + 4*y - 5*y + 278 = 0. Let q = 191 + z. Does 8 divide q?
False
Let z(x) = 2*x**2 + 29*x + 108. Does 12 divide z(17)?
False
Let k(d) = -d**2 - d + 10. Let v be k(0). Let z(t) = -t**2 + 12*t + 4. Let f be z(v). Let x = f + 208. Does 58 divide x?
True
Suppose x - 34868 = -2*d, 2*x - 132*d = -127*d + 69754. Does 22 divide x?
False
Let t(v) = -95 + 91 - 2*v - v + 0*v. Let g be t(0). Is 44 a factor of (-33*g/36)/(1/12)?
True
Is 24 a factor of (0 + (-3048)/(-15))/(100/1500)?
True
Is (-1 - 47320/105)*423/(-5) a multiple of 236?
False
Suppose -2*j + 22 = -4*t, -14 - 4 = -2*j + 3*t. Suppose -j*n + 10 = 4. Suppose -n*d - w = -14, -d = -5*w + 3*w + 3. Is 4 a factor of d?
False
Let c = 81 - 83. Does 13 divide 7 + (-63877)/(-66) + c/(-12)?
True
Suppose -10*i + 3*i = -21. Suppose -25 = i*a - 307. Does 6 divide a?
False
Let c(w) = 3*w**3 - 8*w**2 + 11*w - 45. Suppose -3*q = -3*d - 12, 5*d - d = q + 5. Is 34 a factor of c(q)?
False
Let p(x) = 19*x**2 - 10*x - 10. Let k(b) = -2*b**2 - b + 5. Let w be k(0). Let y(c) = -20*c**2 + 11*c + 12. Let t(o) = w*p(o) + 4*y(o). Does 9 divide t(-3)?
False
Suppose 0 = 5*j - 4*a - 5589, 2127 = 2*j + 2*a - 105. Let i = -794 + j. Does 8 divide i?
False
Suppose -15 = -3*k, -167*c + 166*c = k - 1247. Is 70 a factor of c?
False
Does 5 divide (17 + -28 + 10)*-6549?
False
Let m(l) = l**3 + 15*l**2 - 8*l - 17. Is m(-8) a multiple of 19?
False
Suppose -3*t + 99003 = 2*c, -2*t + 12842 = 3*c - 53170. Does 17 divide t?
True
Suppose 3*t + k - 2177 = 0, -t - k = -831 + 106. Let b = -119 + t. Is 18 a factor of b?
False
Let q be 7/(-700)*-10 + (-100798)/(-20). Suppose 8*w + 7*w = q. Is w a multiple of 8?
True
Suppose 10*b + 199 + 121 = 0. Does 22 divide 120/b*(-528)/9?
True
Let c(g) = 368*g - 1440. Is c(27) a multiple of 72?
True
Let w(r) = r - 10*r**2 + 41*r**2 - 20*r**2 + 2. Let y(g) = 2*g - 16. Let a be y(6). Does 14 divide w(a)?
False
Suppose 1252 - 122 = 10*h. Let c = h + -248. Let x = c + 203. Is 13 a factor of x?
False
Suppose 475*j - 521*j = -247710. Is 4 a factor of j?
False
Suppose f + 10*f - 15*f + 92 = 0. Suppose 3*m - 2*z = -m + 336, -3*z = 6. Let s = m - f. Is 20 a factor of s?
True
Suppose 0 = 3*v + 2*x - 14360, 0 = -2*v + 4*x - 8*x + 9592. Does 71 divide v?
False
Suppose -c - 26 = 4*m + 34, 4*m = -4*c - 288. Let x = 212 - c. Is x a multiple of 24?
True
Let u(m) = -m**3 + 7*m**2 - 7*m + 7. Let j be u(6). Suppose 5*o - 2*n = -1, -2*n = 102*o - 101*o - 7. Is j - -1 - (-62)/o a multiple of 6?
False
Suppose 0 = -3*s - 0*s + 3336. Let m = 1589 - s. Suppose 5*h = 363 + m. Does 18 divide h?
False
Let w = 130 - -2136. Is w a multiple of 30?
False
Is (39849/2)/((-348)/(-8) - 42) a multiple of 10?
False
Let z(g) = 6*g**2 + 10*g - 35. Is z(3) a multiple of 49?
True
Suppose -11*h - 276 = -5*h. Let u = -42 - h. Is ((-2)/(2 - u))/((-2)/(-276)) a multiple of 19?
False
Suppose -n - n = -8. Let x(i) = 158*i**3 - 6*i**2 + 3*i + 4. Let c be x(n). Is c/60 + 8/10 a multiple of 19?
False
Let s be (-23)/7 - (-4)/14. Let f be s/2 + (-18)/(-12) - -150. Let w = -137 + f. Does 13 divide w?
True
Let s(q) = -q**3 + 10*q**2 + 12*q - 17. Let j be s(11). Is 15 a factor of (-1385)/(-2) + 15/j?
True
Suppose -1965 - 4055 = -14*b. Suppose -2*m + 292 + b = 0. Does 34 divide m?
False
Let u = 432 + -1182. Let c = -332 - u. Does 38 divide c?
True
Let o(w) = 247*w + 2. Let u be (8 + -3)*(8/(-5))/(-4). Does 8 divide o(u)?
True
Let d(a) = -244*a + 12764. Is d(17) a multiple of 8?
True
Let s(v) be the second derivative of -28*v + 109/3*v**3 + 0 + 3/2*v**2. Does 17 di