ppose 0 = -7*o + 2*o + 4*j + 6, -5*j = 5*o - 15. Suppose 2*a + 4 = -2*u, -o*u - 15 = -3*a + 2*u. Is a at least as big as m?
True
Let n = -1333 - -21327/16. Do n and 0 have different values?
True
Let j be -1*(136/(-66) + 2). Let u be 4/3 + 3/(-9). Which is smaller: j or u?
j
Let b = -150 - -2554/17. Let v(g) = 16*g - 673. Let l be v(42). Which is smaller: b or l?
l
Let n = -24 - -27. Suppose -1 + n = -l. Which is smaller: l or -1?
l
Let a be ((-1)/2)/(426/36 - 12). Let t(y) = y - 1. Let m be t(7). Is m less than or equal to a?
False
Let v = -2 - 1. Suppose 2*h = 5*y - 28, h = -h + y - 12. Are h and v non-equal?
True
Let l(y) = -4*y**2 - 14. Let r be l(7). Which is smaller: r or -211?
-211
Let m = -83 - -123. Let p be 0 - (2 - m/65). Is -2 bigger than p?
False
Let z = -2/10673 + 288179/42692. Suppose 40 = 3*t + 16. Which is smaller: z or t?
z
Let f = -26 - -103/4. Let a = 0.2 - 6.2. Let v = 8 + a. Which is smaller: v or f?
f
Suppose 0 = -0*x - 5*x - 210. Let r be ((-6)/(-16))/(x/308). Is r <= -4?
False
Suppose -5*r - 2*m + 264 = 0, r = 3*r + 4*m - 96. Let u = r - 55. Is u at least -3?
True
Let n = -1/2080 + 361401/2080. Is n greater than 174?
False
Let i = 24 - 14. Suppose -7*w + 9*w - i = 0. Suppose 0 = 5*b - b - 24. Is w != b?
True
Let n = -0.24 - -51.24. Let i = 51.05 - n. Which is greater: -4 or i?
i
Let g be (4/(-4))/(1/(-25)). Suppose 5*p - g = 2*w, -w - 2 - 3 = -p. Suppose 0*x - 4*x - 8 = w. Which is smaller: -1/2 or x?
x
Suppose -6*v + 15 = -v - 4*p, -3*v - 5*p + 46 = 0. Let t be 145/15 + (2 - (-5)/(-3)). Suppose 4*m - 26 = t. Which is greater: m or v?
m
Let d be (-1 - -3) + -3 + 13. Let l(s) = -d - s + 2*s + 6. Let q be l(6). Is 0 at least as big as q?
True
Let r be (-972)/16 - -3*3/(-36). Let v = r + 66. Suppose 3*a = -a + 16. Is v at most a?
False
Suppose 2*g - 6 = -0. Let v be (-1)/2*(0 - g). Let y = 85.2 + -85. Which is smaller: v or y?
y
Suppose 198*a - 20 = 202*a. Is a less than -6?
False
Let l be (-21 - 3)/(-6) + 4/2. Let g = 3 + 2. Is g <= l?
True
Let i = -1/5 - 33/10. Let b(h) = h + 4. Let t be b(-8). Which is bigger: i or t?
i
Let k(f) = -7*f**3 - 13*f**2 + 29*f + 21. Let t(w) = -10*w**3 - 20*w**2 + 43*w + 31. Let s(i) = -7*k(i) + 5*t(i). Let u be s(-10). Which is smaller: -13 or u?
-13
Suppose -16 = -20*c + 16*c + 4*a, 11 = 2*c - 3*a. Is c < -3/484?
False
Suppose -58 + 334 = -4*t. Let y = 14941/5 + -2919. Let a = t + y. Is a less than or equal to -1?
False
Let p be 0/(1/((-3)/6)). Suppose 6 = -3*c + 6*z - 3*z, 2*z = -5*c - 31. Let l be (10/22)/c*1. Which is greater: p or l?
p
Let i(b) = -b - 1. Let m be i(-7). Let w be 2/(-9) - m/96. Let q = w + 1/16. Which is smaller: 1 or q?
q
Let f be (-4)/6*(-3108)/20. Let w = f + -104. Let m = -0.2 + 0.7. Which is greater: w or m?
m
Suppose 0 = 2*l + 13 - 7. Let a be (-77)/l + (-6)/9. Suppose -3*t + 4*t - a = 0. Is t bigger than -1?
True
Suppose 5*x = -4*g - 201, 0 = -x + 2*g + 18 - 47. Does x = -34?
False
Let l be (36/7)/((-309)/5768). Which is smaller: l or -1060/11?
-1060/11
Suppose 4*x = j + 29, 0 = -2*x + 16*j - 12*j + 32. Is 1 <= x?
True
Let j = -2.3 + 2. Which is greater: 10 or j?
10
Let x = 17.5 + -15. Let a = -2.2 + x. Let w be (8/18)/(6/(-9)). Which is smaller: a or w?
w
Let i = -20903/4 + 5273. Which is smaller: i or 46?
46
Suppose 20*k - 24*k + 4 = 0. Which is smaller: 3/4 or k?
3/4
Let f = -926 + 943. Which is greater: 21 or f?
21
Let l = -7 - -10. Suppose 0 + l = 3*c. Let h = 83/900 + -2/225. Is c less than or equal to h?
False
Let d(s) = -s - 2. Let k = -15 - -21. Let b be d(k). Let r(h) = h + 8. Let f be r(b). Is f greater than -1/6?
True
Let w = 2 - -5. Let v = w + -7.07. Let b = v + -0.03. Do 0.3 and b have different values?
True
Suppose 29*b = 28*b + 6. Suppose b = 2*h - 4*h. Which is bigger: h or -11?
h
Let h(b) = -b**2 - 8*b - 5. Let y = -40 - -38. Let d be h(y). Suppose 0 = -5*j + 5*g - 10, j + 0*g = 5*g - 22. Which is greater: d or j?
d
Let w be 4/12*(11 - -1). Suppose -5*z + 2*o - 36 = -0*o, 3*z + 32 = -w*o. Suppose x = 13*x + 108. Does x = z?
False
Let y = -36 - -4. Suppose 27*c + 2594 - 2621 = 0. Which is smaller: c or y?
y
Suppose -s - 2*s = -9. Suppose 0 = -s*x - 23 - 7. Let w = -15 - x. Which is smaller: -4 or w?
w
Let u be -1 + (-4 - -2) + 3. Suppose 4 = -q + 5*f, 3*q + u*q = -4*f + 45. Let y = q - 16. Is -4 > y?
True
Let n = 201 - 111. Let p be (18/n)/((-1)/(-3)). Which is greater: p or 1?
1
Let y(b) = -b**2 - 4*b + 8. Let f(q) = -2*q**2 - 8*q + 15. Let d(x) = -3*f(x) + 5*y(x). Let h be d(-5). Is 2 equal to h?
False
Let b = 10 - 6. Let i = 9 + -8.78. Let w = i - 0.12. Is w >= b?
False
Let g = 302 - 281. Is 108/5 less than or equal to g?
False
Let q = -495 + 486.23. Let r = -0.23 + q. Let u = 9 + r. Is u not equal to -6?
True
Let y = 3011 - 3040. Which is greater: y or -327/11?
y
Let c be 18604/(-203) - (-1)/(-7)*2. Let x = c - -92. Is x less than or equal to 1?
True
Suppose -2*m + 1072 = -4*t, 87*m = 83*m + 4*t + 2144. Is m greater than or equal to 536?
True
Let k = 1995 - 1994. Which is bigger: -25/78 or k?
k
Let i = -0.08 + 0.14. Let g = 21 + -20.99. Let z = 0.09 + g. Which is smaller: z or i?
i
Let w = 5.3 - 0.31. Let s = -0.09 + w. Let a = -0.1 - s. Which is smaller: a or 0?
a
Suppose 0 = -k - 2*p + 72, -k - p = -10 - 62. Let o be 1/5 + k/90. Suppose 5*z = 14 + o. Which is smaller: z or 4?
z
Let t = -191 - -197. Is 7 at least as big as t?
True
Let u(n) = -2*n**2 + 17*n - 6. Let b be u(8). Suppose b*m - 6 = 3*m. Which is bigger: -7 or m?
m
Let c be ((-37600)/(-3))/(24 + -37). Let v = c + 964. Which is greater: v or 1?
1
Let h be 10686/1779 - -2 - 8. Is h greater than -1?
True
Let s = -0.4 + -0.3. Let t = -0.4 - s. Are t and 0.03 equal?
False
Let y = -576 + 515. Are y and -61 equal?
True
Let h = 195 - 184. Is 3 > h?
False
Let o = -82 - -82. Which is bigger: o or -71?
o
Suppose -19 + 14 = d. Let u(s) = 2*s**2 + 9*s - 5. Let t be u(d). Which is bigger: t or 3/13?
3/13
Let p be ((3 - 0)*-11)/(-1). Suppose -4*f - 8 = 0, -16 = 3*c - f - 114. Are c and p unequal?
True
Suppose 120*i + 756 = 162*i. Let k = -26 + 43. Which is greater: i or k?
i
Let x be 6 + -2 - 3 - (-174)/(-176). Which is smaller: 0 or x?
0
Let u = -23.3329 - -0.0329. Let w = -23 - u. Which is smaller: -12 or w?
-12
Suppose 8*p + 5 - 37 = 0. Let w be (-171)/(-24)*4/6. Is w smaller than p?
False
Let c(w) = 18*w - 50. Let j be c(11). Suppose -2*f - j + 32 = 0. Are f and -58 unequal?
False
Let k = -29 - -33. Suppose 0 = -20*n + 21*n - k. Let b = -37 - -112/3. Which is smaller: b or n?
b
Suppose -4 = 4*d - 20. Let t be -83 + (-9)/(1 - d). Let q be 4/(-12) - t/276. Which is smaller: 0 or q?
q
Let p be 66/15 + (-2)/5. Suppose -2*h - 2 = p. Let z(k) = -k**3 - 3*k**2 - 3. Let r be z(h). Are -4 and r nonequal?
True
Let f be 1 + -4 - 27/(-1). Let z be (4 + (-93)/f)*2. Let b = -8.1 - -0.1. Which is bigger: z or b?
z
Suppose -2*v + 18 = -5*f, 31*v = 27*v - 3*f + 10. Which is smaller: v or -3.9?
-3.9
Let c(v) = v**3 + 12*v**2 - 17*v - 52. Let p be c(-13). Which is bigger: p or -1/1139?
p
Let p be (-8)/3 + 1/(-3). Suppose -626 = 4*w + 2*v, 3*w - v = 4*v - 502. Let l = w + 156. Is l at least as big as p?
True
Let g = 3.53 + 0.27. Let w = 4.18 - g. Which is smaller: -1/3 or w?
-1/3
Suppose 0 = -0*y - 16*y + 160. Is y at least 0?
True
Let d be (6 + -2)/(-2)*(-26)/(-32). Let m(p) = p - 6. Let j be m(5). Which is greater: j or d?
j
Let k = 28 + -14. Let q = -37 - -44. Suppose h + h + g - 26 = 0, -h = 2*g - q. Which is smaller: k or h?
k
Let j = 581 + -1332. Let p = j - -2983/4. Suppose 2*u + 2 = 4*u + 5*f, 4*u - f + 18 = 0. Which is smaller: p or u?
p
Suppose 76*k = 80*k. Let f(t) = 0 - t - 2*t + 3 + 2*t. Let i be f(2). Is i at least k?
True
Let a = 0 + 1/28. Suppose 3*u - 10 + 4 = 0. Suppose 5*g + t + t = -7, 2*t = -u. Is a >= g?
True
Let c = 76 + -70. Let l(k) = -k**2 + 5*k + 5. Let z be l(c). Is z at least as big as -2?
True
Suppose 5*v + 3*k = -490, 3*v - 6*k + 2*k + 294 = 0. Let d = 99 + v. Let n be (7/(-15))/((-1)/3). Is d at least n?
False
Let k = 3.53 + 6.47. Is 3 != k?
True
Suppose -2*x = -4, -d + x = -3*d + 4. Suppose -d = s + r, s - 2*s = 4*r + 10. Suppose -6*a + 3*a = 5*k + 3, 0 = 2*k + 2*a + s. Are 3 and k unequal?
True
Let r(z) = 2 + z + 3 - 3. Let b be r(5). Suppose -91 = 45*j - 334 - 117. Are b