
-2/7
Let h = -22.9 - -23. Which is greater: -2 or h?
h
Let p(j) = j**2 + 20*j - 125. Let r be p(-25). Let f = -12 + 38/3. Which is smaller: f or r?
r
Let v = 0.9 + -8.9. Is -0.3 greater than v?
True
Suppose 8 = 4*q + 36. Is q >= -7?
True
Suppose -2*u + 7*u - 5*t = -25, -21 = 5*u - 3*t. Suppose -3*q - 9 = 0, 5*v - 2*q - 4 = q. Which is smaller: u or v?
u
Suppose -3 = -0*r - 3*r. Let s = 9 + -14. Let t = -3 - s. Is t > r?
True
Suppose -6*b + 5*b = 0. Suppose -4*i + i - 3 = 0. Is b less than i?
False
Let h = 0 + 3. Suppose -k - 2*q + 64 = 0, h*k + q - 110 = 57. Let s be ((-8)/k)/((-10)/(-15)). Which is bigger: -2 or s?
s
Let r be (-24)/(-14) + 10/35. Suppose -2*u + 12 = r*u + 2*i, -6 = -5*u + 2*i. Does 2 = u?
True
Let w = 20590/33 + -624. Is -1 at least as big as w?
False
Let c = 6.2 + -6. Let o = c + -0.7. Let j = 0.1 + 0. Which is smaller: o or j?
o
Let o be (0 + 5)*(-4)/(-2). Which is greater: o or 9?
o
Let u(o) = -2*o - 30. Let m be u(-5). Is m greater than or equal to 2/3?
False
Let h = 0 + 0.1. Let l be 6/(-3) + -2 + 3. Let q be l/(-12) - 2/(-8). Which is bigger: q or h?
q
Suppose 0 = -f - 5*f - 54. Which is smaller: f or -12?
-12
Let t = 0.02 - 0.52. Is t bigger than 0?
False
Let w = 7 + -9. Let t be 4/w + 0/(-1). Is t smaller than -7?
False
Let t = 89 + -626/7. Is t at least 0?
False
Let k(n) = -n**3 - n**2. Suppose 2*z = -2*z. Let a be k(z). Which is smaller: a or 1/4?
a
Let k be (1*-23)/(-7 + 6). Suppose 3*v + 4*j = 17, -3*v - k + 0 = -4*j. Do 0 and v have the same value?
False
Let l = -0.046 + 0.076. Is l < 0.3?
True
Let q = -110 + 105. Is q smaller than 3?
True
Suppose 2*d = -d - 6. Which is smaller: -4/5 or d?
d
Let s be 1/(7/14 + (-4)/9). Which is bigger: s or 17?
s
Let n = -5724/11 + 520. Let v(g) = g**2 - 7*g + 6. Let c be v(6). Is c at least n?
True
Suppose 0 = -2*f - 0*f + 2. Let v = -5 + 0. Let u be (2/(-15))/(v/30). Does f = u?
False
Let n = -1 - -1.2. Let q = -11 + 11.1. Which is smaller: q or n?
q
Let f(o) = -o**2 - 5*o + 7. Let c be f(-6). Let k be (-6)/(-14)*(-10)/15. Which is greater: k or c?
c
Let r = -6 + 8. Let h be (-3 + 5)*-1*1. Let n = r + h. Which is smaller: n or -2/7?
-2/7
Let y be (-1)/(1*1/10). Suppose -12*q + 11*q = -15. Let t be (-10)/(-6)*q/y. Which is smaller: t or -4?
-4
Suppose -4*p + k + 20 = -3, -4*p + 3*k + 21 = 0. Are p and 6 equal?
True
Suppose 5*c = -2*r - 25 - 0, -5*r + 32 = -c. Let u = 7 + c. Is u less than or equal to 0?
True
Suppose 2*t - t = 0. Suppose 5 + 1 = 6*y. Is y < t?
False
Let b = 0.2 - 0.2. Let l = b - 0.2. Let h be 2/(-7)*(-14)/6. Do l and h have different values?
True
Let f(h) = h**3 + h**2 - 2*h + 1. Let q be (-2 + 6)*1/(-2). Let g be f(q). Is 4/3 greater than g?
True
Let u = -1 - 0. Let v = 1.1 + u. Which is smaller: -2 or v?
-2
Let g be (5/(-1) + 3)*-1. Let r be (-9)/(-12) - g/(-8). Let k be -1*4/(-18)*r. Which is greater: k or -1?
k
Suppose -47 = 4*z - 35. Which is greater: 2.5 or z?
2.5
Let v = -13 - -17. Suppose 17 = v*w + 1. Is w smaller than 5?
True
Let q(k) = k**2 + 5. Let o be q(0). Suppose -o*m = -0*m. Let d = 2 - 1. Which is bigger: d or m?
d
Let k(v) = -19*v + 1. Let c be k(-1). Suppose 4*y + y - c = 0. Let j be (1/2)/(2/y). Which is smaller: 1/3 or j?
1/3
Let c = -3 - -4. Let y = 0.002 + -9.002. Which is greater: c or y?
c
Let g(m) = m**3 - 3*m**2 - 2*m - 4. Let h be g(4). Suppose -2*i - 3*a - 7 = 0, -5*i - 5*a = h + 6. Suppose -26 + 27 = s. Is i at most s?
True
Let r = 1/4 - 9/68. Suppose -j + 5 = -6*j. Is r greater than or equal to j?
True
Suppose 2*q - 7*q + 35 = 0. Is q smaller than 7?
False
Suppose 2*f - f = -105. Let t be (-203)/f - 2/15. Is t equal to 3?
False
Let h = 6 + 19. Suppose -5*r = -0*r - h. Let j be (7/3 + -2)*9. Is j at least as big as r?
False
Suppose 10*a + 40 = 8*a. Which is bigger: a or -94/5?
-94/5
Suppose -144 = -6*u - 10*u. Is -3 equal to u?
False
Suppose -5*m + 4*y = 11, -5*m - 14 = -0*m - y. Let s be 1/(-4)*m/(-6). Which is smaller: s or 0?
s
Suppose 5*f - 3*h = 159, 0 = -3*f - 2*h + 63 + 21. Do f and 28 have the same value?
False
Let n = -28 - -31. Let w = -0.2 - 0.1. Is w at most as big as n?
True
Suppose p - 3 + 1 = 0. Suppose -2*g + o + 3 = 3*g, 4*g - 6 = p*o. Let f(j) = -j**3 - 5*j**2 - 3*j + 6. Let i be f(-4). Which is bigger: i or g?
i
Let t = 6 - 7. Let q be t/(3 + -1 + -16). Is q > 0?
True
Let i(n) = -n**3 - 4*n**2 - 5*n - 1. Let p be i(-2). Which is greater: 7/5 or p?
7/5
Let j(g) = g**3 - 6*g**2 + 2*g + 3. Let r be j(5). Is -12 equal to r?
True
Let g = -16 - -22. Which is smaller: g or 8?
g
Let h = -55 + 38. Is 2/9 at most as big as h?
False
Let x = 4 + -10. Let i = 9 + x. Is 3 != i?
False
Let c be (-1)/(-30)*5/((-10)/(-8)). Which is smaller: 0 or c?
0
Let s = 3 - 3. Let v = -0.07 - -0.27. Which is smaller: s or v?
s
Suppose 25 + 14 = -3*v. Is -14 < v?
True
Let f be (-5)/10 - 11/2. Let k = f - -6. Let n be (k - -2)*(-1)/(-2). Which is bigger: 1/14 or n?
n
Let w(b) = 4*b**2 - 5*b - 1. Let n(s) = s**2 - s. Let d(q) = 3*n(q) - w(q). Let m be d(3). Is m at least -3?
True
Let u = 822603 + -690986399/840. Let o = u + -2/105. Are o and 1 unequal?
True
Let l(c) = 19*c - 1. Let f be l(-1). Let t be (-16)/f*5/2. Suppose -4 = -2*z - t*z. Are 1/7 and z equal?
False
Suppose -3*q = -3*z - 6, 0 = -3*q - 0*z - 4*z + 20. Let i be q/10 + 72/(-280). Which is greater: 0 or i?
i
Let m = -6/17 + 268/85. Let i = 271 - 2687/10. Let g = m - i. Which is greater: 2 or g?
2
Let y = -5 - -5. Let q = -1.1 - -0.8. Let b = 0 - q. Which is greater: y or b?
b
Let u = 0.6 + -1.6. Let n = u - 0. Do n and 2 have the same value?
False
Let w = 0.93 + 0.07. Which is bigger: -4/13 or w?
w
Let m(s) = -s**2 + 13*s + 18. Let n be m(14). Which is bigger: 0.02 or n?
n
Let f = -44406585/511 + 86901. Let z = -3/865 - -3679/63145. Let i = f + z. Which is greater: i or 1?
1
Let s be -1 - (8 - 4)/(-12). Is -59 < s?
True
Let c be 6 + -2 - (105 - -3). Let p be (-68)/c + 2/(-4). Is 1 at least as big as p?
True
Let p(r) = r + 13. Let w be p(-6). Suppose -w*k + 10 = -2*k. Suppose -3*n + k*q + 1 = -6, -2*n - 8 = 5*q. Does n = 4/3?
False
Suppose -14 = -3*j - 5. Let a be 2 - j - -2*1. Let x be -1*3*(-4)/18. Which is bigger: a or x?
a
Let a = 7.6 + -7.56. Is 0 less than or equal to a?
True
Let n(w) = -5*w - 4. Let b be n(-5). Does 20 = b?
False
Let b = 89 + -88.9. Which is smaller: -0.024 or b?
-0.024
Let p = -105097/33 - -3185. Which is bigger: p or -1?
p
Let b = 1/72 + 7/8. Is b at least as big as 1?
False
Let o be (8/(-16))/(1/2). Which is greater: o or -1/24?
-1/24
Suppose 3*u - 24 = -u. Let r = 5 - u. Which is smaller: -3/11 or r?
r
Let l = -1736/11 - -158. Let w = 0 + 0. Which is greater: l or w?
l
Let t = 12 + -9.5. Let o = t - 0.5. Is 0 < o?
True
Let c = 12094/11431 + -76/71. Let l = c + 177/1288. Let w be (1 - 0) + -4 + (-15)/(-5). Which is greater: w or l?
l
Let j = -1 + 0.99. Let b = j + -0.99. Are b and 6 nonequal?
True
Suppose -28 = 6*s - 2*s. Let t = 11 + s. Let j(p) = 2*p. Let u be j(2). Is t < u?
False
Let v be 4/(-3) + 4/(-6). Let r(f) = f + 2. Let u be r(v). Let w = 1 - 1. Is w less than or equal to u?
True
Let y = 3 + -5. Let c be 1 - (3 + (-3 - 0)). Which is bigger: y or c?
c
Let i(f) = f + 1. Let u be i(-1). Let o = 0.31 + -0.33. Which is bigger: u or o?
u
Suppose 11*x - 9*x = 4. Let s(t) = -t**3 - 5*t**2 - t - 7. Let p be s(-5). Is x equal to p?
False
Suppose -24*b = -4*b + 20. Is -4/27 smaller than b?
False
Let o = -44 + 31. Is o <= -16?
False
Let u = -2 - -1. Let x = -1 + -3. Let d = -4.4 - x. Which is greater: d or u?
d
Let h = -6.3 - -6. Let w = -2/93 + 382/465. Which is bigger: w or h?
w
Suppose 4*s - 16 = -0*s. Suppose s*h + 3*o - 27 = -3, 3*h - 5*o = -11. Suppose 15 = 5*i, 0 = 2*g - 4*i + h*i - 7. Are g and 5 equal?
True
Let f be 2 + 0 + -2 + 5. Suppose 4 = -d - 4*z + f*z, -34 = 4*d + 5*z. Which is smaller: d or 1?
d
Let j = -0.1 + 0.01. Let d = 0.01 - j. Which is bigger: d or -5?
d
Let i = 9 + -13. Which is bigger: i or 2?
2
Let h = -14 - -13.9. Is -26/5 less than h?
True
Let g = 1/3 - 1/2. Let d be 3/(-9)*-3*-1. Is g smaller than d?
False
Let k = -6.01 - -0.01. Let f = k - -6. Let g = 0.8 - -0.2. Does f = g?
False
Suppose 0 = -4*v + v + w - 37, -1 = -v + 3*w. Which is greater: -11 or v?
-11
Let f = 5 + -7. Which is smaller: f or -2/3?
f
Let z = 0.6 - -2.4