= -11*h + 9*h. Which is bigger: a or 64/187?
64/187
Let q = -40139/45864 - -1/5733. Let t be 3/(-6*1)*0. Is t greater than q?
True
Let i = -4906 + 4919. Does 47 = i?
False
Let y = -444 - -255. Let i be (2/(-3))/(-1) - 1062/y. Suppose -2*n + 1 = -13. Which is smaller: i or n?
i
Suppose 5*x - 5*l = 8400, -66*x + 6756 = -62*x + 2*l. Is 1687 at least x?
True
Suppose 24*y = 22*y - o - 8, 8 = 4*y - o. Is 16/723 greater than y?
True
Let q = 121 + -119. Which is smaller: q or 47.2?
q
Let t = -3089.66 + 3139. Let c = 0.66 + t. Is 0 bigger than c?
False
Let u be 3 + (20 - 26) + 45232/15077. Which is smaller: u or 0?
0
Let x be 7/28 - (-14)/(-120). Let u(p) = -3*p**2 + 113*p - 75. Let q be u(37). Are x and q equal?
False
Let c be (-6)/(-10) + 25 + -28 + 35/25. Which is smaller: c or 14/185?
c
Let g be (155/(-124))/(50/16). Which is smaller: g or 2/2785?
g
Let j = -615448/127 + 4846. Let q = 5 + -4. Is j less than q?
True
Let v be (-32 + (-173603)/38)*4/(-3). Which is greater: v or 6133?
v
Let g(w) = -2*w**3 + 34*w**2 + 18*w + 203. Let a be g(18). Is -2.5 greater than a?
True
Let k = 5151 - 5140. Which is smaller: -1.3 or k?
-1.3
Let f(v) = 698843317*v**3 + 5*v**2 - 4*v + 8. Let u be f(-5). Let y = u - -57398272765434949/657066. Let g = 2/8013 + y. Which is smaller: g or 0?
g
Let v be (-723)/(-12) + (9/4)/3. Suppose 0 = -14*i + 18*i + 5*s - v, 3*i = 4*s + 69. Which is smaller: i or 15?
15
Let s(k) = k**3 - 10*k**2 + 22*k - 3. Suppose 5*l + 11 = 41. Let w be s(l). Which is greater: w or -5?
-5
Let g be ((200/(-2))/4)/(2/4). Let x be (294/(-60) + 5)*g/(-32). Is 1 smaller than x?
False
Let k(y) = -y**2 + 5*y + 6. Let o be k(6). Suppose 0*v - 4*v = o. Let g = -313/785 - 1/785. Which is smaller: v or g?
g
Let p = 0.301 + -0.153. Let b = 0.188 - p. Is b greater than or equal to 22?
False
Let a(r) = 16*r - 74. Let b be a(12). Suppose -5*v + l + 231 = -v, -b = -2*v - 2*l. Is v < 59?
True
Suppose 0 = -h + 3714 - 3738. Let u be -4 + (-6 - -2) + 2. Let i be u/h - 139/(-4). Which is smaller: i or 34?
34
Let t = -191161/75582 - 1/4446. Is -1/6 >= t?
True
Suppose -2*v + 12 = 28. Let p be (2/v)/(88/(-836)). Which is greater: p or 2?
p
Let w be (-2)/1 + (-84)/(-6). Suppose -14*s + w*s = 32. Let n = s + 23. Is n != 8?
True
Let l be ((-40120)/(-9028))/(-2) - -1. Let z = l - -44/37. Which is bigger: -2/7 or z?
z
Let g = -56 - -279/5. Suppose -50 = -5*z + 30. Let w = 19 - z. Are w and g non-equal?
True
Suppose 2*l - 1 = -2*z + 21, 0 = 2*z - 4*l - 34. Let o be (2 + (-25)/z)/((-2)/62522). Let q = o + 2407. Do q and 2 have the same value?
False
Let a = 23.4981 - -0.5019. Which is bigger: 22 or a?
a
Suppose 0 = -15*g - 4 - 24 - 32. Is g > -139/36?
False
Let h = -484 - -481.99. Let n = h + 2.2. Which is smaller: n or -3/4?
-3/4
Suppose 17*h - 18*h - 3*r = 702, 5*h = -2*r - 3562. Let i = h + 1018. Is i less than or equal to 305?
True
Suppose -40 = 140*y - 180. Is -18/5735 equal to y?
False
Let j = 3.6 + -5.6. Let n = 8.13 - 8.3. Does n = j?
False
Let u = -157 - -154. Suppose 0*p = -5*p + 50. Let n be (u - 65/(-25)) + 4/p. Which is bigger: n or 9/13?
9/13
Let t(m) = -1251*m + 2762. Let u be t(4). Do -0.1 and u have the same value?
False
Suppose 0 = 2*j - 5*o - 101, -j = 3*o - 6*o - 51. Suppose 4*a + 297 = -5*s, -2*s - 68 - j = 3*a. Which is smaller: s or 0.1?
s
Let r = -14/169 + -748/3211. Is r < 4?
True
Let p be 72/(-54) - (-6 + (-153)/(-27)). Which is smaller: 38/235 or p?
p
Let u = -276 - -517. Let w = 241.209 - u. Is w smaller than -0.1?
False
Let j(m) = -m**2 - 5*m - 16. Let k be j(-8). Let l = 27 + k. Let p(g) = g**2 + 11*g - 28. Let y be p(l). Which is greater: 0 or y?
0
Let f be 15/(((-260)/(-48))/13). Suppose -i - 3*n - 15 = -1, 2*n + f = -4*i. Is -9 at most as big as i?
True
Let a(f) = 2*f**2 + 5*f + 8. Let c be a(-2). Suppose c*r + 18 = 12. Which is smaller: -5 or r?
-5
Suppose 0 = 21*g - 3010 - 2597. Let p(l) = 22*l + 4. Let w be p(12). Are g and w equal?
False
Let p = 113 + -113. Suppose c - 120 = -3*c + 4*v, p = -3*c + 4*v + 86. Which is greater: 35 or c?
35
Let n be (-15 + 0)*(-228)/(-95). Let a be n/(4 + (-3)/(-6)*-6). Let g = a - -47. Are g and 13 nonequal?
True
Let m = 7579 - 6749. Is m less than or equal to 827?
False
Suppose 11*w + 16592 = -2856. Let k be w/(-7952)*-36 - -8. Which is smaller: -1 or k?
-1
Suppose s + 0*s - 9 = 3*v, -2 = -2*v. Let d be 3/s - 6/20. Let l = -176 - -174. Is d > l?
True
Let f = 352 + -544. Let v = -1723/9 - f. Is v smaller than 1?
True
Let b = 108/235 + -286/1645. Is 1301/7 not equal to b?
True
Let r = -14954 + 15009. Which is smaller: r or 1466/27?
1466/27
Let y be (-8*6/240)/(412/5). Which is smaller: y or 1?
y
Let t = -341/13 + 5479/26. Let m = 191 - t. Suppose 0 = 5*a - 10 - 25. Which is smaller: m or a?
m
Let l = -98255 - -489289/5. Which is greater: l or 3?
3
Let v = -0.08 - -0.05. Let x = -11.0937 - -0.0937. Is v < x?
False
Let j(q) = -q**2 - 3*q - 4. Let h be -2 + (2 - 3)/((-1)/22). Let c = h + -24. Let y be j(c). Is y greater than -7?
False
Let f = -956/5 - -192146/1005. Let v = -2072/3 - -691. Which is smaller: v or f?
f
Let w(f) = -4*f + 59. Let c(j) = 2*j**2 + 26*j + 39. Let v be c(-12). Let k be w(v). Which is smaller: 1 or k?
k
Let r = -131 + 56. Let b = -7247 - -7170. Which is greater: b or r?
r
Suppose 28*k - 78*k - 3021 = 2879. Let l(x) = x**3 - x**2 - 7*x - 3. Let q be l(-5). Is k at least as big as q?
True
Let x be -3 + 0 + (-46552)/(-15521). Is x equal to -2/7?
False
Let w = -48 + 53. Suppose -w*x + 12 + 13 = 0. Suppose -a - 7 = 4*f, -4*a = -3*f + x*f. Which is greater: 1/67 or a?
a
Let f(j) = j**3 - 13*j**2 + 14*j + 21. Let b be f(2). Which is bigger: -0.0451 or b?
b
Let u be 2 - 2 - (-6)/16. Suppose -5*p - 14*i + 118 = -16*i, 2*i = 3*p - 70. Let g be -1 - p/(-36) - (-14)/(-3). Which is greater: g or u?
u
Let i = -0.4 - -5.4. Let x = -93.1 + 93. Which is greater: i or x?
i
Suppose -189*l + 141*l + 1440 = 0. Which is smaller: 22 or l?
22
Let c = -2887 - -5181. Suppose c = 3*y + 2405. Suppose -3*b - 2*b - 190 = 0. Which is smaller: b or y?
b
Suppose 28*y - 370 = -398. Which is greater: y or 2/2061?
2/2061
Suppose 140 = 62*v + 326. Which is smaller: v or -29/5?
-29/5
Suppose -12*p - 438 = -14*p. Suppose -3*c + s - 5*s - 330 = 0, -2*c - p = 3*s. Is c smaller than -112?
True
Suppose 77168 = -678*i + 686*i. Which is smaller: i or 9647?
i
Let w be ((-490)/(-75))/7 + (13 - 440/33). Which is bigger: 1.001 or w?
1.001
Suppose -47*r + 74*r - 69979 = -64*r. Is 769 greater than or equal to r?
True
Let c(x) = x**3 + 4*x**2 - 50*x + 25. Let b be c(5). Is b less than or equal to -1/403?
False
Let v = 5 - -217. Suppose 6*u + 306 = v. Which is greater: u or 2?
2
Let l(o) = o**2 + o + 2. Let v(j) = 4*j**2 + 42. Let s(c) = -6*l(c) + v(c). Let f be s(3). Which is smaller: 9 or f?
f
Let a(o) = o**2 - 41*o + 77. Let k be a(39). Let b be -4 - 108/134*-5. Is k at most b?
True
Let l be 16*(-2)/(-20)*5. Suppose -3*f - 10 = l. Let h be (-1)/10*(f - -4). Which is smaller: 0.6 or h?
h
Suppose 5*a = 15, 12 = 5*l - 3*a - 14. Suppose 8*o + 183 = l. Let b be o/77 - (-1 - -1). Which is greater: 14 or b?
14
Suppose -4*z = -2*z + 7*z. Suppose z = -17*p - 3 + 3. Which is smaller: p or -3/79?
-3/79
Let w(n) = -n**3 - 8*n**2 + 4. Let p be w(-8). Suppose m + p = -2. Let v = -2096 - -2093. Is v > m?
True
Suppose -3*k + 16 = 1, -3*n - 3*k = -924. Let z = -297 + n. Let x = -11 - -20. Which is greater: x or z?
x
Suppose -7*d = -15*d + 32. Suppose 3*v = 15*r - 16*r - 1, 0 = r + d*v + 1. Which is smaller: -1/105 or r?
r
Let z(j) = -3*j - 15. Suppose -4*y - 6 = 5*o + 6, 0 = 5*y - 2*o + 48. Let h be z(y). Let x be 6/(-15) - 84/(-10). Which is bigger: x or h?
h
Suppose w + 7 + 14 = 0. Let z(h) = 15 - 3*h**3 + 17 + 15 + 9 + h + 2*h**2 + 4*h**3. Let o be z(-5). Which is greater: o or w?
w
Let c = -5047 + 146362/29. Is 0.481 < c?
False
Suppose -119 = -l - 2*a, 2 = -10*a + 11*a. Let t = -148 + l. Is t less than or equal to -31?
True
Let i = -249.234 + 249. Let o = -0.18 - i. Let w = o - -0.016. Which is bigger: w or -4?
w
Let j = 823 + -827. Let i = -661 - -4607/7. Which is smaller: j or i?
j
Suppose 27*p + 917 = -82. Let k = -27 + 84. Suppose 5*f = -2*l - k, -50 = 4*l - 4*f + 106. Which is smaller: p or l?
p
Let f = -5074 - -4746. Which is smaller: -321 or f?
f