 than or equal to v?
True
Let i = -2583 + 1857. Which is smaller: i or -728?
-728
Let h be 2/(9/(990/(-4))). Let m = 54 + h. Which is bigger: m or 1/52?
1/52
Let y = 10867/2 - 5570. Is -136 < y?
False
Let g(s) = -s**3 - 11*s**2 + 10*s - 7. Let a be g(-12). Let u = -18 + a. Is 16 greater than or equal to u?
True
Let t(j) = j**2 - 7*j + 7. Let x be t(6). Suppose 8 = 3*d + 5. Let v be (d - x)*(-9)/18. Which is smaller: -1/4 or v?
-1/4
Let z = 345 + -301. Is z bigger than 42?
True
Let y = -390 + 338. Are y and 0.2 nonequal?
True
Suppose 0 = -3*r - 1097 + 404. Which is bigger: -232 or r?
r
Let m = -99 - -75. Let o = 4.2 - 31.2. Let q = o - m. Which is smaller: q or 0.04?
q
Suppose -6 + 0 = 5*x + 3*f, 2*x + f = -3. Suppose -y + 1 = -2*i - 1, -5 = 5*i + 2*y. Let j be 9/10*i/x. Which is smaller: j or -1/4?
-1/4
Suppose -2*n = -m + 31, 21 = -0*n - n - 5*m. Let x be (-56)/10*5/(-2). Let q = n + x. Which is smaller: q or -1?
q
Suppose -81*i + 66*i = -45. Is 68/27 smaller than i?
True
Let l = 51 + -17. Let t = -35 + l. Let p = t + 1.03. Which is smaller: -1/3 or p?
-1/3
Let q = -987 + 956.8. Is q at most as big as 0?
True
Let d be (16/24)/((-4)/(-30)). Suppose -d*g + 16 = -6*g. Which is bigger: -17 or g?
g
Let y = 4.04 + -3.94. Do y and 1/73 have different values?
True
Let p = -116 - -116. Let x be -65 - (1 - 2)*-1. Let t be 3/x*8/(-6). Do t and p have the same value?
False
Let x(o) = -o**2 + 3*o + 2. Let w be x(2). Let d = w + 8. Let m be 26/22 - d/66. Is m greater than or equal to 6/11?
True
Let v = -489270/61 + 8021. Which is bigger: -1 or v?
v
Let i be (218 - 26) + 3 + 0. Which is bigger: i or 389/2?
i
Suppose -4*s - 4*k = -40, -4*s + 26 = s - 3*k. Let x = 5 - s. Let u be (-2)/6 - x/(-3). Do u and -2/31 have the same value?
False
Let p(z) = -2*z**2 + 35*z + 57. Let a be p(18). Is a > 37?
True
Let g be (-5)/(7 + -12) - -2. Is g greater than 82/19?
False
Let q = 407.8 - 408. Which is smaller: 47 or q?
q
Let x = -13 - -9. Let p(b) = b**2 + 4*b - 2. Let n be p(x). Let u be 10/(-75)*(-3)/n. Is -1 equal to u?
False
Suppose 2*i = -0*i + 14. Let a = i - 5. Let j be -1*(-1 + a - 0). Is 1 equal to j?
False
Let j be -34 - 9/(-3) - -3. Let c be ((-72)/j)/(10/14). Which is greater: c or 5?
5
Let m be (-350)/(-21)*96/10. Is 161 at most as big as m?
False
Let k = -163 + 134. Let x be ((-3)/k - 0)/((-60)/(-40)). Is x less than or equal to -1?
False
Suppose 0 = 1376*m - 1366*m + 30. Is -64/25 smaller than m?
False
Let b be -3 - -2 - 1 - -4. Suppose -15*g - b = -13*g. Is -4/65 <= g?
False
Let y be (-9)/6*30/(-5). Let a be (-2)/10 + y/(-18). Which is smaller: a or -2?
-2
Suppose 3*c + 6 = 0, -8*c + 10*c + 1 = -3*l. Which is bigger: 33/25 or l?
33/25
Suppose 91*q + 2064 = 99*q. Is q at most as big as 259?
True
Let u = -451 + 537. Is 0.1 greater than or equal to u?
False
Suppose -10*q = -12*q - 160. Let g be (16/q)/((-1)/(-1)). Which is smaller: 4/7 or g?
g
Let w = 4 + -4. Let q be ((-32776)/21)/8 + -2. Let y = q + 197. Is y less than or equal to w?
True
Let y(u) = -8*u**3 + u. Let d be y(-1). Suppose 3*j - 4*j = d. Is -5 equal to j?
False
Let n(w) = w**3 - 4*w**2 - w + 3. Let l be n(4). Which is smaller: 2/345 or l?
l
Let y = 35 + -59. Suppose 3*p - s - 13 = 3*s, 0 = -3*p - 4*s - 19. Is y != p?
True
Suppose 0 = -n - 4*n + 25, 2*u = -n + 3. Let d = u - -29. Are d and 27 equal?
False
Suppose 2*y + 90 = 7*y - 5*o, y + 5*o = 42. Let h = y - 45/2. Let d(q) = -q - 4. Let z be d(-2). Which is greater: z or h?
h
Let b(q) = -29*q + 349. Let x be b(12). Do -3/488 and x have the same value?
False
Let u(v) = -v**3 - v**2 + 3*v + 3. Let h be u(-2). Let i = 3 - 3. Let r be h/(i - (-3 + 2)). Which is bigger: 2 or r?
2
Let o = 14 + -9. Suppose o*f - 3 = 2*f. Is -1/23 > f?
False
Suppose 4*x = 3*u - x - 14, 0 = -2*u - 2*x + 20. Suppose 4*l = m - u, -11*m + 7*m = 5*l + 10. Which is bigger: m or -1/4?
m
Let t(d) = 3*d + 3. Let r = 15 + -24. Let x = -11 - r. Let g be t(x). Which is bigger: g or -5?
g
Suppose -3*m + 6*i - 2*i = -53, -4 = 2*i. Suppose -l + 4*l - 74 = 5*u, -3*u = -m. Are l and 32 nonequal?
True
Let u = -0.05 + 1.05. Let w be ((-81)/(-42) - 2)*1*-10. Which is smaller: u or w?
w
Let x = -7.49 + 16.49. Is -3/5 at least as big as x?
False
Let m = -18 + 60. Let j be 14/(-12) - 17/(-34). Which is smaller: m or j?
j
Let q = -27 - -32. Suppose 5*j = 4*d - q - 5, 0 = 2*j + 2*d + 4. Which is bigger: j or -10/11?
-10/11
Let x = 41.05 + -41. Let q = -73.6 - -74. Which is smaller: x or q?
x
Let h be -1*18/8*4. Let c(g) = g**2 + 6*g - 15. Let b be c(h). Let x be b/(-54) + (-152)/(-765). Do x and -1 have the same value?
False
Suppose -3*q = -19*q + 1488. Do q and 93 have different values?
False
Suppose 420 = -4*y - k, -4*y - 63 = -k + 349. Are -102 and y non-equal?
True
Let q = -606/13 - -5389/117. Which is bigger: q or 25?
25
Let u be ((-101)/(-4949))/(-1 - 0). Is u bigger than 1?
False
Suppose x + 0*n + n = 1, -3*x + 3*n + 15 = 0. Let w(p) = 3*p**2 + 2*p + 5. Let c be w(x). Suppose 7*o - 3 + c = 0. Is o != -2?
True
Let a = 40.3 - 40.3. Is -411 greater than a?
False
Suppose 6 = -3*x, -3*b - 3*x - 3 - 12 = 0. Let z be (0 + -3)/(b/(27/3)). Is -1 greater than or equal to z?
False
Let u = 0.9 + 7.1. Let w = -0.167 - 7.933. Let n = u + w. Which is bigger: n or 2?
2
Suppose -13*d + 2 = 15. Let s = -1/3 + -1/3. Which is bigger: d or s?
s
Let s be 263/34*1/(-36). Let i = 1040 + -141441/136. Let z = s + i. Do 3/4 and z have the same value?
False
Suppose 0 = 11*z - 64 - 90. Is 21 at most z?
False
Let c(t) = -17*t - 161. Let y be c(20). Is -501 <= y?
True
Let v be ((-20)/120)/(7/28). Suppose -5*a + 3*o - 26 = -3*a, 2*a = -5*o + 6. Is a at most v?
True
Suppose k = -57*k - 1160. Which is greater: k or -19?
-19
Let w be 56/32 + 1405/4. Does 353 = w?
True
Let q = -458.1 + 458. Let v = -7.26 - 0.14. Let h = v + 8. Which is bigger: q or h?
h
Let q = -5.5 - 2.5. Let s = -16 - q. Let w = s + 17. Are 0.1 and w non-equal?
True
Let m be -3*(-1 - 30/9). Let j(g) = g**2 - 11*g - 21. Let q be j(m). Which is bigger: q or 0?
q
Let v = 56 - 57. Suppose -9 + 15 = 2*i, 17 = 5*s + 4*i. Is s at least v?
True
Let g(c) = c**2 - c. Suppose i - i = -2*i. Let z be g(i). Which is smaller: 6/13 or z?
z
Suppose -2*m - 277*l + 78 = -273*l, 5*l + 18 = m. Which is bigger: m or 67/2?
67/2
Let s = 36 - 34. Suppose -10 = s*t - 2. Which is bigger: t or -11/4?
-11/4
Let d = 47 - 47.5. Which is smaller: d or -21?
-21
Suppose -5*r - 19 = 4*q, -4*r - 3 = 9. Is -1/23 at most q?
False
Let n(t) = t**3 + t**2. Let i be n(-1). Let f = -3 - -2. Which is smaller: i or f?
f
Suppose -3*y + 5*o = -7*y + 621, y - 2*o = 165. Which is smaller: y or 157?
157
Let p be (30/24)/(-5)*8. Which is bigger: 0 or p?
0
Let d(h) = -h**2 - 9*h - 9. Let y be d(-7). Suppose -3*k = 30 + 15. Let p = k - -22. Do y and p have the same value?
False
Let m = 1.9 - 14.9. Let w = m + 39. Let x = w + -10. Which is bigger: 0 or x?
x
Let s(h) = h**3 + 4*h**2 - 2*h + 5. Let l be s(-5). Let p = -13 - l. Let f be p/(-12) + 1/(-4). Is -4/3 greater than or equal to f?
False
Suppose 3*a - a - 118 = 3*t, -76 = 2*t - 4*a. Which is greater: -50 or t?
t
Let v = 127 - 82. Suppose -k - 5*h - 13 = -v, -k + 44 = -h. Are k and 43 nonequal?
True
Let h = 29.22 - 26.2. Let p = 0.02 - h. Which is smaller: -0.03 or p?
p
Let w(d) = 7*d**2 - 153*d - 22. Let t be w(22). Does t = 13/3?
False
Let z = -147 + 147.07. Is z <= -6?
False
Let g(x) = -2*x - 8. Let a be g(-6). Let f = 3 - a. Let z be 2 + (2 - 2 - f). Which is greater: z or 1?
z
Let f(z) = -z + 9. Let p be f(7). Let c(g) be the first derivative of g**2/2 + 7*g + 8. Let v be c(-5). Is p <= v?
True
Let o = 365 + -592. Which is smaller: o or -0.1?
o
Let t be (2 - -11) + 8/(-2). Let v = t + -5. Let r be (-5)/v*6/(-20). Is 0 > r?
False
Let k be 12/34*(-2)/3. Suppose -5*o = j + 3, 3*o + 0*j - 5 = -4*j. Which is greater: k or o?
k
Suppose 5*n = -3*z + 10, 2*n - 5*z + 27 = -0*n. Is 4/101 at most as big as n?
False
Let w = -15 + 16. Let p = -23 - -229/10. Which is bigger: p or w?
w
Let c(x) = x + 18. Let g be c(-7). Suppose -v - 14 + g = 0. Is v at least as big as -1?
False
Let d = 26.055 - 0.055. Let s = -25.9 + d. Which is bigger: s or 20?
20
Let x = 588.1 + -588. Is -294 >= x?
False
Let x = -16 - -44. Let n = -17 + x. Let j(z) = -z**2 + 10*z + 9. L