. Suppose 3*r + 0*u + 4 = -4*u, -2*u = -r + 2. Are r and f nonequal?
True
Let i(v) = -20*v - 1119. Let l be i(-56). Let f = 4 + -10. Let y = 4 + f. Which is greater: l or y?
l
Let g be ((-3)/6)/((-136)/96). Which is smaller: 0 or g?
0
Let y = -15.89 - 0.11. Let d = y - -9. Which is bigger: 2/5 or d?
2/5
Let l(z) = -2*z - 2. Let n(c) = c**2 - 6*c + 2. Let m be n(5). Let d be l(m). Let s be -2*(-2)/d*-1. Do -1 and s have different values?
False
Let v = 4896677/13 + -376942. Let d = 275 + v. Which is smaller: d or -1?
-1
Let a = 1/79 + 151/553. Which is smaller: a or 0.5?
a
Suppose 4*m + 3 + 1 = 0. Let c(t) = -t + 1. Let n(u) = 4*u. Let q(s) = m*n(s) - 3*c(s). Let j be q(-5). Is 2 <= j?
True
Suppose 2*m + 3*m - 5 = 0. Let g be ((-2)/(-58))/((-1)/2). Is m at least g?
True
Let g = -9.7 - -10. Let f be (-3 + 4)/((-4)/(-1)). Which is bigger: f or g?
g
Let d = -4 + 1. Which is smaller: -0.3 or d?
d
Let g = 1 + -2. Let s be (3/45)/(5/(-15)). Is s <= g?
False
Let x = -133 + 135.01. Let y = x + -0.01. Let o = 2 + -4. Is o not equal to y?
True
Let z be (-4 + 2)/(2/58). Let o be (-8)/36 - z/18. Suppose 0 = 4*n + o*b - 14, -4*n - 3*b + 12 = -b. Are n and 3 unequal?
True
Let o(q) = -3*q**3. Let r be (-6)/(-10) + (-6)/(-15). Let g be o(r). Suppose 21*s + 45 = -18. Is s < g?
False
Let i be 3 + -2 + 492/7. Let u = i - 71. Which is bigger: u or 13?
13
Let s be 5 + -4 + 0 + -1. Is -2/49 at least as big as s?
False
Suppose -3*f + 4 = -5. Let y = -1 + f. Which is smaller: 3/4 or y?
3/4
Let t(j) = j**3 - 12*j**2 + 10*j + 6. Let p be t(11). Which is greater: -2 or p?
-2
Let y = 88 + -89. Is -6/7 < y?
False
Suppose 0 = 4*v + 34 + 2. Let j be 4/6 - 93/v. Let n = j + -45/4. Is 2/11 >= n?
True
Let v(o) = o**2 + 22*o + 20. Let k be v(-21). Is -10/11 at most as big as k?
False
Let u = -4 - 4. Let d = u + 8. Are -7 and d unequal?
True
Let v be -5*5/((-75)/(-6)). Let n be 6/(-1 - (-1)/v). Is -6 smaller than n?
True
Let h = -943/7 - -135. Does h = -1?
False
Let t = 2.3 + -0.3. Let a = 0.18 + -2.38. Let y = a + 2. Which is bigger: t or y?
t
Let g = 12 - 12.11. Let x = 0.61 + g. Is x equal to 0.1?
False
Let u = 26.8 + -27. Let r = 1.1 - 0.1. Which is smaller: r or u?
u
Let d(m) = -2*m + 6. Suppose -6*l + 2*l = 0. Suppose 3*w - 8*w + 25 = l. Let v be d(w). Is -4 less than v?
False
Let w be (-112)/(-305) - 9/(180/8). Is 0 at most as big as w?
False
Suppose 0 = 2*a + 2*u - 8, 0*u + 5 = -a + 2*u. Is a < 7/5?
True
Let w = 2 - 4. Let i(r) = -r + 2. Let l be i(7). Let h = l + 3. Is h greater than w?
False
Let m = -0.4 - -1.4. Let u be 2/5 + (-2)/5. Which is greater: m or u?
m
Let n = -4.5 + 4.5. Does n = -27/2?
False
Let w(x) = 2*x**3 + x**2 - 2*x - 2. Let i be w(-1). Which is smaller: 1/8 or i?
i
Suppose f + k - 4 = -f, k = 5*f - 17. Suppose 3*s + f - 11 = -2*p, -5*s + 2*p + 24 = 0. Is s < -2/5?
False
Suppose 0 = 5*n - 2*i + 5*i - 8, 5*n = 5*i. Let z be n*(3/(-3) - -1). Is z smaller than 0?
False
Suppose -46*n = -49*n - 117. Are -159/4 and n nonequal?
True
Let j be (2 + 1)*(-10)/(-15). Suppose -1 = -5*z + u + 4, j*z + 20 = -4*u. Suppose x - 2 + 6 = z. Which is smaller: -3 or x?
x
Let u be (-6)/(-4)*16/12. Let m be (-3 + 6/2)/u. Which is smaller: m or -1/3?
-1/3
Let z be (4/14)/(90/(-70)). Let j = -4 + 3.6. Is j less than or equal to z?
True
Suppose 3 = j, -4*k + 0*k - 3*j - 63 = 0. Is -18 >= k?
True
Suppose -v - 5*u + 10 = 0, 2*v - 4 + 0 = -2*u. Which is greater: 2/9 or v?
2/9
Let f be 4/(-3) - (-5)/15. Let s be (f + 1)*3/6. Which is greater: s or -6/7?
s
Let o(c) be the third derivative of c**5/60 - 13*c**4/24 - 8*c**3/3 + 2*c**2. Let m be o(14). Let y = 1250/91 + -186/13. Is m less than or equal to y?
True
Let x = 11/7 + -19/21. Is x < 2/3?
False
Let f = -0.51 - 3.69. Let y = -0.3 - 3.7. Let b = f - y. Which is bigger: b or 0?
0
Let h(x) = x**2 + 5*x - 7. Let g be h(-6). Let z be g/13*-2 + 0. Is z less than -1?
False
Let h be ((0 - -3) + -6)*(2 + 1). Is -9 at most as big as h?
True
Let n = 7 - 4. Let i = 667 + -663. Which is smaller: n or i?
n
Let c(g) = -10*g**3 - g**2. Let x be c(1). Suppose 5*w + r + 56 = 0, 8*w = 3*w + r - 64. Is x equal to w?
False
Suppose 2*u = -3*u + 25. Suppose -4*n = -u*r + 26, -2*n + 6 - 4 = 5*r. Suppose -3*t + 5*p = t + 1, 3*t + r*p - 5 = 0. Is t < -1?
False
Let a(r) = -r**3 - r**2 + r. Let l be a(0). Let k be 0 + 0 - (l - -1). Let x be ((-3)/(-2) + -2)*(-1 + 3). Is x less than or equal to k?
True
Let n = 0.12 - 0.02. Let b = -0.14 + -0.08. Let r = -0.2 - b. Which is smaller: n or r?
r
Let w = -0.9 + -1.1. Let c = 4 + w. Which is greater: c or 1?
c
Let z(h) = -4*h + 26*h**3 + 2 - 3*h**2 - 25*h**3 - 2*h. Let v be z(4). Let u be -5 - (1 - 0)*1. Is u >= v?
True
Suppose 12 = 3*a, 0 = 2*v - 3*a + 2*a + 6. Let g be (9*v - -3) + 3. Let s(c) = c**3 + 3*c**2 + 4*c + 2. Let n be s(-2). Is g less than n?
True
Let a(c) = -2*c**3 + c**2 - c. Let d be a(1). Let j(r) = -26*r + 2. Let u be j(-2). Let o be (105/u + d)*4. Is 1 greater than o?
True
Let k(r) = -r**2 - 3*r + 1. Let h be k(-4). Suppose -2*n - 70 = 4*c - 26, 4*n - 29 = 5*c. Let z(g) = g + 5. Let s be z(c). Is s smaller than h?
True
Let f be (35/14 - 2) + (-74)/4. Which is bigger: -16 or f?
-16
Let m = 28 - 19. Is 8 at least m?
False
Let h be -53*(10/(-8) + 1/4). Which is greater: h or 52?
h
Suppose 5 = 3*k - 1. Suppose h = 6*h - 30. Let l = -6 + h. Which is bigger: l or k?
k
Let d = -37 - -39. Which is smaller: d or 6/11?
6/11
Let p = 3.3 + -0.3. Let n = 2 - p. Is 0 bigger than n?
True
Let x = -13 - -5. Let p = x + 8. Is p bigger than 1?
False
Suppose 2 + 0 = -2*u. Let n = 3/2 + u. Suppose 0 = -w - 3 + 5. Is w bigger than n?
True
Let s(l) = l - 2 + 3 - 6. Let g be s(8). Let n be g/(3/2) - 3. Which is bigger: n or -2/3?
-2/3
Suppose -5*c - 5*w + 30 = 0, -6 = -2*c + 2*w + 26. Which is bigger: c or 19/2?
c
Let w(f) = 3*f. Let n be w(0). Let u(i) = -i**3 + 2*i**2 - i + 1. Let d be u(1). Which is smaller: d or n?
n
Let k = 15 - 10. Suppose -4*w - w + k = 0. Is w bigger than 3/11?
True
Let z = 146/7 + -877/42. Is z smaller than 0?
True
Let n = -3 - -3. Suppose 4*t + 2*c - 38 = 0, 0 = 4*t + 2*c + 2*c - 36. Let u be (12/15)/(28/t). Are u and n non-equal?
True
Let j = -1 + 3. Let v = 1 - j. Let s be (3/1)/(-12) - (-26)/8. Which is smaller: s or v?
v
Suppose 115 = -5*f + 35. Is -16 at least as big as f?
True
Let x be 34/14 + -7 + 5. Suppose -25 = 5*c + 15. Let l be (-1)/((-2)/(c/4)). Is l at most x?
True
Let a(w) = w**3 + 2*w**2 - w - 2. Let v be a(-3). Let y = 12 + -20. Is y greater than v?
False
Suppose 3*w + 2 = 2*b + 1, -5*b - 1 = -4*w. Which is greater: 1/4 or b?
1/4
Let z be (3 + 0)/(21/1624*4). Is z < 58?
False
Suppose -3*f + 4 = -2. Are 2 and f equal?
True
Let v = -19 + 19. Which is smaller: v or -1?
-1
Let t be 2/6 - (-1)/(-21). Is t greater than or equal to -30?
True
Let z be 3 + (-1)/(2/7). Suppose 2*v = 3*j - 0*j - 9, 2*v + 8 = 2*j. Is j not equal to z?
True
Suppose 5*g - 5*c + 4*c - 4 = 0, 6 = 3*g + 3*c. Is g not equal to -2/509?
True
Let f = 317 + -322. Let j = 0 - -0.1. Is j smaller than f?
False
Suppose 3*o - 2*w + 9 = 127, 122 = 3*o + 2*w. Let r = o - 157/4. Which is smaller: 2 or r?
r
Suppose -10 = z - 3*o, o - 41 = 5*z - 5. Let c = z - -6. Is -2 >= c?
False
Let l = 0.3 - 0.4. Let d = -21 - -39. Let r be d/(-8) - (2 - 4). Is r != l?
True
Suppose -2*h + h + 4 = 0. Suppose 20 = 5*j - 3*d - 2*d, 17 = 5*j - h*d. Is 3 < j?
False
Suppose -3*v = v. Suppose c = r + 1, -r = c - 3 - v. Which is greater: r or 2/25?
r
Let s be 10/(1 + (3 - 2)). Let v be -1*s - 1/1. Let m be -3*v/9 + -3. Is m >= -1?
True
Let l be 2*-2 + (-140)/(-36). Suppose p = -5*t - 5, -2*p = 5*t + 2 + 3. Which is smaller: p or l?
l
Let g be 10*(37/35 + -1). Is 1 equal to g?
False
Let w = 4280/9217 - 2/709. Which is smaller: w or 1?
w
Let b = -2 + 3. Let g = -109 - -1421/13. Let u = -6/65 - g. Which is smaller: u or b?
u
Let y(m) be the second derivative of -m**3/6 + m**2/2 - 5*m. Let s be y(2). Are s and -3/14 equal?
False
Let d be -6 + (2*-1 - -3). Let o = d - -9. Suppose 3*x - 2*a = o*x + 7, 0 = 3*x - 5*a - 12. Is x equal to 0.3?
False
Let v be (8/20)/(1/(-20)). Let w = v - -9. Suppose 2*x = -w + 3. Which is greater: x or -1?
x
Let y(v) = -v**3 + 2*v**2 + 2*v. Let g be y(3). Let m be (0 - 0) + 6/(-4). Which is smaller: m or g?
g
Let f be