e (3/54)/(2/(-8)). Which is bigger: r or y?
r
Let c = -4 + 4. Let b be c + 0 + 1/(-1). Let z be 2/(-4)*4/(-6). Which is greater: b or z?
z
Let h = -78 - -76. Let m = -2 - -4. Suppose j + 9 = -m*j. Is h less than j?
False
Suppose -8 = -3*a + 19. Which is greater: 10 or a?
10
Let m = 18 + -16. Let h = -53 - -213/4. Are m and h unequal?
True
Let c = 0 + -1. Let g be (-2)/(-20)*(-1 + c). Let t be ((-2)/3)/(4/6). Which is smaller: t or g?
t
Let f = 128/7 + -18. Are f and -1/4 equal?
False
Let n = -37 - -36. Is n < -4/41?
True
Let o be -2*((-5)/2)/(-5). Let w be 4/10 + (-34)/10. Let q be 2/(-6) - (-2)/w. Is q < o?
False
Let a = 669 + -1973/3. Let m = a + -11. Which is smaller: m or 1?
m
Let u = -82 + 325/4. Which is bigger: 2/3 or u?
2/3
Suppose 4*z = -5*p - 13, -p - 3*p - 5*z - 14 = 0. Let k be p*(11/9 + -1). Let q = -32/13 - -314/117. Is k >= q?
False
Let i(t) = 5*t - 1. Let q be i(-1). Let o = q - -2. Which is smaller: o or -3?
o
Let d(r) = -r**3 + 2. Let a be d(0). Suppose 4*l = -5*j - 15, 3*l + 5 = -a*j - 1. Suppose 0 = -q - u - 1 - 0, 1 = -3*q - 2*u. Is l at most as big as q?
True
Suppose -4*w - 5 = -1. Suppose 0 = 5*s - 2*p - 20, -6*s + 4*p = -4*s - 24. Let g = -1 - s. Are g and w equal?
False
Let u be 2*1/4*12. Suppose -4*l - 24 = 4*v, 3*l + u = l. Which is smaller: 1/4 or v?
v
Suppose 0 = 5*l - 5, -4*l - 2 = 3*v + 3. Let u = -271/2 + 133. Which is bigger: v or u?
u
Let y(g) = g**2 - 12*g - 11. Let b be y(13). Is b less than or equal to -40?
False
Let c be (27/21)/((-3)/2). Is 1/2 at least as big as c?
True
Let m(k) = -k**3 + 7*k**2 + 8*k + 5. Let o be m(8). Suppose -2*b = -i - o, -i + 5*i = -5*b - 7. Which is greater: i or -2?
-2
Suppose -4*c = -0*c. Let h be (0 + c + -2)/(-2). Is -2/19 greater than h?
False
Let d = 5 + -6. Let k = -3 - d. Let j = -4 - k. Which is smaller: j or 1?
j
Suppose v = -b + 7, 4*v - 15 = -3*b - v. Suppose 0 = 4*y + 6 - b. Is -1/11 less than y?
True
Let l = -4.7 + 5.3. Which is bigger: 0.1 or l?
l
Suppose -20 = -2*y - 0*y. Let f be (2/y)/((-28)/35). Is f >= 0?
False
Let y be ((-6)/(-28))/(6/(-8)). Suppose 0 = -0*u + u + 2*u. Which is bigger: y or u?
u
Suppose b - 62 = -63. Let w(h) = h**2 - 4*h + 2. Let l be w(4). Let p be 1/(l + -5 - -1). Is p greater than b?
True
Let t = 2 + -3. Let c = -0.6 - 5.4. Let k = 4 + c. Which is smaller: k or t?
k
Let v = 0.1 - -2.2. Let d = v + 1.7. Are 1 and d non-equal?
True
Let f = 8 - 12. Let u = -8 - f. Let y be u*1/2*1. Is -2 equal to y?
True
Let p = -1079 - -707. Let q be (-2)/(-7) + p/28. Which is smaller: -2 or q?
q
Suppose 14 = 10*b - 36. Suppose 0 = -3*a - 2*x + 26, 4*x - 22 = -3*a + 2*a. Is a != b?
True
Let x(f) = -f - 17. Let n be x(-16). Let p be 2*(0 + -3 + 2). Which is bigger: n or p?
n
Let v(f) = f**2 + 29*f + 60. Let t be v(-27). Is 7 >= t?
True
Let u = -0.143 + -0.057. Is u smaller than -9?
False
Let i(z) = z + 31. Let a be i(0). Which is smaller: 32 or a?
a
Suppose -945 = -3*a + 8*a. Let v = a - -1321/7. Let f = -5 + 4. Is v < f?
False
Let a be -1 + -1 + 1 - -5. Which is bigger: 2 or a?
a
Let k = -11 - -6. Let a = k - -5. Let j = -53/20 - -19/10. Is a > j?
True
Let t(p) = p**2 + 2*p - 7. Let b be t(-5). Let h be 14/8 + (-6)/b. Which is greater: 2/3 or h?
h
Let a = 27 - 19. Let l(k) be the third derivative of -k**4/12 + 2*k**3 - k**2. Let z be l(a). Is z > -3?
False
Let u be 4/(-960)*98 - (-2)/6. Which is bigger: u or 1?
1
Let v = -0.6 + 0.5. Is v equal to 2/19?
False
Suppose -7*h - 21 = -77. Which is bigger: 10 or h?
10
Let v = 1837/4524 - -4/377. Suppose 5*h - 3*f = -5*f + 8, 0 = -4*h - 4*f + 16. Which is bigger: v or h?
v
Let o be 1/2*32/(-504). Which is smaller: o or -1?
-1
Let p be 1 - (-60)/18*(-6)/(-4). Let m(n) = 7*n - 1. Let c be m(1). Is p less than or equal to c?
True
Let d(x) be the third derivative of 0 + 0*x + 2*x**2 - 1/60*x**5 - 5/3*x**3 - 1/2*x**4. Let c be d(-11). Which is greater: 0 or c?
c
Let c(v) = 4*v - 16. Let o be c(5). Which is smaller: o or 2/17?
2/17
Let o = 63 - 63. Which is smaller: o or 3/28?
o
Let w(f) = 2*f + 4. Let r be w(0). Let s be (6 - r)*(-22)/(-4). Which is bigger: s or 12?
12
Suppose k + k = 4*v + 10, 0 = -k + 4*v + 11. Is 25 greater than k?
True
Let u = 109/136 - 5/8. Are 0 and u equal?
False
Let n = 88 + -87.993. Which is greater: n or 1/4?
1/4
Let b(h) = h + 1. Let x be b(1). Suppose -x*o + 9 = -3*l, -6 = 5*l + 9. Suppose -6 = 4*k - 2*t, 5*k - t + 0 + 3 = o. Which is greater: -1 or k?
k
Let y = 256 + -2041/8. Let s = -5/8 - y. Is s less than or equal to 1?
True
Let t be -2*5*4/(-8). Suppose -3*a - 2*a + 75 = 0. Suppose 5*q - g - 3 = -0, -t*q - 5*g = a. Is -2/21 equal to q?
False
Let z = -4 - 10. Let v be 91/z - 6/(-4). Let y be ((0 - 1)*v)/(-2). Is -3 at least as big as y?
False
Suppose 0 = -0*t - 3*t - 9. Suppose -3 = -5*a - 18. Is t smaller than a?
False
Let v = -55.2 - -55. Let o = -0.04 - -2.04. Let n = o - 2.1. Which is greater: n or v?
n
Let y(m) = 51*m**2 + 4*m + 3. Let n be y(-1). Is 51 less than n?
False
Let q = 4 - 24. Which is smaller: -21 or q?
-21
Let f = 2 - 6. Let s be 0 - -3 - (-149)/f. Let w = 34 + s. Is -1 bigger than w?
False
Let p = -5.86 - 0.14. Let q = 7 + p. Is q greater than or equal to 1?
True
Let l be (24/10)/(-2 + (-18)/(-10)). Which is bigger: l or -10?
-10
Let p = 2/25 - -53/275. Are p and 0 equal?
False
Let k be ((-6)/4)/(8/(-16)). Suppose 7*g = k*g - 4. Do g and 3/8 have different values?
True
Let h = -69/95 - -10/19. Let f be -3 - (-1 + 2/2). Let l be (1 - 1) + f/3. Is h equal to l?
False
Suppose 3*h + h = 0. Suppose 0*g - 4*g - 8 = h. Is 0 at most g?
False
Let v be ((-4)/4 - 1) + -7. Which is greater: -1 or v?
-1
Suppose 0 = 2*w + 5 - 9. Is 8/11 less than or equal to w?
True
Suppose 0 = -3*l - 6*w + 2*w + 23, -3*l = 2*w - 13. Which is smaller: 1/3 or l?
1/3
Suppose -9*o = -17*o - 160. Is o greater than -37/2?
False
Suppose 4*k - 4 = -2*r, 3*r - r + k - 4 = 0. Which is smaller: r or 5?
r
Suppose 0 = 3*k - 3*n + 9, 5*k + 2*n + 1 = 14. Let s be -2*k/2*-1. Suppose -s + 5 = 4*p. Which is smaller: p or -2/5?
-2/5
Suppose -18*d = -6*d. Let w = -2 - -2. Let q be w + 2/(-11) + 0. Which is smaller: q or d?
q
Let o = -31 + 28.96. Let y = o - -0.04. Are y and 0.2 unequal?
True
Let t(m) = -m**2 + m - 1. Let v be t(0). Suppose 2 = -j - j. Is v bigger than j?
False
Suppose -12 = 2*u - 4*b, 0*u = -3*u + 4*b - 12. Let o be (-2 - -1)*u/(-1). Let a be (3/(-4))/(14/8). Is a bigger than o?
False
Let p(n) = -n**2 + 9*n + 3. Let j be (4 - 1)/((-9)/(-27)). Let c be p(j). Which is smaller: -1 or c?
-1
Let n(u) = -2*u**3 + 8*u**2 + 11*u - 10. Let g be n(5). Which is bigger: g or -4?
-4
Let j = -29 + 28. Suppose -3*f = -3*l + 15, 2*l + 2*f - 6 = 4. Which is smaller: j or l?
j
Suppose -1 - 1 = k. Suppose 0 = c - 2*c. Suppose c = -x - 2 - 2. Is x >= k?
False
Let q = 5 - 2. Suppose 1 = o - 1. Let d be 23/(-3) + o/q. Is d >= -6?
False
Let j be 10/4 - 1/2. Suppose c + 10 = j*a, 0 = -a - 4*a - 3*c + 36. Let k be (-1)/4 - a/(-88). Which is smaller: 2/5 or k?
k
Let n = -11 + 8. Let z be (-2)/(-12)*(-24)/18. Is z <= n?
False
Let i be (-9)/(-2)*(-56)/(-42). Which is smaller: i or 7?
i
Let r be 10/24 - 2/3. Let y = -0.4 - -4.4. Let v = -3.6 + y. Is v less than r?
False
Suppose -2*w + 2*n = -8, 5*n + 12 = 2. Let k = -5 + 8. Suppose -w*v + k*v - 1 = 0. Which is bigger: v or 0?
v
Let u = 39 - 23. Suppose u = 13*a - 9*a. Is a > 5?
False
Let y = 27 - 29. Which is smaller: y or 6?
y
Let w be (-22)/4*(6 + 0)/(-3). Are 14 and w nonequal?
True
Let k(c) = -c**2 - 7*c - 5. Let i be k(-6). Let h = 110/153 + -16/17. Which is bigger: h or i?
i
Suppose -4*y + 4*t + 80 = t, -3*y = -t - 60. Let i be 8/3*(-5)/y. Is -1 smaller than i?
True
Suppose -4*v - 19 = -4*w - 3, -5*v = 4*w - 25. Let b be 1/3 + (-2)/(-6). Which is smaller: v or b?
b
Let s(j) = j**2 - 7*j + 2. Let t be s(7). Suppose 2*c + 3*c = 3*n - 2, -2*n = 2*c + 4. Let d be (t - n)*4/(-6). Is d less than 1?
True
Let j = -3.24 - -0.34. Let s = j + 3. Is -1 <= s?
True
Suppose -2 = -7*g + 6*g. Which is greater: g or 1?
g
Let g(o) = -o + 6. Let a be g(-10). Suppose -2*d = 2*f + 6 + 2, -4*d = 3*f + a. Which is greater: 1/7 or f?
1/7
Suppose 16*n + 4 + 12 = 0. Do -11/6 and n have different values?
True
Let x = 15527 + -2375674/153. Let m = 3382/17 + -199. Let y = x - m. Which is greater: 1/