 2 + h + -3 - -2. Do a and 5/3 have different values?
True
Suppose 5*f - 2*v + 0*v = 4, -5*f = -5*v - 10. Let c = -8 - -8. Let t = -3/5 - c. Is f less than t?
False
Suppose -124*o = -129*o - 65. Which is greater: o or -11?
-11
Let v(u) = u - 1. Let w be v(3). Suppose w = q + 3. Which is smaller: q or 0?
q
Let d = 2 - 5. Let x = -7 - -7. Let z = -2 - x. Which is greater: z or d?
z
Suppose -3*a + 57 - 21 = 0. Suppose -5*b + b = -a. Which is bigger: b or 5/3?
b
Suppose 0 = l + 2 - 0. Let y = l - -3. Let v = -1 - -3. Is y less than v?
True
Let n = 0.6 + -0.7. Let l = n + 1.1. Let p be 6/(-3) + 4 + -1. Is l < p?
False
Let u(p) = p - 4. Let z be u(4). Suppose 2*y + 3 = 1. Let l be (y/(-3))/((-4)/(-6)). Is l at least z?
True
Let a be (-21)/14*8/3. Let x = 6 + a. Does x = 0?
False
Let l be (6/9)/((-18)/(-405)). Is 15 greater than l?
False
Let v be 2/(-5) - 96/(-15). Let t(y) = y**3 + 4*y**2 + 6. Let o be t(-4). Are v and o nonequal?
False
Suppose 0*k + 20 = 5*k. Let a = -5 - -21. Suppose -d = 2*c - a, 3*d - d = k*c - 8. Is 4 > d?
False
Suppose 3*f = 4*f + 1. Which is smaller: 2/115 or f?
f
Let c = 20 + -9. Let f be (14/6)/(4/(-12)). Let n = c + f. Which is bigger: 3 or n?
n
Let j = 1/4 + 33/4. Let t = -9 + j. Suppose -h = -0*h + 2. Is h less than t?
True
Let r = 6 - 11. Let l be (-12)/498 - (-1 + 1). Let n = l - -180/581. Is n != r?
True
Let t(v) = 16*v**3 - 14*v**3 - 7 - 4*v - 5*v + 15*v**2. Let o be t(-8). Suppose 5*h - 11 = 24. Is h not equal to o?
True
Suppose -3*b + 2 = -b - 4*i, b = -5*i + 15. Suppose b*y - 72 = -27. Let z be 2/(-3) - 3/y. Is z smaller than -1?
False
Suppose -4*w = 4*o - w + 10, 10 = -2*o + w. Which is smaller: o or 1?
o
Let z = -3356/3 - -1104. Is z bigger than -16?
True
Let b be -5 - 9*4/12. Is -10 < b?
True
Let f = -23 + 5. Let r be (12/f)/((-1)/6). Let w = -6 + r. Is w at least -2/3?
False
Let j = 8 + -8.08. Is j at most as big as 1?
True
Suppose 7*m + 2*o + 4 = 2*m, -4*m - 14 = -2*o. Which is smaller: 1 or m?
m
Let x be (-4)/10 + 17/5. Suppose -x*l + 4*l = 0. Suppose l*f = 2*f + 4. Is f less than -2?
False
Let o be (-12)/(-54)*12/(-14). Is -1 greater than or equal to o?
False
Let j(h) = -h - 3. Let l be j(-4). Let s be (-1)/(-2)*-1*12. Let a be (-16)/s - (3 - 0). Which is smaller: a or l?
a
Let s(g) = g**3 + 10*g**2 + 8*g + 9. Let b(k) = -k**2. Let x(z) = -3*b(z) - s(z). Let n be x(-6). Which is smaller: -2 or n?
-2
Let g = 134 - 135. Let b = -59 + 945/16. Which is greater: b or g?
b
Let j = 3.1 + -3.2. Do j and -8 have the same value?
False
Let x be (1/2)/(2/24). Suppose k - 4*q = -11, -5*k - 5*q + 69 = -1. Let d = k - x. Is 4 greater than or equal to d?
True
Let y = 78.1 + -86. Let u = -0.07 - -8.07. Let r = u + y. Which is smaller: r or 8?
r
Let x be (0 - (-20)/(-16)) + -4 + 5. Let h be 0/(-1) - (0 - -1). Let p = h - -2. Which is bigger: x or p?
p
Let a(j) = -5*j**2 - 7*j + 13. Let n(v) = -v**2 - v. Let l(u) = -a(u) + 4*n(u). Let y be l(4). Is 14 > y?
False
Suppose -5*l + 33 + 7 = -2*p, -2*l = -3*p - 27. Is -5 at least l?
False
Let d be 20/36 + 186/54 + -3. Let b be ((-2)/284)/((-1)/(-4)). Let s = b - -227/497. Which is smaller: s or d?
s
Let j = 467 + -475. Let v = -1 + -7. Does v = j?
True
Let c be ((-36)/(-14))/((-8)/56). Is -17 smaller than c?
False
Let g be -106 - 3/(-6)*2. Let a(t) = -2*t**3 - 2*t**2 + 3*t + 3. Let j be a(-2). Let i be 6/g*j/3. Is -1 > i?
False
Let d = -2.7 + 2.9. Let m be 2 + 0 + 0 - 2. Are d and m unequal?
True
Let f be (36/(-8))/((-1)/(-2)). Let r = 162 - 171. Is f equal to r?
True
Let h = -22 - -16. Let k be 27/h + (-2)/4. Let z(i) = -i**2 - 5*i + 2. Let g be z(k). Which is smaller: 3/5 or g?
3/5
Let h(v) = v + 1. Let z(q) = 3*q + 7. Let j(s) = 4*h(s) - z(s). Let o be j(2). Let a be ((-5)/45)/(1/(-3)). Are a and o equal?
False
Let b = 65/10656 + 1/1184. Is 1 bigger than b?
True
Let m = -4 - -2. Let g = m + 2.1. Let t = 0 - g. Is 2 smaller than t?
False
Let l = 7 + -6.3. Let i = 1.6 - l. Let z = i - 1. Is z greater than -1/2?
True
Let o be 2/2 - 3/5. Let v(s) be the third derivative of s**5/60 - 5*s**4/24 - 5*s**3/6 + s**2. Let p be v(6). Which is smaller: p or o?
o
Let f = 617/84 + -29/4. Let z = f + 17/42. Which is greater: z or 1?
1
Let n = 41/90 - 1/18. Let l(m) = -17*m**2 + m. Let w be l(1). Let x be 1/1 + 22/w. Which is smaller: n or x?
x
Let m = 8 - 15. Which is greater: -5 or m?
-5
Let a(o) = o**3 + 7*o**2 - 8*o + 8. Let q be a(-8). Suppose 0 = 2*d - y - 8, -4*d + 0*y = 2*y - q. Let g(h) = h + 7. Let i be g(-6). Is d < i?
False
Suppose -h + 0*h = -174. Suppose -f + h = -3*f. Let c be f/285 + 2/10. Which is greater: c or 0?
0
Suppose -3*v + 12 = v. Let n be v + 43/(-35) - -2. Let q = n + -16/5. Which is smaller: 0 or q?
0
Suppose -5*i - 13 = -33. Is 9/2 bigger than i?
True
Let r = 4.98 + -5. Let v = -0.4 + 0.5. Is r less than v?
True
Suppose -3*s + 5*p = -41 - 2, -2*s + 5*p = -32. Is 11 != s?
False
Let d(b) = b**2 + 8*b - 5. Let y be d(-9). Which is bigger: y or 3?
y
Let f = -3 + 1. Let t = 1 + f. Let k = 1 + t. Is k greater than or equal to 0?
True
Let i = -4/29 - -70/87. Which is greater: 3 or i?
3
Let s = 13 + -11. Let u be (-10)/(-14) - (-1 + s). Is 0 != u?
True
Let y = 1 + -0.8. Let t = y + -0.2. Let v = 268 - 267.8. Which is bigger: t or v?
v
Suppose -3*q + 8 = -b, 2*b - 4 = -3*q - q. Do -2/5 and q have different values?
True
Suppose 2*w - 1 = 3. Suppose 0 = m - 3, w*m + 3 = 3*i - 2*m. Suppose i = -4*f - f. Which is smaller: -1/2 or f?
f
Let g be (-15)/30*6/80. Which is smaller: g or 1?
g
Let q = -0.11 - -0.11. Which is smaller: 4 or q?
q
Let m = -1.49 + 1.4. Let y = -0.13 - m. Which is smaller: -0.2 or y?
-0.2
Let d be 0/(-3) + (1 - -2). Suppose -3*u = 4*r + 10 + 15, d*r + 18 = -2*u. Let s = -1 + u. Which is smaller: s or -3?
s
Let x(g) = -2*g**3 + 2 - g**3 + 2*g**3 + g - 7 + 7*g**2. Let u be x(7). Is 1 < u?
True
Suppose 75 = -4*p - s - 90, 0 = -5*p + 5*s - 225. Are -42 and p non-equal?
False
Let k = -3 + 3.2. Let y = -1.68 - 0.12. Let q = y - k. Which is bigger: 1 or q?
1
Let h = 39 - 61. Is -87/4 at least as big as h?
True
Suppose 7*c = 3*c + 12. Suppose y - c*l = 2*y, y + 5*l = 8. Are y and -12 unequal?
False
Let r(t) = -t**3 - t**2 - t + 6. Let p be r(0). Suppose 7*b = 2*b + 25. Which is smaller: b or p?
b
Let a(r) = -2*r + 21. Let y be a(10). Let i be (-2)/20*-7 - 1. Which is greater: y or i?
y
Let n = 1 + 1. Let w = -3 + 3. Let l = w + 0.2. Is l != n?
True
Let m = 4145/13 + -319. Let z = m + 17/26. Which is greater: z or 0?
z
Suppose 5*a - 2*m - 2*m = 443, a + 5*m - 106 = 0. Let t = -81 + 74. Let n be 2 - t/(a/(-24)). Is n greater than or equal to 1?
False
Let p(m) = -m**2 - 7*m - 3. Let w be p(-7). Suppose 0 = g - 5*t - 13, 1 = 4*g - 4*t + t. Which is smaller: w or g?
w
Let m = 0.02 + -0.12. Let f = 2.04 - 0.04. Let d = -4 + f. Which is smaller: d or m?
d
Let s be (-26)/(-7) - 4/(-14). Suppose -4*f - 4 = -0*h + 4*h, 5*h = -4*f - s. Are h and 1/4 non-equal?
True
Let w = -6 + 7. Let q be 70/25 + -3*w. Is 0 less than or equal to q?
False
Let g be (6/380)/((-24)/284). Let j = g - 1/76. Is j != -1?
True
Let f = 0 - -2. Suppose 12 = -2*p - 4*x, 2*p + 24 = 6*p - 4*x. Let y = 2 - p. Which is greater: f or y?
f
Suppose 5*h + 57 = 2*h. Let l = h - -8. Are -10 and l equal?
False
Let h = -4892/15 + 326. Let f be 6/21 + (-18)/14. Which is smaller: f or h?
f
Let j = -81 - -72. Which is smaller: -8 or j?
j
Let i(o) = -7*o**2 - o**2 + 8 + 7*o + 7*o**2. Let a be i(8). Suppose -f - 4 = 3*f. Is f greater than or equal to a?
False
Let b = 0.05 + -2.05. Let u = b - -3.5. Let k = u - -0.5. Which is greater: k or 0?
k
Let s be -6 + (1 - -1) + 2. Let t be 4/6*(-18)/(-12). Let u be t/2 - (-2)/(-2). Is s greater than u?
False
Let m = -4/171 + -7345/342. Is -21 != m?
True
Suppose -3*w - h + 11 = 0, -5*w + 19 = h - 0. Let c be (w/10)/(9/(-90)). Are c and -5 unequal?
True
Suppose 0 = 5*l - 70 + 45. Which is smaller: 6 or l?
l
Suppose 3*u - 11 = 4*r, 2*r + u - 9 = -2. Let g be 2/(1 + -2) + (-874)/(-299). Which is greater: g or r?
r
Suppose c - 3 + 1 = 0. Suppose -f - 3*g + 2*g + 7 = 0, -2*f + 5*g - 21 = 0. Suppose -b - 2 = -f*b. Is b at least as big as c?
True
Let n(t) = -t**3 - 5*t**2 - t - 5. Let u be n(-5). Let x be 51/(-9) - 1/3. Let j be x/2 - (-3 - 0). Is j equal to u?
True
Let i = 79 + -134. 