 -1.51. Which is bigger: i or 10?
10
Let m be (-1)/(2/9) + 4. Suppose 2*p = -i + 6, -5*p + 3*i + 6 = 2. Suppose -p = -0*z + z. Which is smaller: m or z?
z
Suppose 3*l - 27 = -9. Suppose 5 + 1 = l*y. Which is greater: y or -6/13?
y
Let c(m) = m + 5. Let v be c(-5). Let u be (-3)/(-24) - (0 + v). Let j = -1615.93 + 1616. Is j <= u?
True
Let s be ((-3584)/210 + 17)/(6/20). Let r = -523/28 + -18/7. Let v = r + 21. Which is smaller: v or s?
v
Suppose -2*t + 0*t - 88 = h, -h - 130 = 3*t. Let w be 3 + (t/(-9) - 4) + -3. Is -1.7 bigger than w?
False
Let r be (-2)/(-5) - ((-7315)/850)/(-11). Which is smaller: r or 0?
r
Let w be ((-1)/(-9)*-3)/((-5)/25). Are w and -6 nonequal?
True
Let u be (4/(-6))/(-2)*12. Suppose 0*w = -2*w - u*h + 42, -2*w + 17 = -h. Is 12 bigger than w?
True
Suppose 12 = -3*r, 5*z - 2*r - 35 - 18 = 0. Let o be ((-24)/(-64))/(z/(-30)). Which is bigger: o or -2?
o
Let u = -109 + 117. Let h be (-9)/(-2) - (-2)/(-4). Is h equal to u?
False
Let w = 2.8 + -8.5. Let z = w + -1.3. Is -1 >= z?
True
Suppose -7*i + 190 = -69. Let v = 39 - i. Which is greater: v or 1?
v
Let z be (-1)/(5/540) + -4. Let o be 8/36 - z/(-18). Let v = 2 + -3. Is o at most v?
True
Let o be 2/(-6) - ((-8225)/5220 - -1). Let f = o - -2/261. Which is smaller: f or -1.3?
-1.3
Suppose 0 = -8*m - 0*m. Which is greater: m or -11/18?
m
Let b be (-13 + -8 + 17)*(-11)/(-1). Is -44 at most as big as b?
True
Let k = 479 - 385. Are k and 1 equal?
False
Let z = 40 - 58. Let j be ((-5)/(-50))/(3/z). Which is greater: j or 0.2?
0.2
Let w be (342/(-12))/((-10)/(-4)). Let f = -11 - w. Is 15 at least as big as f?
True
Suppose 0 = 5*q + 7*c - 2*c + 5, 5*c = 3*q + 35. Let l = 1.03 - 1.23. Which is smaller: l or q?
q
Let p be -42 + 48 - (-7)/(-1). Which is smaller: p or -11/9?
-11/9
Let y = -20 - -20.18. Let l = 4.82 + y. Let s = l + -8. Is s < -1?
True
Let s be 5/(-7) + 1 + 515/35. Suppose -l = -p - 5, 2*l - 2*p = -p + 5. Suppose -5*a + s = -l*a, 5*w + 5*a - 5 = 0. Are w and -2 equal?
True
Suppose -g - 48 = g. Suppose -2*n - 39 - 3 = 5*j, 2*n + 46 = -3*j. Is g equal to n?
False
Suppose 34*w - 28*w = -66. Let r be 6*(-2 - 0)*1. Which is greater: w or r?
w
Let j = -297 + -177. Let y = j - -17536/37. Which is smaller: 1 or y?
y
Let z be -1 + (1 - (1 + -1)). Let k be 0/(z - (0 + -2)). Let p be 2028/(-228) + 12 + 2/(-19). Is p > k?
True
Let d = 76 + -77. Let k be (20/(-30))/(2/9). Let u be 1*(0 - k/(-3)). Is u <= d?
True
Let i = 3 + 1. Suppose -5*v + 26 = -q, 2*v = 6*v + q - 19. Let m = 1 + v. Is m at least i?
True
Let i = -57 + 37. Let g = i - -4. Are -14 and g nonequal?
True
Let k = -143.94662 - 0.08338. Let z = 143 + k. Let w = z - -0.03. Is w at least as big as 0.1?
False
Let g(s) = -3*s**2 + 101*s - 51. Let f be g(33). Which is greater: 108/7 or f?
108/7
Let o = -4.99 - -5. Suppose 0 = -2*f + y - 3*y + 2, 0 = y - 5. Let c be 4/f - 14/(-10). Are c and o non-equal?
True
Let o(y) = -18*y + 34. Let g be o(2). Do g and -21/13 have the same value?
False
Let z = 1/44976 + 325831/11019120. Let s = z - -32953/2940. Let u = -88/7 + s. Does u = 0?
False
Let l be (-30)/(-16)*3/60. Let u(t) = -t**2 - 12*t - 17. Let d be u(-9). Suppose 3 = d*a - 7. Which is smaller: l or a?
l
Let n be 953/(2 + 28/(-8) + 1). Let p = n - -101021/53. Does -1 = p?
False
Let o = 29 + -57/2. Let g = 22 - 6. Let x = g + -17. Do o and x have different values?
True
Let m be (-3)/(-5)*(-4)/((-4)/(-5)). Let r be 200/(-6) + 2/m. Do r and -33 have the same value?
False
Suppose -3*x + 2 = -1. Let r = -1502.3 + 1502. Which is bigger: x or r?
x
Let o(p) be the second derivative of -p**7/2520 + p**6/240 - p**5/120 + p**4/2 + 3*p. Let h(u) be the third derivative of o(u). Let q be h(2). Is 2/3 at most q?
True
Let y be (-300)/(-375) + (-1004)/5. Is -201 less than y?
True
Suppose 3*n + 5*h = -650, -4*h - 310 = 3*n + 336. Which is bigger: n or -208?
-208
Let o = 3/209 - -785/3553. Let q = 65 + -60. Let i(a) = a**2 - a - 21. Let z be i(q). Which is smaller: z or o?
z
Let f be (12/28)/((-24)/128). Is 0 greater than or equal to f?
True
Let x = 0.8 + -4.8. Let q = -2 - x. Which is smaller: q or -1/55?
-1/55
Suppose 0*r + 2*r = 22. Which is bigger: 68/7 or r?
r
Let b(k) = -2*k**2 - 5*k + 24. Let a be b(-6). Let t be a - -15 - (-10)/(-4). Is -6 <= t?
True
Let w = 57 - 60. Let a = -121/35 - -13/7. Which is bigger: w or a?
a
Let l(j) = 5*j - 22*j + 38 + 4*j + 8*j. Let a be l(5). Which is smaller: a or 14?
a
Let x(n) = -n**2 + 12*n - 4. Let h be x(12). Let g be (2*(-3)/(-16))/((-10)/h). Is g at most as big as -1?
False
Let d = -2.5 - 1. Let o = 2.5 + d. Is -2 equal to o?
False
Suppose q = -2*s + 4, s - 8 = 4*q - 3*s. Which is greater: q or -2/441?
q
Suppose 2*u = 82*u + 80. Is u > 247?
False
Let b = -666 + 42623/64. Do 1 and b have the same value?
False
Let j be ((-2)/3)/((-3952)/(-1980) + -2). Which is smaller: 166 or j?
j
Let l = 0 + 10. Let w be (8/l)/(3/15). Suppose 6 - 23 = -5*o - w*s, 5*s = 4*o + 11. Which is greater: o or -2/23?
o
Let l = 48566/57 - 852. Let z = l + 47/285. Is 1 > z?
True
Let i = -56.647 - 0.253. Let u = -57 - i. Do -2.2 and u have the same value?
False
Let x = -94 + -88. Do x and -182 have the same value?
True
Let y = -10 - -6. Let n(s) = -s - 13. Let m be n(-5). Let o be -5 + (0*4/m)/(-1). Is o bigger than y?
False
Let z = 151 + -172. Which is bigger: z or -4?
-4
Let j = -1 + 1. Let v be (2 - (-56)/(-35))*40/(-216). Is v at most as big as j?
True
Let r be (0/(-3) + -1)/((-6)/12). Let w = -0.07 - -0.09. Which is smaller: r or w?
w
Let q = -14/27 - -73/297. Suppose -2*m + 4*r - 18 = 4, -2*r + 29 = -3*m. Let x be 1*3/m*-3. Is q >= x?
False
Suppose 122*z = 42*z - 29920. Is z greater than -1868/5?
False
Let x = 73 + 11. Let n = 87.05 - x. Let m = -0.05 + n. Which is bigger: m or -1?
m
Let b = -162 + 155. Is 4 at least b?
True
Suppose -4*b - 2*t + 6 = 0, 3*b - 21 = t - 29. Is -2 at most as big as b?
True
Let a be (4/(-12))/((-3)/72). Suppose 0*r = -r - a. Let h = r + 6. Which is smaller: h or -2/5?
h
Suppose -a = a + 10. Let z = a + 3. Let n(r) = -r - 1. Let o be n(z). Which is smaller: -0.3 or o?
-0.3
Let p = -42/55 + 2/5. Let b = 4/11 - p. Which is bigger: b or -0.1?
b
Suppose 2*b + 5*w - 19 = 0, -w + 5*w = -4*b + 56. Suppose -96*h = -104*h + 152. Is b greater than h?
False
Suppose 4*u + 60 = u. Let i = -13 - u. Suppose 5*g - i = -2. Is g greater than or equal to 1/7?
True
Let s = 213 - 144. Suppose -3*v + 6*v = s. Is v smaller than 24?
True
Let h be ((-15)/6 - -2)*-2. Let m be (2/3)/(h/(-3)). Let c = 1.4 - 0.6. Do m and c have the same value?
False
Suppose 4*d + 206 = 2*h, -9*h + 7*h - 4*d = -222. Which is greater: 109 or h?
109
Let z = 4/2237 + -56117/107376. Is -2 equal to z?
False
Let c = 308 - 1529/5. Which is greater: c or -0.4?
c
Let c(x) = -2*x**2 + 3. Let y(v) = v**2 - 1. Let f(n) = -6*c(n) - 11*y(n). Let s be f(3). Let h be 0 + (4/(-29))/s. Which is greater: h or -2/3?
h
Suppose -4*d + 42 = -3*q + 8*q, 2*d - q - 28 = 0. Let n = -15 + d. Let i be 7/(-12) - n/3. Which is bigger: 0 or i?
i
Suppose -3*s = -0*f + 2*f - 8, -4*f + 2*s = 0. Let b = -194/5 + 437/40. Let p = b - -55/2. Which is greater: p or f?
f
Let l = 40 + -34. Let k be ((-12)/(-40))/(l/(-5)). Let g = -65 - -197/3. Which is smaller: g or k?
k
Let y(v) = 2*v**3 - 3*v - 2. Suppose 0 = d + 8 - 7. Let t be y(d). Which is bigger: -6/11 or t?
-6/11
Let x be 3 + -82 + (1 - 1 - -5). Which is smaller: x or -78?
-78
Let q = -1834 + 1970. Is 140 less than q?
False
Let z(q) = 28*q - 306. Let f be z(13). Which is smaller: f or 60?
f
Let u = -1002 - -1010. Which is greater: 1 or u?
u
Suppose 10*f = 4*o + 5*f - 29, 4*o + f + 1 = 0. Suppose 1135*c - 50 = 2*m + 1136*c, 3*m + 75 = c. Which is greater: o or m?
o
Suppose -5*p = -2*l - 296, 4*l - 7*l = -3*p + 183. Which is greater: 170/3 or p?
p
Suppose -y + 79 = b - 5*y, 0 = -4*b + 3*y + 290. Is 73 smaller than b?
False
Suppose 0*x - 5*x + 117 = 2*s, -3*s + 26 = x. Let o = -43 + 74. Let v = x - o. Which is smaller: v or -1?
v
Suppose 0 = -5*d - 0 + 15. Suppose -2*a + 35 = 5*l, -2*l + 21 = l - a. Suppose -l = -4*t - d. Which is greater: t or -2/35?
t
Let a be -4 - (2 + -20)/3. Suppose x = -5*s + 24, s + 8 = x + a*x. Is 5 bigger than x?
True
Suppose 2*p + 3 = 5. Let s(j) = 2 + 3 - 8*j**3 - 3 - 1. Let x be s(p). Is x bigge