. Let v = 1.1 - 1. Which is greater: z or v?
z
Let h(d) = d**2 + 3*d. Suppose a - 5*z - 3 = -16, 3*a - 4*z = -17. Let g be h(a). Does 0.1 = g?
False
Let k = -5 + -3. Let b = k - -4. Let j be (-1)/b*(-2 - -1). Which is smaller: 2 or j?
j
Let s be ((-12)/(-15))/((-1)/(-5)). Suppose 0 = t + s*t. Is t greater than 0?
False
Let r(c) = -c**3 + 2*c**2 - c - 4. Let a be r(-3). Are a and 44 unequal?
False
Let z = -209/485 + 3/97. Which is smaller: z or 1?
z
Let l(k) = -k**2 - 6*k - 7. Let p be l(-5). Let y = p - -6. Is 4 at most as big as y?
True
Suppose 2*a - 10 = 3*a. Is a greater than or equal to -12?
True
Suppose 8 = 4*p - 12. Let c be 3/p*(-28)/(-21). Which is greater: c or 2?
2
Suppose 0*h + 6 = -2*q - 5*h, -5*h + 3 = -q. Let s(m) = m**2 - 7*m - 4. Let w be s(8). Suppose -n + 2*g = -1, -w*n + n + g = 7. Is q smaller than n?
False
Let r be (51/(-6))/((-2)/(-2)). Which is smaller: r or -8?
r
Suppose 0 = -3*s + 2 + 1. Let i(f) = f**2 - 8*f - 1. Let n be i(8). Let m be ((-3)/(-9))/(n/(-6)). Which is bigger: s or m?
m
Let m be 2/16*(-4)/(-6). Let w(c) = -2*c + 1. Let h be w(0). Which is smaller: m or h?
m
Let x be 2 + -1 + (-170)/140. Is x at most as big as -1?
False
Let y be 1*3*6/9. Let b = -0.2 + 0.3. Which is smaller: y or b?
b
Let o be -1 - (-28)/13 - 96/624. Suppose 2*p + 2 = -0. Which is smaller: o or p?
p
Let o be (-1 - (-3 + -3)) + -2. Let n = 6 - o. Which is smaller: 1 or n?
1
Let n = -0.57 - -0.07. Let k = n + 0.4. Which is smaller: k or -1/3?
-1/3
Suppose 2*i + 12 = i + 4*f, 3*f = -3*i + 24. Suppose -y + 0 - 3 = -5*r, i*r - 3 = y. Is r equal to 2/3?
False
Let g(u) = u**3 + 5*u**2 - 3*u + 4. Let s be g(-6). Is -14 at most as big as s?
True
Let m = -5 + -2. Let h be 4/14 - 5/m. Let x = -66 - -68. Does h = x?
False
Let v be (-34)/(-10) + 4/(-10). Is 4 at most v?
False
Let p = 7 - 0. Let j be (-768)/p + 2 + -2. Let t = 110 + j. Which is greater: t or 1?
1
Let u be (9 + -6)*(-1)/3. Let s(r) = -r**3 - 6*r**2 - 6*r - 6. Let a be s(-5). Is a less than u?
False
Let x be 3/(-3)*(-1 - -3 - 1). Which is smaller: x or -5/3?
-5/3
Suppose -p = 2*p. Let v be 2 - 1*-7*-1. Let k = -4 - v. Is p greater than or equal to k?
False
Suppose 2*d + d = -5*o, -2*o = 0. Let k be (-15 - -16)*(d - -1). Suppose n + 0*n - 2 = 0. Which is bigger: k or n?
n
Let k be ((-64)/560)/(1 + 6/(-10)). Which is greater: -3.7 or k?
k
Let l(o) = o**3 - 1 + 2 + 4*o - 4*o**2 + 0 - 4. Let q be l(2). Let d be 1/1*2/(-1). Which is smaller: d or q?
q
Let d = -32393/55 + 589. Let r = -341 + 342. Do d and r have different values?
True
Let k be 20/(-6)*(-3)/2. Let x(l) = l**2 + l - 2. Let i be x(-3). Which is greater: k or i?
k
Let n(r) be the first derivative of -13*r**2/2 + 5*r - 6. Let w be n(2). Is -20 not equal to w?
True
Let w be (-1)/4 - 39/(-12). Let c be (-4)/(-3)*w/(-5). Which is greater: c or -1?
c
Suppose -3*k + 54 = k - 2*f, 2*f - 16 = -k. Is k >= -2?
True
Let l = 0.07 - -6.93. Let n = 7 - l. Let c = -0.6 + 0.66. Is c bigger than n?
True
Let r = 10.4 + -0.4. Let n = r - 10. Which is smaller: n or -2?
-2
Let b be 14/12*16/(-28). Let m = 47.9 - 46. Let o = m - 2. Which is bigger: b or o?
o
Let p be (-9)/(-6)*60/18. Is -1/3 < p?
True
Let i = 1 + 2. Let o be 0 + 2 - -1*3. Is o at most as big as i?
False
Let f = 1475/66 - 133/6. Is -2/21 >= f?
False
Let x = -41/9 + -322/9. Let z = x + 40. Let h be 4/10*(-3 - -2). Which is smaller: h or z?
h
Let h = -3 + 3.6. Let g = 1 + 0. Is h at least as big as g?
False
Let u be (0 + 1)*(-2)/(-14). Suppose -2*t = 3*t. Suppose 2*i - 4*i = t. Which is smaller: i or u?
i
Suppose c - 8 + 4 = 0. Let x(d) = d**3 - 12*d**2 - d + 13. Let p be x(12). Suppose -p = 3*l - c. Which is smaller: l or -1?
-1
Let m = 0.074 + -0.274. Is -3/11 at least m?
False
Suppose 0 = -y + 3, y = -u - u + 13. Let h be 1748/299 - 4/(-26). Which is greater: u or h?
h
Let b be 50/(-2) + 16/4. Which is smaller: -1/3 or b?
b
Let r be -5*18/(-30)*39. Which is smaller: 118 or r?
r
Suppose 5 = -5*x + 5*r, -x = 2*r - 1 - 4. Which is bigger: -1/14 or x?
x
Let a = -0.09 + -0.01. Is -1/17 less than a?
False
Let n(s) = -s + 8. Let f be n(6). Let d be -3*f/((-4)/(-6)). Let b = d - -9. Which is smaller: b or 1?
b
Let w(m) be the second derivative of m**4/12 - m**3/2 - 5*m**2/2 + m. Let d be w(4). Let o be (2 + -2 - 2) + 3. Which is greater: o or d?
o
Let v = 5 + -5.03. Which is smaller: -1 or v?
-1
Let q = 0.13 + 0.09. Which is smaller: -0.1 or q?
-0.1
Let g = 64/3 - 23. Which is smaller: -2 or g?
-2
Suppose 2*u + 16 = -2*u. Let n be 1/(-4) - (-39)/u. Let f be (-24)/(-10) - (-4)/n. Which is smaller: f or 1/2?
1/2
Let g = 9 + -6. Let h = g + -6. Are -8/5 and h nonequal?
True
Let p be 22/(-2)*(0 + 1). Which is bigger: -21/2 or p?
-21/2
Let k = -154 - -1081/7. Suppose 0 = -p + 2*p. Is p equal to k?
False
Let b(o) = o - 6. Let t be b(10). Let p(r) be the second derivative of r**3/6 - 3*r**2/2 + 4*r. Let s be p(t). Which is greater: 2 or s?
2
Let s be (-4)/16 - (-18)/8. Suppose 0 = -3*l - 3, 5*k + 11 = s*k - 5*l. Which is smaller: k or 1?
k
Suppose -d - 5 = -q, 0 = 4*q - 19 - 1. Which is greater: 2/53 or d?
2/53
Let t = -2763/26 - 42017/286. Let s = -253 - t. Do -1 and s have different values?
True
Let z = 3 + 0. Suppose 0 = -0*t - 3*t + z. Suppose -2*y = -6*y + 8. Which is bigger: y or t?
y
Let y = 286 - 866/3. Is -4 at most y?
True
Let s be (-54)/21 + (2 - 0). Let j be 8/36 - (-22)/(-18). Which is smaller: j or s?
j
Let p = 1 + -2. Let y = 124507/880 - 1554/11. Let w = y - -3/16. Is w less than p?
False
Let m = 1 - -0.2. Let r be -3 + 2/3*4. Which is bigger: m or r?
m
Let h be -1*3/(-27)*2. Is h greater than -2?
True
Let h = 0.14 + 1.86. Is h less than or equal to -2?
False
Let c = -0.06 + 0.06. Which is greater: c or 4?
4
Let c = -21 - -20.9. Does c = -0.7?
False
Let i = 176 - -210. Let z = i - 3863/10. Which is smaller: 0 or z?
z
Let q be -1 - 9/(-12) - (-3)/(-4). Which is smaller: q or -2/27?
q
Suppose -21 + 61 = 10*o. Suppose -x + 12 = x. Which is bigger: x or o?
x
Let l(w) = -w + 1. Let b be l(-11). Suppose 3*q - b = -0*q. Suppose 5*o = 29 - 4, -q*g - 4*o = -24. Which is greater: 4/9 or g?
g
Let n = -13.1 - -21.2. Let j = 8 - n. Which is smaller: -0.3 or j?
-0.3
Suppose 5*d = 16 + 4. Let w be d/16 + (-7)/(-20). Which is bigger: 2 or w?
2
Suppose 2*r - 5*r = 6. Let o be (r/(-3))/(6/(-45)). Is -3 greater than o?
True
Let f(p) = p**2 - 8*p - 3. Let o be f(9). Suppose -3 = -g + 2*u + 6, 0 = 2*g + 4*u + o. Let r be (-3)/6*g/9. Is 0 smaller than r?
False
Let s = 1.3 + -0.3. Let a = 1.38 + -0.18. Let h = a - 4.2. Which is bigger: s or h?
s
Suppose -8 = l + 5*w - 93, 118 = 2*l - 3*w. Which is smaller: l or 1?
1
Let u = 0.5 - 0.4. Which is smaller: -0.02 or u?
-0.02
Let j = 0 - 0.6. Let n = -5 + 4.6. Let q = n + j. Which is smaller: -2 or q?
-2
Let d be (-8)/(-65) + 12/(-60). Which is greater: d or 1/3?
1/3
Suppose 2*t + 56 = 5*j + 11, j + 2*t = 9. Let c = 20 - j. Suppose -5*y + 0*y = -u + c, 3*u + 12 = 0. Which is greater: y or -1?
-1
Let v = 64 - 16. Let f = 242/5 - v. Which is bigger: f or -1?
f
Let l be 0 - 0*3/(-9). Suppose 3*n - 5*b + 0*b - 5 = l, 0 = 4*n - 3*b - 14. Suppose -c = -n*g + 2*g - 5, 2*g + 5*c = 8. Which is bigger: -2 or g?
g
Let h be 10/34*(-6)/10. Which is greater: h or 1?
1
Let c = 1 - -4. Let n = c - 4. Let f = n + -2. Which is smaller: f or -3/7?
f
Let m be -3*((-32)/84)/8. Let y = 0.01 - -0.99. Which is greater: y or m?
y
Let d = -75 - -71. Which is bigger: 6 or d?
6
Let y = -28 - -25.4. Let a = y - -1.6. Is a not equal to 1?
True
Suppose 3*y - 8 = 4*h, -h = -2*y - 2*y + 2. Let d be (-1)/(-24)*46 + -2. Which is smaller: d or h?
h
Let a = -1286/7 - -184. Which is greater: a or -10?
a
Suppose 4*d + 4*h - 146 = 6*h, 4*d = h + 143. Does 36 = d?
False
Let i be ((-7)/(-2))/(17/(-102)). Which is smaller: -20 or i?
i
Let h = 63 - 60. Which is bigger: h or 11/3?
11/3
Let s be ((-5)/4)/(2/(-8)). Suppose -s*q + 2 = 7. Which is greater: q or -5/7?
-5/7
Let u(x) = -x**3 + 3*x**2 + 2. Let t be u(3). Let j be t/5*2001/(-6). Let q = -134 - j. Is 0 not equal to q?
True
Let q be (80/45)/8 - 0. Is 6 at least as big as q?
True
Suppose m + 5*u = 2, u + 14 = 5*m + 4. Let v be (5/(-10))/(m/8). Is v bigger than -1?
False
Let b(z) = z**2 - 7*z - 3. Let u be b(5). Let x = 4 + u. Which is bigger: x o