 -2*f = 2*l - 12, 2*f - l = -0 + 6. Suppose -4*i = i - 15, 3*g = f*i - 18. Let c be 1/(-3) + (-3)/6. Is g smaller than c?
True
Suppose 5*q = 3*c + 284, 3*q - 118 = -5*c + 32. Which is smaller: q or 54?
54
Let m = 85/46 - 11893/6486. Does m = -1?
False
Suppose -5*x + 18 = u, 21 = -u + 3*x + 7. Let h be (u/12)/(2/(-8)). Let c = 7.3 + -7. Which is greater: c or h?
h
Let z be (7/((-14)/8))/2. Let s = z + 3. Which is greater: 0 or s?
s
Let i = 89 - 87. Let q = -7.3 + 4.4. Let x = 3 + q. Is x at least as big as i?
False
Let y = -110 + 108.98. Let t = -0.02 - y. Which is bigger: 2 or t?
2
Let b be 0 + 2 + (-4)/(-13 - -9). Let f be 8/(-3) + (-2)/6. Let s = f + b. Which is greater: 2/9 or s?
2/9
Let m(q) = 2*q - 10. Let x be m(7). Suppose -4*d + 0*d - x = 0. Is d <= -1?
True
Let r(b) = -2*b**2 - 3*b + 4. Let p be r(-3). Let y = p + 8. Let w = y + -3. Is w less than or equal to -2/7?
False
Let s = 115 + -578/5. Suppose 0*d - 5*d = 5. Is d less than or equal to s?
True
Let k = 7 - 11. Let q(r) = -r**2 - 6*r - 5. Let b be q(k). Let m = 3.8 + -3.9. Is m > b?
False
Let g = -11 + 16. Let r(d) = -d**2 + 5*d - 1. Let s be r(g). Let j be (-3)/6*(-3 - s). Which is greater: -2/5 or j?
j
Let g = 6 - 12. Let k be 1 - -1 - (-278)/g. Let c = k - -45. Which is greater: -1 or c?
c
Let o be (8/(-10))/(1/(-5)). Let p be (0 - 0) + 0 + o. Suppose p*d = -0*d. Which is smaller: 1 or d?
d
Suppose 2*v + 0 = 2. Let u be (-303)/(-2)*4/24. Let z = u + -25. Is v >= z?
True
Let k(j) = -j. Let s be k(2). Let r be s/6*(2 + -2). Is 1/8 smaller than r?
False
Let f be (8/8)/((-5)/1). Is 1 at most f?
False
Let h(a) = 2*a**3 - a**2 + a + 31. Let t be h(0). Which is smaller: t or 32?
t
Suppose 0 = -4*o + o + 12. Suppose -o*s = 2*x + 32, 0 = -0*s - s - 4*x - 1. Is s >= -9?
True
Let p(y) = -25*y - 1. Let q be p(1). Which is smaller: -27 or q?
-27
Suppose 2*t - 1 + 14 = -j, 4*t = -3*j - 27. Let y = -3 + 1. Is y at most t?
False
Let j be 116/10 - (-8)/20. Suppose -2*t + j = 2*t. Let x be 1 + -1 + 2 - t. Are -1 and x nonequal?
False
Let h be 4/((-4)/(-2)) - 2. Let l be 18/52 - (-4)/(-8). Which is greater: l or h?
h
Let x = 0.7 + -1.4. Let q = x + 0.6. Let d = -1 - 0. Is q equal to d?
False
Let r be 32/(-14) + (-11 - -13). Which is smaller: r or -9?
-9
Let a = -13 + 19. Let x = a + -5.8. Which is smaller: 0.1 or x?
0.1
Let g = -0.4 + 0.34. Let f = g + 4.06. Let z = 0 - f. Which is greater: z or -1?
-1
Let i = -33 - -64. Which is smaller: i or 32?
i
Let m be -2*1/(-2)*1. Let n be 380/1785 - (-4)/(-34). Which is bigger: m or n?
m
Let g = 0.0947 + -2.0947. Let f be (-4)/14 - (-38)/35. Which is greater: f or g?
f
Let b = -105362/9 + 11732. Let g = 25 - b. Let w(s) = s**3 - s - 1. Let q be w(-1). Which is smaller: g or q?
q
Suppose -f = -2*f - 11. Let w = f - -9. Which is bigger: -5 or w?
w
Let h(b) = -4*b**3 - 3*b**2 - 5*b - 2. Let m(r) = -r**3 - r. Let j(d) = h(d) - 3*m(d). Let i be j(-2). Is i < -2?
False
Let j = 144 - 86. Let p = j + -231/4. Let c be 3*(-2 + 14/6). Which is bigger: c or p?
c
Let q be 2/(-10)*(-1 - -3). Let f be 1 + 3 - (-2 + 2). Suppose f*x - 11 = 3*l, l + x = -1 + 2. Which is smaller: l or q?
l
Suppose 0 = 2*v - 3 + 1. Suppose y - 3 - v = 3*j, 0 = 3*y + 4*j + 14. Let w = 1 + -2. Is w equal to y?
False
Suppose 4*b + 7 + 5 = 0. Which is smaller: b or -5/3?
b
Suppose 0 = -2*c - 5 + 3. Which is bigger: -4/25 or c?
-4/25
Let m = -38 - -114. Which is greater: m or 75?
m
Suppose -24 = -6*i + 8*i. Is i at least -13?
True
Suppose -n + 13 = -2*q + 4*q, 2*n + 2*q - 18 = 0. Which is smaller: 3 or n?
3
Let f = -14 + 9. Which is bigger: -2/7 or f?
-2/7
Let p = -28 + 49. Is 21 > p?
False
Let c be -3 - 5/(10/(-12)). Suppose c*j + 8 = -j. Which is bigger: 0 or j?
0
Let i = -1462 + 43867/30. Let d = i - -1/60. Is d > 0?
True
Let t = -77.6 + 76. Is t smaller than 1/7?
True
Let p = 22/47 + -1329/329. Is -5 < p?
True
Suppose -2 + 0 = -z. Let a = 67/57 - -3/19. Is z at most as big as a?
False
Let v(k) = -5*k + 2. Let x be v(4). Which is bigger: x or -2?
-2
Let o(u) = -u**3 + 11*u**2 - 11*u + 11. Let k be o(10). Let q = -6 + 10. Suppose 27 = 2*l + b + 4*b, -q*l - b = -9. Are l and k equal?
True
Let q = 191/742 - -3/106. Let i be 15/(-12)*2/(-15). Which is greater: i or q?
q
Let r = 394 + -1981/5. Let k = -11 - -9. Is k greater than r?
True
Suppose -2*a = s + 3*a - 97, 0 = 4*s + 2*a - 316. Let w be (-6)/(-33) - (-8)/s. Which is smaller: w or 0?
0
Suppose -2*f = -x - 2, -2*f + 3*x = 2*f - 8. Let i = 2 + -9. Let q = i - -9. Which is bigger: q or f?
q
Let v = 1.8 + -0.8. Which is bigger: v or -2/11?
v
Let i(j) = -2*j**3 - j**2 + 7*j. Let k be i(-3). Is 24 greater than or equal to k?
True
Let o = -65 + 77.3. Let w = 12 - o. Is w < -1?
False
Suppose -6 + 2 = -2*d. Suppose -3*x - 3*a = -27, -d*a = -3*x + 2*a + 13. Which is greater: x or 8?
8
Let v(o) = -2*o**2 + 2*o - 1. Let k be v(1). Let i(a) be the second derivative of a**4/12 + 5*a**3/6 - 4*a**2 + 3*a. Let q be i(-6). Which is smaller: k or q?
q
Let t = 21632/1047 - -2/349. Which is smaller: t or 20?
20
Let m(z) = -z**2 + 5*z - 1. Let j be m(2). Suppose 2*l - l + 4*n = 9, -j*n - 15 = 5*l. Which is greater: -8 or l?
l
Let c = 5008/9 - 562. Is c <= -7?
False
Let n = 0.28 - 0.49. Let q = n + 0.11. Which is smaller: 2/3 or q?
q
Suppose -5*n = -2*k - 13, 4*k = 3*n - 9 + 4. Let m(x) = -x**3 + 6*x**2 - 5*x + 1. Let d be m(5). Is k bigger than d?
False
Suppose h - 4 - 1 = 0. Let u be 10/4*8/h. Let g be (-1)/2*u/(-2). Which is greater: g or -1?
g
Suppose 0 = 6*v - 3*v. Are 0 and v unequal?
False
Let d(k) = -k - 2. Let y be d(3). Let t be 12*((-112)/(-12))/(-7). Let q be (-15)/13 - t/104. Is y < q?
True
Suppose -37 = 5*c + 28. Which is bigger: c or -14?
c
Let l = 5 - 6. Let g be l - (1 + -1 + 0). Which is bigger: g or -1/5?
-1/5
Let p = -32 - -33. Let i be (-2)/((-328)/2) - 0. Let s = 239/574 + i. Is s at least as big as p?
False
Let m = 2 - 2. Suppose 2*f = 2*x - 3*f - 12, -2*x + 3*f + 8 = m. Which is greater: x or 2/3?
x
Let j be (1/(-2))/((-13)/(-78)). Let f = 7 + -11. Which is smaller: f or j?
f
Let c be 2*(20/(-6) - -3). Are c and -2 equal?
False
Let k = -0.49 - -0.49. Do k and 2/3 have the same value?
False
Suppose -3*q = -2*m + 234, -27 = q - 5*m + 51. Let a be (-3)/(-1) + q/24. Is a <= -0.9?
False
Suppose -38*x + 2 = -36*x. Let d = 307/3432 - 3/104. Is x not equal to d?
True
Let g(p) = -3*p - 6. Let v be g(-11). Let x = v - 50. Let j = x + 91/4. Is j != -2/9?
True
Let v = -0.2 + 0.3. Suppose -4*f = h + 4*h + 50, f + 23 = -3*h. Let y be 1/5 + h/10. Are v and y equal?
False
Let u be ((-4)/(-6))/((-2)/2). Let c = -5.8 + 6. Let l = 0.1 - c. Which is smaller: l or u?
u
Suppose -5*o + s = -o + 6, -16 = 4*o + 4*s. Which is bigger: o or -3?
o
Let h be (-3 - -2) + 67/42. Let a = 1/14 + h. Are -3/2 and a unequal?
True
Let z be (-5 - 0)/(5 + -6). Is -0.1 at most as big as z?
True
Let r = 21 - 17. Let z be 30/(-8)*(r - 3). Is -3 at most z?
False
Let b = -11 - -10.9. Let r = -9 - -5. Which is smaller: r or b?
r
Let o(a) = -a**2 + 5*a - 4. Let y be o(4). Suppose y*u - u + 2 = 0. Let q be 1/u*0/1. Which is smaller: q or 1/5?
q
Let t = 5 + 1. Which is smaller: -0.1 or t?
-0.1
Let g = 1580/37689 + -2/739. Which is bigger: 0 or g?
g
Let r = 259 + -258.99. Suppose s + 2 = 1. Let n be 2*(3 - 2) + s. Which is smaller: r or n?
r
Let t be 9/4 - (-5)/(-20). Let w = -38 - -116/3. Is t > w?
True
Suppose 0 = -4*q - 2*h - 13 + 35, -5*q = 2*h - 26. Let i be 2/(4/(-30)*-3). Is i less than or equal to q?
False
Let j = -18.35 + 0.35. Let z = 18.11 + j. Let y = z - -3.89. Which is smaller: y or -1?
-1
Let k be 0*(3/1)/3. Let w = -63 - -251/4. Which is bigger: w or k?
k
Let c = 21 + -20.91. Suppose 5*s + 0 - 1 = 4*d, 2*d = -4*s + 6. Which is bigger: c or d?
d
Let p = 0.5 - 2.5. Let z(j) = -5*j - 25. Let f be z(-5). Is p at least f?
False
Let p be ((-8)/(-7) - 2)*-7. Suppose -3*g = -p*g. Suppose 1 = 2*x + 3. Is g at least x?
True
Let v = 26/57 - -4/19. Let u = 4.89 + 0.11. Let i = 4.97 - u. Which is smaller: v or i?
i
Let g = 166 - 164. Is g bigger than -3?
True
Let z(c) = c**3 + 2*c**2 + 2*c + 1. Let t be z(-2). Let a(p) be the first derivative of -p**4/4 - p**3 + 2*p + 3. Let r be a(t). Is -0.3 != r?
True
Let l = 328 + -709/2. Let x = -27 - l. Let w = 0 + 0.1. Is w at most x?
False
L