*h. Which is bigger: d or -5? 
d
Let w = -5498/117 + 684188/16965.  Let b = w - 2/435.  Suppose 2*v = 5*u + 30, v - 7 = u - 1.  Is u at least as big as b? 
True
Let r(a) = a**3 - 47*a**2 + 49*a + 15.  Let q be r(46).  Suppose l - 156 = -q.  Which is greater: 7 or l? 
7
Suppose 3*w - 59 = 76.  Let z be -6*((-764)/15 + (-14)/35).  Suppose -19*c - z = -26*c.  Is w ! = c? 
True
Let o be ((-4)/2)/(1 - -8).  Let c be (10 - 46)/(4/56).  Let r = c + 503.  Which is smaller: o or r? 
r
Suppose 0 = 5*s + 62*s - s + 18282.  Which is greater: s or -1109/4? 
s
Let f = -723 - -1253.  Let k = f - 531.  Which is bigger: 8/69 or k? 
8/69
Let w be ((94/(-29939))/((-6)/(-9)))/((-9)/(-6)).  Let c(n) = n**2 - 5*n + 4.  Let h be c(4).  Is h >= w? 
True
Let a(s) = -3*s + 1.  Let f be a(1).  Suppose -2*j - 355 = -4*k + 351, 0 = -5*k - 3*j + 855.  Suppose 2*q + k = 182.  Is f smaller than q? 
True
Let d be 26/72 - (-3)/4.  Suppose 0 = y - 5, -4*y = 4*s + y - 77.  Let v = 13 - s. Which is greater: v or d? 
d
Let m be ((-122)/(-4))/(2/4).  Let v = 5318 - 37224/7.  Which is smaller: m or v? 
v
Let s(d) = -d.  Let b(i) = 60 + 11*i + 8 - 9*i.  Let j(x) = -b(x) + s(x).  Let o be j(-22).  Which is smaller: 12 or o? 
o
Let l = -11.98284 - 0.01716.  Is l at most 8? 
True
Let f = -1935 + 1896.  Which is smaller: f or -46? 
-46
Suppose 2*p = z - 10968, 2412 + 14026 = -3*p + 5*z.  Is p greater than or equal to -5486? 
True
Let m = 1241 + -1320.  Is -49 > m? 
True
Let g(h) = -4*h**2 - 514*h - 256.  Let k be g(-128).  Do k and 2/873 have the same value? 
False
Let g be (2282/(-210) - -12) + -4*1/4.  Suppose c - 2*p = -c, 5*p = -4*c - 9.  Which is smaller: g or c? 
c
Let z(h) = 18*h + 2.  Let t be z(0).  Suppose t*f - 7 = 5*g, 0 + 10 = 2*f - 2*g.  Let a = -5 - -5.  Which is greater: f or a? 
f
Let l(k) be the second derivative of -k**4/12 + 5*k**3/2 - 12*k**2 - 14*k.  Let f be l(12).  Let b be (2 - 1)/((-6)/f).  Which is bigger: b or -7/11? 
-7/11
Let u be (-9)/(-6)*24180/(-858).  Which is smaller: u or -43? 
-43
Suppose 22585 + 40271 = -24*b.  Are b and -2617 equal? 
False
Let w = 0.9838 - 770.0838.  Let i = w - -769.  Which is smaller: 12/11 or i? 
i
Let t be (145/(-25) - -5)*10/(-4).  Suppose -17 + t = 5*y.  Is y <= -5/3? 
True
Suppose 6 = 3*y - 3.  Let f be -157*3/6*-4.  Let c be ((-44)/(-33))/(f/y).  Is c smaller than -1? 
False
Suppose 2*k + 3*k - 9 = -3*u, -5*u + k = -15.  Suppose -7*l = -u*l.  Let p be 7/(-28) - 1/(-4).  Is p less than or equal to l? 
True
Let t be (16200 + -8)/8 - (1 + 2).  Is t equal to 2022? 
False
Let t be 4 + 25/(-4)*((-144)/40)/(-6).  Which is smaller: t or -3180? 
-3180
Suppose 0 = -2*m + 2*i + 2*i + 18, 5*i = 4*m - 21.  Let w(k) = k**2 - 8*k + 8.  Let o be w(7).  Let f be o/(-3) - 179/(-519).  Which is bigger: f or m? 
f
Let r be 16/6*24/32.  Suppose -2*a = 4*n - 16, r*n + 2*a - 6 = -0*a.  Let x be 1 + n + (-1 - -3).  Are -0.2 and x unequal? 
True
Let p = 4559 - 4785.  Is -0.1 smaller than p? 
False
Let s = 1004153/13485 + -1117/15.  Let d = 1.53 + -1.63.  Which is greater: s or d? 
s
Suppose -n + 5*p = 1957, -4*n - 9811 = n + p. Which is bigger: n or 2? 
2
Let t(d) be the third derivative of d**8/6720 + d**7/504 + d**6/144 - 19*d**5/60 + 23*d**2.  Let n(o) be the third derivative of t(o).  Let w be n(-4).  Is 10 > w? 
False
Let m = -42.94 - -2.34.  Let f = m - -38.6.  Which is smaller: -32 or f? 
-32
Let k be 7/((-245)/150) + 2/7.  Let c be 0 + ((-118)/80 - 6/k).  Suppose 22*w - 27*w = -5.  Is c greater than w? 
False
Let y = -602 + 322.  Let z = -278 - y. Let u = -1.1 - -1.  Is z less than or equal to u? 
False
Let v = 562.09 + -562.  Which is greater: 5 or v? 
5
Suppose -3*r + 2*f = -6050, 2*r + 2*f - 4726 = -696.  Which is smaller: 10074/5 or r? 
10074/5
Suppose 2*n = -4*z + z + 1938, 4*n + 4*z - 3880 = 0.  Suppose 8*l = -l - n. Let h = -162 - l. Does h = -54? 
True
Suppose -5 = 4*h + 3*y - 6, -18*h - 2*y = -16.  Is -57/272 at most h? 
True
Suppose 40 = 2*k - 4*h, 89*k - h - 37 = 84*k.  Which is smaller: 157/32 or k? 
157/32
Let x = 111 + 43.9.  Let v = -155 + x. Is v at least 21/5? 
False
Let f(r) = 27*r**2 + 841*r.  Let n be f(-33).  Which is smaller: 1646 or n? 
1646
Suppose 1699*d = 1704*d + 3*c + 13, 5*c + 35 = 5*d.  Is d less than or equal to -1/50? 
False
Suppose -r - 131 - 77 = 5*t, 2*r - 5*t + 356 = 0.  Is r less than 3? 
True
Suppose -2008 = -4*d - 2*h, 0 = -14*d + 18*d - 2*h - 2024.  Let f = 608 - d. Which is smaller: 105 or f? 
f
Let n = -212.864 + -1.736.  Let g = n - -214.  Is 1/52 <= g? 
False
Let s = -5827 + 9256.  Suppose 31*m + s = 4*m.  Which is smaller: -629/5 or m? 
m
Let s = -1300 + 7805/6.  Which is bigger: -8/59 or s? 
s
Let h = 16 + -17.  Let u = h + 2.  Let w = -33/4 + 1225/148.  Which is smaller: w or u? 
w
Let i(w) = -w**3 + 4*w**2 - 6.  Let r be i(3).  Let u be (-6)/(-2)*2/r. Suppose 0*o = -u*o + 6.  Which is greater: o or 20/9? 
o
Let h be ((-138)/56)/((-27)/(-24)).  Let q = h + -2521/105.  Let o = q + 1177/45.  Is -1 at least o? 
False
Let w be (-12)/(-18) - (-70)/(-6).  Let n = w - -16.  Suppose 0 = -a - h - 1 - n, 5*h - 10 = 3*a.  Which is greater: a or -6? 
a
Let r be 4/(-3) - (-2)/6.  Let t be 10 + (-8)/171*203997/954.  Which is bigger: r or t? 
t
Let q = 3865/7084 + -11/161.  Let g be 1*322/(-231) + (-4)/(-6).  Let w = q + g. Is -1.8 not equal to w? 
True
Let s be 25 + 2455*6/15.  Is 1002 equal to s? 
False
Suppose 158*a - 15 = 153*a.  Suppose -90*b + 87*b = -a.  Which is bigger: b or 25/37? 
b
Let a = -57229/43 + 1331.  Let w(s) = -s - 16.  Let p be w(-16).  Which is smaller: p or a? 
p
Suppose -2 = -8*f + 14.  Suppose 5*i + 5*b - 65 = 0, -2*i + 4*b = f*i - 60.  Let w be (-8 + 0)/((-6)/12).  Which is smaller: w or i? 
i
Let z(j) = 70*j - 1354.  Let a be z(20).  Are -36 and a unequal? 
True
Let q be (-4 - -3) + 6482/(-6).  Let t = q + 1139.  Let m = -13664/237 + t. Which is smaller: -1 or m? 
-1
Let q be ((-3*10/(-75))/1)/(7 + -9).  Is 690/7 < q? 
False
Let b = 86.9375 - 0.0375.  Let j = 87 - b. Which is greater: j or 127? 
127
Let p = 2 + -2.  Let w = 9042114/91 - 692338/7.  Let r = 458 - w. Do p and r have the same value? 
False
Let m = 1567 + -1567.  Which is greater: m or -984? 
m
Suppose 68*c = -667 - 172 - 45.  Which is smaller: -178 or c? 
-178
Suppose 16*c = 57*c + 39*c + 940560.  Is -1/3 at least c? 
True
Let i = -331 + 246.  Let s = -230 + 146.  Is i less than s? 
True
Let t = -17 - -19.  Suppose -5*a - 68 = 4*q, -7*q + t*q - a = 64.  Let p be (2/q)/(-3*49/63).  Which is smaller: p or 0? 
0
Let s be 30/(-20) + (((-26190)/(-4))/(-5) - -2).  Which is bigger: s or -1306? 
-1306
Suppose -5*a - 6 = 2*y, 682*a = 684*a + 4*y - 4.  Let n(z) = z**3 - 3*z**2 - 6*z + 4.  Let v be n(4).  Let i = v + 6.  Which is bigger: a or i? 
i
Let p be 749/(-214)*20/(-14).  Let x be (3*p/(-1605))/((-3)/6).  Suppose 4*w = -4*c - 12, -1 = 2*w - 2*c - 7.  Is x at most as big as w? 
False
Suppose 0 = 2*j + 43*j - 3420.  Let v be (-1)/(36/(-8) - 0).  Which is smaller: v or j? 
v
Let h = -981 - -11791/12.  Are h and 3 equal? 
False
Suppose -5*c - 3*o - o = -15008, -4*c - o = -12002.  Suppose c = 25*u - u. Which is smaller: 124 or u? 
124
Let g = -922 - -932.  Let n(u) = -2*u**3 + 20*u**2 - 3*u - 18.  Let q be n(g).  Is q at least -148/3? 
True
Let t = 66497.942 + -66721.  Let f = -0.058 - t. Is 2 smaller than f? 
True
Let d = -46.969 + -0.031.  Let c = -47.42 - d. Let n = c + 0.42.  Are n and 27 nonequal? 
True
Let c = 2263/11 - 206.  Let y = -81/55 - c. Is y at most as big as -2? 
False
Let d be (-4 + -5 - 2) + 4.  Let k be d*((-2)/(-5))/(28/(-20)).  Suppose 5 = k*q - 13.  Which is smaller: 5 or q? 
5
Let y = 5443/8 + -683.  Let t = -53 + 53.5.  Let z = 0.7 - t. Is z ! = y? 
True
Let k(c) = c**2 + 12*c + 31.  Let i be k(-8).  Let l be (2/3)/((-234)/729).  Are i and l equal? 
False
Let c(p) = -p**3 - 14*p**2 - 43*p + 11.  Let a be c(-5).  Suppose 55 = -4*w - 41.  Let n be w/64*3/30.  Which is greater: a or n? 
a
Let p = -1481 - -3089.  Which is bigger: 0.2 or p? 
p
Let t = -27859 + 250730/9.  Which is greater: 137 or t? 
137
Let h(t) = -2*t**3 + 7*t**2 - 40*t + 240.  Let a be h(5).  Which is greater: a or -32? 
-32
Let t = -18.44 + 0.44.  Suppose 51 = -54*a + 969.  Which is bigger: a or t? 
a
Let h(o) = o**3 + 24*o**2 + 49*o - 58.  Let a be h(-22).  Let c = -168 - a. Is 9/8 not equal to c? 
True
Let y = 0 + 1.  Let p = 333 - 324.  Let l be p/(-12)*(-1 + (-5)/3).  Which is smaller: y or l? 
y
Let m be 40/5 + (-72)/9.  Let l be (m - 3)*(-126)/(-2).  Which is bigger: -566/3 or l? 
-566/3
Let m be 2