8/(-14). Let o be h/5 + (-1)/(-5). Which is smaller: 1 or o?
o
Suppose 2*d + 2 - 4 = 0. Let v(n) = 4*n + 3. Let q be v(3). Let l be (5/q)/(d/3). Which is smaller: -2 or l?
-2
Let w(d) = d**3 - 9*d**2 + 2. Let b be w(9). Suppose -b*m - 7 = k, m + 2*m + 8 = k. Which is greater: m or -4?
m
Let h = -10 + -4. Is -11 > h?
True
Suppose 24*d = 21*d + 3. Which is bigger: d or -0.05?
d
Let u(z) = 3*z + 2. Let t be u(-2). Let g be t/(-2) + 2 + -2. Let v be (g - (0 - -2))*-1. Which is smaller: -1/6 or v?
-1/6
Let m be (-3)/(1 + (-19)/16). Let q = m + -18. Which is smaller: q or -3?
-3
Let w = 109 - 755/7. Which is greater: w or 0.2?
w
Suppose 2*i - 2*g + 3 - 5 = 0, 5*i + 5*g = -15. Which is greater: i or -10/9?
i
Suppose b = -5*i - 25, -4*b - 22 = -4*i + 54. Let h be 10/(-3)*30/b. Is h > 4?
True
Suppose 2 = 4*n - 3*n. Let w be 21/35 - ((-8)/5)/2. Is w at least n?
False
Let f = 1.1 + -1.5. Let x = f + 2.4. Let l = 0 - -1. Which is smaller: l or x?
l
Let b be ((-6)/3)/(-4 - -6). Let w be ((-2)/b - 2)/1. Is 2/9 bigger than w?
True
Let y be 0 + -1 + (4 - 3). Suppose y = -4*h - h + 5. Suppose -2*j + 2 = -4*j. Is h at least as big as j?
True
Let k = -2.2 - -0.9. Let a = k + 1. Let h be (-1)/((-7)/12) - 2. Which is smaller: a or h?
a
Let w = 0.37 + 1.53. Which is greater: w or -1/3?
w
Suppose -3*z + 5*z = 0. Which is bigger: z or -10?
z
Suppose 0 = m - 0*m - 5. Let c = m - 8. Is c at least as big as -3?
True
Suppose 0*c - c - 4*q = 0, 0 = c + 2*q. Which is smaller: c or -4/9?
-4/9
Let r be (-2 + 1 - 1)/5. Is r less than or equal to 6?
True
Let y be 5/(15/(-12)) - (-40)/8. Does -3/44 = y?
False
Let x(i) = 4*i**2 + 2*i - 2. Let z be x(-2). Suppose -4*j = j + z. Let l be 6/(-4) + (-1)/j. Is -1/5 > l?
True
Suppose 10 + 10 = -4*x. Let a = 5 + -7. Let n be (-30)/x*a/(-20). Which is bigger: 2 or n?
2
Let s = 8 + -6. Let c be 1*(-1)/12*s. Suppose 0*o = -5*o - 5. Is c smaller than o?
False
Suppose -k - 5*w - 11 - 5 = 0, 0 = 3*k - w - 16. Is k < 3?
False
Suppose -b = -3*b. Suppose -4*j + b*j + 8 = 0. Suppose -2*k + 3*k - 1 = 0. Is k smaller than j?
True
Suppose -2*u - 13 = -1. Let z be 88/(-64) + u/(-4). Suppose 4*c - 5 - 1 = -5*x, -c + 5*x - 11 = 0. Which is smaller: z or c?
c
Let x be (2 + 0)*7/2. Let l be ((-6)/21)/((-9)/x). Let m be 2/(-6) - (-2)/(-3). Which is bigger: l or m?
l
Let c(g) = -4*g + 59. Let s be c(14). Is 9 < s?
False
Let u = 0.01 + -1.31. Let q = 0.3 + u. Let w = -0.21 - -0.01. Is q less than or equal to w?
True
Let n be (2 - -1) + (-2 - -1). Let y = 11.8 - -0.2. Let z = y - 10. Is z > n?
False
Suppose -2*v + d + 11 = -0*v, -3*v + 27 = 2*d. Suppose -v*r = -2*r + 10. Let t = -629.8 - -630. Do r and t have the same value?
False
Suppose -7*j - 10 = 137. Is j greater than -0.2?
False
Let d = -0.01 - -0.31. Let f = -0.5 + d. Is 0.6 equal to f?
False
Let q = -6.6 - -2.6. Is q less than or equal to -1/5?
True
Suppose 25 = -5*l - 5*d, 5*l - 7*d + 9 = -4*d. Which is bigger: -20/9 or l?
-20/9
Let t(g) = g**2 - 4*g + 5. Let z be t(4). Suppose 5 = 2*q - z. Suppose 0*y + 5 = q*y. Which is bigger: y or 2/7?
y
Let t be 4/(-26) + (-3 - (-1297)/403). Is t less than 0?
False
Let k = 81 + -113/2. Let p = 25 - k. Suppose -l + 4*l = -3. Which is smaller: l or p?
l
Suppose -5*a - 8 = 7. Which is greater: a or -3/2?
-3/2
Let y be 0 - 4/(53 - 1). Which is bigger: y or 1?
1
Let o be 34/(4 - (-4 + 10)). Let k = o - -17. Is -3 at most k?
True
Let z = 0 - -1. Let l = 20 + -39/2. Are z and l non-equal?
True
Let z be ((-24)/(-10))/(1/5). Suppose 0 = 3*w + 24 + z. Let v be w/56 - (-2)/(-7). Are -2 and v nonequal?
True
Suppose p + 5*p = -120. Does p = -20?
True
Let h = -8 + 14. Let j be (-39)/h + (-3)/(-2). Is j at most -4?
True
Let i = -11 + 20. Is i greater than or equal to 9?
True
Suppose 0 = -u + 4*u + 3. Is u >= -4/7?
False
Let m = 10 + -2. Suppose 0 = 4*h - c - m, -2*h = -5*h + 2*c + 11. Let f be (-8)/(-20) + 48/(-70). Which is smaller: h or f?
f
Suppose 4*n + 0*n = q - 14, -q - 2*n = -2. Let f = 3 - q. Which is smaller: f or -3/2?
f
Suppose 5*d - 2*c - 32 = d, -5*d - 4*c + 27 = 0. Suppose 2*j - d*j - 4*p = 11, 4*j = -2*p - 4. Is -5 equal to j?
False
Let a = 66 - 66. Which is smaller: a or -3/50?
-3/50
Suppose -o + 0 - 1 = 0. Is o bigger than -6/13?
False
Let m(v) = 16*v + 4. Let w(l) = 5*l + 1. Let b(o) = 2*m(o) - 7*w(o). Let k be b(-9). Let d be (k/18)/(10/15). Is 1 greater than d?
False
Suppose x - 2 = 3*x, -5*u = -2*x - 82. Is 16 less than u?
False
Suppose -4*g - 30 + 2 = -5*q, -22 = -2*q - 2*g. Let y = 10 - q. Suppose 3*j = -5*v - 4, y*j + 9 = 5*v - 2*v. Do 1 and v have different values?
False
Let u(c) = c**2 - 16*c + 33. Let t be u(13). Is t bigger than -13?
True
Let i(j) = -j**3 - 3*j**2 + 3*j + 1. Let p be ((-4)/12)/((-1)/(-9)). Let o be i(p). Which is smaller: -7 or o?
o
Let v = 1964 - 9764/5. Are 12 and v equal?
False
Let r = -16 - -20. Suppose -r*y = -2*v + 4, 0 = 4*v + 16. Which is bigger: -5 or y?
y
Let m = 142 - 711/5. Which is smaller: m or 0?
m
Let t = -57 + 41. Let p = t + 16. Which is bigger: -1 or p?
p
Let f = 19 - 56/3. Let v = -15 + 17. Which is smaller: f or v?
f
Let u = -13/27 - -71/135. Is u at least as big as -1?
True
Let h(o) be the second derivative of -o**6/720 + o**5/24 + o**4/4 + 2*o. Let z(p) be the third derivative of h(p). Let u be z(5). Which is greater: u or -1/7?
u
Let m = -9 - 20. Is -29 greater than m?
False
Suppose -2*n + 4*c - 22 = 0, -c + 7 = 3. Is -8/3 bigger than n?
True
Let g = -46 - -28. Let j be -3*3/g*2. Let w = -39 + 505/13. Are j and w non-equal?
True
Let z be 186/108 - (-4)/(-18). Which is greater: -0.2 or z?
z
Let b(g) = -8*g**3 + 2*g**2 + 2*g + 1. Let w be b(-1). Suppose 3*q + 13 = -0*j + 2*j, -q + w = 2*j. Are 5 and j nonequal?
False
Suppose -w - 13 = 4*q + 21, -5*w = -2*q - 6. Is q at most as big as -7?
True
Suppose -5*a - 15 = 55. Let h be 2 + -1 - (-856)/a. Let b = h - -60. Which is greater: 0 or b?
0
Let g = 3/11 + 17/99. Let b = 9 - 2. Suppose 0 = -b*j + 2*j. Which is smaller: g or j?
j
Let t = 1420/1099 + -1/157. Which is smaller: t or 0?
0
Suppose 0 = 5*a + 7 + 13. Which is greater: -2 or a?
-2
Let f = 61/2 + -31. Suppose 4*c = 7 - 23. Let r = c - -6. Are r and f non-equal?
True
Let n = 98 + -101. Is 3 > n?
True
Let u be (-4)/(-20) + 2/(-10). Is 1 at most as big as u?
False
Let k = -44/34651 - 248654828/589067. Let r = 422 + k. Is 0 at most r?
False
Let s(i) be the third derivative of i**5/60 + i**4/12 + i**3/6 - 2*i**2. Let w be s(-2). Let n be 1/(-3)*(-6)/(-20). Is n not equal to w?
True
Let f be ((-5)/15)/(2/(-18)). Suppose f*b - 6 = 5*t + 19, 0 = -5*b + 3*t + 15. Which is smaller: 2/9 or b?
b
Let c(t) = t**2 - 8*t + 5. Let h be c(8). Suppose -h*a = -3*a. Is 0 smaller than a?
False
Let w(s) = 4*s**2 + 1. Let x be w(1). Suppose 4*h - x*q + 8 = 0, h + 2*q + 4 = 5*h. Let p = h + -3. Is p >= 1?
False
Let c = -6.03 - -0.03. Let t = 1.4 - 0.4. Which is greater: c or t?
t
Suppose 2 = -h + 4. Suppose -3*m - 4*o = -11, -h*o = m + 3*m + 2. Is -3 less than or equal to m?
True
Suppose 5*n - 5*b - 45 = 0, 4*n - 6*b - 34 = -3*b. Is n != -2?
True
Suppose 0 = -2*z - 81 - 31. Is -57 at least as big as z?
False
Let r = -389/366 + 14/61. Which is smaller: 0 or r?
r
Let a = 965/14 + -69. Which is greater: 0 or a?
0
Let t(g) = -g**2 - 4*g - 3. Let l be t(-2). Suppose 3*o + 0*n = 5*n - 5, -2*n + 2 = 0. Suppose o = 2*k - 7*k. Which is bigger: l or k?
l
Let c = -10 - -21. Which is smaller: 10 or c?
10
Suppose -5*l - 20 = -5. Let w = -65/2 + 55. Let o = 21 - w. Which is bigger: l or o?
o
Let q(v) = v**2 + 25*v - 59. Let y be q(-23). Is -105 less than or equal to y?
True
Let g be (-1)/(-2) + 12/(-16). Is 1/14 at most g?
False
Let k(b) be the second derivative of -b**3/3 + 6*b**2 - 2*b. Let s be -3*1 + (-44)/(-4). Let x be k(s). Is -5 at least x?
False
Let v be ((-1)/4)/(1/(-4)) - -1. Are 1 and v equal?
False
Let i be 3/(-2)*30/45. Is 9 at least as big as i?
True
Let g = -5 - -4. Which is bigger: -4/9 or g?
-4/9
Let c = 13.2 + -2.4. Let j = c - 11. Is 3 greater than j?
True
Let p = -0.07 + 0.37. Let t = p + 0.7. Let d = 27 - 28. Which is greater: d or t?
t
Let g be 2/(-9) + (-6)/54*43. Is g less than -1?
True
Let m = -1 + 1. Let h = -11 - -21. Let b be 48/(-30) - (-4)/h. Is m less than or equal to b?
False
Let s(g) = -g**2 + 6*g - 8. Let 