2))/(-9 + 6). Which is bigger: h or c?
c
Let o = 0.19 - 0.28. Let u = o - -0.19. Is u equal to -2/7?
False
Let u = 0 - 0. Suppose -w + 11 = 2*m, -3*w - 2*w = 5*m - 40. Suppose 2*k + m*x = -3*k - 7, 16 = -4*k - 5*x. Is k < u?
False
Suppose 3*p + 1 = 4*r + 6, -2*r + 5*p - 13 = 0. Is r <= 4?
True
Let p be (150/455)/(3/(-21)). Which is greater: -1 or p?
-1
Let s = 0 - 2. Let x be (s + -1 + 2)*0. Suppose 0 = -n - x*n + 2. Is 3 less than or equal to n?
False
Let z = -0.16 + 0.06. Which is bigger: -13 or z?
z
Let u = 752/1611 + -4/179. Let m = 17 + -18. Is u not equal to m?
True
Let p = -6.8 - -7. Is 7 greater than or equal to p?
True
Let k be -9 - (-1)/(1 + 0). Let l = -6 - k. Suppose -5*r + 5*i = -35, 8 = 4*r - i + l*i. Is r smaller than -2?
False
Suppose -11*g + 8*g + 27 = 0. Is 9 greater than or equal to g?
True
Let p(v) = v**2 - 5*v - 6. Suppose l + 5 = -4*x, -x = 3*l + 6 - 24. Let h be p(l). Let a(f) = -f**3 - f**2 - 2*f - 1. Let g be a(-2). Is h <= g?
False
Let v = -4 + 6. Let y = 0.2 + -0.2. Are v and y unequal?
True
Let q = -1115/7 + 159. Let p(l) = l - 3. Let v be p(4). Let b = 2 - v. Do b and q have the same value?
False
Let l be 1*1*(2 + -1). Which is greater: l or 1/7?
l
Let a be 18/(-4) + 3/6. Let j = 2 + a. Let b = 0.1 - 0.1. Is b at most j?
False
Suppose 5*u - 10*u = -20. Let z = 11 - 31/3. Is z at most u?
True
Let y be (15*1)/3*1. Suppose -3*j - 4*h + y = -6*j, -3*j + 11 = 4*h. Is j bigger than -2/5?
True
Let x be -158*(-2)/(-32)*-2. Let b = -865/44 + x. Is -1 equal to b?
False
Let t = 0.11 + -0.61. Let j = -4.5 - -4. Let o = j - t. Is o != 3?
True
Let m be (-3 - (-32)/22)/(-1). Let l = m - 103/88. Is l at most -1?
False
Let d(q) = q - 2. Let i be d(2). Let v = i - -1. Let f(g) = g**3 - g**2 - 4*g + 6. Let w be f(2). Is w smaller than v?
False
Suppose 0 = -2*s + s + 51. Are 103/2 and s unequal?
True
Let r = 1262/7 - 180. Which is greater: 4 or r?
4
Suppose 2*p - 20 = 2*w, 0 = -2*w + 7*w - 2*p + 44. Which is greater: w or -2?
-2
Suppose -5*r + 10 = 0, -2*s + 10 = -4*s - r. Let b = -3 - s. Suppose k - b*k + 4 = 0. Is 1 less than k?
True
Let r(s) = 2*s**2 - 4 - 1 + s + 4. Let m be r(1). Let z be 1/(-4) + m/(-56). Which is greater: 1 or z?
1
Let k = 138 - 1520/11. Which is smaller: -1 or k?
-1
Let h = -13 + 13.04. Let n = -0.96 - h. Is -0.01 less than n?
False
Let b = -17 - -3. Suppose 0 = -6*p - 93 + 9. Is p at least b?
True
Let z be 0/(2*2/4). Suppose 2*t + z*c = 5*c + 21, -18 = -t + 4*c. Which is smaller: 2 or t?
t
Let i = 5 + -6. Let d be ((-5)/(-3))/(2/6). Do d and i have the same value?
False
Let l be (-2)/(-8) + (-14)/(-8). Let n = 3 - l. Which is greater: n or -0.04?
n
Let p be (0 - 36/(-32)) + (-2)/16. Is -1/82 < p?
True
Let j(h) = h**2 + 2*h. Let f = -16 + 14. Let a be j(f). Is a bigger than 2/23?
False
Suppose 0 = -3*d - 1 + 7. Suppose -2*x - 6 = d. Suppose 22 - 2 = -4*k. Is x bigger than k?
True
Let p be 2*1/(-7) + 0. Let d = -6 + 8. Suppose -4*n + 2 = -d. Which is smaller: n or p?
p
Suppose 6*a - 6 = 12. Which is smaller: -5 or a?
-5
Suppose -2*d - p - 6 + 2 = 0, 4*p - 2 = d. Let r be d/4 + 0/6. Is r > 1?
False
Let f be 20/(-15)*(-1)/(-26). Let u = -133/312 - f. Which is smaller: -1 or u?
-1
Let w be -1 - ((-4)/(-2) - 3). Are 1/44 and w nonequal?
True
Let i be (5 - 4)/(3 + -2) + 4. Let s = -0.4 + 0.5. Which is greater: i or s?
i
Let q = -24.68 - 0.32. Let p = q - -20. Which is smaller: p or 2?
p
Let u = 0.3 + -1.3. Let m = 5.23 - 0.23. Is u smaller than m?
True
Let i(o) = o**3 + 13*o**2 + 9*o - 9. Let h be i(-13). Which is smaller: -125 or h?
h
Let v = 1.1 - 1. Suppose 2*i - y = -8, -5*i + 5*y + 1 = 16. Let m be 30/(-24)*1/i. Is m at least v?
True
Suppose b - 341 = -3*k, 5*b + 6 = 16. Does k = 114?
False
Let v(d) = d**2 - 4*d - 4. Let b(t) = -t + 1. Let n = 0 - 3. Let g be b(n). Let i be v(g). Do -3 and i have different values?
True
Let a = 4811/18354 + -1/798. Which is smaller: -1 or a?
-1
Let q = -2 - -2. Which is greater: 2 or q?
2
Let x be (6/9)/((-11)/(-3)). Suppose 3*r = -3*k - 9, 2*k + r - 5*r - 6 = 0. Which is smaller: k or x?
k
Let z(a) = -39*a**2 - 3*a + 1. Let b be z(3). Let q = b - -1787/5. Which is bigger: q or -3?
q
Let c be (-6)/(144/(-20)) + 1/(-2). Let d = 106908/5 + -21493. Let r = d + 111. Is c at most r?
False
Let o be 2/(-5) + 20493434/(-140). Let t = o + 146270. Let f = t + 223/2. Is 2/7 <= f?
False
Let r = 29 + -49. Let f be 2/4 + r/24. Is -1 not equal to f?
True
Let j be 6/(-4)*(-8)/(-30). Let y be -3*(-4)/6 + -2. Which is bigger: j or y?
y
Let c = -54 + 48. Let q be 4/(-14) - (-52)/(-14). Is c less than or equal to q?
True
Let p be 2 - (0 - 0)/1. Suppose -3*u - 4*d + 28 = d, -p*u + 22 = 4*d. Let q be (-2 + 1 + 1)/u. Do 0 and q have the same value?
True
Let t = 0.14 - 1.24. Let b = 0.16 - 0.06. Let w = b + t. Do -0.1 and w have the same value?
False
Let c = -17 + 26. Which is greater: 8 or c?
c
Let o be 138/144 - 2/(-12). Are 1 and o unequal?
True
Let g be 5*1/3 + -2. Let z = 14.9 + -17. Let f = z - -1.1. Is g bigger than f?
True
Let s be 10*(-7)/(-28) - 3/(-2). Let k(l) = l - 3. Let b be k(5). Is b smaller than s?
True
Let r be ((-18)/21)/(5/7). Suppose 0 = -6*c - 3*c - 9. Which is greater: c or r?
c
Let b = 1.96 + 0.04. Let u = -0.05 - 0.07. Let v = u + 0.02. Which is bigger: v or b?
b
Let w = 1.1 + 1. Which is bigger: -0.1 or w?
w
Let j be (-2)/6 + -1 + 0. Let q be (3 - 2)*1 - -1. Let g = q + j. Is g greater than 0?
True
Let x(i) = 3 - 2 + 2*i**2 - i**2. Let z be x(1). Let k = z + -1. Which is smaller: -1 or k?
-1
Let z be (-3)/1 - -1*1. Suppose 0*h + 3*h = -y - 5, 0 = h - 4*y - 7. Is h at least as big as z?
True
Suppose 4 = -2*g - y, -y + 8 = -5*y. Which is smaller: g or -9/11?
g
Let f = -5.89 - -6. Let z = 3.89 + f. Let u = z + -3.9. Which is smaller: u or 3?
u
Let d be (-36)/70 - ((-20)/28 - -1). Which is bigger: -1 or d?
d
Let v be (-32 - -4)/(-2) - (-2 + 2). Which is smaller: 13 or v?
13
Let p = 96 + -51. Suppose p = r + 4*r. Suppose 3 = 3*s - r. Which is smaller: s or 6?
s
Let s(w) = -w**3 + 9*w**2 - 7*w - 4. Let v be s(8). Which is bigger: v or 3?
v
Let r be (-1)/(-2)*(-26)/(-1). Suppose 48 = 5*s + r. Let l be 1 + (-5)/s + 0. Is l greater than 1?
False
Let w(u) = u**2 + 2*u - 1. Let n be w(-3). Suppose n*z = 5*z + 3*c, 3*c = 15. Is z bigger than -5?
False
Let f = 671 + -1985/3. Which is bigger: f or 8?
f
Let n = -223/545 + 1/109. Does n = 2/3?
False
Let k(x) = -4*x + 1. Let y be k(0). Is y > -6?
True
Let g = 0.21 - -0.79. Let r = 3.2 + -1.5. Let f = -0.3 - r. Which is bigger: f or g?
g
Suppose 7 = -s + 3, -4*v - 5*s + 120 = 0. Let m be 4/(-14) + 10/v. Is 2/3 at most m?
False
Let s be 0 + -2*2/(-4). Let z = 54 + -108. Let m be (9/z)/((-2)/4). Which is greater: m or s?
s
Let g be (-1)/6 - (13 + -13). Is g greater than or equal to -1?
True
Let q = 146 - 145. Which is greater: -65 or q?
q
Let l = -7/6 - -97/42. Which is smaller: l or 0?
0
Suppose -m + 2 = -3. Suppose -3*n = 4*a - 8*n - 6, -m*a - 3*n = -26. Which is smaller: 5 or a?
a
Let l = -0.2 + 0.3. Let p = -0.1 - l. Let g = -1.39 + 1.49. Is g less than p?
False
Let a = -3.96 + 4. Let b = a + 5.96. Let y = -0.1 - -0.2. Is y < b?
True
Let y = -1927/21 - -277/3. Suppose -7*i = -5*i. Which is smaller: i or y?
i
Let s = 30 + -1.2. Let h = 32 - s. Let m = h - 0.2. Is m at least as big as -0.1?
True
Let v = -16 - -26. Is 4 < v?
True
Suppose 2*m - 5*o - 20 = 0, -m - 4*o + 36 = -0*m. Let s be (-4)/m*(-4)/6. Which is smaller: s or 1?
s
Let a = -0.116 - -12.816. Let u = a + -8.8. Let y = u - 4. Which is greater: -1 or y?
y
Suppose 0 = 3*y + 2*s - 25, y + 67 = 6*y - 3*s. Are 10 and y unequal?
True
Suppose 0 = 2*k - 2*f - 66, -2*f + 3*f + 177 = 5*k. Let d be (-2)/6 + 8/k. Which is smaller: d or -1?
-1
Let x = 9 - 3. Suppose -8 = -2*q + x*q. Suppose 0 = t + 4*w + 16, 2*t - 2*w - 2 + 4 = 0. Is t smaller than q?
True
Let q = -3 + 2. Let y be q/(2/(-5 + 3)). Is -1/6 bigger than y?
False
Let k = 35 - 35. Which is greater: k or 1/3?
1/3
Suppose -3*i + 4*i - 2 = 0. Let o be 0/i - 4/(-6). Which is smaller: o or 2/7?
2/7
Let n be ((-5)/2)/(28/(-616)). Is n < 0?
False
Let t = 12.29 + -12.3. Is -5 < t?
True
Let v(o) = -3*o + 7. Let k be v(6). Let d = -18 - k. Which is smaller: -6 or d?
d
Let r be (-45)/(-6) - 1/(-2). Let f = r - 4. Suppose -u - 3 = -f*u. Whic