 smaller: l or h?
l
Let l be (-1)/4 + 27/12. Let m = l - 2. Let v = m + -2. Which is bigger: v or 1?
1
Let w(x) = 2*x. Let z be w(-1). Let r be 6/(-20)*(z - -4). Which is smaller: -2 or r?
-2
Let y be 4 - (-90)/25*-1. Are y and -0.02 nonequal?
True
Let a = 17/7 + -5/28. Suppose 3*v - 4 - 2 = 0. Is v less than or equal to a?
True
Let b = 3/23 - 73/207. Let y = -0.4 - -0.2. Let g = 0.1 + y. Which is bigger: g or b?
g
Let j = -96 + 40. Let w = j + 283/5. Is 1 < w?
False
Let k(x) = 3*x + 12. Let o be k(-6). Let u be (-6)/(-2) - o/6. Suppose -4*s = -0*s - 24. Which is smaller: u or s?
u
Let j = -10 + 12. Let i(o) = o - 1. Let b be i(j). Which is smaller: b or -2/13?
-2/13
Let l = -0.009 + 1.029. Let c = 0.02 - l. Do c and -1 have different values?
False
Suppose 0 = 2*d, -4*d + 4 = 2*m + 2. Let u be (1/(1 + -2))/m. Which is greater: 2/33 or u?
2/33
Let o = 0.8 + -1.3. Let x = o + 0.4. Is x greater than -0.1?
False
Let v(h) = h**2 - 13*h - 18. Let d be v(13). Let n be 8/3*d/(-12). Suppose -i = i - n. Which is smaller: 3 or i?
i
Let z(h) = -h**3 - 3*h**2 + 5*h + 3. Let p(k) = k**2 - 14*k - 19. Let o be p(15). Let y be z(o). Are 5/6 and y unequal?
True
Let i = -8 + 7. Let o be 0 + -14*i/2. Let x be 1 + (-5)/o + 0. Which is greater: x or 1?
1
Let y(c) = 6*c + 7*c**2 - 11*c**2 + 4*c**3 - 5*c**3 + 6. Let g be y(-5). Is 1/6 smaller than g?
True
Let t be (-18)/(-63) + 10/14. Does -11 = t?
False
Let k = 0.31 + -0.24. Is k greater than or equal to -0.1?
True
Let b = -125.948 + -0.052. Let j = b - -120.04. Let d = j - -6. Are d and 1/4 unequal?
True
Let s be (-75)/360*6/20. Which is bigger: -1 or s?
s
Suppose -v = 3*v + 16. Suppose 77 = 6*o + 83. Which is greater: o or v?
o
Let z be 10935/(-72)*2/(-5). Let n = z + -61. Is n smaller than 4?
True
Let q(h) = -h**3 - 9*h**2 - 7*h - 3. Let l be q(-8). Which is greater: l or -10?
-10
Let x be 22/4*16/(-4). Is x < -22?
False
Let s = 0.09 + -0.79. Let m = -1.7 - s. Is -2/5 at least m?
True
Let t(b) = 0*b - 4 + 3 - 2*b. Let k be t(-3). Suppose -5*h - k*a = -2*h + 14, -5*a = -4*h + 28. Which is bigger: h or 1/2?
h
Let a(h) = -h**2 - 8*h - 6. Suppose 5*y - y = -28. Let s be a(y). Is s equal to 1/12?
False
Suppose -1 + 13 = -x. Which is smaller: x or -3?
x
Suppose -5*x + 5*h = -15, 2*x - 11 = -x + 4*h. Which is smaller: 16/7 or x?
x
Let n = 4/39 + -212/39. Suppose 2*x + 2*p = -16, 3*x - p + 2 = -14. Which is greater: n or x?
n
Let f(b) = b - 4. Let t be f(6). Let w be 0 - 5*(1 - t). Let k = w + -7. Is k less than -1?
True
Let w be 1*-3 - (-3 - (-2)/87). Which is smaller: 1 or w?
w
Suppose -2 = -3*f + f. Is 1/2 smaller than f?
True
Let n(z) = 19 + 13*z + 6*z - 17*z. Let q be n(-8). Which is smaller: 0 or q?
0
Let r = 11/21 + -4/7. Which is smaller: r or 1?
r
Let x = -703/10 - -70. Which is greater: x or -1?
x
Suppose -7*j = -2*j + 5*c - 15, -4*c = -j - 12. Suppose 0*t - t - 2 = j. Is -10/13 at most as big as t?
False
Let s = -6 - -2. Let v = s + 7. Suppose -v*j - 15 = -0. Is j smaller than -4?
True
Let a(z) = -z**3 + z**2 + 3*z - 1. Let t be a(2). Suppose 2*c = -0*s - s - 30, -3*s - 2*c - 70 = 0. Let y be -1 + (-2)/s*8. Is y >= t?
False
Let u = -1.7 - -0.7. Which is smaller: 3 or u?
u
Let b = -11 + -3. Let k be 4/b - 25/(-14). Let r = 8 - 5. Which is smaller: k or r?
k
Let n be (2/156)/(1/(-8)). Which is greater: 0 or n?
0
Suppose 2*k = -k - 3. Let i = 1 - k. Let o be (2 - 1)/(-1) + i. Is 3 bigger than o?
True
Let z(m) = -27*m**2 - m. Let v be z(-1). Let c = -16 - v. Is 10 less than c?
False
Suppose -7*t - 4 = -8*t. Suppose -t*u - 5*l = -4, 2*u + 13 = 4*l - 11. Do -5 and u have different values?
True
Let u = 0.12 + 0.48. Let k = u - 0.7. Which is smaller: -4 or k?
-4
Let d be (-11 - 4)*(-6)/(-9). Let b = d + 7. Which is greater: b or -3/2?
-3/2
Let y(i) = i. Suppose 3 = -3*r - 0. Let l be y(r). Which is bigger: l or 1/21?
1/21
Let h = 48.02 + -47. Let w = 0.02 - h. Is w greater than 2/5?
False
Let g be 2 + (2 - (-3 - -19)). Suppose n = -0*n - 11. Which is smaller: n or g?
g
Let b(k) = k**2 + 3*k - 6 + 1 + 2 + 5. Let l be b(-2). Let y = l + 3. Which is smaller: 4 or y?
y
Let c = 93 - 91. Let o = 1 + 4. Let a be ((-3)/(-30))/(2/o). Which is bigger: a or c?
c
Let z be (-3 - (-9 - -2))*(-5)/45. Which is bigger: z or -1?
z
Suppose -y = -z + 2, -5*y - 4*z + 5 = -3. Let p(j) = -j**2. Let b be p(1). Let c = b - y. Is -1 not equal to c?
False
Let l = 36 + -20. Is 16 at most as big as l?
True
Let v = -62 - -28. Let g = 76 + v. Let o be (-12)/(-42) + (-40)/g. Which is smaller: -2 or o?
-2
Suppose 5*p - 1 - 1 = 4*q, -5*p = 4*q - 18. Suppose -2 = -2*g + q. Let h be g + 6/9*-6. Which is smaller: h or -1?
h
Let d = 16 - -8. Suppose -d = -s - 5*h - 7, 26 = -2*s + 5*h. Which is bigger: -5/3 or s?
-5/3
Let g be 8/(112/66) + -5. Let f(h) = 3*h - 18. Let y(p) = -p + 6. Let n(k) = -4*f(k) - 11*y(k). Let o be n(5). Which is smaller: o or g?
g
Suppose -w = 4*b - 0 + 6, 5*w + 2*b - 6 = 0. Suppose -z - z - w = 0. Let h = -1 + -2. Is z not equal to h?
True
Let l = 4/77 - -69/154. Is l at least as big as -1.9?
True
Let n(h) = -h**2 + 14*h - 1. Let c be n(14). Which is smaller: -2/5 or c?
c
Let v = 2 - 2.1. Let s = -7 - -10. Let t = s - 3.2. Which is bigger: v or t?
v
Let r be 4*(-5)/(-30)*3. Let t be 84/36 - (-2)/3. Which is smaller: r or t?
r
Let w = -91 + 61. Which is smaller: 0 or w?
w
Let y be 4/(-10)*12/36. Let v be 4/14 - 4/14. Which is smaller: y or v?
y
Let g(k) be the third derivative of -k**4/24 + 2*k**2. Let z be g(-5). Let h be -3*1 + z + -1. Are h and 2/25 unequal?
True
Let v = -159/4 + 39. Which is greater: v or 1?
1
Suppose -3*c = -11*c + 72. Let h be 1/((-1)/2) - -12. Which is smaller: h or c?
c
Suppose 5*w - 7 + 2 = 0. Let s be w + -1 + (-4)/9. Suppose 0 = 5*a - 2*l + 15, 3*a = 4*a + 4*l - 19. Is s at least as big as a?
True
Suppose 2 = -3*x - 4. Let o be (x - (-1 - 0))/3. Which is bigger: 0 or o?
0
Let j(i) = 4*i - 29. Let h be j(7). Which is smaller: h or -9/4?
-9/4
Let d = -6.5 - -1.5. Let t = -4 - -4.1. Is d <= t?
True
Let w = -0.12 - -0.32. Are w and 1/3 equal?
False
Let v be -1 - 1*-4 - 0. Is 4 at least v?
True
Let g be 9/6*2/(-3). Let r = -5 + g. Let n = r - -7. Which is smaller: -0.1 or n?
-0.1
Let y = -28243/9 + 3135. Let n = y - -233/72. Suppose 0 = -4*i - 0*i. Is n equal to i?
False
Let t be (-56)/(-98)*(-14)/(-4). Let o = -1 - -1. Suppose 2*n + o*n = 4. Is n bigger than t?
False
Let s = -44 + 20. Which is greater: s or -25?
s
Let d = 0.1 - 1.2. Let j = d + 1.2. Which is smaller: j or 4?
j
Let f(q) = q**3 - 4*q**2 - 12*q + 1. Let p be f(6). Is -5/74 >= p?
False
Let u = 63 - 68. Let r = -232/5 - -46. Which is greater: r or u?
r
Let r = 5 + -5. Suppose 0 = -2*s - r*s. Which is bigger: s or -2/13?
s
Let g = 11.08 + -11. Let w = g - -2.92. Let u = 0 + 1. Is w < u?
False
Let j = -11 + 6. Let u = 11 + -6. Suppose 3*q + 14 = -4*s - 3, 2*s + 5*q = -u. Is j less than s?
False
Suppose -12*r + 66 = 318. Which is greater: r or -22?
r
Suppose 0 = -k - z + 1, 3*k + 5 = -k - z. Let m be (-1)/(-1*(-1)/1). Is m less than k?
False
Let y be 1 - 44/(-12) - (-1)/3. Is y > 5?
False
Let k = 16 + -16. Which is greater: k or -3/8?
k
Let h(o) = o + 17. Let m be h(-14). Are -0.2 and m nonequal?
True
Suppose 0 = 2*q + 21 + 5. Let a be (-2)/q + (-500)/(-130). Does 3 = a?
False
Let t(d) = -d**2 - 2*d - 1. Let a be t(-2). Let f be (2/3)/(341/(-33)). Which is smaller: f or a?
a
Suppose -b = 2*b + 21. Let h = 1766/7 + -252. Is h smaller than b?
False
Suppose -3*u + 2*u = 1. Which is bigger: u or -18?
u
Let z(d) = d - 12. Let n be z(11). Let c be (-6)/(n - (-3)/2). Which is bigger: c or -11?
-11
Suppose 4 = 5*x + 14, -5*x = -2*o - 38. Is o < -23?
True
Let v = -0.2 - -0.3. Let g = 5.9 + -6. Let n = 0 - g. Are v and n equal?
True
Suppose 2*m + 6 + 4 = 0. Let t = m - -4. Which is bigger: 1 or t?
1
Let a = 25.61 - -0.39. Which is greater: a or -0.1?
a
Suppose 2*y - 21 + 5 = 0. Which is bigger: y or 9?
9
Let n = -3 - -3.1. Let c be -3 - ((-100)/16 + 3). Which is bigger: c or n?
c
Let o be -1*(3 + (-2 - 19)). Let i = -17 + o. Which is smaller: -2/29 or i?
-2/29
Suppose k = 4*k - 3. Suppose 2*d - 7 - k = 0. Suppose 2*p = d*p. Which is smaller: 2/9 or p?
p
Let f = -3/74 + 175/666. Let h = 0.1 - -0.2. Which is smaller: f or h?
f
Let l(o) = o**2 + 8*o - 39. Le