19 + 1267. Which is greater: 1 or t?
t
Let i = 763 + -1181. Let w = i - -418.2. Is w smaller than 86?
True
Let k = 242 + -241.07. Let y = -0.63 + k. Are y and -60 unequal?
True
Suppose -h = -5*z - 33, 0 = -z - 1 - 3. Let c be (-2)/h - (26194/91 - -3). Which is greater: c or -292?
c
Suppose -55*g + 48*g - 4*o = -25243, -5*o - 18070 = -5*g. Is 3607 bigger than g?
False
Let b be (434862/(-92))/(-9)*(-40)/(-6). Let q = b + -3502. Which is smaller: q or 0?
q
Suppose -5*p = 0, -12*u + 15*u = -p + 15. Let t be 10/(-8)*19 + u/(-20). Which is smaller: t or -25?
-25
Let l = -1746 + 1714. Which is greater: l or 10?
10
Let h(l) = -2*l - 8. Let a be h(-7). Let i be (-822)/(-312) - a/(-8). Which is bigger: i or 2?
i
Suppose 3*x + 13*x = 1136. Suppose -2*z + g = -238 + x, g = z - 84. Is z less than or equal to 82?
False
Let z be ((-1)/(-5))/(8/872). Let i = 22 - z. Let m = 2.8 - 3. Which is bigger: i or m?
i
Let g be (-5445)/(-30)*6/9. Suppose -40 = 12*i - 1480. Is g greater than i?
True
Suppose 5*x = -2*p + 15 + 174, 5*p = -3*x + 520. Let a be 0 + -1 + 1 - -104. Suppose 3*u - p + a = 0. Which is greater: 2/109 or u?
u
Let z(d) = 3*d**2 - 11*d - 20. Let p be z(5). Let u(j) = j**2 + 5*j - 8. Let x be u(-7). Suppose 4*l + 8 = 4*k, x*k - 4 = 5*l + 3*k. Which is greater: p or l?
l
Suppose 7*n - 2*n + 395 = 3*p, -4*p = n + 102. Let t be (16 + (-3097)/190)*n/3. Let u = -12 + 20. Is t greater than u?
True
Let r(h) = 4*h**2 - 13*h + 5. Let v(y) = 5*y**2 - 14*y + 6. Let c(d) = 4*r(d) - 3*v(d). Let a be c(10). Which is smaller: 7/13 or a?
7/13
Let f = -10199 + 10203. Which is smaller: -0.0578 or f?
-0.0578
Let h = -0.20726 - -1811.71726. Let q = h - 1823. Let o = q + -0.51. Which is bigger: o or 2?
2
Let x = 0.3 + -0.25. Suppose -63*q - 758445 + 758319 = 0. Is x less than q?
False
Let l be ((-2)/(-4))/(189/(-17766)). Let v(m) = -m**3 - 6*m**2 + 9*m + 5. Let x be v(-6). Which is bigger: x or l?
l
Suppose 12*g + p = 9*g + 7, -20 = -4*g - 4*p. Let o be (-16)/(-130) - 2/13. Is o bigger than g?
False
Let u = 11516.1 + -11516.1. Let m = -51.6 + 7.6. Is m bigger than u?
False
Let x(l) = -17*l**3 - 2*l**2 + 9*l + 58. Let b be x(-5). Let p be (b/(-264) - (0 - 2)) + 5. Which is bigger: 0 or p?
0
Let b = -20616 + 20568.948. Let n = -47 - b. Let x = 1.052 - n. Which is smaller: 2/27 or x?
2/27
Let d be (16/(-480))/(26/(-232))*-3453. Let y = d + 1027. Are y and 2/7 unequal?
True
Suppose 0 = 5*d + 25, 3*s + 4*d = -72 + 16. Let i be ((-40)/s)/((-2)/(-12)). Suppose -18*f + 26*f - 176 = 0. Is i greater than or equal to f?
False
Suppose 10*c + 4*x + 10 = 0, -32*c + 34*c + 13 = -3*x. Which is greater: c or -2/5067?
c
Let q(f) = f**3 - 11*f**2 - 7 + 3 - 2 + f - 7. Let i be q(11). Is i less than or equal to -1?
True
Let x = -401551/8 - -50199. Let t be (-6 + 2)*(-3)/2. Which is smaller: t or x?
x
Let k be 0*(-5)/45*3. Let m be (k + (36 - -2))/2. Which is greater: 128/7 or m?
m
Let f be (9 - (-228)/(-12)) + 914/84. Which is smaller: 2 or f?
f
Suppose -23*l - 6*l = -44*l - 54015. Is l > -3603?
True
Let c(v) = -21*v**2 + 50*v - 130. Let b be c(3). Is -168 smaller than b?
False
Let k = -10716 - -12047. Which is bigger: k or 6662/5?
6662/5
Let i = -13476 - -11849. Does -6 = i?
False
Suppose -37*j + 5 + 254 = 0. Suppose j - 1 = 6*q. Are -1/30 and q equal?
False
Suppose 10 = -2*j + 3*j. Let k be (244/6*3/j)/(-13). Let r = 13123/13845 + k. Does r = 1?
False
Suppose -4*l = 23*l + 1413 - 13995. Is 479 at most as big as l?
False
Let b = 1894/20817 - 8/81. Let n be (1566/72)/29*((-80)/30 - -4). Which is greater: b or n?
n
Let y(h) = -3*h**2 - 5*h - 11. Let p(s) = 7*s**2 + 9*s + 23. Let t(c) = -2*p(c) - 5*y(c). Let g be t(-8). Let j = g - 19. Is j >= -2?
True
Let t = 3603 - 3615. Is t != 13?
True
Let h(i) = -6*i**2 - 38*i - 105. Let a be h(-3). Let m be ((-30)/a)/((-116)/6). Is 0 at most m?
False
Let u(k) = -k**3 - 7*k**2 - 12*k - 20. Let h be u(-6). Suppose -h*v = -126 - 1698. Which is bigger: 113 or v?
v
Let c(q) = -9*q**3 + 525*q**2 - 122*q + 53. Let d be c(58). Is 3069 less than d?
False
Let m(w) = -w**3 + 13*w**2 + 2*w + 5. Suppose -7*u + 52 = -3*u. Let x be m(u). Let b be -61*4/16*-2. Which is greater: b or x?
x
Let w be 4*(7 + -8*(-3)/(-2)). Let t(n) = -n + 8. Let d be t(5). Suppose -d*h + 0 = 63. Which is smaller: w or h?
h
Let z be (-18910)/(-4)*(786/(-135) + 6). Which is greater: z or 840?
z
Let v(o) = 42*o - 1594. Let w be v(38). Which is greater: 75/34 or w?
75/34
Let h(x) = -2*x. Let r be h(-1). Let k be (51/4)/(r/(-8)) + -3. Let b = k - -53. Is -2/29 >= b?
True
Let p be (445 - 272)/((-2)/(-14)). Is 1211 != p?
False
Let u be 4/6 - 40/24 - -6. Suppose -26*j + 31*j + u = 0. Let g = -13715/29 - -473. Which is bigger: j or g?
g
Suppose -k - 899 = -4*y, 3*y - 5*y - 905 = k. Let t = k + 27989/31. Which is smaller: t or 1?
t
Let l = -1.33 + 75.33. Let s = l + -49. Which is smaller: -1 or s?
-1
Let l be (-23)/(4830/396) - (-4)/14. Let m be (6/(-3))/(-1) - -3. Suppose 4*p - 9 = q, -m + 1 = -2*q - 3*p. Which is smaller: q or l?
l
Suppose -55*n + 646 = -5*o - 58*n, 0 = o + n + 130. Are -143 and o unequal?
True
Suppose -43*h + 304 = -59*h. Let f be (-74 - 18/3)/h - 4. Suppose 0 = -m - m. Which is greater: f or m?
f
Let d(x) = -12989*x**2 + 1027*x - 1027. Let s be d(1). Which is greater: -12990 or s?
s
Let p(w) = 213*w + 70. Let h be p(-1). Is -143 at most as big as h?
True
Let n be -109*2*(-5 + (-57)/(-12)). Are n and 56 non-equal?
True
Let j be (-5 - 695/25)/(2/(-5)). Suppose -2*o = -0*f + 4*f + 42, -2*o + 4*f = j. Are -31 and o non-equal?
False
Let y(c) = -1253*c - 8405. Let j be y(-6). Which is bigger: j or -894?
j
Let b(m) = -m**3 - 6*m**2 + 11*m + 74. Let v be b(-5). Let l be (26/(-91))/(v/21). Which is greater: -2/189 or l?
l
Suppose -4*q = 15*q - 437. Suppose 5*b = b - 32. Let z(v) = v**2 + 6*v + 9. Let r be z(b). Which is bigger: q or r?
r
Let a = -865.4 + 1131. Let m = -299 + a. Let t = m + 33. Which is greater: t or 6?
6
Let o be ((-74)/(-3))/(1*6/(-18)). Let y = 98 - 22. Let n = y + o. Which is bigger: n or 22/15?
n
Suppose 4*i + 2*h = 42, 0 = 2*i + 4*h - h - 23. Suppose -144 = -i*k + 4*k. Let o(y) = 11*y**2 + 64*y + 14. Let t be o(-6). Is t at least as big as k?
True
Let c(n) = 4*n**3 - 31*n**2 - 4*n + 19. Let h be c(9). Let s = h + -185. Which is smaller: s or 202?
202
Let s = -0.09 + -0.01. Let l = -120.074 + 0.074. Let a = 120.08 + l. Which is smaller: a or s?
s
Suppose -4*b + 2 = 5*j - 8, b = 0. Let l be ((-8)/(-4))/(j/24). Let p = 1 - 2. Which is greater: l or p?
l
Let l be 249/12 + (-9)/12. Suppose -l = 3*p - 7*p. Let z = 5/5096 + 295523/45864. Which is greater: p or z?
z
Suppose -1947 = 8*a - 41*a. Which is bigger: a or 55?
a
Let j = 2846.2 - 2845. Are j and -28/5 nonequal?
True
Suppose -4*c = -h + 2796, -2*h = -4*c + 1305 - 6881. Let b = 1681898/605 - h. Which is greater: 1 or b?
1
Suppose 3*o + 14 = -o + 5*k, o + 3*k = 5. Let n be o/((-7)/(-4)) + 108/189. Which is greater: n or -5/11?
n
Let x = -1.7847 + 1.7847. Which is bigger: x or -25674?
x
Let i = 133 - 121. Suppose 8 = -2*w + i. Suppose 3*m = 2*m - w*m. Which is greater: m or -3/28?
m
Let m = -2067 - -2063. Are 699 and m unequal?
True
Let x be (-20)/22 + 67/(-737). Let t(s) be the third derivative of s**5/60 - s**4/24 - s**3/6 - 2*s**2. Let l be t(x). Is -2/135 <= l?
True
Let k = 2678.08 + -413.08. Are 3 and k non-equal?
True
Suppose 3*o + 9 = 4*x - 33, 5*o - 2*x + 70 = 0. Let c(s) = s**2 - 31*s - 104. Let f be c(-3). Let z be (o/(-4) + 9/3)*f. Which is bigger: z or -14?
z
Let m = -10913 + 9205. Is m at least -1712?
True
Suppose 5*x - 2*r + 3*r + 72 = 0, 4 = -x + 5*r. Let l = -8 - x. Suppose -a + 7*z = 13, 1360*a + 2*z = 1361*a - 2. Is l at least as big as a?
False
Let d = 15358 - 15334. Which is greater: d or -0.041?
d
Suppose 32 - 68 = -9*r. Let f be r + 340/24 - (9 - 10). Which is smaller: 18 or f?
18
Suppose 7*g - 40706 = 3*g - 17674. Is g less than or equal to 5758?
True
Let i = 11/27791 - 21986971/10838490. Let z = -31/15 - i. Let m = 3 - 2. Do m and z have the same value?
False
Let j(n) = n**3 - 13*n**2 - 4*n + 17. Let i be j(13). Let l = 344 - 208. Suppose 5*h + 157 = 3*t - 13, -l = 4*h - 3*t. Is i >= h?
False
Let w = 8039.3 - 8055. Is w less than -3.2?
True
Suppose -4*o = k - 2*o - 45, 3*o - 67 = -31. Suppose 1