er: 2 or d?
d
Suppose -2*c + 1 = -5*x + 8, 5*c + 3*x = -33. Let t = 20 + c. Does 15 = t?
False
Let b = 0.3 - -0.2. Is b at most -0.4?
False
Let z(y) = -3*y**2. Let h = 3 + -1. Let b be z(h). Which is smaller: -11 or b?
b
Let d(u) = -u + 15. Let x be d(10). Let v be 3*(-4)/9*-3. Which is smaller: x or v?
v
Let c(a) = a**3 + 12*a**2 + 10*a + 2. Let t be c(-11). Do 12 and t have the same value?
False
Let g be (16/12)/(4/(-42)). Let m be (-4)/g + 60/(-357). Which is smaller: -1 or m?
-1
Let w be (2/(-4))/((-973)/28 - -1). Which is smaller: 0 or w?
0
Let q(s) = -s**3 - 12*s**2 - 12*s - 8. Let c be q(-11). Let l be (-13 - c)/(-2*1). Which is bigger: 6 or l?
l
Let l = 217/3 - 73. Let p = 12.14 - 12. Is l != p?
True
Let d = 14 + -14.09. Let v = d + -0.91. Which is smaller: 3 or v?
v
Let p be 8/((-4240)/15)*4/(-3). Is 1 at least as big as p?
True
Suppose 4*b + 46 = -5*h - 13, 3*h + 29 = 4*b. Let t be 2/(-7) - h/63. Let r(v) = -v**2 - 3*v + 10. Let z be r(-5). Which is smaller: z or t?
t
Suppose 0*q + 2 = q. Let p = -6 + q. Let m(a) = -a - 4. Let v be m(p). Is v at most as big as -1?
False
Let t = 6.2 - 7. Let p = t + 0.7. Let l be (-1)/2 + (-9)/(-10). Which is bigger: l or p?
l
Suppose 4*m - 1 = 15. Suppose 0*k = -4*k + 4*y - 4, 3*k + m*y + 3 = 0. Is 2 at most k?
False
Let u be (-460)/(-715) + 2/(-11). Which is smaller: u or 0?
0
Let g = 477/8230 - -61474237/123450. Let s = -498 + g. Let f = -121/150 - s. Is -1 at least f?
False
Let l be -3*(1 + 6/(-8)). Which is bigger: l or -0.1?
-0.1
Let x = 15 - 11. Does 4 = x?
True
Let d be (2/5)/(3/15). Let o(k) = k**2 - 4*k + 3. Let a be o(d). Let z be (1 - -2) + a - 6. Which is bigger: -2 or z?
-2
Suppose 5*u - 6 + 2 = -4*a, 0 = -4*a - 2*u + 4. Let d be 2*(-1)/(a/(-2)). Let q be (6/(-16))/(d/8). Which is bigger: q or 0?
0
Let k = -45 + 44. Does -1/66 = k?
False
Let c(s) = -29*s**2 - 2*s - 3. Let t be c(-1). Is -30 <= t?
True
Let p be (0 + 6/4)*-10. Let j be (4/20)/((-36)/p). Which is greater: j or -1?
j
Let d = -4 + 15. Which is bigger: 12 or d?
12
Let b = -6 + 9. Suppose c + 5 = 4*d, -5*d - 2*c + 0*c = -b. Which is smaller: d or 2?
d
Let i(z) = z**3 + 10*z**2 - 9*z + 6. Let r be i(-11). Let x be (-6)/4 - (-8)/r. Which is smaller: x or -3/4?
x
Let w(a) = a**2 + 3*a + 2. Let o = 2 + -4. Let q be w(o). Suppose 0 = -m + 5*m. Are q and m nonequal?
False
Let m(d) = d**2 - 6*d. Let k be m(6). Suppose -5*v + 15 = 2*o, 6*v - 20 = v - 3*o. Let y = v + k. Is y smaller than -2/7?
False
Let i be 5 - 0*3/12. Suppose -15 = -5*b + 3*o, -4*b + 0*o - i = o. Is b greater than -6/5?
True
Let s = 0.06 + -2.06. Let r = 134 - 54. Let q be (2 - r/42)*3. Which is bigger: q or s?
q
Let x = -9 + 9. Suppose x = -0*w - w + 1. Which is smaller: w or 2?
w
Let c = 0.5 - 1.5. Let i = c - -2. Which is greater: 2/9 or i?
i
Suppose -c + 2*y = 9, -2*c - 9 = 3*c - y. Let z be c - (-16)/6 - 1. Is 0.3 <= z?
True
Suppose -4*v = q - 4*q - 23, -2*q = 4*v + 2. Suppose -4*i = v*m - 2, -47 = -2*m + 5*i - 18. Let n be (-1)/(-2*m/2). Which is bigger: n or -1?
n
Suppose 6*c = 9*c + 156. Which is smaller: c or -51?
c
Let i = 10.6 - 5.5. Let n = i + -0.1. Which is smaller: -2/3 or n?
-2/3
Let s = -3 + 4. Let d be (s + 1 + -1)*-2. Let l = 1 + d. Is l at least as big as 1?
False
Let y = 0.7 - 0.6. Which is smaller: -8 or y?
-8
Let g = 23/2 - 15. Which is smaller: -4 or g?
-4
Suppose k = -4*b + 8, -3*b + 56 = 4*k + b. Which is bigger: k or 2/3?
k
Let o(m) = m**2 + m + 1. Let p be o(-4). Suppose -j = -4*n + p, j = 5*j + 5*n - 11. Is j <= 0?
True
Let y be (-12)/(-10)*5/2. Let x = -2 + y. Which is bigger: x or 1/17?
x
Let s = -24 - -36. Let n be (2/(-4))/(s/16). Is -2 at least n?
False
Suppose 0 = -4*c + 56 - 172. Is c >= -28?
False
Suppose 3*z + 3*z + 6 = 0. Let s = -3/14 + 29/70. Is s smaller than z?
False
Let u be (-3)/27 - 2/9. Is u >= -1?
True
Let g = -16 + -39. Which is bigger: -54 or g?
-54
Let q be 1/4 - 1977/(-12). Let l be (-4)/(-22) - (-80)/q. Let i be (-4)/(-22) - 0/(-1). Which is bigger: i or l?
l
Let n(p) = p**3 + 4*p**2 - 2*p - 1. Let v be n(-4). Suppose -v = -10*m + 11*m. Which is smaller: -6 or m?
m
Suppose -3*f + 6 + 0 = 0. Suppose d - 40 = -3*d. Suppose 2*g = -2, -5*g = b + 4*b - d. Which is smaller: b or f?
f
Let z = 7333/273 - 48/91. Which is smaller: 27 or z?
z
Suppose -9*y = -3*y + 30. Is y less than or equal to 0.1?
True
Suppose -3*r = 5*m - 7, -3*m + 2*m = 4*r + 2. Suppose 2 = 2*g - 8. Suppose g*z = 2*z - 6. Which is smaller: r or z?
z
Let c be 2 + ((-80)/(-6))/1. Let f = 239/15 - c. Let o be -3*((-8)/(-6) + -2). Which is greater: o or f?
o
Suppose 4*h = -5*j + 3*j - 4, 3*j + 5*h = -4. Let g be (-1)/(j*3/6). Which is smaller: g or -1/8?
g
Let f = -3.3 + 6.5. Let u = f - 3. Let r = 0.03 - -0.07. Which is greater: u or r?
u
Let w = 3 + -3.6. Let n = -1.6 - w. Let h = 8 - 5. Which is greater: n or h?
h
Suppose -1 = -c + 4*z, c - z = 2 - 1. Let h be 0 - ((-6)/(-27))/c. Let n be 6/(-15) + (-7)/(-5). Which is smaller: n or h?
h
Let m = 6 - 7. Let b be m/(-2)*(8 + -2). Suppose 5*i - i + 14 = -b*u, 3*u - 4*i = 2. Is -1 at most as big as u?
False
Let a be ((-6)/4)/((198/(-8))/(-11)). Which is smaller: 0.44 or a?
a
Let u(t) = -3*t**3 - 5*t**2 - 5*t - 4. Let y(g) = g**3 + 2*g**2 + 2*g + 2. Let m(s) = 2*u(s) + 5*y(s). Let a be m(2). Which is greater: -7 or a?
a
Let u = -0.127 - 0.873. Is u <= 6?
True
Let q be 31/6 - 4/24. Suppose -2*h + q = -5*f, 5*h + 3*f = -0*h + 59. Which is bigger: h or 11?
11
Let x = 312 - 307. Let q = 17/84 - -1/21. Which is smaller: q or x?
q
Let y(r) = -2*r + 18. Let v be y(9). Let t be (-80)/585 + (-1 - -1). Let m = t + -4/13. Which is smaller: v or m?
m
Suppose -r + 4*r = -18. Let x be 9/r*(-2)/7. Which is greater: x or 0?
x
Let n be 4/6*21/(-56). Which is smaller: -2/15 or n?
n
Suppose -m + 1 = 0, -5*g - 2*m - 2*m = -4. Suppose 0 = -c + 1. Let b = g - c. Which is smaller: -4/7 or b?
b
Let b be 1/(-4) - 63/(-924). Let f be (-2)/(-4) + (-15)/18. Does b = f?
False
Let c = 6 - 3. Is c < 15?
True
Let t = 94/185 - 4/37. Suppose -2*s = 3*s + 5. Is s smaller than t?
True
Let a be -4 + 4 + 4/(-6). Let w = 6.86 - -0.14. Is a greater than w?
False
Let j(f) = 2*f - 17. Let p be j(8). Let b = -3226/15 - -215. Is b bigger than p?
True
Let k be (2 - 90/(-4))*2. Let n = 149/3 - k. Suppose 3*h = -r - 2 - 3, 4*r + 20 = 2*h. Which is bigger: h or n?
n
Suppose 2 = -2*s + s. Let w be ((-2)/(-20))/((-2)/16). Which is bigger: w or s?
w
Let b = -21/13 + -2/39. Is -3 < b?
True
Suppose 4*a - 3*u = 25, -2*a + 4*u + 3 = -7. Suppose -4*s = -a*s - 3. Which is smaller: s or -4/7?
s
Let j = -352/7 - -50. Which is smaller: j or -0.2?
j
Let d = 10.9 + -12. Let i = d - -1. Let q(s) = s - 1. Let z be q(-1). Is z equal to i?
False
Let x be 1 + (-85)/15 - -4. Is 6 less than x?
False
Let z be (8 + -2)*14/126. Which is greater: z or 2?
2
Suppose -2*m + 4 = -2*y + 5*y, 3*y + 4 = 2*m. Which is greater: -2/31 or y?
y
Let j = 15 + -17. Are -0.3 and j equal?
False
Suppose -9 = 2*f + 7*i - 2*i, -3*f = -5*i + 1. Let d be (-9)/6 - 13/f. Let p be 10/(-20)*d/2. Which is smaller: p or 0?
p
Suppose -k - w = -2*w + 2, 2*w = k + 5. Let t be 2*k + (-64)/24. Is -4/5 at most t?
True
Let k = -109 - -1637/15. Are k and 0 nonequal?
True
Let w be 1 + (0 - 43/10). Let o = w + 14/5. Let b be (-18)/(-24) + (-14)/8. Which is smaller: o or b?
b
Suppose -28 = 2*u + 14. Is -22 <= u?
True
Suppose -i = -0*i - 3. Let m be 0/3 + 4/1. Suppose -m*b + 7 = -9. Which is smaller: b or i?
i
Let w be (((-4)/5)/(9/45))/1. Which is smaller: -5/2 or w?
w
Let w(v) = v**3 + 5*v**2 - 7*v - 4. Let n be w(-6). Which is smaller: n or -2?
-2
Suppose 0 = 5*k + 2*f + 6 + 17, 5*k = f - 11. Suppose -2*m + 2*b = -2*b + 20, 0 = -b + 3. Let u = m - k. Are u and 3 unequal?
True
Let c = 0.2 - 0. Let l = -2707/100 + 598/25. Let g = -11/4 - l. Which is smaller: g or c?
c
Suppose -m - 11 = -4*l, 5*m = -5*l + 43 + 2. Let g(o) = -o + 7. Let i be g(m). Is i < 2?
False
Let i = -3.44 + 0.24. Let y = 0.28 + -3.28. Let d = y - i. Are 1 and d non-equal?
True
Let b(k) = -k**3 - 10*k**2 + 3*k + 12. Let m be b(-10). Which is greater: m or -19?
m
Suppose -4 + 14 = -5*a. Let w be (-1)/(2 + (-3 - a)). Let z(v) = v**3 + 8*v**2 - 10*v - 11. Let q be z(-9). Is q bigger than w?
False
Let d be 3*((-4)/(-3) - 1). Suppose -d + 3 = -x. Let w 