 g = i + -340. Which is greater: g or -269/5?
-269/5
Let t be (-12*35/(-147))/(28/(-686)). Are 50 and t unequal?
True
Let h be (67/(-2))/((-2)/(-4)). Let f = h + 91. Let a = f - 3. Is a smaller than 0.1?
False
Suppose 4*w - 47 = 27*w + 24*w. Is w > 6/3305?
False
Let p = 1.11 + -2.29. Let l = p + -1.12. Which is bigger: l or 4/7?
4/7
Let h be (-269)/5 + (-11 - -15 - 12) + 2. Suppose 2*o + 4 = -114. Is o bigger than h?
True
Let d = 16.63 - 15.49. Is -2 <= d?
True
Let g = 0.115 + 0.175. Which is smaller: -3 or g?
-3
Let n = -7.02 + -1.18. Let q = n + 10.2. Let k(f) = f**3 - 19*f**2 - 20*f - 9. Let m be k(20). Which is greater: q or m?
q
Suppose -2*p - 2*f = -3*p + 103, -5*f + 96 = p. Let x(i) = i**3 + 9*i**2 - 146*i - 1211. Let y be x(-9). Does p = y?
False
Let i(p) = -2*p. Let t be i(-12). Let d = 16602 + -16572. Which is greater: t or d?
d
Let n = 199.1 - 13.1. Let v = n - 187. Are -20/21 and v equal?
False
Let k be -39 + (-795400)/369 + 4/(-9). Which is bigger: k or -2194?
-2194
Let j be (-202)/(-20) - 12/(-600)*-5. Which is bigger: j or -4?
j
Let t = -88 - -176. Let x = -87.9 + t. Which is smaller: 0.74 or x?
x
Let r = -16984/970039 - -85211706142/266468743261. Let b = r - 2/5183. Is 0 equal to b?
False
Suppose -62*m = 68*m - 149*m. Is m smaller than 20/2587?
True
Let h = 7.825 + -6.525. Is h < -84?
False
Let g = 0.626 + -0.6319. Let w = g + 150.0059. Is w >= 0.3?
True
Let c = -273 + 256. Let b = c + 8. Is b less than or equal to -5?
True
Let j = -3664 + 3664. Is 43/54 > j?
True
Let b be (-105)/14*(-5 + (-186)/78). Which is greater: 54 or b?
b
Let f = 2110 + -2101.844. Let k = f + -0.156. Which is greater: 0.15 or k?
k
Suppose -3*k - 324 + 860 = -i, -3*k + 544 = i. Which is bigger: 721/4 or k?
721/4
Let s(z) be the third derivative of z**6/120 - z**5/30 + z**4/6 - z**3 + 48*z**2. Let j be s(2). Is 1/10 smaller than j?
True
Let h = -4238833/169 - -25082. Is -1 less than or equal to h?
True
Let j = 195.144 - 0.144. Let r = 151 - j. Is r smaller than -3/5?
True
Let f(w) = w**3 + 5*w**2 - 8*w - 24. Suppose 155*b = 150*b + 15. Suppose -2*l = -6, -15 = b*j + l - 0*l. Let q be f(j). Which is smaller: q or -11?
q
Let p = -0.716 + 0.616. Let y = 0.42 + 19.58. Let c = y + -62. Which is smaller: p or c?
c
Suppose -5*g + m = 102, 98 = 4*g - 9*g - m. Let s be 4/g*(-42)/(-511). Is s at least as big as 1?
False
Suppose 3663 = -66*i - 99. Suppose -z - 2*z + 12 = 0. Let c = -60 + z. Which is smaller: c or i?
i
Let u(n) = -119*n**2 + 319*n + 2518. Let l be u(-8). Is -7651 not equal to l?
True
Suppose -5*y = -45*y + 40. Is y greater than or equal to -1087/2?
True
Let v = -0.91 - -0.946. Let f = v - 26.036. Let q = f - -27. Is q less than -11?
False
Let z = 2/151 + 558/3473. Let q(g) = -7*g**2 + 28*g - 59. Let l(h) = -9*h**2 + 27*h - 59. Let f(o) = -3*l(o) + 4*q(o). Let i be f(29). Does i = z?
False
Let c = 2/6313 - 38180/953263. Suppose 0*y = -4*y + 2*y. Is y at least as big as c?
True
Suppose 1951*i - 1948*i + 26 = -f, 0 = -i + 5*f + 50. Let z be (-1)/(-2)*(2 - 4). Which is greater: i or z?
z
Let n = -101/3 - -34. Let q(t) = 2*t**3 + 3*t - 2. Let o(i) = 3*i**3 - i**2 + 6*i - 5. Let f(z) = 3*o(z) - 5*q(z). Let y be f(-4). Which is smaller: y or n?
y
Let j(a) = -8*a**3 - a**2 + 2*a + 3. Let l be j(-1). Let v be ((-3)/(-3))/((-5)/(-36)). Which is bigger: l or v?
l
Let m = -3837719/16680 + 5521/24. Is m smaller than -1?
False
Let a = -432 - -432.04. Let m be -3 - (-4)/((-160)/(-135)). Which is bigger: a or m?
m
Let n = 19 + -15. Suppose 6*m + 20 = -n*m. Let t be m + (9 - 5) + 7. Is t not equal to 0.3?
True
Let g = 0.2327 + 2561.7673. Which is bigger: g or 2?
g
Let t = 207 + -212. Suppose -7*x - 56 + 168 = 0. Is x >= t?
True
Suppose -3*u + 4*v = 542, 3*u - 3*v = u - 360. Let l = 204 + u. Which is greater: l or 20?
20
Let l = 0 - 0.1. Suppose -4*d = 40 - 8. Let f be 2*-5*d/(-16). Is l bigger than f?
True
Let b = -9775/883567 + 9/1031. Let p(r) = r**3 - 7*r**2 + 3*r - 20. Let a be p(7). Is b <= a?
True
Suppose -2*i = -6, 4*i + 0*i - 526 = 2*u. Let x = -117 - u. Which is greater: x or 141?
141
Let l = -6 - -17/3. Let y be (14/3)/((-19355)/(-155946)). Which is smaller: y or l?
l
Let d = 18363 + -18368.5. Which is smaller: d or -34?
-34
Let g = 6315 - 6332. Which is bigger: -6 or g?
-6
Let z = -4791 + 4791.1. Are z and -52 nonequal?
True
Let n = 532.4 + -588.332. Let l = n - -56. Let j = 2 - 1.9. Which is smaller: l or j?
l
Let m(o) = -3*o**2 - 3*o - 48. Let g(q) = 5*q**2 + 5*q + 72. Let k(b) = 5*g(b) + 8*m(b). Let w be k(0). Suppose -10879 = 436*n + 37*n. Which is smaller: n or w?
w
Let h be (-58)/41 + 4/2. Let p = 4.58254 - 4.58254. Are p and h non-equal?
True
Let k = 3493 + -2967. Is k greater than -1?
True
Let y(v) = -v**3 + 4*v**2 + 5*v. Let p be (1/2)/(9/90). Let w be y(p). Let k be w/2 + 14/644. Which is smaller: k or 1?
k
Let z be (2 + -1)/((-15)/230). Let j be ((-182)/78)/(1/6). Is j at most z?
False
Let v = -26 + 26.059. Let z = 13322 - 13322.4. Does z = v?
False
Let k be (401 + -188)*(-38)/(-8). Which is bigger: k or 1012?
1012
Let c = 567 - 2253/4. Let d = -9 + -2. Let k = d - -14. Is c at least as big as k?
True
Let t = 3247/12 + -270. Let d = -8/3 + 3. Do d and t have the same value?
False
Let i(t) = 69*t**2 + 4*t. Let q be i(-2). Suppose c + 270 = q. Which is bigger: c or 14?
14
Let h = -54292/61 - -890. Suppose 0 = -3*b + 9*b. Suppose b = -r - 3*k, -6*k + 2*k = 0. Which is smaller: h or r?
h
Let c(o) = o**2 - 13*o - 18. Let k be c(9). Let j be (k/(-13365))/((3/(-5))/(-3)). Is -1 bigger than j?
False
Let y = 33 + -54. Suppose 2*n + 74 = -3*c, 112*c - 117*c + 4*n - 94 = 0. Which is smaller: c or y?
c
Let t be (-64)/32*3/(-2). Suppose -245 = t*z + 5*p + 104, 0 = -2*z - 5*p - 241. Which is smaller: -106 or z?
z
Let m(s) = -369*s + 2215. Let p be m(6). Is p > 44/63?
True
Let l(q) = 9*q - 7. Let o be l(1). Suppose 16 = -f - 0*f + 5*m, m = o*f + 5. Is -1/464 less than or equal to f?
False
Suppose 11*h - 1062 = -7*h. Let k be (12/h)/((-63)/(-42)). Which is smaller: 0 or k?
0
Suppose -29*r - 111 = -66*r. Which is smaller: -12/19 or r?
-12/19
Let c be ((-7)/4)/7 - 129/(-180). Let h = c + -2/15. Let y = 93.4 + -92. Which is bigger: y or h?
y
Let l = -4/10449 - -190382/6008175. Which is greater: 1 or l?
1
Suppose -773*g = -735*g - 3306. Is g less than 685/8?
False
Let v = -403 + 288. Let p = 145 + v. Suppose 4*n - p = -110. Are n and -1 unequal?
True
Let l = 1 + -3. Let r(x) = x**3 - 20*x**2 + 20*x - 5. Let m = -168 - -187. Let p be r(m). Which is bigger: l or p?
p
Suppose 0 = -11*y + 232 + 626. Suppose -v - 5*v = y. Which is greater: v or -8?
-8
Let b = -118 - -121. Let g be b/(8/(-120)*9). Suppose -5*k = -0*k + 25. Is k greater than or equal to g?
True
Let u = -3.7 + 3.1. Let x = 123 - 65. Let m = -58.5 + x. Which is smaller: u or m?
u
Let j be (3 - 1327/(-5))/((-24)/(-60)). Which is greater: 674 or j?
674
Suppose -3*s = -5*k + 97, 7*s - 2*k + 109 = 4*s. Suppose 0*c - 184 = 5*c - 4*t, 5*c - 3*t = -188. Which is greater: s or c?
s
Let s = -23.57 - -22.97. Which is greater: s or -0.223?
-0.223
Suppose -5*z - 3*n + 176 = 0, 22*z + 86 = 25*z - n. Which is greater: -3.5 or z?
z
Suppose -3*g + 0*g = -2*l - 20, -2*g + 4*l = -16. Let w be (14/(-4) + 5)/(g/68). Is 0 at most w?
True
Suppose 0 = -2*n + 28 + 184. Let i = 112 - n. Which is smaller: i or 7?
i
Suppose -5*k - 25 + 5 = -5*v, k = -4*v - 4. Suppose 257*c - 268*c + 275 = v. Is c != 2/15?
True
Let b = -6444 + 6444.185. Let l = -0.85 - 0.15. Which is bigger: b or l?
b
Let j(m) = m**3 + 9*m**2 - 2*m - 10. Let v be -13 + 16 + 12/(-2 - -1). Let q be j(v). Suppose 143 + 9 = q*i. Which is greater: i or 17?
i
Let s be (-9)/(-90)*(52 + -2). Is 4 not equal to s?
True
Suppose -144*m + 30 = 174. Which is smaller: 2/531 or m?
m
Let v be (11 + -7)*(-7)/4 - 2. Let a be (-3 - -1)/(6/v). Let n be 352/(-172) - a/(12/(-8)). Which is smaller: 0 or n?
n
Suppose -128*t - 73 = 12 + 43. Let h be (-2)/(-5) + 297/(-5). Which is smaller: t or h?
h
Let s(k) = -k**3 + 27*k**2 + 55*k + 36. Let h(d) = d + 5. Let j be h(24). Let v be s(j). Which is smaller: v or -53?
-53
Let x = 270 + -384. Let o = 138 + x. Suppose -153 = -5*g - 38. Do g and o have different values?
True
Let n be (-2)/(-4 + 0)*20. Suppose 0 = x + 1, -2*x + n = l - 0*l. Suppose