alue?
False
Let w(g) = g**3 - 2*g**2 + 2*g - 1. Let r be w(2). Suppose -8 = -2*o, 3*o = b + 4*b - r. Let v = b + -2. Is -2/23 smaller than v?
True
Let c(d) = 173*d**2 + 2*d + 2. Let x be c(-1). Which is bigger: 174 or x?
174
Suppose -z + 427 = 428. Which is greater: 2/365 or z?
2/365
Let g = 16 - 21. Let x = -5 - -7. Suppose -x*b - 25 = 3*b. Is b > g?
False
Let m be (4/(-20) - -1) + (-153)/210. Which is smaller: m or 0?
0
Let a be 4/(-10)*10/6. Let c = -27.065 + 27. Let y = c + -1.935. Is y less than a?
True
Let l = -569 + 545. Which is smaller: l or -26?
-26
Let g(y) = y**3 - 8*y**2 - 9*y + 5. Suppose -10*x + 6*x = -36. Let l be g(x). Suppose -3*i + l*u - 4 = 0, 5*i + 2*u + 19 - 2 = 0. Which is smaller: -4 or i?
-4
Let o(a) be the third derivative of -a**6/120 + a**5/6 - 3*a**4/8 - 4*a**3/3 - 2*a**2. Let t be o(9). Let k be (-15)/(-27) + t/36. Which is smaller: k or -1?
-1
Let q = -5/8 - -101/136. Let h = 1896 - 257857/136. Let c = q - h. Is c < -1?
False
Let g = -0.141 + -1.859. Let t = 1.25 - 0.15. Is g != t?
True
Let v be 3/2*(-142)/(-9)*33. Is v less than 781?
False
Let i(b) = -b**3 - 3*b**2 + 5*b. Let a be i(-4). Let m = 8/27 + -1009/216. Are a and m non-equal?
True
Let w = 343 + -179. Let c = -164 + w. Is c bigger than 8?
False
Suppose -5*f - 64 = -w, 4*f - 5*w + 25 + 22 = 0. Which is greater: 3/11 or f?
3/11
Suppose 26*g = -12 + 38. Which is smaller: g or 12/37?
12/37
Suppose 0 = i - 5*i. Let k be (-1)/(-12)*4*i. Let d = 5 - 8. Are k and d nonequal?
True
Suppose -t - 41 = 102. Is -145 not equal to t?
True
Let f = -2829/7 + 405. Suppose -1 = 4*k - 5*k. Are f and k unequal?
True
Let v(a) = 17*a + 13. Let y be v(-14). Which is smaller: y or -223?
y
Let f be (-396)/54*(-15)/(-170). Is 0 smaller than f?
False
Let t be (-14 + 14)/((-3)/(3/(-2))). Let f = -109 + 1301/12. Which is bigger: f or t?
t
Let f(h) = -h**3 - 8*h**2 + 10*h + 10. Let t(x) = 3*x - 3. Let b = 10 - 12. Let q be t(b). Let u be f(q). Is u not equal to -2/17?
True
Let c = 2 - 5. Let i = 0.37 + 4.63. Is c smaller than i?
True
Let u = -316 - -949/3. Does u = 6/29?
False
Suppose 2*r - 4 = -4*v, v + 4 = 2*r - 5*r. Let h(i) = i + 1. Let a be h(r). Let n be -4 + (44/14 - (-2)/(-14)). Do n and a have the same value?
True
Let z(i) = 2*i**3 + 20*i**2 - 24*i - 21. Let o be z(-11). Are 80 and o nonequal?
True
Let y = -288 - -573. Let l be y/(-96) + (2 - -1). Is l >= 1?
False
Let g = 2071672/105 + -19730. Is g bigger than 1?
False
Let o be (2/(-10))/((-3)/(-24)). Let l = -55 - -37. Let m be 40/16*l/15. Which is bigger: m or o?
o
Let v be (-20)/(-15)*(-99)/42. Let q be 5*1 + (5 - 14). Is q > v?
False
Let f be (-4 - (2 - 3)) + -7. Let m be (-21)/105 + 98/f. Let y be m/(-7) + 12/(-28). Which is bigger: -0.01 or y?
y
Let p = 31 - 28. Suppose p*j - 85 = 5*i, j - 3*j = -2*i - 30. Which is smaller: i or -21?
-21
Let o = -154 + 160. Is o at least 7?
False
Let h = -547 + 603. Which is greater: -2/5 or h?
h
Let c(m) = m - 1. Let q be c(-1). Let l be 0 + (-123)/54 - (-4)/(-18). Which is greater: l or q?
q
Let f = 39 + -27. Let x = f - 38. Is -1/2 at most as big as x?
False
Let d be (-9)/(-1) - (-2 + 6). Suppose 2*f - 7 = -p + d*f, -5 = -p + 4*f. Is p <= 23/2?
False
Let y(r) = -r**2 - 11*r + 11. Let n be y(-12). Let o be (-1)/(-2) + 1/n. Which is bigger: 0 or o?
0
Let b = 375 - 376. Is b >= 1/8?
False
Let s be (-3)/(108/40) + 1. Let o be (-1)/1*(15 - 2). Let f = 14 + o. Is s smaller than f?
True
Let z(b) = -b**2 - 15*b - 22. Let o be z(-13). Let m be (-28)/(-8)*o/28. Which is bigger: m or 1?
1
Suppose 0 = 8*g - 11*g + 12. Suppose 56 = 5*w - 5*u + 256, 0 = w + g*u + 45. Which is bigger: w or -42?
w
Let t = 5 + 3. Let a be (-12)/t*(-16)/6. Let f(m) = -m**2 - 9*m + 24. Let g be f(-11). Which is smaller: g or a?
g
Let u = 0.08 - 0.43. Let d = u - 3.65. Do -1/8 and d have the same value?
False
Let r = 17223/185 - 464/5. Which is smaller: r or 0?
0
Let g(o) = -o**2 - 2*o. Let b be g(-2). Let t be ((-2)/2)/(1 - 2). Let i be 168/(-152) + 1/t. Is i bigger than b?
False
Let y = 58125/8 + -7256. Which is smaller: y or 9?
9
Let f = 80 - 72. Suppose -p + 0*p = f*p. Are p and -1/23 unequal?
True
Suppose h = -4*h + 4*l + 10, -2*l + 10 = 5*h. Let t(m) = -m**3 - 2*m**2 - 2*m + 1. Let b be t(-3). Suppose b = 2*f + 2*f. Which is bigger: f or h?
f
Let z = 2 - 65. Let c = z - -63. Do c and -26 have the same value?
False
Suppose 2*l = u - 18, u - 2*l = -l + 16. Let a = 18 - u. Let n be a/((-4)/(-3)) + -4. Which is bigger: n or -7/8?
-7/8
Let k(h) = -h**3 + 9*h**2 + h + 4. Let p be k(10). Let s = p + 86. Does s = 1/136?
False
Let i be 306/27 - 4/(-6). Suppose 3*k = i + 9. Suppose k*h = 6*h - 1. Is -1/12 smaller than h?
False
Suppose 0 = -g - 5*j + 19, 0 = 3*g - 0*g + 4*j - 2. Let o be (-4)/g*6/52. Which is smaller: o or 1?
o
Suppose -10 - 10 = -4*g. Suppose 5*r = g*d + 5, 0 = 2*r + 2*d + 3 - 1. Let u(o) = -o**2 + 2. Let w be u(0). Which is greater: w or r?
w
Let z = -7.61 + 0.01. Let l = -7 - z. Let o = 0.8 - l. Is o > 2?
False
Let x(q) = q + 10. Let j be x(-7). Suppose j*i - 4*n + 5 = 17, 3*i + 15 = -5*n. Let f = -35 + 316/9. Is f bigger than i?
True
Let m(n) = -n**3 - 15*n**2 - 2*n - 9. Let h be m(-15). Suppose 13*z - 208 = h*z. Which is bigger: -27 or z?
z
Let a = -21 - -21.1. Let n = 44 + -45.2. Is a at most n?
False
Let s = -6.7 + -1.3. Let m = -1 + s. Let o = m - -9. Which is smaller: o or -1?
-1
Let p be 0/1 - 27/(-3). Let r(t) = t**3 - 7*t**2 + 11*t - 11. Let f be r(6). Let g = f + -18. Do g and p have different values?
True
Suppose 4*u - 53 = -5. Suppose 0 = 5*c - 2*c - u. Is 2/3 less than c?
True
Suppose z + 69 = 2*h, -h + 84 = h - 4*z. Let q = h - 66. Is q less than or equal to -34?
True
Let x = -3076/15 + 205. Suppose -4*r + p = -39, 3*p - 21 - 27 = -3*r. Suppose -6 = -5*d - r. Is x greater than or equal to d?
True
Suppose -39 + 18 = -7*m. Which is greater: 11 or m?
11
Suppose -3*o - 50 = -8. Suppose 3 + 13 = -k. Let v = o - k. Which is bigger: 1 or v?
v
Suppose -5*v - 992 = -32*h + 30*h, 4*v + 2*h = -808. Which is smaller: -201 or v?
-201
Let k = 66669/1258 + -903/17. Is 1 greater than or equal to k?
True
Let w(r) = 52*r. Let s be w(-1). Let v be s/39 - (-14)/(-3). Let l be (-4)/30 + 0/v. Which is smaller: 1 or l?
l
Let n(l) = -144*l**3 - l**2 - l + 3. Let b be n(1). Let g = b - -127. Let h = 21 + -38. Is g bigger than h?
True
Let z = -856 + 327. Let b = z + 44435/84. Let x = b - 23/84. Which is smaller: -1/5 or x?
x
Suppose -2*g = 4 + 14. Suppose 19*h = 8*h + 33. Suppose 5*m + h*k = 3*m - 27, 0 = m + 2*k + 15. Is g greater than or equal to m?
True
Let y(t) = -4*t - 13. Let w be y(-15). Suppose 5*q + 17 - w = 0. Suppose -2*r = -q*r + o + 38, 4*r + 4*o = 48. Which is smaller: 9 or r?
9
Suppose 49 = c + 3*y, -4*c + 53 = -3*c + y. Let s = -86 + c. Which is smaller: -32 or s?
-32
Let i = -25 + 16.2. Let m = i - -5.8. Let s = -7 + 5. Which is smaller: s or m?
m
Let b = 5.9 - 6.08. Let m = b - -0.08. Which is smaller: m or 12?
m
Let i = 1.267 + 90.133. Which is smaller: i or -1?
-1
Let z = 3 + 5. Let w = 23 - 14. Let p = w - z. Which is bigger: -2 or p?
p
Let s = 78.6 - 79. Which is smaller: s or 62?
s
Suppose 0 = -y + 7 - 9. Let p be (-24)/(-108) + y/(36/19). Which is bigger: -2 or p?
p
Let x = 26 + -30. Let f be x/7 + 3396/(-1848). Let t = f + -1/11. Which is greater: t or -4?
t
Let k = 3 + 0. Let s = 3977 + -2517442/633. Let w = s - -2744/633. Is w at most k?
False
Let a be (14 + -17)/((-100)/(-56) + -2). Let g(t) = 3*t - 6. Let d be g(7). Is a greater than or equal to d?
False
Suppose g = -4*g + 5. Let t(o) = o**2 + 3*o - 3. Let d(y) = -y**3 - 7*y**2 - 4. Let q be d(-7). Let r be t(q). Are g and r nonequal?
False
Let d = -4.81 + 40.71. Let j = 36 - d. Which is smaller: 2/97 or j?
2/97
Let d = -670 - -670.1. Is 2/535 at least as big as d?
False
Suppose -2*w = -w - 2. Let s be -26*1*w/(-4). Let v(o) = o**2 - 5*o - 12. Let r be v(8). Is s less than r?
False
Let i = 240 + -259. Is -7 bigger than i?
True
Let c be 1/(45/1491) + 6/(-45). Let n be ((-22)/c)/((-1)/3). Which is smaller: n or 16/7?
n
Let c = 2.77 + -2.744. Are 0 and c nonequal?
True
Suppose 0*r - 4*r + 91 = -3*a, -37 = -3*r - 4*a. Is r at most as big as 20?
True
Let d(z) = 2*z - 9. Suppose k = 5*b + 10 - 36, -2*b - 5*k = -5. Let y be d(b). Let m be -