149. Which is greater: t or -3?
t
Suppose 5*g - 4*v - 165 = 0, -3*g + g + 5*v = -66. Which is smaller: g or 31?
31
Let a be (-4)/(-8)*12/2124. Is -1 at least a?
False
Let z = -101/14 + 33/7. Which is greater: z or -7?
z
Let s = 58 - 51. Suppose 2*h = -5*h + s. Is -2/145 equal to h?
False
Let j = 7.65 + -4.72. Let t = -0.27 - j. Is -1 at least t?
True
Let j = -258 - -257. Which is bigger: j or 0.23?
0.23
Suppose y = 5*y - 16. Let t be y/(-16) - (-113)/4. Suppose 0 = -4*l - 3*k + t, -3*l - 5*k - 4 = -36. Is l >= 2?
True
Let n = 3443 + -6601/2. Is 142 < n?
True
Let b(i) = 2*i**3 - 39*i**2 + 4*i + 80. Let u be b(19). Which is smaller: -3 or u?
u
Let v = -5 - -5. Let c = v + 0.2. Let g = 0.0157 + -0.2157. Which is greater: c or g?
c
Let y = 9 - -59. Suppose 11*a - 7*a - y = 0. Does 16 = a?
False
Let h be 15032/(-112) + 6/28. Is h at most -130?
True
Let r = -1079 - -1079.43. Is 2/13 > r?
False
Let f = -77 - -50. Let h = f + 27. Which is smaller: h or -0.34?
-0.34
Let i = 0.4 - 0.5. Let x be 18/30*((-8)/12 + -2). Is x less than i?
True
Suppose -s - 8 = 3*s. Let c be (-600)/295 - 6/(-3). Which is greater: s or c?
c
Suppose -2*a + 0*x + 4*x - 32 = 0, 0 = -4*a + 3*x - 84. Let b = -17 - a. Let p = b - 10. Is -4 equal to p?
False
Let m = 459.1 - 459. Let i = 92/273 - 2/39. Which is smaller: m or i?
m
Let x(a) = -a**3 + 3*a**2 - 3*a + 20. Let z(d) = d**3 - 2*d**2 + 2*d - 21. Let n(r) = 4*x(r) + 5*z(r). Let y be n(0). Which is greater: 0.1 or y?
0.1
Suppose 58*f - 228 = 20*f. Let k = 4.08 + -0.08. Let q = k - 3.8. Are q and f unequal?
True
Let o = -2/1767 - -5369/60078. Is -1 less than o?
True
Let u = 1124 - 938. Is 184 greater than u?
False
Let x be (-5 - (-9 - -6)) + (-423)/1. Which is smaller: x or -426?
-426
Let s(i) = -2*i**3 - 2*i**2 + 4*i + 4. Let z be s(-4). Suppose -o = 3*o + z. Let d = o - -27. Is d less than 6?
False
Let v = 7 - 3. Let h(a) = -2*a. Let b(r) = 4*r. Let z(i) = -4*b(i) - 7*h(i). Let d be z(v). Is d at least as big as -8?
True
Suppose -36 = -2*q - 2*p, 2*p + 15 = q + 6*p. Suppose -5*j + 2*j - 3 = 0, 4*w - 5*j = -q. Which is bigger: 1/4 or w?
1/4
Suppose 5*y = 3*g - 1402, 3*y - 2*g + 379 + 462 = 0. Is y <= -280?
True
Let o = -147 - -176. Which is bigger: 3/5 or o?
o
Let t = -671 + 604. Which is bigger: -66 or t?
-66
Suppose -s + 2*s + 7 = 2*w, 5*s - 4*w + 17 = 0. Let y(k) = 19*k**3 + 2*k**2 + 3*k + 2. Let a be y(s). Let r be (-31)/(-63) + (-4)/a. Which is smaller: 1 or r?
r
Let f = -346 + 238. Let w be (f/44 + 3)*-1. Are -1 and w nonequal?
True
Let l = -2528 + 2541. Which is bigger: l or -3/2?
l
Let o = 837 - 941.4. Which is smaller: 2/5 or o?
o
Suppose -2*l + 43 = -h, -5*l - 5*h = -0 - 100. Suppose l - 53 = -d. Which is smaller: d or 31?
31
Suppose -2*n = -3*r - 43, 5*n + 41*r = 46*r + 120. Are 8 and n unequal?
True
Suppose 0 = 2*u - 8*u + 66. Suppose a - u = -15. Which is bigger: a or -3?
-3
Let k(s) = 2*s**2 + 13 - 5 - 1 + 5*s. Let l be k(-2). Which is bigger: l or 1?
l
Let a = 42 - 51. Let r be -7 - 2*(2 + -3). Let h be (r/a)/((-4)/(-6)). Is h at least 0?
True
Let s = -749 + 750. Let q = 0.26 - -0.04. Are q and s equal?
False
Let f = -2/2011 - -16110/22121. Which is smaller: 1/2 or f?
1/2
Suppose -2*u - x + 179 = 0, 3*x - 258 = -3*u + 9. Let i be 141/u - 4/10. Suppose s = 7*s - 6. Which is smaller: s or i?
s
Suppose 5*o = 7 + 218. Let c be 5/(-25) + 449/o. Is 11 at most as big as c?
False
Let s = -0.18 - -4.18. Let z = s + -35. Let y = z + 31.06. Which is smaller: 0 or y?
0
Suppose -24 = -n - 4*j + 8, -3*n - 4*j = -56. Let m be (n/4 - 7) + 3. Which is smaller: 2 or m?
m
Let c = -0.008 - 0.192. Let r = c - 0.3. Which is greater: r or 3/7?
3/7
Let w = -3/377 + -362/1885. Which is greater: 138 or w?
138
Let f = -67.3 + 58.48. Let b = -9 - f. Let d = 1.9 - 1.8. Which is smaller: d or b?
b
Let s be -2 - 16/(64/60). Does -11 = s?
False
Let b = 110075/52 + -2117. Let y = b - 145/364. Is -1 equal to y?
False
Let o(s) = -9*s**3 - s**2 - 3*s - 2. Let g be o(-1). Suppose -2 = -3*d + 7. Suppose 4*t - g = 2*y + d*t, -y = -5*t. Which is smaller: y or 1?
y
Let d be (-32)/98 - 2*(-1)/7. Which is greater: -0.01 or d?
-0.01
Let y = 2623 - 13112/5. Let v(h) = -2*h - 2. Let z be v(-4). Let c be 4/z*(-5 - -8). Which is smaller: y or c?
y
Let i = -1 + 3. Suppose -i*j = -21 + 19. Do j and 3 have the same value?
False
Let u(v) = -v**3 + 8*v**2 - 6*v - 5. Let c be u(7). Let y(r) = -r + 15. Let z be y(11). Let k be (15/18)/(5/z). Which is bigger: k or c?
c
Let r = -742 - -537. Is -613/3 greater than or equal to r?
True
Let c = -153 + 157. Is c greater than or equal to 0.04?
True
Let c(z) = -z**3 - 2*z**2 - 8*z + 20. Let o be c(-5). Which is smaller: o or 140?
o
Let n be 22*((-7)/(-2))/7. Let q = n - 30. Let i = 16 + q. Are i and -3 equal?
True
Let j = 7.4 + -17.4. Which is smaller: j or 17?
j
Let t = 44.054 - 0.054. Let w = t - 42. Let x = 20 + -19. Which is smaller: w or x?
x
Let t(k) = k**2 - 20*k + 40. Let b be t(18). Let n be 44/495*10/b. Do -11 and n have different values?
True
Let z = -1.01 + 0.01. Let i(k) = -2*k**2 + k + 4. Let j be i(4). Which is bigger: j or z?
z
Let o(d) = -d**3 + 9*d**2 + 33*d - 109. Let r be o(11). Is r < 133/10?
True
Let o = -3/103 + 619/7107. Which is greater: 0 or o?
o
Let x = 4 - 3. Let i(f) = -10*f**2 - 3*f + 2. Let l be i(x). Does l = -11?
True
Suppose -13 = -4*m - a, -2*a + 14 = 3*m + 3*a. Suppose 2*l = -m*l. Suppose f + 1 = -d, 4*f - 23 = -0*f + 5*d. Which is greater: l or f?
f
Let b = -0.08 - 0.06. Let u = b - -1.14. Let z be (3/8)/((-6)/(-4)). Is u > z?
True
Let a(g) = -g**2 + g + 10. Let k be a(9). Let i = -67 - k. Which is bigger: -6 or i?
i
Let u = -2.4 + 3.4. Let k = 7 + u. Is k > 0.2?
True
Let t = 101 + -61. Let k = 1082/27 - t. Is k less than -1?
False
Let b = -2223 + 2223. Let z(c) be the third derivative of c**5/60 + c**4/3 + 2*c**3/3 - 2*c**2. Let o be z(-6). Which is smaller: o or b?
o
Let r(a) = a**2 - 8*a + 8. Let j be r(4). Let m = j - -32. Let o = -47/2 + m. Are -0.3 and o unequal?
True
Let m = 5 - 2. Let o(k) = 5*k - 4. Let j(c) = -11*c + 7. Let d(u) = -3*j(u) - 7*o(u). Let p be d(2). Is p < m?
False
Let m be (-6)/27 + (-44)/9. Let p = m + 634/117. Is 1 <= p?
False
Let z = -89 + 64. Let d = 12 - 15. Let p be (75/9)/(d/9). Is p equal to z?
True
Suppose 0 = 4*l + 2*t + 12, 88*l - 4*t = 87*l - 3. Which is smaller: -25 or l?
-25
Let m(c) = 13*c**2 - 64*c - 320. Let i be m(-5). Do 325 and i have the same value?
True
Suppose -3*o = 6, 2*d - o = -18 - 0. Which is smaller: d or -20?
-20
Let n = 10/161 - -13/161. Do 89 and n have different values?
True
Let t be -1 + 6 - ((-10)/5 - -2). Suppose 2*z - z = t*z. Does z = -3?
False
Suppose -24 = 30*b - 26*b. Suppose 3*y - p = -10, -y - p = -3*p. Is b bigger than y?
False
Let j(p) = p + 8. Let g be j(-8). Let b = -1 - -4. Is g smaller than b?
True
Suppose 4*z - 20 = 0, 3*c = 6*z - 10*z + 137. Is -4 < c?
True
Suppose 71 = -5*m + 76. Is 7/3 greater than m?
True
Let h = 15 + -11. Suppose -h + 0 = -4*q. Is q not equal to 2/17?
True
Let w be ((-34)/(-8))/1 - (-4)/(-16). Suppose -5*k = 4*q + 16, -q - k - w*k = 19. Which is bigger: q or 5/17?
q
Let q(h) = h**3 - 2*h**2 - 3*h - 59. Let v be q(5). Which is bigger: v or 1/859?
v
Let w(s) = 2*s**2 - 4*s. Suppose -5*v + 25 = -2*l, -7*l + 2*v - 10 = -3*l. Let h be w(l). Which is smaller: h or -1/27?
-1/27
Let x be (6 + -7)/(2/(-10)*1). Suppose 0 = g - 2*a + 34, -4*g - 252 = x*a - 51. Do -43 and g have different values?
True
Let g be 1*(4/(-20) + 155/25). Which is smaller: 8 or g?
g
Suppose 32 = 2774*q - 2778*q. Let h(w) be the third derivative of -w**5/60 - w**4/24 - 4*w**3/3 + 2*w**2. Let l be h(0). Is l less than q?
False
Suppose 2*s - 11 = -5*v, -2 = 4*v - 4*s + 6. Suppose 0 = 3*k + 3, -2*k + v - 81 = 3*t. Which is smaller: -27 or t?
-27
Suppose 5*l - 19 = 6*l. Let f = 24 + l. Let a(t) = -t**3 + 4*t**2 + 4*t + 10. Let c be a(f). Which is smaller: c or -2/5?
-2/5
Let g be 2/(-4)*122/65. Let t be (-62)/78 - (-10)/(-15). Let l = t + g. Which is bigger: -1 or l?
-1
Let l be (168/10)/3*-5. Let s = -24 - l. Let m(b) = -2*b**2 + 7*b - 4. Let i be m(s). Are 2 and i non-equal?
True
Let t be (-5)/(-3) - (7 - (-105)/(-18)). Is 12.4 smaller than t?
False
Let w = -3 + 8. Suppose -2*r + n - 3*n = -32, -4*r + 63 = w*n. Suppose 0 = 4*k -