ppose 2*t + 3*j - 34 = 0, 4*t = 3*t + 4*j + 39. Suppose -5*h + t = -2*i - 109, 0 = -3*i + 3*h - 180. Is (i/(-20) + -2)*35 a multiple of 7?
True
Suppose 0*f + 4*j = 2*f - 158, 4*j - 16 = 0. Suppose -2*a - 5*k + 39 = -f, a - 58 = -5*k. Suppose -2*h = 5*q - 66, -2*q + h - a = -7*q. Is 4 a factor of q?
False
Let z be 985/10 - (-3)/6. Suppose 3*p - 2*i - 54 = p, 3*p = -3*i + z. Does 15 divide p?
True
Suppose 28*n - 6176 - 4884 = 0. Is n a multiple of 4?
False
Is 10/3*90/75 + 311 a multiple of 22?
False
Let q = 33 - 28. Suppose q*z - 33 - 282 = 0. Is z a multiple of 21?
True
Let x(p) be the first derivative of -2*p**3/3 - 4*p**2 + 3*p + 6. Let t(r) be the first derivative of x(r). Is 10 a factor of t(-7)?
True
Let r = 2795 + -1745. Does 70 divide r?
True
Suppose -3*q = -q + 148. Let z = 123 + q. Is 11 a factor of z?
False
Let k(q) = 2*q**2 - 10*q - 9. Let z(w) be the third derivative of w**5/60 - 5*w**4/12 - 3*w**3/2 + 2*w**2. Let j(g) = 3*k(g) - 4*z(g). Is 5 a factor of j(-6)?
False
Let u = -152 - -287. Does 5 divide u?
True
Let t be ((-7880)/(-16))/(1/(-2)). Let o = t - -688. Is (16/(-6))/(11/o) a multiple of 18?
True
Let p(a) be the third derivative of a**6/60 - a**5/10 + 5*a**4/24 - 4*a**3/3 + 13*a**2. Does 22 divide p(4)?
True
Let k(m) = 3*m - 5. Let w be k(3). Suppose -o + 5 = 4*i, -w*i + 10 = 2*o - 0*i. Suppose p + o*g - 45 = 0, 0*p + 5*g = -2*p + 85. Is 21 a factor of p?
False
Suppose -4*b + 593 = 229. Does 2 divide b?
False
Let c be ((-3)/(-1))/(1 - 0). Suppose 0 = -c*s + s - 4*m + 138, 5*s - m - 400 = 0. Does 16 divide s?
False
Suppose -3*d = -3*i - 5*d + 111, 185 = 5*i + 5*d. Suppose i*u + 20 = 42*u. Is 2 a factor of u?
True
Suppose -2*x = -v + 6*v - 13, -x - 5*v + 19 = 0. Let f be -2 + -2 - (2 - 1). Is 12/f*40/x a multiple of 9?
False
Is 86 a factor of (-2)/6 - 12388/(-12)?
True
Let j = 174 - 8. Suppose -60 - j = -2*b + 3*t, -3*b - 4*t + 339 = 0. Is b a multiple of 9?
False
Suppose 4*y + 0*y - 368 = 0. Suppose -9*g + 2*g = -0*g. Suppose g = -5*m - o + 218, -5*o = 5*m - 118 - y. Is 12 a factor of m?
False
Let z = 8 - -13. Let f(s) = 3*s - 12. Let m be f(6). Suppose m*a = 105 - z. Does 9 divide a?
False
Let s be 2 + 0 + -1 - 4. Is (6 + -7)/(s/702) a multiple of 39?
True
Suppose -4*z + 2*t + 14 = 0, 0*z - 3*z + 8 = -t. Let q be (-20)/(-2)*(7 + z). Suppose -48 - q = -4*f. Does 16 divide f?
True
Let p(f) = f**2 - 21*f - 37. Is p(-14) a multiple of 30?
False
Let g(u) be the second derivative of 79*u**4/12 + u**3/2 + u**2 - 20*u. Is 39 a factor of g(-1)?
True
Suppose 540 = 3*k + k - 4*q, 133 = k - 2*q. Suppose 4*d - 625 = -k. Is d a multiple of 8?
False
Let k(c) = c**3 - 11*c**2 + 35*c + 74. Does 81 divide k(13)?
False
Suppose 6*z - 5*z = 82. Let r = z - 43. Is 13 a factor of r?
True
Let i = -3 + 6. Suppose -45 + 183 = i*u. Let s = -18 + u. Is 21 a factor of s?
False
Suppose 0 = -w + 29 + 207. Is 9 a factor of w?
False
Let n = -156 + 186. Is 13 a factor of n?
False
Suppose 2*q - 1248 = -2*q. Suppose -4*r = 5*j + q, 3*j + 2*r = 5*j + 132. Let h = 128 + j. Is h a multiple of 11?
False
Let u be (155/(-25) - -5)*165. Let m = -141 - u. Is 12 a factor of m?
False
Does 12 divide 8/(3 - -1) + 167?
False
Suppose -4*r - 5*x + 2971 = 0, 17*r = 12*r + 5*x + 3725. Does 12 divide r?
True
Suppose 128*m + 4536 = 132*m. Is 9 a factor of m?
True
Let z(i) = 3*i**2 - i**3 - 7*i + 3*i**2 - 2 - 7 + 2*i**3. Let j be z(-8). Let t = -24 - j. Is t a multiple of 15?
False
Is 75 a factor of (-3543)/(-39) + 5*10/325?
False
Let p be 4/(-5)*(6 + -5)*-5. Let g(i) = 5*i**3 - 10*i**2 + 3*i - 4. Is 24 a factor of g(p)?
True
Let r = 365 - 253. Is 7 a factor of r?
True
Let j = 2696 - 1886. Does 15 divide j?
True
Let q be (2 + 1 - -11)/2. Suppose -q*j = -3*j. Does 12 divide j + -1 - -2 - -11?
True
Suppose 5*h - 33 - 402 = 5*i, -330 = -4*h - 2*i. Is 21 a factor of h?
True
Let v(l) = 256*l**2 + 22*l - 45. Is 11 a factor of v(2)?
True
Let s(j) = j**3 - 8*j**2 - 8*j - 1. Let g = 14 - 14. Suppose -3*i + 27 = -g*i. Is 2 a factor of s(i)?
True
Let r(t) = -t**3 - 11*t**2 - 9*t + 14. Let s be r(-10). Suppose -2*m - 8 = -s. Is 13 a factor of (m - 2*-28) + 3?
False
Let u(z) = -z**2 + 6*z - 7. Let n be u(3). Suppose 0*a - 108 = -n*a. Does 18 divide a?
True
Let k(b) = b**3 - 12*b**2 - 31*b - 12. Is 22 a factor of k(15)?
True
Suppose -3*c = -3 - 9. Suppose 915 = 3*i - 5*q + 60, 0 = 2*i - 2*q - 570. Suppose 2*y + 5*l - 114 = 0, -5*y - c*l - l = -i. Is 19 a factor of y?
True
Let f = 693 - -3334. Does 101 divide f?
False
Suppose l - 5 - 23 = 0. Suppose q = 5*y - 11, 2*q + 50 = -6*y + 2*y. Let f = l - q. Is 17 a factor of f?
False
Suppose -5*z + 1449 = 3*b, 3*z + 4*b + 0*b = 865. Let o = z + -188. Is 23 a factor of o?
False
Let k = 1 + -3. Let x(o) = 29*o**2 - 1. Let p be x(k). Suppose -p = -t - 4*t. Is t a multiple of 23?
True
Let b = 27 - 21. Suppose 3*g + 2*f = -16, -3*g + b*f - f - 2 = 0. Is 40 + 1/(-2)*g a multiple of 14?
True
Is 64 a factor of 15/50 - 24954/(-20)?
False
Suppose 0 = -3*o + 2*o - 3*g + 12, -4*o + 3*g + 3 = 0. Suppose f = -o*f + 64. Let w = -7 + f. Is w a multiple of 6?
False
Let m be (-105)/(-7)*(-12)/(-5). Let c be (4 - (2 + 1)) + 3. Suppose -5*h = -q + 2*q + 9, 4*q - c*h - m = 0. Does 3 divide q?
True
Let p be ((-4)/(-3))/((-36)/(-81)). Suppose -120 = -p*n - 0*r - 3*r, -3 = r. Suppose n = 6*o - 17. Is 5 a factor of o?
True
Let i(w) = 3*w**2 - 7*w + 4. Let n = 15 - 10. Does 11 divide i(n)?
True
Let g(m) = 3*m**2 - m. Let o(c) = -c**2 + c - 1. Let q(r) = -g(r) - 2*o(r). Let d be q(2). Is 20 a factor of d/24 + (-723)/(-18)?
True
Let k(r) = 2*r**2 - 8*r - 15. Let l be k(-6). Let x(i) = -i**2 - 5*i + 4. Let w be x(-5). Suppose -l = -w*f - f. Is 17 a factor of f?
False
Let z be 10/25 - 26/(-10) - 0. Is z/18 - 3521/(-42) a multiple of 12?
True
Suppose -29 = 4*l - 0*l + 5*p, 0 = -3*p - 3. Let h = -4 - l. Suppose h*u - 52 + 4 = 0. Is u a multiple of 6?
True
Suppose 4*n + 24 = 8*n. Is -4 + (n - 3) + 54 a multiple of 33?
False
Suppose -3*p + 30 - 84 = 0. Let m = p + 22. Suppose 78 = m*a - a. Is 26 a factor of a?
True
Let t(x) = -11*x**3 + 7*x**2 - 14*x**3 + 5 - x + 26*x**3 - 3*x**2. Let g(k) = -k**2 - k + 2. Let b be g(2). Does 9 divide t(b)?
True
Let z(l) = -146*l**2 - l. Let c be z(-4). Is 8 a factor of (-4)/6 + c/(-33)?
False
Let r = -41 + 56. Suppose -4*v + 4 - r = -b, -123 = -5*b + 3*v. Does 3 divide b?
True
Let z = 46 - 12. Let q(d) = d**2 + 10*d - 22. Let s be q(-11). Let w = z - s. Does 15 divide w?
True
Does 25 divide ((-3324)/(-18))/(8/12)?
False
Let j(d) = -2*d**3 - 8*d**2 + 4*d + 20. Does 4 divide j(-6)?
True
Suppose -4*g - y = -65, 3*g + 28 = 5*g + 2*y. Is g a multiple of 2?
False
Let b = -4 - -9. Suppose -2*c - 2*v = -110, 4*v = b*c + v - 315. Is 10 a factor of c?
True
Suppose -4*h + 681 = 205. Suppose -5*i + 154 = -x, -h = -5*i + 4*x + 47. Is i a multiple of 6?
True
Is 27 a factor of (-1662)/(-24)*12 + -6?
False
Suppose -57 = -i + 5. Is 15 a factor of i?
False
Let g(r) = -15*r + 29. Let n(w) = 7*w - 15. Let p(s) = -2*g(s) - 5*n(s). Does 26 divide p(-16)?
False
Suppose 22*g - 2513 = 2085. Is 19 a factor of g?
True
Let o = 47 - 32. Is 9 a factor of 267*(5/o + 0)?
False
Is 24 a factor of 25/350 + (-158252)/(-56)?
False
Suppose 0 = -2*h + 4*v, -2*v + 2 = -0*v. Suppose -5*y + 9 = -h*z, -3*y + 0*y = -9. Suppose 2*f + 2*c = 6*c + 20, z*f = 5*c + 28. Is 6 a factor of f?
True
Suppose -1 = -2*x + 3*x - p, 2*p + 1 = 3*x. Suppose 2*d = 2*c + 74, x*c - 94 = -2*d + c. Does 14 divide d?
True
Suppose 3*j - 313 = -2*y - 115, -330 = -5*j - 3*y. Does 10 divide j?
False
Suppose 5 = -t - 71. Let z = 121 - t. Is 12 a factor of z?
False
Suppose 2*a = -5*u + 343, -9*u + 866 = 5*a - 5*u. Is 18 a factor of a + -7 - 2*-2?
False
Suppose r - 213 = x, 6*r = 4*r + 4*x + 422. Does 11 divide r?
False
Suppose 3*d + 28 - 13 = 0. Let l(x) = x**3 + 11*x**2 + 3*x + 12. Does 49 divide l(d)?
True
Is 10 a factor of ((53 + 2)*2)/((-5)/(-70))?
True
Let o(t) = 78*t - 322. Is 4 a factor of o(7)?
True
Let n(j) = -j**3 + 6*j**2 - 2*j + 2. Let p be n(4). Let d(f) = 2*f - 10. Let h be d(-6). Let z = h + p. Is z a multiple of 2?
True
Suppose -3*k + 2922 = 3*x - 0*x, x = -2*k + 1946. Does 36 divide k?
True
Suppose 5*y - 127 = 353. Suppose -y = -4*d - 3*v, 0*d - d + 24 = v. Is 6 a factor of d?
True
Suppose -2*g - 2 = -