(c) = -6*c + 3. Let u(a) = -s(a) + 6*y(a). Is u(t) a multiple of 29?
False
Suppose 474139 = 22*d - 111941. Is 30 a factor of d?
True
Let y(n) = 4*n**3 + 75*n**2 - 14*n - 17. Let p be y(-19). Let o = -292 - -93. Let f = p - o. Is f a multiple of 9?
False
Is 1305 + 7 + 1 + -4 - -7 a multiple of 28?
True
Does 21 divide (-1)/(14/140) + 1312?
True
Suppose 55*m + 80*m - 1562085 = 0. Is m a multiple of 19?
True
Suppose 1273 = -26*j + 6421. Is j a multiple of 39?
False
Let z(q) be the first derivative of -7*q**2/2 + 254*q - 80. Is z(0) a multiple of 8?
False
Let y(h) = 5*h**3 + 9*h**2 + 9*h + 123. Is 115 a factor of y(10)?
False
Let d(i) = 680*i - 413. Is 139 a factor of d(3)?
False
Suppose -17*z + 222 = -14*z - 4*s, 5*z = 4*s + 378. Is z a multiple of 11?
False
Let y = 11652 + -9840. Is 48 a factor of y?
False
Let y = -9131 - -9794. Is y a multiple of 13?
True
Is 45 a factor of (-9)/48 - 17185266/(-1632)?
True
Let x(d) be the first derivative of d**3/3 + 4*d**2 - 7*d - 101. Let h(b) = -b**3 + 12*b**2 - 13*b + 11. Let f be h(11). Is 4 a factor of x(f)?
False
Let u be 0 + -3005 + (-3 - -4). Let j = -1989 - u. Is j a multiple of 8?
False
Let l = -183 - -175. Let x(k) = 3*k**2 - 5*k - 15. Does 10 divide x(l)?
False
Let o = -28036 - -45156. Is o a multiple of 75?
False
Suppose -5*r + 2*f + 37 = 6, -29 = -4*r + 3*f. Let h(t) = 5*t**3 - t**2 + 1. Let n be h(1). Suppose 5*c - n*o - 41 = 34, r*c - 81 = -o. Is c a multiple of 15?
False
Let g = 22784 - 7786. Is 16 a factor of g?
False
Let q(r) be the first derivative of 5*r**2/2 + 456*r + 35. Is q(0) a multiple of 18?
False
Let g(k) = -k**3 + 2*k**2 + 5. Let l be g(0). Suppose 6*m = l*v + 2*m - 782, 2*v - 3*m - 310 = 0. Is 6 a factor of v?
False
Suppose 5*t + 0 = 10. Suppose -t*y + 2 = -y. Does 12 divide (y/4)/(6/396)?
False
Let v be (-40)/(-100) - (-38218)/5. Suppose -q - 13*q = -v. Is q a multiple of 13?
True
Suppose -388953 = -77*v + 293998 + 16825. Is v a multiple of 64?
True
Let r be 10/21*9 + 4/(-14). Let a be ((-280)/25)/r*-3985. Is 19 a factor of 4/14 + a/49?
True
Suppose 3*w = 2*n - 1900, 2*n + 1931*w - 1927*w - 1844 = 0. Does 7 divide n?
True
Does 105 divide 888*(-524)/(-16) + 0 + 3?
True
Suppose -3*n + 8*n = -5*q + 45, 2*q - 4*n + 6 = 0. Let w(z) = 4*z - z + 46 - q*z. Does 21 divide w(5)?
False
Suppose 10*h = 23*h - 39. Suppose -h*z + 61 = -d, -4*z + 2*d + 50 + 32 = 0. Does 20 divide z?
True
Let w(y) = 2*y - 14. Let k be (-6)/(-4) - (-3)/6. Suppose -2*d = 2*d - 20, -4*v = -k*d - 30. Is 2 a factor of w(v)?
True
Let b be (-3 + 0)*4/(-3). Suppose -b*g = 3*f - 911, -2*f = -f - 1. Is g a multiple of 11?
False
Let s(l) = l**3 + 5*l**2 + 3*l + 15. Let t be s(-5). Suppose h = -t*h + 672. Suppose -14*r = -2*r - h. Is 28 a factor of r?
True
Let o = -26270 - -39419. Does 49 divide o?
False
Let l be -3*(3477/(-45) - 2/5). Suppose 6*k + l = 3*q + 4*k, -4*q = 5*k - 303. Suppose -4*y - 5*z + q = -3*y, 193 = 2*y - 3*z. Is 11 a factor of y?
False
Suppose 6*u - 5*y - 2547 = 4*u, 19*u = y + 24243. Is u a multiple of 44?
True
Let b = 210 - 145. Suppose 3*d - 796 = 4*o - 0*o, -240 = -d - 5*o. Suppose k = -3*k - h + d, -b = -k + h. Is 31 a factor of k?
False
Suppose -5*z - 4*n + 807 = -2173, 3*z - 1788 = -2*n. Suppose 0*x = -2*x + 4*q + z, -x + q = -297. Is x a multiple of 55?
False
Let m be -168*1/(-10) + (-4)/5. Suppose -m*d = -11*d + 20. Let p(u) = -13*u - 16. Is p(d) a multiple of 9?
True
Let z be (37/(-111))/(2/(-12)). Suppose 3*o - 5*w - 693 = 0, -2*o + 941 = z*o - w. Is 2 a factor of o?
True
Let z = 26 + -28. Let l(b) = 2*b**3 + 5*b**2 + 3*b + 2. Let h be l(z). Suppose 0 = 3*r - 15, -3*x - x + 2*r + 298 = h. Does 5 divide x?
False
Does 16 divide (-4*(-9)/14)/(5/10640*3)?
True
Suppose 17*k - 20*k - 19*k = -163746. Does 27 divide k?
False
Let o(m) = 18*m**2 + 9*m - 4. Let a be o(1). Suppose 4949 = a*s - 20512. Does 13 divide s?
False
Suppose 2*j - 12 = 0, -2*j - 2128 = -2*v + 604. Is 4 a factor of v?
True
Suppose 17*t - 40*t + 21*t = -1682. Is t a multiple of 29?
True
Let y(t) = t + 1. Let m(r) = 8*r - 8. Let j(l) = m(l) + 5*y(l). Does 5 divide j(3)?
False
Let j(d) = 39*d + 45. Let c be j(-13). Let t be ((-3)/6)/(3/c). Let h = 88 - t. Is h a multiple of 6?
False
Let m = 248 + -224. Suppose -9 = m*g - 153. Is 2 a factor of g?
True
Let j = 1908 + -803. Does 69 divide j?
False
Suppose -28*w + 33*w - 150 = 0. Suppose 0 = -w*h + 19*h + 4202. Is h a multiple of 18?
False
Let u(x) = x**3 + 18*x**2 - 13*x - 45. Let m = -480 - -272. Let h be (-38)/57 - (m/3)/(-4). Is u(h) a multiple of 27?
True
Let v = 172 - -46. Let d = 221 - v. Is d even?
False
Suppose 2*f - 635 - 10083 = -2*a, -20 = -5*f. Is 15 a factor of a?
True
Suppose 795 = 3*m + 5*x - 477, -2*m - 4*x + 852 = 0. Is 46 a factor of m?
True
Suppose -450 = -y - 464 + 25636. Is y a multiple of 233?
False
Suppose -2*h = -90*s + 91*s - 12112, 2*s = h + 24204. Is s a multiple of 34?
True
Suppose 5*h = z - 334, 334 = z - 6*h + 2*h. Let v = -104 + z. Is v a multiple of 34?
False
Suppose -2879*x - 4809 = -2886*x. Suppose 13*z = x + 1562. Is z a multiple of 9?
False
Let p(g) = 3679*g**2 + 26*g - 58. Is 276 a factor of p(3)?
False
Suppose -a - 14*a = -92*a + 555093. Is 9 a factor of a?
True
Suppose s - 4 = -0*s. Suppose 3*y + 5*p - 4 = s, 2*p = -4*y - 8. Let j = y - -112. Is 12 a factor of j?
True
Let m(b) = b**2 + 12*b - 136. Let u be m(26). Suppose -6*z + 225 = -5*z + 5*s, -4*z + u = 4*s. Is 5 a factor of z?
True
Suppose 16 = 3*h + h. Suppose h*i - 94 - 266 = 0. Is i a multiple of 5?
True
Let f = 481 - 478. Suppose 3*a = -n + 1704, -5*n + 7*n - 3399 = -f*a. Does 45 divide n?
False
Let r = -478 + 481. Suppose 295 = 5*w - 0*w - r*p, 0 = 3*p + 15. Does 4 divide w?
True
Let s = -18 + 8. Let h be (120/25)/8 + 86/s. Does 11 divide (h/6)/2*99*-1?
True
Let i(s) = 3*s**2 + 3*s - 11. Let y be i(3). Let f(h) = -18*h + y*h + 7 + 2 + 7*h. Does 16 divide f(4)?
False
Let u = 6737 - 3908. Is 69 a factor of u?
True
Let z(b) = b**2 - 11*b - 23. Let l be z(-25). Suppose -5*p - 1810 + 315 = -5*o, l = 3*o + p. Is o a multiple of 7?
True
Let i(y) be the first derivative of y**3 - 4*y**2 - 2*y - 14. Let a be i(-4). Suppose 4*z - 5*b + 0*b = 315, b + a = z. Is z a multiple of 25?
True
Let c be 30/(-8) - 12/(-16). Let t be 35 + (c - -3)/4. Does 14 divide (10/t)/((-2)/(-98))?
True
Let l = -706 + 1078. Suppose 4*q + 120 = -5*h + 496, 4*q - l = -4*h. Is q a multiple of 17?
False
Let r(o) = -19*o + 28. Suppose d = 5*d + 48. Let p be r(d). Suppose 0*s = -4*s + p. Is 18 a factor of s?
False
Is 133 a factor of (2 + 5 + 12111/6)/((-3)/(-66))?
False
Suppose -26*d = 76*d - 6*d - 47232. Is 2 a factor of d?
True
Let c(f) = 1305*f**2 + 95*f - 14. Does 42 divide c(7)?
True
Let f = -4287 + 4874. Is 3 a factor of f?
False
Let s(l) = 2*l**2 - l - 2. Let i be s(2). Let t(v) be the first derivative of v**4/2 - v**3/3 + v**2/2 - 4*v - 7. Is t(i) a multiple of 16?
True
Let c = 1311 + -1235. Let v = 10 + -7. Does 38 divide c/2*(v + -1)?
True
Suppose 5*w = -5*n, 0 = w - 3*n - 9 + 1. Suppose -h - 3*s = -57, -s + 76 - 218 = -w*h. Suppose -3*q - h = -4*q - m, -5*q + 353 = m. Is 11 a factor of q?
False
Suppose 5*s = -2*i - 25, -i - 4*i = 5*s + 40. Suppose -101 = -3*c + 40. Let u = c + s. Does 44 divide u?
True
Let r(f) = -1610*f - 937. Is r(-2) a multiple of 14?
False
Let f be 284 + 7/((-28)/16). Suppose -4*t + 8 = -f. Is 8 a factor of t?
True
Suppose 1074*g + 3316775 = 1151*g. Does 10 divide g?
False
Let o(s) = s**2 - 2*s - 1. Let v be o(3). Suppose v*j = 7*j - 15. Suppose b = -4, -2*b + 265 = 3*g - j*b. Is 23 a factor of g?
False
Suppose p + 144 = 5*b, 6*p - 2*b + 264 = 4*p. Let v = -107 + p. Let a = v - -348. Is a a multiple of 7?
True
Let z(v) be the first derivative of 15*v**2/2 + 275*v + 171. Does 26 divide z(25)?
True
Let i(f) = f**2 + 7*f + 9. Let b be i(-6). Let m be ((-5)/b)/(90/(-216)). Suppose 0 = m*h + 349 - 1037. Does 36 divide h?
False
Suppose 74 = 5*p + 3*w, p - 5*w + 54 = 5*p. Is 19 a factor of 4/p + (86835/12)/7?
False
Let k be (1 - 0)/(6/(216/12)). Does 15 divide k + (-2 - (-20)/5) + 400?
True
Let x(t) be the third derivative of 29*t**4/24 - 2*t**3 - 3*t**2. Let k be x(-3). Is 11 a factor of k*(2*(-1 - 0) - -1)?
True
Let f(u) = 87*u - 12. Let y be f(25). Does 3 divide (y/(-15))/(-7)*5?
False
Let s = 27 - -1