Let b be m(d). Let h be b/(((-108)/16)/(-9)). Is 5 smaller than h?
False
Suppose 4*q = o + 16, -5*o + 11 = -q + 34. Let l(p) = p**3 + 4*p**2 - 4*p - 17. Let g be l(o). Is g at least -3/220?
False
Let n = -686296848688/28585349 - -3/2198873. Let w = -23996 - n. Which is greater: w or 14?
14
Suppose 70*v + 357867 = 118327. Do v and -3423 have different values?
True
Suppose 24*j - 23*j + 8 = 0. Let g = -21 + j. Let p = -61 - g. Which is greater: p or -33?
p
Let g = -6013.93 + 5986. Let v = 5.13 + 22.87. Let x = g + v. Is 3 greater than or equal to x?
True
Let c(l) = 1996*l - 167. Let w be c(1). Is 1828 smaller than w?
True
Suppose 2*i - 2*h + 6 = 0, 4*h - 2*h = 3*i + 6. Suppose i*q = -2*q - 818. Let v = 6541/16 + q. Does -1 = v?
False
Let u(a) = -106*a + 188. Let t be u(2). Let g be (-2)/t - (-5976)/864. Let w(d) = -d**2 + 4*d. Let p be w(2). Which is smaller: p or g?
p
Suppose 4*d = -y - 25 - 55, -5*d - 100 = -2*y. Let i be (-2)/(-6) - (-2400)/(-18). Let g = 115 + i. Which is greater: d or g?
g
Let v = 0.0257 - 2.9557. Let o = v - -1.93. Which is bigger: o or 175?
175
Let c be 1/2*(355 - (-10 - -7)). Let d = c - 715/4. Let k = 3 + -2.8. Which is smaller: k or d?
k
Suppose -m - 1 = -19. Let x(d) = 47*d - 122. Let s(k) = -4*k. Let f(r) = -3*s(r) - x(r). Let w be f(3). Is m less than or equal to w?
False
Suppose -2*g = -5*g + 15. Suppose g*o + 34 = -0*p + p, -4*o = p - 16. Let y be (-1078)/(-42) - (-1)/3. Is y less than p?
False
Let w = -195 + 180. Let x be (-670)/15 + -1*(-5)/w. Are -1/3 and x non-equal?
True
Suppose 5*q + 2 = 7. Let l be (q + -1)/(1 - -2). Let g be (-2)/315*(1620/(-330) + 3/(-33)). Which is smaller: g or l?
l
Let b = 181 - 181.93. Let l = -0.93 - b. Which is greater: l or 1.62?
1.62
Let r = -3102.121 + 3088. Let w = r - 0.439. Let m = -14.5 - w. Is m > -0.12?
True
Let w be 84/(-27)*3/2. Let z = 6971 + -146393/21. Which is bigger: w or z?
z
Let x be (-176268)/(-19980) + 3*-1. Which is bigger: x or 6?
6
Let c be ((-1)/3)/((-6)/(-15)). Let p = -536 + 562. Suppose 0 = 21*s - p*s - 5. Which is smaller: c or s?
s
Suppose 24 = -2*m - 3*i, 2*i = -27*m + 26*m - 16. Which is smaller: -2/11807 or m?
-2/11807
Let m be (3/(-9))/(1/(-3)). Let c = -3.36 - -1.19. Let b = -11.83 + c. Is m greater than or equal to b?
True
Let b = -5/44259 - 696016979/486849. Let p(c) = -56*c**2 + 7*c + 3. Let m be p(-5). Let y = b - m. Is 2 <= y?
True
Let u = -88 - -88.073. Let q = -339 + 338.9. Which is greater: u or q?
u
Let m = 822 - 753.9. Let h = m + -68. Is -1.7 at least as big as h?
False
Suppose 3*b = -3*b + b - 0*b + 4*j, -j = 0. Is 45/92 bigger than b?
True
Let x = 24288168/911 - 26661. Which is greater: 1 or x?
1
Let q = 15.5 + 51.5. Let h = -427 + 493.8. Let i = h - q. Which is greater: 20 or i?
20
Let v(u) = 801*u - 57673. Let r be v(72). Let f = 422 + -456.2. Is f equal to r?
False
Let x = 156.6 + 551.4. Let k = -598 + x. Which is smaller: k or -2/9?
-2/9
Let v be (-1164)/291 + 0 + 102. Is v greater than or equal to 99?
False
Let p(a) = a**2 - a - 6. Let w be p(3). Suppose w*n = -2*n - 4. Let k be (3 + 0 + -3)*n/(-4). Is k > 0?
False
Suppose 80 = -5*n + 30*j, 4*j = 39*n - 38*n + 12. Let f be 173/(-38) + (-1)/2. Do f and n have different values?
True
Let v(p) = 3*p + 18. Let t = 243 + -252. Let g be v(t). Which is smaller: g or -15/2?
g
Let j be 0/(-9) + 8 - 6. Suppose 0 = -j*f - 3*u - 60, 3*u = 7*f - 2*f + 129. Which is smaller: f or -22?
f
Let h be ((-12)/(-162) + (-23)/((-3046005)/(-102636)))*-5. Which is bigger: 4 or h?
4
Let g = -32.4789 + 2.4789. Which is bigger: g or -103?
g
Let k = -144149/17129834 + -3/29182. Is 0 at least k?
True
Suppose 0 = -41*n - 903 - 2582. Let c be 1/(-6)*(102/n + 0). Let z(i) = -i**3 + 4*i**2 + 1. Let q be z(4). Does c = q?
False
Let p = 43 - -68. Let d = -108 + p. Is 3 less than d?
False
Suppose -3376 = -4*a - 2*r, 11*a + 2*r = 8*a + 2530. Is a not equal to 2542/3?
True
Let x = 116 + -110. Let y(a) = -a**3 + 6*a**2 + 2*a + 4. Let k be y(x). Let s = k - 39. Is -23 greater than s?
False
Let x = -9 - -6. Let l be 52*((4 - 0/(-4)) + x). Let m = l - 56. Which is smaller: m or -5?
-5
Let g be 0 - (3 - 3*(-3)/9). Let w be (24/40*g)/((-26)/(-20)). Are -1 and w nonequal?
True
Let x = 4 - 56. Let v be (20/(-22))/(x/(-13)). Let h = -23/44 + v. Is h > -7?
True
Suppose -343 = i + 542. Let a = -2654/3 - i. Is a < 28?
True
Suppose -10*d - 1689 = -15*d - 2*p, -1365 = -4*d + 3*p. Is 344 less than d?
False
Suppose -2700 = -11*x + 38*x. Let q(d) = d - 4. Let a be q(8). Suppose c - 2*c - 296 = 3*y, 0 = -c + a. Is y greater than x?
False
Suppose -h - 4*h + 466 = -2*v, -6 = 2*v. Let x = h - 287/3. Is x > -2/7?
False
Suppose -5*b = -3*j + 25, -5 + 4 = -2*b - j. Suppose 3*r - 7 = 2*r. Suppose -r*x + 2*x = 5, 5*w - 4*x = -81. Which is smaller: w or b?
w
Suppose -100*g = 5*n - 103*g + 1992, -2*n + 2*g = 804. Suppose 0 = 2*b - 6, c - 6*c = -2*b + 1976. Which is smaller: c or n?
c
Let k be (-5)/((-84)/24*10895). Which is bigger: -1 or k?
k
Suppose 3*y + 51 = 3*q, 49 = -2*y - q - 0*q. Are y and -169/8 non-equal?
True
Let p = 7231 + -6330. Which is smaller: 898 or p?
898
Suppose -104*b - 119*b = 39*b - 521642. Which is greater: b or 1990?
b
Suppose 148 = -3*n - n + 4*v, -3*v + 179 = -5*n. Let a be (-4)/n + (-2442)/(-629). Is 31/6 smaller than a?
False
Let a be 2592/30*(-30)/(-9). Let o be (-492)/(-902) + (-3162)/(-11). Is a bigger than o?
False
Let l = 6923 - 6931. Which is smaller: l or -201?
-201
Let p = -6 + 6. Let c be (-1*(-2)/(-780))/(16/3114). Let u = c + 3/80. Is u < p?
True
Let j be -3 + (-6)/(22644/(-11582)). Let i = j + -4/37. Which is smaller: -1 or i?
-1
Let f = -4.9 + 5.6. Which is bigger: 90 or f?
90
Let f(c) = c**3 - 11*c**2 - 6*c - 66. Let b be f(12). Suppose -x - 8*x = -b*x. Is 5/19 > x?
True
Let g = -299 - -198. Let j = 29 + g. Let v = j + 81. Which is smaller: 0 or v?
0
Let z(p) = -3*p**3 + 15*p**2 - 6*p + 5. Let n be z(5). Let f be (4/(-10))/((-1)/(-40)). Let x = n - f. Is x at most -6?
True
Suppose -4*l = 16, 4*u + 34 = -3*l - 206. Which is smaller: u or 67?
u
Let y(g) = g**3 + 4*g**2 - 7*g - 6. Let s be y(-5). Suppose 0*n = s*n. Suppose 4*d = -3*q - 22, 5*d + 3*q + 55 - 29 = 0. Which is smaller: n or d?
d
Suppose 128 = f + 404. Let z(l) = -3*l**2 + 18*l - 227. Let d be z(8). Is f not equal to d?
True
Suppose 737 = 5*g - h, -4*g = -0*h - 2*h - 586. Let s be -2 - ((-9)/8)/(17/34). Which is smaller: g or s?
s
Let f = 38 - 116/3. Let g(r) = r**2 - 379*r + 27923. Let t be g(276). Which is smaller: f or t?
t
Let x be 1*0*(-4)/20. Suppose x = 2*i + 4, -3*o + 4*i = -i + 83. Is o at least -28?
False
Let k = -1544.5 + 1543. Which is greater: 2/39 or k?
2/39
Let d = 3177 + -3147. Which is greater: d or -1.66?
d
Let k be 1 + -2 - 1*-2. Let m be 18 + (-11178)/529 + 3. Is m at most k?
True
Let j(z) = 10*z**2 - 288*z + 199. Let a be j(27). Are a and -288 unequal?
True
Suppose 3*h - r - 326 = 0, 10 = 3*r - 5*r. Let l = 108 - h. Let x be 15*((-56)/(-324))/7. Is l >= x?
True
Let l(o) = 4*o**3 + 38*o**2 + 44*o + 202. Let y be l(-12). Which is greater: -1767 or y?
y
Let o(w) = -92*w + 2218. Let s be o(-45). Is 19073/3 less than s?
True
Suppose 0 = 18*f - 19*f - 319. Let g = -546 - f. Do -226 and g have the same value?
False
Suppose -386*f + 26*f + 121320 = 0. Is f <= 337?
True
Let k(o) = o + 10. Let b be k(-2). Let a be 12/36 + b/(-6). Is -5.8 equal to a?
False
Suppose -281*r + 2*v + 510 = -279*r, -4*r + 980 = 4*v. Is r bigger than 243?
True
Let x = -2065.5 + 2064.2. Which is bigger: -402 or x?
x
Let c = -125 + 127. Suppose 2*f - f = z - 5, 19 = -5*f + c*z. Let s be f*((-276)/135 - -2). Is s less than or equal to -1?
False
Let l(b) = -b**3 + b + 1. Let v be l(2). Let z(j) be the first derivative of -4*j**2 - 8*j - 104. Let k be z(v). Which is bigger: k or 33?
33
Let u be (-1 - -1) + -427 - (-30 + (-2584)/(-68)). Is -3471/8 greater than or equal to u?
True
Let a be 4/(-6)*((-81)/18 + 3). Let h be a - (5 + (-25)/5)/(-1). Does h = -3/157?
False
Let l = 7310 - 14619/2. Which is greater: l or 9.9?
9.9
Suppose -7 + 7 = -14*m. Let o be (-20)/25 + 32/(-10). Let h be 2 - o/(-6 - -4). Is h > m?
False
Suppose 3*b - 336 = 5*s, 337*b - 340*b = 5*s - 366. Which is smaller: b or 98?
98
Let t = 938.91632 - -0.08368. Are 2/3 and t non-equal?
True
Let v(p) 