. Which is smaller: w or -26?
w
Let g = 1.9 + -3.9. Which is bigger: 0.5 or g?
0.5
Let j(d) = -d**2 + 6*d. Let c be j(6). Suppose 2 = -2*p + p. Let a = 8/5 + p. Which is bigger: c or a?
c
Let o be (-11)/(-2)*(-6)/(-24). Which is bigger: o or 2?
2
Suppose 0*n = -3*f - 2*n - 10, -5*n = 5*f + 25. Let g be 8/(-2 - f) + 2. Is g > -3?
True
Let a = 11.91 - -0.09. Let g = a - 13. Is -1 greater than or equal to g?
True
Let o(u) = u**3 - 15*u**2 - u - 22. Let f be o(15). Which is smaller: -38 or f?
-38
Let l = 0.25 + -0.05. Let d = -1.6 + 1.67. Which is smaller: l or d?
d
Let n be (-2)/9 + 0 + (-100)/36. Which is greater: n or -1?
-1
Let l be ((-12)/(-15))/(5/((-50)/(-12))). Which is bigger: l or 15?
15
Let q(s) = -s**2 + s + 1. Let m be 1/2 - (-6)/(-4). Let g be q(m). Let b be 6/4*2/(-3). Do g and b have the same value?
True
Let g = 85 - 511/6. Let b(q) = q**3 - 7*q**2 - 7*q - 9. Let y be b(8). Is g less than y?
False
Let i = -97 + 96.3. Do -3 and i have the same value?
False
Let z be (-3)/(3/(-2)) - -3. Suppose -2*w = -4*w + z*v - 7, 3*v = -5*w - 2. Let d be (-76)/(-168) + 4/(-14). Do w and d have the same value?
False
Let g = 139/5 + -142/5. Let r be (-1)/4 + (-48)/64. Is g <= r?
False
Let r(d) = -d**2 - 10*d - 9. Let m be r(-9). Which is smaller: 1/15 or m?
m
Let n(y) = -y**2 + 1. Let q be n(2). Let u be ((-3)/2)/(1/(-2)). Let b = q + u. Do 1/3 and b have the same value?
False
Let r = 0 + 0. Suppose -2*o + 0 - 2 = r. Let x be -15 + 36/12 - -13. Which is bigger: x or o?
x
Let o = -4462/189 + 165/7. Let n = -67/351 - o. Which is smaller: 1 or n?
n
Let w = 3 + 0. Suppose -5*i + 4*l - 13 = 0, 2*i = -2*i + 4*l - 12. Let r be (1 - 0)/(i/(-2)). Is r less than w?
True
Let x = 18 - 23. Is -2 != x?
True
Let z(l) = -10*l + 13. Let k(u) = 7*u - 9. Let w(c) = -7*k(c) - 5*z(c). Let f be w(6). Suppose -y + 3*y + g = 8, -y + f = g. Which is smaller: 3 or y?
3
Let g(r) = -r**3 - 8*r**2 - 5*r - 4. Let t be g(-7). Let s be (-1)/(-3) + (-3)/t. Let q be 2 + 26/(-6) + 2. Is q > s?
False
Let k(r) = r**3 - 6*r**2 + 6*r + 5. Let a(m) = 4*m - 3. Let g be a(2). Let t be k(g). Let u(s) = -s**2 + 10*s + 5. Let i be u(t). Which is smaller: 3 or i?
3
Suppose 0 = i - 0*i - r + 2, -2*i + r = 4. Let q = 2 + i. Let x = 112.2 - 112. Is q != x?
True
Let m = 0.01 + 0.12. Let c = 7.13 - m. Let p = c + -10. Which is smaller: 1/4 or p?
p
Let t(g) = -g - 3. Let z be t(-6). Let s(q) = -q + 5. Let p be s(z). Suppose p = 2*v - v. Is 2 bigger than v?
False
Let d be (13 + -15)*(-12)/(-3 + 5). Let o be ((-18)/15)/(1/(-10)). Is d at most o?
True
Let g be (-3)/4*(-140)/(-30). Which is smaller: -4 or g?
-4
Let x = -56 - -57. Which is smaller: 10/11 or x?
10/11
Let v = -0.21 - -0.2. Let a = -0.61 - v. Let q = -0.8 - a. Do 1 and q have the same value?
False
Suppose 5*i - 6 = 34. Let n = -6 + i. Let z be (1/2)/(3/6). Which is smaller: n or z?
z
Suppose -5*i + i = 0. Suppose i*x = x + 1. Is x smaller than 1/9?
True
Let l = -0.28 - 0.02. Let v = l + -0.7. Which is greater: v or 0.6?
0.6
Let a = -91 + 75.9. Let s = 15 + a. Are s and 1/12 non-equal?
True
Suppose 3*o - 17 = i, -4*o = -0 + 4. Is -5 bigger than i?
True
Let q = 54 + -117. Let c = 129/2 + q. Is c at least 2?
False
Let g be 2/11 - 40/(-22). Suppose h = -5*k + 8, h - 5*k = -0*h - 12. Let t be (-1)/2 - 2/h. Is t less than or equal to g?
True
Let t = 15 + -11. Let q(b) = b**2 + 2*b**2 - t*b**2 - 3 - 4*b. Let w be q(-2). Is w < 2/9?
False
Suppose -5*m + 5*z = -20, -4*m + 3*z = -0*m - 13. Let q = 6 - 1. Suppose -q*c + 3*n - 9 = 0, -15 = -2*c + 7*c - 5*n. Is m at least c?
True
Let g(x) = x - 1. Let r be g(3). Suppose -5*w = -13 - r. Are w and 3 nonequal?
False
Let y = -81/4 + 571/28. Let n be (8/(-4))/(2/(-5)). Suppose 2*f + f = 5*z - 4, n*f + 20 = -5*z. Which is bigger: y or z?
y
Let c be ((0 - 1) + 0)/1. Let q = 20 + -79/4. Which is smaller: q or c?
c
Let o = 19 + -18. Is o greater than -10?
True
Suppose 0*b + 1 = -b. Suppose 6*l + 5 = l. Is b equal to l?
True
Suppose -2 = u, -16 = 5*w + 2*u + 18. Let m = w - -3. Let f be (-3*1)/(15/10). Which is bigger: f or m?
f
Let r = 7 - 13. Does r = -7?
False
Suppose t - 4 = -1. Suppose t*w - 48 = -w. Is 12 at least w?
True
Suppose -3*t - 10 = -2*k + 4*k, -4*k - 2*t - 4 = 0. Let o = -121/45 - -26/9. Which is smaller: o or k?
o
Let w(n) = -n**3 + 11*n**2 - 8*n - 25. Let x be w(10). Which is bigger: -4 or x?
-4
Suppose -5*t + 8 = -7. Suppose 4*x = -2*y - 26, 4*y + t*x + 14 + 13 = 0. Is y <= -4?
False
Let a be 34/(-138) - 5/(-15). Suppose -6*t - 5 + 5 = 0. Is t < a?
True
Suppose 3*p = -2*d + 2 + 2, p + 8 = 4*d. Suppose -3*f = -f + 18. Let c be 17/(-45) + f/(-15). Is c greater than or equal to p?
True
Let o be (0 - 2)*30/(-20). Suppose o = 4*l - 1. Is l less than or equal to -4/11?
False
Let k = -5 - -1. Is 2/5 smaller than k?
False
Let m be (-2)/8*17 - -4. Which is bigger: m or 3/16?
3/16
Suppose -2*h - h = -9. Let w be (-38)/(-8) + (-2)/(-8). Let t be (3 + (-13)/w)*10. Which is smaller: h or t?
h
Let t = 18 - 20. Let c be t - (-3 + 6/3). Let u be -1 - -1 - 4/9. Which is bigger: u or c?
u
Let r be 1 + ((-1)/(-1) - 2). Suppose -4*t + 17 = 2*v + 3*v, 0 = 4*v - 4. Let u = t - 37/13. Is u less than r?
False
Let o be ((-91)/(-14))/(1/2). Which is smaller: o or 12?
12
Let r = -0.04 + 0.44. Let z = 0.032 - -0.968. Is r at most as big as z?
True
Suppose 6*s - s - 15 = 0. Suppose 0 = -0*a + s*a - 9. Suppose a = m - 1. Is 2 <= m?
True
Let o = -34.8 + 32. Is 1/4 greater than or equal to o?
True
Let b(o) = -3*o. Let k be b(-3). Suppose -l + 3*f + k = -4*l, -4*f = l + 15. Do l and 6/7 have the same value?
False
Let m be 4/(-10) + 36/(-60). Let a be (m/6)/((-7)/(-28)). Which is greater: -5 or a?
a
Let m = -51/5719 - 5/133. Is m equal to -1?
False
Let g = -0.17 + -5.83. Which is smaller: -0.2 or g?
g
Let d = -238/5 + 48. Let z = d + -7/30. Is -1 >= z?
False
Suppose 0 = 2*a + a - 9. Let w(f) = -f + 1. Let t be w(a). Is t < -3?
False
Let s = 15 + -18. Which is smaller: -4 or s?
-4
Suppose -4*u = -129 + 1. Which is greater: u or 31?
u
Let o = 0.94 - 6.94. Is -1/6 at least as big as o?
True
Let w = -53.1 - -57. Let h = w - 4. Is h < -1?
False
Let r = 13.98 + -14. Which is smaller: -1 or r?
-1
Let f = 3 - 2. Let b(r) = -6*r + 4. Let w be b(-4). Let y be (-21)/14 - (-30)/w. Which is smaller: y or f?
y
Let p = -23.1 + 23. Is p at least as big as -0.1?
True
Suppose 3*g + 2*m - 3*m - 44 = 0, -g - m = -20. Which is smaller: 18 or g?
g
Let n be ((-139)/12)/(582/(-45)). Let w = n - 7/8. Is -1 greater than w?
False
Let c be (65/(-15) - (-2)/(-6))*-1. Is 5 less than c?
False
Let i = -2 - -1.8. Let m = 3 - 4. Let f = m + 0.9. Which is smaller: f or i?
i
Suppose -27 = -4*d - 5*j, -j - 9 = -3*d - d. Suppose -d + 0 = n. Are -2 and n non-equal?
True
Let k be 3/(-9) + 2/(-6). Let q be 0/(1/((-2)/(-4))). Let v(u) = -u - 1. Let c be v(q). Are c and k unequal?
True
Let t = 110 + -75. Do 36 and t have the same value?
False
Let t be ((-1)/(-3))/(11/22). Which is smaller: -99 or t?
-99
Let r = 0 - 0. Let o = 7 + -8. Let v be 64/(-20) + (o - -4). Which is smaller: v or r?
v
Let z = 3966/5 + -796. Which is smaller: -3 or z?
-3
Let y be 5/7*-1*22/55. Suppose r - 4 = 2*i, i = -3*i + r - 6. Let c be i/(-2) - (-2)/(-4). Do c and y have the same value?
False
Suppose -3*p = -p - 8. Let m be (3/p)/(4/(-16)). Let n(w) = -w**2 - 2*w. Let c be n(m). Is -3 at most as big as c?
True
Let w = 5 - -5. Suppose -w = 4*i - 2*a, 7 + 2 = -3*a. Which is bigger: -2 or i?
-2
Let p = 1.7 + 0.3. Suppose 0 = w + 3*w + 4. Let t = 3 + w. Is p equal to t?
True
Let l(i) = -3*i - 5*i**2 + 8 - 6*i + 0 + 6*i**2. Suppose -2*v + 1 = -5*f, 0 = -0*v - 2*v + f + 13. Let o be l(v). Which is smaller: o or -1/5?
-1/5
Let m = 26 - 16. Let q = m + -20. Is -11 less than or equal to q?
True
Let l be 4/(-24)*4*-1. Is l bigger than -6?
True
Let n = 2 + -5.2. Let q = n - -3. Let z = 0.2 + 0.8. Which is smaller: z or q?
q
Suppose 2*p + 2 = 4*p - 4*s, -3*p - 3*s = 6. Let t be (-4)/(-2) + (-2 - p). Which is bigger: 3/17 or t?
t
Let x = -9.2 - -13.2. Is x equal to -6?
False
Let s = 0.56 + 1.44. Let o = -4 + 4.3. Let z = o + -0.1. Are z and s nonequal?
True
Let r = -46 + 137/3. Which is smaller: r or -2/17?
r
Let y(a) = -a**2 + 10*a - 8. Let c be y(10). Let r = c + 9. Which is smaller: 2 or r?
r
Let o(