2. Let a be b(5). Which is bigger: r or a?
a
Suppose 5*k - c = k + 103, 5*c - 109 = -4*k. Let t be 1/(-3) + k/6. Suppose -w + 0 = -5. Which is bigger: w or t?
w
Suppose 3*x - 2*y - 6 = 5*x, y - 2 = 4*x. Do x and 4 have the same value?
False
Let q = 0 + -0.5. Let s be 2 + -7*1/3. Which is greater: s or q?
s
Let a be (-124)/(-174)*3 + -2. Let r = a - -6/377. Is r less than or equal to -1?
False
Let f = -208/7 - -30. Let j be 24/14 - (2 + -2). Let i = j + -41/28. Is f < i?
False
Let q = 0 - 1. Is q bigger than -5/28?
False
Let j(t) = -3*t**2 + 6*t + 3. Let f be j(3). Is -6 greater than f?
False
Suppose -3*o = 4*z + 12, 0*o + 2*o + 13 = -z. Which is greater: -2 or o?
-2
Let z be 1/(-3 + 7 + -3). Which is greater: z or 4/7?
z
Let n = -26 + 26. Let y be ((-1)/3)/(8/3). Which is smaller: y or n?
y
Let s be (-6)/(-44)*4/3. Suppose -5*c = -m + 21, 2*c + 18 = m + m. Suppose 0 = -m*p + p + 5. Which is smaller: s or p?
s
Let z be -2 - (48/22 - 4). Which is smaller: z or 0?
z
Let o be 3/(-6) - (-42)/4. Let k = 14 - o. Is 4 >= k?
True
Let v be -1*1/(-6)*4. Let u = -1.6 + 0.4. Let a = u + 0.2. Which is bigger: a or v?
v
Let u = -1.6 + 2.6. Suppose 0 = 2*t + 4*g + 18, 3*g + 9 = t + 2*t. Are t and u nonequal?
True
Suppose 2 = g - 0*g. Suppose -3*m + m = 0. Suppose -4*y + 4 = -m. Which is smaller: g or y?
y
Let n = -3 + -7. Let f = n - -7. Let k be (-6)/f + -4 + 3. Which is smaller: -1/3 or k?
-1/3
Suppose 0 = -4*o + 4, 5*a - 1 = -3*o - 13. Let k be (1/a)/(5/(-10)). Is 1 at least as big as k?
True
Suppose 0 = 2*l - 20. Which is greater: l or 11?
11
Let r = -0.54 + -0.16. Let n = r - 0.3. Is n < -1/2?
True
Let q = -0.2 + 0.2. Let i be (-4)/14 - (-17)/35. Which is smaller: q or i?
q
Suppose -3*d + d = 4. Let q = 26 - 29. Which is greater: q or d?
d
Let q = 16 - 10. Let p = 8 - q. Let t = p - 2.2. Is t smaller than 1?
True
Let d be ((-10)/19)/(18/(-9)). Is d not equal to 0?
True
Let v = 0.02 + -2.02. Let z = v - -1.9. Let j = 7 - 6.7. Which is smaller: j or z?
z
Let t = 2.1 + -2.28. Let w = t + -0.82. Is w greater than or equal to -2/9?
False
Let c be 2/(-9) - 256/(-18). Let l = c + -23. Let w be (0*(-3)/l)/1. Is w > 1?
False
Let i = 3 + -6. Let s = 0.11 + 2.69. Let y = s + i. Are -1 and y non-equal?
True
Let d = 1 - 3. Let g = 1 + d. Do g and -1 have the same value?
True
Let f be (-3 + 7)/(38/(-6)). Is 0 greater than or equal to f?
True
Let b = 4 + -1. Suppose -2*t - 8 = -6*t. Is t < b?
True
Suppose 0 = -6*o + o. Suppose 4*l = -o*l. Suppose 5*c + 20 = 0, -8 = 6*n - 2*n + 4*c. Which is greater: n or l?
n
Let c be 7/(-7) + 22/14. Suppose -n + 2 = n. Which is smaller: n or c?
c
Let i be (2/3)/(98/525). Let s = 3 - i. Is s less than -1?
False
Let m = -13 - -16. Suppose 0 = m*a + 4 - 1. Is 0 less than a?
False
Let i = -1.06 + 0.06. Let b(w) = -10*w - 1. Let q(z) = -3*z. Let c(f) = 2*b(f) - 7*q(f). Let n be c(4). Is i equal to n?
False
Let y = 28.9 + -29. Is 11 at least y?
True
Suppose 0 = -5*v + 16 + 4. Suppose 0 = r - v*r + 12, 3*r = 2*d + 16. Which is smaller: 1/4 or d?
d
Let a = -0.14 - -2.09. Let g = a + 0.05. Is 0 less than g?
True
Let i be (19/20 - 1)*-3. Is 0 less than or equal to i?
True
Let l(b) = b**2 + 4*b - 6. Let t be l(-6). Let m be (t/(-2))/((-3)/(-2)). Let j = 1 + m. Is j greater than or equal to -2?
True
Let q be 1/2 + (-12)/8. Let g = -4 + 13. Suppose -l - g = -4. Which is smaller: q or l?
l
Let i be 2/3 + (-470)/(-168). Let c be (24/(-30))/((-42)/195). Let l = c - i. Which is smaller: l or 1?
l
Let c = -0.46 - -0.06. Let z = 1.5 - 1.3. Which is bigger: c or z?
z
Let j = 0.12 - 0.1. Let c = j - 0.02. Let u = 7/4 - 5/4. Which is greater: u or c?
u
Suppose 18 = 3*d + 3, 2*t + 3*d - 23 = 0. Let k = t + -11. Let o = 2 + k. Are -5 and o equal?
True
Let u be (12/(-45))/(4/10). Let d = 3.96 - 5.9. Let s = 0.06 - d. Which is bigger: s or u?
s
Suppose -2*x = 5*s + 2*x - 2, -2*s + 8 = 4*x. Let k = -3 - s. Which is greater: k or -2/5?
-2/5
Let t = 0 - -0.5. Let v(w) = 2*w**2 - w. Let f be v(-1). Suppose -2*q = f*q. Which is greater: t or q?
t
Let o be (3/(-5))/(18/(-90)). Which is smaller: 5 or o?
o
Let q(j) = -23*j**2 - 2*j + 2. Let l be q(1). Is -20 smaller than l?
False
Let o(x) = -x**3 + 6*x**2 + 23*x - 2. Let u be o(8). Is u at least 54?
True
Let j = -135 + 1217/9. Which is greater: j or -2?
j
Let w = -80 - -45. Is -103/3 > w?
True
Let y = 0.1 - -0.1. Let b be 9/9 + (-10)/(-2). Which is bigger: y or b?
b
Suppose 4*z - 8 = -0*z. Suppose -i - 21 = 2*c + z*c, i + 3*c + 17 = 0. Let r = i - -8. Is r less than 2?
False
Let j = 15 - 11. Suppose 2*h = 4*h + j. Let m be (-18)/3*2/6. Is m < h?
False
Let v(x) = x + 7. Let a be v(-12). Let m(h) = h - 5. Let f be m(10). Suppose l + 12 = -5*p - f, 2*p = 4*l + 2. Which is greater: a or l?
l
Let w(y) = y**2 - 8*y - 4. Let r(k) = -k - 1. Let v(h) = 5*r(h) - w(h). Let p(o) = -o + 11. Let u be p(9). Let x be v(u). Which is smaller: 2 or x?
x
Let t be (-3)/(-6) - (-2)/(-8). Let r be 230/30 - 7 - 4/3. Is r less than or equal to t?
True
Let l = -901/29 + 31. Is 0 less than or equal to l?
False
Let w = 0.06 + 0.34. Let z = w + -0.2. Let h = -0.2 + z. Which is smaller: -1/5 or h?
-1/5
Let u be 4/((-70)/22 + 3). Let t be (-106)/u - 2/(-11). Suppose -h = -0*h + t. Is -4 != h?
True
Let m = 0.32 - 0.86. Let b = -0.6 - m. Let d = 0.04 - b. Are 0 and d equal?
False
Let l = 11 + -8. Let z = 3 - l. Suppose 6*x = 4*x - 2. Which is greater: x or z?
z
Suppose -3*x - 2 = 5*n, 0*x + 4 = -2*x - 4*n. Suppose -x*j + 3*j = 0. Which is bigger: -0.06 or j?
j
Let c = -1086 + 55384/51. Which is smaller: c or 1?
c
Let f be (-6)/(-4 + (2 - -1)). Let q be 9/f*4/21. Which is bigger: q or -4/5?
q
Suppose 5*c + 10 = 15. Which is smaller: c or 1/8?
1/8
Let c(a) = 3*a - 5. Let w(x) = -x + 3. Let z(h) = 3*c(h) + 5*w(h). Let j be z(1). Suppose v + 13 + 2 = -j*t, -3*t = -2*v + 14. Is 2/9 smaller than v?
True
Let y(a) = 6*a. Let j be y(-1). Let o be (-4)/14 - j/21. Which is smaller: o or 2/21?
o
Let a be 10/(-55) + (-79)/(-11). Let m be a/14*3/4. Which is bigger: 1 or m?
1
Let s be (-5 - -4)/(2/4). Let h(u) = -u**2 + 8*u - 10. Let j(o) = o**2 + 2*o - 1. Let r be j(-4). Let b be h(r). Do b and s have the same value?
False
Let t = 0.03 - 12.03. Is t > 0?
False
Suppose 18 = 4*q + 4*c - 2, -q = 3*c - 13. Is q greater than or equal to -0.08?
True
Suppose -5*f - 1 = 2*t - 0, 25 = 4*t + f. Let z = t + -5. Suppose -132 + 148 = 8*n. Is z at most n?
True
Let p be -1 - 48/(-4 - -7). Which is smaller: -18 or p?
-18
Let m = -748/9 + 83. Let i(k) = -k + 5. Let j be i(6). Is m less than j?
False
Let v = 4 - 7. Let a be (1/3)/(v/(-9)). Suppose 4*f = j - 21, 0 = -5*j + f - 4 + 14. Is j != a?
False
Suppose -3*t = d + 8, -2*d + t = -t. Is -0.01 at least as big as d?
True
Let a = 0.08 + -0.23. Let t = a - -0.08. Is t at most as big as -2/5?
False
Let d be (((-5)/6)/5)/3. Which is smaller: d or -2?
-2
Suppose 0 = -4*x + 2*x. Suppose 4*l + 4*d - 2 = 2*d, x = -2*l + 5*d - 5. Let w be (-6)/(-21)*(l + 1). Which is smaller: w or 1?
w
Let o be 8/(-20) + (-3384)/(-8410). Let p = o + 56343/1682. Let r = 36 - p. Which is greater: r or 2?
r
Let b = 1060/11 - 97. Is b bigger than 0?
False
Let v = 4 + -4. Is v at most as big as 4?
True
Let b = -286/21 + 40/3. Is 33 not equal to b?
True
Suppose 0*m - 3*m = -2*p - 14, 18 = -3*p + 3*m. Let s = 5 + p. Is s <= 1?
True
Let y(a) = a - 2. Let f be y(4). Let p be (-2)/((-1)/f*-4). Is 0 less than or equal to p?
False
Let a = -71.9 + 72. Are 143 and a nonequal?
True
Suppose 4*g + w = -0*w + 8, 3*w - 16 = -4*g. Is g smaller than 2/99?
False
Let w = -1969/6 - -329. Is 1 less than w?
False
Suppose 4*b = 5 + 3. Suppose 0 = b*n - 6 + 2. Let h = -2 + 3. Is h <= n?
True
Let k be 20/(-28) - 7/(49/2). Is 1/46 at least as big as k?
True
Let j = 0.88 - -0.12. Suppose -3*y + 14 = -13. Is y != j?
True
Suppose -2*k + 2*w - 12 = 0, 8 + 1 = -2*k + w. Let h = 0.2 + -0.3. Is h <= k?
False
Suppose 4*k = 5*k. Suppose 0 = 4*i - k*i - 8. Is i bigger than 1?
True
Let v = 7 + -6. Which is bigger: -4/37 or v?
v
Let k(f) = -3*f**2 + 2*f - 2. Let i be k(2). Let y be i/(-30) - 2/(-3). Which is smaller: y or -1/6?
-1/6
Let y(g) = -g**3 - 4*g**2 + 4*g - 4. Let v be y(-5). Suppose -v = -n - 0*n. Is n at least as big as 9/7?
False
Let n = 18 + -14. Suppose -n*h + 4 = 32. Which is s