d l non-equal?
True
Let q be (-1)/(-2*5/(-230)). Suppose 5*a + 86 + 24 = 0. Is a smaller than q?
False
Suppose 4*w - 5*w - 4*r = 0, -2*w - 4*r = 12. Let p be (3/(-18))/((-21)/w). Let b be (-2)/((-3)/((-6)/(-4))). Does b = p?
False
Let j = 6.37 - 8.37. Which is smaller: j or -148?
-148
Let n = -7907/51 - -522/17. Which is smaller: n or -124?
n
Let x = -303 + 451. Suppose o + 3*o - x = 0. Suppose -o + 1 = 4*c + 5*y, -y + 4 = -2*c. Which is greater: -7/2 or c?
-7/2
Let b be (-104)/18 - -6 - 305/(-45). Let z be (0/(-1) - 1) + 10. Which is bigger: z or b?
z
Suppose 12*c - 10*c = -80. Let n = 59 + -100. Is n <= c?
True
Let r = 14 + 99. Which is greater: r or -2?
r
Let z be (-279)/(-336) + 3/(-21). Which is greater: z or 2?
2
Let y = 33 - 34. Let u = y - 2. Is u greater than -1?
False
Let k = 892/5 + -179. Which is smaller: k or -2.4?
-2.4
Suppose 0 = 16*q - 36*q + 1100. Is q bigger than 60?
False
Let v = -29/3 + 9. Which is smaller: v or 33?
v
Let o(s) = s**3 + 3*s**2 - 3*s + 8. Let l be o(-4). Let k be ((-15)/2)/(3/(-72)). Let u be ((-3)/k)/(l/(-10)). Which is smaller: u or 0?
0
Let x = 1 - -1. Let c = 59 - 54.2. Let l = 6.8 - c. Is x <= l?
True
Let i = 5 - 3. Let s(j) = -61*j - 183. Let b be s(-3). Which is smaller: b or i?
b
Suppose -1125 = g + 6*m - 3*m, 5*m = 3*g + 3417. Is -1135 > g?
False
Suppose 0 = -3*r - 2*x + 62, 2*x - 74 = -5*r + 6*x. Let h be (-4)/r - (-284)/360. Let a = 1/6 - h. Which is smaller: 0 or a?
a
Let i = -0.242 + 27.242. Is 0.2 less than i?
True
Let g be (9 + -8)/(7/(-3)). Let n = -91 + 90.7. Which is smaller: g or n?
g
Let q(f) = -f**3 + 3*f**2 + 4*f - 4. Let y be q(3). Suppose 52*h = 11*h - 8*h + 490. Is y greater than h?
False
Let z be (-2)/(2 + 2 + -3 + 0). Let a be 4/(-68)*(-1)/z. Which is greater: a or 0?
0
Let x = -961/7816 + 1/8. Is 0 >= x?
False
Let f(u) = 12*u**3 + 5*u**2 - u + 2. Let k be f(4). Let p be (k/849 - 1)/((-2)/4). Do -1 and p have the same value?
False
Suppose 0 = m - 5*m - d - 73, 56 = -3*m - 2*d. Let g be (-3)/(8 - -1)*m. Which is smaller: 8 or g?
g
Let p(g) = 19*g**2 - 4*g + 2. Let y be p(-6). Let d = 97268/137 - y. Let j be (-1)/(-3) + 116/(-87). Which is smaller: d or j?
j
Suppose 11*p - 6*p - 35 = 0. Let r = 55 - 39. Suppose p*z - 3*z + r = 0. Which is smaller: z or -5?
-5
Suppose 11*h = 59*h + 2*h. Which is smaller: 2/441 or h?
h
Let c = -213 - -195. Suppose 0*z = -z + 5. Let a = c + z. Which is greater: -11 or a?
-11
Let z be 249*-12*(259/63 - 4). Is -331 at most as big as z?
False
Let h = 33 - 6. Let w = h - 23. Suppose 0 = 7*y - 11*y - w. Which is smaller: y or -3/26?
y
Let w be (0 - -2)/2 - (-130)/(-156). Is -0.37 at most w?
True
Suppose 2*l - 2 = 0, l + 11 = -4*o - 32. Let d = o - -15. Suppose 8 - d = b. Which is bigger: b or 5?
5
Let b be (2/3)/(142/(-59853)). Is b not equal to -279?
True
Suppose 5*f + 2 = -3*b + 14, -4*b = f + 1. Suppose 5*m + 16 = -f*o, -4 = 4*m - 2*o - 0. Let z = -3.22 + 0.22. Is m bigger than z?
True
Let x be (2/(-56))/((-4)/408) - 4. Let y = -4/21 - x. Is 0 > y?
False
Let b = -108 + 108. Are -5/33 and b nonequal?
True
Suppose 0 = -3*b - 5*a - 361, -597 + 22 = 5*b - 5*a. Let z = b - -347/3. Suppose 0*i = i. Which is smaller: z or i?
z
Let h be (-1)/(-4) + 21/36. Let y be (-2 + 20/6)/(24/36). Let r be (y/10)/((-18)/30). Is h smaller than r?
False
Let z be (2 + 7)*(-11)/(-99). Suppose 0 = -4*v + 3*i + 21, 6 = -5*v + 2*v - 5*i. Let a = -6 + v. Which is smaller: a or z?
a
Let h = -1/3029 + 263533/30290. Which is bigger: 10 or h?
10
Let w = 4203377/12027 + -1013/633. Let u = w - 348. Which is smaller: u or 0?
u
Let l be (18/(-1578))/(7/2 - -1). Which is smaller: l or 0?
l
Let u be 27/(-81) - (-1)/3. Is -2/23 smaller than u?
True
Suppose 5*y = q + 14, -2*q + 6*q + 4*y + 32 = 0. Let n be 0/2 + q/(-120). Suppose 3*m = -5 + 2. Is m at most as big as n?
True
Suppose -18 = -3*f - 3*d, -206*d + 202*d = 5*f - 25. Let u = 3569/503670 + -1/1630. Are u and f unequal?
True
Let n = 491.8 + -492. Which is bigger: n or 3/70?
3/70
Suppose l = -f + 4*f + 4, -3*l - 5*f = -26. Is l equal to 15?
False
Let p = -2 + 6. Suppose l + 1 + p = 0. Let v(j) = -j + 10. Let z be v(15). Is l less than or equal to z?
True
Let a be 9 - 9 - -1*5. Suppose 16 = 4*g, -6 = a*z - 3*z - 2*g. Is z equal to 3?
False
Let t = 525 - 724. Is -204 at most as big as t?
True
Let x be 8*(146/4 - 6). Are x and 244 non-equal?
False
Let n = 23/17 + 429/85. Is -2 greater than n?
False
Let h be (-25)/(6 - 1) + -34. Let u = 194/5 + h. Is -23 at most u?
True
Let o = 341 - 5113/15. Which is bigger: o or 0?
o
Let v = 458277706/191845 + 304046/1037. Let l = -2682 + v. Is l less than 1?
True
Let o = -82312712/2661 - -30933. Which is bigger: 1 or o?
1
Let q = -16 + 30. Let d = 14.14 - q. Let l = d - 0.14. Is -2/13 bigger than l?
False
Let q = 48 - 45. Suppose 3 + 6 = -q*s. Let r be (-1)/(-3) - (-14)/(-6). Which is bigger: r or s?
r
Let r be (-126)/(-45) + (-4)/5. Let y = 11/16 + -3/16. Is r < y?
False
Let s = 0 + 5. Suppose -204*t + 194*t = -50. Suppose t*g + 0*g = s. Is g <= 0.17?
False
Let w = -33 - -66. Let c = 45 - w. Is 9 > c?
False
Let q = -0.287 + 0.187. Is 35.4 less than or equal to q?
False
Suppose 3*f = -3*k + 23 + 4, 0 = 3*f - 3. Let j be (-52)/(-6) + (16 - (-616)/(-42)). Is j smaller than k?
False
Suppose 4*a - 436 = 5*h, 4*a = 9*a - 20. Is h not equal to -86?
True
Suppose -w = -3*w + 80. Let a be 2/3*6/w. Which is smaller: a or 1?
a
Let z(f) = -f**2 - 32*f - 192. Let u be z(-24). Let q = 6/37 - 153/259. Which is greater: u or q?
u
Let y be ((-164)/656)/(2/(-584)). Is 73 > y?
False
Let g(d) = 13*d**3 + 7*d**2 - 3*d + 9. Let a(x) = x**2 + 1. Let u(k) = 5*a(k) - g(k). Let v be u(3). Let w be (-4)/14 - 76/v. Is -1 bigger than w?
False
Let b be (-2)/8 + (-42)/(-8). Suppose -1040 = -20*g + 7*g. Let q be (-10)/15 + g/12. Which is smaller: q or b?
b
Suppose 3*m - 2*u - 139 = 0, -5*m + 8*u - 6*u + 225 = 0. Is 1 greater than m?
False
Let a = 59.7 - 3.7. Let p = 0.79638 - -0.20362. Which is smaller: p or a?
p
Let h(k) = k**2 + 3*k - 2. Let o be h(1). Let p be (0 - (o - 2)) + 2. Suppose 4*n - 12 = 0, -r + p*n - 5 = 1. Which is smaller: r or -4/7?
-4/7
Suppose 0 = -2*r - c + 161, -2*c - 112 = -r - 44. Which is smaller: -1/3 or r?
-1/3
Suppose 0 = -3*a - 3*f - 732, 812 = -5*a - 4*f - 409. Which is bigger: -246 or a?
a
Suppose 0 = -f - 5*w - 25, 0*f - f + 4*w = -20. Suppose -3*g - 3*n + 72 = f, -27 = -g + n - 1. Let h = g + -41. Which is smaller: -15 or h?
h
Let o(u) = 4*u - 1. Suppose -i = 3*v + 1, -3*v - i - 17 = 4*i. Let p be o(v). Suppose 0*c - 7 = 4*c - 5*j, -14 = -c - 4*j. Does c = p?
False
Let n be (-6)/(-12)*4 + -11. Which is smaller: n or -10?
-10
Let j = 358 + -3212/9. Suppose -3*y + 8 = -4*o, -y - 2*y - 32 = 4*o. Let a = 6 + y. Is a less than or equal to j?
False
Suppose 12 = a + 4*y + y, -2*a - y = 3. Let t be a/(-1 + 136)*1. Suppose -h + 2 = 5*f + 17, 3*h = -2*f - 6. Is t smaller than h?
True
Let d = -0.12 + -9.88. Let y = 9.92 + d. Let g = 0.28 + y. Which is smaller: 3 or g?
g
Let w(g) = g**3 - 9*g**2 - 6*g - 4. Let a be w(10). Let c be (-8)/a - 195/(-27). Let l = 11 - 3. Which is greater: l or c?
l
Suppose 5*j - 8 = 3*p, 0 = 2*j + p + 2*p - 20. Suppose -j*z = 2*z + 6. Which is greater: -2/25 or z?
-2/25
Let b = 1265 + -1208.1. Let g = -57 + b. Which is greater: -0.018 or g?
-0.018
Suppose -5*s - 2410 = 5*y, 3*s + 6*y - 5*y = -1436. Which is greater: s or -478?
s
Let a = 140 - 137. Let t be ((-33)/(-18))/(a/(-2)). Are 0 and t non-equal?
True
Let g(s) = s**3 - s**2 - 3*s - 2. Let v be g(-1). Let j = 70/9 + -8. Is v bigger than j?
False
Suppose -z = -y + 37, 4*y = -y + 3*z + 175. Which is smaller: y or 31?
31
Let m = -13 + 13. Let b(w) = w**2 - 8. Let a be b(m). Let c be 1/(-1 - 9/a). Do c and 7 have different values?
True
Let w(o) = o**3 - 16*o**2 + o + 4. Let s be w(16). Is 22 at most s?
False
Let x = 1559 - 1576. Is 0.07 less than or equal to x?
False
Let i(u) = -3*u**2 - u + 2. Let b be i(-2). Suppose 0 = d + 5, 5*w = -2*d + 138 - 33. Suppose 4*z + 9 = -w. Is z <= b?
True
Let g be -17 - 3*(-4)/6. Let l = 34 + g. Is l at most as big as 20?
True
Let j = -12.6 - -17. Let m = 4.3 - j. Which is bigger: 1 or m?
1
Suppose -3*f + 16 = 10. Suppose -2*j + 40 = -f*c + 2, 2*c + 41 = 5*j. Suppose -6 = t + 12. Is t less than c?
Fals