3 - -22. Let y = 160.8 + -161. Which is smaller: u or y?
u
Let y = -358 + 361. Let h = -6633/20 + 1689/4. Let i = 91 - h. Which is bigger: y or i?
y
Let r be 7/(21/18) + (-220)/60. Which is bigger: r or 2?
r
Let o = 83 + -83. Suppose -u + 2*u + 3 = o. Is 1 equal to u?
False
Let z be 13/(-6) - (-54)/81. Let a(y) = y**2. Let w(x) = -3*x**2 - x. Let k(n) = 2*a(n) + w(n). Let u be k(1). Is u less than z?
True
Let l(m) = -9*m - 1. Let z be l(3). Let r = z + 28. Which is smaller: r or 10?
r
Let t = -89.985 + 90. Which is smaller: t or -0.2?
-0.2
Let l = -217.9 - -240. Let s = l - 22. Let j = 10 + -8.9. Is s < j?
True
Suppose -92 = -4*b + 2*c, b + 4*b - 124 = -2*c. Let l be b/(-14) + (-6)/21. Is l at least as big as -8?
True
Suppose 7*q = 4*q. Suppose q = -4*i + 3*t - 2, 3*i = 7*i - 4*t. Which is greater: -1 or i?
-1
Let x be 68/10 - (-4)/(-5). Suppose -190 - 152 = -x*n. Is n at least 58?
False
Suppose 0 = 4*w - w. Suppose -h = -3*z + 9, -2*h - 12 = -6*z + 3*z. Suppose z*m = j + 3, -3*j = -4*m + 3*m + 4. Which is greater: w or j?
w
Let g = 6 - 21. Let x = g - 18. Let q be x/(-36) + (-1)/4. Does 2/3 = q?
True
Suppose -5*u + 127 = b, -82 = -5*u + 4*b + 35. Which is smaller: -2 or u?
-2
Suppose -r - 143 = 3*w - 3*r, 5*r + 255 = -5*w. Are -47 and w non-equal?
True
Let i = -2313/5 + 460. Which is bigger: -0.2 or i?
-0.2
Let u = 0.3 + -0.5. Let n = 51.1 + -51. Let i = u + n. Which is smaller: i or 4?
i
Let l = 4572/55 - 910/11. Which is smaller: l or -1?
-1
Let w = 2.67 + -2.77. Is 10/9 at least w?
True
Let c = 253 - 254. Which is bigger: -1/237 or c?
-1/237
Let w = -37 + 35. Is -0.37 greater than w?
True
Suppose -6*r + 10*n = 8*n + 194, 4*n + 60 = -2*r. Suppose 6 = -3*q - 93. Is q < r?
True
Let r = 21.9 + -22. Let j = 45.9 + -49. Let s = 3 + j. Do r and s have different values?
False
Let r be (1/3)/(4/84). Suppose -4*j + r*j - 3*n - 9 = 0, 0 = 4*j - 2*n - 6. Let y be 9/(5/4*6). Is y at most as big as j?
False
Let r be 332/8 - (-10)/(-4). Let m = r + -40. Let z = 28387/35 + -811. Which is bigger: m or z?
z
Suppose 6*t + t = 196. Let l = -86/3 + t. Is -2/3 > l?
False
Suppose 3*x - 26 = 4*h, -2*x + 4*h + 21 = -3. Suppose 21 = -x*w + 63. Suppose 4*v - w = 7*v. Which is bigger: 0.1 or v?
0.1
Let g = 49 + -25. Let p = 41 - g. Let z = p + -16.9. Is 5 not equal to z?
True
Let h be (-7)/(-2)*7/(98/8). Suppose 2*u + h*u = 20. Is 6 smaller than u?
False
Let z = 0 + 9. Let v = 771 - 762. Is z smaller than v?
False
Let b = -217013/72 + 3014. Which is smaller: b or 0?
b
Let d = -2.01 + 0.01. Let v = d - -2.5. Let k = v + -0.52. Which is bigger: -2/3 or k?
k
Let j = 0.12 - -0.18. Which is smaller: j or -2/37?
-2/37
Let d = 416 + -417. Is -46 != d?
True
Let o = 2/121 - 613/484. Which is bigger: -1 or o?
-1
Let b be (-4)/(-14) + 15870771/2781338 + -6. Let t = b + -1/562. Which is bigger: 0 or t?
0
Let a be ((-162)/(-189))/(27/1470). Which is bigger: -2 or a?
a
Let u = -147.8 + 136. Let k = u - -12. Is k equal to 1?
False
Let l(w) = 11*w - 4. Let j be l(3). Suppose -4*r + j = -23. Let c = r - 14. Which is bigger: 1/13 or c?
1/13
Let q = -1.785 + 1.785. Which is smaller: 28/3 or q?
q
Let d be 0/(-1) + 49 + 3. Let x be 39/d*(-16)/(-1). Suppose 0 = -5*a - x - 3. Which is smaller: a or -8?
-8
Let z = 93 - 93. Let u = -0.33 + -14.67. Let l = u + 1. Which is bigger: l or z?
z
Let g be 0 + (-1 - (-6)/2). Let z(n) = n + 5. Let o be (-1)/2 + (-105)/30. Let q be z(o). Which is smaller: q or g?
q
Let t(s) = -s - 9. Let v be t(-4). Let z be (-1)/v - 16/(-20). Suppose -z = -4*m + q, 3*q - 9 = -3*m + 3. Is m not equal to -2/15?
True
Suppose 0 = -241*i + 257*i + 144. Which is bigger: i or -3?
-3
Let h(a) = -29*a + 6. Let u be h(6). Let b be 3/5 + u/(-20). Is 8 smaller than b?
True
Let l be (0 + 8)*(-1501)/76. Let m = l + 159. Let q = -55/2 - -83/3. Is q <= m?
True
Let g = 2 - 2. Let w = g + 0. Let r be 3/(-1) - (-14 - 545/(-50)). Which is smaller: w or r?
w
Let x(i) = -2*i - 10. Let o be x(-5). Suppose -3*b + 0*b - 15 = o. Let c be (4/b)/(5/100). Are -16 and c equal?
True
Let n be (-48)/(-36)*(-3)/8*0. Let s = -2/1449 - -1597/107226. Is s >= n?
True
Suppose -5*f + 13 = -4*f + 5*r, 0 = 2*f + 4*r - 38. Suppose 2*i + 3*d + f = -3*i, -d + 15 = -4*i. Is -2 less than or equal to i?
False
Let s = -0.88 - 0.12. Is s > -2/119?
False
Let t be (-1)/2*(-2 - -2). Let y = -13825/8 - -1727. Which is smaller: t or y?
y
Suppose -45*q = -63*q + 828. Which is bigger: q or 2?
q
Let c = 3/79 + 143/395. Suppose -3*i + 5 = -3*g - 7, 8 = -4*g + 2*i. Suppose g = -o - 2, -2*r - 5*o = -0*o + 12. Are c and r non-equal?
True
Let f(b) = 4*b**2 + 10*b - 10. Let z(h) = 3*h**2 + 7*h - 7. Let r(i) = -5*f(i) + 7*z(i). Let o be r(2). Suppose -o = 5*t - 8. Is t at most as big as 3/4?
False
Suppose 0 = -0*m + 4*m - 12. Suppose -g = 2*p + 10, -m*g - p = -5*g + 5. Suppose -2*y - 2 + 6 = g. Is 3/4 >= y?
False
Let a be (-2)/(-5) - 23077/5. Let q be (-2)/13 + (-840)/a. Which is smaller: q or -1?
-1
Let j(s) = -s**3 - 9*s**2 - 5*s + 24. Let c be j(-8). Which is smaller: 12/151 or c?
c
Suppose 40 = -b - b. Let n = b + 23. Suppose 0*c = -n*c. Which is greater: -1/9 or c?
c
Suppose 0 = -16*u + 26*u + 310. Let i(k) = -k**3 + 3*k**2 - 5*k + 4. Let g be i(4). Is u bigger than g?
True
Suppose 0 = -570*n + 579*n - 9. Let a(l) = -41*l - 1. Let u be a(-1). Let z be (-9)/3*2/u. Are z and n non-equal?
True
Let z = 261 + -186. Let v = z - 69. Let x = 9 - 4. Which is smaller: v or x?
x
Let r be 6 + 6 + 34/(-3). Is r <= -1.64?
False
Suppose 0 = n - 5. Suppose 0 = -n*j + 4*j - 1. Is j <= -2/37?
True
Let b(t) = -t**2 + 7*t + 9. Let g be b(8). Suppose g = -a + 2. Let i be 3 - 4 - (-4)/7. Is i equal to a?
False
Let w = 13 + -3. Let l = 6.3 + 2.2. Let f = l - w. Which is bigger: 0 or f?
0
Let c = 211/170 + -13/10. Let w(x) = 4*x**2 + 2*x - 15. Let s be w(-4). Let n be 2/12 + (s/6 - 8). Is c at most n?
False
Let n(y) = 3*y - 13. Let d be n(7). Suppose -3*u + d = -4*i, 0 = -2*i - 4. Let m = -66 + 467/7. Which is greater: m or u?
m
Let k = -0.3 - -0.1. Let u = -0.14 + 0.32. Let y = 0.82 + u. Is y smaller than k?
False
Suppose 4*h = 3*h + 2. Is h equal to 0?
False
Suppose -3*y = 3*q - 4*q + 80, -y - 5*q - 48 = 0. Let p be y + (-7 - -3)/1. Is -30 < p?
False
Let t = -2003/1008 + 103/48. Is t less than -1?
False
Let y = -2 + 2. Suppose -4*n + 38 - 134 = y. Let j be n/(-16) + 5/(-2). Which is smaller: j or 2/27?
j
Let t(j) = -j - 10. Let g be t(-7). Let m = -378 - -379.77. Let x = 0.23 + m. Is x less than or equal to g?
False
Suppose -2*s + 2 = -4*s. Suppose -52 = 4*v + 12. Let m be (-80)/(-18) + (v - -12). Which is greater: s or m?
m
Suppose 2*z - 16 = -2*a, -z + 5 = 4*a - 21. Let y be a/20*2/(-24)*-10. Is y != 0.09?
True
Let p = 279 + -15625/56. Let i(r) = -r + 1. Let j be i(2). Which is bigger: j or p?
p
Suppose -38*o - 16*o = 3240. Let a(x) = -59*x. Let r be a(1). Is o greater than r?
False
Let q be (10270/(-171))/10 + (-4)/38. Let u = 6 + q. Which is smaller: 4/11 or u?
u
Let d = -4 + 7. Suppose 4*w = -2*g - 64, 28 + 10 = -d*w - 4*g. Let l = -3 - w. Which is greater: 14 or l?
l
Let b = 3.7 + 1.3. Let h = b - 5. Let t be ((2/1)/18)/(119/(-357)). Which is bigger: h or t?
h
Let u(v) = -44*v - 87. Let d be u(-2). Which is bigger: d or 1/120?
d
Let g be 11 - 8/(-6)*3. Let h = g + -21. Let v be (-7)/35 - h/10. Which is smaller: v or 1/3?
1/3
Let z be 12/(-10) + (-130)/(-25) + -5. Let l be (-4 - (z + -42))/1. Is 41 greater than or equal to l?
True
Let f(c) = 10*c - 3. Let w be f(0). Is -5 at least w?
False
Let j = -0.8 + 1. Let n = 48.886 + 0.114. Let b = n + -41. Is b bigger than j?
True
Let t = -1497.035 + 1497. Which is bigger: -0.09 or t?
t
Let k be (-102)/(-9)*3/2. Let u = 22 - k. Let z = u + -8. Is -16/7 smaller than z?
False
Let l = 1393/9 + -155. Let w = 17/36 + l. Is w < -0.9?
False
Let u be (-34)/56 + (-59)/236. Let g = -4 + 4. Suppose g = 5*y + 5. Which is smaller: u or y?
y
Let h be 434363/5*80/214944. Let u = h + 1/4478. Let x = -32 + u. Is x greater than or equal to -1/3?
True
Let o = 4.44 + 4.56. Which is smaller: o or -0.1?
-0.1
Let k be 5 - (-52)/(-12) - 50/93. Suppose 6*r = -0*r - 12*r. Which is smaller: r or k?
r
Let f(p) = 33*p + 17. Let w be f(11). Let j be 1/(-4) + (-133)/w. Which is smaller: j or 2?
j
Let s(c) = -c**2 + 17*c + 139. 