(-2)/(-7). Which is bigger: f or i?
i
Let k = 5 + 0. Suppose 4*v - 28 = 4*a, -k*v = -0*a - 2*a - 23. Let u be (-2)/3 - 1/v. Is -1/7 > u?
True
Let p = -112 + 104. Which is smaller: 2 or p?
p
Suppose -5*p - 2*b = -3, 2*b - 2 = 3*p + 9. Are p and 1/56 equal?
False
Let h = -32 - -49. Is h less than or equal to 15?
False
Let g be (-2 - -1)/(1/3). Let m = -30 - -26. Which is smaller: m or g?
m
Let s be (-2)/(-6) + 3/(-18). Are s and -0.2 unequal?
True
Let k be 0*3/(-18)*-2. Suppose 2*a + 5*g = -a + 3, k = g. Is -1/8 smaller than a?
True
Let u = -12935/27 + 479. Is 0.1 less than u?
False
Let t(j) = -j**2 - 5*j + 10. Let c be t(-11). Which is greater: -55 or c?
-55
Let o be (30/8)/((-6)/(-32)). Suppose -3*i - 5*q = 16 - 2, -o = 5*q. Is i at least as big as 3?
False
Let k = -83.61 - -83. Let d = k - -0.01. Let r = 0.7 + d. Are -1/5 and r equal?
False
Let a = -371/3 - -397/3. Let g = -28/3 + a. Which is smaller: g or -2?
-2
Suppose 30 = -8*k - 7*k. Which is bigger: 28 or k?
28
Suppose t + 15 = 13. Are 5/4 and t equal?
False
Let c = 1/104 + 191/1768. Is 1 greater than c?
True
Let x = 5 + -7. Let b be (-1 + -1)*1/x. Suppose -2*s - u = -6, 1 = 4*s - 5*u + 3. Which is smaller: b or s?
b
Let y = 1/1981 - 23789/33677. Is 0 > y?
True
Let r(k) = 3*k - 27. Let u(q) = q - 9. Let f(x) = -3*r(x) + 8*u(x). Let d be f(10). Which is greater: 3 or d?
3
Let t = -3.15 + -0.45. Let z = t + 0.6. Let j = z - -5. Which is smaller: -2 or j?
-2
Let u = 1 + -4. Let l be 15/(-9)*-3 + u. Which is bigger: 4/3 or l?
l
Let d be 1/(-6)*-344 - 1. Let v = d + -55. Is v at most as big as 1?
False
Let s = -68 + 107. Let w be 22/s + (-3)/9. Is w greater than or equal to 0?
True
Suppose -3*m + 6 = -0. Let d = 3.2 + -3. Is m less than d?
False
Let n be (-4)/(-30)*3 + 528/(-1270). Which is smaller: 0 or n?
n
Suppose -j - 23 = -s - 6*j, 3 = -3*s + 3*j. Suppose -s*a + 3 = -12. Suppose -3*m - 14 - 17 = -4*h, 27 = 3*h - 3*m. Are a and h equal?
False
Let l = 23/286 + 132349/858. Suppose 2*d = -382 + 70. Let y = l + d. Is y greater than -2?
True
Let x(i) = -i**2 + 9. Let f be x(0). Let m be -1 + (12/f)/1. Which is bigger: -7 or m?
m
Let c(i) = 6*i + 13. Let l be c(-4). Is l greater than -12?
True
Let r(x) = -6*x**2 - 1. Let z be r(-1). Let b = 7 + z. Which is smaller: b or -2/47?
-2/47
Let m(h) = h**2 + 11*h - 14. Let z be m(-12). Are z and -2 unequal?
False
Let g = -4 - -7. Suppose -r - 4*w - 1 - 1 = 0, -w - 6 = g*r. Are r and -3/5 equal?
False
Let g = -146/29 + 5. Which is smaller: 0 or g?
g
Let u(v) = v + 1. Let l be (-1)/(-1 - (2 - 2)). Let i be u(l). Let h = -34 - -141/4. Which is smaller: h or i?
h
Let l be 8/(-10) - (-5)/(-25). Is -4/5 <= l?
False
Let u(z) = z. Let h be (-5)/10*-2*2. Suppose -3*x = -x + h. Let l be u(x). Do 0 and l have different values?
True
Let x be -2 - (-3 - (-3)/3). Suppose x = q - 2*q - 2. Is -2 greater than q?
False
Let s be (1 - 0)*(4 + -1). Suppose -1 = s*f - 4. Which is bigger: f or -0.2?
f
Let n be (6/2 - 1) + 2. Let m = 2 - n. Which is bigger: m or -4?
m
Let d = -28 - -29. Which is greater: -59 or d?
d
Suppose 0 = -0*f - 3*f + 18. Suppose y - 3*y = -f. Is 3 at most as big as y?
True
Let f be (7/(-28))/((-7)/(-2224)). Let s = f + 79. Which is bigger: s or 1?
1
Suppose -3*g - m + 2*m + 1372 = 0, 0 = -5*g + 2*m + 2288. Suppose -2*s + 155 = d - 0*s, 3*s - g = -3*d. Let h = d + -1343/9. Is h less than or equal to 1?
True
Let t(j) = 4*j + 2. Let l be t(-3). Let f be (-14)/l + 12/(-30). Let r = f + -3. Which is smaller: r or -1?
r
Suppose 0*r = 3*v + 5*r + 3, 13 = v - 3*r. Let s = -4 + v. Suppose 4*a - 2*a + 2 = s. Is a bigger than 0?
False
Let l = 2 - 0. Let q be 1*(-2)/(l + 0). Let j be (-3)/6 + (3 - 265/110). Which is bigger: q or j?
j
Let d(g) = -g**2 - 5*g - 5. Let k be d(-4). Suppose 2*b - 1 - 13 = 0. Is k less than b?
True
Suppose -3*v = 5*t - 0*t - 35, 4*v + 2*t - 28 = 0. Suppose -10 = 5*z + v. Let s(w) = -w - 2. Let g be s(2). Are g and z equal?
False
Let l = -418 - -421.98. Let b = -0.02 - l. Let g = -3.9 - b. Which is smaller: g or 2/7?
g
Let l be (-1)/(6/2 + -2). Let u = 127/105 + -8/7. Let f = u - 2/5. Is l != f?
True
Let i be (-9)/(3/(-1)) + -2. Let n = 9 + i. Let q(g) = -g**2 + 9*g + 9. Let z be q(n). Is -2 less than z?
True
Let x be (-2)/(2*-1) - 26. Let h be 10/x + (-74)/(-10). Let l = -29 + 35. Which is bigger: h or l?
h
Let g(u) = -5*u - 7. Let w(r) = -26*r - 36. Let j(o) = 11*g(o) - 2*w(o). Let i be j(-2). Which is smaller: i or 2?
i
Let j be (1/3*3)/1. Is 1/73 at most as big as j?
True
Let a(c) = 19*c + 3. Let y be a(-1). Is -16 <= y?
True
Suppose -22*h + 25*h = 3. Are 4/7 and h nonequal?
True
Let k be 2 + (-22)/2 + 3. Is k at least as big as -4?
False
Let k be (-48)/(-21) + (-2)/7. Which is smaller: k or 3?
k
Let v(z) = -23*z + 1. Suppose s + h + 2*h = 5, -4*s = -5*h + 14. Let i be v(s). Let b be (32/i)/((-2)/(-3)). Which is smaller: 4/7 or b?
4/7
Suppose -5*v + 120 = v. Which is greater: v or -0.2?
v
Let q(z) = -z**2 - 2*z + 2. Let v be q(-3). Let u = 199/20 + -39/4. Which is greater: u or v?
u
Let v = -35 + 40. Is 7 at least as big as v?
True
Let p be (-10 + 9)*4/14. Are 0.11 and p equal?
False
Let s = -1.04 - -0.04. Which is bigger: s or -3?
s
Let w = -1 + 2. Let k = -1 + -8. Let g be 1/(3/k) + 3. Which is greater: w or g?
w
Let s = -8 - -8. Suppose 2*y - 8 = -s. Let q be (y/(-5))/(2/(-15)). Does 6 = q?
True
Let p = 0.4 + -0.5. Let i(w) = -w**2 + 12*w. Let l be i(12). Is l smaller than p?
False
Let a = -4389523/312 - -14069. Let i = -26797/2184 - a. Let o = -12 - i. Do -1 and o have the same value?
False
Let q = -19 + 24. Let u be 1*-3*4/(-6). Suppose -d + 3*f = 13, -q*d - 23 = -u*d - 5*f. Is d equal to -2?
False
Suppose p + 4 = 0, -5*b - 22 = -2*b + 4*p. Suppose j + 0*j = 0. Suppose j = -3*m - z, -4*z - z + 17 = -2*m. Is b > m?
False
Suppose -4*z - 10 = 14. Let g = 13 - 15. Is z less than g?
True
Let z = -45 - -26. Is z != -17?
True
Let h(x) = -x**3 + 5*x**2 + 7*x - 5. Let r be h(6). Let c(z) = 3*z + 1. Let v be c(r). Suppose v + 4 = 4*j. Are j and 2/3 equal?
False
Let p = -15 - -7. Let t = 7 + p. Is 2/7 bigger than t?
True
Suppose u + b + 7 = -u, -2*u + 5 = 5*b. Is -12 smaller than u?
True
Let v(w) = -w**3 + 4*w**2 - 5*w + 3. Let k be v(3). Let o be k/6*2 - -1. Let n = 5 + -16/3. Is n < o?
True
Let a = -56 - -23. Which is greater: a or 1?
1
Suppose 2*n = -3*b + 22, 3*b = -2*n - n + 24. Which is bigger: 5 or b?
b
Let l(u) = u**3 + 3*u**2 - 4*u - 4. Let w be l(-3). Let c = -6 + 8. Suppose -3*r + k + 19 = 0, 2*k + c - 34 = -4*r. Is w less than or equal to r?
False
Suppose 4*t = -t + 5. Let d(n) = -n**2 + 9*n - 9. Let h be d(8). Is t at least as big as h?
True
Let f be 3*(-3 - (-4 - 0)). Which is smaller: 18/11 or f?
18/11
Let f be (-16)/(-44)*(-2)/4. Suppose -5*j = -0*j - 10. Let x(s) = s**2 - 2*s + 1. Let n be x(j). Is n equal to f?
False
Let a(q) = q**3. Let u be a(-1). Let v be (-57)/9 + 12/3. Which is smaller: u or v?
v
Suppose -4*u = 4, -2*o + 3*o - 3*u = 5. Let t(x) = -o - 2*x + 3*x - 4. Let b be t(6). Are 0.1 and b unequal?
True
Suppose 2*y - x = -788, 5*y - 5*x + 1864 = -111. Let l be y/(-9)*6/112. Let s = -21/8 + l. Which is bigger: s or -2?
s
Suppose -2 + 3 = -q. Which is greater: -8/13 or q?
-8/13
Suppose -3*n - 7 + 13 = 0. Which is smaller: 1 or n?
1
Let t = 29 - 30. Let r = 47/36 - 7/4. Is r bigger than t?
True
Let g = -1/58 + 119/174. Let k be 28/12 - (1 + 2). Is k != g?
True
Suppose 3*f = -3*h - 0*f, -16 = -4*h + 4*f. Suppose 4*a + 40 = h*t, 4*t + 0*a + 4*a - 80 = 0. Is 21 greater than or equal to t?
True
Let p be (2/(-357))/(14/(-42)). Do 1 and p have the same value?
False
Let b(z) = 4*z**2 - 4*z + 1 + 5*z - 3*z**2 + z. Let j(t) = -t + 4. Let s be j(6). Let w be b(s). Is w < 1?
False
Let o = 1 + -5. Which is smaller: o or -2/11?
o
Suppose 4*z - 20 = -z. Suppose 0 = 3*g - 0*g - 9. Which is smaller: z or g?
g
Let t = 24 - 26. Which is smaller: t or -6?
-6
Let n = -93/7 + -443/91. Let m = n + 18. Is 1 at most as big as m?
False
Let l be -2 - (-6 - -2)*-1. Let z be (0 + l)*14/21. Let o be (z/(-2) - 2)/1. Which is smaller: o or -1/3?
-1/3
Let z be (-10)/(-35) - 144/14. Let v be (72/(-231))/(z/35). Is 0 at most v?
True
Suppose 0 = -10*a + 3*a. Is 2/43 smaller than a?
False
Let l = 9 + -8.7. Let b = 0.1 + 0.2. Let z = l - b. Does 1