= 30/11 - 49/22. Is f less than 0.8?
True
Suppose -c - 2 = s - 0*s, -4*c - 2*s - 18 = 0. Let u = -117.2 + 117. Is c less than u?
True
Suppose 0*m - 10 = 5*m. Let q be 0 - 4 - 6/m. Is q < -2?
False
Let l = -346 - -22492/65. Which is smaller: 1 or l?
l
Suppose f = 2*w - 2*f + 9, 5*w + 4*f = -11. Are 0 and w equal?
False
Let j = 7 - 2.9. Is -1/4 at most as big as j?
True
Let s(v) = -v**3 - 12*v**2 + 1. Let a be s(-12). Let x be 3/(-24)*(-4396)/(-18). Let c = 123/4 + x. Is a > c?
True
Suppose -q + 1 = -1. Let w be (-1)/4 + 363/44. Let s be (-2)/w + (-1)/q. Is s < -1?
False
Let p = 3 + -1. Let i be 2*(-2)/(-2) + -1. Which is smaller: p or i?
i
Let l be (1/(-2))/(4/8). Let q be (5/20)/(2 - l). Which is greater: 0 or q?
q
Suppose 4*v + 68 = -8. Are v and -2 nonequal?
True
Suppose -24 + 84 = -a. Let z = -11 + a. Let j = z - -499/7. Which is greater: j or 0?
j
Suppose 0 = -14*p + 1130 - 3552. Which is smaller: p or -172?
p
Let z = -73.6 - -66. Let s = z + 1.6. Let g = 6 + s. Which is bigger: 1/2 or g?
1/2
Let b = 4 - -6. Let m be (-8)/20 + b/25. Is -1/11 at most as big as m?
True
Let h be (-1)/2*3*(-4)/(-18). Suppose -4*g + 5*g = -1. Is h bigger than g?
True
Let f = 3 + -2.8. Let x = f + -1.2. Let r = -1.1 - x. Which is smaller: 1/2 or r?
r
Let t(y) = y**3 - y**2 - y - 109. Let r be t(0). Are -109 and r equal?
True
Suppose -3*q = 3*g + 14 + 13, 39 = -5*g - 2*q. Which is greater: -5 or g?
-5
Let s = 132/17 + -1131/34. Let d = s - -25. Is -1 at least d?
False
Let j = -1 - -21. Let k be (6/20)/(8/j). Let c be 0/2*2/2. Is c equal to k?
False
Suppose 0 = 2*u + 4*u + 72. Let p = 12 + u. Suppose 0 = 5*i + 3*g + 10, 5*g = -2*i - 0*g - 4. Is p greater than or equal to i?
True
Suppose g = -3*g - 16, 4*o = 3*g - 36. Which is smaller: -11 or o?
o
Let f = 2 - 1.9. Is f at least as big as 1/3?
False
Let c = -8 - -12. Let i be (-68)/20 + c/10. Is i equal to -4?
False
Let a = 0 - -3. Suppose 0 = 2*m - b - 32, -2*m + 4 + 12 = 3*b. Suppose v + 0*v + 4*f = 23, -2*v + 4*f = m. Is a < v?
False
Let a = -33.94 - -34. Which is greater: a or 0?
a
Let i = -3.05 - -0.05. Let c = i - -5. Which is bigger: -0.1 or c?
c
Let m = -0.05 - -0.15. Let j = 1 + 0. Let s = 1.1 - j. Are s and m non-equal?
False
Let f be (0*1/(-2))/1. Let v be 8/(-128)*3*-2. Is v smaller than f?
False
Let d = 7 + -9.1. Let m = d + 0.1. Which is smaller: 2/3 or m?
m
Suppose 29*h - 27*h = -54. Is -26 at least as big as h?
True
Let d = -73 - 96. Does d = 0?
False
Let d(r) = -r**3 + 2*r**2 + r + 3. Suppose 4*h + 0 = 12. Let v be d(h). Which is smaller: v or -2?
v
Let w be ((-6)/(-4))/((-6)/(-8)). Let p(a) = a**3 - 5*a**2 - 6*a - 1. Let k be p(6). Let x = k + w. Is x < -0.1?
False
Let c = 0.23 - 1.23. Which is smaller: c or -0.19?
c
Let z = 6 + -9. Let g(v) = -3*v + 34. Let q be g(13). Which is smaller: q or z?
q
Let s be (6/3)/((-3)/6). Let p(d) = d - 1 + 3 + 0. Let z be p(-5). Which is smaller: z or s?
s
Let l(s) = 3*s - 39. Let q be l(24). Is q greater than 33?
False
Let y be 2 + 1*-3 + 2. Let j be -1 + -2 + (3 - y). Let k be (4/22)/((-1)/j). Which is smaller: k or 0?
0
Let h = -45 + 44.8. Which is greater: h or 10?
10
Let f be 2/6*3*7. Suppose -2*w = -3 - 1. Let k = 9 - w. Is f less than k?
False
Let h(w) = -3*w. Let v be (-4)/(-3) - (-1)/(-3). Let u be h(v). Is u equal to -2?
False
Let g(s) = s + 8. Let o = 1 + -7. Let q be g(o). Suppose 4*r = q*r + 2. Which is smaller: 2 or r?
r
Suppose -2*g = 2*g - 4. Let n = -28320/49 + 578. Which is smaller: g or n?
n
Suppose 140 - 71 = 3*d. Which is smaller: 21 or d?
21
Let n = 23 - 44. Is -1 >= n?
True
Let j be -1*(-1 - -2) - -1. Let i(x) = 2*x + 7. Let m be i(3). Suppose -v + 4*v - a = 2, -2*v + 3*a + m = 0. Are v and j unequal?
True
Let h(r) = r**3 + 12*r**2 + 12*r + 14. Let s be h(-11). Let u be 10/25 + s/5. Let k be 0 - 2*2/10. Which is greater: k or u?
u
Suppose -4*x - 3 = -3*x - 4*d, -2*x - 2*d + 24 = 0. Which is bigger: 8 or x?
x
Let k = 0.64 - 0.7. Let g = 15 - 14.64. Let f = k + g. Which is smaller: f or 2?
f
Let i = 463/1645 - -1/235. Let k = -48 + 49. Is k greater than or equal to i?
True
Let p = -2 + 9. Let j = 8 - p. Is j > -2/3?
True
Let p = 4 - 3.9. Let c = -4 + 3.9. Is p at least as big as c?
True
Let h be (40/12)/((-2)/(-3)). Let n be ((-2)/4)/(1/(-6)). Which is bigger: h or n?
h
Suppose 6 = 4*m - 2. Suppose -m*x = -2*i - 16, -4*i = -2*x - i + 19. Is 6 smaller than x?
False
Suppose -p = -2 - 1. Suppose -5*o = 5 - 0, -p*h - 7 = -2*o. Is h greater than or equal to -1?
False
Let o = -3023/6 - -1037/2. Let s = o + -14. Which is greater: 1 or s?
1
Let q be ((-3)/(-2))/(42/8). Let l = 1 - 2. Let i be l/((4/(-3))/4). Which is smaller: i or q?
q
Let m(a) = -a**2 - 3*a + 9. Let y be m(-5). Is y at most -5/4?
False
Suppose -4*y + 3*p + 33 = 0, 3*y - p - 43 + 12 = 0. Which is smaller: y or 10?
10
Let m be 2/4 + (-90)/4. Let q be 204/(-33) - 4/m. Let w be (q/9)/((-2)/3). Which is smaller: w or -1/6?
-1/6
Suppose x + 3*c + 1 = 2*c, 4*c + 18 = 3*x. Let l(v) = 2*v - 1. Let q be l(4). Let p = 10 - q. Is x >= p?
False
Let a = 1.9 - 1.2. Let t = 1.3 + a. Let m = 2 - 3. Which is smaller: t or m?
m
Let l = -35 + 31.6. Let s = -3 - l. Let m = s + -0.2. Is m smaller than -0.3?
False
Let q be (-12)/(-117) + 3/(-9). Which is smaller: -2/3 or q?
-2/3
Let c(q) = 1. Let r(t) = -t - 6. Let k(b) = -3*c(b) - r(b). Let f be k(-3). Suppose -4*d + 2*o + 0 = -14, 0 = -5*o - 15. Which is greater: f or d?
d
Suppose -2 + 65 = 3*a. Suppose 179 = -4*t - 217. Let w be t/a + 6/(-21). Is w less than -3?
True
Let z(p) be the third derivative of -p**5/60 + 5*p**4/24 + p**3/3 - 2*p**2. Let i be z(4). Suppose 0*v + 2*h = 5*v - 16, -i = v - 5*h. Is v != 2?
True
Let x(g) = 2*g**3 + g**2 - g**3 + 4 - 5*g**2. Let f be x(4). Let t be f/2 + 0 + -1. Which is bigger: 4/5 or t?
t
Let y(m) = -m**2 + 2*m + 1. Let l(b) = -b**2 + b. Let i(w) = -4*l(w) + y(w). Let r be i(1). Is 1 less than or equal to r?
True
Suppose 0 = -9*g + 7*g - 10. Is g less than or equal to -6?
False
Let m be (105/(-85))/(6/4). Let a = -121/85 - m. Is -1 bigger than a?
False
Let m be (-6)/(-4)*8/(-1). Which is bigger: -14 or m?
m
Suppose 22 = -2*j - 0*j. Let z be (-2)/j - 24/44. Is z smaller than -2/3?
False
Let k be 6/(-9)*(-81)/6. Is k less than or equal to 6?
False
Let u = 57.6 - 58. Which is smaller: u or 5?
u
Suppose -3*j = -26 + 2. Suppose j*z = 7*z. Which is bigger: 4/13 or z?
4/13
Let r be -3*-1*39/9. Are r and 13 non-equal?
False
Suppose -2*c + 4*c + 13 = -5*z, -4*z = -2*c + 14. Let i be ((-18)/13)/3 + 0. Let s = i + 29/91. Is s smaller than c?
True
Let j be 6/34 + 8/68. Is -1 < j?
True
Let i = -44 - -29. Let b = i + 20. Is b >= 5?
True
Suppose 0*g = 4*r - 3*g - 17, -4*r = 3*g + 1. Suppose 0 = 2*b + 4*p + 8, -r*p + 9 = -2*b + 1. Are -5 and b equal?
False
Suppose -2*s - 2*y - 5 = -s, -3*s + 15 = -4*y. Does s = -38?
False
Let r = 2 + 3. Suppose -3*a = a - 8, 0 = -5*i - r*a. Suppose -1 = 3*h + 8. Which is smaller: i or h?
h
Let d = -1 - -2. Suppose -5*n = -2 - 3. Let f be n/((-5)/2 - 1). Which is bigger: d or f?
d
Suppose 4*s + s - 10 = 0. Let f = s - 3. Let y be (2/(-40))/(28/210). Is y <= f?
False
Let r be (16/420)/((-12)/10). Which is smaller: r or 0.1?
r
Let s = 18 + -14. Let x = s - 5. Which is bigger: 0.2 or x?
0.2
Let j = -1249667/27020 + -2/6755. Let r = -45 - j. Is 1 bigger than r?
False
Let b = 38 + -192/5. Suppose 0*a - 3*a + 4*s = -16, -12 = -5*a + 3*s. Is a less than or equal to b?
False
Let g be (-3)/9 + (-57)/(-9). Let o(h) be the third derivative of -h**4/24 + 7*h**3/6 - h**2. Let z be o(g). Is z at least 2/5?
True
Suppose -4*s + 2*w = -24, -2*w + 11 = 3*s - 0*w. Let d(h) = h - 1. Let g be d(1). Suppose 4*j + 12 = g, 4*r - s*j - 4 - 7 = 0. Is r less than or equal to -4/3?
False
Let h be 2/6 - 14/6. Let f be ((-4)/5)/((-6)/15). Let s be -4 - (-6 + 2 + f). Do h and s have different values?
False
Let y = -113363/7 + 16284. Let d = y + -89. Let j be (-3)/((-39)/28) + -2. Is j at most as big as d?
True
Let c(t) = 3*t**2 + 8*t - 2. Let d be c(-3). Let i be (-2)/(-4)*2/(-1). Let u be (i*(-2)/2)/(-6). Which is bigger: d or u?
d
Let r = 989 - 985. Let g = 8 - 6. Is g not equal to r?
True
Let r(j) = -j**2 - 11*j. Let o be r(-11). Suppose 2*h + h = o. Suppose n = 3*m + 5, h*m + m + 7 = 3*n. Which is bigger: m or -3?
m
Supp