)/(2/(-8)). Which is greater: r or h?
r
Let z = -63/265 - -2/53. Are 1 and z non-equal?
True
Let i = 23 - 18. Suppose 3*u + 8 = -1. Let j be i/3 - (-2)/u. Is j less than -1/6?
False
Let k(w) = w**2 + 2*w + 4. Let l be k(0). Which is greater: l or 22/7?
l
Let r be (-5)/(-8) + 3/(-24). Suppose 0 = 3*v - 0 - 15. Suppose -3*h - 30 = 5*s - v, -2*s = -2*h + 10. Which is smaller: h or r?
h
Let c = 0 - -3. Let g = -0.007 - -3.107. Let q = c - g. Which is smaller: q or 0?
q
Suppose 5*v - 2*v - 18 = 0. Let o be -4 + ((-102)/(-5))/v. Let s(f) = f + 2. Let y be s(-2). Which is bigger: y or o?
y
Let j = -0.031 - 4.169. Let b = 4 + j. Which is bigger: 0 or b?
0
Suppose 0 = 3*r - r. Which is greater: 6/11 or r?
6/11
Suppose 0 = 2*v - 0*v + 26. Let g = v - -10. Are 0 and g equal?
False
Let l be ((-6)/8)/((-1)/24). Let s be l/(-14) - 12/(-42). Let f be s - (2 - 28/10). Is f equal to 0?
False
Let t = 0 + 1. Let j(l) = -3*l**3 + 2*l - 1. Let z be j(1). Let a be ((-3)/39)/(z/(-4)). Are t and a unequal?
True
Let h(n) = n - 3. Let g be h(6). Suppose -g*x = -5*x + 374. Let v = x - 1311/7. Is 1 at least as big as v?
True
Let y = -1234 + 171522/139. Let v = y + 981/278. Which is smaller: -0.1 or v?
-0.1
Let w be -1*((2 - -1) + -3). Suppose -b + 3*x - 2*x + 16 = w, 3*x = 6. Is 17 less than or equal to b?
True
Suppose a - 20 = -18. Which is smaller: a or 28/9?
a
Suppose -t + 0*b - 5 = -5*b, 3*t - b + 1 = 0. Let h = -0.33 - -0.33. Is t at least as big as h?
True
Suppose -5*h + 17 = -2*w, -2*h + 0 = -2*w - 2. Which is bigger: 3 or h?
h
Let t = 1.3 - 1.3. Let x = 2.9 - 3. Is x greater than t?
False
Let c(p) = 7*p**3 + 11*p**2 + 5*p - 11. Let u(d) = 11*d**3 + 17*d**2 + 8*d - 17. Let i(r) = 8*c(r) - 5*u(r). Let a be i(-3). Let h = 2 + a. Is h greater than 1?
False
Suppose -m + 8 = 3*m - b, 2*m + 4*b + 14 = 0. Which is smaller: 2 or m?
m
Let o = 31 + -34. Is o smaller than -8/3?
True
Let b = 0.19 + -0.15. Which is smaller: b or -2/9?
-2/9
Let p be 2/(0 - -2)*-8. Is -7 not equal to p?
True
Suppose 3*l + 7 - 25 = 0. Let s = -13 + 23. Let w be (s + 3 + -3)/2. Which is bigger: l or w?
l
Let w = -23 + 507/22. Is -1 != w?
True
Let f(g) be the third derivative of g**4/24 + 5*g**2. Let x be f(0). Are x and -2/3 equal?
False
Suppose 5*f + h + 15 = 0, -4*f - h = -2*h + 3. Suppose -5*j + 23 + 22 = 0. Suppose -5*v + 9 = -2*x, 5*v - 4 = 4*x + j. Is f at least as big as x?
True
Let j(w) = -7*w - 6. Let n be j(3). Let x be (-4)/18 - 6/n. Which is smaller: -4/9 or x?
-4/9
Let f = 32 + -35.7. Let x = f - -2.75. Let y = x - 0.05. Which is smaller: 2/5 or y?
y
Let z = 10827031/31 + -348722. Let b = z - 537. Is b equal to 1?
False
Suppose 0 = -3*h + 4*k - 0*k, -23 = -2*h - 5*k. Is h less than 4?
False
Suppose 3*c = -5*d + 21, -6*d = -5*c - d - 5. Let a = -2 + c. Is a at most -1/9?
False
Let g(l) = 2*l - 3 + 0 - 3*l. Let b be g(-5). Suppose 20 = 2*u + 4*c, u + 2*u - b*c = -2. Is 3/4 equal to u?
False
Let j = -17 + 8. Let w be 3*(-3 - 24/j). Suppose -i - 2*i - 3 = 0. Is w >= i?
True
Suppose 2*b + 2*b = 4. Let u = -2/157 - 149/628. Is b > u?
True
Suppose 27*b = 32*b + 5. Are 2/123 and b non-equal?
True
Let j = 7 + -11. Let s = -3.8 - j. Let c = s - 0.4. Which is bigger: c or -2?
c
Let x = -67 + 80. Is x >= 100/7?
False
Let m(g) = g**2 - 13*g + 3. Let x be m(13). Let o be (-4)/12 + (-2)/x. Let y be (-3)/((-3)/(-2)) - o. Is -2/9 greater than or equal to y?
True
Let f be 14/(-70) - (-1)/5. Let q be 14/(-6)*6/(-10). Do f and q have the same value?
False
Let b(n) = 155*n**3 - n**2 - 3*n - 2. Let x be b(-1). Let t = 3097/20 + x. Which is smaller: t or 0?
t
Let h = 1.7 + -1.71. Let z = h - -0.11. Is z greater than or equal to 2?
False
Let n = -27 + 20.94. Let m = 0.06 + n. Which is smaller: m or -0.1?
m
Suppose 4*u = -5*c + 58, 5*c - 54 = 2*c + 4*u. Which is greater: 13 or c?
c
Let p(r) = -4*r - 6. Let j be p(-7). Is 23 greater than or equal to j?
True
Let j = 17 - 15. Let l = 0 + j. Is l bigger than -0.3?
True
Let q be (7 + 2)*3/(-9). Let k = 0.1 + 0. Is q >= k?
False
Let o = 66 + -11. Which is smaller: 54 or o?
54
Let d(k) = 10*k**2 + 8*k + 4. Let f be d(7). Let a be 2/13 + f/143. Do 4 and a have different values?
False
Let n(f) = -f - 2. Let v(y) = -1. Let u(p) = n(p) - v(p). Let a be u(3). Which is smaller: -3 or a?
a
Let d be (2 - 4) + (-82)/(-42). Which is smaller: d or 1?
d
Suppose -3*t - 10 = -28. Let k = 181 - 175. Is k at least as big as t?
True
Let l(t) = t - 15. Let w be l(12). Is w != -4?
True
Let x = -3804/11 - -345. Which is greater: x or 0?
0
Let f = 283/2990 + -1/130. Let o be -5 - -6 - 27/46. Let q = o + f. Which is bigger: 2 or q?
2
Let y be ((-6)/(-20))/((-36)/15). Are y and -1 non-equal?
True
Suppose 0 = 5*t - 5*b, 21*b = 5*t + 20*b. Suppose 4*f + f = 0. Is f >= t?
True
Let d = -11269/384 + 5/384. Which is smaller: -28 or d?
d
Let i(t) = t - 1. Let q be i(-1). Which is greater: q or -11/6?
-11/6
Let w be ((-3042)/16)/(-3)*-2. Let o = w - -126. Which is bigger: -2 or o?
o
Let c be ((-132)/(-20))/(-3) + 2. Which is smaller: -1 or c?
-1
Let o be 17 + -19 - (-1 + 0). Let d be (o - -5) + (-12)/7. Which is bigger: 3 or d?
3
Let z = -12 - -22. Let p be (4/z)/((-4)/(-5)). Which is greater: p or -2?
p
Suppose -2*i + 4 = -3*i. Let u be i + (6 - 4/2). Which is smaller: u or -8?
-8
Let h = -3 + 2.96. Let b = -19 - 17. Let a be ((-27)/b)/((-30)/16). Are a and h unequal?
True
Suppose -4 = -7*j + 3. Is j <= -5?
False
Let p(w) = -w**3 + 5*w**2 - 5*w + 4. Let l be p(4). Let r be l/4*(-1)/2. Which is smaller: 2 or r?
r
Let r = -0.147 - 24.853. Which is smaller: 2 or r?
r
Let r = 29/8 + -7/24. Let d = -105 + 108. Which is bigger: r or d?
r
Suppose 3 = 2*n - 5. Suppose 2*q - 15 + 37 = -3*w, 4*w = q. Let s be -3 - 2*26/q. Which is smaller: n or s?
s
Suppose -7*k + 4*k - 6 = 0. Let s = 0.39 + 0.01. Let v = -0.7 + s. Is v equal to k?
False
Let z(q) = 2*q + 3. Let x be z(-7). Is x at least -12?
True
Suppose 0 = -0*g + 3*g - 5*k + 22, -3*g - 3*k = -18. Suppose -3*b - 2*b - 20 = 0. Let y = 6 + b. Is g greater than or equal to y?
False
Let j = 8 + -14. Is j at least as big as -7?
True
Let h(f) = f**2 - 8*f + 2. Let i be h(8). Let p be 8 + (i - (-1 + 3)). Let j be (3/6)/(2/p). Is j at least as big as 2?
True
Let l be (-62)/(-22) + (-14)/(-77). Let w = 2 - 1. Is w less than l?
True
Let m = 85/6 + -19/2. Is 4 less than m?
True
Suppose -1 = -5*z - 21. Let s = -8 + 3. Is s not equal to z?
True
Let j(u) = -u + u**2 - 1 + 1 + 0. Let r be j(2). Is r less than 1?
False
Let q be ((-48)/(-15))/(-4)*5. Let i be (-66)/15 - 2/(-5). Is q less than i?
False
Let f be 6/2 - 184/60. Are f and -1 equal?
False
Let t = -0.2 - -0.7. Let j = 0.5 - 0.3. Let b = t - j. Is b <= -0.1?
False
Let l = 1.5 - 0.6. Let c = 2.6 - l. Let z = 2 - c. Which is smaller: z or 0.1?
0.1
Let i(p) = 2*p**3 - 3*p**2 - 3*p + 1. Let s be i(3). Suppose -3*l + y + 22 = -4*y, -l = -4*y - s. Let k be -1*(1 + -2)/l. Which is bigger: 1 or k?
1
Let x = -11 + 10.8. Suppose -3*r - 4*n + 4 - 5 = 0, -45 = -5*r + 5*n. Which is smaller: r or x?
x
Suppose 6 = -2*h + k - 1, -3*k = -h - 11. Which is bigger: h or -6/11?
-6/11
Let k(y) = y - 3. Let q be k(5). Suppose 0 = -5*a + 4*a + 23. Suppose -3*v - 26 = -4*n, v + a = q*v + 5*n. Which is greater: v or -1?
-1
Suppose 5*g = -4*i + 24, -i + 2*g - 8 + 1 = 0. Let o = -21/5 - -4. Which is greater: i or o?
i
Let z = -2.3 + -1.2. Which is smaller: z or -1/4?
z
Let z be (3 + (0 - 4))/((-3)/24). Is 3 < z?
True
Let x = 8 - 8.2. Let q = x + 0.1. Which is smaller: q or -2?
-2
Let a be (9/21)/((-40)/(-35)). Is 1/5 bigger than a?
False
Let y(v) = v**3 - 8*v**2 - 1. Let q be y(8). Do -2/19 and q have the same value?
False
Let i be -6*((-124)/(-40) - 3). Is i at least 1?
False
Let w = 2 - -3. Let p = -1 + 1. Suppose p = -w*g - h - 10, -3*g - g = -h - 1. Which is greater: g or -2/11?
-2/11
Let l = -336269/9 + 37144. Let c = l - -219. Is -0.1 at most as big as c?
False
Let m = -16 + 27. Suppose -4*p + l - m = -9*p, p - 2*l = 11. Suppose 0 = -3*h + p*s - 6*s - 9, h - 17 = 3*s. Do h and 2 have the same value?
True
Let i be (-12)/6 - 6/2. Is i less than -4?
True
Let n = -18.2 + 14. Let z = -6.2 + 2.2. Let g = n - z. Which is bigger: g or -2?
g
Let u = -3.2 + 2.2. Is u greater than or equal to 2?
False
Let i = -14 + 41/3. Let h = -7.1 - -0.