ide (-5)/((-35)/l) - (-5844)/28?
True
Let r(m) = 3*m**2 + m - 3. Let c be r(-3). Let v = 43 - c. Suppose 18*z = v*z - 32. Is 5 a factor of z?
False
Let b(w) = 2*w - 30. Let t be b(15). Suppose -5*u + s + 105 = t, 5*s + 45 = u - 0. Is 5 a factor of u?
True
Let p(a) = -a + 11. Let n be p(7). Suppose -2*u + n*l = 3*u - 230, 0 = -l + 5. Is u a multiple of 10?
True
Suppose 4*d - 2788 - 1356 = 0. Does 13 divide (d/(-21))/((-1)/((-6)/(-4)))?
False
Let r(d) = -d**2 - 2*d + 8. Suppose 0 = -4*j - l - 33 + 13, 0 = -4*j - 4*l - 32. Let a be r(j). Suppose -k + 12 = m - 0*m, a = 2*k + 2. Is m a multiple of 13?
True
Let s(c) = c**3 + 7*c**2 - 5*c - 5. Let m be s(-7). Suppose m*k - 26*k - 180 = 0. Does 9 divide k?
True
Suppose 1380 = 14*k + 358. Is 20 a factor of k?
False
Suppose -3*k + 4*y = -k - 306, 3*y + 758 = 5*k. Let p = k + -73. Is 18 a factor of p?
False
Let j(o) = -o**2 + 9*o + 13. Let h be j(10). Suppose -h*p + a = -386, 4*p - a - 481 - 34 = 0. Suppose 6 + p = 5*w. Is 5 a factor of w?
False
Suppose -5*b + 3*b - 2*v + 476 = 0, 0 = -5*b - v + 1178. Is 7 a factor of b?
False
Suppose 2*n = 3*s - 75 - 129, 2*n = -6. Does 31 divide s?
False
Let m = -17 + -1. Is m*((-68)/12 - -3) a multiple of 6?
True
Suppose 2*b + 2*b = 8. Suppose -9 = -2*s - 3*y + b*y, 2*s + 4*y - 24 = 0. Suppose s*w - 31 - 23 = 0. Does 8 divide w?
False
Is 63/((-56)/8) + 253 a multiple of 20?
False
Suppose -25 = -4*y + 3*y + 4*t, t = 5*y - 106. Let o = -5 + y. Is 8 a factor of o?
True
Does 2 divide (9/(-12) - -1) + 67060/112?
False
Let p(w) be the second derivative of 2*w**4/3 - 5*w**3/6 + 3*w**2/2 - w. Suppose -28*c + 7 = -77. Does 12 divide p(c)?
True
Let h(l) = l**3 + 12*l**2 + 14*l - 10. Let u be h(-10). Suppose -77 = j - 2*j. Let k = j - u. Is 13 a factor of k?
False
Let p be (-2 - 7)*-1 - (-6 + 6). Let x(q) = 3*q - 11. Does 15 divide x(p)?
False
Let l = 7 - 3. Let u be (-6)/(-9)*l*12. Is u + -6 + -1 + 4 a multiple of 7?
False
Suppose -3*b = -6*b + 30. Let z(a) = 3 + b*a + 0 + 5*a. Is z(6) a multiple of 26?
False
Let a(n) = n**3 + 9*n**2 - 53*n - 12. Let r be a(-13). Is 17 a factor of 1*134 + -1 + -2 + r?
False
Let x(p) be the second derivative of p**5/20 - 2*p**4/3 + 7*p**3/6 - 6*p. Let r be x(5). Is (-3824)/r - (-4)/10 a multiple of 25?
False
Suppose 2870 = -11*s + 164. Let z = 421 + s. Is 35 a factor of z?
True
Let h be 2 - (-4 - -1) - 3. Is 19 a factor of h/18 + 2157/27?
False
Is 68 a factor of ((-40)/15)/(8/(-6738))?
False
Let s = -68 + 28. Let d = 82 + s. Suppose -6 = a - d. Does 25 divide a?
False
Let q = 61 + -116. Let s(v) = 17*v + 22. Let l be s(4). Let h = q + l. Is 26 a factor of h?
False
Let x be (-3 + 4)*(2 + -2). Suppose x*m - 570 = -5*m. Suppose -2*o - j + 51 = 0, -5*o - 2*j + m = -4*j. Does 14 divide o?
False
Suppose -21*b = -16*b - 580. Is b a multiple of 29?
True
Is 70 a factor of (143/22)/((-1)/(-60))?
False
Let d(b) = b**3 + 9*b**2 - 8*b + 10. Let l be d(-10). Let z be 22/10 + 2/l. Suppose -i + 2*i = 3*o + 4, -z*i = -2*o - 12. Is i a multiple of 3?
False
Suppose -2*r - i = -4*i - 10, r + i = -5. Is 15 a factor of (3*r/(-6))/(3/180)?
True
Let w = -682 - -957. Does 11 divide w?
True
Suppose 27*p - 24*p - 1470 = 0. Does 35 divide p?
True
Suppose -m = -2*l + 47, -5*m - 5*l + 2*l - 300 = 0. Let x = m - -107. Is x a multiple of 50?
True
Let r = 1 - -20. Suppose -3*o = r - 93. Does 4 divide o?
True
Let r = 1008 + -720. Suppose 5*x = 3*v + r, -2*x - 3*v - 168 = -5*x. Does 30 divide x?
True
Suppose 2*t - 6 = 0, 0 = -2*z - 38*t + 37*t + 1683. Is z a multiple of 28?
True
Suppose -5*y - 208 = -9*y. Does 11 divide y - (-3 - 3 - -1)?
False
Suppose -i + 1083 = -4*n, -13*n = 5*i - 9*n - 5415. Does 79 divide i?
False
Suppose 9*s - 30 = 33. Suppose -3*v + 74 = -s. Is v a multiple of 19?
False
Let z be ((-8)/6 + 1)/(16/(-240)). Suppose 4*r = 2*k + 202, -z*k = -2*r - 0*r + 81. Is 19 a factor of r?
False
Suppose 7*r + r = 2*r. Suppose -3*q + 25 + 32 = r. Is 14 a factor of q?
False
Let k(m) = -5*m**2 + 5*m + 7. Let h(r) = -r**2 - 4*r + 15. Let i be h(-7). Let g(t) = 4*t**2 - 5*t - 6. Let s(b) = i*g(b) - 5*k(b). Is 12 a factor of s(-8)?
False
Suppose -4*w = s - 59, 0 = 3*w - 3*s + s - 58. Is 3 a factor of w?
False
Suppose 0 = -i - 5*q + 199, 0 = 11*i - 7*i + 2*q - 850. Is i a multiple of 107?
True
Suppose c = -5*j + 279, -4*c + 8*c - 1097 = -j. Is c a multiple of 7?
False
Let h = -225 - -321. Let y = h - -160. Is y a multiple of 16?
True
Let f(o) be the first derivative of 11*o**2/2 - o - 7. Does 9 divide f(4)?
False
Let x(h) = -11*h**3 + 21*h**2 + 89*h + 1. Does 56 divide x(-5)?
True
Suppose -x + 3 = 0, 0*r = 5*r - 4*x - 8. Suppose -p - l = -r, -5*l = 3*p - 23 + 7. Suppose 4*m = -3*o + 4 + 5, -5*o = p*m - 29. Is 3 a factor of o?
False
Let o be (-1*14 + 3)*-11. Suppose 0*r + o = z - 2*r, -591 = -5*z - 4*r. Suppose -5*b = -301 - z. Does 14 divide b?
True
Suppose -4*u - 4*i + 2880 = 0, 6*i - 5*i = -5*u + 3600. Is u a multiple of 15?
True
Let m = -220 - -277. Does 6 divide m?
False
Let x(y) = 25*y**3 - 2*y**2 + y. Let v = 8 + -7. Let h be x(v). Let n = h + -3. Is n a multiple of 7?
True
Let c(z) = -z**3 - z**2. Let a(f) = -3*f - 2*f**3 - 6*f + 9 + 6*f**2 - 15*f**2 + 3*f. Let d(h) = a(h) - 3*c(h). Is 9 a factor of d(7)?
False
Let k(n) = n**3 + 3*n**2 - 2*n - 6. Let g be k(-3). Suppose g*l = 3*l - 147. Is 14 a factor of l?
False
Suppose 830*t - 829*t - 399 = 0. Is t a multiple of 19?
True
Let f = 12 + -11. Is 3 a factor of 11*(-2 - f - -4)?
False
Let h = 57 + -36. Suppose -h = -9*g + 8*g. Is 3 a factor of g?
True
Suppose 5*t - 133 = -4*q + 51, 3*t = 4*q + 104. Is 2 a factor of t?
True
Let f(j) = -j**2 - 8*j - 8. Let k be f(-6). Suppose -2*l + x = -3*l, 0 = -k*l + 2*x. Suppose -5*p - 3*c = -315, p + 2*p - 2*c - 208 = l. Is 33 a factor of p?
True
Let a be (1/(-3))/((-3)/819). Suppose -2*q - o + a = 0, -5*o = -q - q + 121. Does 16 divide q?
True
Let a = -905 + 1188. Is a a multiple of 2?
False
Let z = 14 + -15. Let r(q) = -q**3 - 2*q - 1. Let w be r(z). Is 4 a factor of (40/w)/(2 + 0)?
False
Let q(k) = -25 + k + 2*k + 11 + 117. Does 11 divide q(0)?
False
Suppose -7*y = -8*y - 5*n + 303, -2*n = 2. Does 28 divide y?
True
Let a(c) = 2*c**3 - 12*c**2 + 2*c + 5. Let w be a(6). Suppose 4*m - 25 = -w. Suppose y - 72 = -m*r - 0*r, 0 = 4*r - 16. Is 32 a factor of y?
True
Let a be 3/2*(-16)/12. Let t = 5 + a. Is t a multiple of 3?
True
Is (-1)/3 + 58492/84 a multiple of 29?
True
Suppose 0 = -2*s - 1 - 39. Let l = 19 + s. Does 3 divide l + (11 + -4)*2?
False
Suppose -5*f = b + 638, 4*b - 1 - 7 = 0. Let i = f + 261. Is i a multiple of 19?
True
Let l(q) = -q**3 - 50*q**2 + 49*q - 87. Is 9 a factor of l(-51)?
False
Let c(p) = 81*p**2 - p - 26. Is 12 a factor of c(-5)?
True
Suppose -14*q + 18*q = -72. Let x be (q*1)/((-3)/2). Is 26 a factor of ((-4)/x)/((-1)/339)?
False
Let b(k) = 32*k**2 - 6*k - 6. Does 20 divide b(-3)?
True
Suppose -f = -4*f - 2*s + 4150, -3*s = -15. Does 15 divide f?
True
Let i(n) = -13*n - 120. Is 16 a factor of i(-24)?
True
Let m(v) = -3*v + 20. Let f be m(6). Suppose f*w = o + 214, 2*w + 5*o = 5*w - 314. Is w a multiple of 13?
False
Suppose -10 = -5*u + 5*r - 10*r, -19 = -2*u - 5*r. Let k(h) = 233 - 81 - 83 + h**2 - 74. Does 3 divide k(u)?
False
Suppose -4*h + 5*k - 3 = 19, -1 = -h - 2*k. Let n be ((-6)/(-4))/h*-194. Let i = n + -7. Is 18 a factor of i?
True
Suppose n - 96 - 38 = 0. Let i = n + -56. Suppose 2*l + l - i = 0. Is 3 a factor of l?
False
Suppose u - 3*v + 369 = -0*u, -u + 4*v - 373 = 0. Does 13 divide 2/(-18)*2 - u/27?
True
Suppose 6032 = -9*n + 13*n + 4*t, -5*t = 4*n - 6036. Does 32 divide n?
True
Let a(x) = 8*x**3 - 24*x**2 - x + 27. Does 126 divide a(9)?
True
Let n = -49 - -83. Suppose 46 = 5*k - n. Is 7 a factor of k?
False
Let u = -696 + 787. Does 20 divide u?
False
Let s(l) = -5*l**3 + 3*l**2 + 14*l - 3. Let b(h) = 9*h**3 - 7*h**2 - 27*h + 7. Let z(n) = -6*b(n) - 11*s(n). Let d be z(-7). Let v = d + -7. Does 13 divide v?
True
Suppose -5*i + 4*r + 3 + 2 = 0, 2*i + 3*r - 25 = 0. Suppose -3*h + 5*z = -615, 0 = -2*h - h - i*z + 585. Suppose h = 11*f - 6*f. Is 40 a factor of f?
True
Suppose 13*m + 6*m = 4104. Is 27 a factor of m?
True
Suppose h = 4, 7*u - 2*u + 3*h - 22 = 0. Suppose 353 = 3*p + u*p + 3*k, 4*p + 4*k = 276. Let a = p + -19. Is a a multiple of 18?
True