*c - 114 = 0, -2*v = -c + 63. Let d = 18 - v. Is 24 a factor of d?
True
Let w(u) = 33*u + 64. Suppose -b = 5*t + 2 - 1, -3*b = 5*t - 7. Is w(b) a multiple of 7?
True
Let c = -3411 - -8296. Is 52 a factor of c?
False
Suppose -4*n + 16 = 0, -4*n + n + 14 = h. Let k be 7/(-49)*0 - 6/h. Is 10 a factor of (18/8)/(k/(-40))?
True
Suppose 0*l + 2*w + 39 = 3*l, 2*w + 69 = 5*l. Suppose 16*f - l*f = 5. Suppose f*a = 4*a + 46. Does 23 divide a?
True
Let p = -4932 + 8037. Let d = p - 1779. Is 39 a factor of d?
True
Suppose g - 3971 = -2*p, p - 1998 = -5*g + 2*g. Suppose 4*c - 1986 = 2*t, -c + 3*t = 3*c - p. Is 12 a factor of c?
False
Let u = -319 + 327. Does 17 divide (-6 + (u - (4 + 0)))*-153?
True
Suppose 18*f = 191885 - 22669 + 198416. Does 148 divide f?
True
Let b be 3/(-15) + (-1662)/15. Suppose -38*x - 2789 = -10465. Let q = b + x. Does 7 divide q?
True
Let u = -21081 + 62691. Is u a multiple of 73?
True
Suppose -3*s + 0*s = 9. Let u be (-42)/(-56) + s/4. Suppose -5*j - 5*d + 190 = u, -j + 0*d = -3*d - 26. Is j a multiple of 22?
False
Suppose 0 = -5*f - a - 180, -3*f - 2*a = 2*a + 125. Suppose -33 = 5*z - 138. Does 10 divide (360/z)/((-5)/f)?
True
Let o(f) be the second derivative of -9*f**3/2 + f**2 - 9*f. Let y be o(-2). Does 19 divide 4/((-108)/y - -2)?
False
Suppose -2*h + 4*g + 8394 = 0, -3*h + 7545 = -3*g - 5049. Is h a multiple of 13?
True
Is (565 + (-1023)/(-31))*(-34)/(-2 - -1) a multiple of 13?
True
Let k(a) = 42*a + 260. Does 10 divide k(4)?
False
Suppose 0*n + 4292 = 3*n + 2*p, 3*p - 12 = 0. Is 10 a factor of n?
False
Let q be 0/((-4 - -16)/(-4)). Let c be 1 - (117 + -2 + q). Let l = c + 261. Does 26 divide l?
False
Let j(w) = -6*w + 12 + 90*w**2 - 6*w - 10*w - 88*w**2. Let t be j(10). Is 1/2 - (556/t + 0) a multiple of 14?
True
Let o(m) = -12*m**3 + 14*m**2 + 125*m + 11. Is o(-9) a multiple of 13?
False
Suppose -32*v + 11979 = -2677. Does 4 divide v?
False
Let l(m) be the first derivative of 207*m**2 + m - 7. Let w be l(1). Suppose 0 = -0*q - 5*q + w. Is 29 a factor of q?
False
Let j(b) = -7*b + 3. Suppose 4*n + 6*o - 4 = o, -2*o - 12 = 5*n. Is j(n) a multiple of 27?
False
Let u = 36 + -34. Suppose 3*d + u = -s, -s + 3*s = 4*d + 6. Does 31 divide 4/12*d*-93?
True
Suppose 0 = -4*m + 3*c + 1 + 12, 3*m - 3*c - 9 = 0. Suppose m*n - 2*t = 626, -3*n + 472 = 44*t - 46*t. Does 12 divide n?
False
Let g be (2*4/(-24))/(1/(-12)). Suppose -2*x + 0*v = -4*v + 4, 3*x - g*v = 0. Suppose 4 = x*c - 84. Is c a multiple of 3?
False
Let b(s) = 2*s**2 + s - 1. Let a be b(2). Suppose 4*h = 3 + a. Suppose -2*q = 2*p - 5*p - 307, -h*q + 4*p + 459 = 0. Is 12 a factor of q?
False
Let u(d) = -d**3 - 10*d**2 + 17*d - 13. Let g be u(-13). Let o = g - 130. Does 16 divide o?
False
Suppose 0 = 5*z - 5*q - 155, -z - 5*q = 2*z - 69. Suppose 0*w = -p + w, 2*p - z = -5*w. Suppose p*l - 214 = 66. Does 16 divide l?
False
Suppose 4*q = 5*o + 2416, 4*o + 1208 = 2*q + 8*o. Suppose -r + q = 5*l, l - 45 - 77 = r. Is l a multiple of 17?
False
Let h(v) = 5*v**2 - 2*v + 1. Let z be h(4). Let u = -66 + z. Suppose u*o - 41 = 85. Is 5 a factor of o?
False
Let w(v) = -v**2 - 5*v + 10. Let z be w(-7). Let t be 1 + -4 - 24/z. Suppose -c = 3*j - 164, 0*c + 502 = t*c + 4*j. Is c a multiple of 17?
True
Suppose 5*b + 3*l + 14 = 4*l, -5*l = -b + 2. Let k be (-3)/5 - ((-1944)/15 - b). Is (0 + k)*(-12)/(-14) a multiple of 11?
False
Suppose -27*x + 11*x + 51610 = -11*x. Is 98 a factor of x?
False
Let g(w) = -16 - 3 + 40*w - 16 + 109*w. Is 31 a factor of g(3)?
False
Suppose -25580 = 49*r - 54*r + 10750. Is r a multiple of 6?
True
Suppose 160*q - 154*q = 24. Let s(d) = 6*d**2 + 2*d + 8. Does 16 divide s(q)?
True
Suppose -30 = 11*q - 17*q. Let v(z) = z - 8. Let k be v(q). Is 7 a factor of 7*4/(44/12 + k)?
True
Suppose -5*n + 24*y = 27*y - 594, 2*y = n - 124. Is n a multiple of 3?
True
Suppose -7*s + 286531 + 145880 = 52*s. Is 33 a factor of s?
False
Suppose 2*i = -3*n - 1334 + 3417, -4*i + 4229 = -3*n. Is 2 a factor of i?
True
Let f(g) = 28*g**2 - g - 4. Suppose 7*s - 188 + 6 = 0. Suppose 13*n + 0 = -s. Is 10 a factor of f(n)?
True
Let n(a) = -9*a + 3. Let g be n(5). Let h be 2 + 13/(-13) + -115. Let j = g - h. Is 8 a factor of j?
True
Let u(q) = -71*q - 359. Does 16 divide u(-33)?
True
Suppose 18*o - 26*o - 888 = 0. Does 37 divide (o/4)/((-51)/680)?
True
Let r(t) = 4*t + 35. Let s be r(-5). Let a(c) = -c**3 + 18*c**2 - 9*c + 12. Does 12 divide a(s)?
True
Let r(x) be the third derivative of x**7/210 + x**5/30 + 3*x**4/4 + 28*x**2. Let y(b) be the second derivative of r(b). Does 28 divide y(4)?
True
Let y = 26 - 22. Let z(i) = -5*i**2 + 2*i + 4. Let d(q) = q**3 + 10*q**2 - 4*q - 9. Let o(j) = 2*d(j) + 5*z(j). Is 27 a factor of o(y)?
False
Let o = 2094 - 1476. Let a be 7/(-14)*o*(-1)/(-3). Let r = a - -286. Does 21 divide r?
False
Let p(x) = -91*x - 46. Let c be p(-8). Suppose -c + 132 = -5*n. Suppose -n = -4*u + 70. Does 18 divide u?
False
Let j = -11013 + 19777. Does 10 divide j?
False
Let y be ((-3)/(-4))/(2/8). Suppose 20 = -5*u + n, 3*u + y*n - 4 = 2. Is 3 a factor of -38*(-5 + u + 7)?
False
Let x be 2/(6/(-3)) - (-23 - -19). Suppose -13*y + 304 = -11*y - 3*m, 430 = x*y + 2*m. Does 73 divide y?
True
Suppose -s + 6*p + 94 = 3*p, 0 = 4*p. Let z = s - -31. Let y = z + -90. Is 19 a factor of y?
False
Let h(k) be the first derivative of k**3/3 - 7*k**2/2 + 15*k + 133. Does 13 divide h(-16)?
False
Is 24 a factor of (-3)/(12/52) + 1357?
True
Suppose -s + 5*f + 5202 = 272, 0 = 2*s - 5*f - 9870. Does 10 divide s?
True
Let h = -9621 - -19141. Does 40 divide h?
True
Suppose -5*t + 2*j = 40, -2*j + 16 = -t - 0*j. Let y be 8/t - (-427)/21. Suppose l - 20 = -x, -2*x - 5*l + 9 = -y. Is x a multiple of 6?
True
Let u = 208 - 129. Let w = 82 - u. Suppose 0*x - x + 257 = w*f, 5*x - 415 = -5*f. Is 6 a factor of f?
False
Let s be 5/((-15)/(-18)) + -3. Suppose 5*u = -4*n + 8, -4*u + s*n + 2*n = -31. Suppose -u*y + 0*y + 416 = 0. Is y a multiple of 26?
True
Let o(s) = 2758*s**3 + s**2 - 10*s + 9. Is 14 a factor of o(1)?
True
Let v = -8 - -23. Let h be (-4)/(-3) - (-10)/v. Is h*10/(-7)*-7 a multiple of 6?
False
Let o be ((-7)/(-6))/7 - (-1154)/(-12). Is 20 a factor of ((-45)/(-2))/((-9)/o)?
True
Is ((-9)/6)/((-77)/51898) a multiple of 3?
True
Let x(t) = 2*t**2 + 42*t + 3800. Is x(-100) a multiple of 14?
True
Suppose -4*y + 23 = -3*x, -2*y + 2*x = -3*y - 8. Let u be -3 + y + 13 + (-3)/1. Suppose 77 = o - h, 0 = -4*h + h + u. Does 4 divide o?
True
Suppose -4*y + 1836 = -0*y. Is 27 a factor of y?
True
Does 12 divide (-21)/7 - (-4 + -1 + -6646)?
True
Let l(c) = c**3 - 11*c**2 - 17*c - 6. Let v be l(8). Let w = 340 + v. Is w a multiple of 3?
True
Suppose 0 = 2*m + 3*k - 25488, 2*m - 5*k - 22771 = 2701. Is m a multiple of 108?
False
Suppose 756815 = -577*n + 7985471. Is n a multiple of 261?
True
Let u = 1132 - 646. Let o = 378 + u. Does 72 divide o?
True
Let w be ((-384)/(-15) - 1) + 4/10. Let c = 59 - 56. Suppose -2*i + w = -7*i, -i - 347 = -c*o. Is 33 a factor of o?
False
Suppose 7*j + 1226 = 29. Suppose 0 = -0*o - 5*o - 1995. Let t = j - o. Is 19 a factor of t?
True
Let j be -228 + (-2 - -1) + -1. Let d(k) = -53*k + 127. Let f be d(5). Let v = f - j. Is v a multiple of 23?
True
Let i be -1 - -3*(-4)/(-12). Suppose -3*g - 3*j - 9 = 0, -2*j + i - 4 = 0. Let p = g + 9. Does 2 divide p?
True
Suppose -4*m - g = -22664, -3*g + 7128 + 9879 = 3*m. Is m a multiple of 55?
True
Let y(r) = -r**3 + 11*r**2 + r - 9. Let u be y(11). Suppose -t = u*t. Suppose 2*a + 5*g = 57, -3*g = -3*a - t*g + 117. Is 12 a factor of a?
True
Let q(i) = -87091*i**3 - 8*i**2 + 8*i + 5. Is 20 a factor of q(-1)?
True
Let f(c) = c**3 - 3*c - 16*c**2 + 7 - 3 + 9*c. Let r(o) = -2*o**2 + 45*o + 198. Let t be r(26). Is 20 a factor of f(t)?
True
Let l be -1 - -214*3/6. Let x = l + 318. Does 8 divide x?
True
Let i(q) = -14*q + 71. Let o be i(-5). Let u be (8/(-14))/(14/(-49)). Suppose u*x = -h + 135, -5*x + h = -3*x - o. Is x a multiple of 23?
True
Let w(p) be the second derivative of p**3/6 + 9*p**2/2 - 18*p. Let v be w(0). Suppose -21*n + 2520 = -v*n. Does 21 divide n?
True
Let w = 156 - 153. Suppose w*y + 5*c = 1065, 0 = -8*y + 5*y - 3*c + 1059. Is 25 a factor of y?
True
Let i(j) = 1231*j - 1846. Does 33 divide i(13)?
True
Let q(k) = 11*k - 3 - 3*k**3 - 115*