1*c - t = 25*c, -3*z + 2*c - 11 = 0. Which is smaller: -42/5 or z?
-42/5
Suppose -u - u + 3364 = -4*k, -4*k = -u + 3366. Let g(q) = -158*q**2 - 609*q + 64. Let b be g(-5). Which is smaller: k or b?
k
Let g = -258 + 167. Let o = 189 + g. Is 97 equal to o?
False
Suppose 5*i - 1803 + 448 = 0. Suppose -i*s = -273*s - 974. Do -488 and s have the same value?
False
Let v = 1084 + -1084.1. Is 3951 smaller than v?
False
Let r(g) = 587*g + 5969. Let b be r(-12). Which is greater: -1073 or b?
-1073
Let a(t) = t**3 + 8*t**2 + 4*t - 44. Let s be a(-6). Suppose -3*f = -2*w + s, -f - f - 5*w = -10. Which is smaller: 15/19 or f?
f
Let s = 8.27 - -61.59. Let f = s - 0.86. Is 0.1 greater than or equal to f?
False
Suppose 5*u - 3*m - 913 = 107, 5*u + 4*m = 985. Let d = 184 - u. Is d less than or equal to -31/2?
True
Let m be ((-5)/30*-290)/(120/(-90)). Is -36 > m?
True
Let a be -4 - (-48)/6 - (-21)/14*-2. Is 1/993 at most as big as a?
True
Let i(j) = -j**3 - 8*j**2 - j + 30. Let t be i(-7). Let u be (-2)/20*t/18*-1. Which is smaller: u or 0.7?
u
Suppose 0 = 7*c - c + 108. Let p be c/(-2) + -11 + (-27)/(-3). Which is greater: p or 0.5?
p
Let m = 503 - 503. Suppose 196 = -i - 4*i + 2*s, -3*i - 4*s - 128 = m. Let r be -1*6/4*26. Is i at most as big as r?
True
Let l(n) = 60*n**2 - 27*n - 943. Let o be l(-19). Is o >= 21228?
True
Let r = -0.4 + 0.39. Let d = -0.15 + r. Let p = -90634/7 + 12948. Which is bigger: p or d?
p
Let n be (2/(-15))/((-60)/4089710). Let x = -9089 + n. Let j = 8/15 + x. Which is smaller: j or -15?
-15
Let c(o) = -6*o**2 + 82*o + 87. Let m be c(-1). Is m equal to -22/431?
False
Let j = -38 + 77/2. Let s = 569.9 - 532. Let z = 6.9 - s. Is z < j?
True
Suppose 5*n - 8 = 2*v - 23, -4 = 4*n. Let m(f) = f**3 - 6*f**2 + 4*f + 2. Let w be m(v). Let a be -4 + 24/28 - w. Which is smaller: a or 2/5?
a
Suppose -8*t + 166 - 174 = 0. Let r = -46 - -64. Let s be ((-2)/3)/(280/r). Which is smaller: t or s?
t
Let i be ((-6)/(-22))/((-186)/(-1364)). Let u = 1439/1022 - -3/146. Is i bigger than u?
True
Let c be (132/(-70))/(152/(-1007)). Let x = 1/140 + c. Let h = -9/19 + -1/38. Is x smaller than h?
False
Let w = 176.23 + 19.68. Let q = 196 - w. Is 0.3 at most as big as q?
False
Let h = -2 - -4. Let j(z) = -10*z - 152. Let y(f) = -10*f - 151. Let s(k) = 3*j(k) - 2*y(k). Let n be s(-18). Which is smaller: h or n?
h
Let j = 464 - 404. Let d = 60 - j. Let z = 2/175 - 8/75. Which is smaller: d or z?
z
Let s be (-78)/(-8) + 12/48. Let c(w) = w**3 - 11*w**2 + 11*w - 15. Let q be c(s). Let d = -15 + q. Which is smaller: -18 or d?
d
Let h = -1/129 - -44/129. Is 116/31 at most as big as h?
False
Let c be -2 + (2 - 2) - 4320/(-1800). Is c equal to -169?
False
Let u = -4237 + 4532. Is 1175/4 greater than u?
False
Let u(l) = 7*l**2 - 139*l + 963. Let g be u(38). Is 5790 greater than g?
True
Suppose -28*u - 406 = -5*s - 24*u, -3*s - 5*u = -251. Suppose s - 194 = -4*h. Is h bigger than 175/6?
False
Let m be (-40)/90 + (-28230)/27. Let s = m + 732. Is s != -315?
True
Let i = 0.37 - -163.63. Let m = i - 164.07. Which is smaller: m or -0.09?
-0.09
Let f be (0 + 3)*(-2 + (-68721)/(-34308)). Let l = f + -231119/468876. Let m = l - 2/123. Which is bigger: m or -2/105?
-2/105
Let c be ((-2)/25)/(108/15). Let a(l) = l**2 - 10*l - 31. Let y be a(13). Let p be 2/y + 42/(-168). Is p smaller than c?
False
Let w be -102*(-2)/(-1*56). Let i(r) = 25*r**3 - 296*r**2 - 45*r - 41. Let d be i(12). Is d smaller than w?
True
Suppose 2*f - 11678 = 105*w - 102*w, -15564 = 4*w - f. Is -3891 at least as big as w?
False
Let p = -23.8 + 45. Let c = p + -24. Let q = c + 2.9. Which is smaller: 10 or q?
q
Let v = -45 - -3. Let i = 1.89 + -49.89. Let f = i - v. Is f greater than or equal to 3?
False
Let h(r) = 96*r - 22. Let y be h(2). Are 165 and y nonequal?
True
Suppose 3793 - 3973 = -60*x. Suppose 2*y - y = 0. Suppose y = 5*r + 18 + 32. Which is smaller: x or r?
r
Let i = -1527.523 - -1527.5. Which is smaller: i or 143?
i
Let a(i) = -i**3 + 13*i**2 + 30*i - 1. Let v be -1*((-12)/4 + -12). Let g be a(v). Is g > -2/115?
False
Let g = -2/1147 - -612/1666591. Let j(u) = 2*u**3 - 114*u**2 + 634*u - 1121. Let p be j(51). Is g smaller than p?
True
Let r(z) = 7*z**3 - z**2 + z + 1. Let x be r(-1). Let u be 1 + 0 + -5 + 72. Let v be (-10)/25 + u/(-10). Which is smaller: x or v?
x
Let j = -2813/14 + 4539/14. Let h = j - 123. Which is smaller: h or 15?
h
Let l(d) be the second derivative of 7*d**3/6 + 35*d**2/2 - 104*d. Let o be l(-5). Is o greater than 8/93?
False
Let h = -7037 + 6979. Suppose 170 = 4*w - 7*w - n, -166 = 3*w + 5*n. Which is bigger: w or h?
w
Let v(x) = -x**3 + 14*x**2 - x + 5. Let b be v(14). Let l(d) = d + 17. Let m be l(b). Suppose a + 4*a = 25. Which is smaller: a or m?
a
Let j be -11 - (-39405)/126 - (130/(-42) + 3). Which is greater: j or 303?
303
Let c = -7.642 - 10.358. Which is bigger: c or 35.6?
35.6
Let l = -51 - -60. Let f(p) = p**3 + 17*p**2 - 18*p + 9. Let r = 37 - 55. Let h be f(r). Are h and l nonequal?
False
Let k = 119 - 69. Let y = -6766 - -6817. Is k > y?
False
Let f = -184/127 + 24980/16891. Do f and 0 have the same value?
False
Let d = 2135 + -1481. Let c = 717.2 - d. Let z = c + -2.2. Is z < -1/3?
False
Suppose -3*g = -7*g - 12. Let y be (4 + 9/g)*3. Suppose 5*r + 5*p + 15 = 0, r - p = -0*r + y. Is -1/20 less than or equal to r?
True
Let d = 14.7 + -131.7. Let u = 74 + d. Let y = u - -43. Is 1/10 != y?
True
Let j = 2318188/245 + -9462. Which is smaller: j or 0?
j
Let u = 6155 + -6024. Which is smaller: u or -1/28?
-1/28
Let i(c) be the first derivative of 17 + 1/2*c**2 - 6*c - 1/3*c**3. Let o be i(4). Is o != -19?
True
Let d = 5429 + -5451. Which is smaller: d or -398/19?
d
Let w = -866063/7 - -124063. Let b = w + -340. Which is bigger: b or 0.124?
0.124
Let s = 1 - 1.8. Let r = s - -0.5. Let z = 0.763 - 0.463. Which is bigger: r or z?
z
Suppose 0 = -5*h + h + 168. Let p = -40 + h. Suppose p*y - 9 - 3 = 0. Which is bigger: -3 or y?
y
Suppose 4*r - 164 = -4*v, -4*r + 5*v + 215 = r. Suppose 0 = -2*z + 5*n + 36, -40*z + r*z = -4*n + 72. Which is greater: 27 or z?
z
Let m = -13.82 - -14. Let y = m - 0.37. Let b = 0.33 + y. Is b smaller than -0.1?
False
Let m be (-7)/(-35) + 124/(-645). Let s(g) = 16*g**2 - 80*g - 1. Let d be s(5). Is m less than or equal to d?
False
Suppose -3*x + 12 = -4*t, -3*x + 5 = 2*t - 7. Let k = 1925636063/745 + -12919082/5. Let q = k + -930. Is q != t?
True
Let b be 10/(((-15)/24)/(105/(-84))). Is 268/13 less than or equal to b?
False
Suppose -2*p - 5*c + 17 + 14 = 0, -5*p = -3*c - 93. Suppose 3196 = 14*o - p*o. Is -799 bigger than o?
False
Suppose 0 = 3*v - u + 4*u - 24, 0 = 3*v - 4*u + 11. Let t be (-102)/(-12) - v/(-2). Is t < 4?
False
Let k be ((-36)/(-21))/((-2)/(-28)). Suppose -2*c - r = 29, 4*r - k = c + c. Suppose -3*n - 41 = q - 5*q, 5*q + 12 = -2*n. Which is smaller: c or n?
c
Let q = 3.2 - 3. Let s = 0.8 + q. Let a be ((-18)/(-21))/(9/189). Which is smaller: s or a?
s
Let d = 37750 - 33299. Is d < 4451?
False
Suppose -3*f + 4*k = -50 + 73, -9 = 4*f - k. Which is smaller: f or 54/121?
f
Suppose -5*i - 4 + 29 = 0. Suppose 3*m - i*x - 27 = 0, 2*m - 12 = -5*x + 6. Let b(r) = r**3 - 15*r**2 + 28*r - 15. Let k be b(13). Which is greater: m or k?
k
Let m = 1.97 - 17.07. Let a = m + 27.7. Let g = 13.6 - a. Which is bigger: g or 9?
9
Let k = -346059/121 - -2860. Is k >= 1?
False
Let m = 1636 + -1664. Do m and -33 have the same value?
False
Let u = 0.9 - 0.2. Let v = 0.3 + u. Let n = 17470/17 - 192272/187. Which is smaller: n or v?
n
Let u = -32.76 + 32.86. Is -0.0895 at least u?
False
Suppose 3102 = -9988*q + 10054*q. Let r be 2/20*458/1. Is q at most as big as r?
False
Suppose -c + 0*c = -5*n - 9, 0 = 2*c - n. Let a be 0/(1 - -2) - (c + 8). Let t be (-6)/(-33) + (-4)/22. Which is smaller: t or a?
a
Suppose 0 = i - 2*r - 24, 5*r + 18 = 2*i + 7*r. Let j(z) = 136*z - 1070. Let o be j(8). Is o greater than i?
True
Let q be (2742/4 - -9)*(-1 - -3). Which is greater: q or 1386?
q
Suppose r = 2*t + 1, -4*t + 7*t - 3*r + 9 = 0. Suppose -6*y = -4*y - t. Is -1/168 at least y?
False
Let o = 7193 - 7193. Which is smaller: 6/341 or o?
o
Let u be (9/15)/((-130)/(-25)). Let t = -69 - -74. Suppose -j = 4*j + t. Is j smaller than u?
True
Let k be ((-300)/(-9))/(17/