i - 3*m - 428. Is 5 a factor of i?
False
Let i(x) = -41*x + 3 + 14 - 33 - 9. Let s be i(-3). Let z = s - 25. Is z a multiple of 19?
False
Suppose 3 - 85 = -2*k. Let o = -42 + k. Is 5 a factor of o*(-26 - (-2 - -4))?
False
Let j = -451 + 451. Suppose j = 5*h + 5*m - 76 - 19, m + 101 = 5*h. Is h even?
True
Suppose 0 = 2*u + 5*d + 7, -5*u + 2*d + 14 + 12 = 0. Suppose 12 = -2*f - 5*y + 51, 5*f + u*y - 55 = 0. Suppose f*l = 448 + 756. Is l a multiple of 43?
True
Let i(t) be the third derivative of t**6/120 - 31*t**5/60 + 5*t**4/4 + 5*t**3/2 - 1100*t**2 + 4*t. Let g(w) = 10*w. Let d be g(3). Is 3 a factor of i(d)?
True
Suppose 3*m + 38 - 1 = 5*f, -2*m = -5*f + 33. Suppose 2*z + f = 5*s, 2*z - 2*s = -4*s + 16. Suppose -i + 25 = 4*i, -z*i + 345 = 4*j. Is j a multiple of 5?
True
Suppose 1576332 = 65*i - 343443. Is i a multiple of 165?
True
Suppose 80*f - 384846 = -22*f. Does 77 divide f?
True
Let j(s) = 2*s**2 - 2*s - 8. Let z(r) = -2*r**2 + 2*r + 9. Let h(m) = 6*j(m) + 5*z(m). Is 10 a factor of h(11)?
False
Let q be 80*(6 - 168/30). Suppose 20*d - q*d + 2880 = 0. Is 12 a factor of d?
True
Suppose 74304 = 93*p + 3*p - 10*p. Is p a multiple of 8?
True
Let f = 186 - -1412. Is f a multiple of 47?
True
Suppose -m = 3*u + 3*m - 6, -3*u - 2*m = -6. Suppose 0 = -5*n + u*z - 14, 2*n = 7*n + z + 8. Does 3 divide n + 1 + 11/1?
False
Is 17 a factor of (-1*(-387)/(-12))/(54/(-88056))?
False
Let v = 946 - 958. Is 6450/(-301)*(v + -2) a multiple of 2?
True
Suppose -370*x - 315296 = -1061270 - 1962426. Is x a multiple of 17?
False
Let y(n) = 10*n**3 - 3*n**2 + 4*n - 2. Let m be y(1). Suppose k - 30 = -3*u, 3*u = 2*k - m - 15. Suppose -16*o = -k*o + 266. Does 23 divide o?
False
Let j be (-20)/(-1 + -4) + 2. Let n(x) = -8*x**3 - 4*x**2 - 8*x + 8. Let l(m) = -6*m**3 - 5*m**2 - 8*m + 7. Let u(s) = 5*l(s) - 4*n(s). Is 13 a factor of u(j)?
False
Let p be -60*(444/20 + -1). Let y = 2356 + p. Is y a multiple of 12?
False
Let b be 162/(-15)*805/(-42)*4. Let g = b + -369. Is g a multiple of 17?
True
Suppose 51*z = 54*z - 15, z + 17841 = 2*o. Is o a multiple of 28?
False
Let t = 0 - 12. Let v = 154 - 87. Let d = v + t. Is d a multiple of 10?
False
Suppose 0 = -7*q + 9*q + l - 3430, -5*l = -2*l. Does 14 divide q?
False
Let k = 2598 - 1651. Let w = k + -485. Is w a multiple of 14?
True
Suppose 2*l + 17*g - 19*g = -324, 0 = -5*g - 15. Suppose 4*b + b - 3*v - 51 = 0, 4*v = 2*b - 26. Does 3 divide (l/b)/((-13)/39)?
False
Suppose -32 = -2*y + 18*y. Does 11 divide (y/3)/((-16)/2328*1)?
False
Suppose -2*l - 4*g = -1216 - 58, 4*g = -4. Does 9 divide l?
True
Let w(t) = 9*t**2 - 10*t + 516. Is 201 a factor of w(45)?
True
Suppose -8*g = -12*g - 40. Let o be (-1 + 2)/(4 + 35/g). Is (-3 + 175)/(-2*(1 - o)) a multiple of 31?
False
Suppose -43*h = -h + 21*h - 5281605. Does 115 divide h?
True
Let f(g) = 2849*g - 2. Let l(s) = 2850*s - 2. Let z(r) = -5*f(r) + 6*l(r). Let c be z(-2). Does 34 divide (-20)/(-6)*c/(-140)?
True
Let z(g) = 2*g**3 - 17*g**2 + 11*g + 16. Let r be z(11). Let m = r - 402. Does 43 divide m?
False
Let v(a) = -a**2 + 5*a + 1. Let u(c) = -3*c - 4. Let f be u(-4). Let s be v(f). Let k = s + 43. Does 2 divide k?
True
Does 12 divide (4 - (16 - 2))/(1/(-632))?
False
Let g(x) = 2*x**2 - 8*x + 18. Let y be g(6). Let l = 52 - y. Suppose l*t = 12*t - 214. Is t a multiple of 18?
False
Let z = -10 + 4. Suppose -13*j + 3 = -46*j + 36. Is 33 a factor of (-800)/z + (j - 49/21)?
True
Does 8 divide (17 + 453)/(4/8)?
False
Let g = 5199 - -14541. Is 15 a factor of g?
True
Let c = -19192 + 64688. Does 11 divide c?
True
Let p = -286 - -282. Does 19 divide 807/4 + p + (-13)/(-4)?
False
Let z(a) = -40*a**2 + 4*a + 8. Let v be z(-2). Let t = v + 287. Is t a multiple of 7?
False
Does 31 divide 10/(120/(-172))*(89/(-1) - 4)?
True
Let m(y) = 255 + 31 - 96*y + 92*y. Is m(0) a multiple of 11?
True
Suppose -38*l + 828108 - 197878 = 0. Is 66 a factor of l?
False
Suppose 0 = 17*s - 137559 + 45215. Is 97 a factor of s?
True
Let h(k) = -3*k + 12*k - 2*k. Let w be h(2). Suppose 3*u + w = 4*u. Is 13 a factor of u?
False
Suppose 242*v - 946837 = 157*v + 547038. Is v a multiple of 31?
False
Suppose -4*d + 14733 = 3*h, -2*d + 4691 = -4*h - 2703. Does 3 divide d?
True
Suppose -64075 = 46*w - 57*w. Is 115 a factor of w?
False
Let t be (-1)/2*(1 + -1). Suppose -4*a = -119*u + 114*u + 970, -5*u - 2*a + 940 = 0. Suppose -3*k + u + 83 = t. Is 15 a factor of k?
False
Let a(s) = -s**3 - 47*s**2 - 20*s - 181. Is a(-56) a multiple of 11?
False
Suppose 85*y - 83*y = 100. Does 16 divide y/(-20)*(-608)/5?
True
Let o(t) = 23 - t + 2*t + 2*t. Suppose s + 5*c = 4, -c = -3*c. Does 5 divide o(s)?
True
Let t = -3147 - -3763. Does 14 divide t?
True
Suppose 2*y = 2*w - 4, y + 2 = 11*w - 6*w. Suppose 8*j - 126 - 1714 = w. Suppose 5*a = -2*x + 610, a + a = 2*x + j. Is 8 a factor of a?
True
Let w = -836 + 2726. Is w a multiple of 14?
True
Let x be -1*4/1 - (-558)/62. Suppose 2*i - 1288 = -x*i. Is i a multiple of 22?
False
Let p = -1011 - -1619. Let a = p + -566. Does 11 divide a?
False
Suppose 63 = -2*s + 3*r - 37, 10 = -5*r. Let j = 50 + s. Is (4/j)/(4/(-18)) a multiple of 6?
True
Let u(v) = -v**3 + 11*v**2 - 9*v. Let w be u(9). Suppose -c - a + 12 + w = 0, -2*c + 190 = 3*a. Is 10 a factor of c?
False
Suppose 3*z - 312 = -5*m, 6*z = -5*m + 5*z + 304. Suppose -s + m = 11*s. Suppose -101 = -2*p + s*l + 100, 4*p + 2*l - 342 = 0. Does 22 divide p?
True
Suppose 2336*r + 22022 = 2362*r. Is 6 a factor of r?
False
Let z(y) = 284*y**2 + 34*y - 232. Does 27 divide z(7)?
False
Let w be (49/14)/((-3)/(-78)). Let d = w - 57. Is 3 a factor of d?
False
Suppose -20 = 5*z + 5*b, z - 2*b + 10 = -0*z. Let x(u) = 17*u**2 + 6*u - 6. Does 19 divide x(z)?
True
Suppose -2*l + 9 = 3*v, 4*v - 20 = 2*l + 6. Suppose 9 = i + v*m - 19, -5*m = -3*i + 4. Does 12 divide (-14)/(-10) + i/(-20) - -99?
False
Let p(c) = -c - 41. Let s be p(-28). Let v = s - -13. Does 29 divide (-99)/(4/(v - 4))?
False
Let f = 38 + -46. Let i be (-1)/(3 - 1)*f. Suppose -5*c = 5*o - 740, c + 1 - i = 0. Is o a multiple of 26?
False
Let p be (59/4 - 3)*4. Suppose 4*m - 45 = -3*l, -3*m = 4*l - 43 + 4. Is p/3 + 3/m a multiple of 3?
False
Let s be (-2 - -3) + 17 + 2. Let k be (4 - 2/(-1))*s/24. Suppose -k*q + 47 = 4*h - 6*q, h = 3*q + 20. Is 11 a factor of h?
True
Suppose -6*o + 975 = 675. Let v(d) = d**3 - 54*d**2 + 214*d - 99. Is 46 a factor of v(o)?
False
Is 49 a factor of -531 - -22562 - (0 - 19)?
True
Let z = 11252 + 1000. Does 3 divide z?
True
Let s(i) = -i**3 - 4*i**2 + 6*i + 3. Let p be s(-5). Let v be 7994/4 - (-1)/p. Does 9 divide ((v/(-24))/(-9))/((-2)/(-16))?
False
Let g(u) be the third derivative of u**4/12 + 35*u**3/6 - 9*u**2. Let a be g(-18). Does 25 divide (a + 25/10)*50?
True
Let s = -17 + 36. Suppose 0 = -s*z + 15*z + 12. Suppose o = z*v - 18, 0 = 4*v - 0*o + 2*o - 24. Is 2 a factor of v?
True
Suppose -w = 5*r - 9972, 2*w + 11 = -5. Is r a multiple of 7?
False
Let l(k) = 15 + 1270*k + 4 - 1269*k. Let g = -17 + 32. Is l(g) a multiple of 17?
True
Let o(h) = 2*h**3 + 92*h**2 - 11*h - 146. Does 9 divide o(-44)?
True
Let u(f) = 302*f**2 - 58*f - 113. Is u(-2) a multiple of 2?
False
Let z(n) = n**3 - 32*n**2 + 24*n + 69. Suppose -160 = -40*g + 35*g. Does 29 divide z(g)?
False
Suppose 4*p = 4 + 8. Let h(x) = -3*x**3 + 2*x**2 + 3*x + 1. Let q be h(p). Let d = q - -101. Is d a multiple of 12?
True
Suppose 0 = 10*z - 18*z + 168. Suppose z*w - 1075 + 235 = 0. Is 20 a factor of w?
True
Let f(o) = -4*o + 2. Let a be f(-1). Suppose 62*j = 64*j - a. Let i(w) = 14*w**2 + 3*w + 4. Is 26 a factor of i(j)?
False
Let l(o) = 31*o**2 + 17*o - 88. Let i(p) = -p**3 + 7*p**2 - 8*p - 6. Let b be i(5). Does 34 divide l(b)?
True
Let f(v) = 21*v**2 - 98*v + 327. Is f(15) a multiple of 6?
True
Let h(u) = 2*u**3 + 12*u**2 + 5*u + 58. Let a(v) = -4*v**3 - 23*v**2 - 9*v - 113. Let b(g) = 4*a(g) + 7*h(g). Does 11 divide b(-7)?
False
Let o be 4 + 0 + 4 - 2. Suppose o*h - 394 = 572. Is h a multiple of 16?
False
Suppose -4*t = -3*c - 12, 8*t - 4*t + c + 4 = 0. Suppose 3*a + 4*b - 142 = t, 3*b - 10 = 5*b. Is 27 a factor of a?
True
Let h = -361 - -366. Suppose 4*p + 968 = 3*t + 2*p, 4*p = h*t - 1614. Is 14 a factor of t?
True
Let t(x) be the first derivative of -2*x**3/3 - 63*x**2/2 + 10*x - 18. Let s be t(-27