-658, -w + 331 = 2*x + x. Suppose -w = 8*f - 1055. Is f a multiple of 19?
False
Let i = 263 + -234. Let o = 128 - i. Does 9 divide o?
True
Let v(y) = y**2 - 5*y - 23. Let d be v(7). Let z(o) = -23*o - 68. Is 7 a factor of z(d)?
False
Let n(p) = -5*p + 250. Let s = -525 + 511. Is n(s) a multiple of 16?
True
Let y(o) = 87*o**3 - 14*o**2 + 46*o - 30. Does 75 divide y(5)?
True
Let q be ((-108)/5)/(-3*(-4)/(-4480)). Suppose 20*a = 2*a + q. Is 32 a factor of a?
True
Suppose -60 = -13*n + 9*n. Let o be 3*((-35)/n)/(-7). Let q(w) = 91*w + 5. Does 16 divide q(o)?
True
Let c be (-12)/28 - 505/(-35). Let x(u) = -c + 106 + 58 + 4*u. Is x(0) a multiple of 25?
True
Let i = -324 + 876. Let a = i - 369. Does 84 divide a?
False
Let a(i) = 170*i**3 + i**2 - 5*i + 15. Does 7 divide a(2)?
False
Suppose 0 = -4*t + 5*i + 74917, 20*t - 21*t + 2*i + 18727 = 0. Is 206 a factor of t?
False
Suppose 0 = 10*x - 63859 - 134781. Is 62 a factor of x?
False
Let y = 7094 - 379. Is y a multiple of 40?
False
Suppose -57*v + 10*v + 146170 = 0. Does 2 divide v?
True
Is 24 a factor of (3/((-30)/4))/(292/(-840960))?
True
Let f(n) = -3*n**2 + 1. Let w be 1 + (0 + 1)*4/(-1). Let x be f(w). Does 13 divide x/3*6/(-4)?
True
Suppose -117*i + 20*i = -254334. Is i a multiple of 23?
True
Let y(v) = -v + 5. Let g be y(3). Suppose -5*k - 804 = p - 4884, 0 = 4*k - g*p - 3264. Suppose 5*c = -3*c + k. Is 15 a factor of c?
False
Suppose -45*h + 40*h + 39891 = 12*f, 4*h = -2*f + 31966. Does 37 divide h?
False
Let m = -321 - -331. Suppose 5*p + 2*o - 25 = 0, p - 3*p + m = -o. Is p even?
False
Suppose -4771 = -5*s - 4416. Is 3 a factor of s?
False
Let o(y) = 216*y**2 + 51*y - 111. Does 26 divide o(2)?
False
Let y(d) = d + 11. Let r(b) = -b - 10. Let i(u) = -5*r(u) - 4*y(u). Let m be i(-4). Suppose 2*a = -2*a - k + 370, m*a - 5*k = 174. Is a a multiple of 27?
False
Suppose 0 = -267*u + 341779 - 37399. Is u a multiple of 10?
True
Let v = 486 - 484. Suppose 2*x + 2*w = 2220, -4*x + 2013 = v*w - 2417. Is 65 a factor of x?
True
Let y(k) be the first derivative of k**6/360 - k**5/30 - k**4/12 + 11*k**3 + 42. Let q(v) be the third derivative of y(v). Does 13 divide q(15)?
False
Is 6 + -1*(39/(-9))/((-23)/(-6417)) a multiple of 81?
True
Let c(p) = -5*p**2 + 35*p - 27. Let z be c(6). Is 63 a factor of (-5)/(-60) + z*(-36282)/(-216)?
True
Is (-9)/(3*((-271392)/(-38772) - 7)) a multiple of 71?
False
Let g(f) = f**3 + 2*f**2 - 5*f + 292. Does 73 divide g(0)?
True
Let r(d) = 331*d + 73. Let q be ((-35)/(-5) - 8) + 3. Does 35 divide r(q)?
True
Let o(r) = r**3 - 3*r**2 + 14. Let t be o(6). Let w = 116 - t. Is 9 a factor of 5 - (16/10)/(w/15)?
True
Suppose 15 = -5*y, 23 = 2*b - 4*y + 131. Let w = -56 - b. Suppose -h + 3*f = w*h - 135, -4*f = -5*h + 135. Is 9 a factor of h?
True
Let j = 573 + -359. Suppose -10*b = -j - 116. Suppose 4*k + b = 877. Is k a multiple of 16?
False
Suppose 10*r - 37 - 23 = 0. Let i(g) = 358*g - 68. Let o be i(r). Suppose -12*w + o = -4*w. Is w a multiple of 20?
True
Does 29 divide (-19)/95*1450/(-4)*(7 + 13)?
True
Let r be -2*(-8 - (-12306)/(-12)). Let v = r + -1385. Is 25 a factor of v?
False
Let m = 327 - 325. Suppose m*b = -3*y + 565, -b + 3*y + 286 = y. Is b a multiple of 28?
False
Suppose 0 = -4*v + 4*u - u + 13, -v - 14 = 5*u. Let j(l) = -2*l**3 + 2*l**2 + l - 2. Let q be j(v). Is 9 a factor of q/((-652)/216 + 3)?
True
Suppose 0 = 12*u - 747*u + 5868975. Is u a multiple of 13?
False
Let p = 4151 - 3130. Is p a multiple of 19?
False
Let q(y) = y**2 + 2*y + 26. Suppose -19*u + 16*u = -5*w + 20, -4*u = w + 19. Is q(u) a multiple of 4?
False
Suppose 541*l - 548*l = 980. Suppose 3*p - 5*p + 3*b = -32, 0 = -5*p + 4*b + 66. Is 12 a factor of p/l*-7*2*74?
False
Let u(y) = -2*y**3 + 28*y**2 + 111*y - 66. Is 30 a factor of u(-15)?
False
Suppose -73*j - 15 = -76*j. Suppose 0*b - j*v = 3*b - 352, -4*v - 4 = 0. Does 9 divide b?
False
Let t = -239 + 247. Suppose 0*n = t*n - 976. Is n a multiple of 11?
False
Let x(l) = 30*l + 958. Is x(-4) a multiple of 10?
False
Let i(b) = 2*b**2 + 19*b - 43. Let r be i(11). Does 51 divide (-3)/(27/r)*189/(-12)?
True
Let s(x) = x**3 + 40*x**2 - 80*x + 360. Is 104 a factor of s(-40)?
False
Let p(g) = 47*g**2 - 111*g - 666. Is p(-7) a multiple of 71?
True
Suppose 5*u - 2*x - 3 = 0, 2*x - 1 = 3*u - 6. Let h(b) = 10*b**2 - 2*b - 1. Let z be h(u). Let l = z + 10. Is 21 a factor of l?
True
Let t be (3360/(-50))/(-14) + 2/10. Suppose -2*g - 3*x = -1108, -x + 2796 = t*g - 0*g. Is 57 a factor of g?
False
Let a(r) = r + 3*r + 0*r - 6*r + 45. Let p be a(0). Suppose -p*n = -48*n + 126. Does 8 divide n?
False
Let t = 54 - 42. Suppose 2*p = -u + 21, -p + t = p - 2*u. Is 9 a factor of 6/18 - (-2 + (-330)/p)?
False
Is 4 a factor of -1 + 39712/6 + 5720/(-120) + 48?
False
Let p = -76 - -660. Let z = -441 + p. Is z a multiple of 6?
False
Let w(j) = 11*j**2 + 91*j - 12. Suppose -16*c - 126 = 66. Is 15 a factor of w(c)?
True
Is (13 - (-525)/(-45))*(-8694)/(-4) a multiple of 69?
True
Let i = -203 + 209. Suppose -i*h + 0*h = -240. Is h a multiple of 3?
False
Suppose -2*n - 4*c = -41262, -2*n = 46*c - 47*c - 41227. Is 53 a factor of n?
True
Suppose -13*k + 35 = -8*k. Suppose 7*j + k = 42. Suppose 0 = -j*d + 3*b + 720, -d + 0*b + 144 = 2*b. Is 18 a factor of d?
True
Let t = 667 + -665. Suppose 4*i - g - 5986 = 0, 3*g = -t*i + 4*i - 2998. Is 34 a factor of i?
True
Let s = -126 - -438. Is s a multiple of 8?
True
Let u be 0 + -80 + (6 - 10). Let v be 11/((-165)/u) + (-4)/(-10). Suppose -9*q + 69 = -v*q. Is q even?
False
Let n(v) be the first derivative of 116*v**3/3 + 8. Let u(c) = -c**2 - 5*c - 3. Let i be u(-4). Is n(i) a multiple of 13?
False
Suppose -2*f + 0*f - 4*i = 8, -3*f = 3*i. Suppose -4*r - 406 = -r + f*g, 4*r - 2*g + 578 = 0. Let l = -69 - r. Is l a multiple of 12?
False
Let i = 11792 - 2986. Is 17 a factor of i?
True
Let f(a) = a**2 + 11*a - 12. Let h be f(-12). Suppose -y + h = x - 3, -5*x = y - 23. Does 21 divide 1*(-1)/y*274?
False
Let j = -6321 + 16096. Is j a multiple of 25?
True
Suppose 451*y = 717*y - 8592066. Is 10 a factor of y?
False
Let v(k) = -k**2 + 9*k + 4. Let u be v(7). Let h(t) = 5 - u - 5 - 11*t - 6. Does 12 divide h(-8)?
False
Let x(u) = 5*u + 2249. Is 31 a factor of x(-115)?
True
Let h(u) = 468*u - 142. Is 83 a factor of h(19)?
False
Let g(o) = -o**2 + 43*o + 92. Let q be g(41). Suppose -3*d + q = -162. Does 4 divide d?
True
Let x = 3274 + -2944. Is x a multiple of 11?
True
Suppose -2*c = 2*r + 16, 0*c - 2*c = -r + 16. Suppose 0 = w + m - 3, 31*m = 3*w + 26*m + 31. Is 5 a factor of ((-6)/12)/(w/c) - -36?
False
Let r be 79120/28 - 6/(-21). Let i = 3988 - r. Suppose 1177 = 4*g - u, -2*g + i = 2*g + 2*u. Is g a multiple of 15?
False
Let l be ((-5)/(10/(-2947)))/((-8)/(-16)). Suppose -l = -14*i + 1127. Is 8 a factor of i?
False
Suppose -14*o + 12*o + 3562 = 0. Let i = o + -581. Is (i/(-5))/(-3) - -4 a multiple of 14?
True
Let s be ((2 - 2) + -18)*(-153)/18. Suppose 3*b + s = j, -7*b - 584 = -4*j - 2*b. Is j a multiple of 6?
False
Is 4 a factor of (-1427)/(1750/(-2940) + (-4)/(-42))?
False
Let m(k) be the second derivative of 7*k**3/2 + 3*k**2 - 44*k. Does 23 divide m(26)?
True
Let m = 45 - 78. Let y = m + 13. Does 4 divide (-3 + y + 1)*(-1)/1?
False
Let i(p) = -2*p - 33. Let o be i(-23). Let h = 11 - 12. Does 6 divide (-12)/(-3)*o + 4/h?
True
Let y be (-5)/2 - (-3)/(-2). Let s be (-4 - 6)*142/y. Suppose -128 = -2*n + 2*x, -x = -5*n - 3*x + s. Does 16 divide n?
False
Let x(l) = -l**2 + 13*l + 15. Let d(h) = h**3 - 2*h**2 + h. Let r be d(2). Suppose -2*w = 3*a - 33, -a - 4*a + r*w = -71. Is x(a) even?
False
Let o be ((-720)/(-300))/((-3)/(-190)). Suppose 3*v + v = -380. Let y = v + o. Is 19 a factor of y?
True
Suppose 2245 = 6*y + 662 - 409. Does 13 divide y?
False
Let q(x) = -x**2 - 10*x - 1. Let l be q(-11). Let u be 105/14*l/15. Does 4 divide u/(-33) - (-1572)/66?
True
Suppose 451 - 503 = -4*w. Suppose -3*y = -w*y + 190. Is 19 a factor of y?
True
Let z be ((-8)/14)/((-90)/315). Suppose d - 520 = -z*p, 523 = -15*d + 16*d - p. Is d a multiple of 58?
True
Suppose 5*m - 1983 = -2*o, -6*o + o - 5*m = -4980. Does 26 divide o?
False
Suppose -3*r - 63 = 3. Suppose 23*w - 27*w - 24 = 0. Let j = w - r. Does 3 divide j?
False
Let j(i) = 3*i - 13. Let o be j(5). Suppose