= -46 - -43.1. Let c = 0.9 + x. Is -5 greater than or equal to c?
False
Let i = -38 + 37. Is -17 <= i?
True
Let l = 0.18 + -0.08. Is l less than 7/5?
True
Let t = 18.8 - 19. Which is bigger: 7/5 or t?
7/5
Suppose -96 = -3*v - v. Let d = v + -143/6. Suppose 4 - 2 = -2*o. Are d and o non-equal?
True
Suppose 3*x + 8*r = 5*r + 282, -4*r = 2*x - 186. Are x and 95 equal?
True
Suppose -5*t = 3 + 2. Let i = 85 + -254/3. Is t bigger than i?
False
Let r(q) = -q. Let f(i) = i**3 + i. Let b be f(0). Let u be r(b). Let l = -3 - -4. Are u and l equal?
False
Let r = -0.1 + 0.1. Let m = 0 + -1. Is r smaller than m?
False
Let n(k) = -k**3 + 9*k**2 - 13*k + 11. Let d be n(8). Is -29 greater than or equal to d?
True
Let g = -12 + 8. Let y(n) = n**2 + 3*n - 4. Let i be y(g). Let m = -332/11 - -30. Which is smaller: i or m?
m
Let u be 3 - (14/10 + 2). Let j = 7 + -5. Which is smaller: j or u?
u
Suppose -4*a = -y - 48, -5*y = 2*a - 3*a + 12. Suppose -a = -5*h + 2*g, -3 = -2*h + g + 1. Suppose -t - 7 = -2*l - 2*l, 4*t = -h*l + 12. Is -1/6 less than t?
True
Let j be 2/1*(-2)/(-22). Suppose -5*n - 4*z = -21, -4*z + 13 = n - 4*n. Let d be -2*(-1)/(-2)*n. Which is smaller: d or j?
d
Suppose 4*x - 4*u + 8 = 0, -4*x - 10 = -x - 4*u. Is 2 equal to x?
True
Let f be (-22)/(-18) + (-2)/2. Let l be ((-23)/460)/(6/(-16)). Which is bigger: l or f?
f
Let o(j) = -j**3 + 22*j**2 + 4*j - 12. Let a be o(22). Which is greater: a or 77?
77
Let h(g) = 14*g**3 + 2*g**2 + 2*g + 2. Let k be h(-2). Let r be -266*(-2)/20*-4. Let c = k - r. Which is smaller: c or 0?
0
Let t(a) = 2*a + 1. Let f(j) = 3*j + 1. Let m(v) = 3*f(v) - 4*t(v). Let n be m(1). Is 0.5 < n?
False
Let b = -136/7 - -722/35. Let f(o) = -o**3 + 4*o**2. Let t be f(4). Is b at least t?
True
Let g(h) = h**2 - h + 3. Let q be g(0). Suppose 0 = -5*f - 2*k - 41, -f - 3 = q*k + 13. Let u(m) = -m**2 - 7*m - 1. Let o be u(f). Are o and 1 equal?
False
Let i be (1 - 4 - -4) + 25. Let q be i/3 + 28/(-7). Are q and 6 unequal?
True
Let u be (-2)/(-3) + (-875)/870. Let c = u + -24/29. Is -0.1 <= c?
False
Let w(t) = -t + 18. Let i be w(9). Do i and 9 have different values?
False
Let j(t) be the first derivative of t**2/2 + 2*t + 2. Let b be j(-2). Let g be 0/3 + 1/3. Which is smaller: b or g?
b
Let n = -2286 + 272032/119. Which is bigger: n or 1?
1
Suppose -23 = 4*a + 9. Let u = a - -8. Which is greater: u or -1?
u
Let m = -15 - -11.1. Let v = 4 + m. Let t = v + -0.6. Is 1/3 at least as big as t?
True
Let p = 0.14 - -0.06. Let n = -0.2 + p. Is 1/2 greater than or equal to n?
True
Let n be (-2)/11 - (-684)/4488. Which is bigger: -1 or n?
n
Let x be 4/(-12) - 2/(-6). Do 1 and x have different values?
True
Suppose 4*k + 36 = 7*k. Which is smaller: 11 or k?
11
Let a = -1038/5 - -207. Which is smaller: a or 2/3?
a
Let c be 69/55 + 8/(-10). Which is greater: c or 1?
1
Let n(c) = c**2 - 3*c - 1. Let l be n(0). Is 4/11 at least l?
True
Let c(r) = r**2 - 3*r - 3. Let y be c(4). Is -4/3 at most as big as y?
True
Let m = 93 - 124. Which is smaller: -30 or m?
m
Suppose 0 = -4*s - 4 + 24. Let t be 1 - (1 - -1)*-2. Suppose 2*b = b - 1, -2*g = 3*b - t. Which is smaller: s or g?
g
Suppose 5*m = 14 + 21. Which is smaller: -1 or m?
-1
Let h be (3 - 3)*(-2)/4. Which is greater: -3/13 or h?
h
Let d be (-78)/14 - (-3 - -3). Let u be (-132)/7*3/(-8). Let w = u + d. Is 3 greater than w?
True
Let a = -0.05 - 1.95. Let g = a - -1.8. Let z be -6*6/(-9) - (3 + -1). Is z bigger than g?
True
Let p be 2*43/(-65) + 2. Let g = -14/13 + p. Which is bigger: 0 or g?
0
Suppose 0 = -3*p - 4 - 14. Is -6 >= p?
True
Suppose -2*n + 2*b = 14, -b + 0 - 2 = 2*n. Which is greater: 0 or n?
0
Let g be 2/(-2)*(3 + -5). Which is smaller: -4 or g?
-4
Let q be ((-3)/9)/(86/54 + -2). Which is smaller: 0 or q?
0
Let w = -8 - -5. Let i = w - -2. Is -3 > i?
False
Let k be (-6*4/(-16))/(6 - 0). Let c be (-44)/48 - (-4)/6. Which is bigger: k or c?
k
Let p be (-2)/(-5) - 2592/(-45). Does p = 58?
True
Let u = -13 - -7. Let r = 10 + u. Suppose -3 = -b - r. Which is greater: b or -3?
b
Let d(w) be the first derivative of -w**4/4 + 3*w**3 + 4*w**2 + 8*w - 1. Let p be d(10). Let l be (-1)/(-2*(-3)/p). Which is bigger: l or -1/4?
l
Suppose -4*c - h + 14 = 0, -c + 0*h = 2*h. Let t = 4 - c. Suppose 5*n + 2 - 7 = t. Is 3/5 less than n?
True
Let q = -2 - -2.2. Let i = -1.92 - 0.08. Is i greater than q?
False
Let b = -3202/3 + 1094. Is b > 27?
False
Let z(t) = 2*t + 17. Let v be z(-8). Do v and 6/11 have different values?
True
Let k = -128.9 + 114. Let v = k - -15. Is -13 <= v?
True
Let j be (3/(-6))/(10/(-8)). Let c = -1.248 - -0.248. Which is bigger: c or j?
j
Suppose 3*w - 130 = -2*z, -5*w - z - 32 = -251. Is 43 > w?
False
Let d = -2/51 - -61/255. Let b(g) = -g + 10. Let n be b(10). Let c = -1 + n. Are c and d non-equal?
True
Let f = 5 - 8. Let x = 3 + -2.8. Which is greater: f or x?
x
Let f(o) = 4*o**2 + o + 1. Let t be f(-1). Suppose z + t*j + 10 = -z, -5*j = -2*z + 8. Let m(y) = y**2 + 3*y - 1. Let a be m(0). Does a = z?
True
Let m = 27 - 22. Is m less than or equal to 6?
True
Let p be 122/12 + 5/(-30). Which is greater: p or 1?
p
Suppose 2*w - 10 = 2. Is 8 less than w?
False
Let f = 201/2 - 103. Which is smaller: -2 or f?
f
Let g = 5 + 8. Let a = 17 - 17.1. Is a at most g?
True
Let z = -489/4 - -122. Is z > -103?
True
Let p = 1181/18 + -347/6. Which is smaller: p or 9?
p
Let s(t) = 5*t. Let a be s(4). Is a less than 0.4?
False
Let x = -44 + 42. Is -4 smaller than x?
True
Let x = -1.978 - -0.088. Let i = -0.11 + x. Is i smaller than -0.1?
True
Let w = -19 - -97/5. Let s = 236 + -4010/17. Which is bigger: w or s?
w
Let h(f) = f**3 + f + 2. Let u be h(0). Let m be (-5)/u*(-16)/(-260). Let k = -1 + 0. Are k and m equal?
False
Let h be (-1465)/(-485) - (1 - -2). Is 1 at most as big as h?
False
Suppose 6*r - 16 = 4*r. Let z be ((-28)/16)/(2/r). Let h be (-6 - z)*(-1 + 0). Which is smaller: -2 or h?
-2
Suppose 2*s - 23 = 15. Suppose -g - s + 6 = 0. Which is smaller: -14 or g?
-14
Let q = 7 - 14. Let v = q - -1. Is v <= -6?
True
Let t(v) = -v - 1. Let q be t(0). Is q at least -2?
True
Suppose 0*o = -3*o. Suppose -2*i + o = 2. Let m be (-2 - -2)/(1 + 1). Which is smaller: m or i?
i
Let i be (2/(-9))/((-6)/(-9)). Let p(q) = -q - 4. Let g be p(-6). Suppose -l + g*l - 1 = 0. Which is smaller: i or l?
i
Let v = 267/2 - 10397/78. Which is bigger: -1 or v?
v
Let b = -0.2 - -0.1. Let s = 0.47 - 2.47. Which is smaller: b or s?
s
Let h = 3 + -4. Let l = -10177/25 - -407. Is l > h?
True
Let b = -79 - -53. Which is bigger: b or -25?
-25
Suppose 3 = -2*x - 5. Which is smaller: 12 or x?
x
Let c = -657 + 29566/45. Which is smaller: -1 or c?
-1
Let f = -79 + 78. Is 1/24 < f?
False
Let o = 2 - 4. Let z = 1.7 + o. Is z smaller than 2?
True
Let k = -7 + 10. Let x be 2/(-36)*3*k. Are 8 and x unequal?
True
Let s = -1.1 - -1.8. Let x = s + -0.7. Is -0.3 at least as big as x?
False
Let p be (3*(-2)/(-34) - 0)*3. Is p greater than or equal to 2?
False
Let h = 60 - 60. Is -0.53 > h?
False
Suppose -2*j = 2 - 2. Is -1/98 < j?
True
Suppose 6 = f + 2*i, 3*f = f + i + 7. Suppose 5*x - 10 = 2*l, l + l + 10 = f*x. Which is greater: x or 6/5?
6/5
Let u = -6 + 0. Let p be u/(-165)*5/(-4). Which is greater: 1 or p?
1
Let w = 62 + -28. Which is greater: w or 1/2?
w
Suppose -2 = -v - 8. Let j be (-2)/(-4) + v/(-12). Is j smaller than 1/20?
False
Suppose -p = -4*t + 16, 4*t + 8 = -4*p - p. Suppose 8 = -t*i - 10. Are -5 and i equal?
False
Let t(a) = a - 1. Let b be t(-1). Suppose 4*h + 3 + 1 = 0, -2*h + 2 = -2*s. Is b less than or equal to s?
True
Let g be 6/(-3) + (-36)/(-15). Let l = 2 + -1.95. Is l equal to g?
False
Suppose -6*k = -7*k - 50. Let o be (-20)/k*10/(-18). Is o equal to 0.02?
False
Suppose d - 3*d = 0. Suppose -2*u = -0*u. Suppose 4*a + 2*l - 4*l = u, l = -5*a. Is a smaller than d?
False
Let h = -88853/7 + 12718. Let d = h - 25. Which is smaller: d or -2?
-2
Let j = 1 + -1. Suppose 5*k = 3*n - 7, 12 = -j*n - 4*n - 4*k. Suppose -4*g = -g. Which is greater: g or n?
g
Suppose u = -z - z - 5, -3*z - 2*u - 10 = 0. Let m be (1 + 0)*(-1)/2. Which is smaller: m or z?
m
Let x(w) = -6*w. Let h(f) = 5*f. Let s(b) = 7*h(b) + 6*x(b). Let g be s(0). Let u(y) = -y**2 + y + 1. Let q be u(-1). Which is smaller: q or g?
q
Let p be (7/(-140))/((-2