h is greater: -1/2 or g?
-1/2
Suppose 40 = k - 9. Suppose 0 = 5*h - 21 - k. Does h = 15?
False
Let f = 31 - 43. Let s be ((-1)/10)/(f/(-16)). Which is greater: s or -1?
s
Let p = -6 + 2. Let c be (10/(-4) + 2)*p. Let r(a) = -a**2 - 10*a + 12. Let l be r(-11). Which is smaller: l or c?
l
Let i = 189 - 171. Is i at least 0.1?
True
Let c = 20.3 - 23. Let n = c + -1.3. Let g = -4.1 - n. Which is smaller: g or -16?
-16
Let p(s) = -s**2 - 7*s + 51. Let a be p(-10). Is a <= 17?
False
Let l(q) = -2*q**3 - 5*q**2 - 7*q + 52. Let i be l(-7). Are i and 541 nonequal?
True
Suppose 0 = -m - m - 8. Let q be (-6 - -8)/((-2)/m). Do q and 4 have the same value?
True
Let m be (-5 - -4)*(-1 - 1). Let o(g) = g - 9*g**m + 6 - 5 + 4*g**3 + g + 11*g**2. Let i be o(-1). Is i equal to -2?
False
Let t(k) be the second derivative of k**4/12 - 5*k**3/6 + 5*k**2/2 + 12*k. Let w be t(4). Which is smaller: 20/9 or w?
w
Let d = 124 - 123. Is 6/95 != d?
True
Let z = -747 + 747. Is -3/100 < z?
True
Let v = 242.5 + -134.5. Is 0 at most as big as v?
True
Let d be (-2)/(2 - 36/17). Suppose 0 = d*z - 14*z - 24. Suppose 5*l = -z - 7. Is l greater than or equal to -5?
True
Suppose 70 = 2*q + 5*q. Suppose b = -5*t - 7, t - 4*b + 4 = -q. Is 1 at least as big as t?
True
Let k = 13220 - 13217. Let h(v) = v**3 + 5*v**2 + 4*v + 5. Let c be h(-4). Suppose 5*i - 4*f = -7*f + 14, 0 = c*i - f - 22. Is i at least k?
True
Let s = -1515 + 1515. Is 19/47 less than s?
False
Let k be 1229/2884 + (-12)/28. Let c = -11092191151/2017652580 - 2/4897215. Let s = k + c. Which is smaller: -5 or s?
s
Let t = -0.6 - -18.6. Let i = 41 - t. Is -0.1 < i?
True
Suppose 4*d - 9 = n, -3*n - 10*d + 5*d + 58 = 0. Which is greater: n or 5?
n
Suppose -28*c - 1102 - 18 = 0. Is -41 greater than or equal to c?
False
Let c = -64 + 100. Let j = 38 - c. Suppose -j*q - 8 = -3*v, -5*q + 3*v - 8*v = -30. Is 0 greater than or equal to q?
False
Suppose 4*u - 6 = -58. Is -13 less than or equal to u?
True
Let b(t) = t**3 + 8*t**2 - 9*t - 1. Let g(o) = -o - 4. Let i be g(5). Let h be b(i). Are -3/44 and h non-equal?
True
Suppose 0 = -5*c + r - 328, 0 = 4*c - 6*r + 3*r + 258. Let b = 74 + c. Which is smaller: 5 or b?
5
Let y = 66.37 + -8.28. Let w = y - 58. Which is smaller: w or 2/19?
w
Let u be (-5)/15 - 3098/(-6). Suppose 3*k - 6*v = -2*v + u, 0 = -k - v + 165. Let x be k/(-49) + 6/14. Which is bigger: x or -2?
-2
Let l be (-35 - -32)*1/(-3). Which is bigger: -1/433 or l?
l
Let d = 346 + -410.8. Let c = -65 - d. Is 2/7 at least c?
True
Suppose -2*r - 34 = 90. Let j = -5044 - -4983. Is r equal to j?
False
Let q be (33/(-38742))/(2/8). Is 1 > q?
True
Let z(j) = -j - 3. Let d be z(-11). Let g = d - 4. Is -2 greater than g?
False
Let y = 80 + -82. Let w = -15 - y. Do -15 and w have the same value?
False
Let g(b) = -b - 9. Let q be g(-9). Let t be (-1)/2 + 46/92. Is q not equal to t?
False
Let h be -4*(42/24)/7. Suppose 0*d = -5*d. Is d at least h?
True
Suppose 4*j - 2*g - g - 42 = 0, g = 4*j - 38. Let a = j - 5. Suppose -41 - 34 = 5*q + z, -a*z = q + 15. Is q at least as big as -14?
False
Suppose 0 = -25*i + 22*i - 3*g + 72, 54 = i - 5*g. Do i and 30 have different values?
True
Let b(i) = 28*i**2 - 2*i + 1. Let v be b(1). Let y = v - 25. Are 2 and y nonequal?
False
Let y be 10/492*722/20. Let x = 2/123 + y. Let d be ((-5)/35)/(2/(-14)). Which is bigger: d or x?
d
Let h be -2 + 0/(-1) + 11. Let i(p) = 8*p - 123. Let r be i(16). Is r greater than h?
False
Let b = 0.2079 + -0.1799. Which is smaller: 9 or b?
b
Let y be 9/(-6) + ((-6)/4 - -3). Do 9/10 and y have the same value?
False
Let i be ((-3)/(-8))/1 - 27625/75000. Is -1 != i?
True
Let f(m) = -88*m**2 - m - 1. Let l be f(-1). Let o be 2/(-10) + (-13)/(5070/l). Which is bigger: o or 1?
1
Suppose 0 = -c + 2*n - 1 + 11, 0 = -5*c + 3*n + 36. Suppose 0 = 4*g - 10*g + c. Let b be 4 + g + 56/(-10). Which is smaller: 0 or b?
b
Suppose -5*n = -5, 0 = 2*k - k + n - 11. Let s be ((-15)/(-10))/(3/32). Is k equal to s?
False
Let f be 16/128 + 46/(-688). Is 1 at least f?
True
Let f(p) = -p**3 + 2*p**2 - 6*p + 30. Let c be f(0). Are c and 220/7 non-equal?
True
Suppose -6*b + o = -5*b - 17, -2*o + 26 = 3*b. Suppose -2*f = -0*f - 16. Is b bigger than f?
True
Let m = 7 + -10. Let v(c) = -c**3 + 4*c**2 + 2. Let t be v(4). Suppose 6 = -2*d - u, t*u - u - 2 = 0. Which is bigger: m or d?
m
Let u = 2.09 + -2. Let x = u + -0.07. Which is smaller: 2 or x?
x
Let s be (-860)/(-28) + (-6)/(-21). Suppose 3*u + 5 + s = 0. Let q = 13 + u. Which is greater: q or -1?
q
Suppose -91 = -28*q + 21. Which is greater: q or 1?
q
Let l be ((-30)/40)/((-1)/(-2) + 1). Let z be (12/16)/(14/8). Do z and l have the same value?
False
Let r(u) = -3 - 2*u + u + 7*u. Let k be r(8). Is k greater than 0?
True
Let v = -36 - -51. Let l = -15 + v. Are l and 4/3 nonequal?
True
Suppose -6*x - 119 = -209. Let f be (13 + -4)/(x/(-10)). Does -2/7 = f?
False
Let a be -6*12/(-90)*-25. Do a and -17 have different values?
True
Let h = -21 + 15. Let w = 49/66 - 8/33. Which is bigger: h or w?
w
Let s be (4/(-5))/(10/(-75)). Let a be (s/4)/(3/18). Suppose -a*y + y = -64. Is 2 less than or equal to y?
True
Suppose 5*h + 0*h = 0. Let o be (-12)/(-9) - (2 - 0). Which is bigger: h or o?
h
Let d(v) = 2*v**2 - 12*v - 16. Let y be d(7). Let i be 2/3*6/(-4). Let z be (i/(-2))/((-6)/24). Is z equal to y?
True
Let t = -2074828793674/19143 - -108385770. Let w = -2/2127 + t. Are 0 and w non-equal?
True
Let l = 0.038 - 0.008. Let i = -2.97 - l. Which is smaller: -2/19 or i?
i
Let b(c) = -53*c**3 - c + 3. Let n be b(2). Which is smaller: n or -424?
-424
Let a = -1630 + 1629.909. Which is bigger: a or -8?
a
Let v = 26 - 55. Let x = 28 + v. Is x greater than -1.6?
True
Let u = 373 - 236. Is u > 137?
False
Let d = -24.2 - -24.5. Let t = -3 + 3. Which is greater: t or d?
d
Suppose -3*x + 1 = 4*w, 3*w + 0 = 4*x + 7. Let c be 0 + (x + 2)*(-19 - 0). Is c bigger than -16?
False
Suppose -87 = -6*y - 21. Suppose -s + 3 - y = 0. Which is smaller: 0 or s?
s
Let o(s) = -s**3 - 2*s**2 + 2*s + 2. Let t be o(-3). Suppose t*q + 2*y = -324, 4*q - 3*y = -2 - 248. Let r = q + 574/9. Which is bigger: 1/3 or r?
1/3
Let r = -190/17 - -1361/102. Let j(y) = -y**2 - 4*y - 1. Let v be j(-3). Let l be 2 - (3 - 8/v). Which is greater: r or l?
l
Suppose -2 = 5*d + 2*f, 0 = 4*d - 2*f + f + 12. Let p be d/2 + 0/(-6). Which is smaller: p or 7?
p
Let y be ((-40)/18)/((-12)/18). Let j(f) = -f**2 - 2. Let m be j(2). Let w(o) = o**3 + 5*o**2 - 8*o - 8. Let x be w(m). Which is smaller: x or y?
y
Suppose -2*j = -3*j, 5*w + 3*j = 0. Suppose w = -3*q + 25 - 7. Let k be 13/(-104) - 102/(-16). Which is smaller: k or q?
q
Let g = 131 + -221. Let y be 12/g - (-133)/(-15). Is y bigger than -10?
True
Let d(t) = -t**2 + 9*t - 2. Let n be d(9). Which is greater: n or 1?
1
Let l = -163 + 168.8. Let p = l - 5.9. Which is smaller: -82 or p?
-82
Suppose -4*b = -6 + 2. Suppose -12 = 22*y - 78. Which is greater: y or b?
y
Let n = -139 - -165. Which is greater: n or 5?
n
Suppose 5*v = -5*m, -5*v - 4*m + 2*m = -15. Suppose -z + 11 = 3*s, -v*s + 53 = -3*z + 16. Let w be ((z - -3) + 0)*-1. Which is smaller: 1/3 or w?
1/3
Suppose -1 = -4*s + 3*y + 2*y, 2*s - 2*y = 0. Which is bigger: 9/26 or s?
9/26
Let m(f) = f**2 - 6*f. Suppose -2*g = x - 6, -5*g - 6 - 12 = -3*x. Let o be m(x). Suppose n - 14 + 2 = o. Are n and 1 non-equal?
True
Let x = 94 + -67. Suppose 0*u + 5*u - o + 108 = 0, u - 2*o + x = 0. Is -17 at most as big as u?
False
Suppose -36*p - 231 = -34*p - 5*m, 3*p = -2*m - 375. Are p and 5 unequal?
True
Suppose 4*o - o - 1244 = -2*h, -3*h + 4*o + 1900 = 0. Let p be (-4)/9*6/h. Let b = p + -47/1256. Is b <= 0?
True
Let p = -24 - -21. Let u be p/(-4) + (-10)/(-40). Let c be ((-7)/3)/7 + u. Which is smaller: 15 or c?
c
Suppose 0 + 2 = -2*j. Let n be -2*(-4 + j + 3). Suppose 2*t + h + 4 = 0, -3*t + 16 = -7*t - n*h. Are -0.1 and t nonequal?
True
Let n = -3883/35 - -771/7. Let y = 7 + -7.3. Which is greater: n or y?
y
Let a = 1.0319 - 0.0319. Is a bigger than -4.4?
True
Suppose 0 = -4*f - d - 1071, 4*d - 231 = 2*f + 309. Is f <= 0?
True
Let j = 0.8 - 0.809. Let x = 8.009 + j. Which is smaller: x or 1/6?
1/6
Let b = -6.88 + 7. Let o = b + -0.22. Let i = 2.2 - -0.8. Which is bigger: o or i?
i
Let q = -330.059 - -330. Wh