 = l*h. Which is bigger: h or 5/2?
h
Suppose 0 = 2*v - 4*v - 4. Let c(g) = g**2 + 2*g + 1. Let r be c(v). Let j = -0.08 + -3.92. Which is bigger: j or r?
r
Let n be 1/(11/2) + (-1596)/66. Which is greater: -25 or n?
n
Suppose -15*h = -42 - 3. Let s = -1 - -1. Which is greater: h or s?
h
Let m = 90.9 - 91. Let u = 8 + -5. Which is greater: u or m?
u
Suppose 0 = -4*a - 6 + 2. Let u be (a - 0) + 28/20. Is u greater than 0?
True
Suppose 4*d - 11 = 3*d + 5*z, 2*z = -4*d. Let l = 106 + -105.96. Which is bigger: l or d?
d
Let t(d) = 12*d - 1. Let g be t(-4). Is g >= -50?
True
Suppose 0 = -5*h + 4*f + f + 25, 0 = -3*h - 2*f + 35. Let i = 6 - h. Is i greater than -2?
False
Let t(w) = w + 54. Let u be t(0). Suppose 3*y - 6*y + u = 0. Is 19 >= y?
True
Let p(n) = n**3 + 7*n**2 - 8*n + 8. Let d be p(-8). Suppose -4*i = -4*m - 8, -3*m = 4*i - d*i + 12. Suppose i*f = 3*f. Is 0 at least as big as f?
True
Let n = -0.6 - -0.52. Let d = n + -0.02. Let j = 0.6 + -0.9. Which is smaller: j or d?
j
Suppose 0*z = -3*z. Let f = -1657/3 - -551. Is f at least as big as z?
False
Suppose -q - 1 + 0 = 0, 0 = -3*v - q + 83. Is 28 >= v?
True
Let n = 3 - 4. Let p = 2434/3 + -800. Let b = 103/9 - p. Is n less than b?
True
Let g = 7 + -9. Let v = 2 + -2. Suppose 2*r + 2 + v = 0. Which is greater: r or g?
r
Let z = 13 - -36. Let s = -341/7 + z. Is s <= 2/3?
True
Suppose -5*u = -0*u - 2*k - 62, 2*k + 2 = 0. Suppose 0 = -2*f + u - 4. Let c be (-2)/f - (-3)/14. Which is smaller: c or 0.3?
c
Let z = -1 + 0. Suppose -44 = -5*i - 9. Let y(k) = k**3 - 7*k**2 - k + 5. Let u be y(i). Are u and z equal?
False
Let c be ((-15)/(-21))/(130/52). Let p = -0.057 + 1.997. Let d = p + 0.06. Is d at most as big as c?
False
Suppose -5*z + 2*x = -78, -5*x = -2*z - 0*z + 48. Let s be z/(-8) - 2/(-8). Suppose 2 + 0 = -5*v - 4*i, -3*i + 16 = -5*v. Is s less than or equal to v?
False
Let v(l) = -3*l + 1. Let c be v(-2). Let m be c/12 - 2/8. Let f = -1 - -2. Is m greater than or equal to f?
False
Let y(a) = -a**2 - 4*a + 6. Let b be y(-5). Let p be 0/(-2) - 12/9. Let q = p - -17/15. Is q < b?
True
Let i = -19646866240412/3834613475 - -6/49800175. Let o = 54486/11 + i. Let f = o - -170. Which is smaller: -1 or f?
-1
Let w(j) = -j**2 + j - 2. Let t be w(2). Is t at least as big as -6?
True
Suppose u - 2*u = 4. Let o be (-1)/6*(u - -8). Let j = 0 - 0. Which is smaller: j or o?
o
Let r be 35/(-14)*(-4)/5. Suppose -4*v = 4*y - 40, r*v = -0*v - 4*y + 22. Which is greater: -2/3 or v?
v
Suppose a - g = -2*g + 7, -4*a + 5*g + 1 = 0. Suppose h + a*d - 8 = -21, 3*h = -d - 6. Is 1 at most as big as h?
False
Let v = -0.69 - 0.12. Let g = v + -1.15. Let r = -0.04 + g. Does 2/3 = r?
False
Let l(c) = c + 21. Let p be l(-13). Are p and 1 equal?
False
Let u be (-1)/((-4 - -3)/(-3)). Which is bigger: u or -4?
u
Let m(v) = -v + 8. Let l be m(7). Let d = -54 + 488/9. Do d and l have the same value?
False
Suppose 4*p = -k - 0*k, -k = 3*p. Which is smaller: -2/39 or p?
-2/39
Let t = -1.06 + 1. Is t at least -1?
True
Let s = 1408 + -23948/17. Which is bigger: 0 or s?
0
Let v(k) = -k - 5. Let h be v(-6). Is h at most -5/23?
False
Let h = 59/4 + -29/2. Which is smaller: -2.8 or h?
-2.8
Let u(z) = 1 - 2 - z + 0*z. Let q(g) = -3*g + 20. Let w be q(8). Let l be u(w). Do 3 and l have different values?
False
Suppose -2*l = -0*l - 6. Suppose -l*q - 5*f = -72, 0*q - 3*q - f = -60. Is 19 at most q?
True
Let x = 16 + -17. Let r = -3.2 + 3. Is r less than or equal to x?
False
Suppose 0 = 5*z, -5*d - 7*z + 4*z = 570. Let p = d - -453/4. Which is greater: -0.2 or p?
-0.2
Let d be 0/(1/1 + 2). Let f be ((-1)/2)/(1/2). Which is bigger: f or d?
d
Let i = 20 + -16. Suppose i*k - 7*k = 0. Is k at most as big as 2/13?
True
Let o(h) be the first derivative of h**6/120 + h**3/6 - h**2 - 1. Let x(f) be the second derivative of o(f). Let s be x(0). Which is smaller: s or 1/2?
1/2
Let m(s) = s**3 - 6*s**2 + 2*s + 3. Let x be m(6). Is 15 less than x?
False
Let s(x) = x**3 + 2*x**2 - 1. Suppose -5 = 4*h - 1. Let i be s(h). Suppose -b = 3*l - 3, -6*b = -2*b - 4*l + 4. Is b at least as big as i?
True
Let m = -0.19 - 9.81. Let x = 9 + m. Do x and -2/19 have different values?
True
Let g(r) = -r**2 - 2*r + 1. Let l be g(2). Let w(t) = t + 4. Let p be w(l). Which is smaller: p or 1/5?
p
Let p(a) = a**3 + 5*a**2 + 4*a - 1. Let c be p(-4). Suppose -r - 10 = 2*l, 0*l - 3*l - 8 = -2*r. Which is greater: c or r?
c
Suppose -2*u - 4*y = -1 - 11, 5*y - 12 = -u. Suppose -u = -h - 1. Is h greater than -2/21?
True
Let h be -2 - (2/1 + -1). Suppose j - 5*s = 19, 0*s = 4*j - 2*s - 4. Let n be (1/(-2))/(j/(-2)). Are h and n equal?
False
Let y be 2/4 - (-11)/14. Let c be 26/14 + (-4)/(-28). Is y <= c?
True
Suppose -4*p + 3*m - 29 = p, 5*p + 5*m = -45. Let j = -9 - p. Let n be 0 + -2 + 6 + j. Is n greater than or equal to 4/5?
True
Suppose -8*r - 12 = -20. Which is smaller: r or 4/35?
4/35
Let f = 2.6 + -2.57. Which is smaller: f or 2?
f
Suppose 0*w + 5*w - 20 = 5*p, 3*w - 5*p = 18. Suppose a + w + 1 = 0. Let v be (7 - 8)*(-4)/(-2). Is v at most as big as a?
True
Let j be (1 - (-1 + 0)) + 2. Let y be -1 - j/(2*-1). Let k = -6.2 + 6. Is k > y?
False
Let q be 8/(-6)*6/(-4). Suppose -r + 0*r = f + 6, r + q*f = -11. Is -1 < r?
False
Let k = -6 - -7. Is -5 smaller than k?
True
Let h = -2 - 5. Let r = -8 - h. Is 1/11 less than r?
False
Let l = 7 + -14. Let d(r) = -r - 4. Let k be d(l). Let b = -43 - -44. Is b at least k?
False
Suppose -4*o = -2*o + u - 15, o = 3*u + 4. Is o less than 8?
True
Suppose -3*w - 4*s = 193, -5*w + 4*s - 3*s = 314. Let q be (-11)/(-14) + 18/w. Is q less than or equal to 1?
True
Let h be 136/(-14) + 8/(-28). Is -9 != h?
True
Let g = -165.04 - -162. Let a = 3 + g. Which is bigger: -1 or a?
a
Let h(q) = 2*q + 13. Let t be h(-7). Let j = 38/165 + -1/33. Which is smaller: t or j?
t
Let o(k) = -k**2 + 2*k + 3. Let w be o(3). Let x = -31817/35 - -909. Are w and x unequal?
True
Let n = -14.6 + 13. Let d = -1.9 - n. Let v = 0.2 + 0. Are d and v equal?
False
Let p(u) = u**3 + 8*u**2 + 6*u + 7. Let c be p(-7). Let q be (c/(-525))/(2/(-10)). Are -1 and q equal?
False
Let v(x) = 2*x + 16. Let k be v(0). Is k smaller than 15?
False
Let j = 5 + -5. Let s be 7 - 5 - (-38)/(-14). Is s != j?
True
Let x = -1/399 + -5/171. Is -1 smaller than x?
True
Let n(m) = -6*m. Let c be n(-1). Let w be (120/(-16) + 6)*14/(-3). Which is bigger: w or c?
w
Let n = -15 - -16. Suppose -2*p + p - n = 0. Let q = -223 + 3347/15. Which is bigger: p or q?
q
Let v = -8 - -9. Let p be -3 + v*(3 - 4). Is -4 smaller than p?
False
Suppose 4*d - 1 = 3*d. Suppose -5*f = -4*f - 4. Is d at least f?
False
Let x(h) = -h + 23. Let w be x(-8). Is w greater than 33?
False
Let s = -2 + 2. Let p = 0.1 + s. Let o = 1 - 1. Which is smaller: o or p?
o
Suppose -2*s + 4 = -2*o, -2*s = -o - 0*s - 3. Let n be 0/(o + (-1 - 0)). Let m be 21/42*(1 - 1). Is n less than or equal to m?
True
Let u = 55 + -54. Which is smaller: u or -8?
-8
Let b(g) = g**3 - 4*g**2 - 4*g - 6. Suppose -3*r = 6*n - n - 35, 5*n - 35 = -4*r. Suppose -4*u = -n*u + 15. Let j be b(u). Which is smaller: -2 or j?
-2
Let i = 7/15 - 1/3. Suppose -2*n - 7 = -2*o + 15, 0 = -5*n + 2*o - 46. Let g = -9 - n. Is i greater than or equal to g?
True
Let l = 11.5 + -9.5. Which is greater: 1/3 or l?
l
Let k = 2 - 2. Let q be (-35)/(-231) + (-2)/(-11). Is q < k?
False
Let f be -8*(-3)/(-30)*5. Which is greater: -22/7 or f?
-22/7
Let c(h) = -h**3 + 9*h**2 + h - 8. Let g be c(9). Is g != 1?
False
Let f = 16.8 + -2.8. Let i = f + -15. Is i smaller than 5?
True
Let k be 2/(0 - 4/(-10)). Suppose -k = -0*v - v. Is 6 greater than v?
True
Let h = 842/6885 - 8/81. Let p = h + 79/255. Which is smaller: p or 8?
p
Suppose -6 = 5*o + 14. Let h be o + 16/4*-1. Is 0.2 at most h?
False
Let d = -73 + 67. Which is bigger: d or -0.4?
-0.4
Let w(z) = 10*z**2 - 3*z**3 + 6 - z + 2*z**3 - 3*z**3 + 3*z**3. Let u be w(10). Is u != -4?
False
Let n = 35 - 35. Are 1/34 and n equal?
False
Let l be (3/2)/((-35)/10). Is 2/7 < l?
False
Suppose -5*k + 19 = d + 2*d, d - 1 = k. Let q be 2/(k - (-1 - -2)). Let b = q + -3. Is b less than or equal to -1/20?
True
Suppose k - 13 = -2*t, k - 5*k = 3*t - 42. Let g = 17/2 - k. Let c be -1 - 1 - (-7)/3. Which is smaller: g or c?
g
Let t = -14 - -13. Which 