ppose -8*y = -4*y - z. Is 24 a factor of y?
False
Does 344 divide (93/(-18) - -5) + 55/(-66) + 28834?
False
Let m be 14/3 - 3/(-9). Suppose -m*c = -263 - 587. Is 10 a factor of c?
True
Let r = -219 - -226. Is (r - 70)*1/(-9)*3 a multiple of 5?
False
Let h(s) = -665*s - 1046. Does 20 divide h(-17)?
False
Let f = -55 - -60. Suppose 0 = -f*r + 482 + 618. Does 24 divide r?
False
Let l(h) = 7*h**2 + 3*h - 5. Let y = 325 + -329. Is l(y) a multiple of 5?
True
Let r(q) = q - 2. Let f be r(4). Suppose 120 = 3*i + f*i. Suppose -14*j + 11*j + i = 0. Is 4 a factor of j?
True
Suppose -6*u - 30 = -9*u + 5*q, -2*q = -2*u + 16. Suppose u*r = -r + 3132. Is 18 a factor of r?
True
Let t(i) = 64*i - 97. Suppose -5*w + x + 35 = 0, 3*x - 2 - 26 = -4*w. Is 29 a factor of t(w)?
False
Let a be (-1194)/(-4)*-4*6/(-18). Let b = a + -220. Is 26 a factor of b?
False
Let w(m) = m**2 + m - 54. Let s be w(25). Suppose 4*l + 2*g = 482, -4*g = -9*l + 4*l + s. Is l a multiple of 10?
True
Suppose 2*n + 3*z + 719 = 0, -8 = -z - 5. Let t = -136 - n. Is 4 a factor of t?
True
Let j = 134 + -134. Let f(o) = 4*o + 4*o - 3*o - 2*o + 198. Is 27 a factor of f(j)?
False
Let q(g) = 5*g + 52. Let i be q(-15). Let v be i + 6/2 + 0. Is 25 a factor of 158 + (-12)/v*(-1 - -6)?
False
Is 3 a factor of (-33)/(9405/(-30)) - (-3 + (-14875)/19)?
True
Suppose -71820 = 397*r - 416*r. Does 10 divide r?
True
Let v = -24 - -4. Let s be 12/v + 23/5. Is 67*(-2)/s*2*-1 a multiple of 15?
False
Let s(r) = -r**2 - 3*r + 15. Let h be s(-5). Let g(b) = 100*b. Let q be g(3). Suppose -h*f = -2*u - 384, 4*f + 4*u + 4 = q. Is 14 a factor of f?
False
Suppose -2*w = 4*b - 19822, 29*b - 14877 = 26*b - 5*w. Is 7 a factor of b?
False
Let f = -1236 - -2171. Is f a multiple of 8?
False
Let d = -2634 - -3962. Is d a multiple of 76?
False
Is 5 a factor of (-961760)/(-92) + 7/(-21)*(-6)/23?
False
Let h(y) = 314*y**2 + 29*y - 18. Is 12 a factor of h(-5)?
False
Is 11 a factor of 13*(-34)/(-3757) - 40947/(-51)?
True
Let y be (-13)/(-2) - 40/16. Let n = 276 - 69. Suppose -h = -y*h + n. Is h a multiple of 15?
False
Let f be 2/9 + 21/27. Let x(r) = r - r**2 + f - r**2 - r**2 + 55*r**3 + 72*r**3. Does 21 divide x(1)?
True
Let h(d) = 1112*d**2 + 6*d + 4. Is 5 a factor of h(-1)?
True
Suppose 4*g + 2*g = -2*g. Suppose -4*h + 2*j = -j, g = -5*h - 3*j + 27. Suppose h*f = -9 + 72. Is 21 a factor of f?
True
Suppose 14*y + 904 = 36. Let a = y + 82. Let f = a - -6. Is 5 a factor of f?
False
Let q = -930 + 930. Suppose q = -111*v + 113*v - 612. Is 17 a factor of v?
True
Suppose 17*f - 16*f + 145 = 0. Let u = -141 - f. Suppose 5*p - 7*p - 4*t + 48 = 0, -u*t = -3*p + 42. Does 3 divide p?
True
Let y(r) = -2*r - 51*r + 36*r**2 - 3*r**2. Does 2 divide y(3)?
True
Let f(j) = 28*j**3 + 269*j**2 - 276*j + 845. Let x(i) = 5*i**3 + 54*i**2 - 55*i + 169. Let s(a) = -2*f(a) + 11*x(a). Is s(55) a multiple of 3?
True
Suppose -35219 - 5444 = -37*z. Suppose 343 = -12*t + z. Is 9 a factor of t?
True
Let u(n) = n**2 - n - 40. Let o be u(-6). Suppose -x + 3*c = 11, -2*x - 14 = -3*x - o*c. Suppose -x*s = 12, -2*a = -0*a - 3*s - 255. Is 8 a factor of a?
False
Let c(r) = 90*r**2 + 6*r + 118*r**2 + 369*r**2 - 346*r**2 + 5. Is c(-1) a multiple of 8?
False
Let u(s) = -4*s - 17. Let w be u(-9). Suppose -v - w = -2*i + 2*v, -8 = -4*i - 4*v. Does 4 divide (-1 - 71/i)/(10/(-25))?
False
Let v = -98 - -73. Is (-1606)/(-6) + v/(-75) a multiple of 67?
True
Suppose 0 = -67*k + 88*k - 16716. Let f = 954 - k. Is f a multiple of 2?
True
Let c(n) = -14*n**2 - 6*n - 32. Let b be c(6). Does 13 divide (b/5)/((-1)/15*3)?
True
Let j = -58 - -64. Suppose -3*a = -3*n - 12, -5*n - 33 + 13 = 4*a. Does 9 divide (j - 30)*15/n?
True
Suppose -5044 - 5876 = -26*t. Is t a multiple of 35?
True
Suppose 4058 = -17*z - 73. Let m = z + 351. Does 18 divide m?
True
Suppose 0 = -3*r - 10 + 22. Suppose -a + 275 = r*a. Suppose 3*i - 65 = -0*i - 5*q, 5*q = i - a. Is 12 a factor of i?
False
Suppose 10 = -6*t - 116. Let g be (6 - 0)*(-7)/t. Suppose -a = g*r - 96, a - 5*r - 75 = -0*a. Does 18 divide a?
True
Let n(r) = -r**3 - 4*r**2 - 4*r + 3. Let i be n(-3). Suppose 0 = 5*a + o - 914, i*o = 3*a + 9*o - 558. Is 13 a factor of a?
True
Let b(u) = 2*u - 5*u + 11*u - 9*u + 95. Is b(22) a multiple of 60?
False
Let l be (18/(-27))/(8/(-36)). Suppose -6*s = 2*r - 7*s - 392, l*r - 5*s - 595 = 0. Is 13 a factor of r?
True
Let v = -631 - -1404. Suppose -281 = 2*n - v. Let t = n + -85. Is t a multiple of 21?
False
Let s = 142 + -154. Is 3/9 - (-2 + 4820/s) a multiple of 26?
False
Suppose -8*q = 3*q - 110. Let j be 2/((1/5)/((-5)/q)). Is 12 a factor of j + (-385)/(-5) + 1 + 0?
False
Does 7 divide 42/(-4)*6020/(-129) - (-10)/(-2)?
False
Suppose o - 12 = 4*g - 7*g, 0 = -5*g + 3*o + 20. Suppose 0 = 2*v + g*v - 444. Is 5 a factor of v?
False
Let k = -526 + 1079. Suppose -19*t + 26*t - k = 0. Suppose 3*u - t = -13. Is u a multiple of 11?
True
Let l = 14953 - 1953. Does 26 divide l?
True
Let j(o) = -o**3 - 124*o**2 + 64*o - 2268. Is j(-126) a multiple of 210?
True
Suppose 176 - 15272 = -12*l. Does 4 divide l?
False
Let f(b) = 97*b - 1052. Is 29 a factor of f(53)?
True
Let t(b) = -b**3 - 18*b**2 + 15*b - 36. Let u be t(-19). Suppose -3058 = -u*x + 18*x. Is x a multiple of 2?
False
Suppose 4*d + 3*a + 6 = 0, 3*d + 3*a + 6 = -0*d. Suppose 4*y - 2*y - 4*y = d. Is (y - 29 - -4)*(-6)/5 a multiple of 3?
True
Let f(d) = 9*d**2 - 23*d - 18. Let n be f(10). Suppose -3*q = 5*p - 1088, 5*q - n = -3*p + 4*q. Is 5 a factor of p?
False
Let y = 2882 + -1685. Is y a multiple of 114?
False
Let w be 6/4 + 75/(-10) + 0. Let i be ((-26)/w - 1)*960/40. Suppose q - 92 = -5*j, -5*j + 4*q + i = -q. Does 4 divide j?
False
Let v(m) = 2014*m**3 + 7*m**2 - m. Does 10 divide v(1)?
True
Suppose -3*f - 4*y = -40, -5*y + 2*y = -12. Let m be (5/20)/(0 - (-2)/f). Does 14 divide (-3156)/(-48) - (m - (-5)/(-4))?
False
Let z(c) = 38*c + 29. Let a be z(4). Suppose 7*o = 566 - a. Is 2 a factor of o?
False
Let g(j) = j. Let s(l) = 7*l - 1. Let c(o) = 6*g(o) - s(o). Let f(t) = -30*t - 13. Let n(x) = -2*c(x) + f(x). Does 23 divide n(-3)?
True
Let u(v) = -v**2 + 7*v - 7. Let i be u(3). Let y(r) = -13*r - 7. Let s(d) = 25*d + 13. Let m(t) = i*y(t) + 3*s(t). Is 13 a factor of m(4)?
False
Suppose 2*g - 3*t + 5 = 6*g, -t = 2*g - 1. Let v be (-1)/g - (6 - 2)/4. Suppose v = -6*y + 4*y + 76. Does 4 divide y?
False
Suppose 3*r = -8*l + 3*l + 99655, -2*r - 3*l + 66435 = 0. Is r a multiple of 246?
True
Suppose 58 + 82 = -5*t. Suppose 0 = 3*h + 5*o - 157 + 12, -h + 52 = -2*o. Let y = h + t. Is y a multiple of 3?
False
Let u(l) = 3*l + 3. Let s be (-24)/(-32) - (-57)/(-12). Let k be u(s). Let f = 20 - k. Is 7 a factor of f?
False
Let h be 4/(-10) - (18396/35 + -2). Let u = 1197 + h. Does 30 divide u?
False
Let u(t) = -t**3 - 5*t**2 + 5*t - 6. Let x(q) = q**2 + 7*q - 6. Let s be x(-7). Let p be u(s). Suppose p = -10*l + 969 + 1031. Does 19 divide l?
False
Is 181 a factor of -3*(-543)/9*(105 + -4)*1?
True
Let k(f) be the first derivative of f**2 + 63*f + 25. Is k(-7) a multiple of 2?
False
Suppose 4*q - 123*x - 140986 = -125*x, q = 5*x + 35197. Is 12 a factor of q?
False
Suppose 0 = -5*d + 20, d + 0*d = -3*p + 571. Let u = -136 + p. Is 11 a factor of u?
False
Suppose 5*x - 35*x = -173 - 120607. Is 77 a factor of x?
False
Let f = -30 + 35. Suppose 210 = -f*o + 11*o. Suppose 0 = 2*t - o - 9. Is 7 a factor of t?
False
Suppose -1997 = -t - 2*k, 0 = -0*k + 4*k + 24. Is 17 a factor of t?
False
Let b(f) = 32*f + 65. Suppose 2*x + 4*o - 14 = -x, -4*x + 48 = -2*o. Is b(x) a multiple of 11?
True
Suppose -17 = -4*k + k - 2*i, 6 = 2*k - 4*i. Let c be (-1 - 0)*6 + k. Does 3 divide 57 + (c - -5) - 8/(-2)?
False
Let x = -47 + 60. Suppose x*n = 8*n + 290. Let g = -10 + n. Does 16 divide g?
True
Suppose 14223 + 25414 = 4*m + r, -29739 = -3*m - 3*r. Does 39 divide m?
False
Let j(q) = -439*q - 45. Let x be j(-3). Suppose 4*c - x = 4*b - 4204, -4*b + 2956 = 4*c. Does 46 divide b?
True
Suppose 0 = f - 2*f + 3*f. Suppose v - 6*v + 5*c + 130 = 0, 4*v - 5*c - 108 = 0. Suppose 0 = 2*k - f*k - v. Does 6 divide k?
False
Suppose -11*h + 8541 + 43093 = 0. Let k = h + -3316. Does 12 divide k?
False
Suppose -3*f = -2*b - 7, f - 3*f = 2*b + 2. Does 20 divide 2/f*(-12012)/(-88)?
False
Let u = 21865 - 9107. Is 26