32). Let z = 3/5 - 4/5. Which is smaller: z or w?
z
Let u = -3639/63535 - 3/655. Which is smaller: 1 or u?
u
Let b(d) = d - 8. Let m be b(0). Let s(z) = z**3 + 28*z**2 + 191*z - 19. Let o be s(-16). Is o not equal to m?
True
Let t = 21 + -10. Suppose 5*j + 5*y - 25 = j, 2*j - t = -y. Suppose 9*z - 12*z - n + 10 = 0, 2 = -n. Which is smaller: j or z?
z
Let i = 23 + -21. Let x = i + -1.9. Which is smaller: x or 2/9?
x
Let q = 10 - -5. Let u(a) = 5*a - 9. Let j be u(5). Which is smaller: q or j?
q
Let v be -9 + 28 - (-2 - -4). Let w = 17 - v. Which is smaller: w or -5?
-5
Let r = 20 + -41. Let z = -11 - r. Is z at most 8?
False
Let x(a) = -a**3 - 8*a**2 - a + 3. Let r be x(-8). Let c = -12 + r. Let s = 65 + -583/9. Which is bigger: s or c?
s
Let b(r) = 3*r**2 - 17*r - 48. Let k be b(10). Which is smaller: 79 or k?
79
Let o be (-22)/(-5) - 4/10. Let p = o + -3. Let r be 1/(-5) - 4/(-20). Which is smaller: r or p?
r
Let y(d) = -d**2 + 5*d - 1. Let m be y(4). Suppose 11 = -m*j - 40. Let f = 5177 + -5193. Is f greater than or equal to j?
True
Let w be (-923 + -1)/(-28)*(-2)/(-3). Let z = -1 + 1. Which is smaller: w or z?
z
Let j = -77 - -113. Let n be 24/(-156) - (-249)/13. Let s be (-6)/j + n/6. Which is smaller: 1 or s?
1
Let s be 2/(-1)*(-10)/4. Let b(i) = 2*i**2 + i - 145. Let y be b(-9). Let j = y - s. Is j <= 4?
True
Let k = -0.3 - -0.4. Let n = 3.66 + -3.96. Which is smaller: k or n?
n
Let a be ((-1)/2)/((-15)/210). Suppose -k - 6 = -a. Which is greater: 4/5 or k?
k
Suppose -r - 2 = -3*r + 2*q, -3*r + 15 = 3*q. Suppose 3 = -2*t - r. Let a be (-6)/4*(-1)/(-3). Which is bigger: a or t?
a
Suppose -3 - 49 = 52*f. Is f bigger than 19/45?
False
Let u = 20.916 - 15.13. Let l = u + -0.776. Let x = 0.01 - l. Which is bigger: x or -0.2?
-0.2
Let x(j) = -18*j**2 + 5*j - 8. Let g be x(3). Let v be (-6)/(-10) - g/(-300). Let y = -6 + 6. Is v equal to y?
False
Let o(v) = -v**3 + 8*v**2 - 2*v + 21. Let w be o(8). Suppose 4*h - l - 112 = 0, -h = l - 14 - 9. Let n = h - 21. Which is smaller: n or w?
w
Let s be ((-10)/3 + 2)*150/(-60). Which is smaller: 4 or s?
s
Let z be (2 + -1)/(46/(-322)) - -4. Which is smaller: -6/35 or z?
z
Suppose 10*h = 5345 + 2435. Which is smaller: h or 777?
777
Suppose -3*v + 7 - 31 = 0. Let u be -3 + (-3 - -2)/(-1). Let s = v - u. Is -6 at most as big as s?
True
Let f = 1 - 4. Suppose -k = -4 + 6. Let t be k/(-4)*(-24)/(-30). Is t equal to f?
False
Let k(m) = -m**3 + 5*m**2 + 7. Let f be k(5). Suppose -f = -2*r - 3. Let z be (-22)/10 - (-4)/r. Which is bigger: z or 0?
0
Let j = -3901/76 + 1854/19. Which is greater: 45 or j?
j
Let y be 7 + 550/(-35) - 2/7. Is -10 >= y?
False
Let f be 6 + -3 - (1506/(-1089))/(-1). Let r = 6/121 + f. Suppose 6*o = 3*o + 3. Which is bigger: o or r?
r
Let v = -160 + 161. Which is smaller: 11.4 or v?
v
Suppose -7*a + 14*a = -70. Let q(t) = -t**2 - 9*t + 4. Let z be q(a). Which is smaller: z or -33/5?
-33/5
Let c(n) = n**2 - 4*n - 34. Let x be c(0). Is -14 bigger than x?
True
Let n(a) = 2*a - 2. Let i be n(2). Let y be (55/(-66))/(i/(-18)*1). Which is greater: y or 9?
9
Let p = -338/255 + 18/17. Let v be (-12*5/45)/(4/(-3)). Which is smaller: v or p?
p
Let c(r) = 2*r**2 + 8*r - 2. Suppose -3*h = -2*w - 4*h - 13, -5*w = h + 25. Let s be c(w). Is s at least as big as 5?
False
Suppose -3*i + 966 = 5*o - 4*i, 396 = 2*o + 2*i. Which is greater: 193 or o?
o
Let v(d) = -2*d**2 - 73*d + 59. Let m be v(-37). Let b be (-90 + 0)*1/(-4). Let n = b - m. Which is bigger: 0.1 or n?
n
Let o = -228052/53 - -4303. Is 0 at least as big as o?
False
Let f be (-1 + 6 + -6)*-179. Is 0.1 greater than or equal to f?
False
Let b = 3.3 - -20.7. Let q = -51 + b. Which is bigger: q or -1/4?
-1/4
Let t = -57 + 39. Let a(h) = -h**2 - 20*h + 4. Suppose 5*k - 19 + 118 = 2*m, 2*k = -3*m - 51. Let o be a(k). Is o at least as big as t?
True
Suppose 0 = -4*r + 2*r + 2. Let l = r + -5/4. Let p(j) = j**2 + 2*j + 1. Let t be p(-1). Do l and t have the same value?
False
Suppose 0*c - 315 = c. Let m = 6617/21 + c. Let i = -0.7 + 0.6. Which is smaller: i or m?
i
Let m(b) = b**3 - 9*b**2 + 7*b + 8. Let u be -2 + 8 - (3 + 3 + -8). Let k be m(u). Is k <= 10/11?
True
Let s = -1311 + 1311. Is s less than or equal to -46/19?
False
Let f(b) = -5*b - 3. Let c be f(-2). Suppose 7*m + 8*m = -23 + 143. Which is smaller: c or m?
c
Let b(j) = -2*j**2 - 2*j + 1. Let w be b(-1). Is w greater than 36/19?
False
Let n be (3 - 34/12)/1. Let z be (-6)/(-5)*10/4. Let v = 3 - z. Is v smaller than n?
True
Let w(x) = 4*x. Let i be w(-1). Let c = -89 + 91. Let d = c + i. Is -2 bigger than d?
False
Let w = 50 - 36. Let a = -14.1 + w. Which is bigger: -2/15 or a?
a
Let q = -2977/51 + 29/17. Let j = 56 + q. Is j greater than or equal to -1?
True
Let u be (2 + 2/(-4))*(-48)/(-36). Suppose -u = -3*b + 1. Which is smaller: 1/14 or b?
1/14
Let u be 341/(-5544) + (-1)/(-8). Suppose 5*p + 5 = 4*a, -2*p + 3*p + 2*a + 1 = 0. Is u <= p?
False
Let l(k) = k**2 + 24*k + 43. Let i be l(-2). Suppose -2*p - 3*p + 15 = 0. Is p at most as big as i?
False
Let y = 4/89 - 415/3293. Let f = y - 59/185. Which is smaller: -5 or f?
-5
Let f = -312 + 308. Suppose 5*o + 36 - 106 = 5*v, 82 = -3*v - 5*o. Let a = v - f. Which is smaller: a or 0.1?
a
Let g = 6 + -46. Let l = g + 59. Let a = -61/4 + l. Is a < 3?
False
Suppose -t - b = 5, 121*t - 125*t = -4*b - 12. Are t and 1/1140 unequal?
True
Let z be (-13)/(-3) + (-1)/3. Let c = 88 + -87. Is c at most z?
True
Let t = -8 - -5. Let o(i) = -i**3 - 23*i**2 + 25*i + 20. Suppose -3*s - 40 = 32. Let m be o(s). Is m at most as big as t?
True
Let p = 2/7213 + -1565227/21639. Let m = p - -73. Which is smaller: 7.5 or m?
m
Suppose -k + 7 = o, 0*k - 8 = o - 2*k. Let d = -14 + 30. Suppose 4*z - 5*z = o*j + d, 5*j = -z - 46. Which is smaller: -8 or j?
j
Suppose -19 = 4*s - m, -5 = -s - 0*s - 3*m. Let w = s + 2. Let z = w - -14. Is z at most as big as 12?
True
Let m(g) = 37*g - 7. Suppose 0 = 3*l - 5*v + 22, -l = -2*l - 5*v + 26. Let a be m(l). Is a less than 31?
True
Let r = 0.1 + -0.14. Let o = -0.24 - r. Which is smaller: o or -4?
-4
Let q(o) = 5*o**3 - o**2 + 3*o + 5. Let l be q(-2). Which is bigger: l or -44?
-44
Let r = 3/169 - 3485/177281. Which is bigger: r or -1?
r
Let s = 74 - 74.13. Let i = s - -0.15. Do i and -2/3 have different values?
True
Suppose -4*b - 4*y + 37 = -7*y, -y - 3 = 0. Which is bigger: 10 or b?
10
Suppose 14*k = 25*k - 10*k. Which is greater: k or -1/232?
k
Suppose 0 = -4*p - 20, i + i - 464 = 2*p. Which is greater: i or 228?
228
Let o = -0.2 + -0.1. Let i = 7 + -8. Let u be 2/(-1)*i/(-6). Which is bigger: u or o?
o
Let h be -1 - 30/6 - -1. Let s(o) = o + 6. Let t be s(h). Which is bigger: t or 1/9?
t
Suppose -11*g = 2901 - 646. Is g greater than -206?
True
Let r = 78 - 68. Let z = r + -11. Let y = -1 + 0.94. Are y and z unequal?
True
Let p(u) = 4*u**2 + 4*u - 3. Suppose y - 3 = -0*y + b, 5*y + 3*b = -1. Let c be p(y). Let i(z) = -z. Let w be i(-4). Is w at most as big as c?
True
Let t(f) = -2*f - 46. Let h be t(-24). Which is greater: -0.008 or h?
h
Suppose 5*n = 5*z + 80, 6*z - 11*z + n = 76. Which is bigger: z or -20?
z
Let o = -718 - -3606/5. Let d = o + -122/35. Which is bigger: d or 4/3?
4/3
Suppose -3*d = 4*w + 9, d = -4*w - 3 - 0. Let h be 574/(-30) + 10/75. Let b = h - -22. Which is smaller: w or b?
w
Let f be (17 + (-469)/21)*3/1. Is f < -157/10?
True
Let s = -123 + 74. Let r = -48.6 - s. Is r at most as big as -0.4?
False
Let x be 3/(-2) - (5769/18 + -1). Is -322 less than x?
True
Let g be ((-6)/42)/(2/(-8)). Let f be (-6 - 2 - -3) + -2. Let a be (-8)/28 - 1*9/f. Do g and a have the same value?
False
Let g = -136 + 135.82. Is -0.5 at least g?
False
Let t = 3.424 + -1.424. Let w = -0.05 + 0.35. Let s = w + -0.31. Do t and s have different values?
True
Suppose -8*x + 1 = -15. Suppose -3*g - g = -20, x*g + 12 = z. Let f be (-2)/(-9) + (-187)/(-9). Which is smaller: f or z?
f
Let c = 16.012 - 16. Let k = c - 26.012. Let a = k - -25.98. Is a < 2/9?
True
Suppose 0*m - 3*m + w = 0, 5*w = 15. Let s be 1483/3*9/8217. Let i = s + 1/249. Which is bigger: i or m?
m
Suppose -3*t - 2*c = -32 + 33, -2*c = t - 1. Which is smaller: 4/321 or t?
t
Suppose -2335 = -3*d + 257. Let k = d - 57885/67. Which is bigger: k or -1?
k
Let m(k) = k**3 - 1