2*v + 4*n - i*n = 0, 0 = -2*v - 5*n. Suppose 2*d = -5*b + 30, -d - 4*b + 21 = -v*b. Is -2 != d?
True
Suppose -19 - 21 = -8*d. Suppose -d*r + 1 = 5*l + 186, 0 = 5*l - 3*r + 169. Which is smaller: l or -34?
l
Suppose 43 = -12*a - 353. Is -131/4 <= a?
False
Let s be (-7)/15 + 1/(-5). Let p = 355/6 - 117/2. Is p at least s?
True
Let k be 2/(-6) - (-2 + (-48435)/99). Let p = 492 - k. Which is smaller: 1 or p?
1
Let g = 18.1 + -18.17. Is g at most -2/47?
True
Let r = -0.2 + 0.1. Let d = 36/7 + -309/56. Is d bigger than r?
False
Let d = -1619 + 312. Is d >= -2/3?
False
Let n = 17 - 1. Suppose 5*k + n = 4*g - 2*g, 3*k - 2*g + 8 = 0. Which is smaller: -2 or k?
k
Let b(q) = -q**2 + 9*q + 16. Let i be b(10). Suppose 4 = -10*o - i. Let n be (-2)/3*(-1)/2. Which is bigger: n or o?
n
Let s(m) = 2*m**3 + 73*m**2 + 30*m - 210. Let w be s(-36). Let a(r) = 4*r + 1. Let b be a(1). Which is greater: w or b?
w
Let r(k) = -4*k + 12. Let t be r(-7). Let d = t + -34. Which is greater: 4 or d?
d
Suppose 61 + 19 = -8*d. Let c be (4 + -9 - -6) + d/(-8). Is c >= 0?
True
Let n = -10151 + 10149. Let o(h) = 2*h**2 + 7*h + 5. Let b be o(-5). Suppose -5*l - 4*u + 20 = u, -3*l + b = -u. Which is bigger: n or l?
l
Suppose 2*i + 331 = -4*s + 9*s, 5*s + 2*i = 339. Is s greater than 79?
False
Suppose 19 = 3*u - 17. Suppose -6*k + u = -3*k. Let d be 4*(-6)/(6 + 6). Which is smaller: k or d?
d
Suppose -u + 5*q = 4, -u = -2*u + 4*q - 3. Let h = u + 4. Suppose 6*a - a = -h. Which is bigger: a or -2/5?
-2/5
Let f = -941 + 978. Does f = 35?
False
Suppose 4*x - 5*f = 14, -13 = -5*x - 4*f + 25. Let b(t) = t**3 - 5*t**2 - 5*t + 8. Let z be b(x). Let o be (-39)/9*(-6)/2. Are z and o unequal?
True
Let z be (-10)/(-175)*45/8. Let y = z - 4/7. Which is bigger: 0.26 or y?
0.26
Suppose 26*g - 32*g = 0. Let a be (1/(-12))/(85/(-8)). Is a at most g?
False
Suppose -8*s + 18*s - 870 = 0. Do s and 87 have the same value?
True
Let l be (2*(-6)/12)/(1/20). Is l at most -39?
False
Let s(x) = x**3 - 13*x**2 + 12*x - 6. Let g be s(12). Let h be g/(-9)*(-1)/(-73)*-3. Which is smaller: h or 0?
h
Let n(u) = u**3 - 17*u**2 + 28*u + 30. Suppose 12*q - 147 = 33. Let c be n(q). Let b = -1 - -6. Which is smaller: c or b?
c
Let o be (-1)/3 + (-7)/(-3). Suppose 4*v - 40 = -0*v. Let h = 11 - v. Which is bigger: h or o?
o
Let z be 1 - 1 - (-24)/1. Let m = 65 - z. Which is bigger: m or 40?
m
Suppose -15 = -5*k - 5*a, -k - 4*a = -8*a + 12. Which is bigger: k or 10/443?
10/443
Let k = 31 - 6. Suppose -2 = -5*v + 8. Suppose -v*j - 3*j - k = 0. Which is bigger: j or -4?
-4
Let l = -217 + 218. Which is smaller: -68/9 or l?
-68/9
Let a be (44/77 - 6/(-14))*0. Let u = 6 - 9. Which is greater: a or u?
a
Let h = 153 + -172. Is -19 less than or equal to h?
True
Let g = 2257/852 - -5/284. Let a = 3 + 1. Is g > a?
False
Let s = -29 + 28.76. Let x = -8.06 + 6.3. Let k = x + s. Are k and 4 non-equal?
True
Let a be (21 - -6)*19/12. Let l = 43 - a. Is l >= 0.1?
True
Let s = 0.07 + 0.43. Is -56/5 at least s?
False
Let w be -1*-5*(-274)/10. Which is greater: w or -136?
-136
Let q be -105*((-16)/12 + 1). Let b be 78/(4/((-4)/q)). Let w = -10/7 - b. Which is bigger: w or 2?
2
Let s = -2860793 + 34410641/12. Let k = s - 615091/84. Let x = k + 562. Which is smaller: x or 0?
x
Let v(l) = 2*l - 12. Let i(f) = 4*f**3 - f + 1. Let r be i(1). Let n be v(r). Which is smaller: n or 1?
n
Let o(q) = 3*q**3 + q**2 - 1. Let c be o(-1). Let n be (c/(-1))/(9/(-24)). Which is smaller: -6 or n?
n
Let o(t) = 2*t**2 + 30*t + 33. Let r be o(-14). Suppose -10*b - 55 = -5*b + r*m, -3*m - 61 = 5*b. Which is smaller: 2 or b?
b
Let k be 162/39 + (-2)/13. Suppose 16 = -3*r - 2*o, r + k*o = -2*r - 14. Let d be ((-4)/21)/((-4)/r). Which is smaller: 1 or d?
d
Let f = 5 + -10. Let j = -5 - f. Let g = j + 2. Is 3 smaller than g?
False
Let l(j) = -10*j - 29. Let k(m) = m + 2. Let f(q) = 6*k(q) + l(q). Let o be f(-4). Is o greater than -1/119?
False
Let u(w) = -7*w + 8*w + 0*w. Let t be u(2). Let k be (-34)/(-55) - t/(-11). Is 1 at most as big as k?
False
Suppose -243 = 5*w + 2*j, -3*w = -j - 2*j + 150. Suppose 259 = -5*h + 2*u, h - u - 9 = -62. Is w less than h?
False
Let m = 126 + -66. Which is bigger: m or 62?
62
Suppose -2881*t = -2878*t + 3. Does -1/302 = t?
False
Suppose -71*w = -65*w. Which is bigger: w or -1/1209?
w
Let w be 1166/(-33)*(-6)/4. Which is bigger: w or 54?
54
Let j = 5821/6 - 966. Let h be (-2 - 1) + 17/(-12). Let i = j + h. Which is bigger: i or -1?
i
Let z = -51 - -53. Let y(t) = t + 3. Let n be y(-3). Suppose -z*s - s = n. Is -2/21 greater than s?
False
Let w = 32 + -39. Suppose 2*m = -12 - 4. Which is bigger: m or w?
w
Let r(n) = -15*n + 8 + 5 + 0 + 0*n. Let w(l) = -4*l + 3. Let a(c) = 6*r(c) - 22*w(c). Let t be a(4). Which is greater: 5 or t?
5
Let l = 1931339/20 - 96539. Let v = 115/4 - l. Is 1 bigger than v?
True
Let q be (-5)/20 + 4722/1448 + -3. Which is smaller: q or -1?
-1
Suppose -4*u + 5*q + 697 = 0, u - 5*q - 104 = 89. Let t be (1 - -6)*u/98. Let z = 12 - t. Is -2/7 greater than z?
False
Let x = -509 - -547. Are x and 42 unequal?
True
Let u(y) = -4*y**2 - 13*y - 72. Let c be u(-4). Is -84 less than c?
False
Let i be -144*((-1)/(-5) + -1). Let y = i + -594/5. Let c = y + 4. Which is bigger: c or -1?
c
Suppose -5*g = -2*c - 25, 3*c - 7 = -g - 2. Suppose -4*d = 5*v - 21, -4*d + 16 = 3*v + g. Which is smaller: d or 4/55?
d
Let m be (-35)/(11 + -6) + 105. Is 96 greater than m?
False
Let j(b) = -b**3 + 4*b**2 + 3. Let n be j(4). Let h be (10/(-6))/(n/9). Let w = h + 2. Which is smaller: -2 or w?
w
Let i be (((-1)/9)/1)/(567/126). Let r = -9 - 1. Let f = 9 + r. Is i > f?
True
Let u(w) = -3*w**3 + 2*w**2 + 2*w - 8. Let r be u(6). Let d = 15446/27 + r. Do 0.2 and d have the same value?
False
Suppose -31*v = -30*v - 5. Let h be ((-915)/(-12))/v + 3/(-12). Which is smaller: h or 2?
2
Let p(w) = w**3 - 5*w**2 + 5*w - 2. Let z be p(3). Let b = -5 - z. Is 1 not equal to b?
True
Let a be -129*1/(-6)*3/4. Let n = 16 - a. Suppose d - 8 = 3*w, w + 7 = -8*d + 4*d. Is d greater than or equal to n?
False
Let i = 2141 + -2140.6. Let a be (-2)/7*(-2650)/(-4). Let g = a - -189. Which is smaller: i or g?
g
Let r(m) = -7*m**2 + 18*m + 74. Let v be r(-4). Is v at most as big as -110?
True
Suppose -3*n + 16 = -u, 0*n = -2*n - 5*u + 22. Let p be 5/n*14/70. Which is greater: -1/3 or p?
p
Suppose -2*u + 0 = 2*n + 2, 4*n + 6*u + 8 = 0. Is -1/1619 smaller than n?
True
Let o(w) = -w**3 + w**2 - 3*w. Let q be o(-4). Suppose -5*d + c - 4*c - 481 = 0, -d - q = 2*c. Let u = d - -1468/15. Which is bigger: -1 or u?
u
Let h = -0.2 - -0.1. Let k = -0.17 - 0.33. Let c = k - -1.2. Is h not equal to c?
True
Let q(p) = p**3 - 10*p**2 + 9*p + 10. Let t be q(9). Suppose -3*f + 8*f + t = 0, -5*g - 2*f + 1 = 0. Let v = -0.065 - 0.035. Is v less than or equal to g?
True
Let n = 395/69 + -4/69. Which is greater: 6 or n?
6
Let j = 3.943 - -0.107. Let m = 0.05 - j. Suppose -l = 3*l + 8. Which is smaller: l or m?
m
Let d(u) = -u**2 + u + 21. Let r be d(0). Let t be 1 + (-15)/r + -1. Which is greater: t or -0.1?
-0.1
Let s = -1895 - -1880. Which is bigger: s or -9?
-9
Let n = 3.42 + -1.42. Which is smaller: n or 0.9?
0.9
Let g = 243 - 377. Is -134 at least as big as g?
True
Let q = -37 + 28. Let t(w) = 4*w + w + 10 - 4*w + 0*w. Let z be t(q). Is 8/7 not equal to z?
True
Let c = 3134/3 + -1040. Which is smaller: c or -2/3?
-2/3
Let t = -0.003 + 0.043. Which is greater: -1/2 or t?
t
Let q = -67 - -67. Let g = -1.61 - -2.04. Which is greater: q or g?
g
Suppose 5*z - 3*b = 1044, -6*b + 1060 = 5*z - b. Let d be (-13)/15 + (-28)/z. Let w = -150/703 - -4/37. Is d > w?
False
Let c = 48 + -30. Let m = c + -27. Which is smaller: -28/3 or m?
-28/3
Let q(i) = -7*i**2 - 6*i - 23. Let x be q(6). Is -311 <= x?
True
Let x = -2 - -6. Suppose -h = -2*h + x. Suppose 3*o - 28 = -2*j, 0 = 5*o - 14*j + 9*j - 5. Is o at most as big as h?
False
Let z = -20 - -28. Let r = z + -2. Suppose -r*a = -2*a. Are 0 and a unequal?
False
Let j(v) = -v**3 + 6*v**2 - 2*v + 3. Let p be (18/(-24))/(2/(-16)). Let o be j(p). Let u = -9 + 2. Are u and o nonequal?
True
Let n(z) = 2*z - 4. Let u be ((-12)/(-15))/((-10)/(-25)). Let b be n(u). Which is smaller: 3/4 or b?
b
Suppose -2354 = -37*z + 48*z. Does -215 = z?
False
Let f = 