Let d(l) = 1 + 2*l - 137*l**2 - l**3 + 6 + 139*l**2. Let t be d(3). Let z(u) = u**2 - u - 12. Let q be z(t). Is q greater than 5?
False
Let x = 1/2 - 15/14. Let l be ((-4)/(-8) + 1)*2*1. Suppose 6*m - m - l*m = 0. Which is bigger: x or m?
m
Let c(a) = -6*a + 5. Let r be c(4). Let y(x) = x**3 - 12*x**2 - 5*x + 40. Suppose 215 - 59 = 13*u. Let d be y(u). Which is smaller: d or r?
d
Let c = -2714 - -2527. Is -187 < c?
False
Let u be (-10 + (-832)/(-39))*18/(-112). Which is bigger: u or -1?
-1
Let b = -247.84 - -236.84. Which is greater: b or 503?
503
Let v = -2.5875 - -0.5875. Which is greater: v or -10555?
v
Let z = -0.02 + 0.59. Let q = z + 32.43. Which is smaller: 0 or q?
0
Let b = 4874 + -4875. Let d be (-13)/(-45) + -1 + 0. Is b greater than d?
False
Let s(d) = -346*d**2 - 40*d + 37. Let c be s(1). Does c = -345?
False
Suppose 0 = o - 0*o. Let l(a) = -2*a**3 + 47*a**2 + 19*a - 13. Let h be l(24). Let n be 3 + ((-2205)/h)/(-7). Does o = n?
False
Let v = 3.158 - -2.842. Let k = -5.2 + 5. Is k not equal to v?
True
Let j = -2079.5 + 2069. Let a = 2.97 + 0.03. Which is greater: j or a?
a
Let v = 38 - 44. Let g be 1556/(-26) + v/39. Let h be (-20)/g + (-2)/8. Is h > 0?
True
Let d = -118.6614 + 1.6614. Are 1/20 and d nonequal?
True
Suppose -811*v = -4598 + 28928. Suppose -3*o + 9 + 0 = 0. Suppose o*d - 4*q + 88 = 18, -2*q + 140 = -5*d. Is d greater than or equal to v?
True
Let z = -42 + 36. Let s(v) = -4*v**2 - 7*v + 10. Let r be s(-3). Which is smaller: r or z?
z
Suppose 0 = 4*d + 3*p + 79 + 1067, 3*d + 856 = -4*p. Let i be (-1*(-18)/(-15))/((-1)/(-240)). Is i at most as big as d?
True
Let t(v) = 3*v + 322. Let c be t(-47). Which is smaller: 185 or c?
c
Let f = -88 - -104. Suppose -f = -61*z + 53*z. Is z greater than or equal to 15/8?
True
Let j = 828 - 815. Let b(q) = -3*q**2 + 24*q + 2. Let v be b(j). Which is bigger: v or -0.1?
-0.1
Suppose -3*s = -5*s. Let m = -2/599 + 2228/308485. Which is smaller: s or m?
s
Let n = 56 - 18. Let o be (22/3 - 1)/((-7)/(-42)). Is n less than or equal to o?
True
Let y(z) = -43*z + 27. Let n be y(10). Let l be (n - -1)*4 - -1. Let s = 36973/23 + l. Is s at most 2?
True
Let w be (1/(-4)*-6)/((-627)/147521). Let l = w + 353. Is 0 less than or equal to l?
True
Let o = -0.8 - -1. Let d = 286323 - 286098. Which is smaller: d or o?
o
Suppose -5*n + 5 = -3*l + 13, -4*l = -n - 5. Let u(t) = -32*t**2 + 2*t - 2. Let s be u(l). Is s > -19?
False
Let d be 21/6 - (11 + (12 - 16))/4. Is 342 greater than d?
True
Let b = -818 - -824. Suppose -5*h = 2*a - b, -9 - 3 = -4*a + h. Let s = -1/40 - -727/280. Which is smaller: s or a?
s
Let u = -616 + 17862/29. Let d(h) = -h**3 - 26*h**2 - 49*h - 35. Let c be d(-24). Let a = 10 + c. Is a less than u?
True
Let v = -149 - -50. Let d = v + 57.6. Let j = 7.6 - d. Which is smaller: j or 1/3?
1/3
Let u(c) = -c**3 - 4*c**2 + 6*c + 3. Let q be u(3). Let z be 35/(-15)*1/(q/4). Which is bigger: z or 6.4?
6.4
Let w = 197.2 + -206. Let v = 8.3 + w. Let p be 9/(-7)*4/12. Which is smaller: v or p?
v
Let f be (158/81)/((-80)/120) - 2/27. Which is greater: -413 or f?
f
Let c = -64 + 97. Let h = 37 - c. Let o = -24 - h. Are 0.1 and o unequal?
True
Let g be (-5100)/1360*32/6. Is -339/16 at most as big as g?
True
Let c = 569 - 575. Let x be 18/27*(-18)/c. Which is bigger: 26/35 or x?
x
Let g = 14165/3 - 4720. Which is smaller: g or 105?
g
Let d(s) = -s**2 - 21*s + 22. Let o be d(-8). Suppose 8*i + 13*i = o. Which is bigger: i or -8?
i
Let c be 750/275*3*(-5)/15. Which is smaller: c or -3/68?
c
Let v be (-14)/(-56) - (-830671)/(-9780). Let g = 3371/163 - v. Let d = 316/3 - g. Which is smaller: d or 1?
d
Let h = 67.18 + 0.02. Let x = 67 - h. Is 0.35 smaller than x?
False
Let s = -0.0255 - -0.1255. Let c = -0.162 - -93.162. Let y = 42 - c. Which is smaller: s or y?
y
Let q = 51.95 + -833.75. Let g = q + 693. Let u = g - -89. Which is bigger: -4/5 or u?
u
Let l be (-34 + 32)*1/(-2)*0. Suppose -6*z - z - 14 = l. Let b(y) = y**2 + 2*y + 1. Let j be b(-4). Which is greater: z or j?
j
Let i = -3379/6 + 567. Let x be 11/(22/(-6)) + 6. Is x at least i?
False
Let z be -3*40/24*12/270. Is z smaller than -99?
False
Let x = -61824 - -1979463/32. Are 34 and x equal?
False
Let w(m) = -8*m - 6. Let c be w(-9). Suppose 0 = -2*o - 0*o + z - c, -2*z = -3*o - 100. Let l = -31 - o. Is l > -4/13?
True
Suppose -228 = -8*l - 84. Suppose -383 = -l*j + 17*j. Which is greater: 384 or j?
384
Let m = -782 + 807. Let u = 0.5 - 1. Let a = -0.5 + u. Is m greater than or equal to a?
True
Suppose 0 = -37*w - 16*w - 12855 - 18362. Is w less than or equal to -596?
False
Let q be (-31 - -14) + 26114/1507. Which is bigger: -1 or q?
q
Let p = -104.21 - -104. Let i = p - -0.11. Is -1/31 at most as big as i?
False
Let d be (-2)/4 - (264/(-16))/(-11). Let y(p) = -12*p - 3. Let z be y(d). Let g be 66/z - 4*3/(-42). Which is smaller: g or 3?
3
Let x = 4793.79 + -4793. Which is smaller: -18 or x?
-18
Let p(q) = 2*q - 5. Let j be p(3). Let b be -3 - (22/(-6) + j). Let n be 0 + 1 - 2 - -17. Is b != n?
True
Let g = -25.048 - -18.548. Does 133 = g?
False
Suppose -7*n = -9*n + b + 5436, 0 = 5*n + 4*b - 13616. Let i be (-4672)/n + 2/(-5). Is -3 at least as big as i?
False
Let b(o) = 5*o**2 - 115*o + 3. Let s be b(23). Let n be 1449*1/(-9)*s. Are -484 and n nonequal?
True
Suppose -4*d - 4*x + 24 = 0, -10 = -3*d - 3095*x + 3100*x. Which is smaller: 36 or d?
d
Let i = 35.9 - 57.6. Let c = 21.7 + i. Which is greater: c or 0.08?
0.08
Let k = 48 - 14. Suppose 4 = -3*w - w, q = 4*w + k. Let y be (36/q)/(3/40). Which is greater: 18 or y?
18
Let i be 3 + 2/(-5) + 24/10. Let k be (22/33)/(1 + i + -1). Let n be 0 - 4 - (-12 - -7). Which is smaller: k or n?
k
Let i be (-21)/9*(-18)/(-63). Let s = -0.44 + 0.22. Let u = -0.19 - s. Is i less than or equal to u?
True
Let k = -37753 - -37682. Let p = 62 - 132. Are k and p equal?
False
Suppose 0 = 142*d + 478 - 194. Which is greater: 0.0112 or d?
0.0112
Let x = -7927 + 7914. Which is smaller: -97.6 or x?
-97.6
Let u be ((-1)/(-1))/(7 - 8). Let s(i) = 5*i**2 - 3*i - 3. Let g be s(u). Suppose -5*m + 3*z + 4 = -5, -g*m + 2*z + 11 = 0. Do 1 and m have the same value?
False
Let n = 7922 + -7922. Which is smaller: n or 6/2251?
n
Let a = 1750 + 1382. Which is greater: 18793/6 or a?
18793/6
Let b be 3 - (-13 - -19 - 2). Let x = -39 - 2. Is b bigger than x?
True
Suppose -7*x + 4 = 4. Suppose x*u - 2 = u, 2*q + 2*u + 30 = 0. Let v = q - -13. Is v != 0?
False
Let f = 9355 + -9354. Is 17/329 >= f?
False
Let m(l) = l**2 + 17*l - 16. Let x be m(-18). Suppose 3*v + 268 = 4*y - 0*v, x*y - 120 = -2*v. Is 65 greater than y?
True
Let m be ((-64)/6)/((-462)/(-4235)). Do -97 and m have the same value?
False
Suppose -4*m - 5*a = -3*a - 120, 0 = -5*m - a + 147. Let z(p) = p**2 - 27*p - 102. Let j be z(m). Which is greater: j or -46?
j
Let i = 20.2 - 15.2. Let t = 6.94 + 0.06. Let x = t + i. Which is bigger: x or 2?
x
Let h(x) = 930*x**2 - 169*x + 478. Let w be h(3). Is 8340 <= w?
True
Suppose 0 = -7*g - 18 - 10. Suppose -5 = -4*l + 3. Suppose 3*n = 4*n + l. Is g not equal to n?
True
Let i = -221820981/2650 + 83706. Let c = -1/106 + i. Let p = -18 + 19. Which is smaller: c or p?
c
Suppose -2*f - 3*m + 36325 = 0, 2*m + 16822 + 55756 = 4*f. Which is greater: f or 18150?
18150
Suppose a = -4*a - 5*r - 45, -a - 21 = 5*r. Let t be (-2)/a*-2 + (-185)/(-3). Suppose -59 + t = -w. Which is smaller: w or 0.19?
w
Let i be 8 - -6 - 1 - 13. Is i at most 1/4327?
True
Suppose -k - 4 = 0, 4*h = 5*k + 37928 - 296. Is h greater than 9403?
False
Let q be -3 + (6/3 - -1). Suppose 0 = 5*v + f - 2 - 30, -3*v - f + 20 = q. Let y be (v*(-4)/18)/((-2)/12). Which is bigger: 5 or y?
y
Suppose 6*h - 270 + 36 = 0. Let b = h + -86. Is -46 bigger than b?
True
Let i(l) = l**2 + l + 1. Let g(u) = -6*u**3 - 11*u**2 + 9*u + 11. Let z(a) = g(a) - 6*i(a). Let w be z(-4). Is w less than or equal to 105?
True
Let k = -2155.1 - -2402. Let g = -247 + k. Is g < 6.7?
True
Let q(k) = -k**3 + 4*k**2 + 10*k - 1. Let g be q(7). Let n be g/(-182) - -25*1/7. Suppose -65 = -v - n*v. Which is smaller: v or -2?
-2
Let c be 8*(-3)/(-6) - 0. Suppose c*d + 9 = 49. Let s(f) = -f**3 + 11*f**2 - 11*f + 13. Let n be s(d). Which is smaller: 4 or n?
n
Let y = 28437/3278 + -191/22. Suppose 0*b + 4 = u -