9. Let s = f - 20.0159. Is s <= -4?
True
Suppose -10*g + 6*g + 48 = 0. Let w be 1/2*g/(-30). Are w and -1 unequal?
True
Let v(q) = 3*q + 8. Let l be v(-8). Let i = 45 + -13. Suppose 9*m = 11*m + i. Is l greater than m?
False
Let n = 21 - 39. Let x = 99131 - 297446/3. Which is smaller: n or x?
n
Let v = -130 - -136. Let l be -3*v/9 - (-3 + 304). Is l less than -305?
False
Let q(f) = 58*f - 1106. Let u be q(17). Which is bigger: -1 or u?
-1
Let p = 17/77 + 5/77. Which is smaller: 95/14 or p?
p
Suppose 46 = 5*r + 6, 0 = -t - 3*r + 23. Let z be 48/(-34) + (0 - -1). Which is smaller: z or t?
t
Suppose 4*l = -z - 5, 3*z + 34 - 39 = -2*l. Let x be ((-72)/30)/(l/(-115)). Are -138 and x nonequal?
False
Suppose -6*m + 7*m = 2*g - 5, -2*m = -g + 1. Let h be (735 - m)*43/86. Is h greater than or equal to 367?
True
Let u be (-399)/(-171)*6/7. Suppose 0 = -5*s + 2*d + 910, -4*d = -s - u*s + 546. Is 182 greater than s?
False
Let q(w) = -w**3 - 12*w**2 + 2*w + 109. Let k be q(0). Which is smaller: k or 2/3?
2/3
Let d be (-1 + -1)*(40/(-520) + 708/8528). Let m be (0/7)/(0 - 2). Which is bigger: m or d?
m
Let p = -306 + 311. Suppose -p*a = 5*s, 4*s = 8*s + 2*a + 2. Is s at least as big as -3/19?
False
Let p be 29120/(-14430) - (-4)/(-6)*-1. Is 14 bigger than p?
True
Suppose -11*k = 267 + 558. Let y be (k/(-16))/((-9)/36). Which is bigger: y or -18?
-18
Suppose -8537 = -46*c + 20811. Is c > 636?
True
Let q be ((-4162)/(-14))/1 - (-12)/(-42). Suppose q = 9*p - 0*p. Suppose -p = 3*y - 3*g, 3*y = -g + 3*g - 29. Which is smaller: y or -1?
y
Let a(d) = d**3 - 18*d**2 + 3*d + 38. Let h be a(18). Suppose -27*q + h = -23*q. Are 15 and q equal?
False
Suppose 0 = 37*x - 22*x - 60. Suppose 0 = -2*m + p - 7, 2*m - x*p + 2 = -20. Is 3/208 less than m?
False
Let r(o) = o + 2. Let c(p) = 12*p + 20. Let b(a) = 3*c(a) - 32*r(a). Let w be b(3). Suppose 0 = -w*m - 5 + 13. Which is bigger: m or -2/5?
m
Let r(l) = -27*l**2 + 4*l - 15. Let j(c) = -20*c + 63. Let q be j(3). Let y be r(q). Is y smaller than 2/7?
True
Let w = 521 - 519. Suppose -w*y + 11124 = 25*y. Which is greater: 413 or y?
413
Let x = -0.295 - 0.02. Let w = x + 0.025. Let d = 0.39 + w. Which is bigger: -29 or d?
d
Let u(m) = 256*m - 17. Let a be u(-6). Let j = a - -147537/95. Which is smaller: j or 0?
0
Let r be (-8)/(-12) - ((-13)/3 + 2). Suppose -r*g + a = 55, a + a - 8 = 0. Which is bigger: g or -16?
-16
Suppose 3*i - 5*i = d - 49, -17 = -i - 3*d. Are 294/11 and i non-equal?
True
Let l(y) = y**2 - 35*y - 175. Let d(g) = 1. Let c(o) = 6*d(o) - l(o). Let b be c(40). Which is greater: -113/6 or b?
-113/6
Suppose t = 97 + 5. Let y = t + -83. Is y less than -7?
False
Let y(p) = -2*p**2 + 8*p. Let g be y(2). Suppose -g = 17*m - 42. Is 16/29 != m?
True
Let w = -7332 - 492. Is w < -7824?
False
Suppose 15*c = 14*c - 2. Let q be ((-3)/6 - c)/(3/80). Let b be (2/q)/(110/120). Which is smaller: -1 or b?
-1
Suppose 6*l + 44*l - 52 + 2 = 0. Is -27/1552 > l?
False
Let r be 2*-2*(-9)/84. Let k = -177 + 188. Suppose 4*j - 15 = -k. Which is smaller: r or j?
r
Suppose -6*x = 101*x + 214*x. Which is bigger: -3/3178 or x?
x
Let p = -4570 + 2994. Let j = p + 1577.366. Let x = j - 0.066. Which is smaller: x or -0.4?
-0.4
Let y = 9424/9 - 1050. Let v = -17 + 24. Suppose -v*z - 4 = -6*z. Are z and y unequal?
True
Let q(f) = 33*f. Let d be q(-1). Suppose -1704*x + 1711*x + 126 = 0. Let c be (480/x)/(-4)*48/(-10). Which is smaller: d or c?
d
Let l = -20116 + 20200. Let m = 2.1 - 2.08. Is m less than l?
True
Let v(y) = 21*y + 160. Let f be v(-10). Suppose 5*m = -h - 13 - 6, -h = -5*m - 11. Let a be (12/9)/(h/150). Is f less than a?
False
Let l = 1/1817 - 34533/18170. Let n(a) = a**2 - 26*a - 795. Let m be n(44). Is m != l?
True
Let r = -7219929/4765 + 7576/5. Is r < 1?
True
Let y = 0.423 + 5.197. Let i = 5.51 - y. Which is smaller: -0.3 or i?
-0.3
Let z(b) = -82*b**2 - 409*b + 5. Let a be z(-5). Let h(k) = k + 2. Let t be h(-5). Let r = 4 + t. Which is greater: r or a?
r
Suppose -5*v = t - 339, 5*v - 2*t = -6*t + 321. Is v smaller than 67?
False
Let j be 4 + 1 + 36/(-8) + 1869/(-3698). Is j bigger than 0?
False
Suppose -48*t + 11151 + 12609 = 0. Let h = t + -576. Let y(i) = i**3 + i**2 - 4*i. Let o be y(-5). Is o at most h?
False
Suppose v - 3683 = -28*v. Let u = -114 + v. Which is bigger: 12 or u?
u
Let v = 16.737 + 3.263. Let m = 0.08 + -2.08. Which is smaller: v or m?
m
Let t be -7*3*(-3)/63 + 68. Let l = t - 80. Are l and -34/3 non-equal?
True
Let v = -0.21 - -0.93. Let i = v + -3.02. Let u = 2.4 + i. Which is greater: u or 0.33?
0.33
Suppose 0 = n + 5*p, 0 = -7*n + 12*n + 3*p. Let r(g) = 8*g - 4. Let x be r(3). Let u = x + -41/2. Is u smaller than n?
True
Suppose 0 = 7*t - 2*o - 1, -12 = -t - 5*o + 4. Are t and -17/298 equal?
False
Suppose -5*j + p + 19 = 0, -21*j - p = -16*j - 11. Let l be -2 + (-88)/(-18) + -1. Which is bigger: l or j?
j
Let u = -38911.391 + 38911. Which is bigger: -0.05 or u?
-0.05
Let n = -6651.2 + 7455. Let q = -891 + n. Let j = 87 + q. Is j at most -18?
False
Let i(o) = 73*o - 169. Let s be i(12). Let v = s + -695. Which is smaller: 23/2 or v?
23/2
Let i be (7/(-294)*219)/(82/(-40) + 2). Let j = -1/2819450 + 22995434277/217097650. Let v = j - i. Is 1 not equal to v?
True
Let f(a) = -35*a**2 - 1 - 49*a**2 + 47*a**2 + 2*a - 7*a - a**3. Let y be f(-37). Which is smaller: 183 or y?
183
Suppose -4*v + 15720 = -3*a, 3*v = 3*a + 5807 + 5983. Which is bigger: v or 3931?
3931
Let p = -54.86 - 1.14. Let d = p + -12. Let a = 142 + d. Is -1 >= a?
False
Let a(x) = 8*x + 88. Let i be a(-14). Let w be i/254*2*7/(-28). Is w greater than or equal to -1?
True
Let h be -7*3*8/64*-2168. Which is smaller: 5689 or h?
5689
Let g = 28528553/868 + -32867. Is 0 at least g?
True
Let s be (-5 - (-945)/190)*100882. Let l = s - -2654. Which is bigger: 0 or l?
0
Let q be 148/296*1/3*0. Which is smaller: -42/89 or q?
-42/89
Let s be (-4)/8*(-6)/(-4) - 222/(-296). Is s > -2/69207?
True
Let d be (1 - (-7)/(-5))/(8/(-40)). Let l = d - -9. Suppose -99 = -11*f - l. Does f = 9?
False
Let v(k) = 17*k**2 - 32*k - 67. Let w be v(-2). Suppose w*j - 219 = -1324. Does -0.06 = j?
False
Let r = 2097/149 - -176727/7897. Which is smaller: 37 or r?
r
Suppose -291 = 3*c - 240. Let f be (6 - c)/(-4 - -3). Which is bigger: f or -26?
f
Suppose 0 = -9*a - 1469 - 1438. Let g = a - -349. Which is smaller: 30 or g?
g
Let f be ((-670)/(-2345))/(444/14). Suppose -3*j = j + 12. Let a be (0 + 0)/(2 + j). Which is greater: f or a?
f
Let a = 18 + 48. Let z = a + -66.48. Let c = 0.52 - z. Which is smaller: 13 or c?
c
Suppose 5*a + 110 = -0*a. Let r be (-4)/78*3 + (-134)/(-26). Suppose 2*p = -p + r*y - 78, 4*p + 3*y = -75. Is a > p?
False
Suppose 206*r - 217*r = 0. Are 6355 and r non-equal?
True
Suppose -4*i + 14*i = 20. Suppose -3*z + i*z + 4*v - 25 = 0, 0 = 3*v - 9. Which is bigger: z or -16?
z
Suppose -2*i + 10 = 0, 5*f - 3*i = 57 + 8. Suppose 0 = -0*v + 2*v + 5*q - 71, 4*q = v - f. Which is smaller: 26 or v?
26
Let m(l) = 3*l**2 - 3*l - 7. Let x be m(-5). Let j = x - 77. Let n be 1 - ((-6)/3 + j). Which is greater: n or 2?
2
Suppose 78 - 302 = -8*h. Suppose h*d - 3 = 27*d. Is d at least 51/16?
False
Let g = -0.0688 + 0.3168. Let n = g - 0.154. Is n at most 2/9?
True
Suppose 2769 = -7*t + 12688. Let o = t - 1456. Suppose -5*m - 108 = 77. Is m not equal to o?
True
Suppose 591 = y - 528. Let r be -1 + 1 + 6/y. Let k(g) = -83*g + 2572. Let v be k(31). Which is smaller: r or v?
v
Suppose -m - 15 = -17. Suppose -m*y - 2 - 612 = 0. Are y and -308 nonequal?
True
Let n(z) = -433*z**2 + 14*z + 65. Let q be n(-3). Is q greater than -3874?
False
Suppose 5*q + 286 = 3*i - 31, -3*q - 195 = -i. Is q less than or equal to 45?
True
Suppose 30*a + 354122 = -156*a + 31970. Which is smaller: -1730 or a?
a
Let v(k) = -25*k + 68. Let n be v(5). Let t be (1 + n/51)*(-2 - -3). Let x = 0 + -1. Which is greater: t or x?
t
Let g be (-40)/(-320) + 94/16. Suppose -5*u - g*r = -9*r + 1315, 4*r - 263 = u. Is -264 greater than or equal to u?
False
Let x = -84 - -83.804. Let q = x + 0.139. Let n = -2.943 + q. Is -0.3 greater than n?
True
Let j(x) = -x**3 - 22 - 17*x + 24*x - 2*x + 9*x**2 - 2*x. Let s be j(10). Which is bigger: -2 or s?
-2
Suppose -f + 3*h = 7 - 2, 0 = -3*f + 5*h - 19. Let c = 6 + f. L