106459157/388 + 274379. Let t = m + 2/97. Which is smaller: t or -1.7?
-1.7
Suppose 0 = 4*a - 5*a. Let k be -5*(a + -2 + 3). Let u = 2/573 + -6307/1146. Is u less than or equal to k?
True
Let g = 31 + -29. Let z be g + -2 + (-27)/9. Is 0 at most as big as z?
False
Let x be ((-8)/(-30))/((-278)/(-1246)). Let l = x + 2/417. Is l at most 1?
False
Let x be 152/182 + 305/(-366). Is x at most as big as 0?
False
Suppose -2*f - f - 18 = 0. Let h(b) = 8*b**3 + 3*b + 3. Let i be h(-1). Is f equal to i?
False
Suppose -5*a = 61 + 99. Let z be ((-2)/(-12))/(40/a). Which is smaller: z or 0.2?
z
Let z = -0.0366 - 16.9634. Is -1.6 greater than z?
True
Let t be (-24)/(-36)*6/(-4). Let k(z) = -3 - 3*z + z - 2*z + 2. Let a be k(-1). Which is smaller: a or t?
t
Let h = 4 - 4. Suppose -3*o - 13 + 4 = h. Let x be o/(-6)*2/(-7). Which is greater: -1 or x?
x
Let x = -7/107 + 310/3103. Let r = 6.1 - 6. Which is bigger: x or r?
r
Suppose -4*z - 8*p + 5*p + 648 = 0, 2*z = 3*p + 306. Is 158 <= z?
True
Let l = 306/5 - 61. Let h = -4.2 - -3. Let y = 0.9 + h. Are y and l non-equal?
True
Let y be 3/(-9) + 2 + 349/(-14). Let h = y + 131/6. Which is smaller: -2 or h?
-2
Suppose 12 = -4*s + 8*s. Let u = s - 30. Let v = 24 + u. Which is bigger: v or 1/12?
1/12
Let h be 5/(-2)*(-3 - (-14072)/4680). Which is bigger: h or 0.1?
0.1
Let k be (2/5)/((-2)/(-5)). Let b(s) = s**2 - 6*s + 5. Let j be b(5). Let q be j*3/(-6)*1. Is q greater than k?
False
Let j be 280/175 + 6/(-10). Which is greater: 4 or j?
4
Let q(i) = i**2 + 3*i + 9. Let s be (-13)/(-39)*(-42)/2. Let d be q(s). Is 37 > d?
False
Suppose -d + 2*d - 3 = 0. Suppose -b = d*g + 2, 4*g - 4 = b - 2. Are -1 and g non-equal?
True
Suppose 8 - 19 = -4*l - 3*x, -l - 21 = -4*x. Which is smaller: 4/89 or l?
l
Let o = 171 + -170. Which is bigger: o or 2/11?
o
Let v = 20 + -12. Let f = 44 - 29. Let i = f - v. Is 0 > i?
False
Let n = -590 + 543. Is -39 at most n?
False
Let m be ((-2)/2)/(207/42 + -5). Are 16 and m nonequal?
True
Let h = -1777/7 + 253. Suppose 19*i - 3 + 3 = 0. Which is smaller: h or i?
h
Let q be 4/(-10) - (-7 - 1510/25). Is q > 67?
False
Let p = -134 + 253. Let i = 123.1 - p. Which is greater: -2 or i?
i
Let t = 231 + -201. Let k = 0 - -31. Is k at least as big as t?
True
Suppose 2*h + 3 = k - 1, -5*k = -5*h - 5. Let s be (-6)/16*k/(-6). Let a be (3 - (-9)/(-6))*(-6)/9. Which is greater: s or a?
s
Let v be (-3)/(12 - 5412/452). Which is greater: -683/6 or v?
v
Let l = 19 - 19. Suppose -h = 5*n - l - 20, 2*h + 2*n = 8. Let v be (-6)/(-39) + 435/(-2405). Which is bigger: h or v?
h
Let s(v) = -2*v**3 - 7*v**2 - 12*v + 3. Let t be s(-3). Which is smaller: t or 21?
21
Suppose -d = -3*x + 40, 2*x = -6*d + 4*d - 80. Suppose -3*q - 5*h = 142, 4*q + h + h = -166. Which is smaller: q or d?
d
Suppose -7*y = -16*y + 108. Let a be (-2 - 1) + 34/y. Is a at most as big as -1?
False
Suppose -2*s - 2 = 0, 0 = -4*n + 2*n - 2*s - 2. Which is bigger: n or 2/109?
2/109
Let k = 11.6 - 10. Let h = 56 + -55.904. Let n = h - -0.004. Which is greater: k or n?
k
Let d = -6369/7 + 907. Which is bigger: -4 or d?
d
Let n = 35 - 11. Let z = 22.42 - 0.42. Let i = n - z. Is 2 less than or equal to i?
True
Let n(l) = l**2 + 5*l - 6. Let g be n(-5). Let d = g - -8. Let b = 7/6 - 1/24. Which is bigger: b or d?
d
Let r(k) = -2*k - 28. Let s be 0 + 2 + 0 + 96/(-6). Let d be r(s). Which is smaller: d or 5/4?
d
Suppose -r = 5*c - 10*c - 26, r - 20 = 4*c. Let y be c/(-5)*(-18)/81. Let p = y + -1/15. Which is greater: p or 0.3?
0.3
Let h(w) = -w**3 - w**2 - 2*w - 1. Let d be h(-3). Let l = d + -18. Which is smaller: 4 or l?
4
Let j be 5*2/4 - (-175280)/(-160). Is -1093 less than j?
False
Suppose -5*h + 5*w + 15 = 0, -5*h + h - 6 = 5*w. Let q be (-129)/66 + 3 - h/2. Which is smaller: 1 or q?
q
Let c = -239 - -220. Which is bigger: c or 9?
9
Suppose 5*a + t + 978 = -1166, -5*t = 20. Is a bigger than -429?
True
Let g be 84/(-798) + 394/(-228). Which is bigger: g or -1?
-1
Suppose 0 = -4*z + 3*z + 2*d + 187, -z + 4*d + 197 = 0. Is 178 at least as big as z?
True
Let l = -96333064 + 12041544252/125. Suppose 0 = 2*t + 2*x + 1430, 3*x + 3290 + 275 = -5*t. Let s = l - t. Which is smaller: -1 or s?
-1
Let j = 478.896 - 471. Let a = j - -0.104. Which is smaller: a or 2/9?
2/9
Let k = -21.55 - -9.55. Which is smaller: k or 0.3?
k
Suppose -21*c + 109 = -206. Is 10 less than c?
True
Suppose -70 = -2*i + 7*i. Suppose -168 = -2*o - 2*o. Suppose 5*n = -0*m - 4*m - 61, -3*n = -3*m + o. Is i equal to n?
False
Let p = 2 - -2. Suppose 4*u + 16 = -p*q, -5*q - 18 = 4*u - 1. Let f = 0 - q. Which is smaller: f or -2/21?
-2/21
Let o = 1770 - 1769. Is o < 86?
True
Suppose -3*r + 27 = -p, 2*r - 2*p = 3*r - 9. Suppose 2*f - 4*b = -f - 54, -r = 3*b. Is -23 != f?
True
Let m(b) = -b**3 + b**2 - b + 19. Let k(g) = g**3 - 2*g**2 + 2*g - 19. Let n(j) = -3*k(j) - 4*m(j). Let i be n(0). Which is smaller: i or -20?
-20
Suppose 35 + 21 = 7*c. Let n be (-2)/c + 165/(-12). Is -11 less than or equal to n?
False
Let p be (4/7 - 1) + (-11040)/112. Which is bigger: -100 or p?
p
Let l(z) = -z + 4. Let q be l(5). Let k be (8 + 39/(-5))/((-299)/(-195)). Is k <= q?
False
Suppose 0 = -5*k + a + 56, 0 = -2*k + 2*a + 17 - 1. Suppose -5*y + 58 = -k. Let w = -14 + y. Is w greater than or equal to 2/5?
False
Let y = 296.9 - 298. Is y at least as big as 8?
False
Let x be 3/((-10)/(-412)*(-18)/(-15)). Let s = -94 + x. Is 8 at most s?
True
Suppose 7*g - 3 = 2*l + 2*g, 4*l - 2*g = 2. Let b be (144/168)/((-92)/(-14)). Which is greater: b or l?
l
Let z = -2.6 + 1.2. Suppose 5*f - 5*r = -10, -12*r = -10*r - 6. Which is smaller: f or z?
z
Let j(t) = t**3 + 8*t**2 + 7*t - 8. Let s be j(-6). Suppose 0 = -c + 9*c - 168. Are s and c non-equal?
True
Suppose 0 = -o + 3*y - 2, -2*y + 4 = 2*o - 0*o. Suppose -2*x + o + 7 = 0. Which is bigger: x or 9/2?
9/2
Suppose 0 = 3*i + 2*i + 50. Let h = i - -20. Is 10 at least h?
True
Let k be ((-3)/(0 - 3))/((-2)/(-110)). Let z = k + -80. Which is smaller: -24 or z?
z
Suppose 2 - 2 = 6*i. Is 7/32 greater than or equal to i?
True
Suppose 3*n - 8*n + 15 = 0. Suppose -d - n = -19. Let a = 53 - 38. Is a <= d?
True
Let d be -4*(88/16)/(-11). Let l = 20 - 9. Suppose -2*k + a = 0, -2*a = k + 3*a - l. Do d and k have the same value?
False
Let b = -208.9833 + -0.0167. Does -1 = b?
False
Let v(l) = l + 1. Let o(t) = t**2 - 15*t + 3. Let r(w) = o(w) + 3*v(w). Let u be r(11). Let x(s) = s**2 + 11*s + 10. Let n be x(-10). Which is smaller: n or u?
u
Let j(w) = -w**3 + 13*w**2 - 2*w + 19. Let o be j(13). Let k = 20 - 19. Let b be (o - -3) + k - -9. Which is smaller: 0.1 or b?
0.1
Let c be -2 - 908/16 - 9/36. Which is greater: -54 or c?
-54
Let c = 46 - 7. Suppose -5*w - 47 = -2*q, -q + 28 = 2*w - 5*w. Let p be c/w + (-4)/6. Is -1 equal to p?
False
Suppose -6 = -2*t, -3*t = 9*x - 4*x - 24. Let j(d) = -d**2 + 7*d - 9. Let l be j(6). Let k = l + 3. Which is smaller: x or k?
k
Suppose -5*r - p = 27, 4*p + 33 = r - 6*r. Suppose -2 = -5*t + 13. Let f be 0 + t/(-4) + (-57)/(-108). Is r greater than f?
False
Let g = -1016 + 1161. Is 146 <= g?
False
Let t(b) = 15*b**2 - 5*b - 6. Let h be t(-2). Which is greater: h or 442/7?
h
Let i be ((-6)/(-22))/(32/176) + -2. Which is greater: 2/1005 or i?
2/1005
Let n be 30/(-11)*50/3625. Which is smaller: 1 or n?
n
Suppose 27*z = 31*z + 3*s + 250, 3*z + s + 190 = 0. Is -65 != z?
True
Suppose 6*p - 3634 = -970. Let z be ((-3)/(-4))/(1*p/64). Do 0 and z have the same value?
False
Let c(p) = 2*p**2 + p - 94. Let s be c(-11). Is -2 less than s?
True
Let q(m) = -4*m**2 - 2. Let i be q(2). Let g be (9/i)/((-2)/36). Let v be 12/45 + (-6)/g. Which is smaller: v or 1?
v
Let c(b) = 129*b**3 + 2*b**2 + 2*b. Let n(j) = j**2 - 5*j - 7. Let x be n(6). Let k be c(x). Let v be (-6)/k*5/(-5). Is v greater than 1?
False
Let b be ((-32)/(-12) - 4)/6. Which is smaller: b or 103?
b
Let v = 15537/41 - 186947/1107. Suppose y + 2*y = 630. Let x = y - v. Which is smaller: 1 or x?
x
Suppose -23*q + 4*q = 0. Which is smaller: -7/100 or q?
-7/100
Let t(m) = -m + 5. Let u be t(4). Suppose -4*a = -5*o - 708, -o + a - 138 = -a. Let f be o/357 + (-2)/(-7). Which is bigger: u or f?
u
Suppose 13 = 4*y + 9. Suppose -s + w + 2 = 3, -2*w = 2*s + 22. Let p = y + s. Which is greater: p or -4?
-4
Let s(f) = -f**