t h = -2422385/404 + 5996. Which is smaller: 1 or h?
h
Let d = -917 + 919. Let j(h) = h**2 - 5*h + 6. Suppose -8 = -5*i - 3*y, -i - 8 = -4*y - 28. Let z be j(i). Is z at most as big as d?
True
Let c = 680 + -236. Which is smaller: c or 445?
c
Let t be (-84)/(-160)*(-4)/4*1. Let d = t + 1/40. Let k = 13.01 + -0.01. Which is smaller: d or k?
d
Let u = -1.91 - -2. Let j = u - -2.01. Let d = 0.9 + j. Which is smaller: 1 or d?
1
Suppose 140 = -0*y - 5*y + 5*t, 0 = 4*t + 20. Let b = y - -29. Which is smaller: b or -12?
-12
Let u = 10 + 2. Let w = 20 - u. Suppose -3*p = 12, -z - 5*p - w = -0*z. Which is smaller: 13 or z?
z
Let y = -19.12 + 0.12. Let w = -9 - y. Let a be 32/(-12)*1/4. Is w at most a?
False
Let d = -11 + 11.34. Let w = -0.66 - d. Which is smaller: -0.23 or w?
w
Let o = -1.098 + 0.028. Which is smaller: o or -3/5?
o
Let u(b) = b - 14. Let j be u(18). Suppose 0*h + h = -j. Let t be (-2)/(-12)*(h - -2). Which is smaller: 0.1 or t?
t
Let l = 6187/819 - -2/117. Do l and 5 have different values?
True
Let z(w) = w**2 - 6*w - 26. Let x be z(12). Suppose -x + 18 = -4*t. Suppose -m - 26 = -3*a, -2*m = 3*a + m - 18. Which is smaller: t or a?
t
Let y(j) = j**3 - 6*j**2 - 27*j + 140. Let q be y(7). Which is bigger: -3/574 or q?
q
Suppose -7*w - 460 = -11*w. Let a = w - 81. Which is greater: -0.1 or a?
a
Let g = -3.94382 - 0.05618. Let r be 1/(-3)*6/(-8). Which is bigger: r or g?
r
Suppose -d = -4*g - 24, d - 5*g - 22 - 7 = 0. Suppose 0 = d*m - 154 + 6. Let o = -628/17 + m. Which is bigger: -1 or o?
o
Suppose -17*s + 117 = -30*s. Let p be 95/(-8) - (-2)/(-16). Which is smaller: s or p?
p
Let w be 6/(-4)*-12*35/10. Is 53 <= w?
True
Let o be 7/(12 - (-2)/(-2)). Suppose 315*q - 169*q + 24 = 158*q. Is q < o?
False
Let y = 112 + -107. Suppose -y*u + 2*r = 18, 4*r = 2*u - 3*u + 14. Which is smaller: u or -7?
-7
Suppose -2*h + 10 = 4*u, -4*u - 4*h + 71 - 55 = 0. Does 83 = u?
False
Let j = -1267 - -1060. Are -206 and j nonequal?
True
Let m = 0.16 + 0.04. Let g = 3/11 + -23/44. Which is bigger: m or g?
m
Let q be 1*-2 + (-45)/(-50) + -2. Let z = q - -8/5. Which is greater: z or -1?
-1
Let t = 24 + 0. Let u = t - 12. Let a be (-88)/(-352)*52/1. Which is greater: u or a?
a
Let g = -8094767/559 - -195830/13. Let q = g + -583. Are q and -0.3 unequal?
True
Let k(v) be the second derivative of -v**3/6 - 5*v**2 + v. Let c be k(-5). Let m be (5 - 1)/((-12)/18). Which is smaller: c or m?
m
Let q = 26 + -37. Let u = -10.9 - q. Is u equal to 1/6?
False
Suppose -660 + 209 = 11*x. Which is greater: x or -40?
-40
Let j = 73 + -457/6. Let z = j + 2/3. Is -4 >= z?
False
Let t(r) = -6*r - 4. Let y(u) = -5*u - 3. Let m(n) = -6*t(n) + 7*y(n). Let f be m(4). Let p(x) = x - 1. Let k be p(6). Is f <= k?
False
Suppose -g + 10 = -2*l - 2*l, 2*g - 56 = -4*l. Let u be g - (-6 + 1 - -3). Is u equal to 24?
True
Let s = 11 - 27. Let h(o) = 10*o + 16. Suppose 5 = -g, 2*c + 3*g + 30 = -3*c. Let z be h(c). Which is greater: z or s?
z
Let m be ((-15)/7)/((-24)/42). Let n = m + -17/4. Which is smaller: -3 or n?
-3
Let k(z) = -z**3 - 11*z**2 + 6*z + 13. Let x be k(-12). Suppose 3*c - 3*w - 140 = 118, -2*w = -c + 86. Which is greater: x or c?
c
Let v = 488 + -978. Which is smaller: v or -491?
-491
Let y = 0.548 + -0.44. Let r = y - 0.008. Is 0.1 < r?
False
Let b = -0.01 - -0.41. Suppose -5*l = 3*z + 62, -2*l = -4*z - 0 + 30. Is b greater than l?
True
Let i = -21/148 + -4/37. Which is smaller: i or -0.03?
i
Let y = -3552/7 + 509. Which is greater: y or 1?
y
Let n = 628 - 53378/85. Are -4 and n nonequal?
True
Let t(y) = 3*y - 4. Let l be t(2). Let u = 29 - 26. Which is smaller: l or u?
l
Let i be 2 + (75/(-24) - -1). Let y(r) = r**3 + 9*r**2 - 8*r + 21. Let u(z) = -z - 25. Let a be u(-15). Let s be y(a). Which is greater: s or i?
s
Let u be (-91)/(-147) - 2/6. Which is smaller: 0.013 or u?
0.013
Let b be ((-4)/(-3))/(-1 - (-25)/15). Is 105 greater than b?
True
Let c be (-1)/6 + (-157050)/(-756). Let w = 208 - c. Which is greater: -1 or w?
w
Suppose -z - 28 = -h, 5*z + h + 126 = -h. Let b = -26 - z. Which is bigger: 6 or b?
6
Suppose -3*z - 4 = 4*t, -5*z = -2*t + 62 - 12. Let f(l) = -l**3 - 9*l**2 - 8*l - 1. Let x be f(z). Is -1 at least as big as x?
True
Let v = 878729 - 144988901/165. Let n = v - 134/15. Is n greater than -2?
True
Let r = -1342 - -84544/63. Let n = 16/3465 - r. Is n bigger than -1?
True
Suppose -c + 5*c = 2*s - 46, 2*s = 2*c + 28. Let r be (3 - 2)*(c + 10). Does -3/11 = r?
False
Let j = 67 + -66. Let w be j/4*(4/(-5) + -2). Is w less than 0?
True
Suppose 3*h - 2*z = 6, 2*h + 3*z - 2 = 2. Let x be (576/20)/3 + h/5. Is x greater than -0.3?
True
Let m = -23 - -27. Let z be 5/(-30)*m/(-3). Which is smaller: 0.5 or z?
z
Let x be (3 - 3)/(-2) + -16. Let f be 30/10 + 46/x. Which is greater: 1 or f?
1
Let i = -839 - -14267/17. Let f = -25 + 25. Let v = 0.1 - f. Is v at most i?
True
Let g = -142 + 263. Let t = g + -2059/17. Which is bigger: t or 1?
1
Let u = -62 + 34. Let h = u - -30.6. Let x = h + -2.3. Is x < -1?
False
Let x be 2/(-14)*3929*1/(-3). Let m = -187 + x. Which is smaller: 0 or m?
0
Let y = 1 + 67. Suppose -4*t + 2*a + 70 = 0, -3*a + y = 5*t + a. Let q = t - 8. Is 7 bigger than q?
False
Suppose -2*k - 4*f - 94 = 0, -2*k + 6*f = f + 121. Is k bigger than -53?
False
Suppose -2*v + 5*d = -973, 5*v - d = v + 1955. Is 489 bigger than v?
False
Let m = 816 + -804. Is m < 7?
False
Let p = -16 + -1. Let s = -31 - p. Let l = 13.1 + s. Which is smaller: 2 or l?
l
Let f = 5.12 + -5. Let p = 0.02 - f. Let k = -1.1 - p. Is -0.1 less than or equal to k?
False
Suppose -8*a = -4*a + 40. Let w be (-6)/30 - 62/a. Let g = w - 18. Is g less than or equal to -13?
False
Let r be -11 + 2139/15 - 4/(-10). Is r at most 132?
True
Suppose -2*x + 27*u = 31*u - 430, 4*u = -x + 213. Are x and -0.2 unequal?
True
Let v = -30.9 + 31. Let j = -10 + 18. Is v != j?
True
Let m be (8/(-10))/(5/(-1525)*-2). Is -120 < m?
False
Let v be 5/20*(3 + (-10)/5). Which is smaller: v or 71/2?
v
Suppose 5*r = -5*n + 8 + 22, 0 = -4*r - 2*n + 14. Which is smaller: 3/722 or r?
3/722
Let f be (-6)/(2198/(-10 - -3)). Is 0 at most as big as f?
True
Suppose 9*h - 37 + 10 = 0. Let i be ((-11)/((-66)/4))/((-1)/h). Do i and -12/7 have the same value?
False
Suppose 0 = -73*x + 75*x. Suppose -3*v + 5 = 2. Let u be (1 + -2 + 4)*v. Which is smaller: u or x?
x
Let r = -37.4 + 39.4. Suppose -549 - 15 = 2*q. Let h = -4792/17 - q. Is h less than or equal to r?
True
Let x(g) = -5*g**3 + 3*g**2 + 3*g + 2. Let o be x(2). Which is smaller: o or -19?
o
Suppose b + 278 = 275. Which is smaller: 7 or b?
b
Let k = 58 - 67. Let r be (19/k)/(1/(-6)). Which is smaller: 14 or r?
r
Let n(j) = j**2 + 13*j - 6. Let b be 172/(-14) - 30/(-105). Let i be n(b). Let t = -1 - i. Is t at most 17?
True
Let h(f) = f**3 - f**2 + f - 88. Let m be h(0). Let d be m/(-9) - (-2)/9. Suppose n - 3*k + 10 = 24, -n + 2*k = -d. Which is bigger: n or 3?
3
Let x be 2 + -1*85/(-90)*16. Which is bigger: 18 or x?
18
Let o be 72/111*7/21. Let y = -706/185 + o. Is -5 not equal to y?
True
Let n = 2552/53019 - 2/1233. Suppose -11*d + 3*d = 8. Which is bigger: d or n?
n
Let x = -72 + 218/3. Let m be 40/22 + (-6)/(-33). Which is smaller: m or x?
x
Let m = -21.31 + 5.31. Which is smaller: -8 or m?
m
Let h = 1 - 3. Let a be h/(-5) - (-216)/(-440). Suppose 0 = -y - 2*i + 6*i + 9, y + 9 = -5*i. Is a bigger than y?
False
Let w be (-1 - (-3)/2)*4. Let m be 32/(-24)*9/w. Suppose -28 = 3*p - 13. Is p at least m?
True
Let h = -0.006 - -27.006. Let k = -24.7 + h. Let w = 2 - k. Which is smaller: w or 0.1?
w
Let a(m) be the second derivative of -m**3/6 + 11*m**2/2 + 11*m. Let c be a(12). Which is smaller: -12/13 or c?
c
Let i be (-492813)/(-33264) - 15 - 4/(-22). Which is smaller: i or 1?
i
Let s be (1 + 1)/(0 + 2). Let q be (17/102)/(s/3). Are 5/3 and q equal?
False
Let y = 4 + -3. Let n be 24/18*74/(-76). Let p = n + -2/57. Which is smaller: p or y?
p
Suppose 0 = -0*t + 3*t + 5*a - 109, 74 = 3*t - 2*a. Let n be (-2)/3 + t/42. Let g be (2/2 + -1)/2. Is g greater than n?
False
Let j(p) = 15*p - 37. Let v be j(3). Let f be (-1)/(3/(-57)) - (-24)/v. Is 22 < f?
False
Let i be (0 - (-2)/(-4))/((-54)/(-108)). Is -1/13 at most as big as i?
False
Suppose 0 = 2*n + f + 3, 10*n - 6*n = 4*f - 12. Does n