). Is -4 smaller than z?
True
Let a = -121/18 + 7. Is 0 greater than or equal to a?
False
Let b(j) = 7*j**2 - j - 2. Let u be b(-2). Let i be (u/(-10))/(18/(-45)). Is 7 != i?
False
Suppose -2*r + 22 = 2*o, 5*r - 10 = 4*o + 18. Is r greater than or equal to 11?
False
Let x = -17 + 16. Which is greater: x or 0?
0
Let j = -0.165 - 0.035. Which is smaller: 9 or j?
j
Suppose -3 = n - 2*n. Suppose n*f + v = -2*v + 57, 0 = 4*f + 3*v - 76. Which is greater: f or 18?
f
Let u = -6 - -4.8. Which is greater: 0 or u?
0
Let k be (6 - (-1 - -4))*(-2)/6. Is k equal to -1?
True
Let j = -4 + 4. Suppose 3*c = -j*c + 12. Suppose o - 14 = 4*a, -2*o - 19 = -c*o + 5*a. Which is smaller: 2/3 or o?
2/3
Let l be 15/10*12/(-21). Which is greater: l or 1?
1
Let y = 2935/8 - 365. Which is greater: 1 or y?
y
Let c = -18 + 18. Which is greater: c or 2/21?
2/21
Let a be (14/4)/((-2)/(-12)). Let h = -22696/1085 + -57/155. Let i = a + h. Which is smaller: 4 or i?
i
Let y = -0.185 - 0.015. Which is bigger: -6 or y?
y
Let r be (2*-1 - -1)*30/(-10). Which is smaller: r or 5?
r
Let t(b) = -b - 11. Let x be 5*(1 + -1 - 2). Let n be t(x). Let y(c) = c + 6. Let d be y(-5). Does d = n?
False
Let r be (2/(-6))/(10/12). Let z = 0.2 + 7.8. Let d = 10 - z. Is d at least as big as r?
True
Suppose -3 = 6*z - 15. Suppose -6 = 2*r + 5*w, -4*r = -w - 3*w - 16. Is r equal to z?
True
Let h = 19 + 0. Is 18 >= h?
False
Let c be 1/2*(-18)/9. Let a be (-1 - 0)*(c - 4). Let m = 5 - a. Is 1/3 != m?
True
Let s = -0.29 - 0.01. Let v = 0.7 - s. Let q be 1*(-24)/21*7/(-28). Is v at least as big as q?
True
Let c = 1214 - 23060/19. Which is smaller: c or -2/3?
-2/3
Let x = -9 - -12. Which is bigger: -1 or x?
x
Let r be -128 - (-4 + 4 - -3). Is r bigger than -1?
False
Let v = -0.19 - -0.1. Let i = 0.3 + v. Let k = 0.01 - i. Which is smaller: -2 or k?
-2
Suppose 5*a = -s - 43 - 3, 3*a = -12. Which is smaller: 0.1 or s?
s
Let f(n) = -5*n**2 - 2*n + 4. Let d be f(-3). Let o = -8 - -34. Let k be 15/d + o/(-70). Which is bigger: k or 0?
0
Let v be 2/7 + (-57)/(-21). Let c be (1/2)/((-1)/(-6)). Let m be ((-3)/2)/(c/(-4)). Is v smaller than m?
False
Suppose -p - 2*p + 7 = -5*u, 4*u + 3*p + 11 = 0. Let o be 1/((-7 + -3)/u). Which is bigger: 0 or o?
o
Let m = 5/3381 + -906133/16905. Let q = 54 + m. Let g(z) = z**2 - 2*z + 1. Let s be g(1). Which is bigger: q or s?
q
Suppose -2*x = 4*j + x - 6, -x = j - 1. Suppose -j = -2*r + 17. Suppose -r = -4*m + 2*m. Is 7/2 != m?
True
Let s be ((-12)/645)/((-2)/(-5)). Which is bigger: s or 0?
0
Suppose 5*p + 0*p + 2*i = 58, 3*i = -2*p + 21. Which is bigger: p or 47/4?
p
Let l = -277 + 2213/8. Let h(y) = -y**3 + 2*y**2 + 3*y + 1. Let j be h(3). Let c be j/2 + (-2)/4. Which is greater: c or l?
c
Let l = 64107 - 578278/9. Let t = -437/3 - l. Do t and 0 have the same value?
False
Suppose 2*u = -2*u - 4. Let l be u*(-2 - (-28)/13). Is l <= -1?
False
Let j = -12 + 17. Which is greater: j or 13/3?
j
Let t = -38 + 39. Are t and -1/12 unequal?
True
Let g = -197 - -91. Is g < -1?
True
Suppose -2*r + 0*r + 1 = 3*q, 0 = -q + 1. Suppose -4*n - 4 = -8*n. Which is smaller: n or r?
r
Let c = -1.07 - 0.13. Let q = c + 0.2. Which is greater: 1 or q?
1
Suppose 0 = -5*c + 30 - 95. Let w = c - -63/5. Which is smaller: 1 or w?
w
Let x = -86 - -80.9. Let b = x - -5. Which is greater: 4/3 or b?
4/3
Let y be -4*((-14)/(-8) - 0). Is y equal to -19/3?
False
Let f be 0*(-4 + 18/4). Let t be (-3 - -1 - -1)*0. Is t > f?
False
Let x(a) = a - 5. Let v = -3 + 11. Let u be x(v). Suppose -15 = 2*t - u*r, 5*r + 7 = t + 25. Which is smaller: t or -1/4?
t
Let x = -4 - -4. Let q = -2 + x. Is q <= -2?
True
Let u = -1.3 - 3.8. Let c = 0.11 - -4.89. Let j = c + u. Is j greater than or equal to -0.3?
True
Let m = 0 + -1. Let u(k) = k**3 + 5*k**2 - 7*k - 4. Let x be u(-6). Suppose 6*o - 3*c - 12 = 2*o, x*c + 8 = -4*o. Is m less than or equal to o?
True
Let v = 36 + -20. Suppose 8*b - 12*b + v = 0. Which is smaller: 3 or b?
3
Let r be (-4)/(-3) + 2/3. Let c be 4/38*(r - 4). Let u = 35/76 + c. Is -2 not equal to u?
True
Let t(z) = -z**2 - z + 3. Let u be t(-4). Which is greater: 2 or u?
2
Suppose 0 = 4*g - 24 - 16. Is g bigger than -2/3?
True
Let f = 215/8 - 27. Let b = 0.6 + -0.6. Which is smaller: f or b?
f
Suppose 76 = 5*j + 2*a - a, 57 = 4*j - 3*a. Let l = -89 - -103. Which is smaller: j or l?
l
Let a = -10 + -14. Is a less than -22?
True
Let x = 1.47 - 0.07. Let w = x + 0.6. Is 5 != w?
True
Let u be 0 + -2 + (1 - 1). Let p(d) = -d - 2. Let a be p(u). Suppose 4*o - 9 = 5*y - 4, 4*o = a. Is y < -2/3?
True
Let p = 64/483 + 4/69. Which is greater: 1 or p?
1
Suppose -5*m = -z - 43, 0*z + 28 = 4*m - 4*z. Do m and 8 have the same value?
False
Let c = 163/106 + -2/53. Suppose 3*j + 11 = -3*n - n, -5*n = j. Which is greater: n or c?
c
Suppose -5*f + 4 + 81 = 0. Does 14 = f?
False
Suppose 0 = 2*o - 3*o - 6. Let y(w) = 3*w + 16. Let q be y(o). Is -2 < q?
False
Suppose -2 = i - 11. Suppose 3*u - 42 = -i. Which is smaller: u or 10?
10
Let m = 597/1057 - -1/151. Let o = m - 17/42. Which is smaller: o or 0.1?
0.1
Let z = 5.4 + -5.3. Is -9 smaller than z?
True
Let l(c) = c**2 + 21*c - 33. Let n be l(-23). Is n < 11?
False
Let b = -1 + -12. Is b at most -13?
True
Let r = 12 + -14. Which is greater: 0 or r?
0
Let l = -60/13 + 154/39. Is 0 >= l?
True
Let o = 12 + -5. Let i be 2/o - 64/322. Which is smaller: i or -1?
-1
Let m = 16 + -71/5. Which is bigger: 1 or m?
m
Let h be (3/(-2))/(2/8). Let d be 3/h - (-46)/4. Let p be (3/((-3)/2))/d. Is p greater than -1?
True
Suppose 8*j + 8 = -496. Is -63 at most j?
True
Suppose -2 - 8 = d - 5*z, -4*d = z - 2. Which is greater: 2/13 or d?
2/13
Let h be ((-3)/(-6))/((-1)/56). Let s be -2*(-7)/(h/3). Which is smaller: s or -1?
s
Suppose -v + 17 = -5*y + 61, -5*y = 20. Which is bigger: -65 or v?
v
Suppose d - 4*z + 19 = 2*d, -4*d - 19 = -3*z. Let k = d + 8. Do k and 7 have the same value?
True
Let k be (-2)/4*(5 + -3). Which is smaller: k or 3/11?
k
Let u = -3391 + 23637/7. Let l(o) = -2*o**2 + 6*o + 6. Let q be l(5). Let g = u - q. Is 3 equal to g?
False
Let v = 2.2 + -1.3. Let u = 1 - v. Which is smaller: u or 2?
u
Let u = 0.4 + -0.4. Let q = u - 0. Let w = 0.1 - q. Is 3 less than w?
False
Suppose 2*z + 18 = -z. Let q be z/(-27) + (-1 - -1). Let h = -563/5 - -113. Which is greater: h or q?
h
Let z = 4 - 4. Let b = 0.2 + z. Let k = b + -0.2. Does k = 2/3?
False
Let g be 2/(-18)*(3 - 0). Which is smaller: -6 or g?
-6
Let n(i) = -3*i + 5. Let o be n(3). Is -4 greater than or equal to o?
True
Let b(l) = -4*l + 9. Let k be b(-5). Is 30 at least k?
True
Let g(t) = t**3 + 6*t**2 - 9*t - 7. Let i be g(-7). Let d = -4 + i. Let n = 2 - d. Which is bigger: 2/11 or n?
2/11
Let w = 1 + 5. Which is smaller: w or 1/2?
1/2
Let p(k) = -k**2 + 2. Let m be p(-2). Let s be -3 - -2 - 1158/(-2475). Let i = s + -1/75. Does m = i?
False
Let v(j) = -8*j - 9. Let y be v(-5). Does 31 = y?
True
Let g(o) = o**2 - 2*o + 2. Let q be g(3). Suppose -50 = -5*l - 0*r + r, q*r + 25 = 0. Which is smaller: 10 or l?
l
Let w = 1 + -2. Let v = 20653/6 + -3458. Let a = v + 16. Is a <= w?
False
Let g be (-1)/(-2) - 77/22. Is -14/5 less than or equal to g?
False
Let q be 0 + -2 - (-100)/(-4). Which is smaller: -26 or q?
q
Let r be (-1)/2*(0 + -8) + -7. Is r bigger than -5/3?
False
Suppose 3*k + 4*k = -14. Which is greater: 40 or k?
40
Suppose -5 = 35*o - 40. Suppose 0 = 4*c + 5*q - 8, 2*c + 1 = -q + 5. Which is bigger: c or o?
c
Let v = -9 + 18. Which is smaller: v or 10?
v
Let t be -2 + 1/((-12)/(-26)). Is t > -2/21?
True
Let s = -0.0192 + 1.0192. Let b be 2/4 - (-3)/2. Is b greater than s?
True
Let s = 0.01 + 1.99. Let v = s + -1. Let l = -0.9 + v. Which is smaller: 0 or l?
0
Suppose 0 = -4*v - 12 - 0. Let m be v/((-9)/(-6)) + 2. Which is smaller: 4/9 or m?
m
Let m be ((-1)/1 - -10)*-1. Is -2/5 at most as big as m?
False
Let p = -2507/20 + -52/5. Let l = p - -135. Which is smaller: -2 or l?
-2
Suppose 4*u - 17 = 5*j, 0 = -4*u - 3*j + 4*j + 13. Let o be (-5 + 1)*(-2 + u). Let g(h) = h**3 - 4*h**2 - 7*h + 7. Let t be g(5). Is o at most as big as t?
True
Let v = -10 + 19. Let r = v + -9.1. Let c be (-1 - (-5)/3) + 0. Is c smaller than r?
False
Suppose 3*n = 7 - 1. Is n at least -3?
True
Let c = 0 - 0. Let l = 265 + -1849/7. Which is greater