x + 3*x. Suppose -3*a + x = a. Are a and -0.1 equal?
False
Let t = -59 + 82. Is 0.1 less than or equal to t?
True
Let r be (-6)/9 + (-3)/(-9). Let n = 0.2 + 0.1. Which is smaller: n or r?
r
Suppose -12 = -4*w, -2*w + 5 = b - 4. Let x be (b/9)/(4/(-3)). Is -5/2 less than x?
True
Let z = 7 - 5. Let k = z - 2.2. Let c = k + 0.1. Which is smaller: c or 0.2?
c
Let z be 3 + (-141)/24 - -3. Is 0 at most as big as z?
True
Let b be 25/(-4) + 4/16. Suppose -14*a - 5 = -13*a. Is b >= a?
False
Let i(o) = o**2 + 7*o + 9. Let m be i(-6). Let h be (6/(-20))/(m/(-8)). Are 1 and h unequal?
True
Suppose -4*c + 20 = c. Suppose 0 = -4*x - 3*i - 72, c = -4*i - 12. Which is smaller: -14 or x?
x
Let v = -16 - -36. Which is smaller: 21 or v?
v
Let t = 22 - 15. Let h be -1*(-4 + (t - 2)). Is h smaller than 2/5?
True
Suppose -28 = 4*k + 4*d, 3*k - 4*d - 7 + 0 = 0. Let m be 2/6 - (-7)/k. Is m != -0.5?
True
Suppose -5*p - 30 - 15 = 4*s, 0 = -2*p + 5*s - 18. Let v be (-2)/p - (-102)/27. Suppose 4*n = a + 7, -2*n - 2*n + 4 = -v*a. Which is smaller: a or -2/5?
-2/5
Let t be ((-218)/(-16))/(1/(-2)). Let m = t - -27. Is 5 < m?
False
Let y = -0.05 - 2.95. Is 0 equal to y?
False
Suppose -2*x - j = -4*j + 1, 4*x = -j - 9. Let f = -7/3 - x. Let d = 11 - 8. Which is smaller: f or d?
f
Let i be 173 - 2/(6/(-9)). Let j = 1230/7 - i. Is 5 smaller than j?
False
Suppose -4 = -5*r - 3*o, 2*r - 4*o = -r - 15. Which is bigger: -0.2 or r?
-0.2
Let c(p) = -p**2 - 11*p - 7. Let r be c(-10). Suppose -4*w = -r*t + 21, -t + 11 = -5*w - 7. Let j(q) = q**2 + 3*q. Let v be j(-4). Which is smaller: t or v?
t
Let d = 657/11 - 60. Is -1 <= d?
True
Suppose 0 = -0*h + 5*h - 10. Let x be (0 + 2 - 2) + (-4)/12. Which is smaller: x or h?
x
Suppose 3*c - q = 27 - 8, 4*c = 2*q + 28. Which is smaller: c or 3?
3
Let n be 6/(-27) + (-76)/(-18). Suppose 6*a = n*a + 4. Which is greater: 1 or a?
a
Suppose -q + 2*z = 3*q + 22, -5*z - 1 = -2*q. Let o(l) = -l - 7. Let c be o(q). Suppose 3*v - 5*v - 6 = c. Is -2 less than v?
False
Let b be (-14)/28*(-12)/1. Let h(k) = k**3 + 3*k**2 - 6*k - 3. Let u be h(-4). Which is smaller: u or b?
u
Let b(k) = -k**2 + 8*k - 6. Let q be b(7). Let v = 775/7 - 111. Which is smaller: q or v?
v
Let t = -26.5 - -26. Which is greater: 2 or t?
2
Let k be (-65)/(-100) + (-4)/10. Let b = 6 - 10. Let c = b - -3. Which is greater: k or c?
k
Suppose 2*v + 93 = 3*q + 32, -5*v + 2*q = 147. Suppose 5*h + 88 = 3*l - 53, 0 = 2*h + 2*l + 66. Which is smaller: h or v?
h
Let h(z) = 6*z + 1. Let x be h(1). Let o = x + -7. Which is bigger: -1/5 or o?
o
Suppose 2*d = 4*a + 34, 2*d + d - 43 = -2*a. Which is greater: d or 14?
d
Let n(d) = -2*d + 9. Let m be n(6). Let i be -2 - -1 - (-7 + m). Is 9 > i?
False
Let d = 103/10 + -23/2. Suppose 28*l = 25*l - 6. Are l and d nonequal?
True
Let z be 1/2*8/2. Let g(r) = -4*r - 21. Let m be g(-6). Which is smaller: z or m?
z
Let x = -1 + 1. Suppose x = s - 3 + 4. Let f(j) = j**3 - 14*j**2 + 25*j - 12. Let b be f(12). Is b bigger than s?
True
Suppose 4*j - 56 = 2*t, 36 = 4*j + 2*t + t. Suppose z = -3*z - j. Suppose -4*q - 6*f + 2*f - 32 = 0, 4*q + 27 = -3*f. Is z at most as big as q?
True
Let b(h) = -h - 1. Let u(x) = 2*x**2 - 7*x - 6. Let q(y) = 5*b(y) - u(y). Let t be q(2). Is -2 bigger than t?
True
Suppose 4*l + 5*u - 136 = 0, -55 = -2*l + 5*u - 17. Let n = 85/3 - l. Let a = 0.3 - 0.3. Which is bigger: a or n?
a
Let i = -0.46 + -0.04. Are 11 and i unequal?
True
Suppose -2*o - 6 = k + o, o = k + 2. Suppose 0 = -5*s + 2*x + 32 + 13, -5*s - 4*x = -75. Let z = s + k. Is 7 less than z?
True
Let d = 3.4 + -1.8. Let y = d + -1.7. Which is bigger: y or 2/13?
2/13
Let n be 1 + (2 - 33/12). Let t(r) = -3*r + 26. Let x be t(9). Is x at least as big as n?
False
Suppose 0 = t - 2. Let p be 10/12*t/(-10). Let f = 0.29 + 0.71. Which is smaller: f or p?
p
Suppose 5*h + 125 = 5*s, h + 58 - 11 = 2*s. Is s >= 23?
False
Suppose -k + 44 = 5*x, k = -2*x + 4*k + 4. Let r(j) = j - 2. Let v be r(x). Let c be v/4*16/84. Which is smaller: -1 or c?
-1
Let d = -2 - -2. Suppose -7*p - 48 - 8 = 0. Is p less than d?
True
Let r = -1 + 1. Let b(l) = -6*l**2 - 5*l + 5. Let v(g) = g**2 + g - 1. Let z(h) = -2*b(h) - 11*v(h). Let d be z(r). Which is smaller: d or 5/6?
5/6
Let b = 0.046 - -0.054. Which is bigger: b or -23?
b
Suppose 2*z + 4 = -10. Let c(a) = -a**3 - 6*a**2 + 6*a + 2. Let g be c(z). Let h be 15/9 + 3/g. Which is smaller: 3 or h?
h
Let q(z) = -z**3 - z**2. Let g be q(-1). Let t be ((-4)/6*-1293)/(-9). Let j = 96 + t. Is j at most as big as g?
False
Let s = 10 - 12. Which is greater: 0 or s?
0
Let n = -7.657 - -0.057. Which is smaller: n or 0.1?
n
Let i = 20 + -19. Is i not equal to 0?
True
Let d = -7 + 10. Let y = 6 + 3. Let r = y - 10. Which is bigger: r or d?
d
Suppose -11*s = -21 - 1. Which is bigger: s or 20?
20
Suppose -4*v + g = -24, 4*v - 3 - 9 = 4*g. Which is greater: 1 or v?
v
Let v = 4 + -13. Let l = -5 - v. Let i = -1.02 + 0.02. Is l at most as big as i?
False
Let s = -37 - -51. Which is greater: -2/11 or s?
s
Let i be -11 + 0 + 1 + 2. Which is smaller: i or -7?
i
Let t = -162 + 161.72. Is -0.1 less than t?
False
Let q(j) = 5 + 0 - j + 1. Let f be q(5). Suppose 3*d = -2*t - 4 - f, -d + 2*t = 7. Is d at most as big as -3?
True
Let w = -28 - -13. Let t be w/28 + (-2)/(-7). Let n be 5/(-7)*(-24)/(-60). Which is bigger: n or t?
t
Let t = 0.035 + -3.135. Let d = 3 + t. Let q be 28/(-8)*(-6)/14. Which is greater: q or d?
q
Let j = -26 + 39. Let u be j/(-5) + (-8)/20. Is -3/2 bigger than u?
True
Suppose -2*p = -6*p - 5*q - 142, -4*q + 8 = 0. Is -39 smaller than p?
True
Let g = -2 - -2. Suppose -b = -g*b - 5. Let d be 4/b*5/22. Which is greater: 0 or d?
d
Suppose -4*w + 2*b + 14 = 0, 2*b - 10 = -2*w + 6. Let i be (-10)/(-15) + (-56)/(-6). Suppose -5 = w*f + i. Are f and -3 nonequal?
False
Let y = 92 + -146. Let l be (-1 + (-56)/y)/1. Which is greater: -1 or l?
l
Let w = 0.2 - 0.3. Let v = 5 - 10. Let s = -6 - v. Does s = w?
False
Let z be 72/(-45) + 1*2. Let n = -5.7 - -6. Is z at most n?
False
Suppose -11 = 5*f + 4, 3*s - 4*f = -12. Let p be (s/5)/((-4)/(-20)). Is -8 greater than p?
False
Suppose 5*x - 3*x - 32 = 4*i, -x - 2*i = -4. Which is bigger: 9 or x?
x
Suppose 117*h + 14 = 116*h. Is h < -11?
True
Let l = -1.9 + 8.2. Let s = 6 - l. Let k = -0.8 + -0.2. Are s and k non-equal?
True
Suppose 0 = -3*x + h + 31, -5*x + 2*x - 2*h + 46 = 0. Which is bigger: x or 10?
x
Let u = 1 - -4. Suppose a + 1 = s, -u*s = a - 5 - 6. Is 1 smaller than a?
False
Let g be (-296)/(-40) + (-2)/5. Let c = -7 + g. Let q be 2 + ((-56)/26 - c). Which is greater: q or -1?
q
Suppose -3*b + 0*o + 3*o = 6, -2*b + o = -1. Suppose x - 2*x = -b*i + 9, -4*x + 4*i - 12 = 0. Is x < 1?
True
Let p = 8 - 4. Suppose 5*i + v = p, 0 = 2*i - v - 1 - 2. Let s be ((3 + i)/(-2))/(-2). Which is greater: 2 or s?
2
Suppose 5*l - l = 5*g - 72, 0 = g + 4*l. Let h be (-1)/60 - 3/g. Is 0 greater than or equal to h?
True
Let a = -1 - -4. Are a and -4 equal?
False
Let s(h) = -h**2. Let r be s(1). Suppose t + 10 = -8. Let n = t - -18. Which is greater: n or r?
n
Let x be ((-120)/18 - -7)/(4/(-3)). Let g = 4 + -4. Which is greater: x or g?
g
Suppose 4*a + 20 = 5*q, -3*a - 15 = -q - 4*q. Suppose -4*y = 4*h + 12, q*h = 3*h - 5*y - 23. Suppose -4*m + 3 + 8 = k, -4*m = -4*k + 4. Which is bigger: m or h?
m
Let a = 8/31 - 63/124. Is 1.54 < a?
False
Let z(m) = -m**3 - 2*m**2 - 2*m - 1. Let s be z(-1). Suppose 5*g - 8*g + 12 = s. Which is smaller: 2 or g?
2
Let s = -379/3655 + -3/215. Let h be (-9)/3 - (0 - -5). Let x = h - -9. Which is smaller: x or s?
s
Suppose 3*g - 3*j - 3 = 0, j = 3*g + 6*j - 27. Suppose u = -g*y, -u + y = -0*y. Which is smaller: u or -1?
-1
Let q = 1 + 1. Let y = q - 2. Suppose 3 = 3*b + 6. Which is smaller: y or b?
b
Let j = -2.1 + 0.4. Let c = -2.7 - j. Is 2 < c?
False
Let w = -0.2 - -0.3. Let g = -28 - -26.9. Let o = g + w. Is o at most 0?
True
Suppose -4*o = -f + 6*f - 45, 0 = 5*f - 3*o - 10. Suppose 0 = 5*c + f*u, 0*c = 2*c - 2*u - 4. Let q be 1/(-3)*c*-2. Is -3 bigger than q?
False
Let o be ((-1)/2)/((-2)/80). Suppose -3*l + 2*c - 23 = 7*c, 0 = 5*c + o. Which is smaller: -1/11 or l?
l
Let k(s) = 5*s**2 + 31*s - 45. Let m(f) = f**2 + 8*f - 11. Let p(b) = 2*k(b) - 9*m(b). Let t be p(8). Do -7 and t have the same val