ater than or equal to c?
True
Suppose -4*l = 2*h - 6, h - 1 = 2*h. Which is bigger: l or 2/3?
l
Let z be (2 - 0) + 8/4. Suppose -d + c - 2 = 0, -d + 5*c = 3*c + z. Which is bigger: d or -1/2?
d
Let j = -20 - -12. Let k = j + 7. Which is smaller: k or -3?
-3
Let x = 20 + -22. Which is bigger: x or -0.01?
-0.01
Let m = 328/5 - 66. Which is smaller: m or -38?
-38
Let z = -11.6 - -10. Let n = -11 - -13. Let b = z + n. Is -1 less than b?
True
Let z be (-16)/28 - (-429)/(-21). Is -21 less than z?
False
Suppose q = 3 - 0. Suppose -7*y + p = -3*y + q, 2*y - 12 = -4*p. Is y greater than -4/5?
True
Let m = 87 + -94. Is -3 greater than or equal to m?
True
Let g be 10/4*6/15. Is 1 at most g?
True
Let m be ((-401)/(-5))/(-1) - (-2)/10. Is -81 at most as big as m?
True
Let c(j) = -j - 4. Let g be c(-10). Suppose 2*m = g - 14. Is m less than or equal to -4?
True
Let n = 47/5 - 433/45. Let g = 14.8 - 15. Which is greater: g or n?
g
Let n(b) = -b + 1. Let k be n(1). Suppose 4*z + o + 2 = 0, k = z + o + 2 - 0. Let s = 538/5 - 108. Is s greater than or equal to z?
False
Let b = 29 - 29. Let y = 18.2 - 0.2. Let k = y - 13. Which is smaller: k or b?
b
Let v be 3*(8/(-3) - -2). Let t(x) = x**2 + 2*x - 24. Let r be t(4). Is v greater than or equal to r?
False
Let a = -131 + 131. Is a at most as big as -107?
False
Let t = 4 + -3. Let k be (-4 + t)*3/(-1). Which is smaller: 1 or k?
1
Let w = -2008/33 + 182/3. Is -0.2 <= w?
True
Let d = -20 + 25. Suppose 4*f = d*g + 12 + 4, g + 5*f - 20 = 0. Which is smaller: g or -3/10?
-3/10
Let n be 0*(9/(-6))/(-3). Suppose n = 2*u + 2 + 4. Let c be 6/9 - 1/u. Is c greater than or equal to 2?
False
Let h(j) = 2*j - 14. Let d be h(13). Is d <= 11?
False
Let b = 0.3 - 0.12. Let c = -0.08 + b. Which is smaller: 10 or c?
c
Suppose -2 = c - 4. Let u = 8 - 6. Suppose -u*f = c*t - 10, 3*t + f + f - 14 = 0. Which is bigger: t or 1/4?
t
Let w(r) = -r + 15. Let o be w(10). Let p(c) = c**3 - 5*c**2 - 2*c + 6. Let n be p(o). Let m be (-2)/4 - (n + 2). Is -1/2 at most as big as m?
True
Let d be (0 + -1)/(2/26). Let u = -31 - -19. Which is smaller: u or d?
d
Let r = 706 - 4249/6. Which is smaller: -3 or r?
-3
Let l(z) = z**3 - 14*z**2 + 13*z - 1. Let o be l(13). Is o != -3/23?
True
Let a = -0.11 + 0.09. Let y = -49.62 - -49. Let g = y - a. Is 0.1 > g?
True
Let d be 6/2 + -3 - -2. Let k be ((-1)/3)/(1/(-5)). Is k < d?
True
Let f be 1/28 + (-6)/21. Let u be (-3)/20 - 7/28. Is f >= u?
True
Suppose -7 = -h + 2*q, 2*q - q = 2*h - 14. Let o = 6 - h. Let c be o/4 + (-1)/12. Which is smaller: -0.1 or c?
c
Suppose 0 = -j - 2*j - s - 391, -4*j - 513 = 3*s. Is j bigger than -131?
False
Let m = 0.01 + -67.01. Is m less than 0?
True
Suppose 0*p - 3*p + 2*x = 1, -2*x + 3 = -p. Let m = -1 + 13. Let y be m/18 + 1/3. Is y <= p?
True
Let r be 36/15 - (-2)/(-5). Let a = -1 + 1. Suppose r*v + 0*v - 2 = a. Which is smaller: v or 2?
v
Suppose -3*z = 2*g + 25, -3*g - 6 = 9. Let j be (z - (-7 + 4))/4. Let c be (2/(-4) - -1)*0. Is c smaller than j?
False
Let y = 3.252 - -0.148. Which is smaller: -1 or y?
-1
Let m = -34 - -57. Let y = m - 11. Is -0.1 < y?
True
Let g be ((-3)/3)/(2/(-8)). Suppose -13 + g = 3*k. Let t(f) = -f + 3. Let q be t(6). Is k at most q?
True
Let w(v) = -12*v**2 + 14*v - 3. Let m be w(3). Which is smaller: m or -68?
m
Let w be -6 + 6 + 11/(-3). Is w less than -4?
False
Let r be 4/(-1) - (-6)/3. Let n be ((-1)/2)/(r/(-4)). Let t(y) = y**3 + y**2 - 2*y + 1. Let g be t(-2). Which is smaller: g or n?
n
Let v be 2 - (2 + 3219/(-21)). Let f be (-1)/(2/306)*-1. Let b = f - v. Which is smaller: b or -1?
-1
Let m = 35 - 20. Which is bigger: m or 14?
m
Let r = -3 - 5. Let d(a) = a + 10. Let l(k) = -1. Let g(q) = -d(q) - 3*l(q). Let n be g(r). Which is bigger: -0.1 or n?
n
Let q = 6 + -4. Are q and 0 unequal?
True
Let o be 0/3*2/4. Suppose o = -3*v - 3*u - 3, 5*u = -4*v - 0*u - 2. Let q(s) = s**2 + 15*s + 52. Let b be q(-8). Is b smaller than v?
True
Let p = 0 - 2. Let c be p + (18/4 - 1). Which is bigger: c or 1?
c
Let g = 4/9 + 1/18. Let y(r) = 2*r**2. Let v be y(1). Let w = -2 + v. Is w at most as big as g?
True
Let j(q) = -q. Let a(f) = -f**2 - 5*f. Let h(b) = a(b) - 6*j(b). Let d be h(1). Let w be (30/(-12) + 2)*8/10. Which is greater: w or d?
d
Suppose 0 = -n + 2 - 0. Which is smaller: n or 3?
n
Let v(d) = -d**3 - 16*d**2 - d. Let o be v(-16). Is o less than 14?
False
Suppose -48 = -0*s - 4*s. Suppose -f + s = 3*j, 4*f - 7 = -3*j + 5. Is j smaller than 0.1?
False
Let k = -7/48 + -815/336. Let w = k - -159/70. Is 0 greater than or equal to w?
True
Let n be ((-14)/35)/(6/10). Let g(o) = o**3 - 6*o**2 + o - 8. Let p be g(6). Does p = n?
False
Let o be (-2)/(-11) - (-316)/(-1980). Is 0 greater than o?
False
Let y(i) = i - 1. Let l be y(-1). Let a be (-10)/12 + (-1)/l. Suppose 2*f = 5*d - 5, 5*d + 5*f + 28 = 2*d. Is a < d?
False
Let s = -4.6 - -4.8. Which is greater: s or 0.33?
0.33
Let t = 7.4 - 2.1. Let x = -1.1 - t. Let n = -6 - x. Which is bigger: 2 or n?
2
Let o(w) = w**2 - 3*w + 2. Let b be o(2). Let r be 3/(-3 + 6) - (-35)/(-45). Which is greater: b or r?
r
Let y = -1.09 + 0.79. Let g = -0.2 + -0.8. Is y at least as big as g?
True
Let j(f) = -f + 9. Let n be j(10). Let x be (-1)/(((-3)/n)/(-15)). Let h be 2*(-2)/(-110)*x. Is h smaller than -1?
False
Let s = -30 + 34. Which is smaller: s or 5?
s
Let a(u) = -2*u**3 + u. Let f be a(-1). Suppose 0 = 6*v - 2*v + 4. Let z = f + v. Is z at most 0?
True
Suppose 4*z - 2 = 2. Let k be 4 + -4 + z + -1. Which is bigger: 2 or k?
2
Suppose -4*c = 3*l - 5*c + 10, -5*c = 5*l + 50. Is 1 bigger than l?
True
Suppose -5*h - 1 = i - 2*h, -h = -i - 1. Is -12/13 less than i?
False
Let b = -12 + 19. Suppose 3*m - 4*i - 23 = -5*i, 0 = m - 2*i + 4. Which is bigger: m or b?
b
Let t(s) = -s**2 + 6*s - 1. Let d = 7 - 1. Let i be t(d). Which is greater: i or 1/3?
1/3
Suppose -5*z + 12 = 2. Suppose 0*x + 14 = -z*x. Do x and -7 have different values?
False
Let z(q) = -q**3 + 5*q**2 + 5*q + 5. Let g be z(6). Let o = -332 - -5646/17. Which is smaller: g or o?
g
Let p = -10967/150 + 89/50. Let w = p + 73. Which is greater: 1 or w?
w
Suppose 5*s = -3 - 7. Let b(i) = -3*i**3 + i**2. Let h be b(1). Is h smaller than s?
False
Let t be 10*((-16)/(-300))/(2/(-5)). Which is smaller: t or 0?
t
Let q be (-60)/6*(-4 + 3). Let f = 11 - q. Is f equal to 1/5?
False
Let w = 5836 - 17699/3. Let b = 63 + w. Is b less than or equal to 0?
True
Let k(y) = -y**2 - 7*y - 4. Let j be k(-6). Let t = 52 - 48. Suppose j*c - 4*c - 3 = -u, t*u - 4 = 0. Is c < 2/7?
True
Suppose -5*a + 3*u = 3, u - 2*u + 1 = 2*a. Suppose 2*l + 2 = b - 6*b, 4*b - 5*l - 5 = a. Is b >= -2/11?
True
Suppose 5*b = -31 + 136. Suppose 4*i - b = -t, i + 3*i = t + 11. Which is greater: t or 6?
6
Suppose 2*c = x + 13, 0*c - 33 = -2*c + 5*x. Suppose 4*s = -4*u + c, 5 + 6 = -s - 5*u. Suppose -3*v = 59 - 71. Is s bigger than v?
False
Let w = -11 + 20. Suppose 0*j = -4*l + 2*j + 8, -3*l + 3*j = -w. Which is greater: 0 or l?
l
Suppose 4*a - 3*b + 8 = 11, -b - 1 = 0. Let y be (-2)/5 + 21/40. Are y and a nonequal?
True
Suppose k + 3*p = 39, 5*p - p = -k + 38. Do 42 and k have different values?
False
Suppose 15 = 5*d - 0. Let n be (-3 - -5) + 1*d. Is 6 >= n?
True
Let i = -32 - 113. Are -145 and i nonequal?
False
Let b be -5 + 1 + 1 - -2. Which is smaller: b or -6/7?
b
Let j(b) = 5*b - 30. Let x be j(10). Which is smaller: x or 21?
x
Let r be -2*(3/(-2) - 0). Let v = 4 - r. Let d be -3 + 276/54 + -2. Which is smaller: d or v?
d
Let t(p) = p**3 - 6*p**2 - 9*p + 10. Let n be t(7). Let z be 0/((-2)/8*n). Which is greater: z or -2/13?
z
Suppose -4*b - 2 = 18. Which is smaller: b or 0.07?
b
Let b be ((-24)/80)/((-2)/(-4)). Does b = -1?
False
Let b = -7/25 + 289/1300. Let s = 4/13 + b. Which is bigger: s or 1?
1
Suppose 3*l = 3*u + 18, 0 = l + 2*l + u + 2. Is l greater than or equal to -2?
True
Let p = -15 - -13. Let b = 1 + p. Is b greater than 1?
False
Let y be 4/6 - (-4)/3. Suppose -3*w = i + 3, -i - 5 = -5*w - y. Let n be -5 + 7 + (-13)/6. Which is smaller: w or n?
n
Let p = 29732/3 - 9814. Let l = p - 98. Is -2 < l?
True
Let n be (3/(-3))/((-1)/(-2)). Do n and 2 have the same value?
False
Suppose 0 = -g + 3*g + 5*l + 19, -3*g - l - 9 = 0. Let p(w) = 2*w - 8. Let z be p(6). Suppose -2*y + 3*b - 16 =