greater than a?
False
Suppose 27*a + 40 = 22 + 18. Is a at most as big as -4/2403?
False
Let k be (1 + -2 + 1)/2*171/(-684). Is 1/3925 < k?
False
Let f = 42 - 90. Let x be 42/3 - (2 + 0). Let b be 2/x*-1 + (-56)/f. Is b >= -1/6?
True
Let y = -656 - -655. Let f be (-88)/406 - (-5)/(35/2). Do f and y have the same value?
False
Let h(l) = 33*l**2 - l - 1. Let i = 14 + -15. Let v be h(i). Suppose 25*b = 66*b - 1353. Is b smaller than v?
False
Let s = 364328/2512911 - 2/36419. Is s bigger than -1?
True
Let u = -544/689 - -50/53. Suppose -2*z + 4*z = 12. Let a = z - 7. Which is smaller: u or a?
a
Let b = -9473 - -9685. Are 1 and b unequal?
True
Let x(f) = f + 6. Let w be x(-6). Let k(n) = 3*n + 4. Let v be k(-8). Let a be (-14)/(-6)*(-6)/v. Is a at least as big as w?
True
Suppose -97*t + 195*t - 21854 = 0. Is t less than 226?
True
Let z = -26677 + 186236/7. Is z < -71?
True
Let k be (-14)/(-21)*(-25 + -5). Let o = 26 + -12. Let h = -15 + o. Which is bigger: k or h?
h
Suppose 2*i + 42 = -4*y, 5*y + 57 = 3*i + 10. Suppose 2*j + 90 = 7*j - 2*l, 0 = 3*j + 3*l - 33. Let h be (10/8)/((-2)/j). Is h bigger than y?
False
Suppose -24 = d - h, 7*h = 3*d + 11*h + 51. Let q(r) = -3*r**3 + r**2 - r - 1. Let k be q(-1). Suppose 0*w + k*w + 88 = 0. Is d smaller than w?
False
Let x(g) = 28*g**3 - 24*g**2 + 4*g + 80. Let d be x(-5). Which is smaller: -4039 or d?
d
Let h = -4779/8 + 598. Let x = h - 43/56. Which is greater: 1 or x?
1
Let p = -3544 - 2024. Are -5568 and p non-equal?
False
Let g = 33524/1677 + -356/129. Let o = g - -7/26. Let d = 6 - -13. Is d greater than o?
True
Let h = -175 - -366. Suppose 3*t + h = -5*c, -92 = 3*c + t + 21. Let n = 45 + c. Which is smaller: n or 10?
n
Let t = 25.19 - 25. Let a = t - -9.81. Let s = 0.13879 + -0.03879. Which is bigger: s or a?
a
Let c be ((-66)/(-8))/((-14)/(-8) + -1). Let x(j) = j - 24. Let v be x(c). Let n = 31 + -45. Which is smaller: n or v?
n
Let w be ((-969)/6)/((-10)/4). Let n = -99225 + 99289. Which is greater: n or w?
w
Let c be (9016/2960 + 14/(-4))/(6/(-200)). Is c at most 16?
True
Let u be 11 - 7 - 2/((-178)/540607). Let l = -6078 + u. Let x = l - 1249/4539. Do -1 and x have the same value?
False
Let m be (-80)/27*1/((-4)/3). Suppose -34*t = -31*t. Suppose 5*a + t*f = -f + 5, -4*a - 3*f - 7 = 0. Is a equal to m?
False
Let o = -1 - -3. Let z be 2/(4*44/(-24))*-6. Which is smaller: o or z?
z
Let x(h) = -3*h**2 + 156*h + 2794. Let c be x(-47). Which is smaller: c or -11166?
-11166
Let b = 23969/460 + 484/23. Which is greater: b or 74?
74
Let l = -0.91612 - 0.08388. Which is bigger: 23 or l?
23
Let u be 5720/5 + 5/(-1). Does 1140 = u?
False
Let n be ((-72)/(-45))/(1/15*3). Let s(k) = -k**3 + 9*k**2 - 9*k + 9. Let f be s(n). Which is smaller: 26/11 or f?
f
Let h be (8/56)/(159/(-2)). Is h <= 4?
True
Let w = -177 + 180. Suppose w*p + 3*c - 9 = 0, -5*p - 39*c + 23 = -42*c. Is p < 3?
False
Let l = 189975 - 2087829/11. Which is smaller: 171 or l?
171
Let c = -6.972 - 0.028. Let d = c + 69.4. Let o = d + -61. Is 0.3 at most o?
True
Let g = -1683 - -1736. Which is smaller: g or 7?
7
Let u(m) = 2*m**2 - 79*m + 36. Let z be u(39). Which is bigger: -40/17 or z?
-40/17
Let o be 5/(20/76) - -3. Let c = -6 + o. Suppose 10*q - 8*q = c. Is q <= 8?
True
Let t(z) = -z**2 + 27*z - 182. Let q be t(7). Let o be ((-4764)/252 - -5) + 4/q. Which is smaller: -15 or o?
-15
Let b = -133 + 188. Suppose -8*h + 4*h = -5*v - 170, b = -v + 5*h. Which is greater: -33 or v?
v
Suppose -8*x + 3*x + 15 = 0. Suppose y - 1 = 4*u - 9, 6 = x*u + 2*y. Suppose u*d = d - 13. Do 1/4 and d have different values?
True
Suppose g = -6 + 12. Suppose v + 21 = -g. Which is smaller: v or 1?
v
Let h be 12/(-16) - 892/(-16). Suppose h = -6*k + 79. Is 26/5 < k?
False
Suppose -5*r - 2*o - 573 = 0, 3*r = -0*o + 4*o - 323. Let g = r + 1357/12. Let s = g + 1/4. Is s smaller than 0.2?
False
Suppose 0 = s - 4*g + 25, -5*g - 2 = -22. Let o be ((-2)/(-3))/(298/s). Which is smaller: o or -1?
-1
Let a = -5140 + 6085. Which is smaller: a or 949?
a
Let g(b) = 8*b**2 - 3*b - 10*b**2 + 0*b - 3*b**2. Let o be g(2). Let x = 38 + -64. Is o <= x?
True
Let o = -54 + 78. Let d be (-8)/o*(2 - 8). Suppose -16 = -7*x + 3*x. Is x > d?
True
Let j = 2/129475 - -107891/1397294200. Which is smaller: 1 or j?
j
Let v = -743 + 773. Suppose v*b = 19236 - 5286. Do 466 and b have different values?
True
Let o(v) = v**2 + 41*v + 193. Let x be o(-34). Which is bigger: -28 or x?
-28
Let j = 462.2 - -112.8. Let r = 507 - j. Which is greater: r or 2/5?
2/5
Let j be 11/(-20) + 123/2460. Which is smaller: -0.597 or j?
-0.597
Let g be ((-40)/(-14))/(3/(-7)). Let m(l) = 2*l**2 - 19*l + 1. Let c be m(9). Which is smaller: c or g?
c
Suppose 3*l - 330 = -354, 815 = -3*s + 5*l. Is -239 >= s?
True
Let a = -257 - -256.6. Let p = 94 - 91.3. Is p bigger than a?
True
Let w(q) = -88*q - 520. Let a be w(-6). Is 0 at most a?
True
Suppose 2453 - 401 = 4*w. Is 513 equal to w?
True
Let s be 18/114*3/(-1). Suppose 38*a = 40*a + 2. Which is smaller: a or s?
a
Suppose 3*q - 913 = 284. Let w = -406 + q. Are -8 and w equal?
False
Let k = -29 - -32. Suppose 0*x + 50 = 5*x - a, k*a = 0. Suppose 4*v = -2*b - 10, -2*b - 2*b + x = -2*v. Is -21/10 <= v?
False
Suppose -5*g - 5 = 0, -11*k + 2*g = -10*k - 5113. Let s be k/(-171) + (-1 - 0). Is -32 at most as big as s?
True
Let k = -6.2 + 55.7. Let w = -50 + k. Is w greater than -2/7?
False
Suppose -2*g - l - 32 = 0, g + 2*l = -8 - 14. Let k = 10 + g. Let f be ((-7)/k)/(1/(-4)). Which is greater: f or 3?
3
Suppose -5*k + 5*x - 20 = 0, -3*x + 0 = 2*k + 18. Let c(m) = -28*m - 168. Let r be c(k). Which is greater: 10/211 or r?
10/211
Suppose -3 = 3*v - 4*a + 1, 5*v = 4*a - 4. Let b be (-21768)/(-24552) - 8/10 - (-4)/(-44). Are v and b equal?
False
Let n be (-5)/4*((-38)/(-28))/(42/144). Is n < -5?
True
Suppose 11*w + 7211 = 61210. Is 4909 greater than or equal to w?
True
Suppose -5*j = 4*h - 8, 0*h = -j - h + 1. Suppose 4*b - j*n - 20 = 0, 2*b + 2 = -0*b - 4*n. Let f be (-2)/b - (-2)/2. Which is smaller: f or -3/4?
-3/4
Let p(v) = -v**2 - 14*v - 19. Suppose 2*s - 4*g = -11 + 1, 4*s + 2*g = -60. Let k be p(s). Let q be (5 + 64)*(14/k - -2). Which is smaller: q or -24?
-24
Suppose -653*c + 60 = -647*c. Which is smaller: 2 or c?
2
Let n = -54021 + 217935/4. Which is bigger: n or 464?
464
Let s(o) be the second derivative of -o**4/12 + 14*o**3/3 - 20*o**2 + 70*o + 2. Let q be s(28). Which is smaller: -118/3 or q?
q
Let q be (2 - (-32)/(-18)) + 14/(-63). Suppose -g + 4 + 16 = -5*c, q = -2*g - 3*c + 1. Suppose 5*s + 15 = -5, -23 = 3*m + g*s. Is m less than 2/45?
True
Let f = 2 + 2. Let n be (1224/300 - 4) + 132/(-275). Which is bigger: n or f?
f
Suppose -a + 3 = 3*h, -3 = -5*h - 0*a - a. Let b be (-2 - h)/(1 - 3). Is -2/315 less than or equal to b?
True
Let m = -16.61 + 0.61. Let y = m + 16.64. Let v = y - 0.61. Is v at most as big as -1/2?
False
Let m = 6.194 + -3.801. Is -0.2 bigger than m?
False
Let w = -662.588 + 498.6395. Let l = w + -0.0515. Which is greater: 0 or l?
0
Let n = -228270/11 + 232834/11. Are n and 414 equal?
False
Let z = 86 - 149. Let g = 111 + z. Let t be g/(-2*(-5)/(-2)) + 2. Is t smaller than -7?
True
Let n = 26 - 23. Let a(z) = 1 - n*z - 2*z**2 + 2*z**2 + z**2. Let o be a(0). Is o less than 1?
False
Let w be (2/(-170))/(13/6)*(-180)/(-18). Which is smaller: w or 1?
w
Let j = 271 + -166. Suppose -480 = -5*i - j. Is 74 equal to i?
False
Suppose -2*p = 6 - 0. Suppose 17*n = -1803 + 6291. Let w = n - 264. Which is greater: w or p?
w
Let k be (8/(-154))/((-8)/28)*(-22)/(-4). Is k smaller than -9/1442?
False
Let u = -197081/116 - -1699. Suppose -15*p + 4 = 19. Is u less than p?
False
Suppose 0 = 4*v - o + 1860, -3*v - 4*o = -7*v - 1860. Let r = 466 + v. Is r at least as big as -3/10?
True
Let j be ((-4775)/(-1146))/(1/12). Is j < 26?
False
Let t be 2 + 1/(-2) + (-33954)/10716. Let c = t - -24/47. Which is smaller: 0 or c?
c
Let v = -2133 - -2130. Do v and 42/25 have the same value?
False
Let u = 0.3367 + -0.0047. Let r = u + -0.232. Is r bigger than 8/3?
False
Suppose -s = 3*f - 273, f - 2*s + 54 - 145 = 0. Let n = f + -292. Which is smaller: -200 or n?
n
Let s be 1*-1 + 29/((-2523)/(-62)). Let x = -18/29 - s. Is x smaller than -280?
False
Let a(b) = -2223*b - 1788. Let v 