. Are g and t equal?
False
Let m(k) = 3*k - 43. Let o be m(10). Let a be ((-18)/54)/(o/(-6) + -2). Let u be (-5 - (-144)/30)/(1/a). Is 4/5 < u?
False
Let b = 192 + -196. Let o be (-2)/9 + b/(-18). Let p = 7 - 5. Which is smaller: o or p?
o
Let x be (2/(-11))/((-1)/(-2)). Let u = 43/135 - -2/135. Which is bigger: u or x?
u
Let a = 2665.1 - 2913. Let y = -248 - a. Which is smaller: 148 or y?
y
Let a = -5911 - -5911. Which is smaller: a or 460?
a
Let i = -17.4 - -16.14. Let v = i - -1.26. Is -23 less than or equal to v?
True
Suppose c = -39 + 36. Let o be (-130)/c - (-36)/(-27). Let u be (-6)/o + (-18)/70. Is -1 greater than u?
False
Let v = 4.3 + -0.7. Let t = 0.055 - -9.545. Let r = t - v. Which is bigger: r or -1/3?
r
Let c = 297.2 - -4.8. Let i = -291.2 + c. Which is bigger: 2 or i?
i
Let s be 1 + -244 + 17*48/272. Is -235 > s?
True
Suppose 4*x = 7*x - 72. Suppose -5*l = -5*w + x - 4, -2*w + 8 = 4*l. Let b be -7 + 6 + w - 46/17. Which is smaller: -1 or b?
-1
Let c = -290.91 - -293. Let t = -0.99 + c. Which is bigger: t or -3?
t
Let d be -4*((-45)/(-10))/3. Let k be 4394/7280 - d/(-14). Which is smaller: k or -1?
-1
Let y = 0 - -2. Let l be (-38)/171 + ((-292)/(-9))/2. Suppose 20*p - l = 184. Is p at most y?
False
Let z = 0.45 - 0.54. Let c = -0.09 - z. Which is smaller: -1.24 or c?
-1.24
Suppose -122 = -2*k - 104*x + 108*x, 0 = -3*x + 8*x + 30. Suppose -3*l + 11 = -154. Is k bigger than l?
False
Let v = -17 - -11. Let x(m) = -6*m + 36. Let r be x(2). Let f be ((-5)/((-45)/v))/(28/r). Which is greater: f or -1?
f
Let t = -0.1146 - 546.8854. Let d = 614.75 + t. Let u = 68 - d. Is u at most -2/5?
False
Suppose 3*j - 3*b = 5*j - 191, -5*j + 505 = 2*b. Suppose -6*v - j = -37. Is v > -86/9?
False
Let u = 101.9 + -17.9. Let j = u - 97. Suppose -x + 11 + 2 = 3*b, 2*x + 24 = 4*b. Are x and j non-equal?
True
Let z = 1554 + -1556.1. Is 33 > z?
True
Let d = -13581 + 13848. Does 17 = d?
False
Let j(l) = -6*l**2 - 18*l - 9. Suppose 4 + 28 = -8*h. Let c(y) = -5*y**2 - 17*y - 10. Let t(v) = h*c(v) + 3*j(v). Let p be t(-6). Which is smaller: 3/4 or p?
3/4
Let p be 2/4 + (-1 - 1). Let i = -17/9 - -191/63. Which is smaller: i or p?
p
Let b be 1160/(-6) + 20/15 + (42 - 36). Let i = -10 - -6. Let n be 10*(-1)/b*i/10. Which is smaller: 1 or n?
n
Suppose 14*d - 730 = 404. Which is bigger: 97 or d?
97
Let t be ((-6)/(-24))/(5/(-20)). Let m(i) = -12*i**2 - 9*i - 8. Let d be m(t). Which is bigger: d or -120/11?
-120/11
Let t = 11 + -88. Let b = 77.03 + t. Let w = -1.03 + b. Which is greater: w or -0.1?
-0.1
Let q be -7*(4/(-6) + 1). Let j(w) = 26*w**2 + 10*w + 9. Let r be j(-1). Suppose 0 = x + 4*d - 3*d + 7, 5*d + r = 0. Which is smaller: x or q?
q
Let v = -2969 - -130629/44. Let l be ((26 - 26)/19)/(-1). Which is smaller: l or v?
v
Let g = 18.4 - 19.5. Are g and 2 unequal?
True
Let r(i) = i**3 - 40*i**2 + 24*i + 585. Let x be r(39). Which is smaller: x or 2/3643?
x
Let j(p) be the second derivative of p**5/20 + 3*p**4/4 + 2*p**3 - 9*p**2 + 120*p. Let z be j(-6). Is 206/11 at most z?
False
Let h = 18 - 7. Let w = h - 15. Let s = 36 + -35.8. Is w greater than or equal to s?
False
Let i = -7.97 + 8.517. Let r = -0.53 + i. Let q = r + 0.083. Is -5 > q?
False
Let v = 12/2039 - -23472/169237. Which is smaller: v or 1?
v
Let b = -219/28 + 33153/4228. Let c(a) = -6*a + 17. Let l be c(3). Is l less than b?
True
Let t = -17/8 + -37/88. Is t at most -1/12?
True
Let x be 10858/45 - 4*(-24)/160. Is x <= 241?
False
Suppose 3*m + 165 = 3*c, 0 = -m - 4*c - 24 - 31. Let w be 28/5 + 20/50. Let i be (-2)/w - m/(-15). Is -18/5 bigger than i?
True
Suppose 2 = -n - 0. Let j = -1 + n. Let b be (-9)/6*65/(7605/78). Which is bigger: j or b?
b
Let a be (4/(-5) - 1/5) + -2. Let v be 1 + -2 - (-34 + (a - -3)). Let h be 52/v - 4/6. Are h and 0 nonequal?
True
Let x = -10.082 + 9.782. Is x equal to 3/217?
False
Suppose 73 - 73 = 6*t. Let u be t*((-32)/(-368) - (-27)/(-46)). Which is greater: -1/53 or u?
u
Let p(w) = w**3 + 10*w**2 - 9*w + 22. Let b be p(-11). Let g be 2*(1/(-2) + b). Are g and 3/190 nonequal?
True
Let j = 125 - 115. Suppose -2*r = -4*q - j, q = 2*r + 6*q + 17. Let m = -7 + 1. Are r and m nonequal?
True
Suppose 0 = -12*b - 11*b + 2162. Let x be (b/235)/(-1*2). Is -2/3 < x?
True
Let z = -423.848 - 0.152. Let l = -445 - z. Let a = 2.1 + -2. Which is greater: a or l?
a
Suppose -34 - 22 = 4*l - 4*x, -l - 2*x - 20 = 0. Let b = -14 - l. Which is smaller: 12/13 or b?
12/13
Suppose 2*m = 3*m - 2*c - 22, -5*c + 22 = m. Let a(h) = -h - 2. Let f(k) = -k**2 + 24*k + 60. Let g be f(27). Let x be a(g). Is m < x?
False
Suppose 8*f + 1696 = 12*f. Let p be (180/f)/(-9)*42/(-35). Are p and -1 equal?
False
Let h = 7694206/84287 - 1/12041. Let y = 91 - h. Which is greater: -0.46 or y?
y
Let i be (-2)/6 + (-224)/(-15) + -2. Is i less than 13?
True
Let h = 18636 + -37257/2. Which is smaller: 7 or h?
7
Let g = -193.66 + 33.66. Which is greater: 2/3 or g?
2/3
Let m(b) = b**2 + b + 17. Let y be m(0). Let s = y + -16. Let d = -256 + 255. Which is bigger: d or s?
s
Let u be -7*(-30 + 6) - 6. Let f = 77 - u. Is -86 less than or equal to f?
True
Let q = -1605 - -424. Is -1181 smaller than q?
False
Let j = 736 - 1000. Let u = j + 791/3. Is u at least -37/3?
True
Let i = 2609/9 + -5191/18. Let r = 3 + 17. Which is smaller: r or i?
i
Let l = 13 + -27. Let m(f) = -3*f + 53. Let t(y) = y - 18. Let s(h) = 2*m(h) + 7*t(h). Let i be s(6). Is l at least i?
True
Suppose -j = -z - 91, -2*j + 0*z - 4*z + 164 = 0. Let p = j - 98. Which is bigger: -65/6 or p?
p
Let x = 572 + -431. Suppose 2*u + 113 = x. Which is bigger: u or 23?
23
Let y be (-64)/16 + 17 - 15. Let a be (6/(-16))/(5/12). Which is bigger: y or a?
a
Let r be (2 - -1)/(-1) - -2. Let v be ((-372)/240)/(10/6096). Let z = -945 - v. Which is bigger: z or r?
z
Suppose 0 = -70*g + 72*g + 3*b - 41, 2*b = 3*g - 29. Which is smaller: -3 or g?
-3
Let z = -5.034123 + 0.034123. Suppose 15 = -7*y + 4*y. Let v(t) = -t**2 - 7*t - 7. Let p be v(y). Which is bigger: p or z?
p
Suppose -3*u - 9 = -0*q + 2*q, 5*q - 4*u - 35 = 0. Let b be (q - 10) + (-6656)/13. Which is greater: -520 or b?
b
Let k = -459677/47 + 9780. Which is smaller: k or 1?
k
Let q be (12/(-10))/((-24)/60). Suppose -8*k + q*k = -w - 79, 37 = 2*k + 5*w. Suppose -2*g - 7*j + 3*j + k = 0, 0 = -2*g - 3*j + 11. Is -1/8 bigger than g?
True
Let a = -35/16 - -327/208. Suppose -2*t + 5*o = -2 + 17, -3*t + 2*o = 28. Let j = t + 9. Is j != a?
True
Let o = 251 + -273. Let t be (1*2/o)/((-24)/(-1488)). Which is greater: -7 or t?
t
Let k = -8343 - -125159/15. Is 4/7 != k?
True
Suppose 2*c - 2*f + 476 = 0, 3*f = -2*c - 0*f - 491. Let r = c - -279. Are 38 and r equal?
True
Let u = 4.9 - 4.9. Suppose 0*b + b - 157 = -5*j, -5*j - 359 = -2*b. Let o = b - 2925/17. Which is bigger: u or o?
u
Let o = -90 - -54. Let k be (-6)/(-8)*o/(-9). Let d be (15/(-3) + k)*19. Do d and -38 have the same value?
True
Let p(y) = 6*y**3 - y**2 + 9*y + 8. Let z be p(-3). Let n = z - -206. Is n <= 52/3?
True
Let t be (0 - 4/8) + (-7)/((-126)/9). Which is smaller: -3/313 or t?
-3/313
Let s(c) = -45*c + 2289. Let h be s(51). Which is smaller: h or -29/6?
h
Let v = -7310 - -7361. Is v > 566/11?
False
Suppose 0*w + 3 = w. Suppose v + w*v + 5*x - 13 = 0, -4*v - 4*x = -12. Let t(q) = -5*q + 2. Let m be t(v). Are -7 and m nonequal?
True
Suppose 0*m + 6*m = 210. Suppose -33*f - 212 = -m*f. Which is greater: 109 or f?
109
Let c = 8.6949 + 0.3051. Which is greater: -17 or c?
c
Let b(m) = m**2 - 20*m - 17. Suppose -4*j + 42 = 2*r, -j = -4*r - 0*j + 84. Let z be b(r). Let y be (-81)/6*z/3. Which is smaller: y or -17?
y
Let j = 1 + -1. Suppose 19 = d - 2*v, -v + 0*v = -3*d + 52. Suppose -4*t - 7*x = -2*x - d, -t + 3*x = j. Is t bigger than -3?
True
Let u be (-160)/240 + (-2)/8 + 155/(-132). Do -2 and u have the same value?
False
Let o(x) = 21*x - 41. Let r be o(2). Let z be (2/148)/(14/4). Which is bigger: z or r?
r
Let s = -8119 - -8117.6. Is s != -0.045?
True
Suppose m - 2729 = g, 4*m + 13*g - 12*g = 10891. Let y be 16/m*18/12. Let l be 0/1*1/2. Which is smaller: y or l?
l
Let n = -591 - -854. Let q = n + -250. Suppose 4*l - 39 = l. Is q equal to l?
True
Let t = 68416/429 - 1708/11. Which is smaller: 3 or t?
3
Suppose 30 = q + 3*k, 11 = 2*q - 5*k - 16. Let 