
Let b be (-14)/35 + 92/5. Which is smaller: 0 or b?
0
Let z = -4 + 6. Suppose -y = z*y. Let f be 2 + (4/(-3) - 1). Which is smaller: f or y?
f
Suppose -3*f + 3*c - 24 = 0, -2*f + 3*c + 53 = -6*f. Let y be -3 + (-2)/((-2)/(-7)). Which is smaller: y or f?
f
Let j be 8/6 - (-220)/150. Is j bigger than 4?
False
Suppose -40 = -4*c + 24. Suppose -6*z = -2*z + c. Which is greater: -3 or z?
-3
Suppose -7*h + 56 = 2*d - 2*h, 0 = -3*h. Let g be d/(-10) - (2 + -4). Let n(x) = x**3. Let l be n(-1). Is l < g?
True
Suppose -26*z + 21*z = -5. Which is greater: z or 1/10?
z
Let b be (-152)/7 + 4/(-14). Which is smaller: -23 or b?
-23
Let x be 7066/78 + 6/(-9). Let f = x + -90. Is f bigger than -1?
True
Let u be (-2 - 24/(-10))*1. Suppose -5*x = -25 + 5, -5*t + 4*x = 16. Suppose 2*b + 6 = -4*s, t = -0*b - 2*b - 6. Is u greater than s?
True
Let i be 1 + (2 - (-16)/(-5)). Let u be 30/4*14/(-21). Let m = u + 5. Which is greater: m or i?
m
Let z = 61 + -58. Is 3 less than z?
False
Let t be (-117)/535 - 9/(-45). Which is greater: -1 or t?
t
Let b = 4 - 5. Let f = -0.6 - b. Let w = 3 - 3.1. Is f < w?
False
Let v = 0.03 - 0.02. Let x = 0.09 + v. Is 0.1 smaller than x?
False
Let v be (0 - (-10)/6)*-13. Let q = v - -22. Is q less than or equal to 1?
True
Suppose 3*z - 3*p + 15 = 0, -9 = 4*z - 2*p + 3. Suppose -5*d = -3*x - 10, -d + 4*d - 2*x - 7 = 0. Let a be z - d - (1 + -1). Which is greater: a or -2/17?
a
Let t(n) = -n**3 - 5*n**2 + 7*n + 6. Let l be t(-6). Suppose l = -4*b - 24 - 4. Is b at most -6?
True
Suppose 3*d + 6*j - 2*j + 40 = 0, 0 = 4*d - j + 85. Which is smaller: -1 or d?
d
Suppose 3*h = h + 68. Let y be -7 - -4 - h/(-10). Which is smaller: 0 or y?
0
Suppose 5*k + 17 = 2. Which is smaller: 2/3 or k?
k
Suppose 2*u - 5*b = -b - 56, -3*b = 3. Let r = 48 + u. Let y be 1/((r/3)/(-3)). Is y > 2?
False
Let f(m) = -m**2 + 7*m. Let g be f(6). Suppose 0 = 6*d - 3*d + 21. Let o = d + g. Which is smaller: o or 2/15?
o
Suppose 5*o + 5*q - 25 = 0, -4*o + 3*q = -0*o + 8. Let k be (o/(-9))/((-2)/9). Which is bigger: 2 or k?
2
Suppose 7*s - 9*s + 4*s = 0. Which is smaller: s or -8/19?
-8/19
Let h = -17.97 - 0.03. Let z = 17.7 + h. Which is smaller: z or -2/7?
z
Suppose 16*r = 12*r. Which is greater: r or 2/43?
2/43
Let v = -1.8 + -9.2. Is 2/5 != v?
True
Let m = 0.02 + 1.98. Let l = 7 + -7. Let i = l + m. Do 1 and i have different values?
True
Let g = -113 - -112. Which is smaller: 29 or g?
g
Let g(i) = 10*i - 1. Let v be g(1). Let l be v/6*-2 + 4. Is 14 greater than l?
True
Let z = 4 - 2.5. Let p = z - 0.5. Let l = 23.7 + -24. Is p less than or equal to l?
False
Let j be (-302)/(-34) + 4/34. Let r be 2/j - 237/(-27). Which is bigger: 8 or r?
r
Let y = -21.5 + 13. Let j = 1.5 + y. Let u = j - -7. Is -1 at most u?
True
Let l(w) = 2*w**3 - 4*w + 3*w**2 + 3*w - w**3 - 7. Let x be l(-3). Let z(d) = d - 1. Let o be z(-1). Is x greater than or equal to o?
False
Let z be (-4)/14 + (-12)/7. Let u be (4/(-3))/(z/(-6)). Suppose -3*v - 62*a = -64*a + 7, -3*v - 12 = 3*a. Which is smaller: v or u?
u
Suppose 0 = 5*i - 2*i + 3. Is -1/9 != i?
True
Let z be ((9/2)/(-3))/((-45)/204). Is z less than 8?
True
Suppose 0 = -4*f - f - 2*q - 25, f = 5*q + 22. Is f <= -4?
False
Let q = 0 + 0. Which is smaller: q or 43?
q
Let s = 79 + -56. Is s equal to 21?
False
Let p = 0 - -3. Let v = p + -1. Suppose -g = g - v. Which is smaller: g or -1?
-1
Let o be ((-4)/10)/(22/(-10)). Is o equal to 0?
False
Let r = -253 - -2785/11. Let u be (2 - 0)*6/(-4). Let l = -4 - u. Is r >= l?
True
Suppose 4*z + 4*t - 8 = 12, -4*t = -2*z + 16. Let o = z - 8. Let q be (-48)/70 + o/(-5). Which is bigger: q or 0?
0
Suppose 10 = -2*p - 2. Is -6 greater than p?
False
Let q = -0.111 + -0.889. Do -1 and q have the same value?
True
Suppose -k + 5*k + 20 = -3*c, 4*k - 2*c = -40. Let h = -1 - k. Let s = -7 + h. Which is bigger: -2/9 or s?
s
Let m = -35 - 1. Are m and -36 non-equal?
False
Suppose 19*t - 22*t - 3 = 0. Which is smaller: t or -9/20?
t
Let a be 1/(-1 + 4/3). Suppose 3*y + a = -q + y, 4 = -y. Is q <= 5?
True
Let t = -15.1 + 16. Let d = t - 1. Let x = 4 + -3. Are x and d equal?
False
Suppose f - 2*f = 4. Let o(a) = -a**2 - 4*a. Let i be o(f). Let u be (-1)/(-4) - (-6)/8. Which is greater: u or i?
u
Suppose g = 3*i - 35 - 66, -5*i = -5*g - 555. Let v = g + 582/5. Suppose 2*o - o + 5 = 4*r, -4 = 3*o - r. Is v less than or equal to o?
False
Suppose -8*f + 6*f = -8. Let s be 0 - f*(0 + -2). Which is greater: -0.1 or s?
s
Let f be 3/(-10)*70/(-12). Let m be -3 - -3*4/3. Is f != m?
True
Let r be (10/6)/((-2)/3). Suppose 0 = 6*s - 8*s - 20. Let k be (-6)/s - 13/5. Is k >= r?
True
Let j = 2 + 3. Let q(i) = -3*i + 1 + 3*i - i. Let t be q(j). Which is smaller: -0.1 or t?
t
Let h = -1.6 + 2.1. Which is bigger: h or 0.2?
h
Let h be (0 - (1 - 0))*1. Suppose 3*k + 3*w = -0*w + 54, -4*w = 2*k - 34. Suppose -5*b = -4*o - 2 + k, 3*o + 3*b - 6 = 0. Is h < o?
True
Suppose -5*u - 1 = -16. Which is greater: u or -0.7?
u
Let l = 4262/5 - 848. Which is smaller: 3 or l?
3
Suppose -h - z = 0, 5*h = -5*z + 3*z + 3. Let f be (-2)/3*(-699)/(-10). Let x = -47 - f. Is h greater than x?
True
Suppose -4 = g + 5*q, 0 = -2*g - 5*q - 7 - 11. Which is smaller: -15 or g?
-15
Let r be (-6)/4*2/(-3). Let w(i) = -7*i**3 + 2*i**2 - 1. Let m be w(r). Let t be ((-4)/m)/((-2)/3). Which is smaller: t or -1/3?
t
Suppose -t = -3*t. Suppose -5*k + 4*w + t*w - 20 = 0, 0 = w - 5. Suppose -3*v - v = k. Is v greater than or equal to -1?
True
Let i = 8 - 8.1. Which is smaller: 2/3 or i?
i
Let l be 1/(-2)*(-30 + 4). Suppose -2*i + l = 3*k, -4*k + i = -6*k + 9. Let h = k - 5. Is -1 less than h?
True
Let u(v) = -v**2 + v + 2. Let w be u(2). Let i = 1/2 - 1/4. Which is smaller: i or w?
w
Let x be (13 - 16) + 122/42. Is 0 at most x?
False
Suppose 2*k - 4*k = -30. Let g(u) = -u + 19. Let b be g(4). Are k and b nonequal?
False
Let c be (-12 - -17) + 4/1. Let m = -4 - -13. Is m <= c?
True
Let x = 4/85 + 6/17. Let o(z) = z**2 + 2*z - 3. Let m be o(-3). Let b = m - -1. Is x equal to b?
False
Let s = 2 + -1. Are -1 and s unequal?
True
Let a(x) = x - 9. Let u be a(3). Let t = 7 + u. Let c = -41/68 + 6/17. Is t equal to c?
False
Let c be (1/2)/(1/20). Let y be ((-40)/(-50))/(4/c). Are y and 2 equal?
True
Let p = -0.04 + -0.96. Let m = p + 3. Is -1/3 greater than or equal to m?
False
Let q = 18.9 - 19. Is q <= -88?
False
Let s(x) = -x**3 + 8*x**2 - x + 9. Let o(t) = -3*t - 1. Let i be o(-3). Let a be s(i). Let m = 4/7 - 11/56. Are a and m equal?
False
Suppose -r + 60 = 57. Is 1 >= r?
False
Let r = -9 + 8.88. Let c = r - -0.02. Which is smaller: 10 or c?
c
Let x = -100 - -105. Suppose -16 = -3*k - 1. Is k equal to x?
True
Let l = -0.19 - -0.19. Which is smaller: l or 7?
l
Let j = -10 - -14. Suppose g + 3*l = j, -g + 5*l - 6 = -2*g. Let m = -1/460 - -929/4140. Which is greater: m or g?
g
Let w = 127 - 74. Let i = w + -213/4. Suppose 0 = 4*u + x + 4, -5*u - 4*x - 5 = -0*x. Which is bigger: u or i?
i
Let c = -0.44 + 4.44. Let m = 4 - 7. Let a = m + c. Is -1/3 less than a?
True
Let i be ((-9)/6)/(3/(-8)). Suppose o + 4 = 5*o - i*s, -7 = -3*o + 5*s. Is o greater than or equal to -2/11?
False
Let h(z) = -2*z**2 + 1. Let w be h(-1). Let a(r) = r + 2. Let j be a(-4). Which is bigger: j or w?
w
Let p(a) = -3*a - 2. Let g be p(2). Let j be g/3*1/4. Is -1 at least j?
False
Let f = 4 + -14. Let n be (-48)/f + (-2)/(-10). Let b be (-2 - -3)*(-2)/n. Which is smaller: 1 or b?
b
Let w(j) = -j**3 - 5*j**2 + j + 7. Let x be w(-5). Let r be x*(3 + 120/(-39)). Suppose -3*h - 6 = -3. Which is smaller: h or r?
h
Suppose d - 3*s + s = -5, -3*s = 5*d + 77. Is d at least -15?
True
Let j(s) = s**2 - 7*s - 6. Let x be j(8). Let q be 2/((-4)/6) + x. Is 0 > q?
True
Let s = 0.685 + -0.115. Let c = s - -0.13. Which is bigger: -1/2 or c?
c
Suppose 2*q = -2*q - x + 11, 4*q - 4*x = 36. Suppose 0 = -2*f - 3*b - 1, 2*f = -9*b + q*b - 11. Let z be (-6)/(-12) - f/22. Is z != 0?
True
Suppose 5*d + m = 123 + 148, -4*d + 5*m + 211 = 0. Let f be 2/(-9) - 150/d. Suppose 3*q + 7 + 5 = 0. Which is greater: f or q?
f
Let o be 6/(-160)*(50/(-12))/5. Is 0 greater than or equal to o?
False
Suppose 0 = p + 3*p - 80. Suppose -r - 3*r - p = 0. Is r smaller than -5?
False
Let f(o) = o**3 - 6*o**2 - o + 10. Let n be f(6). Suppose -4*t