+ 6.  Let d be i(2).  Let q = d - 39411/59.  Which is smaller: q or 0? 
0
Let j be 5 + -4 + -1 + -1.  Let l(c) = -c**2 + c + 1.  Let o(u) = 3*u**2 - 15*u - 1.  Let m(h) = j*o(h) - 4*l(h).  Let z be m(-11).  Which is bigger: z or -4? 
z
Let k = 13/197 - 18189/985.  Which is smaller: 0 or k? 
k
Let j = 5 + -2.  Let q = -97/390 - -3/26.  Which is smaller: q or j? 
q
Let r = 2.9 - 2.8.  Let b be (-5)/((-15)/(-51)) + 5.  Is b not equal to r? 
True
Let v(k) = -12*k - 6.  Let r be v(-8).  Let a be 18/81 + 16/r. Is a < 0? 
False
Suppose -3*v - 16*v + 114 = 0.  Suppose 19 = -4*i - 1, 0 = -w + i + 11.  Do w and v have the same value? 
True
Let q be 7/(21/(-591)) - 2.  Is 0.1 at least q? 
True
Let z = -46671979/2335 - -19988.  Which is greater: 0 or z? 
z
Let c = -4027081/326 + 12353.  Which is smaller: 1 or c? 
c
Let d be -15 + (-1469)/(-78) + (-3 - 1).  Is -0.255 > d? 
False
Let y(a) = 12*a - 11.  Let h be y(-9).  Let z = 76 + h. Let u = 30 + z. Are u and -14 equal? 
False
Let g(h) = 2*h - 4.  Let d be g(6).  Let w(x) = -x**2 + 11*x - 12.  Let n be w(d).  Let v be -4 + (-3)/(n/(-16)).  Which is greater: v or -3/20? 
v
Suppose 0*u - u + 19 = 0.  Let s(b) = -2*b**2 - 20*b - 45.  Let z be s(-3).  Let g = z + u. Which is bigger: 17 or g? 
17
Suppose l + 2*z = 223, -87 - 353 = -2*l - 2*z.  Is l greater than or equal to 216? 
True
Let b be (574/(-40) - -13)/33.  Which is smaller: -1 or b? 
-1
Let a be (((-34)/(-28))/17)/((-9)/(-3996)).  Which is greater: a or 31? 
a
Suppose -3*r - 35 = 2*r.  Let f(s) = s**2 + 6*s - 4.  Let t be f(r).  Suppose -5 = -t*b + 2*b.  Is 4 smaller than b? 
True
Let k be (54 + -72)*((-14)/68)/1.  Which is bigger: k or 5? 
5
Let f = -17 - -25.  Let i = f - 9.  Let h be (i - 1)/((-16)/24).  Which is smaller: h or 15/4? 
h
Let z = 10 - 4.  Suppose -4*k - 2 = z. Let l be (-332)/140 - 16/(-28).  Is k at most l? 
True
Let h = -14.5 - -14.3.  Let l be (-81)/(-87) - (-1 + 2).  Which is bigger: l or h? 
l
Let v = 41 - 39.  Suppose 68 = -v*n + 180.  Is n ! = 56? 
False
Let o(n) be the first derivative of 2*n**3/3 + n**2/2 - 2*n - 11.  Let m be o(1).  Is -2/49 at least as big as m? 
False
Let w be 2/7 - (-1872)/63.  Let h be (-8)/w*10/4.  Is h at least 2? 
False
Let p = 465 + -462.  Is p not equal to 2? 
True
Suppose 2*f - 60 = -30.  Suppose w - 32 = -w.  Is w greater than f? 
True
Suppose 11 = -2*l + 5.  Let r be 5/(10/3) + (l - -1).  Which is greater: 0.5 or r? 
0.5
Let x be ((-24534)/60)/29 - 2/5.  Let s be (2 - 5 - 12)/1.  Which is smaller: s or x? 
s
Let g be (-44)/(-1752)*(-36)/(-40).  Let d = g + 2/73.  Is -1 smaller than d? 
True
Let j = -34367/166 - -207.  Are j and -1 equal? 
False
Let t(h) = h**2 - 20*h + 30.  Let q be t(19).  Suppose 12*p = q*p.  Are p and 1/27 equal? 
False
Suppose -5*f = i + 1925, 4*f + 2*i + i + 1529 = 0.  Which is smaller: -387 or f? 
-387
Let p = -193 + 192.  Are -1/28 and p equal? 
False
Let y = 0.07 + -0.07.  Suppose -16 = -x - 15.  Suppose a = -x - 1.  Is a <= y? 
True
Let h = -745 - -3713/5.  Is h ! = -2? 
True
Let a = -8 + 12.  Suppose 2*h - n = -2, 3*h = 2*h + a*n - 1.  Is h bigger than 1? 
False
Let t = -1.07 - 1.95.  Let p = -0.18 + t. Let a = -16.2 - p. Is a at least 0.1? 
False
Let u(c) = c**2 - 3*c.  Suppose 6*g - 7 = 2*g + 5*q, -5*g - 5*q = -20.  Let j be u(g).  Let s = 991/11 + -90.  Which is greater: j or s? 
s
Let f(g) = g**3 + 2*g**2 + 5*g + 2.  Let y(j) = -j**2 - 12*j + 5.  Let b be y(-12).  Suppose b*k + l = -5, 0*l = -k - l + 3.  Let n be f(k).  Is -8 > n? 
False
Let g = -1.664 - 1.336.  Is 3/65 > g? 
True
Let q be 3*((-4)/2 - -1).  Which is smaller: -1 or q? 
q
Let y(o) = -o**3 + 10*o**2 + 14*o - 32.  Let m be y(11).  Which is smaller: 5/196 or m? 
5/196
Let p(z) = z**3 + 6*z**2 - 7*z + 3.  Let r be p(-7).  Let f(l) = -8*l - 117.  Let m be f(-15).  Is r bigger than m? 
False
Let w = 0.6 - 3.6.  Let f = 39 - 62.  Let z = 22 + f. Are z and w unequal? 
True
Let x = -281 - -318.  Is x < 36? 
False
Suppose -u + 10 = u. Let x = u + -5.  Let a = -25.96 + 26.  Which is bigger: x or a? 
a
Let x(z) = z - z**3 - 11*z**2 - 3 - 3 - 10*z - 2*z.  Let r be x(-10).  Is r less than or equal to 3? 
False
Let t = -747 - -739.  Let b be 30/(-12)*(-1)/5.  Which is smaller: t or b? 
t
Let g = -684 - -661.  Let u = -9 + 24.  Let b = g + u. Which is smaller: b or -2? 
b
Let l be -9*(8/3 - 3).  Suppose l*a = -a.  Suppose 2*t + 32 = 4*j, a*j - j = 3*t + 6.  Which is bigger: j or -1/4? 
j
Let r = -44 - -45.  Let k = 746/9 - 21628/261.  Are r and k unequal? 
True
Let o(q) = -q - 4.  Let a be (4/(-8))/(1/8).  Let d be o(a).  Which is greater: d or 5/6? 
5/6
Let m(n) = n + 7.  Let t be m(-5).  Let z be ((-6)/4)/(((-84)/(-32))/7).  Let x be (t/3)/(z/6).  Which is smaller: x or 0? 
x
Let f = -0.16 + -4.84.  Let o = f + -8.  Let c = o - -14.  Is 0.3 equal to c? 
False
Let a = -0.07 - 14.93.  Let d = 0.374 - -23.626.  Let k = d + a. Which is greater: 0 or k? 
k
Let v = 597 + -604.  Are v and -41/5 nonequal? 
True
Suppose 0 = -19*c - 22 + 3.  Is -20/11 greater than c? 
False
Let l = 5.1 - 19.5.  Is l bigger than 1? 
False
Let v = 33/175 + -5/28.  Suppose 3*i + h + 0 = 4, -3*h = 4*i - 12.  Which is smaller: i or v? 
i
Suppose -4*h - h = -25.  Let g = 37 + -35.  Suppose -n + h*b + 6 = 0, -7 - 1 = n + g*b.  Which is smaller: n or -5? 
-5
Let j = 0.059 + 0.067.  Let v = j - 0.926.  Is 4 at most v? 
False
Let g = -67 + 67.02.  Let l = g - 30.02.  Which is smaller: l or 0? 
l
Let y(u) = u**2 + 15*u + 25.  Let r be y(-13).  Is r < 3/23? 
True
Let t = 164 - 172.  Which is greater: 3 or t? 
3
Let y be 5/35 - (-6)/(-14).  Suppose -n - 28 = -3*a, 4*a - n + 4*n - 20 = 0.  Is y >= a? 
False
Let c = 2.004 + -2.004.  Let y = -75 + 47.  Is y at most c? 
True
Suppose -39*t + 12 = -45*t.  Let o be 8/272 + (0/(-2))/t.  Is o >= 0? 
True
Let v = 3/1648 + -14029/11536.  Which is smaller: v or 0? 
v
Suppose 0 = -18*n + 21125 - 5141.  Is 888 equal to n? 
True
Let o = -659 + 660.  Which is greater: 4/253 or o? 
o
Let o be (-1 - 900/112) + (-8)/(-28).  Which is greater: 3 or o? 
3
Let o = -0.63 + 1.23.  Which is smaller: -10 or o? 
-10
Let g be 0 + -1 - 48/(-15).  Suppose 0 = -7*n - 60 + 4.  Let o = n - -9.  Which is greater: o or g? 
g
Let s = -6.5 - -33.  Let u = s - 25.  Let c = -1.7 + u. Which is greater: -9 or c? 
c
Suppose 88 = -m + 232.  Does m = 144? 
True
Let p(n) = 5*n - 145.  Let o be p(33).  Which is smaller: o or 18? 
18
Let z be 1 + 0/(-4)*3/6.  Is 2/1023 greater than z? 
False
Let k be (1 + -4)*32/6.  Let q = k + 15.  Which is bigger: q or 2/17? 
2/17
Let l = 0.924 - 0.034.  Let q = l - -0.11.  Let v = -0.3 + 0.36.  Which is smaller: v or q? 
v
Suppose 0 = -0*t + 2*t.  Suppose t = -v - 4*c - 21, -6*c - 15 = -c.  Let q = 11 + v. Is q greater than or equal to -3? 
True
Suppose -6*a + 865 = -1121.  Is 331 bigger than a? 
False
Let y be (-7 + (2337/(-18))/(-19))*3.  Which is smaller: y or 627/7? 
y
Let z = -40 + 21.  Let s = z - -18.7.  Which is smaller: 0.2 or s? 
s
Let u = -142553/19516 + 1285/119.  Let n = u - 10/41.  Let w(l) = -l**3 - 9*l**2 - 8*l + 4.  Let v be w(-8).  Which is bigger: v or n? 
v
Let t(z) = z + 2.  Let v be t(-2).  Suppose 2 + v = -2*g.  Suppose 10*c = 9*c - 1.  Do g and c have the same value? 
True
Let s be 1/(-2)*(-2 + 1 + 109).  Which is bigger: s or -56? 
s
Let a be (-6)/((-10)/5) - 10/(-2).  Suppose 10 = 7*o - a*o.  Are -9 and o equal? 
False
Let t = -0.019 - -0.067.  Let s = 0.952 + t. Which is greater: s or 56/3? 
56/3
Let x(j) = j**3 + 14*j**2 - 14*j + 9.  Let r be x(-15).  Let c be 20/24 - 1/r. Let t be 1*57/(-33) + 2.  Which is greater: c or t? 
c
Let k(y) be the third derivative of y**6/120 + 11*y**5/60 - 13*y**4/24 - 3*y**3/2 - 3*y**2.  Let x be k(-12).  Suppose f = 2 + x. Is 18/5 at least f? 
False
Let f be 6/(-12)*2 - 96/(-2).  Do f and 50 have the same value? 
False
Let u = -44 - -38.  Let w be 4 - (u + 2 + 3).  Let r = -5 - -11.  Which is greater: r or w? 
r
Let t be (75/35 - 2) + 2/(-14).  Let j be 6/2 - (-102)/(-20).  Let n = -5/2 - j. Which is smaller: t or n? 
n
Let i be 7 + 3896/(-84) - 3/9.  Is i at most as big as -41? 
False
Let n be (-8)/(-4) + (-8)/7.  Which is greater: 2 or n? 
2
Let r = -333 - -333.  Which is smaller: r or 0.046? 
r
Let r(c) = c + 33.  Let t be r(-22).  Which is smaller: 8 or t? 
8
Let a(m) = 2*m + 59.  Let n be a(-29).  Which is smaller: 11/19 or n? 
11/19
Suppose -7*v = -4*m - 4*v - 13, -v + 7 = -2*m.  Let c be (-87)/(-4) + -4 + (-1)/m.  Does 18 = c? 
True
Let l be (-16)/32*(50 + 2).  Suppose -3*y = -4*y + 6.  Let s be l/4 + 3/y. Is -5 <= s? 
False
Let x = 51 + -51