 f = -1 + -1. Suppose 1 = -5*g - 4. Which is smaller: g or f?
f
Suppose 0 = -2*p - 22. Suppose 18 + 6 = -2*h. Which is smaller: h or p?
h
Let q = -77 + 80. Is 11/3 <= q?
False
Let k = 37 - 37. Which is greater: 7 or k?
7
Suppose h - 6 = -9. Suppose b = -4*x + 19, -b + 0*b = -2*x + 11. Is b less than h?
False
Let d be (4/(-20))/(4/(-50)). Let i = -2 + d. Let k = -111/4 + 28. Is k greater than i?
False
Suppose 9 = 5*y - 0*y + 4*d, 3 = 3*d. Let m be (3/9)/(1/3). Is y at least as big as m?
True
Let z be (-6)/15 + 16/(-10). Let q(i) = 2*i - 8. Let l be q(6). Suppose 4*x + 4*t + 12 = 0, l*x + 5*t + 0*t + 13 = 0. Is x less than z?
False
Let y = 823/7 - 119. Is -2 not equal to y?
True
Let g = -612 + 1255/2. Let l = 16 - g. Is l smaller than 5?
True
Suppose y + y + 4 = -2*v, v = -4*y - 11. Is -47 smaller than v?
True
Let u = -3959/4 + 995. Is 4 smaller than u?
True
Let b = -0.058 - -0.258. Does -1/3 = b?
False
Let b = 2 + -3. Let n = 183 - 184. Is n less than b?
False
Suppose 3*p + p - 9 = -3*i, 3*i - p - 9 = 0. Suppose 0 = -0*a - i*a - 5*q - 7, -13 = -3*a + 5*q. Is a smaller than 5?
True
Let k = -17 - -3. Let b be (-52)/k - (-24)/(-8). Is b <= 0.1?
False
Let c(o) = 2*o + 6*o**3 + 2*o**2 + 2 - 1 - 3*o**3. Let g be (-1)/(3 + (-3 - -1)). Let b be c(g). Which is bigger: -3 or b?
b
Let d = -18 - -24. Is d smaller than 9?
True
Suppose 28 = -2*o - 0*o. Let x(u) = -u**3 - 12*u**2 + 13*u - 13. Let g be x(-13). Which is smaller: o or g?
o
Suppose i + 7 = 2, -3*d = -i - 8. Do d and 3/8 have the same value?
False
Let k(r) = -r + 5. Let u be k(6). Let w be (2 - 4)*u/(-6). Let z be 10/(-15) + (-2)/6. Which is greater: z or w?
w
Let j(k) = -4*k + 1 + 2*k + 0*k. Let b be j(1). Which is greater: 1/13 or b?
1/13
Let w = -314 + 1249/4. Is -3 <= w?
True
Let g(l) = l**3 + l + 2. Let x be g(0). Let s be 2/(4/3)*x. Which is smaller: s or 3/2?
3/2
Let m = 25 + -14. Suppose 0 = 12*o - 16*o + 44. Is m at least o?
True
Let d be -6 + (1 - 1) + 2. Let x = -2/267 + 1873/534. Let l = x + d. Which is smaller: l or 0?
l
Let i = -6.9 - -7. Let w = 39.7 - 34. Let q = 6 - w. Are q and i unequal?
True
Let q be (-26)/(-10) - (-4)/10. Let z be -1 + 0 - (q + -3). Let v be 3*(2 - 480/243). Which is smaller: v or z?
z
Let v = -0.35 + 0.05. Let y = 2.7 + -2.6. Is v >= y?
False
Let l = -1.5 + 0.6. Let k = 0.1 - l. Let x = k - 0.8. Does x = -0.1?
False
Suppose 8*v = 9*v - 23. Is 24 smaller than v?
False
Let i = -27.2 + 25. Let n = i - 0.8. Which is smaller: 1 or n?
n
Let c = -25 - -22. Which is bigger: c or -2?
-2
Let n be 18 - 23 - 854/(-170). Which is bigger: 1/4 or n?
1/4
Let i = 1 - -1. Suppose -4*j + f + 0*f + 16 = 0, i*j - 8 = -4*f. Let k(g) = -g**2 + 4*g - 2. Let z be k(j). Which is smaller: z or 1?
z
Let a = 6703/196 + -120/49. Let d = -32 + a. Is 0 greater than d?
True
Suppose 6*i = 9*i - 3. Which is bigger: i or 2/19?
i
Let z be 4 + (2 - (-12)/(-3)). Which is smaller: 10/9 or z?
10/9
Let x = 2 + 0. Let g = -5 + x. Let l = -2.9 - g. Which is smaller: l or 3?
l
Let d = -2 - -3. Let z = 18.9 + -2.3. Let t = z - 17. Is d equal to t?
False
Let j = -13 + 17. Do j and 1 have different values?
True
Let z = -3/7 + -485/28. Let g = z - -18. Let m be 1/1 - (-3 - -4). Is g greater than or equal to m?
True
Let k = -4556/23 + 198. Does 0 = k?
False
Suppose 3*o - 3*d = 0, 8*d - 12*d = -3*o. Let i(j) = j + 5. Let r be i(-6). Let m be (-1)/12 + r/(-3). Is o equal to m?
False
Suppose 7*d + 11 = 95. Which is smaller: d or 11?
11
Let l be (-4)/(-6) + 13/6 - 3. Is l at least as big as 3?
False
Suppose 5*n - 8 - 2 = 0. Suppose -k = -n*k. Which is greater: k or 5?
5
Let j = 0.23 + -0.04. Let m = j - -7.81. Which is smaller: 1 or m?
1
Suppose 0 - 2 = -a. Let d(x) = 5*x + 2. Let j(k) = k + 1. Let c(h) = -d(h) + 4*j(h). Let b be c(0). Is a at most b?
True
Let y = 15 - 14.9. Let q = -2.5 + 0.5. Let k = -2.4 - q. Which is greater: k or y?
y
Let f = -2 - -5. Suppose 2*a + 1 = f*a. Let n be (-3)/6*(-2 + a). Which is smaller: 0.3 or n?
0.3
Let p = 6 - 6. Suppose o = -4*o - 35. Let b = o + 5. Do b and p have different values?
True
Suppose 3*q - 45 = -5*h + 2*q, 3*h - 49 = -5*q. Suppose -2*n - h = 2. Let u be -3 + 2 + n/(-4). Is 1 < u?
False
Let l(c) be the third derivative of -c**6/15 - c**5/30 + c**4/12 - c**3/6 - c**2. Let k be l(1). Let t be -1 + ((-48)/k)/4. Which is bigger: -2 or t?
t
Let f = -5 + 5.3. Let y = -5 + 5. Let p = y + f. Which is smaller: p or 1?
p
Let d be (-6)/2 + 7 + -3. Let m = -2 - -6. Suppose -d = v - m. Is 3 < v?
False
Let f be 6/(-21) - 7044/(-105). Let n = -67 + f. Which is smaller: n or -1?
-1
Let b = -18/95 + 8/95. Which is smaller: b or 0?
b
Suppose 5*g - m - 41 = 0, 0 = 3*g + 2*g + 5*m - 35. Let a = g + -11. Which is greater: -1 or a?
-1
Suppose -z + 2 = -3. Suppose -6 + 1 = z*g. Let n be (-4)/3 + 2 + g. Is 0 smaller than n?
False
Let v = 181 + -902/5. Let o be (-5)/(-1 + 0) - 0. Suppose o*p - 1 = 4*p. Does p = v?
False
Suppose -12*m + 9 = -9*m. Suppose 4*a = m*a. Is a smaller than -4/11?
False
Let r = -706/3 + 229. Which is smaller: r or -5?
r
Let a = -559.73 - -439.8. Let w = 121 + a. Let p = w - 0.07. Which is smaller: p or 2?
p
Let k be -23 - (-6)/(-3 - 0). Let d be ((-160)/k)/(7/(-55)). Let h = d + 50. Which is greater: h or -1?
h
Let y = -75 - -74. Which is smaller: -11/5 or y?
-11/5
Suppose -5*o + 0*o = 10. Let k = -3 - o. Let g be ((-2)/(-13))/(1 + -2). Is g bigger than k?
True
Suppose -12 = c - 10. Do -8 and c have different values?
True
Suppose 16 = 4*g + w + 4, g = 3*w + 3. Suppose -g*b + 2*b = 0. Let j be (1 - 2 - -3) + b. Is j < 3/5?
False
Let j = 110.991 + -111. Which is smaller: 1 or j?
j
Let q = 241.7 - 289. Let p = q + 45. Let y = p + 2. Which is smaller: y or 1?
y
Suppose -6*k = -2*k - 64. Suppose 14 + k = 2*f. Suppose -6*r + f = -r, d - 2*r = -2. Which is greater: d or 3?
d
Let z(i) = 3*i - 5. Let v(k) = -4*k + 5. Let o be ((-3)/4)/((-3)/(-12)). Let c(x) = o*z(x) - 2*v(x). Let r be c(4). Which is smaller: r or -2?
-2
Let p = 64 - 97. Which is smaller: p or -35?
-35
Let j(r) = 3*r**2 + 1. Let w be j(-1). Suppose -m = c, w*c + 8*m = 3*m - 2. Does c = 1?
False
Let x = -7.07 + 0.07. Let p = x + 6. Let r = -2 + 2.1. Which is smaller: r or p?
p
Let g(q) = -q - 4. Let c be g(-3). Let p be (-10)/25*(-5)/9. Which is smaller: c or p?
c
Let t be (-36)/10*10/(-4). Let q be 1*2 + 0/t. Is q >= 3?
False
Suppose 0*x = 2*x. Is x > -5/11?
True
Let u = -10.6 - -2.6. Which is smaller: u or 2?
u
Let m be (6*-2)/(3/(-2)). Let v = -4 + m. Let c = 7 + -3. Is v bigger than c?
False
Suppose -q = -0*o + 2*o, -5*o + 3 = q. Let f be 22/(-28) + ((-32)/(-14) - 2). Do q and f have different values?
True
Let c(d) = 5*d**3 - 2*d + 1. Let i be c(1). Let t(a) be the first derivative of -a**2/2 - 5*a + 1. Let m be t(-9). Is m greater than or equal to i?
True
Let y(z) = -z**3 - 8*z**2 - 3. Let i be y(-8). Is i at least as big as -15/4?
True
Let i = 0.02 - 0.02. Let j = i + -2. Which is bigger: j or 1?
1
Suppose 0 = 16*h - 15*h - 50. Is h at most 50?
True
Let t(p) = -5*p**3 + p**2 + p. Let i be t(-1). Let f be (4/i)/((-1)/5). Let l be 6/f*(-8)/6. Is l at most as big as 2?
True
Suppose -3*a - 2 = -2*a. Let o be a/8 + (-55)/20. Let i = o + 4. Which is bigger: i or -2/11?
i
Let c = 9 + -10. Which is smaller: -5 or c?
-5
Suppose -3*r - 3 = 2*n, 2 + 3 = -5*r - n. Which is smaller: -8/9 or r?
r
Let b be (4/(-3))/(16/(-24)). Which is bigger: 4 or b?
4
Let f = 8 - 9.2. Let u = f - -0.2. Let x = -2 - u. Which is smaller: x or -0.1?
x
Let v be 3/(-2)*(-40)/12. Let z be 22/v - (2 + 2). Is 3/8 at most z?
True
Suppose 4*c + 3 + 9 = 0. Suppose -2*t + 5*t + 9 = 3*h, 5*h - 15 = -4*t. Let a = 0 - h. Is c != a?
False
Let k be (-27)/(-45)*(-1)/(-3)*-2. Let c be 2 + (-5)/((-10)/4). Let n be c/(-18) - (-33)/27. Which is smaller: k or n?
k
Let t = 2 + -1. Suppose -f + 0*f = t. Let c = 2395/8 + -299. Which is bigger: c or f?
c
Let y(a) = -4*a + 1. Let l(f) = 5*f - 2. Let p(w) = -3*l(w) - 4*y(w). Let t be p(-1). Does t = 1?
True
Let g = -0.23 + 0.23. Is -22 greater than g?
False
Let m be 2/(-4)*-4*1. Suppose 0 = 4*v + q, -v - 1 = q + m. Let x be 4/6 - 28/(-21). Which is smaller: v or x?
v
Let j = 1.7 + -1.4. Are 1 and j unequal?
True
Let z(u) = 2*u + 1. Let r be z(-1). Let v = -16083311/93087 + -6/10343. Let o = 173 + v. Are 