ich is bigger: h or f?
h
Let z = -4 + 2. Let u = -0.4 - -0.1. Let r = 1.3 + u. Which is smaller: z or r?
z
Let r = 8 - 2. Suppose -2*z + 2 = -r. Suppose -z*d = -d. Is -2/9 at least as big as d?
False
Let b be -23*(2 - (-21)/(-8)). Let o = 22477/18 + -454823/360. Let j = o + b. Does j = -1?
False
Let p = 2 + -3. Let z = 307.9 + -296. Let q = 12 - z. Is p != q?
True
Suppose -o + 6*o - 15 = 0. Suppose -o = v - 2. Let n be (-9)/75*4/6. Is v < n?
True
Suppose 4*t = -t + 3*v + 26, -v = 2. Let b be ((-4)/t)/(5 + -1). Let g(n) = n**2 - 3*n - 1. Let x be g(3). Is b greater than or equal to x?
True
Let h(b) = -b**2 + 5*b - 4. Let g be h(4). Let z(c) = -c**3 - 10*c**2 - 10*c - 8. Let t be z(-9). Is g greater than or equal to t?
False
Suppose -2*c = 2*n - 0*n - 32, -5*c - 4*n = -83. Suppose -l + 5*v = c - 1, -20 = -2*l - 4*v. Let r(f) = -f**3 + 3*f**2 + 4*f + 2. Let y be r(4). Is l >= y?
True
Let r(n) = -n**3 - 2 + 3 - 4*n + 0*n**3 + 6*n. Let j be r(-1). Is j less than 3/5?
True
Let u = -0.2 + 0.1. Which is greater: u or 2?
2
Let i = -131/3 + 44. Let j = -3 + i. Is -2 greater than or equal to j?
True
Let w be ((-3)/(-2))/(9/12). Let j be -3*w*3/(-24). Let i = -0.3 + 0.2. Which is smaller: j or i?
i
Let p(v) = -v**3 + 8*v**2 - 7*v. Let b be p(7). Does 3/5 = b?
False
Suppose 0 = -2*w - 87 - 141. Is w equal to 0.2?
False
Suppose 4 = 6*u - 2*u - 3*x, u = -5*x + 24. Suppose -3 + 12 = 3*q. Is u at least q?
True
Suppose 2*c + c + 83 = 4*t, -3*t = 2*c - 75. Suppose 12 = -5*p - t. Which is smaller: p or -6?
p
Let o be (-9)/30 + 1/2. Let r = -2/11 - -17/33. Is o != r?
True
Let l(f) be the second derivative of f**5/20 + 5*f**4/12 - 5*f**3/6 + 7*f**2/2 - 7*f. Let j be l(-6). Are j and -2/39 nonequal?
True
Let o = 43 + -46. Which is greater: -8/3 or o?
-8/3
Let z = 0.2 - 3.2. Let i = z - -2.5. Let n = -0.6 - i. Is 4 less than or equal to n?
False
Suppose -2*z + 3 = 1. Let i be (3/3)/((-1)/(-3)). Suppose -3 = -i*l + v, -2*v - 3 - 3 = -5*l. Which is smaller: l or z?
l
Let d = -27 - -28. Which is greater: 20/11 or d?
20/11
Let l = 97/232 - -6/29. Are l and -1 nonequal?
True
Let p be (-12)/(-8)*4/6. Suppose 5*x + p = -14. Are x and -3 unequal?
False
Let d = -1 - -1. Let q be (0/1 - d)/1. Let f = 97/112 + -23/16. Is q smaller than f?
False
Let v = 8 - 7. Suppose -2*p + 1 = -v. Does p = -2/19?
False
Let t be 120/30 + (-6)/2. Is -7 greater than t?
False
Let i(t) = t**3 + 4*t**2 + 2*t - 2. Let g be i(-2). Suppose g*z - 8 = -2*z. Suppose z*u + u = -6. Is 1 at least as big as u?
True
Let j be 0/2 + 416/143. Is j at most as big as 4?
True
Let s(u) be the second derivative of u**3/2 + u**2 - u. Let c be s(2). Let g be (-10)/(-8) - 2/c. Which is smaller: g or 2/3?
2/3
Let t = -3 + 4. Suppose -3*h = 2*h + 20. Let r be h/15 + (-9)/(-15). Which is bigger: r or t?
t
Let n be (13/52)/(38/6). Is n <= 1?
True
Suppose 5*w - 2*w + 18 = 0. Which is smaller: w or -5?
w
Suppose -3*f + 54 = 3*h, -5*h + 141 = -2*f + 30. Suppose -3*u + 27 = s + 2*u, -5*u + h = -2*s. Suppose s*b = 5*b. Are -4 and b unequal?
True
Suppose -4*y + 4*c = 18 + 26, 5*y + 58 = 4*c. Let p = -14 - y. Which is bigger: p or -4?
p
Suppose -5*j = 3*l - 38, 5*l + 3*j - 10 = 8*j. Let x be 8*3/l - 3. Is x at most 2?
True
Suppose 0 = -3*g + 7 + 5. Is g at least as big as -1?
True
Let q(f) = -f**2 - 7*f - 2. Let u be q(-7). Let s be (-28)/8*u/7. Which is bigger: 2/21 or s?
s
Let q(r) = r + 1. Let n be q(7). Suppose n = -t - 3*t. Let g(c) = -c**2 + 5*c - 6. Let b be g(4). Is t less than b?
False
Let n(o) = o**3 - 3*o**2 + o + 2. Let q be n(3). Suppose -5*p + 5*f = 0, -16 + 1 = -q*f. Suppose 5*g + p = -12. Does g = -5/2?
False
Suppose 47 + 31 = -6*a. Which is smaller: -15 or a?
-15
Let q be 4/6 - (-16)/(-42). Let b = 2 - 1.9. Is q bigger than b?
True
Let o be 2/(1 - 1 - -1). Suppose 2*w - 13 = -5. Which is smaller: o or w?
o
Let h be -2*(-21)/(-10) - (-10)/50. Is -12 not equal to h?
True
Suppose -q + 12 = -2*o + 3*o, -o = -3*q. Let w = o + -5. Suppose -w*u + u = -21. Which is smaller: 6 or u?
6
Suppose 2*q - 1 + 3 = 0. Let w(m) = 3*m**3 + m**2 - m - 1. Let y be w(q). Which is smaller: y or -5/6?
y
Suppose 0 = 9*s + 4*s - 5*s. Which is smaller: -1/4 or s?
-1/4
Let q be 4/(-14) - (-30)/56. Suppose -11*j = -7*j. Is q at most j?
False
Let w be (4/6)/((-4)/12). Suppose 15 = 5*t + 3*f + 81, -3*f = 3*t + 42. Let d be (45/t)/(0 - -3). Is w at most as big as d?
True
Let b be 9/3 + (-34)/10. Is b at most 0.3?
True
Suppose -24 = -5*w + 1. Are w and 5 unequal?
False
Let m = 0.6 + -1.1. Let f = -0.3 - m. Which is greater: -6 or f?
f
Let c be 14/14 + -2*342/676. Which is greater: c or 1?
1
Let x = 2.6 - -0.1. Is -0.1 bigger than x?
False
Suppose -4*k - 4*h + 19 = -33, h - 29 = -2*k. Is k smaller than 15?
False
Suppose 0 = -3*t - t. Let q(d) = d**2 - 16*d + 26. Let a be q(14). Is a at most as big as t?
True
Let a be 2/8 + 249/252. Let o = -3/225599 - 5004133/4737579. Let g = o + a. Which is smaller: g or 0?
0
Suppose -6*a - 2 = -7*a. Suppose 5*m + 2*i + 6 = -a, -5*m + i = -4. Which is greater: m or -1/42?
m
Let m be (7 - 2)*(3 + -2). Suppose m*i = 2*i. Let p be 5/12 + (-2)/12. Which is smaller: p or i?
i
Let y be 5/4 - (-5)/(-40)*12. Is y != 9?
True
Let d = -1.14 + 0.81. Let x = -0.17 + d. Which is smaller: -0.1 or x?
x
Let q = 19 - 18. Let o(i) = i**2 + 3*i + 2. Let n be o(-2). Which is smaller: q or n?
n
Suppose 142 + 104 = -6*z. Is -40 < z?
False
Let h = -161/2 - -82. Suppose 2*z - 4*i = -0*i + 14, 2*z = -i - 1. Which is greater: z or h?
h
Suppose 0 = -5*r - 15, -6*r + 2*r - 12 = 4*g. Suppose g*n = 2*n. Let h be (-7)/4 + (2 - 0). Is h less than or equal to n?
False
Let m(r) = r**3 + 9*r**2 - 3*r - 11. Let v be m(-9). Suppose -5*n = -u, 0 = -4*n + 5*n + 3*u - v. Let w be (-3 + 0 - -1) + 2. Is n smaller than w?
False
Let s be (-3 + 2)/(6/30). Is s bigger than -3?
False
Suppose 4*q = -c + 35, 3*c + 3 - 12 = 0. Let d be (9/(-27))/(q/3). Which is smaller: d or 1?
d
Suppose -22 = 5*f - 4*f. Let n be 6/4*(-4)/f. Which is bigger: n or 0?
n
Let z(j) = j**3 + 6*j**2 - 7*j + 5. Let b be z(-7). Suppose 0 = -g + b*g. Which is smaller: 0.05 or g?
g
Let n = 1 + 0. Let k(f) = -4*f**3 + 3*f**3 + 0*f**3 + n - 9*f + 10*f**2 + 1. Let y be k(9). Which is smaller: y or 3?
y
Let r be (-2)/(-5) - (-192)/(-580). Which is smaller: r or 0?
0
Let a(v) = v**3 - 7*v**2 - 8*v + 2. Let n be a(8). Is n greater than -3?
True
Let z(h) = h**2 + 7*h + 8. Let k be z(-7). Suppose -4*r - q = k, 5*r - 7 = -0*q + 3*q. Which is bigger: r or 1/3?
1/3
Let l(t) = -24*t - 32. Let a be l(-4). Is a smaller than 63?
False
Suppose -o = -5*x + 4*o + 95, -4*o - 48 = -2*x. Suppose 10 = -f + 3*a, 0*f - 3*f - x = -5*a. Let r(t) = -t + 4. Let c be r(3). Which is bigger: f or c?
f
Let t be (-3)/4 + 24/32. Let u = -1 + 3. Suppose u*q - 1 = -3. Which is greater: q or t?
t
Let j = -0.06 + 0.05. Let m = -1.47 - -2.46. Let i = m - j. Are 4 and i equal?
False
Let q = 1.1 + -6.1. Let z = -0.7 - -1.1. Let a = z + -0.3. Do a and q have different values?
True
Let m be (4/(-2))/(-2)*8. Which is smaller: m or 9?
m
Let b = -3 + 3.02. Let t = -0.1 - b. Let r = t + 0.02. Which is bigger: r or 2?
2
Let r = 88 - 62. Let b be 1/1 + r/(-22). Which is smaller: b or -1?
-1
Let b = 0.3 - 0.34. Let g = 0.8 - 1. Let v = g - -0.3. Which is greater: v or b?
v
Suppose 5*n - 4*v + 5 = -0*n, 3*n + 3 = -v. Let d be (0/(6/(-2)))/(-1). Which is bigger: n or d?
d
Let m = -15 + 18. Suppose m*t = 4*t - 3. Which is smaller: 4 or t?
t
Let o = -8 + 8. Let v be -2 + o - 48/(-20). Which is bigger: v or 1?
1
Let c = -7 - -8. Let m = 3 + c. Which is smaller: m or -1?
-1
Let d = -0.03 + -0.77. Let s = 0.7 + d. Is s < 0.03?
True
Suppose -a = 5*t + a, -4*t - a = 0. Suppose -6*x + 3*x + 504 = 0. Let c = x - 1178/7. Which is smaller: c or t?
c
Let g = 1798/9 - 200. Suppose 0*h + 6 = 6*h. Which is greater: g or h?
h
Suppose 5*j + 7 - 2 = 0. Let u(q) = -q**2 + q + 1. Let g be u(j). Is g > 2/35?
False
Let m be (-3)/(-12) + (-1)/12. Which is smaller: m or -1?
-1
Let y = -2/83 + -79/166. Let q = 5.16 - 5. Let x = q - 0.2. Which is greater: x or y?
x
Let j = 13 + -26. Let s = j - -3. Is s at least -10?
True
Let h(w) = w**2 - 16*w + 4. Let j be h(16). Suppose 4*p = 5*r + 21, -r - 2 = -j*p - 1. Is p >= 4?
False
Let w = -0.23 + 2.23. Is 10 greater than