 - 39. Let w = 19 - o. Let y be 7/w*(-744)/4. Is 94 >= y?
True
Let i = -0.48 - -0.326. Let u = 0.864 + i. Let n = u + 1.29. Which is bigger: n or -33?
n
Let m = 1599 - 1605. Let i = 146 - 209. Let y be ((-2)/(-3))/(6/i). Which is bigger: m or y?
m
Let w = 32 - 58. Let b be ((-1 - -16) + 1)*(-310)/1240. Which is bigger: w or b?
b
Let d = -0.07 - 22.93. Let o = 19.6 + 2.4. Let s = d + o. Which is greater: 3/8 or s?
3/8
Let u be 4762*(12*(-4)/(-32))/3. Which is smaller: 2384 or u?
u
Let a = 3679/3720 - 121/155. Let x(g) = g + 5. Let k be x(-5). Suppose k*u = 2*u. Is u greater than a?
False
Let q = 42 + -45. Let d = 8 - q. Suppose -d*g = -g. Which is greater: g or -3/5?
g
Let k = -75 + 31. Let s be 1/(180/k - -4). Let l = 18 + -15. Which is smaller: s or l?
s
Let i be 2702/5 + (-2)/5. Let o = -540 + i. Are -2/203 and o nonequal?
True
Let r = -839623/10 - -83834. Let f = r + 559/5. Let m = 25 + f. Which is smaller: 0 or m?
0
Let f(g) = -g**3 - 3*g**2 - 2*g - 4. Let j be f(-3). Let c = -235 - -230. Let p be c/((-175)/15)*16/3. Which is bigger: p or j?
p
Suppose -25 = -5*s, 2*p + 4*s + 124 = 6*p. Suppose -3*w - 4*q = -27, 3*w + q - p = -w. Let g be w/6*(-16)/6. Is -4 < g?
False
Suppose -6*b + 4*b = 38. Let z = 44567 + -267517/6. Which is smaller: b or z?
z
Let o = 13027 + -13481. Is o at least -2276/5?
True
Let p = 26854.4 + -26841. Is p < 1?
False
Let x = 156 + -179. Let j(q) = -q**2 - 21*q + 45. Let u be j(x). Is 6/23 > u?
True
Let o = 320.311 - -0.689. Let c = o + -273. Is c <= -3?
False
Let a be -2*(-3)/(30/(-215)). Let h = a + 47. Suppose h*n - 33 = 5*d, d - 2*n = -d - 12. Is d bigger than 2?
False
Suppose -w - 5*d + 40 = 0, -15*d + 17*d = 2. Which is smaller: 1/12 or w?
1/12
Let a be ((-12)/(-18))/((-500)/126 + 4). Suppose 0 = -a*v + 22 + 41. Is v greater than 66/37?
True
Suppose -6 = -f - 2. Suppose 14147 = -11*a + 5083. Let t = a + 823. Are t and f equal?
False
Let f = 2053 + -2051. Suppose 0 = -8*u + 3*u + 4*b + 156, -5*u - 4*b + 124 = 0. Let h be 7/u - 23/28. Which is bigger: f or h?
f
Let m(t) = 3*t**3 - 126 - t**3 + t - t**2 - 9*t**3 + 6*t**3. Let q be m(0). Is -126 greater than q?
False
Let g be (657/(-99))/(-3 - -4). Which is smaller: -6 or g?
g
Let j = -310 + 500. Let s = j - 186.6. Let f be 2/(-6) - 2/(-42). Which is smaller: s or f?
f
Suppose -1290 - 19360 = -27*j - 32*j. Is j equal to 1?
False
Let v = -3270 - -3273. Is 775 at most as big as v?
False
Let h(i) = i**2 + i - 1. Suppose -1 = -z - 0*z. Let j be h(z). Let d be (j/(-18))/(5 - 6). Which is bigger: 1 or d?
1
Suppose b + 4*k + 0*k - 36 = 0, 0 = 2*b + 2*k - 66. Let r be (1/(-4))/(20/b). Let u = 757 - 736. Is r smaller than u?
True
Let b be ((-150)/(-20) + -8)*74. Let v be 4/6 - 1582/42. Is b < v?
False
Let w = 5933 + -5171. Which is greater: w or 0.06?
w
Let l be 3816/424 + 45/(6/(-2)). Which is smaller: l or -575/79?
-575/79
Let r be 8 + -10 - -1*3. Suppose 0 = 11*d - 3*d - 16. Let a be 150/(-20) - (-1 - (-1 + d)). Which is smaller: r or a?
a
Let a be 14/(-5)*((-1)/(2576/5159) - -2). Is a at most as big as -1?
False
Let g be (125/(-500))/((-6)/(-8) + -1). Let x(l) = 2*l**2 - 3*l - 4. Let o be x(4). Suppose -o = t - g. Is t < -14?
True
Let s be 82/45 - (-4)/(-18). Let a(k) = k**3 - 6*k**2 + 19*k - 2. Let g be a(7). Let i = -179 + g. Is i != s?
True
Let b = -765 + 694. Is -81 less than b?
True
Let r = 151.9 + -150. Let l = r + 28.1. Is 0.2 at most l?
True
Let w(f) be the first derivative of -f**3/3 + 9*f - 16. Let s be w(-3). Let t be s + (26/(-6) - 3). Which is smaller: -6 or t?
t
Suppose -11*t - 2*t - 99 = 1734. Which is smaller: -143 or t?
-143
Suppose 0 = 19*z - 50 + 1304. Do 6 and z have different values?
True
Let p = -41 - -36. Let g be 1 - (50/p + 3/(-3)). Let v be (114/63 - 2)*(-18)/g. Is -19 equal to v?
False
Suppose 0 = 3*f - 0*f + 147. Let g be 699/(-15) + (-1296)/540. Is g smaller than f?
False
Let s = 18912 + -18916. Is -49 less than s?
True
Let v = 38 + -42.7. Let p = 0.134 + 9.566. Let b = v + p. Which is bigger: b or -2?
b
Let f = 21591 - 21566. Does f = 156?
False
Let p(f) = 6*f**2 - 96*f - 485. Let v be p(-5). Is 138 greater than or equal to v?
False
Suppose -61*c = -67*c + 108. Which is smaller: c or 16/7?
16/7
Let j(m) = -3*m**3 + m**2 + 2*m + 4. Let c be j(-4). Let q = c - 1838/9. Let f be (1 + 1)*(165/10)/11. Is q >= f?
False
Let q(r) = 7*r - 68. Let k be q(11). Suppose k*c = 35*c - 78. Which is smaller: 8 or c?
c
Let d be (-2)/7206*(-511 + 454). Which is smaller: -1 or d?
-1
Let g be (-92)/(-44) - (-8)/(-44). Let i = -167/99 + g. Let b(p) = p + 15. Let y be b(-14). Do y and i have the same value?
False
Let x(v) = v**3 - 32*v**2 + 58*v + 46. Let z be x(30). Let c be (-36)/(-21)*49/z. Which is smaller: c or -3?
c
Let h(o) = o**3 - 45*o**2 - 101*o + 306. Let d be h(47). Is d greater than or equal to 1.95?
False
Let r be 9472/80 - (-6)/(-15). Suppose -t - 3*t - r = u, 3*t - 2*u + 94 = 0. Suppose 5*o = g - 1, -2*g = 3*g + 20. Is t smaller than o?
True
Suppose -r - 1282 = 2*h, 20*h + 2606 = 16*h + 5*r. Is -640 bigger than h?
True
Suppose 21*j + 202 = 685. Let a be 23/j - (-742)/(-2). Which is bigger: -369 or a?
-369
Let x = -41 + 41.744. Let m = x + 0.256. Which is smaller: 203 or m?
m
Suppose 63763 = 45*m - 168122. Which is smaller: m or 5152?
5152
Suppose -35 = 2*g + z - 174, -2*g + 5*z = -169. Let t = g - 72. Which is smaller: t or -2/77?
-2/77
Suppose -135 + 265 = -9*a + 22*a. Suppose 0 = 3*s - 3*z - 75, -5*s - 2*z + 103 + 8 = 0. Suppose -a*f - 37 = s. Which is smaller: f or -8?
-8
Let q(r) = -r**2 + 93*r + 14. Let k be q(0). Which is smaller: k or -27.8?
-27.8
Let p = 72.736 - -0.264. Let y = p - 87. Which is bigger: 0.5 or y?
0.5
Suppose 82*q + 14853 = 23*q + 95152. Which is greater: 1364 or q?
1364
Let a = -1330109/13 - -102234. Which is greater: a or -83?
a
Suppose 0 = -5*u - 27 - 93. Let m be u/(-5) + 70/(5 - 19). Which is bigger: m or 2/41?
2/41
Let v(z) = -z**2 - 45*z + 119. Let k be v(-47). Let g be 20 + (12/(-8))/((-2)/4). Which is smaller: k or g?
g
Let a be (-4)/12*(-9 + 0) - 0. Let z be 0*(a/(-12))/(8/16). Which is greater: 6/97 or z?
6/97
Let p = 38477 + -28510. Is 9965 smaller than p?
True
Let a(f) = -6*f**2 + 139*f - 84. Let m be a(22). Which is bigger: 87 or m?
87
Suppose 12*b = -181 + 61. Let t(j) = -j**2 - 8*j + 21. Let i be t(b). Is -2/321 greater than i?
False
Let o(j) = j - 22. Let t be o(0). Suppose -3*d + 8*d - 4*p + 105 = 0, 4*p = 0. Are t and d nonequal?
True
Let x(a) be the first derivative of -a**4/4 - 8*a**3/3 - 9*a**2/2 + 10*a - 8. Let b be x(-6). Is -6 bigger than b?
True
Let u = 393367/283 + -1390. Suppose 33 = -3*q, -2*q - 21 = 4*v + 1. Which is greater: v or u?
v
Suppose 2*f = -3*m + 12, 0 = -f - 0*f + 3. Suppose m*r + 0*r = 52. Suppose v + d - 20 = 0, -6*d + 5*d = 4*v - 95. Are v and r nonequal?
True
Let o(p) be the first derivative of 3*p**4/4 - 2*p**3/3 + p**2 + 3*p - 5. Let n be o(-1). Which is greater: -39 or n?
n
Let i = 10426 - 7036. Suppose -i = 3*x - 600. Let d = x - -8360/9. Is 0 >= d?
True
Let j = 2569188/9779 - 2890/11. Is j less than -1?
False
Suppose 2*u = -0*u + 5*g - 30, u + 6 = g. Is u at most as big as -17/597?
False
Let r be 12*4/8 + -12 + 6. Let h = 67.3 - 71. Let l = h + 24.7. Are l and r nonequal?
True
Let w = -5 - -1. Let v = 1195 + -1423. Let c be v/(-399)*(-1 - 6). Does w = c?
True
Let p be (168/8)/(-1)*-9. Is p at least 190?
False
Let l(a) = -3*a - 3. Let h be 84/22 + 42/231. Suppose h*d = -0*d - 20. Let t be l(d). Is t >= 12?
True
Suppose -5*n - f - 303 = 0, -n - 135 = 4*f - 6. Let c = -1/1472 - 82799/1472. Is c > n?
True
Suppose -54*o = -56*o + 10. Suppose t - 4*m = 77, -o*t + 85 + 276 = 4*m. Let j = t + -52. Which is smaller: j or 22?
j
Let w = -2159 - -2158.8. Which is greater: 0.4569 or w?
0.4569
Suppose 48*u + 1236 = 50*u + 2*s, 3*s = 2*u - 1251. Let p = u + -4409/7. Is -9 at most as big as p?
True
Let l = 134 + -124. Suppose n + 6*z - l*z = -18, 9 = n + 5*z. Let t be (1 - 2)/(6/(-72)*n). Do -13/11 and t have the same value?
False
Suppose -24*g + 17*g = -13*g - 522. Which is bigger: -2/17 or g?
-2/17
Let z be ((-103)/5)/((-6)/(-25)). Let l = z - -86. Is l at least as big as 0?
True
Let r be ((-31524)/22755)/(2/5). Which is bigger: r or -2?
-2
Let y be (87/54)/(5/(-15)). Let g = -113/24 - y