ose -19*g + 26*g = 0. Suppose k - 4*q - 148 = 0, g = -3*k + q + 284 + 116. Is k a multiple of 12?
True
Suppose -12*m + 2 = -11*m. Is 7/42*-3*(-44)/m a multiple of 11?
True
Let z(v) = -10*v - 4. Let f be z(-2). Let k(u) = u**2 - 10*u - 36. Does 30 divide k(f)?
True
Let d = 31 + 1027. Is d a multiple of 16?
False
Let g = 28 - 19. Suppose 11*v = g*v + 12. Is 3 a factor of v?
True
Let v(f) = 10 - 10*f**3 + 15*f + 11*f**3 + 10*f**2 + 2*f**2. Is 15 a factor of v(-10)?
True
Let a = -413 + 542. Is 6 a factor of a?
False
Does 12 divide (-1)/(10/8*(-12)/1170)?
False
Let p = -20 + 23. Suppose 4*n = n + l + 452, 0 = -3*l + p. Is 9 a factor of n?
False
Suppose -4 = -3*p + 2*p. Let t(y) = -13*y - 77. Let c be t(-14). Suppose -155 = -p*a + a - b, -b = 2*a - c. Is a a multiple of 35?
False
Suppose -12 = -17*u + 13*u. Suppose -3*g = -5*z - 96, 0 = -0*z + z - u. Is 37 a factor of g?
True
Let i(c) = c - 8. Let v be i(-2). Let o = -1 - -3. Is 9 a factor of v*((-9)/2 + o)?
False
Let l = -3 - -25. Suppose -7*s - 30 = -9. Let b = s + l. Is b a multiple of 19?
True
Let u(g) = g**2 - 6*g - 5. Let q be u(7). Suppose 0 = -b - 2*k - q + 10, -4*k = -4*b + 32. Is 3 a factor of b?
False
Suppose 11*f - 3921 = 2393. Is 41 a factor of f?
True
Let k be 540/(-5)*(-1)/(-2). Let u = k - -91. Is 19 a factor of u?
False
Suppose 3*s = 102 + 30. Let l be (1 - 0)*(s - 9). Does 2 divide (-24)/(-10)*l/14?
True
Let k be 224/35 - (-6)/(-15). Suppose -d - 15 = -k*d. Suppose -q = d*q - 80. Does 10 divide q?
True
Let n = 3177 - 1748. Suppose h = 3*i - 2*i - 356, -4*i = h - n. Is i/27 - (-8)/(-36) a multiple of 13?
True
Let g = 6 - 0. Suppose 4*c = g + 30. Suppose 0 = -c*h + 12*h - 48. Is 8 a factor of h?
True
Suppose -101 = -0*v - 2*v - 3*q, 3*q - 199 = -4*v. Suppose 3*a = 59 + v. Is a a multiple of 6?
True
Let a = 182 - 122. Let o = 3 + -1. Suppose a = o*c + 2*c. Is c a multiple of 6?
False
Suppose 8*o - 5*o - 309 = 0. Let m = -46 + o. Is m a multiple of 19?
True
Suppose 5*n - 5 = -4*p, 0*p - 5*n = 5*p - 5. Let w = -1625 - -1628. Suppose v - 5*u + 6 + 7 = p, -u = -v + w. Is 7 a factor of v?
True
Let z(f) = -17*f**3 + 2*f**2 + 7*f + 5. Let m be z(-2). Suppose -g = -40 - m. Is g a multiple of 35?
True
Does 4 divide (-77)/(-11) - -431 - -9?
False
Is 7 a factor of (-12045)/(-20) - 6/24?
True
Is 298 + (-3)/(-1) + 2 a multiple of 8?
False
Let x(f) = -f + 10. Let w be (13 - 2 - 0) + -2. Let c be x(w). Does 15 divide 3/(-3)*(-23 - c)?
False
Let k be (-2 - -2)/(-1) + 5. Suppose 0 = 5*i + v + 192, 0 = k*i - v - 63 + 261. Let f = i + 65. Is f a multiple of 5?
False
Let i(d) = -d**3 + 7*d**2 - 13*d + 4. Let v be i(7). Suppose l + 7*s = 3*s - 120, 0 = 3*l + 4*s + 368. Let m = v - l. Is m a multiple of 18?
False
Does 7 divide (-1004)/(-18) + -11 - (-2)/9?
False
Suppose 5*d + 15 = -5*i, -2*d - 3*d = -i + 21. Does 10 divide (-48)/(-12) - (i*-199 + -2)?
False
Let x = 9 + -4. Let p(t) = -5 + 5 + t**3 + 17*t - 3*t**2 - 6 - 20*t. Is p(x) a multiple of 8?
False
Suppose -4*j = -0*j + 2*g - 6, 12 = -3*j + 4*g. Suppose 0 = 3*x - j*x - 162. Is x a multiple of 18?
True
Let g(w) = w + 11. Let o be g(-8). Suppose 4*a = o*j - 0*a - 320, 2*j = -3*a + 202. Is 13 a factor of j?
True
Let o = -14 + 14. Suppose -m + 2 + 3 = o. Suppose 21 = 3*d + 3*p, m*d - p - 3 - 20 = 0. Is 3 a factor of d?
False
Suppose -2*o + 12*o = -30. Is 205 + 2/o*-3 a multiple of 23?
True
Does 8 divide (5 + 19)/(3/183)?
True
Let x = -2238 + 3278. Does 70 divide x?
False
Suppose 2*z - 20 = -2*b - 3*z, 4*b + 5*z - 20 = 0. Let m(u) = -u**2. Let o be m(b). Suppose o = 2*q + 2*q - 112. Does 14 divide q?
True
Let k be (-14)/7*70/4. Let l = k + 67. Suppose 0 = -2*m + l + 24. Does 14 divide m?
True
Let y = 1096 + -480. Is 56 a factor of y?
True
Let g(p) = -p**3 - 2*p**2 - 3*p - 3. Let n be (-9)/6*8/6. Let b be g(n). Suppose o - 4*j + 0*j = 34, -b*j = -2*o + 48. Does 6 divide o?
True
Suppose 0 = 47*m + 19*m - 150876. Is m a multiple of 25?
False
Let i be (-15714)/(-33) + (-6)/33. Suppose 2*f - 2*x = -x + 190, 5*f - 2*x = i. Is f a multiple of 24?
True
Suppose 0*r + 3*r = -4*f + 13, 3*f - 26 = r. Suppose -4*a - 9 = -f*a. Suppose 0 = a*n + b - 44 - 34, 0 = 5*b. Is n a multiple of 26?
True
Let c(b) = -b**2 + 8*b - 8. Let u be c(12). Let f be 154/u*(-8)/1. Let j = 14 + f. Is 8 a factor of j?
False
Is ((-4)/(-10)*6)/((-44)/(-9020)) a multiple of 4?
True
Suppose 4*s + 2 = 3*s. Does 3 divide (-7)/s - 1/(-2)?
False
Let l be (-4)/(-12) - 2806/(-6). Suppose 108 = -3*g - 3*o + l, g - 112 = -5*o. Is 44 a factor of g?
False
Let z(i) = -i**3 + 5*i**2 + i - 8. Let q be z(5). Is 24 a factor of (1 - 289)/q + 0?
True
Suppose -3 = -8*v + 9*v. Does 6 divide 12/18 + (-37)/v?
False
Let r(p) = 92*p - 4. Let b = 75 - 73. Does 12 divide r(b)?
True
Suppose 0 = -o - 5*s + 1015, -5*o + 5147 = -0*o + s. Is 10 a factor of o?
True
Suppose -7*j - 20 = -2*j. Let s be (-4)/((-32)/(-12))*j. Suppose 20 = s*w - 5*w. Is 7 a factor of w?
False
Suppose -2*x + 253 = -5*u + 63, 3*x = 15. Let o = 20 + u. Let t = 9 - o. Is t a multiple of 9?
False
Suppose -3*s = 4*w - 1303, s - 4*w - 1756 = -3*s. Does 9 divide s?
False
Suppose 0 = -87*o + 91*o - 3376. Is o a multiple of 29?
False
Suppose 5*l + 168 = 2*j, -3 = -2*j + 5. Is 4 a factor of 45/(-4)*l/12?
False
Let m(f) = -4*f**3 + 2*f**2 - 1. Let v be m(-1). Suppose g + g + v*p = 55, 0 = -4*g - 5*p + 85. Is g even?
False
Suppose -u - 1 = 2*x, 2*u - 2*x = 6*u - 2. Let z be (u + -7)*275/(-22). Let f = -14 + z. Is 15 a factor of f?
False
Suppose -3*k = k - d - 1695, -3*k + d = -1271. Let t = k - 196. Suppose 16*q - t = 12*q. Does 9 divide q?
False
Suppose 4970 = 4*w + 3*w. Is w a multiple of 11?
False
Let y = 78 + -78. Suppose y*o - 137 = -4*o + 5*l, 2*l = -2. Does 11 divide o?
True
Let i(a) = -a**3 + 9*a**2 - 9*a + 12. Let u be i(8). Suppose m + 5*x + 6 = 0, 4*m + 3 = u*x - 3*x. Let c = 13 + m. Does 4 divide c?
True
Suppose 7*s + 6*s - 3276 = 0. Does 18 divide (s/10)/((-1)/(-15))?
True
Suppose 0 = -5*l + p + 2940, 0 = -4*l - 9*p + 8*p + 2352. Is 24 a factor of l?
False
Let s(a) = -a**3 + 2*a**2 + 4. Let t be s(0). Suppose 0*h + h = -2*r + 54, -2*r = -t*h + 226. Is 34 a factor of h?
False
Let s be 944/3 + (-4)/(-12). Suppose -5*o + 5 = 0, 4*w + 4*o - 451 = -27. Suppose -n + 2*y + w = y, 3*n = -5*y + s. Is 35 a factor of n?
True
Let s(i) = i. Let k be s(0). Let b be k/((2 - 5) + 1). Suppose b = t - 4*t - 15, -2*t - 17 = -d. Does 7 divide d?
True
Let d(b) be the third derivative of 7*b**5/60 + b**4/12 + b**3 + 2*b**2. Is 39 a factor of d(-4)?
False
Suppose 0 = -4*m + 7*m - 9. Is 11 a factor of (-2)/5 + m + 1454/10?
False
Suppose -181 = -5*f - 11. Suppose 2*c - h + 51 = 0, 7 + 11 = -c - 2*h. Let t = c + f. Does 5 divide t?
True
Suppose -22 - 8 = -h. Suppose -j + 2*j = h. Is j a multiple of 6?
True
Let b(k) = k + 14. Suppose 7 = -19*p + 159. Is b(p) a multiple of 11?
True
Let c = -17 + 17. Suppose c = 4*p - 91 - 25. Suppose -3*z - z + 79 = 3*i, -2*z + p = 5*i. Does 11 divide z?
True
Suppose 5*r - 619 = -154. Does 31 divide r?
True
Suppose j = -5*r + 108, j + 3*r = 7*r + 108. Suppose 3*o = 15, 8*o = -4*y + 4*o + j. Does 9 divide y?
False
Let s(u) = u**2 - u. Let g be s(-3). Suppose a - 17 = -g. Suppose 0*r - 3*r + 3*w = -81, a*r + w = 105. Does 11 divide r?
True
Let d = -117 + 119. Suppose -4*t = -4*y + 632, -5*y - t - d*t + 774 = 0. Is y a multiple of 39?
True
Suppose 0 = -5*d - 0*d + 5*s - 35, 5*d + 39 = 3*s. Let v be (d/(-12))/((-6)/(-16)). Suppose 2*c + 4*q + 0*q - v = 0, -25 = 5*q. Is 11 a factor of c?
True
Suppose 11*i = -10*i + 23793. Is i a multiple of 58?
False
Is 2/(12/(-18))*56/(-1) a multiple of 14?
True
Suppose 2*i - 28080 = -6*i. Suppose 0*t - 15*t + i = 0. Does 39 divide t?
True
Let q(i) be the second derivative of i**3/3 + 17*i**2 - 12*i. Let j be q(-15). Let c = 29 - j. Is 8 a factor of c?
False
Let a(y) = -y**2 - 2*y + 161. Let w be a(0). Suppose 2*s = 29 + w. Suppose 4*v = -v + s. Does 4 divide v?
False
Suppose 0 = 3*a - 1927 + 580. Does 33 divide a?
False
Suppose 0 = -5*v + 25 - 0. Suppose 4*t - t + 9 = 0. Let a = v + t. Is 2 a factor of a?
True
Let s(d) = -d**3 + 4*d**2 - 4*d + 2. Let z be s(2). Let h(m) be the third derivative of m**6/40 - m**5/20 + m**3/3 + 2*m**2. Does 7 divide h(z)?
True
Suppose 8*q - 1998 = 2*q. Is 3 a factor of q?
True