 -u. Which is smaller: -4 or f?
f
Let c = 14 + -3. Let y be (-1 - 0)*(c + -1). Let a = y - -9. Do a and -2 have the same value?
False
Let w be 0/(-1 + -1 - -3). Suppose -2*n = 8, -3*z = -2*z + 2*n + 10. Is z <= w?
True
Let a be 52/(9/(9/3)). Let g = -17 + a. Let z = -1 - -1. Is g greater than or equal to z?
True
Suppose 0 = -y - 2*y - 9, 0 = 4*f + y + 27. Let r be (f/10)/(6/4). Is r < 2/37?
True
Suppose 0 = -0*t + 3*t + 15. Let g be (-7)/5 - 2/t. Suppose -2*s = -5*d + 3, -4*d + s + 2*s + 1 = 0. Which is bigger: g or d?
d
Let r be 4/(-24) - (-7)/6. Which is smaller: r or -0.4?
-0.4
Suppose 0*i = -5*i - 2*s + 57, -2*i = -5*s - 17. Suppose 10*o - i*o = 0. Which is bigger: 3 or o?
3
Let n be (-7 - -258)/(23/11). Let v = -120 + n. Is v bigger than -1?
True
Let g = 2.2 + -2. Let d = g + -0.3. Let n = -11 + 8. Which is smaller: n or d?
n
Let b(n) = n**3 - 4*n**2 - 7*n + 12. Let s be b(5). Which is bigger: s or -9?
s
Let h = -70 + 212/3. Suppose -p = -d + 1, d - 4 = -0*d + 4*p. Suppose -4*m = -4 - d. Which is bigger: h or m?
m
Let s = -0.39 - -0.09. Let m = -0.08 - -0.38. Let p = m + -0.3. Which is smaller: s or p?
s
Suppose v + 4*b = 16, 2*b + 16 = 4*v + 6*b. Let r = 115 - 118. Which is greater: v or r?
v
Suppose 0*x = -3*x - 102. Is x < -35?
False
Let c = 195 - 203. Is c bigger than -0.8?
False
Let j = -1 - -2. Let d be 0*(2 - j) - 0. Let k be (-26)/48 + 2/3. Is k equal to d?
False
Let i be (-1 - 2)/((-9)/6). Let p be 5 + (i - -1)/(-3). Which is bigger: 2 or p?
p
Let y be ((0 - -2)*-1)/(-11). Suppose 4*o + 3 = o. Which is smaller: y or o?
o
Let f = -4 - -10. Let t = 5 - f. Which is greater: t or -3/2?
t
Let n be 1/(5/(5*-17)). Are n and -16 nonequal?
True
Let p(y) = y**2 - 11*y - 17. Let s be p(12). Let m = -68 + 103. Let c be (-14)/m + (-7)/s. Is c >= 2/7?
True
Let p(o) = 3*o + 1. Let g be p(-4). Which is smaller: -9 or g?
g
Let r be (4/(-8))/((-1)/(-15828)). Let v = -1638193/207 - r. Let z = -1/9 + v. Is 0 at least as big as z?
True
Let d(z) = -z - 28. Let v be d(7). Is v > -35?
False
Suppose -5*v = -2*c + 2 - 17, -9 = -3*v - 2*c. Is v smaller than 1?
False
Let u = -3/2 + 13/10. Let d be 0/(1 - (-2 + 0)). Let o be (-2 + 4)/2 + d. Is u smaller than o?
True
Suppose 0*w - 7 = -w - 2*r, 2 = 2*w + r. Does 3/11 = w?
False
Let y = -1.13 + 3.13. Which is smaller: y or 15?
y
Let b be (-6)/57 - 60/(-209). Let k = 0 - 0. Let f = 1 + k. Is b >= f?
False
Let n = 6 - 2. Suppose -y + 24 = -n*t, 0 = -2*t - 3*y - 1 + 3. Which is smaller: -4 or t?
t
Let y be (3 - 4 - -2)/(-1). Let l = -181 + 1633/9. Is y greater than l?
False
Let k(i) = 2*i - 9. Let b be k(8). Suppose -5 = 3*p + 3*w + b, -4*w - 14 = 3*p. Suppose 2*n - 2 = -q, 4*n - 3 = q + 1. Which is bigger: q or p?
q
Suppose -27 = -2*k + 5*g, -3*k - 4*g + 2*g = 7. Let y be (0 - -3)/((-13)/(78/(-9))). Which is smaller: k or y?
k
Let z be (1 - 9/2)/1. Suppose r - 4 = -8. Does z = r?
False
Let t(j) = j**3 - 9*j**2 + 5*j + 7. Let z be t(7). Is z smaller than -55?
True
Suppose i + i = 0. Do i and -3/5 have the same value?
False
Let y = 13 + -10. Let c be 1/(-2) - y/(-2). Do c and 1/21 have different values?
True
Let f(w) = -w**3 + 2*w**2 + 2*w + 2. Let l(j) = j**3 + j**2 - j + 3. Let v be l(0). Let b be f(v). Is -1 < b?
False
Let b = -2 + 4. Suppose -b*a - 6 = -5*a. Is 3 bigger than a?
True
Let r be 48/10 + 7/35. Suppose -3 = -r*n + 2*n. Which is smaller: n or 0?
0
Suppose -3*n = 4*r + n + 4, 5 = -4*r - 3*n. Is r not equal to -1?
True
Let k = -79.91 - -80. Let z = 2 - 1. Are z and k nonequal?
True
Let n = 263/30 - 26/3. Which is greater: n or 0.2?
0.2
Suppose 6*w = -3*w - 234. Which is smaller: w or -28?
-28
Let r = 1270/5447 + -1/419. Let d = r - 59/143. Which is smaller: 0 or d?
d
Suppose -5*o = 2 + 8. Let w = 12 + 0. Which is smaller: w or o?
o
Let g = 5 - 8. Let f = -2 - -6. Suppose -m = f - 1. Is m greater than g?
False
Suppose 4*x = 2*f - 5*f + 40, -3*x - 4 = -2*f. Suppose 23 - 2 = -5*q - 4*u, -4*q - u - f = 0. Let v = 3.1 + 0.9. Which is smaller: q or v?
q
Let d = 4403 + -30771/7. Which is smaller: d or 6?
6
Let a = 21 - 20. Is a at most -1/22?
False
Let i be 1/(2 - 9/5). Let g(x) = x**3 - 5*x**2 + x - 3. Let u be g(i). Suppose s = u*s. Is s greater than or equal to 1?
False
Let j = -325 - -2271/7. Suppose -4*u + 7 = 27. Let l = 3 + u. Is j less than l?
False
Let b be (-5 - -22)/((-2)/26). Let o = b - -1099/5. Is 0 < o?
False
Let i(g) = 2*g - 10. Let b be i(7). Suppose -3 = 2*a + 3*k, 0*a - 4*a + 4 = -b*k. Suppose a = -5*o + 5. Is -1/5 > o?
False
Let f be (-2 + 3)*2/(-3)*-3. Is -0.6 bigger than f?
False
Let s = 4 + -6. Let n = s - -1. Suppose -2 = 2*c - 0. Is n > c?
False
Let m = -10/11 + 4/77. Is 0 != m?
True
Let n be 54/189 - 2636/14. Does -189 = n?
False
Let c be -21 - -23 - (0 + 19/6). Let u = -3040 - -127619/42. Let m = u - c. Is 1 less than or equal to m?
False
Let b = 0.9 + -0.8. Is b bigger than 24?
False
Let j(v) = v**2 + 9*v + 14. Suppose -4 = -w, 3*t = 3*w - 48 + 15. Let p be j(t). Is p at most as big as 3/2?
True
Let r = 0.2 - 0.5. Suppose 0*c - c - 2 = 2*i, -c = 5*i + 5. Which is bigger: r or c?
c
Let u(b) = -3*b + 15. Let g be u(5). Which is smaller: g or 4/27?
g
Suppose -7*a + 48 = -9*a. Let p be 18/a - 41/4. Let l = -10 - p. Is 2/19 >= l?
False
Let x be (-22)/3*(-6)/4. Suppose -2*g - t = -0 - x, 0 = -5*g - 5*t + 35. Let b be g/(48/27) - 2. Which is greater: b or 1?
1
Let k be (6/8)/(36/21). Let u = k + -29/48. Suppose -5 = 6*q - q. Which is greater: q or u?
u
Let r = 13 - 9. Suppose 5*z = -1 - r. Suppose 5*y = d - 6, y + 4*d - 5 = -23. Do z and y have the same value?
False
Let g be (-2)/(-7) + (-26)/(-7). Suppose -g*y = -3 + 7. Let o = 113 + -1242/11. Which is bigger: y or o?
o
Let p = 20 - 60. Which is smaller: 0.1 or p?
p
Suppose -c + 2*c = 0. Are c and -2/3 unequal?
True
Let z be ((-20)/(-16))/(2/8). Which is smaller: 0.2 or z?
0.2
Let n(h) = -h**3 + 4*h**2 + 5*h. Let a be n(5). Let u = -5021 + 15211/3. Let o = -246/5 + u. Which is smaller: a or o?
a
Let k be 7/6 - 7/14. Suppose -4*o + 2 = 2*i, 2*o - 4*i = i + 19. Do o and k have different values?
True
Let k = -2 + 3. Let w = k - 1. Let t = 6/19 + 20/57. Which is bigger: w or t?
t
Let k = 14/55 + 6/11. Is 0 at least as big as k?
False
Let v(u) = 2 + u**2 + 5*u - 6 - 1. Let r be v(-6). Which is smaller: r or -1?
-1
Suppose 2*j = -j + 3. Let v be (-3)/(-6)*1/3. Which is smaller: v or j?
v
Suppose -3*d + 2*i = 2*d - 9, i + 2 = 0. Suppose 0 = -3*o - k + 65, -5*o - 4*k + 85 = -7*k. Let s be ((-1)/5)/((-32)/o). Do s and d have different values?
True
Let a be (-1)/(-10) - 2/(-4). Let k = 31 + -29. Which is smaller: a or k?
a
Suppose -5*o = 10*o - 180. Which is bigger: o or 11?
o
Let i = -2/57 + 124/285. Suppose 0*k = -5*c + 2*k + 11, -c - 8 = 3*k. Which is greater: i or c?
c
Let x = 11.76 + -12. Let n = x - -0.2. Let w = -1.96 + n. Which is smaller: 1/3 or w?
w
Let w be (6/18)/((-2)/(-12)). Suppose 0 = w*k - 3*l, 0*k + 4*l = k + 5. Is 3 greater than or equal to k?
True
Let k be -4*(-3)/(6/23). Let t = 74 - k. Let h be (-2)/2 + 12/t. Is -1 less than or equal to h?
True
Let y = 66/65 - 8/13. Is y greater than or equal to 0.032?
True
Let f be 22/(-55)*(-30)/(-8)*14. Is f >= -18?
False
Let q be (-7)/(-35) + (-49)/195. Which is smaller: 0 or q?
q
Suppose 2*l - 4 = -c, -4*c - 5*l + 12 = -1. Let x be c/(-12)*(-27)/(-6). Do -2 and x have the same value?
False
Let p = 0.1 + 0.9. Let a = 0.6 - p. Let t = 1.4 + a. Which is bigger: -0.1 or t?
t
Let n = 79 + -80. Which is smaller: n or -1/21?
n
Let l = 15.34 - 15. Is 0 less than or equal to l?
True
Let s = 12 - 9. Which is smaller: s or 3/4?
3/4
Suppose 3*d = 4*d. Which is smaller: d or -53?
-53
Let r = -29/5 + 6. Suppose 3*c = y - 4, 4*c - 5*y - 3 = -12. Which is smaller: c or r?
c
Let a be 19*116/1100 - 2. Let p = a - -503/12925. Which is bigger: -1 or p?
p
Let v(o) = o + 3. Let s(q) = -q + 2. Let h(n) = 5*n - 11. Let k(u) = 2*h(u) + 11*s(u). Let l(d) = 2*k(d) + v(d). Let g be l(5). Are -1/2 and g nonequal?
True
Let n = 0.021 + -11.021. Which is bigger: 0 or n?
0
Let q = -3 - -5. Let a = -0.06 - -0.06. Let x = a + 0.1. Is q bigger than x?
True
Let d(l) = -l**2 + 5*l - 7. Let o be d(5). Let k be (1*2)/(o + 8). Let s be k/(6/15*1). Which is smaller: s or 4?
4
Suppose 0 = 5*g - 2*g - 108. Is g not equal to 3