*3 + 56*g**2 - 106*g + 14. Let h be j(54). Suppose -v = -2*v + 16. Let y = v + h. Is y a multiple of 23?
True
Let f = -21884 + 25769. Does 80 divide f?
False
Let z = 35 + -36. Let t be (-27)/(-4) + z*8/(-32). Suppose 0 = t*p + 6*p - 2457. Is p a multiple of 9?
True
Let r be ((-1638)/(-65))/(6/20). Suppose -12*o + r = -0*o. Is 3 a factor of o?
False
Suppose -2*f = -7*f - 5. Let c(a) = a**3 + a**2 - a + 2. Let g(q) = 52*q**3 + 8*q**2 - 12*q + 12. Let w(h) = 8*c(h) - g(h). Is w(f) a multiple of 22?
True
Let u(l) = 8*l + 11. Suppose 3*i - 2*i = 22. Let v = -3 + i. Is u(v) a multiple of 27?
False
Suppose -1624 - 480 = -4*o. Does 5 divide o?
False
Does 73 divide (8 - 1580)/(1/(-5))?
False
Let m = -29422 - -34415. Is 16 a factor of m?
False
Suppose -2*b + 61*z - 59*z = -89448, -4*z + 24 = 0. Is 6 a factor of b?
True
Suppose 6 = -11*t - 38. Let s be t/16*-28*886/7. Suppose 0 = -4*j - 2*q + s, 5*j - 7*q - 1140 = -3*q. Is j a multiple of 40?
False
Let u(d) = 4*d**2 - 24*d + 33. Let y(v) = -11*v**2 + 71*v - 98. Let q(i) = 8*u(i) + 3*y(i). Is 36 a factor of q(15)?
False
Let b(d) = d**2 + 9*d - 9. Let p be b(-11). Suppose p = 15*g - 17. Suppose -4*c = 4*r - 1095 + 271, 3*r - 408 = -g*c. Is 42 a factor of c?
True
Does 3 divide (3 + 194)*(12 - -9)?
True
Suppose 0 = 2*d - 2*t - 62, 4*d + 3*t = t + 118. Suppose v - d - 2 = 0. Suppose v = u + 7. Is 9 a factor of u?
False
Suppose -8*b = -13*b + 1925. Is ((-144)/84)/((-2)/b) a multiple of 30?
True
Suppose -4*s + 3*u = -28, 0 - 8 = 2*u. Suppose -5*j - 2*n = -10, -n = -s*n. Suppose 4*t - 110 = -j*i, -4*t + 141 = 4*i + 33. Is 6 a factor of t?
False
Does 3 divide (2548/(-70) + 36)*(-1 - 2679)?
False
Suppose 16*w = 4*w + 10344. Is w/3*9*10/60 a multiple of 10?
False
Does 16 divide ((-6)/(-4))/((-155)/(-1612000))?
True
Does 49 divide (-7179)/4*(448/(-24))/7?
False
Let m(s) = 3*s + 27. Let h = 71 - 68. Suppose 0 = -3*p - 3*f + 9, -2*f - 33 = -h*p + f. Does 17 divide m(p)?
False
Suppose -177*z = -215*z + 7524. Is 11 a factor of z?
True
Suppose -167 + 239 = -18*w. Is (-1)/w + (-6238)/(-8) a multiple of 30?
True
Is 69 a factor of ((-162)/(-63))/(-9) + 91772/7?
True
Let f(s) be the third derivative of s**6/120 + s**5/20 + s**4/3 + 10*s**3/3 + 2*s**2 - 13. Does 49 divide f(6)?
True
Suppose -6*t - 1049 = -7*t. Suppose -5*q + 541 = -t. Is q a multiple of 12?
False
Let r(z) = 64*z**2 + 3*z + 9. Is r(8) a multiple of 157?
False
Let r(m) = 29*m**2 - 4*m - 9. Let q be r(5). Suppose -3*k + 4*u + q = -k, -5*u = k - 362. Does 22 divide k?
True
Is (-4424)/6*-15*(-252)/(-490) a multiple of 20?
False
Suppose -154*h + 210692 = -654172. Is h a multiple of 18?
True
Suppose -14*a = -17*a + 24. Let r be a/(-20) + 0 - (-54)/10. Suppose 279 = 3*i - v + 53, -r*i = -v - 380. Is i a multiple of 19?
False
Suppose 0 = -4*i - 4*w + 276, 4*i - w - 267 = 4*w. Suppose -2*b - i = -4*z - 4*b, -3*b + 66 = 4*z. Does 6 divide z?
True
Let f = 451 + -446. Suppose f*z - 2*m - 242 = 1267, 4*z + m - 1202 = 0. Is z a multiple of 4?
False
Let p = 9900 - -430. Is 11 a factor of p?
False
Let d = 86 - 73. Suppose -105 = -d*p + 8*p. Does 14 divide p?
False
Suppose -u + 38937 = 4*l, -4*l - 103*u + 108*u = -38907. Is 15 a factor of l?
False
Suppose -u - 16078 = -2*z + 21326, 56084 = 3*z + 4*u. Does 110 divide z?
True
Does 28 divide 17724/4 - (-6 - -13)?
True
Let f be 20/(-30) - (3 - (-87)/(-9)). Let a(z) = 68*z + 42. Does 9 divide a(f)?
True
Let q(w) = -14 + 20*w + 2*w + 2*w**2 - 3*w**2 + 5*w. Suppose 3*o + i - 46 = 0, 5*i = -o + 3*i + 12. Does 33 divide q(o)?
False
Is 269576/16 - (4 - (-9)/(-2)) a multiple of 13?
False
Let w be -10 - 13/(13/(-6)). Does 16 divide w/(-22) - 2944/(-22)?
False
Let y be -8 - -4 - (-48)/6. Suppose 18*j = 19*j - 3*a - 209, -j + 212 = -y*a. Is j a multiple of 26?
False
Suppose 189 = -3*t + 3*c, 3*t - 2*c + 5*c = -189. Let s = t + 69. Suppose -168 = 3*u - s*u. Does 7 divide u?
True
Let u = -145 - -174. Suppose u*i = 23*i + 96. Is i a multiple of 16?
True
Let z = -338 + 376. Suppose 0 = z*y - 55142 + 6312. Is y a multiple of 17?
False
Suppose -3*o - 1609 = -4*z - 6104, 2*o - 4*z = 2998. Suppose 4*p + 3*n - o = 0, 19*p + n = 15*p + 1507. Is p a multiple of 12?
False
Let g = 1 - -3. Suppose -g*o + 3*o = -26. Does 4 divide o?
False
Let r = 6 - 12. Let m be 346/(-2941) + 202*(-2)/34. Is 988/m*-1 + (-4)/r a multiple of 14?
False
Let z(f) = -154*f**3 - 10*f**2 + 77*f + 358. Does 72 divide z(-5)?
False
Suppose -116*w - 175*w = -29*w - 4513212. Is 18 a factor of w?
True
Let q(y) = 369*y**2 - 535*y + 537. Is q(1) a multiple of 9?
False
Let g(w) = -w + 581. Let r be g(0). Let o = -2361 + 1956. Let a = o + r. Is 16 a factor of a?
True
Suppose -4*t + 4*h + 24555 + 7469 = 0, h = 6*t - 48006. Is 100 a factor of t?
True
Is 14/(-4)*125388/(-903) a multiple of 54?
True
Let j be (-3)/(3/(-384)*3). Let v be j + ((-10)/(-2) - 4). Let f = -75 + v. Is f a multiple of 18?
True
Suppose -46*w = -16*w - 14929 - 42401. Does 3 divide w?
True
Is 99 a factor of (2 - 1) + 25739 + (-23 - -13) + 10?
True
Suppose 3*k - 15 + 18 = 0. Let t be 1/((-1)/2*1). Is -35*(t - k) + 1 a multiple of 9?
True
Suppose -16*u - 18*u = 1870. Let f be 311/(-3) + 3/(-9). Let r = u - f. Is 7 a factor of r?
True
Let t be (3/(-6))/(6/(-96)). Let u be t/3*18 + -3. Does 4 divide 542/15 - 6/u?
True
Let t(x) = 44*x**2 - 2*x - 10. Does 10 divide t(-17)?
True
Is 55 a factor of (-828248)/(-20) - 507/(-195)?
True
Let s(z) = -917*z - 352. Is 4 a factor of s(-8)?
True
Let l(a) be the third derivative of a**5/30 + 5*a**4/8 - 21*a**3/2 - 11*a**2 + 4*a. Does 22 divide l(-19)?
True
Let z(m) = 8*m + 30. Let b be z(4). Let s = b - -158. Is 20 a factor of s?
True
Is 87 a factor of (1 - 725)/((-12)/(-864)*-9)?
False
Let a = -145 - -153. Is 43 a factor of 33375/(-50)*(a/(-10) + 0)?
False
Suppose 201405 = 63*n - 264672 + 24825. Is 258 a factor of n?
False
Suppose 86 = 5*i + 2*q - 24, 0 = -i - q + 22. Let d be 2336/26 + i/143. Suppose -3*x + u + 189 = -x, x = -u + d. Does 31 divide x?
True
Suppose 10*q = 5*q + 125. Let f be 1/5 + 920/q. Is f/3 + (-3)/9 a multiple of 7?
False
Is -60*(-943)/161*(-35)/(-2) a multiple of 123?
True
Let o = -35 + 40. Suppose -23 = -b - 5*p - 8, o*p = 10. Suppose 2*r - 128 = -b*u, -4*r = -5*u - 46 + 180. Is u a multiple of 21?
False
Suppose -8*i + 29 = -19. Suppose -553 = i*j - 181. Let a = j + 157. Is a a multiple of 19?
True
Let a(d) = 2*d**3 + 128*d**2 + 249*d + 64. Let l be a(-62). Suppose 0 = w + w - 2*y - 18, 0 = -4*y + 20. Does 9 divide 37/l - 7/w?
True
Suppose -2*x = -7*x - 150. Does 57 divide (-5)/(x/1617)*2?
False
Suppose 2*j + 4*r = 4164, -6250 = -3*j - 9*r + 4*r. Is 29 a factor of (-112)/18 + 6 + j/9?
True
Suppose -5*w + 3*v + 114 = 0, -4*w - v + 100 = v. Suppose -w*z + 167 = -337. Is z a multiple of 7?
True
Let g = 36279 - 17169. Does 245 divide g?
True
Let a(f) = -f**2 + 12*f - 9. Let d be a(11). Suppose -d*z + 71 + 9 = 0. Suppose -17 = -r + z. Is 13 a factor of r?
False
Let c(n) = 4*n - 15. Let l(j) = 9*j - 31. Let m(o) = -7*c(o) + 3*l(o). Let r be m(7). Suppose 0 = -4*d + 5*x + 181, r*x + 321 - 91 = 5*d. Does 23 divide d?
False
Suppose -25 = 15*a - 55. Is (9/(-2))/9*a*-214 a multiple of 68?
False
Let m be 220/2*(1 - 2). Suppose 0 = 9*o - o - 8. Is (m/50)/(o/(-5)) even?
False
Suppose 2*d = -2*q + 748, 0 = -4*q + d - 514 + 2025. Does 9 divide q?
False
Let n(b) = -2*b + 24. Let q be n(15). Let x = -11 - q. Let d(f) = -f**3 + 2*f**2 + 2*f - 12. Does 51 divide d(x)?
True
Suppose 0 = -103*x + 549634 + 130990. Is x a multiple of 118?
True
Suppose -8*u - 9 = -25. Suppose -p + 115 = 3*g - 36, u*p = -5*g + 252. Is (-33)/(g/(-15) + 3) a multiple of 9?
True
Does 40 divide (74127636/(-138))/(-9) + -4 + 10/(-115)?
True
Let b(r) = -6*r - 7. Let m be b(-3). Let i = m - -2. Let c = i - -20. Does 8 divide c?
False
Let l = 27 - 29. Is 5 a factor of 10/((-36)/(-17) + l)?
True
Let x(f) = 2*f**2 + f - 9. Let c be x(4). Suppose -3*u + c = 15. Suppose u*d - 55 = 2*n + 23, -4 = -4*n. Does 2 divide d?
True
Suppose 4*o = 15*b - 12*b + 5615, 1403 = o - b. Suppose 0 = -h - t + 282, 15*h - t = 20*h - o. Is 48 a factor of h?
False
Suppose 5*c - 40 = 2*a, -5*a - 5*c - 45 = 20. Does 11 divide ((-1414)/2)/(a/(-3 + 18))?
False
Let m be 1 - (-7 + 347 + -6). Let a = 442 + m. Does 13 divide a?
False
Let r = 24005