e 4*x - n = 136, -2*x - 3*n = -4*x + m. Suppose 0 = x*z - 36*z + 2. Is z less than -1/5?
False
Let i be 1 + -5 + -38 + -2. Let q be 88/12*(-11)/i. Which is smaller: 3 or q?
q
Suppose 5*v + 12 = 5*w - 8, 2*w + 6 = -5*v. Let a = 9646516/961 - 10038. Let c = 13464/4805 + a. Which is smaller: w or c?
w
Let p be 83 + 1*(2 - -6) + -2 + 1. Is 57 greater than p?
False
Let b(g) = -3*g**3 + 10*g**2 - 4*g + 3. Let t be b(3). Let k(s) = 22*s + 43. Let x be k(t). Which is greater: x or -2?
x
Let q = 285640 - 57984652/203. Let i = -1146/875 + 3/125. Let d = q + i. Is d > -1?
True
Let a = -394 - -373. Let p be ((a + 1)/((-4)/6))/(-7). Which is smaller: -3 or p?
p
Let o = -10255 - -6638. Are o and -1 equal?
False
Let b = -111 - -114. Let y(o) = -6*o + 17. Let s be y(b). Let c be s - 1 - (-824)/414. Is c >= 1?
False
Let p = -6758 + 2655. Which is smaller: 0 or p?
p
Let d be 3*((-10)/(-6) + 0). Let x be 203/(-1750)*-5 - 1. Let w = x - -2931/550. Is d less than w?
False
Let d be (3053/1349 - 2*1)*26. Is d at least 8?
False
Let b = -225 - -229. Suppose 0 = -i + b*i + i. Let q = -456/55 - -46/5. Is i at least as big as q?
False
Let r = -0.0159 - 130.2841. Let h = r - 49.7. Are 0 and h equal?
False
Let i(d) = -d**3 + 11*d**2 - 14*d - 10. Let o be i(10). Let a be (-2 + 6/2)/((-8)/56). Let b = o + a. Which is smaller: -56 or b?
b
Let n = -3278 - -3181. Is -8 smaller than n?
False
Let v be (-4 - (-1 - 0))*(-1 - 0). Let u(r) = -r + 17*r**v + 2 + 3 - 9*r**3 - 7*r**3. Let d be u(-3). Which is greater: -18 or d?
-18
Let w(y) = -10*y**2 + 67*y + 37. Let f(j) = 22*j**2 - 135*j - 74. Let k(c) = -4*f(c) - 9*w(c). Let s be k(32). Which is smaller: s or -12?
-12
Suppose -2*u + 0*u + 3*b = 0, -13*b = 5*u - 9*b. Which is smaller: 12/5369 or u?
u
Let w(c) = -65*c**2 - 2604*c - 160. Let b be w(-40). Let y(t) = t - 3. Let q be y(5). Let r be ((-2)/(-122))/((-1)/q). Is r bigger than b?
False
Let u = -233.3 - -231.5. Which is greater: u or -86?
u
Let a(q) = 5*q**2 - 44*q + 86. Let d be a(3). Which is bigger: 516 or d?
516
Let g be ((-5649)/960)/(-7) - (-66)/(-330). Is g at most as big as 1?
True
Let i = 109 - 103. Suppose -5*u = -3*t - 6, 0*t - 2*t - i = -4*u. Suppose u*o + 33 = 4*o. Which is greater: 32 or o?
o
Let o = -5/57 + -5/3192. Suppose 34 + 23 = 55*g + 2. Which is greater: o or g?
g
Suppose 0 = -5*m + 3*m + 8. Suppose -4*u - m*x - 324 = 0, 5*u + 2*x = u - 332. Let z = u - -83. Is z > -2?
False
Suppose -136*p + 140*p - 24 = 0. Suppose 0*d - 3*r + 54 = 4*d, -2 = r. Suppose 3*b - d = -p. Which is bigger: 17/4 or b?
17/4
Suppose -1302 = 2*g - 2*o, 5*g + 44*o - 48*o = -3259. Is -653 greater than g?
True
Suppose m = -5*u + 15, 5*u - 5 - 10 = m. Suppose 50*g - 55*g + 15 = 0. Suppose 2*i = -s + 3*s - 2, 0 = -3*s + 2*i + g. Is s at most m?
False
Let l be (-4)/2*2/72. Suppose -967 = -16*x - 87. Let f = x - 54. Is f at least as big as l?
True
Let f be 6 + 1/(6/(-42)). Let d be (7 + -12)*(-1)/61. Which is smaller: f or d?
f
Let b(q) = -36*q + 167. Let y be b(5). Suppose 6*k - 11*k + 20 = 0. Let o be (-1)/(-2) + (-54)/k. Is o < y?
False
Suppose 88*s + 140*s - 2830412 = -88*s. Is s bigger than 8957?
False
Suppose -2*v - 4*p + 46 = 0, v + 9*p - 38 = 12*p. Is -9 >= v?
False
Let v = -213 + 108. Suppose 437*c = -1893 - 43555. Which is bigger: c or v?
c
Let q = 8 + -3. Let p = -97.58 + 100.58. Which is smaller: p or q?
p
Suppose -3*v = 12, 3*s + v = 88 - 488. Is s less than -124?
True
Suppose -19 = 10*m - 39. Let j be m/(-8) + (-1771)/(-1260). Let g = 14/9 - j. Which is bigger: g or -120?
g
Let b = -85.816 - 0.184. Let k = b + 86.063. Let g = 0.043 - k. Is g > -1/7?
True
Let j = 49838/963765 - -1/7139. Are j and 1 nonequal?
True
Let b = -1099 - -2942. Suppose 6*z + b = 799. Which is smaller: z or -176?
-176
Let l = 125 - 73. Let f be (-3 - -1) + l + -1. Suppose 0 = 11*i - f + 5. Which is bigger: i or 1?
i
Let t be (14/8 - 2)/((-669)/(-66)). Do t and 0 have different values?
True
Let l(x) = -x**2 - 8*x + 15. Let c be l(-9). Let u(n) = 19 + 26 + 1 + 7 + c*n. Let m be u(-9). Are m and -4/5 equal?
False
Let t be (-142 + 1)*(28/702)/7. Which is smaller: t or -1?
-1
Let j = 136164379 - 5854486239/43. Let o = j + -13537. Let x = 2452/3139 + o. Are x and 0 unequal?
True
Let k be (4/5)/(-22 + (-120798)/(-5490)). Which is bigger: 242 or k?
k
Let y(z) = z**3 + 9*z**2 - 12*z + 9. Let v be y(-11). Let m = v - -103. Let u be ((-206)/135 - -2) + m/(-5). Is 0 >= u?
False
Let q = 235/13 - 1925838/106535. Let y = q - -1966807/57365. Is y > 33?
True
Let o(h) = 5*h**3 - 9*h**3 - 2*h**2 + 3*h**3 + 2*h**3 - 8*h. Let l be o(4). Are 2/165 and l non-equal?
True
Let m(v) = v**2 - 10*v - 1. Let x be (4 - 2)/((-4)/(-26 - -2)). Let f be m(x). Are 0.2 and f non-equal?
True
Let l(j) = 3*j**3 + 189*j**2 + 4*j + 419. Let w be l(-63). Let x(a) = 20*a**3 + 2*a**2 - 1. Let c be x(2). Is w less than c?
False
Let j be (4 - 1)*(-15)/(-9) - 4. Suppose -5*u - 11 = 2*q, -j + 2 = -u. Is q not equal to -2?
True
Let t = -0.021 - 0.049. Let h = 93.6 - 91.6. Is h equal to t?
False
Suppose -5*j = -3*j - 6, -j - 721 = -w. Let z be 6 - (w/152 - -1). Is 1 > z?
True
Let a = -4 - -4.55. Let u = 2.55 - a. Are -24 and u equal?
False
Let s be 31095/105*(-116)/(-30). Let v = s + -1145. Suppose 0 = 2*h + 8, 5*m = m - h. Which is smaller: m or v?
v
Let i(v) be the first derivative of v**4/4 + 28*v**3/3 - 15*v**2 - 39*v - 217. Let j be i(-29). Is 1 greater than or equal to j?
True
Suppose 5*f = -2*b - b + 1274, 0 = -f + 5*b + 238. Suppose -66 + 20 = q. Let x be q/f - 4/(-22). Is -7/16 smaller than x?
True
Let q(n) = n**3 - 10*n + 1. Let u be q(-3). Let t be -3 + -1*(-412)/u. Which is bigger: t or 99?
t
Let b be (-4)/((-9048)/11)*-1*3. Is 0 greater than or equal to b?
True
Suppose -553*p + 540*p - 78 = 0. Which is smaller: 49 or p?
p
Suppose 2*h = 0, -5*h - 201 + 565 = -4*u. Suppose 0 = d + 8*r + 31 + 85, 3*d + 279 = -r. Which is smaller: u or d?
d
Let m be (2 - -2) + 4/(-1). Suppose a = m, -j - a = -6*a - 2. Is 13/5 bigger than j?
True
Let p = -7 - -21. Suppose 4*j + 51 = -3*o + 1, -o - 4*j - p = 0. Let v = 2359 - 2358.9. Which is bigger: v or o?
v
Let z = 714371/83 - 8607. Which is smaller: 0 or z?
z
Let h = 94 + -93. Let t be (10 + h - 6) + 0. Let q be (-9)/6 + 2/4. Is t equal to q?
False
Suppose 13 + 13 = -13*n. Let h be (n - -1)*88/(-44). Do h and 8/7 have the same value?
False
Let w = 477 + -475.22. Let k = w + -1.77. Which is greater: 0.042 or k?
0.042
Let l = 144.33 + 2.67. Let j = -151 + l. Is j < 1.2?
True
Let o = -1931/2 - -961. Let r be ((-72)/21 - -3)/(3/(-2)). Is o at least r?
False
Suppose -7*m - 3*m = -25*m. Let g = -1/4 + m. Let u = 0.1 + -0.3. Which is bigger: g or u?
u
Let i = 22.64 - 23.14. Which is smaller: -198 or i?
-198
Let z be -6 - 2 - 7/(1540/(-1424)). Is z < -1?
True
Let c(u) = 27*u + 353. Let a be c(-13). Suppose 5*v - a*f - 4 + 12 = 0, -4*v + 4*f - 16 = 0. Let x = 12723/34637 - -2/1823. Is x greater than or equal to v?
True
Let v be 225/950*(((-128876)/(-2928))/11 + -4). Is 1 at most as big as v?
False
Let q(h) = 31*h - 1997. Let g be q(68). Is 82 less than g?
True
Let y(t) = -11*t - 3. Let r be y(-2). Suppose -3*f - 1226 = -6*h + 7*h, 0 = -3*f + h - 1228. Let v = -390 - f. Is r at most as big as v?
True
Suppose -376 = -3*v - v. Let b = 581260 + -581167. Is v bigger than b?
True
Let m be (172/(-1634) - 258586/38)*(-6)/(-3). Is m >= -13610?
True
Suppose 3*r = -18 + 54. Suppose r = -q + 9. Let d be (38/q)/((-4)/18). Which is smaller: d or 56?
56
Let a be (-2*1)/(-26)*(10 - 2). Suppose 0 = 5*u - 10 - 0. Is a at least as big as u?
False
Let q be (11*68/(-11594))/(1 - 4). Which is greater: 27 or q?
27
Let w(q) = 38*q - 386. Let p be w(8). Is -5 smaller than p?
False
Let u = -310.2 + 276. Let y = 7.8 - u. Let n = -39 + y. Which is smaller: n or -0.3?
-0.3
Suppose 3*h + 18 + 6 = 0. Let k be (1/(-3))/((-3)/117). Suppose k*j + 14 = -64. Which is smaller: j or h?
h
Let l = -18291594/497 - -36804. Is l < 0?
True
Let c be -2*238/28 - -1921. Do c and 1904 have the same value?
True
Let j(c) be the third derivative of c**5/60 + 11*c**4/8 - 47*c**3/3 + 121*c**2. Let d be j(-27). Do d and -1 have the same value?
False
Let m = -294 - -293. Let d(q) = -q**3 - 5*q**2 - 4*q - 1. Let u be d(m). Which is smaller: u or -72/31?
-72/31
Let l(t) 