= -4*g - 4*f, -2*g - 22 = -3*g + 5*f. Let y be (3/g)/(-1)*53. Let b = 37 - y. Which is smaller: -15 or b?
b
Let i be 189/35 + 324/(-135). Which is bigger: 69/19 or i?
69/19
Let s(h) = 4*h - 37. Let y be s(11). Suppose -14*w - 252 = -y*w. Suppose n = -37 - 0. Which is bigger: n or w?
w
Let a = -216 - -217.5. Let y = 0.5 + a. Which is smaller: 0.059 or y?
0.059
Let x = -2694 - -1470. Which is greater: x or -1/2?
-1/2
Let w = 13407 + -2989763/223. Suppose -4 = 4*l - 2*k + 2, -2*l - 3*k = -9. Does l = w?
False
Let o(c) = -2*c**2 - 21*c + 151. Let j be o(-12). Which is smaller: j or 1260/11?
1260/11
Suppose 3*q + 378 = 3*r - 480, 4*q = 2*r - 1150. Let h = q - -7224/25. Is h at most 0?
True
Suppose -22 = -4*n + 2*o - 120, 101 = -3*n - 4*o. Let p = -46 - -45. Let h be -30 + (12*p)/(-3). Which is smaller: n or h?
n
Let t = -307 - -102. Let d be (-164)/t - (-1)/(-2). Which is greater: 1 or d?
1
Suppose -2*i - 13 = -15. Let h be i/(-7)*-171 - (-12)/(-28). Let b be (-2)/(-5) + 123/5. Which is smaller: h or b?
h
Let r be ((-9)/9)/(9327/2331 + -4). Let v = 1143 + r. Which is smaller: 367 or v?
v
Let m = -0.0568 - 90.7432. Let x = 103.8 + m. Let p = 748/7 - 107. Are p and x non-equal?
True
Let n = 16.4025 + -0.4025. Is n greater than 54?
False
Let b = 8202 + -11455. Is b less than or equal to -6?
True
Let u = 129.87 + 1.13. Let r be (-8)/2 + 153/36. Which is greater: u or r?
u
Let t = 2485 + -2486.211. Are 1 and t nonequal?
True
Let i = -1905381 + 1900895.979. Let w = i + 4487. Let g = w - -0.021. Is g greater than 0.8?
True
Let a = -2454/11 + 1364325/6116. Which is greater: 1 or a?
1
Let q = 43 + -63. Let o = q - -22. Suppose 0 = -4*p - o*p - 114. Is p less than or equal to -18?
True
Let n(b) = -19. Let a(o) = o + 37. Let m(q) = -3*a(q) - 7*n(q). Let i be m(7). Let s = 437/565 - -3/113. Which is smaller: s or i?
s
Let t = -0.068 + 47.068. Let d = 201 + -154. Let q = t - d. Which is smaller: q or -3?
-3
Let v = -7832 + 1147. Is v != -6684?
True
Let q be (-13 - 14 - -5)*-57. Which is smaller: 1256 or q?
q
Let w(d) = -233*d + 611. Let x be w(6). Is x less than or equal to 1?
True
Let k be (-2)/(16 - 0) + 180/32480*35. Is 523 > k?
True
Let t be 160191/(-189) - (-24)/42. Is t < -845?
True
Let y(m) = m + 2. Let f be y(-4). Let n = f - -4. Let a = -106868/9 + 11874. Is n equal to a?
False
Let j be 0 - (-11 + 17) - -20. Suppose -z + 4*r = -43, -3*r = 3*z - 2*r - 116. Suppose 4*m - 4*k = 16, -5*k - z = -j. Is 2/111 at least m?
True
Suppose 4*x = -x, 2*q = -2*x + 850. Suppose -f + 545 = -5*z - q, -3*z = 4*f + 582. Which is greater: z or -193?
-193
Let o be 3 + 3735/(-1200)*-15. Is o less than 51?
True
Let u = -581/1615 - 13/323. Is u != -564?
True
Let j(t) = -t**2 + 7*t - 1. Let b be j(7). Let f be (-60)/(-30)*(-1 - (1 + b)). Is -6 smaller than f?
True
Let b = 0.11 + -4.11. Let l = 244731 - 244731.54. Which is smaller: b or l?
b
Let r = -0.09 + 0.14. Let g = 9272/7 - 1324. Is r equal to g?
False
Let j = -40123/2 - -20062. Which is smaller: -4/535 or j?
-4/535
Let x = -1054 + 90643/86. Suppose 2*a - 5*a = -5*g - 14, 5*a + 5*g - 10 = 0. Suppose -a*m = 10*k - 7*k + 15, 3 = m - k. Which is greater: x or m?
x
Let l = 688 + -695. Let w(h) = 3*h**2 - 18*h - 163. Let u be w(l). Which is smaller: u or 107?
107
Let y = 45059 + -45058.6. Suppose 3*l + 6 = -6. Let w = -6 - l. Which is smaller: y or w?
w
Suppose 0 = 499*o - 343*o + 312. Which is greater: 28.6 or o?
28.6
Suppose d = 5 + 14. Let t(g) = 12*g**2 + 12*g**3 - 10*g**3 - 4*g - g**3 - 29. Let h be t(-12). Are d and h nonequal?
False
Suppose 15 = 2*i + 15. Let n be (i - (-9)/(-4))/((-9)/36). Suppose 0 = -n*m - m. Do m and -1 have different values?
True
Suppose -44 = -13*j + 47. Suppose -3*g + 75 = -3*y, 3*y = -g + 34 + j. Is 25 not equal to g?
True
Let j = 18847 + -18632. Which is smaller: 21 or j?
21
Let w be 2/((9/12)/((-21)/14)). Let m be 2/(-60)*-3*10/w. Let g = 15.76 - 16. Is m smaller than g?
True
Let b be (-5263)/26290 - (-155)/775. Are 0 and b nonequal?
True
Suppose -6*s - 4290 = -336. Suppose 6*w = -1918 - 2036. Is s < w?
False
Let d = -777 - -726.9. Let x = 68.1 - 18.1. Let l = x + d. Which is greater: l or -30?
l
Suppose -49 = -2*n - i + 283, 0 = -2*n + 4*i + 312. Let m = 160 - n. Which is bigger: 4 or m?
4
Let n = -430663/660 - -7245/11. Let j = n + 32/15. Let v = j + -1073/132. Which is greater: v or 0?
v
Let a be (11/(-2) - -4)/3. Let l = -0.21823 - 18.74077. Let q = l - -19. Is q at most as big as a?
False
Let l = 0.101 + -49.101. Let h = -21 - l. Let j = h - 28.1. Which is smaller: 0.05 or j?
j
Let n = -2438 + 2416. Suppose 2*p = 2*q + 5 - 59, 0 = -5*q + 20. Is p != n?
True
Let s = -1.4526 - -1.3526. Which is smaller: 0.034 or s?
s
Let h = 19.36 - 19.7. Let c = 338113/26 + -13002. Let k = c - 24/13. Which is bigger: k or h?
k
Suppose -4*m - 3573 = -28041. Let k = m - 2024729/331. Is k >= 1?
False
Let b = 2696592/7 - 790593/2. Let z = -10064 - b. Let q = -4/7 + z. Which is greater: -2 or q?
q
Suppose 3*s = -t - 15, -7 = -2*s - 5. Let c be (1 + -3)*(5 - (-81)/t). Is c less than or equal to 1/25?
True
Let q be (-40)/30 - ((-6)/82674)/(1/18374). Which is smaller: -1 or q?
-1
Let x = 387.35 + -407. Let s = -3.35 + x. Let n be 1 + 0 - (-10)/(-14). Are n and s nonequal?
True
Let k(l) = 2*l**3 - 69*l**2 + 33*l - 4. Let n be k(34). Let g = -82 + n. Are -119 and g equal?
False
Let y(i) = -1373 - i**3 + 7*i + 2757 - 1383 + 6*i**2. Let t be y(7). Let u = -1445 + 76587/53. Is t less than u?
False
Let h(j) = -j**2 + 5*j - 1. Let n be h(5). Let c be (11 + -1)*(-1 - 230/(-50)). Let s = -38 + c. Which is greater: n or s?
n
Let l = -611 - -615. Suppose -5*p + 20 = -5*v, -l*p + 13 = 6*v - 9*v. Which is smaller: p or -4/93?
-4/93
Suppose q = 7*q - 354. Let p = -467 - -527. Are p and q equal?
False
Suppose 0 = -127*z + 151*z - 4855 - 4625. Is 1181/3 < z?
True
Let b(f) = -2*f**3 - 6*f**2 - 3*f + 7. Let a be b(-3). Suppose -v + 0*v = -s - 5, -4*v = a. Is s >= -52/5?
True
Suppose 5*w - 95 = -5*b, -22*b + 24*b = -5*w + 32. Suppose 19*k + 2*k + b = 0. Is -1/300 not equal to k?
True
Let w(z) = -z**3 - 13*z**2 - z - 9. Let c be w(-13). Let m be (-3 + 170/55)*58. Which is smaller: c or m?
c
Let c = -206 + 204.718. Let u = 0.418 - c. Which is smaller: u or 25?
u
Let a = 249 + -281. Suppose -6*p - 93 = -3*p. Which is bigger: a or p?
p
Let m = 0.22702 + -8552.22702. Is 2 > m?
True
Let b(d) be the third derivative of d**5/60 - d**4/3 - 4*d**3/3 - 249*d**2. Let r be b(-1). Are 1/5 and r equal?
False
Let d = 3493583/66 - 52931. Which is greater: 3 or d?
3
Let j = -88.82 - 9.78. Which is greater: 0.2 or j?
0.2
Let x be ((-24)/9)/(13/39). Is x < -20/3?
True
Suppose 2*n + 0*n = -4*y + 28, -5*n = y + 11. Suppose 0 = y*r + 15*r - 24. Which is smaller: r or -3/28?
-3/28
Let l = -1955 + 2013. Let q = -1.6 - 40.4. Let a = l + q. Is 0.1 greater than a?
False
Let l = -5280 + 5570. Is l >= 295?
False
Let h be ((-4)/(-10))/((-1702956)/(-25785)). Which is smaller: h or -1?
-1
Suppose g - 4 = -6*x + 9*x, 8*g - 32 = -4*x. Is x != 2/13897?
True
Let j be 4/7 - (3578/994 - 3). Let o = 13 + -3. Let v = -10 + o. Is j >= v?
False
Let w(p) = 48*p + 856. Let q be w(-19). Which is smaller: -13 or q?
q
Let u = -2488.5 + 2488. Which is smaller: u or 41?
u
Let o = -4091 - -4071. Is -67 bigger than o?
False
Suppose 43*n - 15093 = 12*n + 18*n. Which is bigger: 0.1 or n?
n
Let b(k) = -6*k**3 + 41*k**2 + 42*k + 13. Let q be b(19). Let o be q/(-5130) + (-7)/5. Do o and 3 have the same value?
False
Let w = -8 - 1. Let n be (10/3)/(1/w). Let t = n + 33. Which is smaller: t or 8/5?
8/5
Let f = 55 + -135. Let n = 80 + f. Let h = n - 0. Which is smaller: 2/3 or h?
h
Let k = -153 - -265. Let l = 525.07 + -526.07. Is k greater than or equal to l?
True
Suppose 0 = -3*f + 4*f - 25. Suppose -38*c = -36*c - 10. Suppose 5*s + 0*w = -w, -f = -c*w. Which is smaller: s or 1/105?
s
Let w(p) = 7*p + 23. Let x be w(15). Let h = -171 + x. Is h < -46?
False
Let n = 2437405/9 - 270469. Which is greater: n or 353?
n
Suppose -56*z - 50*z + 38*z + 51680 = 0. Which is smaller: 764 or z?
z
Let l = -6570/29 - -4369311/19285. Which is bigger: 1 or l?
1
Let w = -1.11609 + 0.11609. Let j be 30291/15 - 6/(-10). Let r = j + -191898/95. Is r smaller than w?
False
Let c be -5*(-84)/(-60) - -4696. Whi