2*(-40)/608). Which is greater: w or -9?
w
Let x(h) = h**3 + 7*h**2 - 3*h - 9. Let z be x(-7). Suppose 150 = 97*c - 82*c. Which is bigger: c or z?
z
Suppose -5*q + 3*o + 437 = 0, -21 = 5*o - 1. Suppose 12 - 32 = -4*v. Suppose -5*b = -v*i + q, -b - 3*i = 4 + 1. Is -13 greater than b?
True
Suppose -4*h - 22 = -2*u, -12 = -2*u + 4*h - 2*h. Suppose 0 = -18*d + 19*d + u. Is 39 less than d?
False
Let h = -288 + 165. Let n be h/(-3)*(0 + -1). Is -41 >= n?
True
Let t = -25 - -26. Suppose t = u + 1. Which is bigger: 2/35 or u?
2/35
Let x = -976/15 + 65. Suppose -2*d = i + 5, 0*i = 5*d - 3*i - 15. Is d less than or equal to x?
False
Let o = -198374/119 + 1667. Which is smaller: o or 0?
o
Let k = -15 + -133. Let h = k - -162. Do 14 and h have the same value?
True
Let c(v) = -11*v - 216. Let f be c(-22). Are f and 22 nonequal?
True
Let c be (-12)/4*(-2 - -1). Suppose -c*b = -6*b - 15. Which is smaller: -9 or b?
-9
Let s = -26.943 + -0.057. Let b = s + 25. Which is smaller: 6/7 or b?
b
Let w = 34 + -19. Let r = 13.9 - w. Let i = r + 1. Is -1.6 < i?
True
Let p = 73.39 + -73. Let g = -229.4 - -228.21. Let x = p + g. Is -2/7 at most x?
False
Let m = -14.64 + -0.36. Let h = 14 + m. Let n = -0.6 - -1.1. Is n less than h?
False
Let d be -1*((-5)/(-16))/5. Let g(n) = n**2 + 4*n + 39. Let y be g(0). Let t = y - 40. Is t at least as big as d?
False
Let h(n) = 45*n**2 - 3*n + 5. Let u be h(2). Suppose u*w = 180*w - 23. Is 25 at least w?
True
Let y = 6.3 + -2.9. Let w = -3.6 + y. Is w > -2/3?
True
Let o = -113/28 - -23/7. Suppose 4*q - 3*q - 9 = 4*b, -q = -5. Which is smaller: b or o?
b
Let b be 1/(-7) - (-704)/28. Suppose -d = -6*d + b. Let r be 69/15 + 2/d. Is r less than 4?
False
Let g = -13 - -21. Suppose -g - 2 = 5*c. Let n be c/(-5) - (-64)/(-110). Are 1 and n unequal?
True
Suppose 2*m - 12 - 10 = 0. Suppose 2*p + 13 + m = 0. Let z be 15/(-18)*p/15. Is 1/4 < z?
True
Let y = -3 - -2. Let r(a) = 4*a**2 - 5*a**2 + 2 + 0*a + 3*a. Let g be r(6). Which is smaller: y or g?
g
Suppose -g + 13 = 4*c, -5*c + 2 - 12 = -4*g. Suppose -c*p + 5*p = 84. Suppose -4*a - 8 = 2*s, -a + 5*s - p = -4. Which is bigger: a or -5?
a
Let v = -31.79 - -31.8. Is v < 0.4?
True
Let y(t) be the second derivative of -t**4/12 + 5*t**3/6 + 7*t**2/2 + 2*t. Let a be y(6). Suppose p - a + 0 = 0. Which is smaller: 6/13 or p?
6/13
Suppose -5 = 5*m + 20. Suppose 16 = 5*z - 2*f - 1, -22 = -2*z - 3*f. Suppose -z*h - 16 = 9. Is m at most as big as h?
True
Let x = -405 + 187. Is x less than -219?
False
Let g = 35 - 27. Let o be (-8)/(-14)*(-1 + g). Let b = 8 + -5. Which is smaller: b or o?
b
Let g be (-8 + 9)/(1/4). Suppose -u + 30 = g*u. Suppose -3*i + 9 = -u*i. Which is smaller: -4 or i?
-4
Let y = 4265.8 + -4266. Suppose 3*s = 5*n + 5, -2*n - s = 2*s + 23. Which is smaller: n or y?
n
Let h = -129 + 119. Let y(m) = m**3 - 4*m**2 - 6*m - 2. Let q be y(5). Which is bigger: h or q?
q
Let w = 28.1 - 25.1. Are w and 0.5 non-equal?
True
Let s = 344 - 6537/19. Is s at least 2/3?
False
Let x(w) = -w**3 + 13*w**2 - 19*w + 35. Let s be x(12). Which is greater: s or -48?
-48
Let y be -1*6/(5 + 1). Is y at most -1/127?
True
Let x = 168 + -41. Suppose -x = -4*z - a, 180 = 2*z + 3*z - 3*a. Are 33 and z equal?
True
Let d(a) = -4*a + 16. Let l be d(4). Is l at least as big as 3/7?
False
Let b = 4 - -4. Let p = 96 - 99. Is p <= b?
True
Suppose -2*w - i + 671 - 32 = 0, -5*w + 3*i = -1603. Which is smaller: 1285/4 or w?
w
Let y(v) = 3*v**3. Let o be y(-1). Let b be 15/(-180) + ((-8330)/120)/7. Which is smaller: o or b?
b
Let k be -3 + -80 + 0/2. Is k at most as big as -82?
True
Suppose 3*o - 19 = 38. Is o < 19?
False
Let v = -22 + 95. Let y be v/(-5) - (54/10 + -5). Which is greater: y or -16?
y
Let u = -17 + 5. Let m = u + 9. Let g = -89 + 97. Is m at least g?
False
Let m(h) = -22*h - 87. Let d be m(-4). Let j be -2*2*4*-1. Let z = j - 46/3. Which is smaller: d or z?
z
Let f = 171.27 + -175. Let c = -0.27 + f. Do c and 2/9 have different values?
True
Let d be ((-2)/(-5))/((-7 + 2)/(-25)). Are d and -3 nonequal?
True
Let z be (-40)/(-3)*108/90. Suppose -c - 2*c - z = -2*d, -3*c - 18 = -3*d. Let l be (3/1 - 0)/4. Which is smaller: l or d?
l
Let v(r) = 4 - 3*r**2 - 292*r + 294*r + 2*r**2. Suppose -w + 3*w = 8. Let d be v(w). Do -3 and d have the same value?
False
Let w = 1035 + -1045.03. Which is greater: 0 or w?
0
Suppose -2*a - 2*k + 216 = 0, 3*k + 0*k = 0. Are a and 106 non-equal?
True
Let v = 227 + -367. Let g = -73 - v. Is g equal to 1?
False
Suppose 5*x + 0*a - 16 = a, -a - 1 = 0. Suppose 8*y = -4*v + x*y + 107, -139 = -5*v - y. Suppose -4*z + 0*z - v = 0. Which is smaller: -17/3 or z?
z
Let l be 3*(-2)/90*-2. Let a be 0 + -1 + 0/(-22). Which is smaller: a or l?
a
Suppose -m = 2*d + 3 - 7, d - 3*m - 2 = 0. Let r(f) = 2*f + 2. Let g be r(d). Let z(k) = -k**2 + 7*k - 1. Let p be z(g). Is p smaller than 5?
False
Suppose 0 = -3*w + 3*l + 21, 0 = 372*w - 374*w + 3*l + 17. Is -8 <= w?
True
Let x(d) = 13 + 4 - 2*d**2 + 9*d**2 - 20*d. Let o(y) = -3*y**2 + 10*y - 9. Let u(k) = 5*o(k) + 2*x(k). Let j be u(9). Are j and -1 unequal?
True
Let u = -81 + 44. Let x = 47 + u. Which is smaller: -1/6 or x?
-1/6
Let s be -256 - (12 - 19 - 5). Which is smaller: s or -245?
-245
Let s be (-1365)/2961 + 3/9. Which is bigger: s or 0?
0
Let t = 1 + -6. Let p be 1/(-1) + 9 + t. Suppose -5*j + p*j = 0. Which is greater: -2/17 or j?
j
Let x = 20 + -17. Suppose -t = -3*n - 52, 5*t - x*n - 61 = 187. Is t smaller than 48?
False
Let v be 11/15 + 2/(-5). Let x = -2956 + 2966. Is v at most as big as x?
True
Let u be (-6*1/4)/((-1)/108). Which is smaller: u or 163?
u
Let p(i) = -2*i**3 - 29*i**2 - 11*i + 34. Let q be p(-14). Let f = -138/17 - q. Suppose -2*c + c = 2, 2*l - 2 = 2*c. Is l at least as big as f?
False
Let b(z) = -z**3 - 8*z**2 - 7*z. Let s be b(-7). Let v = 552/13115 - 2/215. Which is smaller: s or v?
s
Let c = -22 + 42. Let w = 23 - c. Do w and 2 have the same value?
False
Let h be 2/(-7) - (-10)/(-14). Let j be (160/12)/(3/(-9)). Let w be ((-3)/j)/((-7)/28). Are h and w equal?
False
Let h = 410 + -426.4. Which is smaller: h or 0?
h
Let h = 1.08 + -0.08. Which is greater: h or 5.7?
5.7
Let v(f) = -2*f**2 - 51*f - 37. Let w be v(-25). Let k be (8 - 2)/(-3 - (-90)/w). Is k greater than or equal to 2?
False
Let x = -13.81 - -13.71. Is x smaller than 67?
True
Let t = -1.2 - -3. Let u = -1.2 - t. Let v = -2 + 1.8. Which is smaller: v or u?
u
Let j be (2/(-3))/(20/(-90)). Suppose 0 = y + 3, j*f + 2*f = y + 48. Which is bigger: 2 or f?
f
Let l(b) be the second derivative of 7*b**3/6 - b**2 - 3*b. Let h be l(1). Suppose -4*f - 5 = 4*v - 1, 0 = h*f - 4*v + 41. Are -6 and f equal?
False
Let o(s) = -s - 14. Let k be o(-20). Suppose 5*u - f + 5 = 4*f, 3*f + 1 = 2*u. Let j(g) = g**2 + 4*g + 4. Let l be j(u). Which is greater: k or l?
k
Let m be ((-5)/(-15))/((-2)/(-36)) + -4. Which is smaller: m or 14/15?
14/15
Let b(f) = f**2 - 1. Let p be b(-2). Let d = -45 - -49. Suppose -2*u + 0 = d. Which is bigger: u or p?
p
Let l = 0.04 + -2.04. Let t = -0.23 - -0.01. Let g = t - -4.22. Which is smaller: l or g?
l
Let a = 157188/7 + -22455. Let o be 2 + (-2 - -1)/1. Is o less than a?
False
Let i(j) = -90*j - 102. Let r be i(-2). Which is greater: r or 81?
81
Let y(n) = -n**3 - 13*n**2 - 13*n - 10. Let w be y(-12). Suppose w*d = 5*d - 51. Let k(j) = j**3 - 4*j**2 + 5*j - 3. Let g be k(4). Is g != d?
False
Let d = -10843/19 + 571. Suppose -6 = -19*y + 25*y. Which is smaller: d or y?
y
Let c be (2 - 1)/(3/6). Let z = -54/7 + 197/21. Which is smaller: z or c?
z
Let b = -6.97 + 6.956. Which is greater: 1/4 or b?
1/4
Suppose -4*c - 5 = 5*i + c, -3*i + 3*c = -21. Which is smaller: i or 5/2?
5/2
Suppose 3*m - 6*m = 21. Suppose -3*a + 2*u - 17 = 0, -a - 3 = u + 1. Which is smaller: m or a?
m
Suppose 3*q - 15 = 3*m, -2*q + 3 = 2*m + 1. Let f be m*2*3/12. Which is bigger: f or 0?
0
Let m be 1 + (-143984)/(-180) - 0. Let h = 801 - m. Is 1 equal to h?
False
Let h = 714.7 - 715. Suppose 3*a + 24 = 7*a. Which is bigger: h or a?
a
Suppose -m - 170 = -6*m. Suppose -33*r + 9 = -m*r. Let t(a) = a**2 + 7*a + 4. Let g be t(-4). Which is smaller: r or g?
r
Let s = 255 - 262. Let y(i) = 3*i + 1. Let z be y(-3). Which is greater: s or z?
s
Let z = 21 + -62/3. Let o = 4.5 + -14.9. L