
True
Let z = -51 - -50.  Which is greater: 1/8 or z? 
1/8
Let w(b) = 1.  Let j(z) = -z + 3.  Let d(v) = j(v) - 4*w(v).  Let q be d(-4).  Suppose -6*g - q*y = -g - 2, -5*g = -3*y - 8.  Which is greater: -2/7 or g? 
g
Let f be (-1786)/(-105)*9/6.  Let s = f - 129/5.  Is 0 less than s? 
False
Let q = 2.5 + -1.1.  Let m = q + -1.  Let c = m + -0.3.  Do c and -2/13 have different values? 
True
Let j = 215/13 + -16.  Which is smaller: j or 2? 
j
Let s = 23409/13 - 1803.  Is -1 bigger than s? 
True
Suppose p + 2*n - 64 = -21, 0 = -p - 5*n + 43.  Is 41 bigger than p? 
False
Let v(g) = g + 4.  Let l be v(-10).  Let m = -18 - l. Let k = m - -7.  Which is bigger: -4 or k? 
-4
Let q(y) = -y**3 - 9*y**2 + 9*y - 10.  Let l(b) = b**2 - 7*b.  Let c be l(5).  Let t be q(c).  Is 3 at most t? 
False
Let z(c) = 3*c - 3.  Let l be z(2).  Suppose -h = -q + 3, -q - 4*q - l = h. Let f = -1 + 2.  Is q > f? 
False
Suppose 0*u - 3*m = -u - 8, -4*u = -m - 1.  Let p(x) = x - 1 + 0*x - 2.  Let z be p(0).  Are u and z equal? 
False
Suppose -4*a + 16 = c + c, -2*a - 4*c = -20.  Let k = a - 9.  Let s(l) = -8*l**2 + l. Let x be s(1).  Is x greater than or equal to k? 
True
Let x = 364 - 2554/7.  Which is greater: -1 or x? 
x
Let j = 20 - 15.  Suppose 0 = -4*x + 21 - j. Which is greater: x or 7/2? 
x
Let n(q) = -q**3 + 5*q**2 - 4*q - 2.  Let f be n(4).  Let x(l) = -8*l**2 - l. Let v be x(-3).  Let t = v + 273/4.  Is t greater than or equal to f? 
True
Suppose 0 = -6*p + 2*p + 12.  Is p greater than or equal to 5? 
False
Let s = 2.057 + -0.057.  Let f be 2/(-7) - 27/(-21).  Which is smaller: f or s? 
f
Let i = 21 + -15.  Suppose 0 = -2*w + i*w + 8.  Let u be w - (0 + 0) - -3.  Do u and 2 have the same value? 
False
Let u(o) = o**2 - 4*o + 6.  Let p be u(2).  Let y = 11 - 7.  Let s be 11/9 - y/18.  Does s = p? 
False
Let h be 48/(-504) - (-4)/42.  Which is greater: -2/15 or h? 
h
Let g be (5/(-4))/((-1)/(-4)).  Is g less than -4? 
True
Let b = -6 - -76/13.  Is b at least as big as -2/5? 
True
Let x = -276 - -1935/7.  Suppose 2*o = 2*i, 4 = -i + 5*i.  Which is greater: x or o? 
o
Let j = 12.6 + -9.62.  Let g = 0.1 - 0.08.  Let h = g + j. Which is smaller: 0.1 or h? 
0.1
Let x be (-2)/(-3) - ((-16)/12 - 2).  Let t(i) = -2*i - 1.  Let j be t(-3).  Which is smaller: x or j? 
x
Let t be (2 + 0)/((-4)/12).  Let d = t + 7.  Are d and 0 non-equal? 
True
Let l be (-9681)/3315 - 10/(-25).  Let x = -32/13 - l. Which is bigger: x or 1? 
1
Let f be 104/(-99) + 14/(-63).  Which is greater: 0 or f? 
0
Let p = 0.024 - -34.976.  Which is bigger: p or -2? 
p
Let b = 1 + -1.  Let g(j) = j**2 - 7*j - 15.  Let t(s) = -s**2 + 7*s + 14.  Let n(a) = -6*g(a) - 7*t(a).  Let u be n(8).  Is u > b? 
False
Let o be 2/(-3) - (-1)/1.  Let d = -24 + 17.  Let c = 7 + d. Which is smaller: c or o? 
c
Let g be 1 - (2 - 0 - 6).  Let n(l) = -l**3 + 6*l**2 - 7*l + 7.  Let b be n(g).  Let x = 4 - 8.  Is b bigger than x? 
True
Let a be 2/(-4) - (-2)/8.  Let m = 11 - 13.  Let h be (-9)/12 - m/(-8).  Is h less than a? 
True
Suppose 2 = -2*x + 6.  Let z = 12 + -12.  Is x at least z? 
True
Let n = -6 + -1.  Is -8 less than or equal to n? 
True
Let j be (-71)/(-13)*(-2)/60.  Let f = j + 1/65.  Let k(s) = -s**3 + 3*s**2 + s - 4.  Let w be k(3).  Is f > w? 
True
Let q = -5 + 5.  Suppose -5*o = -5*m - 3*o + 80, -4*m + 64 = 2*o.  Suppose 0 = 2*w + j - 4 - 0, -2*w + m = 4*j.  Is q equal to w? 
True
Let a = 391 - 21115/54.  Which is bigger: a or 0? 
0
Suppose 4*o + 0 = 20.  Let g(z) = z - 9.  Let f be g(o).  Which is smaller: -1/2 or f? 
f
Let i(h) = h**3 - 3*h**2 - h - 5.  Let j be i(4).  Let f = j + -4.  Let a be f/(-3) + -2 + 2.  Is 1 <= a? 
False
Let z be (-22)/(-24) - 2/2.  Let k(d) = -d**3 + 3*d + 1.  Let m be k(2).  Is z ! = m? 
True
Suppose 5*j = j - 4*j.  Is j at least as big as -58? 
True
Let t(x) = -x**3 - 2*x**2 - 5*x - 3.  Let g be t(-1).  Which is smaller: g or 2/71? 
2/71
Let v(o) = -o.  Suppose -l - 3*l + 3*b - 17 = 0, 4*b = -4*l - 24.  Let p be v(l).  Which is smaller: p or 0.1? 
0.1
Let a be (20 - 14)*(-3)/(-2).  Is 9 less than or equal to a? 
True
Let w = 0.03 + 0.27.  Let a = 5.6 + -6.  Let q = w + a. Which is bigger: q or 1/3? 
1/3
Let r be (-4)/14 + (-12)/7.  Let q be r/4 + (-3)/18.  Which is greater: q or -2? 
q
Let n be (-8)/(-156)*(7 + -1).  Which is bigger: -1 or n? 
n
Suppose 6 = -3*i + 6*i, -3*a - 2*i + 16 = 0.  Let t be 8*1 - 4/a. Let y be 2/6 + t/(-3).  Which is smaller: -1 or y? 
y
Let f = -17 + 18.  Is -4/15 greater than or equal to f? 
False
Let l(f) = -2*f - 2.  Let r be l(2).  Let c(b) = -3*b + 2.  Suppose 11 = 4*u - 1.  Let g be c(u).  Which is greater: g or r? 
r
Let u(p) = p - 6.  Let t be u(8).  Is 4 less than t? 
False
Let x be (-3*(-7)/(-28))/(51/(-10)).  Is x at most 1? 
True
Let c = 8 + -13.  Let u be ((-5)/c)/((-7)/(-3)).  Which is bigger: 0.2 or u? 
u
Let t = -16.8 - -16.74.  Let r = -0.3 + 0.1.  Is r greater than t? 
False
Let o(d) = d**2 - 7*d + 2.  Let z be o(7).  Let r = z - 2.  Is 0 greater than r? 
False
Let v(p) = -p + 1.  Suppose -2*w = -6*w - 32.  Let g be 36/10 + w/(-20).  Let y be v(g).  Are y and -2 nonequal? 
True
Let h = 4403 + -26353/6.  Let x = h + -226/21.  Which is bigger: -1/3 or x? 
x
Let n = -75 + 66.  Is -1 <= n? 
False
Let q = -9 - -9.  Suppose -3*w - 2*r + 8 = q, 0 = 5*w + 4*r - 17 + 1.  Which is smaller: -3/4 or w? 
-3/4
Let h = 13 + -8.  Let i = h + -3.  Suppose -2*q + i = -3*q.  Is q less than -1? 
True
Let u = 0.12 - 0.12.  Let y = 2 + -3.  Which is smaller: u or y? 
y
Suppose -4*o - 5*t - 45 = 23, t = -5*o - 85.  Let p = -192 - o. Let n = -1223/7 - p. Is n greater than or equal to 4/7? 
False
Let u = 52 + -54.  Which is bigger: u or -10? 
u
Let l = -18.1 + 19.  Let h = 0.1 + l. Are 0 and h nonequal? 
True
Let z = 2 - -2.  Suppose 0 = 4*c - 8.  Suppose 4*i = c*i + z. Which is greater: i or 1? 
i
Let q(z) = z**3 + 3*z**2 - z. Let o be q(-3).  Suppose 3*l + 0 - 15 = 0.  Which is smaller: o or l? 
o
Let m(b) = -b**2 - 3*b + 2.  Let s be m(-3).  Suppose a = -a - s. Let c be 1*(a - 4/(-5)).  Which is smaller: c or 1? 
c
Let h = 3344/13 - 257.  Let c(p) = p + 4.  Let w be c(-3).  Is h < w? 
True
Let d = 13 - 167/13.  Is d ! = 0.1? 
True
Let p = -152/7 + 22.  Which is greater: 0.06 or p? 
p
Let v be 3 - 1176/195 - -3.  Let a be (-27)/(-18)*(-4)/(-6).  Is v >= a? 
False
Suppose -5*o = 3*q - 4*o - 17, 11 = 3*q - 2*o.  Let r be (q/(-4))/(3/(-12)).  Which is greater: r or 2? 
r
Let y(v) = -v + 8.  Let b be y(7).  Suppose d = -b - 2.  Let t be 1/(-1)*d/3.  Which is smaller: t or 0? 
0
Let x = -84 + 54.  Let b be 15/(-6)*(-2)/x.  Is -1 ! = b? 
True
Let f be -1 + 3 - 16/10.  Is 0 >= f? 
False
Let v = -0.23 + 0.26.  Which is smaller: v or 2? 
v
Let i be (-663)/(-4) + 0 + -1.  Let k(x) = -2*x**3 - 2*x**2 - 4.  Let n be k(4).  Let v = n + i. Is v greater than 2? 
False
Suppose 7*k - 40 = 2*k.  Suppose -2*d = 2*d - k. Suppose 6 = -d*m + 2.  Is -1 at most as big as m? 
False
Let j = -19 - -14.  Is j > 2? 
False
Suppose 0 = -v - 3*v + 20.  Suppose 0 = -9*n + 4*n + v. Are n and 1 non-equal? 
False
Let l(o) = 2*o - 17.  Let d be l(10).  Which is greater: -8 or d? 
d
Suppose -h = -7*h + 6.  Is 2/43 > h? 
False
Let w = 0.004 + 5.096.  Let j = 5 - w. Which is greater: j or -8? 
j
Let c(x) = -7*x**2 + 1.  Let w be c(-1).  Suppose 0 = f - 2*f - 7.  Is w <= f? 
False
Let x = 33 + -35.  Is x at most as big as -1? 
True
Let g be -51 + (-9)/(3 - 0).  Is g at least as big as -55? 
True
Suppose 0 = 322*n - 318*n - 4.  Let t be 1/(-2) - 11/(-14).  Is t ! = n? 
True
Let o(a) = -2*a + 1.  Let z be o(-1).  Suppose 2*p = 3*l - 1, l + 3*p + z = 18.  Let u = l - 2.  Are -1 and u nonequal? 
True
Let q be 168/(-18)*(-3)/(-2).  Let d be (q/(-91))/(2/2).  Let w = -2 + 3.  Which is smaller: d or w? 
d
Let k be -1*12/4 - 3.  Let o be -4 - (1 - 2/(-2)).  Is o less than k? 
False
Let i be 5*((-8)/(-20))/2.  Is i < 2? 
True
Let z = 57769/52 - 1111.  Is -1 less than z? 
True
Suppose 2*x + l = 5, -3*x - 4*l = -2*x + 8.  Suppose -13 + 5 = x*d.  Let b = 11/6 - 5/2.  Which is smaller: d or b? 
d
Let h = 141 + -84.  Which is bigger: 59 or h? 
59
Let t(l) = -l - 4.  Let w be ((-2)/(-2))/((-5)/15).  Let y be t(w).  Let r be (-2)/(-6) + 22/(-12).  Is y less than r? 
False
Let d be 3/((-45)/(-50)) + -3.  Is d greater than 1? 
False
Let l = -5 - -7.  Let t = 0.8 - 0.9.  Which is smaller: t or l? 
t
Let u = -2.3 + -1.1.  Let r = u - -4.4.  Let z(i) = -i**3 + 5*i**2 + 6*i - 5.  Let y be z(6).  Which is bigger: r or y? 
r
Let t be 2/(-2)*(0 + 1).  Let a be 2 - 4 - (0 - t).  Suppose -3*v - 10 = 2*v.  Which is smaller: a or v? 
a