*m**2 + 2 + 36 - 31. Is 4 a factor of p(u)?
False
Let h be 45/60 + 82/8. Suppose h*w + 200 = 16*w. Suppose 4*v = w + 464. Does 18 divide v?
True
Let o(t) = 35*t + 24. Let u be o(-1). Let i(f) = -f**3 + 8*f**2 + 18*f - 15. Does 14 divide i(u)?
True
Let z = -32 + 46. Suppose -o - 11 = -z. Suppose 466 = o*a + 4*n, -4*a + n - 3*n + 638 = 0. Is a a multiple of 18?
True
Is 8 a factor of (-586091)/(-22) + (11/2 - 8)?
False
Let r(n) = 95*n**2 - 43*n + 142. Is 31 a factor of r(5)?
False
Suppose -42*o + 315583 + 78450 = 38797. Is o a multiple of 60?
False
Let c be 5/(-2)*28/(-35)*11. Suppose 3*u - c = 3*s + s, 3*u = -2*s - 2. Suppose d = -0*x + u*x + 92, 5*d + 5*x - 475 = 0. Is d a multiple of 29?
False
Suppose 0 = -g - 5, -g + 1507 = -11*f + 13*f. Let a = f + 253. Is a a multiple of 32?
False
Suppose 5*w = -a + 11702, -5*a + 4*w = -28619 - 29949. Is 64 a factor of a?
True
Suppose -4*a = -3*v + 33, -2*v + 2*a + 8 = -12. Let j be (414/v)/((-2)/(-112)*12). Suppose -3*y - 4 = -2*y, j = 4*c + 4*y. Is 5 a factor of c?
False
Suppose -3*q = -6*q + 6, 4*q = 3*b + 146. Let a = b - -60. Suppose -a*v + 19*v = 1485. Is v a multiple of 40?
False
Let h = 2621 - 1604. Does 5 divide h?
False
Let a(d) = -d**2 - 17*d + 20. Let l be a(-17). Suppose -16*m - l = -20*m. Suppose -510 = 2*n - m*n. Does 27 divide n?
False
Let a = 96 + -95. Let s(x) = -26*x**3 + x**2 - x + 1. Let n be s(a). Let l = n + 97. Is l a multiple of 24?
True
Let u = 3411 - -865. Does 16 divide u?
False
Suppose m = -4*f + 40031 + 86039, f = -4*m + 504355. Suppose -m = -62*p - 29742. Is p a multiple of 30?
False
Let g = -180 + 359. Suppose 202*y - 203*y = -g. Is 51 a factor of y?
False
Let v(h) = 10*h**2 + 5*h + 4. Suppose 5*i + 4*t + 1 = 0, -2 = -5*i + 5*t - 12. Is v(i) even?
False
Let u(k) = -5*k - 26. Let h be u(-3). Is 2678/8 - (44/16)/h a multiple of 40?
False
Let q(l) be the first derivative of -11*l**3/3 - l**2/2 - 14. Let y be q(-1). Does 14 divide 18/45 - 366/y?
False
Let p = 5410 + -3436. Does 55 divide p?
False
Suppose -y - 5*k + 6573 = 0, -y = -2*k - 654 - 5961. Is y a multiple of 93?
True
Let w(z) be the third derivative of -12*z**2 + 21/8*z**4 - 1/2*z**3 + 0 + 0*z. Is 41 a factor of w(2)?
True
Suppose -17 = -3*g - 8. Suppose 3*i = -2*i - 3*p + 7, -g*p = 3*i - 3. Suppose 4*n - 20 = -i*z, 2*n - 3 = -5. Does 4 divide z?
True
Let l be (-48)/(-12)*2/4. Suppose g = 3*h - 2861, 6*g = l*g - 20. Does 34 divide h?
True
Suppose 0*a + 3*a - 3848 = 2*f, -4 = 2*a. Let h = -1170 - f. Suppose 187 + h = 8*s. Is s a multiple of 10?
False
Does 20 divide ((-196818)/(-8))/((-2226)/(-2968))?
False
Let x(o) = -25*o - 39 - 2 - 203 - 11*o. Does 6 divide x(-19)?
False
Let q(h) = 6*h - 15. Let u be q(4). Suppose u*o - 24*o + 5130 = 0. Does 30 divide o?
False
Let n(y) = -229*y**3 + 3*y**2 - 28*y - 54. Does 143 divide n(-3)?
False
Let k = 10089 - 8944. Is k a multiple of 53?
False
Suppose -10*q = -29 - 1. Is ((-9)/2)/(-6*q/1536) a multiple of 19?
False
Let k = -5 + 8. Let a = 175 + -173. Suppose k*n - 195 = -2*w, -2*w - 5*n = a*w - 385. Is 30 a factor of w?
True
Let j(k) = -k**3 - 12*k**2 - 36*k - 23. Let v be j(-8). Suppose 8 = -2*s, v*y - 5*s - 1660 = 5*y. Is 10 a factor of y?
True
Let f(p) = -679*p + 36. Is f(-2) even?
True
Suppose -22*n - 7*n = -27289. Let m = -732 + n. Is 24 a factor of m?
False
Let n(i) = i**2 + 4*i + 5. Let p be n(0). Suppose -4*v + 875 = 5*j - 0*j, v - p*j - 225 = 0. Does 7 divide v?
False
Let n(t) be the first derivative of -t**2/2 - 2*t - 6. Let k be n(-3). Is 8 a factor of (65 - 3/1)*k?
False
Let a = 64 + 54. Suppose -4*l = 3*k - a, 0*k = 5*k + 5*l - 205. Does 3 divide k?
False
Let w = 7640 + -3545. Is 13 a factor of w?
True
Let r(k) = 57*k**3 + k**2 + 2*k + 2. Let c be r(-1). Let u = 39 - c. Suppose 0 = 2*f + 2*q - 50, 2*f - u + 36 = -5*q. Does 22 divide f?
True
Suppose 0 = 2*r + r + 48. Let n(u) = 30 + 18*u + 24*u + 14*u + 18*u - 78*u. Does 37 divide n(r)?
False
Let o = 2904 + 2172. Suppose -12*t + 26328 = o. Is t a multiple of 23?
True
Let k = -175 + 512. Suppose 5*y = -3*t + 961, -4*t - 5*y + 946 = -k. Does 7 divide t?
True
Let z(m) = 18*m - 90. Let a be z(5). Suppose -h - 4*h - x + 509 = a, 5*h + 4*x - 506 = 0. Is h a multiple of 3?
True
Suppose -6 - 6 = -3*g. Let v = -10 - -22. Suppose -1104 = g*w - v*w. Is w a multiple of 23?
True
Let a(b) = 5*b**2 + 64*b - 468. Is 91 a factor of a(-39)?
True
Suppose -100*l = -98*l - 378. Is 15 a factor of ((-16)/(288/l))/((-3)/68)?
False
Let o(c) = 98*c + 14. Let u(z) = -147*z - 21. Let l(j) = 7*o(j) + 5*u(j). Is l(-7) a multiple of 12?
True
Suppose 5*x + 227 = -b + 2814, -5*b - 3*x = -12869. Is b a multiple of 7?
False
Let b(s) = -197*s + 100. Let w(x) = -197*x + 103. Let p(v) = -5*b(v) + 4*w(v). Is 34 a factor of p(2)?
True
Suppose u = -5*a - 95, u = -3*u - 20. Let r be (2/4)/(a/(-108)). Suppose 38 + 64 = r*o. Is 8 a factor of o?
False
Suppose -6*w + 4*w = -14. Suppose -w*g = -g. Does 10 divide (g + -3)*80/(-6)?
True
Let x be (429210/(-40))/(-19) - (-1)/4. Let i = x - 272. Is 17 a factor of i?
False
Suppose -55*p + 347 = -93. Suppose -p + 1178 = 3*r. Does 30 divide r?
True
Let t be (3 - 6) + 9/(63/(-4858)). Let d = -542 - t. Does 5 divide d?
True
Suppose 3*p + 750 = 5*v + 5*p, 3*v - 464 = -4*p. Suppose -686 - v = -3*r. Is r a multiple of 11?
False
Let k = -3389 + 12101. Does 9 divide k?
True
Let f(i) = 5 - 5 + 20 - 37*i - 108*i. Does 89 divide f(-8)?
False
Let i = -26718 + 116850. Is i a multiple of 14?
True
Suppose 3*s = -30 + 24. Let p(w) = -2*w**3 + 2*w**2 - w. Let a be p(s). Suppose -29*j + 111 = -a*j. Is 15 a factor of j?
False
Suppose -25*h + 11*h = -168. Suppose 0 = -h*c - 19*c + 1426. Is c even?
True
Suppose 48 = 3*u - 87. Let j be 579/(-15) + (-240)/(-150). Let z = j + u. Is 5 a factor of z?
False
Suppose -2*s = -4*p + 28, -3*p + s = -5*p + 22. Suppose 990 = p*v + 45. Is v a multiple of 35?
True
Let s(x) = 22*x + 4 - 6 - 8 - 51*x. Let m(a) = 175*a + 60. Let w(v) = -4*m(v) - 25*s(v). Does 11 divide w(4)?
True
Let u be (-1473)/(-15) - (-7)/35*-1. Suppose 0 = -3*k - n + 304, 0 = -k + 5*n - 7*n + u. Is k a multiple of 9?
False
Let y = 4899 + 2277. Is y a multiple of 4?
True
Let y(k) = k**2 + 10*k + 2. Let v be (6/(-1))/24 + (-39)/4. Let h be y(v). Suppose 2*g - h*t - 11 = 309, 4 = -4*t. Does 14 divide g?
False
Let u(a) = -a**3 + 2*a - 7. Let x be u(-3). Suppose -2*b = 2*d + 2, -2 = -4*d + b + x. Suppose 3*k = -3, -d*c - 4*k + 192 = -128. Does 9 divide c?
True
Suppose -p = 2*g - 18, p + 3*p = 4*g + 24. Let n be (-254)/(-4) + p/20. Suppose n = 18*a - 17*a. Does 16 divide a?
True
Let g(j) = 3*j**3 + j**2 - 3*j + 329. Let l be g(0). Let d = 371 + l. Does 14 divide d?
True
Let j(u) = -u**3 + 26*u**2 - 2*u + 56. Let i be j(26). Suppose d + 10*b = 6*b + 519, i*d = -5*b + 2098. Is d a multiple of 36?
False
Let m(t) = -10 - 34 - 36 + 26*t - 2. Is 22 a factor of m(17)?
False
Let f(h) = -2*h - 16. Let p be f(-7). Let z(k) = 3*k**3 + 3*k**2. Let b be z(p). Let d(w) = w**2 - 2*w - 3. Is d(b) a multiple of 25?
False
Let l(f) = -31*f + 306. Does 19 divide l(-81)?
False
Suppose h + 1 + 4 = 0, 3*h = -3*l - 21. Let p(w) = -4*w**3 - 2*w**2 - 3. Let k be p(l). Let t = k + 114. Is 14 a factor of t?
False
Let s = -195 - -204. Suppose -s*h + 4389 = -5385. Is 48 a factor of h?
False
Suppose -44*u = -40*u + m - 805, 1025 = 5*u + 5*m. Is 3 a factor of u?
False
Let r = 4125 - 3510. Is r a multiple of 3?
True
Suppose 0 = -9*a + 6*a - p + 27, 8 = 2*a + 4*p. Suppose -a*f + 4*x = -7*f - 1130, -3*x = -3. Is f a multiple of 21?
True
Suppose 7*r + 341 = 2014. Let f = -77 + r. Let q = f - 36. Is q a multiple of 21?
True
Suppose 359*y - 10317638 + 3051478 = 0. Does 80 divide y?
True
Let h = -47 + 49. Let t(l) = 0*l**3 + 9*l**h - l - l**3 - 18 - l**3 + l**3. Does 19 divide t(8)?
True
Suppose -o + 4*f - 116 = -6*o, -4*o + 76 = -f. Let x = 2283 + -2255. Let y = x + o. Does 8 divide y?
True
Let n = 6270 - -642. Is 39 a factor of n?
False
Let x(l) = 10*l**3 + l**2 - 2*l + 1. Let p be x(1). Suppose p*o + 14 = 84. Does 7 divide o?
True
Suppose 5*h - 9114 = -o, -h = -3*o - 2*o - 1802. Suppose -h - 313 = -7*d. Is d a multiple of 61?
True
Let h(j) = 3*j**2 + 3*j**2 + 13*j - 5*j**2 - 7 - 12*j. Let i be h(-5). Suppose 0 = -l + 41 - i. Is l a multiple of 17?
False
Suppose -3*a = 3*y - 18