4*v - 4. Let z be y(x). Let f be 2 + (0 - z) + 2. Which is smaller: -3 or f?
-3
Let z = 389/7245 + -48/161. Is 0 <= z?
False
Let g = 11.3 + -12. Which is bigger: 2/9 or g?
2/9
Let c(q) = 61*q**3 + 5*q**2 - q + 3. Let t(h) = -183*h**3 - 14*h**2 + 4*h - 9. Let m(j) = -8*c(j) - 3*t(j). Let v be m(1). Is v bigger than 63?
False
Let v = 22 + -18.8. Let y = 42.8 + v. Let u = y - 33. Which is smaller: u or -1/2?
-1/2
Let m(x) = 2*x**2 + 9*x + 13. Let h be m(-4). Suppose -h*s = -8*s. Suppose y = 6*y - 5. Which is greater: y or s?
y
Suppose -5*n = 3*o - 101, 5*n - 5*o - 91 = -3*o. Let w = -19 + n. Is 1/28 bigger than w?
True
Let v be 0 - (-2 + -2 + 3). Suppose 0 = -2*z - 3*z + 20. Let n be (-1)/z - 20/(-16). Does n = v?
True
Suppose -3*i = 11 - 8. Let g be (-1 + i)*13/(-26). Is -4 not equal to g?
True
Suppose y - 3 = -0*y. Let v be (-2)/(7/2 - y). Let k = v + 6. Which is greater: k or 1?
k
Suppose -4*d + 16 = 5*a, 13*a = -4*d + 14*a - 8. Is d equal to 2/157?
False
Let s(r) = 4*r - 1. Let c be s(2). Let v = c + -8. Let u be (-7)/v*2/2. Which is bigger: u or 11/2?
u
Let u = 54.3 - 110.3. Is u at least -1/15?
False
Let a be (6/(-30)*0)/(-4 + 1). Is a smaller than -4/87?
False
Suppose -62 = 5*s + 18. Let j = -7 + -9. Is j > s?
False
Suppose 2*c + 5*v - 3 = 28, -4*v + 12 = 0. Suppose b = c - 4. Suppose 0 = b*a - 0*a + 24. Is a less than -6?
False
Let b = 79 - 79.11. Which is greater: 17 or b?
17
Let z = -75 + 76. Which is smaller: z or 4/3?
z
Let x(u) = u**3 + 10*u**2 + 8*u - 2. Let b be x(-9). Let p = b + -5. Suppose -5 + 3 = -p*o. Does 0.2 = o?
False
Let m(b) = b + 116. Let y be m(0). Let l be 4700/(-42) + (-6 - -2). Let u = l + y. Is u <= -1?
False
Let b = -4.1 + -1.2. Let g = b + 5.2. Which is greater: g or -1/8?
g
Let s = -1/7313 - -943384/51191. Which is greater: s or 18?
s
Suppose b - 5*c = -74, 3*b + 6*c - 3*c = -150. Let u be 2/((-24)/b) - 5. Is u less than or equal to 8.5?
True
Let a = -445/3 - -911/6. Is a >= 4?
False
Suppose -58*n = 896 + 554. Which is greater: -27 or n?
n
Suppose 95 = 4*v + 71. Which is bigger: v or 4?
v
Let q = -914/9 - -3043/18. Do 69 and q have different values?
True
Let o = 373 + -374. Which is greater: o or 2/351?
2/351
Suppose 0 = 3*n + 2*w + 16 - 39, n - w - 11 = 0. Which is smaller: n or 73/7?
n
Let i = 742 - 730. Which is bigger: i or 14?
14
Let u = 6995161/13 - 537793. Let r = u + -296. Which is smaller: r or -1?
-1
Let t(z) = 2*z**2 + 22*z - 22. Let s be t(-11). Is -7 <= s?
False
Let s = 5 + 5. Let n be (8/18)/(544/48). Let x = 116/357 - n. Is x bigger than s?
False
Let l(g) = -20*g + 480. Let z be l(24). Are z and -6/181 non-equal?
True
Let a = -19 - 3. Let s(d) = -d - 22. Let x be s(a). Do x and -6 have the same value?
False
Let b be (-1 - 0)*(-2 - 79)/(-3). Is -26 at least as big as b?
True
Let w be (2*-3)/(62/124). Is -7 smaller than w?
False
Let f = -38647/50 - -773. Are 0 and f equal?
False
Suppose 44*d - 20 = 40*d. Suppose 2*m + 27 = -d*b + 4*m, 0 = 3*b + 3*m + 33. Let p be (0/2)/(-1 - -3). Which is smaller: p or b?
b
Let f = 938 - 943. Which is smaller: f or -7?
-7
Let j be ((13/(-3))/(-13))/(2/84). Which is bigger: j or 22?
22
Let d = 18.8 + 0.2. Let h = -410 + 434. Let i = h - d. Is -0.1 at least as big as i?
False
Let d = -804.9 + 805. Let c be (2 - 46/2) + 0. Which is smaller: c or d?
c
Let g(o) = -159*o - 6. Let l be g(-2). Is l bigger than 313?
False
Let k(x) = x**3 + 11*x**2 + 11*x + 1. Let h be k(-10). Let s = -13 - h. Let b be 1*(-2 - -6)/s. Is b < 1/9?
True
Suppose 34 = 6*v - 122. Is 26 >= v?
True
Let a(q) = 4*q - 106. Let n be a(25). Is -7 >= n?
False
Let s = -16/133 + 1573/11970. Which is smaller: 0 or s?
0
Let m = -15.05 + 14.9071. Is -1 at most as big as m?
True
Let g be (-5)/(56/(-21) + 3). Suppose 4*t - 61 = 2*y + y, 4*y + t + 56 = 0. Is y at most g?
True
Let s(g) be the first derivative of -g**3/3 + 3*g**2/2 + 16*g - 14. Let o be s(8). Is -22 at most as big as o?
False
Suppose -20 = -4*o, -c - 55*o = -53*o + 1085. Which is smaller: -1094 or c?
c
Let i be (4 + 27/(-9))*(-31)/(-1). Does 31 = i?
True
Let l = 518 - 535. Is l less than or equal to -17?
True
Let g = 149 - 148. Is g bigger than 1.72?
False
Let w be (-1)/(1/(2/(-1))). Suppose -d = -w - 1. Suppose -3*c + 0*h = -d*h - 9, 4*h + 5 = -3*c. Are 1 and c equal?
True
Let c = 2403 - 1170264/487. Is -1 < c?
True
Let j(h) = 12*h + 7. Let y be j(10). Let w = -2/18151 + -11471422/90755. Let t = w + y. Is t equal to 1?
False
Let s be (-20)/6*5184/(-360). Which is smaller: s or 47?
47
Let o = -489 - -93. Let s be o/(-38)*2/(-42). Let r = 4/19 + s. Is 0.11 greater than or equal to r?
True
Let v be 205/(-20) + (-6)/(-8). Let a = 0.134 + -0.234. Which is bigger: v or a?
a
Let z = -295.94 - -296. Is z greater than -1/4?
True
Let v be 15/6 - (-1)/2. Suppose v*y + 4*g + 14 = -18, 0 = -y - g - 12. Is y at least -15?
False
Suppose 0 = s - 132 - 51. Suppose 4*k - s = k. Which is smaller: k or 62?
k
Suppose -3*i = 1 - 7. Let t = 2/7671 - -92038/53697. Is t at least i?
False
Let y = -27830078/1183 - -23525. Which is bigger: 1 or y?
1
Let f(a) = a**3 - a**2 + 8*a - 55. Let o be f(6). Is 172 smaller than o?
True
Let s(k) = -k**3 + 5*k**2 - 2*k - 7. Let p be s(4). Which is smaller: -4/37 or p?
-4/37
Let a be ((-2)/4)/(4/16). Let n = a + 10. Let s be -2 - (n - (2 + 2)). Is 2/9 bigger than s?
True
Suppose d + 3*d - 14 = l, -4*l + 4*d - 20 = 0. Let w(u) = 2*u**2 + 2*u + 4. Let o be w(0). Suppose 0 = -4*t + 6*t - k - 6, 0 = k + o. Is t bigger than l?
True
Let n(g) = -4*g**2 - 5*g - 2. Let p(c) = -5*c + 19. Let o be p(4). Let h be n(o). Is h less than -1/58?
True
Let a = -82/9 + 103/9. Suppose 2*k - 1 - 43 = 0. Let m = k + -20. Is a at most m?
False
Suppose -5*h - a + 53 = 0, -47 = -5*h - 4*a - 0*a. Suppose 0 = -10*s - 69 - h. Is s less than -2?
True
Let q = -0.16 - -0.56. Let v = 19 - 16. Is v >= q?
True
Let m = -2064 - -2064. Let t = -26265/44 - -597. Which is greater: t or m?
t
Let n be ((-3)/620)/(182/28 + -5). Are 1 and n equal?
False
Let v(f) = -3*f**2 + 16*f - 51. Let n(r) = 7*r**2 - 33*r + 102. Let q(p) = -2*n(p) - 5*v(p). Let o be q(7). Which is bigger: 14/15 or o?
o
Suppose -4*t - 204 = 2*t. Let x = t - -32. Which is bigger: x or -12/11?
-12/11
Let p be ((-3)/(9 + 0))/((-1)/(-21)). Which is bigger: 9 or p?
9
Let o = -1893966846868/135 + 14029188628. Let a = o + 195422. Let r = -4/5 - a. Is 1 greater than r?
True
Let v = -766 - -793. Is 0.7 not equal to v?
True
Let p = -185075/6906003 + 1/23097. Which is greater: 0 or p?
0
Let k be (7 + -10)/((-6)/28). Let l = k - 14. Which is bigger: l or -2?
l
Suppose 6*j - 2*j + 4 = 0. Let v be (j/15)/(30/(-100)). Which is bigger: -1 or v?
v
Suppose 56 = -4*z + 60. Which is smaller: z or -14/127?
-14/127
Let f = -37 - -43. Let v(t) = -f - 2*t - 7 + 18. Let w be v(3). Which is smaller: w or 2/21?
w
Let p be (-21)/(-2 - 2/(-4)). Let c = p + -7. Suppose 0 = -4*j + 3*r + 7 + c, 2*r = -4. Which is greater: j or 0?
j
Let h = 0.0337 + 3.9663. Is -10/11 greater than h?
False
Let v = 2/10383 - -9073/6800865. Which is bigger: v or 1?
1
Let o = 0.15 + 1.15. Let n = -0.7 - o. Let z = -0.7 + 0.6. Which is greater: n or z?
z
Let g = 4 + -16. Let d = 12 + g. Suppose 0 = -2*s + 4*s + 4. Which is greater: d or s?
d
Let z = -0.0592 - 1.9408. Which is smaller: z or -36?
-36
Let q be ((-211)/30*1)/1. Let o = q - -53/6. Which is bigger: 2 or o?
2
Let d = 737/7685 - -2/265. Which is greater: d or 0?
d
Let h be ((-8)/10)/((-143)/(-55)). Suppose -7*k + 12 - 5 = 0. Is h equal to k?
False
Suppose 0*h - 2*b = 4*h - 896, -5*h = 5*b - 1110. Let d = h - 151. Suppose 2*v + v - d = 0. Which is smaller: 24 or v?
24
Let t(s) = 2*s**3 + 9*s**2 + 10*s + 12. Let b = -91 - -86. Let g be t(b). Does -63 = g?
True
Let c(n) = n**2 + 4*n + 3. Let v be c(-3). Let m = 114 + -111. Suppose v = m*u - 4*y + 20, -u + y - 5 = u. Are u and 1/2 non-equal?
True
Let s be ((-540)/(-60))/((-3)/(-343)). Are 1030 and s non-equal?
True
Let s(u) = -21*u - 4. Let a be s(-3). Let f = 57 - a. Let d = 0.71 - -0.09. Which is bigger: d or f?
d
Suppose -j + 0*j = 2. Let o = -12 + 5. Let h be 0 + 0 - (4 + o). Which is smaller: j or h?
j
Let r = 28.068 + -0.068. Let l = r + -29. Is l bigger than 47?
False
Let s = 0.4935 - 0.2935. Let l = 902043 - 321127587/356. Let n = l - -3/89. Is s g