(8/(-12))/(1/t)?
True
Suppose 4*r + 1124 = 4*n + 48, 3*n - 803 = 4*r. Is 2 a factor of n?
False
Suppose -1694 = -2*u + 4*f, -116*f + 117*f - 4279 = -5*u. Is 13 a factor of u?
False
Suppose 187 = 2*b - 879. Is 13 a factor of b?
True
Suppose 0 = -5*s - 3*k + 4 + 8, -k = 2*s - 4. Suppose b - 138 = -3*h - 2*b, -5*h - 4*b + 226 = s. Does 3 divide h?
True
Let j be 8/(-40) + (-102)/15. Let a(g) = -32*g - 20. Is 19 a factor of a(j)?
False
Is 11 a factor of (-386)/(-6) + 20/(-12)*-1?
True
Suppose -2*k = -7*k + 810. Suppose 498 = 4*b + k. Suppose -9*r + 13*r - b = 0. Is 4 a factor of r?
False
Let a = 33 - 62. Let j be 2/18 - 3470/45. Let o = a - j. Is o a multiple of 24?
True
Let s(o) = -16*o + 2. Suppose -5*p = 5, 7 + 1 = -3*i - 5*p. Let y be s(i). Suppose -l - y = -5*k, -k = -2*l + 6*l - 33. Does 2 divide l?
False
Let x(g) be the second derivative of g**3/6 + 13*g**2/2 - 2*g. Let w(u) = u**3 + 10*u**2 - 6. Let m be w(-10). Is 3 a factor of x(m)?
False
Let w(u) be the third derivative of -u**5/60 + u**4/3 - 7*u**3/6 - 7*u**2. Let b be w(5). Let i(c) = 2*c - 8. Is i(b) a multiple of 8?
True
Let k(i) = 84*i - 8. Let o be k(2). Suppose -53 = 3*b - 5*x - o, -2*b + 66 = 2*x. Does 4 divide b?
False
Is 15 a factor of 4/(-9 + 5) + 569?
False
Suppose -3*l + 5*l - 26 = 0. Suppose l*v = 10*v + 207. Is v a multiple of 12?
False
Let y(s) = 2*s**3 + 54*s**2 - 2*s + 13. Is 8 a factor of y(-24)?
False
Let f = 2102 + -1121. Is 9 a factor of f?
True
Let k = 9 + 11. Suppose k = 3*f - 7. Does 12 divide (f + -1)/(-4) + 50?
True
Let n(k) = -k. Let j(u) = -u**3 - 6*u**2 - 6*u - 6. Let m be j(-5). Let h(a) = 7*a + 1. Let v(l) = m*h(l) + 2*n(l). Is v(-1) a multiple of 8?
True
Does 7 divide (218/(-3))/((-12)/36)?
False
Let a(t) = -13*t + 10. Let u be a(-14). Suppose 0 = 4*p - 2*p - u. Is 12 a factor of p?
True
Suppose 0 = 5*c - 18 - 2, 0 = 2*r - 2*c + 46. Let l = -17 - r. Let d(w) = 15*w - 2. Does 14 divide d(l)?
True
Suppose 2*u - 523 - 73 = 0. Let f = 436 - u. Is 46 a factor of f?
True
Let s = 66 - 61. Suppose -70 - 1 = -u + s*n, -u - 2*n = -99. Is 7 a factor of u?
True
Let t = -830 + 1431. Is t a multiple of 14?
False
Let p(j) = 249*j**2 - 12*j + 15. Is p(3) a multiple of 10?
True
Let a be (-7918)/10 + ((-20)/(-25))/(-4). Is a/(-55)*75/6 a multiple of 18?
True
Let q(n) = 2*n**3 + 26*n**2 - 3*n - 1. Is q(-13) a multiple of 6?
False
Let x(y) = 78*y + 3. Let d be x(4). Suppose 0 = 2*z + 131 - d. Suppose -q = -3*h - h - 43, z = 2*q - 5*h. Is 17 a factor of q?
True
Let i be 61 + 0 + -2 - 1. Does 9 divide (48/3)/(-4) + i?
True
Let u = -1085 - -1105. Is u a multiple of 5?
True
Suppose -o - n - 2 = 1, 23 = 4*o - 3*n. Let a be (-2)/2 - 5*1. Let k = o - a. Is 3 a factor of k?
False
Suppose -5*q - 25 = 0, -2*k + 95 = 3*q - 68. Does 2 divide k?
False
Suppose 3*o + j - 13 = 0, -3*o + 9 = -5*j + 2. Suppose -4*n + 2*n = 2*m - o, 0 = 3*n - 5*m + 10. Suppose n = -u - 2*u + 78. Is u a multiple of 26?
True
Let z(d) = 17*d. Let o be z(-3). Let y = -25 - o. Suppose 5*n + 3*u - 9 = y, -4*n + 4*u = 4. Is n a multiple of 2?
True
Let d(f) = f**3 - 11*f**2 - 12*f + 6. Let z be d(13). Suppose 4*l + z = 4*w, -3*l = -w + 63 - 16. Is 8 a factor of w?
False
Suppose 2*v - 4*s = -2*s + 12, -s = -5*v + 14. Suppose 0 = -5*n + 5*q, 4 = 2*n - q + v. Suppose n*d - 5*j = 83, -2*j + 112 = 3*d - 7*j. Does 22 divide d?
False
Does 30 divide (-250)/(-4)*(7 - 253/55)?
True
Suppose 0 = -k + 5*k + 220. Let f = -39 - -29. Is f/k - (-64)/11 a multiple of 2?
True
Let a(q) = 29*q**2 - 16*q - 46. Is a(-13) a multiple of 83?
True
Is 5 a factor of -3*(565/3)/(-5)?
False
Let g = 11 - 3. Suppose 0 = -g*y + 277 + 115. Suppose -17 = 2*u - y. Does 3 divide u?
False
Let n(p) = p**2 + 7*p + 5. Suppose -2*m = -7 + 21. Let s be n(m). Suppose -3*u = -2*o + 44, -o + 2*u + 15 = -s. Does 8 divide o?
False
Suppose 4*n - 2956 + 962 = 5*v, 4*n - 4*v - 1992 = 0. Does 9 divide n?
False
Let k be ((-20)/6)/((-13)/(3159/18)). Suppose -2*t = -69 - k. Is t a multiple of 3?
True
Let n(u) = -6*u. Let x(z) = -36*z - 3. Let p(o) = -12*o - 1. Let b(d) = -7*p(d) + 2*x(d). Let i(l) = 4*b(l) + 9*n(l). Is 20 a factor of i(-6)?
True
Let f = -47 + 33. Let k(d) = -d + 31. Is k(f) a multiple of 15?
True
Let o be -1 + 1/1 + 2. Suppose -22 = -2*i - 4*k, 0 = 5*i + o*k - 10 - 13. Suppose g - 80 = -i*g. Does 10 divide g?
True
Suppose 3*j - 3338 = 27*p - 25*p, -4*p = j - 1108. Does 5 divide j?
False
Let v = -362 + 1030. Does 48 divide v?
False
Let d = 166 - 319. Does 36 divide 1726/8 - (d/36 - -4)?
True
Let z be (-6)/14 + (-211824)/252. Let q = -410 - z. Is 13 a factor of q?
False
Is 0/2 - 28*(-96)/8 a multiple of 14?
True
Suppose -4*z + 3 + 1 = 0, 5*m = -4*z + 539. Let q = 55 + -126. Let k = q + m. Does 16 divide k?
False
Suppose 2*j - 1 + 3 = 2*x, 2*j + 2 = -3*x. Suppose -11 = -3*o + 2*l, -2 = 2*l - x. Does 7 divide 8/12*10*o?
False
Suppose 0 = -5*y - 2*w + 85 + 65, -2*y = 4*w - 60. Let c = y + -42. Is 8 a factor of (-79)/(-3) + (-8)/c?
False
Let q be (-3)/(-6 - -3)*2. Is 20 a factor of 369/6 - (-1)/q?
False
Does 61 divide 2/9 - 59256/(-162)?
True
Let j(a) = -a**3 + a**2 - a. Is 36 a factor of j(-3)?
False
Let h be (1/(-3) + 1)*(2 + 1). Suppose 52 = 5*q + 2*g, -4*q + h*g = -2*g - 64. Does 12 divide q?
True
Let n(o) = o**3 + 19*o**2 - 123*o + 17. Is 4 a factor of n(-24)?
False
Suppose -7*v + 936 - 3582 = 0. Does 13 divide (12/(-14))/(6/v)?
False
Suppose -5*f - 306 = -u - 4*f, 326 = u + 4*f. Is u a multiple of 10?
True
Suppose -g = 4*g - 30. Suppose 0 = g*n - 5 - 13. Is 3 a factor of n?
True
Let r = -12 - -17. Suppose -r*s + 178 + 97 = 0. Suppose 3*g = -2*g + s. Does 11 divide g?
True
Let s(w) be the second derivative of w**5/20 + 17*w**4/12 - 2*w**3/3 - 35*w**2/2 + 7*w. Is 30 a factor of s(-17)?
False
Suppose -y - 1 = -5*n + 9, 3*y - 10 = -5*n. Does 14 divide (1698/(-15))/(n/(-5))?
False
Let t be 4/14 - 896/49. Let n be (t + 0)/((-6)/4). Suppose 150 = -7*v + n*v. Is v a multiple of 6?
True
Suppose -8*r = 22*r - 6480. Does 4 divide r?
True
Suppose 4*u - 39 + 3 = 0. Let y(w) = 271*w**2 - 1. Let c be y(-1). Suppose c = 12*o - u*o. Is o a multiple of 30?
True
Let c = 92 + -89. Is 8 a factor of (58 - -2) + (3 - c)?
False
Let b(z) = z - 2. Let g be b(2). Let r(h) = 9 + 1 - 6 - h. Does 4 divide r(g)?
True
Let z(x) = -7*x - 1. Suppose t = -0*t - 3. Is z(t) a multiple of 4?
True
Let f = -181 - -1525. Suppose 6*k + f = 12*k. Is k a multiple of 22?
False
Suppose -2*x + 8*v + 950 = 13*v, 4*x = -2*v + 1916. Does 8 divide x?
True
Suppose 0 = -4*n - 5*g + 4387, 0 = -60*n + 59*n - 2*g + 1096. Is n a multiple of 61?
True
Suppose 6*g - 26 = 5*g. Let j be g - 19 - (3 - -1). Suppose j*k = 2*k + 24. Is k a multiple of 24?
True
Is 36 a factor of 4*-1*(-1832)/16?
False
Suppose 11223 - 3447 = 8*r. Does 54 divide r?
True
Suppose -5*t + u + 93 = 0, 0*t + 2*u = -t + 12. Suppose 4*l = 34 + t. Suppose -2*z + 91 = -l. Does 31 divide z?
False
Suppose 13*q = 16*q. Suppose 17*u - 22*u + 65 = q. Does 3 divide u?
False
Let m(r) = 4*r**2 - 33*r - 10. Let y(p) = -p**2 - 17*p + 48. Let o be y(-19). Does 6 divide m(o)?
True
Let i be 1/(2 - 3) + 31. Let m = i + -24. Is m a multiple of 4?
False
Let f(n) = -16*n + 12. Let b be f(7). Let o = 160 + b. Does 20 divide o?
True
Let f(x) = 8*x**2 + 1. Let j be f(-1). Is 20/(-2)*(-5 + j/(-2)) a multiple of 4?
False
Let g(z) = 4*z**3 - 41*z**2 - 29*z + 16. Is g(13) a multiple of 35?
False
Let r(n) = -48*n**2 + 5*n + 7. Let m be r(-2). Let u = m + 464. Does 42 divide u?
False
Let a(n) = 3*n + 27. Let z be a(-8). Let w be (z + -4)/(2/(-8)). Is 10/w*134/5 a multiple of 22?
False
Let i = -66 - 70. Let y = 268 + i. Is 12 a factor of y?
True
Suppose 31*n - 23*n = 40. Suppose n*q = -f - 3, 0*f - 2*f + q + 16 = 0. Is 2 a factor of f?
False
Let t = 40 - 24. Let c be 216/(4*6/t). Suppose -3*i + c = i. Is i a multiple of 18?
True
Let j = 713 + 435. Is j a multiple of 28?
True
Suppose 7*c + 12 = 4*c. Does 13 divide c - -2*(-68)/(-8)?
True
Let a(b) be the second derivative of -3*b + 11/6*b**3 + 2*b**2 + 0 - 1/20*b**5 - 1/4*b**4. Is 23 a factor of a(-6)?
True
Suppose j = 3*k + 1056, 5*j - 3*k - 714 = 4626. Does 21 divide j?
True
Let v(a) = a**2 - 4*a - 107. Is 49 a factor of v(17)?
False
Let w(n) = n**3 - 5*n**2 + 2*n - 7. Let s be w(5). Suppose -4*r = -i - i - 186, -s*i = 15.