 + 27 - 9 = 0. Let b be i(p). Let z be (-88)/(-210) - b/(-165). Which is bigger: -0.1 or z?
z
Let d = -590 + 954. Which is greater: -0.3 or d?
d
Let w = -4/2015 + 26203/4030. Which is smaller: 8 or w?
w
Let w = 791 + -790. Which is smaller: -15.1 or w?
-15.1
Let z = -46735469807/15732 - -26736550/9. Let s = z - -2/437. Let w = -0.22 - 1.78. Which is smaller: w or s?
w
Suppose -6*s - 8 = -2. Let h be (2/(28/s))/1. Which is bigger: h or 0?
0
Suppose 2*i + 2 = -2. Let z be (4/(-10))/(303/(-15)). Let b = -394/505 - z. Is b bigger than i?
True
Let g = 59 - 60. Which is smaller: g or -0.03?
g
Let l be ((-7)/(-4))/(1*(-10)/(-240)). Is l less than -6?
False
Let l be (7 - 7)*1/2. Suppose 0 = j - l - 1. Let i be 3/(-2*(-18)/16). Is i >= j?
True
Let y = -72.56 + 72. Let h = -0.66 - y. Is h at most as big as -2?
False
Let a(g) = -g**3 + 11*g**2 - 18*g + 21. Let t be a(9). Suppose u = -4*s + t, -2*s = 3*u - 6 + 3. Are s and 7 equal?
False
Let q(a) = -3*a + 58. Let i be q(23). Is i at least -43/4?
False
Let f be (-4)/24*-2*(-3)/4. Is -1/8 >= f?
True
Let c = -275 + 398. Suppose -87 = 5*z + c. Let y be ((-36)/z)/((-1)/7). Is y > -6?
False
Let a be 4/1 - 1 - (10 - 7). Let n be a/(-8)*(-1)/2. Is n smaller than -3/10?
False
Suppose 129 = 4*a + 785. Let n be 62/104 - (3 - a/(-52)). Let g = -0.3 + 0.2. Do n and g have the same value?
False
Let k = 113/1001 + -2/91. Which is greater: -0.2 or k?
k
Let y = 625.9 + -626. Are -377 and y non-equal?
True
Let d be 12/(-10)*((-385)/205 - -2). Which is smaller: 1 or d?
d
Let z be (10/(-4))/5*2. Let u = -89147545222/3485 - -25580357. Let v = 9/205 - u. Are z and v equal?
False
Let q(j) = j. Let w(b) = 4*b**2 - 5*b + 2. Let p(s) = -4*q(s) - w(s). Let f be p(2). Suppose -3*c = 3*v + 54, -v + 87 = -5*c - 5*v. Is c at least f?
True
Let u = 42 + -80. Let a = 38 + u. Which is smaller: a or -1?
-1
Let t be (2 - 1)/(16 - 1). Suppose 4*u - u + 9 = 0. Let q be (u + 16/4)*0 - -1. Is q at least t?
True
Let x = -639 + 649. Which is greater: -5 or x?
x
Let x = -2.3 + -204.7. Is x at most 1?
True
Let n = -811/8 + 198711/1960. Suppose t + 43 - 42 = 0. Does t = n?
False
Suppose -15 = u - 4*y, -5*y + 33 + 17 = 5*u. Let c = -61 - -67. Which is greater: u or c?
c
Let w(d) = -d**2 + 32*d - 1. Let v be w(-2). Which is smaller: v or -68?
v
Let v(c) = -3*c - 7. Let n be v(3). Let g = 16 + n. Which is smaller: -4/15 or g?
-4/15
Let c be ((-4)/(-20) - 1/5)/3. Which is greater: c or -4/41?
c
Let u be 2*(5 + -2)/6. Suppose -3*g + u = 5*k, 0 = 3*g - 2*k + 4*k + 5. Let o = 2 + g. Which is smaller: o or 1/18?
o
Suppose -4*q = -16, 2*q + q - 2 = s. Let m(v) = -v**3 + 10*v**2 + v - 6. Let u be m(s). Let x(a) = a**2 - 3. Let w be x(u). Which is smaller: 14 or w?
w
Suppose -3 = -k, 2*k - 1 - 17 = -3*f. Let p(h) = -h**3 + 3*h**2 + 6*h - 8. Let v be p(f). Let w be ((-15)/(-27))/(6/(-9)). Which is bigger: v or w?
v
Let c = 54 + -54.21. Let b = -0.12 - c. Which is greater: -0.2 or b?
b
Suppose 0 = -322*f + 332*f + 70. Suppose 0 - 15 = -5*b. Are b and f equal?
False
Suppose -o - 5 = 0, 1 = 3*c - o + 2. Let j(f) = 15*f. Let k be j(c). Which is smaller: k or 0?
k
Let r = 19 - 41. Let o = r + 14. Let z be ((-6)/o)/((-2)/(-56)). Which is bigger: z or 20?
z
Let w be 15/2*((-14)/(-6) + -1). Let u(m) = -m**3 + 10*m**2 - 1. Let q be u(w). Is 2/5 at least as big as q?
True
Let o = 170 - 137. Which is smaller: o or 230/7?
230/7
Let d = -24 - -23. Let z = 0.06 + -0.01. Let b = z + -0.1. Is d less than b?
True
Let p be (6 - 2256/375) + 0. Which is smaller: 1 or p?
p
Let k = 2.221 + -0.221. Which is smaller: k or 1.5?
1.5
Let q = -0.016 - 6.984. Let w = q + 6. Which is smaller: w or -0.17?
w
Let i be (0 - 2)/(-2 - (-6)/4). Let u be (i/(-48))/(2/3). Is u < 0?
True
Let v be (2/(-4))/(1/8). Let y be (1/(-4))/(7 - 108/16). Let s be y*v/(16/(-12)). Is s smaller than 2/3?
True
Let r be ((-8)/(-12) - 0)/(3/(-126)). Which is greater: r or -30?
r
Suppose -20 - 36 = 28*h. Let j = 5 - 8. Is h less than j?
False
Suppose -3*j = -2*n - 35, -3*n = -3*j - 5*n + 19. Let c = -6 + j. Is c at most as big as 3?
True
Let x be 2/11 + -2 + 27/(-1540). Let p = 1/420 + x. Is -2 bigger than p?
False
Let x = -21.462 - 1.518. Let i = -4 + 27. Let b = x + i. Is -4 smaller than b?
True
Let v = -58 + 57. Let y be v - (-54)/42 - (-108)/14. Which is bigger: y or 37/4?
37/4
Let q(n) = -n**2 - n + 3. Let y(z) = -2*z + 12. Let f be y(5). Suppose 3*v - 2*s + 4*s = -f, -5 = 4*v + 5*s. Let x be q(v). Is 0 bigger than x?
False
Let v = 306 + -338. Which is smaller: v or -36?
-36
Suppose 9 = 3*c, -4*d - 7*c + 2*c = 21. Let g(l) = l. Let r(q) = -q**2 - 11*q - 8. Let j(v) = -5*g(v) + r(v). Let z be j(-16). Is z equal to d?
False
Let p be (0/(-1*2))/(-2). Let u be 4/(-8)*(-2 + -6). Suppose p = r + 2*i + u, -3*r + 2*i + 4 = -0*r. Is r equal to 5?
False
Let d(x) = -x**2 + 82*x - 1358. Let b be d(23). Let q be (-2)/72 - 2/(-8). Which is bigger: q or b?
q
Suppose 3*g = -10 + 7. Let x = -9 + 8.98. Let h = 0.07 + x. Which is bigger: g or h?
h
Let k = 388385/8217 + -4131/83. Let v = k - -30/11. Let a = 57 + -287/5. Is v less than a?
False
Let f = 385816554/341 + -1131431. Let a = 45/11 + f. Suppose -2*s + 6*s = 3*u, 5*u + s = 0. Is u < a?
False
Let b = 21 - 20. Suppose 0 = 4*y + 3*m - 7, -5*y + 0 = -4*m - b. Let w be y/35 + 18/(-30). Which is smaller: w or 0?
w
Let q = -15 + 190. Suppose 2*v + 179 = -p, 2*p - 2*v + 153 + q = 0. Let y = p - -2533/15. Which is greater: -1 or y?
y
Let a(r) = -r**2 + 8*r - 12. Suppose -3*n - 4 = -4*n - 2*u, 4*u = -4. Let t be a(n). Which is smaller: t or -2?
-2
Let d = 38.1 + -37. Let u = 1.3 + 0.8. Let t = u - d. Are t and 0 non-equal?
True
Suppose 0 = -3*n + 5*n - 18. Let c(y) = -y**2 + 9*y - 2. Let z be c(n). Let a be 9/(-27) - z/42. Which is greater: -0.1 or a?
-0.1
Let b = 1264 - 1266. Which is smaller: -17 or b?
-17
Suppose -737 - 22 = -23*u. Which is greater: 34 or u?
34
Let w be (-2)/(-9) - 8/(-450)*-35. Which is bigger: w or 36?
36
Let g be 3/(-470)*(-8)/(-6). Let t(y) = 3*y**2 - 41*y + 25. Let h be t(13). Which is bigger: g or h?
g
Let i be -3*(7/3 + -4). Suppose s - n - 3 = -s, -i*s = 3*n - 24. Suppose -15 - s = -3*u. Which is bigger: u or 8?
8
Let k = 20 - 12. Let v be (0 + 0)/(k/8). Let t be -1 + v + 10/4. Which is bigger: t or 1?
t
Let a = 394351/7052 - 20/5289. Let g = 56 - a. Is -1 <= g?
True
Let z be (-46)/(-10) - 3/5. Suppose -11 = -4*s - 4*r + 13, -4*s = -4*r - 16. Let g be ((-2)/z)/((-5)/s). Which is smaller: g or -1?
-1
Let o be ((-76)/(-570))/(6/(-25)). Let b(n) = n + 2. Let r be b(-4). Which is smaller: o or r?
r
Let c be (-52)/(-22)*(-60)/(-8)*1. Let v be (2/550)/((-4)/19588). Let f = c + v. Is -2/7 < f?
True
Let f(m) = -m**2 + 4. Let p be f(3). Let o = -3 - p. Which is smaller: o or 0?
0
Let x(z) be the first derivative of -3*z**2/2 + 5*z - 14. Let r be x(1). Is 2 < r?
False
Let b = -152.4 + 153. Is -1 greater than b?
False
Let n = -2.9 + 2.89. Let f(j) = j**2 + 9*j + 8. Let v be f(-6). Let h be 26/(-40) - v/40. Which is smaller: n or h?
h
Suppose -2*j + 5*a + 22 = 0, a = -3*j + 5*a + 33. Let z = j - 11. Let y = 231/80 + -51/16. Which is smaller: z or y?
y
Let h be -3*(1 - 2050/2010). Which is bigger: h or 1?
1
Let p be (-16)/48*(-3)/(-389). Which is greater: 1 or p?
1
Let p = 19.45 - 19.35. Is 299 smaller than p?
False
Let u be 4*((-25)/(-13) + -2). Suppose 0 = -233*z + 232*z. Is z < u?
False
Let b = -3424/11 + 324. Is b > 14?
False
Let s = -231 - -449/2. Is -1/2 less than s?
False
Let r be 21 + -1 - (5 - 3). Suppose -n = -5 + 3. Let s(m) = 5*m**2 - 3*m + 3. Let t be s(n). Which is bigger: t or r?
r
Let s(u) = 3*u - 7. Let b be s(2). Is b < -2/71?
True
Suppose 7*g - 3*g - 2*q - 90 = 0, 3*g + q = 55. Are -1/2 and g unequal?
True
Suppose 23*y - 20*y = 0. Let d(f) = -2*f + 14. Let v be d(y). Do 13 and v have different values?
True
Let p be 38/((-3 + 6 - 7) + 3). Which is smaller: p or -36?
p
Suppose 32*t + 33 = -t. Is t less than 2/73?
True
Let l = 1522/7 - 221. Let m = l - -27/7. Do 2 and m have different values?
True
Let z = -85 + 94. Let t = 8 - 3. Suppose -n - 48 = -t*b, -7 = 2*n - 1. Is b < z?
False
Suppose -s - 19 = 4*l - 90, -s + 4*l + 47 = 0. Which is smaller: 62 or s?
s
Let n(s) = s + 13. Let k be n(0). Let l = -8 + k. Suppose 21 = 4*q - l*w + 6, -9 = 3*w. Is q s