 5*c + 83. Is -37/2 smaller than c?
False
Suppose 4*j - 36 = 24. Let o = j + -11. Suppose -o = 2*h - 0*h + b, b - 8 = h. Which is bigger: h or -5?
h
Let u = -0.07 + 0.07. Let d = u - 3. Is 0 less than d?
False
Let p = 16 - 16. Which is greater: p or -2/7?
p
Suppose -b - 3*b = -3*l - 16, -16 = -5*l - 4*b. Let c be 1 + (3 - 4) + l. Suppose 3*j + 2*j = c. Does 2/13 = j?
False
Let g be 3 + 1 + 21/(-5). Suppose -9 - 9 = 3*a. Let d be 18/(-12)*4/a. Which is bigger: g or d?
d
Suppose -2*g - 2*g = 0. Suppose 3*k + k = g. Suppose 3*w + 2*w + 10 = k. Which is smaller: 0 or w?
w
Let c be (-5)/(-2)*28/6965*1. Which is smaller: c or -1?
-1
Let o(r) = -r**2 + 3*r - 7. Let p be o(5). Is -16 smaller than p?
False
Let f be 20/(-15)*(-15)/(-2). Let u = -8 - f. Let j = -3 + 5. Does j = u?
True
Let h be 1/(0 + -2)*6. Suppose z = 5*s, -3*z = z - 4*s + 16. Which is smaller: h or z?
z
Let r(v) = -v**3 - 21*v**2 - 20*v + 4. Let u be r(-20). Which is smaller: -0.08 or u?
-0.08
Suppose 3*c - 5*c + 20 = 2*q, -4 = -c + q. Suppose -1 + c = 2*f. Suppose -f*d - 2*d + 30 = 4*b, b = -4*d + 13. Which is smaller: 0 or d?
0
Let k be 60/(-28) - (-2 + 0). Is 0 smaller than k?
False
Let j = 12 - 6. Let f = -5 + j. Are -8 and f equal?
False
Suppose -1 = -5*c - 6. Let w = c - 3. Let u(j) = j**3 + 5*j**2 + 3*j - 3. Let k be u(w). Which is smaller: k or 1/3?
1/3
Let c = -4.8 - -18.7. Let w = 14 - c. Which is bigger: w or -2?
w
Suppose -7*x + 3*x = 588. Let h = -577/4 - x. Which is smaller: h or 2?
2
Let s be 4/(-6) - (-1)/(-3). Do s and 1 have the same value?
False
Let u(v) = -2*v. Let s be u(1). Let h be 6 + 2 + -1 + s. Suppose 2 = c + 3*m - 9, h*c + 4*m - 33 = 0. Do 5 and c have the same value?
True
Suppose 0 = -0*w + w + 14. Let b be (-8)/28 - (-486)/w. Let r be (-2)/b*(2 - -8). Which is smaller: r or 1?
r
Let n = 49 - 253/5. Which is smaller: -2/5 or n?
n
Let g = -0.1 - -0.2. Let r = g + 0.9. Let c = -10 - -9.9. Which is smaller: c or r?
c
Let g(q) = -q**3 + 5*q**2 + 6*q - 2. Let d = 1 + 5. Let h be g(d). Is h bigger than 2?
False
Let u be 1 + (-4)/(12/(-11)). Let a = u - 5. Is -1 at most as big as a?
True
Let r = 4 - 7. Let q = 8 - 3. Let p = q + -7. Which is bigger: p or r?
p
Let z = -912/5 - -183. Which is smaller: z or 2?
z
Let w = 0.8 - -1.1. Let p = -3 + 5. Let k = w - p. Is -2/9 at least k?
False
Suppose 4*u + 2*v - 12 = 4, 4 = 2*v. Suppose -u*w + 240 = w. Let z be (-3)/(-6) - 38/w. Which is smaller: z or 0?
z
Suppose -7*k - 3 = -4*k. Let m be -8 - -6 - 1/k. Let v be 24/28*(-1)/3. Is m smaller than v?
True
Let x be (-16)/10 - 2*-1. Let b(v) = -v - 4. Let l be (2/(-4))/((-3)/(-18)). Let r be b(l). Which is smaller: r or x?
r
Let t(d) = d**2 + 4*d - 5. Let n be t(-5). Let v(r) = r**3 + r**2 + r + 3. Let u be v(n). Is u not equal to 5?
True
Let m = 66 - 328/5. Which is greater: 0 or m?
m
Let c = 47/7 + -1/21. Which is bigger: c or 7?
7
Let j = 1 - -3. Which is smaller: j or 3?
3
Let f = 0.13 - 1.03. Let v = f + 0.4. Let d = 0.3 + v. Which is smaller: d or -0.1?
d
Suppose -2*c + 8 = -5*f + 2, -c = -5*f - 8. Let v be 8*(1 - 2/8). Let q be (v/8)/(5/(-4)). Is f at least as big as q?
False
Let n be -11*(-1)/(-2)*46. Let w = n + 1775/7. Which is bigger: w or -0.1?
w
Suppose 3*v + 2*x = -0*v + 4, 0 = 2*v + x - 1. Which is greater: -3 or v?
v
Let j(i) = 3*i - 7. Let s be j(5). Let v(c) = -c**2 + 7*c + 11. Let z be v(s). Let x(m) = m**2 - m + 4. Let l be x(0). Do l and z have different values?
True
Let f = -17/60 + 3/20. Let p(h) = -1 - h**2 - 4*h + 3*h - h. Let v be p(-2). Which is smaller: v or f?
v
Let y(h) = h - 1. Let u be y(1). Suppose 0 = m - r + 3, u = m - 3*r - 0 + 3. Let n = -1 + -3. Which is smaller: m or n?
n
Let a = -206/13121 + -10382728/85824461. Let y = a - 12/211. Let p = y - -16/403. Which is smaller: 0 or p?
p
Let g(d) = 2*d**2 + 15*d + 13. Let p be g(-6). Which is smaller: -16/3 or p?
-16/3
Let j(x) = -x**2 - x. Let h be j(-1). Is 1/17 greater than h?
True
Let y = -4.11 - -0.11. Let j = -3 - y. Let o = 2.8 + -3. Is o at least j?
False
Let r = -29.201 - -26.05. Let c = 0.051 + r. Let d = -3 - c. Is d at most as big as -2/3?
False
Let p = 0.23 + -0.13. Let u = p - 0.2. Which is greater: -1/4 or u?
u
Let t = 0 - 5. Let g be (15/6)/t - 0. Let y = 113/420 - 2/105. Which is smaller: y or g?
g
Let b be (-1)/5*(-10)/8. Let r = -7 - -2. Let u = r + 6. Which is smaller: u or b?
b
Let j(s) = 3*s + 4. Let t be j(-1). Which is smaller: -2/25 or t?
-2/25
Let y = 11 - 15. Let q be ((-1)/(-2))/(y/8). Let p be (q + 1)/(-2 - -3). Is p <= -0.1?
False
Suppose -2 - 7 = 3*c. Let j be 0/(-2) + (-1)/c. Suppose -4*m - 5*g - 1 = -10, -m = 2*g - 3. Is m smaller than j?
False
Let n = -0.5 - 1.5. Let s = n - -7. Is s less than 2/7?
False
Suppose -11*s + 15*s = 0. Which is smaller: s or -7/6?
-7/6
Let d = -0.2 + 0.2. Let v = -0.3 - -0.5. Let l = v + d. Does l = -0.1?
False
Suppose 0 = -0*m + 5*m - 35. Let r be 3/m*(-127 - -4). Let p = 53 + r. Which is bigger: p or -1?
p
Suppose y + 4*o + 0*o - 3 = 0, 5*o = -4*y + 1. Let v = 2 + y. Is 2 <= v?
False
Let c = 891/4 + -224. Suppose -x - 4*q + 2*q - 6 = 0, 4*x - 20 = 3*q. Suppose x = 4*d + 6. Is c greater than or equal to d?
False
Let n be 4/(-1) - (7 + -3). Is n less than 0.4?
True
Let o be 8/10*(-5)/(-18). Let a = 7/9 + -17/45. Which is smaller: a or o?
o
Let a(o) = -o**2 + 12*o - 5. Let i be a(11). Let c(l) = l**3 - 5*l**2 - 4*l - 7. Let n be c(i). Suppose 0 = -n*b + 8 - 3. Which is smaller: b or -3/8?
-3/8
Let c be -18 + 15 + 19/7. Suppose -4 = 5*z + 1. Which is bigger: c or z?
c
Let o be -3 - (5 - 2/1). Let s(i) = i**2 + 10*i + 4. Let m be s(-9). Which is greater: o or m?
m
Let p(h) = h**3 + 5*h**2 - 4*h + 11. Let t be p(-6). Which is smaller: 1/9 or t?
t
Let s(z) = z**3 + 6*z**2 - 6*z + 2. Let x be s(-7). Let c be ((-2)/x)/(21/280). Which is greater: 6 or c?
6
Let p be (-29)/(-5) + (-1)/(-5). Let u be ((-9)/p - -2)*-2. Are -2/5 and u equal?
False
Suppose -t = -5*t + 12. Suppose 2*n = -n + t. Which is bigger: -1 or n?
n
Let u be ((-14)/(-28))/((-2)/32). Let o be -2 - (0 - u/(-2)). Which is greater: o or 4?
4
Let r = 43 + -111. Do r and -68 have the same value?
True
Let h = -11/80 - 1/16. Which is bigger: h or 2/23?
2/23
Let a = -1.96 - 0.04. Let u = a - -6. Let m = u - 3. Which is greater: -3 or m?
m
Suppose -2*m = -0*m + 18. Let h be 2/m + (-35)/(-36). Is h <= 2?
True
Suppose 2 = -4*p - 30. Let y be (-4*(-4)/p)/3. Is 0 greater than y?
True
Suppose a - 3*a + 4 = 0. Which is greater: a or 34/11?
34/11
Let u = -15 + 14. Is 5 greater than u?
True
Let g be 4/16*16/(-18). Suppose 2*p + 1 = -3*s + 6, 3*p - 2 = s. Which is smaller: g or p?
g
Suppose 0*d - 3*d = 5*g + 20, -19 = 4*d - g. Suppose 3*f + 5*b + 69 = 0, 2*b + 24 = -3*f + 2*f. Let u = f + 11. Is d <= u?
False
Let t = 11 - 1. Let l be (4/(-30))/((-2)/t). Which is greater: 0 or l?
l
Suppose l + 4*l = -30. Let t be (1 + 9/l)*0. Suppose -b + 3*o - 2 = t, -8*b + 2*o - 10 = -3*b. Which is smaller: b or -2/3?
b
Let w be (22/(-33))/((-4)/6). Is 10/13 greater than w?
False
Let r = -2.12 - -2.1. Is r at most as big as -0.1?
False
Suppose -2*k - 24 = -6*k. Let d = 10 - k. Let a = 4 - d. Is -1/3 <= a?
True
Let m be (-3)/(-7) - (-40)/70. Which is greater: m or 0.04?
m
Let o = -2 + 2.1. Let v be (-10)/(3/3 - 2). Let q be 32/30 - v/15. Is o at most q?
True
Let g(o) = -7*o**2 + 8. Let w be g(-4). Which is greater: w or -103?
-103
Let b(c) = 12*c**2 + 7*c - 7*c**2 - 4*c**2 + 2. Let t be b(-7). Which is bigger: 1 or t?
t
Let t = -4 - -7. Suppose t*l - 5 = 2*l. Let h(y) = y**3 - 4*y**2 - 6*y + 6. Let j be h(l). Which is greater: -2/7 or j?
j
Let d be (-32)/14 - 9/((-72)/16). Let z(y) = -5*y**2 + 5*y**2 - 7 + y**2 - 5*y. Let x be z(6). Which is bigger: d or x?
d
Let k = -14 + 14.8. Let q = k + -0.7. Let s be 0/1 + 1/4. Which is bigger: q or s?
s
Let v be (4 - 2)*(-1)/(-3). Do v and 0 have different values?
True
Suppose -3*m + z - 4 = 0, 4*z = -3*m - 0*z - 14. Let q be (m/5)/((-2)/(-10)). Let c = 1/87 + -353/435. Does c = q?
False
Suppose -l - r = -7 - 6, -3*r - 33 = -5*l. Let v be 2/l - (-2)/(-9). Let u = v + 0. Which is smaller: -1 or u?
-1
Let r = -1 - 10. Let y = r + 10. Which is greater: y or -1/40?
-1/40
Let f = 2 - 1. Let j = 9 + -6. Suppose -x = 4*b - 1, 4*b + 3*x = -2 - j. Is f at least as big as b?
Tr