 5373449/595 + -9031. Which is smaller: m or -0.1?
-0.1
Let x be 5/((-5)/1)*0. Are 2/509 and x nonequal?
True
Let l = 10 + 1. Let h = 25 + -13. Let x = l - h. Which is smaller: -7 or x?
-7
Let j(w) = 3*w**2 - 7*w - 8. Let r be j(3). Which is greater: -22 or r?
r
Let m be 363/242 - (2/2 - 52). Is -1/4 less than m?
True
Let a = -0.053 + -0.047. Let p = 23.1 + a. Which is bigger: -2 or p?
p
Let h = -16 - -17. Let a be 273/14*h/(-9). Which is greater: -3 or a?
a
Let o = 8 - 3. Suppose 9 = -o*y + 29. Let s be (-44)/(-6) + y/6. Which is smaller: 7 or s?
7
Let h = 596.2 - 596. Is h equal to -4/3?
False
Suppose -2*q = -0 - 10. Suppose 0 = -4*s - q*o - 1, 0*s + 2*s = -o + 1. Suppose 0*r + 3*r + 27 = 3*z, -z = s. Which is greater: r or -11?
r
Let p(x) = -2*x - 7. Let n be p(-6). Let b be 1/(-3) + 196/12. Suppose 22*z + b = 26*z. Which is greater: n or z?
n
Let b = 284 - 283. Is -7/30 bigger than b?
False
Suppose 3*r + 2*g = 45, 0 = 5*g + 12 + 3. Which is smaller: 11 or r?
11
Let a = 31.831 - -0.049. Let s = a - -1.18. Let i = s + -33. Is i <= 1?
True
Let x = 12 + -24. Let v = 13 + x. Let l be 3/v + (-76)/20. Which is smaller: l or -2/5?
l
Let x be (0 - 1)*(-1 + 1). Let f be (730/1035)/(-2) - 4/(-18). Is f at most as big as x?
True
Let b = 0 - 1. Let n(q) = q**3 - 2*q**2 - q - 1. Let t be n(0). Is b at most t?
True
Let i(n) = -n**2 + 18*n - 4. Let x be i(20). Let m = x + 35. Is -80/9 at most as big as m?
False
Suppose -34*g + 8 = -38*g. Let f be (2 + g)/(4 + -2). Is -15/13 at most as big as f?
True
Let x = -0.794 + 0.383. Let d = x + 0.111. Suppose 0 = n - 3*n. Which is greater: d or n?
n
Suppose 19 = 3*w - 11. Let y = 2275/237 - 21/79. Which is smaller: y or w?
y
Let i = 27 + -13. Suppose -10*f = 56 + i. Which is greater: -1 or f?
-1
Suppose -22 = 2*j - t, -3*j + j = -5*t + 30. Let d be j/(-55) - 46311/1881. Let p = -73/3 - d. Is -1 equal to p?
False
Let n = 4 - 4.07. Let r = 30 + -28. Suppose 6 = -r*k + 2*f, 3*k - 4*f + 6 = -6. Are k and n non-equal?
True
Let a = -36 + 36. Suppose a = -2*u - 0*i + 2*i - 20, 5*u - i = -42. Let w be (-4)/u*(-8)/20. Which is greater: w or 0?
0
Suppose -w = -5*x + 6, 0*w + 6 = -3*w + 3*x. Which is smaller: -4/169 or w?
w
Let x be 9*10/18 + -1*2. Is x greater than or equal to 9/4?
True
Let p = -982 + 966. Is p at most as big as -54?
False
Let d = -422/3 - -126. Let n = d + 14. Let u = 6.4 - 6. Is n equal to u?
False
Let o(v) = v**2 - 4*v - 8. Let p be o(10). Suppose 9*w = 5*w + p. Suppose -5*a = -2*s + w, -a - 54 = -3*s - 5*a. Is 14 greater than or equal to s?
True
Let o = -783 + 1237. Which is smaller: 2 or o?
2
Let d = 2070 - 1969. Is 0.1 not equal to d?
True
Let p = -537 + 537. Let b = -233/13 + 18. Is b smaller than p?
False
Let b = 1 - -2. Suppose 4*c + 3*c = 35. Let k be (1 + -1)*(-4 + c). Which is smaller: k or b?
k
Suppose 38 = p - y, 0 = -2*p - 3*y + 75 + 21. Suppose 5*b - 3*i - p = 0, -2*i = -2*b + 7*b - 22. Is b < 6?
False
Suppose 0 = -10*x + 11*x + 25. Suppose -2*n - 4*f = 62, 2*f - 6 = 4*f. Are n and x equal?
True
Let i be (1 + (-968)/(-40))*20/6. Which is smaller: 86 or i?
i
Let h be (-27)/156*(-21)/(-84). Is 0.1 less than or equal to h?
False
Let p = 0.05 + 0.05. Let t be (-15 + 18)*(-2)/(3 - 1). Is t <= p?
True
Let y(d) = d**3 - 11*d**2 - 13*d - 8. Let v be y(12). Let i be 2 - 1 - (-3 + v). Suppose 4*k - x - 2*x - 3 = 0, 3*x + i = -3*k. Which is bigger: k or 2?
2
Let j = 6 + -2. Let p be 2 + 1/4 - 3/12. Suppose 0 = p*u + 2*u - 3*l - j, -l = -u. Which is greater: u or 14/5?
u
Suppose -5*w + 30 = -0*w. Let i = 4 + w. Let g = -141 + 150. Which is smaller: g or i?
g
Suppose -5*q = 3*f - f + 22, 2*q + 5 = 3*f. Suppose -4*s - 24 + 0 = 0. Let o be (s - -1) + (-2 - -1). Is q at most o?
False
Let w = 2.1 + -1.8. Which is smaller: 1 or w?
w
Let c = 0.0537 - 22.0537. Is c > 2?
False
Suppose -5*c = -0*c + 5. Let y = 7 + -17. Let m be (-8)/(-20) + (-6)/y. Are c and m unequal?
True
Suppose 4*n + 157 = 5*w - 2*w, 3*n = -2*w + 133. Is w smaller than 59?
False
Suppose -14 = -4*c - 46. Let w be (c/(-16))/((-1)/(-32)). Let r = -11 + w. Is 4 not equal to r?
True
Suppose 0 = -0*h - 2*h - l + 7, -4*h + 15 = l. Suppose 0 = 4*m - 4 - 20. Let f(t) = -t**3 + 6*t**2 + 2. Let z be f(m). Which is smaller: z or h?
z
Let f = 458 + -453. Let n = 69/5 - 14. Which is greater: n or f?
f
Let c(t) = 2*t + 8. Let r be c(-4). Let q be 3 + (4 - 1244/176). Are r and q nonequal?
True
Let r be (50/8 - 6) + (-87)/4. Let g = -85/4 - r. Is -0.039 greater than g?
False
Let p = -387/20 + -19/10. Is 0 smaller than p?
False
Suppose -6*z = -7*z + 2. Suppose -10 = -2*q + z*k, 3*q = k - 1 + 14. Which is greater: q or 3?
q
Let v = -2.89 + 0.29. Let f = 3 + v. Which is greater: 2 or f?
2
Suppose 3*t + 2*t = b - 35, -2*b = -3*t - 42. Let m be ((-26)/(-2) - -6)*1. Suppose -m*g = -30 - 236. Which is greater: b or g?
b
Let u = -94 + 100. Let s be (-109)/(-3) - 8/u. Is s less than 35?
False
Suppose 1 = -o + 6. Suppose 0 = 4*a + o + 11. Which is smaller: a or -6?
-6
Let m be 5 + (-45)/(8 - 3). Let h be ((-90)/m)/(0/2 - 2). Is h > -10?
False
Let x = -978 + 1553. Is 575 bigger than x?
False
Let a = -23639/15 + 1575. Let k = a + 3/5. Which is greater: 12 or k?
12
Let q be (12*(-8)/14464)/6. Does q = -1?
False
Let p = -6 - -7. Let f = 611/1797 + -4/599. Is f at most as big as p?
True
Let v = 95 - 102. Let f = 22/3 + v. Which is greater: f or -29?
f
Suppose 164*o = 4*r + 169*o - 5027, 0 = -5*o - 5. Is r less than or equal to 1258?
True
Let c = -154 - -279/2. Let i = 13 + c. Which is smaller: -2 or i?
-2
Let j = -957.1 + 957. Is j != 23.8?
True
Let i be 9826/(-105) - 4/14. Let r = i + 94. Let b = 4925 - 4925. Which is smaller: b or r?
b
Let f be (-1)/(-2) - 6/(-4). Suppose d = 5*x - 4, d + 3*x - 2 = f*d. Let h be 24/(-36)*(-6)/1. Which is bigger: d or h?
h
Let k = 4.6 - 0.4. Let v = -4.4 + k. Which is smaller: -1/4 or v?
-1/4
Let g = 331 - 342. Is g not equal to -19/2?
True
Let z be ((-698)/(-10))/((-84)/15). Let a = -47/4 - z. Let w = -14 + 14. Is w greater than or equal to a?
False
Let w = -1979 - -1710. Which is bigger: w or -265?
-265
Let d = 1396 + -1395.9. Which is smaller: d or 192?
d
Let j(t) = 45*t + 2 + 43*t - 113*t + t**2 + 48*t. Let a be j(-24). Which is greater: a or 28?
28
Suppose -6*y + 5*y - 75 = 0. Let a = y + 374/5. Which is greater: a or -1?
a
Let a be ((-2)/(-13) - (-198)/234)*0. Is 6/107 bigger than a?
True
Let d = 8 + -7.9. Let c = -661 + 660.79. Is d bigger than c?
True
Let n(f) = -11*f + 3*f**3 - 34 - 2*f**3 + 3*f**2 + 29. Let s be n(-4). Suppose 5*m - 5*b - 25 = 0, 3*m + b - 6*b = s. Which is greater: 5/7 or m?
m
Let i(t) = 2*t + 15. Suppose -37 = 4*f - c, -3*c + 14 + 1 = 0. Let j be i(f). Which is smaller: -3/28 or j?
j
Suppose -6*j - 50 = -j. Let w(f) = -f**3 + 5*f**2 - 4*f - 4. Let h be w(5). Let i be j/4*h/30. Is i at most as big as 0?
False
Let f = -700 + 2813/4. Suppose -k + 13 = 2*a, 2*k = -2*a + 3*a + 6. Is a less than f?
False
Let l = 2.1 - 2.08. Let w = -0.07 + l. Is -1 > w?
False
Let m be 2*230/(-28) + 9/21. Let s be 12/(-50)*(-2 - m/6). Are s and 1 equal?
False
Let d be 16/80 + -1 + 123/120. Which is smaller: d or -1?
-1
Let f = -3.709 - 0.291. Is -1/79 <= f?
False
Let t = 6 - 21. Suppose -3*y + 8 = 2*c + 1, -6 = -c + y. Suppose -c*f = -22 + 97. Do t and f have the same value?
True
Let t(j) = j**3 + 2*j**2 + 0 - 2 + 0*j**3 - j + 0. Let a be t(-2). Let x be 1/(-1) - (a + -2). Which is smaller: 1/4 or x?
1/4
Let u = -537 + 1044. Is u less than 507?
False
Let l be 8*4*2/(-408). Are -1 and l nonequal?
True
Let h = 68.5 - 89. Let o = h + 18. Is -1 greater than or equal to o?
True
Suppose 4*c - 20 = -3*u + 5*u, -3*c = -5*u - 15. Which is greater: u or 7?
7
Let k = -378 + 283. Is k less than or equal to -95?
True
Let m = 0 - 3. Let n = 143 - 142.5. Which is bigger: m or n?
n
Let j = 66/217 - 78/217. Which is smaller: 0 or j?
j
Suppose -2*v + 4*v - 2*j - 10 = 0, -j - 1 = 0. Suppose -v*s + 7*s + 3 = 0. Which is greater: -1/12 or s?
-1/12
Suppose 3*v = 6*v + 21. Let u = v - -26. Let d = -19 + u. Is 2/11 less than d?
False
Let i = 35.1 - 42.5. Is 3 greater than i?
True
Let h = 6.48 - 7.48. Is -17.9 smaller than h?
True
Let o = 30 - 27. Is o equal to 23/11?
False
Let y = -19.37 + 19.43. Which is greater: 1/8 or y?
1/8
Let r = -1.08 + 1. Let m =