 - x. Which is bigger: f or w?
w
Suppose -p + 2*p - 4 = 0. Suppose h + 3 = p*h. Let r be 45/12 - ((7 - 3) + -2). Which is greater: r or h?
r
Let r be 9 + -14 + 140/22. Is 2 equal to r?
False
Let g(m) = m**3 + 15*m**2 + 32*m + 78. Let d be g(-13). Which is bigger: 5/176 or d?
5/176
Let c be (42/(-18))/(2/30). Let z = c - -55. Let t(k) = -k**2 + 7*k + 7. Let w be t(4). Which is greater: z or w?
z
Suppose -2137 = -33*j + 1889. Which is greater: 118 or j?
j
Let j = -215 - -196. Which is smaller: -17 or j?
j
Let i(g) = -g**3 - 3*g**2 + 2*g + 8. Let d be i(-4). Let q be d + (-48)/(-22) + (-4)/22. Which is greater: q or 21?
21
Let q = -1091 + 1100. Which is bigger: q or 8?
q
Suppose -886 + 4390 = 12*m. Which is bigger: m or 293?
293
Suppose -6*x - 13 = 71. Let u be -2 - 20/x - 300/(-84). Which is greater: u or 11/7?
u
Let b = -0.2292 + -0.0708. Is b greater than or equal to -27/11?
True
Let m = -4 + 4. Let q = -9.1 - -9.01. Let r = q - -0.1. Is m less than r?
True
Let o be 4 - 0 - 1*-15. Let h = 0 - o. Which is smaller: h or -17?
h
Suppose -5*q - 5*b + 205 = 0, 7*b + 132 = 4*q + 3*b. Let w = q - 20. Suppose -m = 3*d - 6*m - 31, 5*d - 4*m = 69. Is w at most as big as d?
True
Let c = -44 - -44.011. Let f = c - -0.189. Which is greater: 1 or f?
1
Suppose -2*f + 13 = 3*g, -9*f + 5*g - 24 = -10*f. Is 1/224 less than or equal to f?
False
Let y = -106.4 - -106.2. Which is bigger: 8.71 or y?
8.71
Let a(f) = f**2 + 2*f - 7. Let n be a(-8). Let c = n - 121/3. Let s(l) = 14*l + 56. Let o be s(-4). Is c >= o?
True
Let t be -2 + 5 - (-20)/(-25)*5. Let s = 1793086/283 - 6336. Is t greater than s?
False
Suppose -45*z + 33*z - 2448 = 0. Which is smaller: -203 or z?
z
Suppose 55 = 5*a - 5. Suppose 3*j + 56 = 10*j. Suppose -3*i + 50 = -3*b + 8, 0 = -4*b - j. Does i = a?
True
Let u(i) = -103*i - 41. Let d be u(2). Is d greater than -248?
True
Let u be 0 + (1 - (2 - 2)). Let h be ((-30)/9 + 3)/((-16)/6). Which is greater: h or u?
u
Let s be (58664/3432 - 17) + (-6)/39. Suppose 2*k = 3*m + 7, 2*m - k = -1 - 2. Which is greater: s or m?
m
Let f = -3315 - -3315. Let u = 2/1827 + -3772/107793. Is f < u?
False
Let m = 45 - 39. Let x = -0.5 + 4.5. Which is smaller: m or x?
x
Let t be -1 - (-2 - 0)*2. Let s = -16 - -12. Let v be 1/((s + 7)/6). Do t and v have different values?
True
Let n(r) = r**2 - 11*r - 13. Let l(c) = c**3 - 10*c**2 + c + 2. Let y = 23 - 13. Let h be l(y). Let w be n(h). Is w > 4/19?
False
Let x be (40/(-25))/((-4)/10) + -15. Is -9 less than or equal to x?
False
Let s(l) = 2*l - 536. Let p be s(-53). Do -644 and p have the same value?
False
Let f(k) = -k**2 - k + 1. Let j be f(-2). Suppose 0 = 3*l - 27. Let w = 7 - l. Which is greater: j or w?
j
Let p = -291 - -344. Is p greater than 1/5?
True
Let j = 2388 - 64463/27. Which is smaller: j or -1?
-1
Suppose 3*u - 4 = -1. Let p be u/((-4)/(-1))*-1. Let q = -0.4 + 0.8. Is p < q?
True
Let d be (-18384 - -16)/(-16)*1/(-6). Is -192 != d?
True
Suppose -47 = 2*o - 3*r, 0*r - r = -1. Let s(y) = -y - 16. Let v be s(6). Are v and o nonequal?
False
Let w = 63.2 + -69. Let r = w - -3.8. Is r smaller than 7?
True
Let v be (-1)/(-2)*2*(-4)/(-6). Suppose h + z - 2 = -h, 0 = -2*h + 4*z - 18. Let f be 18/(-12)*h/(-6). Is f at least as big as v?
False
Let w = -111.3 - -112. Which is bigger: w or -13?
w
Let r be -1 + 1 + (-57)/27. Let j be (-3 + 1490/207 + -2)*1. Let h = r + j. Which is bigger: h or 0?
h
Let r(a) = -a**3 + 29*a**2 + 32*a - 59. Let h be r(30). Is h <= 2/1945?
False
Let v = 775 - 458. Suppose -6*u + 187 = -v. Which is bigger: u or 83?
u
Suppose -4*n - 39 - 4 = o, -5*o - 131 = -n. Let c = -30 - o. Is c greater than or equal to -3?
True
Let b = 24 - 20. Let y be ((-11)/(-517))/((-2)/b). Which is greater: 0 or y?
0
Let o(c) = -c**2 - 21*c - 34. Let b be o(-18). Suppose 0 = -4*t + b - 12. Which is smaller: -7 or t?
-7
Let p be 14490/(-27)*36/(-14). Are 0.1 and p equal?
False
Let z be (-470)/564*(-32)/(-70). Which is bigger: z or 1?
1
Let p = -2 - -1.977. Let i = -0.223 - p. Does i = 0?
False
Let d(m) = -m - 134. Let v be d(30). Is v greater than or equal to -164?
True
Let v(y) = -y**3 - 8*y**2 - 3*y + 1. Let j be v(-8). Suppose 33*s = j*s. Which is bigger: s or 1/22?
1/22
Suppose -7*m = 8*m + 15. Let v be 13/((-65)/(-270)) + (0 - m). Is 55 > v?
False
Let h be 18*(1 - -1)/(9/(-54)). Let a be h/32*2/12. Which is smaller: 0 or a?
a
Let l be (489/(-81) + 5)*3. Let x be (5 - 2)*4/(-6). Which is greater: l or x?
x
Let u be (9/6 + -2)*-10. Let n(l) = -u*l + 10*l - 4 - 2. Let h be n(3). Which is greater: h or -1?
h
Let w = -6 + 8. Let r be (-4)/22 + 1677/(-33) + 1. Let j = 49 + r. Which is bigger: j or w?
w
Suppose 22 - 6 = 2*d. Which is bigger: d or 3?
d
Let a(i) = 10*i - 17. Let x be a(-2). Which is bigger: -46 or x?
x
Let b be 1*((-6)/3 + 2). Suppose -3*n = 3*d - 3, b = -5*n - d + 5 + 4. Suppose n*v + 30 = 4*k, k - 2*v = 3*k. Which is smaller: k or 6?
k
Let h = -1 - -0.86. Let l = h - 1.36. Let w = l - -0.5. Is w <= -1?
True
Let v(o) = o - 39. Suppose 0 = 52*f - 55*f + 24. Let b be v(f). Which is smaller: -2/7 or b?
b
Let y be ((-14)/21)/(2/(-114)). Let h be y/20 - (0 + 2). Let s(q) = q + 9. Let o be s(-10). Do h and o have the same value?
False
Let w = -2058/395 - -4/395. Let g(k) = -k**3 + 7*k**2 + 3*k - 27. Let x be g(7). Which is greater: x or w?
w
Let w(x) = x**3 - 15*x**2 + 2*x - 20. Let c be w(15). Which is greater: 23 or c?
23
Let u = 274 + -450. Let h = -5809/33 - u. Is h greater than or equal to -1/2?
True
Let f = 28 - 20. Suppose 0 = 2*q - 0*q - f. Is 1 equal to q?
False
Let j = -18 - -252. Let x = j - 2108/9. Which is smaller: x or 1/8?
x
Suppose -2*i - 3 + 23 = 0. Let q = -7 + i. Suppose -4*y - 3*f = 4, 3*f + 17 = y + q. Is 3 less than y?
False
Let x = -102.2 - -91. Let i = x + 11. Which is greater: -3 or i?
i
Let h be (-26)/5 - 240/(-24). Let f = -15 + 21. Which is smaller: f or h?
h
Suppose m - 3 = -2*m. Let f be (m - (-1)/(-3))*6. Let s be f*(3 + (-6)/3). Which is bigger: 5 or s?
5
Let k be ((-2)/(-12))/(4/(-3)). Let i be (-27)/(0 - 1) + -3. Let y(c) = c**3 - 25*c**2 + 25*c - 23. Let b be y(i). Which is bigger: b or k?
b
Let x = 24996 + -25016.033. Let t = x - -0.033. Let b = t + 21. Is b >= -16?
True
Let w = 15 - 28. Let s = 12.9 + w. Which is bigger: s or 1/7?
1/7
Suppose r - 303 = -3*r + k, 4*k = 3*r - 237. Let o be r/10*(-2)/(-3). Which is greater: o or 7?
7
Let p = 13 + -20. Let k = 1.05 + -0.02. Let i = k - 1.03. Are p and i equal?
False
Suppose -13 - 11 = 4*n. Let o be (15/n + 2)*(-20)/(-25). Which is smaller: o or -6?
-6
Let q = -354 + 338.7. Let r = 25.6 + q. Is r less than or equal to 0?
False
Let r(d) = -d**3 - 6*d**2 + 5*d - 14. Let p be r(-7). Suppose -3*j - 5*a - 23 = -p*j, 4*a = -3*j - 19. Is -1/23 at least as big as j?
True
Let w(u) = -2 + 2*u + u**2 + 3 + 1. Let i be w(0). Is i greater than or equal to 4?
False
Let l = -302 + 254. Which is smaller: -51 or l?
-51
Suppose -3*f + 4*n = 0, -3*f + 2*n + 3*n - 3 = 0. Suppose -23 = -f*z + 29. Which is greater: 12 or z?
z
Let l = 44 + -45. Let i = -15 - -13. Is i smaller than l?
True
Suppose -5*n = -3*n + 2. Let o be n*-4*(3 - 2). Let x(h) = -h**2 + 5*h - 5. Let t be x(o). Which is smaller: 2 or t?
t
Let b(x) = -x**2 - x + 1. Let m(q) = -q**3 - 4*q**2 + 10*q + 4. Let g(l) = -2*b(l) - m(l). Let s be g(-7). Is s not equal to 0?
True
Let l = 141 + -116. Is l less than 0.06?
False
Let r(y) = y**3 + 22*y**2 + 52*y - 23. Let x be r(-19). Is x not equal to 66?
True
Let g = -28.3 + 20.3. Is -6 greater than or equal to g?
True
Let u = -60 + 38. Which is bigger: -19 or u?
-19
Let u = 76.6 - -135.4. Is u bigger than 0.1?
True
Let y = -0.12 - 0.03. Let r = -1.25 + y. Let s = 1.4 + r. Is -3 < s?
True
Let l = 89/3 - 181/6. Is l greater than 125?
False
Let i = 14 - 28. Let v = i - -12. Let m = 0.23 + 1.77. Which is bigger: m or v?
m
Let b = -912.69 + 932. Let i = b + -1.11. Let a = -17 + i. Is a greater than or equal to 0?
True
Suppose 3*o = -0*o - 3. Let d(x) = 2*x - 2. Let r be d(o). Which is smaller: 0.02 or r?
r
Let l = -661986 + 15222115/23. Let s = -155 - l. Suppose 0 = -2*h + 5*j + 7, -4*h + 2*h + 5 = -3*j. Is s less than h?
True
Let k = -114/11 - 230/33. Which is greater: k or -0.1?
-0.1
Suppose m + 0 = -3*c - 2, -c + 3*m = 4. Let h = 619 + -61279/9