- -190. Suppose 5*z - 2*z + 4*o - 548 = s, -4*z + o = -718. Is z a multiple of 12?
True
Let v(u) = u**3 - 6*u**2 - 18*u + 18. Let b be v(8). Suppose 0 = t + m - 64, -6*t + 3*m = -b*t - 270. Suppose -t*q = -62*q - 836. Is 12 a factor of q?
False
Suppose 3*w + 4816 = d, -d = -5*w - 1350 - 3450. Does 20 divide d?
True
Let r(f) = -4*f + 30. Let p = -143 - -147. Suppose -p*z + 3*z = -10*z. Does 3 divide r(z)?
True
Is 9 a factor of -5 + 7 + 43 + 3 + (-15)/5?
True
Let d be 51*121/(-66)*(-1 - -9). Does 3 divide (d/110)/((-4)/10)?
False
Suppose 471*i + 2160 = 466*i. Is 21 a factor of (829/8 - -1) + (-162)/i?
True
Let z(r) be the second derivative of r**5/20 - 41*r**4/12 - 17*r**3/3 + 39*r**2 - 2*r - 75. Is z(42) a multiple of 13?
False
Suppose -1094 - 1726 = -2*d - 4*j, 0 = 5*d - 4*j - 7008. Suppose d = k + 1215. Is k a multiple of 7?
True
Suppose -5*h + 40 = 5*u, 5*u + h = 3*h + 19. Suppose 13*p - 8*p = 2*p. Suppose b + u*b - 624 = p. Is 26 a factor of b?
True
Let o be 3*(-1)/(5/(-185)). Suppose -7*j - 390 = 5*n - 2*j, 430 = -5*n + 3*j. Let u = n + o. Is 14 a factor of u?
True
Let y = 227 + -227. Let r be (3/5)/((-1)/(-5)). Suppose -k - r*k + 340 = y. Is 11 a factor of k?
False
Let x be 162/72*(-12)/9. Let f = 7 + -8. Does 12 divide (x - -94) + (0 + f)*2?
False
Let n(s) = 73*s**3 - 11*s**2 - 13*s + 6. Let w be n(-10). Let p be w/(-66) + 4/(-6). Suppose 4*h + 3*h = p. Is 40 a factor of h?
True
Let o(s) = 7*s**3 + 5*s**2 + 54*s - 252. Let z be ((-42)/(-18) - 4)*-3*1. Is 41 a factor of o(z)?
False
Suppose -5140 = -3*k - 3*m - 1267, k - 5*m - 1303 = 0. Does 15 divide k?
False
Does 13 divide 2*((-4613)/(-10) + ((-60)/(-75))/4)?
True
Let k = -847 - -403. Let o = k + 537. Is 4 a factor of o?
False
Let m = 9816 - 2813. Is m a multiple of 47?
True
Let q be (1/(-2))/((5/(-5))/14). Does 57 divide (48/18)/(q/1092)?
False
Suppose 0 = -2*b - p + 173, -30*b + 34*b = -p + 347. Is b a multiple of 13?
False
Suppose 0 = 4*k - 3*y - 16, y = 2*y. Suppose -2*g - 8*x + 1660 = -k*x, -2*x - 3370 = -4*g. Is 12 a factor of g?
True
Let h(r) = 2539*r - 5425. Is h(11) a multiple of 194?
True
Suppose -7*r + 40 = 5. Suppose 25 + r = 10*i. Does 4 divide 162/6 - (-3)/i?
True
Suppose 71*w - 289000 = 3*w. Is 25 a factor of w?
True
Let a = -2931 + 3295. Is 7 a factor of a?
True
Let m be ((-42)/63)/((-6)/45). Is m - (-438)/(-12)*2*-1 a multiple of 39?
True
Let v(c) = -c**3 - 20*c**2 + 68*c + 6. Let q be v(-23). Suppose q*g - 11823 = 5258. Is g a multiple of 31?
True
Let b = -14046 + 16058. Does 3 divide b?
False
Suppose 7077 + 28719 = 57*v. Is (-26 - -30)/(8/v) a multiple of 3?
False
Let l(j) = 152*j - 159. Let p be l(18). Is ((-12)/9)/((-4)/p) a multiple of 30?
False
Let l = 26 - -21. Let t = l - 45. Suppose -k + 108 = t*p, -p + 404 = 4*k - 0*p. Is 20 a factor of k?
True
Let h = 110 + -99. Suppose -4950 = -h*g - 14*g. Does 33 divide g?
True
Suppose -8 = -4*y, 549*y - 1200 = -m + 554*y. Is m a multiple of 27?
False
Suppose -3922 + 4662 = 4*o. Is o a multiple of 4?
False
Let j(q) = 3*q + 59. Let f be j(-17). Let z(w) = 4*w - 15*w + 16 + f*w + 4*w. Does 5 divide z(-9)?
False
Suppose 12*g + 110 = 38. Let d(r) = r**2 - r + 10. Let s be d(g). Let q = -19 + s. Is q a multiple of 3?
True
Suppose 0 = 21*m - 2353 - 9386. Is m a multiple of 43?
True
Is 19 a factor of ((-407)/(-22) - 21)/((-20)/133456)?
True
Is 1563/1042 - (-153239)/2 a multiple of 193?
True
Suppose 0 = -201*f + 203*f - 3*m - 36301, 0 = f + 5*m - 18183. Is f a multiple of 17?
False
Let g(p) = 4*p - 29. Let d be g(8). Suppose -950 = -2*c + 2*m, 4*c + m - 1892 = -d*m. Is 29 a factor of (10/15)/((-1418)/c - -3)?
False
Let z = 2259 + 3351. Is z a multiple of 55?
True
Suppose 0 = m - 9*m + 6048. Suppose 7*p = m - 217. Suppose 0 = -h + 3*l + p + 25, 4*l = -16. Does 26 divide h?
False
Suppose r + 1 = -k, 5*k = 5*r - 4*r + 1. Let u be (1/(-1) - k)*0. Suppose -6*d + 4*d + 204 = u. Does 17 divide d?
True
Suppose 0 = -8*h + 7*h + 2*v + 32084, -64170 = -2*h + 3*v. Is h a multiple of 24?
True
Let u(x) = x + 16. Let z be u(-14). Suppose -4 = -3*m - z*s, 5*m - s - 3*s = -30. Does 2 divide 2 - (-15 + m + -1)?
True
Let p(o) = 6*o**3 - 22*o**2 + 59*o + 27. Is p(14) a multiple of 51?
True
Let j = -5938 + 14384. Does 31 divide j?
False
Let q be (-1)/(-6) + (-6)/108*-303. Let x(b) = 5*b**2 - 28*b + 46. Is 35 a factor of x(q)?
True
Suppose -3*f = -20 + 2. Suppose 246 + 339 = 15*z - 60. Let c = f + z. Is c even?
False
Let m = 12784 + -5867. Is 53 a factor of m?
False
Suppose -v - 13*v + 59400 = -12*v. Does 25 divide v?
True
Let y = -89 - -94. Suppose -y*b = 1 - 596. Does 10 divide b?
False
Let b = 27213 - 14769. Does 183 divide b?
True
Suppose 0 = 27*u + 22 - 76. Let n be (3/(-5))/(4/20). Does 8 divide (n/(-6) - u)*(-124)/6?
False
Let h(j) = j**3 - 10*j**2 - 15*j + 57. Let g be h(11). Suppose -1 + g = 4*k, 5*k - 93 = -2*i. Is i a multiple of 39?
True
Let w be (-62)/217 + (-2278)/14. Let h = w + 218. Is h a multiple of 33?
False
Let z(r) = -10*r - 20. Let s be z(-5). Suppose -11268 = -s*x + 9012. Is 26 a factor of x?
True
Suppose r - 5*r - 172 = 5*n, -3*n - 2*r - 102 = 0. Let y(m) = 2*m**2 + 56*m - 34. Does 17 divide y(n)?
False
Let x = 240 - 248. Is 6/24 + (-1198)/x a multiple of 75?
True
Let i = 815 - 812. Does 12 divide i*(-4)/6 + (-1406)/(-1)?
True
Is 24 + -11 - 21 - -5596 a multiple of 127?
True
Suppose -4 = 4*l + 2*f - 0, l - 2*f = 9. Let o be (l - 3)*(-90)/(-2). Let y = o - -181. Does 13 divide y?
True
Let n(o) = -88*o - 43. Let v be n(-5). Let h = v - 15. Is 15 a factor of h?
False
Suppose 2*y + 3*p + 21 = 0, 11*y + p = 14*y + 26. Is 29 a factor of y/(45/(-10)) + 765?
False
Does 56 divide 1140/108 + -11 - (-935440)/36?
True
Let l(g) = -20*g - 41 + 29 - 48 - 8. Is l(-8) a multiple of 2?
True
Let x(j) = -22*j - 9. Let y be x(-1). Suppose y*k + 418 = -37. Does 21 divide (-3 - -15)*k/(-2)?
True
Let v = 9 - 8. Suppose -v = -i, -4*l - 1502 = -3*i - 5939. Suppose 0 = 14*x - 9*x - l. Does 12 divide x?
False
Suppose -2*n - 745 = -3*h, 4*n = -2*h + 5*h - 737. Let u = h + 301. Does 23 divide u?
True
Let f(x) = 13*x + 40. Let c(o) = o**3 - 6*o**2 + 6*o - 1. Let z be c(5). Does 21 divide f(z)?
False
Let r be 122/2 + -57 + 48. Does 13 divide 13/r*(-4820)/(-5)?
False
Let t = 531 + -488. Let i = 525 + t. Does 62 divide i?
False
Suppose 4*i + 2*a = 88, 0*a - 66 = -3*i + 4*a. Suppose -2*k - k = l - 14, 5*k + 2*l = i. Suppose -192 = -k*m + 5*m. Does 24 divide m?
True
Let p(y) = 82*y**3 - y**2 - 3*y - 1. Let j be p(-1). Let g = 179 + -70. Let u = g + j. Is 12 a factor of u?
False
Suppose -9720 - 8364 = -4*f. Is 56 a factor of f?
False
Suppose -41*c = -19*c + 8228. Does 7 divide (0 - -7)/((-17)/c)?
True
Let s(v) = 36*v - 283. Let j be s(8). Suppose -y = c - 355, 4*y - j*c + 58 = 1433. Is y a multiple of 25?
True
Suppose -114*j + 91*j + 2139 = 0. Does 2 divide j?
False
Suppose 22*t - 32*t = 177960. Is 58 a factor of (-1)/1 - 17/(204/t)?
False
Let o(r) = -4*r - 2 + 2*r + 0 + 1. Suppose 2*k = -3 - 1. Is 2 a factor of o(k)?
False
Suppose -5*z = -5*d + 1540, 3*d - 151 = 5*z + 777. Let r = d - 77. Is 12 a factor of r?
False
Let g = -6182 - -6969. Does 6 divide g?
False
Suppose 0 = 2*j + 11*j - 130. Suppose 144 + 42 = 3*m. Let f = m - j. Is f a multiple of 52?
True
Suppose -6*d + 103 = 817. Is 17 a factor of 2/1 - 1 - (3 + d)?
False
Let s(j) = -j**3 + j**2 + 3*j - 284. Let n be s(0). Let t = n + 536. Does 9 divide t?
True
Suppose 1990*m - 4131 = 1981*m. Suppose 5*a = -4*v - 5, -3*a + 3*v + 10 = -14. Suppose -14*w - a*w = -m. Is w a multiple of 3?
True
Suppose -20 = -4*q + 3*x, -q + x + 10 = 2*q. Suppose 4*g = -r + 102 + 955, -2*g - q*r = -530. Let b = -39 + g. Is 27 a factor of b?
False
Suppose -4*w + z = -17, 4*z + 0 + 20 = 0. Let k = w - -7. Suppose -5*q = 2*j - k*q - 191, 299 = 3*j - 5*q. Is 27 a factor of j?
True
Suppose -8*l - 270 = -10*l + 3*a, 0 = -5*l + 4*a + 675. Suppose 0 = -5*s + 5*h + l, -3*s + 20 = 4*h - 40. Is s even?
True
Let p(f) = -2*f**2 + 3*f + 21. Let v be p(5). Let j(g) = 2*g + 31. Let z be j(v). Suppose 5*d + 0*a = 3*a + 1720, -5*a + 998 = z*d. Is 44 a factor of d?
False
Let v(y) = y**2 - y - 112. Let h be v(11). Is 55 a factor of (-10*(-1320)/(-32))/(h/4)?
True
Let o be (12/8 - 3)*4184/(-12). Let d = o - 212. Is 18 a factor of d?
False
Let g(m) = 5