/i*10 - -66?
False
Suppose 4*v + v + 3*g - 11818 = 0, -3*v = 5*g - 7094. Let h = v + -795. Is h a multiple of 14?
True
Suppose 15215 = 4*h - 7*r + 2*r, -11388 = -3*h - 4*r. Does 85 divide h?
False
Suppose -11*r - 337 - 1093 = 0. Let a be 11/((2 - r/(-132)) + -1). Suppose -7*k = -a - 240. Is k a multiple of 45?
False
Suppose -2*v - 7*v = 39163 - 182938. Is 45 a factor of v?
True
Suppose 46204 = 27*d - 11981. Let c = -1539 + d. Does 21 divide c?
False
Let x = -87 - 68. Let h = x + 281. Is h a multiple of 21?
True
Let k = -566 - -259. Let h = k - -627. Is 10 a factor of h?
True
Does 46 divide (-10156)/((-30)/(-3) - 14)?
False
Suppose -5*a + 3 = -2*a. Suppose 0 = 29*b - 34*b + 55. Is 4 a factor of a + b + -3 + 0?
False
Let l = -164 + 32. Does 2 divide (3/(-6))/(1/l) + -2?
True
Let l(i) = 5*i - 30. Let y be l(6). Let x(t) = -t**3 + 3*t**2 + 2*t + 168. Is x(y) a multiple of 21?
True
Let p(m) = 3*m**2 + 3*m + 3. Let l be p(-3). Let o = l + -11. Is 21/6*o - 0 a multiple of 5?
True
Let h = -335 - -740. Let o = h - 243. Is o a multiple of 27?
True
Let x(c) = -15*c**3 + 21*c**2 - 43*c - 355. Is 224 a factor of x(-11)?
True
Let t = -131 + 132. Does 24 divide 1*-20*(8/(-4) - t)?
False
Suppose g - 2*f = -7*f + 73, -310 = -4*g - 2*f. Let s = -375 + 380. Let d = g - s. Is d a multiple of 29?
False
Let p be 0 + (-122)/4 - (-9)/6. Is 90 + (2/9 - p/(-9)) a multiple of 3?
True
Suppose -5*i = 4*p - 275, -2*p - 19 + 155 = 2*i. Let x = 67 - p. Suppose z = 4*r + 65, -z - x*z - r = -221. Is z a multiple of 7?
False
Let v(o) = -o**2 + 601*o + 180. Is 20 a factor of v(100)?
True
Suppose 56 = x - 4*x + 4*h, -4*h = -x - 24. Is 210/3 - x/(-4) a multiple of 27?
False
Let k(o) = 3*o**3 + 241*o**2 + 77*o + 261. Is k(-80) a multiple of 11?
False
Let l(o) = -104*o + 9944. Is 6 a factor of l(18)?
False
Let v(n) = 304*n + 3. Let h be v(-1). Let l = 571 + h. Suppose -2*q - l + 888 = 4*k, -q = -3. Is k a multiple of 50?
False
Let o(p) = 337*p**3 + 5*p**2 - 12*p - 4. Does 84 divide o(2)?
True
Suppose 120 - 45 = -5*j. Does 12 divide 18/(-225)*j*50/3?
False
Suppose -2096 = 4*u - 8*u. Is u a multiple of 4?
True
Let z(p) = -4*p**3 - 10*p**2 + 37*p - 56. Let w(d) = d**3 + 3*d**2 - 9*d + 14. Let u(l) = -9*w(l) - 2*z(l). Is 72 a factor of u(-10)?
True
Suppose -7796*v + 7822*v - 1032954 = 0. Does 24 divide v?
False
Suppose 5870 = 12*g - 2*g. Suppose 4*v = g + 2065. Is 51 a factor of v?
True
Suppose -50*d + 91 = -141*d. Let y be 8/(-20) + (-36)/10. Is 33 a factor of (((-354)/y)/3)/(d/(-6))?
False
Let b(o) = 121*o + 4457. Does 27 divide b(58)?
True
Let p = -38 - -40. Suppose 3*z + p*z = 1060. Suppose 2*v - z = -5*w, 4*v + 3*w - 396 = -0*w. Is 24 a factor of v?
True
Suppose 2*j = 3*u + 25699, -2*u - 38516 = -3*j - 4*u. Suppose 8*w - j = -2354. Is 92 a factor of w?
False
Is 4 a factor of 3 + 1259 - ((-18)/45)/(6/(-30))?
True
Let l(f) = -f**3 + 6*f**2 - 10*f + 25. Let n(i) = -i**2 - 10*i - 4. Let a be n(-9). Let g be l(a). Suppose g = 4*b - 1821 + 441. Does 32 divide b?
False
Is (-642500)/(-250) + 14*1 a multiple of 76?
True
Let p = 46 + -36. Suppose -p*t + 94 = -736. Suppose 17 - t = -3*m. Is m a multiple of 13?
False
Let x(b) = 44*b**2 - 37*b - 305. Does 35 divide x(-12)?
True
Let u(r) = r**3 + 6*r**2 + 4*r - 2. Let k be u(-5). Suppose -t = -0 + k, -5*t = -4*d + 1887. Does 39 divide d?
True
Suppose -57 = 2*f - 43, -17725 = -5*x + 5*f. Is 32 a factor of x?
False
Let h(k) = k**2 - 10*k - 2. Let n be h(11). Suppose 15 = -6*t + n. Does 13 divide t*((-4)/2 + -167)?
True
Let x(v) = 365*v + 433. Is x(11) a multiple of 139?
True
Let r = 261 + -261. Suppose 4*x - 228 - 300 = r. Is 33 a factor of x?
True
Suppose -12 = 4*v, -10 + 0 = -g - 4*v. Let l(p) = 3*p - 11 + 8 - 6 - 7. Is 16 a factor of l(g)?
False
Suppose i + 5*m - 283 = 0, 4*i + 3*m = -m + 1100. Let c = -83 + i. Let v = c + -111. Does 14 divide v?
False
Suppose -14*s = -6*s - 80. Suppose 0 = -7*m + s*m. Suppose 2*y - 240 + 36 = m. Is 17 a factor of y?
True
Let r be (-3)/((3/(-417))/1). Suppose -4*t + 2*u = -10, -82*u = 4*t - 85*u - 5. Suppose 3*z - t*a = -z + r, z + 3*a - 117 = 0. Is 18 a factor of z?
True
Let m = 560 - -2446. Is 75 a factor of m?
False
Let s(z) = 253*z + 28. Let t be s(-2). Let j = -133 - t. Does 23 divide j?
True
Suppose -v + 8 = v, 3*x + 3*v - 153 = 0. Suppose 48*s - 105 = x*s. Is 35 a factor of s?
True
Let g(z) be the second derivative of z**4/4 + 4*z**3/3 - 13*z**2/2 + 5*z. Let m be g(-11). Let u = m + -163. Is 9 a factor of u?
True
Suppose 9*v = -7*v + 144. Is 32 a factor of -10 + 8 + (-282)/(v/(-3))?
False
Let j be (59 - -7)*20/(-15). Let o = j + 288. Is 25 a factor of o?
True
Let t(b) be the first derivative of b**3 + 12*b**2 - 10*b + 16. Suppose 93 = 3*k + 123. Is 10 a factor of t(k)?
True
Let z = 5326 - -1026. Does 8 divide z?
True
Is ((-614)/(-3))/2 + 238/(-714) a multiple of 47?
False
Suppose -2*k - j + 10 = -0*j, -4*j = -2*k. Let w be (-9)/(-4) + k/(-16) - -2. Suppose -3*y = -w*n - 140, -4*y + 91 + 137 = 5*n. Is 26 a factor of y?
True
Let k = -46 + 76. Let n(m) = -30 + k + 91*m**2. Is n(-1) a multiple of 13?
True
Suppose 3*z = 3*y + 18, 2*y + 0*y + 10 = 0. Is 13 a factor of (114/(-10) + z)*(-350)/28?
True
Let y(g) = -g**3 + 5*g**2 + 5*g + 1. Let i be y(6). Let j(x) = -3*x**3 - 9*x**2 - x + 13. Is 14 a factor of j(i)?
True
Suppose 43*d = 40*d + 3. Let i(h) = 4*h + 8. Let q be i(d). Let n(t) = -t**3 + 11*t**2 + 16*t + 6. Does 6 divide n(q)?
True
Let p be (0 + (0 - 0))*(-13 - -14). Suppose n - m = 173, -7*m + 6*m - 5 = p. Let o = n + -72. Is 18 a factor of o?
False
Let m(x) = -x**3 + 4*x**2 - 6*x + 7. Let z be m(2). Suppose -7*u - f + 843 = -3*u, 0 = 5*u + z*f - 1059. Is 10 a factor of u?
True
Let v be (2 - -1)*(-2)/(-3). Let q(u) = -u**2 - 6*u - 3. Let k be q(-4). Does 13 divide v/k - 323/(-5)?
True
Suppose 4*g = -2*c + 16378, 40*c - 5*g - 16369 = 38*c. Is 104 a factor of c?
False
Let z(v) = 4*v**2 + 3. Let t be z(-3). Let f = 119 + -121. Does 9 divide t/((-4)/(-4)) + 6/f?
True
Let l(x) = x**2 + 2*x - 8. Let f(a) = a**2 + 18*a + 30. Let q be f(-16). Let d be q/(-28)*-2 + (-830)/70. Is 16 a factor of l(d)?
True
Let b(c) = -c**3 - 7*c**2 + 127*c + 407. Does 5 divide b(-16)?
False
Let n(w) = -15 + 3*w - 3*w + w - 2*w. Let o be n(-19). Suppose 2*r + 178 = 4*y, 0 = -3*y + 4*y - o*r - 62. Is y a multiple of 15?
False
Let d(a) = a**3 - 6*a**2 + 11*a - 7. Let j be d(4). Suppose -5*m + 6215 = j*p, 5*m + 0*m = -p + 1259. Is 64 a factor of p?
False
Let z = 174 - 166. Does 24 divide 7/28 + 1150/z?
True
Let h = 4977 - 3686. Does 3 divide h?
False
Let j(a) = -a**3 + a**2 + a + 290. Let h = -10 + 10. Let m be j(h). Let v = m + -153. Is v a multiple of 15?
False
Let d(o) = -o**3 - 3*o**2 + o - 2. Suppose 3*x = -m - 0*x - 18, -4*m - 37 = 5*x. Let y be d(m). Is y - 144/(-30) - 52/(-10) a multiple of 3?
False
Let s(g) = 17*g**2 + 56*g - 279. Does 98 divide s(17)?
True
Suppose 5*q = -48 + 263. Suppose -24 = -q*o + 39*o. Does 41 divide -3 + o - 1 - -162?
True
Suppose 0 = -15*t + 229871 + 52849. Does 197 divide t?
False
Let s(v) = -12*v**2 - 19*v - 3*v**3 + 0*v**3 - 13 + 4*v**3 + 0*v**2. Is s(14) a multiple of 3?
False
Is (-142)/(((-1)/12)/((-50)/(-30))) a multiple of 40?
True
Suppose 2*d - 333 = -d. Let x = 133 - 76. Let u = d - x. Is 6 a factor of u?
True
Suppose 2*s = -6, -2*v - 4*s - 141 = -5*v. Let a = v - 43. Let d = a + 12. Is 12 a factor of d?
True
Let j be 39/3 - (3 - 3). Suppose -4*r + l + j = -0*r, 5*l + 25 = 0. Does 9 divide (-29*r - -4)/(-2)?
True
Is 24 a factor of 474*(0 + (-1141)/(-42))?
False
Suppose 20*c + 783 = 17*c. Let b = 393 + c. Suppose -2*k + 2*m = -76, 3*m + 0*m = -3*k + b. Is 8 a factor of k?
False
Let w(v) = -6*v**3 - 80*v**2 + 218*v + 7. Is 44 a factor of w(-18)?
False
Suppose -755510 + 55080 = -89*z. Does 8 divide z?
False
Let q(g) = -13*g - 17. Let d be q(-2). Suppose -d*r - 95 = -617. Is r a multiple of 9?
False
Suppose 634304 = 404*m + 179*m. Does 16 divide m?
True
Let h = 18783 + -18398. Is h a multiple of 35?
True
Let d(h) = 22*h + 104. Let q be d(-4). Is -3*6*1/(q/(-408)) a multiple of 9?
True
Let t be -5*1810/(-125) + (-2)/5. Let r = t - 47. Suppose 0 = r*d - 30*d + 200. Is 24 a factor of d?
False
Let j(p) = -61*p - 86. Let c(i) = 124*i + 172. Let w(r) = 4*c(r) + 7*j(r). Is 6 a factor of w(2)?
False