+ 1. Let l = 0 - 0. Which is smaller: l or m?
l
Let n(r) = r**2 - 41*r + 384. Let t be n(20). Suppose 136 = -0*c - 4*c. Which is smaller: c or t?
t
Let g(o) = 2*o**3 + 8*o**2 - 37*o + 11. Let m be g(-8). Is -205 less than m?
False
Suppose 0 = -5*h + 8*h - 3. Let z = -3 - h. Let v = z - -4. Is 2/3 equal to v?
False
Let t(q) = -q + 7. Let c be t(-3). Suppose -3*w + 2*f + c = 3, -5*f = 4*w - 17. Suppose -4*x + 19 = w*m, 0*m - 5*m = x - 26. Which is bigger: m or 0?
m
Let o be (-4)/9*204/(-136). Which is greater: o or 1222?
1222
Let b = -34 - -32.1. Let t = -13.73 + 13.83. Is t > b?
True
Let b be (7 - 10/2) + -3 - -7. Is 12 less than or equal to b?
False
Let n be ((-16)/134)/(-4)*1. Let y be 75/(-6) - (-1)/2. Let z = y - -11. Which is smaller: n or z?
z
Let y(o) = -o**3 - 58*o**2 - 3*o - 176. Let n be y(-58). Is n less than or equal to -34/55?
True
Suppose 5*g - 33 = 57. Suppose 0 = b + r + 4, 6*r = -5*b + 3*r - g. Let p = 8 + b. Are p and 5 equal?
True
Let x = 45.235 - 45.2. Is 1/4 at least x?
True
Suppose 17 = -2*d + 25. Let v be (-6)/d*(-16)/(-12). Is v at most as big as 5?
True
Suppose 8 = -4*q - 4*w, q + 3*w = -2*w - 2. Let t(y) be the third derivative of -y**5/30 - y**4/12 - 2*y**2. Let z be t(q). Is z smaller than -4?
False
Let f be -13 + (-4)/8*2. Let d = f + 33. Does 19 = d?
True
Let h(g) = 2*g**2 + 37*g + 9. Let l be h(-23). Which is bigger: -2 or l?
l
Let h be 0/(3 - (1 - 0)). Let s = -0.97 - -1.009. Let o = 0.361 + s. Which is smaller: h or o?
h
Let w = -13.84 + 13.7835. Is 0 > w?
True
Let r = -741 + 822. Which is greater: 82 or r?
82
Let b = 6422772 - 2061711680/321. Let x = b - 3/214. Do x and -0.1 have different values?
True
Let a be ((-10)/(-5))/((-45)/6301). Let w = 280 + a. Suppose 68*m - 3 = 71*m. Do m and w have the same value?
False
Let x be (4/(-15))/(3752/20). Are 0 and x unequal?
True
Let o = -2 - -3. Which is smaller: o or 2/79?
2/79
Let v = -110 + 109. Is v at most as big as 1/44?
True
Let o(r) = r**2 - 11*r + 2. Let g be o(10). Let b be g/(-24) - (-2)/3. Let j be (-6)/(-4)*-18*b. Which is greater: j or -26?
-26
Let v = -506 + 467. Which is smaller: v or -41?
-41
Let s(l) = -2*l**3 - l**2 - 2*l - 1. Let c be s(-2). Suppose -c = 5*a - p - 0*p, -a - 19 = 3*p. Let b be 9/12 - (-3)/a. Do -1/12 and b have the same value?
False
Let o = -641 + 714.8. Let d = o + -85. Let j = d + 12. Is -1/3 bigger than j?
False
Let g = -0.079 - -41.079. Let u = -31 + g. Does u = 0.1?
False
Let h = -0.2388 - -0.0388. Is -26/3 <= h?
True
Let b(r) = -2*r**2 - 4*r - 11. Let d be b(-2). Let n = -3 - d. Which is smaller: 39/5 or n?
39/5
Let a = -8 + -513. Which is bigger: 0.2 or a?
0.2
Suppose -3*i + 80 = -76. Suppose -3*c - 5*l = 49, 6*c - 2*c + i = -4*l. Let d be 0 + -1 + (-3)/(-4). Is d smaller than c?
False
Let d be -3 + 0 + (-8)/(-8). Suppose 4*u - u = -21. Do d and u have the same value?
False
Suppose -2 = -0*q - q. Suppose 4*p - p = 2*p. Suppose p = -q*l - l - 6, 0 = -5*a + 4*l - 2. Which is greater: 1/4 or a?
1/4
Suppose -5*m + 48 = n, -3*n - 111 = -6*n - 4*m. Is 29 <= n?
True
Let v = 39/62 - -967/434. Which is bigger: v or -2?
v
Let j = 130 - 126. Let m = -39 - -35.06. Let g = -0.06 + m. Which is smaller: g or j?
g
Let s = 88/3 - 29. Suppose 26*w = 43*w + 51. Is w greater than s?
False
Let h be (356/890)/(72/(-14)). Which is greater: -1 or h?
h
Let z = 132 + -110. Is 21 > z?
False
Let l = 28 + -30. Let i = 1.4 - -5.6. Let z = i + l. Is 0.1 equal to z?
False
Let i = 46 - 21. Let g = i - 25. Let j = g + 1. Which is bigger: 2/3 or j?
j
Let t = -439 - -417. Do -28 and t have the same value?
False
Let y = -217 + 1515/7. Which is greater: y or 16?
16
Let m = 27 + -98. Suppose 0 = 99*o + 11273 - 4244. Is o greater than m?
False
Let t = 39 + -38. Let b(g) = -g**2 - 59*g - 130. Let o be b(-55). Which is smaller: t or o?
t
Suppose -48*t + 127*t = -79. Is -699 less than or equal to t?
True
Let c be 3*113*(-66)/(-495). Which is greater: c or 44?
c
Let i(v) = -v + 8 + v**2 - 6*v - 7 + 12. Let z be i(6). Let g(t) = -t**2 + 7*t - 6. Let c be g(4). Is c >= z?
False
Suppose -4*t + 13 = q, q + 5 = 6*q. Suppose 4*h = -5*z + 34, -21 = -3*h - 3*z + t. Is h at least as big as 5?
True
Let s be ((-1)/2)/(1/18). Suppose 8*r = 66 + 14. Let c = r + s. Is 14/9 less than c?
False
Let t(z) = -2*z - 1. Let a be t(-1). Is a at least -2/389?
True
Let j be 2 - (0 + 6) - -186. Is j at least as big as 183?
False
Let j = -3.2 - -3. Let c = 466.3 + -466. Let m = c + j. Is m greater than 0.5?
False
Let k be (30 - 27)/(((-6750)/4)/1). Which is smaller: k or 0?
k
Suppose 92 = 5*c + 17. Let h be ((-6)/c)/((-3)/(-45)*6). Which is smaller: -8/19 or h?
h
Suppose 9*n - 36 = 5*n. Let a be 4 + 6*n/(-15). Which is smaller: -6 or a?
-6
Let z be (-11)/3*(-5 - 1). Suppose 5*p + 5*c = 40, 0 = -0*p + 3*p + 2*c - z. Does -0.2 = p?
False
Let v be (-3 + -2)/(1/(-2)). Let g be 120/442 - v/65. Let f = -37 - -37. Are g and f nonequal?
True
Let x be 0*(0 + -5 + 6). Let r be (-5)/6 - (-1 + x). Let a be (-6)/3 - 16/(-10). Which is smaller: r or a?
a
Let v(b) = -b**2 + 6*b - 8. Let x be (-6)/(4/(-32)*2). Let f = -20 + x. Let j be v(f). Is j < -1?
False
Let r(b) = -b - 1. Let f(p) = 8*p + 6. Let s(q) = -f(q) - 4*r(q). Let v be s(-1). Suppose -3*m = -5*k + 12, -3*k + v*k = -5*m + 2. Which is smaller: 4 or m?
m
Suppose 0 = 2*r + 6, 3*t - 2*r + 6 = -7*r. Suppose -34 = -t*c - 40. Is c > 8?
False
Let t be 25/(-150)*-1*(-16)/2. Let v = 3 + -3. Which is bigger: v or t?
v
Let h(r) = 3*r - 30. Let n(j) = -2*j + 29. Let p(i) = -3*h(i) - 2*n(i). Let t be p(6). Let g be ((-3)/11)/(-1)*2. Is g greater than t?
False
Let h be -3 + 0 - 980/(-322). Let f = 22 - 19. Suppose -2 = 3*r + 3*w + 1, -f*w - 3 = -3*r. Which is smaller: r or h?
r
Let o = -0.75 + 0.6. Let u = 1.21 + -1.15. Let v = u + o. Do -0.2 and v have the same value?
False
Let w = -2791512136/61 - -45761194. Let t = w + 1300. Which is smaller: t or 1?
t
Let u be (9/(-6))/((-5)/(-10)). Let f(y) = y**2 + y - 1. Let j be f(u). Is j at least 0?
True
Let l = 59 + -31. Let b = -26 + l. Let i be 0 - b/(3 + -1). Is i < 1/14?
True
Let t = 31 + -31.054. Let w = t - -0.254. Which is greater: w or -16?
w
Let z(b) = -35*b - 16. Let h be z(-2). Which is greater: 48 or h?
h
Let t(x) = -x**2 + 8*x**3 + 0*x**3 - 12*x**3 + 3*x**3. Let l be t(2). Let z be (-16)/l - 2/(-3). Is z <= 2?
True
Let q be (16/(-24))/(2/(-9)). Let u = -8 - -6. Let p be (q/21)/(u/(-6)). Are 1 and p nonequal?
True
Let v(z) = -z + z**3 + 1 + 6*z**2 - 3*z - 3*z**2. Let x be v(-3). Suppose -10*k + x*k + 9 = 0. Is -3/2 greater than k?
True
Let b be 3/((63/30)/(-7)). Let t(l) = -l**2 - 7*l + 23. Let s be t(b). Let z = s - -4. Which is greater: z or -1?
-1
Let d = 880 - 881. Is -3 >= d?
False
Let d = -114 - -111. Let h = -4 + 3. Let w be (d - -4)/(h - 0). Which is smaller: w or -2?
-2
Let y = 3 - 3. Let w = -2 - y. Let o = -445 - -891/2. Which is smaller: w or o?
w
Suppose 7*c - 2*c - 15 = 0. Suppose -c*f = -f. Let x = -437/5 - -87. Which is smaller: x or f?
x
Let d(m) = 12*m - 3. Let f be d(2). Suppose 0 = 2*v + v + f. Let z be ((-6)/(-18))/(v/2). Which is bigger: -1 or z?
z
Let a = -3/967 - -385839/1934. Which is bigger: 201 or a?
201
Let v = 13 + -15.8. Let t = 1.7 + v. Let o = t - -0.1. Which is greater: o or 3?
3
Let j = -3.238 - -3.18. Which is greater: -1 or j?
j
Let x = -121/2 - -58. Let g(o) = o**3 + 16*o**2 + o + 13. Let u = -228 + 212. Let y be g(u). Is x at least as big as y?
True
Let f = -534 + 48596/91. Which is smaller: f or 0.4?
f
Let v = 0 + -0.1. Let k be ((-3)/1)/((-14)/84). Suppose -2*h - k + 20 = 0. Is v < h?
True
Suppose 5*k - 4*k - 4*t + 137 = 0, -k + t = 128. Let w = 125 + k. Do w and -3/145 have the same value?
False
Let a be 135/(-75) - (-9398)/5210. Is a > 0.3?
False
Let g = 65 + -97. Let t = g - -27. Let i be 3/12 + 3/(-6). Which is bigger: i or t?
i
Let c be 3/(-6) - 6/12. Let i = c - -7. Let r be i/((-25)/10*2). Which is greater: -0.1 or r?
-0.1
Let j be ((-2)/(-4))/(4*236/96). Is j >= 1?
False
Let z = 0 - 1. Let v = 1/141 + 400/3243. Which is greater: z or v?
v
Let c = 0.14 + -17.14. Let a = c - -10. Let v = a + 6.8. Which is smaller: 2 or v?
v
Let n(s) = -s**3 + s**2 + 31. Let h be n(0). Let r = h - 17. Suppose -36 = 5*i + r. Which is smaller: -1 or i?
i
Let o = -1.21 - -0.11. L