m = m + s. Is i greater than or equal to u?
True
Let p = 104 + -103. Let i be (p - 144)/(85 - 84). Which is bigger: i or -142?
-142
Let b be (-5)/(90/51) + 2/(-12) - 148. Is b at most 13?
True
Let j(v) = 5*v**3 - 22*v**2 + 25*v - 45. Let k(f) = 12*f**3 - 43*f**2 + 50*f - 90. Let w(b) = 5*j(b) - 2*k(b). Let r be w(23). Which is bigger: 2/17 or r?
r
Let j = 1 - -5. Let r be (-6 + j)*(15/(-9) + 2). Which is greater: r or 37?
37
Let u = -546 + 550. Suppose -5*n - 4 = u*g - 4*n, -4*g - 12 = -n. Which is smaller: g or -143?
-143
Suppose 56*s = 1669 - 661. Is -67 at most as big as s?
True
Let z(b) = -b**3 + 10*b**2 - 6*b - 25. Let a be z(9). Suppose 10*l = a*l + 32. Suppose l*g - 56 = -4*d, -5*d - 5*g + 70 = -3*g. Is 25/2 smaller than d?
True
Suppose 0 = -t - 6*t. Let z = 2262679/313 - 7229. Is t greater than z?
False
Suppose 0 = 3*c - 4*v - 17 - 12, 0 = -4*c + 2*v + 42. Let y = -850 + 1069. Let p = y - 208. Are c and p non-equal?
False
Let n = 10386 - 10068. Which is bigger: -6/17 or n?
n
Let c(a) = -a**3 + 3*a**2 - 56*a + 168. Let b be c(3). Is 1/5130 less than b?
False
Let g(o) = -o - 25. Let a be g(-25). Suppose -b - 5*u = -4*b + 27, -2*b + 2*u + 14 = a. Let y be b*6/4 - 3 - -9. Are y and 13 equal?
False
Let x(z) = 8*z**3 - 19*z**2 - 12*z - 7*z**3 + 13*z - 15. Let u be x(19). Suppose -p = -5*c - 0*p - 154, 0 = -4*c + u*p - 136. Which is greater: -29 or c?
-29
Let u = -92 + 33. Let f = -64.2 - u. Let a = -2.8 + f. Are a and -2/9 unequal?
True
Suppose -3*p - 1564 = -2*o, -4*o + 3096 = -10*p + 8*p. Which is bigger: o or 1/2?
o
Let r(m) = m**3 + 35*m**2 + 45*m + 79. Let d be r(-34). Let i = d - 321. Is i <= -617?
False
Let q be ((-2)/(-6))/(((-11)/(-22))/(207/6)). Is -10 >= q?
False
Let t = -0.04 + -0.46. Let x = 170.2 - 168.2. Is t greater than x?
False
Let x(u) = -u**2 + 11*u + 1607. Let i be x(46). Let k = 2 - 1. Suppose 4*y = -k - 19, -y - 3 = -s. Which is smaller: i or s?
i
Let m = 0 + -3. Let y = -255755/18 - -14205. Are m and y non-equal?
True
Suppose -3*i = -i - 28. Let h = -29 + i. Let n(f) = f**3 - 3*f**2 - 2*f. Let b be n(-2). Are h and b unequal?
True
Let y = 17 + 847. Which is smaller: y or 862?
862
Let f = 113077/330 - 6587/30. Is 122 at most as big as f?
True
Suppose 27 = 3*a + 4*x, -3*x = a - 9 - 5. Suppose -12 = a*c + 4*l, l = 3*l + 6. Let g = 249 + -2487/10. Is g <= c?
False
Suppose 19*n + 28 = 24*n - 4*b, 30 = 5*n - 5*b. Suppose n*g + 8*g + 756 = 0. Let t = 0.1 + -0.2. Is t greater than g?
True
Suppose -2*s + s + 22 = 3*o, -2*s + 26 = 3*o. Let q = 34 + o. Let j be q/385 + (-8)/(-44). Does 0.24 = j?
False
Let o = -8751 - -8752. Which is smaller: 6/1613 or o?
6/1613
Let x be (-1533)/1002 + ((-135)/(-18))/5. Let q = x - -5187/334. Which is smaller: 17 or q?
q
Let u(m) = 203*m**3 + m**2 - 61*m - 60. Let c be u(-1). Let k = -1.8 + 2. Do c and k have different values?
True
Let z = -103843 - -4673222/45. Let k be 6/18 + (-54)/(-15). Let p = k - z. Which is bigger: -2 or p?
-2
Suppose -3*f + 4*t = -62, 0 = 5*f - 0*t + 2*t - 60. Let i be (-6)/(21/f + (-1)/2). Which is smaller: -21 or i?
-21
Let p = -1.1 + 0.1. Let n = 117.97 - 2.97. Let o = n + -115.9. Which is greater: o or p?
o
Let p(t) = 9*t**2 - 112*t + 71. Let x be p(-7). Which is smaller: 1295 or x?
1295
Suppose -5*a = 3*r - 295 - 6, r = 4*a + 72. Is r less than 21?
False
Suppose -6*o = w - o, w - o = 0. Let i be (21/(-6) + w)/(96/(-14)). Let q = i + -3/32. Which is smaller: 1 or q?
q
Let p = 625 + -319. Let m = p + -305.78. Is 7 bigger than m?
True
Let z = -30828.98127 + 30829. Is 1 not equal to z?
True
Let u = -0.29 - 0.19. Let w = u - 42.52. Let g = -43.5 - w. Is g greater than 3?
False
Let g be (91/546)/((-22)/4)*1527. Which is smaller: -45 or g?
g
Let n = 2114 - 6343/3. Is 2442 at least as big as n?
True
Let b = -344 - -525. Suppose 4*u = 5*l - 190, l - 12 - 26 = 4*u. Suppose -13*o - l = -b. Which is smaller: o or 10?
10
Let o(k) = 9*k + 79. Let d(l) = -5*l + 74. Let j be d(17). Let v be o(j). Is -21 smaller than v?
True
Let m(f) = f**3 - 8*f**2 + 2. Let q be m(8). Let c be 440/(-432)*1008/(-1120). Is c at most q?
True
Suppose 0 = -2*s + 78649 + 8277. Let b = 218176/5 - s. Let i = b + -173. Which is smaller: 5 or i?
i
Suppose q - 2*d + 14 = 0, -29 = -2*q + 4*q - 3*d. Let p be ((-17)/(-7) - -1)*(-56)/q. Suppose 5*b - 31 = 34. Which is greater: b or p?
b
Suppose 3*y = -2*k - 1, -3*k + 40 - 33 = -4*y. Is 0.1735 smaller than y?
False
Let g(h) = -29*h**3 + 2*h - 3. Let d be g(1). Let t be 26 + 1/(2*5/d). Is t bigger than 117/5?
False
Let p = 48.754 + -49. Let v = 67.746 + p. Let g = v - 68. Which is smaller: 7 or g?
g
Let a = -0.57 - -0.6. Let f = -98.5 + 9.5. Let r = f + 86. Which is smaller: a or r?
r
Suppose 0 = -10*m - 586 + 136. Let k be 60/m + (-15)/9. Is k at most -53/3?
False
Let z = -391.7 - -47.7. Suppose -230*r = 132*r. Is z greater than or equal to r?
False
Let j = 17.0059 - 17. Let n = j - -8.1141. Let l = n + -7.8. Which is smaller: 2/7 or l?
2/7
Let f = 60.98 - 62. Let t = 2.21 + -3.21. Is t >= f?
True
Suppose 0 = i + 4*i - 25. Suppose 7*h - 5 = -5*n, 21*h + 27 = 24*h - 2*n. Is i at least h?
True
Let h = 66 - 112. Let i = h + 42. Let p be -2*(0 + i)/(-20). Which is greater: -2.6 or p?
p
Let m = 189.01 - 134.1. Which is smaller: m or -2/3?
-2/3
Let i be (2 + 1 + (-65)/5)*3. Let y be (-5)/(-3 - i/9). Let m = 77 + y. Are m and -2 nonequal?
True
Let m = -18082 + 18083. Which is bigger: 3/10756 or m?
m
Suppose -4*h = 4*r - 8, -3*h + 4*r = -r - 38. Suppose 0 = -7*g - h - 1. Let p = 36 - 541/15. Do p and g have the same value?
False
Let x = 118 - 117.55. Let o = -0.471 + x. Is o != 0.1?
True
Let j = -1814 - -1815. Which is greater: j or 10/513?
j
Suppose 24 = -2*o + 96. Let p = o - 23. Let b = -54 - -66. Is p smaller than b?
False
Suppose 29*l + 22*l - 14331 = 0. Let f = l - -15. Which is smaller: f or 294?
294
Let l be (1518/(-12) - 2) + (-5)/10 + -3. Is -123 at most as big as l?
False
Let p = -14032.16202 + 14032. Which is smaller: p or 1?
p
Let i be (-11 + 27)/(-1 + -1). Let x be 291/44 + i/32. Which is greater: x or 6?
x
Let z be 1*1/3*(-12 - -15). Which is smaller: -94/221 or z?
-94/221
Suppose 3*d = 3*k + 585, -5*d = 4*k + 273 + 462. Let t = k + -46. Let y = t + 8965/38. Is y > 1?
False
Let o = -12292 - -22826242/1857. Does 0 = o?
False
Let a(z) = -178*z + 1. Let d be a(0). Let b = 0.45 + 37.55. Which is smaller: d or b?
d
Let v(c) = c**3 + 10*c**2 + 13*c - 11. Let f be 1*-6 - (3 + -4 - -2). Let o be v(f). Do o and 46 have the same value?
False
Suppose 870 = 4*c + 2398. Does -4 = c?
False
Let x = 316316 - 316296. Let o = 2 - 1.8. Is o < x?
True
Let i be 1270/12*11475/1500. Which is smaller: 811 or i?
i
Let q be ((-65277)/907)/(-9) - 8. Is q bigger than 1?
False
Let c be ((-66)/(-15) - 4)/((-3)/45). Let s be (1 - (-9)/c) + (-55)/(-10). Suppose 0 = -2*m + 4, -4*v + s*m = -0*m + 42. Which is smaller: v or -12?
-12
Let r = 4570 - 5039. Is -6 greater than r?
True
Suppose -1621 + 2913 = 38*r. Which is bigger: r or 8.8?
r
Suppose 83*m + 1594 = 82*m - w, 3*m - 4*w + 4803 = 0. Which is greater: -1595 or m?
-1595
Let w = -1462 + 1464.2. Which is smaller: -0.006 or w?
-0.006
Let r = -170.354 - 6.646. Which is smaller: r or 50?
r
Let y(c) = -1370*c - 3708. Let j be y(-11). Does j = -2/7?
False
Let a be (-5)/(240/24796)*(-45)/(-6). Let r = a - -3890. Let i = r - 31/2. Is i < 0.01?
False
Suppose -4*p = 3*o - 7, -o - 3*p + 0*p = -4. Let k be 50/(-8) + o - -1. Suppose 2*x + 6 = 4*z, 4*z + 5 = -4*x - 7. Is k greater than or equal to x?
False
Let s(g) = -g**3 + 40*g**2 - 142*g + 60. Let p be s(36). Suppose -p = 77*y - 81*y. Which is smaller: y or 162/5?
162/5
Let y be (10/(-15))/((-6)/(-81)). Let t be (4175/1320)/(-5) - 6/y. Which is smaller: 1 or t?
t
Let a = 15.032 - 15.032. Let v be ((-12)/(-9))/((-2)/(-6)). Let k be 75/27 - v/(-18). Which is smaller: a or k?
a
Let n be 4/(-16) - (-1)/4 - -2. Suppose -7*x = -4*x + n*d - 61, 0 = -x + 4*d + 25. Let o(v) = v**2 + 27*v + 20. Let u be o(-27). Which is smaller: x or u?
u
Let p = 80492/43 + -1872. Let m = -1.5 - -1.5. Which is smaller: m or p?
p
Let n = 7018 - 28005/4. Which is bigger: n or 17?
17
Let p(q) = 351*q**3 + 10 - 3*q**2 - 352*q**3 + 5*q - 3*q**2. Let j be p(-6). Let f = j + 20. Which is greater: f or 3/5?
3/5
Let r be ((-18)/(