ch is bigger: x or -4/11?
x
Let u be -2*(-2636)/(-38) + 2. Let g = -77237/570 - u. Let x = 4/3 - g. Which is greater: -1 or x?
x
Let t = -55 + 49. Are t and -0.8 equal?
False
Let z = 28 - 86/3. Let l = 0.006 + -1.036. Let b = 0.03 + l. Which is smaller: z or b?
b
Suppose 18*w + 19 = 109. Which is smaller: w or 11/2?
w
Suppose 4*s + 17 = -5*w, 0 = 5*s - 10*s - 2*w. Let j be (-2)/(-5) - (-2)/(-5). Is s greater than j?
True
Let p = 0.2 - 0.25. Let h = p + 0.15. Let c = -1384/7 - -198. Which is bigger: h or c?
c
Suppose g = -0 - 6. Let f = -10 - g. Let b = f + 3. Do b and 1/3 have the same value?
False
Let x = -0.3 + 0.2. Let z = 6.2 - 3.2. Is x at least as big as z?
False
Let w = -0.03 + 0.21. Let o = 0.02 + w. Which is bigger: -1/2 or o?
o
Let n = 0 - -0.2. Let p = -3.91 + 1.91. Which is smaller: n or p?
p
Let m = -3.8 + 3.7. Which is bigger: -4/9 or m?
m
Suppose 0 = -5*v + 17 + 13. Let t be v/9*(-6)/(-20). Let u(p) = -p**2 + 2*p + 4. Let d be u(3). Which is greater: t or d?
d
Let t be (-10)/(-2) - 9/(45/20). Which is bigger: 2/5 or t?
t
Let a = -17.9 - -17. Do -0.5 and a have different values?
True
Let t = -132 + 130. Let r = 1 + 0. Which is bigger: r or t?
r
Suppose 0 = h + o + 3*o - 14, -4 = 4*h - 4*o. Suppose 6*g - 2*g = n + 16, -h*n = 5*g - 33. Suppose n*v = -v. Which is smaller: 1 or v?
v
Let n = -5 + 8. Suppose 12 = -3*c, -3*c + 16 + 2 = 5*p. Which is greater: n or p?
p
Let c be (-6)/18 + 2/9. Is -1 bigger than c?
False
Let u be (-14)/7 + 62/32. Let d = -19/48 - u. Which is greater: -1/5 or d?
-1/5
Let c = 51 + -43. Which is smaller: c or 1/3?
1/3
Suppose 0 = k - 2*k + 4. Suppose -k*g - 1 = 7. Let j = -3 - -1. Is j at most g?
True
Suppose -4*x - 2 = 2. Let r be (x/4)/(4/(-6)). Which is greater: 1 or r?
1
Suppose 0 = 2*d + 6, 0 + 3 = 5*v - d. Suppose -2*s = 2 - v. Are -2 and s unequal?
True
Let f = -14 + 27. Let a = 8 - f. Which is smaller: -4 or a?
a
Let r be 6/(-156)*110/(-3). Let d = -14/13 + r. Let j = -2.8 + 3. Is d > j?
True
Let s = -0.09 - -0.21. Let a = 0.02 - s. Let v = -3 - -5. Which is smaller: a or v?
a
Let y = -13 - -14. Are y and 0.3 equal?
False
Let u be 2/(-9) + (-165)/(-135) + 10. Which is bigger: 19/2 or u?
u
Suppose -x = x + 32. Is -17 > x?
False
Let o be (-8)/(-1) + (-4 - -2). Let s be (o/(-8))/((-1)/(-16)). Let t be 2*-1 - 44/s. Which is greater: 1 or t?
t
Let u be (-3)/9 - 8/(-6). Let d = -8.6 + 8.65. Does d = u?
False
Suppose -32 = -5*d + 3*d. Is 16 less than or equal to d?
True
Suppose -3*l + 0 - 2 = d, d + 4 = -4*l. Let x be (9/(-6))/((-6)/8). Suppose 5*k = 0, k + x = -w + 6*k. Is w less than l?
False
Let i be 4*(-1)/14 - (-19)/(-7). Does -2 = i?
False
Suppose -y + 3*t + 21 = 2*y, -3*t = -2*y + 11. Which is bigger: 8 or y?
y
Let o be ((-6)/(-21))/((15/3)/5). Is 0.27 > o?
False
Suppose 0*v = -4*v - 4. Let i = v - -1. Let b = -0.2 + 0.1. Which is bigger: b or i?
i
Suppose -392 = -5*h - 3*i, -216 = 3*h - 6*h + 3*i. Let t be 8/h + -1 + 1. Which is smaller: t or -1?
-1
Let f = 4 - 8. Let p = f + 8. Suppose 2 = -4*v + z, -p*v + 2 = -z - 2*z. Is v != 0.1?
True
Suppose q - 2*n = -6, 5*q + 10 = -5*n - 5. Let s be (-10)/(-35) - q/(-14). Is s greater than 1/4?
False
Suppose -10*a + 16*a - 690 = 0. Is 115 at most as big as a?
True
Let m(i) = i. Let s be m(3). Suppose -s*r + 33 = -0. Is r at most 10?
False
Let n = -0.766 - -7.826. Let y = 0.06 - n. Let f = -7 - y. Is -2/9 equal to f?
False
Let r = 2233 - 11214/5. Which is greater: -10 or r?
r
Let f = 1 - 1.35. Which is bigger: 2 or f?
2
Let a = -3 - -8. Suppose -a*w + 3 = 8. Let s = w - -1. Which is smaller: s or 2/7?
s
Let m(x) = x**3 + x**2 - 3*x - 2. Let v be m(-2). Let q(d) = 2*d**2 + d + 1. Let g be q(-1). Let b be 1/g - 2/4. Do b and v have the same value?
True
Suppose 5*o = 2*u - 9, 0 = -2*o + 3*o - u + 3. Which is smaller: o or -7?
-7
Let k be -5 - -3 - (4 + 1). Let p(s) = s**2 + 7*s - 3. Let y be p(k). Let j be 0 - 4/(-3)*y. Which is smaller: -3 or j?
j
Let p = 1036 + -9341/9. Which is smaller: p or -3?
-3
Let d = -49 + -66. Let s = -577/5 - d. Suppose 0*x - 3*x = 5*g - 20, -4*g + 4*x - 16 = 0. Is g less than or equal to s?
False
Let s = -21 - -51. Let l be 34/s + (-2 - -1). Let j = 8 - 8.1. Is l < j?
False
Let v be 1/(-2) + (-429)/(-6). Let k = v + -353/5. Is k at most -1?
False
Suppose a + a = 10. Let s = -6 - -10. Suppose -a = x + s*x. Is -1 less than x?
False
Let n(z) = -z + 4. Let a(b) = -b**2 + 9*b - 4. Let i be a(8). Let t be i*-5*2/(-8). Let l be n(t). Which is greater: -4/7 or l?
-4/7
Let j be 58*3/54 - 3. Let d = -73 + 72. Do j and d have the same value?
False
Let t(w) = w**3 - 6*w**2 + 3*w + 5. Let a(x) = 2*x**2 - 4*x. Let l be a(3). Suppose 4*m - 9 = -s + l, -4*m + 3*s + 35 = 0. Let g be t(m). Is g at least -5?
True
Suppose 2 = 3*t - 10. Let z = -8 + 11. Is t greater than z?
True
Let w be 28/30 + (-2 - -1). Which is smaller: w or 1?
w
Let v be 33/(-5) - 2/5. Let x be (v/(-21))/(2/(-12)). Are -9/7 and x nonequal?
True
Suppose j - 5 = -3*p, 2*p - 3*j - 2*j + 8 = 0. Which is bigger: 20/23 or p?
p
Let h(b) = b**3 + 9*b**2 + 6. Let u be h(-9). Is u smaller than 5?
False
Let a = 2 + -2.1. Let y = -1.3 - a. Let n = 0.2 + y. Which is bigger: 0.2 or n?
0.2
Let z(d) = -d**2 + 6*d - 5. Let w be z(3). Let b be (-39)/(-91) + 18/7. Is b less than w?
True
Let p(s) = s**2 + 4*s + 4. Let o be p(-3). Let h = -4/279 - 3/31. Is o at least h?
True
Let a(q) = -q**3 - q**2 - 2*q - 1. Let h be a(0). Which is smaller: -1/14 or h?
h
Suppose 1 = 5*d + n - 7, -5*n - 8 = d. Let f(q) = -q**2 + 1. Let v be f(0). Let i be -1 - v - -4 - 0. Is i less than d?
False
Suppose 15 = -5*i + 5*q, i - 9 = 2*i - 3*q. Let m = -42 - -42. Is i bigger than m?
False
Let r = -48 - -47. Which is smaller: 2/109 or r?
r
Let m = 83 + -248/3. Which is smaller: m or 7?
m
Let r be -733*(0/4 - -1). Let u = 30051/41 + r. Is 0 at least as big as u?
True
Let t(z) = -z + 5. Let c be t(-5). Is c < 9?
False
Suppose j + 3*g + 11 = 0, -4*j = g + 2*g - 1. Is j at most as big as 2?
False
Let m = -3 + 2. Let r = 5 - 7. Let l = r - m. Which is greater: -0.1 or l?
-0.1
Let x be 18/33*2/(-3). Suppose 5*k = -5*s + 25, -3*s = k - 12 - 3. Which is smaller: x or k?
x
Let j = 29 + -33. Which is smaller: -12 or j?
-12
Let g = 6 - 3. Let p be 0 - -3 - 27/g. Is -4 <= p?
False
Suppose 8 - 2 = 3*h. Let o be h/(10/(-7)) - -1. Let y = -7/9 - -5/18. Which is greater: o or y?
o
Let q be 436/(-22) - 16/88. Let k = q - -19. Is -1/14 at most k?
False
Let g = 66.05 - 68. Let j = -0.05 + g. Is -8 >= j?
False
Suppose 0 = -5*q + 5*t - 45, 2*q - 3 = -4*t - 15. Let d be (6/(-12))/(2/q). Suppose w + d*w - 9 = 0. Is w greater than or equal to 2?
True
Suppose -20 = 5*f, 3*w - 8*w - 4*f = 16. Suppose 0*z - 12 = 3*z. Let c = z + 29/7. Is w less than c?
True
Suppose 0 = 5*u - k - k + 13, 2*u + 5*k = 18. Let i be (1/(-2))/((-39)/(-2)). Let p = i + -71/273. Which is bigger: p or u?
p
Let q = 3 - -4. Is q at most 7?
True
Let k(z) = -z + 26. Let j be k(-9). Are 32 and j equal?
False
Let m = -2/207 + -605/1656. Do m and 0 have different values?
True
Let c = 100 + -106.1. Let p = c - -6. Is -5 equal to p?
False
Let v be (-200)/(-1190) + 4/(-14). Is 0 greater than or equal to v?
True
Let c = -4.8 + 5. Let i be (12/(-54))/(1/(-3)). Which is greater: i or c?
i
Suppose -5*f - 5*c = -f - 35, -f + 8 = c. Let o be 14/5 + (-2)/f. Which is smaller: 3 or o?
o
Suppose -36 = 5*b - 6*b. Let p be 6*3/(b/(-8)). Is -4 < p?
False
Let q = 2 + -1. Let l = -8 + 6. Are l and q equal?
False
Let l be -1*0/(16/4). Which is smaller: -2/261 or l?
-2/261
Suppose -f + 13 = -3. Is 15 less than f?
True
Suppose -a + 7 + 7 = 0. Is a at most 15?
True
Suppose 4*t - 2*r + 6*r + 36 = 0, r = -4*t - 33. Let c(q) = -q**3 - 9*q**2 - 9*q - 11. Let g be c(t). Let x be (-4)/(-1)*10/(-16). Which is bigger: g or x?
x
Let l(a) = -6*a - 1. Let z be l(-2). Let c be ((-22)/8)/(2*2/(-16)). Is c bigger than z?
False
Let c be ((-4)/8*0)/1. Are c and 10/9 unequal?
True
Let d(i) = -i**3 - 6*i**2 + 2*i + 6. Let s be d(-6). Let o be 0/(5/((-10)/s)). Is o smaller than 7/5?
True
Let b be (-1)/4 + (-60)/16. Let r(m) = -m**2 - 5*m + 1. Let j be r(b). Suppose t = j*w - 0*t - 15, -5*w + 3*t + 5 = 0. Is w > 3?
True
Let t = -60.9 - -61. Are t and 13/5 non-equal?
True
Suppose 2*a - x + 3 = 0, -4*x + 3 = -3*x. Suppose -2*