91). Does 11/1114 = w?
False
Let u = 11263/4898 + 107/62. Is 4 not equal to u?
True
Suppose -4*v - 36 = -4*j, 5*j = v + 11 + 18. Let q be 6/484*v/(-3). Suppose -3 = 3*r - 5*s + 5, 3*r = -5*s + 2. Which is smaller: q or r?
r
Suppose -6*f = -11*f + 25. Suppose 9*n - 10*n + 3*v + 6 = 0, 0 = f*n + 5*v + 30. Let h be 4/(20/n)*(-50)/45. Which is bigger: -72 or h?
h
Let d(s) = -36*s - 24. Let b be d(-1). Suppose -58 = 2*k + 3*t, -3*t - 24 = -b. Suppose -3*l + 11 = 86. Is k >= l?
True
Let n(i) = 331*i - 4322. Let m be n(12). Is m < -2/119?
True
Let v = -24.49 + 24.59. Are v and -3/8672 non-equal?
True
Let i(d) = 2*d**2 + 54*d - 170. Let p be i(-31). Which is bigger: 79 or p?
79
Let q be (-6968)/(-520)*2/2. Is 14 >= q?
True
Let d = -810 - -809. Which is bigger: 344.2 or d?
344.2
Let v be 2 + 8/68*-16 - 92087/(-7242). Which is smaller: v or 13?
v
Suppose 412*w + 4240 = 624*w. Are w and -57 unequal?
True
Suppose -33*k - 1072 + 544 = 0. Which is greater: k or -31/3?
-31/3
Let x = -0.14938 - -16.14938. Is x < -45?
False
Let h = 309 + -494. Let v = 185.2 + h. Is 20 greater than or equal to v?
True
Let v be (3/(-6) + 2)*56314/(-111). Let i = -682 - v. Is i <= 81?
True
Suppose -136 = -9*z + 5*z + 2*h, -3*h - 60 = -2*z. Let c be 9 - (z/6 + 1). Which is smaller: 3/2 or c?
3/2
Let b = -3091.14 - -3091. Which is greater: 33 or b?
33
Suppose -16*l + 9*l + 22 = -g, g = 2*l - 7. Which is bigger: g or -27/199?
-27/199
Let s = -1933 - -1471.2. Let k = 460 + s. Is 3 less than or equal to k?
False
Suppose -51 + 57 = 2*a. Let y be 2 + 0 + a - 31. Is -25 less than or equal to y?
False
Suppose 0 = 5*c + 2*i - 7, i + 8 = -i. Let d be c/(-9) - 7/(-21). Suppose 4*j + 2 - 30 = d. Which is smaller: j or 11?
j
Let h be 57/190 - 223779/30. Do h and -7460 have different values?
True
Let d be 4*-1637*6/24. Is -1636 greater than d?
True
Let l = 26071.542 + -26094. Let i = 0.542 - l. Is -1 at least as big as i?
False
Suppose 2*t - 3*d = -539, -280 = t + 46*d - 44*d. Is t < -272?
True
Let q = -1.36 - -1.46. Let c = -9 - -12.4. Let f = c + -3.1. Which is greater: f or q?
f
Let g = -627002 + 375574199/599. Let w(i) = -i**3 + 3*i**2 - 1. Let h be w(3). Is g < h?
False
Suppose 8*a = 27*a + 5206. Let h = 275 + a. Which is bigger: h or -7?
h
Suppose -3*i - 150 + 216 = 0. Suppose 0 = 12*u + 902 + i. Which is smaller: u or 0?
u
Let a = 9333 + -18684. Is -0.1 smaller than a?
False
Suppose -70*z - i = -73*z - 53848, -z - 17932 = 4*i. Is z >= -17948?
True
Let q = 7996 + -8100.77. Let g = q + 100.4. Let k = -4.5 - g. Is -1/5 != k?
True
Let h = -62 + 60. Let w be (-3)/(36/(-15))*(h - -70). Suppose 0 = -3*u - 2*u - w. Is -16 < u?
False
Let n = 45 + -14. Let q = 33.1 - n. Let j be ((-5)/(-190)*19)/2. Is q bigger than j?
True
Let a = 17 - 14. Suppose -20 - 1 = -a*i. Let v(s) = -4*s + 39. Let r be v(i). Which is bigger: 5 or r?
r
Let x be (18 + -7 + -12)/(1/5). Let s be ((-1848)/15)/(-1)*x. Is s less than or equal to -616?
True
Let d = 5.3 - 45.3. Let j = 37.015 + -0.015. Let w = d + j. Is w greater than -8?
True
Let i = 1288.1 + -1288.4. Is i at most -27/232?
True
Let n = 120331166 - 321885873273/2675. Let u = n + 39/25. Suppose -2*b = 2*b. Do b and u have different values?
True
Suppose 3*l - 4*j = 10, -l + 4*j = -6 - 0. Suppose 0 = -l*u - 1 - 11. Let f be (-1)/19*(12 + u/1). Is f at most 0.2?
True
Let b be (-4)/(-38) - 2/(114/4965). Are b and -99 nonequal?
True
Let s = 118.7 + -125. Let o = -564790 + 564788. Which is smaller: s or o?
s
Let r = -292 - -435. Suppose 5*x = 5*u + 245, -4*u = -u - 2*x + r. Are u and -43 non-equal?
True
Let x = 1596 - 4148. Let o be (-10)/(-4)*x/110. Let n(z) = -8*z**3 + z**2 + 2*z - 3. Let m be n(2). Which is bigger: m or o?
o
Let g = 2/553 + 501/14378. Let r = 113 - 113. Suppose 2*a - 8*a + 6 = r. Is a greater than g?
True
Let q = -23.64 + 23. Let b = 40.64 + q. Let a = 40 - b. Which is smaller: a or -1?
-1
Let q(l) = l + 12. Let h be q(-7). Suppose 0 = -h*w + 8*w + 156. Let z = 43 + w. Is z equal to -7?
False
Let a(o) = -2*o**2 + 43*o - 11. Let g be a(8). Which is bigger: 210 or g?
210
Let p = -0.07329 + -0.02371. Is 0 <= p?
False
Let q = 2.5 - 10.8. Let a = q - -8.3. Which is bigger: a or -7/3?
a
Let w = 1621/6580 + 6/1645. Is 3212 <= w?
False
Let z be ((-9)/(-2))/((-5)/((-60)/9)). Suppose z*x = 10*x - 8. Suppose -h = -3*q + 2*h + 9, -x*q = 3*h + 14. Which is greater: -8/5 or q?
q
Let o = -1.5398 - -3.5398. Which is smaller: 2235 or o?
o
Let u = 1.21 + -3.36. Let w = u - 2.85. Let s = 0.5 + 0.5. Which is smaller: w or s?
w
Let h = -551.9017 - 0.0983. Let b = h + 422. Is 2 smaller than b?
False
Let i = 8478 - 8477. Which is bigger: i or 4/949?
i
Let j = -0.15551 - -0.18131. Is j > -5?
True
Suppose -28 = 4*c + 4*q, -1302*c + 1299*c - 5*q = 33. Is c greater than -4/619?
False
Let r = -3910 - -82112/21. Are -2/739 and r equal?
False
Let p = -2 - -13. Let i = p + -7. Suppose 8*u = c + 3*u + 23, -4*c = -i*u + 28. Which is smaller: -2 or c?
c
Let n = -7466/99 - 25/99. Is -77 at most as big as n?
True
Let c = -35 - -35.1. Let a(g) = g**3 + 10*g**2 + 12*g + 3. Let p be -3 + -6 - (-5 + 3). Let q be a(p). Is c >= q?
False
Let f = 264 - 262. Suppose 6*b - 14 = f*k + 10*b, 3*k + 2*b + 25 = 0. Let d = 0 - 6. Which is smaller: d or k?
k
Let d be ((-4479)/(-24) - -2) + 318/(-212). Is 186 smaller than d?
True
Suppose 52 = -2*s - 56. Let u = -57 + 2. Let z = u - s. Which is greater: 21 or z?
21
Let r be (2 + -1 - -12) + 22984/(-17). Do r and -1340 have the same value?
False
Let k = 14 - 14.9. Let w = k + -0.1. Let v(d) = d**3 + 15*d**2 + 30*d - 233. Let u be v(-8). Is u <= w?
True
Let n(v) be the second derivative of -v**3/2 - 67*v**2/2 - 57*v. Let c be n(10). Is c less than or equal to -97?
True
Let v = 161/13 + -1433/143. Which is smaller: v or 4/9?
4/9
Let c be 388/28 + (-5 - -6). Let h = 15 - c. Let j = 82 + -244/3. Which is bigger: j or h?
j
Let g be (-1562)/(-3830) - (-66)/(-165). Is g less than 1?
True
Let h = -968 + 666. Let t = -302 - h. Is t > 142?
False
Let s = 564/19 + -190537/6422. Is 0 greater than s?
False
Let v(i) = i**3 + 30*i**2 + 41*i + 246. Let f be v(-28). Which is smaller: 664 or f?
664
Suppose -648 = -76*g + 70*g. Let a be ((-4)/(-35))/(g/(-30)*-1). Let f be (1 + 1)*(-1)/2. Is f at most as big as a?
True
Suppose g + 0*c - 138 = 3*c, 0 = g + 2*c - 148. Let v be -3 - (426/g - 6). Which is bigger: v or 0?
v
Suppose 2*b = -2*r + 5*r + 21, 2*r - 5*b = -14. Let w(d) be the second derivative of -d**3/6 - 9*d**2/2 + 48*d + 3. Let j be w(r). Is 0 bigger than j?
True
Let s(r) be the first derivative of -2*r**2 + 34*r - 72. Let j be s(8). Is j bigger than 7/12?
True
Let n be (-1)/62*(81 + -85). Which is greater: 12 or n?
12
Suppose 0 = 6*o + o + 4475 - 2473. Do o and 31 have the same value?
False
Let s = -29 - -26. Let y be ((-26048)/80 + 3 + -1)/(-2). Let j = -166 + y. Is s less than j?
False
Let p = -36 - -84. Let q = 51 - p. Suppose q - 10 = -7*d. Is -1/19 greater than d?
False
Let g(r) = 46*r - 265. Let d be g(14). Which is greater: d or 382?
382
Suppose -21*c = -123*c + 167382. Is 1641 smaller than c?
False
Suppose -3*m + 28 = -q + 318, -4*m - q - 382 = 0. Let i be 5668/(-60) - 3/15*1. Is i greater than m?
True
Let y = 17.3 + 74.7. Let z = y - 92.1. Is 1/11 less than or equal to z?
False
Suppose -5*p - 11 = -s - 35, -4*p = 3*s - 23. Suppose p*d + 6*d - 11 = 0. Let g be (-8)/6 + (-3368)/(-2508). Which is smaller: d or g?
g
Let t = 1978 + -3622. Which is smaller: t or -3285/2?
t
Suppose 15 = 2*i + x + 1, 8 = 4*x. Suppose -21*g - 3*w - i = -24*g, 0 = 4*g - w + 1. Let l = 108 + -108.057. Which is smaller: g or l?
g
Let t be 21*2/((-2)/(-2) - -1). Let r = t + -35. Which is greater: r or -67/5?
-67/5
Let i be (-148)/(-1080) + (-28)/280. Which is smaller: -0.1 or i?
-0.1
Let z be (-2)/(-8) - 20754/47432. Let t = z + 10/49. Let y be 1/(-4) - (3075/100 + -32). Which is smaller: y or t?
t
Let s be 21 + -27 + 35*11. Let x = s - 378. Which is bigger: 1/52 or x?
x
Let t = -7 + 11. Let p be -3 + 45/t + (-1)/4. Which is smaller: 5 or p?
5
Let m be (12/4)/((-1)/1). Suppose 2*l = -t - 19, -2820*t = -2815*t - 2*l + 11. Is t smaller than m?
True
Suppose 3*x + 23 = -5*o, 8 = -3*o - 4. Let p = -262 + 282. Let g be p/(-18) + 1 + (-320)/6840. Which is bigger: g or x?
g
Let h(q) be the s