pose -8*h + 840 = -s*h. Which is smaller: -118 or h?
h
Let a(o) = o**2 + 7*o - 71. Let t be a(-14). Let r = t + -27. Let k be (4/(-268)*-1)/1. Is k >= r?
True
Let o be ((-4)/(-35))/(12/10). Suppose m + 225 = -310. Let t = m + 534. Which is greater: o or t?
o
Let v be (1/(-2))/((-8)/(76 - -4)). Suppose -v*f - 36 = -41. Is f greater than or equal to -1/17?
True
Let d = 286.9 + -286. Let h = -2.1 - d. Is -0.42 at least h?
True
Suppose 103*v - 441 = 575 + 1971. Suppose -2*s - 5*f = -19, -s - 5*f + 9 = -4*s. Suppose 78 = s*d + 20. Is d at least as big as v?
True
Let g = -7088 + 7087. Is g greater than 2/2199?
False
Let l = -5075 + 3122. Let h = -439426/225 - l. Is h equal to 1?
False
Let w be 4/7*(-108654)/(-65). Which is smaller: 956 or w?
w
Let x = -284.1 + 410.1. Which is bigger: 4 or x?
x
Let u = 12754.9 - 12755. Which is smaller: -7328 or u?
-7328
Suppose 12091 = -2*c - 5*p, 2*c - 7220 = p - 19329. Let n = 78643/13 + c. Is -3 at least n?
True
Let o = 18 - 27. Let t = 187917/7 + -26845. Which is smaller: t or o?
o
Let o be 400/18 - (-256)/(-288)*(-2)/(-8). Is 21 > o?
False
Suppose 758*m = 757*m, 4*s + 8 = 5*m. Which is bigger: s or -135/113?
-135/113
Let g = -366 - -216. Let c = 150.4 + g. Which is bigger: 1 or c?
1
Suppose 0 = -32*v + 26*v + 24. Suppose -48 = v*n - 84. Is n greater than 9?
False
Suppose -4 = -k, 4*k - 3294 = -d + 3*k. Let m be 12/9*21/d. Let u = m - 143/235. Which is smaller: u or -4?
-4
Let n be (28/24940)/(95/(-475)). Which is bigger: 0 or n?
0
Let l(f) = -f**3 - 10*f**2 + 2. Let d be l(-10). Suppose 5*y = -5*g + g + 13, -d*g + 5 = y. Suppose -7*i = g*i - 270. Is 30 equal to i?
True
Let z be 9711/6060 + (-5 - 136/(-40)). Which is bigger: z or 0?
z
Suppose 2274 = -5*y - 3*z, 0 = -2*y + z - 1079 + 187. Which is greater: y or -444?
-444
Suppose -10 = 2*p, -p + 14 = 4*v - 3*p. Let u be (v + -15)*(-224)/(-64). Which is greater: -47 or u?
-47
Let l be ((-2)/8)/(9/24). Let n = -0.831 + 44.831. Let d = 14 - n. Which is smaller: l or d?
d
Let i = 1213 - 1213. Which is smaller: i or 2/655?
i
Suppose 3 + 18 = 2*f + 3*a, -4*f = 2*a - 30. Let n be 1 - 2/((-4)/f). Let s = n + 11. Are 14 and s nonequal?
True
Let x be ((-2)/5)/(4/(-40)). Let g be (-1)/x - ((-20)/16 - -1). Which is smaller: g or 1/30?
g
Let q be (-134)/(-252) + 1/(-2). Let k = 172 + -167. Let p be (0 + 0)/(30/k - 5). Which is bigger: q or p?
q
Suppose 7*v - 16*v = 7*v + 16. Which is smaller: -7/1256 or v?
v
Suppose 0 = -z - 59 - 7. Let k be (4/(12/1))/(2/z). Is k at least 7?
False
Let a(s) = 341*s**2 - 78*s - 18. Let p be a(5). Is 0.1 bigger than p?
False
Let h(n) = -2*n**3 + 123*n**2 + 55*n + 51. Let q be h(62). Is -397 < q?
True
Let r(v) = -v + 3. Let z(p) = -6*p + 21. Let g(w) = -27*r(w) + 4*z(w). Let j be g(0). Let b be (-1)/(-1)*23/(-7) + j. Which is smaller: b or -6/23?
b
Suppose -q + 73*l = 77*l + 7, l = -3*q + 1. Is q at least as big as 2/543?
True
Let j = 0.03 + -0.03. Let w = 1.99 - 2.82. Let p = w - -0.83. Is p greater than j?
False
Let k = -37 + 47. Let r(d) = 66 - 40 + d**2 - k*d + d. Let i be r(8). Are i and 17 equal?
False
Let i be ((-2)/4 - 0)/(480/113640). Which is smaller: i or -117?
i
Suppose 342 - 111 = 11*g. Let r be (-9360)/42 + (-3)/g. Which is greater: r or -224?
r
Let a be 2/7 + (-24)/182. Let f be (-7 + -1)/(38/76). Let x be (-2 - -2)*f/32. Is x >= a?
False
Let u be -6 + -6*(-4 + (-35)/(-10)). Let q(o) = o**2 - 9*o + 10. Let k be q(7). Let g be 1*k/12*u. Is -1.11 less than g?
True
Suppose -9*s - 72 = -13*s. Let d be 6/(-4)*(-24)/s. Let f be (-34)/(-46) + (-4)/(d + 2). Which is bigger: 0 or f?
0
Let w = 12256517/3299165 + -873/235. Is 1 smaller than w?
False
Let i = 31351/10 - 3127. Let s = -43/5 + i. Which is greater: -22/5 or s?
s
Let p = 4023/271745 - 11/695. Let t be ((0/(-7 - -15))/(-2))/(10 + 14/(-1)). Which is bigger: t or p?
t
Let l = 143 - 203. Let n be 1/(-5) - 6057/l. Let i = 98 - n. Is -2 > i?
True
Suppose 96*a - 1011 = -196 + 241. Let s = 3 + 11. Is a less than or equal to s?
True
Let y = 0.03475 + 0.96525. Is y at most as big as -48.63?
False
Let w be (-1)/3 - 42/(-198). Let l(i) = -21 + 4*i - 4*i**2 - i**3 + 16 + 12 - 2*i. Let v be l(-4). Which is bigger: v or w?
w
Let a = 0.6 + -0.28. Let z = -9.48 - -10. Let b = z - -0.48. Is a at least b?
False
Let z be (52/182 + 9/(-7))*1. Is z at most as big as 4/1179?
True
Let z(h) be the first derivative of h**2/2 - 23*h - 20. Let g be z(20). Let j be 113/g - (-22)/33. Which is smaller: j or -38?
-38
Let n(v) = -v**3 + 4*v**2 + 161*v - 331. Let r be n(2). Which is greater: r or 8274?
8274
Suppose 2*z = -4*b - 277 - 27, 2*b = 3*z - 152. Let t = b + 86. Let s be (-4*(-2)/t)/((-4)/20). Are s and -3 unequal?
True
Let b(k) = k**2 + 6*k + 1. Let n be b(-5). Let w be n + 674/184 + 1/4. Is -57 at least as big as w?
False
Let i(l) = -8*l + 47. Let q be i(5). Let n(g) = -21*g - 19. Let k(o) = 4*o + 4. Let f(r) = -11*k(r) - 2*n(r). Let a be f(-6). Is a bigger than q?
False
Let i(v) = -2*v**3 + v**2 + v. Let s be i(2). Let t = s - -4. Let u be (437/92)/(3/(-4)). Are u and t nonequal?
True
Suppose 0 = -47*m - 65*m - 228144. Which is smaller: -2036 or m?
m
Let p = -38129 - -49377057/1295. Is p not equal to -1?
True
Let r = -57532 + 310270077/5393. Is -1 smaller than r?
True
Suppose -74*t - 7 + 7 = 0. Does 13/53 = t?
False
Let z be (-24)/10*(16 + 2087273/(-130456)). Is z != 1?
True
Let g(k) = 264*k - 3968. Let i be g(15). Does -516/77 = i?
False
Let k(o) = -o**3 - 67*o**2 + 70*o + 245. Let f be k(-68). Which is smaller: 138 or f?
f
Let u(d) = -2*d**3 - 14*d**2 - 15*d - 17. Let o be u(-6). Which is bigger: o or 4/2333?
o
Let t be (84232/15660)/((-160)/(-100)). Let m = -91/27 + t. Which is smaller: m or -1?
-1
Let q be (2 - 1)/((-3 - -1)/(-14)). Suppose q*t - 6*t - 913 = 0. Let b = 79433/87 - t. Is 1 at most as big as b?
False
Let s be (-46)/((45/(-75))/((-9)/20))*2. Which is greater: s or -492/7?
s
Let v be (0 - -2)*(3 - 0). Let q = -1 + v. Suppose 1033*h = 1036*h - y + 1, 4*h + 27 = 5*y. Which is bigger: q or h?
q
Suppose -33*h + 41695 = 4273. Which is bigger: 1136 or h?
1136
Let s be (0 - (-3)/(-5))/((-363)/1210). Let b be 28/70*10*s/4. Let a = -0.1 + 0.1. Which is smaller: a or b?
a
Suppose -11*f - f + 12 = 0. Which is smaller: 3/113 or f?
3/113
Let s = -705.8 - -48.8. Let o = 656.7 + s. Which is bigger: -18.5 or o?
o
Let b(f) = f**3 - 72*f**2 + 71*f + 959. Let m be b(70). Is -3873 >= m?
False
Let g = -29670 + 29669. Is -88 != g?
True
Let s = 23.71 + -33.74. Let u = s - -9.3. Let i = -30.9 - -31. Is u < i?
True
Let f = -4 - -4.2. Let x = f + -0.6. Let p = -0.27851 + 0.17851. Are x and p non-equal?
True
Let t = 4 + -2. Let u be (1 - (-28 - t))/4. Suppose -89100 + 88722 = -54*i. Do i and u have the same value?
False
Let f = 15428 - 15427.63741. Is 0.1 greater than f?
False
Let r(c) = 4*c**2 + 81*c - 54. Let f be r(-18). Is f < -869/4?
False
Suppose 8*n - 13470 = -f + 19*n, 3*f + n = 40512. Is f < 13503?
False
Let m be 168/(14/1)*194/4. Let j = m - 588. Which is bigger: -11 or j?
j
Let a be (-8)/(-36)*9 + 2. Let w = -44 + 83/2. Which is smaller: w or a?
w
Let c = -0.03257 + -1.96743. Is c bigger than -1/5?
False
Let r = -183 - -183. Suppose -w + r*w + 5*u - 47 = 0, -5*u = 4*w + 263. Is w equal to -62?
True
Suppose 0 = -h + 2*d + 2*d + 14, 2*d - 26 = -5*h. Suppose h = -4*p + 14. Suppose -2*z - 5*n - 4 = -6*n, -p*n + 9 = -5*z. Is -55 greater than z?
False
Let l = 988 - 982. Suppose -l*a - 158 = -176. Is a <= 14/5?
False
Let r(u) be the first derivative of -u**2 + 18*u + 20. Let y(t) = -t**2 - 9*t + 19. Let v be y(-10). Let c be r(v). Are 5 and c unequal?
True
Suppose -3*g - 4*c - 128 = 0, -3*g + 2*c - 76 = 94. Which is smaller: 9.4 or g?
g
Let c be (26/4 - 7)*16 - (-4896)/621. Let s = 2 + -3. Is s not equal to c?
True
Suppose 4*x - d = 61, -3*x + 6*d + 36 = 2*d. Let i = 29 - x. Let q(u) = -240*u + 8415. Let m be q(35). Which is smaller: m or i?
i
Let w be (-16)/578*((-15)/12 + 1). Suppose -20 = -4*u - 0*u. Suppose -3*i - 2 - 10 = 0, -3*a - 2*i = u. Which is smaller: w or a?
w
Let r(z) = -73*z**2 + 31*z**2 + 43*z**2 + 9*z + 19. Let s be r(-5). Are 3/56 and s non-equal?
True
Suppose -c + 2598 = 3*r, 4*r - 511 = -2*c + 2951. Which is smaller: 868 or r?
r
Let j be (-2)/(-18) - 1189580/(-5220). Is 232 > j?
True
S