- -2.8. Let o = 0.17 - 0.2. Let r = -0.07 + o. Which is greater: f or r?
f
Let o = 6 + -4. Let u be 12/126 + 184/273. Which is greater: o or u?
o
Suppose -7*b = -5*d + 3994, 19 = 5*b + 4. Is d <= 803?
True
Suppose -5*i + 2*t + 79 = 0, 3 = 2*t - 3. Suppose 0 = -5*q - 13 - i. Let r be (q/78)/(2 + -1). Is 0 greater than r?
True
Suppose 0 = 4*i - 0 - 4. Let c be (-1 - -18)/(-5*4/(-20)). Suppose -4*k + c = -3*v, 0*v = -k - v - 1. Which is bigger: i or k?
k
Let z = -3.9 + -0.1. Is z greater than -1.9?
False
Suppose 2*w - 3*w + 2*y = 3, -33 = -5*w - 2*y. Suppose -g + w = 3*a - 6, 0 = 3*a - 4*g + 14. Suppose a*p = p + 1. Which is smaller: p or -2/19?
-2/19
Let p be (-2)/(-15)*(-6)/22. Let q be -3 + 48/15 + (-7)/(-110). Let t = p - q. Which is smaller: 0 or t?
t
Let t be 1/2*10*28/4. Let g be 30/(-4)*-4 - (-4 + 1). Are t and g equal?
False
Let f = -7.5 + 7. Let n = 8.5 + f. Are 1/4 and n unequal?
True
Suppose -20 = -38*r - 400. Which is smaller: -4 or r?
r
Let j = 0 - -2. Suppose 0 = -m - 5*h - 12, m - h + 4*h + 6 = 0. Suppose 8*z + 99 = m*z - x, 26 = -j*z + 3*x. Is z < -18?
True
Suppose 144*t + 2496 = 120*t. Is -100 at least t?
True
Let a(u) = 76*u - 697. Let z be a(8). Which is smaller: z or -91?
-91
Let s(c) = -2*c - 51. Let w be s(-24). Let q be 0 + 0 + 0 - -1. Is q equal to w?
False
Let z be 1299/12 - (-2 + 45/20). Let l = z + -107. Which is smaller: -19 or l?
-19
Let t = -13 - -17. Let f(k) = 0*k - 4*k - 10 + t*k - k. Let b be f(-12). Which is greater: 9/5 or b?
b
Suppose -3*d = -7*d + 80. Suppose 0 = 2*h - 3*m + 21, d = -5*h + m. Do h and -12/7 have the same value?
False
Suppose -1 + 9 = 2*k, 8 = l + 2*k. Suppose u - y + 1 = l, 2*y = 3*u - 0*u + 8. Which is smaller: -4 or u?
u
Let a be (-5)/30 + (-2)/(-12). Suppose a = -33*m + 27*m - 6. Which is smaller: m or -2/47?
m
Suppose -i - 200 = -6*i. Suppose -3*x + i + 9 = 4*h, -h = -2*x - 15. Is 15 less than h?
False
Suppose 2*h - b = 4*h - 1355, 5*h = 4*b + 3355. Are 676 and h non-equal?
True
Let k = 2.1 - 14.1. Suppose -2*i + 3*j + 1334 = 1327, -3*j - 11 = 2*i. Which is greater: i or k?
i
Let s(t) = t + 8. Suppose 27 = 3*f - 0. Suppose -f + 0 = x + u, -4*u = 5*x + 43. Let y be s(x). Which is bigger: y or 6?
6
Let n be ((-15)/6 - -5)*38. Let z = 94 - n. Which is bigger: 4/17 or z?
4/17
Let y = 0.123 + -0.023. Let d = 86 + -58. Is d less than or equal to y?
False
Suppose -7*y + 29 = -55. Suppose -4*r = -16*r - y. Does 2/121 = r?
False
Let t be -4*(54/52 - 1). Suppose r - 5 = -3. Suppose 4*m - 4*b - 20 = 0, r*b = 4 - 14. Which is greater: m or t?
m
Let h = 5417/234210 + -9/422. Which is smaller: -1 or h?
-1
Let w = -18.6 - -22. Let c = w - 5.4. Which is greater: -2/3 or c?
-2/3
Let i(r) = 111*r + 1. Let x be i(-1). Suppose 4*o = -5*w - 11, 2*w - w = o - 4. Let p be w + (x/4)/(-5). Which is smaller: p or 3?
p
Let b be 16/(-12)*(3 + -3 + 3). Let w = 64 + -56. Do w and b have the same value?
False
Let c be ((-6)/120)/((-2)/6). Which is bigger: c or -1?
c
Let z(u) = 2*u + 8. Let k be z(7). Let g(t) = 2*t**2 - t + 21. Suppose 3*q - 6 = 4*m + 5*q, 0 = -4*m + 4*q + 12. Let w be g(m). Is k < w?
False
Let n(t) = -t**3 + 5*t**2 - 4*t - 3. Let u be n(3). Let z(a) = a - 1. Let c be z(7). Let f = c - u. Which is bigger: f or 6?
6
Let u = -827/2 - -45491/110. Is u <= -1?
False
Let i = -22 - 22. Let y = i + 22. Is -23 greater than y?
False
Let n = -182 - -1276/7. Suppose 0 = -0*z + 7*z - 7. Which is greater: z or n?
z
Let x be ((-3040)/(-4389))/40*6/4. Suppose 0 = -3*r - 3. Does r = x?
False
Let y = -6 - -7. Let f = 28 + y. Which is bigger: 28 or f?
f
Let a = 0.032 - 23.032. Let d = -22.9 - a. Is 5 > d?
True
Let h be ((-84)/20)/(476/(-680)). Let j(f) = -f + 3. Let m = -1 + -3. Let g be j(m). Is h greater than g?
False
Let g(k) = -k + 1. Let w be g(-2). Let b(u) = u**3 + 9*u**2 - 12*u - 18. Let t = 117 - 127. Let o be b(t). Is o less than or equal to w?
True
Suppose 2*y = 3*p - 0*y - 52, 5*y = -p + 40. Let z = 102 - 107. Let w be -1*(-3)/3 + (-90)/z. Are p and w unequal?
True
Suppose 0*t - 3*q - 15 = -t, 5*q + 57 = 3*t. Suppose -t = -0*a - 3*a. Let r(h) = h**3 - 8*h**2 + 1. Let p be r(a). Does 0 = p?
False
Let r = 300564 + -2113411/7. Let f = r + 1354. Is f < 2?
False
Let k = -12.6 - -11.74. Let m = k - -0.77. Which is greater: m or -3?
m
Suppose 0 = 8*w - 4*w - 16. Let u be (1/w)/(1 - 0). Does -1/3 = u?
False
Let h = -313 - -70111/224. Which is bigger: -1 or h?
h
Let o = -724 - -743. Is o bigger than -1?
True
Let c = 538 - 237. Suppose c = 5*m + 761. Let n be 16/(-88) + m/99. Which is bigger: 0 or n?
0
Let y(x) = -x**3 - 13*x**2 + 13*x - 15. Suppose 0 = -r + i - 0*i, -3*i - 6 = 0. Let q be (-42)/(-3)*(r - -1). Let l be y(q). Is -1 greater than l?
False
Let o be (45/(-2))/5 - (-4 + -1). Is o greater than or equal to 15.3?
False
Let u = -0.3 - 0.2. Let f = -0.9 - u. Let r = -0.89 - 0.11. Does f = r?
False
Let t be (-4 - -2) + -1 + -4. Let a be (8/t)/(24/(-1456)). Let y = a - 70. Is -1/13 at most y?
False
Let c = 375 + -474. Do c and -100 have the same value?
False
Let r(k) = k**3 - k**2 + 11*k + 13. Let o be r(-1). Is o not equal to 19?
True
Let u(d) = 10*d - 2. Let a be u(1). Let k = a + -65/8. Let n = -143/1016 - k. Which is greater: n or 0?
0
Let u(x) = x**3 + 5*x**2 - 7*x - 8. Let h be u(-6). Let p be h + 3 - (-2)/(-3). Let n(r) = -2*r**2 - 17*r + 10. Let j be n(-9). Which is greater: j or p?
j
Suppose 22*o - 15*o - 112 = 0. Suppose 9*l - 4*l - 70 = 0. Which is greater: o or l?
o
Let j(i) = -i - 11. Let h(a) = -a**3 + 5*a**2 - a - 5. Let n be h(5). Let k be j(n). Suppose -5*z + 2*z = 0. Is z bigger than k?
True
Suppose 5*j - 26 = -4*n, 0 = -4*n + 3*j - 0 + 10. Let t(z) = z**3 + 3*z**2 - 2*z + 8. Let k be t(-4). Which is greater: k or n?
n
Suppose 0 = -m - 3*b + 4, 6*m - 4*m = -b + 3. Which is bigger: m or 5/98?
m
Let t = 17 + -11. Suppose 2*m + 44 = t*m. Which is greater: 1/4 or m?
m
Let a(o) = 5*o**2 + 3*o + 2. Let z be a(-1). Suppose z*j = 5*j - 1384. Let x = -73350/53 + j. Which is bigger: 1 or x?
1
Suppose 8*a - 326 = -3*d + 6*a, 218 = 2*d + a. Which is smaller: 0 or d?
0
Let f be 1/8*1411 - (-378)/(-1008). Which is smaller: 179 or f?
f
Suppose -t = 3*t + v + 139, 2*t + 2*v = -68. Let f = t + 61. Let z = f - 26. Which is greater: 1/18 or z?
1/18
Let m be (-114)/10 - (-1 + (-3)/(-5)). Is -3 >= m?
True
Let f = -17 + 28. Suppose -n - 3*n + 5*p - 22 = 0, -3*n + p = f. Is n less than 0?
True
Suppose 0*s - 2*s = 0, 3*i + 5*s = -33. Which is greater: i or -138/13?
-138/13
Suppose 0 = 11*f - 108 - 13. Let z = -24 - -37. Is z >= f?
True
Let b(u) = u**3 - 8*u**2 + 4*u + 9. Let p be b(7). Let o = p + 15. Suppose -o*c = 4 + 2. Which is greater: -9/5 or c?
-9/5
Let k = -5519.714 - -5586.8. Let x = 0.086 - k. Is x < -2/7?
True
Let z be (847/21)/((-5)/3). Let d = -24 - z. Which is smaller: 0 or d?
0
Let m = -2.07 + -0.93. Which is smaller: 46 or m?
m
Let c(u) = -15*u - 3. Let t be c(4). Let z be 6/(-9)*t/6. Suppose 6*p - z*p + 11 = 0. Is p <= 10?
False
Suppose -4*i = -704 + 600. Which is smaller: i or 20?
20
Let s be (-2 + (-340)/7)*(-26)/(-78). Is -18 smaller than s?
True
Let r be 4 + 3/(-3) + -5. Let u = r - -17. Suppose -1 = -8*i + u. Which is smaller: i or 7/11?
7/11
Let d(b) = b**2 + 2*b - 1. Let t be d(3). Let z be 534/2016 + (-4)/t. Which is smaller: 1 or z?
z
Let z = 250.1 - 236.6. Is z greater than or equal to -3?
True
Let s = -7.7 - -8. Let z = -4040 - -4039.9. Which is smaller: z or s?
z
Let y be (-5826)/(-1938) - (5 + 0 + -2). Is 0 >= y?
False
Let d = 4 - 1. Suppose d*c + 3*j + 0*j = 0, 3*c - 4 = j. Let g = 14194/23 - 617. Is c < g?
False
Let x(q) = -29*q**3 + 3*q**2 + q - 1. Let z be x(-1). Let h be (5/z)/((-3)/4812). Let v = 271 + h. Does 4 = v?
False
Let y = -3 - -23/8. Which is bigger: y or 2/13?
2/13
Suppose -3*x - 2*x = -70. Suppose 17 = -z - x. Which is greater: 0.1 or z?
0.1
Let a be 3/21 - 138/378. Is 0.31 smaller than a?
False
Suppose -5*p = -2*j - 3*j - 110, 0 = -2*j - p - 38. Suppose -2*k + 27 = -s - 1, -3*s + 2*k = 68. Is j at least s?
True
Let v be 1 + -4 - (-3)/(-3). Let l be -2*((-1278)/42 - (-6)/14). Let d be ((-3)/5)/(v/l). Do d and 9 have the same value?
True
Let w = 19.6 + -18. Let z = -1.3 + w. Is z at least 1.1?
False
Let z(b) = 2*b - 4. Let f be z(3). Suppose 0 = -5*m + f*a + 1, 2*m + 3*