 -7.42 + 0.42. Is x at least as big as p?
False
Let w be -49 + (5 - 6)*(-2 + 4). Which is smaller: -49 or w?
w
Let b be -4 - 0 - (-20)/6. Which is smaller: -2/5 or b?
b
Let f = 3.9 - 4. Let u be 20/(-24)*9/(-30). Is u smaller than f?
False
Let l = 0.142 - 0.242. Is l at most as big as 128?
True
Let g be 0/(-2*(-4)/8). Which is greater: g or -0.2?
g
Let i = 0.5 - 4.5. Let a = -3.639 + -0.061. Let c = a - i. Which is smaller: c or 1?
c
Let j = 1.2 - 0.9. Let h = 5/44 + -1/33. Let i = -7/12 - h. Which is smaller: j or i?
i
Let q = -0.21 + 0.21. Suppose o + 6 = 2*o. Let x be (-14)/o*8/84. Are q and x nonequal?
True
Let k = 2.7 + 3.3. Which is greater: 1/2 or k?
k
Let s(c) = 13*c - 7. Let w(a) = 6*a - 4. Let x(m) = 3*s(m) - 5*w(m). Let i be x(1). Let f = 6 - i. Which is bigger: f or -1?
-1
Let m be (1 + 0 - -1) + 2. Let o = -2 + m. Is 2 >= o?
True
Let y = 3 - 6. Let i be y*((-8)/(-12) - 1). Which is bigger: -1/4 or i?
i
Suppose -2*s + 1 = -3. Let q be (3 - 1)*s/(-4). Do -1/4 and q have different values?
True
Let k be -1 + -2 + (-26)/(-2). Let n be 38/(-5) + k/(-25). Let g = n + 6. Which is greater: -1 or g?
-1
Let s(r) be the third derivative of 0 + 1/60*r**5 + 3*r**2 - 1/20*r**6 + 0*r + 0*r**3 + 0*r**4. Let b be s(1). Is b at least -4?
False
Suppose -5*n = -28 - 12. Let l = 8 - n. Which is greater: l or -1?
l
Suppose -5*n + 9 = 29. Suppose -10 = 4*c - 34. Let w = c + -9. Which is smaller: n or w?
n
Let c(q) = 5*q**3 - 2*q**2 + q. Let a be c(1). Suppose -3*h + a*h + 5 = 0. Let w(x) = -x**2 - 5*x + 1. Let d be w(h). Which is smaller: 1/2 or d?
1/2
Let g = -27 + 26. Let a be 4/(-33)*(-15)/(-10). Is a at least as big as g?
True
Suppose -7 = -a + 1. Let x(m) = m**2 - 8*m + 4. Let o be x(a). Are o and 1 unequal?
True
Let o(r) be the third derivative of -r**4/12 + 8*r**3/3 - 7*r**2. Let l be o(10). Let n be (-66)/15 - 2/(-5). Are l and n nonequal?
False
Let q = 0.26 + -0.17. Let r = q + 0.91. Which is smaller: r or 2?
r
Let c be ((-108)/(-35))/(6/(-60)*3). Are -10 and c unequal?
True
Suppose 0 = 3*p - 6*p. Suppose p = -s - 3*s + 4. Let j = s - 2. Is 1/8 > j?
True
Let q be 33/2*(-4)/(-6). Let m = -118/11 + q. Is m <= 1?
True
Suppose -3*s + 0*r + 23 = r, 0 = -2*r + 4. Suppose 3*c = s*c. Is c smaller than -6?
False
Let a be 1/((-5)/(-4) - 1). Let c be a/(-10)*4*-10. Let g be 28/c - (-2)/(-1). Which is bigger: g or -1?
g
Let k(r) = 19*r - 1. Let c be k(-2). Let w be 4/(-28) - c/126. Is w at least 1?
False
Let r = 0 - -2/9. Let m = 4 - 16. Let f = -12.1 - m. Which is greater: r or f?
r
Let y = 21/13 + -107/26. Is y equal to 0.1?
False
Let r(h) = -2 + 1 + 2*h + 2 + 3*h**2. Let u be r(-1). Which is smaller: 3 or u?
u
Let q(j) = j - 7. Let b be q(11). Which is smaller: 8/3 or b?
8/3
Let q be ((-10)/3)/(1/(-3)). Let a be (-2)/q*(-5)/(-4). Is -1 < a?
True
Let y = -1.4 - -1.4. Which is smaller: 29 or y?
y
Let w be (3 + -2)/(-1)*0. Let z be -3 - (1 + 154*1). Let c = z + 3320/21. Is w greater than or equal to c?
False
Let u be 4/(-2) + (-156)/(-54). Which is bigger: 2 or u?
2
Let d = -3 + 2.7. Let j = 0.1 + d. Which is smaller: 0 or j?
j
Suppose -2*h + 6 = -20. Which is bigger: 14 or h?
14
Let l(o) be the first derivative of o**4/4 - 5*o**3/3 + 2*o**2 + 2. Let m be l(4). Let p(q) = q**2 - 5*q - 7. Let a be p(6). Is m >= a?
True
Let a be ((-3)/(-2))/(3/6). Let n = -1 + a. Let j = -0.06 - -0.06. Are j and n equal?
False
Let b be -2 + 3 + (-4)/((-16)/76). Which is smaller: 0.1 or b?
0.1
Let x be (28/21)/((-12)/18). Let s = 471/56 + -65/7. Which is smaller: x or s?
x
Suppose -3*k - o - 10 = 0, -4*k + o - 18 = -0*o. Let z be (-130)/(-225) + k/(-18). Is z equal to 1?
False
Let x = 0.05 + -4.05. Which is bigger: 0.2 or x?
0.2
Let o = -3.7 + 1.7. Let w = -0.2 + 0.3. Which is greater: w or o?
w
Suppose -4*x + 24 = 164. Let l be (8/x)/(12/50). Let i = -46/63 - l. Which is greater: i or 1?
1
Let m = -267/4 + 69. Is m at most as big as 1?
False
Let s be ((-316)/(-42))/(6/307479). Let j = s - 385673. Let y = -104 - j. Which is bigger: 1 or y?
1
Let y(a) = -a**3 + a**2 + a - 2. Let p be y(0). Let o be 1/1 + 1 + p. Let d be (-1)/2 + (-12)/24. Which is smaller: d or o?
d
Suppose -2*s + 11 = -5*s + p, 0 = 4*s + 5*p + 21. Let z(b) = b**3 + 5*b**2 + 5*b. Let h be z(s). Is h bigger than -4?
False
Let x be (-4)/(-15) - (-4)/10. Let n(m) = -m**3 + 10*m**2 - 10*m + 10. Let q(i) = 10*i - 1. Let g be q(1). Let y be n(g). Is x greater than or equal to y?
False
Let v(f) = f - 5. Let s be v(4). Suppose 5*u + 5 = -0*u. Is s greater than or equal to u?
True
Let k = 16.1 + -16. Is k at most as big as -2?
False
Let z = -1/26 + -19/13. Are z and -6 nonequal?
True
Let j = 11.2 - 8.2. Which is smaller: j or 1.3?
1.3
Let n be (-4)/(-24)*-2*3. Which is smaller: n or 2/67?
n
Let p = 17 + -18. Which is bigger: -3/4 or p?
-3/4
Suppose -5*h + h = -20. Suppose -h*x - 20 = 0, 18 = -k + 2*x - 6*x. Is k at least -2?
True
Suppose 7*g - 2*g - 12 = 4*j, -g = 2*j - 8. Suppose -3*k + 2*c - 3*c = 9, -11 = -2*k + 5*c. Let d be (k/5)/(0 - 1). Is d less than or equal to j?
True
Let w be ((-7)/(-84))/(3/8). Which is greater: w or 0?
w
Let x be (-12)/(-30)*15/(-9). Which is greater: -21 or x?
x
Let t = 1.1 - 0.1. Let z = -1 - -2. Let b = z - 2. Is b less than t?
True
Let o(z) = z - 3. Let r be o(6). Suppose 4*g = 4*p + 8, -r*g = -4*p - 0*g - 3. Which is bigger: 1 or p?
p
Let p = -1224 + 15904/13. Do p and -1 have different values?
True
Let v = -49 + 53. Is 27/7 > v?
False
Let h be 19 + -1*(1 - 5). Let q(t) = -t**2 + 12*t - 4. Let n be q(9). Is h != n?
False
Let a = 1 + 6. Let k(t) = -t**3 + 8*t**2 - 8*t + 10. Let i be k(a). Which is greater: i or 2?
i
Let k be (81 + 0)/3*12/(-18). Is -17 greater than or equal to k?
True
Let x(w) = w**2 - 10*w + 10. Let a be x(9). Is 1/7 at most as big as a?
True
Let t = 0.09 + -6.09. Let d = -5.7 - t. Which is bigger: d or -0.1?
d
Let j = 1444 - 5735/4. Is 11 smaller than j?
False
Let d(n) = -n**3 - 18*n**2 + 17*n - 37. Let m be d(-19). Let p = -1169/10 + 117. Which is smaller: p or m?
p
Suppose 0 = -u - u + 2*l - 18, -5*l - 72 = 4*u. Let x = u + 9. Let f(t) = -t**2 - 4*t - 1. Let b be f(x). Is b less than or equal to -2?
False
Suppose 3*w = 0, w = -2*c + 4*w - 4. Let q be -5*(-3)/((-15)/c). Which is greater: q or 3?
3
Let f = -20 - -20. Which is greater: f or -6/11?
f
Let k(s) = -s - 9. Let o be k(-12). Suppose -o - 6 = 3*w. Is w at most as big as -2?
True
Let r(h) = 2*h - 4. Let a be r(2). Which is greater: 1/6 or a?
1/6
Let x be (-592)/(-1580) + 4/(-10). Let k = -164/237 - x. Let h be 2/24 + (-1)/3. Is k at most as big as h?
True
Let s(u) = 5*u - 12. Let c be s(9). Which is bigger: 0.1 or c?
c
Let m be -2 - (-5)/(10/2). Which is smaller: 4 or m?
m
Let l be (1/(-2))/(5/180). Which is smaller: l or 0?
l
Let m = 4.5 - 4.63. Are m and -2/7 equal?
False
Let o be (-178)/(-12) + (-16)/(-96). Is o greater than or equal to 18?
False
Suppose -84 = -6*j + 3*j. Let a be ((-1)/1)/(1/(-2)). Suppose a*o - 5*w = -9 + j, -1 = -5*o - 3*w. Which is greater: 0 or o?
o
Let g = 2 - 2.2. Let s be 1/(-6)*(-6)/(-30)*-2. Which is bigger: s or g?
s
Let t = 28 + -35. Let a be (-13)/42 - t/42. Which is smaller: a or 1?
a
Let a be (-41)/13 + 8/52. Which is bigger: -5/3 or a?
-5/3
Let r(u) = u**3 + 5*u**2 + 7*u + 9. Let i be r(-6). Let n = 484/7 + i. Which is bigger: -3 or n?
n
Let a = -1.4 - -5.2. Let c = a - -0.2. Is -1 >= c?
False
Let n = -100.755 - -646.785. Let j = n + -543. Let v = j + -0.03. Which is bigger: v or 0?
v
Suppose -4*v - 13 = -29. Is 3 >= v?
False
Let j be (-6)/(-24) - 25/116. Which is smaller: j or -1?
-1
Let t = -14 - -17. Suppose -2*w = 10, -4*u - w - t = -5*u. Is u at most as big as -4?
False
Let b be (4 + 6/(-8))*2. Let v = -7 + b. Which is smaller: v or -2?
-2
Suppose -3*u = -4*u + 12. Let j be (3/(-9))/((-10)/u). Which is greater: j or -2?
j
Let p = -7 + 13. Which is greater: -1 or p?
p
Let k be 7/12 + (-2)/6. Let o(d) = 2*d**2 - 4*d + 2. Let a be o(2). Do k and a have different values?
True
Suppose -2*q - 8 = 32. Which is smaller: q or -19?
q
Let v = 1 - -1. Let b = -4 - -4. Let f be (-1)/6*-3 + b. Which is bigger: v or f?
v
Suppose -3 + 9 = 3*h. Which is smaller: h or -2?
-2
Suppose 3*v - 4 = -4*j - 2, -j = -2*v - 6. Let m = j + -5. Let k be 0/m*-1 + 1. Does k = -2/15?
False
Let z(u)