8.98. Let x = s - -0.15. Let v = -0.13 + x. Which is greater: -1 or v?
v
Let t be (-1852)/(-36)*5 - 2/9. Is t at most as big as 256?
False
Suppose 0 = 4*y - m - 210, 2*m = y + 10 - 66. Suppose 15*g = 19*g + y. Is -1 > g?
True
Let v = 437.7 + -427. Which is smaller: v or 2?
2
Let s = 38 - 36. Let v be (1 - s)/1 + -50. Is 2/7 greater than or equal to v?
True
Suppose -4*d = -2*i, 5*i - 3*d - 12 = d. Let m be -1 + 2/i - 48/(-32). Let g be 28/(-60) - 4/(-10). Are m and g non-equal?
True
Let h = 23/95 - -3/19. Let y be 1/2*8/(-20). Which is bigger: y or h?
h
Let s = 3.063 - 0.063. Are -12 and s nonequal?
True
Suppose 3*o = l - 7, 0 = 3*o + 35*l - 38*l + 15. Is 2/513 at least as big as o?
True
Suppose -79 = 5*m + 51. Do m and -2 have the same value?
False
Suppose u + u = -30. Let a be 1 + 5/u*-6. Suppose -4*k = -2*v, 3*k - a*v = 3 + 3. Is -1 at least as big as k?
True
Suppose 4*y + i - 6 = -25, -5*y - 2*i - 20 = 0. Let l be ((-27)/y - -1)*-2. Which is greater: -10 or l?
-10
Let d = 758 + -80349/106. Are 1 and d non-equal?
True
Let u = 1401 + -1340. Are u and 65 non-equal?
True
Let r = -5748 - -74684/13. Is -4 smaller than r?
True
Let g = -53522 + 3907166/73. Is g < 2?
True
Let x = -2143 - -14991/7. Let c = -3 + 2. Which is smaller: x or c?
x
Suppose -4*y - 221 = -5*j, -4*y + 0*y = 3*j - 139. Suppose -13 = x - 0*x + m, 3*x + m = -j. Which is smaller: -2 or x?
x
Let q(h) = -12*h + 45. Let i be q(7). Do -39 and i have different values?
False
Suppose -476 - 249 = 5*i. Let f be (-4)/12 + i/15. Which is smaller: -8 or f?
f
Let o = 1 - 0.7. Let q = o - 0.2. Let d = 0.2 + 0. Which is smaller: q or d?
q
Let s = 539.73 - 529. Let w = -11 + s. Let i = -1.57 - w. Which is bigger: -1/4 or i?
-1/4
Suppose 8 = 17*x - 25*x. Which is greater: x or -1/26?
-1/26
Suppose -c = -5*h - 6, -3*c + 2 = -0*c + h. Let y be 3858/70 - (-2)/7. Let z = 55 - y. Which is smaller: c or z?
z
Suppose 8*f + 180 = 2*f. Suppose -5*a + 15 = -45. Let h be (-12)/f - a/5. Is h smaller than -4/3?
True
Suppose 2*r + 162 = -3*n, -2*r + 40 = -n + 2*r. Let j(i) = 46*i + 406. Let h be j(-10). Which is smaller: n or h?
h
Let y = -0.0438 - 5.9562. Is -8 not equal to y?
True
Suppose 22*w = -645 - 147. Is w < -43?
False
Suppose -10*k + 3*k + 28 = 0. Let f be 74/70 + -5 + k. Is f >= 1/2?
False
Suppose -2*p + 1 - 9 = 0. Which is smaller: -2 or p?
p
Let d(p) = 2*p**2 - 53*p + 17. Let b be d(26). Let f(w) = w**3 + 5*w**2 - 3*w + 1. Let j be f(-6). Let q = j + 9. Which is bigger: b or q?
q
Suppose -10*d = -358 + 218. Let c = -30 + 43. Is c not equal to d?
True
Let c be 39380/4375 + -3 - 6. Which is bigger: c or -1?
c
Let c be (40/50)/(2/(-15)). Let l = c + 34. Which is bigger: l or -1?
l
Suppose -f - 5*n + 3 = 0, 6*f - f + 2*n - 15 = 0. Suppose -f*v - 36 = -3*k - 0*v, 3*k - 48 = -v. Is 1 smaller than k?
True
Let h be (12/80 - 0)/(468/(-10)). Is 0 > h?
True
Suppose -f = 7 - 8. Let b be (f/(-10))/((-30)/50). Which is smaller: b or -1.3?
-1.3
Let y = -880 - -851. Is y >= -21?
False
Suppose 8*j = 1014 + 1058. Are j and 258 nonequal?
True
Let y = 6 + -4. Let p be (y + 12)*8/(-16). Is 1 > p?
True
Suppose -4*l - w - 16 - 204 = 0, 0 = 2*l - 4*w + 92. Let d be l/126 - 34/(-63). Suppose -5*a + 3 = 2*b, 2*a = a + 5*b - 21. Is a != d?
True
Let b(x) = x**2 + 32*x + 56. Let t be b(-30). Which is greater: -19 or t?
t
Suppose 0 = 17*a - 19*a - 8. Let h be (-2 - -7)*3/3. Suppose h*x + 0 + 10 = 0. Are x and a non-equal?
True
Let u = -581/198 - -26/9. Suppose 6*r + 78 = 12. Let t = -12 - r. Is u at most as big as t?
False
Let p = -19 + 4. Let k = 0.003 + -21.003. Let d = p - k. Is 1/3 equal to d?
False
Let k be (5/(-3))/(803/(-438)). Which is greater: k or 2?
2
Suppose -7*d = -1 + 1. Let l be (d + 2)/(4 - 1). Which is smaller: l or 1?
l
Let a(x) = -x**2 + 15*x - 1. Let b(i) = -i**3 - i**2 - 3. Let o be b(-3). Let g be a(o). Let s be g/((-1)/3*3). Is -1/51 at most as big as s?
True
Let j = 301.087 - 301. Which is greater: j or 2?
2
Let d be 44/1870*10/(-16). Let m be 20/(-16)*-4 + -6. Is m greater than or equal to d?
False
Let v = 0.9 + -1.8. Let f = -1 - v. Let s = 185 + -184. Which is greater: f or s?
s
Let i = -1.507 - 0.153. Let l = i - 0.74. Is 2/7 equal to l?
False
Suppose -2*p - 25 = -7*p. Let g(z) = -z**3 + 8*z**2 + 15*z + 13. Let k be g(8). Let m = 140 - k. Which is greater: m or p?
m
Let t = -64065/32 - -2001. Which is greater: 0 or t?
0
Let i = 459 + -417. Are 48 and i nonequal?
True
Let u = 14.8 - 0.8. Let g = u - 20. Is 2/7 < g?
False
Suppose 20 = -5*t - o - 2*o, -12 = 3*t + 3*o. Let s be (-12)/(-33)*t + 2. Suppose 3*z - 12 = -3*z. Is z < s?
False
Let k(h) be the third derivative of 0*h - 1/6*h**4 + 0 - 1/120*h**6 + 1/2*h**3 + 1/20*h**5 - 4*h**2. Let g be k(2). Is 0 at most g?
False
Let a = 187 + -187.1. Is a less than -13?
False
Let z = 3335/3 + -1105. Let j = 0.7 + -0.6. Which is bigger: j or z?
z
Let c(b) = -b**2 + 10*b + 76. Let i be c(-5). Which is bigger: 2/1127 or i?
i
Let l(w) = -1 - 28*w - 2*w**2 + 28*w. Let p be l(1). Which is smaller: -16/7 or p?
p
Let n(w) = w**2 - 5*w - 6. Let y be n(-4). Let j = y + -30. Which is bigger: -2/27 or j?
j
Let k = 369/9517 + -2/307. Which is smaller: k or -2?
-2
Let j be ((-2)/(-76))/(-9 - -10). Let r be 15/(-20) + (-57)/(-12). Let g be 0/(r/8*4). Which is bigger: g or j?
j
Suppose 1754*c - 28 = 1747*c. Which is bigger: -16 or c?
c
Let m(c) = -30*c + 164. Let u be m(8). Which is bigger: u or -74?
-74
Let g be (4 + (-172)/40)*(-5)/14. Let h be ((-9)/4)/((-7)/2). Let u = g + h. Which is smaller: u or 0?
0
Let b = 626/45 - 5704/405. Which is smaller: b or 1?
b
Let w = -425 - -298. Which is bigger: w or -128?
w
Let u = -0.6 - 3.1. Let v = u + -10.3. Are 0.1 and v equal?
False
Let l be 1*39 - (-2)/(-2). Suppose 58 = 5*p - 6*p - 4*g, -2*g - 50 = p. Let f = p + l. Do 0 and f have the same value?
False
Let g = 66 + -65. Are -4/17 and g non-equal?
True
Let z = 0.0477 - -345.9523. Is z < -2/3?
False
Let x be (-29)/(-13) + -53 + 49. Which is smaller: x or -2?
-2
Let h = -518 + 517. Which is bigger: h or 16/5?
16/5
Let z be 1/2*(6 + 0). Let a be (-2)/z + 46/6. Let n be 12/2 - 8/(-16)*2. Is n <= a?
True
Suppose -2*h + 12 = -8. Let x = h - 8. Suppose x*q - 2 = 2. Is q bigger than 9/5?
True
Let n be (-2)/10 - (-24)/70. Let h = -12/49 - 2/49. Which is smaller: h or n?
h
Let i = -1.27 - -2.07. Let u = -1 + i. Is 10 <= u?
False
Let j = -128 - -128.68. Let f = -0.32 - j. Which is smaller: -21 or f?
-21
Let i = 9.2 + -16. Let h = 0.2 - i. Let s = h + -7. Which is smaller: s or -9?
-9
Suppose 15 = 3*p + 3*a, 5*p - 3*a - 25 = -0*p. Is 6/5 at least p?
False
Let z = -9/46 - -389/1518. Suppose 15 = 3*q, -2*k - q + 15 = 3*k. Suppose 5 = -4*w - 11, k*w = 2*f - 6. Which is smaller: z or f?
f
Suppose 0 = 5*t - 3*a + 28 - 75, 44 = 4*t + 4*a. Suppose -8*q + 3*q = -t. Which is bigger: q or 3?
3
Let u be 4/30 - 7313/(-1065). Which is bigger: u or -1/20?
u
Let o = 307 - 435. Is -128 < o?
False
Let f = 5 + -5. Suppose f = -3*k + 8*k - 15. Suppose -3*n = -d + 13, 2*d = -2*n + 2 - 0. Which is greater: k or d?
d
Let z(t) = -t**3 + t**2 + t + 8. Let i be z(0). Let f be ((-12)/i - -2)*6. Let v be 5 + (0 - f) + 0. Which is smaller: v or 1?
1
Let f = -515.9 - -516. Is 924 at least f?
True
Let x = 150 - 47. Is 103 at least as big as x?
True
Let l be (44/55)/((-28)/15 + 2). Suppose l = -4*o + 2. Which is bigger: 4/9 or o?
4/9
Let p = -11 - -1. Let f = 5 + p. Let h(c) = c**2 + 7*c + 4. Let z be h(-5). Do z and f have the same value?
False
Let c(u) = u + 5. Let s be c(0). Suppose 11*x = 14*x - 12. Suppose -x*i + 12 = -4. Which is smaller: s or i?
i
Let j(w) = 9*w**3 + 4*w - 3 - 2*w - 8*w**3 + 2*w**2 - 5*w. Let y be j(-2). Let n be 7/2 - 8/(-16). Do n and y have the same value?
False
Let g be (-54)/(-405) + (-554)/15. Is g > -38?
True
Suppose -2*a = a + 9. Suppose 6 = -2*d - 0. Is d > a?
False
Let y = -45 + 46. Let u be (y/2)/(12/48). Which is greater: u or 3?
3
Suppose 1 = -h + 5*v, -h - v = -0*v + 7. Let d be h/(-16)*(-4)/(-3). Which is bigger: -2/21 or d?
d
Let l = -14.7 + 15. Let r = -108 - -110.12. Let a = -0.12 + r. Which is bigger: a or l?
a
Suppose 3*j - h = 0, 3*j - 4*h - 11 = 2*j. Let o be -3*(20/12 - j). Let q = -9 - o. Which is smaller: -1/14 or q?
q
Let o be ((-6)/(-4))/(-3 - 11/(-4)). Do o and 16 hav