d = r - 3, r = 4*r - 2*d - s. Does 10 divide a(r)?
True
Suppose -21*v + 4*v + 592896 = 47*v. Is 24 a factor of v?
True
Let b = 248 + -258. Is (-54)/30 - (-2)/b - -182 a multiple of 9?
True
Suppose -113192 = -84*s + 219532. Does 29 divide s?
False
Is 12/(-39)*-101724 + (-36)/(-117) a multiple of 25?
True
Suppose -4*v - 55 = -15*v. Suppose v*o - 450 = -0*o. Is o a multiple of 9?
True
Suppose 3*z - 835 = -2*z. Suppose o = 4*h + z, 8*h + 910 = 5*o + 3*h. Is o a multiple of 17?
True
Suppose -279*f + 21280306 + 2302961 = 3758922. Is 15 a factor of f?
True
Suppose -28*p + 38658 + 8494 = 0. Is 6 a factor of p?
False
Suppose 2*k = 1672 + 1304. Let r = k + -802. Is 13 a factor of r?
False
Let k be (-2)/(-6) + (192/9)/8. Suppose -14 = k*l + 7. Does 18 divide (-2)/l - 2632/(-49)?
True
Suppose 202 = -6*n + 1282. Is n a multiple of 30?
True
Let w(m) be the second derivative of 2*m**4/3 - 2*m**3 - 8*m**2 + 27*m. Does 40 divide w(8)?
True
Let c(u) = -u**2 - 18*u + 26. Let m be c(-19). Suppose -9 = m*s - 527. Does 3 divide s?
False
Suppose 5*t = q - 0*t + 8, -2*q - t + 6 = 0. Suppose q*j = 4*f - 28 + 8, -5*f - 4*j = -25. Suppose 826 = 2*c + f*c. Is c a multiple of 21?
False
Let o(a) = 15*a**2 - 11*a + 38. Is 126 a factor of o(-41)?
True
Let z(h) = h - 2. Let n(x) = -34*x + 114. Let f(j) = -n(j) + 3*z(j). Is f(8) a multiple of 16?
True
Let c be (28/8 - 2)*2. Let w be (244/(-48) - c/18)*-36. Suppose 0 = -6*o + w + 105. Does 5 divide o?
False
Suppose -2*k + a = -43, 5*k = -0*k - 2*a + 121. Suppose -17*r + k*r = 1728. Does 36 divide r?
True
Let w be 9*10/(-15) - 0. Let c be (4/w)/((-10)/30). Suppose 2*v - 4*v = -c*z + 118, 4*z + 5*v = 281. Does 15 divide z?
False
Suppose -18*t + 71*t - 444153 = -16*t. Is 6 a factor of t?
False
Suppose -2*j + 689 = 2*c + j, -372 = -c + 4*j. Let n = -187 + c. Is n a multiple of 33?
True
Let m be 133/28 - (-6)/(-8). Suppose -2*q = -m*q + 1492. Suppose 5*y = -5*x + 438 + 497, 5*y = -4*x + q. Is 56 a factor of x?
False
Let y(w) = -148*w**3 - 5*w**2 - 33*w + 28. Does 12 divide y(-4)?
True
Let s = 50984 + -41282. Does 53 divide s?
False
Suppose 2*q - 3*f - 1467 = 0, 2*q + 7*f - 3*f = 1488. Is q a multiple of 3?
True
Let o be (4/(-6))/(((-39)/2394)/13). Suppose -28 + 8 = -5*p + 5*n, p + 5*n + 20 = 0. Suppose -h + 2*r = -130, p*h + 4*h - o = -4*r. Is 44 a factor of h?
True
Let d be 776 + -8 - (6 + -6). Suppose -22*x + d = -112. Is 4 a factor of x?
True
Let a be (-437)/(-114) + 1/6. Let f be -3*3/((-36)/2648) + a. Suppose 0 = 5*s - 1821 + f. Does 21 divide s?
True
Suppose 0 = -3*d + g + 25, -3*d + 11*g - 12*g + 35 = 0. Suppose -4*z - 3*u = -538, d*z + 280 = 12*z - 4*u. Does 61 divide z?
False
Does 8 divide (333712/38 + 2/19)*(-36)/(-72)?
False
Let r(d) = -678*d + 926. Does 23 divide r(-8)?
False
Let b = -6 - -8. Suppose -b*r + 24 = -4*f, 4*f + f = -25. Suppose -3*o + r*o = -99. Is 33 a factor of o?
True
Suppose -4*r - 71460 = -4*d, 0*d - 4*r - 53589 = -3*d. Is 111 a factor of d?
True
Suppose 2*a - 5*a = -417. Let m = -4 + a. Is m a multiple of 15?
True
Let o be ((1 - 1)*1)/(-15 + 18). Suppose o = -3*l + 10*l. Is 22 a factor of -2 + (l + -34)*-2?
True
Let f(r) = 3007*r + 739. Does 38 divide f(2)?
False
Is 222/(-4)*230/(-5)*1 a multiple of 9?
False
Suppose -3*g = n - 43729, 112164 = 2*n - 5*g + 24673. Does 41 divide n?
False
Suppose -4*c + 277 = -5*o, -c + 39 = 2*o - 14. Is -8*(c/(-14) - 8) a multiple of 4?
True
Suppose 0 = 2*u + 62 - 126. Is 9/(-6)*u/(-6)*2 a multiple of 5?
False
Suppose -5*b - l + 2*l = -206, -2*b + 72 = -3*l. Let q = b + -42. Suppose q = -p + 11*p - 190. Is 19 a factor of p?
True
Let g(u) = -53*u - 10. Suppose 39 = -12*z - 21. Is g(z) a multiple of 17?
True
Suppose 16800 = 30*u - 2*u. Is 15 a factor of u?
True
Suppose 3*i + 5*h - 4506 = 8959, -h + 17942 = 4*i. Suppose -5*x + 5*r = -i, 711 = 5*x + 3*r - 3806. Is x a multiple of 30?
False
Suppose -x - 29 - 1 = 0. Let s = 0 + x. Does 27 divide s/(4/(-15)*(-35)/(-42))?
True
Suppose 20 = -5*c, a + 12*c = 8*c - 25. Let s(d) = -d**3 + 1 - 6*d**2 + d**2 + 12*d - 2*d**2. Is s(a) a multiple of 11?
True
Let m = -60 - -60. Suppose m = -0*d + 6*d - 282. Does 4 divide d?
False
Let p be (16/14)/(-4*2/(-28)). Suppose 2*u + 4*v - 5*v = 205, 389 = p*u + 5*v. Let k = 148 - u. Is k a multiple of 19?
False
Suppose -139 + 149 = 5*q. Suppose 0 = y - q*k - 238 - 342, -572 = -y + 4*k. Is y a multiple of 49?
True
Suppose 5*m - 36*o + 32*o = 41, 4*m + o = 37. Let i(l) = l + 65. Let j(t) = 33. Let p(z) = 3*i(z) - 5*j(z). Is p(m) a multiple of 6?
False
Let i be 2/(-18) + (-592)/(-144). Suppose 0*d = -i*d + 8. Suppose d*o - 387 = -3*z + o, 4*o = -z + 140. Is z a multiple of 12?
False
Let b = 1942 + -481. Does 135 divide b?
False
Let n = -2354 + 14698. Does 19 divide n?
False
Suppose 0*a + 2*a - 3 = h, -2*a - 3 = 5*h. Let w be (a/(-3))/(3 - 1660/552). Let d = w + -22. Is 12 a factor of d?
True
Suppose -257 = -4*z + o, z + 4*o = -o + 59. Suppose z*p - 69*p + 890 = 0. Suppose -9*f + p + 2072 = 0. Is 25 a factor of f?
True
Let k = 30643 + 8681. Is 348 a factor of k?
True
Suppose 87*f = 86*f + 6*n + 8388, -4*f = -5*n - 33400. Is 6 a factor of f?
True
Suppose 2*h = -3*u + 27062, 4*h + 39 - 19 = 0. Is u a multiple of 4?
True
Suppose -3*c + 5*k + 50 = 0, -130 = -7*c + 2*c - k. Suppose -10*u + 5 = -c. Let a(y) = 24*y + 5. Is a(u) a multiple of 19?
False
Suppose 6*c = 92*c - 12*c - 2175822. Is c a multiple of 362?
False
Is 3 a factor of ((-3049)/2)/((-63)/(-105) - 51/60)?
False
Let g = 946 - 658. Suppose -1140 - g = -3*l. Is l a multiple of 45?
False
Suppose -87*y = -15*y - 20153 - 30103. Is 4 a factor of y?
False
Let t(z) = -9*z**3 - 13*z**2 + z - 9. Is 16 a factor of t(-10)?
False
Let f(b) = 7*b**2 + 354*b - 13. Is f(-65) a multiple of 9?
True
Suppose 0 = -39*r - 212976 + 1192812. Is 44 a factor of r?
True
Is (-473851)/(-77) - (-4 - 172/(-44)) a multiple of 17?
True
Let u = 134 - 132. Does 7 divide (548 - u)/3 - (-31 + 31)?
True
Suppose -4*z = 3*x + 171, 0*x = 5*x - 5*z + 320. Let t = x - -605. Is 8 a factor of t?
True
Suppose -36 = 15*t - 27*t. Suppose -t*i + 161 = 2*p - 225, -5*p = -i - 931. Is p a multiple of 67?
False
Suppose 3*v + v - 556 = r, -4*v - 5*r = -580. Let z = 369 - v. Does 12 divide z?
False
Let u = -27634 + 35484. Is u a multiple of 25?
True
Let a(m) = m**2 + 14*m - 29. Let z be a(-15). Let h be 6/42 - (-1 - (-96)/z). Does 7 divide 120 + h/28 + (-24)/(-14)?
False
Let i = -4799 - -5079. Is i a multiple of 20?
True
Suppose 31*g = 20*g + 28479. Suppose 4*f + 12 = 0, -5*t + 19*f = 21*f - g. Does 13 divide t?
False
Is 84408/15 + -3 + (-16)/80 a multiple of 38?
True
Suppose -4*j - 90639 + 113751 = 0. Is j a multiple of 45?
False
Suppose 3*h + 62173 = 8*h - 2*s, -4*h + 4*s = -49736. Suppose 13*i = -2*i + h. Does 57 divide i?
False
Let f(v) = -26*v + 12*v + 64*v + 56*v + 41 - 8*v. Is f(4) a multiple of 13?
False
Suppose -298*g + 809710 = -572*g + 291*g. Is g a multiple of 10?
True
Suppose 15 - 33 = -3*u. Suppose -7*f = -42 + 14. Is 6 a factor of f - u - (0 + -38)?
True
Suppose v = -3*t - 2*v + 17526, 3*v - 9 = 0. Is t a multiple of 47?
False
Is 9402 + 8*(-45)/120 a multiple of 46?
False
Let p(u) = -323*u - 29*u + 80*u - 30. Let o be p(5). Does 2 divide (-2)/12 + o/(-60)?
False
Let h(d) = d - 1. Let l(s) = 16*s + 22. Let m(g) = 42*h(g) - 3*l(g). Is 2 a factor of m(-27)?
True
Let y = 2123 - 1946. Is y a multiple of 3?
True
Let w(a) = 9*a**2 + 22*a - 28. Let g(z) = -20*z**2 - 45*z + 55. Let h(t) = 2*g(t) + 5*w(t). Is 18 a factor of h(8)?
True
Suppose -438 = -p - 3*a, p - 49 = 2*a + 419. Is p a multiple of 12?
True
Suppose 83551 = 202*d - 139659. Is 17 a factor of d?
True
Does 52 divide 1 - (-283680)/22 - 7032/12892?
False
Let s = -75 + 81. Let l be -3 + (4/(-6))/(s/(-9)). Is 9 a factor of 127 - -1*(l + 6)?
False
Suppose 8 = -0*b - 2*b - 4*c, 3*c + 6 = -b. Suppose b = -2*h + 24*t - 20*t + 1646, -2*h + 1645 = -5*t. Is h a multiple of 15?
True
Suppose 3*l + 970 = b, -7*b + 4*b + 2*l = -2917. Is b a multiple of 13?
False
Suppose 0 = -3*b + 2*t + 4067, 5422 = -0*b + 4*b - 3*t. Is b a multiple of 59?
True
Let n = 85495 - 57921. Does 73 divide n?
False
Let s(j) = -22*j**3 + j**2 - 15*j + 4. Is 31 a factor of s(-4)?
True
Let j = 21915 - 16282. Does 71 divide j?
False
Let r(t) be the second derivative of -t*