 r = -2/9 - 1/36. Is r greater than or equal to -0.9?
True
Let x = -150 - -40. Which is greater: 2/5 or x?
2/5
Suppose 5*m + 5 = 4*m. Let p = -16 - -10. Which is smaller: m or p?
p
Let j(m) = -7*m + 8 + 2*m**2 - 3*m**2 + 2 - 3. Let o be j(-8). Do -1 and o have the same value?
True
Let v be 3/10*10/12. Let z(u) = u**2 - 4*u + 4. Let l be z(6). Suppose -d = 3*d - l. Which is bigger: d or v?
d
Let p = 0 - 6. Let b = p + 5.8. Let w = b + 0.1. Is w < -1/3?
False
Suppose 4*g - 5*j + 15 = 0, 4*g - j = -0*j - 3. Let f be (-3)/(-162)*(3 - g). Is f less than or equal to 1?
True
Suppose 0 = 3*x + 5*c - 5 - 1, c - 4 = -2*x. Let v = 391 - 407.1. Let w = 16 + v. Which is bigger: w or x?
x
Let b be 1 + 247/2024*-18. Let w = 7/92 - b. Let c = -160/143 + w. Is 0 >= c?
False
Let h(j) = 2*j - 3. Let p be h(2). Are p and 4/107 nonequal?
True
Let o be 4/6 - (-52)/30. Let a = 9 + -6. Is a > o?
True
Let c = 0.3 + -0.1. Suppose -15*o - 26 = -2*o. Which is bigger: o or c?
c
Let f = -0.8 + 1.4. Let p = f - 0.7. Is -4 > p?
False
Suppose 52 = -7*j + 8*j. Is 53 at most j?
False
Let s be (-12)/8*(-80)/(-18). Which is smaller: -8 or s?
-8
Let z = 37 - 37. Is 7 < z?
False
Let q = 0.6 - -0.5. Let s = 0 + -1. Let f = s + q. Is 2/3 smaller than f?
False
Suppose -q - 2*q - 4*f = -14, -2 = -f. Let j be (q + (-3)/1)*-1. Are 2 and j unequal?
True
Suppose 0 = -5*i + b, -b = 4*i + b. Suppose 3*x + 15 = 8*x. Let j = x + -2. Which is smaller: i or j?
i
Suppose 0 = 2*p + 2*p + 20, r - 4*p = 37. Which is smaller: -1 or r?
-1
Let g = -23 + 22.9. Is 66 < g?
False
Let v(b) = 2*b + 3. Let y be v(-3). Let h = 2 + y. Let f = -16 - -16. Which is smaller: h or f?
h
Let a = 5 - -13. Let x be 2/(-9) + 58/a. Let g be 1*2/4 - -1. Which is smaller: x or g?
g
Suppose -2*m + m = 0. Let c be ((-2)/4 - 0)*m. Let w = c + -2. Is w <= -4?
False
Let f = 5 + -3. Let n = f - 5. Let m = n - -3.2. Is 1/4 <= m?
False
Suppose y = 5*y. Let k = y - 5. Is -6 equal to k?
False
Let h(a) = a**3 - 13*a**2 + 10*a + 10. Let i be h(12). Let j be 2/i - (-124)/(-112). Is 1 smaller than j?
False
Let m(o) = o**2 - 5*o + 2. Let l be m(5). Suppose 0*p = -p + l. Suppose 0 = 5*a - 3*t - 3, -5*a = -3*a + p*t - 14. Which is smaller: a or 2?
2
Suppose -4*x = -5*c - 1, 0*c - 3 = -c. Suppose -5*a = -4*l + 52, 2*a + x = 4*l - 12. Let b be 2/a + (-34)/12. Which is smaller: b or 0?
b
Let a = 3 + -2. Let g = 15 - 31. Let q be (0 - 3)*2/g. Is a at most q?
False
Let d(f) = -2*f - 1. Let j be d(-2). Let x be ((-3)/9)/(23/j). Let i = x + 29/138. Is -1 equal to i?
False
Let f = 13 + -18. Which is smaller: f or -11/3?
f
Suppose 0 = 4*b - 10*b - 48. Is b at least -9?
True
Let o be (-18)/(-2) + (2 - -1). Let u = o + -7. Is u at least 1?
True
Let m be ((-3)/17)/3*7. Let u = m - -57/221. Let n be 2 - (-3)/(6/(-2)). Are u and n non-equal?
True
Let l(m) = -63*m**2 - 4 + 62*m**2 - 3*m + 3. Let g = -1 - 3. Let r be l(g). Which is greater: r or -4?
-4
Let n(z) = 1 - 4 - z**2 - 6*z + 7*z - 4*z. Let g be n(-2). Is -2/3 at least g?
True
Let x = -144 + 287/2. Suppose 0 = k - 2*k. Which is smaller: x or k?
x
Suppose -5 = x + 6. Which is bigger: x or -10?
-10
Let l = 1/4888 - -8531/6085560. Let q = 2528/23655 - l. Which is greater: q or 1?
1
Let g = 6.4 - -0.6. Let o = -11.1 + g. Let z = o + 4. Is 1 greater than z?
True
Let u = -0.2 + 0. Let h be ((-2)/(-25))/((-319)/1570). Let s = 2/319 - h. Is s bigger than u?
True
Let t = 19 - 10. Let j = -3 + t. Let p = 9 - j. Is p not equal to 3?
False
Let v(c) = -c**2 + c + 11. Let h be v(-7). Which is greater: -46 or h?
h
Let o(b) = b**3 + 13*b**2 + 12*b - 2. Suppose m - 60 = 6*m. Let a be o(m). Is a at least -3?
True
Let p = 17 - 25. Let v = 3 + p. Let m = v - -3. Is m at most as big as -0.1?
True
Let z be 661/(-3) - 2/3. Let l = z + 2429/11. Let v = -19 - -18. Is l != v?
True
Let m(b) = b**3 - 8*b**2 + 8*b - 8. Let g be 5/(-5) + -4 + 1. Let z = 3 - g. Let a be m(z). Is a at least as big as -1?
True
Let b = 27.07 - 18.16. Let w = b + -9. Let a = w - 0.01. Is a less than or equal to -0.1?
True
Let y = -0.6 + -1.4. Let f be 2*-2 + (-114)/(-30). Is y greater than or equal to f?
False
Let c(k) = 6*k + 13. Let f be c(-6). Does f = -23?
True
Let y(d) be the first derivative of d**2/2 + d - 3. Let k be y(0). Let o = 3/2 + -13/10. Is o smaller than k?
True
Let v be ((-9)/(-6) + -2)*-12. Suppose 0 = -2*m + v, 7 = f + 5*m - m. Which is smaller: -4 or f?
f
Let c = -36.06 + 36. Which is greater: c or 2/5?
2/5
Let a = -5 - -5. Let y be (0 + a)/3 - 1. Which is bigger: -2/13 or y?
-2/13
Let s be (1/30)/(1/(-4)). Let i be (1 + 0)/((-5)/5). Is i at least as big as s?
False
Let x be (-1)/(-3) - 12/(-18). Which is smaller: -18 or x?
-18
Suppose 2*w + 2*k - 8 = 0, 7 = 2*w + k + 2. Let q be (6/9)/(w/(-9)). Let t(h) = h - 12. Let u be t(8). Which is smaller: q or u?
q
Let o be (1 + -3)/((-2)/4). Suppose 0 = b - o*b - 9. Which is greater: -1 or b?
-1
Let b = 0.16 + -0.14. Let p = 0.8 + 0.2. Which is smaller: b or p?
b
Let y be 4/(-12)*-3 + 2. Suppose 2*o + 3*g - 1 = -y, 3*o + 5*g = -4. Which is smaller: 8/7 or o?
8/7
Let j = -0.47 - -0.5. Let p be 52/18 - 3 - 58/(-36). Is p smaller than j?
False
Let a be (2 + -3)*(-2 - -2). Suppose -y + 3 = -a*y. Let i(x) = x - 3. Let r be i(y). Is 0 < r?
False
Suppose 0 = 6*p - 7*p + 2. Let q(f) be the second derivative of f**3/6 - f**2 + f. Let s be q(p). Is 0 != s?
False
Let d be ((-52)/195)/(18/(-5)). Are d and 0 nonequal?
True
Let p(k) = -k**2 + 3*k + 4. Let c be p(4). Let v be (c/1)/((-20)/(-10)). Does v = 5/6?
False
Let h = 622/133 - 32/7. Which is bigger: 0 or h?
h
Let k be ((-45)/120)/((-6)/(-4)). Let z be ((-6)/4*-2)/3. Which is greater: z or k?
z
Let s = 22/13 + -1940/1131. Which is smaller: s or 1?
s
Suppose -2*i = -i + 3. Let p(r) = -r**3 + 9*r**2 - 8*r - 2. Suppose -16 = -4*c + 2*c. Let m be p(c). Which is greater: m or i?
m
Let v be (-6)/2*2/8. Suppose -3*j + 0*j = 0. Suppose j = -3*o + 5*o. Is v equal to o?
False
Suppose 90 = 3*w - 3*u, 3*w - 63 = -2*u + 2. Which is smaller: 24 or w?
24
Let d = -2 + 5. Suppose 0 = 2*o + 2*o + d*t + 75, -3*o = 4*t + 65. Let y be (-2)/(-7) + o/(-21). Which is smaller: y or 2/5?
2/5
Let r = 22/5 - 4. Is -14 >= r?
False
Suppose 7 = -z - 2*s + 5*s, z + 11 = 4*s. Does z = 25/4?
False
Suppose g - 68 = -3*g. Let f = g - 27. Let y = f + 7. Is y bigger than -5?
True
Let o = 2 + 15. Let r = 8 - o. Let z be (3/r)/(3/(-9)). Is z bigger than 0?
True
Suppose 3*t - 4*r + 0 + 34 = 0, t + 4*r = -6. Let c(q) = -q**2 - 3*q - 5. Let v be c(-4). Is t <= v?
True
Let o = 24 + -15. Let r be (24/(-304))/(o/(-4)). Is -1 >= r?
False
Suppose -n + 3*n + 3 = z, -4*z = -4*n - 16. Is 1 greater than n?
False
Let g(n) = n**2 + 5*n - 17. Let j be g(-7). Do j and -2 have different values?
True
Let b = 0.01 + 0.07. Let k = b - -0.02. Which is greater: k or 2?
2
Let r be (-4)/(-6)*(-2)/92. Let b = r + 143/345. Let i = 16 - 16. Which is smaller: b or i?
i
Let t = 40 + -40.3. Which is greater: -1/5 or t?
-1/5
Suppose -2*b + 6*g = g + 8, -2*b + 4 = g. Let l = 1 + b. Let m = 3 - l. Are 1 and m equal?
True
Let m = -7 + 8. Let q = -4 - m. Which is greater: q or -4?
-4
Let k be (-6)/4 + (-43)/(-44). Let g = k + 3/11. Is 5 at least g?
True
Let b be ((-3)/(-2))/((-3)/(-44)). Let t be b - ((1 - 0) + -3). Suppose -u = -2*i + 7, 2*i - 5*u = 3*i + t. Is i at most as big as 0?
False
Let n = -611/497 + -4/71. Are n and -1 nonequal?
True
Suppose -2 + 1 = h, -29 = -3*o - 4*h. Are 10 and o equal?
False
Suppose 0 = 3*v, 0*r - 4*v = 2*r. Let k = -1852/15 + 365/3. Let a = -2 - k. Are a and r non-equal?
True
Let v = -129/8 - -16. Let r(s) = -s**3 - 4*s**2 - 1. Let u be r(-4). Which is smaller: u or v?
u
Let q(t) = t**2 + 10*t + 14. Let y be q(-7). Is y < -5?
True
Let b be (2 + (-10 - -3))*2. Which is smaller: -9 or b?
b
Let k be (-15)/2*24/(-20). Suppose -5*h = -2*v - 8, 2*v - 1 = -2*h - k. Suppose 0 = -l - h*l - 3. Is -2 > l?
True
Let u be (16/5)/(-4) + 2. Let v(c) = c**3 + c**2. Let z be v(-1). Which is smaller: z or u?
z
Let n be 0 + 3/27 - -1. Suppose -3*l + 9 - 6 = 0. Is l < n?
True
Suppose 17 - 7 = 5*s. Let z(a) = -a**3 + 4*a**2 + 3. Let c be z(4). Let m be (c*(-6)/(-9))/2. Is s > m?
True
Let k(d) = 7*d**2 + d + 12. Let z(m) = -m**2 + m - 1. Let b(h) = -k(h) - 6*z(h). Let o be b(-7). Suppose -3*n - 3 = 15. Is