2. Let w = d - 3. Let j = w + -1.1. Which is greater: j or -1/3?
j
Suppose -3*y + 115 = -2*t - 2*t, -3*t - y - 70 = 0. Let w be (10/t)/(2/(-10)). Let v be (w + (2 - 3))/(-1). Which is smaller: -5/4 or v?
-5/4
Suppose 15 = 2*o + 5*y, -12 = -4*o + 4*y + 4. Suppose 0*u + o = 5*u. Let v = u + 1. Which is bigger: 0.2 or v?
v
Let s = -1.07 - -0.07. Let j = s - 1. Which is smaller: -1/3 or j?
j
Suppose -4*r + 112 = 36. Is 19 equal to r?
True
Let r = -15832/4395 + 2/879. Is -3 greater than r?
True
Let o = 30 - 20. Suppose 4*d + d + o = 0. Let k be 0/(d - 0/(-3)). Which is bigger: 2/17 or k?
2/17
Let h = 6 - 6. Do h and -2 have the same value?
False
Let d = -21 - -11. Let h be 44/20 - (-2)/d. Is 3 less than h?
False
Let d(m) be the first derivative of 2*m**2 + 6*m + 6. Let f be d(-5). Is -14 <= f?
True
Let w(u) = -u + 2. Let p = -13 - -18. Suppose -3*f = p*x - 5*f + 16, 0 = -3*x - f - 3. Let o be w(x). Which is greater: o or 5?
5
Suppose 0*y - y - 10 = -2*z, -5*y + 55 = 5*z. Let w = z - 3. Let q(k) = k - 5. Let l be q(w). Which is bigger: l or 0?
0
Suppose 5 = 5*j - 70. Is j equal to 16?
False
Let z(s) be the third derivative of 5*s**4/12 + s**3/6 - 3*s**2. Let a be z(3). Suppose -5*c - 4*m - a = -1, 0 = -5*c + m - 5. Is -3 smaller than c?
True
Let o(a) be the first derivative of -a**4/4 - 7*a**3/3 + 9*a**2/2 + 10*a - 5. Let l be o(-8). Which is smaller: l or 3?
l
Suppose x + 13 + 48 = 0. Let m = 117/2 + x. Which is bigger: m or -2?
-2
Let k = -176 - -174. Let b = 0.3 + -0.7. Is b at most as big as k?
False
Let z(r) = r - 2. Suppose 5*c = -2 + 17. Let b be z(c). Suppose b = -2*a + 3. Which is greater: a or -0.03?
a
Let k = -5 - -3. Let d = -3 + k. Is d smaller than -5?
False
Let w = 9.85 + 0.15. Which is smaller: w or 2?
2
Suppose 0 = -8*a + 2*a. Let y = -42/17 + 403/170. Is a <= y?
False
Let w = -2.1 + 12.8. Let x = 11 - w. Which is bigger: x or 1/3?
1/3
Let t = 6 - 2. Suppose t*d - 16 = 0, 7*b = 3*b + d - 4. Do 1/5 and b have different values?
True
Let h(w) = -w**2 + 7*w - 11. Let g be h(5). Which is bigger: 4/25 or g?
4/25
Suppose -4*k = 2*x - 5*k + 3, 5*x + 9 = 4*k. Is x <= -2?
False
Let k = -0.05 + -0.35. Let u = k + 0. Let h = u - -0.3. Which is bigger: 1/3 or h?
1/3
Let f = 375714 - 104824390/279. Let c = f - 2/279. Let u = 0 - 0. Is u smaller than c?
False
Let j be (1/(-2))/((-7)/126). Let y = j - 9. Let w be (y + 3)/(-7 - 3). Which is smaller: -1 or w?
-1
Suppose -2*k = -4*k + 2. Suppose -4*t + 3 = -5. Let q be t/(-2) + k + 4. Are 2 and q equal?
False
Suppose -3*o = -3*u + 36, -5*o = 5*u - 2*u + 52. Is -10 <= o?
False
Let s(l) = -l + 10. Let b be s(5). Suppose 0 = -5*w - 0*w + b. Suppose w = a - 0. Which is bigger: a or -3/8?
a
Let l be 22/4 + (-4)/8. Let t = -7 + l. Is t not equal to -3?
True
Let t = -1/15 - -4/15. Let o = -5 - -4.9. Which is smaller: o or t?
o
Let y be (0 - (-3)/(-6))*180. Are -90 and y equal?
True
Suppose 4*i = -0*i - 4. Let n be (-2 + 5 + -2)*i. Which is bigger: n or -4/9?
-4/9
Let t be (-8)/(-6) - (-8)/12. Let q(v) = v**2 + 3*v - 4. Let m be q(-4). Is t not equal to m?
True
Let a = -22 - -24. Let i be (2/a)/(7/49). Is i less than or equal to 11/2?
False
Let u = 21 + -191/9. Let t = 0.5 - 0.2. Which is smaller: u or t?
u
Let o be (-288)/(-54) + (-1 - (3 + 1)). Suppose 13 - 53 = 5*r. Which is smaller: r or o?
r
Let a = 29/3953 - 12246713/43483. Let i = 516 + -234. Let t = a + i. Which is greater: t or -1?
t
Let c = -18/7 + 788/301. Suppose -2 = -2*z - 0*z. Which is greater: z or c?
z
Let g(m) = 18*m - 46. Let w be g(3). Suppose -2*o = 2*x - 10, -5*o + 26 = -3*o - 2*x. Which is smaller: o or w?
w
Let l(v) = 9*v + 2*v + 2*v - 4*v. Let t be l(2). Let g be 21/t - (-1)/2. Which is smaller: g or 3?
g
Suppose 3*h + 9 + 3 = 0. Let x = 19.8 + -19.6. Which is greater: h or x?
x
Suppose -x + 1 = 0, -2*j + 1 = 3*j + x. Which is smaller: 3 or j?
j
Let o be 6 - 7 - (1 + -1). Are o and -2/7 equal?
False
Let d = 0.01 + 0.79. Let n = d - -0.2. Let a(q) = -q**2 + q - 1. Let p be a(2). Which is smaller: n or p?
p
Let v = 4.1 + -4. Let c = -5.11 - -0.11. Is v < c?
False
Suppose -32*t = -27*t - 35. Which is greater: t or 11?
11
Suppose 0 = -0*z + 2*z + 6. Let i = -53 - -51. Which is greater: z or i?
i
Let y(u) = -u + 2. Let g be y(0). Let i be (-1*4/6)/g. Is i less than -3/4?
False
Suppose 0 = -c - 3*j + 16 - 7, -3*c = j + 5. Suppose o + 4*o = -15. Is o > c?
False
Let m = -0.164 - -0.364. Which is smaller: m or 0?
0
Let l be 3 - (3 - 1) - -2. Suppose -l*r - r = 12. Which is greater: r or -2?
-2
Let q(u) = u**2 + u - 1. Let j be q(2). Suppose -h = -2*v - 4*h + 4, -5*v + 10 = -j*h. Which is smaller: 1 or v?
1
Let m = 27 - 40. Let a = -8 - m. Is a bigger than 0.1?
True
Suppose -55 = 3*y + 5*m, -2*m + 3*m = -5*y - 55. Let q be (-5)/y + 18/(-20). Let g(s) = -s**3 + 6*s**2 - 5*s. Let j be g(5). Do q and j have the same value?
False
Let z be 4/(-2) + (-2 - -3). Let l = -107/2 - -52. Which is greater: z or l?
z
Let m be (-4 - -4) + 2/(-1). Let r = 7 + -10. Is r less than m?
True
Let p be 3 - (6/3 + -2). Let r(t) = t**3 - 4*t**2 + 4*t. Let v be r(3). Is p at least v?
True
Let b be ((-3)/(-6)*1)/(-1). Let q = 1 + -3. Which is smaller: b or q?
q
Suppose 0 = 2*p - p - 2. Let k = 76 - 149/2. Which is bigger: p or k?
p
Let p be 1/(-4) - (-100)/16. Suppose -g = -2, 2*t + 2*g = p*t + 8. Is -4 > t?
False
Suppose 5*o - 5 = -0*o. Let z = 43/56 - 9/14. Which is greater: z or o?
o
Let k = -23 - -22.9. Let x be -1 + 0 + (-3)/(-4). Which is greater: k or x?
k
Let x(d) = -d**2 + 4*d + 2. Let t be x(5). Is -2/15 bigger than t?
True
Let f be 16/396*(-1 + 4). Which is bigger: 1 or f?
1
Let z be (84/(-99))/((-16)/24). Which is greater: z or 0?
z
Suppose 5*g - 3 = 2*g. Is g greater than or equal to 5/3?
False
Let w be (20/(-18))/(10/15). Which is bigger: -1 or w?
-1
Let q = -0.79 + 0.59. Which is greater: 4/21 or q?
4/21
Let o be (-249)/(-387) - (-2)/(-3). Which is greater: o or 0?
0
Let w = 17 + -24. Let x = w - -6. Let m be (((-3)/6)/x)/(-1). Which is smaller: m or 1?
m
Let a = -11 + 18. Let m = -6.93 + a. Which is bigger: m or 1?
1
Suppose -5*z = -5*i - 65, -z = 5*i + 79 + 16. Is -17 bigger than i?
True
Suppose 205 = 5*j - 5*d, 4*d = -2*j - 39 + 127. Let r be 7/j + 1/(-2). Let s = 1 - 1. Is r <= s?
True
Let s be 2/(-92)*-1*-12. Which is smaller: 0 or s?
s
Let p = -3 + 6. Suppose -3*j = p*n - 9, -4*n + 3*j = j + 12. Let i = -7/6 - -5/12. Which is greater: i or n?
i
Let w(r) = -2*r**2 + r + 1. Let p be w(-2). Let a be (-134)/6 - 3/p. Let q be 36/77 + 4/a. Is -1 less than or equal to q?
True
Let o(j) = j**2 - 1. Let k be o(-1). Suppose -2*v - 55 = -67. Let z be 3 - (v + (k - -2)). Which is smaller: -4 or z?
z
Let t = 59/195 - -2/65. Let k = -1.3 - -1.44. Is t greater than k?
True
Suppose 2*n = n + 3*v + 9, -2*n + 3 = -v. Which is smaller: -3/73 or n?
-3/73
Let o(m) = 9*m + 12 - 12. Let c be o(1). Let l be 12/c + -2 - 0. Are l and 0 unequal?
True
Suppose 0 = 3*n + 3*x - 267, 6*x = 3*n + 2*x - 274. Is n greater than 89?
True
Suppose -3*v = -2*v + 2*y + 5, 5*y + 9 = v. Let t be 0/(v*(-2 - 0)). Let r(b) = b. Let n be r(t). Which is bigger: -2 or n?
n
Let p = 0.2 - -3.8. Let r = 19 + -16. Let i = r - p. Is i at least as big as 0.2?
False
Let k(h) = -2 + 0*h - 1 - h. Let j be k(-4). Let f be (-2 - (0 - j)) + 2. Which is greater: f or 0?
f
Suppose u = -2*u - 5*t + 18, -t = 2*u - 12. Is 7 smaller than u?
False
Let w = -0.6 - 0.4. Let z = -1.03 - w. Let a = -0.03 - z. Which is greater: a or 0.01?
0.01
Let w = 1 - 0.92. Let l = -0.05 + w. Let t = l - 2.03. Is 2/5 > t?
True
Let z = -0.049 + 1.049. Are -7 and z equal?
False
Let z be -1*(10/7)/5. Let x = 4 + -2. Let t = x + -2.1. Which is bigger: t or z?
t
Let k be 20/150 - (-34)/(-30). Is k bigger than -1/16?
False
Let m = -0.22 - 3.78. Which is greater: -3 or m?
-3
Let q(f) = f**3 + f**2 - f - 1. Let n be q(0). Let h be 0 - 1 - (n + 0). Suppose v + 1 = -h. Is -1/4 smaller than v?
False
Suppose 2*p + 2*p = 4. Let y = 2 - 2. Let b = 0 - y. Is b < p?
True
Suppose -5*h + 3*h - 4 = 0. Which is greater: h or 3?
3
Suppose 24*z = 20*z - 4. Let k be (-5)/10*z/(-2). Which is smaller: -1 or k?
-1
Let a = -10 - -9.9. Which is smaller: 0 or a?
a
Suppose -3*m + 99 = 6*m. Is m smaller than 11?
False
Let c = 21 - 24. Suppose 0 = -5*a - 7 - 13. 