 most as big as h?
True
Let d = -6.05 - 243.95. Let a = 247 + d. Let j = -2 + 5. Which is smaller: a or j?
a
Let a(c) = 41*c - 1448. Let m be a(58). Is m >= 2?
True
Let n be 11/(-132) + 415083/36. Let t = n - 1083831/94. Which is smaller: t or 0?
t
Let m be -6*((-3848)/8604*3 + (-36)/(-27)). Which is greater: m or -1?
m
Let u be 52/8 + -4 - 2. Let a = 750 - 631. Which is greater: u or a?
a
Let m = -15.742 + -0.158. Let s = -16 - m. Let d = -530 + 592. Is s equal to d?
False
Let y = -9658.1 - -9658. Let z = -12.79 - -11.4. Is y equal to z?
False
Let y = -739242 - -739863.062. Let b = -621 + y. Which is smaller: b or 0?
0
Let y(s) = -s**3 - s**2 - s - 3. Let d be (63/(-12))/3 - (-2)/(-8). Let o be y(d). Suppose -25 = i - 6*i + o*n, -i = 2*n - 5. Is 3 smaller than i?
True
Let y(b) = 3*b**2 - 6*b + 0 - 6 + 9. Let u be y(3). Suppose u = -8*o + 11*o. Is 5 equal to o?
False
Suppose 0 = 12*g + 113 - 665. Let d be (-10 + (-3353)/(-336))/((-1)/g). Which is smaller: 2 or d?
d
Let f(m) = m - 31. Let h be f(16). Let j = 16 + h. Which is bigger: 4/13 or j?
j
Let w be 3/6*4 - 0. Let h be w - (-3)/(-18)*13. Let z = 775 + -776. Is h equal to z?
False
Let z = -518621 + 797120507/1537. Which is greater: 1 or z?
1
Let q be 87/1 - (-7 + 9). Suppose -4*z + q + 59 = 0. Suppose 2*i + 54 + z = 0. Do -46 and i have the same value?
False
Let u be (4/16)/(-1 + (-4284)/(-16)). Is u at least as big as 1?
False
Suppose -17*w + 32 = -14*w - 5*d, -2*d - 17 = 3*w. Is w > -4/1581?
False
Let n be 11/6 - (-1 - -1). Suppose 0 = -5*a + f + 20, 0 = 4*a - f + 1 - 18. Suppose k - 4*v = a*k - 14, 0 = -5*k - 5*v + 25. Which is greater: k or n?
k
Let n = 6216 - 31237/5. Does -32 = n?
False
Let h(a) = -7*a**2 - 21*a - 5. Let w(d) = 4*d**2 + 11*d + 3. Let x(u) = -6*h(u) - 11*w(u). Let t be x(2). Let g = 3/524 + -155/4192. Which is smaller: t or g?
t
Let x = -4390 + 4380. Let q = -76/41 - 2297/287. Is x greater than q?
False
Let f(m) = m**3 - 3*m - 2. Suppose -39*b = -42*b + 15. Suppose 0*c = -4*p - 3*c + b, 9 = 3*p + 4*c. Let v be f(p). Which is bigger: -3/14 or v?
v
Let t be 21/33 - ((-459)/(-99) - 5). Which is greater: t or -36?
t
Suppose 4*n = -5*p + 1806, 3*p - 122 = n - 599. Is n <= 457?
False
Let j be (32/(-12) - -2) + (7520/(-255))/(-16). Which is smaller: 0 or j?
0
Let l be (-279 + 277)/((-2)/(-17208)). Is l at most as big as -17207?
True
Let l(s) = 2*s**3 - 3*s**2 + 3*s - 2. Let j be l(2). Which is bigger: -1/54 or j?
j
Let a = 27221/108056 - -8/1039. Is 1 at most as big as a?
False
Suppose 3*s - 15*s + 2*s = 0. Which is greater: s or -1/20857?
s
Let t = 1292 - 895. Let a = -292 + t. Is 105 < a?
False
Suppose -k = s + 1, s + 6*k - 8*k = -1. Let l(f) = f**3 + 6*f**2 + 11*f + 29. Let q be l(-5). Is s greater than q?
False
Let d = -7 - -26/3. Suppose -4*r - 5*t = 13, 4*r - 28 = 3*t - 1. Suppose 3*y + 8 = 2*p + r, 0 = 2*p - 5*y - 7. Are d and p unequal?
True
Let s = 0.1571 - -69.7429. Let r = s + -59. Let f = r + -11. Is f bigger than 1.8?
False
Suppose -4*b = 3*x - 120 + 15, -3*x = b - 114. Suppose -8*u = 5*u - x. Is u != 3?
False
Let h(k) = 196*k + 1764. Let d be h(-9). Which is greater: d or 6/121?
6/121
Let p be (-3)/(-6)*(-10 + 3 - -9). Let h be ((-15)/(-5965))/(9/6). Which is smaller: h or p?
h
Let f be -4 - ((-3)/5)/(-5*(-12)/300). Let s(a) = -a**3 - 2*a**2 + 4*a + 6. Let h be s(-4). Let b be (-1)/2 - h/(-32). Is b greater than f?
True
Suppose 488*z = 487*z + 4. Suppose -z*r = -14*r - 10. Does r = 8/57?
False
Suppose 15*n + 18310 = 83*a - 78*a, -5*a + 18290 = 5*n. Which is smaller: a or 3653?
3653
Let i = -7211.4 - -7212. Which is greater: i or -215?
i
Let t be 3/(33/(-2)) - (-28)/33. Which is bigger: 46.3 or t?
46.3
Let n = 26313/2 - 13157. Which is smaller: n or 638?
n
Suppose -159*n + 167*n = -3440. Which is bigger: n or -861/2?
n
Let b(w) = -5*w**3 - 387*w**2 - 148*w + 461. Let o be b(-77). Which is bigger: o or -8101?
o
Suppose -2294 - 346 = -6*x. Let v = x + -881/2. Which is greater: -93 or v?
v
Let p(h) = -h**2 - 56*h + 4133. Let t be p(-100). Is t at most -272?
False
Let c = -5058.16 + 5056. Is 1 greater than or equal to c?
True
Let u(w) = -w**3 + 14*w**2 - 27*w + 8. Let t be u(2). Is t not equal to 23/16?
True
Let r be 16/(-128) + ((-122)/112 - -2). Suppose -3*y - 3*v = -5*v + 4, 5*v - 21 = 2*y. Is r greater than y?
False
Let m(i) = -134*i + 3639. Let t be m(27). Is t at most as big as 389/18?
True
Suppose 1908 = -4*t + 1956. Is 25 bigger than t?
True
Let k be (12/8)/((-12)/(-40)). Suppose 6 = -5*t - c, k*t + 5*c + 1 = -9. Let d = -257215/349 - -737. Which is smaller: d or t?
t
Suppose -3*g - 2 = -14. Let k be g/((-8)/3)*-46. Suppose -5*t - 76 = k. Which is greater: t or -30?
t
Let z = -4800 + 4801. Which is smaller: z or -900?
-900
Let n be (148986/90)/(3/(-5)). Is n at most -2761?
False
Let x = 0.361 - 136.361. Let y = x + 139. Which is smaller: y or 0.032?
0.032
Let h be (-15)/6*8616/(-90). Let c = h - 238. Are c and -0.1 non-equal?
True
Let y(q) = -2*q**3 + q**2 + 4*q - 7. Let o be y(3). Let c = o - -91. Does c = 50?
False
Let y(i) = -3*i**2 + 17*i + 174. Let j be y(11). Which is smaller: j or -71/89?
j
Let g be (4/6)/((-4)/24). Suppose -2 = -h - 5. Let b = h - g. Are -1/11 and b unequal?
True
Let d be ((-7)/((-525)/10))/((-72)/(-136)). Which is greater: d or 0?
d
Let h = 413435 - 18189903/44. Let f = h - 103/4. Let a = 8049 + -8046. Are f and a nonequal?
True
Suppose -5*i + x - 621 - 1027 = 0, 0 = -2*i + 5*x - 673. Which is bigger: -334 or i?
i
Suppose -4*w - 3*u = 16364, -15*u - 4 = -14*u. Is w smaller than -4087?
True
Let m(p) = -p**3 + 135*p**2 + 411*p + 399. Let u be m(138). Let b = 0.8 - 0.4. Is u > b?
False
Let o(x) = -10*x**2 - 13*x**2 + 53 + 22*x**2 - 20*x - 89. Let f be o(-18). Is f less than or equal to 2/441?
True
Let y = 34 - 30. Suppose -5*v + 4*v + 41 = -5*o, -v = -y*o - 32. Let t be 3 - (35/25 + o/(-15)). Is t less than or equal to 3?
True
Let z be 4/(-6)*8/(48/(-45)). Suppose z*f = 30 + 15. Suppose 10*c - f*c - 3 = 0. Is c at most as big as 5?
True
Let r = -5112 - -332278/65. Suppose -2 = 4*o - 14. Suppose -5*p + 4*k = 5, -p - k - o = 2*p. Is r > p?
True
Let h(x) = -x**3 + 6*x**2 + 9*x - 14. Let f be h(7). Let a be (2 - (1 - f))/((-33)/288). Let y = a - -26/3. Is y less than -1?
False
Suppose 0 = -374*u + 373*u + 101. Let k = 192 - 92. Which is smaller: k or u?
k
Let z(o) = -16*o + 12. Let i(r) = 2*r**2 - 9*r + 9. Let q be i(4). Let c be z(q). Let x be c/4 - (1 + 1 + 0). Does 0.1 = x?
False
Let f = -67 - -67. Suppose -a = 2*t - 1 + 5, -2*t - 4*a - 16 = f. Is 0.037 less than t?
False
Let t(f) = -2*f - 1. Let n(u) = -3*u - 73. Let l(j) = -n(j) + 3*t(j). Let m be l(24). Let p be ((-2)/(-36)*m/(-3))/(-1). Which is smaller: p or 2/3?
p
Let k = -387 + 216. Let i = 168 + k. Let z = -16 + 5. Is z equal to i?
False
Let h be (-10 - 868/(-100))/((-1)/(8/(-12))). Is 0 less than h?
False
Suppose -16 + 40 = 4*s. Let w(i) = -i**2 + 6*i + 24. Let l be w(s). Suppose 15 = -2*j + 3*j - 4*a, 3*a + 109 = 5*j. Is j at least as big as l?
False
Let u be (4 + 0 + -10 + -355 - 4)*-3. Are 1093 and u unequal?
True
Let v = -56 + 60. Let c be (-1568)/(-35)*-5*(v - 1). Let j be (-2022)/c + (-3 - 0). Is j != -1?
True
Let g = -699 + 699.0336. Let v = g - 0.0336. Is v smaller than -52?
False
Let i be (-3 + 4)*-2*8/(-16). Is i at most as big as -16/121?
False
Suppose -o - 3*w = -2, 0 = 2*o + o + 5*w - 14. Suppose -40 - 24 = -o*i. Let r be (2/i)/(2 + (-27)/24). Do r and -20 have the same value?
False
Let m be (-8)/(-1)*(21 + (-789411)/37590). Which is smaller: 1 or m?
m
Let k be (7657/988)/((-2)/(-136)). Is 523 < k?
True
Suppose 0 = -2*l + 5*q - 22, -4*q + 4 + 10 = -l. Let o(j) be the second derivative of -j**3/2 - 9*j**2 + 4*j. Let g be o(l). Which is smaller: g or -15/11?
-15/11
Let g = 254 - 253.746. Let d = g - 0.754. Which is greater: 5 or d?
5
Suppose 2447 - 1219 = -473*b + 9742. Is 124 != b?
True
Let b = -2306 + 2702. Which is smaller: 382 or b?
382
Let p = 9039 + -9040. Which is smaller: p or -71/17?
-71/17
Suppose r + 4*i - 64 = 0, 458*i - 455*i = -4*r + 321. Suppose 0*g + 2*g - 170 = 0. Which is greater: r or g?
g
Let p be (-1)/(-1) - (-210)/70 - 3. Let m = -13/12 + 7/4. Is p greater than or equal to m?
True
Let a be -5*(-18)/(-300)*(90/(-585) + 5773/(-78)). Let p(f) =