). Which is greater: w or 3/2?
3/2
Let g = -6358 - -6358. Do 13/126 and g have the same value?
False
Let i = 240248/13739 + -40/1249. Let k = 1366/77 - i. Are -0.209 and k nonequal?
True
Suppose 4 = 3*f + 1. Let s = 9216 - 1188866/129. Does s = f?
False
Suppose -5*y = -10*y - 120. Let x = 24 + y. Let w = 111 + -2329/21. Is w < x?
False
Let w = 383.48 + -369.48. Which is greater: 885 or w?
885
Let u(f) = -191*f + 1. Let q be u(-3). Let h = q + -5161/9. Let l(m) = -567*m - 5101. Let d be l(-9). Which is smaller: d or h?
h
Let i be (11/33)/((-1)/3) + 78. Let k = -278 - -355. Does i = k?
True
Let v = 7691 - 7364. Which is bigger: 337 or v?
337
Let w(j) = 4 - 4 + 2 + j - 6 - 4. Let y be w(9). Is -3/121 >= y?
False
Suppose 5*d + 7965 = 4*h - 9*h, 4*d - 3*h + 6414 = 0. Is d < -1601?
False
Let x = 99.544 - -11.456. Which is smaller: x or -3.7?
-3.7
Let y be 1/(-7) + (-3748)/(-26628). Let m be -10 - (4 - 6)*5. Is m less than or equal to y?
False
Let v = -20479/65747 + 14/1529. Let g(y) = -y**2 + 5*y + 5. Let u be g(6). Is u less than or equal to v?
True
Let g = 116 + -284. Let x be (6/7)/(2/g). Which is greater: -73 or x?
x
Suppose 2*k - 55 - 27 = 0. Let m(z) = -5*z + 52. Let h be m(10). Suppose 0 = l + 2*d - 52, 3*l - 36 = -h*d + 100. Are k and l nonequal?
True
Let h be 7/3 + 14/21. Suppose h*z + 116 = y, y + 4*y - 60 = 2*z. Suppose 5*p + 197 = 4*x, 0 = -2*p - 2*p + 5*x - 154. Is z greater than p?
True
Let b = 20.87 + -3.67. Is b less than or equal to -0.1?
False
Let x be -1*24/20*13340/1566. Which is greater: x or 11?
11
Suppose 2*u - 8*u + 193 - 4009 = 0. Which is bigger: -625 or u?
-625
Suppose -366 = 3*u + 3*q, -5*u + 5*q = -0*q + 640. Let j be 2*(-60)/u + -1. Is j < -1?
False
Let j = -780.63 + 788. Let p = 8.37 - j. Is 80 greater than or equal to p?
True
Let p(h) = -11*h + 51. Let l be p(4). Let i(f) = f**3 + 13*f**2 + f + 18. Let q be i(-13). Suppose 33 = -q*y - l. Which is greater: y or -12?
y
Let p = -705 + 709. Let n be (-6)/p*(31/(-6) - 3). Which is bigger: n or 12?
n
Let d(v) = -1203*v**3 - 2*v**2 + v. Let w be d(2). Let s be -2 + 52/20 + 5718/w. Is s >= 0?
True
Let x = -15310 - -15316. Which is bigger: -104 or x?
x
Let f = -315 + 366. Which is smaller: f or 8?
8
Let w = 168.28 + 1.92. Let y = w + -9.2. Which is smaller: y or 1?
1
Suppose -8 + 30 = -4*q - 5*k, -5*q = 3*k + 21. Which is bigger: -192 or q?
q
Let r(v) be the third derivative of -v**6/120 + 3*v**5/20 - 5*v**4/6 - v**3 - 119*v**2. Let d be r(6). Which is bigger: d or -15?
-15
Suppose -4*o = w - 89, 2*w + 3*o = 2*o + 164. Let c be (w/36)/((-6)/(-8)). Is c greater than or equal to 5?
False
Let b(s) = s**2 - s + 7. Let m be b(0). Let f(t) = 2*t**3 - 3*t**3 - 5*t + 13 - 209*t**2 + 201*t**2. Let n be f(-7). Is n at least m?
False
Let y = 155 + -104. Suppose -51 = 2*g + y. Is g less than -417/8?
False
Let w(n) = -12 + 3*n + 22*n - 28*n. Let m be w(2). Are -18 and m unequal?
False
Let r(m) = 27*m - 2571. Let u be r(84). Is -298 < u?
False
Let d = 157 - 100. Let q = -46 + d. Suppose 8 = -q*g + 7*g. Which is smaller: g or -3?
-3
Suppose -15 = -3*q + 81. Suppose 0 = -3*t + 4*o - 40, -3*o = 5*t - o + q. Let k be (-2)/(-2) - t/2. Is 0.5 < k?
True
Let d be 119/14 + 10 + -18. Which is greater: d or -0.2926?
d
Let s = 1485 + -1483. Which is greater: 0.34 or s?
s
Let o be (-3 + 1)*(2 + -3). Suppose -o*g = -6*g - 0*g. Is g greater than -159?
True
Let w = 3.01 - -81.59. Let a = -85 + w. Let m = 10 - 7. Does m = a?
False
Suppose -7*s = -17*s - 190. Let i(b) = -b - b + 3*b - 8 - b**3 - 10*b**2. Let f be i(-10). Is s < f?
True
Let d(h) = -5*h**3 + 2*h**2 - 1. Let a be d(-1). Let w = 244868 + -1714032/7. Which is bigger: w or a?
w
Let r = -3 - -1. Let j = -0.09 + -2.11. Which is bigger: r or j?
r
Let p = 0.17 + 0.83. Let n = -1271.1 + 1271.11. Which is smaller: n or p?
n
Suppose c + 3*f = -0*f + 2, -2*c + 2*f + 4 = 0. Let n be 5/(-5)*-10 - c. Let x be 16 + -2 + -2 + -1. Which is smaller: n or x?
n
Let g(y) = -34*y - 752. Let c be g(-19). Are -107 and c unequal?
True
Let f be (186/155)/((-996)/(-15)). Let m(i) = i**2 - 4*i + 4. Let j be m(3). Which is greater: j or f?
j
Suppose -43*k - 4882 = -859 + 449. Which is bigger: -103 or k?
-103
Let h be -4*11/660 + (-3148)/(-420). Which is greater: 6 or h?
h
Let r = -42.4 - -43.705. Let c = r - 0.305. Is c at most 71?
True
Let m = 4843.02 + -4843. Which is bigger: -42 or m?
m
Let k be -2*(0 - (-1 - -2)). Suppose -2*m + 492 = 4*o, 2*o - 2*m - 226 = 2*m. Let r = o + -119. Do k and r have the same value?
True
Suppose -5*u = 4*k + 250, -6*k - 184 = -3*k + 2*u. Let w = k + 70. Which is bigger: 8 or w?
w
Let p = 3961 + -3962. Which is greater: -3/1319 or p?
-3/1319
Suppose -3*r - 2*a - 1115 = 0, r + 10*a + 377 = 12*a. Is r at least 3/2?
False
Let y = -3418 - -23972/7. Let x = 223/35 - y. Which is bigger: 0.37 or x?
0.37
Let a = -3374 + 3374. Is 1/3509 at least a?
True
Let l(k) = 2*k**2 + 30*k - 33. Let p be l(-16). Let h = 3073 - 122911/40. Let m = h + -703/280. Which is smaller: m or p?
m
Suppose -77*t + 2*o = -74*t - 9, -t = 3*o + 19. Let g = -0.3 + 0.29. Let s = -2.01 - g. Is t < s?
False
Suppose o - 3*f = 455, 57*o = 55*o + 4*f + 914. Does o = 460?
False
Let c be 10 + -6 + 1/(182/(-85148)). Is c > -463?
False
Let f = 11607 + -11518. Is f greater than or equal to 27?
True
Suppose 4*k + 13*k = -102. Let s be (10/(-6) + 5)/((-4)/k). Suppose q - 1 = 3*n - 4, q = -s*n + 5. Is n greater than or equal to -2/231?
True
Let x = 2.01 + -0.01. Suppose 45*p - h + 446 = 41*p, 2*p + 2*h + 238 = 0. Which is greater: x or p?
x
Suppose -5*h - 13*h = 144. Let w be (-9)/(-1 + 4) - 22/h. Let u be (2/3)/(2/3). Which is smaller: w or u?
w
Let x(t) = t**2 + t + 1. Let i(f) = -5*f**2 - 7*f + 37. Let b(y) = -i(y) - 4*x(y). Let r be b(0). Let n = r + 84. Which is smaller: n or 44?
n
Suppose 5*t + i - 243 = 0, 4*t - 4*i - 120 - 60 = 0. Suppose 250 = -t*q + 53*q. Are q and 2 equal?
False
Let v = 29 + -159. Let s = v + 164. Is s >= -2?
True
Let d = -528 - -606. Which is smaller: d or 13?
13
Suppose -o + 5*o = -y - 14, 0 = o + 4. Let d = 73 + -66. Is y bigger than d?
False
Suppose -2*z - 13*u + 14*u = 303, 3*z - 4*u + 452 = 0. Let l = z - -384. Which is bigger: l or 230?
l
Let a = 0.081569 + -0.021569. Let j = -0.11 + 0.51. Is j != a?
True
Let j be ((-76)/(-6))/2 - 2/6. Suppose -22*w + j = -23*w. Let s be 77/21 - w/(-9). Is -1 at least s?
False
Suppose -5*v = 25, -5*o + 485 = -8*o - 4*v. Is -463/3 less than or equal to o?
False
Suppose -3976 = -183*g + 211*g. Let p = -2/539 + -153611/1078. Is p smaller than g?
True
Let z = -79 + 79. Suppose 2*h + 14 = 4*s, 2*s - s - 5 = z. Suppose -4*q = 5*p - h - 13, -4*q = -3*p + 16. Is q greater than 15?
False
Suppose -5*q = -10*q + 490. Let u = -68 + q. Let h be 3 + (-13)/(65/u). Which is bigger: 1 or h?
1
Let s = -8163176/15 - -543918. Which is smaller: -295 or s?
-295
Let l = 18728/525861 + 770/1473. Let k = 2/153 + l. Is -25 > k?
False
Let k = -1/283 - -1428/3679. Is k bigger than -1?
True
Suppose -9*s = 15*s - 23928. Suppose 167 + s = -4*t. Is t at most -292?
False
Let i = 0.3019 - 0.1419. Is -27/4 < i?
True
Let x(r) = 3*r**2 + 33*r - 49. Let k be x(-12). Let c(y) = 7*y + 91. Let l be c(k). Which is bigger: -2/539 or l?
l
Let a = -2079094 + 1409626079/678. Let p = a + -4/339. Are -86 and p nonequal?
True
Let j = -5414 + 3398. Are -2015 and j unequal?
True
Suppose 4*x + 2552 = m - 582, -3*x - 3*m = 2373. Is -2357/3 greater than x?
False
Let s = -95/36 + 138923/52740. Which is smaller: 1 or s?
s
Let j(o) be the first derivative of -o**3/3 + 27*o**2/2 - 37*o + 72. Let q be j(13). Are q and 145 unequal?
False
Let o(q) = 2*q - 1590. Let c be o(26). Which is smaller: c or -1539?
-1539
Let d be (-21)/6 + 1/2. Let b be (-4)/(-3 + 4 + d). Suppose -21 = -177*u + 170*u. Which is smaller: b or u?
b
Suppose -36*p = -34*p - q - 1475, 2*q = -2*p + 1478. Is p equal to 731?
False
Let q = 29204599/278425 - 3881/37. Which is smaller: 0 or q?
0
Let q be ((-16)/(-20))/(2 - 1416/705). Suppose 2*m + 3*d - 15 = 10, 5*m = d + 37. Let r = m + q. Is r smaller than -86?
False
Let p be (-12)/15*(-15)/2. Suppose -2*w - 5*b = -3*w - 23, 5*w - 3*b + 27 = 0. Let k be 0 + (w - -6)/(p/(-44)). Are -22 and k nonequal?
False
Let l be ((-52)/12)/(10/36). Let s(z) = z**3 - 5*z**2 - 7*