2 + m + 2. Let c be a(v). Suppose -10 = c*t, 4*t - 880 = -o - 4*o. Does 20 divide o?
True
Let m be (-44)/110 - (-27)/5. Let v be 4/m + (-1687)/(-35) + 3. Does 24 divide v - (5 - -4 - 5)?
True
Let d = 13140 - 13153. Let i(y) = -4 + 3*y + y**2 - 4*y + 2*y. Is i(d) a multiple of 38?
True
Let m(f) = 9*f**2 + 236*f - 29. Is 13 a factor of m(10)?
False
Let y(t) = -27*t + 2. Let x be y(-1). Suppose -3*u = -4*h + x + 115, -3*h - u + 121 = 0. Is 8 a factor of h?
False
Let g = -208 + 401. Suppose -5*i + 184 = 3*m, 3*m - g = -10*i + 14*i. Is 27 a factor of 14*(824/m + (-2)/9)?
False
Let p = -2193 + 6057. Is p a multiple of 69?
True
Let r = 15489 - 6389. Does 35 divide r?
True
Let h = -20237 - -35255. Is h a multiple of 9?
False
Let d be (2 - 4 - -2) + 0. Suppose 5*k - 578 + 138 = d. Does 8 divide k?
True
Let g(u) = -1. Let z(y) = -y**2 - 6. Let i(v) = 5*g(v) - z(v). Let o(a) = -28*a**2 - a - 5. Let t(n) = -5*i(n) - o(n). Does 2 divide t(1)?
True
Suppose -3*g = -v + 10 - 74, 4*g - 117 = -5*v. Is (g/2)/(31/62) even?
False
Let l = -382 + 403. Suppose 1428 = 25*c - l*c. Is c a multiple of 17?
True
Suppose -x + 2*g + 306 + 126 = 0, -3*g = 4*x - 1706. Is x a multiple of 9?
False
Let d(y) = -y**3 + 5*y**2 + 22*y + 8. Let k be d(-4). Suppose k*t - 486 = 37*t. Is 3 a factor of t?
True
Suppose -27*y = 12*y - 71136. Is y a multiple of 2?
True
Suppose -5*u + 1099 = -221. Suppose -2*w - 3*v + 117 = 0, -6*w + 2*v + u = -w. Is w a multiple of 25?
False
Suppose -15*r - 95*r + 1488960 = 0. Is r a multiple of 144?
True
Is 14 a factor of (-2)/6*(-15)/10 - 100880/(-32)?
False
Is (-7563)/(-5*(-66)/(-110)) a multiple of 13?
False
Let h(i) = i**3 + 29*i**2 + 14. Let t be h(-29). Suppose -k - 4 - 3 = -m, 3*k - t = -4*m. Suppose -4*o - m*b + 147 = -182, 96 = o + 4*b. Is o a multiple of 25?
False
Let d(v) = -2*v**2 - 19*v + 31. Let a(z) = z**2 - z. Let s(q) = -3*a(q) - d(q). Let m be s(19). Suppose -m = 2*h - 3*h. Is 9 a factor of h?
False
Let y(p) = -10*p**3 - 5*p**2 - 2*p + 2. Let k be y(-3). Suppose q - 3*q = -b + 177, -k = 3*q + 5*b. Let f = -19 - q. Is 16 a factor of f?
False
Let k = 164 - 159. Suppose 2*t + 1488 = k*t. Does 16 divide t?
True
Let k = -187 - -185. Is 6 a factor of k/12*-3 + 7752/48?
True
Let c = 13 - 13. Suppose 0 = 2*t - c*t - 8. Suppose -3*a = t*s - 103, -8*a + 5*s = -7*a - 28. Is 33 a factor of a?
True
Let g be 36/60 + (-1)/(15/(-696)). Suppose 20 = 3*d + g. Is -54*(1 + 48/d) a multiple of 13?
True
Let l be (-567)/(-36)*8/2. Let o = 315 - l. Does 27 divide o?
False
Let g = 8954 - 6084. Is 7 a factor of g?
True
Suppose 59040 = 1102*u - 1082*u. Does 12 divide u?
True
Let o(l) = -9*l**3 + l**2 + 6*l + 8. Let i be o(-2). Let z = 116 - i. Let q = z - 31. Is q a multiple of 13?
True
Suppose 4*g = 5*c - 33, -24*c + 29*c - 5 = 0. Is 78 a factor of 21267/17 + g - (-1 + -5)?
False
Let a(p) = -5*p + 48. Let c be a(4). Suppose 15 = 5*m, 0 = -v - 4*m + c + 368. Is 64 a factor of v?
True
Let d be 4/6*(-1 - 2). Is 4 a factor of 1555/(-15)*-3 + d?
False
Suppose -196*c - 195*c + 388*c = -3942. Is c a multiple of 29?
False
Let z be (-51)/85*(-16 - -1). Let m(q) = 2*q - 18. Let y be m(z). Suppose y*v + v = 3*t + 172, t = -4. Is v a multiple of 10?
True
Let m(w) = w**3 + 4*w**2 + 6*w + 6. Let h be m(-2). Is 17 a factor of 2550/h*(-9)/(-27)?
True
Let b = -66 + 73. Suppose 9*n = b*n + 68. Does 3 divide n?
False
Let k(h) = 2*h**2 - 13*h + 13. Let i be k(6). Is 4 a factor of (i - -134 - 5) + 4?
True
Suppose -2*x = 3*j - 48360, -3*j - x = -0*j - 48354. Does 12 divide j?
True
Is 55 a factor of (-160)/(-1360) - (-3806)/17?
False
Let s(k) = -6 - 10*k - 3 + 3 + 3*k**2 + 19*k. Let o be s(-8). Suppose -3*j + 245 = -d, -j + d - 29 + o = 0. Is 8 a factor of j?
True
Suppose 8*b = -t + 1288, -t + 0*t - 3*b = -1308. Does 120 divide t?
True
Let u = 3370 - 3296. Is u a multiple of 7?
False
Is (-453726)/(-90) - 14/10 a multiple of 105?
True
Let g(w) be the third derivative of -w**6/120 + w**5/30 + 11*w**4/12 + w**3 - 4*w**2. Let q be g(-4). Suppose 35 = -13*o + q*o. Is 7 a factor of o?
True
Let d(h) = 10*h - 12. Let a be d(-2). Let n = 49 - a. Is n a multiple of 17?
False
Suppose -53*g - 47526 = -58*g + 2*p, 0 = 5*g + 3*p - 47511. Is g a multiple of 198?
True
Let g = 5214 - 622. Is g a multiple of 112?
True
Let o(r) = 9*r**2 - 2*r + 5. Let u(a) = -5*a**2 - 10*a + 24. Let k(g) = g**2 - g + 1. Let h(w) = -6*k(w) - u(w). Let z be h(14). Is o(z) a multiple of 45?
True
Is 17 a factor of ((-40242)/(-18) + -3)/((-16)/(-24))?
True
Suppose 400 + 164 = -4*j. Let n = 205 + j. Is n a multiple of 16?
True
Let s(t) = -7546*t - 572. Is 13 a factor of s(-1)?
False
Let g(h) = h**2 + 11*h + 26. Let r be g(-6). Let u be (r/10)/((-3)/30). Suppose -u*q + 84 = -44. Is 32 a factor of q?
True
Let y(m) be the second derivative of 14*m**4/3 - 5*m**3/3 + 11*m**2/2 - 105*m. Is 51 a factor of y(4)?
True
Suppose 2*i - 13 - 11 = 0. Suppose -10 = 5*b - 5*s, 2*s + s = i. Suppose 5*f - 2*d = 2*d + 114, f - b*d = 18. Does 7 divide f?
False
Let f be (-2)/(-2) - (-3)/1. Suppose f*b = -y + 7, -5*y + 2*y - 2*b = -11. Suppose -y*q + 365 + 196 = 0. Is q a multiple of 38?
False
Let j(x) = 31*x + 20. Let k(r) be the second derivative of 21*r**3/2 + 41*r**2/2 - 13*r. Let h(t) = -5*j(t) + 2*k(t). Is 15 a factor of h(-8)?
False
Let v = 14668 - 11679. Is 10 a factor of v?
False
Let k(a) be the first derivative of 11*a + 20 + 4/3*a**3 - 9*a**2. Is k(7) a multiple of 6?
False
Let d be 6 + -1*(-4 - -6). Let i(y) = -y + 6. Let x be i(d). Suppose 9 = -3*o, -3*w + x*o = -2*w - 117. Is 10 a factor of w?
False
Let g be (-3)/(-3)*(160 - 2). Suppose -4*x + 660 = j + 2*j, x - g = j. Is x a multiple of 18?
True
Let z = -475 + 812. Let r be (-121)/(-968) + 5781/24. Let k = z - r. Does 8 divide k?
True
Suppose -14 = 5*k - 24. Suppose 864 = k*j + g, 2*j = -9*g + 7*g + 864. Is j a multiple of 36?
True
Let r(v) be the first derivative of -v**4/4 - 2*v**3 - 4*v**2 + v + 14. Let k be r(-3). Let j(a) = 9*a**2 + 2*a + 2. Is j(k) a multiple of 12?
False
Suppose 5*d = -5*g - 16 - 19, g = 1. Let p be ((-10)/6)/(d/(-168)). Let u = -28 - p. Is u a multiple of 5?
False
Suppose 334*r - 359*r = -1333800. Does 39 divide r?
True
Suppose 0 = u + 19 - 64. Suppose 5*i + u = -5. Is (i/4)/(5/(-150)) a multiple of 12?
False
Suppose 3275*u - 24957 = 3272*u. Is u a multiple of 177?
True
Let j = 34 + 28. Suppose -25*c + 27*c - j = 0. Does 30 divide c - (-2 + 4 - 1)?
True
Is ((-150900)/225)/((-2)/12) a multiple of 20?
False
Is 14 a factor of ((-42)/18 + 1)/(8/12) + 1066?
True
Suppose x + 13*x = 0. Suppose -908*b + 909*b - 1002 = x. Does 10 divide b?
False
Let q(h) = 11*h + 22. Let t be q(-4). Let w(p) = -p**3 - 21*p**2 + 21*p - 21. Let v be w(t). Is 9 a factor of (-1*v/(-1))/((-3)/(-81))?
True
Let p(n) = -n**3 - 29*n**2 - 101*n + 46. Is p(-25) a multiple of 2?
False
Is 33 a factor of 47853/5 - 162/270?
True
Suppose y = -2*w + 8, 3*w = -0*y + 2*y + 26. Let m(c) = c**2 - 9*c + 21. Let p be m(w). Suppose 5*s - 966 = -3*z, 3*s + 5*z - 580 = p*z. Does 16 divide s?
True
Let w = 2409 - 328. Let m = w + -1410. Is m a multiple of 64?
False
Suppose 14*z - 6646 = 89114. Is 114 a factor of z?
True
Suppose -1862 = -6*f + 340. Suppose -7*s + 3131 + 586 = 0. Let n = s - f. Is 41 a factor of n?
True
Let p(a) = -a**2 + 25*a + 42. Suppose 4*n - 52 - 36 = 0. Let f be p(n). Is 13 a factor of 28/(-3)*(-3)/12*f?
False
Let h = -15444 + 22623. Does 10 divide h?
False
Let g = -1163 + 21279. Is 47 a factor of g?
True
Let c(k) = -k**3 - 4*k**2 - k + 2. Suppose -2*q = q - 15. Let h(l) = 2*l**3 + 8*l**2 + 3*l - 5. Let g(j) = q*c(j) + 2*h(j). Is 29 a factor of g(-6)?
False
Suppose 0 = -27*p + 156*p - 404931. Is p a multiple of 26?
False
Let t(f) be the third derivative of 5*f**4/24 - 40*f**3/3 + f**2 - f. Is 2 a factor of t(20)?
True
Suppose -9*k + 12*k - 33 = 0. Let a = k - -82. Suppose -8*r = -363 - a. Does 24 divide r?
False
Let o be 4/(-6)*306/(-68). Suppose -850 = -4*h - 2*g, o*g - 640 = -3*h - g. Is 20 a factor of h?
False
Suppose 0 = -144*r + 146*r - 10. Let z(d) = 21*d - 7. Is z(r) a multiple of 6?
False
Suppose -3*f = -2*f - 15. Suppose -5*z + 2*u + 35 = 0, 0 = -3*z + 2*z - 4*u - f. Suppose -5*j = -x + 24 + 152, 0 = 5*x + z*j - 790. Is x a multiple of 16?
False
Suppose -43*a - 5000 = -44*a - 5*v,