+ 3. Let d be i(n). Suppose d = -2*b - 2*b. Which is greater: b or 1?
1
Let b(c) = 5 - 4*c - 3 - 1. Let o be b(1). Suppose -73*g + 30 = -83*g. Is o greater than g?
False
Suppose 2*b - 182 = -600. Is -209 at least as big as b?
True
Suppose 6*p = 2*p - 76. Suppose -2*o + 30 = -2*d, d + o = -4*o - 33. Which is greater: d or p?
d
Let n = -20.4 + 20. Is 3.9 at most as big as n?
False
Suppose -4*l + 9 = -2*p - 11, -5*p + 10 = 2*l. Let i be -2*1/(-6*l). Is i greater than 1?
False
Let h = -1.66 - -2.66. Which is smaller: h or 254?
h
Let y = -5 - -11. Let i(x) = 8*x + 16. Let u be i(-2). Suppose u = 7*k - 4 + 18. Is y <= k?
False
Suppose 0 = 2*p + 10, -731 = -4*v - 0*p - p. Let o be 1*(-1)/4 - (-2070)/v. Which is smaller: 12 or o?
o
Let y be (6/(-4))/(-1 + (-2332)/(-2308)). Let c = -152 - y. Is c greater than or equal to -8?
True
Let l be (-3 + 2)/((-1)/6). Let h be (1 - -2)*(3 - 4). Let r be -3 + 6 + (-2 - h). Is r > l?
False
Let k be ((-8)/(-34))/1*2/(-12). Which is smaller: k or 0?
k
Let u be 4/14 - 550/(-35). Suppose -4*k = -2*k + u. Let h = 6 + k. Which is bigger: h or -3?
h
Suppose 7 = -3*d + m + 3*m, -3*d - 5*m + 29 = 0. Let z = 5 - d. Is 19/6 smaller than z?
False
Let j be (2/1)/(2/4). Suppose -3*w + 3 = 2*o, 20 = -5*w + o + j*o. Which is smaller: -2/85 or w?
w
Suppose -2*n = -4*g - 10 + 60, 2*g - 5*n - 13 = 0. Is g at most 12?
False
Suppose 0 = -2*u + 2 - 4, 4*n + 2 = 2*u. Which is bigger: 4/383 or n?
4/383
Suppose 0 = x + 4*x. Suppose x = -3*p + 6. Let a(b) = -b**3 - 15*b**2 + 16*b + 3. Let q be a(-16). Which is bigger: p or q?
q
Let a be (-2)/6 + (-7072)/204. Suppose 0 = 2*f + 92 - 22. Are f and a equal?
True
Let s = -1.5 - -0.5. Let b(j) = j**3 - 5*j**2 + 9*j + 10. Let a be b(7). Let o be 34/153 + (-56)/a. Is s less than o?
True
Suppose 7*w - 604 = -618. Suppose 5*c + 20 = -8*l + 3*l, 0 = 2*c + 10. Which is smaller: l or w?
w
Suppose 0 = 5*a - 72 - 78. Let l(g) = 3*g - 10*g + g**2 - a + 22. Let f be l(8). Is -3 greater than or equal to f?
False
Let v = 235 - 182. Is 53 less than v?
False
Let i = -17767/85 - -209. Which is greater: i or -1?
i
Let t = -0.03876 + -24.29124. Let y = t + -0.67. Is -1 less than y?
False
Let m = 467 - 397.9. Is m not equal to -2/7?
True
Let r be (-4)/((-1)/(-8*8/(-256))). Suppose -2*w - 18 = 5*z, z = 3*w + 3*z + 5. Is w less than r?
False
Suppose -5*i - 10 = -2*b, -5*i + 0 = -b + 5. Let w be (-75)/30*28/b. Which is smaller: 1 or w?
w
Let q = -38/3 - -40/3. Suppose 3*u - 8 - 4 = 0, -5*o + 4*u - 91 = 0. Let s = o - -15. Which is smaller: q or s?
s
Let o = -125 + 82. Let u = 25 + o. Is -19 greater than u?
False
Suppose 3*d + 44 = 4*x + 511, -4*x + d - 465 = 0. Let h = x + 139. Is 68/3 greater than or equal to h?
False
Let r = 4.35 - -0.25. Is r greater than 0.3?
True
Suppose 0 = 3*n - 1131 + 1008. Which is bigger: 42 or n?
42
Let d(p) = 2*p - 2*p + 9*p - 54 - 14*p. Let r be d(-13). Is 10 at least as big as r?
False
Suppose f = -3*a - f + 11, 2*a = 5*f - 18. Let x be (-7 + -1)/(-1 + 2). Let s be x/(-44) - 21/55. Are s and a unequal?
True
Suppose 11*s - 25 = 6*s. Suppose s*i + 21 - 56 = 0. Is i <= 7?
True
Let q be 3 - 3/(9/30). Let g be 26/(-10) - 3/(-5). Let x be (-174)/18 - g/3. Which is greater: x or q?
q
Let j = 14 + -21. Let w = j - -7.1. Suppose -4*x - 1 - 2 = 3*i, 0 = 2*x - 2*i + 12. Which is smaller: x or w?
x
Let r(y) = y - 1. Let a be r(1). Let t(q) = -q**2 + 15*q + 52. Let w be t(18). Let o be (-1)/(-3)*w*(-13)/39. Which is greater: o or a?
o
Let i = -0.1 + 1.1. Let r = 41/16 - 387/176. Which is bigger: i or r?
i
Suppose 2*z - 8 + 3 = c, 0 = 3*c - z. Is -6/103 <= c?
True
Suppose 6*l - 7*l - 1 = 0. Let z be -3 + -222*(-2)/146. Let p = z - 133/1460. Is l at least p?
False
Let v be 5928/190 + -1*3. Is 27 equal to v?
False
Let k(y) = -y**3 + 6*y**2 - 5*y + 2. Let w be k(5). Let n = 28373 - 56745/2. Is w <= n?
False
Let v be ((2 + -3)*0)/2. Let q = -11 + 17. Suppose 5*t - 4 = q. Which is smaller: v or t?
v
Suppose 5*u + 76 = 3*i, -u - 52 = -2*i + 2*u. Let v be (4/i)/((-1)/(-2)). Let k = 0.73 - 0.65. Which is bigger: v or k?
v
Let i = -115 - -104.6. Let s = i - -10. Let r = 0.46 + s. Which is greater: 0.2 or r?
0.2
Let q = -1111 + 1116. Does 3 = q?
False
Let y(j) = j**3 - 11*j**2 + 3*j - 10. Let o be y(11). Let x = 42 - o. Is 18 < x?
True
Suppose 12 = -0*p + 4*p. Let z be -2 + 1 + p/4. Is z smaller than 1?
True
Let c(m) = -3*m - 62. Let o be c(22). Is -127 > o?
True
Suppose -4*a = -h - 321, -2*a + 285 = -h - 7*a. Which is smaller: -304 or h?
h
Suppose -3*m + 2 = -4*s, -m - 3*m + 2 = -5*s. Let t = 279 + -1403/5. Which is bigger: t or m?
t
Let n = 29 - 45. Let c = n + -3. Is -18 > c?
True
Let f = 322 + -309.5. Which is smaller: f or -2/3?
-2/3
Let u(k) = k + 8. Suppose -3*f + f = 20. Let a be u(f). Are -8/3 and a unequal?
True
Suppose -19*t = -24*t - 2705. Are t and -540 equal?
False
Let w(a) = -a**2 - 11*a + 4. Suppose d + 30 = -2*d. Let b be w(d). Which is smaller: 15 or b?
b
Let n be (-2)/(-48)*(-5 - (-112)/40). Is -1 smaller than n?
True
Let a = 28/279 + -15374/3069. Is a less than -6?
False
Let y be (-3)/(-4) + (-1411)/1972. Let a = 59 + -59. Which is bigger: y or a?
y
Let t be ((-6)/1)/(-3)*-1. Let p be (-40)/15 - t/3. Let n = -578/3 + 192. Which is smaller: p or n?
p
Let h = -38 + 75. Which is greater: 0.1 or h?
h
Let u = -10 - -34. Suppose -u = -0*k - 4*k - 4*y, 3*y = -k - 2. Which is greater: k or 11?
11
Suppose 54 - 53 = -g. Is g less than or equal to 1/55?
True
Let a(w) = 494*w**2 - 8. Let c be a(-4). Let q be 0 + 3 - 26056/c. Let r = 2/141 + q. Which is smaller: 0 or r?
r
Let h(f) = 4*f + f**2 + 56 + 4*f - 52. Let z be h(-7). Let k be (-50)/12 - (0 + z). Which is bigger: k or 0?
0
Suppose 4*f - 5 = 9*f. Which is bigger: f or -5?
f
Let g(d) = -d**3 + 3*d**2 + 9*d. Let w be g(0). Is w at least 2/2935?
False
Let b = -3 + 4. Let k be (10 - b)/(3/2). Let w = -25 - -29. Which is greater: w or k?
k
Let u be (11/(33/(-18)) - 3) + -3. Let z = -10 + -4. Is u smaller than z?
False
Suppose -3*j = 2*s - 7*j - 8, -3 = 3*j. Let g(z) = 3*z**2 + 4*z + 4*z**2 + 4 - 4*z**s - 4*z**2. Let k be g(6). Which is smaller: k or -9?
-9
Let o = 2 - -1. Let f = 6 + -8. Let d be (f + 3/(18/16))*3. Which is greater: o or d?
o
Let u = 0 + 0. Suppose -4*n - 246*p = -248*p - 266, 4*n = 3*p + 263. Which is bigger: u or n?
n
Let g = -13.2 + -0.8. Let s = -14.1 - g. Is -6 > s?
False
Let l be 36/(-21)*(-6)/9. Let v be (-4)/14 - 81/(-63). Which is bigger: v or l?
l
Suppose -95*g - 99 = -98*g. Is 34 less than g?
False
Let d = 31/2 - 16. Suppose x = r + 4*r + 2, r = 5*x - 58. Let j be 4/x + (-21)/9. Is j smaller than d?
True
Let c be (1/2)/((-4)/88). Let y be 1 - 0 - c/(-9). Let k = -124/21 + 46/7. Is y less than k?
True
Let l = 16122 + -47959/3. Let g be (266/(-6))/((-2)/(-6)). Let w = g + l. Is 2/7 bigger than w?
False
Suppose 6*n - 6*n = 20*n. Let u(q) = 2*q - 4. Let w be u(3). Suppose n = -w*o - 0*o + 6. Is o smaller than 4?
True
Let r = 0.0721 + 0.0379. Are -9 and r equal?
False
Let y = 481 + -283. Is y < -1/4?
False
Suppose s = -2*m + 454 - 68, 5*m - 995 = 5*s. Is 194 at least m?
False
Let l = -1060 - -1066. Is 9/2 < l?
True
Let l = -124/3 + 41. Let r be 23/(-3) + -2*(-6)/18. Is r bigger than l?
False
Suppose -i - 4*b - 136 = 0, -b = -2*i - 4*b - 257. Which is bigger: i or -125?
i
Let l(h) = -h**2 - 14*h + 48. Let o be l(3). Which is smaller: 295 or o?
o
Suppose -9 = c - 4*p, 0 = -3*c + 11*p - 12*p - 1. Which is bigger: c or -13/16?
-13/16
Let g = -21 + 36. Let f be (-1 + 11)*6/g. Suppose -f*r + v = -13, -2*r = 4*v - 2*v - 14. Which is bigger: 3 or r?
r
Let w = -70 - -72. Let v = -17 - -18. Is w at most as big as v?
False
Let p(c) = c - 5. Let f be p(8). Suppose 12 - f = -n + 2*h, -7 = n - 4*h. Let t be (n/429)/(1/3). Which is greater: -1 or t?
t
Suppose 0 = 52*q - 57*q + 10. Which is smaller: q or 106?
q
Let g = 1239 - 1222. Let m be (-5)/(-3*1/11). Which is bigger: m or g?
m
Let u = 1.09 - 0.87. Is -1.4 greater than or equal to u?
False
Suppose -2*x - 3*d + 2 = -2*d, d = -10*x - 6. Which is smaller: x or 3/715?
x
Let j(k) = -59*k + 30. Let w be j(-4). Suppose 11*n - 801 - w = 0. Is n bigger than 97?
False
Suppose -6 = 15*c + 9. Is -15 smaller than c?
True
Let q = 10 - 14. Let u = q + 7. Let w(g) = g**3 - 7*g**2 - 7*g - 9. Let m be w