= -22 - -43. Let w be (-2)/7 + (-57)/t. Let g be 0/(37 - (19 + 3)). Which is bigger: g or w?
g
Let q = -123/8 - -3063/200. Which is greater: 39/4 or q?
39/4
Let b = 3 - 4. Let s be (-1)/((2 + -618 - 1) + 4). Which is bigger: s or b?
s
Let v be 45/5 + -12 - 1*3. Let s be ((-1386)/(-49))/(v/28). Which is bigger: s or -134?
s
Let l = -2691 + 86105/32. Let w = l - -323/160. Is 1/30 at most as big as w?
True
Let k = 1327 - 22605/17. Is -3 < k?
True
Suppose -5*b + 0*b + 20 = 0. Let k be (-5)/b*(-516)/(-90). Which is smaller: k or -8?
-8
Suppose 5*x + 22 = -3*q, -5*x = -5*q + 2 - 12. Let v be (5/(-4) + q)*-4. Let c be (-2105)/(-350) - 3 - (-6)/v. Is 3 >= c?
False
Let q = 287 - 236. Suppose 3*j = -5*c - q - 81, -j - 44 = 4*c. Which is bigger: 0.1 or j?
0.1
Let o(b) = 529*b + 3371. Let k be o(-4). Is k < 1251?
False
Let t = -54 - -61. Suppose 8*c - t*c = -64. Let g = c + 71. Which is greater: 9 or g?
9
Let p be -3 + 12 + -5 + (-66)/18. Is 2222 at most p?
False
Let s be 1028/20 - (-9)/15. Suppose z - h + 47 = -z, -2*h + s = -2*z. Let o be z*1*(12/(-4))/(-9). Is -7 greater than or equal to o?
True
Suppose c - 885 = -3*n, -4*n + 5*c - 309 = -5*n. Suppose n = -4*k - w, -10 = -5*w - 0*w. Let x = k + 65. Which is greater: -0.3 or x?
-0.3
Let l(v) = v + 21. Let k be l(-11). Suppose 0*m - 2*m = -5*r + k, 2*m = -4*r - 10. Suppose r = -6*b - 0*b - 12. Is b != -2?
False
Let y be (-1)/(-2)*(25402/793 - 32). Let s = 4 - 3. Does s = y?
False
Let j(k) = -24*k - 2. Let f be j(2). Suppose -42 - 4 = m + 2*z, -3*z = -3. Are f and m nonequal?
True
Suppose 120 = -4*b - 0*b. Let n = -25 - b. Is -12 at least as big as n?
False
Let q = -54 - -53.77. Suppose -3*i = -2*m - i + 86, 2*i = -4*m + 202. Let o be 18/m*2/3. Is o bigger than q?
True
Let k = 49 - 25. Suppose -4*u = -4*h + k - 4, h + 13 = -5*u. Suppose i + 3*f - 21 = 0, i - 1 = f + f. Which is smaller: u or i?
u
Let n(b) = 2*b - 107. Let u be n(0). Let q = -69 - u. Let c(x) = 38*x**3 + 3*x - 2. Let s be c(1). Which is greater: s or q?
s
Let x be ((-13)/(-5) + -1)*45/6. Suppose 4*w = -x, -2*f - 3*w - 19 = -7*f. Let g be (-3)/(-4) + (2 - (f + 0)). Is -0.07 greater than g?
False
Suppose 4*g = -g - 4*y - 28, g = 3*y + 2. Let b be g/(-152)*(-2 - -5). Let z = b + 1891/114. Is z < 16?
False
Suppose -382*w - 8752 + 322397 = -654343. Is 2533 greater than w?
False
Let r = 55.918 + 3.082. Is r greater than or equal to 1.9?
True
Suppose -7*h - 6*h = 0. Let s = -138 - -2339/17. Which is bigger: s or h?
h
Let g be 6/4*(1640/(-90) + 18). Does 732 = g?
False
Let t be (-1)/(-8) - 1/8. Suppose u - 2*u - 2*s + 13 = t, -2*u = s - 11. Suppose -45 = -4*f - u*c, c = 2*f + 3*f - 61. Is 11 < f?
True
Let p = -672 + 321. Is p less than -1/5?
True
Let s = -1019 - -1028.4. Let g(m) = -m**3 - 20*m**2 - 50*m + 16. Let y be g(-17). Which is smaller: s or y?
y
Let p be (12/(-10))/((-99)/27060). Let z = 327 - p. Is -1/43 less than z?
False
Let x be ((-4)/(-8))/((-111)/36 - -3). Let v be x/(-8)*-4 + 3. Which is greater: 6/49 or v?
6/49
Let p = 16.239 - 16.089. Let o = -0.05 - -0.1. Let c = p - o. Is c greater than -0.011?
True
Suppose 0 = 4*p - 0*p. Let g be ((-8)/(-56))/((-108)/24). Is g greater than p?
False
Let p be -3*(75/(-18))/5 + (-129)/258. Let z = 79/2 - 42. Which is smaller: z or p?
z
Let r = -881.82 - -865. Let a = 1.82 + r. Is a not equal to 9?
True
Let t = -653 + 652. Let j be (-1)/((-1)/(0 + t)). Which is bigger: j or 0.143?
0.143
Suppose 0 = 4*i - 5*v - 20, -8 = -0*i - 4*i + 2*v. Suppose 0 = -z + 1, h - 2*z = -i*h - 17. Let k be 1 + 1*-1 + -15. Do k and h have different values?
False
Suppose -20*w - 3320 - 3760 = 0. Let b = -707/2 - w. Is b <= 0.257?
False
Let s(w) = -5*w + 77. Let h(o) = -16*o + 232. Let b(p) = -3*h(p) + 8*s(p). Let t be b(11). Is t <= 8?
True
Let v = 0.047 - -2.173. Let s = 40.9 - 41.12. Let a = v + s. Which is smaller: a or -11?
-11
Suppose -41 = -5*q + 3729. Suppose 0 = -8*w - q - 1206. Let m = w - -15433/63. Which is smaller: m or 0?
m
Suppose -4*t - 22 = -2*p - 3*t, 4*t = -5*p + 55. Let w be (p*-5)/((2/4)/1). Let f = w - -879/8. Is 1 at least f?
True
Let i = 492/85 - 71139/12070. Is i equal to 1?
False
Let z be 2/215*85/(-34). Suppose 5*h + 11 - 31 = 0, -2*h = 2*p - 52. Suppose n - 2 = 2*y, -n - 4*n + p = 2*y. Which is smaller: z or y?
z
Let v(g) be the first derivative of 21*g**2/2 - 15*g + 30. Let z be v(4). Which is greater: 68 or z?
z
Let y(p) = -p**3 - 7*p**2 + 14*p + 18. Let v be y(-11). Suppose -5*f + 344 = r, 5*f - 16*r - v = -13*r. Is 69 <= f?
True
Let u = 8779724505/2119 + -4143334. Let q = 8667337/508560 + u. Let o = q - 35/48. Which is smaller: o or 16?
16
Let y be (-4)/14 + 832/(-28). Let m = y + 32. Let t be 14/4 + (-8)/m. Which is bigger: -2 or t?
t
Let u = -318 + 669. Let j = u - 347. Is -4 at most j?
True
Let d = 6.055 - 0.055. Let f = -6.19 + -0.01. Let v = d + f. Which is smaller: -0.3 or v?
-0.3
Let r = -2484 - -5964. Let z = r - 20819/6. Which is bigger: 9 or z?
z
Let m be (-6)/15 + (-570)/(-50). Suppose 12*t - m*t = 5*a - 129, -133 = -5*a - 3*t. Which is smaller: 24 or a?
24
Let d(m) = 16*m**3 + 77*m**2 - 83*m - 249. Let o(g) = 7*g**3 + 38*g**2 - 41*g - 124. Let b(z) = 3*d(z) - 7*o(z). Let v be b(-36). Is 146/3 less than v?
True
Let v = 483 - 484. Let i(r) = 5*r**2 + 2*r + 3. Let m be i(v). Is m at least as big as -3?
True
Let y = 0.189 + -157.189. Let c = y + 165. Which is smaller: -4 or c?
-4
Suppose 3*h - 5*o - 23 = 24, 5*o = -2*h - 2. Let b be (-272)/(-20)*((-90)/21)/(-6). Which is smaller: b or h?
h
Let r be 8/384*10*(-18)/(-1060). Is -1/2 greater than r?
False
Let d = -1474.844 - -1475. Which is smaller: d or 15?
d
Let f = -40999 + 41008. Let n = 0.3 - 0. Is n < f?
True
Suppose 10*s + 42*s = -35*s + 11*s. Which is smaller: -26/131 or s?
-26/131
Suppose 4682 + 1149 = 173*v - 15102. Which is greater: v or 105?
v
Let u = 14.634 + -3.394. Is u > -1?
True
Let h(i) = -9*i - 6. Let q be h(-5). Suppose 29*k = 4859 - 3728. Does k = q?
True
Let k = -49 + 68. Suppose -z - 4*v = 15, -2*v - 76 = 3*z + k. Let u be 5/(100/8) - 16/z. Which is bigger: -0.1 or u?
u
Let v = 129 + -174. Let t = -45 - -86. Suppose -2*j + t = 131. Does j = v?
True
Let y be 268/(-6)*((-187)/22 + 10). Which is greater: -31 or y?
-31
Suppose 55*s - 116 = -1106. Is s at most -18?
True
Suppose -127*u + 92*u + 3360 = 0. Is u greater than or equal to 95?
True
Let c = -4763 + 4762.5. Is c at most -5/7?
False
Let f = -57/77 + 44628/60599. Is f greater than or equal to 0?
False
Let f be 1 + 3 - (148/259 - 17/(-7)). Which is greater: f or 4/6347?
f
Let l be ((-5162)/190 - -13) + 13. Is l smaller than -1?
True
Suppose -3*o + 8*o = 10. Suppose -4*i - y + o*y - 20 = 0, -i - 2*y - 5 = 0. Let j = i - 12. Is -17 not equal to j?
False
Let f be 1 + -7 + (9 - (-8)/(-1))*6677. Is 6671 at most f?
True
Let x = 176564/183 - 2894/3. Which is smaller: 1 or x?
x
Let f be ((34/(-51))/1)/(-1 - 2/6). Which is smaller: f or -0.01?
-0.01
Let d = -51 + 203/4. Let h = -16.6 + 56.6. Let i = h - 45. Which is greater: i or d?
d
Let k be (-12 - 48)/(-30) - 79/(-40)*-1. Let z = 25 - 36. Let h = -10 - z. Which is smaller: h or k?
k
Let s = 4685 + -4960. Which is smaller: s or -268?
s
Let i be -6 - -2 - 73*4. Let t be (72 - 77)/(2/118). Which is smaller: t or i?
i
Suppose -13*i + 34*i - 588 = 0. Let o be (-4)/7 - (-44)/i. Is 7 greater than o?
True
Let r be -6*((-2656)/12)/(-4) - -3. Suppose -5*x + 2*z = 1634, 0*x + x - 4*z = -316. Which is bigger: r or x?
x
Suppose -5*u = -j - 0*u - 40, -4*u - 25 = 3*j. Let l be (-10)/(-4)*24/j. Let p = 49111/11 - 4469. Is l equal to p?
False
Let w = 59 - 59. Which is greater: 7/225 or w?
7/225
Let k(z) = -z**2 - 7*z - 934. Let s be k(0). Let m be ((-75)/(-27) - 3) + s/9. Which is bigger: -0.1 or m?
-0.1
Let a = -11/364 - -3/28. Let v(r) = r**2 + 7*r - 10. Let w be v(-10). Suppose 0 = -w*t + 22*t. Is t smaller than a?
True
Let u(k) = -5*k - 39. Let q be u(-8). Is 76/59 at least as big as q?
True
Let r = 2059/62816 - 3/1963. Is -0.19 at most r?
True
Let x = -1710 - -1709.9. Which is bigger: 610 or x?
610
Suppose -10*u + 1213 = 1463. Which is bigger: -16 or u?
-16
Let q = 65 - 3. Let t(u) = -7*u + 28. Suppose 13*s + 75 = -2*s. Let g be t(s). Which is bigger: g or q?
g
Suppose -12*b + 7*b = -n + 4234, -4*b + 5*n = 3404. Let p = b - -