 greater: 0 or s?
s
Suppose -4*y + 14 = -2*v, 2*y - 5*v + 4 = -1. Let w(c) = -2*c + 7. Let g be w(y). Does -3 = g?
True
Let s = -290711/45 - -6461. Let a = s - 6/5. Is a > 0?
False
Suppose -21 = -2*r - 5*k + 2, 0 = k - 3. Which is bigger: 3 or r?
r
Suppose 5*y - 7 = -i + 11, 3 = 4*i - 3*y. Suppose 2*p - 8 = -3*v, i*p + 5*v - 7 = 3. Suppose 0 = -5*k + p - 0. Which is smaller: k or 3?
k
Let v be -5 - (1 + (-7 - -2)). Is 0 less than or equal to v?
False
Let w(a) = 2*a**2 + 15*a - 12. Let v(s) = 3*s**2 + 22*s - 18. Let g(i) = 5*v(i) - 7*w(i). Let k be g(-6). Let l = 1 + k. Which is smaller: -2/5 or l?
-2/5
Suppose b = 2*r - 12, -5*r = -22 - 3. Suppose -p = 4*h - 0*p - 36, 4*h - p - 44 = 0. Let u be (-18)/15 + 2/h. Which is smaller: b or u?
b
Let x(s) = -3*s + 2. Let z(j) = -4*j + 3. Let d(p) = 7*x(p) - 6*z(p). Let f be d(3). Is 6 not equal to f?
True
Suppose 9 + 12 = -3*c. Let r(u) = -u - 8. Let n be r(c). Let w be (-2 - (-18)/8) + -1. Which is smaller: w or n?
n
Suppose 3*x + x = 3*i + 34, 5*x + i - 52 = 0. Suppose -4*o - x = -9*o. Which is bigger: o or 5/6?
o
Let l(t) = -t**2 - 3*t - 3. Let h be l(-3). Let p be (-6)/(-99)*h*1. Let g = -26 + 77/3. Do g and p have the same value?
False
Let z = -30 - -18. Suppose 0 = -12*d + 17*d + 10. Let i be ((-2)/z)/(d/4). Is -1 <= i?
True
Suppose 5*x - 51 = 5*y + 29, 21 = x - 2*y. Let t = -6 + x. Let g be (t - 2)*(-2)/(-21). Which is smaller: g or 1?
g
Let x = -0.009 + 1.009. Let d = 0.1 - -0.3. Which is smaller: d or x?
d
Suppose 6*j - 2*j - 5*v - 25 = 0, 5*j = 2*v + 44. Let x be (-16)/24*6/j. Which is smaller: -2/21 or x?
x
Let g = 13 + -199/15. Which is bigger: g or 1?
1
Let z be 3852/105*40/(-6). Let k = z - -245. Do -1 and k have the same value?
False
Let s = 30 + -30. Suppose -8 = -x - 3*x. Let y be (-13)/20 - x/(-8). Are y and s equal?
False
Let m = -11.2 + 4.2. Is m > -0.1?
False
Suppose 1 = -5*h + 2*j + 2, 0 = -j + 2. Is h greater than -2/27?
True
Let u = -15 - -15.008. Let p = 20.992 + u. Which is greater: -0.1 or p?
p
Let x(y) = 4*y**3 - 2*y**2 + 1. Let g be x(1). Suppose -9 = -c - c + 3*w, c - g*w - 9 = 0. Is -1 > c?
False
Suppose 0 = -v + 3*v - 36. Suppose -v - 18 = -2*c. Is c less than or equal to 17?
False
Let w be (3 - 281/123) + 4/(-6). Which is smaller: 2 or w?
w
Let k = -2 - -1. Let a = 5729 + -635950/111. Let h = a - 2/37. Is k <= h?
True
Suppose 0 = p + 18 + 8. Let w be p/(-39)*3/19. Let z(f) = f**3 + f**2 - 3*f - 1. Let l be z(-2). Which is bigger: l or w?
l
Let y = 48 + -31. Let o = -16.3 + y. Let i = 0 - 0. Does i = o?
False
Let l be (6/4)/(33/4). Suppose 2*z + 2*z + 4 = 0. Is z less than l?
True
Let q be (1/(-4))/((-3)/6). Let d(n) = -n**3 + 4*n**2 + 4*n + 6. Let v be d(5). Which is smaller: v or q?
q
Let s(w) = w**3 + 8*w**2 + 5*w - 2. Let t be s(-4). Let a be (9/(-6))/(t/(-12)). Which is smaller: 0 or a?
0
Let a = 23 + -22.82. Which is smaller: -0.1 or a?
-0.1
Let h(s) be the third derivative of -s**6/120 + 3*s**5/20 - 3*s**4/8 + 4*s**3/3 + 4*s**2. Let c be h(8). Which is smaller: c or -3?
-3
Let l = 4.4 + -4.3. Which is greater: l or 1/2?
1/2
Let x = -1 - -5. Suppose -f + x*s - 23 = 4*f, 0 = -3*f - s - 7. Suppose 0*v = -4*v - 16. Which is smaller: f or v?
v
Let l = -7.1 - -6. Let o = l - -1.2. Is -0.1 at most o?
True
Let z(n) = n**2 + 5*n. Let r be z(-5). Let l be 8/(-4) - (-6)/2. Which is smaller: r or l?
r
Let k(q) = -2*q + 1. Let t be k(-4). Let h be (-2)/(-2) + t/(-6). Let a be (-8)/5 - 6/15. Is a < h?
True
Let z = 0.8 + 0.2. Let f = 195/8 - 1397/56. Is f greater than z?
False
Suppose 27 - 24 = -3*c. Is c at most -7/10?
True
Suppose g + 5*a = 1, -g - 3*a = 1 - 0. Let i be 102/27 - g/18. Suppose 31 = -i*y + l, -4*y = -5*l + l + 28. Is -7 at most y?
False
Let t be (-118)/(-429) + 28/(-182). Which is greater: t or 0?
t
Suppose -3*d - 42 - 36 = 0. Is -25 bigger than d?
True
Suppose x = -x. Let q be (-6 - x) + 10/5. Suppose 5*d + 3*y = -16, -5*d + 0*d - 8 = -y. Which is smaller: d or q?
q
Let q = 2.6 + -2.54. Which is smaller: -1 or q?
-1
Let w(p) = p**2 - p + 11. Let z be w(0). Let a(j) = -j - z + 11. Let q be a(-1). Which is greater: -2/19 or q?
q
Let d = -4 - -5. Suppose d = -q - 0*q. Let i(a) = a**2 + 5*a - 8. Let f be i(-6). Which is smaller: f or q?
f
Suppose 5*a = a. Suppose a = 2*k + 2*k - 2*i, -4*i = -2*k + 6. Let c = -1 - 0. Is c equal to k?
True
Let h = 49 + -54. Which is bigger: h or -1/3?
-1/3
Let b = 1.23 + 0.07. Let s = b + -0.3. Suppose -d = -2*t - 7, 0*d - 9 = -3*d + 3*t. Are d and s non-equal?
True
Let t(k) = 2*k - 4. Let u be t(3). Suppose u*f = -4*s - 24, f = -4*s + s - 17. Suppose 2*c + 14 = -m - 3*m, 2*m = 5*c - 25. Is m > s?
False
Let b be -1 + 2*9/26. Suppose -2*h - 3*h = -h. Are b and h non-equal?
True
Suppose 0 = -3*a + 35 + 10. Let g = a + -24. Which is smaller: g or -8?
g
Let f = 1780 - 286578/161. Is 0 >= f?
False
Suppose 50 = -0*w - 5*w. Let d be (-6)/w*(1 + 4). Suppose -k = -2*y + 2, 4*k + 8*y - 3*y - 31 = 0. Which is smaller: k or d?
d
Let b(o) = -o**2 + 9*o - 9. Let z be b(8). Let p = -10 - -22. Let n be ((-1)/p)/((-12)/32). Does z = n?
False
Let v = -36 - -145/4. Let m(y) = y**2 - 5*y + 5. Let f be 2/12 - (-46)/12. Let x be m(f). Which is bigger: x or v?
x
Let l be (-1)/5*(-4)/(-2). Let k(x) = -2*x + 3. Let h be k(2). Which is bigger: h or l?
l
Let o = -4 + 5. Suppose 16 = 3*u + o. Does -1 = u?
False
Let l(o) = o**3 + 5*o**2 - 5*o - 36. Let d be l(-4). Let q = 60 - 661/11. Is q smaller than d?
True
Let l = -0.68 - -0.7. Let k = l - 0.32. Let s = k + 0.5. Do s and -0.1 have the same value?
False
Suppose 14*j + 17 = -3*j. Which is greater: -2/161 or j?
-2/161
Suppose 5*t - 2*h + 21 = 0, -2*t + 0*h - 18 = -4*h. Let g = t - 4. Is g at least -8?
True
Let s(l) = -l**3 - 5*l**2 - 5*l - 1. Let p be s(-4). Let g(q) = -q**3 + 3*q**2 + q. Let b be g(p). Suppose 2 = -b*r + 11. Which is greater: 4 or r?
4
Suppose 5*t + 33 = 2*d, -2*t + 3 = 3*d + 1. Which is smaller: -4 or t?
t
Let c = -20 - -20. Let w = 2 + c. Let q be (1/(-3))/((-2)/6). Which is smaller: w or q?
q
Let y = -9001/43645 + -1/1505. Let k = y - -77/232. Is 1 > k?
True
Let y be 2*(-2 + 1)*(-2)/(-4). Which is greater: -6/11 or y?
-6/11
Let y = -0.14 + 0.1. Let l = 0.06 - y. Which is smaller: l or 0.3?
l
Suppose 8*g - 5*g = -54. Let u = -37/2 - g. Which is greater: u or 2?
2
Let c = 145/153 - 8/9. Which is greater: c or -1?
c
Let b = 12 + -51. Is b bigger than -40?
True
Let l(s) be the third derivative of s**6/120 + 3*s**5/20 - s**4/12 - 13*s**3/6 + 4*s**2. Let g be l(-9). Is -1/2 < g?
True
Let k be (-12)/(-7)*(-1 + (-45)/(-10)). Is 3 greater than or equal to k?
False
Let g = -1 - -1. Which is smaller: 8/7 or g?
g
Let v = 3/38 - -17/266. Let z = 1 - 1. Suppose 4*o = -z*o - 4. Which is greater: v or o?
v
Let y be (-6)/(1/((-75)/6)). Suppose 0 = 5*t + 5 - y. Suppose 4*k + 1 = -3*o - t, -5*o - 5*k - 20 = 0. Which is bigger: 1/4 or o?
1/4
Let l = -47.2 - -43. Let n = l + 0.3. Let y = 4 + n. Is y != -2?
True
Let c = 0.02 + 1.98. Let t = c + -2. Do 0.2 and t have the same value?
False
Let p = 110 - 110. Which is smaller: 12 or p?
p
Let f = 0.594 - -0.006. Is 0.1 greater than f?
False
Let y be 60/(-18)*(-6)/4. Let x be y/(-30) + 13/(-30). Which is greater: -1 or x?
x
Let t = -17 + 15. Is t < 0.6?
True
Let z = -46.73 + 47. Do 0 and z have different values?
True
Let n = 1.8 - 1.6. Is n less than 4?
True
Let i be -2*(-4)/88*2. Which is smaller: i or -12?
-12
Suppose -4*z = -4*g - 8, 1 = -3*z - 2*g + 7. Let n(a) = 2*a + 7. Let k be n(-3). Let y = k - z. Which is greater: y or 2/9?
2/9
Let j = 0 - 1. Is -3 at most as big as j?
True
Let k(x) = x**3 + 3*x**2. Let m be k(-3). Let p = m + 2. Let i(w) = -w**3 + 7*w**2 + w - 5. Let j be i(7). Is p smaller than j?
False
Let i = -26.13 + 26. Let u = i + 1.13. Is 2/13 at least as big as u?
False
Let c(t) = t**2 - 2*t. Let a be c(2). Suppose -n = -a*n + 1. Which is smaller: n or 0?
n
Let d = -1.1 - -1. Let p = -0.6 - d. Let r = p - 0.5. Does -2/3 = r?
False
Let k = -2 + 4. Let o = k - 1.2. Let u = 0.6 - o. Is 0 at least u?
True
Let l(o) = o**2 - o**2 - 6*o - 4 + 3*o**2 - 4*o**2. Let i be l(-6). Which is bigger: -2 or i?
-2
Let a be ((-2)/(-1))/((-8)/(-68)). Suppose 0 = -4*b + 23 + 9. Let u = b - a. Which is smaller: 0 or u?
u
Let r be (36/(-112))/((-12)/14). Is 1 < r?
F