ter than a?
True
Let h be (-1)/6*-6 + -9 + 0. Let c be ((-2)/h)/(2 - (-5)/(-4)). Which is smaller: c or 1?
c
Let q be (-6)/(-2808)*158 + 2/(-6). Which is smaller: q or 1?
q
Suppose 17*d = w + 15*d + 5, 2*d - 10 = -4*w. Is w bigger than 3/83?
True
Let v be ((-2)/(-15))/(220/85370). Let z = 259/5 - v. Suppose 3*m = -0 + 3. Which is smaller: m or z?
z
Suppose -3*a = 2*o - 16, 24 = 2*a + 12*o - 8*o. Is 11/19 smaller than a?
True
Let f be (7 - 15) + 4 + -1. Let i = f + -1. Which is smaller: -7 or i?
-7
Let q = -666814/281 + 2373. Let y = q - -377/26976. Which is smaller: y or 1?
y
Suppose -5*h = 20, 0 = -4*r + 2*h + h + 36. Let m be 8*2/4 - 1. Suppose g = 4*w - 19, -m*w + 2 = g - 14. Is r greater than w?
True
Let r be 12/(-9)*(-54)/4. Let v be 2/6 + (-318)/(-18). Let w = v - r. Which is smaller: 1/3 or w?
w
Let c(g) = -7*g**2 + 17*g - 78. Let d be c(6). Is d bigger than -230?
True
Let b = -1.8618 - 0.0732. Let t = b + -0.065. Which is greater: t or -0.07?
-0.07
Suppose 8*c - 13*c - 5 = 0. Let r(a) = -8*a**3 + a**2 - 2. Let p be r(c). Which is smaller: p or 3/4?
3/4
Let b = -8 - -2. Let z be 40/58 + (-64)/(-12) + b. Which is bigger: z or 1?
1
Suppose -20*y - 16*y + 2*y = 0. Which is smaller: y or -10/139?
-10/139
Suppose 300 = w + 183. Is 117 <= w?
True
Suppose 3*t - 12 = -g, 34 = t + 4*t - 3*g. Suppose 10 = -t*i + 5*f, -4*i + 2 + 5 = f. Let z(w) = -w**2 - 3*w + 5. Let k be z(-4). Is i at least k?
True
Suppose 4 = -u, 5*d - 4*d - 9 = -u. Suppose -2*o + d = -5*p, -4*o + 14 = 2*p - 0*p. Is 3/17 equal to p?
False
Let r be -26*(2 + 3 + -6). Suppose 0*x + 5*y = 2*x + r, 4*x + 30 = -y. Let d = 118/15 + x. Which is smaller: 1 or d?
d
Let v be (-4)/15*(-2114)/924. Let x = 3/55 - v. Which is bigger: -2 or x?
x
Let f = -0.51 - -11.21. Which is bigger: f or -1?
f
Let t(v) = v**3 + 13*v**2 + 30*v - 53. Let k be t(-9). Which is bigger: 0 or k?
k
Let w be (48/32)/(1/12*-5). Let x = w - -4. Which is bigger: x or -1?
x
Let w = 20/11 - 67/55. Is w at most -16?
False
Let g = 169 + -246. Let x = g - -57.2. Let r = 20 + x. Is r <= -2?
False
Let s be (1/4)/(9/480). Let m = 13 - s. Which is smaller: -9 or m?
-9
Suppose 0 = -4*p + 8, 15*p = -4*a + 16*p + 582. Is 148 greater than a?
True
Let w = 0.5 - 3.1. Let k = w + -7.5. Let q = -10 - k. Which is greater: q or -4?
q
Let w(z) = z - 1. Let l be w(3). Let b be 3 - ((-2 - -2) + 1). Let v be l*-1 - b/(-2). Which is greater: v or 1/6?
1/6
Let d be 3/((-2)/2) - 1. Let y be (26/(-52))/((-1)/(-6)) + -2. Which is smaller: d or y?
y
Let c be (-6)/4*((-72)/16 + 3). Which is smaller: c or -0.4?
-0.4
Let t = 5.051 + -1.051. Let b = 1 + -2. Let r be (-1)/((-1)/(0 + b)). Which is smaller: t or r?
r
Let c(m) = -m**3 - 23*m**2 + 23*m - 5. Let n be c(-24). Is -22 at most n?
True
Suppose 2*h + 0*h = 2. Let y be ((-2)/(-78))/(113/(-1356)). Which is smaller: y or h?
y
Suppose 259 = 9*y + 28*y. Is y at least as big as 9?
False
Let d = -6 - -16/3. Suppose 0 = -2*v, 2*u - 5*v = -6*v. Suppose -2*k + 5*k = u. Which is smaller: d or k?
d
Let p = 10017/8 - 1254. Let v = -6047 - -6044. Is v equal to p?
False
Let o be (3/(-4)*-8)/((-8)/(-4)) - 21. Let h be (11/(-2) - -1)*4. Is o bigger than h?
False
Let w(h) = -2*h**3 - 5*h**2 + 2*h - 13 - 2*h - 2*h + 3*h**3. Let c be w(6). Suppose -2*v - 48 = -4*p, -2*v = p - v - 9. Is c at most p?
True
Let i = 54 - 55. Let k be 0 - (4 + -4)/(i + -1). Is k bigger than 1/2?
False
Let t be (-1662)/(-66) - 2/11. Let d be (2 - 38*4/(-8)) + 2. Is t less than d?
False
Let a = 37.13 - 39.169. Let g = a - -0.039. Is -4 greater than or equal to g?
False
Suppose 5*y = 4*l - 13 + 15, -3*l - 4*y + 14 = 0. Is 37/15 <= l?
False
Let v = 222 + -142. Suppose -o + 2 = 5*a + 10, 0 = 5*o - 5*a - v. Let j be 27/o - 1/4. Is j equal to 1?
False
Let z = 72 + -65. Suppose 27 = -z*c - 519. Are -79 and c non-equal?
True
Suppose 4*l - 2*l = 36. Suppose r + 5*z - l = 0, 0*r - 9 = r - 4*z. Suppose r*a = -a + 48. Which is smaller: a or 11?
11
Let z = 3.67 + -0.59. Let n = 0.08 - z. Let x = -2.98 + -0.02. Is x > n?
False
Suppose t + 5*o = 2*t + 11, -3*t = 4*o - 43. Let n = t + -2. Let u(h) = -h**3 + 6*h**2 + 6*h + 1. Let c be u(n). Is -4 less than c?
False
Let i be -2*(-1)/(-2) - -4. Let w be 1*(1 + i + 1). Is 4 > w?
False
Suppose -u = -4*w - 4, -5*u + 5*w = 2*w - 37. Let q be 4*4/u*2. Suppose 9*c = 10*c + q. Which is smaller: c or -3?
c
Let u = -18.69 - -17.69. Are u and -13 non-equal?
True
Let k = 6 - 195. Let t = 135 + k. Which is greater: 0.1 or t?
0.1
Let u be (-7 - -5)*(215/(-50) - -2). Let f(n) = n**2 + 18*n + 6. Let t be f(-18). Is u equal to t?
False
Let x be (2*23)/(8 + -6). Suppose 0 = v - 2*m + 5*m - 7, -3*m = 5*v - x. Which is greater: 29/6 or v?
29/6
Let t be (-1 - (-154)/30 - 4)*-10. Let m be (1/(-3))/((-7)/(-63)). Let s(h) = h + 1. Let u be s(m). Is u smaller than t?
True
Let j = -1024 + 1029. Which is smaller: -0.2 or j?
-0.2
Let t be ((-30)/(-315))/((-1)/3). Let m = 1.1 + -0.1. Which is bigger: m or t?
m
Suppose 37 - 23 = -2*z. Let y(s) = s**2 + 23*s + 41. Let u be y(z). Does -71 = u?
True
Let o be (2/97)/(1 - 0)*1. Let u = o + 93/194. Let y = 1 - -1. Which is smaller: y or u?
u
Let v = -3.87 + 4.1. Let r = -3.77 - v. Which is smaller: r or 2/7?
r
Suppose 0*n - 4*n = -140. Let r = 23 - n. Let g be (-10)/12*r/15. Which is smaller: -17 or g?
-17
Let u = 191 + -952/5. Let g be (-24)/(-18) - (-4)/6. Suppose 3*t + g*f = 7*t, -5*t = f. Is t at most as big as u?
True
Suppose -2*r - 3*r = 40. Let c = -15259/1420 + -3/710. Let o = c - -11. Are r and o non-equal?
True
Let p = -15.6 - -18. Let w = -2.5 + p. Is -20/7 not equal to w?
True
Let p be (-2*(-2)/(-12))/(9/(-54)). Let t be (6/(-3))/p + 144/27. Which is bigger: t or 5?
5
Let w = -24 + 18. Let s be -2 - w/(1 - -2). Let u = 0.035 - -7.965. Is u < s?
False
Let z(h) = h**3 + 16*h**2 - 20*h - 50. Let f be z(-17). Is 1/105 smaller than f?
True
Let d = 0 - 0.2. Let z = -0.3 - d. Let b = 1868 - 1865. Are b and z unequal?
True
Let a(x) = x + 6. Let o be a(0). Let k = 9 - 3. Let t = k - 4. Is t greater than o?
False
Let s = -79.05 - -1.05. Let n = 78.5 + s. Is n at least 8?
False
Let z be 1 - -1 - (-10)/(-6). Let y(h) = -h**2 - 6*h + 6. Let g(k) = k**3 - 4*k**2 - 7*k + 29. Let t be g(4). Let c be y(t). Is z at most c?
False
Let d be (-1026)/(-247)*2/(-4). Let y = -284/143 - d. Let r(o) = -o**3 - 2*o**2 - 2*o - 3. Let m be r(-2). Do m and y have different values?
True
Let q = 1233/11 + -112. Are q and 1 unequal?
True
Let q(o) = -7*o + 183. Let z be q(21). Which is greater: z or 2/13?
z
Let m = 0.2 + -0.2. Let p be ((-87)/6)/(325/26 + -13). Is m > p?
False
Let s = 17865/11 + -1623. Is 1 at least as big as s?
False
Suppose 76 = 4*x + 10*g - 11*g, 3*g = x - 8. Which is bigger: 21 or x?
21
Suppose -5*g - 63 = h, 54*h - 52*h = -4*g - 48. Which is greater: -35 or g?
g
Let o be 584/(-6)*(-21)/180. Let j = 59/5 - o. Which is bigger: 2/9 or j?
j
Let h = 0.4 - -8.6. Let r = -14 + 4. Let j = r + h. Which is smaller: j or -2?
-2
Let m = -8.99 + 9. Let q = 7.3 - 7. Let d = q - 0.4. Are m and d equal?
False
Let q = -803/2 - -401. Which is smaller: -27 or q?
-27
Let y = -77907/2 + 2454100/63. Let u = y + 2/63. Which is greater: u or 16?
16
Let o(t) = -5*t**3 - t**2 - 14*t + 4. Let v(w) = 9*w**3 + w**2 + 27*w - 8. Let n(h) = 11*o(h) + 6*v(h). Let a be n(-6). Is -15 at most as big as a?
False
Let l = 53.3 - 62. Let a = l - -9.7. Which is smaller: a or 16?
a
Let b be 6 + (-6)/(-36)*-10. Which is bigger: 12 or b?
12
Let p be (3/(-4))/((-3)/12). Suppose p*j = 2*j. Let m = 39 - 192/5. Is j at least as big as m?
False
Suppose -4*f + 4*w = -72, 4*w = 5*f + 32 - 125. Let p = f + -16. Which is smaller: p or 17/4?
17/4
Let z be 16 + 7/(28/12). Suppose -25 = -5*y, j - y - 2*y + z = 0. Which is greater: -6 or j?
j
Let y be 1*-2*2/(-10). Suppose 0 = -3*p, -4*i - 3*p = -i - 39. Suppose i + 27 = -10*b. Which is smaller: b or y?
b
Let x = 47549 - 713489/15. Let u = x + 5344/315. Let p be -2 + -5 + -1 + 7. Is u less than or equal to p?
False
Let t be (150/200)/(0 - 4/16). Suppose -c + 0*c + 6 = 0. Is t smaller than c?
True
Let l be (-6 + 1)*(-4)/10. Suppose -l*r + 6 = -4*z, 4 = -z + 3*r - 0. Is z equal to -1/11?
False
Suppose 0 = -106*h + 97*h - 2331. Which is smaller: h or 0?
h
Let l be 3 + (-6 - 5/((-20)/8)). Which is s