99 - 1928/225435. Which is greater: v or 1?
1
Let m = 590 - 680. Which is greater: m or 2?
2
Suppose 2*c + 684 = 8*c. Which is smaller: c or 115?
c
Suppose -29*z - 20 = -34*z. Suppose z*k + 3*d = -0*d - 12, -20 = -3*k + 5*d. Let s = -80/3 + 26. Is s at most as big as k?
True
Let o = -0.1 + 8.1. Let j = o - 6. Let c = 5.62 - 1.62. Which is greater: j or c?
c
Suppose q - 3*l + 44 = 14, -4*q = 5*l + 52. Let i be ((-8)/(-4))/(8/(-84)). Let b = q - i. Are -1 and b non-equal?
True
Let k = -0.84 + 3.84. Is 1.3 >= k?
False
Let v be (-6)/(-8)*(-144)/18. Let p be v/(-9) - (-5)/15. Are 2/27 and p non-equal?
True
Suppose 0*p + 2*h + 14 = -p, 3*p + 38 = -2*h. Let f = p - -15. Let a = f - 8. Which is bigger: a or -7?
a
Let g(a) = a**2 + a + 1. Let w be g(-2). Let l be ((-4)/2)/(-2) - w. Is l >= -3/5?
False
Suppose 0 = -0*f - 2*f + m - 53, 3*f + 3*m + 57 = 0. Let c be (-4 - f/9)/(-4). Which is bigger: 0.6 or c?
0.6
Let t(h) = -13*h**3 - h**2 - h + 1. Let g be t(1). Let q(n) = -2*n - 31. Let p be q(g). Is -2 smaller than p?
False
Let g = -186 - -202.9. Let w = g + -17. Is 0 smaller than w?
False
Let n be (-180)/1020*10/(-12). Is n bigger than 0?
True
Let y = 73 - 78. Suppose -10 = 5*w - 3*q + 4*q, 3*w = q - 6. Let k = y - w. Which is bigger: -4 or k?
k
Let v = 7 - 7. Let b = 0 - v. Let l = -88/13 + 841/130. Is b smaller than l?
False
Let x = 986/12105 + 2/269. Do -2 and x have the same value?
False
Let l = -73/56 - -13/14. Which is smaller: l or -6?
-6
Let l = -0.4 - -0.5. Suppose -16 + 187 = -9*o. Which is bigger: l or o?
l
Let w be (-4 - 2)*(3 + (-799)/3). Let l = 37927/24 - w. Is l equal to 1?
False
Let n = 10 - 9.2. Let p = 187.9 - 187. Let g = n - p. Which is greater: g or 1?
1
Suppose -4*g + i - 660 = 0, -102*i + 165 = -g - 104*i. Which is smaller: g or -327/2?
g
Let c be 4/(-18) - (-11)/(891/585). Suppose -3*l + 36 = 3*a, -3*l + 2 + 10 = -5*a. Which is greater: l or c?
l
Let d be ((-12)/(-14))/(4/(-252)). Let u be (d/24)/(1/4). Let b(v) = 8*v + 39. Let s be b(-6). Is s greater than or equal to u?
True
Let u be (-136)/450 - 30/(-375). Which is bigger: 0.08 or u?
0.08
Let c = 13 - 10. Suppose c*p = 2*p. Suppose 0 = -p*b - b. Does b = 1/15?
False
Let x(f) = -13*f + 40. Let v be x(3). Which is smaller: -140 or v?
-140
Suppose 0 = 2*h + 2*x - 679 - 541, 1828 = 3*h + 5*x. Are h and 612 unequal?
True
Let n = -193 - -239. Is 45 >= n?
False
Suppose 2*l - v - 169 = 0, 4*v = -l - 0*l + 107. Let t = l + -93. Which is smaller: -7 or t?
-7
Let i be (-2)/5 - 1056/(-15). Let u be -7*(28/i - 8/(-5)). Let z(t) = -t**2 - 14. Let x be z(0). Are u and x unequal?
False
Let m be (-3 + 3)*(-4)/(-8). Let h be (1 - (-50)/42*-1) + m. Which is greater: h or 0?
0
Let c(s) be the first derivative of -s**2/2 + 11*s - 6. Let b be c(6). Suppose 4*t + t - 25 = 0. Do t and b have the same value?
True
Let k = -721.9 - -722. Is k greater than or equal to -118.5?
True
Let g be ((-24)/9)/8*-1. Which is smaller: g or 5?
g
Let x = 247/4122 - 1/229. Let u = 15 + -16. Which is smaller: x or u?
u
Let j(t) be the second derivative of -t**3/3 + 33*t**2/2 - 32*t. Let x be j(17). Is -11/5 at most as big as x?
True
Let k(h) = -3*h**2 + 13*h + 5. Let q be k(-7). Which is smaller: q or -234?
-234
Let r(k) = 107*k + 7. Let i be r(3). Which is greater: i or -1?
i
Let f = 0.028 + 0.049. Let t = f + 14.123. Let c = t - 14. Is c bigger than 1/6?
True
Let f = 1 + -1.1. Suppose -3*o = 4*p + 9, 0*o - 3 = -2*p + o. Which is smaller: p or f?
f
Let x = 448 - 449.93. Let v = -9.07 - -9. Let p = v + x. Which is greater: 0.1 or p?
0.1
Let r = -2335/11 + 211. Let x = r + 59/55. Which is greater: x or 5?
5
Let c be (6/7)/((-10)/(-280)). Let l be (-4)/(-7)*31 + c/84. Are 19 and l nonequal?
True
Let u be ((-8)/20)/((-13)/260). Is -7 smaller than u?
True
Suppose 0*u = -3*u - 4*v + 214, 2*u - 4*v = 116. Is 66 at most as big as u?
True
Let r(k) = -k**2 - 16*k + 31. Let c be r(2). Let j = -11 + 15. Suppose 0 = -2*b - 0*n + n - j, -4*b - 5*n = 36. Is c at least as big as b?
False
Let j be 53/(-5) + 24/(-60). Let w = 10 + j. Let g be ((1 + 2)/3)/w. Is -6/11 greater than g?
True
Suppose -5*a - 2095 = -p + 745, p - 5 = 0. Which is smaller: -568 or a?
-568
Let t = -2.2 - -2.352. Let n = t + 0.048. Is 2/55 at most n?
True
Let g = 11408 - 11408.07. Let a = -0.9 + -0.1. Which is bigger: g or a?
g
Suppose -2*d + 3*d + y - 23 = 0, 5*d - 3*y = 83. Let q be (5 + d/(-3))/((-3)/(-9)). Which is bigger: -22/5 or q?
q
Let x = -80 - -79. Suppose -2*m - 5*s + s - 6 = 0, 2*m + 5*s = -7. Let f be 4/(-1*(0 - m)). Which is smaller: x or f?
f
Let j = 11 + -7. Suppose -g + p + p - 8 = 0, -p + 4 = 2*g. Let t be 8 + (g - -3) + -5. Is j > t?
False
Let r be (-2 + 18)*(-1)/(-2). Let j = 12 - r. Suppose 0 = w + 3*w + j. Do w and 1/4 have the same value?
False
Let w(v) = 15*v - 406. Let n be w(27). Let f = 61/7 + -685/77. Which is smaller: f or n?
n
Let y = -154 - -148. Let q(l) = -3*l + 22. Let a be q(7). Are a and y equal?
False
Let r be 3 - (6/2 - 3). Let o = r - 3. Is 1/7 at least as big as o?
True
Let d = 73.2 - 14.2. Let n = 36 - d. Let a = n - -16. Which is bigger: a or 1/4?
1/4
Suppose -4*y - 92 = -3*j + 11, -29 = 2*y + 3*j. Let c = y - -26. Which is smaller: c or 1?
1
Let o(i) = -i**3 + 12*i**2 + 1. Let s be o(12). Let n = 11/28 - -5/14. Is n >= s?
False
Let s = -76 - -316. Is 239 != s?
True
Let c(a) = 3*a**2 - 5*a**2 + 3*a**2 + 4*a + 0*a + 1. Let x be c(-3). Let w be 5/x + (-3)/(-6). Is -7/4 smaller than w?
False
Let m be (-12)/78 - (-48)/(-26). Let c be ((2*-26)/m)/2. Which is greater: c or 14?
14
Suppose 16 = -2*t - 4*p + 6*p, 2*t = p - 19. Let r = 11 + t. Suppose -4*q = -7*q - 12, r = 5*a - 2*q + 27. Is -6 <= a?
False
Suppose 0 = -8*v + 7*v - 62. Is v != -62?
False
Let h(p) = 3*p**2 - 70*p - 92. Let o be h(22). Is -179 < o?
False
Suppose -6*a = -a + 15. Let j = 3 + -1. Suppose -7*y + 5*y = -2, 0 = j*d + 5*y - 3. Is d less than a?
False
Suppose 263*q + 294 = 262*q. Is q at least -295?
True
Suppose -2 = -3*t - 5*p, 2*p = -3*t - 2*p + 4. Let u be 50/t - 1/2. Suppose 0 = -2*j - 8, -3*a + 4*j + 36 = -16. Is u at most as big as a?
True
Let c = 1017 + -1729. Which is bigger: c or -711?
-711
Let i be 8/12*-2*-3. Suppose 30*p + i = 29*p. Suppose 0 = 5*n - n + 16. Are p and n nonequal?
False
Let v = -37 + 37. Suppose 8*n - 5*n = v. Is n at most as big as -3/25?
False
Let i = -4 - -2. Let z = -2 - i. Let r = 4106 - 4110. Which is greater: r or z?
z
Let j = -472 - -6605/14. Suppose 2*p - 3 = -p. Is j < p?
True
Let m = 9 + 28. Suppose 139 = 3*r - 5*u, 0 = -5*u + 308 - 333. Which is greater: m or r?
r
Let l(q) = -q**2 + 2*q + 7. Let r be l(-3). Let n = 6 + r. Is -14 at most n?
True
Let q = -35 + 33. Suppose -10 + 5 = 5*u. Let r be u/3*(-3)/(-3). Is q greater than r?
False
Let t = -3.29 - -1.29. Do t and 37 have different values?
True
Suppose 2*p - 322 = 3*b - 334, 15 = -5*p. Which is smaller: b or 230?
b
Let v(m) = m**3 + 16*m**2 - 18*m - 19. Let z be v(-17). Which is smaller: -25 or z?
-25
Let s(v) = -2*v + 7. Let z be s(4). Let r = -10119537/124 - -81607. Let d = 13/31 + r. Is d bigger than z?
False
Let b(g) = g**3 + 8*g**2 + 8*g. Let o be b(-1). Which is greater: 1/59 or o?
1/59
Suppose -2*u + 3*g - 7*g + 16 = 0, -3*u = -4*g - 4. Let b(a) = -a**3 + 24*a**2 - 65*a + 41. Let c be b(21). Is u at least as big as c?
True
Let n = -4.83 - -4.73. Let w be (2/28)/((-1)/(-4)). Is w bigger than n?
True
Let k(p) = -71*p + 141. Let f be k(4). Which is smaller: f or -144?
-144
Suppose -2*h - h + 8 = 4*s, -20 = 5*h. Let d be 243/45 - (-3)/s. Let q be d/14 + 37/(-70). Do 0 and q have the same value?
False
Let m be (-4)/((-320)/(-156))*56/(-21). Is -0.1 greater than m?
False
Let q be (6 + -6 + -4)*1/(-2). Let n = 179/4 + -45. Let g = n - -3/4. Is g greater than q?
False
Suppose -14 = 2*i - 0*i. Let m = i + 3. Suppose 0 = -4*r - 24 + 8. Is r > m?
False
Let y = -4 - -29. Let c = 22 - y. Which is smaller: c or -3/2?
c
Let i(b) = -1112*b + 7. Let u be i(-1). Is u < 1119?
False
Let y be -22 - 1 - (1 - 0). Suppose -108*f - 137*f - 2702 = 3178. Do y and f have the same value?
True
Let o = -0.1129 + 0.0129. Is -20/19 > o?
False
Let d = -0.09 + -0.01. Let g = 0.66 - 0.16. Let l = 0.4 - g. Do l and d have the same value?
True
Let o = 0.18 + -0.1. Let l = -0.2 + o. Let v = l 