ller: s or 9? 
s
Let j(o) be the first derivative of -16*o**2 + 16*o - 2.  Let w be j(7).  Let n be (-1)/2 + (-328)/w.  Is n ! = 1? 
True
Suppose -8098 + 36883 = 57*t.  Is 508 >= t? 
True
Let a(j) = j**3 - 6*j**2 - 8*j + 16.  Let u be a(6).  Are u and -65/2 unequal? 
True
Suppose 19 + 11 = -5*c.  Let o = -72 + 80.  Suppose 16 = -3*u - o. Is c < u? 
False
Let x(h) = 34*h**2 - 7*h + 5.  Let g be x(2).  Which is smaller: g or 128? 
g
Let j = 11 - 5.  Let l be 8/30*j + -2.  Do 0 and l have different values? 
True
Let f = 7/1261 + -13005/1261.  Which is smaller: f or -9? 
f
Suppose 0 = -5*i - 0*i + 290.  Let k be (-24)/108 - i/(-126).  Let o = k - -1/21.  Is o at most as big as 10? 
True
Let r(g) = 3*g + 10.  Let i be r(-4).  Let y be 0 + (i/44)/((-5)/240).  Is y equal to 1? 
False
Let j = -0.322 + 0.082.  Let v = -21.76 + 23.  Let k = v + j. Are k and -12/5 unequal? 
True
Suppose 4*v - 7 + 3 = 0.  Let i be -7*((-1377)/90 - -15).  Which is smaller: v or i? 
v
Suppose -13*a = -18*a + 55.  Let u(d) = -1 + 2 - 11*d + 4 - 3 + d**2.  Let h be u(a).  Is 3 at most as big as h? 
False
Let h = -37.97 - -49.  Let q = h + -11.  Let u = q + -3.03.  Which is smaller: 0 or u? 
u
Suppose 5*v - 6 = -2*h + 6*v, -2*h + 3*v = -2.  Let o = 47 + -46.  Is h at least o? 
True
Let b be 9/12 - (-13)/4.  Let r be b*(2 - 0 - 4).  Are -20/3 and r non-equal? 
True
Let f = -1944 - -1964.  Let l be ((-2)/(-4)*2)/3.  Is l at most as big as f? 
True
Let o be 4479/99 + 1/(-3).  Let m = o - 45.  Is 1 not equal to m? 
True
Let x = 979 - 4901/5.  Is x bigger than 0.023? 
False
Let x be (-12)/2*(-9)/((-27)/46).  Is -90 bigger than x? 
True
Let h(p) = -p**3 + 18*p**2 + 19*p - 8.  Let l be h(19).  Which is smaller: -1 or l? 
l
Let z = 245 + -240.  Is 35 greater than or equal to z? 
True
Let q be -6*(0 - 2 - 50/(-20)).  Let m be (-4 + (-4 - -7))/q.  Let x = 0.7 + -0.5.  Is x greater than or equal to m? 
False
Suppose -4*y + 19 = -3*g, -8*g - 11 = -y - 6*g.  Let v be 6/(-18) + 2/6 - y. Which is smaller: v or -7/11? 
v
Let f be (-10)/(140/886) + (-4)/(-14).  Are f and -58 nonequal? 
True
Let g = -623 + 615.  Is g greater than -8? 
False
Let h = -66 - -77.  Which is greater: h or 4? 
h
Let h = -29 - -30.  Let t(i) = -i**3 + 4*i**2 - i + 9.  Let f be t(4).  Suppose -3*q + 2 = -a - 5, 2*q - f*a = 9.  Is h equal to q? 
False
Let x be 18/(-45) + 64/10.  Let l be (x/8)/(-1 - -2).  Is l at most 3? 
True
Let y be (40/(-320) - (-210)/16)*-8.  Which is greater: -109 or y? 
y
Let c be 11136/368*(-1)/(-4).  Which is smaller: c or 9? 
c
Let m = 320 - 503.  Which is smaller: -182 or m? 
m
Let a = -54 + 56.  Let k be (a/(-4))/(2/(-4)).  Which is bigger: k or 1/5? 
k
Let l = -1/22 + -41/66.  Let w(p) = 2*p**2 + 7*p - 1.  Let s be w(-6).  Suppose -2*t - 23 = -j, s = -4*j + 7*j + 4*t.  Which is greater: j or l? 
j
Let j be 8859/924*4 - (-6)/2.  Let r = 370/11 - j. Which is greater: r or -9? 
r
Suppose 11*n - 184 = -173.  Which is greater: -0.251 or n? 
n
Suppose 3 + 12 = 3*a.  Let q(n) = n**2 + 6*n + 6.  Let s be q(-4).  Let u be (-1 + s + a)/1.  Which is greater: 1/3 or u? 
u
Let t(q) = -q**3 - 4*q**2 + q - 6.  Let y be t(-6).  Let f = y - 39.  Is 21 less than or equal to f? 
True
Let j be ((-216)/(-10))/((-84)/(-600)).  Let n = -154 + j. Let d(l) = -l - 1.  Let q be d(0).  Which is bigger: n or q? 
n
Let c = 0.3 + -0.2.  Let s be ((-3)/7)/(-4*3/(-8)).  Is c at most s? 
False
Let k(s) = s**3 - 15*s**2 + 12*s + 18.  Let i be k(14).  Suppose 24 + 16 = -4*b.  Do i and b have the same value? 
True
Let f = 1537 - 1546.  Let m be (-1 - 3) + -1 + 2.  Which is smaller: m or f? 
f
Let d = -347.8 - -325.  Is 1/3 < d? 
False
Suppose -5*j = -r + 57, 6*r = 3*r - j + 235.  Which is greater: r or 78? 
78
Let d be ((-11)/(-2) - 4)*(-14)/(-3).  Let n(p) = -p**3 + 7*p**2 + p - 8.  Let j be n(d).  Let a = -297 + 3269/11.  Which is bigger: a or j? 
a
Suppose 3*p + 18 = 2*p.  Let h be 22/18 - (-4)/p.  Which is smaller: h or -16? 
-16
Let o be 770*4/((-48)/(-4)).  Let d = -240 + o. Is d not equal to 18? 
True
Let c = -11451/7 - -1633.  Which is bigger: c or 1/2? 
1/2
Suppose 32 + 52 = 14*u.  Suppose -30 = -4*z - u*z.  Let v be (-4)/(-14) - 34/(-28).  Which is smaller: z or v? 
v
Suppose -3*b = 4*b - b. Is -15/52 equal to b? 
False
Let c = 256 + -8962/35.  Suppose -4*y + y - 4*f - 17 = 0, -4 = -2*y + 5*f.  Let a(d) = -d**3 - 4*d**2 - 4*d - 4.  Let h be a(y).  Are c and h non-equal? 
True
Let z(w) = w**2 - 2.  Let n be z(2).  Let l be (-1 - 622/42)*(-15)/(-5).  Let r = l + 1702/35.  Which is smaller: n or r? 
r
Let x(h) = -10*h**2 + 4*h + 1.  Let k be x(3).  Suppose -2273 = 6*y - 1811.  Is y greater than k? 
False
Suppose m + 14 + 3 = s, 3*m - s = -61.  Let r = m - -23.  Suppose a + 2 - 3 = 0.  Is a bigger than r? 
False
Suppose v + 2*v + 78 = 0.  Let o = -5629 + 5604.  Does v = o? 
False
Let y be 1/(-5) - 4444/55.  Let s = -85 - y. Which is greater: s or 0? 
0
Let z(b) = b**2 + 3*b - 29.  Let l be z(4).  Is l less than 0.55? 
True
Suppose v = -4*y - 11, 2*v + 0*y - 33 = 3*y.  Suppose -2*f = -2*t - 10, t = -5 + 10.  Is v at least f? 
False
Let g = 1800 + -1803.  Is -39/20 < g? 
False
Suppose -4*h - 7 = -11, 3*k + 4*h = 7.  Let r = -2 + 5.  Which is smaller: r or k? 
k
Let q = -3/7651 + 696307/168322.  Which is smaller: 5 or q? 
q
Let t be (-6)/(-12) + 1/(-2) - 0.  Is t greater than or equal to -11/105? 
True
Suppose 5*q - h - 386 = 144, 0 = 3*q - 2*h - 325.  Let x = q - 92.  Let l = 21 + -9.  Is l greater than or equal to x? 
False
Let l(v) = -9*v**2 + 15*v - 7.  Let f be l(-4).  Which is smaller: -210 or f? 
f
Let w(u) = 1.  Let m(o) = o**2 - 8*o - 16.  Let f(k) = m(k) + 6*w(k).  Let c be f(9).  Which is greater: -12 or c? 
c
Let o = 1 + 0.  Let m = -128 + 816.  Let t = 21326/31 - m. Which is smaller: t or o? 
t
Let p be -4*((0 - 1) + 2).  Let g = -126 - -117.  Let v be (g/(-6))/(2/p).  Which is smaller: v or 1? 
v
Suppose -27*r - 1410 = -22*r.  Which is greater: r or -283? 
r
Let u = -1334/1005 - 2/335.  Suppose 3*l + 0*g - 5*g = -18, l + 2*g - 5 = 0.  Is u greater than l? 
False
Suppose -6*v + 5*v = 1, -2*v - 26 = -2*p.  Let u(n) = -9*n**3 - 3*n**2 - 3*n - 3.  Let o be u(4).  Let x be (3/2)/(o/p).  Do 0 and x have the same value? 
False
Suppose 0 = 4*k - k - 1608.  Let g be (-2)/(0 - k/132 - -4).  Which is smaller: g or 31? 
31
Let i be 2 + (-3)/((-6)/8).  Let w be -3 + (56/i)/2.  Suppose 15 = -2*m - m, -5*l - 10 = 4*m.  Is l ! = w? 
True
Let d be (-6 - (-205)/(-15)) + 2/(-6).  Suppose 5*x + 65 = -5*g - 20, -4*x = -4*g + 92.  Are d and x equal? 
True
Let q = 24 + 2.  Let d = q - 25.  Let n be ((-11)/(-22))/(d*4).  Which is smaller: 0 or n? 
0
Let m = -608/7 - -5731/63.  Which is bigger: 5 or m? 
5
Let v(y) = y**2 + 21*y + 42.  Let k(h) = -h**2 + 4*h + 2.  Let w be k(-3).  Let r be v(w).  Is 3 bigger than r? 
False
Let z be ((-15)/6)/(3/30).  Let g be 4/(-18) + (-436)/(-18).  Let j = z + g. Which is smaller: j or -1/13? 
j
Let p = -0.57 - -0.41.  Let u = p + -0.03.  Which is greater: 0.2 or u? 
0.2
Suppose 4*r = -4*k + 8, 3*k + 2*r + 0*r - 4 = 0.  Suppose 5*o - 8*o = k. Which is bigger: o or -8/11? 
o
Suppose n - u = 72 - 235, -2*u = -5*n - 824.  Let b = n - -1499/9.  Are 0 and b equal? 
False
Let r be -2*((-63)/(-14) + -5).  Which is greater: r or 5/4? 
5/4
Let p(o) = -65*o - 292.  Let f be p(-5).  Do f and 286/9 have the same value? 
False
Let i be (-156)/9 + (-12)/18.  Let c = 101 - 102.  Are i and c non-equal? 
True
Let m = 8.5 + 3.5.  Let h = -13.2 - -13.  Which is smaller: m or h? 
h
Let x(v) = 21*v**2 + 4*v + 31.  Let p be x(-5).  Which is greater: p or 0? 
p
Let a(o) = o**2 - 4*o + 7.  Let d = -19 + 22.  Let n be a(d).  Is n at most 5? 
True
Let j be -4 - ((-140)/12 + 3).  Is j smaller than 5? 
True
Let u(d) = -3*d + 14.  Suppose 3*s + 4*p = 15, 3*s + p + 6 - 21 = 0.  Let m be u(s).  Is 4 greater than or equal to m? 
True
Let x be 2*(0 + 3) + -3.  Suppose -10 = -x*z - 2*z.  Which is bigger: 4/5 or z? 
z
Let t = -6/17 - -107/255.  Let g = -10969 - -10968.8.  Which is greater: t or g? 
t
Let v = 1.1 + -1.  Let r = 8 + -8.  Suppose -3*w + 0*w + 9 = r. Is w greater than v? 
True
Let l = -5695 + 3439.  Which is smaller: l or 0.1? 
l
Let z(r) = -r**2 + 15*r + 7.  Let n be z(15).  Is n bigger than 7? 
False
Suppose -p + 141 = -90.  Is 230 equal to p? 
False
Let q = -1/2307 + -32269/66903.  Is -1 at least as big as q? 
False
Let r(v) = -2*v**3 - 5*v**2 - v - 10.  Let k be r(-4).  Let f = -32 + k. Is -4 < f? 
True
Suppose 2*w - 60 = -4*p, -4*w + 2*w - 10 = -p.  Let k(n) = n**2 - 15*n + 11.  Let s be k(p).  Is -2/9