hich is bigger: 2/11 or g? 
g
Let v = 1014 - 1016.33.  Is 2 < v? 
False
Let j = 54 - 56.1.  Let a = 11.1 + j. Is a bigger than -0.2? 
True
Suppose 13*l - 2*l + 55 = 0.  Which is smaller: 9 or l? 
l
Suppose -44*l + 32*l = -96.  Suppose 0 = l*n - 7 + 15.  Are 2.4 and n non-equal? 
True
Suppose 5*b = -2*q - 12, -q = 3*b + 9 - 2.  Let i be (b - 1) + (-12)/(-2).  Suppose i*p - 2 - 1 = 0.  Do p and -1/3 have the same value? 
False
Let d = 0.009 - 0.049.  Which is smaller: d or 2/3? 
d
Let p be 20/38*2/65.  Is 0 ! = p? 
True
Let m = 31 + -42.28.  Let v = m - -0.28.  Let l = v - -12.  Which is greater: l or -0.1? 
l
Let r(g) = 4*g**2 - 38*g + 237.  Let x be r(10).  Is 258 greater than x? 
True
Let k(c) = -c**2 - 35*c - 305.  Let v be k(-18).  Let z be (-2)/4*(-6)/3.  Let y be 14/16 - (-1 + z).  Is y at most v? 
True
Let a = -4.67 - -9.25.  Let s = a - -0.42.  Does -2 = s? 
False
Let z = 37 + -28.  Let v(s) = s - 16.  Let o be v(z).  Is o > -7? 
False
Let t be 6/(-9) - 662/(-975).  Let v = 1/85450960 + -56158371497/49988811600.  Let o = t + v. Is -1 less than o? 
False
Suppose 23*s - 64 = 15*s.  Suppose -z - 3 = -s.  Let f = 8 + -2.  Which is greater: z or f? 
f
Let p = -9.43 + 19.45.  Let y = p + -10.  Which is smaller: 1 or y? 
y
Let j = -2412565/361 + 6683.  Let t = -13521 - -13521.  Is t > j? 
True
Let o = 0.89438 + 0.10562.  Let x be -3*10/(-27) + -1.  Are o and x non-equal? 
True
Let f = 0.45 - 0.25.  Are -94 and f equal? 
False
Let l = -26 - -9.  Let s = 51 - 52.4.  Let a = 1.5 + s. Does l = a? 
False
Let f(q) = -q**2 + 9*q - 9.  Let b be f(7).  Let z = b + -7.  Let i be z/8 + (-88)/(-96).  Which is greater: 2 or i? 
2
Let y = 12 + -7.  Suppose k = y*n - 5, 3 - 28 = -5*k.  Which is greater: 0.1 or n? 
n
Let v be -1 + 3 + 221/(-9) + -3.  Let p = v - -1637/63.  Is -2/9 < p? 
True
Suppose -d + 30 = 4*d + 5*o, 4*d + o - 33 = 0.  Suppose 15 = 4*l + 5*w, l - d = -w - 2*w.  Suppose 4*m + i - 1 = 0, -4 = -9*m + 14*m - 4*i.  Is l >= m? 
True
Let g = 1/2691 + 5245/368667.  Let s = g - 336/4247.  Which is smaller: 0 or s? 
s
Let o(h) be the third derivative of h**5/60 - h**4/8 - h**2.  Let g be o(3).  Let r be (-1460)/(-240) + -4 + -2.  Which is bigger: g or r? 
r
Let y = -181 - -288.  Is y not equal to 109? 
True
Let w = 63.0934 + -0.0934.  Which is smaller: w or 1/4? 
1/4
Suppose 0 = 4*j - 265 + 13.  Let n = j + -62.  Is -0.57 at most as big as n? 
True
Suppose 3*r - r - 602 = 2*y, 0 = y - 4*r + 292.  Is y greater than or equal to -303? 
False
Suppose -5*s = 3 + 12.  Let j = -10 + 11.  Suppose 2*l + 3*l + 3*d = 12, l + 4*d = -j.  Which is smaller: s or l? 
s
Suppose -c - 2 = -2*c.  Let w be (-1 + 150/145)*c.  Is 1 > w? 
True
Let v be (-319)/(-3) + (-1)/3.  Suppose v = 4*f + 298.  Which is greater: f or -47? 
-47
Let s = -17 - -16.8.  Let i = -0.13 - s. Let k = -0.13 + i. Which is smaller: k or 0? 
k
Let v be (0/((-2)/2))/1.  Let m = -8540/9 - -950.  Which is bigger: v or m? 
m
Let o be (24/9)/(4/78).  Let l be (2 + 8/(-6))/o.  Let v = -23/234 - l. Which is smaller: -1 or v? 
-1
Suppose 6*g - 5 = g. Let s be 35*3*4/20.  Let t = 104/5 - s. Which is greater: t or g? 
g
Let d(i) = 3*i**3 + 7*i**2 + 5*i - 9.  Let v be d(-5).  Do v and 0.1 have the same value? 
False
Suppose 5*s = 4*y + 605, 0*s = 2*s - 5*y - 242.  Are s and 121 non-equal? 
False
Let j = -174901/10098 + 381/22.  Which is bigger: j or 0? 
0
Suppose h - 3*i = 2, -h - 3*i + 2 = -i.  Let p be h/8 - 1072/192.  Let x = -5 - p. Is x > 0.1? 
True
Let p(a) = -80*a**3 - a**2 + 7*a - 1.  Let v be p(5).  Let f = v + 999113/100.  Let c = -3/25 - f. Are c and -2 unequal? 
True
Suppose 32 = 2*k + k - 4*w, -4*k = -5*w - 43.  Is -6 <= k? 
True
Suppose 11 + 13 = -b.  Which is bigger: -25 or b? 
b
Let q = 223721/63 - 3551.  Is q at most -0.2? 
False
Let o = -34.55 - -9.99.  Let f = o - -0.46.  Let g = f - -24.  Is g at least as big as 21? 
False
Let o be (11 - 11)/(2*(3 + -2)).  Is 9/8 not equal to o? 
True
Let h = 78.85 + -1.85.  Let x = h + -77.4.  Which is bigger: x or 1/4? 
1/4
Let v = -1342 + 1263.1.  Let t = -79 - v. Which is smaller: 36 or t? 
t
Suppose 5*m = 20, -m - 16 = -2*r - 4*m.  Let s(t) = -t**2 + 4*t - 5.  Let x be s(r).  Which is smaller: x or -2? 
-2
Let p be 2/8 - (-30)/(-184).  Let l = 1208 - 1208.  Which is greater: l or p? 
p
Let i = -7 - -5.3.  Let v = 1.59 + i. Let h be 1 + 5/(-6) + 104/(-208).  Are v and h equal? 
False
Let g be ((-2800)/(-24))/(14/21).  Which is bigger: g or 174? 
g
Let q(i) = i - 4.  Let d be q(3).  Let o be ((-2)/5)/((-856)/10).  Let v = o + -861/1070.  Is v > d? 
True
Let g(m) = -m**2 - 63*m - 840.  Let f be g(-44).  Is -20 at least f? 
False
Suppose -56*q + 75 = -59*q.  Which is greater: q or -1? 
-1
Let v = -0.41 - -0.5.  Let i = -44.3 + 44.2.  Is v > i? 
True
Let v = 19.1 - 17.6.  Which is smaller: -1/3 or v? 
-1/3
Let y(j) = 3*j**2 - 6*j + 3.  Let z be y(3).  Let h = -23 + z. Which is smaller: 0.1 or h? 
h
Let g = -51 - -71.  Let n = g - 43.  Does n = -23? 
True
Suppose 7*d - 12*d + 10 = 0.  Suppose 39 - 37 = d*f.  Let b be (2/(-68))/(3/2).  Which is smaller: b or f? 
b
Let w be (82 + -61)*(2 + (-57)/45).  Which is smaller: 15 or w? 
15
Suppose -3*k + 90 = 3*k.  Let r be ((-10)/k)/(16/6).  Which is greater: r or 14/3? 
14/3
Let k = 0.84 - 1.  Let j = -0.0111 - 1.8289.  Let t = k + j. Which is greater: t or 4? 
4
Let m = -1942919882968/465 + 4178328583.  Let i = m - 6254.  Let y = -3/31 - i. Is -1 at most as big as y? 
True
Suppose 0 = 3*p + 23 - 17.  Let y be 3 - (34/8 + 0).  Which is bigger: p or y? 
y
Let o = -758337299/6931600 + 70991/650.  Let a = o + -2/1333.  Which is smaller: -1 or a? 
-1
Let l = 1 + 8.  Let u = l - 8.9.  Let s = -0.4 - u. Which is smaller: -1 or s? 
-1
Let l = -1.112 + -58.888.  Is 0.01 at most l? 
False
Let s be (-34)/68 + 71/4*1.  Let o = 17 - s. Which is greater: o or -6? 
o
Let x = 24.5 - 145.5.  Let c = 123 + x. Is c at most as big as 0.17? 
False
Let o(l) = -l**2 + 37*l - 150.  Let k be o(31).  Which is smaller: k or 31? 
31
Let r be ((-1)/(-1))/((-20)/(-20)).  Let a be 1/(-7) + (-1700)/(-6020).  Which is bigger: r or a? 
r
Let i(m) = m**3 - 21*m**2 + 22*m - 41.  Let p be i(20).  Which is smaller: -18/37 or p? 
p
Let h = 15 + -77.  Let f = h + 63.  Which is bigger: 5 or f? 
5
Let m = -26.8 + 6.8.  Let w(r) = -r**2 + 5*r - 4.  Let g be w(4).  Which is greater: m or g? 
g
Suppose -17 + 7 = -5*l.  Let a be 4/8*-1*l.  Let p be 4/(-66) - 0/(-2).  Which is bigger: p or a? 
p
Let p = 2.07 - 0.07.  Let a = -25 + 66.  Let h = a + -31.  Is p greater than or equal to h? 
False
Let z be (-1 - -4)*3/9.  Let b be -4 + (2 - z - -7).  Let a(y) = -y**3 + y**2.  Let w be a(0).  Which is bigger: w or b? 
b
Let d be -1*(9/3 + -2).  Let i = 586/9 + -65.  Which is greater: i or d? 
i
Suppose 0 = -0*x + x - 2.  Suppose x*m = m. Suppose -h - 5 = 4*q, m = -q + 3*q + 2.  Which is bigger: -10 or h? 
h
Let o = 7.4 - 49.4.  Let x = -42 - o. Which is greater: -24 or x? 
x
Let a be (188/(-46024))/((-6)/(-305889)).  Let z = -3/5753 - a. Let p = z + -210.  Which is bigger: -3 or p? 
p
Let i(v) = -10*v - 101.  Let z be i(-15).  Which is smaller: z or 50? 
z
Suppose -2*m - 20 = 16.  Let f = m + 9.  Let w(a) = a**3 + 8*a**2 - 10*a - 8.  Let i be w(f).  Is 1/3 greater than i? 
False
Let q(b) = b**3 + 5*b**2 + 3*b.  Let u be (-132)/36 - 2/6.  Let r be q(u).  Are r and 4 equal? 
True
Suppose 6*a - 463 = -463.  Is 3/16 less than a? 
False
Let f(v) = 5*v - 3 - v**2 + 8 - 2*v.  Let t(x) = x**2 + 4*x + 7.  Let a be t(-3).  Let k be f(a).  Which is bigger: 2/7 or k? 
k
Let y = -1.275 - -1.375.  Let u = -3 + 3.2.  Which is bigger: u or y? 
u
Suppose 21*x - 157 = -2*p + 18*x, 319 = 4*p + 5*x.  Do 90 and p have the same value? 
False
Let n be (-111)/370*(-2)/3.  Suppose 0*q + q - 2 = 0.  Suppose q = -0*m - 2*m.  Which is bigger: m or n? 
n
Let v(p) = -5*p + 45.  Let k be v(9).  Which is smaller: 2/13 or k? 
k
Let p(w) = w - 2.  Let t be p(8).  Suppose 0 = g + 7 + t. Which is greater: g or -11? 
-11
Let l = 311 + -315.  Which is smaller: -1 or l? 
l
Let w = 201.37 - 203.  Let l = 0.07 - w. Which is smaller: l or -1? 
-1
Let g = -49 + 77.  Let z = g + -32.  Let p be 3 - (z - -8 - 1).  Is p > -1? 
True
Suppose 34 + 56 = 3*h.  Let r be (-42)/h*(24/14 - 2).  Which is smaller: -1 or r? 
-1
Let s be (-563400)/352 + 3/((-66)/4).  Let l = -1590 - s. Which is smaller: l or 12? 
l
Suppose -4*p = -2*l - 11280, -5*p + p = -5*l - 11274.  Let s be p/(-63) + (-4)/18.  Let g be ((-3)/35)/(9/s).  Is 1 < g? 
False
Let m = 2.1 - 2.54.  Let p = 0.94 + m. Let u be -2*((-21)/9 - -2).  Whi