ppose -2*a = -49 + 9. Let r be 30/(-105) + 38/(-14). Let q = r - -23. Do a and q have the same value?
True
Let y = 96.063 + -96. Let v = y + 1.937. Let n(l) = 3*l - 12. Let d be n(9). Is v greater than d?
False
Let z = 4.6 - 10.2. Let j = 5.7 + z. Is j greater than 2/65?
True
Suppose 516*u = 2*k + 512*u - 26, -2*k = 3*u + 16. Are 4/221 and k equal?
False
Let a(f) = f**3 - 23*f**2 + 49*f - 3. Let w be a(21). Let p be ((-2)/4)/((-12)/w). Let i be (3/p)/((-3)/(-6)). Which is smaller: i or -1/62?
-1/62
Let u = 68 - 68.2. Let r = 1.2 + -0.9. Let n = u + r. Which is greater: -1 or n?
n
Suppose -4*m = -b - 5*m + 84, 4*m = -b + 87. Let v = -78 + b. Let t = -14 - v. Is t < -21?
False
Let c = -286.003 - -286. Let h = 0.0132 - -0.1898. Let m = c + h. Which is greater: m or 20?
20
Let n = 1.491 + -1.5214. Is -0.1 smaller than n?
True
Let u = 863.2 - 863. Which is smaller: u or -0.72?
-0.72
Let n be 1056/(-384)*(0 + 1 - -3). Let v = 11 + -2. Suppose -4*a - 39 = v. Which is bigger: n or a?
n
Let m(h) = -h**2 + 12*h - 2. Let n be m(7). Let r = -32 + n. Let t be (-4 - -4)*r/2. Which is bigger: -9/7 or t?
t
Suppose -38 - 11 = g. Let z = g + 47. Let c be 3*(-5)/30*2. Which is smaller: c or z?
z
Let t(d) = -d**3 - 10*d**2 - 15*d + 8. Let h be -5 + (-2 - (2 + -1)). Let a be t(h). Which is smaller: a or 3/115?
a
Let o be 6/(-27) - ((-194530)/(-61677))/(-14). Is o > 0?
True
Let r be 44/(-5) - (-580)/(-435)*(-4 - -1). Suppose 0 = 3*g + 5*c + 35, -3*g = -2*g + 3*c + 17. Which is smaller: r or g?
g
Let y be -17*((-441)/(-27) - 16). Which is smaller: y or 102?
y
Let x = 1.87 - 1.97. Let l be (-21)/(-6)*(14 + 24). Is x bigger than l?
False
Let j = -4.45 - -5.45. Which is bigger: j or -6885?
j
Let x = 0.3 - 0.2. Let w = 0.11944 - -1.24056. Which is smaller: w or x?
x
Suppose w + 3*a - 5962 = 0, -4*a = -3*w + 11082 + 6752. Is 5950 >= w?
True
Let f be (4/(-64))/((-33)/(-6)*(-1)/(-2)). Which is greater: 113 or f?
113
Let b be (-9)/27*-2*18. Suppose 0 = u - b*u + 165. Let s = 32 - 17. Is s greater than u?
False
Let o = 5911/15 - 1972/5. Is o less than or equal to 316?
True
Let i be (3/(-36))/((-30)/(-360)) + 7*213. Which is greater: 1491 or i?
1491
Suppose -a - 362 = -2*x - 1677, 0 = 5*a + x - 6575. Is 1318 > a?
True
Suppose 3*t = -61 - 86. Let m = t + 247. Which is smaller: 199 or m?
m
Let b be ((-450)/675)/(4/35382). Is -11793/2 equal to b?
False
Suppose 4*p = -4*d - 4, 44*p - 3*d = 42*p + 8. Is 14/27 != p?
True
Suppose -4*o + 7*o = 27*o - 24. Is o >= -1/9427?
True
Let v = -24941/2 - -12471. Which is bigger: v or 18/11?
18/11
Let z be ((-16)/(-12))/((-7)/(-21)). Suppose -3 = 2*q - z*k + 5, -3*q = -2*k + 4. Which is greater: q or 1/169?
1/169
Let d = 17/1432 + 943/161816. Let c(p) = -p - 6. Let z be c(-6). Which is smaller: d or z?
z
Let y be 3/(-12) + 26985/49868. Let a = y - 3/137. Suppose 0 = -w - 2*w + 4*g + 15, 0 = -4*w + 4*g + 16. Which is smaller: w or a?
a
Let n = -85084809709/88452 + 961932. Let w = n - -1/1092. Which is bigger: w or -1?
w
Suppose 9*u - 8*u = 3*q - 2129, -q = -5*u - 10575. Are -2114 and u unequal?
False
Let n(j) = 16*j**2 - 127*j - 35. Let w be n(8). Is w >= -27?
True
Let p(r) be the second derivative of -r**5/20 + 5*r**4/6 + r**3/6 - 9*r**2/2 + 68*r. Let x be p(10). Is x > -4/15?
True
Suppose 27*v + 2*v = 7*v - 6*v. Is v greater than or equal to 2/4233?
False
Let j = -30112573/47823 + 8/15941. Which is greater: j or -631?
j
Suppose 3*x = 3*b - 519, -4*x + 6*b - 682 = 7*b. Which is greater: -862/5 or x?
x
Let m be (2 - (0 - -1)) + -3. Let r(y) = 122*y + 725. Let h be r(-6). Which is bigger: h or m?
m
Let w = 46 + -6. Suppose 12*q = 17*q - w. Suppose -5*k + q + 21 = 4*s, -9 = s - 2*k. Which is greater: -1/19 or s?
s
Let w(s) = -s**3 + 43*s**2 + 107*s - 96. Let t be w(45). Let m = t + -667. Is m greater than -8?
True
Let n be 126/60*-54 + (238/70 - 3). Is -102 > n?
True
Let a(r) = 2*r**2 + 45*r - 18. Let x be a(-20). Let q be -5 - (18/(-27) + x/(-6)). Let k = -33 - -8. Is q at least k?
True
Let z be 291/(-9) - 2 - 105/63. Let x be (-1)/(-4) + (2889/(-84) - 3). Is x < z?
True
Let i = -3366 - -3360. Are i and -8/51 unequal?
True
Let c be (-1659)/2130 + (11 - (-1122)/(-110)). Which is smaller: c or 1?
c
Suppose -70 + 68 = -o. Suppose 0 = -21*f + 23*f - o. Let s = -19 - -18.98. Is f >= s?
True
Suppose -5*z = -15, 4*r + 9*z - 42 = 7*z. Let d be 12/r + -1 + 75/(-9). Is d < -2?
True
Let a be 6/8 - (-2)/2. Let o = -4.07 + -439.93. Let g = o + 443. Is a greater than g?
True
Let z = -9628 + 8335. Which is greater: -2583/2 or z?
-2583/2
Let o = -269 - -267. Let r be -1 - ((88 - 0) + -1). Let k be -3 - o - 96/r. Which is greater: -0.2 or k?
k
Let d = -253 + 252. Which is smaller: d or 39/2?
d
Let j = 24.0231 + -1.3231. Which is smaller: j or -16?
-16
Let g = 646/819 - 7/9. Suppose -2*r + 3*y - 12 = r, 0 = -2*y + 6. Is g > r?
True
Let m = 110.38 - 1.38. Let t = m + -106. Which is greater: t or -2.1?
t
Let g be (15/(-6))/(14/(-28)). Let i be (-155)/(1/(-4)*-4). Let b = 1082/7 + i. Is g equal to b?
False
Let a = -13.9 + 15.9. Suppose 140 = 4*v + n, 10*n = 15*n. Which is greater: v or a?
v
Let x = 1206948.8003 - 1206899. Let r = x + 0.0997. Let v = 50 - r. Which is bigger: -2 or v?
v
Let y = 64.003 + -64. Let x = 5.103 - y. Let m = x - 5.2. Which is smaller: 0.2 or m?
m
Let z be (-674)/12*(-3)/2. Suppose -34*y - 41*y - 6300 = 0. Let t = z + y. Which is smaller: -3 or t?
-3
Let m be 160/(-3200)*(-20)/(-3). Which is smaller: -11846 or m?
-11846
Let g = -11 + 44. Let n = 259 - 257. Let o be 4*n*(-1)/(-5 + -3). Is g at most as big as o?
False
Let x = -0.142 - 0.058. Let k = x - -4.9. Which is smaller: k or 2/3?
2/3
Let k(d) = 2*d**2 + 23*d + 263. Let a be k(-16). Is 12 < a?
True
Let g be (-1830)/17 - (-282)/(-799). Is g at most -100?
True
Let j(y) = 3*y - 29. Let b be j(11). Let n = b - 0. Let q be (-2)/n - (-6)/8. Which is bigger: q or 0.4?
0.4
Suppose 0 = 3*t - o + 4, 5*t + 5*o + 1592 - 1632 = 0. Which is smaller: 23/696 or t?
23/696
Let y(o) = 32*o - 155. Let f be y(4). Let z(p) = -2*p**2 - 4*p - 5. Let j be z(-4). Which is smaller: f or j?
f
Suppose -6*i + 2*i = -340. Let a = i + -681/8. Let p = 1.79 + -2.79. Which is smaller: p or a?
p
Let z = 21.934 - 0.034. Let i = 1 - 25. Let k = i + z. Is 2/9 < k?
False
Let u = 21113/3 - 7037. Are u and 5875 nonequal?
True
Let s(o) = o**3 + 44*o**2 + 107*o + 312. Let q be s(-42). Is -0.4 greater than or equal to q?
True
Suppose -3*a - 303*r + 2535 = -298*r, -a + 4*r = -879. Is a bigger than 854?
True
Suppose 3*o = 868 - 319. Suppose 11*l + 441 - 2443 = 0. Which is greater: l or o?
o
Let s(d) = 2*d**3 + 24*d**2 - 94*d + 125. Let h be s(12). Which is greater: 5910 or h?
5910
Let g(b) be the second derivative of b**5/10 - b**4/12 + 2*b**3/3 - 27*b. Let j be g(2). Which is smaller: 18 or j?
18
Let y = -4324.9 + 4325. Which is smaller: 1831/2 or y?
y
Suppose -26 = 32*s - 27*s - 2*v, 5*s + 4*v + 8 = 0. Which is bigger: s or -7?
s
Let i = -28050/7 - -1879368/469. Is i <= 1?
True
Let x(v) = 2*v - 133. Let p be x(30). Let u = p - -116. Is u <= 44?
True
Let o(w) = 3*w**3 - 10*w**2 - 12*w - 17. Let b(m) = 4*m**3 - 9*m**2 - 12*m - 16. Let z(l) = 4*b(l) - 5*o(l). Let u be z(-13). Which is bigger: 36 or u?
36
Let s = -3304 + 2426. Is 1 greater than s?
True
Let a be ((-6)/27)/(16/(-3)). Let u be (-18)/81 + (-870)/(-27). Suppose -26*l = -u*l - 6. Is a at most as big as l?
False
Let y(z) = 9*z**2 + 4*z + 5. Let r be y(-1). Let a be ((-65)/30)/((-6)/27) + -1. Is r greater than or equal to a?
True
Let l = -8 - -10. Suppose -166 = -5*s + 59. Is l at most as big as s?
True
Suppose 15*r = -3*r + 144. Let h be 10/4*r/5. Which is smaller: -2 or h?
-2
Let d = -26 + 113. Let i = 83 - d. Which is greater: i or 3?
3
Let j = -239 + 238.8896. Let x = j + 0.0604. Are 2 and x equal?
False
Let h = -20 - -9. Suppose 14*y - 6*y + 48 = 0. Let l be (4/y)/((-25)/(-300)). Is h at most l?
True
Suppose 206*f - 121*f - 145*f - 5340 = 0. Is f < -204?
False
Let f be 18/8 + (-12)/(-16). Suppose -5*p = 5*k - 15, 3*k = f*p - 2*p + 21. Suppose -5*q = -k - 4. Which is smaller: 11/8 or q?
11/8
Suppose 25 = 5*c, -284 = -2*k + c + 3*c. Let p = 4582 + -4432. Which is greater: p or k?
k
Let d(l) = 619*l + 34633. Let m be d(-56). Suppose -j + 0*j = -5. Let t be 2/j + 167/(-5).