= -1.4 + 4.4. Which is smaller: 6 or r?
r
Let h be ((-2 - 17) + -1)*(-52)/(-15535). Which is smaller: 0 or h?
h
Let f = -1267/5567 + 5/293. Which is smaller: 1 or f?
f
Suppose -2*y = -59 - 233. Suppose 2*c + y = 50. Do c and -48 have the same value?
True
Let g be (-13)/429*-11*-21. Suppose -55 = 2*n + 3*n. Is g > n?
True
Let q = 3063/10 + -306. Suppose -n + 1 = 3*m + 3, -5*m - 7 = -2*n. Which is smaller: q or n?
q
Let u = 192 - 217. Which is greater: -0.3 or u?
-0.3
Let a be (1392/112)/(2/14). Is a less than or equal to 88?
True
Suppose -13*l - 2747 = 438. Which is smaller: l or -243?
l
Let d = 161 + -155. Which is bigger: d or 78/11?
78/11
Let n be 0 + 3*((-678)/(-228) - 3). Which is smaller: 2/3 or n?
n
Let z = 31/196 + -3/196. Which is smaller: z or -1/4?
-1/4
Let l = 131 + -141. Let o = -21.1 - -14. Let h = o - -7. Which is smaller: h or l?
l
Let g = -0.45 + 7.45. Let f = -7.558 + -0.042. Let v = g + f. Is 0.1 greater than v?
True
Let k(l) = -13*l - 7. Let h be k(-8). Suppose 0 = -5*q + 133 + h. Is 46 at most as big as q?
True
Suppose 10 = f + 4*f. Suppose 2 = -f*n - 16. Let g(j) = j**2 - 12*j + 18. Let u be g(9). Is u less than or equal to n?
True
Let w be (1 - 0)*18/(-48). Let y(h) = 3*h - 1. Let o(t) = t. Let p(d) = 2*o(d) - y(d). Let c be p(2). Which is smaller: w or c?
c
Let n = -0.622 + 0.072. Let r = -0.85 - n. Are 10 and r nonequal?
True
Suppose 12 = 3*w - 2*w + 2*x, -w - 8 = -2*x. Suppose 0 = w*f + 3*f. Suppose -2*q + 3*i = -7 - f, 4*i = -4*q - 16. Is q smaller than -3?
False
Let y = 725 + -724. Which is greater: y or -2/25?
y
Let c(n) = -6*n**2 - 41*n - 11. Let q be c(-2). Suppose -200 = -0*u - 4*u + 4*x, -3*u = x - 138. Is u > q?
False
Let h = 920 - 1091. Is h smaller than -170?
True
Let o be (-310)/12*56/35. Which is smaller: o or -42?
-42
Let u = -15872/385 + 206/5. Let h(q) be the second derivative of -q**4/4 + 11*q**3/6 + 2*q**2 + 9*q. Let l be h(4). Is u less than l?
True
Let i = -1109 + 1202. Which is smaller: 0 or i?
0
Suppose -2*a - 8 = 0, -5*a = -5*y - 0*y + 75. Let k be ((4/2)/(-2))/(7/21). Let m be y/(-33) + (-1)/k. Which is smaller: -2/5 or m?
-2/5
Let o be (7/((-343)/(-42)))/(3/336). Are o and 95 unequal?
True
Let b be (-1)/(-6) - (-1055)/(-300). Let u = b + 15/4. Which is smaller: -1 or u?
-1
Let r be 90/(-21) - -4 - 8/(-14). Is r greater than or equal to -13?
True
Let n = -596 + 596. Is n less than or equal to -15/46?
False
Let s be (1796/(-70))/(4/(-1115)). Let g = -7155 + s. Let d = g + 27/14. Is 0 at most d?
False
Let k be (7/((-14)/15))/((-10)/(-25)). Which is greater: -19 or k?
k
Suppose 246*l - 75*l = -78*l - 249. Let c be (1 - (-5)/(-6))*-2. Is l at least as big as c?
False
Let b = -1435 + 1491. Which is smaller: b or 2/11?
2/11
Let y(d) = -d**2 - 10*d + 1. Let v be y(-10). Let r be -3*1 - (-85)/25. Which is smaller: r or v?
r
Let q be (-1)/((-10)/338) - (-7)/35. Let m be (q/(-255))/((-42)/(-10)). Which is smaller: m or 0?
m
Let j(m) = -m**2 + 62*m - 771. Let y be j(30). Which is greater: 375/2 or y?
y
Let j be 1/((7 - 8) + 2). Let o = 134562/1411 + -1620/17. Which is bigger: o or j?
j
Let w(p) = 14*p + 52. Let v be w(7). Are 148 and v unequal?
True
Let x(m) = -2*m**2 + 14*m + 5. Let b be x(7). Suppose 0 = -5*i + b*c - 65, 4*i + c + 3*c = -68. Is i less than -16?
False
Suppose 4*c + 16*k - 14*k = 572, -4*c + 574 = 3*k. Does 3 = c?
False
Let j(t) be the third derivative of 2*t**5/15 - t**4/12 + t**3/6 - 3*t**2. Let x be j(1). Suppose -3 = -x*b + 4. Is b > 1?
False
Let j = -351 + 348. Does 4/3 = j?
False
Let w(z) = -z**3 + 3*z**2 + 13*z. Let x be w(6). Let g be ((-132)/x)/((-2)/((-20)/(-9))). Which is greater: g or -6?
g
Let q(c) = 2*c**3 - 26*c**2 + 2*c - 30. Suppose 3*m = 3*y + 42, 3*y - 5*y = -3*m + 41. Let i be q(m). Is -4 >= i?
True
Let n = 152 + -198. Is -54 <= n?
True
Let r = 10 + -16. Let i be (-14*1)/(r/3). Suppose i*q - 3*q = -28. Is q smaller than -8?
False
Let q be 9/(-15) + 4*(-4)/40. Let t = -2118 - -44486/21. Which is smaller: q or t?
q
Let x = 12 + -31. Let a be 0/((-9)/27*-21 + -5). Which is greater: a or x?
a
Suppose -12 = -3*f, 4*y + 5*f + 10210 = 2718. Let c = -13102/7 - y. Which is smaller: 6 or c?
6
Let s be ((-9)/(-6))/((-9)/(-2)). Which is smaller: s or 1.1?
s
Let v = -30.4 - -25.4. Which is bigger: v or -19?
v
Suppose 17*j = 19*j + 286. Let x = j - -276. Are 133 and x nonequal?
False
Suppose m = 6*m - 115. Let i = -17 + m. Is 23/5 > i?
False
Let i = -51/11 - -283/99. Let y = -29/18 - i. Which is greater: y or 5?
5
Suppose -2*b + 9 = 1. Which is smaller: b or -6?
-6
Let d = 0 - -4. Suppose -d*u - 12 = 2*m, -3*m - 3*u = -u + 6. Which is greater: -2/3 or m?
m
Let m(w) = -w**3 - 8*w**2 - 8*w - 7. Let y be m(-7). Which is smaller: -3 or y?
-3
Let u = 234 + -247. Is -1/2 at most as big as u?
False
Let g be (-114)/(-234) - (1 + 6/(-9)). Which is smaller: g or 0.39?
g
Let v = 1 + -1. Let t = -29 + 32. Suppose 16 = t*j + 16. Is j at most as big as v?
True
Suppose 0 = -d - 1 + 2. Let j = -65 - -169. Let i be j/(-560) + (-3)/30. Are d and i equal?
False
Let s be (-34)/85 + (-46)/60. Let u = s - -3/2. Is u not equal to 10?
True
Suppose 9*s - 8*s - 49 = 0. Let m = s + -50. Which is bigger: 27/4 or m?
27/4
Let q = -21 + 36. Let g be (-1 + 2)*9 - -2*2. Which is smaller: q or g?
g
Suppose f + 11 = -0*f. Suppose 2*z + 219 - 199 = 0. Which is bigger: f or z?
z
Suppose 0 = 4*j + 26 - 10, -5*o = j + 4. Let m be 1078/1485 + (-12)/15. Which is smaller: m or o?
m
Let u(r) = r**3 - 7*r**2 + 4*r - 14. Let j be u(6). Let v be j/(-117) + (-40)/18. Let o be (12/18)/(v/3). Which is bigger: -2 or o?
o
Suppose 6*g + 2*d + 14 = 3*g, 3*d = -12. Let n(r) = -4*r**3 - 2*r**2 + r + 3. Let k be n(g). Do -0.2 and k have the same value?
False
Let y be 12/2*5/10. Suppose 5*o + 4*f = -0*o - 49, 0 = -y*o - 5*f - 32. Let h = o + 10. Is 6/11 < h?
True
Let h = -222 - -222.099. Let m = 8.699 - h. Let y = m - 8. Is y != 0?
True
Suppose -3*y = -3 - 6. Let u be (1 - 1)/(-14 - -13). Suppose -y = 3*w + 3*m, u*w - 2*m - 7 = -3*w. Is w less than -0.1?
False
Suppose -404 = -38*x + 36*x. Which is smaller: 200 or x?
200
Let t = -390 - -401. Is t <= 73/6?
True
Let a = -7264.9 - -7265. Let q(s) = 4*s**2 + 2*s - 2. Let h be q(-2). Is a at least as big as h?
False
Let a(r) = 2*r - 9. Let d be a(5). Is -16/33 at most as big as d?
True
Let a be (0 + -1)/(4 - 785/225). Which is smaller: -3 or a?
-3
Let i be (0 - 3)/(6/4). Let r be -1*(4 - (1 - i)). Is 0 smaller than r?
False
Let c be 8/14*6608/(-5592). Let w = 2/233 + c. Let x = 11 + -11.03. Which is bigger: w or x?
x
Let p(o) = o**2 - 1. Let y(u) = u**3 + 4*u**2 - 11*u - 6. Let s(x) = -3*p(x) + y(x). Let a be s(3). Does 2 = a?
False
Let w = -116 + 114. Which is smaller: 11 or w?
w
Let d = 81 - 80. Let k be d/(3 - (5 + -1)). Is -1/46 < k?
False
Let u be 5/10 - (-1)/(-2). Suppose -t + 4 - 6 = u. Let q be ((-1)/(-3))/(t/6). Is -2 at most as big as q?
True
Suppose 2*b + 4*r - 14 = 0, -5*b + r - 151 = -142. Which is greater: -7 or b?
b
Let g = -15234 - -1355853/89. Which is bigger: 1 or g?
1
Let a(s) = -2*s**2 - 56*s - 161. Let l be a(-25). Suppose 4*m + 24 = 4*p, -3*m + 26 = -6*m + p. Is l < m?
True
Let m be (-2 + 2)/(-2 + 4). Suppose -6*r + 10 = -r. Suppose m = 2*k - 4*k - 4*s + r, -2*k = 2*s. Is -4/23 at most k?
False
Let l = 73 - 52. Let y be (-1 - -1)*l/(-21). Is 2/53 not equal to y?
True
Let p = -165.09 + 165. Which is smaller: p or 7?
p
Let b = -1264/21945 + -2/665. Let g be 2 - ((17 - 5) + -11). Are b and g non-equal?
True
Let m(i) = -i - 1. Let q be m(3). Let v be 5/(-15) - (-22)/(-6). Is q smaller than v?
False
Suppose 0 = 4*s - 5*k - 42, 2*k - 24 = -2*s - 12. Is 112 > s?
True
Let f = -16.1 - -29.1. Let t = -3 + f. Which is greater: t or -3?
t
Let p(t) = 12*t - 193. Let i be p(16). Let w = -5 + 12. Which is smaller: w or i?
i
Let t(m) = -91*m**3 + 19*m - 20. Let r be t(1). Is -3 less than or equal to r?
False
Suppose -m - c = -767, 0 = 3*m + 17*c - 9*c - 2276. Which is smaller: m or 773?
m
Let f = -0.03 - -10.03. Let z = 10.03 - f. Is z >= -1?
True
Let p be -32 + (-3 + -3 - -3). Which is smaller: p or -320/9?
-320/9
Let f = 16.84 + -15.94. Is 86 < f?
False
Let d = 40.44 + -41. Let s = d + 0.36. Let m = 25 + -15. Is s less than m?
True
Suppose -3*q - 8 - 106 = 0. Which is bigger: -35 or 