e
Let i be ((-6)/6 - -50) + 2. Suppose 3*y - 30 = i. Does 16 divide y?
False
Does 16 divide (-19758165)/(-340) + 2/(-8)?
True
Let w be ((-61)/(-2))/((-4)/32). Let x = 273 + w. Does 2 divide x?
False
Suppose -3*h = 2*h + 10. Let z(x) = -5*x**2 + 4*x**2 + 723124*x**3 - 723137*x**3 + 2 + 2*x. Is z(h) a multiple of 23?
False
Suppose 74 = 4*z + 5*x - 55, 3*z = -4*x + 97. Suppose 9 = 5*o - z. Does 2 divide o?
True
Let m(t) = -65*t + 1147. Is m(-11) a multiple of 19?
True
Suppose -15*v - 27393 = -91293 - 48780. Is 10 a factor of v?
False
Suppose 3*s - 12 = -0. Suppose -3*k = 2*i - 8*k - 106, -2*i + 106 = s*k. Suppose 2*z - i = -5. Does 24 divide z?
True
Is 71 a factor of 10/45*18*3511?
False
Let t(v) = -3*v**2 - 30*v - 20. Let q be t(-8). Suppose 4*m - 423 = -3*b + 427, 0 = 2*m + b - 426. Let k = q + m. Is 22 a factor of k?
True
Let p(q) = 10*q**2 + 43*q + 1270. Is 63 a factor of p(-20)?
True
Let q(s) = -2*s + 12. Let c be q(4). Suppose -16*g = 201 + 7. Is (-15 - g)*(-56 - (-2 + c)) a multiple of 40?
False
Suppose 0 = 4*a - 2*a + 2*a. Suppose a*t - 568 = 4*t. Let m = -98 - t. Is m a multiple of 4?
True
Suppose 0 = 8*v - 8613 - 15603. Let c = v + -2104. Is 62 a factor of c?
False
Suppose 14 = 2*v + 2*h, -6*v = -v - 2*h. Let c = -6 + v. Is 11 a factor of ((-26)/(-3))/(c/(-18))?
False
Suppose 3*o + 17 = 4*u, -o = 5*u - 11 - 15. Suppose -5*j = 4*t - 541, 3*j - 125 = 2*j - u*t. Suppose j = -5*l + 410. Is 26 a factor of l?
False
Suppose -58*s = 96*s + 1277091 - 3969011. Does 76 divide s?
True
Let c = 16788 - 572. Is c a multiple of 96?
False
Let z(q) = 2*q**3 + 14*q**2 + 15*q + 72. Let k(l) = -l**3 - 16*l**2 - 16*l - 72. Let t(n) = -3*k(n) - 2*z(n). Is 2 a factor of t(21)?
False
Let m = 2 + -2. Suppose 7*q - 1134 = -1134. Suppose 4*h + m*b = b + 720, q = -5*h - 2*b + 887. Is h a multiple of 27?
False
Let n be 0 - (4 + 3) - -22. Suppose 2*x + 2*z - 1756 = 0, -n*x - 4*z = -20*x + 4426. Does 42 divide x?
True
Let a = -2179 + 6233. Is a a multiple of 20?
False
Let h = 4883 - -9599. Is 13 a factor of h?
True
Let j = -15674 - -22203. Does 9 divide j?
False
Does 26 divide 3206 + -4 + 11 + 5?
False
Let s = 17153 + -5858. Is 70 a factor of s?
False
Suppose 0 = c - g - 2, 3*c - 8 = 6*c + 4*g. Is 34 a factor of (c - -502) + 3 + (7 - 2)?
True
Let g be (-1 + 0)/(22/(-110)). Suppose 314 = g*v - 676. Does 66 divide v?
True
Suppose 5*g + 2970 = 3*i - 7630, -4254 = 2*g - 4*i. Let d = g + 3049. Is 22 a factor of d?
False
Does 23 divide 1/(-3) + 29712/36?
False
Let v = -2506 + 86446. Is v a multiple of 60?
True
Is 14 a factor of (-40)/25 - 18768/(-5)?
True
Suppose 32172 = d - 4*x, 474 - 489 = -5*x. Does 54 divide d?
True
Let z be 6/(2 + -2 + -2). Is z/(-9)*-4*(-1926)/24 a multiple of 16?
False
Suppose 0*c = -218*c + 1778880. Is c a multiple of 68?
True
Let q = -894 - -1035. Let y be 4/1*92/8. Let a = q + y. Is 17 a factor of a?
True
Suppose -11*x = -4*x + 21. Let s = x - 1. Let l(w) = 2*w + 17. Does 9 divide l(s)?
True
Let i = -505 + 511. Suppose i*s - 219 + 69 = 0. Is s a multiple of 2?
False
Suppose -4*v - 60 = 3*k - 9965, -9904 = -4*v - 4*k. Suppose -11*n = -10*n - 3*x - 501, -x = -5*n + v. Does 24 divide n?
False
Is 185 a factor of (1530/(-72) - -12)*-800?
True
Let a = -88 - -84. Let u(x) = -5*x - 15. Let b be u(a). Suppose -m = -b*g - 149, 3*g + 763 = 3*m + 280. Is m a multiple of 21?
False
Let c(t) = t**3 + 100*t**2 + 63*t + 240. Is c(-99) a multiple of 4?
True
Suppose -15 = -2*n - 23. Is (n/(-6))/(12/8982) a multiple of 36?
False
Let f(g) = -8*g**2 + 32*g + 93. Let d(j) = -7*j**2 + 27*j + 93. Let h(i) = -3*d(i) + 2*f(i). Is 10 a factor of h(-5)?
False
Let q(o) = o**3 + 4*o**2 - o - 6. Let j(c) = -4*c**2 + 5*c + 5. Let s be j(-1). Let v be q(s). Does 12 divide (v/(-3))/1*267?
False
Let h = 21 - 19. Let q be ((-15)/h)/(-3 - 34/(-12)). Let m = 91 - q. Is 9 a factor of m?
False
Suppose -10*q - 2225 + 655 = 0. Let m = q - -330. Is 14 a factor of m?
False
Is 26 a factor of 2 - 5 - 6 - -2895?
True
Suppose 0 = -25*q + 28*q - 3*c - 69090, 4*q - 3*c - 92124 = 0. Is q a multiple of 46?
False
Let x be -4 + 0 + 11 + -1. Suppose 97 = -x*c - 29. Let g = c + 31. Is g a multiple of 10?
True
Let s = -31336 - -66040. Is 266 a factor of s?
False
Let m = 5249 + 928. Is 3 a factor of m?
True
Suppose -6*m + 27 - 171 = 0. Suppose -4*b - x = 2*x - 591, -15 = -3*x. Let v = b - m. Is 30 a factor of v?
False
Let d be (-20)/(33/(3003/(-26))). Suppose -5*b = 222 + 118. Let m = d + b. Does 2 divide m?
True
Suppose -236*u - 127*u + 3392164 = 917956. Is 96 a factor of u?
True
Let l be ((-3)/2)/((-3)/20*2). Suppose -l*h + h = -h. Suppose h = 7*f - 795 + 186. Is f a multiple of 21?
False
Let x = 3174 - 879. Is 27 a factor of x?
True
Let j(n) = 100*n**2 - 2*n + 36. Is 9 a factor of j(11)?
True
Let v = 68 - 57. Let t(s) = 0 - 24*s + 5 + 14*s - v*s. Does 9 divide t(-2)?
False
Let f(d) be the second derivative of d**5/20 + 5*d**4/6 - 13*d**3/6 - 25*d**2/2 - 37*d. Let n be f(-11). Is (-170 + 0)*((-9)/(-3))/n a multiple of 13?
False
Suppose 5*m - 23 = -2*d, 2*m - 1 - 4 = -5*d. Let u be -1 + d - 2*-1. Is 13 a factor of u - -12*(-7)/(-1)?
False
Let c(i) = i**3 + 32*i**2 - 35*i - 60. Let k be c(-33). Let y(o) = 17*o**2 - 10*o - 12. Is y(k) a multiple of 53?
False
Let i be ((-80)/240)/(2/(-12)). Suppose -417 = -2*f - 4*b - 23, -i*b - 382 = -2*f. Is 6 a factor of f?
False
Let l(g) = -507*g - 16758. Is 249 a factor of l(-119)?
True
Suppose -2*m - 3*m = -r + 71, 4*m = 2*r - 112. Let t = 23 - 37. Let w = r + t. Does 16 divide w?
True
Suppose -37*b + 3442 = -41*b + 2*t, -3457 = 4*b - 5*t. Let g = -314 - b. Is 34 a factor of g?
True
Let t be 18 + ((-20)/5 + 0 - -6). Suppose -t*x + 16*x = -228. Does 3 divide x?
True
Suppose -5*b - 2*l = -46491, -4*b - 5*l - 27286 = -64472. Is b a multiple of 44?
False
Suppose 16370 + 16377 = 35*x + 2122. Is 35 a factor of x?
True
Let u(x) = -2822*x**3 - 36*x**2 - 78*x - 4. Is 137 a factor of u(-2)?
False
Let v(x) = 41*x**2 - x + 3. Let u be v(-4). Suppose 4*n + 2*f - 911 = -3*f, -3*n + 3*f = -u. Does 32 divide n?
True
Let d = 11607 + -8925. Does 7 divide d?
False
Let h be (2/3)/(2/(-18)*-2). Suppose -2*w + 350 = -w + h*d, 12 = 3*d. Does 13 divide w?
True
Suppose -5*b = b - 4044. Suppose 412 = 3*u + 3*h - b, 2*u + 4*h = 718. Suppose -5*r + u = v + 4*v, 3*v - 4*r = 226. Is 9 a factor of v?
False
Suppose -20517 = 4*j - 59673. Is 39 a factor of j?
True
Let y = 12 - 10. Suppose -3*f = 3, -5*f = -0*m - y*m - 67. Let k = m + 59. Is 14 a factor of k?
False
Let o = -18228 + 25612. Does 71 divide o?
True
Let s(u) = 26*u**2 + 121*u - 2471. Does 10 divide s(28)?
False
Let j = -751 + 2670. Is 101 a factor of j?
True
Let k be (9/(-8) - (-29)/232)*1733. Let s = k - -2645. Is 16 a factor of s?
True
Let m(t) = -3*t**3 - 15*t**2 + 34*t - 7. Let p(x) = 16*x**3 + 75*x**2 - 172*x + 36. Let i(j) = -11*m(j) - 2*p(j). Is 35 a factor of i(-15)?
True
Is 8/36 - (-16925576)/666 a multiple of 262?
True
Let u = 1860 + -677. Is 15 a factor of u?
False
Suppose -2*m - 396 = -3*r, -2*r = m - 207 - 50. Let f = r - 124. Is 3 a factor of f?
True
Let i = -94 + 98. Suppose -i*g = -6*g - 136. Is 12 a factor of g/6*(-5)/((-20)/(-42))?
False
Let i = -1697 - -1779. Let y be 2370/(-35) + 4/(-14). Let k = i + y. Is 2 a factor of k?
True
Let v = -243 + 243. Let j(u) = 2*u**3 + 6*u**2 + 4*u - 2. Let w be j(-4). Let f = v - w. Does 25 divide f?
True
Let z(y) = -2*y + 48 - 3*y + 44*y. Does 18 divide z(2)?
True
Does 10 divide 36/(-180) - (-4)/(-5) - -281?
True
Let n = -28 - -33. Suppose -n*c - 152 = -507. Suppose g = 3*v + c, v - 114 = -0*g - 2*g. Is g a multiple of 14?
False
Suppose 6*v = 7*v + 1429. Let g = -944 - v. Is 7 a factor of g?
False
Suppose l - 3*n = 23 - 4, -3*l + 3*n = -57. Is 11 a factor of l*(-1)/((4/44)/(-1))?
True
Let u(y) = -y**3 - 12*y**2 - 14*y + 11. Let o be u(-11). Let w = o - 39. Is 42 a factor of (-72)/w*25/(-2)?
False
Suppose i + 1386 = 4*i - 5*j, 0 = 3*j. Is 18 a factor of 5/((-7)/i*-6)?
False
Suppose 0 = 2*b - 2*y - 11872, 271*b - 276*b + 29688 = -3*y. Is 60 a factor of b?
True
Let j(z) = 3*z**2 - 152*z + 36. Is j(54) a multiple of 72?
True
Let x(k) = 339*k - 7162. Is x(31) a multiple of 13?
False
Does 12 divide (20*153/(-42))/((-24)/336)?
True
Suppose 0 = -4*f - 80*f + 7*f + 149765. Is f a multiple of