*x - 96 = -28*x. Does 16 divide x?
True
Let u be 47 + (4 - (1 - -3)). Is 5 a factor of u + 5 - 3 - 4?
True
Let d = -105 + 76. Let f = d - -55. Suppose -4*w + f + 62 = 0. Does 22 divide w?
True
Let u(b) = -33. Let r(c) = -c - 31. Let k(p) = 7*r(p) - 6*u(p). Let n be k(-11). Suppose -4*d = 4*m - 100, -3*m = -3*d - 23 - n. Does 6 divide m?
False
Suppose -158096 - 79619 = -9*a + 43805. Is 136 a factor of a?
True
Suppose -4*y = -5*n + 875, 0 = 18*n - 19*n + 4*y + 159. Let d be (-51)/(-2)*(-8)/6. Let t = n + d. Is t a multiple of 29?
True
Suppose y - 53 = 61. Suppose -4*f - 54 = -b - 0*f, y = 3*b + 4*f. Is 10 a factor of (b/48*-2)/(2/(-176))?
False
Suppose 39*y - 608149 = 15*y - 19*y. Does 7 divide y?
False
Let z be 0 - 1/(-2)*(2 - 694). Let p = z + 771. Does 17 divide p?
True
Let d(g) = -27*g**3 - 141*g**2 + 6*g - 9. Does 7 divide d(-10)?
True
Suppose 5*o - 20 = 0, 5*n = 3*o - 13088 + 4191. Let w = 3104 + n. Suppose -14*f + w = 501. Is f a multiple of 9?
False
Let y be (-27)/36 + (19998/8 - 0). Let x = -1544 + y. Suppose -2*s + 366 = -0*s - 2*o, 3*o = -5*s + x. Is 13 a factor of s?
False
Let x = 660 + -576. Suppose 3*s - 4*a - 232 = s, 5*s = 4*a + 592. Suppose -x - s = -q. Does 17 divide q?
True
Let v = -132 - -139. Suppose -v*r - 516 = -5675. Does 67 divide r?
True
Suppose -32*i = -27*i. Suppose -2*x + 7*x = i. Suppose 7*u - 182 - 70 = x. Is 6 a factor of u?
True
Suppose -5*m + 6*m - 484 = 0. Is m + -9 + 5 + -1 a multiple of 52?
False
Suppose -5463 = -w + 29*c - 26*c, -4*w - c = -21774. Is 4 a factor of w?
False
Suppose 30666 = -47*n + 51*n + 2*s, n = -2*s + 7662. Does 148 divide n?
False
Let y(a) = 85*a + 59. Let k be y(5). Suppose z - k = -z. Does 11 divide z?
True
Suppose 72*o - 107511 = 65697 - 21288. Does 2 divide o?
True
Suppose 369*u - 1026 = 367*u + 3*b, -2*u = 3*b - 1050. Does 14 divide u?
False
Let b(s) = 9*s + 2076. Does 10 divide b(-14)?
True
Let t be -2*(-8)/(-3)*(-567)/6. Suppose 14*w = 7*w + t. Does 7 divide w?
False
Let p(h) = -h**2 - 13*h - 18. Suppose 3*l - 495 = 8*l. Let i = l - -88. Is 2 a factor of p(i)?
True
Let j = -29 - -32. Let v(u) = -13*u**2 - u**j + 17 + 0*u**3 - 4*u**2 - 21*u + 3. Does 20 divide v(-16)?
True
Let j be ((-5)/(-15))/(1/30). Let k be -1 + 9/(-6)*j/3. Is 13 a factor of (1*-18)/(k/39)?
True
Let z = 43904 - -34568. Is z a multiple of 124?
False
Let l(a) = 103*a - 24. Let j be l(-6). Let v = j - -983. Is 11 a factor of v?
True
Let j = -59 + 68. Suppose -q + 4*v = -20, -3*v - j + 1 = q. Suppose q*k - 120 = 4*c - c, -5*c = 4*k - 120. Is 8 a factor of k?
False
Let z(w) = -8*w**3 - w**2 + 20*w + 12. Does 24 divide z(-6)?
True
Let q(w) = -3*w**3 + 1. Let g be q(-2). Let o(d) = 136*d + 717. Let y be o(-5). Let p = y - g. Is p a multiple of 6?
True
Let x be 4/26 - -310*(-6)/(-78). Suppose -1275 = x*i - 29*i. Is 20 a factor of i?
False
Is (-975)/1625 + (-53676)/(-10) a multiple of 23?
False
Suppose -2*r + 4*u + 24 = 0, -5*r - 2*u - 2*u + 18 = 0. Let y(f) = 2*f**3 - 19*f**2 + 3*f. Let m be y(6). Is m/(-65)*80/r + 0 a multiple of 8?
True
Let d(m) be the first derivative of 3*m**4/4 - 11*m**3/3 + 3*m**2/2 + 11*m - 68. Is 6 a factor of d(4)?
False
Suppose -4*w - 14556 = -g, 5*g - 30162 = w + 42504. Is g a multiple of 24?
False
Let i(n) = -1. Let w(z) = -2. Let a(d) = 4*i(d) - 5*w(d). Let m(p) = -p + 12. Let r(y) = 7*a(y) - 4*m(y). Is 18 a factor of r(6)?
True
Suppose 0 = -2*k + c + 12, 6*k - 39 = k - 2*c. Is (k - 61306/(-70)) + (-8)/10 a multiple of 12?
False
Let p(m) = -m**2 + 1. Let t(y) = -3*y**2 - 18*y + 30. Let x(b) = 4*p(b) - t(b). Let l be x(16). Let q(s) = -s**2 + 10*s - 1. Does 19 divide q(l)?
False
Let c be (-38)/7 + (-4)/7. Let f be c/7*(-63)/45*570. Suppose 2*d - 3*d + 668 = 4*o, -f = -4*o + 3*d. Is o a multiple of 42?
True
Is (25 - (-14 + 30)) + 4443 a multiple of 21?
True
Suppose 18*d + 219 = 273. Let m(u) = 119*u**2 - 9*u + 6. Is 15 a factor of m(d)?
True
Let o be 3/2*7952/21. Let i = o - 378. Does 38 divide i?
True
Suppose 5*c - 9420 - 14814 = -k, -2*c = 4*k - 96990. Is 26 a factor of k?
False
Suppose 43 = d + 29. Is 16 a factor of d/35 - (-7526)/10?
False
Let k be (-104)/65*(-3 + (-5)/(-10)). Suppose 124 = 2*j - 868. Suppose -4*v + j = k*v. Does 5 divide v?
False
Let g = 67 - 71. Is (-138)/(-2) - -2 - (0 + g) a multiple of 61?
False
Let s(x) = 451*x + 15811. Is s(-7) a multiple of 171?
True
Suppose 12*k + 4*g + 53152 = 16*k, g = 5*k - 66432. Is k a multiple of 57?
False
Let b(d) = 5*d + 10. Let w be b(25). Let q = w - 51. Let l = q + -6. Does 13 divide l?
True
Let x be (-2 + (2 - -1))/(0 - 1). Let s be 0 + x*(-32)/2. Suppose -v + s = -6. Is 22 a factor of v?
True
Let l be 7/(-2)*5962/(-77). Suppose 0 = 2*t - j - 301, 4*j - l = -4*t + 313. Does 48 divide t?
False
Suppose 0 = -6*d + 5*s + 34018, 4*d + 5*s - 1042 - 21620 = 0. Is 13 a factor of d?
True
Let x(n) = -n**2 + 37*n + 40. Let i be x(38). Suppose -5*z - 116 = -i*c + 769, 3*c + 5*z = 1265. Is 14 a factor of c?
False
Let a = -97726 + 164595. Is a a multiple of 47?
False
Let t be -3*4/3 - -16. Suppose -t*q = -q - 495. Is 5 a factor of 9/q + 159/5 + 2?
False
Let q(m) = m**3 + 6*m**2 + 5*m - 14. Let g be q(-6). Let k = g - -47. Is (k/(-12)*-4*-358)/(-2) a multiple of 30?
False
Let d(z) = 3*z - 45. Let x be d(7). Is (2 - 1)/((x/3594)/(-4)) a multiple of 20?
False
Let p(y) = y**3 + y + 0*y**2 + 0*y**2 - 24 + 37. Does 46 divide p(4)?
False
Let m = 670 + -20. Suppose m - 2095 = -5*g. Is 19 a factor of g?
False
Let t(s) = -53 + 35 + 77*s + 24. Does 33 divide t(5)?
False
Let o(a) = -a**3 - 21*a**2 - 58*a - 24. Let n(w) = -19*w - 151. Let m be n(-7). Does 4 divide o(m)?
True
Let r = 11 - 15. Suppose -606*q + 610*q - 6 = -3*k, -2*q - 2 = 4*k. Does 25 divide (q/9)/((r/882)/(-2))?
False
Let k(n) = 10*n**2 + 2*n + 224. Let b(x) = 12*x**2 + 2*x + 225. Let d(a) = -4*b(a) + 5*k(a). Is 22 a factor of d(21)?
True
Let s(v) = -2*v**3 + 22*v**2 - 18*v - 18. Let o be s(10). Is o/(-7) + 1152/14 a multiple of 41?
True
Let k(w) = 2*w - 22. Suppose 3*z = z + 30. Suppose 5*n - 19 = -3*a + 56, n = a + z. Is k(n) even?
True
Suppose 7*z = 5*z + a + 6347, -z - 2*a + 3176 = 0. Suppose -z = -6*q + 516. Is 19 a factor of q?
False
Let b(k) = -12*k + 10 - 6*k**2 + 3*k**2 + 1 + 0*k. Let s be b(-6). Let i = s - -75. Does 21 divide i?
False
Suppose -c - c = -4*k - 246, 357 = 3*c - 2*k. Let q = c - 93. Suppose 19*v - q*v = -800. Is 31 a factor of v?
False
Let d(f) = -18*f - 12 + 15 + 3. Let a = -11 - -8. Does 10 divide d(a)?
True
Let v = 11571 + -7266. Let b = -3057 + v. Is b a multiple of 98?
False
Let y(p) = -23*p**3 + 23*p**2 - 10*p - 216. Is y(-7) a multiple of 6?
False
Suppose 0 = 2*i - 0*y + 3*y - 8, -4 = -2*y. Let w be -8 - (i - 8/2) - 1. Does 6 divide 27 + w - (3*2)/2?
True
Suppose 4667*i - 4662*i = 39000. Does 41 divide i?
False
Let v(o) = -64*o**3 + 3*o**2 - 5*o + 5. Let m be v(2). Let w = m + 847. Is 17 a factor of w?
False
Suppose 4*j = 4*t - 22 + 90, 3*t = -j + 9. Is (j/10)/((-3)/(-28)) a multiple of 11?
False
Let t = 10820 - 6815. Is 14 a factor of t?
False
Let n(a) = 6*a + 127. Let o be n(-20). Let h = -28 + 63. Suppose -2*r = -h + o. Does 5 divide r?
False
Let w = -3107 - -8364. Is 96 a factor of w?
False
Let d(n) = -n**3 - 37*n**2 - 102*n + 32. Does 16 divide d(-34)?
True
Let r be (-2157)/(-6) - 6/(-12). Suppose -56*l = -57*l + r. Does 15 divide l?
True
Suppose -7522*s - 4*x = -7521*s - 26032, -3*x - 130206 = -5*s. Is s a multiple of 124?
True
Let x(b) = -20*b + 363. Does 4 divide x(-4)?
False
Suppose -3*s - 121*t = -122*t - 73488, 0 = 4*s + 3*t - 98010. Is 12 a factor of s?
False
Suppose 68986 = 4*a + 2*h, -4*a + 22834 + 46124 = -2*h. Does 60 divide a?
False
Suppose 5*t - 1925 = 2*f, -5*t + 1169 = -2*t - 4*f. Let u = t + -158. Is 8 a factor of u?
False
Let d(i) = 60 + 37 - 38*i - 37 + 92 + 95. Is 7 a factor of d(-9)?
False
Suppose 5*p = 18*p + 26. Does 9 divide -2 + 3 - (p/1 - 258)?
True
Let b = 627 + -180. Let z = -87 + b. Is 20 a factor of z?
True
Suppose 76 = -2*r + 66, 4*r - 13164 = -2*t. Does 103 divide t?
True
Suppose -4*j + 9 = -j. Let a be ((-252)/(-24))/(6/(-12)). Is (1603/a + 7)*j/(-2) a multiple of 8?
True
Let y be (-19)/(2*1/(-2)). Let p = y + -1. Does 2 divide p?
True
Is 31 a factor of 578948/14 - (-43 - (-594)/14)?
True
Let v(z) = -188*z - 708. Is v(-11) a