ch is smaller: 2 or h?
h
Let k = -5.2 + 5.2. Which is smaller: k or 1.5?
k
Let b be (1 - 4) + 1 - -20. Suppose r + 2*r = b. Let i = -7 + r. Is i < -1?
False
Suppose 5*d - 7 + 2 = 0. Let p = 2.92 - -0.08. Which is greater: p or d?
p
Suppose -3*g + 2*n + 17 = 0, -2*g + 3*n = -0 - 13. Is 3 >= g?
False
Let z be -1 + 5 - (1 - 0). Let o = 4 - z. Let u be (8/(-6))/((-204)/18). Is u < o?
True
Suppose -4*c + 3 = -5. Which is greater: 4/7 or c?
c
Let x = 47 - 142/3. Suppose 4*b = 3*d + 13, 3*d = 2*b + 3*b - 14. Let f be (-4 - b*-2)/2. Is x > f?
True
Suppose -4*f - 4 = -3*f. Let a = f + 9. Suppose a*t = 9 + 6. Which is bigger: 1 or t?
t
Let u = 1 - 0. Let p = 92 - 91. Is u <= p?
True
Suppose 3*z = 4*g + g - 95, -4*z = 20. Let c be 6*2/g*36. Let s = c + -57/2. Does s = 1?
False
Let n(p) = -p**3 + p**2 + 3. Let y be n(0). Suppose 3*g = 4*s + 20, -y*g + 25 = -2*g - 5*s. Which is bigger: -8/5 or g?
g
Let f = -260/1309 + 2/119. Is f less than or equal to 0?
True
Suppose 4*r = 7*r - 21. Are 7 and r equal?
True
Suppose 4*y - 3*h + h - 30 = 0, y + 5*h = 24. Suppose 6*v - y = -3. Is 6 less than or equal to v?
False
Suppose -3*s + 4*z + 16 = 0, -z - 12 = -2*s + 2*z. Is s at least as big as 13?
False
Suppose -3*b + 10*b + 420 = 0. Let r be 56/b + (-8)/(-6). Is r bigger than 0.09?
True
Let m(s) = -s**2 + 3*s - 1. Let t be m(3). Let c be 2 - 2 - t - 0. Suppose 0 = -3*z + b + 3, 0 = 2*z - b - 4 + c. Which is bigger: 4/7 or z?
4/7
Let t be (15/(-1) + -1)/(-1). Suppose 5*j + t = 51. Let b = j - 4. Do 2 and b have different values?
True
Let j be 0 - -6*(-1)/2. Let b be -3 + j + 1 - 0. Which is greater: -6 or b?
b
Suppose 3*q + 0 - 3 = 0. Which is smaller: 1/12 or q?
1/12
Let m be (-6)/8*(3 + 1). Let j be m/(-18) - 2/(-12). Which is greater: -1 or j?
j
Suppose 0*g = 2*f + g - 54, -4*g + 141 = 5*f. Do f and 26 have different values?
True
Let s = 2.03 - 0.03. Let d be -1*(3 - 0 - 3). Suppose -r = -d + 1. Is r equal to s?
False
Let g = -26 - -115/4. Suppose 0*i + 2 = i. Is g at most i?
False
Let t = -7 - -11. Suppose 3*i = t*i + 1. Which is smaller: 1/3 or i?
i
Let h = -1 - 1. Let j(s) = -4*s - 1. Let y be j(h). Let r = y + -4. Is 3 less than or equal to r?
True
Let w = 8 - 21. Let d = w + 16. Do 3 and d have the same value?
True
Let l = 0.42 - 0.4. Which is smaller: -0.1 or l?
-0.1
Suppose 2*n + 3*g + 1 = 4*n, -n - 5*g - 19 = 0. Suppose -2 = 7*b - 5*b. Let l be (b - (-2 - -2))*4. Do n and l have the same value?
True
Let i = -1 - -2. Suppose 2*f - 3 = -i. Which is greater: f or 3/2?
3/2
Let a be (2/(-6))/1 - (-224)/546. Which is greater: 1.2 or a?
1.2
Suppose 3*o + 0*o - 6 = 0. Suppose -o*d - 8 = 2*d. Which is smaller: d or -3?
-3
Let l = 14.04 + -14. Which is smaller: -1/3 or l?
-1/3
Suppose -x - 2*x = 390. Let u = x + 652/5. Which is bigger: u or 0.1?
u
Suppose -2*s + 3 = 1. Let p = 0 + 0.2. Let z = p - -0.8. Is z >= s?
True
Let b = -1 - 2. Let i be b/(-4) - (-27)/(-12). Is -2 less than i?
True
Let g = 4 - 2. Suppose 0 = -0*t + 2*t - 8. Suppose t*w - 3 = 3*w. Which is smaller: g or w?
g
Let w = 11 + -20. Let k be (-1)/3 - (-789)/w. Let p be (-3)/(-12) - (-6)/k. Which is smaller: p or 0?
0
Let f be 8/24 + (-5)/18. Suppose 2*u + 3*z = -4, 3*u + 0*z - 13 = 5*z. Does f = u?
False
Let u = -0.1 - 0.1. Let z = -3.1 + 2. Let k = z + 1. Is u greater than or equal to k?
False
Let n be -1 + 2 - (4 + -25). Let i(g) = 24*g**2 - g - 2. Let b be i(1). Does n = b?
False
Suppose 10*l - 51 = 209. Is 26 smaller than l?
False
Let k = -91 + 147. Is k bigger than 0?
True
Let z = -3.4 - 5.6. Which is smaller: z or 1/4?
z
Let d be 18/(-30) - (-627)/(-5). Let t be (-3520)/(-2)*1/(-14). Let p = t - d. Is -1/3 <= p?
True
Suppose -2*h - 12 = -0*h. Let x be (6/8)/(h/4). Which is smaller: 1 or x?
x
Let q = -134 + 124. Is q greater than 4?
False
Let r = -57 + 56. Which is bigger: 1 or r?
1
Let b = 2.05 + -0.05. Let a = -23 + 14. Let h = 9.1 + a. Which is smaller: h or b?
h
Suppose 4*q - r = 12, 4*r = -11 - 5. Let g(f) = -f + 4. Let j be g(q). Which is greater: j or 3/4?
j
Let n be 0 + 0 - (-16)/128. Does n = 1?
False
Suppose 3*w = 3, -24 = -4*o + 4*w + 20. Suppose 0 = 4*t - 0*t - o. Suppose 4 = -l + t*c, -14 = -l - 3*l - 3*c. Is l != 2?
False
Suppose j + 5*h + 32 = 0, 2*j + 2*h = -h - 29. Let q(y) = -3*y - 3. Let r be q(-3). Let s = r + j. Which is smaller: s or 1?
s
Let m = 22157 + -442991/20. Let s = -36/5 + m. Is 0 at most s?
True
Let t = 52 + -49. Which is bigger: -3/2 or t?
t
Let h(x) = -x**3 + 3*x**2 + 4*x + 4. Let i be h(4). Is i > 21/4?
False
Suppose 8 = 2*p + 3*m - 6, 2*m - 24 = -5*p. Suppose -p - 4 = 4*f. Is -4 >= f?
False
Let r = -0.3 - 1.9. Let j = r + 2. Let g = 0.1 + j. Is g less than -2/7?
False
Suppose -2*u = 7 + 7. Let d = -14 - -6. Which is smaller: d or u?
d
Let w be 1/(-3*(28/9 + -3)). Let s(g) = -2*g + 2. Let r be s(2). Let q be (r/(-4))/(2/(-12)). Are w and q non-equal?
False
Suppose f - 5*z - 43 = -3*z, -161 = -4*f - 3*z. Which is bigger: f or 42?
42
Suppose 3*v + 0*v = 3. Is -1/28 less than v?
True
Let o(u) be the second derivative of -u**5/20 + 7*u**4/12 - 7*u**3/6 + 7*u**2/2 - 5*u. Let p be o(6). Which is smaller: 0 or p?
0
Suppose -7 = -5*j + h, 3*j - 2 + 7 = -4*h. Let n = -3 + 1. Let g = n - j. Is -3 equal to g?
True
Let j = -6 - -10. Let f be 0 + (j - 2) + 0. Is f less than 3?
True
Let c = -83 + 82. Which is smaller: c or -12?
-12
Let y be (6 - 5)/((-2)/42). Is y < -39/2?
True
Let j be (-196)/(-105) - 1/(-1). Let b = j - 8/3. Does b = 0?
False
Let r be (-6)/18 + (-700)/(-2172). Which is greater: r or -1?
r
Let r(m) = -m**2 - m. Let v be r(0). Let c be v/((-4)/2 - 0). Which is smaller: 2 or c?
c
Suppose 5*d - 43 - 122 = 0. Does d = 33?
True
Suppose 6 = -t + 2*t + 2*p, -4*t - p = -3. Suppose t = 4*j + 2 - 6. Let k be 6/(-20) - (-1)/6. Which is greater: j or k?
j
Let t(w) = -15*w**3 - 2*w**2 + 3*w - 2. Let u be (2/6)/(1/3). Let o be t(u). Which is bigger: -15 or o?
-15
Let l(z) = z + 3. Let k be l(0). Suppose -3 = -3*f - 3*m, 5*f - 10 = 3*m + k. Which is bigger: 1 or f?
f
Suppose 4*o + 5*y + 70 = -o, 42 = -5*o + 2*y. Let t be 4/o - (-32)/55. Is -1 greater than or equal to t?
False
Suppose 6*n - 3*n = -2892. Let y be ((-2)/(-8))/((-5)/n). Let g = 48 - y. Which is smaller: 1 or g?
g
Let l(t) = 3*t + 3. Let s be l(5). Suppose -2*q = 8 - s. Suppose 0 = 2*z + q*m - 9, 4*z + 7 + 20 = -m. Which is smaller: z or -7?
z
Let i(d) = d**3 + d**2 + d + 1. Let a be i(0). Let u = a - 0. Let v = -2/15 + 19/30. Is u equal to v?
False
Let l = -32 + 31.8. Are l and 0 nonequal?
True
Let v(l) = l**3 - 6*l**2 - 5*l - 5. Let d be v(7). Suppose -d = -5*y - 4. Is y less than 1?
False
Let j = 108 - 108. Is j greater than or equal to -1/17?
True
Let w = -57494/43 - -1337. Let r = -101/215 - w. Let t = 1.3 + -0.3. Is r less than or equal to t?
True
Let z = 9376/55 + -846/5. Which is greater: 0 or z?
z
Suppose -13 = 2*g + 13. Let f = g + 9. Are -4 and f non-equal?
False
Suppose -3*j - 5*w - 16 = 0, 11 = -3*j - 4*w - 9. Is j bigger than -11?
False
Let u(h) = h**3 - 10*h**2 + 12*h - 9. Let p be u(9). Suppose 0 = -2*f + 6*f + 2*w + 18, 5*f - 2*w = -p. Let c be 12/9 + f/(-6). Is c bigger than 1?
True
Let c = -62 - -35. Which is greater: c or -26?
-26
Let s be 1*-1 - (0 - 3). Let l be (-1)/2 - (-18 - -16). Which is bigger: s or l?
s
Let p be ((-20)/(-25))/(2/15). Let t(a) = a - 2. Let b be t(p). Suppose -d = -3*d + b. Which is smaller: d or -1/2?
-1/2
Suppose -3*p + 350 = 5*v, 4*v - 280 = -0*v + 2*p. Let s be 6/4*v/15. Suppose 4*a = s*a - 3. Which is smaller: 2/23 or a?
2/23
Let n = -5 - -20. Let u be 9/(-6)*(-4)/n. Which is smaller: u or 4?
u
Suppose 4*f - 18 = -5*p, -3 + 7 = 4*f - 2*p. Let j(m) = -37*m**2 - 4*m + 3. Let l be j(f). Let x be 33/l - 2/(-6). Is x equal to -1?
False
Let v(j) = -j**3 + 6*j**2 + 4*j - 6. Let f be v(6). Suppose -3*t + t = -f. Let s = t + -25/3. Which is smaller: s or -0.1?
-0.1
Let f be (-18)/30 + 58/5. Is 13 less than f?
False
Suppose 0 = -2*k + 10 - 8. Let i be (0 - 0/(-1))/(-1). Which is bigger: i or k?
k
Let c be (-2)/6 + 185/15. Let w(m) = -m**3 + 13*m**2 - 12*m - 1. Let f be w(c). Which is greater: f or 1/29?
1/29
Let d = -1 + 1. Let k be (-1*3)/(d - -1). Let m be k/(-5) + (-57)/120. Which is greater: -1 or m?
m
Let z(h) = -h**2 + 8*h - 4. Let i be z(6). Let p be (-9 - -6)/