alse
Suppose 333 = -3*m + 111. Which is smaller: m or -226/3?
-226/3
Let o(j) = 4*j. Let p be o(0). Suppose -5*d + 4*w + 25 = p, -2*d + 5 = -d - 2*w. Suppose 0*n + 20 = 5*n. Is n greater than or equal to d?
False
Let g be 7/56 + 193/(-8). Let j be 3/(g/(-14))*4. Suppose 4*r - 1 = j. Which is smaller: r or 4?
r
Suppose 7*b - 4*b = 15. Suppose 5*t = b + 10. Let w = 4 - t. Is w less than or equal to 0?
False
Let p(t) = 3*t**2 + 9. Let y(f) = f**2 + 4. Let i(d) = 2*p(d) - 5*y(d). Let u be (-2 + 2)/(-1 + -1). Let o be i(u). Which is smaller: -12/5 or o?
-12/5
Let o = 82 - 81. Let s(x) = 49*x + 3. Let g be s(o). Is g bigger than 51?
True
Let m be 1*(5 - 4 - 1). Is m equal to -2/9?
False
Let a = 1138 + -1132. Let n(l) = 2*l - 5. Let h be n(4). Which is bigger: a or h?
a
Let c = -20 + 19.98. Does -2.1 = c?
False
Suppose 28*c + 280 = -2*d + 24*c, 4*d = -4*c - 564. Is d smaller than -144?
False
Suppose 5*b = -6 + 21. Let l(h) be the second derivative of h**5/20 + 2*h**4/3 + 7*h**3/6 + h**2/2 - h. Let s be l(-7). Which is smaller: s or b?
s
Let k(g) = -g**2 + 6*g + 201. Let o be k(-11). Is 11 bigger than o?
False
Let w = -196247/442 + 444. Which is bigger: 0 or w?
w
Let f = 25/34282 - -1183413615/1405562. Let h be (0 + -1684)*2/4. Let s = h + f. Which is bigger: s or 0?
0
Let l(a) = a + 1. Let h be l(6). Let d be 10/h*245/7. Which is smaller: -1/2 or d?
-1/2
Let m(g) = g**2 - 5*g - 7. Let z be m(5). Let q be (13 + z)*1/2. Is 5 < q?
False
Let d be ((-2)/(-3))/((-2)/(-27)). Let o = -10 + d. Let z be (-2)/6 + (-22)/(-48). Is o > z?
False
Let c = -124 - -117.4. Let m = 7 + c. Which is greater: m or 1/3?
m
Let k(m) = -m - 9. Let j be k(-9). Is 10/63 less than or equal to j?
False
Let j be 2*(2 - 1 - 0). Suppose 5*w + 5*o = 2*w + 18, -7*w + 42 = -o. Is w at most as big as j?
False
Let h = -2 + -9. Let l = -91 - -83. Which is greater: l or h?
l
Let z = -935 + 902. Are -1 and z equal?
False
Let m be (114/95)/(3/(-10)). Which is greater: m or 258?
258
Suppose -i - 3*v + 6 = 0, -i - 4*v + 4 + 4 = 0. Which is smaller: i or -4/113?
-4/113
Let c = -87111/43 + 2026. Is -1 greater than or equal to c?
False
Let o(s) = 72*s**3 + s**2 - 3*s + 2. Let w be o(1). Let u = 934/13 - w. Which is bigger: -4/9 or u?
u
Let r be -2 + (-3)/1 + 9. Suppose -8*t = -r*t. Which is smaller: t or 2/37?
t
Let o be ((-33)/(-132))/((-3)/(-12)). Let t be (-1 - -5)/((-19)/1). Which is bigger: o or t?
o
Suppose -10*c = 2*c + 12. Which is greater: -12/37 or c?
-12/37
Suppose -p + 18 = 17*p. Is 7 < p?
False
Suppose 0 = -5*g - 13 - 2. Let c(v) = -2*v**2 - 6*v + 2. Let t be c(-5). Let k be 2 - t/(-8) - (-183)/(-132). Which is smaller: k or g?
g
Let v = 2.4 - -8.6. Let q = v - 22. Let p = -65 + 66. Is p > q?
True
Let w(k) = -9*k**2 - k + 1. Let q be w(1). Let v = 3 + -3. Suppose -i = -4*i - 2*l - 22, v = -5*l + 5. Which is greater: i or q?
i
Let o be 2/(-6) - 1148/21. Let z = 54 + o. Are z and -4/39 non-equal?
True
Let i(d) = -d - 2. Let r be (-195)/40 + (-4)/32. Let l be i(r). Let q(z) = z**3 - 7*z**2 + 6*z + 1. Let o be q(6). Which is bigger: o or l?
l
Let r = 1.9 + -58.9. Let x = r - -57.4. Is x at most -0.13?
False
Suppose -3*z = -7*z - 156. Let q = z - -22. Are q and -17 non-equal?
False
Let d be 3 - (3/(-3) - -1). Suppose k + 3*r = -4, 5*k = 2*k - 4*r + d. Suppose 3*w = -k*z + 14, 3*z - w = -0*w. Which is smaller: z or -1/9?
-1/9
Let d = 0.6191 - 0.2041. Is d < 3?
True
Let z = 31 - 35. Let j = 8 + z. Is j greater than or equal to -0.3?
True
Let s = 0.7 - 0.4. Let n = 2/45 + -4/15. Which is greater: n or s?
s
Let x = 42 - 41.73. Let q = x + -0.08. Let o = q - 0.19. Which is greater: o or 0.01?
0.01
Let m = -0.6 + 10.6. Let s = m - 22. Let o = s - -11.4. Is -2 smaller than o?
True
Let f be 9/18 + 21/2. Let t(p) = -p - 9. Let i be t(-12). Suppose -i*r - 13 = -4*r. Is f greater than r?
False
Let x be 141/(-45) - 1/(-3). Let f = -110 + 106. Which is smaller: x or f?
f
Suppose 4*n + 337 = 345. Is n > 2/3?
True
Let l(p) = 9*p - 3. Let h be l(-3). Let s = 21 + h. Let d be (s/18)/((-1)/9). Which is greater: d or 6?
6
Let d be (-1)/(-20) - 39/130. Is 139/5 <= d?
False
Suppose -5*b + 115 = -3*j, -2*j + 4*b - 77 = b. Let f = j - -39. Let t = 129/2135 - 1/305. Which is greater: f or t?
t
Suppose -2*a + a + 40 = 0. Suppose -a = 6*l - l. Let n = -9 - l. Do -3 and n have the same value?
False
Suppose 2*x - 11 = -3*j + x, 36 = 4*j - 4*x. Suppose m - 7 = j*r + 3*m, -4*m + 1 = -5*r. Let i = 0 + 1/3. Is i at least as big as r?
True
Let x = -769 - -16915/22. Let o(g) = -g**2 + 6*g + 3. Let k be o(7). Let p = -4 - k. Is p less than x?
False
Let w(r) = -2*r - 2. Let y = 7 - 11. Let v be w(y). Let n be (-4)/v*81/(-36). Do n and 3 have the same value?
False
Suppose 0 = 5*s + 4*g - 3*g + 52, 4*g + 21 = -3*s. Let t = -9 - s. Which is smaller: t or 14/13?
14/13
Suppose 0 = 2*v + 178 - 52. Let f be (-27)/v + (-128)/315. Is 0 != f?
True
Let w be (-11)/(-12) + 12/8 + 0. Let f = w - 13/6. Suppose -23 = -3*y - 8. Is f equal to y?
False
Let s be 92*(-44)/451 - -9. Which is smaller: 0.3 or s?
s
Let z(q) = 4*q - 3. Let v be z(3). Let j be (-6)/v*(-54)/(-4). Let w = -13 + 4. Is w <= j?
True
Let u(c) = -5*c + 2. Suppose -4*s + 2*z = -10, 0 = 4*s + z - 19 + 6. Let f be u(s). Let p be (-6*3/6)/f. Is 0 less than p?
True
Let l = 254579/1467 + -1562/9. Which is greater: l or -0.1?
l
Let a(v) = v**2 + 1. Let r(f) = 5*f**2 - 8*f + 1. Let q(n) = -6*a(n) + r(n). Let l be q(-7). Let t = -2/11 + 61/33. Which is smaller: l or t?
t
Suppose -3*s - 31 = -7*d + 3*d, 2*d = 3*s + 17. Is d at most as big as 8?
True
Let z = 0.83 - -3.47. Let g = 7.5 + -5.2. Let b = z - g. Are b and -3 nonequal?
True
Let l be (6/(-4))/((-1)/(-4)). Let a be 2/l - (-8)/(-30). Suppose -8*w - 9*w = 17. Which is smaller: a or w?
w
Let d = 2/2261 - 2267/6783. Which is smaller: d or -132?
-132
Let m be 174/9 - (-2)/3. Let d be (m/(-16))/(2937/(-348)). Let q = 3/89 + d. Are q and -1/7 equal?
False
Let s(u) = -7*u**2 - 15*u + 8. Let g(a) = 13*a**2 + 29*a - 15. Let i(d) = -6*g(d) - 11*s(d). Let o be i(-9). Let w be 2/6 + o/(-6). Which is bigger: -2/3 or w?
w
Let q = -2422 + 206. Is q > -2215?
False
Suppose 0 = 5*f + 61 - 16. Let m be (-4 - ((3 - 2) + 3)) + -4. Are m and f unequal?
True
Let p = -2/251 - -1761/502. Is p at least as big as 5?
False
Let o be (-4 + 996/(-8))/(2/4). Which is smaller: o or -1?
o
Let s = -1422 - -9952/7. Suppose 5*u + 7 = -23. Which is greater: s or u?
s
Let t be (29/(1624/(-21)))/(2/8). Which is bigger: 244 or t?
244
Let g(h) = -3 - 4 + 5 - 3*h + 2*h. Let p be g(-4). Is 3/5 bigger than p?
False
Suppose 5*g + 5*y + 135 = 0, -2*g + y = -0*g + 51. Are g and -29 unequal?
True
Let k(i) = i**3 + 9*i**2 + 14*i. Let s be k(-7). Suppose 4*v = -u - 8, s - 4 = -u. Suppose 4*d - 5*o = 5*d + 23, d - o = 1. Is v > d?
False
Let f(q) = -3*q**3 - 26*q**2 - 15*q + 8. Let m be f(-8). Is -688 at most m?
True
Suppose -4*x + 19 = -3*d, -x - 21 = 3*x + 5*d. Which is smaller: -3/211 or x?
-3/211
Suppose -h - 2*h + p = 174, 0 = -4*h + 5*p - 221. Which is smaller: -62 or h?
-62
Let t = -22 + 21.83. Let f = -0.47 - t. Let l = 0.2 + f. Which is smaller: l or 1/9?
l
Let m be 7*(-28)/294*3/2. Let a = -431 + 673. Let x = a + -1697/7. Is x != m?
True
Let z = 0 + 1. Suppose 3*o = 28 + 17. Suppose z + o = j. Which is smaller: 14 or j?
14
Suppose -27 = -62*g + 59*g. Suppose 0 = -g*h + 7*h. Which is bigger: h or -4?
h
Let o = 1 + -1. Let c(k) = -4*k**2 + 3*k + 12. Let l be c(-6). Let z be 6*(448/l - -3). Which is bigger: z or o?
z
Let g = 13 - -55. Suppose 0 = -0*w - 4*w + t - g, 0 = 3*t. Is -17 equal to w?
True
Let r = 27/14 + -2. Let x = -1053929/126 + 8364. Let w = r - x. Is -1 less than or equal to w?
True
Let o = -1328 - -1835. Is o not equal to 505?
True
Suppose 3*d - 3*q - 409 = d, -5*d - 3*q + 1075 = 0. Is d bigger than 210?
True
Let d = -146 + 146. Is -9/31 at least d?
False
Let f = -154 + 154. Which is smaller: f or -2/121?
-2/121
Let j(l) = -l**2 + 11*l - 8. Let m be -2 - (2 + -2) - -12. Let z be j(m). Is 1 at most as big as z?
True
Suppose -y = -3*x - 96, 0*y + 5*y = x + 466. Is y != 0.1?
True
Let h be (-2107)/387 - 8/(-18). Which is bigger: h or 26?
26
Suppose 4*u - 129 = -h, 5*u - 100 = 5*h + 30. Suppose -5*d - 5*n - 40 = 0, u = -4*d - 3*n - 0*n. Which is smaller: d or 