have the same value?
False
Let r = 1 + -1.1. Let w be 3 + -9 + 4 + 1 + 10. Which is smaller: w or r?
r
Suppose h - 10 = -h. Suppose 0 = c - h*c. Is c >= -1?
True
Suppose -4 + 10 = 3*r. Suppose r = -2*b - 2*k - 18, -3*b + 4*k - 30 = 0. Let v be (-4)/b + 2/(-5). Is v > 0?
False
Let p be -1*4/2 - 0. Let c be (0 + p)/(2/2). Let l = 8 - 11. Is c greater than l?
True
Let k be 14/4*24/14. Let x be k/(-9) - (-2)/9. Which is greater: 1 or x?
1
Let s(c) = c**2 - 5*c - 3. Let r be s(5). Let u(x) = x**2 + x - 2. Let w be u(-3). Let n be (2/w)/((-1)/8). Is r smaller than n?
False
Let z(u) = -u**3 + 2*u - 1. Let n be z(1). Is n > 10/7?
False
Let y = 17 + -18. Is y bigger than -1/26?
False
Let x = -1/59 - -68/531. Which is bigger: 0 or x?
x
Let a be (-2)/(-4)*(0 - 2). Let c = -2 + a. Is -4 >= c?
False
Let w = 20 + -17. Let h be (14 - 3/w)*-1. Is -13 equal to h?
True
Let l = -1239 - -1244.01. Let g = -5 + l. Which is smaller: 0.1 or g?
g
Let u = 12 + 5. Are 1 and u non-equal?
True
Let t(r) = r**3 + 9*r**2 + 9*r + 9. Let x = 9 + -17. Let f be t(x). Let u be f*2/(-6) - 0. Which is bigger: u or -1/4?
-1/4
Suppose -16 = 4*u - 4*i, -4*u - 3*i + 5 - 7 = 0. Let x(q) = -5*q**2 + 1 + 5*q**2 + 2*q**3 + 2*q. Let s be x(-1). Is u at least as big as s?
True
Let i(t) = 2*t - 2. Let q be i(10). Let b be (-10)/6 - q/(-27). Is -1/27 >= b?
True
Let h = 19 + -16. Suppose 2*b + 15 = -5*p - h*b, -p + 6 = -2*b. Is 9 at most as big as p?
False
Let y = -2.9 + 0.9. Which is smaller: 2/3 or y?
y
Let v = 87 + -199/2. Let r = v + 12. Which is bigger: -3 or r?
r
Let v(x) = 3*x - 4*x - x**2 + 1 + 1. Let r be v(-2). Suppose -6 = 4*c - 10. Is c >= r?
True
Let m be ((-16)/(-20))/(6/(-15)). Is 0.5 < m?
False
Let k = -69 + 277/4. Which is bigger: -1 or k?
k
Let v = -1.51 + -0.39. Let j = v - -2. Which is bigger: j or -2?
j
Let l(k) = k - 8. Let g be l(11). Suppose 2*w = -5*r + 3*r + 10, -5*r + 17 = -g*w. Which is greater: -1/9 or w?
w
Let i = 21/326 - -29787/652. Let u = i - 46. Is u < -0.1?
True
Let k = -0.1 + 0. Let f = 2.26 - -0.04. Let d = 1.3 - f. Which is smaller: d or k?
d
Let p = -24 + 26. Let b(y) = -y**3 - 3*y**2 - 3*y - 2. Let n be b(-2). Is p < n?
False
Let p = 5 - 4. Let w = 9 - p. Suppose 3*j + w = 4*y, -j - 4*j = -3*y + 6. Which is smaller: -1/11 or j?
-1/11
Let u = 27 - 16. Is u <= 10?
False
Let c be 2/(-3) + (-40)/(-42). Let j = 1.1 + -0.6. Let z = j + -0.6. Which is smaller: c or z?
z
Suppose 3*d = -22 - 2. Let b be (d/(-10))/(12/10). Let j(t) = t**2 - 2*t - 1. Let v be j(3). Do v and b have the same value?
False
Let w = -2 - 1. Let o be (-1 - w)*(-1)/(-6). Let k = -4 + 4.3. Is o at least as big as k?
True
Let y = 86 + -87. Which is bigger: -14/13 or y?
y
Let r be 9/((-270)/4)*3. Let c(q) = q**3 - 2*q**2 + 1. Let l be c(1). Which is smaller: r or l?
r
Suppose 0*u + 92 = 4*u. Is 25 at most as big as u?
False
Let r = 18.1 - 22. Let h = r - 0.1. Let f = 64 - 257/4. Is f at most as big as h?
False
Let o be ((-2)/(-4) + 0)*(-66)/11. Let v = 2782/63 - 320/7. Does v = o?
False
Let o = 0.26 - -11.74. Let t = o - 12.1. Is 0.5 less than t?
False
Let a = 38 - 35. Let x = 1 + -2. Let r be a/(-2) - x/(-2). Is -2 > r?
False
Suppose v - 35 = 9. Which is bigger: 42 or v?
v
Let u = 5230 + -15557/3. Let p = 44 - u. Which is smaller: 0.04 or p?
p
Suppose 0 = 4*p + 4 - 16. Suppose -p = 5*j - 4*j. Does -3 = j?
True
Let z be 0 + (0 - 2)/6. Let q(d) = -d**3 - 2*d**2 + 2*d + 3. Let y be q(-3). Let r = y + -5. Which is bigger: r or z?
r
Let i = 22 + -31. Let c(j) = j + 5. Let f be c(i). Let t be (f + 1)*(-1)/3. Does 2 = t?
False
Let j = 83 + -746/9. Which is bigger: 1 or j?
1
Let d(z) be the third derivative of z**6/120 - 2*z**5/15 + z**3/6 + 3*z**2. Let r be d(8). Which is smaller: r or -1/4?
-1/4
Suppose -9*c + 4 = -7*c. Let q be (1/1)/(c/18). Suppose 3 = 3*z + q. Is -2 at least as big as z?
True
Let l = 880/9 + -98. Let m(b) = b + 3. Let q be m(-5). Let o = q + 4. Which is smaller: l or o?
l
Suppose -4*a = 4*u - 16, -4*a = 2*u + u - 13. Which is bigger: -4/15 or a?
a
Let l = 69.2 + -69. Is l smaller than -0.8?
False
Suppose 2 = 2*n - u - 6, -13 = -3*n + 2*u. Let d be 0 + (0 + 1)*-3. Let h = d + n. Which is smaller: 2/9 or h?
h
Let x = -119.7 - 11.3. Does x = -0.1?
False
Let h be -1*1*(1 - -2). Suppose 4*k - 4*m - m = -20, -4*k + 20 = 5*m. Let f be (-1 + k)*4/6. Which is greater: h or f?
f
Let c = -1 + 1. Let s = 20 + -11. Let n(l) = -l**2 + 7*l + 18. Let p be n(s). Is c > p?
False
Suppose -3*h + 5*l = 2*h - 35, 2*h + 5*l + 21 = 0. Which is smaller: h or 2/13?
2/13
Let p = -0.73 + 0.83. Let d = 2 - 1.9. Are p and d nonequal?
False
Let u be 2 + (1 - 2 - -1). Let x(r) = r**3 - 4*r**2 - 2*r + 3. Let a be x(4). Let t = -4 - a. Which is bigger: t or u?
u
Suppose -3*b + 0*b - 37 = 5*y, 12 = -3*b. Does y = -5?
True
Let z = -13.72 - 0.28. Is z at most as big as 1?
True
Let p = 9 - 11. Suppose -3*z = z. Which is smaller: p or z?
p
Suppose 5*c - 3 = -4*j, j + 3*c + 1 = -0*j. Suppose 11*d - 8 = 7*d. Is j > d?
False
Suppose -5*x = -36 + 11. Let y = 0 + x. Suppose 3*l - 5*b + 22 = 0, -y*b + 2*b + 22 = -4*l. Do l and -4 have the same value?
True
Suppose -14 - 4 = 2*s + 4*z, 4*s - 3*z = 8. Which is smaller: -1/159 or s?
s
Suppose 0 = -h - 4*h + 20. Which is smaller: 0 or h?
0
Suppose 5*m - 2*f = 2*m - 35, 3*m + 3*f + 15 = 0. Is m at least -10?
True
Suppose -2 = 5*o - 4*o + r, 4*o - 2 = r. Let u(c) = -c**2 + 8*c - 10. Let i be u(7). Let m be o + 0*(-1)/i. Is -2/19 less than m?
True
Let u be ((-6)/(-9))/(4/6). Suppose 2*s = -u + 7. Suppose -s*z = -2 - 1. Is 1 less than z?
False
Let v = 0.09 + 14.91. Let j = -16 + v. Which is greater: -7 or j?
j
Let o be ((-2)/1)/(0 - 2). Suppose 0 = 3*l - 2*u + 4 + 9, -u + o = 4*l. Let v be (1 - 2)/(2 - 6). Which is greater: v or l?
v
Let r(y) = 3*y + 1. Let w be r(5). Let v(g) = -g**3 - 6*g**2 + 4*g + 13. Let o be v(-6). Let b = w + o. Is 5 less than b?
False
Let z = 25 - 27. Let t(f) = -f**3 + f. Let n be t(-1). Let w be (z - (-15)/6) + n. Is 1 > w?
True
Suppose 12*g - 11 = g. Does -2/123 = g?
False
Let o = -3 - -2.9. Let a be 0/(-2) - 4/(-30). Which is greater: o or a?
a
Let d be 4/6 - (-88)/(-138). Does d = -1?
False
Let h(g) = 2*g - 6. Let w be h(5). Let m be (-1)/(-2) - 2/w. Which is greater: -2/5 or m?
m
Let h = -21 + 38. Let d = h - 18. Is d at most 0?
True
Suppose -11 = -5*u + 2*y, 5 = 2*u - 3*y + 2*y. Let k be (-2 + (-6)/(-4))*0. Which is smaller: u or k?
k
Suppose -6*q + 3*q - 12 = 0. Let d be ((-2)/q)/((-2)/(-4)). Let v(j) = -2*j - 2. Let g be v(-2). Which is greater: g or d?
g
Let t be (-8)/54*(-3)/2. Let r = -4 + 5. Which is smaller: t or r?
t
Let m be (-335)/(-20) + 3/(-4). Suppose -5*l + m = -9. Which is greater: l or 6?
6
Suppose -2*d + 3*k - 8 = 0, -2*k = 5 + 3. Is -1/2 not equal to d?
True
Suppose 5*u - 5*w - 30 = 0, -4*u + w - 2*w = 1. Suppose 3*k = -3*b + 12, 16 - u = 3*b. Let i = -27 + 79/3. Is i >= k?
True
Let b = 22 - 20.1. Let q = -6 + 8. Let t = q - b. Which is greater: t or -2?
t
Let b(w) = -4*w**3 - w**2. Let y be b(2). Let i be 2/9 + (-28)/y. Let v = -1 + 4. Does v = i?
False
Let a = 0.3 - 1.1. Let n = -1.8 - a. Which is bigger: n or -0.1?
-0.1
Let d be 8/6*3 + 2. Suppose -3*k - 3*m + 0*m = -24, k + 2*m - 13 = 0. Let n be ((3 - d) + k)/(-2). Is -2/3 at least n?
False
Let a be -1 + (-1 - -3) + -4. Let q be (a/1 - -4)*-1. Is q > -1/2?
False
Let x = 0.46 - 0.06. Let n = 373 + -373.1. Which is smaller: x or n?
n
Let q = -0.03 + 0.03. Let b = 3 - -1. Let z be ((-1)/4)/(3 - b). Which is bigger: z or q?
z
Suppose 3*h + 7*h = 5*h. Which is greater: h or -1?
h
Let k = 5 + -8. Let w be -1 - 0/(1*k). Let t(h) = -h**2. Let g be t(w). Which is smaller: g or -2?
-2
Let g(j) = j - 3. Let f be g(3). Let r = 827 - 825.8. Are r and f nonequal?
True
Let u(l) = l**2 + 2*l - 1. Let o be u(-3). Let z = -37 + 22. Let f be 42/30 + 6/z. Which is smaller: f or o?
f
Let c = 5 + 0. Suppose 5*s - c*v = 0, -2*s + 3*v = -7*s + 32. Suppose 2*i = 2*d - 3*i + 5, s*i = 3*d + 4. Is d greater than -0.1?
True
Let f = -17 - -17.1. Is -38 > f?
False
Let b = 7.87 - -0.13. Let c = -8 + b. Do -1 and c have different values?
True
Let c(o) = 4*o + 4. Let v(n) = -n - 1. Let m(z) = -c(z) - 3*v(z). Let a = -5 + 7. Let s be m(a). Which is smaller: -4 or s?
-4
Let z be ((2 + 4)/(-6))/(1*-1). Let y