r
Let x = -288 - -288.121. Which is smaller: 0.1 or x?
0.1
Let f(l) = -l. Let c be f(-5). Suppose -2*r = -4*t + 10, t - 4*r = -r + c. Let z be (-2 + 3)*t/(-2). Which is bigger: 2/13 or z?
2/13
Let g = -0.37 - 0.03. Let b = g - -0.6. Let p = b - 0.11. Which is bigger: p or 2?
2
Let l = -674 - -677. Suppose 3*n = n + 4. Is n less than or equal to l?
True
Let y be 18/153 - (-10)/204. Let x be (-9)/(-15)*(-4)/6. Which is smaller: y or x?
x
Let o(g) = 3*g**2 + 6*g + 8. Let l be o(-2). Let x be (1 - 1) + 1 - 102/(-34). Is l greater than x?
True
Let u = 1384 - 1387. Is u less than 91?
True
Let u(w) = 4*w**2 + w + 2. Let c be -1*(9/3 + -1). Let x be u(c). Suppose -7*g - 3*p = -3*g + 1, g + 4*p = x. Which is greater: g or -2?
-2
Let j(p) = 3*p**2 - 17*p - 73. Let l be j(12). Which is greater: l or 157?
157
Let u = 22/1119453 - 755849939/11151990786. Let b = 6/293 - u. Which is greater: b or 0?
b
Let k be 5 + 5 + -7 + 5. Which is smaller: k or -12?
-12
Suppose -4*j = -3*r - 2, j = -3*r - 0 + 8. Suppose 5*k = -3*f + 23, -14 = -2*f + j*k - 4. Let l = f - 2. Which is smaller: 5 or l?
l
Let j = -7663/10 - -767. Let q(g) = 2*g - 3. Let b be q(2). Is b greater than or equal to j?
True
Let j(h) = 3*h - 3. Let s be j(-1). Let w be (-2)/(s/9) + -4. Let x be 9/15 - (-3)/(-15). Which is bigger: x or w?
x
Let n = 44 + -50. Let u(k) = -k - 9. Suppose -h - h = 14. Let r be u(h). Is n less than r?
True
Suppose -3*d - 2*d + 4*r - 841 = 0, -821 = 5*d + r. Do d and -164 have different values?
True
Let w = -53 - -56.1. Let r = w + -0.3. Is -1/2 smaller than r?
True
Let k = -16/21 + 2/21. Let x be 13/(-2 - (-9)/6). Which is smaller: k or x?
x
Let r(c) = c**3 - 3*c**2 - c + 14. Let l be r(6). Suppose 92 = -4*q + 3*n, -5*n - 16 + l = -4*q. Which is smaller: -22 or q?
-22
Let d be -2 + -33 - (0 - 2)/(-2). Which is smaller: -34 or d?
d
Let o = 27.5 + -28. Let l = o - -0.4. Is -0.8 < l?
True
Suppose 3*v - 124 = 5*h, 38*v - 31 = 2*h + 43*v. Does -21 = h?
False
Suppose -3*q = 5*l + 31, 0*l - 2*l = q + 12. Let b = 1588 - 1585. Which is smaller: q or b?
q
Let n be 3/(3/5) + -89 + 80. Which is smaller: -1 or n?
n
Let l = -11 - -10. Let n = 0.36 + 3.44. Let z = 1.2 + n. Does l = z?
False
Let m = 6/181 - 205/724. Suppose 1 = 2*f + 5. Do m and f have the same value?
False
Let f be ((-7)/((-21)/9))/(-5 + 6). Which is smaller: 75/32 or f?
75/32
Let b = 8864/5 - 63443/35. Let r = b - -40. Which is greater: -1 or r?
r
Let c = -103595/89 - -1164. Is c greater than or equal to 1?
False
Let i(s) = s + 4. Let v be i(-6). Suppose 2*c - 2 = -4*h, -5*h + 2*h = -2*c + 16. Suppose -3*t = 5*g + 13, c*t + 2 = t + g. Is t bigger than v?
True
Let z = 35 + -38.3. Let w = -19.3 - z. Let o = -16 - w. Is -7 bigger than o?
False
Suppose 1966*d - 1967*d = 0. Is 7/113 at least d?
True
Let n(w) = 4*w**2 + 17*w - 14. Let p be n(-5). Let l be ((-4)/(-8))/(23/(-5)). Is p at least l?
True
Let p = 1099 - 1098. Let w be (-2130)/7406 + (-2)/(-7). Let t = w - -1597/5290. Which is greater: p or t?
p
Let i be ((-19)/(-95))/((-103)/(-2)). Is -1 less than i?
True
Let v = 69 + -279/4. Suppose 10*z - 93 = 7*z. Let a = z + -33. Is v bigger than a?
True
Let x be ((-1)/19)/((-1)/(-15)). Let a = 49/38 + x. Is -2/5 equal to a?
False
Suppose -17*d = -15*d + 10. Let y = 5 + d. Which is smaller: y or -1/4?
-1/4
Let a = 16 - 14. Suppose 0 = -a*t + 3*q - 27, -14 = -2*t + 6*t + 2*q. Let w be (-24)/(-180) + 4/t. Is w less than 0?
True
Let y be -2 + (-776)/(-196) - 2. Let z(o) = -o**3 - o**2 + 4*o - 5. Let g be z(-3). Is y greater than or equal to g?
False
Let w(a) be the first derivative of -a**4/4 - a**3 - a**2 - a + 1. Suppose -6*j - 22 = -10. Let r be w(j). Which is greater: r or 2/11?
2/11
Let w = -103.15 + 103. Let v = 0 - w. Are 3 and v equal?
False
Let y be ((-24)/(-30))/((-4)/(-30)). Suppose 3*v + y = -0*v. Let g be (5/v)/((-5)/10). Is g equal to 5?
True
Let j be -6 + 0*(-2)/2. Let m be ((-18)/8)/(j/16). Is m at least 6?
True
Suppose -13*z + 225 = -8*z. Suppose z = 5*x + 220. Let g = -40 - x. Is g less than or equal to -6?
False
Let l(d) = d**3 - 8*d**2 - 9*d + 13. Suppose -54 = -2*c - 4*c. Let f be l(c). Which is bigger: f or 15?
15
Let a = 1.36 - -0.04. Let r = 2.4 - a. Is -1 >= r?
False
Let f = 29.1 - 31. Let z = f + 2. Let y be (2 + 28/(-18))/(12/(-18)). Which is smaller: y or z?
y
Let m be 8/6*(-54)/(-204). Let i(w) = w**2 - w - 1. Let a be i(1). Which is bigger: m or a?
m
Let h(n) be the third derivative of -n**5/12 + n**4/12 + n**3/6 - 8*n**2. Let z be h(-3). Let x be 5/25*z/(-18). Which is bigger: 2/7 or x?
x
Let m(b) = -b**2 + 12*b - 31. Let n be m(13). Let f be 48 + n - (1 + 179/60). Is f at most -1?
False
Let r(l) = l**3 - 8*l**2 - 8*l - 2. Let j be r(9). Suppose 3*v + 7 = 4*d, -v + 4 = -2*d + j*d. Suppose 25 = 3*y + b, 2*y + 4*b = y + d. Is 9 less than y?
False
Let v be ((-88)/12 - -8)/(2/(-276)). Let m = v + 95. Which is smaller: 2 or m?
2
Let b be 126/60*(-60)/(-396). Is -1 at least as big as b?
False
Let q = -1.37 - -1. Let c = 0.4 + q. Let i = -0.07 - c. Which is smaller: i or 2/19?
i
Let j = 0.336 - -1.464. Is 22 bigger than j?
True
Let m be 6/(-12) - (-45)/2. Let g(p) = 12 + 21*p**3 - 10*p**2 + p + 12*p - m*p**3. Let c be g(-11). Is c less than or equal to -9?
True
Let c = -28.67 - -29. Let l = c + -16.33. Let h = 8 + l. Which is smaller: -1 or h?
h
Let r = -1318 - -1318.1. Is -76.8 less than r?
True
Let s(g) = g**2 - g + 6. Let l be s(7). Let h = 3810283/79618 - -1/11374. Let n = h - l. Which is greater: 2 or n?
2
Let j = -1 + -0.6. Let u = -0.2 - 0.4. Let l = u - j. Which is smaller: -1/4 or l?
-1/4
Let b = 1.5 - 0.4. Let k = b + 19.9. Let j = -136 - -135.9. Is j bigger than k?
False
Let r = 0.018 + 0.025. Let h = r - -0.157. Is h smaller than 1/4?
True
Let p be (-21)/1 + (-21)/(-7). Let x be -2 + -2 + (0 - p). Let z be (x/4)/((-3)/(-6)). Which is smaller: z or 4?
4
Let k be 4/(-26) - 279/(-39). Let h(t) = t + 18. Let d be h(-8). Which is smaller: k or d?
k
Suppose 5*y + 846 = -2*i - 2*i, 5*y = -3*i - 637. Are i and -209 nonequal?
False
Let b(o) = o**3 + 2*o**2 - 3*o - 3. Let v be b(-2). Suppose 0 = 10*s - 8*s. Suppose 3*c = s, 2*h + v*c - 2 = -0. Is 6/13 bigger than h?
False
Let x = -67.68 + 0.68. Let q = 56.4 + x. Let u = q + 0.6. Is -1/4 equal to u?
False
Suppose 3*o = -0*o - 66. Let s be (672/(-90))/((-3)/(-9)). Which is smaller: o or s?
s
Let t be (1/2)/(7/(-168)). Let u be 111/12 - (-3)/t. Is u less than or equal to 9?
True
Suppose 2*n = -4*b + 4, 0 = 2*b + 2*b - 8. Let q be -7 - (n + 0 + -1). Let x be 16/q*(-4)/(-8). Which is smaller: x or -4?
-4
Let o be -3 + 10/4 + 305/735. Let t = o - 4/49. Is -6 equal to t?
False
Let f(s) = s**2 + 7*s - 39. Let t be f(20). Let a be 27031/(-54) - (-3)/(-6). Let g = t + a. Is -1 at most g?
True
Let f = -4.409 - -4.4. Let s = f + 0.609. Which is smaller: s or 2?
s
Let t be -7 + 160 - (-8)/(1 - -1). Which is greater: 158 or t?
158
Suppose 0 = 3*i + 28 + 53. Let h be 4/((-56)/(-350))*7/(-7). Which is smaller: i or h?
i
Let w = -19.9 - 0.1. Let v = -20 - w. Does 1 = v?
False
Let u = 72 - 64. Suppose -u*l = -l + 413. Is 0 greater than l?
True
Let k be 3*(8/(-12))/(-1). Suppose 0*m = 4*m + o + 4, 5*o - k = 2*m. Which is greater: m or 2/73?
2/73
Let g = -9847 + 49048/5. Is g greater than -36?
False
Suppose 0 = 36*m - 46*m - 540. Are m and -55 nonequal?
True
Let n(f) = f**3 + 5*f**2 - f - 5. Let v be n(-5). Are v and 24 unequal?
True
Suppose 3*o - 2*o - 11 = 0. Suppose -15*b - 20 = -o*b. Let k = 6 + -12. Is b < k?
False
Let a be 1 + -8 + 0/3. Let r(b) = -11*b**2 - b + 9. Let g(t) = 5*t**2 + t - 5. Let h(w) = 9*g(w) + 4*r(w). Let l be h(a). Which is smaller: l or 3?
3
Let g = 84 - 101. Which is smaller: -15 or g?
g
Let m = 84.9742 + 0.0258. Is 0 less than m?
True
Let h = -6 + 6.17. Let l = h - 0.27. Let g be (10/45)/((-4)/6). Is l < g?
False
Suppose 2*f - 15 = 3*o, -f - f = o - 3. Let n(t) = -t + 3. Let d = -9 - -17. Let s be n(d). Which is smaller: o or s?
s
Suppose f = -4*b + 8*b - 2, 4*b = -16. Suppose -d - 13 = 4*k, -5*d - 2*k + 7*k = 90. Which is bigger: f or d?
d
Let z be (-23 + 0)*(-2 - -3). Let o(g) = g**3 - 16*g**2 + 15*g + 8. Let p be o(15). Let n be (-128)/4*6/p. Is n not equal to z?
True
Let i = -223.7 + 218.7. Does -22.6 = i?
False
Let a(r) = -35*r + 594. L