i(5)?
True
Let q be ((-4)/5)/((-5)/25). Let s be (-115)/(-35) - q/14. Suppose 0 = -2*m + 1 + 1, -s*h = 4*m - 46. Is h a multiple of 4?
False
Let y(a) = -39*a + 9. Let w(o) = 19*o - 4. Let j(r) = -5*w(r) - 2*y(r). Suppose 14 = -4*f + 2*l, -2*f - 4 = -4*l - 0. Is j(f) a multiple of 8?
False
Suppose -5*j + 3*w = -5669, 5*j - j + w - 4542 = 0. Is j a multiple of 61?
False
Let o = -204 + 228. Is 12 a factor of o?
True
Let d = -4 - -28. Suppose 4*f + 2*s = d, 0 = 4*f + 3*s + 2 - 24. Suppose 0 = -5*h - p + 178, 2*h = f*h + 4*p - 172. Is h a multiple of 18?
True
Suppose 0 = 3*f + g + 1004, -2072 = 4*f + 3*g - 725. Let v be (-3)/1 + (-5 - 12). Is 4 a factor of (-16)/v - f/15?
False
Let k(n) = 5*n**2 + 7*n + 1. Let y(d) = -16*d**2 - 20*d - 4. Let x(u) = -8*k(u) - 3*y(u). Is x(-1) even?
True
Suppose b - 93 = -5*k, 3*k + 3*b + 0*b - 51 = 0. Suppose 8 - k = -h. Does 3 divide h?
False
Suppose x - 3*a - 61 = 0, -x - 3*x - 2*a = -188. Is 4 a factor of x?
False
Suppose 4*d - 7 = 5. Suppose 2*b - d = b. Suppose s + 5*u = 13, -3*s - b*u + 27 = -0*s. Is s even?
True
Let g(w) = w - 1. Let y(z) = -2*z + 2. Let v(c) = 4*g(c) + 3*y(c). Let n be v(0). Suppose 6*j = n*j + 212. Does 14 divide j?
False
Let s = -296 + 1640. Is 4 a factor of s?
True
Let q(b) = 34*b**2 + b. Let o be (-8)/(1 + -3) + 2. Let k = o - 7. Is q(k) a multiple of 8?
False
Suppose -203*r + 197*r + 636 = 0. Is r a multiple of 18?
False
Let l(r) = 16*r**2 + 41*r + 86. Let t(q) = 3*q**2 + 8*q + 17. Let k(a) = -2*l(a) + 11*t(a). Does 10 divide k(-5)?
True
Let i = -21 + 23. Suppose 0 = i*p + 4*h - 62, 120 = 3*p - h - 2*h. Suppose 3*n - 11 - p = -k, 5*n - 92 = -2*k. Does 6 divide k?
True
Suppose 2*i + 3*b = 21, -i + 2*b = 3*i - 2. Suppose -j + 5*o + 5 = 0, 1 + 9 = 2*j - i*o. Is j a multiple of 3?
False
Let x(k) be the third derivative of k**5/20 + k**4/24 - 4*k**3/3 - 19*k**2. Is 12 a factor of x(-4)?
True
Let u(w) = -13*w**3 - 6*w**2 - 5*w + 1. Let x be u(-3). Suppose 0*k + 2*t - 452 = -3*k, 0 = -2*k + t + x. Does 22 divide k?
True
Suppose 5*s - 12 = 3. Let c be (-4 - (-37 + -4)) + s. Suppose q - 11 = c. Is 21 a factor of q?
False
Let f(n) = -54*n + 96. Is f(-6) a multiple of 14?
True
Suppose b = 11*b - 1430. Let s = -59 + b. Does 21 divide s?
True
Let l(q) be the second derivative of q**4/2 + 5*q**3/6 + 2*q**2 - 3*q. Suppose 0 + 11 = -4*v + 3*b, -v = -5*b + 7. Does 9 divide l(v)?
True
Let d = -778 + 1031. Is d a multiple of 8?
False
Suppose 29 = 4*a - 39. Suppose -85 = -i - a. Is 22 a factor of i?
False
Let b = -130 - -220. Suppose j + 4*j = b. Let a = 2 + j. Does 10 divide a?
True
Let k be 22/(-5) + 12/30. Let j(y) = -2*y**2 - 2*y - 6. Let c be j(k). Is (4 + c - -3)*-3 a multiple of 23?
True
Suppose -17*r - 2*o = -13*r - 4952, 2*r - 2*o = 2464. Is 12 a factor of r?
True
Suppose -2*s + 0*a = -2*a + 132, 3*a = 4*s + 266. Is 17 a factor of (-765)/30*s/6?
True
Let m be (((-6016)/(-12))/(-8))/(2/(-6)). Suppose 9*q - 685 - m = 0. Is q a multiple of 14?
False
Suppose -3*j + 5*j - 18 = 0. Let b = j + -15. Is 9 a factor of (27/2)/(b/(-16))?
True
Let b = -388 - -430. Is 7 a factor of b?
True
Let w = 83 + 122. Let k be 1/(-6) - 124/(-24). Suppose -2*i - w = -k*j, 35 = -2*j + 2*i + 111. Does 15 divide j?
False
Let z = 4 + 1. Let j be z + 2 + (-2)/2. Suppose j*o = 4*o + 60. Is o a multiple of 30?
True
Let n = 5 + 3. Let v be 566/4 - 4/n. Suppose v = 4*h - h. Is 12 a factor of h?
False
Let n(r) = 5*r**2 + 2*r. Let a be n(-2). Let h be (-1)/1 - (-65)/13. Let b = a + h. Does 20 divide b?
True
Suppose 4*o + 6 + 4 = 5*m, 2*m - 4 = -2*o. Suppose m*v - 70 = -3*v. Is v a multiple of 7?
True
Let j(h) = -5*h**3 + 141*h**2 - 18*h. Is 10 a factor of j(28)?
True
Let o be (-12)/(-8)*(-40)/(-12). Let w be -1 - (-1 + 15/o). Does 14 divide 8/(-12) - 176/w?
False
Suppose 0 = -0*g - 4*g + 24. Let i = 11 - g. Suppose y = -i*y + 132. Does 4 divide y?
False
Suppose -5*j + 10 = -10. Suppose -5*f + 2*f = -j*k + 889, 0 = k - f - 223. Is 20 a factor of k?
True
Let p be (894/12)/(2/(-4) - 0). Is 11 a factor of 6/2 + (2 - p)?
True
Let a(t) = -56*t - 259. Is 25 a factor of a(-14)?
True
Does 20 divide -20*4/(-16) + 307?
False
Suppose 5*h = -2*q + 24 + 64, -4*q + h + 154 = 0. Suppose 18 = y - 3*k, 4*y - 61 = 5*k + q. Is 7 a factor of y?
False
Let m = -2192 + 3428. Is m a multiple of 12?
True
Suppose 5*f - 1116 = 1874. Is f a multiple of 11?
False
Does 43 divide ((-3)/6 - 0)/(1/(-86))?
True
Let x = 56 - 31. Suppose 5*v - 79 = -4*y + x, -5*y + 3*v = -130. Does 11 divide y?
False
Let g = -7 + 7. Suppose -4*c + 22 + 22 = g. Suppose -4*l - c = -219. Is l a multiple of 26?
True
Let d = -5768 + 2002. Is 36 a factor of d/(-35) - (-4)/10?
True
Suppose -5*l = -5*u + 1900, 7*u = 2*u - 2*l + 1886. Is 18 a factor of u?
True
Suppose -6*t - 84 + 372 = 0. Suppose -2*r - t = -5*r. Is r a multiple of 8?
True
Let b be (-33)/(-24) + 12/(-32). Is 3 a factor of 3 - (0 + b)*(-60)/5?
True
Suppose -2*b + 1552 = -0*i - 5*i, 0 = -2*b - 2*i + 1566. Is 21 a factor of b?
False
Let b(j) = 4*j + 15. Let k be b(7). Let c = 99 - k. Is c a multiple of 14?
True
Let r(h) = 19*h**2 + 4*h + 5. Suppose 1 = -5*t - 3*j, j - 1 = -3*t - 0. Let z(b) = b**2 + b + 1. Let y(a) = t*r(a) - 4*z(a). Is 4 a factor of y(-1)?
True
Suppose 95 = 3*p - 58. Let w(t) = -t**3 + 2*t**2 + 4*t - 3. Let r be w(2). Suppose -r*s - p + 201 = 0. Is s a multiple of 30?
True
Let w(a) = a**2 - 26*a + 836. Is 44 a factor of w(0)?
True
Let q = -55 - -330. Is q a multiple of 10?
False
Suppose 3*j + 9*u = 14*u + 2106, -j + 722 = 5*u. Is 7 a factor of j?
True
Suppose -18*n + 13*n + 1050 = 0. Is n a multiple of 18?
False
Suppose -i + d + 4 = 0, -2*d + 4 = 2*i - 0*d. Suppose -i*j - 5*t + 3*t + 93 = 0, 2*j - 3*t = 75. Is j a multiple of 21?
False
Suppose -2*z = 29*f - 25*f - 4906, 4*f - 4901 = -z. Is f a multiple of 96?
False
Let b(p) = 3*p**3 + 5*p**2 - 19*p + 5. Let f(c) = 2*c**3 + 2*c**2 - 9*c + 2. Let l(i) = -2*b(i) + 5*f(i). Does 15 divide l(3)?
False
Let j be ((-26)/(-6))/((-2)/(-6)). Suppose 20 = j*h - 8*h. Suppose 6*c - h*c - 108 = 0. Is c a multiple of 18?
True
Let y be (-133)/(-28) - (-1)/4. Suppose -9*s + y*s + 12 = 0. Suppose -192 = -s*i + i. Is 32 a factor of i?
True
Let s(l) = -7*l + 6. Let d be s(-4). Let y = d - 22. Let u = 77 - y. Is u a multiple of 13?
True
Let d = -228 + 669. Is d a multiple of 3?
True
Let y be 0*(3 - 28/10). Suppose y*q = 3*q - 216. Is q a multiple of 19?
False
Suppose 10423 = 55*a - 2007. Does 119 divide a?
False
Suppose -2*s + 113 = -55. Suppose -p - 2*p + 4*a + s = 0, 0 = -a - 3. Does 8 divide p?
True
Suppose 7*x + 15 = 4*x - 3*i, i = -4*x - 17. Let y = -18 - x. Let r = y - -31. Does 17 divide r?
True
Let l(x) = -3*x**3 - 5*x**2 + 4*x + 4. Let o be l(-4). Suppose o + 0 = 5*g. Suppose 0 = -h + 3*k + 7, -4*k = -9*k + g. Is 19 a factor of h?
True
Suppose -6*m + 3*m - 24 = 0. Let p be (-2061)/(-36) - (-2)/m. Let g = p + -33. Is 4 a factor of g?
True
Suppose 0 = 11*q - 7617 - 9026. Is q a multiple of 17?
True
Suppose -4*j + 2*s = -0*s + 152, 0 = 5*j - 5*s + 200. Suppose 46 = -14*t - 150. Is 18 a factor of (j/t)/((-5)/(-105))?
True
Let w be 8/44 + 485/55. Suppose 0 = 2*m - w*m + 168. Does 14 divide m?
False
Suppose 4*d + 1512 = 4*r, -4*r + d + 1526 = 4*d. Suppose -r = -2*m - 2*m. Let q = -14 + m. Is q a multiple of 19?
False
Let z(g) = g**2 - 6*g - 4. Let i be z(-6). Let k = i - 25. Is 15 a factor of (k + 2)/((-4)/(-4))?
True
Let y be (-5)/5*0/((-2)/1). Suppose y = -7*c + 28 - 7. Is c a multiple of 3?
True
Let p = -15 + 30. Is p a multiple of 3?
True
Does 55 divide ((-5)/(-3))/(3/1890) + -5?
True
Let y = 89 + 233. Does 14 divide y?
True
Let n(l) = -4*l - 46. Let y be n(-11). Let q(i) = -4 - 7*i - 5*i + 1. Does 7 divide q(y)?
True
Let o = 287 - 202. Is 33 a factor of o?
False
Suppose 10*b = 7*b, 0 = 4*x - 4*b - 6588. Is x a multiple of 34?
False
Let r = 13 + -28. Let f be 5*2/r*12. Let i(y) = -5*y - 20. Is 5 a factor of i(f)?
True
Let l be -1 + (1 + 0)*3. Suppose l*i - 242 = 76. Is 33 a factor of i?
False
Suppose n - z = -3*z - 1, -5*z + 15 = -n. Is (-55)/n + (5 - 6) a multiple of 10?
True
Let x = -201 - -290. Suppose -s - 7 - x = 0. Let m = -60 - s. Is m a multiple of 12?
True
Does 3 divide (8 - 0)/(3030/(-610) + 5)?
False
Suppose -140 = -3*z + z. Let n be (-2)/9 - z/9. Does 6 divide n/