s u smaller than 35?
True
Let g(f) = -f**2 + 12*f - 13. Let d be g(11). Let u be 1*d + 124/60. Which is smaller: u or 1?
u
Let b = -28 - -27.97. Which is greater: 3 or b?
3
Let q be (-2)/(-4)*(3 + -3). Suppose 0 = -2*m + 8, q = 3*g - 3*m - 1 + 7. Suppose g*u = -4*l - 3*u - 29, 4*l = 5*u + 21. Which is greater: 1/4 or l?
1/4
Let k be 6/((-3)/6*3). Let j be k + -3 + 5 + 6. Suppose j = p + 7. Is -1 > p?
True
Suppose -2*g + 2 - 18 = 0. Let w = g + 15. Suppose -4*o + w = 15. Is 0 > o?
True
Let u = 7 + -11. Suppose -3*d + 43 = 5*l, 5*l - 1 = -0*d + 4*d. Let p be (-10)/d + 1 + 0. Which is smaller: p or u?
u
Let b = -20.9 + 20. Let h = b - 0.1. Is -2 > h?
False
Let o be (-4)/(-65)*(-5)/2. Suppose 5*r = -2*x - 6, -2*x + 0 = -2*r + 6. Are o and r non-equal?
True
Let a be (4 + 1)*18/(-135). Is 0 < a?
False
Let w be (-4)/(-2) - 2 - (-10)/95. Suppose -2*i - 6 = -t, -i - 2*i = -5*t + 23. Which is bigger: i or w?
w
Let y = 16.9 - 17. Is y at most as big as -1/5?
False
Let k be (-3)/12 + 6/15. Which is greater: k or -1?
k
Let p = 31 - 31. Is p greater than or equal to -2/45?
True
Let m be (-84)/(-22) + 2/11. Let h be 0/(5/(10/m)). Which is bigger: -2/5 or h?
h
Let d be ((-3)/(-2))/((-1)/(-2)). Let u = 4 + -3. Let v be u/1 + 3 + -1. Is v at least d?
True
Let s be 6/2 - (-6)/2. Which is smaller: s or 8?
s
Suppose 0*f - 12 = -4*f. Suppose r - u + 0*u = f, 4*u = -2*r. Let i be 6/(-14)*r/(-3). Which is bigger: -1 or i?
i
Suppose -4*k = 14 - 2. Which is bigger: 1 or k?
1
Let f = -0.4 - -1.1. Let w = -0.25 - -0.05. Which is greater: f or w?
f
Let w be (10/6)/((-6)/(-9)). Let z = w - 2. Is z greater than -0.2?
True
Suppose -5*h - y - 285 = 0, 4*h - 19 + 233 = 2*y. Let i be h/(-21)*(-1)/4. Do 0 and i have the same value?
False
Let q(k) = 5*k + 6. Let p be q(-3). Which is greater: p or -7?
-7
Let v(l) = 3*l + 16. Let g be v(-6). Is g >= -3?
True
Let f = 1.981 + -2. Which is smaller: 0.1 or f?
f
Let c(g) = -6*g. Let k be c(-1). Suppose -3*h + k + 5 = o, -5*h = 3*o - 17. Which is bigger: 3 or h?
h
Let f = 0.1 + 3.9. Which is smaller: f or 0.1?
0.1
Let w be (6/(-4))/((-9)/(-204)). Let m = 24 + w. Which is smaller: -11 or m?
-11
Let b = -281/2277 - 5/99. Let m be (-3 + -57)*4/207. Let l = b + m. Which is smaller: l or -2?
-2
Let a(m) = m - 4. Let d be a(8). Suppose -f + 6 = 3*n, 6*n - d*n = f - 1. Which is bigger: n or -1/6?
n
Suppose -17 = -2*w + 5*c, 2 - 10 = -w + 2*c. Is 10 at least as big as w?
True
Let b = -38963/39 - -999. Which is smaller: b or 0?
b
Let p be 182 - (4/12 + 0). Let u = p + -184. Is -3 < u?
True
Suppose 4 = -4*w - 0. Which is smaller: 3/19 or w?
w
Suppose -5*f = 5*n - 60 + 20, f - 4*n = -17. Let z be ((-1)/(-3))/(1/3). Suppose 0*m = -m - z. Is f at least as big as m?
True
Let j = -0.04 - 2.96. Let d = -0.03 + -0.07. Let k = d - -1.1. Which is bigger: k or j?
k
Let z = 1.1 - 11.1. Let m = z - -13. Is m smaller than -3?
False
Let y = -300/7 + 43. Which is greater: y or 1?
1
Suppose -6*m + 5 = -m. Which is greater: m or 1/15?
m
Suppose -h + 1 = -4. Let q(l) = 7*l + 297. Let x be q(-42). Which is bigger: h or x?
h
Suppose 0 = -23*i + 20*i. Let z = -185/8 + 23. Is i greater than z?
True
Suppose 2*q + 2*b - 2 = -0, q - 4*b = 6. Let y = q + -3. Let c be 9/10 + -1 + 0. Is c greater than y?
True
Let a(p) = -1. Let r(g) = -g - 10. Let k(n) = -5*a(n) + r(n). Let v be k(-4). Is -2 <= v?
True
Let u be ((-891)/(-30))/(-9) + 3. Which is smaller: -1 or u?
-1
Let v = -12.95 + -0.05. Let d = -13 - v. Are -1 and d unequal?
True
Suppose -2*g + 5*c = -74, 0 = g + 2*c - 23 - 32. Is 48 smaller than g?
False
Let u be (1/2)/(1/(-2)). Let c be ((-2)/4)/((-5)/2). Let k = u + c. Which is smaller: k or 0?
k
Suppose h = 0, -2*h = -3*n - 3*h - 213. Which is smaller: -70 or n?
n
Let m = -7 - -7. Are -4 and m nonequal?
True
Let p = -17 + 52/3. Suppose 12*o = 11*o - 1. Is o <= p?
True
Let n be 1/2 - (-40)/16. Suppose -4*u - 1 = -3*d, -d - n*d = 3*u + 7. Do u and -2/15 have different values?
True
Let g = 2.9 + -1.3. Let c = g - 2.2. Which is smaller: 0.1 or c?
c
Let b be 9/(-11) - 86/473. Suppose 2*n = -5 + 1. Do n and b have the same value?
False
Let g = -365/434 - 1/62. Let d(z) = z + 2. Let c be d(-3). Which is greater: g or c?
g
Let h = 6 + -11. Let f = 21 - 13. Let m = h + f. Is m at most 0?
False
Suppose -5*z + 18 = -3*z. Let i be (2/6)/(z/(-81)). Which is smaller: -2 or i?
i
Suppose 5*g + 11 = 16*g. Which is greater: g or -0.023?
g
Let l be 5 + -3 + (-5)/2. Suppose -3*s - 2*s = 5. Is l greater than or equal to s?
True
Let s(h) = 2*h**2 + h - 6. Let o be s(-2). Let m = 2 - 1. Does o = m?
False
Let i = -0.01 - -0.04. Let f = i + -0.83. Let n = -0.2 + f. Which is bigger: n or -1/2?
-1/2
Suppose 2*t + 2*t = -8. Let c be (t/(-10))/((-24)/15). Let l = -3/8 - c. Which is greater: -6 or l?
l
Let g(k) = -k**3 + 6*k**2 + k + 7. Let o be g(6). Suppose -3*m + 6*z - 2*z = o, -3*m = 3*z - 15. Suppose j + 0 = -m. Are j and -2/7 non-equal?
True
Let t(x) = 12*x**2. Let i be t(1). Let j be 2/(-3 - (-39)/i). Let h = -7 + j. Is h bigger than 6/5?
False
Suppose 5 = -3*x + 62. Which is smaller: 20 or x?
x
Let o be (106/(-8))/((-3)/6). Let y = 29 - o. Suppose q + 3 = 3*l - 9, 3*l + q - 6 = 0. Do l and y have different values?
True
Let o(v) = -v**3 + 17*v**2 - 16*v. Let q be o(16). Suppose 3*c + 3*b = 2*b + 2, q = 2*b + 2. Which is bigger: c or 2/69?
c
Suppose 0 = -2*b - 8, 2 + 0 = -2*z - 3*b. Suppose 3*x - 15 = -z*s - 2*x, 0 = -5*s - 4*x + 13. Let n be 11/12 - s/4. Which is smaller: 2 or n?
n
Let s = -224229/103 - -2177. Are s and 1 equal?
False
Let h = 122/55 - -8367/220. Let j = h + -40. Let t(z) = z**3. Let i be t(-1). Are i and j equal?
False
Let d be (880/22)/(1/((-2)/(-14))). Which is bigger: d or 5?
d
Let d be (1 + 0)/((-2)/6). Suppose 3*j = -j. Suppose -5*c - 3*f = -6 + 4, j = -5*c - f - 6. Are d and c equal?
False
Let s = 39 - 157/4. Let d be (4 + -2)*(-1)/2. Which is smaller: d or s?
d
Let d = 10 - 10. Let y be (-1)/(3 - (2 - d)). Which is smaller: y or 1/4?
y
Let y(x) = -x**3 + 3*x**2 - 2. Let w be y(2). Suppose -3*l - s = -5*s - w, 3*l + 5*s - 11 = 0. Let p = -4 + l. Is p at most -3?
False
Suppose 6*z = 2*z - u - 54, -3*u - 32 = 2*z. Is -14 at least as big as z?
False
Let a = -0.4 + 2.4. Let c = 13 - 10. Let z = c - a. Is -2 at most as big as z?
True
Let v = 17 + -18. Which is smaller: v or -9/4?
-9/4
Let p = -0.3 + -0.2. Let q = 0.7 + p. Let f = q - 0.3. Which is smaller: -2 or f?
-2
Let a be 0/(-2 + (-1 - -1)). Suppose 25 = -a*b + 5*b. Suppose -4*x - 2*u + 1 - 5 = 0, -b = 5*x + 3*u. Which is greater: -3/8 or x?
-3/8
Let q = -29 + 27.3. Let f = q - -0.6. Which is smaller: f or 1?
f
Suppose -4*w = -2*w - 176. Let s = w - 529/6. Are s and 0.1 unequal?
True
Let r(d) = d**2 - 3*d - 2. Let z be r(4). Suppose 0*f = -f - 24. Let x be (f/18)/(2/(-3)). Is x bigger than z?
False
Let j be (-11)/10 - 12/(-20). Which is bigger: j or 6?
6
Let r = -0.42 + 0.02. Let s = 2.6 + -3. Let v = r - s. Which is bigger: v or -1?
v
Let c(j) = j**2 - 5*j - 8. Let x be c(6). Let h = -19 + 18.8. Is x greater than or equal to h?
False
Let x be 1/4*-2*2. Is 2/137 at most as big as x?
False
Let g = 19 - 38. Is g <= -20?
False
Suppose -n + 3 = 4. Is -2/35 smaller than n?
False
Let o = -142 - -141. Which is greater: -1/38 or o?
-1/38
Suppose -4 = 4*w + 4. Is w less than or equal to -5?
False
Let o(c) = -c + 9. Let x be o(3). Let z be (-2)/((-4)/x) - -2. Is z greater than or equal to -1?
True
Let x = 314 - 144. Let l = -296 + x. Let t = -1132/9 - l. Which is bigger: 0 or t?
t
Let w(c) be the third derivative of c**5/60 - c**4/3 + 5*c**3/6 + 8*c**2. Let l be w(7). Which is bigger: l or -3?
l
Let j(r) = -r**3 + 10*r**2 - 13*r + 14. Let z be j(8). Do 38 and z have the same value?
True
Let q = -15 - -29/2. Let j = -39 - -39. Is j equal to q?
False
Suppose 6 = 3*r - 0*r. Let j = 4 - -3. Suppose -3*q = 1 - j. Is r > q?
False
Let q = -242 - -244. Let n(v) be the second derivative of v**4/12 + 5*v**3/6 - v. Let i be n(-5). Which is smaller: q or i?
i
Let a = -36 - -11. Let g = a - -25.13. Which is greater: 0.1 or g?
g
Let u = 44 - 45. Is u != 0?
True
Let l(k) = k**3 + 5*k**2 + 5*k + 3. Let o be (2 - 12)*(-6)/15. Suppose -o*i = 12 + 4. Let w be l(i). Is w at most as big as -2?
False
Let a = 2038 - 32595/16. Are a and 2 unequal?