maller: v or x?
x
Suppose -z - 2*z = 5*a - 1, -a = 4*z - 7. Let h = 0 + a. Let f = 6 - 8. Which is smaller: h or f?
f
Let a be (-1397)/14 + (-1)/(-2). Let r = 99 + a. Which is smaller: r or 0.01?
r
Suppose -a = 3*m + 1, -m + 5*a = -22 + 1. Suppose -m = -x - v, 5*x + 5*v = v + 3. Which is smaller: x or -7/3?
-7/3
Suppose u = c, -40 = 5*c + 3*u - 8. Let n = c + 3. Let b be 2*1/(2 - 4). Is b greater than or equal to n?
True
Let z = 4 + -21. Is z at most as big as -0.1?
True
Let c = 0.1 + -0.3. Let o = -5/8 - -9/40. Which is greater: o or c?
c
Let h = 44 - 54. Which is smaller: h or 0.4?
h
Let x be 28/35 - (-154)/(-5). Let h be ((-2)/x)/(5/45). Which is greater: h or 1?
1
Let o(i) = i - 8 - 3 + 15. Let d be o(-5). Is d at least -2/11?
False
Let l = -109 + 108. Is -3/37 greater than l?
True
Suppose 51 = -n - 2*n. Is -17 greater than n?
False
Let q = 47 - 187/4. Which is smaller: q or -2?
-2
Let o be (-5)/(-55)*2 + (-70)/22. Let v be ((-1)/2)/((-1)/8). Let a be (1 + (2 - v))*3. Is a at most as big as o?
True
Suppose -12 = 4*q, 2*f = -f - q + 3. Suppose 3*g + 3*a = 5*g - 19, 0 = -5*g - 3*a - 5. Suppose -4*k - w = g*w - 15, -2*k = -4*w - 2. Which is greater: k or f?
k
Let r = -3 + 5. Let i = r + -2. Let o = -7 + 8. Is i at least as big as o?
False
Let n = 100538/9 + -11063. Let t = n + -108. Let i be 1 - ((-1)/1 - -2). Which is bigger: i or t?
i
Let a = -9 - 9. Let n = -19 - a. Which is smaller: 1/5 or n?
n
Let i = 0.02 + 0. Let k = i - 0.17. Let j = k - -0.05. Is j smaller than -0.1?
False
Let u(v) = -v**3 + 9*v**2 - 8*v - 2. Let t be u(8). Let d = 22 - 21. Which is smaller: d or t?
t
Let y = -11/24 - 77/24. Let q = y - -25/6. Is 1 bigger than q?
True
Let x(r) = 17*r**2 + 3*r - 1. Let z be x(1). Which is smaller: z or -1/6?
-1/6
Let l = -18 + 15. Which is smaller: l or 0?
l
Let u = -2 - -1.98. Let x = 0.22 + u. Let s = 1 - 0.9. Which is greater: x or s?
x
Let x(q) = q + 3. Let h be x(-2). Which is greater: 3 or h?
3
Let m = 0.11 - 0.14. Let p(b) = -b**2 - 5*b + 7. Let g be p(-6). Which is greater: m or g?
g
Suppose 0 = 2*f + 17 - 109. Is 45 greater than f?
False
Let s = 22933/3 - 7576. Let w = s - 70. Is w > -0.1?
False
Let x = 0.2 - 0.3. Let h = x + 0. Let q = -0.2 - -0.3. Which is smaller: h or q?
h
Let p = -62 - -371/6. Is p smaller than 2?
True
Let k be 2/13 + 56/(-26). Is -3/2 <= k?
False
Let r = -21 - -29. Let l = r + -6. Is 3 at most as big as l?
False
Let q be 2/6 - 13124/(-12). Let u be (q/(-4))/((-357)/6). Let b = -33/7 + u. Do 0 and b have different values?
True
Let o = -134 + 134. Which is bigger: o or -37?
o
Let b = -0.112 - 0.088. Which is smaller: b or -0.029?
b
Let c(u) = u**3 + 4*u**2. Let j be c(-2). Let a be 3 + -6*4/(-6). Which is greater: a or j?
j
Let s(g) be the first derivative of g**4/4 - 2*g**3 - g**2/2 + 5*g + 2. Let l be s(6). Let r be l*(-1 - (2 - 4)). Is 1 less than or equal to r?
False
Let l be (-1)/(-4) - 0/(-2) - 0. Which is smaller: 25 or l?
l
Let d be (-13 + 3 - -1) + 4. Is d > -6?
True
Let q = 3.2 - 1.2. Let d = 1.3 - 0.3. Let x = d + q. Are x and -1/4 non-equal?
True
Let s(n) be the first derivative of -n**3/3 + 7*n**2/2 + n - 3. Let v be s(7). Are v and -3/8 equal?
False
Suppose -69 = -4*q + 123. Let w be q/(-14) + (5 - 2). Which is greater: 0 or w?
0
Let i(k) = -16*k**3 + 3*k. Let w be i(2). Which is greater: w or -123?
w
Let m = 9 + -6. Suppose -2*y + 48 = 44. Is y equal to m?
False
Let j = -0.967 + -0.033. Is -153 greater than j?
False
Let d be (-4)/(36/(-21))*(-2)/7. Is d <= -5?
False
Let g be (((-8)/(-10))/((-6)/10))/42. Which is smaller: g or -1?
-1
Let k be -2*(-1)/(-3) + 1. Let z be -13*282/81*3. Let g = z - -136. Are k and g non-equal?
True
Let l(u) be the third derivative of u**5/60 + u**4/4 - 3*u**3/2 + 5*u**2. Let v be l(-7). Is v at most 0?
True
Let t be 10/(-3)*(-1254)/95. Is 44 less than or equal to t?
True
Let j = 43371/7 - 6215. Is j <= -20?
False
Suppose 0 = -0*c - 5*c + 10. Let a be c/(-4)*(6 + -6). Which is bigger: -2/9 or a?
a
Let d(x) = -2*x**2 + 9*x - 6. Let p be d(5). Which is greater: -10 or p?
-10
Let k = 23.6 - 24. Which is bigger: -1/5 or k?
-1/5
Suppose -15*i + 9*i + 60 = 0. Is 10 < i?
False
Let t(j) be the second derivative of j**6/720 - j**5/12 + j**4/12 + 2*j. Let v(w) be the third derivative of t(w). Let f be v(7). Which is smaller: f or -2?
f
Let g = 44 - 0. Is -0.1 < g?
True
Suppose m - 2 = 1. Let g be (m - (-228)/(-81))*-1. Let k = -1/54 - g. Does 1 = k?
False
Let p(z) = 2*z**2 - 6*z - z**2 + 8 - 3. Let x be p(5). Let a(d) = d + 1. Let u be a(-1). Is u smaller than x?
False
Let n = 2 - 2.3. Is n > -1?
True
Let z = -0.5 - -0.8. Is z at least 0.1?
True
Let r = -4 + -1. Let o = -2 - r. Which is smaller: o or 3/2?
3/2
Let x(q) = -q + 3. Let m be x(-3). Let v be (2/m)/((-4)/(-108)). Let t = v + -9. Which is smaller: 1/2 or t?
t
Let v = -2/33 - 71/462. Suppose b - 1 = -x - 2, 5*x = -10. Which is smaller: b or v?
v
Suppose 0 = -3*c + 2 + 4. Suppose -8 = 5*m - b, c*b = -4*m + 3*b - 7. Is m != -1?
False
Suppose -4*i = 3*f + i - 25, 0 = 4*i - 20. Suppose f = -a - 4*a. Let x be 17/(-18) - (-2 - -1). Which is bigger: a or x?
x
Let f = 47 + -96. Let m = -29 - f. Suppose 0 = -4*p + m - 8. Are p and 3/2 equal?
False
Let z = 0.18 - 0.38. Which is smaller: 1.8 or z?
z
Suppose -j - 10 = -4*l, -4*l - 4*j = -8 - 12. Let g be ((-4)/(-15))/(l/9). Let t = 7 + -5. Is t at least as big as g?
True
Let m be ((-8)/(-24))/((-1)/6). Which is greater: m or -24/17?
-24/17
Let v = -1/1359 - -72029/2718. Which is smaller: v or 27?
v
Let y be (-4)/(-8)*(-8)/(-58). Is -1 at least as big as y?
False
Suppose 7 = -5*r - 8. Suppose -4*u = n + 11, 3 = -n - 0. Which is bigger: u or r?
u
Let u(h) = 3*h**2 + h - 6. Let i be u(2). Which is bigger: 2 or i?
i
Let g = -189 + 188. Which is smaller: g or 2/117?
g
Let z be 3 - 1/(-2 - 36/(-16)). Which is greater: z or -20/13?
z
Suppose -d - 62 = -5*w, -w + 6*w + 3*d = 54. Which is smaller: 13 or w?
w
Let s(j) = -j. Let w be s(6). Let p = 6 + w. Let f = -28/15 + 8/3. Which is greater: f or p?
f
Let a = -26 - -30.04. Let x = a - 0.04. Which is bigger: -1 or x?
x
Suppose -3*m + 815 = -2*i - 1628, 4*i + 4889 = 5*m. Let h = i - -3644/3. Let a = h - -244/21. Do a and -1 have different values?
True
Let n be -8 - (2 + -7 + 2). Let c = n - -4. Is -5/6 > c?
True
Let s = 16 - 18. Let r be (s/12)/(6/(-27)). Which is smaller: r or 1?
r
Let s(d) = d**3 + 6*d**2 - 3. Let f be s(-6). Let b = -6 + 10. Suppose -c = b - 2. Which is smaller: f or c?
f
Let a be (-36)/111*4/(-8). Which is greater: -1 or a?
a
Let d be 3/12 + 18/24. Let c = 1299456181/684 - 1899789. Let n = 2/171 + c. Is n at most d?
True
Let k = -58 + 70. Is 12 < k?
False
Let a = 0.64 - 1.04. Let c = -3.42 - -0.32. Let h = 3 + c. Do h and a have different values?
True
Let l be (2 - 3 - -10)/(-1). Which is smaller: -4 or l?
l
Suppose -n = -5*f + 24, -3*n - n = 5*f - 4. Let v(o) = o**2 + 4*o + 4. Let z be v(n). Let u = z + -5. Is -1 smaller than u?
False
Suppose -13 + 17 = 2*j. Is j not equal to 20/17?
True
Let a = -4 + 4.1. Let i = 4 + -3. Do a and i have different values?
True
Let x = 12/7 - 17/14. Suppose 0*v - 15 = -5*v. Is v > x?
True
Let n = -0.09 - -0.1. Is n at least as big as 2?
False
Suppose 3*p - 8*p = 0. Suppose 0*q - 3*q = p. Which is bigger: q or -1?
q
Let f be ((-2)/6)/((-1)/12). Suppose z = -0*s + s + 2, f*s - 3*z = -6. Suppose s = -b + 2. Is 1 less than b?
True
Let g = -5 - -28. Which is bigger: 24 or g?
24
Let f = -28 - -26. Let n be (-2 - -1) + 0/f. Suppose 2 + 2 = -2*p. Which is bigger: n or p?
n
Let t(g) = -12*g - 55. Let h be t(-5). Suppose -4*l + 3*l + 7 = 0. Are l and h nonequal?
True
Let i = 4 - 6. Is -1/3 equal to i?
False
Let j = 10 + 4. Which is bigger: j or 15?
15
Let g be ((-20)/(-50))/((87/(-10))/(-3)). Is 0 less than or equal to g?
True
Let h be ((-16)/2)/(-1 - 1). Suppose 2*k - 5*t = -21 + 48, 0 = k - h*t - 21. Is 1 greater than or equal to k?
True
Let z = -29/22 - -9/11. Which is smaller: z or -36?
-36
Let r = 8 + -8. Let i = r + -0.06. Which is smaller: 1 or i?
i
Suppose -4*c + 6 = 3*h - 2, -4*h = -4*c - 20. Is h at most as big as 2?
False
Let b be (-1 - -2) + (-1 - -17). Suppose 3*z - 47 + b = 0. Let r be ((-4)/z)/((-54)/(-30)). Is r < -3?
False
Suppose 11 = i - 14. Which is smaller: 24 or i?
24