 = s. Let b be -30 - ((-30)/(-5))/s - -2. Suppose -4*j + 48 = -6*j. Which is smaller: b or j?
b
Let t be 2/((-16902)/(-2113) + (-896)/112). Which is greater: t or -2110?
-2110
Let m be 0/1 + (-10)/10 - 26. Let h be (-3)/m*72/(-54). Is 0 greater than h?
True
Suppose 0 = -b - 0 + 4. Suppose -b*o + 3*o = 10. Is o less than or equal to -17/2?
True
Let j = -4/66875 + -87204964/601875. Is j less than -144?
True
Let s be -48*(8 - 425/20). Suppose -15*i - s = -3*i. Is 6 <= i?
False
Let r be 15 - 16 - -6 - 2. Which is greater: r or 61/14?
61/14
Let n = 11 - 2. Let w(p) = 2*p**2 - 17*p - 4. Let b be w(n). Let x be (-496)/20 - (-4)/b. Are x and -24 equal?
True
Let k be (-175)/(-90)*(-6)/(-15). Let q = -824 + 824. Which is greater: k or q?
k
Let x = 0.0747 + 0.2455. Which is greater: x or -3?
x
Let s(f) be the third derivative of 5*f**4/6 + 9*f**3/2 + 21*f**2. Let a be s(-7). Let x = a - -3049/27. Is x smaller than -1?
False
Let j = -333 + 555. Let h = -223 + j. Is 20/11 at least as big as h?
True
Let m(f) = -f**2 + f - 44. Let q(b) = -b**2 - b + 1. Let t(x) = -m(x) - q(x). Let l be t(0). Are 41 and l non-equal?
True
Suppose 9*x - 40 = 4*x. Suppose x*g = -16 - 8. Let d be 5 - (-1)/g*0. Which is smaller: 7 or d?
d
Let l = -56.05 - -55.97. Which is bigger: -2 or l?
l
Let d = 14 - 4. Let r(n) = -n**2 + 10*n. Let z be r(d). Suppose -5*w = -a - 14, z*a = -2*a + 3*w - 21. Is 1 at least as big as a?
True
Let y be ((-21)/(-105) - (-184)/30) + 8/(-24). Let n(j) = -2*j + 3. Let x be n(-8). Which is bigger: y or x?
x
Let b = 737 - 727. Let q be 56/(-64)*b/35. Let f = -2439 - -231703/95. Is q at most f?
True
Let u = -6.76 - -6.8158. Let z = 25.9442 + u. Do -2/7 and z have different values?
True
Let s = -320 + 323. Suppose -3*n - 8 = 4*a, 2*n + 2*a = -s*a - 10. Which is smaller: n or -1/272?
-1/272
Suppose 0 = r - 3 + 6. Let b = 723.25 - 736. Let s = b - -6.75. Which is smaller: s or r?
s
Let o be 8384/(-20128) - ((-3)/3 - 156/(-148)). Let s = 1 - 0. Let i = 0 + s. Which is smaller: o or i?
o
Let p be (-28)/(-8) + 2/(-4). Let a = p + -3. Let h = 105960/13 + -8150. Is a > h?
False
Let t(u) = -u**2 - u - 8. Let a = -6 + -1. Let j be t(a). Let i(o) = 6*o**2 - 76*o + 148. Let k be i(9). Is k smaller than j?
False
Let c = -152 - 80. Let r = -19 - c. Suppose 2*p = 5*u - r, 5*p + 64 + 17 = 2*u. Is u bigger than 43?
False
Let x = 135 - 56. Let r = -109.3 - -109.2. Which is smaller: x or r?
r
Let n = 3880 + -3879. Is 12/83 <= n?
True
Let l = 49/12 - 17/4. Which is greater: -763 or l?
l
Let c(u) = 510*u - 3. Let k be c(0). Does 3827 = k?
False
Let q = 1876 - 3830. Is -1954 != q?
False
Suppose 3*b - 12 = 0, f + 5*b = -f + 26. Suppose -a - 8 + 0 = f*p, 3*a - 6 = p. Suppose k = m + 1, 5*k - 4 - a = -3*m. Which is greater: 1/38 or k?
k
Suppose -24*o + 46 = -2. Which is greater: 46/35 or o?
o
Let y(q) = 2*q + 1. Let k be y(-2). Let w be (20 - -6)*(0/k - -1). Let l = w + -23. Which is bigger: l or 2?
l
Suppose -41 = -20*z + 18*z + 5*j, 3*z - 4*j - 58 = 0. Which is smaller: z or 2/55?
2/55
Let j(a) be the first derivative of 3*a**2/2 - 60*a + 25. Let t be j(-6). Let g = t - -81. Is g at most 40/9?
True
Let z(b) = -24*b + 21. Let n be z(-7). Suppose -4*g = -311 - n. Let x = 126 - g. Which is bigger: x or 1/57?
x
Suppose k - 4*y - 3859 = -1524, 6997 = 3*k - 4*y. Which is greater: 2333 or k?
2333
Let v = 481 - 382. Is v at least -12?
True
Suppose h = 2*q - 26, -3*h - 5*q + 8*q - 81 = 0. Let g = 28 + h. Suppose g = 14*m - 13*m - 1. Which is bigger: m or -1?
m
Let n = 1512.659 + -37.659. Is -3 greater than n?
False
Let f(y) = -5*y + 34. Let b(m) = m**3 - 7*m**2 + 2*m - 4. Let w be b(7). Suppose -2*n = -w*n + 56. Let k be f(n). Is 4/43 greater than k?
True
Let d = 382 + -510. Let f = -129 - d. Is 1/25 less than or equal to f?
False
Let n = 37.639 - -0.361. Let b = -12.4 + 2.4. Let h = n + b. Which is smaller: h or -2/5?
-2/5
Let j(t) be the second derivative of t**5/20 - 17*t**4/12 - 6*t. Let f be j(17). Suppose -2*d - 23 - 41 = f. Is -33 < d?
True
Let a be (-6)/40*((-114556)/(-1170) - 98). Let f be 1 - (-10 + 1) - -1. Suppose -2*x - 5*p = -3*x - f, -2 = -p. Which is bigger: x or a?
a
Let v = 104 + -82. Let g = v + -104. Let q = g - -247/3. Is q less than or equal to 0?
False
Let u = 0.6 + -2.6. Let g = 153 - 54. Let m = -113 + g. Which is greater: m or u?
u
Let u = -46 + 117. Let y = u + 9. Suppose -y + 41 = 3*v. Which is bigger: v or -5?
-5
Suppose -22*d = -4217 + 4085. Is d at least as big as 77/16?
True
Suppose -18*i - 76315 = -11569. Which is bigger: i or -3592?
-3592
Let m(b) = -b**2 + 527*b + 5919. Let p be m(-11). Let l be 0/(-2 - (-1 + 1)). Is l > p?
False
Suppose 2*d + 3*o + 16 = 0, 8*d + 8 = 10*d - 3*o. Let s = -3 - d. Are s and 1/89 equal?
False
Let r(g) = 4*g**2 + 93*g + 267. Let d be r(-20). Is d bigger than 478/57?
False
Let h(t) = -3*t - 15. Let w be h(-8). Let m = w - 8. Suppose l - m = -0*l. Which is bigger: l or -2/99?
l
Let h be ((-9)/12)/(-4 - 68/(-16)). Let k be 11/(-9) - (-3)/((-81)/(-6)). Is k at least h?
True
Let j = -48228/11 + 4384. Let g = -13299 - -66837/5. Let k = 68 - g. Is k >= j?
False
Let c be (-8*(-13)/(-3848))/(302/(-6)). Which is bigger: c or 0?
c
Let i = -313 - -356.8. Let r = i - 44.3. Which is bigger: 54 or r?
54
Suppose 10*i = -60844 + 114274. Is i bigger than 5342?
True
Let f = -28.1 - 4.9. Let o = f - -27. Let a = 2 + o. Which is smaller: a or -0.06?
a
Suppose -3*r = -4*x + 25, 14*x = 11*x - r - 4. Is x at least as big as -1/27926?
True
Let n(k) = -93*k - 279. Let w be n(-3). Which is bigger: w or 160?
160
Let q be (-984)/(-11)*(-6)/(-4) - 44/242. Which is greater: q or 531/4?
q
Suppose 5*b - 51 = -3*l, 3*b + 0*l = 2*l + 23. Suppose 2*r - b + 5 = 0. Suppose -5*z - r*k - 47 = k, 5*k = 5. Is -39/4 >= z?
True
Suppose 41 = 5*g + 181. Let r = g - -52. Let l be 29/5*-1*(-7 - -9)*-2. Is r bigger than l?
True
Let f be (1/(0 - 1))/1 - 1354539/(-1354246). Is -1 not equal to f?
True
Let l(q) = 6*q - 102. Let n be l(20). Suppose 2*y - d = 74, n*y + 105 = 21*y - 3*d. Is 263/7 >= y?
False
Let k(g) = -7*g - 2. Let i be (-1)/3*(-3)/2*-2. Let u be k(i). Suppose -u = -d, 2*r - 59 = 6*r + d. Which is bigger: -15 or r?
-15
Let f be (0 - -8) + 378/(-72) + (-7)/4. Is f <= -1248?
False
Let a be (208/12)/((-161)/(-300426)). Are a and 0.1 unequal?
True
Let b = -30 + 31. Let o = 3089/27 - 1025/9. Which is smaller: b or o?
o
Let r = 1705 + -4142. Which is smaller: r or -12186/5?
-12186/5
Let x = 2378 + -2379. Let h = 64002605/22 - 12361504307/4246. Let b = 2120 + h. Which is bigger: b or x?
b
Let i(f) = -f + 1. Let p(l) = -4*l**2 + 8*l + 4. Let n = -1 - -3. Let k(a) = n*i(a) - p(a). Let m be k(3). Which is greater: 3 or m?
m
Let t = 3.27 - 60.27. Let y = 111 - t. Which is greater: y or -1?
y
Suppose 6*c = 3*c + 105. Let i be 0 + (-91)/c + (-4)/10. Let f = i + 37. Is 34 <= f?
True
Let l = 341 - 550. Let n = -117 - l. Is n at least as big as -1?
True
Let d(m) be the second derivative of -m**4/12 + 3*m**3 + m**2/2 - 3*m - 8. Let p be d(18). Is 26 greater than or equal to p?
True
Let v = 0.315 - -225.685. Let u = v + -259. Which is bigger: u or 0?
0
Let q be -3 + 8 - (3/(-3) + (-198)/2). Which is bigger: q or 0.26?
q
Suppose 10*j + 66 = 7*j. Let i be (j/(-2) + 1)*1/2. Suppose -i*z + 4 = -5*z. Are z and 0.4 equal?
False
Let l = -36736 - -97974914/2667. Which is smaller: 1 or l?
l
Suppose -25306 = 19*a + 21415. Which is bigger: -2460 or a?
a
Suppose 0 = -5*v + 10, 2*v = -4*w + 5*w - 799. Which is smaller: w or 800?
800
Let m = 23 + -23.8. Let n = m + 1. Let g(l) = 2*l**3 - 32*l**2 + l - 14. Let v be g(16). Which is smaller: v or n?
n
Let f = 28 - 33. Let t be (1/(-4))/(1/(1 + f)). Which is bigger: 2/425 or t?
t
Let d = 0.001 - -28.999. Let g = -612 + 611.7. Is g <= d?
True
Let h = -12.4 + 16. Let q = h - 4. Let s = q + 0.8. Which is smaller: -2/21 or s?
-2/21
Let c = 1517519/45227 + 92/923. Let s = -101/3 + c. Which is smaller: 0 or s?
s
Let j(o) = o**3 - 10*o**2 + 2. Let d = -5 + 33. Suppose -35*a = -d*a - 70. Let i be j(a). Is i at least 1/2?
True
Suppose -22218 = 182*a - 711*a. Which is smaller: a or 72?
a
Let s(d) = 8*d**3 - 266*d**2 + 66*d + 92. Let q be s(33). Which is smaller: 818/9 or q?
818/9
Let o = 107 - 157. Suppose 5*l + 2941 + 5882 = j, -l + 3*j - 1759 = 0. Let 