?
True
Let a = -166 + 296. Let u = 130.02 - a. Is u < 11?
True
Let a(u) be the third derivative of 5*u**4/24 - 85*u**3/6 - 5*u**2 - 4*u. Let f be a(17). Are f and 2/81 nonequal?
True
Let f = -40 - -52. Suppose -4*t + 2*l - 12 = 0, -3*l + f = -2*t - 2*t. Let x = 606 + -3044/5. Which is greater: t or x?
x
Let o = 164 - 151. Let x(f) = f**2 - 19*f + 53. Let c be x(o). Is c > -25?
False
Suppose -46*j = 386*j + 432. Is 7/2712 > j?
True
Let r = -7105 - -6402. Which is smaller: r or -704?
-704
Suppose 34*r = 1298 - 6874. Suppose -n - 41 = 123. Is n at least r?
True
Let c be 40 + -43 - (-51)/18. Are c and 51 non-equal?
True
Suppose 3*z + 3*t = 6, 306*t - 309*t = 4*z - 7. Which is smaller: z or -3/7211?
-3/7211
Suppose n + 3048 = -4*y, 3072 = 8*y - 12*y + 5*n. Let w be y/(-255) + -13 + 10. Which is smaller: w or -1?
-1
Let r = -12 + 25.5. Let i = -10.749 + -0.251. Let p = i + r. Is 2 > p?
False
Let d = -703 - -1407/2. Is d smaller than -0.0917?
False
Let v = -6450.01 + 6450. Which is smaller: -0.45 or v?
-0.45
Let k be 9/1*(-9)/(27/12). Let w = k + 40. Suppose -25 + 5 = -4*v. Which is bigger: v or w?
v
Suppose -5*w - 2718 = -5*g + 2267, 2961 = -3*w - 2*g. Are -985 and w non-equal?
True
Suppose 31 - 6 = 5*a. Suppose q = -q + a*h + 12, 2*h = q - 5. Let u be -4 - (q + 5 + 0). Are 3 and u nonequal?
True
Suppose 3*s = -331 + 82. Let b = s - -72. Let v = b + 11. Does v = 1/4?
False
Let y = -28 - -46. Suppose 16*i + 2880 = 48*i. Suppose 7*s - 2*s = i. Is y greater than or equal to s?
True
Let r = 6093 - 9610. Are -3518 and r unequal?
True
Let m = 15807 - 15806.5. Let j = -0.25 + 0.2. Let b = j + 0.45. Which is greater: m or b?
m
Suppose -5*y + k - 597 = -2*k, 0 = -4*y + 5*k - 488. Let r(o) = o + 6. Let v be r(3). Let g be v/y*(2 + -5). Which is smaller: 1 or g?
g
Let t be 6*(-7)/(28/(-8)). Suppose 12 = -t*h - 0. Which is smaller: -1/105 or h?
h
Let a(r) = -r**2 - 26*r - 121. Suppose 0 = -5*n - y - 38, 3*y = -n - y. Let p be a(n). Which is smaller: p or 24?
p
Let s be 3*1398/18 + 1. Let q = s - 234. Is q >= -2/139?
True
Suppose 0 = -k - 2*c + 3*c + 347, -3*k = 5*c - 1049. Let r be (k/(-48)*-2*2)/(-1). Is -30 less than r?
True
Suppose 5*w + 3*r = -20 - 14, -3*w - 2*r = 21. Let n be (3/(8 + w))/(-1)*0. Which is smaller: 12/19 or n?
n
Let z be (-3*(-2)/3)/1. Suppose 5*q - 27 = -z. Is 4 at least q?
False
Let q = 0.60455 + 43.20825. Let k = 0.0172 + q. Let o = 44 - k. Which is smaller: 1 or o?
o
Let x(b) = -4*b**2 - 264*b - 1. Let a be x(-66). Which is smaller: -7/18 or a?
a
Suppose -k + 2*t = -2312, -792 = -3*k - 5*t + 6067. Which is bigger: k or 2297?
k
Let h = 13.89 + -343.89. Which is bigger: h or 4/3?
4/3
Let s be (-5 + (6536/544 - 7))*-3. Which is smaller: 1 or s?
s
Let b be ((-11)/12)/((-12)/9). Suppose 314*a - 1045*a = 0. Which is smaller: a or b?
a
Let d be ((-3)/(-2))/((-9)/84). Suppose -29*i + 494079 = 494514. Which is smaller: d or i?
i
Let p(u) = -2*u**2 + 4*u + 26. Suppose -14*v - 36 = -5*v. Let o be p(v). Is o less than -20?
True
Suppose -2*n - i - 21 = -0*n, -2*i = n + 9. Let y = n + 14. Which is bigger: y or 0?
y
Let y be -239 + (0 - 0)/1. Let n = 14097 - 14336. Is n at most y?
True
Let d be (-17)/(-755)*(19/((-304)/(-24)) - 4). Which is smaller: 1 or d?
d
Let t = -1247 + 1249.607. Let x = t - -0.393. Which is greater: x or 75?
75
Let d = -21061 + 22675. Which is bigger: 1609 or d?
d
Let o(b) = -32*b - 5 + 4*b**2 + 35*b - 192*b**3 - 3*b**2. Let g be o(1). Do -192 and g have different values?
True
Let o = -1270 + 1272. Let v(j) = -4*j + 1. Let l be v(-4). Let u be o - (1 - (-23)/l). Which is greater: u or -2/5?
u
Let u be (-30024)/(-28 - -10) - 18. Which is bigger: 1651 or u?
1651
Let q(v) = 18*v - 75. Let j be q(6). Let h = j - 32. Does h = -137?
False
Suppose z + 3*x + 1 - 43 = 0, -2*z + 2*x + 68 = 0. Which is bigger: -173 or z?
z
Let s(a) = -a**3 - 6*a**2 - 5*a + 10. Let q be s(-6). Suppose 0 = 5*y - 2*n + 193, 2*y + 136 = -2*y - 3*n. Let x = q + y. Which is greater: 0 or x?
x
Let p = -3.49 + 7.42. Let n = 0.07 + p. Let x = 7466 + -7466. Is x greater than n?
False
Let t = 4013 + -927001/231. Which is greater: t or -2/3?
t
Let y be ((-12)/2 - (-300)/72*3)*2. Which is smaller: y or -2?
-2
Let a = 523 - 1927. Is -1403 at most as big as a?
False
Let g(i) = 6*i**3 - 6*i**2 + 7*i - 2. Let l(f) = -7*f**3 + 7*f**2 - 9*f + 3. Let u(x) = -6*g(x) - 5*l(x). Let p be u(1). Which is smaller: p or -3/115?
-3/115
Let s(u) = -7*u**3 + 19*u**2 + 15*u + 5. Let o(d) = 11*d**3 - 29*d**2 - 23*d - 8. Let m(t) = -5*o(t) - 8*s(t). Let g be m(8). Which is smaller: 164/7 or g?
164/7
Suppose -2*i - 194 = -4*i. Let u = 99 - i. Which is smaller: -69 or u?
-69
Let t(l) = 29*l - 69. Suppose -a + 7 = 3*o, 5*a + 4*o - 4 + 13 = 0. Let z be t(a). Are z and -214 unequal?
False
Let h be (0 - (-1)/(-37))*55/1254*-6. Is h < -1?
False
Suppose 0 = -m - 3*m. Suppose -81 = -7*s + 17. Suppose r - s*r = m. Which is smaller: 3/22 or r?
r
Let j(x) = 128*x - 10690. Let f be j(83). Which is smaller: -189 or f?
-189
Let f(l) = 28*l - 39. Let c(o) = -27*o + 40. Let v(r) = 6*c(r) + 7*f(r). Let x be v(-4). Which is smaller: -170 or x?
-170
Let n = -1.63 - 31.27. Let h = n - -45.9. Is h less than or equal to 2/5?
False
Let o be 1/((-3)/4)*39947/(-172). Which is bigger: 309 or o?
o
Let y(m) = -2*m - 2. Let a be y(-3). Let k be ((-2)/4)/(a/(-400)). Let z = k - 299/6. Which is bigger: z or 2?
2
Let a(r) = 14*r + 31. Let s be a(7). Suppose -3*p + s = -2*z, 2*p - 6*z = -2*z + 94. Let x be -2*(-2)/2 + 1 - -38. Is p at most x?
True
Let s = -266 + 489. Let l = 224 - s. Does l = 9/31?
False
Let c be (2198 + (12 - 1))/(1 + 0). Which is smaller: 2208 or c?
2208
Let g = -0.036 - 0.005. Let o = g - -0.07. Let w = -12.971 - o. Which is smaller: w or 0.1?
w
Suppose 10*s = -80 - 80. Suppose 0 = -c + 5*z + 1, 3*c + z = 6*z - 37. Is s at most as big as c?
False
Let g(q) = -2*q - 7*q - q**3 + 1 - 5 - 12*q**2 + 4*q. Let r be g(-10). Let w be (-5)/r + (-40)/22 + 2. Which is bigger: -1 or w?
w
Let b = -476 + 521. Let z = b - 43.78. Is -2 greater than z?
False
Let r = -19 - -9. Let w be (16/r)/(3/15). Let k = 1631 + -6559/4. Is w < k?
False
Suppose -5*w - 5107 = 4*p, -w + 32*p - 1013 = 30*p. Are w and 2 non-equal?
True
Let n be 1683/209*6*(-8)/(-48). Is n <= -1?
False
Let d = 1702 + 1640. Which is smaller: 3341 or d?
3341
Let i = -627619 + 49582601/79. Which is smaller: i or 10?
i
Let b be (10/(-4))/(9/(-18)). Let f = -4958 + 44662/9. Which is smaller: b or f?
f
Suppose -k + 4*h = -21, -5*k - 2*h + 2 = -3*k. Suppose a = -3*v - 8, -3*a - k*v - 16 = -4*a. Which is greater: a or 2/127?
a
Let x = -9 - -18. Let p(l) = 2*l**2. Let i be p(-2). Suppose -2*s - 48 = -i*s. Is x < s?
False
Let s be ((-223275)/(-59420))/15 + (-2)/8. Is s >= -1?
True
Let o be (-3504)/1176 - (4 - 7/1). Let q(z) = z**3 - 4*z**2 - z + 3. Let s be q(4). Let v be (s/(-2))/((-7)/14). Is v smaller than o?
True
Let k(s) = s**3 + 41*s**2 + 188*s + 247. Let i be k(-36). Let u be (-162)/4 + 1/4. Which is greater: i or u?
u
Let r = -16703 + 12040. Is r >= 2/7?
False
Suppose 9*p + 2 = 7*p. Let t be 34/8 + p/4 - -52. Suppose 3*j = -3*z - 195, t = -j - 3*z - z. Is j equal to -69?
False
Let r(c) = -c**3 - 14*c**2 - 4*c + 27. Let q(u) = 2*u**3 + 26*u**2 + 8*u - 55. Let x(o) = -3*q(o) - 5*r(o). Let y be x(-7). Is -3 less than or equal to y?
True
Let z = 77 - 74. Suppose 197 = z*f + 89. Which is smaller: 35 or f?
35
Let v = 56 - 55. Let o be (3/v)/(102/(-136)). Which is smaller: o or -3/14?
o
Suppose -2*p + 28 + 2 = 0. Suppose 22*l = p*l + 616. Which is bigger: 87 or l?
l
Let j be 46/((-91)/(-126) + 2/(-9)). Suppose -88 = -w - j. Which is smaller: -42/11 or w?
w
Let u = 1751.076 + -1751.1. Is 57 bigger than u?
True
Let p be 3*(3/(-2) + (-390)/(-4)). Suppose -24*w - 108 = -22*w - 4*s, 4*s - p = 5*w. Is w less than -60?
False
Let j = -667221/2 + 340396. Is j > 6786?
False
Let m = 6359838129/668 - 38073811/4. Let u = 2263 - m. Which is smaller: u or 0?
u
Suppose 4*n + 15569 = 18701. Are 781 and n nonequal?
True
Let v be (45/(-25) - 1)*5. Suppose -3*x - 2*h = -5*h - 18, 3*x + 2*h = -7. Let u(l) = -14*l - 1. Let g be u(x). Which is smaller: g or v?
g
Let h = 876/4031 + -25/116. Let w = 159357 + -443010519/2780. Let c = h + w. Which is smaller: c or 1?
c
Let t = 35 + -24. 