Suppose m = w + 11. Suppose -y + 5*o = -0*y - 13, 2*o = -4. Is w < y?
True
Suppose 0 = -2*k - 32 - 12. Suppose 5*o = -4*n - 11, -5*o + 8*o = -n - 8. Is o > k?
True
Suppose 2 = 3*z + 17. Let l = -12 - z. Is -2 at least as big as l?
True
Suppose 8 = 4*b, 3 = -w + 2*w + b. Is -1/38 bigger than w?
False
Let b = 257.0141 - 0.0141. Which is bigger: b or 0?
b
Suppose 3*x = -2*v + 25 - 742, 0 = 3*v - 9. Let y = -3129/13 - x. Let w = -7 + 8. Are w and y equal?
False
Let i = -0.14 + 0.555. Let o = i - -0.045. Which is bigger: o or -2/7?
o
Suppose 6*r - r = -75. Let k be (-30)/(r/(-20)*-2). Let v be (-24)/96 - (-7)/k. Is v greater than 2/7?
False
Suppose 4*f + n = 576, -2*f - 7*n + 270 = -11*n. Is -6 greater than or equal to f?
False
Let j = 46 - 46.01. Suppose 0 = 2*m + g + 5, -2*m - 4*g + 0*g + 10 = 0. Is j less than or equal to m?
False
Let y = -23 - -18. Let q be y/(-15) - 11/15. Let g be ((-8)/(-20))/(1*-2). Which is smaller: q or g?
q
Let r = -6.178 - 0.822. Which is smaller: 5/4 or r?
r
Suppose 8*q - 21 = -5. Suppose -q*i + u = 1, 2*i + u + 6 = -3*i. Which is smaller: 2/23 or i?
i
Let q = 456 + -455.7. Is q bigger than -6.3?
True
Let w = -5918 - -5972.83. Let y = -0.17 - w. Is -1 <= y?
False
Let x = 60 - 30. Suppose 0 = h - 1, c + 5*h = 6*c - x. Suppose -c + 3 = u. Which is smaller: u or 2?
u
Let m(k) = -51*k + 30. Let h be m(6). Which is smaller: h or -275?
h
Let i = 53 + -48. Suppose -34 - 66 = -i*l. Do 19 and l have the same value?
False
Let b = 120 - 118. Let x be 9*(-14)/60*(b + -3). Which is greater: 1 or x?
x
Suppose 0 = 3*g - 3*j + 3, 0 = -2*g + 5*j + 2 - 7. Suppose 4*f + 2*v = -g*v - 56, 0 = -3*f + 3*v - 24. Let q be f/30 - 38/5. Is q <= -10?
False
Let o be (1/(-1))/(-26 + 3). Suppose t + 3*t = 3*x + 16, 0 = 4*t - x - 8. Which is bigger: t or o?
t
Let f = -17.8 + 17.7. Let c = 9 - 0. Is c > f?
True
Suppose -389 = -29*u + 1583. Are u and 0.5 unequal?
True
Let a(z) = -3*z - 24. Let o(d) = -d**2 + 16*d - 36. Let w be o(14). Let i be a(w). Which is bigger: 3/7 or i?
3/7
Suppose 3*p - 3*v - 1144 = -280, -v = 2*p - 570. Is 285 smaller than p?
True
Let o = -0.89 - -0.81. Do -0.4 and o have different values?
True
Let u be (-2)/(-4) - 1/(-2). Let l(z) = 2*z**2 + 28*z + 1. Let b be l(-14). Let v be b*(-4)/(-252)*6. Which is bigger: v or u?
u
Let v be (-32)/4 + (5 - 2). Let t be 0 - -1 - (-20)/(-9)*3. Which is smaller: v or t?
t
Let s be (54/(-4))/(6 + (-767)/26). Do 0 and s have the same value?
False
Suppose 21*w = 17*w + 12. Suppose 3*s + s + 2*h = 22, -5*s + w*h = -44. Do s and 4 have the same value?
False
Let a(t) = 5*t**2 - 215*t + 1. Let s be a(43). Let g be 33/14*(0 - -2). Let b = g - 36/7. Which is bigger: s or b?
s
Let l(t) = 4*t + 4. Let n be l(4). Let i = -12 + n. Let b = i - 9. Which is smaller: -4/5 or b?
b
Suppose 4 = n + 3*n. Let m = 893/2 - 428. Let c = m - 18. Which is smaller: n or c?
c
Let y be (-4)/3*(-3)/(-2). Let q(o) = -2*o**2 - 6*o + 15. Let x be q(-5). Let l be (-25)/x - 66/9. Which is smaller: l or y?
l
Let a = -21 + 21.9. Let o = -1724/5 + 345. Is a equal to o?
False
Let z be -8*((-138)/12 + -5 - -4). Is -5 not equal to z?
True
Let g be (-4)/10*(-14 - 1). Let n = g + -12. Let d be 0 - 2/n*0. Is 1 at most d?
False
Let n(x) = 3*x - 2. Let a be n(6). Suppose -4*y + 1 - a = -3*t, 0 = -2*t + 10. Let s = 1/7978 + 3975/111692. Which is smaller: s or y?
y
Suppose -8*m = -9*m. Suppose 5*i - 5*q = 135, -2*i = -m*q + 2*q - 74. Are i and 33 equal?
False
Let x(v) = 7*v + 2. Let h be x(-23). Let o = h - -118. Are -42 and o unequal?
True
Let c = 185 + -184.9. Which is bigger: c or -4?
c
Suppose 0 = -4*y + 2*u - 4, 5*y = 2*y + 4*u - 3. Let d be (-3)/(-1) + y + 0. Let o = -307.4 + 307. Which is smaller: d or o?
o
Let o be (4/(-8))/(60/(-1040)). Suppose 27 = a - 3*d, -4*a + 3*d - 6*d = -123. Suppose -s = -4*s + a. Is o <= s?
True
Let d be (-1)/((2/3)/((-834)/(-27))). Which is bigger: -45 or d?
-45
Let n(g) = -g**3 + 6*g**2 + 4*g + 22. Let j be n(7). Which is smaller: j or -4/31?
-4/31
Suppose -4*f - f - 333 = 4*u, -2*u - 161 = -3*f. Let z = 70 + u. Let g(q) = 4*q + 4. Let a be g(-4). Is z at least as big as a?
True
Let k be -2 + -1*39/18*-2. Which is smaller: k or 1?
1
Suppose 2*i + 35 = 13. Let f be i/66*(-582)/(-28). Let w = 26/7 + f. Which is smaller: 7 or w?
w
Let m(w) = 3*w**3 + 4*w**2 + 9*w + 7. Let t be m(-6). Let i = t - -3313/6. Let s be 4 - (-3 + (2 - -3)). Which is smaller: s or i?
i
Let i be (2 - -10)/(6 - 4). Let r be 5/35 - i/140. Which is greater: r or 0?
r
Suppose -97*n + 21 = -96*n. Suppose -n = -7*r - 0. Is r != 40/9?
True
Let d(u) = u**3 + 4*u**2 - u - 4. Let b be d(-4). Suppose b = j - 8*j. Is j < -4/15?
False
Let i(o) = 19*o + 7. Let a be i(-1). Let t be (-6)/9 + (0 - 5/a). Which is bigger: 4/11 or t?
4/11
Let v(k) = -110*k + 13. Let i be v(2). Is i != -206?
True
Let i be (6/4*4/(-48))/5. Is i at most -1?
False
Let y(x) = 2*x**2 - 11 - x**2 + 7*x + 0 + x. Let q be y(-9). Let r(u) = u**2 - 2*u - 1. Let z be r(q). Which is greater: z or 6?
z
Let t(w) = -18*w - 60. Let q be t(-8). Is q smaller than 165/2?
False
Suppose -2*d + 280 = 18*d. Is d at most as big as -14?
False
Let b be (-4042)/4 + (-171)/(-114). Is b smaller than -1010?
False
Let u = -15 + -1. Let l = -18 - u. Let s be (10/(-20))/(l/4). Which is greater: 0.1 or s?
s
Suppose 0 = -5*x + 210 + 20. Suppose -4*f = -m + 4*m + x, -2*f + 22 = -m. Let s = m + 17. Is -7 smaller than s?
True
Let t be -2 - (-1*1)/((-11)/(-44)). Let g be t/(-3) - (-46)/69. Suppose 0 = b + b. Is g bigger than b?
False
Let j(o) = 5*o + 8. Let x be j(-27). Is x at most -123?
True
Suppose y - 16 = 2*l - y, -12 = 4*l + y. Let m(b) = -b**2 + 8*b - 5. Let i = -13 - -21. Let q be m(i). Which is smaller: q or l?
q
Let p be (-36)/(-16) - 1/4. Let n be 18196/72 - (-1)/p. Let m = 253 - n. Which is greater: m or -1?
m
Let a = 65 + -59. Let f be (1/(-2) + 1)/((-3)/a). Which is smaller: f or -12/5?
-12/5
Let g(m) = 171*m**3 - 3*m**2 + 3*m + 1. Let x be g(1). Is 171 bigger than x?
False
Suppose -3*w - 1 = 2. Let l(d) = -6*d**3 + d + 5. Let y(r) = -7*r**3 + 2*r + 6. Let k(q) = 4*l(q) - 3*y(q). Let s be k(1). Which is bigger: w or s?
w
Let h be 1/1 - (-8)/2. Suppose -5*b = t - h*t + 37, 2*t - 5*b = 21. Let l = 16 - t. Which is bigger: -2/3 or l?
l
Suppose -18*t - 474 = -24*t. Is t <= 74?
False
Let s = -495.999 - -496. Which is smaller: 0 or s?
0
Let o(q) = 3*q + 13. Let x be o(-3). Suppose 2*b - x - 34 = -3*g, 2*b - 5*g - 70 = 0. Which is greater: b or 26?
26
Let k be (-2 + 1)/((-8)/384). Let f = 48 - k. Is -1/25 <= f?
True
Let n be -1*(8 + -6) - (-3)/1. Is -1/95 < n?
True
Suppose -6 = -0*h + 2*h. Let q(j) = j**3 + 3*j**2 - 2*j. Let p be q(h). Suppose -p*w = -w. Is -1/4 less than or equal to w?
True
Let l = 0.681 + -1.081. Which is greater: l or -23?
l
Let n = -10 + 10. Let v be 0 - (n + 2/2). Let o = v - -4. Is o less than 3?
False
Let b = 0.3 - 0.2. Let f be (-3*(-10)/20)/((-6)/(-14)). Is b equal to f?
False
Let l = 805 - 619. Is 186 at least as big as l?
True
Let u(t) = 3*t**2 + 94*t - 63. Let k be u(-32). Which is bigger: 1/3059 or k?
k
Suppose 4*x + 23 = -123*g + 120*g, 2*x + 7 = 3*g. Let i be (-8)/(2/((-4)/14)). Which is greater: g or i?
i
Suppose 0 = -8*u + 3*u. Let k = 31 + -92/3. Is k != u?
True
Suppose -17 = -c - 9. Let a be (-23)/(-4) + -6 + 530/c. Are a and 65 nonequal?
True
Let g = 550 - 4970/9. Is -3 at least g?
False
Let c be -2 - -6 - (-9)/(18/(-8)). Let n be 4 + 0 - (7 - c). Let r be (-14)/(-16)*(-30)/14. Is r greater than or equal to n?
True
Let t = 0.032 - -57.968. Let s = t + -57.8. Is s < -18?
False
Let m = 47 + -233/5. Suppose 0 = -0*i - i + 6*i. Is i not equal to m?
True
Let u = 2.84 + 0.16. Let p(m) = -m**3 - 40*m**2 - 38*m + 37. Let h be p(-39). Which is greater: h or u?
u
Let i = -1.53 + 35.53. Let z = i + -34. Let w = 1 - 1. Is z smaller than w?
False
Let v(d) be the third derivative of d**4/24 + d**3/3 - 2*d**2. Let g be v(-5). Let q be -2 + g/((-3)/3). Which is smaller: -1 or q?
-1
Suppose -q + 3 = 0, h + 4*q - 29 = -q. Let l = 8 - h. Let j = -3163/702 - -2/351. Which is smaller: l or j?
l
Let p = -1413 + 1389. Does -30 = p?
False
Let y be 8/6*(-27)/(-6). Let d be 9/y*184/(-12). Let j = -31 - d. Which is bigger: j or -1?
-1
Suppose -10*a = -16*a + 228. Let o = -63 + a. Which 