-c = -0*s + s - 1. Suppose 3*j + 0*a - a = 8, c = -j - 2*a. Suppose -j*y = u + 3, 2*u - u = 2*y - 7. Which is smaller: 1/5 or y?
1/5
Let t = -305 - -113. Which is bigger: -191 or t?
-191
Suppose 2*m + 446 = 4*d, -3*m - 209 = d + 439. Is m < -216?
True
Let u(k) = -k. Let v(p) = 14*p - 8. Let a(w) = 12*u(w) + v(w). Let c be a(6). Let q be -14*((-7)/c)/7. Is q at least 3?
True
Let i(n) = n**3 - 2. Let v be i(0). Let l be 11/v*(-3 - -1). Let y be (-2)/l - (-120)/1023. Is -1 smaller than y?
True
Let v = 771 - 770. Let a = -10.13 - -0.13. Is a >= v?
False
Let r = 21/34 + -319/544. Which is bigger: 1 or r?
1
Let h = -52 - -49. Let v be 22/24 - (-1)/(-4). Are h and v unequal?
True
Let m(f) = -4*f + 17. Let q = -47 + 51. Let g be m(q). Which is bigger: g or -63?
g
Suppose -3 = 4*j - 5*t, 5*t + 13 = -4*j - 0*t. Let p be (-1 + 3)*(-3 - j). Let x be 2/((p + 1)*-9). Is 1 > x?
True
Let h be ((-81)/(-36) - 6)*(-8)/(-3). Let s be 36/h + 4 - (-324)/(-10). Is -32 at least as big as s?
True
Let c = -3 + 3. Suppose -3*z - z = c. Let d = -8/55 - -6/11. Are d and z equal?
False
Let k = -21 - -12. Let i = k - -9.24. Let u = i + -0.17. Which is bigger: -2/3 or u?
u
Suppose 3*d + 24 = 15*d. Are d and 17 nonequal?
True
Let b = -2463/1430 - -41/26. Let w = 6/11 + b. Let s(n) = -n**3 + 5*n**2 - 4*n. Let g be s(4). Is g equal to w?
False
Let b(n) = -3*n + 5. Suppose l - 6 - 3 = 0. Let q be b(l). Let c be -2 + (-68)/q + -2. Which is smaller: c or -1?
-1
Let a(p) = -p**3 + 8*p**2 - 13*p + 42. Let u be a(7). Which is smaller: u or 3/1000?
u
Let m = -834452/157 - -5315. Is -1 equal to m?
False
Let w = -35.8 + 36.1. Which is greater: -11 or w?
w
Let f be 2*2 + (4 - 80/5). Let y be 4/f*(-10 - 0). Which is smaller: 3 or y?
3
Let t = -25.23 + 25. Let p = t + -2.17. Is p less than or equal to 0?
True
Suppose -22*n - 2736 = -6*n. Is -173 != n?
True
Suppose 46 = -5*z + 3*v, -4*z - 3*v = 22 + 4. Let q = -14 + 8. Which is smaller: z or q?
z
Suppose -42 = 16*a - 13*a. Let t be 4/a - (-13)/(-91). Which is smaller: t or 6?
t
Let c(f) = 1. Let d(l) = l + 7. Let m(t) = -6*c(t) + 2*d(t). Let q be m(-7). Let j be q/1*(-19)/114. Is -2/17 less than or equal to j?
True
Let f = -18 - -16.58. Let k = -1.73 + f. Let a = k + 0.15. Which is greater: 4 or a?
4
Let b(g) = g**2 - 4*g - 4. Let z be b(4). Let j be 3/z + 6/(-24). Let u be -1*(1 - 0)*j. Is -1/8 bigger than u?
False
Let u = 187.6 - 200. Let a = -8.4 - u. Let q = -0.2 + 0.4. Which is greater: q or a?
a
Suppose 3*b - 10 = 11. Let g = b + -3. Let x be (-3)/g + (-375)/(-20). Which is greater: x or 17?
x
Suppose -l - 1 = 2*a + a, 4*l = a + 22. Let u(i) = -i**3 + 6*i**2 + i - 3. Let x be u(6). Let j be (-4)/(-30)*x*-5. Are j and a non-equal?
False
Let g = 53.986 - 54. Let a = 4.014 + g. Is a greater than or equal to 4?
True
Let i be (-4)/(-7)*(-3 - -10). Suppose t - 105 = -i*t. Suppose 70 = -4*x - n + t, 0 = -2*x + 5*n + 3. Is -12 > x?
False
Let a = -0.1631 + 0.1431. Let i = -15 + 11. Is i greater than or equal to a?
False
Suppose -5*g - 942 + 342 = 0. Let q be (10/g)/(2/4). Suppose 0 = 3*m - 3 + 6. Is m less than or equal to q?
True
Suppose -147 = 3*a - 2*g + 4*g, -4*a + 2*g - 196 = 0. Does -49 = a?
True
Let s = -715/1086 + -3/362. Suppose -3*i + 3 = 6. Let a = i - s. Which is bigger: a or -1?
a
Let h = -4 - -2. Let g = -42 - -41. Let d be (-5)/(-5)*-1*(g - 1). Which is greater: d or h?
d
Let c = -1829 - -1503. Which is greater: -325 or c?
-325
Let t = -3.5 + 3.72. Let w = -8.78 - t. Which is bigger: w or -2/5?
-2/5
Let g be (5/(-4))/(((-168)/(-32))/(-21)). Suppose 2*b = -0 + 2. Which is greater: b or g?
g
Suppose -3*q - 28 = q. Suppose 2*y = 3*c - 16, c + 2*c = -y + 1. Suppose 5*r = -4*f - 24, 3*f + 18 = -c*r + 3*r. Is f < q?
False
Let k be (4 - (-115)/(-25))*-10. Suppose 2*c - k = -c. Suppose 7*q - c*q + 50 = 0. Is q >= -9?
False
Let w be 0/(-1)*((-4)/(-2) - 1). Suppose 25*m - 8*m + 17 = w. Is -2/137 less than or equal to m?
False
Suppose -2*a + 12*g = 16*g - 10, -2*a - 17 = -5*g. Is a less than 2/149?
True
Suppose -4*l + 2*s - 160 = l, 145 = -5*l - s. Let t = l + 32. Suppose 28 = -t*r + 4*j + 4, -5*r - 108 = 2*j. Is r less than or equal to -18?
True
Let a = -26 - 7. Let b = -11 - a. Is 0 greater than or equal to b?
False
Let q = -62.2 - -62.6. Which is bigger: 83 or q?
83
Suppose x + 48 = 4*x. Suppose x = b + b. Let g(o) = o**2 - 7*o - 2. Let i be g(b). Is i < 6?
False
Let z be (3 - 17/5)*15. Let l be (2/4)/(7/(-68)). Are z and l equal?
False
Let v = -53/55 + 15/11. Let j(h) = -h**3 + 8*h**2 - 3*h - 29. Let a be j(7). Which is smaller: a or v?
a
Let n = -50 - -52. Let s be (-4)/n*(-903)/(-42). Which is greater: -0.1 or s?
-0.1
Let a = 0.83 + -0.63. Which is bigger: -51 or a?
a
Let t(k) = k**3 + 17*k**2 - 15. Let w be t(-17). Suppose -4*f = 12, -59 = z - 3*f + 6*f. Let y be ((-18)/105)/(w/z). Which is bigger: -2 or y?
y
Suppose -12817 = -27*f + 6434. Is 715 not equal to f?
True
Let a = 9 - 8.1. Let v = 6.76 - a. Let i = v - -0.14. Which is smaller: i or -2?
-2
Let g be 20/20*(-3)/(-12). Let v = -9.14 - -0.14. Is g at least as big as v?
True
Let d be 7/(2436/285) + (-6)/8. Which is bigger: d or -11?
d
Let o = 531 + -522. Which is smaller: -1/3 or o?
-1/3
Let m be (120/(-9))/(-4)*-3. Let a be ((-9867)/44)/23 + (-6)/(-8). Are a and m nonequal?
True
Let z = -38.6 - -35. Let d = z + -0.4. Is d bigger than 1/11?
False
Let i be (-1)/59*(-132)/(-99). Are i and -2 nonequal?
True
Let b be 0/9*(-6)/36. Is b less than or equal to -2/1135?
False
Let n = -73 - -73.15. Let b = n + 2.65. Is b equal to 2/5?
False
Suppose 9 - 34 = -25*u. Do -2/341 and u have the same value?
False
Let g = 30.977 + 0.023. Let w = 30.8 - g. Are w and 1/19 non-equal?
True
Let d(n) = -3*n + 4. Let b = 5 + 5. Let x be b + -6 + (0 - -2). Let z be d(x). Is z < -14?
False
Let u be -2 + 1 - (-1214)/(1 + -2). Let i be (1/(-3))/((-5)/u*-3). Is i > 26?
True
Suppose g = 5*k - 2*k, 3 = g. Let d be ((-29)/348)/(1/2). Do d and k have different values?
True
Let q be (13 + -1)*(-28)/(-21). Suppose 11*b = q*b. Is 0 less than b?
False
Suppose 0 = -2*s + 2*t + 2, s + 2*t - 10 = -0*t. Let x be (-18)/s - (-60)/15. Let d be (-1 + 2)/(3/(-6)). Which is smaller: d or x?
d
Let m = 81 - 54. Let p be m/(-21)*(-77)/(-44). Let u be 2*(1 + -2)/1. Is u greater than or equal to p?
True
Let j = -271 - -224. Which is bigger: j or -44?
-44
Suppose 3*z - 19 = -49. Let f be ((-72)/(-16))/((-1)/z). Which is greater: f or 44?
f
Let y = -13.23 + 13.73. Which is greater: y or 5/8?
5/8
Let c be (-2)/(-3) + 16/(-6). Suppose 3*q - 20 = -3*z - 5, -2*q - 6 = -2*z. Let n be 2/z + (-18)/12. Is n at least as big as c?
True
Let b be 2/((-2)/3) + -4. Let s(t) = -t**3 - 7*t**2 + t + 7. Let z be s(b). Which is bigger: z or 7/19?
7/19
Let v = -47 + 54. Suppose -2*w - v*w + 9 = 0. Which is bigger: w or -2?
w
Let c = 3 + -13. Let a = -12 - c. Let r be 0/2 + a/37. Is r at least -1?
True
Suppose 19 = u + 5*z, -3*u + 8 = -2*z + 2. Let n be -2 + 0/7 + u + -2. Is 3/19 not equal to n?
True
Let z = -455 + 7271/16. Is 0 bigger than z?
True
Let v be 0*(-1 - (-3)/2). Suppose -27*y - 72 = -21*y. Let w be -2*(-7)/(392/y). Which is smaller: w or v?
w
Let z be 13 + -7 - 1/((-3)/(-16)). Which is smaller: -9/4 or z?
-9/4
Let s = 39.9 + -39.1. Which is smaller: s or -12?
-12
Let n = -2740 - -202757/74. Let u = 15 + -15. Which is smaller: n or u?
n
Let f(h) = -h**3 - 17*h**2 - 32*h - 36. Let i be f(-15). Let c be (-1 + 3)*i/4. Suppose 3*d + 11 = n, 2*d + n + 7 + 2 = 0. Are d and c equal?
False
Let l = -27517/32 - -860. Let g = l - -5/288. Let i be (-1)/3*((-6)/2)/(-1). Is g equal to i?
False
Suppose 0 = -5*r - 4*z - 75, -3*r + 5*r + 3*z = -37. Which is smaller: -57/5 or r?
-57/5
Let l be (-60)/2*(-74)/(-2562). Let r = l - -18/61. Suppose 0 = 3*x + 2 + 4. Is r <= x?
False
Let o = -227 - -107. Are o and -120 nonequal?
False
Let o(c) be the third derivative of -c**6/120 + c**5/60 - c**4/24 + c**3/6 + 6*c**2. Let l be o(1). Is l bigger than 5/12?
False
Let i = 33 + 2. Let y = 22 - i. Let o = -13 - y. Which is bigger: o or 2/19?
2/19
Let x(d) = 2*d - 75. Let b be x(28). Suppose -u - 28 = 3*q, 4*u + 2*q + 85 = -q. Is u at most as big as b?
True
Let a = -0.1746 - -6.1746. Which is smaller: a or -4/21?
-4/21
Suppose 3*q + 5 = -i, -4*q = i + 6 + 3. Let l be