*h**2 + 5*h + 7. Let g be y(-5). Let c be ((-35)/15)/(g - 2). Which is bigger: -0.1 or c?
c
Let z(x) = -2*x + 34. Let s be z(16). Suppose 3*h - 197 = -4*q, 3*q + 2 = -s*h + 149. Let y = -80 + q. Which is bigger: y or -32?
-32
Let p be (-168)/(-338) + (-3)/6. Let c = -103/338 + p. Let a = -2 - -2. Which is greater: a or c?
a
Let h = 2557 - -15580. Which is bigger: 18135 or h?
h
Let c(j) = -j**3 - 7*j**2 + 15*j - 12. Let m(w) = 5*w + 3. Let d be m(-2). Let a = d + -2. Let o be c(a). Which is smaller: 17 or o?
o
Let i(s) = s**2 + 2*s - 3. Let z = 3 + 77. Let r = z - 78. Let k be i(r). Is k greater than 21/4?
False
Let w be 6/(-10) - 2041/65. Let u = w - -31. Let y = 79/9675 + 2/387. Which is bigger: y or u?
y
Let j = 0.88 - 0.833. Let y be 1056/160 - (1/(-1))/(7/(-49)). Is y greater than or equal to j?
False
Let i(v) = 2*v**3 - 53*v + 67. Let z be i(8). Are z and 669 unequal?
True
Let d = 1373072/39517 - 1494/43. Which is greater: 1 or d?
1
Let i = 36 + 64. Suppose 309 = 44*y - 41*y. Is y less than or equal to i?
False
Let w = -10/13 + 4/39. Let q = 36259 + -36183. Is q equal to w?
False
Let r = 11457 + -5625. Which is greater: r or 1?
r
Let c(u) = u - 114. Let n be c(-54). Let g be ((n/18)/14)/((-6)/(-351)). Which is smaller: g or -22?
g
Suppose 3*v - 4*a - 35 = 0, -3*v + 2*a + 30 = -7. Suppose 5*u = 4*n - 23 - 43, -108 = -8*n - 2*u. Which is smaller: v or n?
v
Let p be 15*(29/36 - 42/56). Is 28 at most p?
False
Let h = -438 - -473. Suppose 21*i + 16*i = 1110. Which is greater: i or h?
h
Let f be (-403410)/765*144/14. Is -5423 less than f?
False
Let i be (-6)/8 + 9075/(-60). Let f(g) = -11*g**2 - 6*g. Let s be f(-4). Is s greater than or equal to i?
True
Let w = -3592 + 3597. Which is greater: w or 165/28?
165/28
Suppose -5*p = 4*q + 259, -7*q - 327 = -2*q + 3*p. Let h = 327/5 + q. Is -2/15 < h?
False
Let a(h) = h**3 + 8*h**2 - 5*h + 18. Let y be a(-13). Let d be (-2)/(-18) - (y/(-297))/1. Which is smaller: -1 or d?
d
Let p(n) = n**2 - 3*n - 2. Let z be p(5). Suppose -t - z - 12 = -5*d, -3*t + 2*d = -5. Suppose 1 = t*k - 4*i, i + 2*i - 3 = 0. Which is smaller: 1/12 or k?
1/12
Let s(a) = 7*a**2 - 145*a - 29. Let n be s(0). Which is smaller: -12 or n?
n
Let o be -20*(0/17 - (-7 - 0)). Let v be o/(-55) - 4/2*1. Let q be ((-1)/2)/(1/(-2)). Is v <= q?
True
Let w be 280/84*(-30)/(-125). Let z = 0.3 - 0.4. Let o = -0.3 - z. Which is bigger: w or o?
w
Suppose -v - 177 = -3*i + 2*i, 177 = -v + 2*i. Let n = 176 + v. Let p = 5 + -13/2. Is p smaller than n?
True
Let w = 359517/38935 - 9/2995. Let r(o) = 4*o - 4. Let n be r(3). Is n greater than or equal to w?
False
Let d = -2/23 + -17/69. Let m = -2340 + 2471. Which is greater: m or d?
m
Suppose -10*w - 36 = -19*w. Suppose 3*s - 14 = -5*u, 8 = -0*u - w*u + 4*s. Is u > -5/17?
True
Let s be 4/(-5) + (-238890)/(-550). Let q = 146 - -285. Let n = s - q. Which is bigger: n or 4?
4
Let u(d) = d**2 + 24*d - 402. Let l be u(0). Is -400 at most l?
False
Suppose -x = 3*x - 4. Let d be (-85)/(-34) + x/2. Suppose 0 = 4*z + 2*l - 4 - 4, 5*l = -d*z + 13. Is z not equal to 3?
True
Let y = -79 + 144. Let x = -63 + y. Let h(j) = -5*j**2 + j. Let a be h(x). Which is smaller: -17 or a?
a
Let k = 16 - -5. Suppose 0 = 4*m + c + 104 - 253, 5*m - 4*c - 160 = 0. Suppose -u = -k + m. Is -13 >= u?
True
Let h be (0 - 108/(-221))*-16*(-250)/(-1600). Which is smaller: h or -2?
-2
Suppose -2*h + 3*d + 14 = 2*h, 2*d = 4. Suppose 5*z = -h*m + 165, 4*z = m + z - 53. Suppose 4*g + 4*n = n + 164, -58 = -g - 5*n. Is m at least g?
True
Let r be (-2 + 3)/(1/329*(-287)/82). Is -91 not equal to r?
True
Let m(l) = -63*l**2 - 3*l. Let h be m(-3). Let o = 542 + h. Is o at least as big as -3?
False
Let x be (2 + -1)/((-56)/(-1792)). Which is bigger: x or 31?
x
Let i = 3/13 - 1/117. Let s = i - 13/18. Which is bigger: 2/7 or s?
2/7
Let w be (0/(-304))/((-7)/(-1)). Does w = 9/4289?
False
Let m = 60 - 30. Suppose 2*p + y + 7 - 6 = 0, 5*p - 4*y = m. Is p greater than 13?
False
Let u be (-12150)/(-729)*(-27)/(-2). Let c be 8/(4*4/448). Do c and u have different values?
True
Suppose -23834 = -7*q + 41*q. Let w = 7017/10 + q. Which is bigger: 2 or w?
2
Let g(h) = -4*h - 114. Let r be g(-29). Let l be (0 - (-150)/20)/((-1)/r). Which is smaller: 11 or l?
l
Let r = -472 - -326. Let l = 146 + r. Which is smaller: l or 0.44?
l
Let y be 6 + -2 + (1/(-4) - (-3812)/16). Which is greater: y or 229?
y
Let x = -112 + 122.2. Let a = 7.2 + x. Let s = a + -15. Is s bigger than 0.1?
True
Let v(q) = -q**2 + 10*q. Let a be v(3). Let c be 4/6 + (-11)/a*16. Let j = -4583/595 - c. Which is bigger: 0 or j?
j
Let b = 325.42 - 326. Let w = 2.58 + b. Are 12.5 and w nonequal?
True
Let m be 1*10/(-3)*(-36)/(-10). Let v(z) = z**3 + 11*z**2 - 13*z - 12. Let k be v(m). Which is bigger: k or 5/39?
5/39
Let r(v) = 17*v + 11*v + 20 + 0 - 8*v. Let x be r(-6). Let l be 1*(4 + x/28). Is 4 greater than or equal to l?
True
Let r be ((-28)/1386)/((108/(-60))/(6/(-10))). Let y(g) = g**2 + 2*g - 2. Let f be y(-3). Which is smaller: f or r?
r
Let h(j) = 2*j**2 + 103*j - 411. Let r be h(-57). Let q(f) = f + 14. Let l be q(-6). Let b be r/71 - l/((-40)/(-15)). Which is smaller: 1 or b?
b
Let a be 3/((-27)/(-597)) - -2. Let i = a - 69. Let w = -1047 + 1099. Which is smaller: w or i?
i
Let z = 0.0731 + 1021.9269. Is 0.9 bigger than z?
False
Let w = -192835 + 1872961. Let f = -2550431437/1518 + w. Let r = f + 7/138. Which is bigger: r or 0?
0
Let b be 25/(-23) - 15/((-4140)/24). Is b not equal to 57/769?
True
Let t = -1 - -19. Let w be (-1)/(-9)*3 - (-48)/t. Suppose 1 = w*j - 2*j. Is j != 0.09?
True
Suppose -10 + 10 = -5*s. Let g(d) = d**3 + d**2 - 2*d - 85. Let w be g(s). Which is bigger: w or -86?
w
Let y = -4 - -221. Let l = 215 - y. Is l greater than or equal to -5.5?
True
Let z be -2 + 1 - 1/(10/(-26)). Let i be (-7)/28 - 151/4. Let d = -37 - i. Which is smaller: z or d?
d
Let z = 39.773 + -39.6. Let y = -0.173 + z. Let p = 4.3 + -0.3. Is p at most y?
False
Let c = 10862 + -16542821/1523. Which is greater: 1 or c?
1
Let x = -7093 + 7095. Which is smaller: 53/69 or x?
53/69
Let r = 164 + -241. Let g = -84 - r. Which is bigger: -13 or g?
g
Let h = -2/1705 - -1919/182435. Let g = -86/149 + 109/447. Which is greater: h or g?
h
Suppose 5*y + 234 = 3*b + 124, 3*b + 115 = -4*y. Let v be 8/(-10)*(y/1030)/(-1). Which is greater: -5 or v?
v
Let d = 397 + -397. Suppose -b = 2*y + 22, 4*b + 5*y - 6*y + 43 = d. Which is smaller: b or 3?
b
Let s = -16432 - -17123. Which is bigger: 11754/17 or s?
11754/17
Suppose 3*v + 12 = -30. Let b = 22.938 - -0.062. Let y = b + -23.2. Which is smaller: v or y?
v
Let h(b) = -4*b**2 - 203*b + 202. Let t be h(1). Is -46 at most as big as t?
True
Suppose 13*y = -2*y - 4*y + 72390. Is 3810 smaller than y?
False
Let f = -43 - -62. Let w = -5 - f. Let o be 273/26*w/14. Which is bigger: o or -17?
-17
Let i(c) = -135*c - 946. Let v be i(-7). Is 2/11241 >= v?
True
Let v(g) = -55*g**2 - 11*g - 39. Let o be v(-3). Is o not equal to -2003/4?
True
Let u = 112 - 70. Let b = -38 + u. Suppose 3*a - b*a = 1. Is -1/6 < a?
False
Let v(a) = 8*a**3 - 2*a**2 + 8*a + 72. Let g be v(-4). Which is bigger: g or -3?
-3
Let v = -4.06 - -0.06. Let m be ((-1419)/86)/(-1 + 18/16). Let p = 926/7 + m. Is p greater than v?
True
Let c = -29 - -28. Let o = -19/177 - -4111/41595. Which is greater: o or c?
o
Let h = -127 - -277. Let k = 127 - h. Which is greater: k or -21?
-21
Suppose 2*z - 4*a + 28 - 632 = 0, 4*z + 4*a = 1268. Is z at least as big as 307?
True
Let c(i) = -23*i**3 + 9*i**2 - 15*i + 9. Let o be c(1). Is o greater than -500/27?
False
Let g = -11 - -11.1. Let h = 70 + -84. Let b be (-2)/4*36/h. Is g > b?
False
Let k = 380142709/1201354 - -3/171622. Which is greater: 317 or k?
317
Suppose -4*x - 178 = -2*a, -4*x + 5*a = 116 + 59. Let c = -146 - -98. Is c at most as big as x?
True
Let s(k) = -k**3 + 2*k**2 + 3*k - 2. Let i be s(3). Let a = -19063/10 - -1905. Which is smaller: a or i?
i
Suppose -3*w - 15 = 3. Suppose 3*f = 4*r - 51, 7*f + 2*r - 17 = 8*f. Is f bigger than w?
False
Let t = 15.35 - 12.3. Let d = 3.15 - t. Which is bigger: 17.2 or d?
17.2
Let a(q) = -160 + 3*q - 2*q**2 + 4*q**2 + 162. Let y be a(1). Which is greater: 30 or y?
30
Let y = -377.1 + 377.1. Is 362 less than y?
False
Let l 