uppose 4*x - m - 7 = 0, -h = -2*x + 2*m - 0. Which is smaller: 1/8 or x?
1/8
Let h = 431 - 14655/34. Let g be 10/45 - (-7)/9. Is g < h?
False
Suppose 0*n + 12 = 3*n. Suppose 0 = n*i, -3*i + 1 = -2*f - 15. Let c = f + 10. Which is greater: 5 or c?
5
Let h(y) = -2*y + 7. Let j be h(5). Let r(t) = 4*t + 109. Let g be r(-28). Is g less than or equal to j?
True
Let d = -83 + 83.03. Which is smaller: d or -6?
-6
Let d = -291 + 1366/5. Let o = d + 18. Let q = -422/117 + 44/13. Is o bigger than q?
True
Suppose -z = q + 3*q - 54, 2*q - 32 = -3*z. Is q < 38/3?
False
Suppose -2*g + 50 = 3*g. Let a be 3/9*-3*-4. Suppose 2*x = g, -19 = a*j + x - 4*x. Is -0.2 not equal to j?
True
Let x = 0.7 - 0.4. Let k = -1.1 + 2.1. Which is smaller: x or k?
x
Let m = 14/5 + -8/3. Suppose 2*c - c = -2*d + 9, -5*c + 5 = 2*d. Suppose -f + 1 + d = 5*n, 0 = -4*f + 4. Which is smaller: n or m?
m
Suppose -4*a + 4*w - 16 = 0, 5*a = -w + 5*w - 23. Let t be 6/(a - -4) - -2. Which is smaller: t or 10/11?
t
Suppose 0 = -5*c + 4*l + 38, -5*c - 2*l - 2*l = -22. Let s be (-10)/(-15)*c/(-32). Do s and -1 have the same value?
False
Let z be 1 + 1*((0 - 2) + 1). Let c be 1/((190/(-4))/(-5)). Do c and z have the same value?
False
Let a = -1 - 3. Which is smaller: a or -5?
-5
Let u = -6 - 20. Let h = -25 - u. Suppose -2*k = -2 - 0. Do k and h have different values?
False
Let t be (6/4)/((-8)/16). Which is smaller: -4 or t?
-4
Let a(j) be the second derivative of 0 + 2*j**2 - 1/6*j**3 - 1/3*j**4 + 2*j + 1/20*j**5. Let v be a(4). Is v bigger than 1?
False
Suppose -2*f = 3*f + 390. Let g = 153/2 + f. Let b = g - -2. Which is smaller: b or 0?
0
Suppose 4*q + 4 = -4*i, 0 = -2*i - q + 1 - 0. Suppose -i*t + 0 = -2. Is t greater than 1/4?
True
Let l(v) = v**3 + 4*v**2 + 2. Let i be l(-4). Let j be (12/8)/(1/i). Which is smaller: 2 or j?
2
Suppose -16 = c + 11. Do c and -28 have the same value?
False
Suppose 4 + 11 = -z. Which is bigger: -16 or z?
z
Let f = 0.2 + -0.3. Which is smaller: f or -19?
-19
Let k = -657/20 - -33. Suppose 5*g + 3*x = -3, 0 = -g + x + 2*x + 3. Do k and g have the same value?
False
Let v be 3 + 28/(-6) - -1. Let z(u) = -u**3 + 2*u**2. Suppose 0 = -4*t + 3*t + 2. Let n be z(t). Which is bigger: n or v?
n
Let f = 0.2 + -0.2. Suppose -5 = 3*r + 2*r. Is f <= r?
False
Suppose -5*s = -9 - 71. Suppose -2*w + 66 = s. Suppose 3*t + 4*k + 2 - w = 0, -4*k + 41 = 5*t. Is t <= 8?
False
Let s = -7 + 11. Let h be (-50)/(-18) - 6/(-27). Suppose g = h*t - 5, -3*t + 3 = -2*g - s. Which is smaller: 3/5 or t?
3/5
Let y be ((-18)/(-24))/(12/50) + -3. Is -0.3 > y?
False
Let b = -16 - -15.76. Let i = b + 0.04. Which is smaller: i or 0.3?
i
Let x = -1/27 - 43/297. Is 2/7 less than x?
False
Let v be 2/(-108)*39/2. Let x = v - -1/9. Let s be (1 - 3)*1 - -2. Is x != s?
True
Let u(a) = -2*a + 6. Suppose 0 = -2*h - 2*h + 20. Let t be u(h). Suppose 2*k = -0*g + 2*g + 10, 2*g + 2*k - 2 = 0. Which is bigger: g or t?
g
Let m = 7.2 + -1.2. Let o = -7 + m. Let a = o + 0. Which is smaller: -2 or a?
-2
Let i(b) = -b + 5. Let v be i(6). Which is greater: -3 or v?
v
Let n = -27 + 82/3. Let f = -2/3 + n. Is -1 equal to f?
False
Let l be 1 + -1*(-2 - -1). Let v(c) = c**3 - 4*c**2 + 4*c - 1. Let t be v(3). Let p be t/(-10) - (-34)/20. Which is smaller: p or l?
p
Let f(z) = z + 5. Let j(n) = 2*n + 6. Let b be j(-6). Let t be f(b). Which is smaller: t or -0.5?
t
Let c be 0 + (0 + -6)/(-3). Let h be 6/(-3)*c/(-16). Which is bigger: h or 1?
1
Let b = 55 + -40. Which is smaller: 2 or b?
2
Suppose 0 = 3*a - 6*a + 15. Let i = 8 - a. Let y be ((6/i)/(-1))/1. Is -2 less than y?
False
Let z = -1.7 - -1.8. Suppose -4 = -r + 2*r. Which is bigger: r or z?
z
Let x = -4 + 0. Suppose -3*t = -4 - 5. Suppose t*d = d - 6. Which is bigger: x or d?
d
Suppose 3*b = -0*b + 6. Suppose -2*x - x = 5*c - 5, -2 = -b*c - 3*x. Let g be (-1)/30*4/(-1). Are c and g equal?
False
Let y = -15 + 19. Are y and 19/4 unequal?
True
Let w = -1 + 0. Let n be (10/9)/(4/(-114)). Let i = -32 - n. Is w at most as big as i?
True
Let a = 0.5 + -0.7. Suppose 0 = -4*w + 3*w - 4. Is w at most as big as a?
True
Let z = -7 - -5. Let a be 2*(z + -1)/6. Let y be 0*(-2 + a/(-1)). Are 0 and y equal?
True
Suppose 5*q = -3*r + 11, 0 = -5*r - 0*r + 10. Which is smaller: -1/22 or q?
-1/22
Suppose 2*n - 4*b + 30 = 0, -60 = 4*n - 0*n + 2*b. Which is bigger: n or -12?
-12
Let v be (5 + -51)/(-1 + 3). Let y = 23 + v. Which is smaller: y or -1/11?
-1/11
Let m be (-1)/(7/11) - -1. Suppose 1 - 2 = -2*n + b, 2*b - 22 = -4*n. Suppose -n*u - r = 5, 11 = -3*u - 0*r + 5*r. Are u and m equal?
False
Suppose -3*w = 6 - 30. Let o = 13 - w. Suppose 0 = -c + 6*c - o. Which is smaller: c or -2/19?
-2/19
Suppose 19 - 29 = -s. Are 10 and s equal?
True
Let d = -36 - -40. Is 2 >= d?
False
Let m = -11 - -8. Let p = m - 3. Let n be 9/6 + 13/p. Is n bigger than 1?
False
Let k be 1 - (1 + -2 + 13). Let f = k - -9. Let y be (-3)/18 - f/(-24). Which is smaller: 0 or y?
y
Suppose 15*n - 10*n = 0. Let b(i) = -i - 3. Let h be b(-6). Suppose 4*f + n*l = -5*l + 7, -h*f + 9 = 5*l. Is f bigger than 0?
False
Suppose 0 = -2*f - 2*f + 12. Suppose -2*q + 0*q = l - f, -2*l = 6. Suppose 4*p + q = -1. Is -1 bigger than p?
False
Suppose 4*a + 67 = -1. Let o be a/(-4) + (-1)/4. Let k be 30/(-18)*3/o. Which is bigger: -2 or k?
k
Suppose 250 = 5*t + 60. Is 0.1 < t?
True
Let x = -10 + 10. Let r = 2 + x. Let s = r + -1. Are -2/21 and s equal?
False
Let j(u) = -u**2 - 5*u - 4. Let y be j(-4). Suppose y = 3*x + x - 4. Let s = -4 + x. Is s at least as big as -3?
True
Let t(l) = -l**3 - 3*l**2 - 3*l - 3. Let r be t(-2). Is -1/45 less than r?
False
Let r(a) = -a**3 + 3*a**2 + 6*a - 2. Let p be r(4). Suppose v + p*i = 3*i - 16, 0 = 4*v + i + 20. Are v and -4 equal?
True
Let m = 21 - 21. Which is smaller: m or 0.07?
m
Suppose 0 = -0*c + 5*c + 5. Let a = c - 1. Let p be (-3)/(9/12) - a. Are p and -1 equal?
False
Let g be (-16)/10*(-200)/(-16). Which is greater: -21 or g?
g
Let l = -48 + 63. Do l and 13 have the same value?
False
Let w(x) = x**2 - 4*x - 3. Let j be w(5). Suppose 2*u + 0 = j. Let h = 3 + -2. Is u != h?
False
Suppose -21 = -4*n - 5. Suppose k = n*k. Let v = 171 - 169. Is k >= v?
False
Let j(z) = z + 5. Let r be j(0). Suppose 2*u = 2*b - 24, -2*u + 36 = r*b - u. Suppose -3*t = -2*g - 2*g - b, -4*t = 0. Is -2 less than g?
False
Suppose 0 = -5*d + 3*d + 10. Which is smaller: d or 6?
d
Let w be 2/78 - 2/(-3). Let u = w + -32/65. Which is smaller: 1 or u?
u
Let j(h) = h**3 - 13*h**2 + 13*h - 11. Let u be j(12). Which is bigger: u or 2?
2
Let q = 7.06 + -7. Let w = q - 0.26. Which is bigger: -0.1 or w?
-0.1
Let d(a) = 3*a - 4*a - 3 - 4 - 1. Let c be d(-11). Is c greater than or equal to 3?
True
Let g be (-72)/(-33) - (-2)/(-11). Suppose 4*h - g*m = 3*m - 31, -2*m - 6 = 3*h. Suppose 0 = -3*z - 3 - 6. Does z = h?
False
Let i = -87 - -263/3. Which is bigger: 0.4 or i?
i
Let n be 2982/7840 + 1/(-7). Let h = n + 1/80. Is 0 greater than or equal to h?
False
Suppose -a - 14 = -4*z, 0*a + z - 26 = 4*a. Let r = 1 - a. Suppose r*y + 3 = 4*y. Are -1/16 and y unequal?
True
Suppose -2*s = s - 12. Let n be -3 + 3 + 0 - -1. Suppose n + s = -5*u. Is u greater than 1/6?
False
Let h(a) = a**3 - 3*a**2 + a - 4. Let q be -1*3/((-3)/(-3)). Let f = 6 + q. Let m be h(f). Which is smaller: m or 1/3?
m
Let j = -14 + 11. Which is bigger: j or -5?
j
Let g(a) = -17*a + 1. Let i be g(0). Is i bigger than -8?
True
Let o = -7 - -5. Let v(i) = i**2 - 9*i + 5. Let p be v(8). Is p != o?
True
Let l be (-6)/10*3/(-9). Which is bigger: 2 or l?
2
Let f be (-2 - -1) + 1 + 2. Suppose 0 = f*i + 3 - 11. Suppose -j = i*j - 30. Do 6 and j have the same value?
True
Let o = -5.142 + 0.952. Let a = o - -2.25. Let z = 0.06 - a. Which is bigger: 2/7 or z?
z
Let z be (-1)/(-5) - (-84)/30. Let m be 11/z - 12/18. Which is bigger: m or 12/5?
m
Let x be (-7 - (-133)/21) + (-40)/(-57). Is x < 1?
True
Let n(u) = u**3 + 5*u**2 + 5*u - 7. Let z be n(-5). Let i be -3 + 6 + 92/z. Which is greater: i or -1?
i
Suppose -6*c = -5*c - 9. Let a be (-11)/3 + (-3)/c. Let t be (1 - a)*(-22)/(-55). Which is greater: 3/5 or t?
t
Suppose 0*n + 5*n - 20 = -2*b, -5*n = 4*b - 30. Suppose -4*p + 2 = -n*p. Is p greater than -2/5?
True
Suppose 0 = 3*i + 2*m - 4 - 4, 2*i - 4*m = 0. Which is greate