 -210. Which is smaller: -29 or m?
m
Let m be -1 + ((-89502)/(-109230) - 2/(-11)). Which is smaller: m or 1?
m
Let t(c) = -c**3 + 6*c**2 + 7*c + 3. Let s be t(7). Suppose -s*v + 4*z + 21 = 1, -2*v - 4*z = 0. Let w be (-1)/v + 12/48. Is w less than 1/3?
True
Let t be (-2)/(1/3*-2). Let l(f) = -40*f + 320. Let j be l(8). Are t and j equal?
False
Let v = -3.231 + -28.479. Let j = v + 34. Let t = 2.3 - j. Which is greater: t or 0.2?
0.2
Let m = -21 + 26. Let u(d) = d + 3. Let h be u(m). Let z(o) = o**2 - 9*o + 1. Let w be z(h). Which is greater: w or 0?
0
Let h be ((-6)/(-9))/((-4)/(-18)). Suppose -5*n + h*n = -80. Suppose 0*k + n = -3*a + k, -a - 2*k - 4 = 0. Which is smaller: a or -11?
a
Let n be (4 - 1 - 0)*(-6325)/550. Is n greater than or equal to 0.2?
False
Let y be 1/((-15)/(-2)) - 1112/15. Which is smaller: y or -73?
y
Let z = -26.56 + 26. Let d = z - -0.76. Is -0.1 > d?
False
Suppose -5*z = -3*h - 10, 2*z - 35 = -z - 4*h. Suppose 2*f + z*c = 25, 3*c - 4 = -5*f + 11. Which is smaller: f or -10/13?
-10/13
Let a be ((-24)/9)/(-7 - -20). Is a bigger than 0?
False
Let r = 171 - 157. Is 61/4 < r?
False
Suppose -3*y = 12, -2*b + 6 = 4*y + 16. Let l be (b + -3)/((-6)/3). Is l != -2/15?
True
Let c = 875 - 2585/3. Which is bigger: 12 or c?
c
Suppose -11*f = -29 + 7. Let j be (f/(-5))/((-14)/(-10)). Is -2/73 <= j?
False
Let c be 12/14*(-5 - (-34)/4). Is c at least 1/20?
True
Let s = 1695 + -1696. Do s and 32/15 have different values?
True
Let u = 21 + 4. Let a be ((-90)/u)/(6/(-80)). Is -0.1 greater than or equal to a?
False
Let q = -1402 + 1403. Which is bigger: 3.44 or q?
3.44
Let m = -1.4662 + 2.4662. Let t be (-6)/4*(-8)/(-174). Which is bigger: m or t?
m
Let u(b) = b**3 + b**2 - 1. Let d(y) = -2*y**3 - 2*y**2 - 3*y + 5. Let k(x) = -d(x) - 3*u(x). Let s be k(1). Are s and -33 nonequal?
True
Let x = -16 - -19. Suppose -5*n = -w - 21, x*w = w + 2*n - 18. Is -14/3 less than w?
False
Let x = 696.8 - 625. Let o = x - 72. Which is smaller: o or 2?
o
Let i = -69.95 - -67. Let y = -0.05 + i. Let s = 2 + y. Which is greater: 1/2 or s?
1/2
Let o(w) = -w**2 + 8*w + 10. Let q be o(9). Let c = -2750 - -192497/70. Let d = 4/35 + c. Which is bigger: q or d?
q
Suppose 5*r + 5*u - 495 = 0, -4*r + 204 = -5*u - 183. Is 99 > r?
True
Let a be ((1/3)/(-1))/((-2)/(-12)). Let o be 0/(-5) + a - 3*-1. Let d be 2 - (-3)/(21/(-17)). Which is smaller: d or o?
d
Suppose 2*m + 2*v = 6*v + 10, 5*v + 6 = -4*m. Which is bigger: m or -4/527?
m
Suppose -3*l = 9, -2*a + 2 = 4*l + 10. Let j = 16514/5 + -3347. Let x = -44 - j. Is a bigger than x?
True
Let m be 10*14/(-35) + 1490/372. Is -1 less than m?
True
Let u be 40/22 + 24/132. Let x be (72/(-5))/(u/(-10)). Let z be (-2)/9 + 1456/x. Do 19 and z have different values?
True
Let s = 19.545 + -0.615. Let o = 19.45 - 0.45. Let z = o - s. Is 0 less than z?
True
Let m = -0.19 + 30.19. Let q = 23 - m. Which is greater: 1/2 or q?
1/2
Let a = 59 + -42. Is a < 15?
False
Let w(x) = 23*x - 24. Let i be w(4). Suppose i = 4*g - 4*p, p = -4 + 2. Which is bigger: 96/7 or g?
g
Let h(z) = -5*z + 50. Let t be h(13). Let p be 2/t - 186/(-45) - -2. Is p < 6?
False
Let r = 20 + -15. Suppose 2*s + 21 = -2*t - s, -r*t = 3*s + 48. Is -3 > t?
True
Let b = -951570/233 - -4084. Let t = b + 207/3029. Is -0.2 less than or equal to t?
True
Let d be 6 - 4 - (0 - 2). Let g be (-5)/(-2) - (-3)/6. Suppose g*q = -12, -3*x + 5*q = -20 - 3. Is x <= d?
True
Let w(r) = -2*r - 36. Let o be w(0). Let l be (44/o + 1)*1. Are l and 0 unequal?
True
Let g = -17 - -16.2. Let f = 1.5 + g. Let c = f - 0.7. Which is smaller: 4 or c?
c
Suppose -3 = -q, f + 49 = 4*q - 48. Is -85 equal to f?
True
Let h be (2/(-2))/(7/(-3) + 2). Suppose -2*z = z - h. Which is greater: -24 or z?
z
Let w = -55 - -51. Let x(z) = 15*z**2 + z. Let b be x(-1). Let n be w/(-16) - b/(-24). Which is smaller: 2 or n?
n
Let j = -795 - -481. Is j < -315?
False
Suppose r + 6 = 4*r. Let t be ((-2)/(-5))/((-28)/(-105)). Let n = r - t. Which is greater: n or 2?
2
Let v(a) = -a - 18. Let w be v(-12). Let d = -7 - w. Let n be -2*-2*d/(-4). Is n bigger than -2/5?
True
Let u be (-7 - 3 - -18) + 0 + -11. Let m = -5399/7 + 769. Is m bigger than u?
True
Suppose 0 = 3*n - 3. Let m = -105 + 108. Which is greater: n or m?
m
Let i(d) = -d**3 - 18*d**2 + 17*d - 38. Let x be i(-19). Which is smaller: x or 1/74?
x
Let f be 3 - -20*(1 + 0). Let q = 31 - f. Is 54/7 >= q?
False
Let a = -45 - -29. Let t be 33/(-12) + (-12)/a. Is t bigger than -3?
True
Let a = -0.436 + 31.436. Which is smaller: -2/5 or a?
-2/5
Let w be 4/16 - 49/148. Suppose 0 = o - 27*o - 26. Which is greater: w or o?
w
Let b = -143 - -869/6. Suppose 0*h = -3*h + 9. Is b at most as big as h?
True
Suppose 3 + 1 = -m. Let s = -14815/3883 - 1/353. Are s and m equal?
False
Suppose -48 = -4*x - 4*u, 2*x + 4*u = 6*u + 12. Which is smaller: x or 17?
x
Let k be (1 + 1)/(1 - (-82)/2). Let t(m) = m**2 - 14*m + 13. Suppose 0 = p - 6*p + 65. Let u be t(p). Is u equal to k?
False
Let q be (20/4 - 900/184)*-4. Is q > -2/3?
True
Let t = 589.999 - 590. Which is smaller: 0.05 or t?
t
Let c = 27.1 + -27. Suppose -3*k = 5*q + 192, -5*q = -k - 4*k + 160. Which is bigger: c or q?
c
Let d be (29 + 1)*(-8)/20. Let h be 22/(-6) + 4/d. Let c be (-4 - h) + (-1)/(-1). Is 15/7 at most c?
False
Let q = -41/4 + 443/44. Let j(s) = s + 7. Let f be j(-12). Let w be f/2*48/(-180). Do q and w have the same value?
False
Let a(d) = -d**2 + 8. Let n be a(0). Let q = n + -5. Suppose 2*u = q*w - 37, 0*u - 57 = 3*u - 5*w. Which is smaller: u or -13?
u
Let v = -56 + 49. Does -0.12 = v?
False
Let p be 0/(-3) + -4*5/(-20). Is p at least -2/197?
True
Let w = -604 + 467. Is -137 at most as big as w?
True
Suppose 77 = 11*u + 66. Which is greater: 3/226 or u?
u
Let q(l) = l**3 + 3*l**2 - l - 2. Let y be q(-3). Suppose 11*t + 198 = 2*t. Let n = t + 25. Is n at least as big as y?
True
Let r(n) = -n**3 - 4*n**2 + n + 3. Let i be r(-4). Let l be i*2/(-2) + 16. Do 16 and l have different values?
True
Suppose -i - 2*i - 36 = 0. Suppose -6*d + 140 = -d. Suppose 5 = -3*b - 2*b, d = -2*r - 4*b. Is i >= r?
True
Let s(k) be the third derivative of k**4/6 - 7*k**3/2 + 18*k**2. Let h be s(4). Let i be (-24)/(-20)*10/(-2). Is h bigger than i?
True
Let z = 8.5 - 10. Let g = z - -1.58. Let u = g + -0.17. Is u != 0?
True
Let j(f) = -2*f**2 + 21*f + 6. Let v be j(12). Let n = 27 + v. Which is bigger: 3 or n?
3
Let k = 265 + -265.3. Is k >= -3.7?
True
Suppose -3*w - 237 - 60 = 0. Let s be (-107)/44 - 18/w. Let g(z) = z**2 + 7*z + 7. Let a be g(-5). Is s not equal to a?
True
Let n(q) = -5 + 2 - q - 5. Let z be n(-6). Let y be 1*((-1)/6)/(22/66). Is z at most y?
True
Let r(z) = -z**3 - z**2 + 3*z - 4. Let q be r(-3). Suppose -5*s + 3*m = -25 - 0, -m + q = 5*s. Let y be 3/s - 75/6. Is -11 < y?
False
Suppose 0 = -2*v + 5*k, 5*v - 3*k = -8*k. Suppose v = 3*i + 3, -1 = 2*l + i - 2. Let g = 405/26 - 31/2. Is g at most as big as l?
True
Let c be (0 - -3) + -8 + -3. Let v be (-27)/(-6)*c/(-6). Let r be ((-8)/24)/(2/v). Is r equal to -6/11?
False
Suppose 4*h = -2*l - l + 39, -5*l - 5*h + 60 = 0. Let t = 2 - -3. Suppose -t*k = -21 - 24. Is l != k?
False
Let j(h) = 5*h + 35. Let a be j(-10). Let t be -10*(-5)/a - -4. Is t > -13?
True
Let s be (-45)/(-60) - 94/72. Suppose 5 = -4*w + 17. Let i = w + -5. Is s < i?
False
Suppose -2 = 4*t - 3*t. Let m(s) = s**3 - 7*s**2 + s - 8. Let v be m(7). Let h be 0/(v/(t/(-4))). Are h and -1/2 nonequal?
True
Let w be (91/(-42))/((-8)/6). Which is greater: -0.1 or w?
w
Let o be (0 - (42 + -6))*7/(-2). Let i(l) = -l**3 - 2*l**2 + 2*l + 2. Let g be i(-4). Suppose -4*j + g = o. Which is smaller: -26 or j?
-26
Let z = 767/5 + -154. Let v = 38 + -29. Let o = 9 - v. Which is greater: o or z?
o
Let b(y) = -14*y + 56. Let i be b(11). Let u(x) = -25*x**2 + 8*x - 13. Let m be u(2). Which is smaller: i or m?
i
Suppose 5*x - 7 = 8. Suppose -4 = -x*u - 16. Let h be (4/(-2))/((-30)/u). Which is smaller: 1 or h?
h
Suppose 3*r + 2*i + 11 = 0, 2*i = 4*r - 1 - 3. Which is smaller: -283 or r?
-283
Let o = -2.39 + 2.5. Let h = 1.11 - o. Let z be 3/(-4) + 0 - 0. Which is smaller: h or z?
z
Let g be 1/(-4) - (4 - 174/24). Suppose -5 = -g*m + 13. Are 4 and m unequal?
True
Let u = 0.1183 + -0.1183. Which is greater: -223 or u?
u
L