nd -4 equal?
False
Let z = -40 + 39.85. Are 2/5 and z non-equal?
True
Let u = 26/9 - 1141/18. Which is greater: u or -62?
u
Let i be (-1 - -1) + (62/6)/(-1). Which is bigger: -11 or i?
i
Suppose 0*q = 3*q - 4*d - 48, 2*q - 28 = 4*d. Suppose -4*c - 9 = -5*x - 29, -5*x - q = c. Let h = x + 3. Is -1/4 <= h?
False
Let a = 21 - 19. Let p = a + -2. Do -1 and p have the same value?
False
Let p = -10.8 - -0.8. Is 1 smaller than p?
False
Let y = -13 + 13. Is y greater than or equal to 1/9?
False
Let q be 44/(-6) + 6/18. Let k = q + 11. Let i = k + -8. Which is greater: -5 or i?
i
Let q = -1124/417 - -4/139. Suppose -3*x = -x + 4. Do x and q have different values?
True
Let d = -0.56 - -3.46. Let a = d - 3. Which is bigger: 1 or a?
1
Let l(c) = -c**3 - 3*c**2 - c - 2. Let u be l(-3). Is u at most -0.1?
False
Suppose 106 = 3*v - 47. Is v greater than or equal to 51?
True
Let c = -9 + 2. Let b = c + 5.4. Let t = -2 - b. Which is bigger: t or 0.1?
0.1
Suppose 0*d = d. Suppose -3*m - 3 = d, 0 = k - 4*m - 6. Let f = k + -2. Is 0 at most f?
True
Suppose 5*b - 16 = -6. Let t = 0.3 - 0.4. Let p = 0.1 + t. Which is greater: b or p?
b
Suppose x = -1 - 0. Let g(d) = -d**2 - 3*d + 4. Let k be g(-4). Suppose 4*o - 6 = 5*s, k*s + 4*o - 10 = 3*s. Which is bigger: x or s?
s
Let x = -24 + 24. Let k(g) = 13*g. Let y be k(2). Let s = y - 181/7. Is s < x?
False
Suppose 6*o - 54 = -0*o. Is o < 7?
False
Let a(h) = -h**3 - 17*h**2 + 2*h + 6. Let r be a(-17). Is -28 greater than r?
False
Let n(h) = -h**3 + 2*h. Let m be n(-2). Suppose -g - m*g = -10. Let c = -3 - -5. Is g equal to c?
True
Let m(q) = 2*q + 1. Let l(f) = 2*f + 5. Let c be l(-3). Let p be m(c). Which is smaller: p or -1/8?
p
Let s be (-126)/(-28) - (-2)/4. Which is smaller: 1 or s?
1
Let q be (-7)/((-21)/13) - 5. Let o = -20 - 40. Let y = -298/5 - o. Is y > q?
True
Let q(f) = -f**2 - f + 4. Let i be q(0). Suppose 0*l + i*l = -20. Which is greater: -6 or l?
l
Let x be 1549/2052 - (-1)/(-4). Let n = x + -11/19. Which is smaller: n or -1?
-1
Let a = 6 - 5. Let i be -1 + a - 2/3. Let d be (-4)/6*1/2. Which is smaller: d or i?
i
Let r be 1/3*(-8)/24. Which is greater: 1 or r?
1
Let n be 4/14 - 155*6/2961. Which is smaller: -1 or n?
-1
Let w = -79 - -121. Is -1 less than w?
True
Let h = -1.54 - 0.06. Let j = 1.4 + h. Which is greater: j or 0.04?
0.04
Let l(g) = g**3 - 7*g**2 + 3*g - 21. Let q be l(7). Is -5/9 greater than or equal to q?
False
Let s(c) = -c**2 + c. Let t(l) = -l**3 - 6*l + 2. Let m(o) = 4*s(o) + t(o). Suppose 8 = 4*d + 5*j, 5*j + 1 = d + 24. Let g be m(d). Which is smaller: g or -2?
-2
Let y = 2 - 3. Is -1/15 at least y?
True
Let j(k) = -k**2 - 9*k - 12. Let s be j(-8). Let u = -5 - s. Is u < -1/3?
True
Let k = -22.3 + 22.3. Let j = 0 - 0.1. Is k < j?
False
Suppose 3*m = -4*o + 55, 3*m - m - 20 = -o. Let i be 5/o - (-1)/(-2). Let s(c) = -c + 2. Let h be s(3). Is h greater than or equal to i?
False
Let b = 40 + -165/4. Is -1 smaller than b?
False
Let v = -23 + 22. Which is bigger: -2 or v?
v
Let q = -0.3 - 0. Let h = q + -0.7. Which is smaller: -0.1 or h?
h
Let d(q) = -7*q**2 + q. Let b be d(-1). Is 0 equal to b?
False
Let w(y) = y. Let a be w(4). Suppose -5*t + 4*s + 48 = 0, 0 = -5*t + 4*t - a*s. Let z(c) = c - 9. Let j be z(t). Which is smaller: j or -3?
-3
Let w(l) = l + 1. Let u be w(3). Suppose 8*x - 6*x = u. Let f = -59 + 298/5. Which is smaller: x or f?
f
Let g(p) be the first derivative of -p**2/2 - 7*p - 2. Let w be g(-6). Which is smaller: w or -7/3?
-7/3
Suppose 3*a = -4*u - 9, 4*u = u + a + 3. Let l = -1928/7 + 276. Does u = l?
False
Let k be 2/9 + (-4)/18. Let b be -2 - (-7 + 1) - k. Suppose b*q + 3 = -1. Is q < 0?
True
Let f = 37 - 21. Suppose 5*j = -4*l + 18, -5*j - 2 = 2*l - f. Which is smaller: 3/4 or l?
3/4
Let t = -0.131 - -0.173. Which is smaller: 1 or t?
t
Suppose 2*r + 2 = 3*r. Suppose 0 = -r*x - 7 + 3. Are x and -0.1 equal?
False
Let f be (-4 - -17)/(-1 - -2). Let i be ((-54)/15)/((-4)/10). Let t = f - i. Which is smaller: 3 or t?
3
Suppose -r + 0*r + 6 = 0. Let f(a) = a - 6. Let x be f(r). Is x greater than -1?
True
Let j be 90/(-4)*12/(-18). Let z = 15 - j. Which is smaller: z or -20?
-20
Let h(v) be the third derivative of -v**4/24 + 3*v**3/2 - 3*v**2. Let x be h(7). Suppose 3*j = -x*q + 5*q - 9, -2*j = -6. Which is smaller: q or 2/3?
2/3
Suppose 3*v + 8 = -z, 5*v = 5*z - 2 + 22. Let j be 5/(-12) - (-13)/52. Is j at most as big as v?
False
Suppose 0 - 4 = 4*m. Suppose 3 = 4*n - 3*y - 3, 6 = 3*y. Let a be (n - (-2)/(-1))/m. Are a and -1 non-equal?
False
Let h be ((-73)/219)/(1 - (-10)/(-12)). Is -7 > h?
False
Let m = -26.03 + 26. Let r = 0 - 1. Is m >= r?
True
Let h(l) = l**3 + 7*l**2 + l + 10. Let v be h(-7). Let a = -3 + 5. Suppose 2*x = 2*q - q - 4, -a*x = 2. Which is smaller: q or v?
q
Let j = -1 + 1. Let u = 0.1 - j. Let g = 0.5 - -1.5. Is g less than u?
False
Let v = -58 - -51. Which is smaller: -6 or v?
v
Let a be (-2 + 1 - 1) + -3. Let h be 158/10 + (-1)/a. Let r be (-14)/(-8) - 12/h. Is r at least 1?
True
Let w be (3/(-2))/((-342)/(-24)). Let v be 4/(-6)*(-27)/6. Suppose -4*c - 5*g - 28 + v = 0, c - 5*g = 25. Which is bigger: w or c?
c
Let n = 87 + -82.7. Let g = -2.4 + n. Let i = 2 - g. Are i and -3 non-equal?
True
Suppose -3*w + 3*p - 21 = 0, 4*w + 29 = w + 5*p. Let l be w + 2 + 1/1. Which is bigger: -2/7 or l?
l
Let g = -0.054 + -0.016. Which is smaller: g or 5/7?
g
Let d = 14/9 - 52/45. Is d <= -1/8?
False
Let h = -85/3 + 434/15. Which is greater: 0 or h?
h
Suppose 4*l = -q + l - 12, q + 4*l = -16. Suppose w + q = -2. Which is greater: w or -4/3?
-4/3
Let b(x) = x**2 - x. Let a(o) = -o**3 + 5*o**2 - 4*o - 4. Let s(n) = -a(n) - 3*b(n). Let j be s(7). Let g = 5 - j. Is g at least -2/9?
True
Let w(t) = 6 - 3 + 0*t + t. Let l be w(-4). Let k be (-1)/3*2/3. Are k and l non-equal?
True
Let l = 0 + 0.1. Is l >= 2/25?
True
Let j be (-1)/(-4) + 116/(-528). Which is smaller: j or 0?
0
Let u = 563/5 + -113. Which is bigger: u or 1?
1
Let f = -12.525 + 1.345. Let u = -0.18 - f. Is u > 2?
True
Let j = 14 - 1. Let n = j + -10. Let w = -0.2 - -0.4. Is w <= n?
True
Let o = 10.8 + -10. Let d = o - 0.5. Let s = d - 1.3. Which is smaller: s or 1?
s
Let a = 18 - 13. Suppose q = 4*n - 2*q - 51, 0 = -a*n + q + 50. Do 9 and n have the same value?
True
Let a = 0.7 + -1. Let g = -1.3 - a. Let z(m) = -m**2 - 6*m + 3. Let r be z(-6). Is g bigger than r?
False
Let k be (7 - 11)*1/(-10). Which is smaller: -3 or k?
-3
Let n be (-1*(-1)/(-11))/(2/(-10)). Which is smaller: n or 1?
n
Let a = -2.99 - -3. Let o = a - 2.01. Let u be (-3)/18 - 1/2. Are u and o unequal?
True
Let d be (1580/108)/(-5) - -3. Which is greater: -1 or d?
d
Let g = 1/44 - 101/572. Let h = -9 + 8. Do h and g have the same value?
False
Let x be (3 - (-1 + 2)) + -1. Let p = -44 + 43. Which is greater: x or p?
x
Let k(c) = -6*c + c + 2*c + 1 - c**2. Let n be k(-3). Are 4/7 and n nonequal?
True
Let j be (3/6)/((-1)/(-4)). Suppose 2*o + 4 = j*h - 4, -4 = -o - h. Is o bigger than 0?
False
Suppose 4*q + 20 = 2*r, 24 = 2*r - 0*r - 5*q. Suppose -3*p - r*p = -10. Is -1 >= p?
False
Suppose -g + 16 = 3*g. Let x(u) = -u**2 + 5*u - 2. Let b be x(g). Suppose 12 = i + 5*t, -b*i = -6*i - t + 10. Is i at most as big as -1/2?
False
Let w = 4 + -24. Let d = -25 - w. Is d > -13/3?
False
Suppose 3*p + 18 = f + p, 3*f - 46 = 4*p. Let v = -12 + f. Which is greater: v or -3?
v
Let q = -5/17 + -2/51. Is q < -1/6?
True
Suppose 0 = -c - 5*x - 18, 3*x + 2*x = -20. Which is smaller: c or 4?
c
Suppose 3*s - 36 = 21. Is s greater than 19?
False
Let q = -8 - -8. Let o(g) = -5 - g + 4 + 6 + 0*g. Let s be o(4). Is q not equal to s?
True
Suppose -4*q - 15 = -3*b, 4*b - 7 = -q + 13. Let n be (1/(-2))/(b/(-20)). Which is greater: n or 0?
n
Let y = 7916/37 - 214. Is 1 greater than y?
True
Let o be (2/4)/((-1)/4). Suppose s = -3*s. Suppose 3*d + 0*d + 5*w - 11 = s, w = 4. Which is smaller: o or d?
d
Let z = -1 - -2/3. Let r(h) = 2*h - 11. Let y be r(5). Which is smaller: z or y?
y
Let j = 9 - 9. Let l = -4 - j. Is -2 at most as big as l?
False
Let d(t) = t**2 - 6*t - 3. Let j be d(7). Suppose 0 = -0*q + j*q. Is q greater than or equal to 2/5?
False
Let q = 101 - 403/4. Suppose -1 = a + 1. Let v be 0/a - (-2 + 1). Which is smaller: q or v?
q
Suppose -5*b + 2*b = 0.