 3. Let r be u(-4). Suppose 9 = f + r. Let m = -5 - f. Which is greater: -10 or m?
-10
Let a be (26 - 22 - (0 + 1)) + -2. Let o = -9 - -16. Let b = o - 11. Which is smaller: a or b?
b
Let p = 8.411 + -7.69. Which is greater: p or 1?
1
Let n = 1.152 - -180.748. Let c = -217 + n. Let m = 35 + c. Which is smaller: m or 5?
m
Suppose 0 = -7*u - 33 - 72. Let t(k) = -k**3 + 15*k**2 - 27*k - 1. Let z be t(13). Which is bigger: u or z?
z
Let w = -13 - -13.24. Let v = -0.14 + w. Suppose -5*t - 15 = -50. Which is greater: t or v?
t
Let j(v) = -2*v - 14. Let n be j(-8). Suppose n*b + 132 = -4*b. Which is smaller: -24 or b?
-24
Let f = -1 + -1. Let c be -20 + -4*(-3)/6. Let a = 15 + c. Is a greater than f?
False
Let k = 15.575 + -15.5. Is k greater than -1?
True
Suppose -6 = -w + a, -3*w = 2*a - 3*a - 10. Suppose -18 = -w*r - 2. Let g = -10 + r. Is g at most as big as 0.3?
True
Let o be (-24)/(-14)*(-14)/10*-45. Let c = -107 + o. Which is smaller: c or 4/19?
4/19
Suppose -235 = 3*u + 5*z, 2*u - 77*z + 162 = -79*z. Which is bigger: -5 or u?
-5
Suppose -a + 61 = -5*y, -2*a + 5*y + 0*y + 132 = 0. Suppose c = -2*k - 37 + 180, -11*k = 2*c - 790. Is k > a?
True
Suppose -2*w - 178 = -3*n + 288, 0 = -4*n + w + 618. Which is smaller: 151 or n?
151
Let a be (-5)/(-10)*0/2. Let u be (8/14 + 0)/(18/21). Which is smaller: a or u?
a
Let u be 10/(-45) + (3 - (-50)/(-18)). Is u <= -372?
False
Let m = 14 + -12. Let h = 7 - m. Let c = h + -5. Is 1/3 at most c?
False
Suppose -2*x + 2*j + 28 = -3*j, 0 = 2*x + 2*j. Let h be ((-2)/x)/(17/544). Are h and -15 equal?
False
Suppose 0 = 5*q + z - 24, 0 = -5*q + 4*q + 4*z - 12. Let u be (-5 + q)*12/11. Suppose 4*i = r - 0 + 1, 3*r + 3 = 2*i. Which is smaller: u or i?
u
Let l = 1100 + -1099. Which is greater: l or -10/3?
l
Let v be (3 - 4)*3/387. Suppose -4*y + 16 = -4*c, 2*y + 2 = 5*c + 19. Which is smaller: v or y?
v
Let s = -16/25 - -418/575. Let b be 3*16/(-12)*-1. Suppose -2*h + b = 0, -4*h = -3*r - r - 8. Which is smaller: r or s?
r
Let k = 16 + -11. Suppose 15 = 3*g + 6. Let z be 6 - (1 - (-5 + g)). Which is bigger: k or z?
k
Let m = 237 - 235. Is -44 at most as big as m?
True
Let i(g) = -g**3 - 12*g**2 + 9*g + 101. Let t be i(-12). Which is smaller: -36 or t?
-36
Let y = 36 + -33. Suppose -j = -7 + 2, y*v - 3*j = -18. Which is smaller: v or -6/23?
v
Let c be 17/(-5)*(2 + (-3)/3). Which is smaller: c or -4?
-4
Let c = 325694/5 - 127675403/1960. Let r = -1/392 + c. Suppose -2*t - 12 = 2*t. Is t < r?
True
Let v(j) = 2*j - 18. Let g be v(10). Suppose -g*w = -w. Let f be w + 4/((-16)/10). Which is greater: f or -4?
f
Suppose 0 = -17*g - 241 + 37. Which is bigger: g or -13?
g
Let w be 12*(9/(-26) + 8/(-52)). Is -9 greater than w?
False
Let k = 56 + -53. Suppose -5*u = g - 21, -k*u - g = -u - 9. Which is smaller: 10/3 or u?
10/3
Suppose 0 = -124*m + 129*m + 1130. Do -225 and m have different values?
True
Suppose 25*i - 40*i + 240 = 0. Is 152/9 bigger than i?
True
Let q be (-782)/20 + -1 + 10/(-25). Let w = 40 + q. Is w smaller than 23?
True
Let p(c) = c**2 + 1. Let z(t) = -3*t**2 - 25*t + 42. Let q(m) = -4*p(m) - z(m). Let l be q(23). Which is greater: -4 or l?
l
Let f = -548 + 67957/124. Let c = f - -3/6076. Which is greater: c or 0?
c
Let g = -0.0316 - -0.3176. Is g at most -1?
False
Let r(i) = -3*i - 3. Let a be r(-6). Suppose 0 = -91*t + 1660 - 477. Which is greater: a or t?
a
Let y be -8*4 - (3 - 1). Let u be -29 + -1 + -2 + -2. Is y at most as big as u?
True
Let d be 2 + (-22318)/42 - 56/14. Let h = d - -533. Is 1 bigger than h?
True
Let g = -13 - -18. Suppose -2*c = -g*c. Suppose i + 3*i = 4*p + 20, 4*i + 5*p - 65 = c. Which is bigger: 11 or i?
11
Let p be (4 - 5) + (2 + -17)/(-3). Suppose 0 = -0*c + 5*c - 125. Suppose 0*o - 3*o = p*u - 15, -5*o + c = -u. Which is bigger: u or -0.1?
u
Suppose s - 104 = -80. Which is bigger: 123/5 or s?
123/5
Let g = -26.75 + 60. Let c = 33 - g. Which is greater: c or -1?
c
Suppose -3*h + 3 = -j + 19, -5*h - 21 = 4*j. Are j and 24 non-equal?
True
Let a(n) = 2*n**2 + 3*n - 19. Let z(k) = 6*k**2 + 8*k - 56. Let c(w) = -11*a(w) + 4*z(w). Let h be c(0). Is -16 equal to h?
False
Suppose -5*s + 348 + 172 = 5*h, 4*s - 380 = 5*h. Let f be 1 + 308/s - 4. Is f < 1?
True
Let m be 72/352*16/6. Which is smaller: 7 or m?
m
Let t be (-24)/10 + 8/20. Let i be (1 - 0)/(t/(-6)). Is i at most 4?
True
Suppose 6*p = 11*p + 4*f + 577, f = -p - 115. Are p and -117 unequal?
False
Suppose -72*o = -75*o. Let z = -5751/8 - -720. Which is greater: z or o?
z
Let q be 5 + 2*(-1371)/(-12). Let m = -227 + q. Is m smaller than 7?
True
Let x = 0.053 + 4.347. Let y = x - -2.6. Let w = -1 + 2. Which is greater: y or w?
y
Let g(i) = i**2 - 18*i - 88. Let a be g(-4). Let r be 1/61*(1 + -3). Is a less than or equal to r?
False
Let g = 25 + -26. Let v = -41906 + 295266/7. Let o = v + -276. Is g at most as big as o?
False
Let o(l) = -2*l**3 + 31*l**2 - 19*l + 51. Let j be o(15). Which is smaller: -6 or j?
j
Suppose 4*p = 2*o + 410, -5*p - 163 + 676 = -3*o. Let w = -861/2 + 2300/7. Let c = p + w. Which is smaller: 0 or c?
0
Let j = -813 + 812. Which is greater: j or 1/59?
1/59
Let q be (-2)/(-4) - (86/(-44) - -2). Which is bigger: q or 1?
1
Let a(f) = 3*f + 14. Let g be a(-5). Let t = -1423/6510 + 2/465. Is g at least t?
False
Let b = -0.0085 - -20.5685. Let f = -0.44 - b. Let p = -20 - f. Which is smaller: p or -2/7?
-2/7
Let i = -0.056 - 2.644. Let s = -0.254 + 0.454. Which is smaller: s or i?
i
Let t = 567 + -509. Let m(d) = -3*d**3 - 3*d**2 - d. Let o be m(-3). Which is greater: o or t?
t
Let x = 1/171 - 173/342. Let b(j) = -2*j**2. Let h be b(-1). Is x at most h?
False
Let n be 22/5 + 10/(-25). Suppose n*d - 28 = -0*d. Let c(l) = l - 8. Let g be c(d). Is g bigger than 0?
False
Let p be (-1740)/42 - (0 - (-12)/(-28)). Is -41 != p?
False
Let o = 27/4 - 21/4. Let m = 28 - 19. Suppose d - 3*v = -0*d - 5, -4*v = d - m. Is d at most as big as o?
True
Suppose -4 = -2*g + 3*d + 18, g + 5*d = 11. Which is smaller: 5 or g?
5
Suppose 4*y = 4*q + 52, -5*y - 53 = 5*q - 6*y. Are -11 and q non-equal?
True
Let u(g) = g + 2. Let c be u(-5). Let a be 167/42 + -24 + 20. Let b = 5/14 + a. Which is smaller: b or c?
c
Suppose -1054*p = -1059*p - 10. Which is greater: p or -24/7?
p
Let l = -421/5773 + -48800369/300196. Let g = 651/4 + l. Is g at least -1?
True
Let u be (19/(-6))/(51/(-22434)). Let n(r) = -697*r - 1. Let m be n(-2). Let b = m - u. Which is smaller: -1 or b?
-1
Let o = 24769/469 + -370/7. Let j = o - 588/335. Suppose z + 28 = -4*n - 3*z, -2*n + 2*z + 6 = 0. Is j smaller than n?
False
Let l be (-5)/(-11850)*512/6. Let n = l + 2/237. Is n at most 0?
False
Let s(p) = p**3 - 16*p**2 - 22*p + 79. Let v be s(17). Which is smaller: v or -11?
-11
Let t(h) = 4*h**2 - 31*h + 59. Let f be t(7). Which is greater: f or 26?
f
Let j = -34 - -22. Let w = j - -55. Which is smaller: w or 1?
1
Let k = -328 - -209. Which is greater: -118 or k?
-118
Let j = 151.1 + -504.1. Which is bigger: 0 or j?
0
Let s be -1 + (-704)/(-6) + (-33 - -36). Is 119 at most as big as s?
True
Let x be 102/27 + 2 + 14/63. Suppose -3*i = a + 36, 5*a - x*a = 5*i + 46. Is -21 < a?
False
Let m = -4247131/92697 + -7/8427. Is m > -45?
False
Let v(q) = -q**2 + 2*q + 51. Let j be v(-5). Which is smaller: 22 or j?
j
Suppose -4*j = -60 - 32. Suppose 5 = -3*o + j. Do 3 and o have the same value?
False
Suppose -19 = 6*a - 223. Let h = 43 - a. Which is smaller: 8 or h?
8
Suppose -3*p = 4*w + 3, -2*w = -7*w + 5*p + 40. Suppose 5 = -5*k - w*f, -5*k + 35 = -0*k - 5*f. Let m be (-5)/(-1)*-2*(-2)/10. Is k equal to m?
True
Let m = 93 + -68. Suppose y = -1 + 33. Let v = y - m. Which is smaller: v or 8?
v
Let s(w) = -w - 10. Let f be s(-8). Let y be 6/(-8) + f/(-4). Which is greater: y or 0?
0
Let j be (-8)/((-32)/(-28) - -2). Let n be (-1 + 0)/2*8. Is n >= j?
False
Let c = -177 + 150. Which is smaller: c or -221/8?
-221/8
Let n = -539 - -9166/17. Let m = 3 + -8. Let x = m - -5. Which is smaller: n or x?
x
Let k(g) = 7*g**2 + 2*g - 23. Let j(b) = b**2 - b - 1. Let y(x) = -6*j(x) + k(x). Let i be y(3). Is i greater than or equal to 15?
True
Let m(y) = -y**2 + 12*y + 18. Let x be m(13). Suppose 2 = -7*v - x. Do -2/81 and v have the same value?
False
Let v = 0.89 + 0.11. Let b = v + -1. Let y = 3.9 