bigger: w or c?
c
Suppose -3*d + 7*d = 296. Suppose -3*z = -d - 82. Let q = -105913 - -105964. Is q smaller than z?
True
Let k = 126.949 + 0.051. Let g = k + -128.008. Let z = -0.008 - g. Which is smaller: z or -1.4?
-1.4
Let y be -51*(-4 - (-64)/12). Let o = y + 102. Let d be o/10 - 2/5. Is d equal to 1?
False
Let h = -17238/31 - -14049683/25265. Does h = -1?
False
Let p be 48/(-15)*5/(-1). Suppose 5*k - p = -6. Suppose -k*q = 2*q. Is -1/58 less than or equal to q?
True
Let o(n) = 8*n**3 - n**2 - n + 2. Let b be o(1). Suppose b*h - 94 - 26 = 0. Which is smaller: 76/5 or h?
h
Let j be 23/(-46)*2/((-92)/6). Let r be 2/((-11)/((-66)/(-12))). Is j greater than or equal to r?
True
Let h = -73.845 + 74. Let n = -0.185 + h. Is n at most as big as -1/8?
False
Let a = -1 + 0. Let m = -6/231175 + -1782127979/3698800. Let w = m + 482. Which is greater: w or a?
w
Let h be (0 - -7) + -4 + 1. Suppose a + 3*a + h*n - 292 = 0, -a = -3*n - 85. Let q = a + -70. Is 0.3 greater than or equal to q?
False
Let m = -214 - -344. Let d be 0 - (-23)/m - (-27)/(-270). Is -25 != d?
True
Let r = 0.00344 - -0.09656. Which is smaller: 2/355 or r?
2/355
Let d = 11 - 10.808. Let x = d - 0.292. Is x at least as big as -5/16?
True
Let a = -14631 - -73784131/5043. Is 1 bigger than a?
True
Let c be (-2)/8 + 50/8. Let f = 8715.2 + -8715.4. Are f and c nonequal?
True
Suppose -2*d - 5*j = -107, 0 = -0*j + 4*j - 20. Let c(a) = -a**3 - 6*a**2 + 109*a - 306. Let i be c(3). Let p = d + i. Is p not equal to -11?
True
Let w = 1/21526 + -1657507/107630. Which is bigger: -0.026 or w?
-0.026
Let c = 1 + -10. Let w(x) = x**3 + 7*x**2 - 10*x - 12. Let u be w(-8). Let m be (-10)/15*(38/u + 1). Which is smaller: m or c?
c
Suppose 96 = -4*r - 2*x + 4*x, 4*r + x = -90. Let g = -201 + r. Which is smaller: -225 or g?
-225
Let p(w) = -6*w**2 + 585*w - 456. Let g be p(94). Is 1514 greater than g?
False
Suppose -2*j + 4*r = 16, 2*j = -2*r - 9 - 31. Let q be (j/28)/2 - (-9322)/(-7). Let o be (-32)/q*(-12)/(-16). Are o and -1 nonequal?
True
Suppose 168 - 70 + 89 = 187*q. Which is bigger: -2/4875 or q?
q
Suppose 2*s - 11 = -249. Let w = -173 - -294. Let n = w + s. Is 4 equal to n?
False
Let v be (-57)/38*(52/15)/1. Suppose -2*i + 5 = -3*i. Which is smaller: i or v?
v
Let o = 385.39 - 0.39. Let h = 385.094 - o. Which is smaller: 3 or h?
h
Suppose 24*s = 34*s - 40. Let i be -142 + 10 + -9 + s. Which is greater: i or -136?
-136
Let j(s) = 14*s**2 - 86*s - 22. Let t be j(6). Which is smaller: t or -31?
t
Let r = 0.3901 - 1378.3901. Is 1/3 not equal to r?
True
Let q(c) = 2*c + 44. Let n be q(-22). Suppose -i - 2*i = -3, n = -3*m + 2*i - 137. Let h = m + 91/2. Which is smaller: -1 or h?
-1
Suppose -24*v + 21*v + 70 = 5*i, -4*v - 54 = -2*i. Is i at most as big as 3?
False
Let q = -3213 + 9641/3. Let n = -0.03 - -0.43. Let m = 0.4 - n. Is q smaller than m?
False
Let j(l) = 11*l + 1. Let a be j(1). Let w(d) = 31*d + 31. Let n be w(a). Let c = 14107/35 - n. Which is greater: c or -1?
c
Let i = 50.16 - 220.16. Which is bigger: i or -1?
-1
Let y = -318.477 + -1.423. Are y and 0 equal?
False
Let u = -31959 - -31959. Is -0.77 at most as big as u?
True
Let w = 312749777/5027 + -62214. Is w at most as big as -1?
False
Let a = 74 + -12. Suppose -22 = -8*v - a. Is -11 less than v?
True
Let f = -0.5 + 54.5. Let x = -72 + f. Let a = x + 19. Is a less than -0.26?
False
Let s = 1397 - 1413. Let t be 16/(-24)*(-585)/(-24). Which is greater: s or t?
s
Let l be (-4 - -4)*1/(-3). Let k = -72729473/2275 - -31969. Is k at most l?
False
Suppose 2040*a = 1984*a + 29064. Are 524 and a equal?
False
Suppose -104 = -31*w - 135. Is -16/1019 smaller than w?
False
Let b = -0.02 + -0.11. Let o = -22559 + 22558.86. Which is smaller: b or o?
o
Let n(a) = -a**3 + 157*a**2 - 171*a + 2630. Let z be n(156). Let x = 455 + -167. Which is smaller: z or x?
x
Let m be (-2464)/(-12) - 6/(-9). Suppose 0*w + m = -3*j - 5*w, -4*j - w - 286 = 0. Does -73 = j?
False
Let v be 5/(165/2238) + 6/33. Let j = 63 - v. Which is smaller: j or -84/13?
-84/13
Let l(z) = -104*z**2 - 769*z + 1. Let s be l(-4). Which is bigger: 1412 or s?
s
Let d = -1.47 - -1.18. Let u = -808 - -804.71. Let k = d - u. Is k bigger than 0.05?
True
Suppose -7 + 59 = 4*i. Suppose i*s + 0*s = -3328. Is s at least as big as -255?
False
Let i = 9 + -9. Suppose -2*o + i = -2. Let g = 509/1491 + -4/497. Is g > o?
False
Let l = -446311 + 446297. Let c = 11 - 18. Is l < c?
True
Let z = 14214 - 5271. Is z greater than or equal to 8943?
True
Let o = 1/1057269 + -2171657/60390148011. Let a = o - 69285267/2284760. Let c = a - -225/8. Is -2 at least c?
True
Suppose -1651*u = 834*u - 808*u + 663176 - 121505. Let q = -1.2 + 0.2. Are u and q nonequal?
True
Let t = 7300 + -7216. Are t and 34 nonequal?
True
Let o = 138373 + -66834130/483. Let t = 4/21 - o. Which is bigger: t or 3?
3
Suppose -5*i + i - 5*q + 175 = 0, i - 3*q - 48 = 0. Let b be i - 42 - (-4)/(-1). Let r = -91 - -91.049. Is b > r?
False
Let b be (1905 - 58)/(-1 + 1/(2/4)). Is b < 1846?
False
Suppose -n = 5*c - 25, n = 4*c - 2*n - 1. Suppose 6*y - c*y + 58 = -2*h, -4*h - 3*y - 117 = 0. Let s = -30 - h. Is s bigger than 6/5?
False
Let o = 31 - 55. Let c be (-18)/(-5) + (-11)/((-440)/o). Do c and 1.5 have different values?
True
Let z = -1510/13 + 27988/247. Let k = z - -2319/836. Which is smaller: k or -1?
-1
Let h = 0.297 - 0.082. Let u = h + -0.031. Let s = u + -0.144. Which is smaller: s or -3/7?
-3/7
Suppose 3*b = -15, 5*b = w - 23 - 7. Suppose v = -5*o + 12, -2*v + w*o + 1 = 7. Suppose 7*x = 4*x + 3*z + 42, v*x = -2*z + 40. Is 87/5 smaller than x?
False
Let u(o) = o**3 - 4*o**2 + 4*o - 1. Suppose 9 = -9*c + 12*c. Let b be u(c). Let z be b/3 - (-1010)/(-30). Which is smaller: -2/9 or z?
z
Suppose 3*v = 5*g + 12, -4*g = 5*v + 20 - 3. Suppose 2*b = 5*x + 104, -5*x - 68 = -3*b + 38. Let c be 114/(-189) + (x/(-35))/(-2). Which is greater: c or v?
c
Let w = 139 + -137. Suppose 2*t = -w*t + 8. Suppose -2*y + 4*y = -t*v - 26, 4*v = -5*y - 50. Are -15 and v nonequal?
False
Let w = -20.33 - -20.1. Let f be (-2)/10*(-3 - -22). Let z = -52/15 - f. Do w and z have the same value?
False
Let b = 4531.838 + -4531. Is 1 equal to b?
False
Let u be ((6 - 6)/4)/(-2). Let q = -2535127/333 + 7613. Which is smaller: u or q?
u
Suppose -4*i + 176 = -4*d, 2*d - 5*i = -2*d - 172. Which is bigger: d or -889/19?
-889/19
Let z = 215240/29 - 7427. Which is greater: -4 or z?
-4
Let o(p) = -6*p + 91. Let a(d) = 2*d. Let j(x) = 6*a(x) + o(x). Let y be j(-15). Which is smaller: -3/178 or y?
-3/178
Let y = -568776352/585 + 972267. Let i = -61038/65 - -939. Let x = y - i. Is x >= -2/7?
True
Suppose x + 0*x - 6 = 0. Let u(d) be the second derivative of -d**4/12 - 35*d**3/6 + 41*d**2/2 - 14*d. Let n be u(-36). Which is bigger: n or x?
x
Let i(s) be the third derivative of s**5/6 - s**4/24 - s**2 + 46. Suppose 2*m + 0 = 4*z - 12, 15 = -5*z - 5*m. Let f be i(z). Which is smaller: 11 or f?
f
Let f = 1363/150 + -136/15. Let z = f - -11/450. Which is greater: z or -5?
z
Let y = -437 - -29276/67. Let u = 0.94 - 1.33. Let a = u + 1.39. Which is greater: a or y?
a
Let a = 1698.67 + -1699. Which is smaller: a or -0.037?
a
Let r(o) = o**2 - 9*o + 5. Let v be 6 - (-5 + -1 + 3). Let j be r(v). Let t be 176/(-32)*(0 + 4)*8/(-44). Is t < j?
True
Let a(g) = -8*g**2 + 76*g + 1. Let l be a(10). Suppose -494 = -14*r + 27*r. Which is smaller: l or r?
l
Let m = 6221 + -6220. Is m greater than or equal to -11/85?
True
Let q be 8119/22494 - 3/9. Which is smaller: -1 or q?
-1
Let v(q) = -q**3 + 33*q**2 - 63*q + 77. Let j be v(31). Let i = 47 - j. Is i greater than 2/11?
True
Let p(s) = 7*s**3 + 261*s**2 + 75*s + 34. Let y be p(-37). Which is smaller: 478 or y?
y
Suppose 4*r + 452 = 8*r + 2*s, -2*r + 4*s = -206. Let k = r + -117. Is k at least -19?
True
Let p = -8 - 16. Let h(x) = 33*x**2 - 2*x + 1. Let k be h(1). Suppose -k - 88 = 5*q. Is q less than p?
False
Let l = -66.42 + 1.42. Let i = l + 43. Let a = i + 27. Which is smaller: a or 0?
0
Let q be 1 + -91 + 19 + -13. Let p be (-99)/q + -6 + 5. Which is smaller: -1 or p?
-1
Suppose -6*l + 5*l = -5, -3*l - 10 = u. Let y be (u/(-350))/(2/(-8)). Which is greater: 1 or y?
1
Let r = 661.8 - 695.8. Which is smaller: -38 or r?
-38
Let r = -43548 - -43548.2