 divide u?
True
Let i = 32 + -22. Suppose 4*x - i = 2*q, -2*x - 2*q = -5*x + 9. Does 26 divide x/(((-12)/4)/(-189))?
False
Suppose 2*i = -5*q + 16652 + 9424, -5*q + 26082 = 4*i. Does 33 divide q?
True
Let n be (4/6)/(-1)*-9. Suppose c = 3*s - 157, -5*s - c = -n*c - 265. Let z = -34 + s. Does 3 divide z?
True
Let r be ((-9)/((-54)/(-4)))/((-2)/6). Let k be (36/r)/(1032/171 - 6). Suppose 13*q - 10*q - k = 0. Is q a multiple of 43?
False
Suppose -1667*b = -1665*b - 50. Let z(y) = 6*y + 14. Does 11 divide z(b)?
False
Let y be (16/12)/(32/(-12) - -4). Suppose -b = -3*t + 4 - y, 0 = b + 5*t - 13. Suppose -x + 336 = b*x. Is 14 a factor of x?
True
Let a = -455 + 461. Suppose -a*n = 364 - 1420. Is 60 a factor of n?
False
Suppose -k - 772 = -5*i + 4132, -2*i + k = -1961. Is i a multiple of 16?
False
Let c(y) be the third derivative of -y**4/8 + y**3/2 - 2*y**2. Let s be (-728)/98 + -1*(-9)/21. Is 6 a factor of c(s)?
True
Let f = -5269 + 9640. Is 23 a factor of f?
False
Let i(k) be the third derivative of k**5/60 + 5*k**4/4 + 34*k**3/3 + 41*k**2 - k. Does 39 divide i(-29)?
True
Let s(y) = 2*y - 18 - 2*y - y - 2*y. Let j be s(6). Let w = j - -96. Does 38 divide w?
False
Let t(u) = -17*u**3 - 14*u**2 + 16*u + 3. Let q(c) = -8*c**3 - 7*c**2 + 7*c + 3. Let l(j) = 13*q(j) - 6*t(j). Does 29 divide l(-8)?
False
Suppose 0 = -4*d + 7 + 1. Suppose -221 = -d*t - t + 5*n, 4*t - 3*n - 291 = 0. Suppose t = -2*x + 4*x. Is 12 a factor of x?
True
Let i be (1*3)/((-48)/(-64)). Let f be i/8 - 7/(-2). Let y = 114 - f. Is y a multiple of 11?
True
Suppose 24*x = 5*m + 21*x - 37, 5*x = -5*m + 5. Suppose m*y - 8*y = -4*i + 604, 0 = -2*i - 4*y + 280. Does 26 divide i?
False
Let b be (1 + (-3)/5)/((-38)/380). Let a be b - (4422/(-9) + 1/3). Let t = a - 282. Is 11 a factor of t?
False
Let o(s) = 7*s**2 - 49*s + 546. Does 14 divide o(10)?
True
Suppose -5*x + 0*x = 285. Suppose -3*g = -b + 99, 213 - 695 = -5*b + 2*g. Let n = x + b. Is 13 a factor of n?
True
Suppose -10*j = -12*j. Let v be (-114)/22 + (-12)/(-66). Is 23 a factor of (j/v - -3)*184/6?
True
Suppose 0 = -15*z + 8*z + 21. Let f = 7 + 35. Suppose -2*c + f = -7*v + 2*v, -z*c = 4*v - 40. Does 3 divide c?
False
Let a(i) = 6*i + 38. Let f(y) = 1. Let l(n) = a(n) - 4*f(n). Let v be l(-8). Let w(x) = -5*x + 1. Does 13 divide w(v)?
False
Let i = -2535 + 4362. Is i a multiple of 7?
True
Let l = -7098 - -12989. Is l a multiple of 43?
True
Suppose -7*t = 5*a - 3*t - 16, -11 = -3*a - t. Suppose 1202 + 862 = a*v. Does 43 divide v?
True
Suppose -2*n - 26 = -4*h, h - 2*n + 0 = 8. Is (706/6 + (1 - 1))*h a multiple of 39?
False
Let x = 38 - -17498. Is 137 a factor of x?
True
Suppose 7910 = 19*j - 16*j - 2*o, -2*j + 5270 = -2*o. Is 165 a factor of j?
True
Let j be ((-910)/56)/(2/(-152)). Suppose 0*n = 13*n - j. Is 17 a factor of n?
False
Suppose 36*q - 24056 - 45804 = q. Does 43 divide q?
False
Does 9 divide -1 + 4576/((-221)/(-17))?
True
Let o(m) = 169*m + 223. Let u be 144/21 - 10/(-70). Is 19 a factor of o(u)?
True
Let u(c) = 2*c**2 - 4. Let v be u(2). Suppose 2*q = 4*y + 22, -q + v*q - 5*y = 30. Suppose -305 = -q*n + 3*i, -n = n + 4*i - 96. Does 19 divide n?
False
Suppose 1163*u - 813*u = 5626950. Does 69 divide u?
True
Let g(v) = 257*v + 37. Let j be g(6). Suppose j + 1459 = 14*l. Does 31 divide l?
True
Let r(d) = -d - 14. Let q be r(-27). Let p(a) = 99*a - 91. Is p(q) a multiple of 26?
True
Let y(t) = t**2 + 23*t - 25. Let l be y(-24). Let p(c) = 571*c**2 - c - 2. Is p(l) a multiple of 10?
True
Let a = -921 + 225. Let q = a + 805. Is q a multiple of 23?
False
Let o(w) = w**2 + 8*w - 98. Is o(-36) a multiple of 35?
True
Suppose 0 = -26*o + 119611 - 39687. Does 4 divide o?
False
Let r = 1 - -1. Suppose -200 = -4*s - r*t - t, 0 = -4*s - t + 200. Suppose 3*q - 2*m - 150 = -6*m, m = q - s. Is q a multiple of 32?
False
Suppose 6*t - 11 = 7. Suppose t*g - g = -g. Suppose 3*b + 4*f - 48 - 98 = g, -5*b = 4*f - 230. Is b a multiple of 6?
True
Suppose 5*b + 758 + 2222 = 0. Let q = b + 889. Is 24 a factor of q?
False
Let r = -6723 - -16096. Is 146 a factor of r?
False
Let t(d) = -41 + 10 - d + 2 - 2*d. Let p be t(-8). Let y = p - -23. Is y a multiple of 9?
True
Suppose -2*r = 2*m + 48, 0*m + 4*r - 100 = 3*m. Let s = m + 35. Is 7 a factor of 3*20/15*s/2?
True
Let i(z) = -13*z**3 + 45*z**2 + 251*z + 46. Let o(j) = 4*j**3 - 15*j**2 - 83*j - 15. Let v(s) = 3*i(s) + 10*o(s). Does 8 divide v(20)?
True
Let h be (-7)/28 - (-54)/(-8). Let i = 12 + h. Suppose -4*t + 2*q + 230 = 0, 2*t - 2*q - 113 - i = 0. Is t a multiple of 4?
True
Let r(n) = -n**3 - n + 7. Let y be r(-3). Let u = 153 + -65. Suppose 5*w - u = y. Is 9 a factor of w?
False
Suppose -6*w - 3*w = 6*w. Suppose 2*o - 3*o - 3*k = -207, k - 5 = w. Does 32 divide o?
True
Suppose 0 = 109*b - 4494747 + 717788. Is 13 a factor of b?
False
Suppose w + w = -5*w. Suppose 0 = -w*b + 2*b - 24. Is b even?
True
Let x(q) = -124*q - 1896. Is x(-70) a multiple of 16?
True
Suppose -16 = 4*z, w = z - 4*z. Suppose -4*v = w, -2*v - v - 34 = -5*h. Suppose -193 = h*a - 553. Does 8 divide a?
True
Suppose 7122 = j + 3*k, 6*j = -3*j + 3*k + 64188. Is j even?
False
Let q(a) = 2*a + 1. Let o(y) = 48*y - 226. Let s(d) = -o(d) + 8*q(d). Is s(0) a multiple of 39?
True
Let m(d) = 4*d**2 - 21*d + 29. Let i be m(14). Suppose -438 - i = -s. Is s a multiple of 29?
True
Suppose -392 = 8*j - 9*j. Let o = j - 270. Is o a multiple of 20?
False
Let n = -3890 - -4858. Is n a multiple of 4?
True
Suppose -5*j = -2*q - 11, 4*q + 5*j + 45 - 8 = 0. Let b(u) = 6*u**2 - 5*u - 64. Is 5 a factor of b(q)?
True
Suppose -50560 = -z - 4*o, z - 50524 = 4*o + o. Is z a multiple of 72?
True
Let j = -144 + 9. Let v = j - -268. Suppose -4*n - 37 = -v. Does 3 divide n?
True
Suppose -10*y + 519 = 6529. Let r = y + 856. Does 51 divide r?
True
Let s(w) = 2*w**3 + 3*w**2 - 102*w + 557. Is 31 a factor of s(5)?
True
Let h(l) be the second derivative of -l**5/4 - l**4/6 - 3*l**3/2 - 11*l**2 - l - 90. Is 8 a factor of h(-4)?
False
Is 77 a factor of (450 - -1) + ((-295)/(-177))/((-15)/(-18))?
False
Let f be 92 - (50/5 + -7). Suppose 5*p + 86*x - 3838 = f*x, 0 = -4*p + 4*x + 3072. Is p a multiple of 13?
True
Let p = -19116 - -19849. Does 4 divide p?
False
Let o(c) = c**3 + 47*c**2 + 265*c + 57. Is 25 a factor of o(-34)?
True
Let p be (-18)/10*(184/(-24) + 6). Suppose t - 31 = 5*o + 39, 210 = p*t + 5*o. Is 5 a factor of t?
True
Suppose -9*a = -2*a. Suppose 0 = -5*k + 5*n + 465, k - 2*n - 100 + 6 = a. Is 23 a factor of k?
True
Suppose -16*f + 88272 - 24432 = 0. Is 95 a factor of f?
True
Suppose 3*a = -2*p + 32570, 5*a - 6*p = -4*p + 54262. Does 47 divide a?
False
Let k(v) = 13*v**3 + 22*v**2 - 211*v - 9. Is 26 a factor of k(9)?
False
Suppose -2*v = 5*v - 28. Suppose 4*u + 3 - 14 = -3*p, -v*u + 1 = p. Suppose 905 = 5*x - 3*t, p*x - 5*t - 223 = 682. Is x a multiple of 15?
False
Let p be 1/5 - 5*(-260)/(-250). Does 12 divide 938 + (6 - (p + 13))?
True
Let p(a) be the second derivative of -1/2*a**3 - 23*a + 0 + 15/2*a**2. Does 22 divide p(-14)?
False
Let k(s) = 2*s + 58. Let r be k(-28). Suppose 4*z = -2*x - 2*x + 484, -4*z = -r*x - 478. Does 10 divide z?
True
Let g = 1028 - 715. Let z = -97 + g. Does 24 divide z?
True
Let p be 2/7 - 2910/(-105). Suppose -5*i = -3*i - p. Suppose -19*r = -18*r - i. Is r a multiple of 6?
False
Let a = -588 + 592. Is (-1)/(10/a)*(-22435)/14 a multiple of 32?
False
Is (-2)/4 - (5 + -6 + 20053/(-2)) a multiple of 16?
False
Let r be 29 - 1 - (-108)/27. Suppose -464 = r*v - 36*v. Is v a multiple of 27?
False
Suppose -3*s - t + 80128 = 0, 1522*t = 1526*t + 32. Does 63 divide s?
True
Let s(k) = -2*k**2 - 12*k + 4. Let h(t) = 2*t**2 + 29*t + 8. Let d be h(-14). Let p be s(d). Suppose -p*u + 288 = 3*i, -3*i + u + 403 = i. Is i a multiple of 5?
True
Let t = -19634 - -28794. Does 40 divide t?
True
Is (-34)/(-17) + (-6 - -9076) a multiple of 14?
True
Let d = 21 + -32. Let l(r) = 21*r - 14. Let h(n) = -41*n + 27. Let z(t) = d*l(t) - 6*h(t). Does 30 divide z(7)?
False
Is 42 a factor of -3 + 72/21 - (-184281)/133?
True
Let u(z) = 4*z - 1. Let a be u(17). Suppose 0 = 2*h - 2*m + 30, 3*h + 3*m + a = -2*h. Does 13 divide 2/(-14) - 1*1094/h?
True
Let a(h) = 3*h**3 + 62*h**2 - 16*h - 31. Does 6 divide a(-18)?
False
Let g(w) = -13*w + 34 + 21 - 11*w + 4*w