 is smaller: x or i?
i
Let x(t) = -46*t**2 + 666*t - 39. Let r be x(13). Which is smaller: 846 or r?
r
Let s be 0 + -21 + 45611/153. Is 277 greater than or equal to s?
False
Let r = 0.04 - 2.04. Let a = -501205/26 - -19277. Which is bigger: r or a?
a
Let i = -30651 + 90061/3. Let w = i + 631. Is w at most 2/41?
False
Let z = 4070 - 4070.002. Which is smaller: z or -1.7?
-1.7
Let a(i) = -49*i**2 + 1. Let m(g) = -49*g**2 + g. Let d(x) = -4*a(x) + 3*m(x). Let r be d(1). Let v = r - 69. Is v smaller than -22?
False
Suppose 520*t - 504*t - 58 = 134. Which is smaller: t or 5?
5
Let u(n) = 414 - 701 + n**2 - 3*n**2 - 11*n + 277. Let o(s) = -4*s. Let z be o(1). Let j be u(z). Which is smaller: 13/6 or j?
j
Let r = 344/385 - 57/55. Let q = -83 - -76.8. Is q at least as big as r?
False
Suppose 21 = x + 16. Suppose x*o - 3*a - 97 = 0, o + 5*a - 14 = -o. Let i(m) = -m**2 + 8*m + 13. Let u be i(8). Which is bigger: u or o?
o
Let h = 1333/210 - 147037/22890. Which is smaller: h or 0?
h
Let p = 21584/3 + -7194. Let c be (((-27)/2)/(-3))/3. Is p != c?
True
Let w(b) = -322*b + 7180. Let z be w(24). Is -549 <= z?
True
Let b(x) = 19*x + 2. Let l be b(-5). Let c = l - -557/6. Is -4 != c?
True
Let n be (-18)/(-45) - (-212)/20. Suppose -2*a = -3*r + 1574, -2127 = -4*r - 0*r - 3*a. Let c be (2/(8/(-6)))/((-72)/r). Is c <= n?
True
Let b = -40 + 48. Suppose 25 - 1 = -b*w. Let h be (-45)/6*(-5 - w). Is 1 > h?
False
Let t = -539 - -510.5. Let q = 26 + -55. Let a = t - q. Do a and -0.2 have different values?
True
Suppose 21*p - 5*r - 15 = 26*p, -3*p - 15 = 5*r. Are p and -1/10007 equal?
False
Suppose 0 = -2*n + 3*m - 66, -n = -3*m + 53 - 14. Let s(b) = b**3 + 28*b**2 + 32*b + 152. Let v be s(n). Let f be 9/(-6)*(-10 + 0). Which is bigger: f or v?
v
Let a = 2517 + -12679/5. Let q = -1224/65 - a. Which is smaller: -1 or q?
-1
Suppose 61 = 3*l - 4*d - 18, 3*l + 5*d = 70. Let o = -47 + l. Let a be (o/33)/(4/6). Which is smaller: a or 3/20?
a
Let d = -63 - -110. Let t = 45 - d. Let u be (t/(-14))/(6/7). Is 1 at most as big as u?
False
Let d be 10/(-35) + (-18)/(-14). Let o be (-17 - -13) + (-18101)/354. Let u = o + 331/6. Which is greater: d or u?
d
Let w = -4/121 + 26/121. Which is greater: w or -68?
w
Let p be ((-9738)/732 - -2) + 5. Let g = -12/61 + p. Which is greater: 0 or g?
0
Let p = -13568.93227 + -0.06773. Is 1/2 greater than or equal to p?
True
Suppose 5*a + 3*m = -90 - 676, 2*a - 4*m + 322 = 0. Which is smaller: -184 or a?
-184
Let b = -84 - -65. Let o = b - -44. Let f = 136 + -133. Which is smaller: o or f?
f
Let n(i) = -i**3 + 8*i**2 + 10*i - 2. Let a be ((-5)/15)/(-3 - 240/(-81)). Let w be n(a). Let l be 1/((-396)/(-1092) - 2/w). Is 12 less than or equal to l?
True
Let c be ((48/4)/3)/(2/(-7)). Let m be 6/18 + (c/6 - -2). Let q(j) = -4*j**2 + 2*j + 5. Let y be q(m). Are y and 5 non-equal?
False
Let h = 4395 + -4404. Suppose 2*l = -4*f - 18, -l + 7*f - 23 = 2*f. Is l greater than or equal to h?
False
Let r = -70.86 - -0.86. Let s = -70.291 - -0.211. Let k = s - r. Is k > 0?
False
Suppose 4*b = -3*x + 9*b + 1, -5*x - 2*b = -12. Let j be (-1)/((x/(-9))/(6/(-99))). Is -5 at least j?
False
Suppose 4*v + 528 = s - 948, -2*s + 369 = -v. Let i = 1469/4 + v. Suppose -15*x - 11 - 34 = 0. Which is smaller: i or x?
x
Let z = 33737/3 - 185384806/16485. Is -1/4 greater than z?
False
Let v = -51.2 + 56.5. Let d = -25 - -31.4. Let y = v - d. Which is smaller: y or -0.3?
y
Let t be (4/6)/((-4225)/39). Let r = 961/2275 - t. Let i = r + 5/21. Which is smaller: 0.4 or i?
0.4
Let l be -8 - ((-1946)/32879)/(108/14598). Is l >= 1?
False
Let l be (1120/9080)/(1/(-2)). Which is bigger: -1 or l?
l
Let a = 1834 - 6412. Is -4577 < a?
False
Let b = 8386 + -8782. Which is smaller: b or -1982/5?
-1982/5
Let x be (-2)/16*(-2 + -2). Let n be ((1 - 0) + 348/(-60))*-5. Suppose 2*c = -5*m + 7, 5*c = 23*m - n*m - 17. Which is smaller: x or c?
c
Let d = 336 - 175. Let p = d - 155. Is 4 greater than or equal to p?
False
Let t be (3512/(-32))/(-1*6*(-4)/(-24)). Is t greater than 111?
False
Let d = 17 - -25. Let w(v) = 2553*v - 2511. Let g be w(1). Are d and g nonequal?
False
Let k(r) be the third derivative of -r**6/120 + 7*r**5/60 - r**4/4 + r**3 - 18*r**2. Let z be 3/(-1)*40/(-30). Let b be k(z). Is b greater than 32?
False
Let r(m) = -m**3 + 16*m**2 + 20*m - 51. Let u be r(17). Which is smaller: u or -1/14839?
-1/14839
Let z be 0 + 3 + (-1)/(1/(-3)). Let o be (2/11 + 16/33)*z. Suppose 7*t - 3*t - 12 = -o*c, -3*c + 7 = 2*t. Which is greater: c or -2/31?
c
Let z be 25/5 - (54/6 + -4). Is z greater than 6?
False
Let r be (12 + 574/(-49))/((-2)/(-1036)). Which is bigger: -4 or r?
r
Let h = -0.06 - 1.04. Let d = 0.1 + h. Let x = 61 - 107. Are d and x equal?
False
Let m be 17482/(-5830) + 1 - -2. Let g = 1674 + -92068/55. Let j = g + m. Which is smaller: j or -1?
-1
Let s be (-6 + 120/18)*-12. Let g(o) = -o**2 - 6*o - 2. Let u be g(-5). Let f be -6 - u/((-6)/(-8)). Is f bigger than s?
False
Suppose -5*a = 10*a - 4230. Suppose 8*m - 38 = a. Is m less than or equal to 44?
True
Let b = 1.32 - 1.206. Let h = -0.154 + b. Which is greater: -21 or h?
h
Let z be -3 - (-172)/56 - (402705/70)/27. Let y(l) = -7*l**3 - 3*l**2 + 4. Let r be y(3). Which is smaller: r or z?
z
Suppose 0 = g - 29 - 7. Suppose 24*m = g*m. Which is bigger: -1/194 or m?
m
Let v = 82102 - 82102.2. Let q = 18 + 242. Is v less than q?
True
Suppose -t = 3*y - 24, 9*y - 4*y + 5 = 0. Let f be 6/t - (-1105)/(-153). Is 13 <= f?
False
Let d(z) = 30*z**2 - 189*z - 2447. Let n be d(-13). Are 5081 and n non-equal?
True
Let j be (18/4)/(21/14). Let o = 1693 - 8444/5. Is j at most o?
True
Let l = -0.3 - 1.6. Let t = -2909/8529 + 22/2843. Which is bigger: t or l?
t
Let p(s) = -2*s**3 - 23*s**2 - 11*s - 6. Let f be p(-11). Let c be 70/(-12)*f/20 - 2. Which is smaller: -11 or c?
-11
Let i(h) = h**3 - 4*h**2 - 2*h - 14. Let g be i(5). Let r be (g - (-2)/(-6))*(-30)/40. Is 51 at least as big as r?
True
Let y(s) = -s**3 - 10*s**2 + 31*s + 115. Let w be y(-12). Which is bigger: 422/13 or w?
422/13
Let v = -1309331/3602 - -727/2. Is v >= -1?
True
Let i = 2022/5 - 22252/55. Which is bigger: i or -1/112?
-1/112
Suppose 101*m + 13320 = 65*m. Is 2/3 equal to m?
False
Let o be ((-1)/(-4)*(2 + -4))/((-38)/76). Which is bigger: 72/49 or o?
72/49
Let c = 20 - 15. Suppose -257 = 4*k - 5*o, 2*k - c*o + 45 + 76 = 0. Let x = -66 - k. Which is smaller: 0.03 or x?
0.03
Let z be 12/5*3/(-45). Let f(r) = r**3 + 5*r**2 + 5*r + 2. Let g = -219 - -218. Let x be f(g). Is z != x?
True
Let i(j) = j**3 + 1. Suppose -35*y + 5 = -40*y. Let v be i(y). Is v greater than -2/601?
True
Suppose -z = -5*a - 112, -297 - 237 = -5*z - a. Which is smaller: z or 99?
99
Let n(y) = -3*y**3 - 7*y**2 - y + 2. Let b be n(-3). Suppose b*g = 1595 + 1349. Which is bigger: g or 0.2?
g
Let j = 67 - 30. Let m(p) = -p - 25. Suppose -2*y + 2*u = 44, -y + 4*y - 5*u = -56. Let d be m(y). Which is greater: j or d?
j
Suppose 0 = 5*j - 9*j - 2*i - 24044, 2*j + 12006 = 3*i. Do j and -6009 have different values?
False
Suppose 3*v + 4*c - 17 = 0, 4*c - c = 15. Let a = -0.1195 + 29.1195. Is a greater than v?
True
Let k = 44 + -42. Suppose 1 = v - k. Suppose -v*c = 4*o + 19, 3*o + 29 = -3*c + 4*o. Which is greater: c or -2/5?
-2/5
Let i = -171682534/2199 + 78073. Is i less than or equal to 1?
True
Suppose 0 = -3*f + 3*v + 30, -12 = -5*f + 3*f - 2*v. Let t(b) = -7*b + 56. Let n be t(f). Let r = -208 - -3124/15. Which is smaller: n or r?
n
Suppose 0 = -4*n - 2*l - 9140, -2*n - 2*l - 3058 = 1512. Let z = n - -43403/19. Are z and -1 equal?
False
Let o = -0.27 - 0.03. Let q = 20199/962 + -1383/74. Which is smaller: q or o?
o
Let k = 0.748 - 1.428. Let c = -0.12 + k. Is -0.006 smaller than c?
False
Let j be (11/22)/((5/276)/(-5)). Let y be 0 + (48/15)/(j/(-30)). Is y > 1?
False
Let o = -23339 + 26968. Is o equal to -1?
False
Suppose -18*h + 16*h = -24. Let n be (-99)/88*h/477. Is n < -1?
False
Let m = 5105 + -5107. Let d(z) = z**2 + 4*z - 3. Let g be d(2). Is m at most g?
True
Let n = -40821289/1273 - -32067. Which is smaller: n or 0.2?
n
Let j(f) = -2*f**3 + 12*f**2 - 9*f + 4. Let k be j(5). Let m be (-118)/(-42) + (36/k - 7). Which is smaller: m or -0.9?
-0.9
Let l be (12/5)/((-1)/(-30)). Suppose 0*m = -5*m + 5*b - 90, 