ess than n?
False
Let m(z) = -z**3 + 7*z**2 - z + 9. Let n be m(7). Is 10/3 bigger than n?
True
Let x = -10 + 18. Suppose 5 = 3*d - x*d. Let j = 3 - 2.99. Which is smaller: j or d?
d
Suppose -2*x = 15 - 5. Is x bigger than -6?
True
Let m be (2/4)/(3/42). Let t(d) = d - 12. Let f be t(m). Let a = -28 + 86/3. Which is smaller: f or a?
f
Let a(c) = -2*c - 3. Let i be a(2). Is -3 > i?
True
Let r = -409 - -1607/4. Let w = -7 - r. Which is greater: w or -1/2?
w
Let h(j) = -1 - 1 - 5 - 5 + j. Let k be h(11). Is k less than or equal to -1?
True
Let c(v) = -v**3 + 3*v**2 - v + 1. Let i be c(2). Let n be 54*(1 + (-3)/6). Let d be (5 - i)*(-3)/n. Is 1 less than d?
False
Let k be (11/3 + -2)*(-70)/50. Which is bigger: 3 or k?
3
Let t(l) = -l**2 - 3*l + 3. Let p be t(-4). Let c be ((-12)/(-15))/(-6 + 176/30). Which is smaller: c or p?
c
Suppose -2*i - 2*i = 4. Which is bigger: i or -6/11?
-6/11
Let s = -20 - -54. Which is greater: s or 35?
35
Let m(t) = t**3 - 1. Let u be m(0). Let g be 2/(u - (3 - 11)). Is 1 at least as big as g?
True
Let j = -18 - -11. Let m = j + 7. Which is smaller: m or 1?
m
Let s = -59.926 - -60. Which is greater: 1/4 or s?
1/4
Suppose -9 = 5*b + 11. Let o be (0 + -2)*(-2)/b. Which is smaller: o or 1/4?
o
Let x be ((-3)/(-22))/3 - 0. Let o(f) = f**2 + 8*f - 10. Let d be o(-9). Which is smaller: x or d?
d
Let b be (-2)/1 - (-2 - 2). Let m = 11/18 + 1/18. Is m smaller than b?
True
Let n = 88 + -83. Suppose 22 = 2*g + 2*y, -3*y + 11 = 2*g - g. Suppose -t + n*v = 2*t + g, 4*t + 4 = -4*v. Which is smaller: -1 or t?
t
Suppose 0 = 4*a + 11 - 15. Which is smaller: a or 1/39?
1/39
Suppose 5*z = 2*z + 12. Let w be 0 - z - -1 - -2. Let s be w/(6/(-15))*-2. Which is greater: s or -4?
-4
Suppose 18 = -3*r + 6*r. Suppose 0*v = -5*v + 3*u - r, -2*v = -2*u. Is 3 at least as big as v?
True
Let o = 0.15 + -0.12. Let g = -7.03 + o. Which is smaller: -2/3 or g?
g
Let n(h) = -h + 1. Let v be n(-2). Let p be (-22)/(-24) - 2/v. Which is greater: p or -1/3?
p
Let l(q) = 4*q. Suppose -1 = m - 3. Let p be l(m). Let f = -7 + 16. Is f bigger than p?
True
Let z(g) = 2*g**2 - 14*g + 1. Let s be z(7). Which is smaller: 1/18 or s?
1/18
Let q be 116/24 + 1/6. Is 4 smaller than q?
True
Suppose 6*h + 2*f + 2 = 2*h, 0 = -2*f - 6. Let m = -389/72 + 52/9. Which is smaller: h or m?
m
Let p = -0.9 + 0.84. Let m = 2.94 - p. Are 2 and m non-equal?
True
Let z(r) = -r + 8. Let w be z(6). Let t = -5 - -7. Suppose h - w = t*a + 2, -2*a - 6 = -2*h. Which is smaller: -4/3 or a?
-4/3
Let f be (-8 - -3)/(-1) - 2. Is 0.4 > f?
False
Let y = 1.2 - 0.97. Which is bigger: -1 or y?
y
Let t = 0.1 + 0. Which is bigger: 18 or t?
18
Let p be 1 + -3 + (-4)/(-2). Let y = -1 + p. Let x be 0*((-4)/2)/(-4). Is x at most y?
False
Let t = 44/73 + -2770/3869. Which is smaller: 0 or t?
t
Let b(k) = 2*k**2. Let h be b(1). Let l be 0/(h/(-4)*-2). Let t = -6/43 + -142/215. Which is smaller: t or l?
t
Let i = -12 - -11. Are -13 and i nonequal?
True
Let k = -39 + 38. Which is greater: k or 2?
2
Suppose 4*k - 2 + 18 = 0. Let i be ((-4)/(-3))/(k/(-6)). Let z be 1*i/(-9) + 0. Is 2 smaller than z?
False
Let l = 104 - 85. Does 17 = l?
False
Let i = 48 + -35. Is -2 less than i?
True
Suppose 3*u = -0*u. Suppose u = 3*r - 27 + 3. Suppose -1 - r = -5*h + 4*s, -2*h = 2*s. Is 1 at most h?
True
Suppose -2*z + 7 = -9. Let s = z + -5. Suppose -2*m + 1 = -s. Is m at least as big as 1?
True
Let r = 14 - 6. Let o = r + -5. Which is greater: o or -0.1?
o
Let t = 0.7 + 0.3. Let a = -11 - -12. Let i = t - a. Which is bigger: -0.6 or i?
i
Let h = 22.83 - -2.17. Which is smaller: 0.1 or h?
0.1
Let o = -14 + 15.4. Let q = o - 2.4. Are q and 1 unequal?
True
Suppose -3*l + 33 = -3. Suppose 0 = -3*g - 3 + l. Are g and 2 non-equal?
True
Let a = -0.02 - 140.98. Which is smaller: a or 0.1?
a
Suppose -s + 14 = s. Let p = s - 10. Suppose 2*f - 28 = 3*f + 5*m, -f - 13 = 2*m. Is f at least as big as p?
True
Let l(b) = b**3 + 6*b**2 - 8*b - 11. Let v = -14 - -7. Let h be l(v). Let q = -2 + -1. Is q < h?
False
Let r = -64 - -190/3. Suppose -3*b - 22 = -b. Let t be (-2)/b - (-360)/(-770). Which is greater: r or t?
t
Suppose 4*x + 23 = 3, 4*t = 2*x + 14. Suppose t + 4 = 5*z. Let k = 0 - z. Is k smaller than 0?
True
Let h = 13 + -7. Let i = h + -11. Suppose a + a + 4 = -2*p, -30 = 3*p - 3*a. Is p less than i?
True
Let a(m) = 0*m + 4*m - m**2 - 1 - m**3 - 3*m**2. Let u be a(-5). Suppose 3*t = 4*z + 5, u*t = z - 0*z - 2. Which is greater: 1/9 or t?
1/9
Suppose -48 = 3*z + 5*z. Is -5 at least as big as z?
True
Suppose -g + 3*g = 0. Let h(n) = n**3 + n**2 - 1. Let f be h(1). Are g and f equal?
False
Let l be (0*(-3)/12)/1. Which is bigger: -1/3 or l?
l
Let v = 6 + -4. Suppose 5*a = -2 - 3. Let y(j) = -2*j. Let w be y(a). Is v equal to w?
True
Let d = 3 + -4. Let v = -30 - -33. Suppose 16 = v*q - 2*f + 2, 2*f = 4. Which is smaller: d or q?
d
Suppose 0 = -4*g + 2 - 10. Is -1 less than g?
False
Let k = -7.6 + 7.7. Let d be (-2)/(-7) - (-40)/(-42). Are d and k equal?
False
Let s = -87.3 + 81. Let r = s - -0.3. Suppose 0 = 5*a + 4*f + 7, -5*a + 5*f = -2*a - 18. Is r less than a?
True
Suppose 4*q = 16 + 4. Let f(g) = -2*g**2 + 12*g - 5. Let c(o) = o**2 - 6*o + 3. Let v(w) = 9*c(w) + 4*f(w). Let r be v(q). Is 2 < r?
False
Suppose -5*a + 6 - 26 = 0. Which is greater: -20/7 or a?
-20/7
Let b = 10/9 - 16/9. Let r = 108661 - 17494476/161. Let c = r - 2/23. Is b bigger than c?
False
Let w = 5 - 5.1. Suppose -c + 3*l = -0*c - 10, 2*c = 4*l + 10. Let s be 0 + c/((-5)/2). Which is smaller: w or s?
w
Let k = -43 + 43. Which is smaller: 15 or k?
k
Let u = -71 + 68. Which is smaller: -4 or u?
-4
Let q be 93/(-756) + 3/(-6). Let o = q - -5/28. Which is smaller: 0 or o?
o
Suppose -17 - 18 = -5*v. Let j(r) = -r**3 + 8*r**2 - 7*r + 1. Let b be j(v). Which is greater: 1/3 or b?
b
Let m be 27/45 + 36/(-10). Let y be m/7 - (-17)/7. Which is greater: 12/13 or y?
y
Let l = 12.1 + -12. Do l and 2/33 have the same value?
False
Let v be ((-8)/20)/(4/18). Is v at least -2?
True
Suppose 20 = 4*v + 4*q, 3*q - 13 = 3*v - 4. Is v > 1?
False
Let f = 61 - 65. Does -14 = f?
False
Let x(h) = 0*h**3 + 2*h**3 - h**3 + h**2 + 0*h**3. Let o be x(-1). Which is greater: -0.6 or o?
o
Let o be (48/36)/((-86)/(-3)). Is o at most as big as 1?
True
Let d(s) = -s**2 - 7*s + 9. Let n be d(-8). Let w = -27 - -28. Is w at most n?
True
Suppose 0 = -3*s + s. Suppose j + 12 = 2*x - 2*j, 5*x - 5*j - 20 = s. Suppose -3*u - u - 4 = x. Which is greater: u or 0?
0
Let x = -361/21 - -52/3. Which is greater: 1 or x?
1
Let j = -2 - -10. Let s = -33 + j. Let t be (8/(-10))/(5/s). Is 3 at least t?
False
Let p(s) be the third derivative of s**5/60 - s**4/4 - 7*s**3/6 - 7*s**2. Let b be p(7). Which is smaller: b or -8/7?
-8/7
Let q = -12 - 4. Let a = q + 12. Which is smaller: 1/2 or a?
a
Let a = 14.109 - -0.091. Let r = -14 + a. Is r greater than -4/7?
True
Suppose -3*k + 37 + 3 = 5*o, 4*k + 3*o = 68. Let n be ((-24)/k)/((-28)/10). Is 1 greater than n?
True
Suppose 2*a + 4*v = -4, 3*v = -3*a - 0*a - 9. Let r be 1*12/(-2 - 2). Is r >= a?
True
Let s(g) = 5*g - 1. Let z be s(-1). Let t be z/1 + 2 - -4. Does 0 = t?
True
Let s = 0.106 - 10.106. Is 0.6 at least as big as s?
True
Let j be 13/2 + (-3)/6. Suppose 3*b - 6*b = 3, 0 = 4*p + 2*b + j. Which is smaller: -3/5 or p?
p
Suppose 0 = 3*i - 4*h - 3, 5 = 5*i + 3*h - 0*h. Let m be (1 - 0)/(i - -1). Let g = 48/11 - 262/55. Which is smaller: g or m?
g
Suppose 4*w + w + c = -6, -5*w + 3*c - 2 = 0. Let o(n) = 2*n**2 - n. Let l be o(w). Suppose v - 4 = -0*v. Which is greater: l or v?
v
Let l = -32 + 30.8. Is -0.2 at least l?
True
Suppose -2*k = -8 - 0. Suppose -k*o = -o - 3. Is 4 at least o?
True
Let r = -0.21 - -0.11. Is r at least -0.2?
True
Let k = 20294/217 - 656/7. Which is smaller: 1 or k?
k
Suppose 3*t = 0, 4*p - t + 48 = -92. Let j be (-30)/p*7*1. Suppose d = -0*d + 2*f + 4, 3*f = 4*d - j. Which is smaller: -2/7 or d?
-2/7
Let n be (1 - (0 - 3)) + 2. Does n = 0?
False
Let m(o) be the second derivative of o**4/24 + o**3 - o**2/2 + 3*o. Let s(c) be the first derivative of m(c). Let v be s(-5). Which is smaller: -0.1 or v?
-0.1
Let p be 8/(-6) - (-3)/9. Let h be 4/6 - (-50)/(-66). Which is smaller: h or p?
p
Let x = -3.6 - -0.6. Is x bigger than -10?
True
Let u be (3