h is greater: g or h?
g
Suppose 4*d + 4*z - 52 = 0, d - 4*d = -4*z - 32. Suppose -4*q + d = -q. Let t = 7 + -4. Are q and t unequal?
True
Let w = 2.8 - 2.76. Let r = 0.24 - w. Is r > -3?
True
Let c = -302 - -4532/15. Suppose 6*y - 36 = 9*y. Let i be 3/(-6) - y/8. Which is smaller: c or i?
c
Suppose 3*v = -v - 8. Let q = 20.88 - 21. Let g = -0.02 - q. Which is smaller: g or v?
v
Let v = 0.222 + -1.222. Which is bigger: 0.033 or v?
0.033
Let m(a) = 97*a + 252. Let u be m(-3). Suppose 9 = 3*c, 3*w - 5*c + 3 = -129. Is u at least as big as w?
True
Let l = 166 + -167. Suppose 2*c = -a - 111, 2*c = 4*c - a + 105. Let k = c - -217/4. Is k at least as big as l?
True
Let x be (4/5)/(4/(-100)). Let v be x/(-4) + (1 - -1). Let u(b) = b**3 - 7*b**2 + 2*b - 3. Let w be u(v). Is 11 < w?
False
Let u = 105 - 88. Suppose -77 = 4*z - u. Are -0.3 and z non-equal?
True
Let v(x) = 6*x + 1. Let q be v(-1). Let b(r) be the second derivative of r**4/12 + 5*r**3/6 - 5*r**2/2 + 4*r. Let u be b(q). Are -4 and u non-equal?
True
Let b(g) = -3*g - 10. Let y be b(-4). Suppose -56 = y*t - 6*t. Suppose -3*d - 3*c = -4 - t, -c = -4*d + 49. Is 10 equal to d?
False
Let r = -38 + 34. Is r bigger than 0?
False
Suppose 5*o = -19*o + 5*o. Suppose 3*v + 97 = 5*d, o = -4*v - 2*d - 63 - 75. Which is bigger: v or -36?
v
Let x = -1418/5 - -279. Let d = -30 - -25. Is x greater than d?
True
Let b be (-4)/(-26) + 450/117. Suppose 0 = 3*t - n - 11, -b*t + 9 = -5*n - 2. Is 32/9 bigger than t?
False
Suppose 0*f = -4*f + 60. Suppose -3*j = -i - 3, -18*i + j - 1 = -23*i. Are i and f equal?
False
Suppose 0 = 4*t - 44 + 16. Suppose -t*f - 35 = -2*f. Which is smaller: -9 or f?
-9
Let i = 0.579 + -0.579. Is -0.22 at most i?
True
Suppose 2*a + 126 = 8*a. Suppose -13*i + 16*i = -a. Does i = -7?
True
Let t = 148 + -37. Let c = t - 106. Is 15 bigger than c?
True
Suppose 10*r + 2 = 8*r, 4111 = 3*j + 5*r. Is 1371 at most as big as j?
True
Let s(w) = 35*w**2 + w. Let h be s(1). Let z = h + -23. Let r = z - 15. Is 2 at most r?
False
Let m = -819.8853 - 0.1147. Which is smaller: m or -0.1?
m
Let y = -69 + 203. Are y and -2/13 non-equal?
True
Suppose -3*w = -3, w - 2*w - 224 = -5*q. Which is greater: 1/2 or q?
q
Let q(r) = -r**2 - r + 8. Let h be q(-5). Let b(l) = -l**2 - 13*l - 10. Let f be b(h). Let n(j) = j + 2. Let x be n(-3). Is x at least as big as f?
False
Suppose 14*w - 855 = 2295. Suppose 4*c = 3*t + 113, -32 + w = -5*t + 2*c. Which is smaller: -40 or t?
-40
Let j = -5.4 - -4.7. Let y = j - -0.3. Is -3 equal to y?
False
Let u(n) be the second derivative of -n**4/12 + n**3 + 8*n**2 - 3*n. Let s be u(8). Let d be (-6)/(-50)*2/(-3). Which is greater: d or s?
s
Let q(s) = s**2 + 28*s - 74. Let r be q(3). Do r and 3 have different values?
True
Suppose -3*l + l = -4. Let t be -9 + 12 + l/(-126)*191. Let v = 0 - 0. Is v != t?
True
Let r be (-94)/90 + 1 + (2 - 2). Suppose -2*v + 2 = -4*v. Is v >= r?
False
Let p = 0.069 - 30.069. Let a = 31.8 + p. Let j = a + 0.2. Which is greater: j or 1/3?
j
Let n = -0.159 + 84.159. Let k = n - 77. Which is smaller: k or 3?
3
Let l(i) = -2*i**3 + 14*i**2 + 14*i - 26. Let o be l(8). Is o greater than -33?
False
Let q = -214 + 214. Let p be ((-1)/(-44))/(-1)*-6. Is q smaller than p?
True
Let o = 12509/8 + -1558. Which is greater: o or 6?
6
Let g = 970 - 969. Is g bigger than 122?
False
Let g(a) be the third derivative of a**6/120 + a**5/10 + 7*a**4/24 + a**3/6 + 5*a**2. Let i be g(-7). Let v be i/15 + 4/5. Is -7 bigger than v?
False
Let r = -38788/41 + 946. Let x(l) = 2*l**2 - 237*l - 855. Let n be x(122). Which is greater: r or n?
r
Let z be 0 + 7/(609/(-288)). Let f = 3494/1073 + z. Are f and 0 non-equal?
True
Let l = -2441 - -761. Let a be -1 + 4/l*541. Let c = 17/60 - a. Is 4 at least c?
True
Suppose 0 = 2*d + 8 + 2. Let p(w) = -w**2 - 6*w - 4. Let c be p(d). Let r be 4*((-1)/(-3) - (-903)/(-2898)). Which is smaller: c or r?
r
Let c = -82 + 84. Let g be ((-2)/6)/(15/36). Which is bigger: g or c?
c
Let v = 22933/91 + -53/91. Let o = 252 - v. Let f be 4/(-8) - 1/(-2). Is o greater than or equal to f?
True
Let q = -136 - -98. Are q and -0.2 nonequal?
True
Suppose -l - 17*d - 1 = -14*d, 5*l = d - 5. Which is smaller: -2/69 or l?
l
Suppose 234*t + 238 = 217*t. Is t bigger than -14?
False
Let p(i) = i**3 + 44*i**2 - 6*i - 267. Let r be p(-44). Which is smaller: r or -39/10?
-39/10
Let u be 32439/(-2233) + 12 - (-4)/14. Do -3 and u have different values?
True
Suppose 0*k = -k + 3. Let r be -2 + 0 + 2 + -15. Let l be (8/(-10))/((-6)/r). Are k and l nonequal?
True
Let b = -195 - -195.79. Let o = b + -0.59. Is o at most 14?
True
Let n = -1997 + 1935. Which is smaller: -65 or n?
-65
Let f = -39 + 36. Let r = f - -4. Which is smaller: -1 or r?
-1
Let n = -519 + 521. Which is smaller: n or -83?
-83
Let c = 291 - 280. Which is greater: 135/13 or c?
c
Let f = -19356 + 16239687/839. Is 0 at most as big as f?
True
Let c be 2/1*2/4. Suppose -c = -f + 5. Suppose 10*p = 5*p + 5*z + 50, 0 = p + 2*z + 2. Is p less than f?
False
Let c = -299 - -382. Which is greater: -3 or c?
c
Suppose -3*v - 9 = 3*o, 4*o - 33*v + 18 = -31*v. Which is smaller: o or 29?
o
Let o(h) = h**3 - 6*h**2 + h + 8. Let z be o(5). Suppose 6*y = 3*y - 27. Let b be (-8)/12 - z/y. Is b at most as big as -7?
False
Let o = -456 - -32375/71. Which is smaller: o or 1?
o
Let t = 74 - 37. Suppose t + 95 = 4*z. Is z less than 34?
True
Let r be 8/716*(-1)/2. Which is smaller: 1 or r?
r
Let v = 317 + -167. Let r = v - 7348/49. Which is bigger: -1 or r?
r
Suppose 30*c + 8428 = 79*c. Is c bigger than 172?
False
Let k = 904 + -798. Is k at least as big as 109?
False
Let j = 88 + -63. Let w be ((-6)/(-5))/(10/j). Suppose w*f = 12 + 9. Is f at least as big as 7?
True
Let f = -259 - -259.15. Are f and -1/2 nonequal?
True
Suppose 0 = p + 4*p - 5. Is 3/200 != p?
True
Let w = 12.04 - 12. Let n = w + -0.24. Is n bigger than -6/5?
True
Let r(y) = 51*y**3 + 11*y**2 + 12*y + 1. Let t be r(-1). Which is bigger: t or -648/13?
-648/13
Let i = 31/60 - 1399/60. Do i and -23 have the same value?
False
Let u(q) = -2*q**2 - 6*q + 21. Let r be u(-5). Is r at most -66.1?
False
Suppose -j = j - 22. Let n(s) = -s + 23. Let l be n(j). Suppose 4 = -4*o + l. Which is smaller: -1 or o?
-1
Let l(z) = -10*z - 9. Let g be l(-6). Let k(u) = 31*u - 536. Let w be k(19). Which is smaller: g or w?
g
Suppose 4*d = -2*l + 5*l - 13, 3*l - 20 = 5*d. Let h be 1/d + 15/175. Do 0 and h have the same value?
False
Let z = 302 - 266. Let w(x) = 20*x - 3. Let d be w(2). Is z not equal to d?
True
Let v be (-80)/14 - 6/21. Let i = 2 + v. Let y be (-1 - 2) + 16/(-16). Is i bigger than y?
False
Let o = 110 - 74. Suppose i + d = 16, o = 2*i + i - d. Which is bigger: 11 or i?
i
Suppose 0 = c + 4*c + 15. Let u(l) = -l**3 - 3*l**2 - 3*l - 1. Let i be u(c). Suppose 0 = w + 5*a + 21, 3*a + 2 = 2*w - i. Is 1/9 != w?
True
Let o(k) be the second derivative of k**5/20 - k**4/4 - k**3/6 - k**2 + k. Let j be o(4). Let f be (5/j)/(3/(-36)). Which is bigger: f or -9/2?
-9/2
Suppose 9 + 6 = k. Suppose -6*z - 15 = 3*u - z, 2*u = -5*z - k. Which is bigger: u or -3/11?
u
Let c(m) = -7*m + 353. Let g be c(50). Which is bigger: g or -65/7?
g
Let f = -590 - -589. Does 0.0123 = f?
False
Let o = 354 + -21604/61. Which is bigger: 1 or o?
1
Suppose -w + 22 - 12 = 0. Suppose 0 = -0*p + p + 4*n + 21, n = -5*p - w. Is -11/12 smaller than p?
False
Let j(x) = 3*x - 3. Let i be j(2). Suppose 0 = -8*o + i*o - 20. Suppose 4*b - 3*m + 16 = -7*m, -3*b = -2*m + 32. Is o < b?
False
Let n = 0.0212 + -0.2212. Let a = 43.8 + -6.8. Which is bigger: a or n?
a
Let q = 204.1 - 150.1. Is q greater than 15?
True
Let i be 1/(-2)*(-6 - -28)/11. Is i at least -3/254?
False
Let z = -115/22 + 2877/550. Is 0 > z?
False
Suppose 9*w + 57 = 75. Suppose 3*j + 106 = 286. Let h be w*(-1)/j*2. Which is bigger: 0 or h?
0
Suppose i - 5 = 3. Suppose -4*u + g + g + 14 = 0, g - 2 = -u. Suppose 5*t = 4*d + 49, -u*t + d = -d - 29. Are t and i equal?
False
Let i be 2 + -2 - ((-66)/(-6) + -9). Which is smaller: i or -14/11?
i
Suppose -7*y + 10 = -11. Let d be (y/27)/((-1)/(-2)). Is d < 1?
True
Let u be (-36)/10 + (-16)/(1 + -5). Which is greater: 209 or u?
209
Let j = 20815 - 3517745/169. Let b = -3410/507 - j. Which is smaller: b or -7?
-7
Let l 