- 2*w - 1. Let b be m(2). Let l be b/(-180) - 78/(-65). Which is bigger: l or 2?
2
Let x = -39 + 35. Let g be 3 + x/(-6)*-3 - 2. Let y be (g - -2) + (-6 - -4). Is y > -3?
True
Suppose 0 = -3*c, 4*a = 3*c - 8 - 8. Let n be 4 + 37 + 0 - a. Let l be 170/n + -2 - 2. Is l smaller than -6?
False
Let r = 743 - 76. Let q = -669 + r. Which is bigger: q or 96?
96
Suppose 2*w - 4*p = 48, 0*w - 96 = -4*w + 2*p. Let f(y) = -280*y + 29705. Let j be f(106). Is j > w?
True
Let i = -9167 - -27500/3. Let j = 1 + -9.4. Let o = -7 - j. Which is smaller: o or i?
i
Let n = 351 + -351.27. Let y = n + -0.73. Which is bigger: -0.15 or y?
-0.15
Let x be (1 - 4) + 7 + 1. Suppose i = -x*u - 43, -5*u - 41 - 114 = 5*i. Let k = i + -18. Which is bigger: k or 0.1?
0.1
Let p(u) = -u**3 + 4*u**2 + u - 4. Let m be p(4). Let o = -270 - -6194/23. Let h = o - -313/483. Which is bigger: m or h?
m
Let i(v) = 3*v - 128. Let t be i(20). Let d = 58 + t. Is -6 at most as big as d?
False
Let z = 4.087 - -0.113. Let v = z - 12. Let m = -8.2 - v. Is 14 smaller than m?
False
Suppose 119*n + 89*n + 2833 = -703. Is n < -361/21?
False
Let t = 46 + -49. Let n be ((-174)/(-9))/((-10)/t). Suppose 0 = 9*p - 4*p - 30. Which is greater: p or n?
p
Let s = 3/332 - -3453/3652. Let h = 2213 + -2212. Is h bigger than s?
True
Suppose 7*z - 35 = -14. Suppose -2*k = 4, 3*n = -0*k + z*k + 9. Let y be (n - (-2)/(-10))/(8/20). Which is smaller: y or -4?
-4
Let x = -7470.4059 - -7470. Do 1/3 and x have the same value?
False
Suppose s = -4*h - 0*h - 113, -2*s - 5*h - 211 = 0. Let p = 15 - 111. Is p at most s?
True
Let i = -66447/2740 + 1/1370. Let q(v) = -40*v**2 + 47*v + 43. Let z be q(2). Which is greater: i or z?
z
Let t = 5537 - -1203. Is 2/7 smaller than t?
True
Let h = 2939/949 + 21/73. Suppose -3 = -j + 6*r, 19*r + 9 = 3*j + 17*r. Is j >= h?
False
Let d = 73 + -73.21. Let p = d + 59.21. Let x = p - 59. Are x and 94 unequal?
True
Let k be ((-14)/1358)/((-422)/1030 - 2/(-5)). Which is smaller: k or 1?
1
Suppose -42*h = -29*h - 78. Suppose -h*m + 10*m + 3*a = -1436, 5*m - a + 1776 = 0. Is -356 smaller than m?
False
Let s = -2.665 - 0.335. Is s greater than or equal to 0.25?
False
Suppose -2*v - 64 = -88. Let z = 19 + -20. Let n(y) = -14*y**3 - 2*y**2 + 1. Let c be n(z). Does v = c?
False
Let m be ((-34)/(-17) - 11) + -20. Let i(f) = -2*f**2 + 2*f - 2. Let a be i(-3). Is a greater than or equal to m?
True
Let h be (0 - 2)/(2/(-5)*1). Suppose 6*p - h*g + 20 = 2*p, -p - 8 = -2*g. Suppose 12 = 4*d - p*d. Which is bigger: d or 2?
d
Let u(j) = -248*j**2 + j + 2. Let x be u(-1). Is x at least as big as -251?
True
Let y = -94.8 - -1.8. Let u = y + 59. Which is smaller: -2 or u?
u
Let v(q) = -2*q**2 - 28*q - 14. Let a(s) = -s - 1. Let y(n) = 6*a(n) + v(n). Let k be y(-17). Is -20 > k?
False
Let b = -19 - -10. Let d = b + 9.2. Let q = -1.27 - 0.73. Does q = d?
False
Let z be 9 + 0 + (-12)/3. Suppose z*g - 4*g - 402 = 0. Let s be 2/(-12) + g/36. Which is smaller: s or 6?
6
Let w = 29 + -27. Suppose -4*z - 4 = w*g + 14, z = g - 6. Which is greater: -17/4 or z?
-17/4
Let o(d) = -d**3 + 35*d**2 - 64*d - 62. Let r be o(33). Suppose 2*k + 40 - 6 = -r*p, 0 = k - p + 2. Which is smaller: k or -96/13?
-96/13
Let v = 16427 + -16438. Suppose 15 = h + 5*n, 5*h - 2*n - 19 = n. Is v <= h?
True
Suppose 49*i = 13*i. Let n be (14/(-140))/((-38)/(-8)) - i. Is 1 greater than n?
True
Let r be 1*(0 + (-3 - -4) - -4). Let h = 33 + 15. Suppose -b - r*o - 33 = 0, b - 5*b + o = h. Is -12 greater than b?
True
Let k = -16/13 + 618/481. Let x(u) = u**2 - u + 5. Let g be x(-6). Let h = g + -46. Is k greater than h?
False
Let y = -11641 - -6686. Which is greater: -0.1 or y?
-0.1
Let b be (0 - 0)*(-1 - -2). Let u = 38/49 - 10/49. Let x = -5/28 - u. Is b < x?
False
Let x = -0.0119 + -71.3881. Let s = 71 + x. Let i = s - 1.6. Is 21 smaller than i?
False
Let q = -16904.9 - -16905. Which is smaller: q or -688/9?
-688/9
Let c = -12976 + 12975. Is 1/8388 > c?
True
Let u(n) = -n**3 - 78*n**2 + 4*n + 317. Let t be u(-78). Let a = 27 + -17. Suppose 2*z + 0*z - a = 0. Are t and z equal?
True
Let v = 0.0697 + 528.9303. Let j = 509 - v. Is j less than or equal to -5?
True
Let j = -2.35562 + 0.05562. Which is smaller: j or 22/5?
j
Let n be 15 - (-2)/(-10)*5. Let k be (-2070)/n + 3 - (-3)/(-21). Which is bigger: k or -146?
k
Let v be 35154/(-306) - (0 - -6)/(-2). Let t = v - -16389/136. Which is greater: t or 8?
t
Let r = 0.042572 + 208.957428. Let u = 0.5 - 1.5. Is r smaller than u?
False
Let i = 70981 - 287789/4. Which is bigger: i or -967?
i
Let t be 40/4*2155/100*(10 - 18). Which is smaller: -1714 or t?
t
Suppose -4*y + 22 = 5*m, -2*m = 2*m - 5*y + 7. Suppose -3*i - m*i = 5. Let j = 9/65 - 509/390. Which is smaller: i or j?
j
Let k(d) = 16*d - 3. Let q be k(-4). Let p(r) = -2*r - 13. Let t be p(4). Let y be 1/(-3) + 1400/t. Are q and y equal?
True
Let s be ((-4)/(-11048))/(21/(-290022)) - (-9 - -4). Is s less than or equal to 0?
True
Let x(b) = -b**2 + 8*b + 13. Let t be x(9). Let z = -23 - t. Let o(c) = -c**3 - 12*c**2 - 7*c + 18. Let r be o(-11). Are z and r non-equal?
True
Let d = -960 + 952. Let o(z) = z**3 + 11*z**2 - z - 12. Let g be o(-11). Is g > d?
True
Suppose 3594*k = 3586*k - 2408. Is -2720/9 != k?
True
Let m = -151.38 - -9118.38. Is -0.2 at most as big as m?
True
Let v = -31873/4 + 7710. Are -258 and v non-equal?
True
Let b = -4061/459670 + -1/2138. Let u(p) = -p + 3. Let g be u(4). Is b less than or equal to g?
False
Let u = -146 + -779. Let z = u + 925.232. Is 0 smaller than z?
True
Let f be (-30402)/27*(-3)/24*-9. Which is greater: f or -1268?
f
Let f be (-2)/(-6) + (-4)/(-6). Let q = 20080 + -401587/20. Is f at most as big as q?
False
Suppose 4*q + 7 = p - 0, 0 = -p - 4*q + 7. Suppose p*b - 3 = 6*b. Let s be (-1 - -2)*(b + -5). Is s less than or equal to 0.08?
True
Let t(r) = r**3 - 8*r**2 - 10*r + 22. Suppose 0 = q + 3*n - 18, -q + 6 + 0 = -n. Let c be t(q). Suppose 7*g + 1 = -c. Is -1 < g?
False
Let w be (280/308)/(-10)*0. Let m be (1/16)/(0 + 2). Is w != m?
True
Let f(m) = -82*m + 569. Let j be f(9). Is 0.2 bigger than j?
True
Suppose 2*c - 8 = -5*n, -1395*c - 4*n + 11 = -1398*c. Let r be ((-3)/(-2))/(3/30). Which is smaller: r or c?
c
Suppose 64 = 969*t - 953*t. Is 386/93 greater than or equal to t?
True
Suppose -5*l + 16*q = 14*q - 23, 0 = -q + 1. Let k be (1 + l)/(20/12 + -1). Which is greater: 11 or k?
11
Let m be (0 - 2)*14/4. Let f be (-3081)/45 + 9/(3 - -6). Let i = f - -2696/45. Does m = i?
False
Let a be (-3)/18 + (-134)/(-12). Suppose 0 = 5*b - 14*d + a*d - 260, 4*d + 52 = b. Is 54 at most b?
False
Let h(v) = v**3 - 6*v**2 + 5*v - 13. Let a be h(6). Suppose a = 4*d + 3*n + 6, 4*d - 5*n = 35. Suppose -10*f = 11*f. Is f >= d?
False
Let c = -51424 - -51303. Let h(f) = -61*f + 2. Let s be h(2). Which is smaller: c or s?
c
Let u be (-17 + 18)*(5 - 4/1). Is u at most as big as 1/816?
False
Suppose -3*d + 497*q + 13131 = 500*q, 2*d = 4*q + 8784. Is 4382 >= d?
True
Let h be ((-3)/(-6))/(2 - 14185/7090). Let u = h + 3568/5. Which is smaller: 4 or u?
4
Let c = 37/281 - 69959/524908. Which is smaller: 1 or c?
c
Suppose -12 - 16 = 5*f - 28. Are 4121/6 and f equal?
False
Suppose 0 = 2*m - m - 3*a + 5726, 2*m = -a - 11466. Does -5730 = m?
False
Let g = 2/3925 - -7808/82425. Is g != -706?
True
Let q be 45723/18 + 2/48*-4. Let i be 20/(-90) + q/(-315). Which is smaller: -7 or i?
i
Let l be 30/(-99) + 376/(-1034). Which is greater: l or 419.4?
419.4
Let t = 7.3 + 1.7. Let a(s) = -s**3 + 17*s**2 - 17*s + 16. Let o(z) = z**2 - 13*z + 28. Let j be o(12). Let v be a(j). Is v smaller than t?
True
Suppose -54*j = 14*j + 4*j - 19944. Which is smaller: 269 or j?
269
Suppose 5*g - u - 23 = -6, 2*u = -5*g + 26. Suppose -g*v = -122 - 6. Suppose -6*b + v = 2*b. Is b greater than 4?
False
Let i(c) = 20*c - 17. Let a be i(1). Suppose -209 = -3*n - h, 5*n + 121 = 7*n - a*h. Are n and 69 nonequal?
True
Let i = 10927 - 10928. Let y be (-4)/(-40)*(-18)/(-5). Which is bigger: y or i?
y
Suppose 2*r - 5*r = -p + 2, 3*p + 3*r - 6 = 0. Suppose p*c - 2 = 2*t - 0*t, 1 = -5*t + 3*c. Which is smaller: t or -2/345?
-2/345
Let t = 370 - 2599/7. Suppose -100 = 5*k - 2*q, 3*q + 10 - 61 = 3*k. Let x = k - -21. Which is smaller: t or x?
t
Let n be 15/90 + 87/18. Suppose n*