e
Suppose -3*w - 11 = 4*q, 9*q - 7*q + 4 = 0. Let z be ((-4608)/135)/16 - (-1 + w). Suppose 0 = 5*v - 6 + 1. Is z greater than v?
False
Suppose r + 6 + 3 = 0, -5*f - 7*r = 63. Which is smaller: f or 9/4558?
f
Suppose 0 = 5*b + l - 3437 + 1090, 955 = 2*b - 5*l. Suppose -274 - b = 12*m. Which is bigger: m or -60?
-60
Suppose 0 = -98*x + 94*x - 108. Let d = x + 200. Do 174 and d have the same value?
False
Suppose 2*k = -9*k + 253. Suppose -2*w = -k - 27. Is w < 25?
False
Let y(d) = 67*d - 98. Let z be y(8). Is 438 <= z?
True
Suppose -4*c + 2 = 106. Let f be (c/(-208))/(2/36). Are f and -0.1 unequal?
True
Let v = 84 - 77.25. Let t = -0.13 - 0.12. Let x = t - v. Is x less than or equal to -3?
True
Let a be (-106)/8 - 253/92. Let y = 47 - 66. Which is smaller: y or a?
y
Suppose 80810 = 150*t - 52540. Which is greater: t or 887?
t
Let r be (789/(-35) + 1)/(13/(-585)). Let i = -972 + r. Is i bigger than -3?
True
Let p = -5265 - -5281. Is -1/7 at least p?
False
Suppose 4*r = 2*n - 3*n + 21, 3 = r. Let f be ((-2)/(-24))/(n/(-48)). Suppose 26*j = 31*j - 20, 3*j - 15 = 3*k. Which is smaller: f or k?
k
Let m(w) be the second derivative of -w**4/12 + 19*w**3/6 + w**2/2 - w + 16. Let b be m(19). Is b bigger than 4/181?
True
Let y be (41935/9350 - 2/20) + -4*1. Which is greater: y or 1?
1
Let d(q) = -4*q**2 - 19*q + 23. Let l be d(1). Is l > 1755?
False
Suppose -10*r + 657 = -153. Let q be (-10100)/(-30)*(-6)/(-25). Let y = q - r. Is y >= 0.05?
False
Let h = 160 + -158. Suppose 32 = 4*c - h*q - 22, 0 = -c + 2*q + 6. Which is greater: c or 19?
19
Let s(w) = -285*w - 2809. Let k be s(-8). Which is bigger: 34 or k?
34
Let r = -74.29 + -3.61. Let i = -64.9 - r. Does i = 22?
False
Suppose 2*t + 3*t + 55 = -5*o, -4*t - 50 = 5*o. Let q be (-8)/o + 352/96. Is -13 greater than q?
False
Let h be 104/18 - 14/(-63). Suppose 24 = 5*i + a - 3*a, 2*a = h. Let y be ((-47)/(-6) - (-4)/i)/1. Which is smaller: y or 2/5?
2/5
Let b = -3075 - -3075.1. Is -18.3 not equal to b?
True
Suppose -4*v = -x - 4*x + 20, 5*x = 2*v + 20. Suppose 44 = -11*b - v. Is b at most -7?
False
Let a be 728/273*-11*(-6)/4. Let m = -5 - -9. Suppose -v + 0*t + 61 = -m*t, 5*t - 25 = -v. Which is bigger: a or v?
v
Let t = -0.64 - 1.5. Let y = 2.09 + t. Which is bigger: y or 20?
20
Let j = 1992.279 - 1997. Let l = -4.75 - j. Do 2/7 and l have the same value?
False
Let m = -6437.6 + 6439. Which is smaller: 0.363 or m?
0.363
Let x = 18 - 10. Suppose 4 = 4*c - x*c. Let l be (-8)/4*1/(-27). Which is greater: c or l?
l
Let j be (-4)/(-28) + (-165)/(-21). Suppose 3*r + 6*i + 5 = 4*i, j = -4*r - 4*i. Let x be 927/(-5772) + (-4)/(-26). Is r bigger than x?
False
Let y(k) = 0 + 2*k + 10 - k**2 + 10*k - 5*k. Let u be y(8). Let f be u/((-3)/6*2 + -1). Are 3/8 and f nonequal?
True
Let f = -17641/4250 - -23/250. Are f and -4 equal?
False
Let s(o) = -2*o - 51. Let c(m) = -m**3 - 37*m**2 - 33*m + 84. Let i be c(-36). Let z be s(i). Is z less than -5?
False
Let h = -497 - 237. Let f = 731 + h. Let g(m) = -m**2 + 4*m + 1. Let t be g(5). Is t at most f?
True
Let x be (-36)/(-7614)*6/(-14). Let s = -1417460644/381311 - -680243/183. Let n = x - s. Is n > 0?
True
Let b = 0.1703 - 0.1956. Is b less than or equal to 3/7?
True
Suppose 16 = 5*x - 4*y, -3*x + 2*y = 6*y + 16. Let j = x - 4. Let a be -1 + (j/5)/(62/(-80)). Is 1 <= a?
False
Let p(w) = -w**3 + 4*w**2 + 3*w - 13. Let r be p(4). Let j be 9 - (10192/(-161))/(-7). Is r less than or equal to j?
True
Suppose m + a - 24 = 5*a, 4*m = -4*a + 56. Suppose -15*r = -m*r + 5. Suppose -d - 7 = 2*t, -d + r*t = 2*d - 23. Which is smaller: d or 1/31?
1/31
Let i be -2 - 3/((-30)/35). Let q = -1 - i. Suppose -5*j + 3*j + 6 = 0. Is q less than j?
True
Suppose 1680 = 4*s + 4*r, 0 = -2*s + 5*r - 3*r + 832. Let z = s - 2099/5. Which is greater: -2 or z?
z
Suppose -2*b - 100 = 2*b. Let o = 29 + b. Suppose -2*g - g = -o*l - 16, 2*l + 8 = g. Is g greater than 0?
False
Let f = 74695/7 + -10671. Let k = 1906 + -15297/8. Is f at most as big as k?
False
Let p(a) = 658*a + 1. Let x be p(-1). Let c = x - -19051/29. Suppose 3*t - 8*t = 0. Do t and c have the same value?
False
Suppose -22 = -14*t + 36*t. Is t greater than or equal to 2/691?
False
Let z be -40 - (60/(-100))/(2/10). Let b = 30 - 66. Is b != z?
True
Let z(u) = 2*u**2 + 19*u - 2. Let m be z(-8). Let b be 1*2 + (-30 - m). Let h be (b + (-8)/(-6))/(-27). Is 0 bigger than h?
False
Suppose -3*q - 23 - 10 = 0. Let d(z) = 2*z + 3. Let h be d(q). Let j be 15/100 + (-20)/50. Is h > j?
False
Let b(c) = -20*c**3 + c**2 - 2. Let d be b(1). Let r be (-40)/d*(1 + 12/(-16)). Which is bigger: r or 0?
r
Let i(d) = 8*d**2 + 4*d - 12. Let m be i(5). Let a = m - 123. Is 86 > a?
True
Let v = 13530 - 28209/2. Does -576 = v?
False
Let f = -4701 + 1212. Is -3487 smaller than f?
False
Let f = -52.57 + 52.57. Let j = -0.1 - -1.5. Which is bigger: f or j?
j
Suppose -62 - 80 = u. Let s be 3*u*(-3)/18. Let j = s + -62. Which is bigger: j or 0?
j
Let u = -119 - -395. Let n = u + -5250/19. Let f be 14/210 - 48/45. Are n and f unequal?
True
Suppose 15*t - 20*t + 9 = -2*h, -3 = 5*t + 4*h. Is t bigger than -6/293?
True
Let t be ((-148)/45)/(430/(-84925)). Which is greater: 651 or t?
651
Let d = -586 + 546. Let j(v) = 2*v**2 + v - 4. Let h be j(-2). Suppose 4*r + 156 = h*f, f + f = -4*r - 164. Are r and d equal?
True
Let l = -166 - -287. Suppose 7*v + l = -19. Suppose 4*r - 104 = 5*o - 14, 2*o - 5*r + 19 = 0. Which is bigger: o or v?
v
Let r be (-186)/434 - (-2)/21 - (-4)/48. Which is greater: 25 or r?
25
Let s = -20137.51437 - -20040.514. Let d = 0.04037 + s. Let q = -97 - d. Which is bigger: q or 1/2?
1/2
Let r be (-2)/(-15 - 1)*(-17332)/126. Let o = r - -67/4. Which is smaller: -1 or o?
-1
Let l = -0.8773 + 0.89. Let f = l + 0.9873. Which is smaller: 3/77 or f?
3/77
Let w = 13829 + -13807. Is 0.0355 at most w?
True
Suppose 0 = -6*x - 36. Let u be ((0 - x) + -5)*0. Is u > 2/311?
False
Let h(u) be the first derivative of -u**3/3 + 17*u**2/2 + 69*u + 96. Let r be h(20). Is 10 smaller than r?
False
Let l(s) = -47*s**3 + 4*s - 11. Let y be l(-5). Suppose y = 4*j - 580. Let w = -11268/7 + j. Which is smaller: w or -5?
-5
Let d = 3.65 + -3.75. Let h = 147 - 143.2. Which is smaller: d or h?
d
Let a(c) = 62*c - 17. Let i be a(13). Let p = i + -1113. Let u be 4/(-3)*p/(-24). Which is smaller: u or -17?
u
Let k = -603 + 15073/25. Which is smaller: -214 or k?
-214
Let i = 1238 - 1239. Which is greater: i or -10816?
i
Suppose 2*d = -4*q + 344, -7*d + 855 = -2*d + 5*q. Which is greater: 1884/11 or d?
1884/11
Let w = 8978/3 - 3112. Is -120 greater than w?
False
Let j(l) = -4*l + l**3 - 3*l + 3*l**2 - 5 + 4*l**2. Let v be j(-8). Suppose 13*g + 104 = -39. Which is greater: g or v?
g
Let x = 149.96 + -150.06. Which is smaller: x or -7055?
-7055
Suppose -2*y - 5*h = -353, 0*y + 2*y = 4*h + 398. Let b be 2/7 - 54/y. Is b <= -15/17?
False
Let o = 9764 - 9764. Which is smaller: o or -276/25?
-276/25
Suppose -5*d + 7*h = 3*h + 32, 0 = d + 5*h + 18. Let y be -3 + 0/1 + 345/(-60). Which is greater: y or d?
d
Let o be (-123)/(-351)*(-1881)/27903. Let b be ((-126)/504)/(5538/(-16)). Let p = o + b. Is p bigger than 1?
False
Let x(z) = -87*z**2 + 1485*z - 15. Let f be x(19). Which is greater: f or -3209?
f
Let k = -10620 - -10619.6. Let u be (4 - -1) + -2 + 2. Let o be (-1 - u/(-6))*1. Is k >= o?
False
Suppose 1362 = -347*q + 341*q. Which is smaller: 2/15 or q?
q
Let n(d) = -5*d. Let a be n(6). Let g be (-12)/a + 312/(-805). Let k(b) = 75*b + 226. Let s be k(-3). Do g and s have different values?
True
Let u = 1527 - 1546.7. Is u not equal to 2?
True
Let f = -6367 - -2863. Is -3505 bigger than f?
False
Let k be 0 + -12 - 1824/(-266). Suppose -6*t + 3*t - 5*b = 17, 3*b + 3 = 0. Is k equal to t?
False
Suppose 3*i + 54 = -255. Let a = i + 103. Suppose -46 = -2*h - 4*w, -2*h + a*h = 2*w - 36. Is h less than or equal to 13?
True
Let a = 8413 - 8293. Are 98 and a nonequal?
True
Let b be 416/(-14) + (0 - 1). Suppose 97*w - 92*w = 155. Let h = w + b. Which is smaller: 21 or h?
h
Let j be (-8 - (24 + -56)) + 7052. Is j bigger than 7076?
False
Let y = 633/1262 + -1/631. Let o(r) = r**3 + 20*r**2 + r + 22. Suppose -4*h - 68 = 3*t, 0 = 4*t - 3*h - 0*h + 74. Let b be o(t). Is b equal to y?
False
Let t = -0.0646