 = -x - 5. Is 0 > x?
True
Let m(l) = -l**3 + 7*l**2 - 9*l. Let o be m(6). Let k be ((-1)/o)/(3/9). Which is smaller: k or -1?
-1
Suppose -x - 3 + 17 = 2*q, -4*x - 9 = -5*q. Let l be (5/2)/((-10)/(-20)). Is x not equal to l?
True
Let t = 96.9 + -102. Let h = 5 + t. Which is smaller: 3 or h?
h
Let v = -39 - -42. Is v >= -2/3?
True
Let k(x) = -7*x - 9. Let o(s) = -13*s - 17. Let p(y) = 11*k(y) - 6*o(y). Let h be p(0). Suppose b - 4*n = 8, -h*n = b + 2*n + 19. Is b bigger than -3?
False
Let j(a) = a - 7. Let u be j(12). Let f = u + -7. Is f at most as big as -3?
False
Suppose -3*a + 2 = -3*x + a, 4*x = -3*a + 14. Is 3.3 less than x?
False
Let r be ((-214602)/90)/(26/38). Let j = r - -3485. Let x = -44/65 + j. Is -2 >= x?
False
Let l(w) = w**3 + 9*w**2 + 8*w. Let r be l(-8). Which is greater: -1/5 or r?
r
Suppose 3*i = 10 + 14. Let v be i/(-5) - (-1 + 0). Let q = 188 - 189. Is q >= v?
False
Let y(i) = -i + 12. Let s be y(7). Suppose -b = -2*b - s. Let g be (-4)/10 + (-56)/10. Is g greater than or equal to b?
False
Let t = -0.071 - 0.069. Is 2 at least t?
True
Let p = 16 + -11. Let w be 22 - ((-6)/1)/3. Let b be (w/(-20))/(6/(-20)). Are p and b non-equal?
True
Suppose -11*o - 3 = 8. Which is bigger: -2/75 or o?
-2/75
Suppose -3*h = -101 - 172. Let o = h + -635/7. Let k = 0.05 + -2.05. Which is greater: k or o?
o
Let k = 1.55 - -0.35. Let h = -2 + k. Let x = 0.38 - -0.02. Is x less than h?
False
Let a be 0/(-7) + 2/4. Is -2.2 at least as big as a?
False
Let f = -0.05 - -6.05. Let m = -0.3 - -0.4. Which is greater: f or m?
f
Let z be (-2)/1 + 28/16. Suppose 0 = -2*g - 3*g. Suppose 4*y + g = -4. Which is smaller: y or z?
y
Let i be (0 + 1)/(6/36). Let y be i/(-33) + (-2)/(-11). Suppose y = -3*v + 2*p + 1, -p + 1 = -3*v - 3. Do v and -2 have different values?
True
Suppose -6 = 4*g - 3*y, 5*y = -5*g + 4 + 6. Which is greater: g or -2/81?
g
Suppose -4*i + 3*j = 3, -3*i + 4*j = -7*i + 32. Suppose -w + i = 4*p, 3*w + 5 = -2*w. Which is smaller: 1/6 or p?
1/6
Suppose 120 = 2*q + 5*p, 264 = -4*q + 8*q - 2*p. Let b be 1/3 + q/(-15). Let h(n) = -n**2 - 5*n - 5. Let x be h(b). Which is smaller: -3/10 or x?
x
Let r be 4/14 - 272/756. Which is smaller: r or 0?
r
Let o = -16.5 + 16. Is o bigger than -1?
True
Suppose m = -2*m + 48. Suppose -2*d - 2*d + m = 5*k, -5*d = k - 20. Do 3 and d have the same value?
False
Suppose -2*m - 2 = -0. Which is greater: -2 or m?
m
Let j = -68/7 + 60/7. Is 0 >= j?
True
Suppose 0*q - 3 = -h + q, -3*h = -5*q - 7. Let f = -4 + h. Is f at most as big as 4?
True
Let b = -5.4 - -5.6. Is -5/4 greater than b?
False
Suppose 0 = -k + 5*m + 11 - 6, -3*k + 2*m + 2 = 0. Is 6/13 at least as big as k?
True
Let z be -2 - (1 + -1 + (-28)/(-16)). Which is bigger: -3 or z?
-3
Let w = 14/689905 - -99321483182/11728385. Let l = 1671035/187 - w. Let u = l + -467. Are 1 and u nonequal?
True
Let b be (-6)/(-9)*(1 + -2). Let o = -38 - -38.21. Let z = o - 5.21. Which is greater: b or z?
b
Let u be 1 - 2 - -3*1. Suppose g = 5*g - n + 29, -4*g + 3*n - 39 = 0. Let s be (5 - u)/(g/(-4)). Which is smaller: 3 or s?
s
Let o(a) = a**2 - 2*a - 4. Let j be ((-8)/(-16))/((-1)/(-8)). Let t be o(j). Suppose -2*f = 2*f - t. Which is bigger: 3/4 or f?
f
Let u(f) = -3*f**2 - 22*f - 8. Let t be u(-7). Is 1/28 > t?
True
Let u be -4 - (-1)/((-4)/(-16)). Suppose 3*t - 2 + 5 = u. Which is smaller: -2 or t?
-2
Let g be (-30)/(-44)*(-1)/5. Which is bigger: -1 or g?
g
Let g be (-4)/5*(-6)/4. Is 1/4 >= g?
False
Let v = 0.059 - -0.371. Let z = -0.11 + v. Let b = z - 0.02. Do -0.1 and b have the same value?
False
Let f = -7 - -6. Let o be (f/(-6))/(5/15). Is 1 <= o?
False
Let h = -0.08 - -0.38. Let c = 0.3 - h. Let t = -1 - c. Is 0.2 greater than or equal to t?
True
Let d = -1 - 2. Let i = 0.7 - 0.6. Let q = i - 0. Which is smaller: q or d?
d
Suppose 7 = o + 2, o = -5*a + 5. Let t = 1 + -4. Let z = a - t. Do 1 and z have the same value?
False
Let g be 6/8 - 171/(-76). Which is greater: g or 5/2?
g
Let t be -2 + (-3 - 186/(-37)). Let n = t + 71/111. Which is greater: n or 0.2?
n
Let c be (-8 + 2)*2/(-6). Suppose 0 = -f + c*f. Is 3/5 > f?
True
Suppose -5*i + u = -355, -i + 2*u = 15 - 86. Is 71 <= i?
True
Let c(m) = -2*m + 3. Let v be c(4). Is -6 at least as big as v?
False
Let a = 2/89 - 196/801. Which is greater: 0.1 or a?
0.1
Suppose 8 = -x + 11, 2*w = -5*x + 17. Is -1/94 greater than or equal to w?
False
Suppose 4*q - 2 = 3*q. Suppose -h + q*h + 5 = b, -5*h - 19 = b. Which is smaller: -1/3 or b?
-1/3
Let g = 6323/31 - 204. Which is smaller: g or 0?
g
Let m = -515/6 + 86. Are -1 and m non-equal?
True
Let x = 197 + -111. Suppose 0*h + x = 5*m - h, 5*m = 2*h + 87. Which is smaller: m or 18?
m
Let v(s) = 8*s - 2. Let x be v(1). Which is greater: x or 4?
x
Let m = 10 + -9. Is 2 at least as big as m?
True
Let j = -2 - 0. Let z = -1 + j. Is z >= -3?
True
Suppose 2*l = 7*l. Suppose 3*s - s - 6 = l. Suppose 0 = s*b - 4 + 1. Is 4 greater than b?
True
Suppose -138 = -9*x + 132. Does 29 = x?
False
Let c = 3.06 + -3. Let x = 0.94 + c. Let k = x + -1. Do k and -0.4 have the same value?
False
Let r be (-40)/(-18) - (-6)/(-27). Suppose m + 2*b = 4, -2 - 2 = -m - 5*b. Suppose y = -4*z + 12, z + 22 = m*y + 4*z. Is y less than r?
False
Let a be (-3)/(-21) + 64/(-252). Does a = 1?
False
Let z = -18 - -12. Let t = -6 - z. Does t = -2?
False
Let q(u) = -u + 11. Let r be q(10). Suppose r = k - 2*k. Which is smaller: k or -6/5?
-6/5
Suppose 14*q = 5*q. Which is smaller: q or -2/177?
-2/177
Suppose 2*g - 5*o + 18 = 0, -3*g - o - 1 = -8. Let v be 5 - 2*(-3)/(-6). Let p be (1/v)/(15/(-12)). Which is smaller: p or g?
p
Let f be 4/(-14) + 76/168. Let h = 0 - 0. Do f and h have different values?
True
Let w be (0 + (-12)/21)/(4/(-14)). Is 12/7 >= w?
False
Suppose 4*s - 19 = -3, 4*f = s. Let c be (-3 + 7 + -1)*1. Suppose 0 = -3*x + 3 + c. Is x at least as big as f?
True
Let a be (1/(-4))/(99/4). Let i = -158069/198 - -1597/2. Let v = i - a. Which is smaller: -1 or v?
-1
Let a = 14 - 15. Is a > 0.8?
False
Let f be (-38)/8 + 2 + 36/(-16). Is -3 less than f?
False
Let l = -0.1 + 1.1. Let f(c) be the second derivative of -c**5/20 - c**4/3 + c**3/6 + 3*c**2/2 - 2*c. Let y be f(-4). Which is smaller: y or l?
y
Let b be ((-1)/(-2))/((-1)/(-2)). Suppose -2*j + 31 = -4*u - u, 5 = -u. Suppose -4*p + j*p = 1. Which is bigger: p or b?
b
Let j(n) = -n**3 + 3*n**2 - 3*n. Let i be j(2). Let o be 4/1*(-2)/i. Suppose g = -4*m + 7*m + 16, 0 = -5*g - o*m - 15. Are g and 4/5 equal?
False
Let c = -1 - 2. Let r be (32/6)/(c/18). Let h = 67/2 + r. Which is greater: 3 or h?
3
Suppose 0 = -2*c + 3*c. Let b(l) = -l + 8. Let w be b(10). Let q be 0/(-1 - (w - 1)). Is q at most c?
True
Suppose 2*q - u + 2*u = -10, 0 = -3*u. Let v = -6 - q. Which is bigger: 0 or v?
0
Let a = 0.76 + -0.7. Is 0 smaller than a?
True
Let o be 2/8 + 3/(-28). Suppose 3*s - 46 = -4*j, -3*s + 2*s - 6 = -4*j. Suppose s*y = 12*y. Which is smaller: o or y?
y
Let h(s) = -s**3 + 7*s**2 - 5*s + 4. Let i be h(6). Suppose -z + 3*g + i = 4*z, 0 = g. Which is bigger: z or 1?
z
Let y(g) = -3*g**3 + 2*g - 1. Let w be y(-2). Suppose 2*j = 4*z - 14, 2*z = 7*z - 4*j - w. Which is bigger: 0 or z?
z
Suppose -d = d - 8. Suppose z - 3*f + f + 4 = 0, 0 = 4*z + d*f - 8. Suppose -2*t - 4 = z, -5*l = -3*l + t. Is l > -2?
True
Let k = 5 + -4.99. Let s = k + 0.09. Which is bigger: s or 1?
1
Let u = 0.2 + -0.3. Let f be (-6)/(-14) + 39/(-91) - -3. Is u < f?
True
Let g(u) = -2 - 5*u + 3*u + 3*u. Let i be g(1). Is 0 greater than i?
True
Let b be (22 + -17)*(1 - (-3)/(-5)). Is b less than 2?
False
Suppose 3*q + 9 = 3*n, 0*q = q + 3*n - 9. Let f = -327/7 + 47. Are f and q nonequal?
True
Let z = -65 + 58. Which is bigger: z or -8?
z
Let j be 0/((1 - -1) + 0). Let d = -1 + j. Suppose 4*p = -3*x + 17, -2*x + p = 1 + 6. Do x and d have different values?
False
Let s be (15/(-10))/(3/8). Is s at least as big as -11/3?
False
Let u = 23 - 29. Which is smaller: u or 0.6?
u
Let g = -39 - -46. Which is smaller: g or 11/2?
11/2
Let f = 60 - 93. Are f and -2/3 nonequal?
True
Let i be (1 + 0)/(6/(-2)). Let d = 0.22 - 0.35. Let o = d + 0.13. Is i >= o?
False
Let k = -8.04 - -6. Let q = k - -0.04. Is -1 smaller than q?
False
Let q(z) = -z**3 - 3*z**2 + 3*z + 4. Let h be q(-3). Let p = -6 - h. Let g = -6 - p. I