et x be ((-63)/18 + 4)*126/(-4). Which is greater: -17 or x?
x
Let a be -7 + 13 - (0 - 4). Which is bigger: a or 8?
a
Suppose 3*g + 0 = -5*h + 6, 0 = 3*h. Suppose 3*z + 19 = -4*u, 5*z = u - g*u - 9. Let d be (-6 - -6) + z/2. Is d bigger than 4?
False
Let m = 78548/437 - 3259/19. Is m at least 8?
True
Suppose 5*b - 2*r = -66 + 8, 2*b + 5*r = -29. Is -7 greater than b?
True
Let g = 0.06 - 0.06. Let c = -192.15 - -192. Is g <= c?
False
Let u(k) = k**3 - 18*k**2 + 18*k - 31. Let w be u(17). Let f be (2*1)/(w/(-7)). Is f less than or equal to 2/97?
False
Let p be (48/972)/(8/(-12)). Let w(r) = -2 - 3 + 3*r - 2*r. Let x be w(5). Which is bigger: x or p?
x
Let s = 0.49 - -0.11. Let d = s + -2.1. Let v = 0.5 + d. Which is smaller: 4 or v?
v
Let h = -20.018 - -0.018. Let t = h + 9. Let g = t + 12. Is 0 at most as big as g?
True
Let w(i) = i**3 - 15*i**2 + 25*i + 10. Let l be w(13). Let b be -2 - -1 - 9 - -2. Let x be l/(-6)*b/(-12). Are 20 and x nonequal?
True
Let w be -2 - (-1)/(-9) - (3 - 4). Is w > 2?
False
Let v(x) = 7*x - 22. Let f be v(4). Suppose 3*u = -2*b + 13 + 8, b + 3*u - 15 = 0. Suppose 36 = -f*l - b. Which is smaller: 0.1 or l?
l
Let p be -4 - (5 + (-1990)/220). Which is smaller: 6 or p?
p
Suppose 7*a - 12*a = -5. Let b be (-9 - -6) + a + 2. Do -3/16 and b have the same value?
False
Suppose -q - 2 + 0 = 0, 3*p + 7 = -5*q. Which is greater: p or 12/43?
p
Let i(p) = p**3 - 9*p**2 + 9*p - 4. Let j be i(8). Suppose 0 + j = -4*g. Let k = -113/21 - -17/3. Is g equal to k?
False
Let z = -1.953 - -640.953. Which is greater: z or -0.1?
z
Let l(z) = -z**2 + 4*z. Let x be l(3). Suppose -34*i - 1 = -33*i. Let q be (-5 - i) + -3 + (-356)/(-36). Which is smaller: x or q?
q
Let j be -7*(1600/(-1484))/8. Does j = 0?
False
Suppose 50 = -124*q + 174. Are q and 2/2059 equal?
False
Let n(c) = -248*c + 126*c - 2*c**3 - 11*c**2 + 3*c**3 - 4 + 120*c. Let l be n(11). Is -26 at least l?
True
Suppose 7*x - 30 = 26. Suppose -x = -5*i + 17. Is 4 less than i?
True
Let l = 144 + -26. Which is smaller: -2/7 or l?
-2/7
Let k = -5 + 7. Let t be 3 - ((-27)/36 + (-30)/(-8)). Let i = k - t. Is i bigger than -1?
True
Let q be (-1)/(-6)*474/(-316). Which is smaller: q or -0.0907?
q
Let a = 814 + -2587/3. Let k = 47 + a. Suppose -3*h - 18 = 3*g, 0 = -4*h + g - 2 + 3. Are k and h unequal?
True
Let i be ((-5)/10)/(4/(-32)). Let w be i/2*(-4)/(-20). Is w > 1?
False
Suppose 0 = r - 0*r + 2*q, 2*q - 8 = -5*r. Suppose -k + 8 = 5*x, -3*k - 28*x + 5 = -32*x. Which is smaller: k or r?
r
Let n be (28/(-8) - 4)*(5 - 3). Let m be n/(-50)*2/3. Are m and -2/5 unequal?
True
Suppose -4*s - 111 - 2153 = 0. Let d = s - -1107/2. Let r = -12 - d. Which is smaller: 0 or r?
0
Let y = 0.7 - -1.5. Let s = 5.4 - y. Let b = -3 + s. Which is smaller: b or 0.1?
0.1
Let x = 7.91 + -8. Let z = 1.22 - 2.31. Let a = x - z. Which is bigger: 2 or a?
2
Let j = -1145 - -1101.93. Let d = j + 43. Is -1 bigger than d?
False
Let o = 0.079 + -33.079. Let d = 34 + o. Is d != -0.09?
True
Let r = 80.57 - -0.43. Let w = -82.8 + r. Is w greater than 1?
False
Let t be (-1 + (-638)/(-6))*(-78)/52. Is -160 greater than or equal to t?
False
Let h = -26.9 + 26.94. Which is greater: -3 or h?
h
Suppose 3*n + 27*f = 28*f + 71, 0 = 2*n - 4*f - 34. Is 26 greater than n?
True
Let v = -7 + 11. Let i = 277.7 - 266. Let m = i - 12. Is v greater than or equal to m?
True
Let j be (-1 + -34)*2/2. Let a be 10/j - (1 + -1). Is a >= 9/7?
False
Let h = -101 + 705/7. Let k = 7.5 + 82.5. Let b = k - 94. Are h and b nonequal?
True
Let y = 3 - 4. Let r = y + -2. Let p = -0.07 + -0.03. Is p less than r?
False
Let v = 3/5 - 31/85. Which is smaller: -0.1 or v?
-0.1
Let a be (1/21)/(240/(-392)). Let z = a - -3/10. Suppose 0 = -4*q - 4 - 0. Is z bigger than q?
True
Suppose 0 = -3*h - h - 4*p, -3*h = -p - 12. Let k be ((-3)/(-6))/(1/(-2)). Which is greater: h or k?
h
Let v be 291/(-2)*(-16)/(-12). Let t be 4/6 + v/(-15). Which is bigger: 15 or t?
15
Let f = 10678/15 - 712. Let q(n) = 2*n - 9. Let x be q(6). Suppose -x*d - 2*d + 5 = 0. Are d and f equal?
False
Let o = 21.5 + 72.5. Let u = -93 + o. Which is smaller: u or 21?
u
Let j be (-1 + 6/9)*6. Let p be (22/(-33))/(j/(-3)). Let t = 23/124 + 2/31. Is p greater than or equal to t?
False
Let k be (6/15)/(10/12 - 0). Suppose -2 = 2*o + 3*i, -5*o + 2 - 7 = -4*i. Is o < k?
True
Let z = 341 + -336. Which is smaller: z or 27?
z
Let d = -863/2040 + 22/51. Let v = 2/15 - d. Suppose -3 = 4*m + 2*i - 11, -4*m - 3*i = -12. Are v and m equal?
False
Let i be 2/(-4) - 2062/(-20). Let z = i - 103. Let m = 1528 - 1533. Is z != m?
True
Let q = -7.231 + 2.231. Which is smaller: 83 or q?
q
Let m be ((-6)/(-9))/(4/(-129)) + 4. Which is smaller: m or -19?
-19
Suppose -3*k + 2 = -v - 4*v, -v - k + 6 = 0. Suppose -v*s + 0 = -3*i - 4, i - 5*s = -10. Is -3/4 not equal to i?
True
Suppose -48*x + 42*x + 240 = 0. Let a be (-132)/x + 5/10. Which is greater: a or -2?
-2
Let k(g) = -3*g**3 - 179*g**2 + 174*g**2 + 2*g**3 + 2*g. Let q be k(-6). Which is bigger: 23 or q?
q
Let v(i) = i + 7. Let p be v(-3). Let w = 3 - p. Is w != 2/9?
True
Let h be 2/(-3) - (-7)/(84/92). Suppose -v = -6 - 10. Which is greater: v or h?
v
Let u = -31 - -31. Let b(g) = g**2 + g**3 - g**2 - g**2. Let h be b(u). Do h and 2/21 have different values?
True
Suppose -4*t - 19 = d, -7*t - 12 = -4*t. Let v(h) = -h + 5. Let k be v(10). Which is smaller: d or k?
k
Let b = 82.2 + -82. Which is smaller: -88 or b?
-88
Let l be 2*(-2088)/384*(-2)/3. Which is greater: 6 or l?
l
Suppose 7*h = 4*h - 12. Suppose 0 = -2*s - 3*i - 21, 18*s = 17*s + 4*i + 6. Is h smaller than s?
False
Let x = 7547/25 + -302. Suppose 0 = 45*u - 52*u + 7. Which is greater: u or x?
u
Suppose 64 = 5*i + 59. Is -2/185 less than i?
True
Let p be (-6)/(-8)*1/3. Let z = 245.11 + -243. Let a = 0.11 - z. Is a greater than p?
False
Suppose -134 = -19*a - 20. Is 37/5 greater than or equal to a?
True
Let z = 172 - 171.87. Let t = -8 - -8.03. Let o = t - z. Which is greater: 0 or o?
0
Suppose 51*g - 57*g - 234 = 0. Which is smaller: -37 or g?
g
Let z(t) = -2*t - 2. Let w be z(-2). Suppose -w*c = -4*c + 4. Suppose c*x = 3*x + 2. Which is smaller: -3/4 or x?
x
Let g = 10383/2282 - -7/326. Which is smaller: 5 or g?
g
Suppose p = 4*p + 5*t + 990, -2*p + 6*t - 688 = 0. Do p and -334 have the same value?
False
Let l = 119 + 267. Which is greater: l or 387?
387
Let w = -27457/1287 + 1/1287. Is -2/5 less than or equal to w?
False
Let s = 0 - -5. Let f = 0 + 19. Suppose -8*m + f = -21. Does m = s?
True
Let y = 543 + -405. Is y greater than or equal to 137?
True
Suppose -29*g = -12*g + 255. Which is smaller: -31/2 or g?
-31/2
Suppose 4*t - 5*l = 162, 5*t - 5*l - 97 = 108. Which is bigger: 47 or t?
47
Let q be 1*(-2 + (-2)/(-2)). Suppose -21*p + 336 = -17*p. Let k be -3 - (-1 + 4/p + -2). Which is bigger: k or q?
k
Suppose -3*v = -4*v + 91. Which is bigger: v or 92?
92
Suppose 0 = b - 5*h - 30, -b - 3*h + 46 = 0. Suppose 3*c - 5*r + b = c, 0 = 2*c - r + 40. Is c less than -21?
False
Let n be (-5)/(-2) + 72/(-48). Which is smaller: 6/95 or n?
6/95
Let i be (-1 - 1) + (38 - 12/(-2)). Let r = i + -29. Is r bigger than 11?
True
Let d = -0.2 - 0. Let u be 3 - (3/3*71)/3. Let b = u + 21. Which is bigger: d or b?
b
Suppose -t = -4*y + 16, 3*y + 0 = -4*t + 12. Which is bigger: 6/271 or t?
6/271
Let j = 276 + -275.938. Which is bigger: 0.1 or j?
0.1
Suppose -y + 8*h - 184 = 6*h, -4*h - 190 = y. Is y not equal to -184?
True
Let u(g) = 5 + 2*g - 2 - 2 + 1. Let f be u(6). Let p = f + -14. Which is smaller: p or 2?
p
Let d be (0 - 18/(-8))/(6/224). Let p = d - 60. Which is smaller: p or 45/2?
45/2
Let z = -152 + 8207/54. Suppose 5*j + 2 = 3*j. Is j >= z?
False
Let l = -1227143/322 + 3811. Which is greater: l or 0?
0
Let j = 3.738 - -0.262. Is -7/10 at least as big as j?
False
Let f = 15 - 26. Let b(l) = -l**3 - 40*l**2 - 113*l - 86. Let a be b(-37). Which is smaller: a or f?
a
Let l = 5.1 + -5. Let z = 13.9 + l. Let h = z + -12. Which is smaller: h or 1/9?
1/9
Let x = -789 - -791. Suppose 0*z = z + 4. Let v be (-26)/(-8) + 2/z. Is x at least as big as v?
False
Let h(x) = -6*x**3 + 3*x**2 + 3*x + 16. Let o(v) = 7*v**3 - 4*v**2 - 4*v - 15. Let m(u) = -6*h(u) - 5*o(u). Let y be m(0). Which is greater: y or -20?
-20
Suppose 3*o =