ue
Let v be -3 + 12*((-93)/(-6))/(-1). Let h = v + 110. Which is smaller: h or -80?
-80
Let o(j) = -2*j - 20. Let x be o(0). Let a be (-5)/x + (-25)/4. Suppose 3*c = 2*c - 6. Is c at most a?
True
Suppose -2*q - 3*q = -25. Let t = -7619 + 7624. Is q greater than t?
False
Let g be (-1 + 0 + 1)/1. Suppose -4*f = -2*a - 318, 5*f - a = 286 + 113. Let k be g/(-2) + 60/f. Which is bigger: k or -0.2?
k
Let f(n) = -n**2 - 8*n - 7. Let o be f(-7). Let w = 0.068 + 0.002. Is w smaller than o?
False
Let t = 15600/11 + -1418. Which is smaller: -180 or t?
-180
Let s = -387 + 387. Which is bigger: 8/3 or s?
8/3
Let m = 434 - 470.8. Let n = -34 - m. Let z = 34068 - 34069. Which is greater: n or z?
n
Let u = -169 + 2536/15. Let a = 2/5 - u. Let r be (-180)/184 - 1/(-1). Which is smaller: a or r?
r
Let m(s) = s**2 - s. Let b(q) = -2*q**2 - 6*q + 15. Let c(h) = b(h) + 3*m(h). Let i be c(7). Let g = 1 + 0. Is g <= i?
True
Let v = -95 - -96. Suppose 2*o - 2 = 5*p, o + 5*p - v = -0*o. Is 6 at most o?
False
Let y be 3/(-18)*9/203. Which is bigger: 1 or y?
1
Let l = 10.8 - 10.8. Which is smaller: 201 or l?
l
Let s = -10 - -14. Let d be (-14)/(-20) - (-2)/s. Let t be 0/(9/3 + 7 - 11). Which is bigger: d or t?
d
Let w = 0.782 + 2.378. Which is smaller: 0.5 or w?
0.5
Let b = 5 - 17. Let k(f) = -5*f + 0 - 10 - f**2 + 4. Let r be k(-6). Are b and r nonequal?
False
Let h = 5 + -11. Let j = -0.92 - 0.18. Let i = j + 1.2. Is h less than i?
True
Let c = -24.1 + 0.1. Let p = -24 - c. Let y be -1 - (-11)/(-8) - -2. Which is smaller: p or y?
y
Let y(h) = -19*h - 236. Let j be y(18). Is j <= -578?
True
Let x = -86 + 38. Which is greater: x or 0?
0
Let l = -8/13 + -51/65. Let b be 1 - 0/(4/2). Let d be b/4*-1*4. Is d not equal to l?
True
Let g = 2220/7 - 324. Suppose 270 = -56*b - 178. Is g equal to b?
False
Suppose a + 17 = 13, 2*h - 16 = -a. Which is bigger: h or 9?
h
Suppose -5 + 1 = -4*o. Let z(d) = -d**3 - 9*d**2 - 14*d + 6. Let f be z(-7). Let c be 20/(-75)*f/(-20). Is c less than or equal to o?
True
Suppose c + 12*t + 3 = 9*t, -5*c + 3*t = 15. Which is bigger: -15/7 or c?
-15/7
Suppose 4*a + 4*p + 484 = p, a - 4*p = -121. Is -120 < a?
False
Suppose -l + 4*n - 13 = 0, -l + 0*l + n - 7 = 0. Let j(h) = -h + 9. Let k be j(4). Suppose 0 = 4*g + 11 + k. Which is greater: g or l?
g
Let l(b) = b**2 + 2*b + 3. Let x be l(-2). Suppose 0 = -16*y + 18*y - 80. Suppose 5*j - y = 5*c - 0*c, c = -5*j + 22. Is j less than x?
False
Let z = 0.11 - 0.54. Let p = z - -0.33. Which is greater: p or 21?
21
Let o = -1225 + 1173. Which is smaller: o or -53?
-53
Let q be (-2*1/2)/1. Let l be 1581/15 - 6/(-10). Let v be 322/l + (1 - 4). Which is smaller: q or v?
q
Suppose 6*x + 2 = 5*x. Let s(n) = n + 1. Let r be s(x). Which is smaller: -3/5 or r?
r
Let y = 134.24 + -134.12. Let b be (-6 - 1)/(3/(-6)). Let a be 2 + b/(-6) + 0. Which is greater: y or a?
y
Let u be 237/45 + 15/(-25). Let m = -9 + 14. Let a = u - m. Which is bigger: a or 12?
12
Let s = -72 + 74. Which is smaller: s or 72?
s
Let z = 0.5 + -0.6. Let k = 0.119 + -0.219. Let n = z - k. Does n = 3?
False
Let h = -22 + 21.81. Let g = h + 0.29. Let q = -0.5 - -0.4. Are g and q equal?
False
Let d = -489 + 570. Which is smaller: 75 or d?
75
Suppose -5*n + 4*x + 1085 = 0, -4*n + 2*x + 645 + 229 = 0. Which is smaller: n or 223?
n
Let w = -152 + 202. Are 50 and w equal?
True
Let l = -171 + 172.1. Are l and -0.04 nonequal?
True
Let j(f) = -51*f + 204. Let z be j(4). Let i = -3 + 4. Let q be (-3 - -2)/(i/(-2)). Is q less than or equal to z?
False
Suppose 0*k - 8 = -4*k - 4*p, 4 = -2*p. Let x be (3 - k/(72/50))*-1. Is x > -6?
True
Let b be ((-2)/(-14))/(38/(-5282)). Do -20 and b have different values?
True
Suppose 29649*v - 29642*v = -49. Let u be 2 + (0 + -2 - 1). Which is smaller: v or u?
v
Let w be (51/(-27) + (-3)/6)*3. Let a = 161/30 + w. Is a less than -3?
False
Let c = -0.52 + 0.43. Let k = c + 0.19. Suppose -6*q = -q + 15. Is k less than q?
False
Let o(i) = -8*i + 47. Let k be o(22). Is -127 at least k?
True
Let x be 1029/(-2079) + 4/18. Suppose 5*u - 24 = -19. Which is smaller: u or x?
x
Let d(s) = -3*s + 1. Let j be 161/(-35) - (-6)/10. Let w be d(j). Is w <= 15?
True
Let x(r) = -3*r + 23. Let b be x(6). Let n be (2 - (-4 + b)) + -1. Which is smaller: n or -1/9?
-1/9
Suppose -3*x = -5*h + 28 - 159, -5*x + 214 = -4*h. Which is greater: x or 8?
x
Let l = 1055855/309 - 3417. Which is greater: l or -1?
l
Suppose -4*m - 61 = 2*t + 19, -3*m - 50 = -t. Let p be 4/3*m/(-20). Is p less than or equal to 0?
False
Suppose 5*i - 186 = 19. Suppose 4*u + 23 + i = 0. Let q be ((-4)/u)/(1/14). Is q less than or equal to 4?
True
Suppose 10 = 5*s - 0. Suppose 2*c = -2*j + 44, -2*c + s*j - 6*j = -36. Let a(o) = 13*o - 1. Let r be a(2). Is c >= r?
True
Let c be -2*2*(117/(-6))/13. Let y be (6/c)/((-59)/(-2)). Is 1 less than or equal to y?
False
Let o = -1895/8 + 237. Which is smaller: -1 or o?
-1
Let p = -11.1 - 0.9. Let o = -11 - p. Let x = 3 - o. Which is greater: x or 1/5?
x
Let j = 50 + -48. Let n be (-3 + j)*((0 - 1) + 2). Which is greater: n or -2/3?
-2/3
Let g be (-3 - (5 + -6))*22. Is -43 bigger than g?
True
Let g(h) = h**3 - 9*h**2 + h - 7. Let f be g(9). Let a be f/(4 + -2 + 0). Which is smaller: 2/5 or a?
2/5
Let y(p) = -p - 5. Let k be y(-7). Let m be (-3)/k - 47*1/(-32). Which is bigger: -1 or m?
m
Let b be ((-14)/8)/((-2)/(-8)). Let k(x) be the first derivative of -x**4/4 - 8*x**3/3 - 4*x**2 - 8*x + 30. Let o be k(b). Which is bigger: -1/15 or o?
-1/15
Suppose 612 = 102*s - 84*s. Are s and 36 unequal?
True
Let y = 442 + -443. Is y less than 1/15?
True
Let a be 17/(-51)*(0 - 177). Suppose 3*y - 56 = -a. Let d be (-6)/10*(6 + y). Do 1 and d have the same value?
False
Suppose 0 = -5*s + 21 + 19. Let v be (5/20)/((-2)/s). Is 20 less than v?
False
Let s(x) = x - 2. Let p be s(8). Suppose 2*r + p = 14. Suppose 6 = -r*k + 22. Which is bigger: k or 5?
5
Let o be 827/(-3) - (-2)/3 - -3. Let v = 2169/8 + o. Is v greater than -2?
True
Suppose -4*x - 24 = -4*s, 0 = -4*s - 2*x - 3*x - 12. Suppose -l - 4 = -3. Let f be 0 - (0/l)/s. Which is smaller: -5 or f?
-5
Let a = -1009 - -1003. Which is smaller: a or -1/29?
a
Let f(y) = y**2 - 14*y + 60. Let t(n) = n**2 - 13*n + 60. Let h(z) = -3*f(z) + 2*t(z). Let d be h(8). Let c = -3547/5 + 712. Is d != c?
True
Let y = -995 - -18903/19. Is -1 greater than or equal to y?
False
Let m(w) = -3*w - 3. Let x be m(-2). Suppose r = 2*u - 0 + 5, -x*u = -6. Suppose -4*b = -2*d - 7 + 9, d - 17 = -2*b. Are r and d nonequal?
False
Let i = 1772 + -51383/29. Let c = -113/319 + i. Let h = 16/209 + c. Which is smaller: h or 1?
h
Let w(v) = 5*v - 20. Let b be w(5). Suppose 0 = 6*h - b*h - 1. Are h and 3/70 equal?
False
Let f = 384 + -385.97. Let k = 0.03 - f. Suppose 5*r + 3*x - 21 = 0, 4*r - 10 = -x + 2*x. Is k > r?
False
Suppose o + 4 - 6 = 0. Suppose 5*g - w - 73 = -20, -5 = -o*g - 5*w. Suppose -21*i + 16*i - 2*p = -63, -i - 5 = -4*p. Which is smaller: i or g?
g
Let i(j) = 6*j + 5*j + 27 - 4*j - 18. Let y be i(-4). Which is bigger: -59/3 or y?
y
Let l(i) = -3*i**2 + 32*i + 10. Let w be l(11). Which is smaller: -22/29 or w?
w
Let o = 966 - 932. Does 33 = o?
False
Let f = -88 + 86. Let r = -1.2 - -2.4. Which is greater: r or f?
r
Let z be (5/(-25))/((-4)/10). Let t(j) = j**2 - 3*j + 2. Suppose -7 = -5*h + 8. Let p be t(h). Is z != p?
True
Let f be ((-2)/340)/(16/(-64)). Which is smaller: f or -1?
-1
Let p = -459.9 + 439. Let d = -2.1 + p. Let r = d - -22.73. Which is smaller: r or -1/2?
-1/2
Suppose 0 = 5*z - 21 - 24. Let a(j) = 10*j**3 + 3*j**2 - 12 - 11*j**3 + 7*j**2 - 7*j. Let g be a(z). Is g greater than 5?
True
Let k be ((-124)/930)/((-1)/(-40)). Let c = 793/7 - 113. Is k greater than c?
False
Suppose k - 1 = 1. Let b be (-11)/3 + (-8)/24. Let u be (b/(80/12))/(-1). Is k < u?
False
Let y = 1 - 11. Let w be ((-2)/(-4))/(y/(-8)). Let c = -0.1 - -0.2. Are w and c equal?
False
Let j be (2/6)/((-39708)/216). Is j >= 0?
False
Let g = 57 + -6. Let o be ((-42)/105)/((-1)/125). Are o and g unequal?
True
Suppose -3*s = -5*s - 6. Let o be ((-8)/s - -1)*-3. Suppose 0 = 3*u + 7*u + 100. Is u != o?
True
Let n(x) = 5*x**3 + x**2 + x - 2. Let t be n(1). Suppose -4*d = 4*v - 8, 3*d = -5*v + t*d - 4. Is v at least as big as 2?
False
Suppose -15 +