Which is smaller: 2 or t?
t
Let p = -20 + 22. Let c be (-11)/1540*(-1805)/p. Let y = -46/7 + c. Which is greater: y or 1?
1
Let l = 889 - 877. Are 165/14 and l unequal?
True
Suppose -3*i + 5*o + 154 = 0, o + 3 = -4*i + 193. Let x be i/27 - ((-6)/2 + 5). Let l = -1/16 + 9/16. Do x and l have the same value?
False
Let j = 625208/13 + -48160. Let x = -67 - j. Is 0 greater than or equal to x?
False
Let i = -0.04 + 0.14. Let o = 14.4 - 1.4. Which is smaller: i or o?
i
Suppose 7*f = -5*g + 4*f + 175, -2*g + 2*f = -86. Is g at least 35?
True
Let x = 1.5 + 7.5. Let k = -31 + x. Let v = 20 + k. Which is bigger: 2/9 or v?
2/9
Suppose 5 = 3*u - 4. Let x be (-4)/((-4)/7) - u. Suppose 1 = x*v - 3. Which is smaller: 4 or v?
v
Let z = -8633/21 - -411. Suppose 2*l + 3*l = 20, 2*d - l = 0. Suppose 0 - 2 = d*u. Which is greater: z or u?
z
Suppose t - 124 + 138 = 0. Let w be (-4)/3*21/2. Is w smaller than t?
False
Suppose 3*i + 15 + 6 = 0. Let m be (-2)/i - (-128)/(-7). Let h = m + 13. Is h smaller than -6?
False
Let n(d) = -d**2 - 5*d - 4. Let y = 4 + -7. Let v be n(y). Let p be (((-2)/5)/((-4)/(-6)))/(-1). Which is greater: p or v?
v
Let m = 16 - -3. Suppose 0 = -4*j - 4, 0 = 4*z - z - 4*j - m. Suppose -w - z*d - 20 = -2*w, 4*w = -4*d - 16. Does w = -2/81?
False
Let l = 572 - 423. Which is bigger: l or -6?
l
Let p(q) = -q**2 + 1. Let r be p(1). Let s = -46/13 + 45/13. Which is greater: r or s?
r
Let f = 0.34 + 0.5. Let g = f - 0.7. Let w = -1.14 + g. Which is smaller: w or 16?
w
Let r(y) = y**2 + y + 6. Let u be r(0). Let l = 566 - 566.2. Is u greater than l?
True
Let f = 1477699/1743 + -72/581. Let h = 832 - f. Is -15 greater than h?
True
Suppose -3*z - 3*d = -1797, 0*z + 3*d + 2361 = 4*z. Let r be ((-2)/(-4))/((15/z)/(-5)). Is -100 at most r?
True
Suppose 27*t = -0*t - 33426. Is t equal to -1238?
True
Suppose 0 = 5*w - 3 - 12. Let i be 0/(-2) - 97/w. Let r = i - -33. Which is bigger: 1 or r?
1
Let l(q) = -16*q + 290. Let u be l(18). Is 26/27 less than u?
True
Suppose -36 = -6*h + 2*h. Suppose 0*p = -3*p + h. Let s = -6 - -10. Which is bigger: s or p?
s
Let y = 5.376 - -0.624. Which is bigger: y or -40?
y
Let k be (-4)/(-4) - (-9)/(-10). Suppose 0 = -3*i - 3*j + 18, 2*i - 2*j - 14 = -3*j. Suppose 4*d + 4 = i. Which is greater: k or d?
d
Let h(n) = n**3 - n**2 + 6. Suppose 2*w + 8 = 0, 9 = -2*m - 4*w - 7. Let k be h(m). Is k not equal to 2?
True
Let u = -210 - -459. Does u = -1?
False
Suppose -4*r - 5*q + 7*q = 14, 4*q + 44 = -4*r. Let f = 11 + r. Let j be f/(-27)*2/(-5). Do -1 and j have the same value?
False
Let w be (3/7)/((-21)/2). Let j = 7383/5 + -361847/245. Let h = w - j. Is h less than -2?
False
Let l = -0.26 + -1.04. Let t = -14.2 + -5.8. Let q = 20 + t. Which is smaller: l or q?
l
Let t = -40/21 - -11/7. Let l = 0.06 + 0.84. Let v = 1 - l. Which is greater: t or v?
v
Let c = -1256 - -2458. Is 1203 != c?
True
Let t(g) = -g**3 + 6*g**2 - 7*g + 6. Suppose -23 + 8 = -3*p. Let l be t(p). Let b be 1/(-2) + 10/(-4). Which is smaller: b or l?
l
Let w(h) = h + 1. Let u(c) = -9*c - 25. Let o(v) = u(v) + 6*w(v). Let z be o(-7). Suppose z*j = 2 - 6. Which is bigger: j or -4/5?
-4/5
Let s = 2 + -4. Let w(n) = -n - 2. Let c be w(7). Let r = 9 + c. Is r smaller than s?
False
Let h be -5*4/5*-2. Let s(q) be the second derivative of 2*q**3/3 - 39*q**2/2 + 5*q. Let t be s(11). Is t bigger than h?
False
Let h = 134 - 184. Are h and -49 unequal?
True
Let t = -1664 + 1647. Is t at most as big as -2/45?
True
Let k be ((-15)/(-6))/((-5)/(-16)). Is k greater than 11?
False
Suppose -3*w + 24 - 8 = -2*a, 10 = 5*a + 5*w. Let d(c) = -13*c + 87. Let r be d(7). Is a greater than r?
True
Suppose 0*j - 6 = 3*j. Let k = -10996/649 - -356/59. Let a = -126/11 - k. Is a less than j?
False
Let y be 3/(-2) + (-5)/(-4). Let r = -73 + 128. Let d = r + -606/11. Is y at least d?
False
Let x be 24/(-108) - 2524/(-18). Let h be (-2)/(-4 - x/(-18)). Which is bigger: h or 0?
0
Suppose -1 = 2*h - 11. Suppose 4*y + 4*l - 19 = -3, h = l. Let i be (0 - y)*(-10)/15. Which is greater: 2/7 or i?
2/7
Let d = 5 + -8. Let m = -34.3 - -33.3. Is m smaller than d?
False
Let r(l) = l**3 - 2*l**2 - 9*l - 14. Let d be r(7). Suppose 18*w - 11*w + d = 0. Is -23 at most as big as w?
False
Suppose 18 = -7*w + 6*w. Let u be (-4)/(-12) - (-762)/w. Which is greater: u or -44?
u
Let o(r) = r + 15. Let j be o(-16). Let p = 10 - 12. Let m be p/(-8) - 9/24. Which is bigger: m or j?
m
Let y = -26.36 + 0.36. Let p = 20 + y. Which is smaller: -2/9 or p?
p
Let p = 7543 + -1878217/249. Is 0 < p?
False
Let z = -3.38 + 3.58. Which is bigger: z or -7?
z
Let i = -9140/7 - -2458639/1883. Which is smaller: 0 or i?
i
Let x be 191/282 - 2/3. Let p(q) = 107*q - 322. Let l be p(3). Is l < x?
True
Let o be (-2)/(4 + (1 - 0)). Let w = 137 + -162. Which is smaller: o or w?
w
Let u = 2579.045 + -2587. Let x = 0.045 - u. Let w = -1 + 1. Which is greater: x or w?
x
Let b(s) = s**2 - 9*s + 8. Let q be 34/4 + (-8)/16. Let i be b(q). Is i greater than -14/11?
True
Let w = -0.53 + 32.53. Let k = 31.98 - w. Is 2 less than or equal to k?
False
Let k = 145 + -146. Let h = 1.3 - 1. Is k > h?
False
Let n = 317 - 314. Which is smaller: n or 23/7?
n
Suppose 3*v + 4*b - 26 = 0, -4*v + b = -0*b - 3. Suppose m - 51 = -v*j + 2*m, 57 = 2*j + m. Are 29 and j non-equal?
True
Let p = 673 + -679. Which is bigger: p or 21?
21
Let v be 4/(4/3) - 2. Let t be v/((-1)/(-2) - (-1744)/(-3424)). Is t <= -108?
False
Let b(z) = -14*z**2 + 58*z - 5. Let t be b(4). Is -187 bigger than t?
False
Let v(m) = 4*m**2 + 3*m - 16. Let y be v(3). Which is greater: y or 31?
31
Let u = 6393/4 - 1665. Is u at least -67?
True
Let o = 1562 - 1561. Which is greater: 13/19 or o?
o
Suppose -175 = -4*q - q + 5*p, 0 = 2*q + p - 76. Let n = q + -31. Let b be 4/n + (-13)/(-3). Which is bigger: 3 or b?
b
Let k = -6 - -10. Let y = 6.2 - 9.2. Which is greater: k or y?
k
Let y = 1.587 + 0.113. Which is bigger: y or 16/7?
16/7
Let u = -1.02 - -1.1. Let b = u - 6.08. Let g = 6.3 + b. Is g at least -0.1?
True
Suppose 19*f = 920 - 939. Suppose 2*l - 5 = 5*n, 2*l - 15 = -l. Let z be 6/(-3)*1 + n. Is z >= f?
True
Let s be 144/60 + 6/10. Suppose -s*b - 4 = 2*k, 3*k - 3*b = -2*k + 32. Suppose 0 = k*x - 3*g + 4*g - 8, -2*x - 5*g = -22. Is x greater than -1/11?
True
Let r = -3.1 + -15.9. Let z = 22.4 + r. Let w = -3 + z. Which is greater: w or -1?
w
Let n = 322 + -242. Which is bigger: 159/2 or n?
n
Suppose -5*p + 375 - 30 = 0. Let d = 91 - p. Is d >= 22?
True
Let z = -250953389/3842631 + 2/295587. Let p = z + 65. Let y = 1 + 0. Is y smaller than p?
False
Let p = 69 + -69.15. Let z = p + 0.25. Is 1 at most z?
False
Let m = 163 - 95. Is m at most as big as 70?
True
Suppose -2*i - 3*q = -137 + 3, q = 3*i - 190. Are i and 0 nonequal?
True
Suppose 4*g + 64 = 4*d, d - 4*g - 14 - 8 = 0. Let l be (-8)/d + (-144)/42. Let y be 12/16*(-20)/6. Which is smaller: l or y?
l
Let o = 338651/48972 + 6/4081. Let c be 1/(-8)*-14*3. Let a = c - o. Which is smaller: a or -1?
a
Let c = 24 + -14. Let v be 2/c - 474/120. Which is smaller: v or -3?
v
Suppose -5 = 2*r - n, r - 5*n + 3 + 22 = 0. Is 7/11 equal to r?
False
Let p be 5 - 28/5 - 2/5. Let c be (6 + -2 + p)*4/(-18). Is c bigger than 8?
False
Let t = 1.98 - 2.18. Let h = -29.06 + 26. Let g = -0.06 - h. Which is smaller: g or t?
t
Let z = -8 + 12. Suppose 3*h - z = 2*h. Let m be -2 - ((-1)/2 - 1). Which is smaller: m or h?
m
Let q = -2 - -1.8. Let x = 1.3 - 0.1. Let g = x + q. Which is bigger: 1/5 or g?
g
Let a = 5 - 10. Let x be 11/a - 0/10. Is x > -3?
True
Let o(w) = -2*w**2 + 7*w + 11. Let q be o(-4). Let x = q + 1. Which is greater: -47 or x?
-47
Let q = -68421 - -13068441/191. Is -1 less than q?
True
Let n(x) be the first derivative of 4*x**4 + x**3/3 - x - 7. Let r be n(-1). Let v = -9 + -6. Which is smaller: v or r?
r
Let u be (-3)/14*(-44)/(-33). Let a = 0 - 8. Which is smaller: a or u?
a
Let j be (-35)/(-7)*(-1)/5. Let v be 0 - j/6 - 1406/228. Is v at most as big as -15?
False
Suppose -21 = x - 0*x. Let b(m) = -m**2 - 14*m - 20. Let s be b(-14). Which is smaller: s or x?
x
Suppose -5*s = 4*k + 71, 0*s + 21 = -3*s + 3*k. Let j = s + 15. Let h be (-230)/(-55) - (-6)/(-33). Is h greater than j?
False
Suppose 2*l - 57 = 3*w, -2*l + 4*w = -7*l + 154. Let r be 134/l -