3 + 1). Suppose -l - 69 = -16*s. Is s at least 77/5?
False
Let h = -1 - -1. Let g = -32 + 34. Let x be g/6 - (-25)/(-60). Is h at least as big as x?
True
Let h be 4 - (-66205)/(-20)*430. Let t = h + 4255975953/2990. Let x = 2/115 + t. Is -1/2 >= x?
False
Let r = -3.94 - -3.74. Which is smaller: r or -0.01?
r
Let i be 2532/(-705) - 10/(-25). Is i at most as big as -4?
False
Let w(h) = -h**3 - 9*h**2 + 10*h - 3. Let n be w(5). Let i be n*3/(-126)*23. Let r = i - 166. Which is smaller: 0 or r?
r
Let h = -11 + 11.04. Let b = h - -0.26. Let y = b - 0.2. Is -4/3 >= y?
False
Let c = -85 - -88. Let w be (c/27)/(4/18). Which is greater: 3 or w?
3
Let u = -146 - -104.8. Let d = -41 - u. Which is bigger: d or 5?
5
Suppose -x = 5*m + 89, 5*m = 2*x + x - 73. Let a = -0.926 + -0.074. Which is smaller: a or m?
m
Let b = -667 - -666.6. Which is smaller: b or -47?
-47
Let s be 6/((-2)/(-5) - 145/550). Are 45 and s equal?
False
Suppose 4*c + 4 = 0, -3*n - 3*c = -0*c - 6. Let y be (-1 + n)*(-8)/(-40). Is 3/4 less than y?
False
Let u(i) = -157*i**3 + 3*i**2 + 8*i + 4. Let m be u(-1). Are 155 and m unequal?
True
Let v be ((-2)/4)/(315/(-20)). Let d = 310 - 309. Which is greater: d or v?
d
Let y = 302.8 + -303. Which is smaller: y or -93?
-93
Let v(s) = -2*s**2 - 49*s + 60. Let u be v(-26). Does -20 = u?
False
Suppose b - 89 = -1118. Let d = b + 86437/84. Is 0 greater than or equal to d?
False
Let u = 14.17 + -16.1. Let g = -5.97 + u. Let i = 8 + g. Which is smaller: -2/9 or i?
-2/9
Let n = 0.0261 + 0.0739. Let d = 2.7 + -2. Is d greater than or equal to n?
True
Let g be (-2)/((-6)/271) + -35 + 37. Let z = -1427/15 + g. Suppose -3*o - 3*m = -o + 8, 2*o - 4*m = -8. Which is bigger: o or z?
z
Let c = 5/7248 - 20772793/36240. Let g = c - -392632/685. Which is greater: g or 1?
1
Let y = -9 - -19. Suppose 4*a + y = 3*n, 2*n = -0*n + 4. Let x be a + 4*2/8. Do 2/11 and x have different values?
True
Let c(p) = p**3 - 3*p**2 - 4*p + 6. Let w(m) = -m**3 - 12*m**2 + 13*m + 3. Let o be w(-13). Let i be c(o). Is -5 equal to i?
False
Let w = -35 + 23. Suppose -4*q = -u - 16, 2*u + 20 = -2*u + 5*q. Suppose 5*i + 20 + 50 = u. Which is smaller: w or i?
i
Let t be 6/(-3) + (-120)/(-104). Let z = -151/117 - t. Is 1 != z?
True
Suppose -8*c = -6*c + 4. Let w be (1*c)/((-4)/16). Let j(i) = -i + 4. Let y be j(w). Which is greater: y or -1?
-1
Suppose -2*h + 22 = -2*b, -4*b + 6 = 4*h + 90. Do -13 and b have the same value?
False
Suppose 4*x + 2*v + 8 = 3*x, -8 = x - v. Let b be 2 + 1 - x/(-8). Is b less than or equal to 16/5?
True
Suppose 1386 = -3*w - 0*w. Let m = w + 17555/38. Is m less than -1?
False
Let w(p) = 5*p**2 + 6*p - 10. Let q(n) = -11*n**2 - 12*n + 21. Let l(x) = -6*q(x) - 13*w(x). Let z be l(5). Is -3/5 smaller than z?
False
Let v be (-14 + 13)*21*1. Let h be (-63)/18*12/v. Which is bigger: h or -11?
h
Let o = -3 - -5. Suppose 53 - 74 = -21*g. Is o smaller than g?
False
Suppose -5*a + 5*n = 38 + 162, -3*n + 83 = -2*a. Which is bigger: a or -35?
-35
Let f = 1403 - 257. Is 1145 at most f?
True
Let r = -0.1265 + 0.0265. Is r at most -1013?
False
Suppose 40*v - 5 - 35 = 0. Let w = -98714/39 - -2531. Is w at most as big as v?
True
Let f = 1/52 + 135/3796. Let a = -118/511 - f. Suppose -3 - 12 = -15*y. Is y not equal to a?
True
Let i = -1621 + 1684. Is 249/4 bigger than i?
False
Let k = -31 + 141. Let x = -111 + k. Which is greater: -16/13 or x?
x
Let p = -1188 + 1187.9. Is -0.062 smaller than p?
False
Let n = -316 + 317. Which is greater: n or 4/1109?
n
Let a = 1.0017 + -0.0017. Suppose 0 + 4 = 2*j. Is a >= j?
False
Let k = 384 + -3085/8. Suppose -16 = -4*c, -2*c = n + 3*c - 19. Which is greater: k or n?
n
Let y be (226/4 + 4/8)*1. Is 59 not equal to y?
True
Let i(c) = -2 + 6*c**2 - 4*c - 4 + c**3 + 3*c. Let s be i(-6). Let a = -367/2 - -1465/8. Which is greater: a or s?
s
Let x(i) = -3*i**3 - 17*i**2 + 45*i - 8. Let b(g) = -7*g**3 - 34*g**2 + 91*g - 17. Let s(y) = 4*b(y) - 9*x(y). Let a be s(14). Which is smaller: a or 14?
14
Let x = -3.04 + 3. Let o = -0.14 - x. Let n be -2 - -2 - 26/91. Which is smaller: o or n?
n
Suppose -c - c = 64. Let h = 31 + c. Which is greater: h or -2/133?
-2/133
Let k = -12 + 10. Let g be (20/8)/(k/(-12)). Let v be (g/(-16))/(12/(-16)). Is v at least as big as 2?
False
Suppose -13 = z - 15. Suppose 0 = -2*o + i + 30, i + 30 = z*o - 3*i. Which is greater: 13 or o?
o
Let h = -28228/247 + 2566/19. Is h less than 20?
False
Let l = 808 + -783. Are 22 and l non-equal?
True
Let t be 10/(-2*(0 + -1)). Suppose t = -2*n + 7. Let x be 4*n*(-33)/(-44). Do x and 0 have the same value?
False
Let b(q) be the third derivative of -q**6/120 - 3*q**5/20 + 11*q**4/24 + 2*q**3/3 - q**2. Let h be b(-10). Let v = h - -17/3. Which is greater: 1 or v?
1
Let i = -8.96 + 9. Let g = -0.017 + 0.317. Let w = g - 3.3. Do w and i have the same value?
False
Suppose -2*m + 3 = -3*z - 2, -2*z - 1 = m. Is m != 36?
True
Let j be 2/(2/2)*-38. Is j at least as big as -72?
False
Let o(p) = -p**2 - 18*p - 20. Let c be o(-16). Let h be ((-232)/c)/((-4)/6). Let t = 27 - h. Which is bigger: t or -3?
t
Let t be (4 - (-515)/(-10))*2. Let j = t - -117. Which is smaller: j or 20?
20
Suppose -5*z = 4*x, 9*x = 4*x - z + 21. Suppose 2*k - x*o + 15 = 0, 0 = -0*k - 2*k + 4*o - 16. Let a = -24 - -14. Is k > a?
False
Suppose 0 = 4*w + 64 + 16. Let t = -32 - w. Are t and -12 non-equal?
False
Let p(l) = -3*l**3 + 3*l**2 + 4*l - 3. Let u be p(3). Suppose 0 = 4*o + a + 176, 21*o - 18*o + 139 = a. Is u at least as big as o?
True
Let m = 14.8 - 21.8. Let w be (-6)/(-12) + (-1)/6. Is m >= w?
False
Suppose 3 = x - 6. Let a = x - 12. Let m be (a + 2)/((-2)/(-10)). Is m at least -4?
False
Let y = -31 - -30. Let b be (-14)/15 + y*4/(-12). Let o be (-4)/(-14) + 0 + 0. Which is smaller: o or b?
b
Let x = 0 + 5. Suppose 0*t - 4*t + 2*b + 138 = 0, x*t + 3*b = 156. Is -1/4 less than or equal to t?
True
Suppose 0 = s - 3, 7 = -g + 4*s - 1. Suppose 4*p + 2 = -3*m + 17, -5*m = g*p - 17. Let h = 0.13 + -0.18. Which is smaller: p or h?
h
Suppose b + 6 = -0*q + 2*q, -5*q - 2*b = -6. Suppose -10 = 2*r, -q*c + 0*r + r = -1. Is -16/5 at least as big as c?
False
Let a be ((-6)/(-10))/((-14)/(-15)). Let v = -71/105 + a. Let u be (0 - (0 + -1))*-1. Which is greater: v or u?
v
Suppose 4*r - 2*r - 4*n = 8, -5*n = 3*r - 45. Which is greater: 32 or r?
32
Suppose 0 = -0*g - 2*g. Suppose l + 3*l = g. Let b be l + 1 - 2/4. Which is smaller: b or -1?
-1
Let x(i) = -i**2 + 13*i - 17. Let y be x(11). Suppose -3*f - y = a, 32 = 4*f - 4*a + 12. Which is smaller: f or 2/83?
f
Let w(c) = 2*c**3 + 4*c**2 - 2*c - 1. Let v be w(3). Is 83 less than v?
False
Let l(o) = -o**3 + 12*o**2 + 12*o + 18. Let d be l(13). Let w(i) = -2*i - 9. Let x be w(-7). Let r = x - 0. Do r and d have the same value?
True
Suppose 3*d = 4*s - 17, -3*s + 8*d + 18 = 4*d. Are 0.41 and s unequal?
True
Let b = 0.3 + -0.38. Is b bigger than -13?
True
Suppose 3*x = -2*x. Let i be 1 + 1 + 3 - x. Suppose i*b + 25 = 0, 5*b = -v + 3*b - 17. Which is greater: v or -8?
v
Let h = 231 + -231.1. Which is greater: h or 82/11?
82/11
Suppose 2*k + b = -2*b - 140, 0 = -4*b. Is k < -72?
False
Let q = 8 + -2. Let a be (-180)/(-162)*q/(-8). Is -0.3 greater than a?
True
Let r be 9261/(-1008) - (-4 + -4 + 2). Is r at most as big as -4?
False
Let y(m) = m**2 - 9*m - 2. Let k be y(10). Suppose -5*h - k = d, d = 2*h + 5*d - 4. Let i be (1 + h)*(-4 + 5). Do i and -1/35 have different values?
True
Suppose -23*u - 133 = -133. Which is greater: 1/1397 or u?
1/1397
Suppose -i = d + 1, 0*i + 4*d = 4*i - 28. Suppose -i*b = -4 + 7. Which is bigger: b or 2/37?
2/37
Let f = -0.47 + 0.07. Let v = f - -0.3. Suppose 2*g + c - 66 = -2*g, 5*g + 3*c = 86. Are v and g non-equal?
True
Suppose 0 = -7*f + 3*f + 12. Suppose 5*g - 5 = 0, -3*g = 3*a - 0*g + f. Let l be a/4 + 3/10. Do -1/3 and l have the same value?
False
Suppose 0 = -3*x - 2*l + 2, -5*x - 6 + 11 = 5*l. Let w = -50 - -360/7. Is x equal to w?
False
Let i be (7 - 146/20)/(414/(-24)). Suppose -2*m = m. Which is bigger: i or m?
i
Suppose -3*q - 55 = 2*q - 3*y, 3*q - y + 33 = 0. Suppose 4*c - 3*k + 37 = 0, c + c = 4*k - 6. Is q greater than c?
True
Suppose -2*l + u = -3, -2*l - 8 = l + u. Is l equal to 1/84?
False
Suppose 10 = -8*j + 114. Do 2 and j have dif