19 = 2*h. Which is bigger: h or -1?
-1
Let t = -32 + 255/8. Is t != -1?
True
Suppose j = -0*j + 7. Is 7 at most as big as j?
True
Let n be (2*-1*-1)/(-3). Let r = -857/2655 + 13/45. Are n and r unequal?
True
Let w be 4 + (-30 - (1 + 3)). Which is smaller: w or -29?
w
Let v(i) = i**2 + 8*i - 5. Let a be v(-10). Let b be 35/a - (-9)/(-3). Which is smaller: -7 or b?
-7
Let u = -11 - -11. Suppose u = -r - 5*j + 20, 2 + 13 = -4*r - j. Let g be 2/(-12)*(-9 - r). Which is greater: 2 or g?
2
Let l(x) = -x**3 - 10*x**2 - 8*x + 7. Let c be (-3*1)/(7/21). Let n be l(c). Which is bigger: -0.1 or n?
-0.1
Let m = -6 + 7. Are 5/3 and m equal?
False
Let c = -557/814 + 21/22. Let h = c + -103/518. Which is greater: h or 1?
1
Suppose 4*q = 5*q. Let u be (-1)/(q - (-1 - 0)). Let k(o) = -o**3 + 3*o**2 + 5*o - 5. Let c be k(4). Is u > c?
False
Suppose s + 14 - 1 = 2*l, 0 = -3*l + s + 18. Let h = 0 - -2. Which is smaller: h or l?
h
Let m = -635/14 - -227/5. Are 1 and m non-equal?
True
Suppose 0 = 3*q + 2*i - 33, -3*i = -5*i + 6. Let b be -2*q/42*-7. Is b at most as big as 2?
False
Let i be (-2)/6*(-6 + -3). Which is smaller: 1 or i?
1
Suppose 3*a = -3*k - 9, -3 = 4*a + k + 3. Which is bigger: -1/20 or a?
-1/20
Let f = 10 + 6. Let m be (-4)/(-15)*(-24)/f. Which is smaller: -5/3 or m?
-5/3
Let l be 18/8*(-16)/6. Let g = l - -8. Let m be (g/3)/(2/(-3)). Is m greater than or equal to 1?
False
Let g = -0.09 - 4.91. Let r = 0.6 + -0.5. Which is greater: r or g?
r
Let i = -313 + 2501/8. Let l = -1 + 1. Suppose 1 = -l*n - n. Is i less than n?
False
Let j = 38 + -27. Suppose -5*y = 1 - j. Which is smaller: y or 1?
1
Suppose -4*t + 5*p + 34 = 0, 0 = -4*t + 2*p - 9 + 49. Let u = -9 + t. Is u less than or equal to 0?
False
Let q = 0 - 0. Let z = -7077553/49580 + 2/12395. Let u = -142 - z. Is u at most as big as q?
False
Let k be (-8828)/45 - (-2)/(-9). Let s = k - -197. Suppose 0 = 5*z - z. Which is smaller: s or z?
z
Let q = -129 - -1413/11. Which is smaller: -2/9 or q?
q
Let p(x) = x**3 - 6*x**2 - x + 5. Let c be p(6). Let w be -1*(2 + c) + 3. Which is bigger: w or -1/2?
w
Let t(v) = v**2 - 6*v - 2. Let s be t(5). Let u = 15 - 21. Which is smaller: s or u?
s
Let z = 97/165 - -2/165. Let j = 1 - 0. Let m be (-2)/6*(j + -7). Which is bigger: z or m?
m
Let a be (-40)/(-30) + 0/2. Which is greater: a or -1?
a
Let o(c) = c**2 + 5*c + 2. Let l be o(-4). Which is greater: l or -6?
l
Let q = -8.2 - -1.2. Let r = 8 + q. Which is greater: r or -4?
r
Suppose 2*u + 75 = 5*u. Suppose -u = 3*j + 2*j. Let x = -1 - j. Do x and 3 have different values?
True
Let a = 398 - 13928/35. Which is greater: a or -1?
a
Let i(g) = -g**2 + 10*g - 8. Let r be i(9). Are 2/5 and r equal?
False
Suppose -r = 5*u + 4*r - 10, 3 = 2*u + r. Is u > -4/9?
True
Suppose 0 = 3*l + 5*x - 5, -l + 2*x + 0*x = 2. Let r = 0 + l. Suppose 3*b - 8 = -4*i - b, 5*i - 2*b + 4 = r. Do i and -1 have the same value?
False
Let k = 3 + -5. Let j be (-4)/6 - k/3. Let b be 5/(-12) - 5/(-20). Which is smaller: j or b?
b
Let x be (-1)/(-4) - 59/(-4). Is 15 at least as big as x?
True
Suppose 0 = -4*a + 5*a - 2*s - 10, -5*a = 5*s - 5. Suppose 5*u - 4*d = -10, -5*d + 0*d - a = 2*u. Do u and 0 have the same value?
False
Let a(j) = j**3 - 3*j**2 - 4*j + 1. Let u be a(4). Which is bigger: -1/12 or u?
u
Let b = 69 + -73.1. Let w = -0.1 - b. Let c = 4.2 - w. Are 0 and c unequal?
True
Let n = 254/299 - 16/23. Let b(h) = h**2 + 6*h - 5. Let m be b(-7). Suppose -2 = 4*q + m. Which is smaller: n or q?
q
Let l be 1/1 - 15/21. Let p be 10/8 + 1/(-4). Let y be (1 + -2)*(p - 0). Which is bigger: y or l?
l
Let n(w) = -w**3 + 11*w**2 - 10*w - 1. Let t be n(10). Let j be t/3 - (0 + 1). Is -1 != j?
True
Let x = 0 - 0. Let g = -1 + 4. Suppose x = -g*l - 3 - 0. Are l and -1 unequal?
False
Let u be 18/18 + (-22)/6. Which is greater: u or -4?
u
Let j = -34 - -139/4. Which is greater: -3 or j?
j
Let m = 0.03 + 0.06. Is m at most -3?
False
Suppose 6 = -4*o - 6. Let c be 3 + (0/o - 4). Which is smaller: c or -6?
-6
Let x = -47 + 50. Which is greater: x or 21/8?
x
Let b = 1789/38 - 47. Is b at most -1?
False
Suppose 17 = -3*a + 11. Let x be 12/4*(-2)/6. Which is smaller: a or x?
a
Suppose -4*w - 6 = -5*o, 5*w + 1 - 4 = o. Is w smaller than -1?
False
Let a be (-424)/(-24) - 6/9. Which is smaller: 22 or a?
a
Let z(d) = -d**3 + d - 1. Let j be z(-2). Suppose b = -j*y - 58, 3*b + 12 = 3. Does y = -11?
True
Let c = -2 + 1.9. Let y = 0.3 + c. Let b(u) = u - 3. Let w be b(1). Which is smaller: w or y?
w
Let u = -0.0831 + -12.9269. Let c = 13 + u. Which is smaller: c or -2/5?
-2/5
Let n = -0.003 + -2.097. Let q = 2 + n. Let p = q - -0.2. Which is smaller: p or -2/3?
-2/3
Let u = -110 + 106. Which is smaller: u or 4?
u
Let g(i) = i + 1. Let r = 4 + -2. Let v be g(r). Suppose v*n = -0*n + 21. Is n smaller than 7?
False
Let o(n) = -2*n**3 - n**2 + 6*n + 1. Let s be o(2). Which is bigger: s or 1?
1
Let b = -4 - -22/5. Let t be (-3)/6*(-241)/(-2). Let d = -60 - t. Is b <= d?
False
Let s be (-1)/(-2)*2/(-3). Suppose -5*a + 5 = 25, 2*y + 3*a = -22. Let q be (-1)/((y/2)/(-1)). Which is greater: q or s?
s
Let w(h) = -h - 12. Suppose -2*r = 5*i - 4*r + 53, 4*i + r = -32. Let b be w(i). Which is smaller: 2/3 or b?
b
Let m be (-2)/(6/(-3)) - 1. Let o be (-3)/30 - (-2)/5. Which is bigger: o or m?
o
Let x = 4 + -4. Suppose 9 = 3*s - x. Suppose 0*g - 6 = s*g. Which is greater: g or -1?
-1
Let n = -0.2 + -4.8. Let z = n - -2. Let u = z + 5. Are 0.1 and u non-equal?
True
Suppose 2 = v + 4. Let x be 3/v*(-2)/6. Let r = 5 + -8. Is x less than r?
False
Suppose r = 2*r + 43. Let t = -127/3 - r. Let x = -4 - -1. Are t and x unequal?
True
Suppose -1 + 5 = 2*u. Let h be (-112)/(-35) + (-6)/u. Which is smaller: h or 1?
h
Let k = 1 - 1. Let y = k + 1. Suppose 14 = -4*w + 2*w. Which is greater: w or y?
y
Let p be 6/4*(-16)/(-12). Suppose -3*m - p*m = 0. Is m greater than or equal to 3/4?
False
Let j = 0.19 - 0.09. Which is smaller: j or -0.04?
-0.04
Let f(h) = 22*h**3 - h**2 - h + 1. Let v be f(1). Let u be 36/v + 4/14. Suppose -u = -d - 3. Which is greater: 0 or d?
0
Let c = -8.6 + 9.6. Which is smaller: c or -1.3?
-1.3
Let l = 1 - 1.01. Let h = l - -0.61. Let z = h + -0.8. Which is greater: z or -2?
z
Let q be (-76)/(-16) - (-6)/(-8). Let g(i) = -i + 2. Let h be g(q). Let y = -7 + 7. Which is greater: h or y?
y
Let w(a) = 0*a - 9*a**2 + a**3 + 8*a + 0*a**3 - 3 + 1. Let i be w(8). Which is greater: i or -3?
i
Let a be (-3)/(3/1)*(-1 + 2). Is a greater than or equal to -22?
True
Suppose 23 = -9*p - 13. Which is bigger: p or -1?
-1
Let w be 110/25 + (-2)/5. Suppose 2*g + w = -6. Which is bigger: -6 or g?
g
Let s(b) = 5*b**2 - 1. Let n = 5 + -4. Let h be s(n). Suppose t + h*t = -5. Which is bigger: -1/4 or t?
-1/4
Let q = 0 - -6. Let l = 5 + 1. Is q > l?
False
Suppose 5*d = 3*w + 13, 5*d + 6*w = 2*w + 6. Which is smaller: -1/6 or d?
-1/6
Let a(z) = z**2 + 14*z - 16. Let v be a(-15). Is v at least 0.1?
False
Let p be 350/(-42) + (-2)/(-6). Are p and -8 equal?
True
Suppose -2*r - 20 = -6*r. Suppose 10 = -r*j + 50. Do j and 9 have the same value?
False
Let h = -20 - -17.4. Let d = 0.63 - 0.03. Let f = h + d. Is f greater than -1?
False
Let n = 144 - 144. Which is smaller: n or 2/149?
n
Let v be (3 - (-18)/(-4))*-4. Let m be v/2 - (2 + -17). Let d be (-3)/m*(-4)/(-2). Which is smaller: d or 0?
d
Let q(c) = c**2 - 8*c - 2. Let j be q(9). Which is greater: 35/6 or j?
j
Suppose -3*p = 7*s - 2*s - 150, p - 59 = -2*s. Let h be ((-1)/s)/(2/4). Let z = 20/27 + h. Which is bigger: 1 or z?
1
Let k = 0.2 - -0.8. Suppose 0 = -4*r - 4*n + 32, -2*n = -3*n + 2. Let l be 1/6 - (-1)/r. Which is smaller: l or k?
l
Let w(f) = -2*f - 18. Let u be w(-9). Is 2/3 < u?
False
Suppose -4*f - 8 = d, f - 18 = -2*d - 62. Which is smaller: d or -26?
-26
Suppose -4 = -r - 5*z + 2, -2*r - 3*z = 2. Let j be 2/(-4)*1*r. Suppose -m = m + j. Is -2 < m?
True
Let p(m) = m**3 - 3*m**2 + m - 2. Let k = 8 - 5. Let z be p(k). Let l = -4 + 6. Which is bigger: l or z?
l
Let k = 6/13 - -86/39. Do k and 3 have different values?
True
Let t(f) = f. Let x be t(3). Suppose x + 1 = -a. Let v be (-1)/a + (-3)/12. Which is smaller: 3/7 or v?
v
Let j = 57 - 284/5. Which is smaller: j or 2/3?
j
Let w = -1 + 2. Let v = -19/2 + 245/26. Are v and w unequa