bigger than l?
True
Let w = 5 - 1. Suppose w*x - 8 = 2*x. Suppose 5*b = x*b + 1. Is b greater than 2/15?
True
Suppose 1 = 3*l + 5*d, 2*l - 5*d - 5 - 29 = 0. Let h be (-12)/(-14)*(l - 0). Let c = h + -4. Is c greater than or equal to 2/3?
True
Suppose 3*p - 8 + 65 = 0. Is p != -20?
True
Suppose -4*x + 15 = -5*l + 3, -5*x = -15. Which is smaller: -1/10 or l?
-1/10
Let q(g) = -g + 4. Let t be q(0). Suppose 0 = -t*j - j. Let x be (j + 0)/(1 + 0). Does x = 1?
False
Let n = 0.8 + -0.2. Let c = -0.56 + n. Is c != 0?
True
Let f = -23 + -15. Is f > -38?
False
Let x be (-39)/(-112) + (-22)/77. Is 1 at least as big as x?
True
Let s be 45/50 - 2/5. Is s greater than -18/5?
True
Let n be 3/1 - (22 - 4). Let s be n/(-35)*(-4)/6. Is -1 less than s?
True
Let t = -41.9 - -42. Is t <= 23?
True
Let d(m) = m**3 - 5*m**2 + 6*m - 1. Let s be d(4). Which is smaller: s or 19/3?
19/3
Suppose y - 23 = c, 0*y + y = -4*c + 28. Let k = y + -27. Which is greater: -4 or k?
k
Suppose 7 = t + 6. Suppose 4*p + 10 = 2. Let c = -1 - p. Does c = t?
True
Let q(k) = 3*k**2 - k - 1. Let v be q(-1). Suppose -v*b + 6 = -5*b. Suppose 2*s - 3 = 5*s. Is s less than b?
False
Let i be (6/21)/(1 - 2). Let d be 1/66*(-978)/(-63). Let b = d - 1/77. Which is smaller: b or i?
i
Let b = -1 + 3. Let x(v) = v**3 - v**2 + v. Let p be x(0). Let k be p - (0 + b/(-7)). Which is bigger: k or 1?
1
Suppose 0 = c - 0*c - 1, 0 = 3*y - 5*c + 20. Let m be (-2 - -2)/(-4 - y). Suppose -2*i = -m + 6. Which is greater: 1 or i?
1
Let w = 10.6 + -11. Is w smaller than -2/15?
True
Let x = -430 + 1279/3. Is -4 < x?
True
Let q = -13/21 - -803/42. Let g = q - 18. Let s = -35 - -36. Is g bigger than s?
False
Suppose 5*l + 1080 = 3*h, 0*l - 2*h = 4*l + 886. Let g be l/(-105) - (-4)/(-14). Is 1 > g?
False
Let u = 42 + -42.08. Which is smaller: -2/7 or u?
-2/7
Let v = -104 + 180. Let x = v - 232/3. Which is smaller: 0 or x?
x
Let d = -14 - -29. Let o be 2 + 3/d*-9. Suppose x + 3*x = 0. Is x greater than o?
False
Suppose 12 = 3*a - a - 4*s, -s = -2*a + 3. Suppose 5*z - 56 = 4*b - 2*b, a = -5*z - 2*b + 44. Let y be (-4)/(-6) + z/(-6). Is -4/5 at least as big as y?
True
Let l be 2/6 - 32/(-12). Suppose -z + 2*a - 5*a = 10, 0 = -z + 5*a + 22. Suppose -4*r = l*j - 18, -4*r + 5*j + 0 = -z. Is 0.1 greater than or equal to r?
False
Let w(c) = -c - 8. Let t be w(0). Let b = 8 + t. Suppose -6*x + 3*x + 3 = b. Which is smaller: x or 0?
0
Let b be (-6)/(-4) - 90/12. Let j = -8 - b. Is -2 not equal to j?
False
Suppose z + 1 + 0 = 0. Let l be (-2*(-2)/(-16))/(25/(-20)). Are z and l nonequal?
True
Let d be (-2)/14*2 - 183/(-273). Are -0.1 and d nonequal?
True
Let c = 0.057 + 0.643. Which is greater: c or 4?
4
Let c = -0.15 - -1.35. Let n = c - 0.2. Which is smaller: n or -3/4?
-3/4
Let m = 24 - -8. Which is smaller: 31 or m?
31
Let n be (-4)/10 + (-4415)/(-100). Let a = -44 + n. Which is smaller: a or 2/9?
a
Let b be (160/14)/5 - 2. Is b at most -1?
False
Suppose -1 = -2*n + 9. Suppose -5*f = n*j - 15, 9 = 4*f - 3*f + 3*j. Let y be 4/(-8)*(f - 2). Which is bigger: y or 2?
2
Let g be 2/(-6)*4 + 2. Suppose 5*i + 52 = 2*n, -5*n + 70 + 39 = -2*i. Suppose 3*h = -h + 5*l - 16, 4*l - n = -5*h. Is g bigger than h?
False
Let j = -74 - -77.1. Is 1/3 bigger than j?
False
Let i = 0.56 - 0.6. Let n = i - 3.96. Let l = n - -5. Is 0 at least l?
False
Let f = 2 + 2. Suppose -f - 2 = -3*h. Let i be (0 - 0)/2 + 0. Which is smaller: h or i?
i
Let g(f) be the third derivative of -f**4/12 - f**3/3 + f**2. Let o be g(-4). Let z be (2/(-4))/((-3)/o). Which is bigger: z or -2/9?
z
Suppose 6 = 4*n - 6, -2*n + 11 = 5*r. Is 0 >= r?
False
Let o = 0.074 - -0.926. Is o > -31?
True
Let x = -8 - -13. Let h be 8/15 + (-4)/20. Which is smaller: x or h?
h
Let s(c) be the second derivative of c**5/20 + c**4/12 - c**3/3 - c**2/2 + 2*c. Let l be s(-2). Suppose -8 = 4*r + g, -4*g - 10 = -5*r + 1. Are r and l unequal?
False
Let m = 361801 - 1802446/5. Let r = m - 1307. Let s = -5 + r. Which is smaller: s or 0?
s
Let p be ((-9)/(-6))/((-9)/(-60)). Let s be p/4*(-2)/(-20). Is 1 smaller than s?
False
Let i = 13.8 + -0.8. Is i less than -1?
False
Suppose 11 = -3*r - n, 4*r + 2 = 5*n - 0. Let q be (-136)/32 - (-1 - 0). Is q at most as big as r?
True
Suppose 0*b - 53 = -2*w + 5*b, 3*b - 15 = 0. Which is greater: w or 41?
41
Let d(c) = c**3 - 7*c**2 + 6*c. Let q be d(6). Is q greater than 0?
False
Suppose 0 = -2*o + 1 + 1. Suppose 0 = -4*u - 3 - o. Is u at least as big as -3?
True
Let u = -1/3 - 1/6. Which is greater: u or -3?
u
Suppose 4 = 8*q - 4. Which is smaller: 2/3 or q?
2/3
Let c be (-2)/(-9) - (-22)/(-18). Let h = -2 - c. Suppose -5*d + 3*o + 0 = 16, d + 12 = 5*o. Which is greater: h or d?
h
Suppose -2*n - n = 27. Are -10 and n unequal?
True
Let o = 4 - 19. Let r be 4/10 + (-9)/o. Suppose 1 + 2 = 3*s. Is s at most r?
True
Suppose 2*d - 2*u = -4, 2*d - 7*u + 3*u + 8 = 0. Which is greater: d or -1/5?
d
Let z = 0.8 + -0.5. Is -1 not equal to z?
True
Let q = -2/1515 + -8992/74235. Let y = q + -8/49. Which is greater: 1 or y?
1
Let a(g) = -g**3 + 17*g**2 - 14*g - 25. Let m be a(16). Is 9 > m?
True
Let p = 0.34 - 0.14. Which is greater: p or 7?
7
Let n = 3 + -4. Let c be ((-1 + n)/(-4))/1. Let i = 6 + -4. Which is bigger: i or c?
i
Suppose -2*o = 2*m - 10, 23 = m + 2*m + 5*o. Is m bigger than -2/351?
True
Let s = 6 - 4. Let b be s + (-6)/(-10) + -3. Which is greater: b or -4?
b
Let w = -4 + 9. Suppose -v - 4 = -3*v + 4*o, 13 = 2*v + w*o. Let n = v - 2. Which is smaller: n or 1?
1
Let f = -2 - 0. Let o = -1.6 - f. Which is greater: 1 or o?
1
Let n be (-19)/190*4/1. Suppose t = -3*t. Is n equal to t?
False
Let v(h) = 7*h**3 + 6*h**3 + 4*h**2 - h - 2*h**2 - 2. Let a be v(-1). Is a <= -11?
True
Suppose 2*k = -2, -5*a + 2*k - 11 + 28 = 0. Let n be -6*2/6*-2. Is n equal to a?
False
Let b(r) = 5*r - 1. Let m be b(1). Which is bigger: m or 2/7?
m
Let n(l) = l**2 + 19*l + 47. Let q be n(-17). Which is smaller: 15 or q?
q
Let a = -91/170 - -3/85. Suppose -4*l = -19 + 3. Let r be l/(-10) + 2/30. Which is smaller: r or a?
a
Suppose 7*d - 3*d = -8. Let w be (-3 + 3)/(d/(-2)). Which is bigger: w or -1/3?
w
Let v = -1.7 + -0.3. Let g = -2.3 - v. Which is smaller: g or -0.2?
g
Let c = 58 - 56. Which is greater: 6/7 or c?
c
Let g(z) = -1 + 1 + 3*z + 1 + z**2. Let l be g(-2). Let n be l - (-5)/(15/6). Is -4/9 less than n?
True
Let s = 4 - 2. Let t(p) = 4*p + 2. Let a be t(-1). Let x = a + s. Which is bigger: 2/7 or x?
2/7
Suppose 3*b - 4 = -1. Let c be (1/5)/((-3)/3). Is b != c?
True
Let l = -353383/28380 + 35/1892. Let d be 7/(-12)*(2 - -20). Let o = l - d. Which is greater: o or 0?
o
Suppose 32 = -6*v - 46. Do -12 and v have the same value?
False
Let d = 5 - 7. Let v(u) = u**3 + 6*u**2 + 2*u + 8. Let b(a) = a**3 - 3*a**2 - a - 3. Let l be b(3). Let j be v(l). Which is smaller: j or d?
j
Let t be 3/6*10/(-4). Let v = 15 - 15. Is v at least t?
True
Suppose -36 = -0*u + 6*u. Is -7 > u?
False
Let n = -2.04 + 2. Let s = n - -4.04. Let f = s + -1. Which is greater: f or 0?
f
Let t = 1145.91 + -1131. Let g = t - 15. Which is greater: -1 or g?
g
Suppose 4*p + 3*v + 7 - 3 = 0, -5*v = 2*p + 2. Let t be 2/9 + 950/(-252). Let m = 23/6 + t. Which is bigger: m or p?
m
Let v(n) = -3*n + 55. Let l be v(20). Suppose -q + 3*t = -6*q - 17, 5*q - 11 = 4*t. Which is smaller: l or q?
l
Suppose x - 2*x = 0. Suppose 5*t = 4*t - 117. Let z be (t/60 - -2)*2. Is z bigger than x?
True
Let s be (81/21 - 2) + -2. Let w be ((-2)/(-6))/(2/(-6)). Which is smaller: w or s?
w
Suppose -v = 5*c - 2*v + 8, 0 = c + 4*v - 11. Suppose -6 = -4*h + 2. Let k be (-2)/(h - 0) - -1. Which is bigger: c or k?
k
Let w = -2077/10 - -208. Let v = -3 + 3. Which is bigger: w or v?
w
Suppose 2 - 11 = -3*d. Suppose 0 = d*q - q. Suppose u + q*u = 2. Which is smaller: u or 0.2?
0.2
Let h = 2 + 1. Let u = 3.3 - h. Which is greater: 3 or u?
3
Let r = -4 - -2. Suppose 0 = 5*p - 5*x + 5, 6*p - p + 23 = -x. Let q be (-6)/p*(-4)/3. Are q and r non-equal?
False
Let d = 4.66 - 1.62. Let n = -0.04 + d. Let t = 2.9 - n. Which is bigger: t or 2/11?
2/11
Let v be 2/(-4) + (-95)/(-170). Let d = -43/153 + v. Which is greater: -1 or d?
d
Let r = 5.3 + -2.3. Which is greater: 0.09 or r?
r
Let u = 41 + -38.8. Which is smaller: u or 1?
1
Let i = 0 - 0. Let v(m) = -m