be z(3). Are -20/7 and m nonequal?
True
Let b(x) = 4*x - 4. Let d be b(1). Let o be 2/(-4)*1/(-5). Which is greater: d or o?
o
Let d be (-154)/(-49) - (-1)/(-7). Which is smaller: -1/3 or d?
-1/3
Suppose -3*d = -5 + 14. Are -14/5 and d unequal?
True
Let l(x) = -x + 5. Let r be l(5). Suppose u - 2*u + 2 = r. Let f = -31 + 32. Which is bigger: u or f?
u
Suppose 0 = h + 10. Let s = -12 - h. Let t = s - -1. Are 2 and t nonequal?
True
Let b(l) = -l - 3. Let j be b(-8). Let s be 18/40 - j/20. Let p(f) = -f + 3. Let o be p(2). Which is greater: o or s?
o
Suppose 0*a - 3*f = -a + 25, a + 3*f - 49 = 0. Let c be (3 - 2) + a + 3. Let q = c + -125/3. Which is bigger: q or -1?
q
Let q(w) = 7 + 0*w - w - 4. Let h be q(6). Is h less than -3?
False
Suppose 10*z + 6 = 9*z. Which is bigger: -2 or z?
-2
Let d be (3 - 10/5)*-11. Which is smaller: d or -13?
-13
Let t = -1 - -8. Suppose 4*m + 20 = 0, 2*g + 3*m = t*m + 30. Is 3 at most g?
True
Suppose -2*y = -2*h + y + 9, 2*h - 5*y - 11 = 0. Suppose 3*f = 5*w, -w - 2*f + h*f = 2. Is w at most as big as 5?
True
Let q = -2 - -3. Suppose 2*z - 16 = 2*v, -z + 3*z + v - 16 = 0. Let s be z/50*20/(-8). Are s and q unequal?
True
Let i = 1 + -9. Let j = -10 - i. Which is greater: 1 or j?
1
Let b = -1 + 0.9. Let z = b + 0.3. Let y be 2/30 - (-3)/9. Which is greater: y or z?
y
Let x = -8 - -2. Let u be 2 + -2*(-9)/x. Is -2 < u?
True
Let d(l) = -l**3 - 4*l**2 + 4*l - 3. Let m be d(-5). Let y(u) = -u**2 - 4*u + 11. Let r be y(-5). Let c = 9 - r. Is m < c?
True
Let n = 26 + -24.9. Let c = 1.2 - n. Which is greater: 2 or c?
2
Let y = 3 + -5. Let l = 1.9 + y. Which is smaller: 1 or l?
l
Suppose h + 2*a + 19 = -4*h, 3*h + 6 = -3*a. Is h not equal to -2?
True
Let r = 0.034 - -0.086. Let o = 52/329 - -6/47. Is o < r?
False
Let q = 971/1548462 - -3/1786. Let x be -1 + 1/((-2601)/(-3173)). Let j = q + x. Is j smaller than 0?
False
Let l(z) = -z**2 - 4*z + 2. Let a be l(-5). Let h(b) = 4 - b + 2*b + b**2 + 3*b. Let w be h(a). Which is smaller: w or 5/4?
w
Let m be (5/1)/10*2. Which is smaller: m or 5?
m
Let g be (0 - -2)/2*1. Let r(c) be the second derivative of -c**5/20 + c**4/12 - c**3/3 + c**2/2 - c. Let q be r(g). Which is smaller: 0 or q?
q
Suppose -5*f - 71 = -3*h + 7*h, 2*h = 2*f + 14. Is -11 greater than f?
False
Let h = 1682000381/313728 - -1/104576. Let v = 5486 - h. Let u = v - 123. Is 1 greater than u?
False
Let b be -4 + (-6)/(-14) + 4. Which is smaller: 1 or b?
b
Suppose 58 = -o - 4*b, 5*o = -3*b - 236 + 14. Which is greater: o or -43?
o
Let s = -11/20 + 349/780. Which is bigger: s or 1?
1
Let r = -3079/42 + 221/3. Is r at most -1?
False
Let i = 2 - 3. Suppose -2 = 3*d - 8. Suppose 0*f = d*f. Is i at most as big as f?
True
Let m = -41 + 42.04. Let j = 0.04 - m. Let x = j + 0.8. Is x >= -2?
True
Let z = 1 - 5. Suppose 4 = 37*n - 39*n. Is z <= n?
True
Suppose 4*g - j = -85, g - 5*j + 0*j = -45. Suppose 4*z + 3*q + 53 = 0, -2*z - 4*q - 35 = -1. Let a be g/z - 4/2. Is -1 <= a?
True
Let j(d) = d**2 - 2*d. Let n be j(2). Let p = -2/701 + -1384/6309. Which is smaller: n or p?
p
Let b = -18 - -18.12. Let u = b + -0.02. Is -6 != u?
True
Let l be 305/15 - (2 + 20/(-12)). Is l less than or equal to 20?
True
Let d = -2744/15 + 183. Which is smaller: d or -1?
-1
Let l be ((1 + -1)/(-3))/(-2). Let i be ((-12)/18)/(-1 + l). Which is greater: i or 2?
2
Let l be 1/4*32/60. Let w(u) = u**2 + 6*u + 7. Let q be w(-2). Are q and l unequal?
True
Let a be 0/(2*1) + 124/(-155). Are a and 0 nonequal?
True
Let v = -1.3 + 0.3. Let s(t) = 2*t - 6. Let y be s(5). Suppose -1 = y*d + 3. Are v and d non-equal?
False
Let b = -8 - -4. Let y = 4 + b. Let u be (10/15)/(22/6). Which is bigger: y or u?
u
Let y = 45 + -45.97. Let m = -0.03 + y. Which is smaller: m or 5?
m
Suppose 4*c = 2*c + 14. Let j be (c + -6)*(-5)/2. Do j and -4 have the same value?
False
Suppose 4*l = 2*l - 6. Let c = -28 + 26. Which is smaller: c or l?
l
Let f be (-4 + 309/78)*-4. Let g(l) = l - 5. Let i be g(6). Is f less than i?
True
Let n = 0.0818 + 0.0182. Let k = 128 + -1916/15. Let y = k - 2/45. Is y at least as big as n?
True
Let x = 8 + 0. Let q(i) = -3*i - 2*i + 4*i + 8. Let w be q(x). Is w greater than or equal to -2/5?
True
Let p(i) = -i**3 + i + 1. Let h be p(-1). Let r be 6/(-4)*2/(-3). Is r != h?
False
Suppose -s + 3*s - 10 = 0. Let q(f) = f**2 - 4*f - 2. Let n be q(s). Let x be 1 - (1 + 6/n). Is 0 smaller than x?
False
Let v be 5 - (2 + -2 + 2). Suppose -o - v*r = r - 15, -2*r = 2*o - 6. Which is smaller: -2 or o?
-2
Let s be (18/(-12))/(-2 - -8). Let n = s + 5/12. Which is greater: n or 3/4?
3/4
Let v be 45/12 + 2/8. Suppose w - 5*l = -3, -4*w - v*l = -7*l - 22. Suppose -3*d + 1 = w. Which is smaller: d or 0?
d
Suppose -2*t + 5 - 1 = 3*u, -2 = -4*t - 3*u. Is t < 5?
True
Suppose v - 3 = -2. Let r = v - -2. Let i be (32/6)/(-4)*3/6. Is r smaller than i?
False
Suppose -6*n = -14 + 2. Let y be 0 - 0 - (2 - 5). Let l = y - n. Which is greater: 1/3 or l?
l
Let h = -26 - -16. Let a = -16 - h. Which is greater: -7 or a?
a
Let f(q) = -q**2 + 3. Let v = 6 + -6. Let z be f(v). Let l(t) = t**3 + 8*t**2 + 8*t + 9. Let i be l(-7). Which is smaller: z or i?
i
Let c(g) = g**2 + 14*g - 16. Let z be c(-9). Are z and -61 non-equal?
False
Let k = -53 + 30. Is k smaller than -23?
False
Let t be ((-4)/2)/(16/152). Let d = -13 - t. Which is greater: d or 7?
7
Let g(n) = n - n**3 - n**2 + 5 - 2*n + 7*n**2 - 4*n. Let w be g(5). Which is smaller: w or 6?
w
Let b = 69/83 + -31781/38429. Does b = 1?
False
Suppose -5*g + 44 - 49 = 0. Let a(n) = -n - 9. Let d be a(-7). Let o = d - -1. Does o = g?
True
Suppose x = -0*x + 2. Suppose g - 2 = -1. Let d be (g + -3)/(4/x). Which is smaller: 0 or d?
d
Let i(z) = z**2 - 4*z. Let j be i(4). Let p = 21 - 21. Is p less than or equal to j?
True
Suppose -2*k + 6 = -8*k. Is k != -24/23?
True
Let q = -23 + 22.93. Is -1 at least as big as q?
False
Let z = 6 - 6.6. Let p = z - 0.4. Is -1/8 bigger than p?
True
Let k = -0.07 - -0.01. Let z = -0.04 + k. Let s = -0.3 + z. Which is bigger: s or 1?
1
Let n = 40.5 + -41. Is -2/7 > n?
True
Let w be -6*(0 - -3)/(-9). Suppose -w*q + q = 1. Does q = -12?
False
Let d be (-19)/(-1) + (-15)/5. Let n be 1 + 4 - d/4. Is n > 3?
False
Suppose 0 = -4*d + 5 - 1. Suppose 0 = -4*n - 3*b + 156, 3*b + b + 226 = 5*n. Let l = n + -125/3. Are l and d non-equal?
True
Let a be ((-18)/40)/((-6)/216). Let z = a + -16. Which is bigger: -1 or z?
z
Let h = -9.44 + 0.44. Which is greater: h or -2?
-2
Let z be ((-84)/49)/((-1)/70). Let t be ((-84)/z)/((-2)/4). Let y(i) = 3*i - 1. Let l be y(1). Do t and l have different values?
True
Let m = 212/105 - 13898/6895. Let x = m + -3568/6501. Does -1 = x?
False
Let n be 63/28 + 1/(-4). Let m be 12/2*(-1)/(-9). Does n = m?
False
Suppose -5*w = 15, -4*x = -w - 20 - 7. Suppose -5*d + y + 1 = 6, d = 5*y + 23. Let j = d + x. Which is smaller: 2 or j?
2
Suppose 4*u + 12 = 0, 3*u + 4 + 0 = 5*n. Let f(d) = -d**3 + d + 2. Let o be f(-2). Let r = -8 + o. Which is bigger: n or r?
r
Let u = -33 + 22. Which is greater: -9 or u?
-9
Suppose -a = 3*a + 12. Are a and -7 equal?
False
Let g = 2.8 - 2.7. Which is smaller: g or -0.16?
-0.16
Suppose -i - 9 = -4*i. Let f be 4/(-3)*i/(-2). Which is bigger: f or -0.1?
f
Suppose 5*u + 48 = u. Let l = u - -37/3. Suppose 6*n = 3*n. Is l at most as big as n?
False
Let g = 5 + -5. Let w = g + -2. Is w > 1/3?
False
Let l = -153 - -156. Which is smaller: 16/9 or l?
16/9
Let n = -74 - -240. Let t = 1164/7 - n. Which is smaller: 1 or t?
t
Let q(x) = x. Let w be q(7). Let y = 5 - w. Is y at most as big as -3?
False
Let u be (-1*(-8)/156)/(8/12). Which is smaller: -1 or u?
-1
Let f be ((-4)/10)/((-56)/105). Is 2 bigger than f?
True
Suppose 0 = 5*s + 2*n - 4, 2*s - 26 = 5*n - 7. Let g = -3.3 - -0.3. Let w = -2 - g. Which is smaller: w or s?
w
Let t = -97/165 + 14/55. Let l = 3 + -4. Is l != t?
True
Let h be ((-3)/6)/(3/(-6)). Suppose -w + 0 + h = 0. Is 1 > w?
False
Let m(r) = -r**3 - r**2. Let s(u) = u**3 + 5*u**2 - u - 2. Let w(t) = -2*m(t) - s(t). Let y be w(2). Is y smaller than -1/2?
False
Let i(k) = k**2 + 9*k - 7. Let m be i(-10). Let g be (-50)/(-18) - (-4)/18. Let z = 0 + g. Do z and m have different values?
False
Suppose -1 = q + p, q - 1 = 5*p + 4. Let d be 2 + 21/(-30)*2. Which is s