 - 16/24. Suppose a = -o + 3. Let b be (o + -2)/(1 - 3). Is 0 at least as big as b?
True
Let t = 16.4 - 20. Let w = t - 1.4. Which is greater: w or 0.1?
0.1
Suppose -3*m - 2*k + 58 = 0, 5*m - 96 = -k - 2*k. Which is smaller: m or 2/9?
2/9
Let w be 9 + -6 - (-137)/(-45). Which is smaller: w or -1?
-1
Let z(i) = -2*i**2 - i. Let a be z(-2). Let n = 9 + a. Which is bigger: 1 or n?
n
Let i = 2 + -2. Let d = 9/22 + -1/2. Which is greater: i or d?
i
Let n be (80/(-15) + 5)*(1 + -4). Do -2/51 and n have the same value?
False
Suppose -4*b - 2*b + 12 = 0. Suppose -7 = 3*t - z, 7*z - 23 = 3*t + b*z. Is t < -6/17?
True
Suppose 0*n - 6 = 3*n. Let c be (45/140)/((-3)/8). Is n smaller than c?
True
Let p = 0.09 - -1.21. Let u = 1 - p. Let q(y) = y + 7. Let k be q(-7). Is k <= u?
False
Let l(n) = n**3 + n**2 - n. Suppose -1 = 3*h - 4*h. Let p be l(h). Let d be 1/((-1)/1*4). Is d at most as big as p?
True
Let q(i) = -2*i - 1. Let s(d) = 15*d + 9. Let j(m) = -33*q(m) - 4*s(m). Let h be j(2). Do h and 9 have the same value?
True
Let b = 285 + -286. Suppose -3*r + 17 = -2*x, 0*x - 2*r + 7 = 3*x. Are x and b equal?
True
Let b be -1 + 2 - (-9)/3. Suppose 5*u = b + 11. Suppose -h - u*h = 0. Is h greater than -1/5?
True
Let s(p) = p**2 - p - 1. Let y be s(2). Let b = -2 + 5. Suppose d + b*d = -12. Which is bigger: y or d?
y
Let d(q) = q**3 + 5*q**2 + q + 5. Let i be d(-5). Suppose 5*s + 7 - 12 = i. Is s bigger than 1?
False
Let u(q) = q - 2. Let f be u(2). Suppose -4*d + 0*d = f. Let k = 0.1 + 0. Is d != k?
True
Suppose -3*p = p - 44. Which is smaller: 10 or p?
10
Suppose -c = -1 + 21. Let n be c/(-11) + 2 + -4. Suppose -1 = -k - 4*i - 12, 0 = 3*k + i. Is k <= n?
False
Let g(o) = o - 11. Let j be -2 + 1*(12 + -2). Let x be g(j). Let p be (2/(-6))/(1 + x). Is p bigger than -1?
True
Let o(m) = 6*m - 101. Let w be o(16). Let g be 60/(-14) - (-4)/14. Is w less than g?
True
Let u be 16/(-28) - 24/(-42). Let l = 1 + -1. Is u bigger than l?
False
Let r = 106 - 106. Is 3/64 at most as big as r?
False
Let l = 249/5 + -50. Which is smaller: 0 or l?
l
Let q = -1 - -2. Let n(h) = -h**3 + 2*h**2 + 4*h - 2. Let a be n(3). Let b be 4/6 + a + -1. Is b greater than q?
False
Let u be (2/4)/(3 + -4). Is u greater than -1?
True
Let r(v) = v**3 - v**2 - v. Let x be r(-1). Which is bigger: x or 2/11?
2/11
Let q = -37 - -21. Let m = q + 16. Which is greater: 4 or m?
4
Let o = -0.1 - -0.2. Let l = 0.3 - o. Are l and -2/3 unequal?
True
Let c = 123 - 2827/23. Suppose -3*l + 5*l = -10. Let k = l - -5. Which is bigger: k or c?
c
Suppose 2*w = 5*w + 36. Let o be 21/28*w*1. Are -10 and o equal?
False
Suppose -12 = 3*x, -117 + 9 = 5*f - 3*x. Is f at most as big as -24?
True
Let m be (-12)/(-4) + (-3 - 1). Is m > -8/9?
False
Let b be -4*2/(-20)*10. Suppose -t + 18 = -b*t. Is -5 less than t?
False
Suppose 21*v = -102 - 297. Which is greater: -15 or v?
-15
Let t be (0 + (-9)/6)/(-3). Which is greater: t or 10?
10
Let v(j) = -3 + 4*j - 2*j + 0 - 3*j. Let m be v(0). Suppose 4*b - 3 = -15. Are m and b unequal?
False
Let t = -50 + 70. Let d be 76/t + -1 - 2. Is d <= 0?
False
Let v = -7 - 29. Let i be (-2)/(-12) + 15/v. Is i != -0.2?
True
Suppose r - 4*g = 44, -3*g + 271 = 4*r - 0*g. Are 64 and r nonequal?
False
Let r = 78436 + -785011/10. Let w = 65 + r. Is 1 >= w?
True
Let y be (-2)/8 - 35/(-28). Let n(h) = h**2 - 2*h - 1. Let x be n(3). Let a be 3/(-9) + x/(-30). Is a < y?
True
Let f = -9.06 + 7. Let h = f - -0.06. Let a = 7 + -6.9. Are h and a equal?
False
Suppose -4*s + 18 = 2*s. Suppose -4*k + 2*k - 2*v = -14, 5*k + 3*v - 25 = 0. Is k at least as big as s?
False
Let k(t) = -3*t + 34. Let s be k(11). Is s >= -61?
True
Let j = -1.9 - -2. Let h = -0.14 - 5.26. Let o = h - -0.4. Which is greater: j or o?
j
Let w = -237 + 391. Let b be w/4*(1 + 1). Let p = 694/9 - b. Which is smaller: p or -1?
-1
Let p = 4 - 4.1. Is p greater than or equal to -10?
True
Let l = -1 - -4. Suppose 2*y + y + 18 = 0. Let a be (-2)/y + 16/6. Is l less than or equal to a?
True
Let r = -21 - -22. Which is smaller: -4/25 or r?
-4/25
Suppose 7*c + 90 = 4*c. Let v be (8/c)/((-12)/(-30)). Which is greater: v or -2?
v
Suppose 4*m + 0*m - 16 = 0. Let y(x) = -x**3 + 10*x**2 + 2*x - 15. Let f be y(10). Are m and f unequal?
True
Let m be -6 + (4/2 - -1). Is -6 at most m?
True
Let i(g) = 2*g - 2. Let u be i(2). Suppose -u*m + 5*m = 0. Let p be 14/30 + (-26)/(-78). Are m and p unequal?
True
Let r = -0.49 + -0.51. Which is bigger: -14 or r?
r
Suppose 0*v - 185 = -5*v. Which is smaller: 71/2 or v?
71/2
Let r be (3/(-37))/(-3 - (-30)/8). Which is smaller: r or -1?
-1
Suppose 2*c - 5*i + 25 = 0, 8 - 3 = i. Let o = 25 + -9. Let v = 16.7 - o. Is v <= c?
False
Suppose -5*w - 16 = 3*x - 0*x, 5*x = 5*w + 40. Suppose -11 = 3*o - o + x*s, -4*o = 4*s + 12. Let h be (-1 - (-3)/o)/(-2). Which is smaller: h or 1?
h
Let k(s) = -s**3 + 6*s**2 + 2*s - 9. Let d be k(6). Is d less than or equal to 3/2?
False
Let b(c) = -c - 4. Let w be b(-3). Let u be (-13)/(-24) - (22/(-12) - -2). Is u at least w?
True
Let f be 2/(-5)*(27/32 - 1). Is -3/4 smaller than f?
True
Let u = -10 - -3. Let a = 12 + u. Is 2/3 at least as big as a?
False
Suppose 8 = -5*v + 3. Let h = 12.3 - 12. Is v not equal to h?
True
Let o(p) = -7*p**3 + 3*p**2 + 3*p + 1. Let f(b) = b**3 + 5*b**2 + 4*b - 1. Let c be f(-4). Let d be o(c). Do 0 and d have the same value?
False
Let h be (-30)/44 - 4/(-22). Are h and 6 equal?
False
Let a(q) = q**3 + 9*q**2 - 10*q + 3. Let t be a(-10). Let m be 4/6*6 + 0. Is m at most t?
False
Let g = -11 - -25. Let p = g + -13.9. Is p != 8/3?
True
Suppose -4 = -4*b + 6*b - 2*s, 3*b + 14 = 5*s. Suppose -5*p + 22 = -3. Is b < p?
True
Let v(q) = -q**3 + 4*q**2 - 3*q + 3. Let z be v(3). Suppose -z*x = x + 8. Let w(l) = -l**3 + 4*l**2 + 7*l - 12. Let m be w(5). Is m < x?
False
Let r be (-15)/30*(4 + 1)*2. Which is bigger: -3 or r?
-3
Let i be 0/3*(-3)/(-9). Suppose 4 + 0 = v - 3*t, t + 2 = i. Which is smaller: v or -3?
-3
Suppose 3*f + 2*u + 37 = -3*u, -5*f - u - 47 = 0. Let g be f/12*-4 + 3. Which is smaller: 5 or g?
5
Let n = -0.28 - -0.72. Let l = 0.04 - n. Suppose 2*o = -0*o + 2. Which is smaller: o or l?
l
Let r = 48 + -68. Which is smaller: r or -19?
r
Let l be -8 - -9 - -1*1. Let p be 2*(l + -5) + 3. Is -2 bigger than p?
True
Suppose 269 = 2*c + 265. Is c equal to 8/11?
False
Let r(d) = -d**2 - 5*d + 2. Let h be r(-5). Let o be h + 0/(-2) - -2. Suppose 2*k + p = 10, 0 = 5*k - o*p + 1 - 0. Which is smaller: 2 or k?
2
Let u(w) = w**3 - w**2 - w + 1. Let b be -1 + -2 + 12/4. Let k be u(b). Is 3/2 smaller than k?
False
Suppose -40 = -2*s + 16. Suppose -d + s = 3*d. Let u = -6 + d. Is 8/7 >= u?
True
Let h = -6 - -6. Which is smaller: h or 1.4?
h
Suppose 0 = -2*b - 0. Is 6/25 smaller than b?
False
Suppose b + 60 = -3*b. Let s be b/18*4/(-40). Which is greater: s or -1?
s
Let v be -15 - (2 - 1)/((-6)/(-18)). Which is smaller: v or -21?
-21
Let l be (-6)/(-15) - (-15)/25. Let v be ((-18)/(-8))/(3/35). Let p = -26 + v. Which is bigger: p or l?
l
Let v = -1/100 + -149/100. Suppose -3*s - 3 = -5*l, -8*s + 3*l - 5 = -3*s. Is s > v?
True
Let j be 66/(-45) + (-4)/(-6). Let z(w) = w**3 + 8*w**2 + 6*w - 9. Let n be z(-7). Which is smaller: n or j?
n
Suppose 0 = -47*y + 48*y - 1. Are y and 3 unequal?
True
Let l be (-8)/(-10) + 18/(-45). Suppose 0 = -3*u + u. Which is smaller: l or u?
u
Let v be (-75)/12 + (-3)/(-12). Let c be (-5)/(6*4/v). Which is bigger: c or 2?
2
Let d be (-5)/(-3) - (0 + 1). Let u = 31 + -35.3. Let s = -4 - u. Is d < s?
False
Let k(a) = a - 4. Let r be k(4). Let l be 0 + (-10)/(380/(-6)). Is r < l?
True
Let d(g) = -2*g - 6. Let b be d(-5). Suppose -3*i + y + 21 = 0, 0 = -b*i - i - 5*y + 15. Let q be 0*((-3)/i - -1). Is -1 greater than q?
False
Let z = -8 - -6. Which is smaller: -4 or z?
-4
Let h = 6.21 + -1.11. Let o = h - 5. Let a be (-33)/(-27) - (-2)/(-9). Which is bigger: a or o?
a
Let w be -20 - -17 - (-1089)/(-7). Let h = w - -158. Is 0 < h?
False
Let z be (-3 - 0) + 3 + 1. Suppose 5*a + 4 = -z. Is -4 >= a?
False
Let g be (-1 + -8)*13/(-39). Let v be 9/3 + (g - 9). Is -1 at most v?
False
Let d = -52 - -53.12. Let x = d - 1. Let p = -0.02 + x. Is -2/7 greater than or equal to p?
False
Let d be (-2)/(-1 - -5)*4. Let o = 2 + d. Is 1 at least as big as o?
Tr