141 - 0.141. Let n be 9 + -2 + 1 - 2. Let x be (-2)/n - (-7)/6. Which is greater: x or l?
x
Suppose 0 = 2*i + 6 - 2. Let w be (-1 + -1 - -3) + -24. Let v = -51/2 - w. Do i and v have the same value?
False
Let n = -24 - -71/3. Let i = -35.957 + -0.043. Let o = i + 36.6. Is n <= o?
True
Suppose -5*z = -5*n - 1240, 0 = -n - 0*n - 3*z - 228. Let p = -23892 - -307439/13. Let u = n - p. Which is smaller: u or -1?
-1
Suppose -2*h + 2*k - 43 = -37, -3*h - 7 = -2*k. Which is smaller: 4/103 or h?
h
Let j be 447/(-21)*(-1)/(-4). Let o = 46/7 + j. Suppose -4*u + 2 = -2*u, 0 = -5*b + 5*u. Is b at least as big as o?
False
Let w = -496/2313 - 2/257. Let b = -109.6111 + -0.4289. Let o = -110 - b. Is w at most o?
True
Suppose -13*x + 563 = -12*x - 3*z, x = -5*z + 555. Which is smaller: 561 or x?
x
Suppose 2*d = -5*t - 0*t - 20, -2*t - 9 = d. Let u be (t/4)/((-3)/42). Suppose -n + u = -3*i, -3*i = 4*n + 13 + 4. Which is greater: i or -5?
i
Let q be (8/20)/(435/(-225)). Which is smaller: q or 0?
q
Let n(i) = i**2 + 6*i + 1. Let j be n(-3). Let c = j - -31/4. Which is bigger: c or 1?
1
Let q = -1310 + 1263. Is q bigger than -47?
False
Let a be 1/(-5)*8*-10. Let u = 45 + -26. Which is smaller: a or u?
a
Let n = -96 + 64. Let g = -37 - n. Which is greater: 1 or g?
1
Suppose -5*q - 4*b = -9 + 3, b + 6 = -5*q. Let v(h) = 2*h**2 - h - 4. Let r be v(q). Suppose r*t - 7*t = 5. Is t smaller than -4?
True
Let p = 328 - 6557/20. Is p != -1?
True
Suppose 8*w + 10 = 5*x + 11*w, 5*w = 5*x - 10. Is x less than -1.93?
False
Suppose 2*c = 7*h - 3*h + 2, -3*c + 7 = -4*h. Suppose 5*n = -h*s + 18, n - 2*n = -4*s - 8. Suppose n*d + d = 0. Do -2 and d have the same value?
False
Let f(b) = 8 + 0 - 28 + b + 8. Let t be f(16). Suppose -5*z = -t*z - 1. Which is smaller: 3 or z?
z
Let p = 0.23 + -0.201. Is 0.11 <= p?
False
Suppose w + w = -3*z + 246, -3*z = w - 126. Let g = -843/7 + w. Is g <= 0.1?
True
Let t(w) = -w**3 + 9*w**2 + w - 12. Let b be t(9). Suppose -5*h - 5 = -0. Let a be (6 + 0)/(2*h). Is a less than or equal to b?
True
Let f be (-10)/12 - 5/(-30). Is 0.064 less than f?
False
Let x = -334 + 2339/7. Which is smaller: -5 or x?
-5
Suppose -3*m + 51 = -2*m. Suppose 3*z - 6*z = m. Which is bigger: -16 or z?
-16
Let s = 220 - 1068/5. Suppose 0 = -15*b + 11*b + 20. Which is greater: b or s?
s
Let n = 720 + -2075/3. Is n bigger than 1?
True
Let z = 2/167 - -328/501. Is z greater than 0.118?
True
Suppose 13 = 3*f + 4. Let j be 195/f + -3 + -4. Suppose -3*g + h = -j, -32 = -2*g - 0*h - h. Which is smaller: 17 or g?
17
Let x(w) = 29*w + 9. Let q be x(4). Let p = q + 35. Let s = p + -1118/7. Is -0.1 < s?
True
Suppose 0 = 3*x + 3*t + 162, -x - 33 - 12 = -2*t. Which is smaller: x or -48?
x
Let u = 132 - 45. Let m = -89 + u. Is -14/17 at most as big as m?
False
Let r(o) = -o**2 + 8*o + 10. Suppose -3*q = -3*c - 27, c - 12 + 3 = -q. Let h be r(q). Is h >= -1?
True
Suppose -25*s - 208 = -98 - 135. Suppose 2*y = -3*y - 35. Let w(z) = z**2 + 7*z + 2. Let l be w(y). Is s greater than or equal to l?
False
Let i(y) = -y**3 - 7*y**2 + y + 7. Let r be i(-7). Suppose 0 = -s + 11*s - 10. Is s < r?
False
Let w be 0 - ((-138)/(-18) - 7). Suppose -3*h + 6*h = 6. Suppose h*v = -1 - 1. Is v less than or equal to w?
True
Suppose 7*h - 230 - 22 = 0. Is h smaller than 32?
False
Let c be ((3 + -8)/(-5))/((-5)/15). Let u(y) = y**2 - 7*y + 3. Suppose -4*d + 12 = -2*d. Let g be u(d). Is c less than g?
False
Let y = -104/5 + 3/10. Which is smaller: y or -20?
y
Let a be (380/75 + -5)*(-6)/(-4). Let x(v) = v + 9. Let n be x(-8). Which is smaller: n or a?
a
Let p(x) = -x**3 + 10*x**2 - 3*x - 4. Let q be p(4). Let l be 72/q + (-6)/4. Let n = -0.3 - 0.1. Which is smaller: n or l?
l
Let h = 10 - 22. Let b(v) = v**3 - v**2 - v - 2. Let l be b(0). Let u be 11*l/(0 + 2). Is u less than h?
False
Let u(j) = -30*j - 154. Let m be u(-5). Which is bigger: -27/5 or m?
m
Suppose -16 = a + 2*v - 1084, -2152 = -2*a + 4*v. Which is greater: 1073 or a?
1073
Let o = -95/12 - -2239/60. Which is bigger: 30 or o?
30
Suppose 58*b = 43*b + 90. Let s = 5 - 6. Which is greater: b or s?
b
Let q = -0.269 - 0.331. Are q and -0.06 equal?
False
Let h = -790.1 + 750. Let w = -40 - h. Which is smaller: w or -2?
-2
Let l be ((-1)/(-3))/(8/360). Suppose 20*z + 15 = l*z. Let t be z/12 + 3/(-4). Does t = 2/73?
False
Suppose 493*o - 64 = 494*o. Which is greater: o or -321/5?
o
Let c = 36 - 32. Suppose -5*n + 0*n = 0. Let d be (3/(-12) + n)*c. Are 0 and d equal?
False
Let t = 105 - 109.3. Let w = t - 0.7. Let l = w + 5.1. Do l and 4/5 have the same value?
False
Let p(r) = -7*r + 2. Let u(n) = 7*n - 3. Let m(d) = 5*p(d) + 4*u(d). Let i be m(6). Is -44 greater than i?
False
Let i(g) = -g**3 + 4*g**2 + 2*g. Let c be i(5). Let o(x) = 21*x + 4*x**3 + 5 - 23*x**2 - 3*x**3 + 6 - 4. Let p be o(22). Do c and p have different values?
False
Let r = 0.025 + -34.025. Which is greater: -2 or r?
-2
Let p = 42977/2063205 + -2/14229. Which is greater: 0 or p?
p
Suppose 30*a + 17*a = 94. Does 48/31 = a?
False
Let o = 25 + -23.6. Let v = 1.4 - o. Is -15 > v?
False
Let v = 44 - 74. Let q = v - -30. Do 7 and q have the same value?
False
Let i(h) = -17*h**3 + 2*h**2 - 1. Let d be i(-1). Let v be (-10)/d + 1/3. Let f(s) = 52*s - 307. Let u be f(6). Which is smaller: u or v?
v
Let m(w) = -3*w**3 - 5*w**2 - 3*w + 4. Let x be m(-3). Suppose 0 = -p + 4*c + 2, -p - x = 2*p - c. Let t be (-1)/3*p/24. Which is bigger: -3 or t?
t
Let u = -896 + 895. Do -1/1582 and u have the same value?
False
Suppose -4*v = -c - 37, -12*c + 17*c + 3*v + 208 = 0. Is c equal to -40?
False
Let c(j) = -16*j**3 - 2*j**2 + 9. Let o be c(2). Which is smaller: 1 or o?
o
Suppose 6 = 3*x + 3. Let r(j) = j**2 - 8*j. Let p be r(6). Let s be (-11 - p) + (-7)/5. Is x smaller than s?
False
Let c be 2/(-11) + (-65)/(-55). Suppose 0*j + 4*j - 12 = 0, -4*j = -5*f + 23. Is c greater than or equal to f?
False
Suppose 4*l = 49 + 3. Let n = 10 + l. Suppose -4*g = 4*x + 68, 4*x + n = -5*g - 58. Which is smaller: g or -12?
g
Let a be 1/6*(-246)/(-2). Let z = a - 81/4. Which is smaller: 1 or z?
z
Suppose -s - 4*z = 18, 3*s + 3*z + 32 = 2*z. Let r be 4/s*5*1/(-7). Is r greater than or equal to 0.2?
True
Let s be (-162313)/2316 + 2/24. Which is greater: -56 or s?
-56
Let y = -9 - -18. Let b = -8.9 + y. Let u = 1.54 - 0.04. Which is smaller: u or b?
b
Suppose 2*w - 3*g - 15 = 0, -8 = 2*g - 2. Suppose -k - 6*r + r - 72 = 0, -64 = k + w*r. Is k > -51?
False
Suppose 2*d - b - 4 = -24, 5*d = 4*b - 53. Suppose 4*o = 5*o. Let n = d + o. Is -8 equal to n?
False
Let l be (2 - 2)/(43 - 39). Is -60/89 bigger than l?
False
Suppose -5 + 6 = -k. Which is smaller: 52 or k?
k
Suppose 1 = b - 4. Suppose -4*t - 3 = 2*o - 15, b*t - 15 = -o. Suppose 2*m - z - 2 = 0, 3*m = -0*m + z + 4. Which is smaller: o or m?
o
Let z be -16*12/144 - 262/(-195). Which is greater: z or -1?
z
Suppose c - 3*l - 43 = -4*c, -2*c + 18 = -l. Suppose -3*g + 5*u + 30 = 0, -11*u = -15*u. Which is smaller: g or c?
g
Suppose -3*p + 243 = 3*j + 234, 0 = j - p + 3. Which is smaller: -11/18 or j?
-11/18
Let x = -107 + -159. Let o = x + 287.9. Let y = o - 22. Which is smaller: y or 3?
y
Suppose 0 = -4*l - 1096 + 348. Are l and 0.1 unequal?
True
Let g = 29 + -34. Let d be g/(-30) + 57/(-18). Which is bigger: -5 or d?
d
Let l(i) = -i**3 - i**2 - 2*i + 66. Let s be l(0). Suppose 0 = -9*g - 2*g + s. Is 5 equal to g?
False
Suppose -3*b - 4*j + 15 = 0, -12*b + 4 = -14*b + 2*j. Which is smaller: -382 or b?
-382
Let b = 1139 - 900. Which is smaller: b or 241?
b
Suppose -7*z = 76 + 8. Let y(v) = -v**2 - 14*v + 15. Let t be y(z). Which is smaller: 38 or t?
38
Let d = -161 + 158. Suppose 6 - 2 = -2*p. Do d and p have different values?
True
Let v be (-2)/15 + 127036/(-780). Is v not equal to -163?
False
Let r be ((-2)/(-12) - 1085/(-186)) + -5. Let t = 1 + -1. Let d be 4/(-30) - (t - 0). Is d < r?
True
Suppose -5*l - 4*b = -37 + 7, -3*l + 3*b + 18 = 0. Which is smaller: 9 or l?
l
Let g be 6/3990*(-3 - (-2 + 1)). Are -1 and g non-equal?
True
Suppose l + 2*d = 4*d - 9, -26 = -l - 5*d. Let b = 33017124 - 78745839299/2385. Let k = b + -2/477. Which is greater: k or l?
l
Suppose 3*m = 3*u - 9, u = 2*m - 2*u + 8. Suppose 0 = 5*x - 91 + 81. Which is smaller: m or x?
m
Let m = -4346777269/446