 g = 32 + s. Let o = -8 + 8. Is g equal to o?
False
Let h = 37/30 - 5/6. Let d = 366 + -235. Let g = -132 + d. Which is greater: h or g?
h
Let x = -3364 + 3364.1. Is x bigger than -0.114?
True
Let m be 382/(-5) + 15/(-25). Let n be 297/m - (1*4)/(-1). Which is smaller: n or -1?
-1
Let w(r) = -9*r + 9. Let x be w(-8). Let b = 3268 - 3187. Are b and x equal?
True
Suppose 33*y = 27*y - 1290. Let n = 224 + y. Is n not equal to 94/9?
True
Let f = 1083.886 + -1182.82. Let q = f - -99. Let d = q - -19.934. Which is greater: 2 or d?
d
Let j(q) = -5*q**2 - 75*q - 44. Let a(w) = -2*w**2 - 25*w - 15. Let g(z) = 11*a(z) - 4*j(z). Let y be g(23). Is y at least as big as -472?
True
Suppose -2*v - 4*m = 20, 4*v - m - 2*m = -18. Let t = 0 - v. Suppose -5*d = -5*q + 35, 2*q + t*d = d - 21. Is q less than -2?
False
Let s = 0.0554 + -25.0554. Suppose -3*q = 6 - 18. Suppose q*n = n - 3. Which is smaller: s or n?
s
Let a(z) = -8*z - 87. Let j(b) = b**3 + 7*b**2 + 5*b - 16. Let t be j(-6). Let f be a(t). Let i be 2/7 + 44/(-7). Is f >= i?
False
Let x be (2/(-20))/(168/(-1680)). Which is bigger: x or 2/4661?
x
Let o be -25 - (-9 - 3)/3. Let z = o + 49. Suppose f = -5*h + 28, 4*f + 4*h - 61 = 51. Does f = z?
True
Let s be -2*((-3)/6)/(-1). Let v = -47 + 277/6. Which is bigger: s or v?
v
Suppose 0 = -4*g - 2*p + 1408, -5*g - 350 = p - 2113. Suppose 3*k + 127 = 5*y + g, -4*k = 12. Let v = y + 37. Is v at least as big as -3?
False
Let f(c) = 19*c - 1490. Let q be f(78). Are q and -54 nonequal?
True
Suppose -v = -2*v - 1. Suppose 2*n = -8 + 2, 2*l - 85 = -5*n. Suppose -4*z + l = 6*z. Which is greater: z or v?
z
Let g(h) = -2*h - 10. Suppose 4*a = -9 - 3. Let d be g(a). Let r be (d/(-6))/((-5)/3). Is 29 >= r?
True
Suppose 0 = -2*j - j + x + 37, 2*x + 61 = 5*j. Let n = -1476 - -1494. Which is bigger: n or j?
n
Let j(g) = -6*g**3 + 10*g**2 - 9*g + 14. Let t be j(2). Let q = -6 + 8. Let i be -2 + q + -11 + -1. Is i less than or equal to t?
True
Let v be -1 - 93*1/1. Suppose 0 = 1422*t - 1460*t - 3534. Which is smaller: v or t?
v
Let h = -31672/651 - -69/217. Which is greater: h or -48?
-48
Suppose -p = 5*i, p + 3*i - 3 = 3. Suppose 0 = 3*a + p, -a - 3 - 7 = -n. Suppose -3*u + n = 8. Do 5/23 and u have the same value?
False
Let q = 651.25 + -651.4. Which is greater: q or 189?
189
Suppose 42*x - 40*x - v = 24, -5*x + 30 = 5*v. Is 127/12 at most x?
False
Let d(w) = -w**3 - 15*w**2 + 3*w + 34. Let a be d(-15). Let b = a + 14. Which is greater: 27/7 or b?
27/7
Suppose 2*f + 3*d = 29, -4*f + d + 14 + 51 = 0. Suppose 4*q = -5*m - 103 - 8, 69 = -3*m - 3*q. Let o be (m - -1)*(1 + (-18)/f). Which is smaller: 2 or o?
2
Suppose 0 = -88*y - 62*y + 1668 + 882. Does y = 184?
False
Let t = 225.41054 - 0.11054. Which is smaller: t or -0.5?
-0.5
Suppose -28 = -10*g + 22. Suppose 10 = 5*a, 5*a - 10 = 3*z - 0*z. Suppose z = -3*k + 9 - 3. Which is bigger: k or g?
g
Suppose 0 = -4*t - 5*u - 667, u - 142 = -5*t - 960. Let q = t + 1138/7. Let l(o) = -2*o + 203. Let p be l(101). Is q > p?
False
Let u = -43891/7800 + 45/8. Is u bigger than 0?
False
Let t(y) = -y**3 + 9*y**2 - 14*y + 2. Let h(u) = 2*u + 12. Let g be h(-3). Let v be t(g). Suppose 49 = 4*m - 59. Which is bigger: v or m?
m
Suppose -2*x - 9*a = -4*a - 666, 0 = 5*x + 3*a - 1627. Let w = x - 322. Are 124 and w nonequal?
True
Suppose 4690*j - 995 = 4691*j. Is j <= -995?
True
Let w = -62/95 - -20/19. Is -4404 bigger than w?
False
Let z be (-1)/(-5) - 60/50 - -2. Let c = 538763157/3740 - 720269/5. Let o = c - 19/44. Are o and z equal?
False
Let f be 217/(-62) + 827/(-2). Let s = f - -418. Which is bigger: 4/19 or s?
s
Let s = -239 + 337. Let i(c) = -195*c + 103*c - 12 + s*c. Let z be i(2). Do z and 2/13 have the same value?
False
Let b be (-34)/(-16) - 25/200. Suppose -g + 6 = -3*g + b*o, -g = -2*o + 5. Which is smaller: g or 1/59?
g
Suppose 2*v - 240 = -3*v + m, m = 0. Let k(b) = -b**3 + 7*b**2 - 4779*b + 23892. Let c be k(5). Does c = v?
False
Suppose 4*a = 4*v - 547 + 31, -256 = -2*v + 3*a. Which is smaller: 135 or v?
v
Let x(g) = -7*g + 158. Let n be x(12). Let t be n/(-10) - 171/95. Is -8 < t?
False
Let b = 0.096 + 0.004. Let f = b + 7.2. Let u = 17.3 - f. Is -0.3 smaller than u?
True
Let w be 2/(-3) + 493022/416730. Let m = 2/2395 + w. Is m at most 1?
True
Let t(f) = -f**3 - 9*f**2 - 9*f + 2. Let s be t(-8). Suppose 130 = 5*i + s. Let n = 31/2 - i. Which is greater: -8 or n?
-8
Let f(k) = -6*k + 18. Let b be f(12). Let i = 22 + b. Let p be (-1 - 2)*i/30. Is 3 < p?
True
Let s = 3331 + -3346.97. Let m = 2.2 - -13.8. Let z = s + m. Which is bigger: 0 or z?
z
Let r = 71 + -62. Suppose 6 = 5*h - r. Suppose -7*o - 10 = -h. Which is smaller: o or -9/7?
-9/7
Let w = -0.67 - -0.8. Let a = -6 + 6. Let v be 1/(a - (0 + -1)). Which is smaller: w or v?
w
Let h = 3190 + -3189.8. Which is smaller: h or -18?
-18
Suppose z = -s + 5, 0 = -4*s + 5*z - 1 - 6. Let v = 7451520740 + -108598463223473/14574. Let d = v + 1/2429. Which is greater: s or d?
d
Let w(q) = -164*q - 371. Let a be w(-4). Do 288 and a have the same value?
False
Let u = 763 - 775.98. Let v = u - -12. Let w = v + 22.98. Which is smaller: w or -1/2?
-1/2
Suppose -192*g + 184*g + 1504 = 0. Suppose -3*m + g = -319. Is 171 equal to m?
False
Let v = -22 - -24. Let p = 0.0224 - 134.8224. Let y = p + 135. Is v less than y?
False
Suppose 8*k - 7 = -847. Let o = k + 97. Let x = -5 - -5.1. Is o smaller than x?
True
Suppose -5*b + 145 - 65 = -285. Which is smaller: 62 or b?
62
Suppose 0 = 4*w - i - 158 + 29, 5*w - 180 = -5*i. Which is smaller: 379/12 or w?
379/12
Let u be -15*3*(42/15 - 3). Let c(g) = -g**3 - g**2 + 70*g + 263. Let y be c(-5). Is u < y?
True
Let a = -25595 - -27235. Is a equal to 1641?
False
Let n(t) = -2*t**3 + t**2 - t - 2. Let d be n(-1). Suppose d*f - 40 = -2*m - 2, -f + 4 = 4*m. Let s be (f/(-20))/((-11)/5). Which is bigger: 0 or s?
s
Let n = 321 - 319. Let i be (-6852)/480 - n/(-5). Which is smaller: -14 or i?
-14
Let s = -2620171/97530 + -9/6502. Which is bigger: -28 or s?
s
Suppose 0 = -11*o + 26 + 29. Let b(f) = -f**2 - f + 18. Let a be b(3). Is o greater than or equal to a?
False
Let h = 68/45 + -1/9. Let g = 2 - -3. Suppose -4*u = u - g. Which is smaller: u or h?
u
Let k(f) = f**3 + f**2 - 2*f - 1. Suppose 2*q = -0*q - 2. Let t be k(q). Let j be ((10/45)/(-2))/((-30)/9 - -3). Which is smaller: t or j?
j
Suppose 15*t + 52 - 7 = 0. Let s be 3 + 15*t/6. Which is smaller: s or -4?
s
Let x = 252.026 + -0.026. Let b = -249.6 + x. Is 4 bigger than b?
True
Suppose -198 + 3 = -5*h. Let s = -41 + h. Let x be 2/6 - s/(-18)*12. Which is bigger: -3/19 or x?
-3/19
Suppose -4*g + 2 = -2*c, -g - 6 = -3*c - 4. Suppose -u - 5*n = g + 12, 0 = -u - 2*n - 1. Is u != 0?
True
Let q = -5081 + 4603. Which is smaller: -476 or q?
q
Let s = 58 - 55. Let n = 22 - 21.1. Let l = n + -0.82. Which is smaller: s or l?
l
Let g = 17469 - 17525. Let u be (3 - 5/2)*-116. Which is smaller: u or g?
u
Let f = -0.24624 + 0.25624. Let q = -0.95 + 1. Which is bigger: q or f?
q
Suppose 2*o - 64 = -6*o. Let p be (-613)/4 - (-37)/148. Let n = p - -160. Which is bigger: o or n?
o
Suppose -t + 223 = 2*u, -t - 7*u = -2*u - 223. Let m = 210 - t. Are -3 and m equal?
False
Let h = -7085 - -7082. Is -2/1713 smaller than h?
False
Suppose 5*u - 10*u = -45. Let p be 15*((-15)/u)/(-5). Suppose 0 = 206*c - 208*c + 4. Which is smaller: p or c?
c
Let k(g) = 17 - 134 - 83 + 2*g - 11*g. Let y be k(-25). Is 16 <= y?
True
Suppose 5*h = -d - 100, -2*h - 27 = 2*d + d. Let r = 11 - h. Let b = -33 + r. Which is bigger: -12/13 or b?
-12/13
Let s = -1 - -1. Let k = -1 - s. Let g be (-3)/(114/4)*(0 - k). Which is bigger: 0.1 or g?
0.1
Let m = -134.21 - -136. Let z = m + 14.21. Is 6 greater than z?
False
Let g(j) = -4*j**2 - 93*j + 141. Let s(a) = -a**2 - 30*a + 47. Let o(r) = 2*g(r) - 7*s(r). Let w be o(22). Is -0.9 less than or equal to w?
False
Let z = -0.6 - 3.4. Let q = -23.96 + 4.96. Let n = z - q. Is -0.2 greater than n?
False
Let f(y) = y**2 + 4*y - 22. Let c be f(-4). Let b be 2*1/(-9) - 1437/(-27). Suppose b = -4*k - 35. Is c < k?
False
Let g(b) = 20*b - 101. Let z be g(5). Let f be (-648)/1323*(34/(-20) - z). Is 1 less than f?
False
Suppose 0 = -a - o + 1, 11 = -3*a + 3*o + 44. Let v be (-158)/(-2)*(7 + -8). Let w = v + 79. Which