er: 3 or b? 
b
Let l = -1.7 + 5.7.  Which is bigger: 1 or l? 
l
Suppose 3 = -x + m, 1 = -2*x - 4*m + 7.  Suppose -c + 4*v - 3 = -19, 4*c - 12 = 3*v.  Is x >= c? 
False
Let l be 3 - 52/14 - (-2)/(-7).  Which is greater: l or 2/143? 
2/143
Let g = 19 - 11.  Let h = g + -4.  Is h less than or equal to -1/2? 
False
Let a = 43 + -35.  Which is bigger: 6 or a? 
a
Suppose -5*f = -6*f - 2.  Which is smaller: f or -3? 
-3
Let c(t) be the third derivative of -t**5/60 - t**4/8 - t**2.  Let i be c(-3).  Which is greater: i or -1/2? 
i
Suppose 2*h - 2 = 2*l, -4*h - 4*l - 36 = -0*l.  Let u be 9/3 - (3 - 2).  Let p be ((-1)/h)/(u/(-4)).  Is p ! = -1? 
True
Suppose -8*n + 69 = -43.  Does n = 29/2? 
False
Let g(b) = -b**3 + b**2 + b + 1.  Let z be g(0).  Let l be 1*(z - -1) - 1.  Let c be 6/24 + (-1)/2.  Is c equal to l? 
False
Let m = 4524/11 + -1017922/2475.  Is -1 > m? 
False
Let f be -3 + (-159)/(-9)*3.  Let l be 383/(-3)*f/(-20).  Let g = -320 + l. Which is smaller: -2 or g? 
-2
Let u(o) = -o - 6*o**2 - 4 + 8*o - o**3 + 0*o**3.  Let h be u(-7).  Let w = 2 + h. Is -1 not equal to w? 
True
Let x be (-3)/2 - (-2)/(-4).  Suppose -m = 4*k - 3*k - 3, -4*k + 20 = 0.  Let v(n) = n**3 + 2*n**2 + 2*n + 2.  Let t be v(m).  Is t greater than or equal to x? 
True
Let h = 1 + -1.16.  Let v = h + 0.06.  Does -3/11 = v? 
False
Suppose 3*w + 62 = -2*s, -w - 4*s - 26 = -2*s.  Which is smaller: -19 or w? 
-19
Let y be (-6)/(-4) + -2 + 1/4.  Which is smaller: y or 0.073? 
y
Let r(f) = 5*f + 4.  Let y(q) = 11*q + 8.  Let a(n) = 9*r(n) - 4*y(n).  Let z be a(-4).  Let g be (-4)/30*175/(-210).  Is g > z? 
True
Let i = -9 - -2.  Is i bigger than -6? 
False
Suppose 73 = 4*q - 47.  Suppose -2*p = -5*p + q. Which is greater: p or 11? 
11
Let p be (-234)/(-220)*2 + -2.  Let v = -73/55 + p. Which is smaller: -2 or v? 
-2
Let h be (0 + 25)*(-3 + 39/15).  Which is smaller: -5 or h? 
h
Suppose 0 = 4*t - 9*t + 20.  Suppose 4 = -2*g + 12.  Is t at least as big as g? 
True
Let h be 6/4*12/45.  Let o be 0 + 1*-2 - -8.  Let f be (-4)/o - (-11)/12.  Which is bigger: h or f? 
h
Let w(g) = g**3 - 5*g**2 + 6*g - 6.  Let i be w(4).  Let j = -7 - -11.  Let d be 1/j + -1 + 2.  Is d less than i? 
True
Let z = 2 - 5.  Let s = z - -2.9.  Let h = 9 - 5.  Which is bigger: s or h? 
h
Let a(s) = -s + 7.  Let o be a(5).  Let g = -1 - -2.  Suppose -3*x + 2 = -g.  Is o at most x? 
False
Let s = -16 - 16.  Which is greater: s or -31? 
-31
Let r be 1246/40 + 1/4.  Let i = -32 + r. Let q be 1/((-2)/(1 - -1)).  Are q and i nonequal? 
True
Suppose 4*p + 5*f + 24 = f, 0 = -2*p + f - 6.  Let l be -2 - p/16*-4.  Is -0.1 smaller than l? 
False
Let t(m) = -m + 7.  Let q be t(5).  Suppose -1 = 3*n - q*n.  Let v be (-2 - -1)/1 + n. Which is bigger: v or -1? 
-1
Let p = 9 - 29.  Let c = -7 - p. Is 0.1 bigger than c? 
False
Let v = 16.8 - 105.8.  Which is greater: 1 or v? 
1
Suppose 0 = 2*w - 3*d - 93, -4*w - 4*d = -114 - 42.  Let m be (-14)/(-4)*w/(-98).  Which is smaller: m or -1? 
m
Let u(d) = 2*d - 28 + 3*d**2 + d + 30.  Let j be u(-1).  Let b = -0.08 + 3.08.  Is b < j? 
False
Suppose -u + 2 - 3 = 0.  Let x(z) = z**2 - 5*z + 6.  Suppose 5*c = 21 - 1.  Let g be x(c).  Is u less than or equal to g? 
True
Suppose 0 = -12*w + 9*w + 9.  Are w and 3 equal? 
True
Let j(b) = 5*b**2 - b. Let i be j(2).  Suppose -2*f = -4*s + i, -s = -2*f + 3*f.  Let k = -3 + s. Which is greater: k or 2/7? 
2/7
Let y = -36/7 + 5.  Which is greater: 0 or y? 
0
Let k(f) = -124*f + 7.  Let i be k(-5).  Let d = -19435/31 + i. Is -1 bigger than d? 
False
Suppose 0 + 3 = -3*x.  Let k be x/(-4)*1*-4.  Does k = 1? 
False
Let a(x) = x + 2.  Let z be a(-5).  Let h be 2/11*z/2.  Is 1 ! = h? 
True
Let q be (-408)/(-595) + 4/(-14).  Is q less than or equal to -0.1? 
False
Let j = 63 - 187/3.  Let d(z) = -z + 19.  Let f be d(19).  Is j greater than f? 
True
Let l(p) be the first derivative of -p**4/4 - 5*p**3/3 - p**2/2 + 2.  Let b be l(-5).  Is 5 at least b? 
True
Suppose -3*t = 54 + 48.  Let v = t - -169/5.  Suppose 4*s = -4*s + 8.  Which is bigger: s or v? 
s
Suppose -2*c = -r - 0 - 1, 2*r + 3*c - 19 = 0.  Suppose -3*a - 2 = -r*n, 1 = 2*n + 2*a + 13.  Let d = 2/25 + -29/50.  Is n greater than or equal to d? 
False
Let x = -4.7 - -4.7.  Which is smaller: -0.01 or x? 
-0.01
Let s be (-3*2/(-12))/(1/2).  Is -1/98 at most s? 
True
Let l = -1.4 + 1.  Which is smaller: l or -3? 
-3
Let c be 8/44 + (-57)/11.  Suppose -5*u - 57 = 3*p, 4*u + p + 20 = 5*p.  Let d = c - u. Is d smaller than 2? 
False
Let p = 1.12 + -1.09.  Which is smaller: 2 or p? 
p
Let m(y) = -13*y + 157.  Let o be m(12).  Let p be (-1 - 0)*3/17.  Which is bigger: p or o? 
o
Let n = -25 + 31.  Is n at least 1? 
True
Suppose -3*b + 21 = -2*h, -5*b + h - 6 = -41.  Is b equal to 7? 
True
Let i = 3 - 1.  Is i less than or equal to -0.3? 
False
Let v = -8 - -7.5.  Let d = -0.6 - v. Is d < -0.2? 
False
Let q = -2 - -1.85.  Let k = -1.15 - q. Which is smaller: k or 1? 
k
Let l be (-12)/(-10) + -3 + (-90)/(-25).  Which is smaller: l or 3? 
l
Let a(g) = 2*g**2 - 7*g - 6.  Let l be a(6).  Let f be l/9 + (-2)/(-6).  Let t = -5 + f. Does t = -2? 
True
Let r = -1899/19 + 100.  Let z = r - -17/38.  Is z <= 1? 
True
Let p = 11.4 + -12.  Let z = -0.7 - p. Is z < 0.06? 
True
Let z = 13 - 8.  Which is smaller: 3 or z? 
3
Suppose 0 = -x + 5 - 2.  Let d be 0/(x - 2) + -10.  Do -10 and d have different values? 
False
Suppose 23 = -4*b + 3*x, 2*x - 6 = -3*b - 2.  Let j = 4 + b. Suppose -5*r + 4*p = -19, 4*p + 13 - 3 = j*r.  Which is greater: r or 2? 
r
Suppose 11 = -2*d - 3*f, -f - 2*f = 4*d + 19.  Let j = 7 + d. Let n be (-59)/19 + 0 + j. Is 1 > n? 
True
Let a be (4/((-64)/12))/(-3).  Which is greater: 1 or a? 
1
Suppose -3*p - 13 = 5*c - 4*p, 4*p = c + 14.  Let d be 3/(-1 + 4) + c. Which is greater: d or 4? 
4
Let l be (-3)/(-12) + (-22795)/140.  Let j = l + 163.  Is 0 less than j? 
True
Let p = -3 + 5.  Suppose 0 = -o - o - p. Let j(r) = r**2 - 13*r + 12.  Let g be j(12).  Is g equal to o? 
False
Let t = -6 - -2.  Let w = t + 1.  Which is smaller: -5 or w? 
-5
Let y = -0.4 + 0.44.  Let g = y - 0.14.  Let f = -2 + 3.  Is g greater than f? 
False
Let g(m) = 2*m - 6.  Let x be g(4).  Suppose -x*s - 2*y = 16, -s - 1 = s - 3*y.  Which is smaller: s or -6? 
-6
Suppose -2*z + 3*b + 12 = -z, b + 3 = 0.  Which is bigger: z or 1? 
z
Let w be (-22)/(-16) - (-1)/(-1).  Is -1 > w? 
False
Let h = -3.4 - -3.  Let r = -0.1 + h. Is -1 at most r? 
True
Let j = -9 + 10.1.  Let f = -0.1 + j. Which is smaller: 2/5 or f? 
2/5
Let d = 2.4 + -4.2.  Which is bigger: 1 or d? 
1
Let b = -25 - -31.  Which is smaller: 0 or b? 
0
Let c be -2*(4/(-4))/(-2).  Which is smaller: c or -3/14? 
c
Suppose 5*n = -0*n + 10.  Suppose 2*d - 5 - 37 = 2*o, n*d - o = 44.  Suppose 0 = -3*u + 4*l + 22, -2*u - d = 5*l - 7.  Is 2 bigger than u? 
False
Let d = 0 - 0.  Let n(p) = p**2 - p - 1.  Let j(g) = g**3 - 4*g**2 + 4*g + 4.  Let x(f) = j(f) + 5*n(f).  Let l be x(d).  Is l less than 0? 
True
Let y = -9 - -9.  Let v = -0.06 + 0.36.  Which is smaller: v or y? 
y
Let j = -59.8 + 60.  Is j equal to 0.11? 
False
Let h = 1234/147 - 3/49.  Do h and -0.2 have the same value? 
False
Let x be (1 + 1)*(-14)/4.  Let o be -6*(-2)/4 + x. Let t be 9/(-6) + o/(-8).  Is t >= -1? 
True
Suppose 1 = -4*r - 7.  Are -2 and r unequal? 
False
Let o(d) = d + 2.  Let s be o(-8).  Are -5 and s equal? 
False
Let g be (-11)/(-6) - (-2)/(-4).  Let z be -3 + 6 - (-1 + 2).  Let r = g - z. Which is smaller: -1 or r? 
-1
Let b be (14*-1)/(-2 + 4).  Let i be (-58)/(-6)*b/14.  Let c = -9/2 - i. Which is smaller: c or 3/5? 
c
Suppose 0 = -3*y - 3*o + 15, -2*y + 4*y = 5*o - 25.  Suppose y = -l - 4*l - 5*t + 20, -3*l = -t + 4.  Let i be (55/25 + -2)/((-2)/(-6)).  Which is smaller: i or l? 
l
Let q = -317 + 937/3.  Suppose -4*s - 2 = 18.  Is q at least as big as s? 
True
Let p = -18 + 20.  Which is greater: -0.05 or p? 
p
Let p = 22 + -14.  Is p <= 9? 
True
Let g = 67/114 + -8/19.  Do 1 and g have the same value? 
False
Let r = 31 - 5.  Let d be r/4 - 7/(-14).  Is 2 at most d? 
True
Let i(g) = g**3 + 3*g**2 - 14*g + 10.  Let q be i(-6).  Let y(f) = 2*f + 2.  Let m be y(-8).  Is q bigger than m? 
False
Suppose -6 = -2*o + l, -o - 2*o - 5*l = 17.  Suppose w = -6 + 5.  Let r = -1 - w. Is o at least r? 
True
Let m = 0 + 0.  Let f(y) = 5*y**2 + 20*y - 23.  Let v(w) = -2*w**2 - 10*w + 11.  Let l(s) = -3*f(s) - 7*v(s).  Let r be l(9).  Is m bigger than r? 
False
Let l(j) = j**3 - 6*j**2 + 5.  Let r be l(6).  Suppose 18 = 2*p + 5*c, 10*c - r*c - 17 = -3*p.  Suppose 0 = -a + 4*a + 3.  Are a an