1/3 = x?
False
Let k(q) = q**3 - 23*q**2 - 46*q - 98. Let u be k(25). Is -3/64 < u?
True
Let k = -1000.49359 + 0.19359. Which is smaller: k or 1?
k
Let i = -73 + 63. Let n be (-15337)/35343 + (-4)/i*1. Let g = 2/1485 - n. Which is smaller: -1 or g?
-1
Let i be (-214)/(-14) + 16/(-56). Let q = -10 + i. Let d(l) = 3*l - 20. Let j be d(q). Is -8 at least as big as j?
False
Let y(l) = -29. Let s(q) = -q - 30. Let f(o) = 3*s(o) - 4*y(o). Let z be f(14). Let n(c) = c**3 + 17*c**2 + 14*c - 7. Let g be n(z). Is 24 smaller than g?
True
Suppose -4*p = 12, -3*o + 4*o = -2*p - 5. Let c = -132953/30 - -4431. Let v = c - -2/3. Is o smaller than v?
False
Suppose -3*i - 6 = -6*i, -5*m + 3*i = 1. Suppose 3*g - 45 = s, 0 = g - 3*s - m - 6. Let c = g + -15. Are c and 1/129 equal?
False
Suppose -325*i - 5*g = -324*i - 34, i = -4*g + 27. Does -1/31037 = i?
False
Let g = -121710291/1429541465 - 3/633943. Let j be (-2)/(-11) + 832/(-3608). Let p = j - g. Which is smaller: p or 0?
0
Suppose 13 = 6*r - 17. Suppose r*y - 31 = -11. Is y greater than 27/7?
True
Let g be (-4)/3*(4 - (-1 + (-92)/(-16))). Which is smaller: 24/139 or g?
24/139
Suppose -3*n + 2*o + 441 = 0, 35 = 2*n + 2*o - 259. Suppose 0 = n*d - 145*d. Which is smaller: d or -5/68?
-5/68
Suppose -2*j = -5*k + 11 - 24, 0 = k - j + 5. Which is smaller: k or 4/397?
k
Let x = 87689/3 + -28690. Is 0.2 equal to x?
False
Let i = 926207/3045 + -13/2030. Which is smaller: -1 or i?
-1
Suppose 0 = -25*p - 33657 - 147143. Is -7231 greater than p?
True
Let k = -141.233 - -141.39. Which is bigger: -2 or k?
k
Let z(l) = -8*l**3 + 6*l**2 - 13. Let s be z(-3). Is s less than 250?
False
Let p be 1*333428/(-8250) - (-15)/25. Let m = p + 438/11. Is -1 equal to m?
False
Suppose 5*k - m - 68 + 178 = 0, -5*k - 3*m = 90. Let n = 1 - k. Is n >= -0.4?
True
Let x be 7/(-98) + 8322/84. Which is smaller: x or 102?
x
Let v(c) = 21*c**2 - 5*c + 2. Let s be v(3). Let o = 27765 - 27588. Is o greater than s?
True
Suppose -21*j - 5*j + 728 = 0. Suppose 0 = -j*l + 739 - 235. Which is bigger: 4 or l?
l
Let f = 75 + -24. Let v = -50.978 + f. Let d = -0.012 + v. Is d > 2?
False
Let q be (-1 + 2)/((-3)/(720/4)). Let y = 80 + q. Let f(b) = 2*b**2 - 2*b - 3. Let v be f(-3). Are y and v nonequal?
True
Let s(k) = k**3 - 9*k**2 + 4*k + 25. Let b be s(9). Suppose 58*n - 303 = b*n. Which is smaller: n or -102?
-102
Let s = -26/3 + 101/12. Let j = 37 - 291. Which is greater: j or s?
s
Let s(b) = 2*b**2 - 39 + 25*b**2 - b**3 + 36*b - 9*b + 0*b**2. Let x be s(28). Which is smaller: x or -68?
-68
Let o = -15317/3 + 5238. Are o and 131 equal?
False
Let g = -187.2 - -187.4. Which is smaller: 413 or g?
g
Let j(n) = -n**2 + 8*n - 41. Let o be j(13). Is -106 != o?
False
Let z = 75.523 - -2.477. Which is bigger: 117 or z?
117
Let j be (1 - -3)*1 + (-1420340)/355790. Is j greater than 1?
False
Let v = -26 + 12. Let p = 1.2367 - -3.7633. Is p != v?
True
Suppose -5*p + p = p. Let q be ((-20)/(-54) + p)*(9 - 3). Is -0.1 < q?
True
Let p = 3038 - 7027. Is p bigger than -1?
False
Let b be (-4)/2 + (-1059)/3*1. Let f = -356 - b. Which is greater: 2/397 or f?
2/397
Let t = 11960 + -11203. Which is bigger: t or 758?
758
Let x = 0.17 + -9.17. Let o be (0/(-2) - 1)/((-5)/((-25)/(-110))). Is x < o?
True
Suppose 3*r - 5 = 4*i + 45, -36 = 4*i + 4*r. Let z(p) = -3*p - 25. Let d be z(i). Is d smaller than 8?
False
Suppose 7 = -5*l - 2*q - 64, 3*q = -3*l - 39. Let u(p) = -5*p + 269011 - 269012 - 10*p - p**2. Let b be u(l). Which is smaller: b or -4/19?
b
Let g = -1530 - -7752/5. Do 21 and g have different values?
True
Let p be 1*(-4 - (39 - -4)). Let w = p - -64. Suppose -r - 3 = w. Which is smaller: -19 or r?
r
Let z = -44225 + 44240. Do 635/42 and z have the same value?
False
Let k = -3082 - -4659. Let t = 149819/95 - k. Which is smaller: 1 or t?
t
Let q be ((-6)/(-45))/((-2)/(-6)*33/(-55)). Let m(b) = 2*b + 2. Let w be m(-2). Which is smaller: q or w?
w
Let s be ((-32)/(-20))/4*-2*10. Let v be (21/(-9) - -3)*-6. Let w be v + -1 - (7 - 4). Are w and s nonequal?
False
Suppose -135 = -2*u + 161. Suppose -47*c - u = -10*c. Let i be (-20)/8*1*2. Which is greater: c or i?
c
Let z be 83/((-763)/119 + 6) + (-8)/(-14). Which is smaller: -1007/5 or z?
-1007/5
Let d(n) = 2*n**2 + 53*n - 316. Let b be d(5). Let c(x) = -6*x - 27. Let h be c(12). Let v = -689/7 - h. Which is greater: v or b?
v
Let g = -16642 - -13097. Which is bigger: -3546 or g?
g
Let r = -20 + 20. Suppose -2*v + 10 = -r*v. Suppose 0*o - v = 5*o. Which is bigger: -2/5 or o?
-2/5
Let c = -24/63307 - -63499/506456. Let z(o) = -o**2 + 7*o + 2. Let d be z(7). Suppose -d*m - 5*b = -5*m - 4, -4*m = 3*b - 14. Which is bigger: c or m?
m
Let f be (11433/5715 + -2)*14/21. Is f greater than 0?
True
Suppose -5*u + 10 = -53*l + 51*l, 0 = 4*l - 3*u + 48. Let p be 8/(-6) - (-284)/(-21). Is l at most p?
True
Suppose 3*b - 210 + 204 = 0. Suppose -b*z + 28 = 4*u, u + 7 + 63 = 5*z. Does z = 14?
True
Let i = -558239 + 6144781/11. Is i greater than or equal to 377?
True
Let z = -225 - -166. Let i = z - -59.2. Is i greater than 1?
False
Let d(y) = -2*y**2 - 3*y. Let g be d(-3). Let f = -1830 - -1204. Let u = -636 - f. Which is greater: g or u?
g
Let n = -1360 + 1360. Let a(o) = -o - 4. Let p be a(-9). Let b be (27/15)/(4/p). Are n and b nonequal?
True
Let r = 4383676271657/18080920 - 26426793/109. Let o = -2/1595 + r. Suppose 2*d = -a - 5, -3*a - 15 = 3*d - d. Which is greater: o or d?
d
Let f = -1123/2653 + -2/379. Let y = 0.04167 - -6.95833. Is f >= y?
False
Let l = -0.05468 - -0.06238. Which is bigger: -2 or l?
l
Suppose -7*y = -8*y - 114. Let a = y - -112. Which is greater: 4 or a?
4
Let b = -24017382350828/51745 + 464148852. Let k = b - -2/655. Which is smaller: 1 or k?
k
Let i be (31/(279/726))/((-4)/(-6)). Let w = 212 + -113. Let q = w - i. Do -22 and q have the same value?
True
Suppose -13 = -j + 12. Let o be j - -1*(-5 - 0). Which is smaller: 12 or o?
12
Suppose 19*h + 97438 = -13*h - 54*h. Are -1134 and h equal?
False
Let r be 4/(-1*18/(-7)). Let l be (-2558)/8 + (-40)/32. Let c = -1603/5 - l. Which is smaller: c or r?
c
Suppose 8 = 2*k, -23584 = 3*i - 5368*k + 5370*k. Which is greater: i or -7865?
i
Let b = -66596/35821905 + 2/32185. Let g = b - 2096/72345. Which is bigger: 0 or g?
0
Let j = 0.29 - 8.29. Let g = j - -8. Suppose 130*p + 385 = 137*p. Is g at least p?
False
Suppose -2199 = -3*p + 1431. Is 1210 smaller than p?
False
Let f be 14994/(-1176)*4/(-3). Is f less than 88/5?
True
Suppose -670 = -12*v + 254. Let j(l) = v + 9*l + 36 - 38 - 26*l. Let q be j(6). Which is greater: q or -25?
-25
Suppose 2*n = -4*w + 2, -4*w + 6 = -3*n - 11. Suppose -2*x = 3*z - 34, 3*x + w*x + 34 = z. Let i(s) = -3*s + 28. Let o be i(z). Which is greater: -13 or o?
-13
Let x(v) = 3*v**2 - 552*v + 104. Let n be x(184). Which is bigger: n or 49?
n
Let v be -1*(-14)/(-12)*(791 - (-24)/1). Is v less than or equal to -950?
True
Let w be (-7500)/(-42)*35/10. Which is greater: w or 9?
w
Suppose -172*s + 167*s + b - 8 = 0, 18 = -5*s - 4*b. Which is smaller: -53/45 or s?
s
Let s(u) = 2*u**3 - 20*u**2 + 2*u - 16. Let g be s(10). Suppose -b + 11 = -g*b + a, 0 = -5*b + 4*a - 30. Let c = -8 + 7. Which is bigger: c or b?
c
Suppose 2*h - 19 = 291. Let v be 1/(-10)*186/h. Which is greater: v or 0?
0
Let g be 2/(-18048)*-16*118. Is 1 < g?
False
Let c = 478/5 + -3261/10. Let y = 227 + c. Which is smaller: y or -4?
-4
Let x = 1.04 - 1.84. Let z = -17.8 - x. Let m = z + 16.95. Is -0.1 equal to m?
False
Suppose -c - 3*w = 37, -205 = 4*c + c - 5*w. Let v = 65 + c. Let n = -24 + v. Is n greater than or equal to -1/24?
True
Suppose -5007 = -5*u + 6538. Is 2309 less than u?
False
Let f = 6353 + -6353.1. Which is greater: 22730 or f?
22730
Suppose -7*l - 1997 = n, -2*n = 56 - 52. Suppose -1420 = 5*r - i, i = r - 0*i + 280. Is r bigger than l?
False
Let m = -128932 - -647177/5. Let i = 488 - m. Which is smaller: -16 or i?
-16
Suppose -4*n - r - 847 = 0, -4*r = 4*n - 14 + 858. Let q = 321 + n. Which is bigger: q or 108?
q
Suppose 8*l - 100 = -124. Let v be (86/30*l)/(2/(-10)). Which is smaller: v or 51?
v
Let f(x) = x**3 + 25*x**2 + 45*x - 4. Let l be f(-23). Which is smaller: l or 65?
l
Suppose 184 - 4 = 3*d. Suppose 0 = -d*b + 63*b - 21. Let m be (14/4)/b + 87/(-6). Do -11 