 i = 0.53 + -0.73. Let a = -0.03 - 0.37. Let b = a - -0.3. Is b > i?
True
Let z = -0.041 - -0.041. Let p = 35 - 38.08. Let b = p - -0.08. Is z at least b?
True
Let n be (-6)/(-20)*(-32)/24. Which is bigger: n or 1.14?
1.14
Suppose -6*z + 3*z - 3 = 0. Let m(l) = -l + 5. Let w be m(8). Let c be 1/w - (-8)/12. Is z < c?
True
Let y(o) = o**2 - 6*o - 4. Let d be y(6). Suppose -4*z - 5 = -17. Let a = z + -4. Is a at least as big as d?
True
Let s(a) = -a + 4. Let v be s(5). Let n be (-54)/(-8) + (-1)/(-4). Suppose -4*g - 1 = n. Which is smaller: v or g?
g
Let f(a) = -a**2 + 8*a - 32. Let p be f(0). Is p smaller than -32?
False
Let i be 1/(2/40) + -2. Suppose -n = 2*l - 6*n + i, -11 = -3*l - 2*n. Let g be 0 + 0 + 1 + 1. Is l less than g?
True
Let t = 12 - 15. Let h be (8 - 7) + t/7. Which is smaller: 2 or h?
h
Let y(r) = 15*r - 43. Let k(q) = -7*q + 21. Let t(i) = 13*k(i) + 6*y(i). Let u be t(12). Let w be 2/(-3)*u/(-2). Which is smaller: 1/6 or w?
1/6
Let s(f) = 2*f - 10. Let u(o) = 3*o - 20. Let d(w) = -5*s(w) + 3*u(w). Let b be d(-13). Which is greater: b or 1?
b
Let z = 4 - 7. Let l(d) = 3*d - 16. Let s be l(8). Suppose 0*b + 4*b = -s. Is z bigger than b?
False
Suppose 5*n = 5, a + 4*n = -4*a - 1. Let b be (-1 - 1) + 3 + (2 - 4). Is a at least b?
True
Suppose -3*y + 11 = -2*q, 0 = y - 5*q - 0*q - 21. Is 1 at most y?
True
Let h = 10 - 7. Suppose 5*o - 3 = h*z - 4*z, 3*o - 7 = 2*z. Let f = 24 + -145/6. Is f equal to o?
False
Let h be (14/3)/((-4)/6). Let c = 15 + h. Let w = c + -7. Is w equal to 2?
False
Suppose -y - x = 9, -2*y - x = -6 + 21. Let i be y/5*(-10)/3. Are 4 and i unequal?
False
Suppose -4*y = -3*g + 5, 6*g + 4*y + 10 = 4*g. Let l = -12 + 18. Is l bigger than g?
True
Suppose -3*s + 0 = -3. Is s > 3/5?
True
Suppose 0 = -4*d + 2*o - 26, 4 = 4*d - 5*d - 2*o. Let y be (0/(0 - 1))/1. Is d at most y?
True
Let o = 10 - 9.99. Let n = o - 0.01. Which is smaller: -3/7 or n?
-3/7
Let b = 6 - 3. Suppose -b*m + 5 - 14 = 0. Is m bigger than -3?
False
Let o(s) = -2*s + 15. Let q be o(7). Let t = 0.1 - 0. Which is greater: q or t?
q
Let l be (6/16 + 0)/(6/4). Is 1/5 >= l?
False
Let i be 60/40*(-4)/(-6). Is 6/7 bigger than i?
False
Suppose -4*n + 1 - 9 = 0, -18 = 4*y + 5*n. Is -3/2 at most y?
False
Suppose 5*i - 733 - 117 = 0. Let y = -505/3 + i. Let h(c) = -c**2 - 6*c - 2. Let a be h(-5). Which is smaller: y or a?
y
Let m be 19/(-8) - (-1 - 1). Which is smaller: m or -1?
-1
Suppose 3*i = 5*q - i + 12, q + 3 = i. Suppose -8 = 5*p - 4*c - 0, 3*p - 2*c + 4 = 0. Do p and q have the same value?
True
Let l be 482/24 - 1/(-4). Let w = 21 - l. Let j = -0.4 - -0.4. Is j at least w?
False
Let s = -95 + -56. Let y = s + 1054/7. Which is bigger: 0 or y?
0
Let h be (-1 + 23)*3/42. Is 3 at least as big as h?
True
Let w = -37 - -51. Which is greater: w or 17?
17
Let x = -0.04 - -2.04. Let a be -3 + -7 + (-248)/(-24). Which is bigger: x or a?
x
Let b = -3/5 - -29/40. Is -2/9 greater than b?
False
Let k = 4 - 4. Suppose 2*j + k*x - 5*x + 25 = 0, -2*j + 4*x = 20. Is -2 greater than j?
False
Suppose 0*c - c + 8 = 0. Suppose -20 = 4*s - c. Are -4 and s equal?
False
Suppose -27 = -0*j - 3*j. Let z be (-6)/4*12/j. Suppose -2*w - 3 = -1. Which is smaller: w or z?
z
Let n be -3 - 8*(-3 + 2). Which is smaller: n or 4?
4
Let r(u) = 17*u**3 + 3*u**2 - 2. Let f be r(-1). Is f at least as big as -14?
False
Let s = -31 - -29. Which is bigger: s or -0.04?
-0.04
Suppose -m - 13 = -0*y - 2*y, m - 4*y + 23 = 0. Is m > -3/2?
False
Let m = 30 - 19. Let n be (-2)/(-3) + m/(-12). Let t be (4/12)/((-1)/3). Is n >= t?
True
Let j = -7 + 7.03. Let m = j - 0.03. Let z = m + 0.1. Which is smaller: z or -2/7?
-2/7
Let p(f) = -3*f**2 + 26*f + 13. Let v(l) = -2*l**2 + 17*l + 9. Let w(z) = 5*p(z) - 8*v(z). Let y be w(7). Let u = -1 - y. Does -1 = u?
True
Let o be (30/(-465))/((-2)/(-26441)). Let k = o + 853. Which is smaller: k or -1?
-1
Let d = 0.08 - -0.22. Let w = -0.2 - -0.1. Let s = d + w. Is 2 at least s?
True
Let y = -118/87 - -1343/812. Let j = y - -1/28. Which is smaller: j or 0?
0
Suppose 16 - 1 = -5*v. Which is smaller: -1 or v?
v
Let h be (20/(-8))/(14/12) + -1. Which is bigger: -4 or h?
h
Suppose -8 = 2*x - 3*g, 1 + 3 = 2*x + 3*g. Let u be (-1 + x)/((-1)/2). Let w be 74/14 - 2/7. Which is bigger: u or w?
w
Let h = 0.7 + -0.7. Let u = h - -3. Let f = 0 - u. Which is smaller: 2 or f?
f
Suppose 0 - 50 = -5*t. Suppose -d + t = d, -w = -2*d + 14. Is -4 > w?
False
Let m = 1.9 - 0.5. Is m smaller than 2/3?
False
Suppose -7*z + 6*z = 0. Which is smaller: z or -5/14?
-5/14
Let n = -3.07 - -0.07. Let x be (45/(-12) - -4)*2. Which is smaller: x or n?
n
Suppose 3*j + 0 = -3. Let t = -1 + j. Which is smaller: -6/11 or t?
t
Let h = -5 - -1. Let u = h + 2. Which is bigger: -1 or u?
-1
Suppose 5*p + w = -17, -3*p - 4*w - 20 + 3 = 0. Suppose 4*d - 5*g + 1 = -10, d + 1 = 3*g. Which is greater: d or p?
p
Let p be ((-1 - -1)/(-3))/(-2). Suppose 2*b = -p*b + 2. Which is smaller: 2/39 or b?
2/39
Let m be (6 - 5) + 19/(2 + -3). Which is smaller: -1 or m?
m
Let q be (-2)/(-10) + 5/(-25). Let a = 1 + q. Which is bigger: a or 4/5?
a
Let o = 45.96 - 45. Let v = o + 0.04. Which is bigger: v or 3/4?
v
Let a = -6 + 8. Suppose a*x + 2 - 10 = 0. Suppose -x = -3*j + j. Is j bigger than 3?
False
Let s = -154 + 153. Is s less than or equal to -2/585?
True
Suppose -5*g = -0 - 10. Let d be (1*g/10)/1. Let r = 19 + -19. Which is smaller: d or r?
r
Let n = -11 - -9. Let f = -0.3 - -0.6. Is n greater than f?
False
Suppose 5 + 17 = 2*j. Which is smaller: 3 or j?
3
Let b be (-4 + 3)/((-8)/26). Let f = 113/36 - b. Do 0 and f have the same value?
False
Suppose 3*l + 3 = 0, 0 = 4*n + l - 4*l - 15. Which is greater: n or 14/9?
n
Suppose -4*h + h = 0. Suppose h*n + 23 = n. Suppose -5*d - 3 = -2*d, 3*d + n = 5*f. Which is smaller: f or 5?
f
Let b be 3/((-981)/212) - 14/(-21). Which is greater: 0 or b?
b
Let d(w) be the first derivative of w**4/4 - w**3/3 - w**2/2 - 2. Let g be d(0). Let i = 396/1015 + 2/203. Is g smaller than i?
True
Let d = -0.09 + -4.91. Let s = d - -3. Let y = 0 - 0. Do y and s have different values?
True
Suppose 4*j + 11 + 13 = 0. Let r = -10 - j. Let n(p) = p**2 + 4*p - 2. Let q be n(r). Is 0 at most q?
False
Suppose 3*h = -2*y + 499, -2*y - 1259 = -7*y + 4*h. Let z = y + -3265/13. Which is smaller: z or 1?
z
Let w(d) = -2*d**3 + 3*d**2 + 3. Let v be w(5). Let k = v + 1027/6. Is -2 smaller than k?
True
Suppose -11 = 2*u - 1. Which is greater: -2/3 or u?
-2/3
Let s be 5/2*(-112)/70. Is 3 greater than or equal to s?
True
Suppose f + f + 6 = 4*v, 30 = -5*v - 5*f. Let q = 0 - v. Let c be 2 + -4 - 14/(-9). Which is greater: q or c?
q
Let j = 65 + -63. Which is smaller: j or -5?
-5
Let g be (18/(-96))/((-1)/(-2)). Let b(w) = 4*w**3 + 2*w**2 + w. Let u(v) = -3*v**3 - 2*v**2 + 1. Let k(y) = -2*b(y) - 3*u(y). Let l be k(-2). Is g at least l?
False
Let f = 53/4 + -291/28. Is 4 at least as big as f?
True
Let j = 2/1051 + -1177/66213. Is 1 not equal to j?
True
Let i = 28566/37 + -772. Which is greater: -1 or i?
i
Let g = 11.6 - 12. Let o = g - -0.4. Which is bigger: o or -1/6?
o
Let w = -1.92 - -2. Let c = 0.18 - w. Let i = 0 - c. Is i greater than -1?
True
Let l be 1236/15 - (-2)/(-5). Let y = l - 167/2. Which is smaller: y or -1?
y
Suppose 2*f + g = 12, -f - g = -4*g + 8. Let y be (2/4)/((-6)/f). Let l = 6 + -10. Is y at most l?
False
Let o(z) = z**3 + 3*z**2 - 3*z + 5. Let b be o(-4). Let u = b - 0. Let h be 44/28 - 4 - -3. Which is smaller: h or u?
h
Let f = 3 + -5. Let k be 3/(1/f*-3). Is k less than 0?
False
Let y = 37 + -38. Is y < -7/13?
True
Suppose -4*n + 4*q - 56 = 0, -3*n + q = -23 + 61. Let f be (n/9 + 1)*-12. Let b be (-2)/f + 5/(-10). Is b smaller than 1/5?
True
Suppose 0 = -i + 3 - 2. Suppose 0*q = -q + i. Suppose -r + 0*z - 4*z = -3, -2*z - q = 3*r. Is 1 <= r?
False
Let r = -49133 + 343264/7. Let o = 95 + r. Let g(a) = a**2 - 5*a + 5. Let d be g(4). Is d smaller than o?
False
Suppose 0 = n - 5*n. Suppose 7 = -3*u + 25. Suppose n = v + v + u. Is 0 > v?
True
Suppose -2*a + 4*z + 7 = -a, a - 5*z - 8 = 0. Suppose 0 = -8*d + a*d - 40. Let y = 440 - 448. Is y smaller than d?
False
Suppose -l - 2*k = -6*k - 4, -2*l - 5*k - 5 = 0. Let q be l + 4 + (-16)/2. Which is smaller: -2 or q?
q
Let p(o) = o**2 + 5*o - 2