t t = -39 + 70. Suppose -2784 = -i - t*i. Which is bigger: i or 86?
i
Let t = -47.24 - -0.24. Let a = t - -49. Is -5/3 smaller than a?
True
Let v(y) = 86*y - 8961. Let a be v(106). Suppose 63 = f - 91. Is f at least as big as a?
False
Let z be -2 + (-2 - (-30)/(-1052)*-140). Suppose 19*v + 3 = -16. Which is bigger: v or z?
z
Suppose -4*l = -4*a + 244, 3*a - 4*l - 189 = -1. Let r be (-14)/a - 25/(-4). Let p be ((-1 - 2)/r)/((-9)/(-1260)). Is p less than -70?
False
Let s(k) = 2*k**2 - 18*k - 4. Let j be s(8). Let a be 350/483*24/j. Which is bigger: -1 or a?
a
Let q = 2327.1 + -2327. Is q != -8084?
True
Let w = 90233.779 + -90142. Let i = w - -0.221. Let o = -107 + i. Is o bigger than -1?
False
Let l(h) = -h + 1. Let j be l(1). Let v be 8/4 - (j - -2). Let o = -162008/93 - -1742. Is v at most as big as o?
False
Let t(s) = -7*s + 63. Let c be t(9). Which is smaller: c or -13/59?
-13/59
Suppose -4*k + 1234 = 5*d, -10*d + 4*k + 980 = -6*d. Suppose -25*x + 22*x + d = 0. Which is greater: 83 or x?
83
Let l(o) = o**3 + 24*o**2 + 26*o + 50. Let k be l(-23). Let m be ((-3)/6)/(k/(-228)). Which is greater: m or -0.12?
-0.12
Let b(i) = 10*i + 54. Let c be b(-5). Suppose 4*j - 196 = -m, -10*j + c*m - 49 = -11*j. Is j at least as big as 148/3?
False
Let d = -57 - -42. Let q be -41 - ((-18)/4)/((-54)/(-108)). Is d smaller than q?
False
Suppose 18*l + 15 - 51 = 0. Suppose -2*i + 4*d - 6*d - 106 = 0, -l*i = -4*d + 82. Is -49 >= i?
True
Let c be (-14 + 132/15)*(-85)/2. Is c greater than 221?
False
Let d be 0 + -11 - (-18 + 9 + -2). Let i = -18 + 26. Let f be 4/i*-2 - d. Is -1 less than f?
False
Let a = 11644 - 11643. Which is bigger: a or -0.16356?
a
Suppose 61*d - 1066502 = 204067. Is 20828 less than d?
True
Let y = 12656 + -848018/67. Which is bigger: -1 or y?
y
Let v = 318 - 308. Suppose 4*y = -2*n - v, -13*n = -8*n - y - 19. Let i = -3 + 6. Is i > n?
False
Let c = 1.5 - 0. Suppose 21*y = -226*y - 1482. Which is greater: c or y?
c
Let i = -5/3889 - -14632/2306177. Which is smaller: i or 2?
i
Suppose -4816 = -36*x + 5444. Is x at most as big as 13?
False
Suppose 0*b = -5*b - 115. Let m(d) = -d**2 - 21*d + 49. Let k be m(b). Suppose i - 3*g - 12 = 0, 3*g = -i + k*i - 33. Is i not equal to 20?
True
Let v = 5329/3 + -1777. Does v = -0.1647?
False
Suppose 4*b = 5*a + 17, -5*a - 48 + 15 = 4*b. Let d be (2*115/(-20) - a)*2. Which is smaller: -2 or d?
d
Suppose -4*l - 3*o = -16 + 53, 3*l + 3*o + 27 = 0. Is -5 less than l?
False
Suppose 5*x + 3 - 72 = 3*d, -5*x + 75 = -5*d. Let o = x - 47. Let h be (-1)/2 - o/(-14). Is h not equal to -3?
False
Let z = 2228 + -1517. Suppose 11*s = z + 15. Are s and 67 equal?
False
Let w(z) = 4*z**2 - 7*z + 1126. Let m be w(0). Which is smaller: 1127 or m?
m
Suppose 8*l = -8*l - 2896. Let q = -155 - l. Is -2 greater than or equal to q?
False
Suppose -5*a - 5*p - 5 = 0, 2*a + 2 = p + 3. Let c be a + -5 + -25 + 33. Let g = 11 - 6. Which is bigger: c or g?
g
Let s = -7367940131/2860 - -12881283/5. Let t = s + -215/4. Which is greater: 1 or t?
1
Let k = 1103 - 12719. Which is bigger: 1 or k?
1
Let k(y) = -87*y + 180. Let h = -37 + 43. Let u be k(h). Is u at most as big as -342?
True
Let t = 0.55 - 39.55. Let w = -151.4747 - -151.4. Let q = 2.0747 + w. Is t < q?
True
Let c be 2 + -6 - (-9 + (-3470)/(-190)). Are -13 and c non-equal?
True
Let a(s) = 2*s**2 + 2*s - 59. Let m be a(5). Which is bigger: m or -1/5586?
m
Let c(d) = -d**3 + 3*d**2 + 43*d - 19. Let k be c(7). Let b = 445 + -361. Which is smaller: b or k?
b
Let p(j) be the first derivative of -j**4/4 + 23*j**3/3 + 29*j**2/2 - 113. Let d be p(24). Which is smaller: 119 or d?
119
Let i = 14 - 82. Let p = -9.3986 + 9.7986. Which is greater: i or p?
p
Let b = -899.917 - -900. Let i = 2568 - 2575.083. Let j = b + i. Is -7 > j?
False
Suppose 2*p - 126 = 204. Are 158 and p non-equal?
True
Suppose 0 = -k + u - 3, -2*k - 4*u = -8 - 10. Which is smaller: k or 1326?
k
Let z = -0.2604 + 0.212. Let n = z + 59.0484. Is n smaller than -1/4?
False
Let g = -1292.28 - -18.28. Are g and 3 equal?
False
Let z(h) = 5*h**2 - 18*h - 37. Let y be z(5). Let k be 36 - (3 - (1 + y)). Which is bigger: 40 or k?
40
Let a(b) = b + 12. Let h be (-176)/14 + (-36)/(-63). Let w be a(h). Suppose w = 7*j - 41 - 64. Which is greater: j or 16?
16
Let l be 2/4 + 329/(-14). Let b = -29 - l. Let d(x) = x**2 - 7*x - 2. Let h be d(6). Which is smaller: b or h?
h
Let k = 354.6 - 329.6. Which is smaller: k or 181?
k
Let z = -107 - 216. Let a = 334 + z. Which is greater: 7 or a?
a
Let y be (20/(-2850))/(-5 - 24056/(-4776)). Let x be 211/(-209) + 0 - -1. Let v = y + x. Which is smaller: v or 18?
v
Let a = -48.944 + -0.256. Let j = -1638 - -1589. Let y = a - j. Does 1 = y?
False
Let j = 2/19 - 23/38. Let u = 48 + 123. Let b = u - 156. Is j less than b?
True
Let l = 183073/25545 + -466/65. Which is smaller: l or -18?
-18
Let m = -571 - -1523998/2669. Let w = m - -128119/18683. Is 7 equal to w?
False
Suppose 4*y + 5*q + 5 = 4*q, -8 = -2*y - 4*q. Let b be (36/(-1062))/(1 + y). Let i be (-2)/3 - 10/(-6). Is i less than b?
False
Let u be (-5795)/67750 - 2/(-25). Let x be (-9)/(-15) - (6/15)/(-1). Which is smaller: x or u?
u
Let g = 1593 + -774. Let w = g + -9805/12. Is w > 2?
False
Suppose 3*k - 32 - 10 = 0. Suppose 2*o = 4*q - 162, 47 = -o - 3*q - k. Let d = -61 - o. Is d at least 3?
True
Suppose -3*j - 756874 = -81685. Let g = 1133073/5 + j. Let q = 1557 - g. Are 4 and q nonequal?
True
Let h(d) = -124*d - 307. Let v be h(-25). Let x = v - 14018/5. Is x greater than -12?
True
Let r be -9*16/(-72) - -152. Suppose -3*w - f = -470, 4*w + 32*f - 27*f = 645. Is r bigger than w?
False
Let k = 7015 - 7746. Is k greater than or equal to -727?
False
Suppose q = -b - q + 6, -2*q + 6 = 2*b. Let c be -4 - b - (-3 - -3). Suppose 0*w = 4*w - h + 20, 2*w - 2*h = -10. Is w > c?
False
Suppose 3*f - z - 972 = 0, -5*f + 2*f = -3*z - 972. Let t = f + -348. Which is smaller: -23 or t?
t
Let x be (-2 - 1621)/(8/4 - 1). Do x and -8113/5 have the same value?
False
Suppose 61*a = 8*a + 16907. Do a and 316 have the same value?
False
Let w = -10654 - -1491599/140. Is w less than or equal to -1?
False
Suppose 2 = -3*x - 2*o + 10, -3 = -3*o. Suppose -2*u + 28 = 5*i, -x*i - 2 = -3*u + 2. Suppose -u = 5*f + 1. Is f less than 2/61?
True
Let h be -3*124/(-24)*4. Suppose -h = 5*u - 77. Suppose 5*t + u*i = -17, 5 = t - 3*i - 6. Which is greater: t or -2/65?
-2/65
Let w = 1524/123845 + -2/527. Do w and 0 have different values?
True
Suppose -3*d + 3*n - 4*n + 3 = 0, -5*n + 15 = 0. Let s be (20 + -21)*(-5006)/16. Let t = s + -314. Is d at least t?
True
Let p be 28/(-56) - 5497/(-9282). Let j = -2/663 - p. Which is smaller: j or 7?
j
Let g be -3*(16/6)/(-4) + -17. Let f be 54/g + 4 + (-322996)/(-40710). Let n = -1/1357 + f. Which is smaller: n or 8?
8
Let z = -21025/7 + 3005. Which is bigger: z or -0.012?
z
Let i be (36*4/8)/(5/(-10)). Let o = i + 35. Is o at least -12/5?
True
Let u = -31/2 - -656. Let b = 9027/14 - u. Is 5 < b?
False
Suppose -4*x + 33 = -3*q, 0 = 3*x + q - 0*q - 28. Let p = -21 + 69. Suppose -p - 32 = -8*h. Which is smaller: h or x?
x
Let g = 15248/29 + -526. Let o(y) be the second derivative of y**4/12 - 19*y**3/6 - 10*y**2 + 12*y. Let j be o(20). Is j > g?
True
Let w = -88.795 + -0.205. Let p be -148*(45/(-10) + 8/2). Let c = p + -75. Is w less than c?
True
Let d be (-5)/(-15)*14/8. Let r = d + -101/168. Which is greater: 0 or r?
0
Suppose -16*t = 19*t + 70. Let m be (1 - t/2) + (-63 - -62). Is m bigger than 1/118?
True
Let o = -123748886/607867 - -3868/19. Which is smaller: 0 or o?
0
Let d be -3 + (-38)/(-14) - (-36)/(-315). Which is smaller: -0.054 or d?
d
Let h(o) = 2*o**2 + 32*o - 149. Let m(s) = -s**2 - 15*s + 75. Let a(b) = -6*h(b) - 13*m(b). Let g be a(0). Do g and -82 have the same value?
False
Suppose 25 = -2*a - 0*d + 5*d, 3*a = 2*d - 10. Does 22/23 = a?
False
Let z = 5324 + -5229. Which is smaller: z or 89?
89
Suppose 2*p = 5*p - 15, -3*p + 15 = -3*y. Suppose -4*z - m + 165 = y, z + 36 = 2*z - 5*m. Is 39 greater than z?
False
Suppose 2*g = -x - 1552, -4629 = 12*x - 9*x - 3*g. Are x and 2/7 equal?
False
Let d = -309.716 - -310. Let a = d + -0.248. Which is smaller: a or -2?
-2
Let g = 2302 + -1624. Let s = g - 6094/9. Suppose -9*b = -14*b. Wh