+ 10, 2*c - 2*g = -5*g - 16. Which is smaller: 8/9 or c?
c
Suppose -20 + 4 = -4*z. Let x = z - 2. Suppose 0 = 4*h + 2*i, -x*i + 24 = -2*h + 3*i. Which is smaller: -1 or h?
h
Let c be (-1)/2*(-1 - 5). Suppose 2*q = -6, -3 = -c*w - 2*q + 3. Suppose f = 5*i - 4, 3*f - 2*f + w*i = 5. Which is smaller: f or 1/3?
1/3
Let w = -84 + 83.8. Which is bigger: w or 1?
1
Let g be -1 - (3 + -1)*1. Is 3 greater than g?
True
Let a = -14 - -14.2. Which is greater: -3 or a?
a
Let q(x) = -8 + 12 - 4*x - 5. Let a be q(-1). Let h = 4 - a. Is h greater than or equal to 0?
True
Let s be (360/(-96))/((-14)/(-8)). Which is smaller: s or -3?
-3
Let f = -7 + 10. Let c be (2 - 3)/((-1)/f). Is 0 not equal to c?
True
Let t(g) = g**2 - 9*g - 3. Let k be t(8). Let l = k + 9. Which is bigger: -2/7 or l?
-2/7
Let x = 21 - 20. Which is greater: 1/35 or x?
x
Let l(j) = j - 5. Let x be l(8). Suppose -5*r + 2 = -x. Are r and 3 equal?
False
Let i = 6/5 - 1. Which is bigger: i or -1?
i
Let v = -0.19 - 0.01. Is v not equal to -1.1?
True
Let l = 0.921 + -0.821. Let o = 6 + -1. Which is smaller: l or o?
l
Suppose -3*u - 4*n + 9 = -38, 3*u - 2 = 5*n. Suppose -5*l = -2*l + u. Which is bigger: l or -2?
-2
Let o = 1.5 - 6.3. Let p = o + -1.2. Let i = p - -6. Which is smaller: 4 or i?
i
Let c = -10 + 0. Let x = c - -10.1. Suppose -3*k + k + 2 = 0. Is k greater than or equal to x?
True
Let d = 6.96 + -7. Let z = -0.04 - d. Which is greater: -1 or z?
z
Let a = 3.17 + 0.93. Let l = 4 - a. Let n = -0.3 - l. Is -2 smaller than n?
True
Let y = 9 - 4. Let s be (-1)/(-3)*(y + -2). Suppose -5*k - 6 + s = 0. Are k and -3/7 equal?
False
Let q be (-45)/(-12) - (-1)/4. Suppose 0 = 4*t + 3 - 23. Is q greater than t?
False
Let c(j) = -5*j + 12. Let m be c(8). Let a be (2/2)/(m/(-4)). Let i(p) = p**3 - 3*p**2 - p + 3. Let z be i(3). Which is smaller: z or a?
z
Let k be (3 - -1)*1 + -5. Let o be (-14)/22 + 2/4. Is k less than or equal to o?
True
Let i(p) = -p**2 - 7*p + 7. Let n be i(-8). Let d = 2.05 - 0.05. Which is greater: n or d?
d
Let d be (-51)/(-12) - 1/4. Which is smaller: d or 1?
1
Let c be (-3 - (-12)/3) + -2. Which is bigger: 0 or c?
0
Let f = 18 + -18.8. Which is greater: f or 0?
0
Let n = 21 - 11. Let b(s) = -18*s - 3 + 12 + 17*s. Let g be b(n). Do -0.2 and g have different values?
True
Let h be 3 + 4/((-40)/29). Let y be (-6)/(-9)*3/5. Let o = y + h. Which is bigger: o or 1?
1
Suppose 3*h - 11905 = 5*r, -2*h + 0*h - 11880 = 5*r. Let n be (2 - 23/11)*r. Let f = -216 + n. Is -1 less than f?
True
Let g be 410/(-6) + (-6 - -3). Let j = g - -72. Is j <= 0.09?
False
Let q = 0.13 - -0.87. Which is bigger: 6 or q?
6
Let y = -13 + 18. Let n(b) = -b**2 + 4*b + 4. Let v be n(y). Is -1 less than or equal to v?
True
Let z(m) = -m**2 - 3*m + 4. Let p be z(3). Let y(w) = -w - 15. Let r be y(p). Let g = -1 + 3. Is r at least g?
False
Let h be 1785/18*(-1)/75. Let p = h - -11/10. Suppose 2*d + 3 = 5*d. Which is smaller: p or d?
p
Let l = -8.14 + 0.14. Let w = -13 - l. Are w and -2 unequal?
True
Let q(f) = -f - 6. Let c be q(-5). Suppose 2*z + 8*z = -30. Is c less than or equal to z?
False
Let h be 96/45 + 6/(-45). Which is smaller: 3 or h?
h
Suppose -2*f = -5*g - 347, -65 = 5*g - 5*f + 285. Which is smaller: -70 or g?
-70
Let l = -79/168 - -1/24. Is 0 >= l?
True
Let f(o) = o - 11. Let n(m) = m - 12. Let h = -6 + 12. Let z(g) = h*n(g) - 7*f(g). Let p be z(5). Is p greater than or equal to 2?
False
Let y = -7 + 8. Suppose 5*h = 5*c - c + y, -26 = -c - 4*h. Is c > 6?
False
Let h = 1.1 + -2. Let f = -1 - h. Let j = 34 - 33. Which is greater: f or j?
j
Suppose 1 = -3*w + 7. Let f = -193 - -194. Which is bigger: w or f?
w
Let s = 13 + -14.3. Let v = s + -0.7. Is -0.2 < v?
False
Let m = -4 - -2. Which is smaller: m or -5/3?
m
Let o = -14 - -11. Which is bigger: o or -2?
-2
Let o = -2 + 8. Do 4 and o have different values?
True
Let a = -5 + -1. Let f be 2/a - (-2)/(-30). Let g = 0 + 0. Is g greater than or equal to f?
True
Suppose -u = 4*u. Which is smaller: u or 1/4?
u
Let v be (-80)/(-36) - 6/27. Let g be v - (3 + -2)/(-1). Let a = g + 4. Which is smaller: 6 or a?
6
Let r(c) = -2*c + 11. Let y be r(5). Is y less than 0?
False
Let o = 1.2 - 1. Let b = 0.2 + -12.2. Let y = 15 + b. Is o != y?
True
Let r be 21/14*4/6. Which is bigger: -3/8 or r?
r
Let s = 27 + -16. Let y = -13 + s. Let p = 0.7 + -3.7. Which is smaller: p or y?
p
Let f(p) = p - 7. Suppose 4*i - 36 = -8. Let u be f(i). Suppose -z = -u - 1. Which is greater: 3/5 or z?
z
Let p = 2 - -4. Is p <= 4?
False
Let c = -40.95 - -43. Let z = 0.05 - c. Let u = z - -2. Which is smaller: u or 1?
u
Let l(g) = g**2 + 9*g + 14. Let j be l(-6). Let b be 2/(-7) + (-52)/14. Is j smaller than b?
False
Let f = -6 - -2. Suppose a = -4*a + 45. Suppose 2*g - u = -a, -4*g - 3 = u + 2*u. Which is greater: f or g?
g
Let h = 0.1 - 1.1. Let i = h + 0.8. Is -0.1 != i?
True
Let a = -239/730 - -2/73. Which is bigger: -1 or a?
a
Let v(t) = t**3 - 8*t**2 - 9*t + 1. Let q be v(9). Let y = -2 + q. Let i(l) = -l**2 - 17*l - 1. Let n be i(-17). Is y less than n?
False
Suppose -122 = -5*i - 47. Which is smaller: 14 or i?
14
Suppose 18 = 5*k - 12. Let h be 9/k*(-1)/(-6). Are 1 and h nonequal?
True
Let f(u) = u + 3. Let g be 0/((-3)/(3/2)). Let v be f(g). Is v at most as big as 3?
True
Let l = 181/56 + -20/7. Does -1 = l?
False
Let q = 614/7 - 88. Suppose 0 = -3*k - 2*k - 5. Which is bigger: q or k?
q
Let j be -2 + 3 + (-6 - -10). Suppose -j*m + 4*m - 4*i = 3, m = -2*i + 3. Do m and 10 have the same value?
False
Suppose 2 = -0*j + j. Is j != -1?
True
Let f = 18 - 17.8. Which is smaller: -8 or f?
-8
Let h = 84 - 83.88. Let p = -0.22 + 0.2. Let k = h + p. Is k <= 2/3?
True
Let m be (1/2)/((-28)/(-312)). Let i = m + -33/7. Are i and 0 equal?
False
Let t be -2 - (35745/111 + 1). Let d = -325 - t. Let o = d + -41/148. Which is bigger: 1 or o?
1
Let u be 14/(-49) - (-24)/(-14). Is -2/3 smaller than u?
False
Let g = -39 + 118/3. Let f be (-1)/(-5) + 1/(-5). Which is greater: g or f?
g
Let j(z) = -z**2 - 3 - z + 0 - 3*z. Let k be j(-2). Let b be ((-3)/6)/(1/(-4)). Is k < b?
True
Suppose -13*m - 209 = 64. Is -21 at least m?
True
Let v = 3 - 6. Let k = v - -5. Let m = -0.2 - -0.2. Which is bigger: k or m?
k
Let s = 5.7 - 6. Let j = s - -0.3. Is j less than or equal to 2/9?
True
Suppose -8 = 3*v - 92. Let c = v - 18. Is 2 greater than c?
False
Suppose -2 = t + 2*o - 7, 0 = -t + 2*o - 3. Let v(c) = -c**2 + 8*c + 11. Let q(x) = x + 9. Let s be q(0). Let u be v(s). Which is greater: u or t?
u
Let m(q) = 18*q**3 + 2*q**2 - 1. Let c be m(1). Suppose 0 = 5*w + o - 23 - 5, -2*o = -5*w + c. Suppose 0 = 5*p - 5 - w. Which is smaller: 2/3 or p?
2/3
Suppose 12 = 3*s + 3*m, -5 = -3*s - 2*s - 2*m. Let h be -5*(1 - 0)*s. Suppose 1 = -h*i + r - 7, 5*i + 3*r = 4. Which is smaller: 1 or i?
i
Let t(d) = -9*d**2 - 3*d - 5. Let c be t(-2). Which is greater: -34 or c?
-34
Let d be ((-5)/(-30))/((-3)/9). Is d less than -1?
False
Let t(y) = y**2 - 11*y - 12. Let m be t(12). Suppose 0 = 4*h + c + c + 2, 4*h - 5*c - 19 = m. Is 6/5 less than or equal to h?
False
Suppose -5*u + 4*m - 10 = -m, -42 = 5*u + 3*m. Is -6 at most as big as u?
True
Suppose 7*r - r = 0. Let j = 219 + -99. Let c be 14/j + (-1)/5. Which is bigger: r or c?
r
Let q be ((-2)/(-3))/((-3)/2). Suppose -2*i = 3*c - 4, 2*i = 5*c + 6*i - 8. Is c bigger than q?
True
Let k = 1.2 - -3. Let w = k + -4. Suppose -3*i + 5*i + 4 = 0. Which is smaller: i or w?
i
Let v be -2 - 3*12/(-15). Suppose -h - 2 = -4. Let i = h + -2. Is i > v?
False
Let w be (-72)/63*(-14)/(-6). Is w smaller than -3?
False
Let v be (2/(-28))/(1/(-2)). Which is smaller: 1 or v?
v
Let f = -193/5 + 39. Which is smaller: -1 or f?
-1
Let y be (-3)/12 - 130/(-8). Suppose 6 = 5*u + y. Are u and -2 unequal?
False
Let b = -19 + 12. Are 1/2 and b nonequal?
True
Suppose 0 = o - 3*u - 2 - 6, -o + 4*u + 11 = 0. Suppose 0 = -3*g + 5*g, -5*w - 5 = 2*g. Let m(s) = -s**3 + 2*s + 1. Let j be m(w). Is o less than j?
True
Let s = 4 - -14. Let k be (-2)/(-9) - (-140)/s. Suppose -2 - k = -5*n. Which is smaller: 1 or n?
1
Let m = 5 - -7. Which is smaller: m or 14?
m
Let n = -9 + 6. Let m(z) = -z**2 - 9*z - 19. Let g be m(-6). Which is bigger: n or g?
g
Let j = -0.5 - 0.1. Let h = -0.1 - j. Let t = h - 0.4. Which is bigger: