Let l(i) = 10*i. Let g be l(m). Suppose -4*z + 44 = 4*t, -4*t + 2*z = -31 - 13. Which is bigger: g or t?
t
Let a = 17407/66264 + -23/88. Is -1 at most a?
True
Let v = -121 + 117. Let a be -2 + (-9)/v - 3. Which is smaller: -3 or a?
-3
Let q be ((-3)/2)/((-2)/12). Suppose 5*z = 2*z + q. Let f = -49 + 53. Which is smaller: f or z?
z
Let u = -13 + 13. Let z = 0.3 - u. Let h = -6/11 + 35/44. Is h equal to z?
False
Let f be ((-14)/30)/(6/(-15)). Let j be -7 + (-4)/(16/(-28)). Which is greater: f or j?
f
Let z be ((-4)/(-14))/((-104)/(-56)). Which is smaller: z or -34?
-34
Let v(n) be the first derivative of -n**4/4 + n**3/3 - n - 6. Let p be v(0). Is 4/15 smaller than p?
False
Let p = 213/10 - 27131/1270. Is p at most as big as -1?
False
Let n = -230 - -227. Which is smaller: -73 or n?
-73
Let w(l) be the second derivative of l**4/12 - 4*l**3/3 + 4*l**2 + 11*l + 1. Let m be w(7). Which is greater: -2/261 or m?
m
Let f = -86 + 23. Let z be (-77)/f - 4/18. Which is greater: 5/4 or z?
5/4
Let y = -716 - -740. Let m = -7 + 5. Which is greater: y or m?
y
Let b(w) = w**3 - 7*w**2 - 245*w - 10. Let s be b(-12). Is 192 at most s?
True
Suppose -7*c = 3*c - 160. Let f = c - 8. Is 8 at most as big as f?
True
Let c = 54 - 43. Suppose 60 = c*g - 13*g. Which is greater: -31 or g?
g
Let a = -2 - 16. Let g be (-2)/(-10)*(-20)/a. Which is smaller: g or 7?
g
Suppose 3*j = -4*p + 536, -6*j + 3*p = -2*j - 748. Are j and 185 equal?
False
Let o = -1347 + 1343. Is o at most as big as 15?
True
Let a = -6.07 - -5.14. Is a at least as big as -2?
True
Suppose d - 2*w = 0, 35*d + 2*w = 34*d + 4. Let b be -3*(-10)/6 - 2. Suppose -b*l - 5*h + h + 18 = 0, -5*l - h = -13. Is l != d?
False
Suppose -9 + 4 = -n. Suppose -2*g = -b - 2, -b - b + n*g = 4. Let d be 7 - ((-6)/3 - b). Which is bigger: 0 or d?
d
Suppose 0 = -2*q - 10*q - 168. Suppose 3*c + 4*a + 29 = 2*c, 0 = -3*a - 12. Is q bigger than c?
False
Let z = -60 - -3. Let t(y) = -3*y**2 - 3*y + 2. Let i be t(4). Which is greater: i or z?
z
Let o = 90619/535 + -847/5. Which is greater: 0 or o?
0
Let m = -133 + 284. Which is greater: m or 153?
153
Let z = -27 - -1. Let c = z - -26. Which is smaller: c or 2/59?
c
Suppose 5*w - 4*d + d - 188 = 0, 2*d = -3*w + 109. Suppose -15 = -w*y + 40*y. Which is greater: y or -4?
-4
Let j be ((-7)/3)/(9/(-162)). Let i be (-38)/(-182) + (-12)/j. Is i <= 1?
True
Let l = 130.9 + -131. Which is smaller: 0.283 or l?
l
Suppose -5*u = -4*p + 1185, 0 = 4*u + 13*p - 10*p + 979. Do -237 and u have the same value?
False
Let a = -23 + -7. Let w = a - -27.2. Let n = 1.4 + w. Is n at least 0?
False
Let o = -280 - -340. Which is greater: 0 or o?
o
Let v(l) = 5*l**3 - 3*l**2 - 6*l - 4. Let s be v(-2). Which is greater: 1/5 or s?
1/5
Let s(i) = 10*i - 27. Let c be s(3). Suppose 8 - 5 = -c*p. Which is greater: -1/75 or p?
-1/75
Suppose k = -3*s + 27, -5*k + 27 = s + 2*s. Suppose -1 - s = 5*g. Which is greater: -3 or g?
g
Let f = -0.09525 - -0.02525. Let r = 6 + -3. Which is greater: r or f?
r
Let r = 17 - 8. Let t(v) = 3*v + 3. Let o be t(r). Suppose -o = 2*m + m. Is -11 less than or equal to m?
True
Suppose -o = -0 - 19. Suppose 15*s = 16*s - o. Which is smaller: 20 or s?
s
Let z be (-4)/(-3) + (-13 - (-1810)/15). Which is bigger: z or 5?
z
Let q be ((-4)/3)/((-2)/(-33)). Let c = -23 - q. Let l be (-4)/(-6) + (-2)/(-6). Which is smaller: l or c?
c
Suppose -3*d - d + 17 = a, 0 = -a + 4*d - 23. Let k be (8/(-60))/((-2)/(-36)). Do a and k have different values?
True
Let v = 117 + -114. Which is bigger: 4/3 or v?
v
Let j = -996 - -64738/65. Suppose -45*m - 20 + 20 = 0. Is j bigger than m?
False
Let o(t) = -3*t**2 + 43*t - 19. Let v be o(14). Let d = v - 24. Is d != -28?
True
Let x(r) = -r**2 + 4*r + 1. Let b be (2 - 2) + 12 + 5. Suppose 5*w - b = -2*a, w + 3*a + 7 + 0 = 0. Let i be x(w). Which is bigger: -1 or i?
-1
Let w = 11 + -11.1. Let o = w + 2.1. Is o not equal to -0.2?
True
Suppose 15 + 57 = 2*g. Suppose -5*s - g = -6. Is s less than -5?
True
Let a = 318 + -318. Suppose 0 = 4*k - 5*k - 54. Let t be 20/k + (-6)/(-18). Is t at most as big as a?
True
Let k(i) = -i**3 - 10*i - 10. Let m be k(-1). Is m at most as big as -18/49?
False
Let a be ((-15)/9)/((-1)/(-3)). Let z(h) = h**2 + 8*h + 7. Let t be z(-7). Suppose -91*x + 92*x + 4 = t. Which is smaller: a or x?
a
Let j = 2.6 + 0.4. Let g = 0.9 - 2.2. Let o = -0.7 + g. Do o and j have the same value?
False
Let x = 0.047 - 0.437. Let w = 0.49 + x. Is w greater than 6/13?
False
Let q be ((-289)/136)/(1/28*-1). Let o = 62 - q. Is o less than -1/6?
False
Let n = 1.9311 - -0.0689. Which is smaller: -47 or n?
-47
Let t be (70/(-60) - (-1)/1)*4. Let n = 1 + -1. Is n less than or equal to t?
False
Let y be 2/(-18)*(-34 - -25). Is -1/184 equal to y?
False
Suppose 0 = 4*o + i - 1663, -2*i - 283 = -2*o + 541. Suppose 5*l - 5*h = o, 5*l - 3*h - 413 = -0*h. Is l >= 83?
False
Let h(q) = q**2 + 8*q + 15. Let d be h(-8). Let f = d + -15. Is f > 17?
False
Suppose -d - 3*q + 2*q - 11 = 0, -4*d + 2*q - 68 = 0. Let u = 6 + d. Suppose -o = j + 4*j + 30, -5*o - 66 = 4*j. Are o and u non-equal?
True
Let i be 6/(-16) - 6461/(-56). Is i at most as big as 115?
True
Let g be (-6)/4 + 12/6. Let v = -6 - -5.6. Is g bigger than v?
True
Suppose 760 = -8*n + 4*n - 5*l, 0 = 2*l. Let d be 2144/n*(-135)/2. Let w = 762 - d. Which is smaller: 1 or w?
w
Let m(u) = u**2 - 14*u - 282. Let s be m(-11). Which is bigger: 33 or s?
33
Let w(n) = -4*n. Let s be w(1). Are 1 and s unequal?
True
Suppose -3*w + 3*f = -27, -w - 2*f = 4 - 1. Suppose 9*z - 8*z + 6 = -4*v, -3*z - 4 = w*v. Is v < 2?
True
Let t = -57.01 - -57. Let s = t + -0.05. Are s and -3 unequal?
True
Let y(x) = x**3 - 12*x**2 + 7*x + 43. Let c be y(11). Is c less than or equal to 7/87?
True
Suppose -10*b + 7*b + 9 = 3*z, -5*z = 3*b - 7. Which is smaller: b or 1/2?
1/2
Let a be (-51)/(-57) - (-3)/((-399)/(-14)). Which is greater: a or 34/23?
34/23
Let z = -14.6 - -15. Let x = 7/12 + -1/4. Are z and x non-equal?
True
Let x be (-112)/40 + (-4)/(-5). Let z be (3/2)/(3/(-8)). Which is bigger: x or z?
x
Suppose 12 = -3*j, -v - 3*j = -0*v + 11. Let y = 7 - 2. Suppose y*i + v = 4*i. Which is bigger: i or -2/7?
-2/7
Suppose 3*u = -2*k - 1, 5*u - 2 = -4*k - 5. Let i = 2 + -5. Let t = k - i. Is 5 at most t?
False
Let i be (-132)/(-21) + -5 - 1. Are i and 3/62 non-equal?
True
Let r(m) = 168*m**2 + 3*m + 2. Let o be r(-1). Let n = o - 1840/11. Which is smaller: 1 or n?
n
Let q = 0.9 + -1. Let n = 42 - 39.63. Let i = -0.37 + n. Is q equal to i?
False
Let n = 468 + -554. Which is smaller: -95 or n?
-95
Let p = -2/22899 + 113121074/160293. Let a = 707 - p. Let x = -88/63 + a. Is 0 smaller than x?
False
Let w = -0.23 + 0.04. Let q = w - -0.16. Which is smaller: q or -0.4?
-0.4
Let x(k) = 5*k**2. Let i be x(-1). Suppose -i*a + 3*s + 34 = 0, -5*s = -0*s + 15. Suppose -9 = 3*h - 0*h, 20 = 5*n - a*h. Which is bigger: 1/2 or n?
n
Let c be (4/2830)/(10/(-125)*10). Which is greater: -1 or c?
c
Let t be 3/12 - ((-2025)/84)/15. Which is greater: -1/4 or t?
t
Let m = -82.5 + 82. Is m at most as big as -3?
False
Let a be 2/7 + 172/(-14). Let t = 4579 - 4591. Is a less than or equal to t?
True
Let t(s) = -s**3 + 10*s**2 - 9*s + 5. Let l be t(9). Suppose 6*x = x + l. Is x smaller than 3?
True
Let p = -1506 - -559. Is -0.1 greater than p?
True
Let d = -0.4 - -0.3. Let s(l) = -3*l**2 + 23*l - 2. Let c(v) = 3*v**2 - 23*v + 2. Let k(t) = 6*c(t) + 5*s(t). Let g be k(8). Which is smaller: d or g?
d
Let g(q) be the third derivative of -q**4/24 + q**3/6 + 7*q**2. Let d be g(8). Let p = 15 + d. Which is greater: 6 or p?
p
Let g = 789 - 845. Is -5 != g?
True
Suppose 2 = -i - 21. Which is greater: -175/8 or i?
-175/8
Let k = 41 - 49. Let j(i) = -i**2 - 8*i + 1. Let x be j(k). Is x > 2/11?
True
Let u be 5 + 0 + 60/(-45). Let k(q) = -q**2 - 10*q - 21. Let g be k(-4). Which is greater: g or u?
u
Let i be (-5568)/(-203)*28/3. Which is smaller: 258 or i?
i
Let p(h) = -13*h + 7*h + 8*h + 1. Let m(f) = 3*f**3 - f**2 + 2*f - 1. Let z be m(1). Let a be p(z). Is 15/2 smaller than a?
False
Let z(s) = s**3 + 11*s**2 + 19*s - 6. Let l be z(-8). Suppose -k - 19 = -51. Which is smaller: k or l?
k
Let d = -88.055 + 0.055. Let v = d + 92. Which is bigger: -2/13 or v?
v
Let n = 143/54740 - 3/340. Is