 > z?
True
Suppose -5*u = -19 + 9. Is 0.12 <= u?
True
Let t = -182981/9 - -20389. Let o(c) = 14*c**2 + c. Let d be o(2). Let s = t - d. Is s > -1?
True
Suppose 0 = 5*j + 2*z + 8, j = -4*z - 0*z - 16. Suppose j = 5*g + 2 + 3. Let u(b) = -2*b + 1. Let t be u(2). Which is smaller: t or g?
t
Let a = -551/2 + 270. Which is greater: a or -7?
a
Let u be (-46)/(-4) + (-1)/(-2). Suppose 3*t - 2 = -b + 4, -5*t = b - u. Let d(f) = -f**3 + 4*f**2 - f - 2. Let n be d(t). Which is bigger: n or 5?
5
Let v be ((-8)/(-24))/(1/(-3)). Is v less than or equal to -4/15?
True
Let z = 36.8 - 37. Which is greater: -13 or z?
z
Suppose 0 = -5*n + 133 - 33. Let s be 0*(-3 + n/8). Let k(a) = -a + 1. Let u be k(1). Is u at least as big as s?
True
Suppose -3*m - 4*y = 19, 3*m = m + 3*y - 24. Is m at least as big as -10?
True
Suppose -3*h = 3*h. Which is smaller: h or 6/19?
h
Suppose -p + 2*u + 5 = -2*p, -u = -2*p + 10. Suppose 5*x + n + 4 = -p*n, 2*x - 8 = -4*n. Does x = -4?
True
Let h = 0.2 + -0.1. Let w = -0.08 - 0.12. Which is smaller: h or w?
w
Let g(q) = -5*q**3 + 2*q**2 - 1. Let i be g(1). Let f be (-1)/i - 0/(-1). Let l = 16 - 15. Do l and f have different values?
True
Let b = 6 + -6. Suppose -4*a - a = b. Is a >= -1/2?
True
Let v = -19 + 6. Which is smaller: -2/7 or v?
v
Let s = -211/30 + 22/3. Let t(f) = -f - 11. Let j be t(-11). Which is smaller: s or j?
j
Suppose 0 = 12*b - 146 - 130. Which is greater: 24 or b?
24
Let m = 12 + -75. Let c be 102/m - 6/(-21). Which is smaller: -2 or c?
-2
Let m = -15 + 10. Let f(z) = -z**3 - 5*z**2 + z - 1. Let o be f(-5). Is o bigger than m?
False
Let j be -7 + (-1 - (4 + -6)). Let i = 0 + -5. Is i less than j?
False
Suppose f = -3*f - 4. Which is greater: 0.1 or f?
0.1
Suppose -4*x + 3*k - 6 = 0, -x = x - 5*k + 10. Suppose x = -5*w + 10. Suppose w*m = -o, -4*o = -3*m - o. Is m bigger than -1/2?
True
Suppose 4 = 5*k + 19. Let c be (-2)/(-2) + k/9. Are c and 2 nonequal?
True
Let s = 3 - 3.1. Let p = -0.016 + -0.984. Which is greater: s or p?
s
Suppose 2*z = 5*z. Let q(x) = 0*x**3 + 3*x**3 - x - 4*x**3 + 4*x**2 + 3. Let k be q(4). Is z less than k?
False
Suppose -3*r - q = 2*q, -5*r + 2*q = 0. Suppose 5*g + 3*h + 101 = g, r = -h + 1. Which is smaller: -1/4 or g?
g
Suppose -5*l + 0*x - 4*x = -16, 0 = -l - 2*x + 8. Which is bigger: -8/11 or l?
l
Let v be (-4)/(-2908)*(3 - 2). Let p = v - 4369/5089. Does p = -2?
False
Let c = 0 - -9. Are c and -0.1 nonequal?
True
Let g be (-3)/12 + (-1752)/32. Is -57 != g?
True
Let m(o) = 21*o - 1. Let s be m(6). Let y = s + -623/5. Which is smaller: y or 0?
0
Let o = -73 - -23. Which is smaller: -51 or o?
-51
Let f be 4*3/4*1. Suppose 4*i - 4*y = -24, 2*i + 3*y = -i + 6. Let b = i + f. Is 1 greater than or equal to b?
True
Let l(q) = -4*q - 19. Let g be l(-5). Is g equal to 13/15?
False
Suppose k + 77 = 5*h - 2*k, 0 = -h + 5*k + 33. Let q = -13 + h. Which is smaller: q or -2/9?
-2/9
Suppose -4*g + 16 = -2*x, 2*x - 4*g + 14 = -x. Let v be (x + -2)/(7/(-7)). Is -1 < v?
True
Let x = 7 - 6. Suppose 5*c + t - 4 = 2*t, -2*t - x = -3*c. Is -2/7 less than or equal to c?
True
Suppose l + 74 = -2*b + 5*b, -5*b + 135 = -4*l. Is 23 less than b?
False
Let c(f) = -f**3 + 3*f**2 - 3*f + 2. Let w be c(2). Let a = 22 - 40. Let b be a/(-8) - (2 - 0). Is w smaller than b?
True
Suppose -x - x = 0. Which is smaller: x or -2/49?
-2/49
Let q(r) = -1 + 5*r**2 + 2*r + 2*r + 0*r + r**3. Let s be q(-4). Let t be (-3)/(0 - s - 2). Is t >= 4?
False
Suppose -5*p - 130 = 5*r, -2*p + 3*p - 78 = 3*r. Let b = r - -26. Let t = -1 + 1. Is b > t?
False
Suppose -2*l + 3*h - 7*h - 10 = 0, 3*l - 1 = 2*h. Let y be (1 + 5)*2/3. Let q be 1/2*(-2 + y). Do q and l have the same value?
False
Let q be 4 - (3 + (-13)/(-11)). Is q less than -1?
False
Let v be (-57)/(-6)*(-984)/21. Let h be (-2007)/(-6)*4/(-3). Let q = h - v. Are -1 and q non-equal?
True
Let r(a) = a - 15. Let l be r(9). Is l smaller than -6?
False
Let w(i) = -14*i + 9. Let o be w(2). Is o > -17?
False
Let w(j) = j**3 + 9*j**2 - j. Let m be w(-9). Let b be (-42)/m*(-6)/8. Which is bigger: b or 5?
5
Let l = -205/3 + 69. Let n(r) = r**2 + r + 3*r**3 - 5*r**3 + 1 + 3*r**3. Let f be n(0). Is f greater than l?
True
Let g = -25 - -26. Is -3/7 != g?
True
Let l = 43 + -41.8. Which is bigger: l or -1?
l
Let f be (-1 - -2)/(2/6). Suppose 0*y = f*y. Are 3/4 and y equal?
False
Let j = 11.9 - 2.9. Is j bigger than -3?
True
Let p = 45 - 33. Is p != 6?
True
Let j = 2 + -1. Let k = -17462/37 - -472. Do k and j have different values?
True
Let j = -6 - -4. Let v be (3/18)/(j/(-4)). Let f = -61/2 - -30. Which is smaller: f or v?
f
Let c = 5/32 - -9/352. Which is bigger: c or -0.4?
c
Let j(w) = 8*w**3 - 1. Let i be j(-1). Let s be (i/5)/(8/20). Which is smaller: -5 or s?
-5
Let b be (-56)/18 + (-20)/(-10). Is 1/4 bigger than b?
True
Let l(n) = -n**3 - 5*n**2 + 2*n + 7. Let x be l(-5). Suppose 4*k + 4*g = 40, -3*k + k - 3*g = -17. Suppose -5*j + k = 28. Are j and x nonequal?
False
Suppose -21 = 8*b - b. Let l(d) = -d**3 - 7*d**2 - 9*d - 6. Let g be l(-6). Suppose -2*t - 2*t = g. Is b != t?
False
Let c(i) = 5*i - 8. Let z be c(-3). Is z at least as big as -22?
False
Let a(u) = -u**2 - 5*u - 2. Suppose -2*l = -4*s + 24, -3*l + 0 + 19 = 5*s. Let r be a(l). Suppose -r*d + 3*y + 2 + 1 = 0, y + 1 = 0. Which is greater: 2/5 or d?
2/5
Let s = 17 - 8. Let f(g) = g**3 - 9*g**2 - g + 5. Let o be f(s). Which is smaller: -2 or o?
o
Let k = 5/7 - 52/63. Suppose -2*y = -4*h + 18, -h + 0 = -4*y - 1. Which is greater: k or y?
y
Let j be 0*3/9 - -2. Let u be j - 3/6*2. Let m be 1 - u/(1/(-1)). Do 1 and m have different values?
True
Suppose 2*y - 9 = -y. Suppose 5*u = 3*v - y, 4*u + 0*v - 2*v = -2. Suppose 2*x - 5*j = 9, x - 5*j = 5 + 2. Which is greater: x or u?
x
Let i = 163/2 + -79. Which is smaller: i or -2/7?
-2/7
Let s(u) = -u + 2. Let k be s(7). Which is smaller: -6 or k?
-6
Let f = 18 - 14. Let n = -11 + f. Is -7 less than or equal to n?
True
Let i = 853 + -1655/2. Let v = -25 + i. Are v and 3 equal?
False
Let s(y) = -y**3 - 9*y**2 - 3*y - 21. Let v be s(-9). Which is smaller: v or 9?
v
Let o be ((-5)/(-5))/((-15)/(-9)). Suppose -3*y - 2*y = -l - 14, 2*l = 4*y - 10. Which is greater: o or l?
l
Suppose 0*p = 2*j + 5*p + 8, 0 = p + 2. Which is bigger: j or 5/8?
j
Suppose -o + 6*o + 16 = -2*q, 4*q - 5*o = 28. Let b = -108 - -106. Let i = q + b. Which is greater: i or 2?
2
Let j(q) = -q**3 - 16*q**2 + 2*q + 32. Let n be j(-16). Do -3/8 and n have the same value?
False
Let l be ((-3)/6)/(2/(-4)). Which is smaller: 11 or l?
l
Suppose 3*w + 4*c = 1 + 1, 5*w + 40 = 2*c. Let m be ((3 - 2) + -11)/2. Is m >= w?
True
Let p = -14 - -15. Let q be 6*25*(-6)/(-7). Let x = q - 129. Is x smaller than p?
True
Let b = -11 + 11. Let g be (2/(-4) - -1)*b. Is g greater than -2?
True
Let a(j) = 5*j - 4. Let v be a(-4). Let g be ((-12)/(-16))/(2/v). Let n(z) = z**2 + 9*z + 2. Let s be n(g). Is s > 3?
False
Let r(i) = -i**3 - i**2 + 4*i + 1. Let p be r(-3). Suppose 0 = -4*h - 4*o + p + 1, 2*h + o = 2. Let d be 8/(-14) + 465/1953. Which is bigger: h or d?
h
Let r(d) = 5*d + 3. Let f be r(3). Let o be 4/f*15/(-25). Do o and -1 have the same value?
False
Suppose 0 = -3*c - c + 4. Suppose 0 = -z - 2 + c. Is -2 at most as big as z?
True
Let i = -1/678 + 4109/27798. Let k = i - 61/697. Do 0 and k have different values?
True
Let x = 1 - -1. Let h = 1.4 - 0.4. Let t = x - h. Which is smaller: t or -1?
-1
Suppose -5*w = -9*w - 4. Which is smaller: w or -1/5?
w
Let v(x) = x - 2. Let o be v(-2). Let a = 4 + o. Suppose a - 1 = b. Which is bigger: -2 or b?
b
Let r be (-40 - -38) + -3 + -1. Let t be (0 - 1) + 1*-7. Is r < t?
False
Let k be (1/(-3))/(3/(-54)). Is 5 at least k?
False
Let h be (24/84)/((-1)/7). Is -2 equal to h?
True
Suppose 4*l = -3*k + k + 22, -l = -4*k + 44. Is k > -1?
True
Let x be (-3)/2*(-80)/30. Which is greater: 5/2 or x?
x
Let o = -0.3 - -0.4. Which is greater: o or -19?
o
Suppose 18 - 4 = -2*q - 5*v, 3*v + 14 = -4*q. Let y be ((-4)/(-8))/((-1)/q). Is 1 greater than or equal to y?
True
Suppose 13*k = -114 - 302. Which is smaller: -33 or k?
-33
Let l(n) = n**3 + 3*n**2 - 6*n - 2. Let y be l(-4). Suppose -y = 5*r - 1. Which is greater: r or 2/7?
2/7
Suppose -365 = 13*k - 40. Which is greater: -21 or k?
-21
Let x = -29.85 - -35.