4*y + b, -2 = b. Is -45 <= y?
True
Let b be (5/100*-2)/(190/125). Is -1 at least b?
False
Let t = 0 + -0.5. Let u = -6728/33665 - 1/6733. Is t greater than u?
False
Let b = 101 + -2324/23. Let q = -16 + 15. Which is smaller: q or b?
q
Let g = -4.85 - -4.95. Which is bigger: -5.8 or g?
g
Let r = -5 - -5. Let x = 19 - 20. Let l = r + x. Are 2/5 and l equal?
False
Let z(o) = -5*o**3 + 3*o**2 - 4*o + 1. Let n be 8*((-34)/(-8) - 4). Let g be z(n). Let t = 37 + g. Is 1 greater than t?
False
Let m(d) = 11*d**2 - 6*d. Let i(b) = 4*b**2 - 2*b. Let u(k) = 8*i(k) - 3*m(k). Let g be u(1). Let l = 4390 - 26329/6. Is l > g?
True
Let l(p) = -2*p**3 + p**2 + 2*p + 2. Let c be l(-1). Suppose 0 = -2*t - o - 3 + 4, -4*t = c*o + 3. Is -4 not equal to t?
True
Let u = -345 + 345. Is -3/158 greater than or equal to u?
False
Suppose -2*l - 7 = 37. Let p = -91 - l. Is -70 at least p?
False
Let w be (-9)/15 - (-2 + 0). Let n(t) = 8*t - 30. Let u be n(4). Suppose u*g - 15 = -5*k, -12 = g - 0*g - 4*k. Which is greater: w or g?
w
Suppose -3*v - 2 = -p, -p - p + 4 = 3*v. Suppose -6 = 3*t - 21. Suppose -2*c - 10 = -v*s - 2*s, t*c + 19 = -s. Are s and -2/47 unequal?
True
Let m(x) = -x**2 + 15*x - 10. Let q be m(4). Suppose q = -9*r - 38. Which is bigger: r or -5?
-5
Suppose -3*i - 5 = -5*q, -5*i - 3 = 2*q - 5*q. Let f be q*(-1)/5 + (-102)/390. Which is bigger: f or 1?
1
Let k = 6 - 2. Let o be 82/(-1476)*(-4)/(-1). Which is smaller: k or o?
o
Let v be (90/5)/(3/(-2)). Let l(m) = -2*m + 8. Let q be l(v). Let r be q/(-3) - (-2)/(-6). Which is bigger: r or -10?
-10
Suppose -18 = -49*l + 43*l. Let h be 4/l - (7/3 + -2). Does h = 2/275?
False
Let l(w) = 3*w**2 - 30*w + 73. Let s be l(3). Which is smaller: -5 or s?
-5
Let w(s) = s - 10. Let c(z) = -z + 11. Let t(q) = -2*c(q) - 3*w(q). Suppose 0*v - 4*v + 56 = 4*y, 0 = -4*v + 4. Let n be t(y). Which is smaller: -2 or n?
n
Suppose -29 = -4*a - 5. Let d be ((6*a)/(-4))/(-1). Let y be (-3)/4 - 129/(-12). Is d smaller than y?
True
Let g = 33.2 - 33. Is -10.7 at least g?
False
Let w be (-4)/(-18) - (11960/(-72))/13. Which is bigger: w or 10?
w
Suppose -2*k - 29 = -5*z, -3*k - k - 51 = -3*z. Let g be 1 + (k/9 - -1). Suppose i + 0*i = 0. Is i less than g?
True
Let d(w) = 14*w + 617. Let u be d(-34). Is u equal to 142?
False
Let a(t) = t**3 - 5*t**2 + 13. Let o be a(4). Let l be (o - -3)/(2 - 3). Is -2/7 greater than or equal to l?
False
Let h(v) = 19*v**2 - 20*v - 198. Let s be h(-9). Is 1521 at most as big as s?
True
Let f = 41 - 41.116. Let q = f + -0.784. Is q greater than or equal to -1?
True
Suppose -3*t = 2*q - 1 + 10, q + 4*t = -12. Let y = 55 + -34. Let j be 6/(-12)*(-2)/y. Is j smaller than q?
False
Let v be 116*(-2 + (-4)/(-4)). Let d be (-2)/(-9) + v/36. Let c be -2*(-111)/72 + d. Is c smaller than -1?
False
Let v = 0.5 + -0.46. Let d = 2.04 - v. Let m be ((-4344)/396 - -11)/((-2)/12). Which is bigger: m or d?
d
Let n = 3.1 + -2.2. Let f = 0.1 - n. Let w = f - -6.8. Is -0.1 at most w?
True
Let a = -8 - -9. Let l = 0.25 + 6.25. Let y = l - 7. Is a smaller than y?
False
Suppose 0 = -3*j - 0*j + 2*a + 20, -4*j + a = -30. Let h(o) = 3*o**2 + o + o - 2*o**2 + j*o. Let v be h(-10). Which is greater: 1/3 or v?
1/3
Let p = 281 + -332. Which is bigger: p or -49?
-49
Suppose 0 = -2*d - 3*z - 11, d + 3*z = 6 - 19. Let r be 18/(2 + 42/(-23)). Let h = -101 + r. Which is smaller: d or h?
d
Let x = -27 - -22. Which is bigger: -70/13 or x?
x
Let j(m) = m**2 + 2*m - 5. Let g be j(-4). Suppose -1 - 4 = 5*c - 5*q, g = q. Suppose 2 = u - 4*k + 3, 0 = 5*u + c*k - 17. Which is smaller: u or 18/11?
18/11
Let t(j) = -j**2 - 6*j - 5. Let p be t(-4). Suppose p*a = -a. Let q be ((-6)/4)/((-26)/(-4)). Is a equal to q?
False
Suppose 89*l = 95*l - 6. Which is smaller: l or 4/951?
4/951
Let t = 199 + -187. Is 162/13 at most as big as t?
False
Suppose -1 = -2*h - 3. Suppose 5*g - 4*c + 3*c + 161 = 0, -4*c - 49 = g. Let f = 32 + g. Is h greater than f?
False
Let g = -355 - -703/2. Is 5 not equal to g?
True
Let j(y) = y**2 + 8*y + 11. Let v be j(-10). Let z = v + 61. Suppose -5*k - 4*d = -6*d - z, 4*k - 100 = -5*d. Is 20 greater than k?
False
Suppose -5 = -2*c + c - 2*n, 3*n = -2*c + 7. Which is smaller: -2/105 or c?
c
Let f = -651 + 651. Are f and 3/113 nonequal?
True
Suppose -6*b + b + 6*b = 0. Suppose -a + 3*t - 4*t - 2 = b, 2*a = -5*t - 10. Is a > -2/13?
True
Let m be (0 - -1)/(4 + (-1345)/335). Are -66 and m equal?
False
Let s = 16.057 - 0.057. Let n = s + -17. Which is bigger: n or -38?
n
Let d = -2503 - -1548. Is d equal to -955?
True
Let j(i) = 3*i - 17. Suppose 3*c - 3*h = 0, 3*c + 10 = 7*c + h. Let z(l) = 2*l**3 - 2*l**2 + l + 2. Let n be z(c). Let w be j(n). Is 19 at most w?
True
Let v = -39 + 108. Which is smaller: v or -0.2?
-0.2
Suppose 2*l - 12 = -6. Suppose l*p - p + 1156 = 0. Let f = -17920/31 - p. Are 1 and f unequal?
True
Let j be (-637)/(-182)*4/35. Which is smaller: 4/303 or j?
4/303
Let c = -2.3 + -0.7. Let u = 7 - c. Which is smaller: 2/5 or u?
2/5
Let p be 28*-1*(-36)/(-21). Let x be 4/18*-2*18/p. Do x and -2/13 have the same value?
False
Suppose -3*h + 5*g - 505 = 0, 12*g - 14*g = 5*h + 883. Which is greater: h or -174?
-174
Let a be 1/((-1)/(-84))*2. Suppose -48 = -4*z - a. Are z and -30 non-equal?
False
Let w = 127 - 117.3. Let b = w - 9. Let p = 1.3 + b. Does -0.6 = p?
False
Let l be 14/(-49) - (-6)/(-126). Which is smaller: 29 or l?
l
Let i = -14237/39 + 365. Let b = -0.1 + 0.3. Let p = 0.3 - b. Which is smaller: p or i?
i
Let d be 25/10*(31 - 1). Which is greater: 77 or d?
77
Let y = -5 - -12. Let j = -4 + y. Let t = -0.11 - -0.21. Do j and t have the same value?
False
Let u be (4/(-3))/(((-176)/(-231))/(-8)). Which is smaller: u or 16?
u
Let k be -37 - (1/(-4) - 24/32). Let j = k + 22. Do -13 and j have different values?
True
Let o(w) = 2*w - 22. Let k be o(12). Suppose -5*v + 4*y = k*y + 6, 2*y - 6 = 4*v. Is v at most 3/7?
True
Let w = -1647 - -1650. Which is bigger: 180 or w?
180
Let w = 2/57395 + 4185243/11479. Let b = 366 - w. Which is smaller: 2 or b?
b
Let q(b) = 3*b + 24. Let l be q(-7). Let w be (1/4)/((-18)/336*l). Is -2 smaller than w?
True
Let d(h) = 2*h + 1. Let u be d(2). Suppose -u*b = i + 33, -5*i - 50 = -0*i + 2*b. Let t be (-6)/40 - (-2)/i. Which is greater: -8 or t?
t
Let p = -105 - -65. Let i be p/(-10) - (-1 + 0 + 9). Are i and 2 equal?
False
Let z(f) = 3*f + 13. Let w be z(-3). Suppose -106*b = -108*b + w. Let x(l) = -4*l**3 - l**2 - l - 1. Let o be x(-1). Which is greater: b or o?
o
Let f(r) = -r**3 + 6*r**2 - 5*r - 1. Let a be f(5). Which is smaller: a or 4/105?
a
Let w be 1*(-362 - -3)*577. Let g = 3925801/19 + w. Let k = 522 + g. Is k >= 0?
True
Let y = 0.168 - -4.832. Is 0.08 greater than or equal to y?
False
Let z(x) = 0*x + 2*x**3 - 8*x**2 - 3*x**3 - 10*x - 15 - 2*x. Let o be z(-6). Let l(u) = u - 5. Let p be l(-9). Is o at least as big as p?
False
Let u = 415 - 505. Is u less than -91?
False
Let l = 0.33 - -19.67. Let o = 57.9 - 54. Let x = o - 2.9. Which is greater: x or l?
l
Let r(j) = j**2 + 13*j + 14. Let y be r(-12). Suppose 7*f = y*f + 5. Is 3/7 at least f?
False
Let a(p) = p**3 + 2*p**2 - 9*p + 8. Let m be a(-4). Suppose 2*s - s = -3*t + 2, 3*s - 2*t - 6 = 0. Suppose 2*l - m = s. Is l less than or equal to 7?
True
Suppose -337*o + 2205 = -328*o. Are o and 244 non-equal?
True
Let g be 48/15 + (-2)/10. Suppose -8*k + g*k = -100. Suppose d = 6*d + k. Which is smaller: -5 or d?
-5
Let h(l) = -7*l**2 + 15*l - 8. Let f(y) = y**2 - y. Let o(r) = 6*f(r) + h(r). Let g be o(8). Which is bigger: -10/7 or g?
g
Let t = -3264/120913 + -2/1703. Let y be (-147)/(-98)*(-1 + (-6)/(-9)). Does t = y?
False
Let j = -1.4 + 23.4. Let h = -20.953 + -0.047. Let d = h + j. Is d less than -2?
False
Suppose 70*u - 65*u + 10 = 0. Which is smaller: 1/43 or u?
u
Let p = 53/43 + -10332/8557. Which is smaller: 0 or p?
0
Let o = -1573 - -3549. Which is bigger: 1975 or o?
o
Suppose 1228 + 419 = 27*q. Which is bigger: 54 or q?
q
Suppose -12 = -2*r - 4. Let v(u) = 26*u - 2*u**2 - 37*u + 3*u**2 + r. Let g be v(9). Is g bigger than -14?
False
Let t(w) = w**2 - w + 23. Let x be t(0). Let i = 8 - x. Let v be (-1)/(-3 - 42/i). Is 6 < v?
False
Suppose 0 = -4*m + 5*m - 2. Suppose -13 - 15 = -4*q + 4*z, 0 = -z - m. Suppose 3*d - 4*l =