et v = -66 - -57. Which is smaller: 2 or v?
v
Let y be 2/(-3) - 4/24. Which is smaller: y or -2?
-2
Let s = -9 - -13. Let p = -93 + 191/2. Which is smaller: p or s?
p
Suppose 0*y - 2*y = 0. Suppose 4*r - 18 = 2*x, y*r - 4*x = -r + 8. Let j = -4 + 8. Is r at most as big as j?
True
Let x(g) = -g**2 - 3*g + 1. Let l be x(-3). Let i be 2 + -3 - (-3)/l. Is 2 bigger than i?
False
Let t = -104/9 - -2654/225. Which is smaller: t or 0?
0
Let y = -5.9 - -6. Let i = -0.17 + y. Let d = -0.02 - i. Is 2/5 > d?
True
Let z = 7 - 92/13. Which is bigger: z or 0?
0
Suppose 10*l + 105 = 5*l. Is -23 less than l?
True
Let z = -1679/12 + 543/4. Is -5 at least as big as z?
False
Let p = 0.5 + -0.52. Let c = p + -0.08. Which is smaller: 0.5 or c?
c
Let o be (-5280)/(-576)*-2*(-1 + 0). Which is greater: o or 18?
o
Let f(o) = o**2 - 8*o + 8. Let n(j) = j**3 - 7*j**2 + 6*j - 7. Let z be n(6). Let b be -1*(-1)/(-1)*z. Let c be f(b). Is c < 0?
False
Let p be (-4)/((-144)/(-148)) + (-12)/(-4). Is -2 >= p?
False
Let q = -1 + -12. Let i = q - -11. Is 0.1 less than i?
False
Suppose -o + 4*x = 0, -x = 2*o - 0*x - 27. Is o > 12?
False
Let b(m) = m - 7. Let n be b(-3). Let c be n/(-18)*(-27)/(-90). Which is smaller: -1 or c?
-1
Suppose 5*z = -3 + 18. Suppose -c + z = 1. Do c and 0 have different values?
True
Let w be ((-7)/3)/(-19 + 20). Which is greater: -3 or w?
w
Let k = -75 + -33. Let w be ((-6)/k)/((-1)/(-4)). Which is greater: -0.2 or w?
w
Suppose -2*t - 2*b = -0*b + 52, b - 78 = 3*t. Is -26 < t?
False
Suppose 4*n + 16 = 0, -w + 10 = -2*w - 3*n. Which is bigger: 6 or w?
6
Let y = 13 - 13. Let p be -3 - (24/(-22) - 2). Which is smaller: y or p?
y
Let i = -57 - -58. Which is bigger: 3/4 or i?
i
Let o = 5 - 5.1. Let j = 0.1 + o. Is j > -2?
True
Let z = 6 - 6.7. Let a = z - -0.74. Let u = a + 1.96. Which is smaller: 2/5 or u?
2/5
Let t be 30/8*(-2)/1. Is -8 less than t?
True
Suppose 4*s + s = w + 7, -2 = 2*s + 2*w. Suppose -s = -2*v + v. Let g = 35/108 - 2/27. Is g at most as big as v?
True
Let r be 16/10*9/12. Which is greater: r or 1?
r
Let o(b) = -b**3 - b**2 - 5*b - 3. Let t be o(-3). Is t greater than or equal to 30?
True
Let u be (-2)/(-4) - (-15)/(-54). Which is smaller: u or 4?
u
Suppose 2*w + 2*w - 24 = 0. Suppose -4*j = -y - 11, -3*j + 0*j = -3*y + 3. Suppose 5*r = y*f + 15, 4*r + 2*f + 2 = 32. Is r bigger than w?
False
Suppose -4*v + y = -0*y + 49, -5*y + 24 = -3*v. Let g = v + 14. Let r(h) = 2*h - 2. Let d be r(2). Is d >= g?
True
Let s = -43 + 39. Suppose 5*w - w = -8. Let c be w*1 + 3 + -5. Is c at least s?
True
Let i(f) = 3*f**2 + 2*f - 4. Let r(d) = 3*d**2 + d - 3. Let n(s) = 5*i(s) - 6*r(s). Let w be n(2). Let v be (1/(-3))/(2/w). Do v and -2 have the same value?
False
Let x(a) = a**2 - 5*a - 1. Let i be x(5). Is i greater than or equal to -7?
True
Suppose 3*s + 3 = 6*s. Which is smaller: s or 6/11?
6/11
Let w(x) = -2*x - 12. Let h be w(-7). Suppose c = 3*y + 10, h*y = -5*c - 0*y - 35. Which is smaller: c or -4?
c
Let h(q) = q**2 + 2*q + 1. Let g be h(-2). Let t(x) be the first derivative of x**3/3 - 5*x**2/2 + 2*x + 2. Let d be t(5). Is d < g?
False
Let u(p) = -2*p**3 - 4*p**2 - 3*p. Let i be u(-2). Which is smaller: i or -0.1?
-0.1
Let t = 29.4 - 34. Let a = t + -0.4. Let o = -3 - a. Which is smaller: 0 or o?
0
Let b(h) = h**2 + 12*h - 11. Suppose -j - 3*r = 19, 4*j = -j + 2*r - 61. Let v be b(j). Suppose 2*d - d - 2 = 0. Is d at least as big as v?
True
Let r = -285 + 3703/13. Suppose -4*v - 5*w + 4 = 0, -2*w + 3 = 2*v + v. Is v at least r?
True
Let n(o) = 6 + 2*o - 2*o - o. Let l be n(6). Suppose 0 = -2*q + 2*y + 2*y, l = 5*q + 2*y. Is 3/7 > q?
True
Suppose 3*w + 7 = 2*g, g = -2*w + 3*w + 3. Is w at least 7/15?
False
Let b = -123 + 65. Let k = b - -292/5. Let y = 0.07 + -0.17. Which is smaller: k or y?
y
Let x = -25 + 12. Let b = x + 10. Suppose -2*z = -3*z. Which is smaller: z or b?
b
Let r(v) = -v**3 + 7*v**2 - 7*v - 4. Let u be r(6). Let g(p) = -2*p**3 + p**2 + 1. Let t be g(2). Which is greater: t or u?
u
Let b = 29/12 + -13/6. Which is smaller: 1 or b?
b
Let f(b) = 4*b**2 - 7*b + 9. Let i(k) = 5*k**2 - 6*k + 9. Let y(h) = 6*f(h) - 5*i(h). Let p be y(-13). Let n = 1 - 3. Is n not equal to p?
True
Let o = 6.8 - 7. Let l = -0.1 - o. Which is greater: l or 4/3?
4/3
Let i be (-2)/(-5) + (-32)/(-120). Is -0.7 greater than or equal to i?
False
Let g be 3*8/12 + 6. Let l = g + -11. Which is greater: l or 1?
1
Suppose 0*b - 4*b = 8. Are -2 and b nonequal?
False
Let y(a) = 3*a**2 + 13*a + 4. Let b be y(-4). Which is bigger: -8/11 or b?
b
Let t(w) = -w**2 + 4*w. Let q be t(3). Let a(i) = i**3 - 3*i**2 + 3. Let n be a(q). Do 2 and n have different values?
True
Let k be -1*(516/(-171) + 2 - -1). Is 1 at most as big as k?
False
Suppose -5*o = -35 + 10. Suppose -o*c - 12 = -2. Is -1 != c?
True
Let r(c) = c**3 - 2*c**2 + 2*c - 1. Let l be r(2). Suppose 2*b = -y + 11, 31 = 3*y + 2*b + 2*b. Let f be l/y + 13/(-57). Which is bigger: 0 or f?
f
Let u be 7/(-7) + 2485/(-13). Let y = 192 + u. Is -1 > y?
False
Let z = -2.9 + 3. Let y = -14 - -13.6. Is z at most y?
False
Let k(c) = -c**3 - c**2 + 3*c - 3. Let f be -1*1 + 4/(-2). Let q be k(f). Let a be (4/(-18))/(q/18). Which is smaller: 0 or a?
a
Suppose 0 = 2*y + 4*c - 98, -5*c + c = -5*y + 273. Which is greater: y or 52?
y
Suppose 10*w - 5*w = 0. Which is smaller: w or -2/17?
-2/17
Let k = 1.44 + -0.44. Let w = 2 - 1. Let q = 5 + w. Is k <= q?
True
Suppose -2*q + 3*q + 2 = 0. Is q >= -2?
True
Suppose k + 0*k - 12 = 0. Suppose 2*l + k = 5*l. Let m be 1/2*l/7. Which is smaller: 1 or m?
m
Let h(a) = -a**3 + 4*a**2 + 5*a + 7. Let d be h(5). Let v = -85 - -92. Is v at least as big as d?
True
Suppose 0*v - v = -3. Suppose -4*w - 12 = 5*u, 3*w + 0*w + 2*u + 2 = 0. Suppose w*b - 3*p = -3 + 12, 1 = b + 2*p. Is b less than v?
False
Suppose 0 = 3*m + g + 2*g + 3, -4*g = m + 13. Suppose 0 = -0*o - m*o + 3. Let s = 31/70 - -2/35. Is s bigger than o?
False
Let q be 2/7 + 64/(-28). Let g be (12/10)/(8/20). Let x be g/(-4) - 3/(-12). Which is smaller: x or q?
q
Let m = 10777/2 - 5589. Let a(p) = -p**3 - 29*p**2 + 7*p + 6. Let l be a(-29). Let n = m - l. Which is greater: -3 or n?
-3
Let b = -94/3 + 1046/33. Suppose 5*d + 10 = 2*h - 8, 13 = -h - 3*d. Which is smaller: b or h?
h
Let f(n) be the third derivative of -n**5/60 - n**4/24 + n**3/3 - n**2. Let i be f(-2). Let g be 3/2*(-8)/(-3) + -5. Which is smaller: g or i?
g
Let t be (1 + 0)/((-15)/(-60)). Let v be (-5 - -6)*t/18. Suppose 6*c - c + 15 = 4*q, 5*q - 23 = 2*c. Is v greater than c?
False
Let q(w) = 3*w - 12. Let c be q(3). Which is greater: -2 or c?
-2
Let c = 0.018 - 0.066. Which is smaller: c or 1?
c
Let d(q) = -q**3 + 5*q**2 + 7*q + 6. Let v be d(6). Suppose -12 = 5*r - 6*r. Is r less than v?
False
Suppose r + 8 = 3*r. Suppose r*k - 7*k = 0. Is k greater than or equal to -1/11?
True
Let t = 0.398 + 0.002. Let l = -0.1 - -1.1. Is l > t?
True
Let w be 13/6 - (-5)/(-30). Is w greater than 0?
True
Suppose -2*k = 2*k + 4. Let w = 1 + -4. Which is smaller: k or w?
w
Suppose 3*i + 1 + 2 = 0. Let w be 0 - (1 - -1 - 2). Which is smaller: i or w?
i
Let l(t) = t - 7. Suppose -2*m = -c - 3*m + 10, 3*c + 5*m = 36. Let i be l(c). Which is smaller: -1/7 or i?
-1/7
Suppose j + 5 = 0, -v - j + 13 = v. Suppose c + 2*c = -v. Which is smaller: -1 or c?
c
Let c = 9.2 - 8. Let g = c + -1. Let o be (2*3/(-6))/(-4). Is o at most g?
False
Let t be ((-1)/(-2))/(5/(-2)). Is 0 > t?
True
Suppose 0 = -2*w - 0*w. Are w and 2/33 non-equal?
True
Let s = 20 - 47. Let l be (3/10)/(s/(-72)). Which is bigger: l or 0?
l
Let c(l) = -2*l + 3. Let s be c(1). Which is bigger: 1/4 or s?
s
Let m be -15*(1/(-9) - 0). Which is greater: m or 3?
3
Suppose 0 = 5*o - 2*x - 25, 2*o + 5*x = 7 + 3. Suppose 0 = -c, -o*c - 7 = -3*r - 1. Is 1 <= r?
True
Suppose 2*t = h + 32, -14 = -4*t - h + 62. Let b = t - 37/2. Are -12 and b non-equal?
True
Let y = 0.121 + -7.121. Is y at most -1.1?
True
Let b be (12/20 - -3) + -2. Is 1/2 < b?
True
Let b = -4211/52 - -81. Which is smaller: 0 or b?
0
Let o be (1/(-9))/((-2)/(-6)). Is o greater than -0.01?
False
Let c = 61 + -61. Is -2/13 != c?
True
Suppose -3*d = -3*y + 117, -13 - 2 = -y - 5*d. Is y at least 36?
False
Let y = 15 + -18. Let w be (-8)/((-7)/(-2) + y). Is w > -17?
True
Suppose -3*x 