 5 - u. Which is smaller: 5 or h?
h
Let s = 442 - 9284/21. Is s greater than 0.3?
False
Suppose 2*l + 32 = -f, -l - 4*l + 5*f - 95 = 0. Is -19 bigger than l?
False
Suppose h + z + 1 = 3*z, -2*z = 4*h + 4. Let j = -3.3 - -3. Which is bigger: j or h?
j
Let q be ((-17)/68)/(94/8). Which is smaller: q or -1?
-1
Let i = -22/13 + 71/65. Which is smaller: i or 2/13?
i
Let p(g) = 2*g - 2. Let y be p(3). Suppose -5 - 3 = -2*r. Let i be 1/y + 3/r. Which is bigger: i or -1/5?
i
Let f = 14.1 - 13. Let g = 0 + 1. Let a = f - g. Which is bigger: a or 0?
a
Suppose -12 = 4*s - 4*b, 5*b + 7 - 1 = -2*s. Let v be (-2)/(-12) - (-126)/(-108). Which is bigger: s or v?
v
Let c be 1/(-12)*64/(-24). Which is greater: 1/4 or c?
1/4
Let y be 3*-3*(-6)/(-27). Let x be (1 - 114)*y/(-8). Let d = -59/2 - x. Is d at most as big as -2?
False
Let k be -5 - -3 - (1 - 18). Let j = k + -22. Let t be j/(-21) - 16/(-6). Is 3 >= t?
True
Let u(h) = -3*h - 32. Let a be u(-13). Suppose -2*b - 4*i - i + 31 = 0, -5*i + 23 = b. Is b <= a?
False
Let f = 30 + -332/11. Is -0.4 > f?
False
Let k(v) = -v**3 - 10*v**2 - 8*v + 9. Let u be k(-9). Let m = 89/2 + -175/4. Is m at least as big as u?
True
Let o be 23/(5/(2 - -8)). Is 46 less than o?
False
Let j = -1.1 + 1. Let i(b) = b**3 - 6*b**2 - b + 6. Let f be i(6). Which is bigger: j or f?
f
Let d = -16 + 26. Let z be 5 - d - (0 + 2). Which is bigger: -6 or z?
-6
Let m(k) = -k**3 - 2*k**2 - 4*k - 5. Let t be m(-2). Which is smaller: t or 1?
1
Let v = -2.01 + 0.01. Let x = 3 + v. Let r = 0 + x. Which is smaller: r or 0.1?
0.1
Let f(x) = -x**3 - 3 - 7*x**2 + 1 - 7*x + 1. Let o be f(-6). Suppose -15 = -0*s + o*s. Which is smaller: 2 or s?
s
Let o = -41/30 - -6/5. Let j(z) = -z**3 - 6*z**2 + 2. Let v be j(-6). Suppose 0 = 4*h - k + 1, v*k - 13 = -3*h - 0*h. Is o < h?
True
Let b = -226.1 + 238. Let g = b - 12. Which is greater: g or -0.8?
g
Let f = 15 + -16. Is 0 at least as big as f?
True
Let g = -1.41 + 0.41. Which is smaller: g or 14?
g
Let j be (-2)/70 + (-4)/10. Let y(s) = s**2 + 5*s - 6. Let h be y(-6). Suppose 0 = 4*w - h + 4. Are j and w unequal?
True
Let i = -1.91 + 0.11. Let p = i - -0.8. Are p and 7 non-equal?
True
Let h = -0.12 - -0.52. Let s = h - -1.6. Is 0.1 <= s?
True
Let m be 9/150*(-45)/54. Is 2 greater than m?
True
Suppose 4*m = 3*v - 37, 2*v = 2*m - 0*m + 18. Which is bigger: -11 or m?
m
Let h = -0.069 + -3.731. Which is greater: h or -0.1?
-0.1
Let j(w) = -w - 4. Let f be j(6). Does f = -21/2?
False
Let l be -1*0/(-1 + 2). Is 4/17 > l?
True
Let k = 0 - 2. Let o be k/(-24)*3*-2. Which is bigger: -1 or o?
o
Suppose -3*l + 17 = s, 2*l = 5*s + 3*l - 71. Let j be s/63 - (-122)/(-306). Which is smaller: 1 or j?
j
Let o be (3/2)/((-3)/(-8)). Suppose -o*v = 4*m - 16, 0*v + 2*v - 23 = -5*m. Let i(h) = h**3 - 5*h**2 - h + 4. Let r be i(5). Is r at most as big as v?
True
Let y(i) = i**2 + 17*i - 14. Let d be y(-18). Let n be (10/15)/((-6)/d). Is n less than 1?
True
Suppose 0 = 11*v - 13*v - 4. Which is smaller: v or -4?
-4
Suppose 5*c + 5*q = -0*c + 10, 4*c - 2*q + 16 = 0. Let g be c/(4 - 2/1). Let d be 1 - (g + 1 + -1). Does d = 1?
False
Let c = 53 + -2. Are c and 52 non-equal?
True
Let o(p) = p**3 - 6*p**2 + 8*p. Let f be o(4). Which is bigger: f or -1/16?
f
Let l(k) = -2*k + 25. Let u be l(13). Is u less than or equal to 4?
True
Let q = 5 - -1. Suppose 3*u = 2*a + 13, a - q*a + 4*u - 15 = 0. Which is greater: 5/3 or a?
5/3
Let z = -6.95 - -7. Let f = -0.05 + z. Which is bigger: f or 2?
2
Let w = -1 - 0. Let f = -113/1343 - -2/79. Are w and f nonequal?
True
Let a be (-1 - (-26)/(-6))/(3/18). Is a smaller than -32?
False
Suppose 4*x = 2*x + 2, 0 = 3*p + 3*x + 9. Suppose h = c + 4*c + 1, h + 2 = 2*c. Is p smaller than c?
True
Let p(n) = -2*n - 3. Let q be p(-2). Let y be (-4 - -5) + q + -1. Let j be -1 - ((2 - y) + -4). Is j at most as big as 2?
True
Suppose 100 = -2*t + g + 3*g, 4*g = 3*t + 144. Let x be -2 + t/36 + 3. Which is bigger: x or -1?
x
Let o be (-370)/(-12) + (-12)/(-8). Let w = o - 33. Is -7 bigger than w?
False
Suppose -5*s + n - 46 = 0, -2*n = -2*s - 9 - 3. Let z be (-14)/(-40) - (-6)/s. Do -1 and z have the same value?
False
Suppose 5*c - 4*c = -1. Let w be 2/6 + c/3. Is 2 smaller than w?
False
Let o(j) = -33*j**2 - j - 5 + j**3 - 2*j**3 + 29*j**2. Let i be o(-4). Let s be (-9)/(-30)*8/(-2). Which is bigger: i or s?
i
Let u = -75 + 74. Do u and -31 have different values?
True
Suppose -x = 4*x - 25. Let p be (-40)/(-14) + (-10)/x. Which is greater: 1 or p?
1
Let z be (-4)/(4/(-3)) + -2. Suppose z + 3 = -4*u. Let j be (8/16)/(2/(-4)). Is j not equal to u?
False
Let v = -1 + 4. Suppose -15 = -v*y + 8*y. Let s = 8 + -13. Do y and s have the same value?
False
Let i = -2.1 - 7.9. Let c = -10 - i. Is c less than -0.5?
False
Suppose -v = 2*v - 5*w + 3, 0 = -3*v - 2*w - 3. Is -2/95 bigger than v?
True
Let b = -1.4 - -0.8. Let y = b + 1.6. Let p = -0.8 - -1.1. Which is bigger: y or p?
y
Let n = -0.06 + 0.1. Let i = n - 0.04. Is 2/7 at most as big as i?
False
Let w be (-132)/9 + (-2)/6. Let n be 135/(-36)*(-1 - -5). Is w less than or equal to n?
True
Let a be -3 + 6 + (-8)/2. Which is smaller: 0 or a?
a
Suppose c = -0 + 4. Suppose -15 = -z - c*z. Let h be (-2)/(-3) + (-14)/(-6). Is h > z?
False
Let y = -21 - -31. Suppose 2*q - 4 = k, -5*k + y = -0*k. Let s = -4 + q. Which is bigger: s or -2/5?
-2/5
Let g = 1.02 + -0.02. Is -3 at most g?
True
Let t be (-28)/56*(-2)/(-7). Let c be 0 + 0 - 3*-1. Let u be (-2 - c/(-2))*0. Which is smaller: t or u?
t
Suppose -8 = 2*n + 2*n. Let o = -1 + n. Let b be (-4)/(-3)*9/(-6). Which is smaller: b or o?
o
Let z(h) = h + 1. Let w be z(1). Let y = -9 + 12. Let f = w - y. Which is bigger: -2/15 or f?
-2/15
Let g be (4 - (-1 - 1)*-3) + 0. Is g > 8?
False
Let m = -28 - -29. Is m > 1/13?
True
Suppose -6*m + 3*m - 3 = 0. Let b = 0 - -7. Let q be 4/(-8) + b/22. Are m and q nonequal?
True
Let q be (5 - 0) + (3 - 1). Let m = q + -1. Which is bigger: m or 7?
7
Let q = 7.05 + -6.9. Which is smaller: 0.1 or q?
0.1
Let p(c) = c**3 + 5*c**2 + 3*c - 1. Suppose -4*l - 8 = 8. Let t be p(l). Is t < 3?
False
Suppose -4*u = -2*r + 11 + 21, 2*u - 8 = -3*r. Are 5 and r unequal?
True
Let a = 38 + -45. Are -49/6 and a unequal?
True
Let h = -9 - -14. Suppose 15 = m + 5*s, m - h*s + 25 = -0*s. Is m less than -4?
True
Let k(w) = -w**2 + 15*w + 3. Let u be k(15). Is u <= 3?
True
Let v be (1*2)/((-2)/(-8)). Let r = 13 - v. Suppose -2*h - 2*h = 2*q, -3*h - 4*q = r. Is h bigger than 1?
False
Suppose -2*b - 12 = -g, -46 = -3*g - 0*g - 4*b. Which is smaller: 12 or g?
12
Let j(w) = w**3 - 7*w**2 - 9*w + 8. Let c be j(8). Suppose 0*s - 4 = 3*s + d, 0 = -5*s - 5*d - 10. Let z be s + 2 + -2 - -1. Is z less than c?
False
Let h = 36 - 3. Let m = 98/3 - h. Which is smaller: m or -5?
-5
Let o be 6/(-15) - (-2)/30. Are 6 and o equal?
False
Let y = 75/11 - 569/77. Is y smaller than -2?
False
Let i(x) = -2*x**3 + x**2. Let w be i(-1). Let m = w + 0. Suppose 10 = 2*b - m*g, -5 = -5*g - 25. Is -1 equal to b?
True
Let d(t) = t**2 - 13*t + 14. Let h be d(12). Let k = 184/15 + -148/15. Which is bigger: k or h?
k
Suppose 0 = w - 3*r + 3, 7*w - 4*w - 3 = -3*r. Let u = 690673/27 - 228740/9. Let p = -165 + u. Is w greater than p?
True
Let z = 13 - 19. Let p = -4 - z. Suppose -2*f = p*f + 4. Is -1 < f?
False
Let h = 0.2 - 0.1. Let j = 0.3 - h. Which is greater: j or -1?
j
Let u be (-210)/(-13) + (-8)/52. Which is smaller: u or 15?
15
Suppose 4*h - 3 - 113 = 0. Let q be -1*2 + (h - 2). Let i be ((-4)/q)/(4/10). Which is bigger: i or 0.1?
0.1
Suppose 4*w + 3*s + 4 = -s, 0 = w + 5*s + 17. Let y(i) = i**3 - 3*i**2 - 2*i + 4. Let a be y(3). Let f be 2/a*1 + 4. Do w and f have different values?
False
Let o be 2/(-4) - (-39)/54. Suppose -10 = 3*y + 5. Let p(q) = -q**2 - 5*q + 1. Let i be p(y). Which is bigger: o or i?
i
Suppose 0*g - 5*v = -4*g + 16, -5*g = -5*v - 20. Suppose 0 = 5*s, -3*s = -g*w - w - 10. Which is smaller: -1 or w?
w
Suppose 3*f - 6*f = t + 6, 3*t + 7 = 2*f. Which is smaller: 3/17 or f?
f
Let o = -8 - -14. Suppose -2*v - 2*y + 4*y = o, -3*y = -4*v - 12. Suppose -4*x = -x + 12. Which is smaller: x or v?
x
Let c be (-1 + 4)/(186/4). Let u = 21/155 + c. Suppose 0 = -d - 2*d + 3*g, -d - 3 = -4*g. Which is greater: d or u?
d
Suppose -14 = -9*i + 