h. Which is bigger: 1 or h?
1
Let p be (-120)/(-352) + 2/(-8). Suppose 0 = 3*c + 5*n - 20, -4 = -3*c + n - 2*n. Which is greater: c or p?
p
Suppose 2*l - 10 = -3*l. Let y be l/6*(-1 + 13). Is y less than or equal to 4?
True
Let q = 1 - -5. Let y be (-4)/(-14) - q/21. Let p be 5/((-75)/(-48)) - 3. Which is smaller: y or p?
y
Suppose -5*b = -0*b - 5. Let h be (-2 + b)*6/(-9). Let w(o) = -o - 1. Let v be w(-3). Is v at most as big as h?
False
Let l be (-6)/3 + 6/5. Let x(i) = -i - 4. Let p be x(-3). Let y be (3/6 + p)*0. Which is smaller: y or l?
l
Let h = -73 - -73.1. Which is greater: 7 or h?
7
Suppose -3*w = c - 2*c + 2, 20 = 3*c + 5*w. Let z(x) = -x**3 + 6*x**2 - 5*x + 6. Let l be z(c). Is l at most 6?
True
Let v be 3772/(-115) + 2/(-10). Is -33 <= v?
True
Let v = 2 + -5. Let g be (-2 - (-2799)/(-21))/(-1). Let i = 135 - g. Is v greater than i?
False
Let r = 30 - 13. Suppose -r = -5*m - 92. Is m greater than or equal to -14?
False
Let n = 44 - 45. Let x = -19 + 20.3. Let r = 0.3 - x. Is r greater than n?
False
Let r = -1 - -1. Let z = -0.03 + -0.97. Let n = z + r. Which is greater: n or -2?
n
Let o be ((-4)/(-172))/((-1)/(-2)). Are 0 and o unequal?
True
Let y(t) = -t**2 - 8*t - 10. Let a be 43/3 + 4/(-12). Suppose 4*p + 14 + a = 0. Let k be y(p). Is k <= -1?
True
Let x = -1.9 - 0.1. Let a = x - -2. Let j = 0.3 - 0.2. Is j less than a?
False
Let g(a) = -a**3 + 5*a**2 - a + 7. Suppose -5*n + 5 = -0*n. Let q be (n + 1)/(4/10). Let r be g(q). Is 4 greater than r?
True
Let i be 3/((-3)/(-1))*-2. Let d be ((-2)/1)/(i + 3). Which is bigger: d or -2/3?
-2/3
Let h be 28/(-5) - 2/5. Let k(i) = i**3 + 7*i**2 + 6*i - 4. Let m be k(h). Let c be 0/2 - m/(-12). Is 0.2 > c?
True
Let i be 1/2*5/2. Let w be (-1)/(-2)*6/3. Which is bigger: w or i?
i
Let x = -1 + -2. Let z = -6 - x. Let p(t) = -t**3 - 4*t**2 - 4*t - 1. Let d be p(z). Which is bigger: 3 or d?
3
Let c = 4 + -2. Suppose 4*m - c*i - 6 = 0, m = -m - 4*i - 12. Which is bigger: 1 or m?
1
Let o be (3 - 2) + 3/(-1). Which is smaller: -3 or o?
-3
Let n be (7/70)/(3/(-866)). Let k = n + 83/3. Let q = -6 - -4. Is k smaller than q?
False
Let z(c) = 43*c + 4. Let o be z(-3). Let d be (20/o)/((-2)/(-5)). Let t = -0.8 + 1. Which is smaller: d or t?
d
Let s = 5/6 + -13/21. Is s at least as big as 1?
False
Let r be (1 - (-12)/(-9))/((-2)/18). Is r bigger than 33/8?
False
Suppose 4*z + 4*l - 8 = 0, 6*z + 4*l = 3*z + 3. Suppose 0 = z*t - 2*t + 3. Is -1/24 less than or equal to t?
False
Let a = -62 + 62. Which is bigger: 12/19 or a?
12/19
Let p = 83/517 - -1/47. Are p and 1 nonequal?
True
Suppose 2*c + 4 = 3*s, 3*s - c - 2*c = 3. Let j be (-14)/(-7) + s/(-1). Is j >= 1?
False
Let q = -10 + 8. Let y be (138/(-135))/(2/3). Let m = -2/15 + y. Is m greater than q?
True
Suppose -68 = 4*v + 3*u + 15, -4*v - 4*u = 88. Which is smaller: -5 or v?
v
Let j = -331 + 5293/16. Is -1 != j?
True
Let p = -94 - -89. Which is greater: -4 or p?
-4
Let v(h) = -2*h**2 - 2*h - 1. Let p be v(-2). Which is greater: p or -3?
-3
Suppose 9*b = 4*b. Suppose b = -5*g - 2 + 27. Suppose 4*k + 4*n - 20 = 0, g*n - 9 = 16. Is k at most as big as 0?
True
Let z = -9 + 9. Let r be 2/(-15)*(z - 3). Is 0 != r?
True
Let h be (0 - -2 - 2)/2. Suppose h = 4*c - 3*c + 20. Is c at most as big as -21?
False
Let f = 82 - 40. Do 45 and f have the same value?
False
Suppose -2*w + 10 = t, -5*w - t + 11 = -2*t. Let j = 2 + -2. Let q = 4 + j. Is q bigger than w?
True
Suppose 0 = z - 5*z - 36. Let d be 1*3*(-33)/z. Let b = d - 9. Which is smaller: b or -0.2?
-0.2
Let y = -165/217 + -3/31. Let d = y - -1. Is -1 at most as big as d?
True
Let g be (-3)/(-6)*-4 - (-216)/111. Which is bigger: g or 1?
1
Suppose 4*r + 14 = 3*r. Is -15 smaller than r?
True
Let f = 7 - 7. Let c = 3 - f. Let l be c/(-10) + (-4)/(-10). Which is greater: l or -1?
l
Let y = 221 - 223. Which is smaller: y or 10?
y
Let j be (-1)/(1 + 0 + -2). Let r = 71/3 + -23. Which is greater: j or r?
j
Let s = -1.2 + 1.23. Let b = s + -0.14. Is 0.1 less than or equal to b?
False
Suppose -5*x + 3*n = 0, 2*x + 4*n - 4 = 22. Suppose -2 = 3*t + 2*w, -5*t = 3*w + 2*w. Let j be x/6*(2 + t). Is j <= 0?
True
Let w(a) = a**2 - a. Let h be w(2). Let p be (-6)/(-4) + h/(-4). Is p < -3/7?
False
Let t = 5.9 - 6. Do 22 and t have different values?
True
Let x be 5/3 + 5/15. Suppose -2*q = a - 2, -2*a + 26 = -5*a + x*q. Suppose -1 = w + 5. Does w = a?
True
Let t be (8 - 20)*(-6)/8. Is 9 at least as big as t?
True
Suppose -5*v = 5*n - 30, 5*n - 5 = 4*n. Let i be (-444)/(-72) + v/(-6). Are 7 and i non-equal?
True
Let o(h) = h + 8. Let i be o(-7). Let q = 17/15 - 293/285. Is i equal to q?
False
Suppose -11 - 1 = -3*i. Suppose -i*t = -0*t - 4. Is 3 equal to t?
False
Suppose -9*k + 3*k - 12 = 0. Which is smaller: -5 or k?
-5
Suppose 0 = 4*p - 8, -2*v + 4*p = -1 + 7. Let o be 3 + ((-6)/v)/3. Is o less than or equal to 1/13?
False
Suppose n + 0*v + 5*v = -3, -2*v = -4*n + 10. Let w = -1 - -1. Suppose s + 2 = 5*g, s = n*g - w*s + 1. Is g bigger than 1/5?
True
Let a(i) = 5*i**3 + 5*i**2 + 3*i - 9. Let o(f) = -6*f**3 - 5*f**2 - 3*f + 10. Let z(l) = 5*a(l) + 4*o(l). Let n be z(-4). Which is greater: n or -2/13?
-2/13
Let p = 54.1 - 54. Which is smaller: p or -0.18?
-0.18
Suppose -3*u - 4*c = -21, -3*u - 5*c = -2*u - 18. Let k = u + -13. Let m be (2/28)/(5/k). Is -1 not equal to m?
True
Suppose 0*i + 3 = -i + g, -3*g = -6. Suppose -4*x = 4*b + 52, 2*x = 4*x + 5*b + 38. Which is smaller: i or x?
x
Let b = -1.1 + 2.1. Let i = -0.03 + -0.37. Which is greater: i or b?
b
Let m(j) = j**2 - 1. Let h be m(2). Suppose -h*z - 9 = -3. Let p be (z - 2)/(1 + -3). Which is bigger: 1 or p?
p
Suppose 0 = -5*w + 2*w + 6. Let p = 4 + -6. Let h be 2/2 - p - 1. Are h and w unequal?
False
Suppose -12 = -3*q + 3*w - 0, -4*q + 4 = 2*w. Is q < 1?
False
Let p = -11 + 8. Let f be (-1 + (-6)/(-3))*7. Let d = 5 - f. Which is greater: p or d?
d
Let i be 0/((-1)/1 + 0). Suppose 2*l + y = i, 3*l + 14 = -0*l + 2*y. Let z = -164/15 - -31/3. Is z greater than l?
True
Let b = 22 + -21.97. Let q be -3 + 2 + 2 + -2. Is b less than q?
False
Let b(g) = -9*g - 32. Let p(d) = -3*d - 11. Let u(k) = 4*b(k) - 11*p(k). Let a be u(-5). Suppose -a*h + 5 = -3*h. Which is bigger: h or -1/7?
h
Let h = 1.94 - -0.06. Is h greater than or equal to -1/2?
True
Let b be (12/5)/(2/5). Suppose 0 = 2*m - 3*r + b, 11*m + 5*r - 35 = 6*m. Is 4 greater than or equal to m?
True
Let f be (-308)/312 - (-3)/(1 - -2). Which is bigger: -1 or f?
f
Let y(v) = -v + 2. Let m be y(-5). Are 4 and m unequal?
True
Let s = 9454/9 - 1052. Suppose -2 = 25*b - 24*b. Are b and s nonequal?
True
Suppose 3*m - 2*z - z + 135 = 0, 0 = m + 3*z + 61. Let g be (-14)/m + 46/(-14). Let y be -2 + -2*1/(-2). Is y < g?
False
Let j = -1357/11 - -123. Which is smaller: j or -1?
-1
Let k be (-2 - 0) + 3 - (4 + -3). Is 1/9 bigger than k?
True
Let o be 1704/(-5670) + (-4)/(-14). Which is greater: 1 or o?
1
Let o(t) = -t**3 + t**2 + 3*t - 4. Let f be o(3). Are -0.06 and f equal?
False
Suppose 0*s - 5*z + 3 = 2*s, s - z = 5. Suppose 0 = s*k - 11 + 39. Is k at most as big as -5?
True
Let h(w) = w**3 + 18*w**2 - 39*w + 19. Let r be h(-20). Is 3 at most as big as r?
False
Let j be (3/2)/((-3)/(-4)). Suppose -j*w + v + 9 = w, v - 7 = -5*w. Suppose p - 6 + w = 0. Is 4 at least p?
True
Let q = 30 - 29. Which is smaller: q or 4?
q
Let d be (-36)/(-6)*(-2)/4. Let h = 6 - 2. Suppose 0 = 5*l + h*i + 15 + 9, 5*l = -i - 21. Is d equal to l?
False
Let m = 11 + -19. Let p = -17 - -19. Are m and p nonequal?
True
Let p(g) = g**2 - g - 1. Let x be p(0). Which is smaller: 1/7 or x?
x
Let y(f) = f**2 - 3*f - 2. Let j be y(3). Let b(x) = -2*x + 7. Suppose 0*u = -5*q + 3*u + 34, 3*u = -2*q + 1. Let s be b(q). Which is smaller: s or j?
s
Suppose -5*h = -10*h + 4*t, -3 = -2*h + t. Let m be 2/(-9) + (-11)/(-9). Which is bigger: m or h?
h
Let d(v) = v**2 + 11*v - 12. Let i be d(-11). Let k be 13/5 - i/(-20). Suppose 4*t = 5*f + 2*t - 3, -2*f + 3*t = 1. Which is greater: k or f?
k
Let u be 3*5/(30/(-124)). Let z = 247/4 + u. Let r = z - -3/4. Which is bigger: 1 or r?
1
Suppose 0*p = -p. Which is bigger: 2/21 or p?
2/21
Let f = -10.3 - 0.7. Let s = f - -10.9. Let b be (-19)/(-39) - (-1)/(-3). Is b at least s?
True
Let b(d) = -d**2 + d - 1. Let p be b(2). Let n =