uppose -3 - w = -4*v. Is v at least p?
True
Let f = -0.2317 - -211.9317. Let j = f - 200. Let t = 11.4 - j. Which is smaller: -17 or t?
-17
Let v = -84 + 84.47. Let a = v + 19.53. Let r be -6 + (-20)/28*(6 - 126/9). Which is smaller: a or r?
r
Let p = -1.694 - -3.385. Is p at least as big as -1?
True
Suppose 3*g - 6*g = 6. Let i(s) = -36*s**2 - s. Let z be i(-1). Let v be -4 - 1*g - 65/z. Is v != 2?
True
Suppose 3*v + 4*y = 105, -3*v = -0*v + 3*y - 105. Suppose -138*l - 16 = -130*l. Let j be (l/5)/((12/v)/3). Which is bigger: -4 or j?
j
Suppose 0*c + 38 = -g + 3*c, -g - c = 18. Let j = 1 - g. Let n = j - -35. Is 59 equal to n?
True
Let n be (26 + -27)*(2 + -1). Is n > -2/10439?
False
Let f = -690.0515 + 0.0515. Let v = 650 + f. Is v greater than -3?
False
Let j = 365/60873 - 3/394. Which is greater: -1 or j?
j
Suppose y + 260 - 176 = -5*g, -2*g = 3*y + 239. Which is bigger: y or -101?
y
Let z(y) = -4*y**2 - 4*y + 3. Let t be z(-2). Let o be 4/(-2) - (t + 35)/3. Let v be (2/((-736)/o))/(2/24). Which is smaller: v or 0?
0
Suppose 2*m = -3*m + 5. Let n = 6543/4 - 1636. Is m greater than n?
True
Suppose -6091*i = -6092*i + 1. Which is smaller: i or -3/758?
-3/758
Suppose 0 = -3*y - 2*x - 323, 2*y + 308 - 86 = -3*x. Let w be 8/(-56) + (-64816)/616. Let t = w - y. Is t > 0?
False
Let v be (-1)/((-1)/(-608 - -1)). Let g = v - -3024/5. Let z = 8369 - 8372. Is z not equal to g?
True
Suppose 0 = -3*l - 3*g + 210, 57*g + 6 = 58*g. Which is smaller: l or 718/11?
l
Suppose 0 = 35*i - 31*i - 1100. Let j = i - 276. Is 0.035 less than j?
False
Let a be (1 - (-1 - -2)) + (-483)/(-23). Let r be (2 + a/(-12))/(903/12). Which is bigger: r or 1?
1
Suppose -5*l - 10*l - 5*l + 7*l = 0. Is -5/1919 greater than l?
False
Suppose 3*d = 0, 5*u + 0*d - 3*d - 50 = 0. Suppose -450 = u*a + 1170. Is -162 at least a?
True
Let o be (39/(-6) + 4)/(5/230). Let x = -141 - o. Are -24 and x unequal?
True
Let s be ((-16)/(-7) + 84/(-294))*1/(-2). Is 7/92 <= s?
False
Suppose 924 = 102*o + 52*o. Let v be (-34)/(-8) - (-1)/(-4). Suppose 4 = -k - v*q, 5*k + 5*q - 2*q - 14 = 0. Is o at most as big as k?
False
Let z be (-2 + 2)*(5 - 3 - 1). Suppose -32 = -3*p - 0*w + 5*w, 90 = 5*p - w. Let n be 38/247 - p/208. Which is smaller: n or z?
z
Let f = 70.1 + -72.1. Let r = -4 - f. Which is smaller: -203 or r?
-203
Let h be 2/(-3)*(-3 + 6 + 0). Let f be ((-1200)/606 - h)*-1. Which is smaller: f or -1?
-1
Let t be ((-12)/9)/(52/(-78)). Suppose -82*m + 79*m - 17 = 5*d, -2*m = t*d + 6. Is 0 bigger than m?
False
Suppose -23*m + 3661 = 303. Let u = m - 140. Suppose 5 = 5*l, 0*l + 4*l - 34 = -5*z. Do z and u have the same value?
True
Suppose -5*l - 23 = -2*c - 27, -3*l - 9 = -5*c. Let t be (2 - 3)*l*(-1)/(-2). Is -6/253 less than t?
False
Let i = -179624 - -181240647/1009. Which is greater: i or -1?
i
Let y be 13898/(-154) - 8/56. Let k = 547367/7040 - -43/640. Let a = k + y. Which is greater: a or -12?
-12
Let t = -831 - -1516. Let y = t - 670. Is y at most as big as 97/7?
False
Let v = -3687/355 - 1/71. Let t(z) = z**3 - 4*z**2 - 7*z + 9. Let i be t(5). Which is bigger: i or v?
i
Let n(j) = 103*j**2 + 71*j + 142. Let h be n(-2). Which is bigger: 410 or h?
h
Let z be (80 - 75)*1/(-15). Which is smaller: z or 29/8?
z
Let f be (-8)/(-6)*1*3. Suppose 4*x = -2*b - 34, -3*b = -4*x + 79 - 8. Which is greater: b or f?
f
Let y(o) = -o**3 + 8*o**2 - 7*o - 14. Let u be y(7). Let h be 2/(-8)*9128/u. Is h != 163?
False
Let w be (25/45)/((-10)/(-4)). Which is smaller: w or 438?
w
Let b = 11687 - 81791/7. Is b greater than -75?
True
Let m = 109 + -112. Let d be m/1 - (-8)/((-16)/(-4)). Let s be (-62)/36 + (d - (-55)/45). Which is greater: -1/2 or s?
-1/2
Suppose 2*q - 5 + 13 = -4*p, -3*q - 4*p = 8. Suppose -11*h + 46 - 2 = q. Let n be ((h + -3)*3)/3. Which is smaller: n or 2?
n
Let o be -26*(-5)/(10/(-4)). Let m be 22 + -23 - o/10. Are m and 0 non-equal?
True
Let u be ((-84)/(-13166))/(-14)*(-8)/(-12). Is 1 smaller than u?
False
Let u = -2641 - -23771/9. Is u not equal to -32?
True
Let t = 3110 + -805508/259. Which is bigger: 0 or t?
0
Suppose 10*l - 410 = 7*l + 4*t, 5*l = -3*t + 635. Let k be ((48/l)/6)/((-6)/5). Do 1 and k have the same value?
False
Let r = -129.2 - -119. Let v = 17.9 + r. Is -2 > v?
False
Let x = 25/583 - -458/2915. Which is greater: x or 871?
871
Suppose -4*c = z + z + 24, -3*c + z - 28 = 0. Suppose 51*f = 23*f + 168. Suppose 23*y - f*y + 85 = 0. Which is smaller: y or c?
c
Suppose 2*i - 565 = -563. Is i at most 8.58?
True
Suppose -4*k = -2*k - 4*b + 32, -3*k - 48 = -5*b. Suppose 2*p - 5*q + 4 = 0, -14*q = -p - 18*q - 28. Let u be (8/k)/(43/p). Are 1 and u equal?
False
Let y be 4/(-18) - -11*(-4 - 9364/(-36)). Which is smaller: y or 2819?
y
Let g = 1917877 - 92062415/48. Let s = 90 + g. Suppose 5*d - 3*f = f, -3*d = -3*f. Is s bigger than d?
True
Let u = -396 + 604. Let w = -347 + u. Let n = w - -161. Which is bigger: -2 or n?
n
Let v(c) = c**3 + 29*c**2 - 6*c - 58. Let m be v(-29). Which is bigger: 117 or m?
117
Let d = -147 + 437/3. Let j = -6 + 7. Let c = 0.9 - j. Which is bigger: c or d?
c
Suppose 0 = 5*y + 30, -3*z = -8*z + 5*y + 30. Is z at least as big as -3/2033?
True
Suppose -175*i + 7960 = -165*i. Which is greater: i or 795?
i
Let s = -626915.9213 + 627125. Let d = -0.0787 + s. Which is bigger: d or -0.1?
d
Let p be (10/4)/((-17)/68). Let l(o) = -o - 9. Let t be l(p). Let b be 1 - (t + 0) - -25. Is 23 bigger than b?
False
Let m be 15941/(-114) + (-15)/(-18). Is m < -142?
False
Let y = 0.078 + -48.078. Let g = y - -53. Let s = g - 5.27. Is s > 2/3?
False
Let k be 44/5 - (-6 - -3)/15. Let v be (6 + (-57)/k)/((-2)/6). Is 0.45 > v?
False
Let s = -406 - -409.1. Let q = 5.8 - s. Let l be 1 + 0 + 2/(-3). Is l at least q?
False
Let j(m) = -m**3 + m + 6. Let r be j(0). Suppose 0 = -r*q - 3*q - 15*q. Let l be 3*(1 - 8/7). Which is bigger: q or l?
q
Let l = -6765 - -6744. Which is greater: -16 or l?
-16
Let r = 11949 + -11949.12. Is 7/18 at most r?
False
Let d = -6.82 + 6.92. Which is smaller: 1576 or d?
d
Let o be (-51)/(-595)*21 - (-28)/(-10). Which is smaller: o or 32/883?
o
Let l(r) be the third derivative of r**5/60 + 5*r**4/6 + 7*r**3/6 + 151*r**2. Let j be l(-6). Is -76 at most as big as j?
False
Let c be ((-102)/24)/17 + 2/8. Suppose -o - 34 = -5*w - 2, 4*w + 4*o - 40 = c. Is 2 at least w?
False
Let z be ((-28)/78)/(176/(-2376)) - -3. Which is bigger: -2/15 or z?
z
Let v(f) be the first derivative of 5*f**4/4 - 5*f**2/2 - 5*f + 14. Let k be v(-2). Let x be (k/10)/((-2)/12). Is 21 at most as big as x?
True
Let w be (5 - (-3 - -7) - 372608/53232) + 6. Is w at most 0?
False
Let c be 1/2 + 22/(-52). Let w(k) = -k**2 - 3683*k - 11039. Let g be w(-3). Which is smaller: g or c?
c
Let t = 9802 + -9802. Is t less than -1777?
False
Let n be 3 + -1 + -1 - 19. Let b(l) = -6*l - 56. Let o be b(-15). Suppose -16*j + 14*j = o. Which is smaller: n or j?
n
Suppose 0*y + 15 = 3*y, 5*y = 5*d + 40. Let i be 2/(2230/(-3335)) - d. Let f(h) = -h**3 + 6*h**2 + 15*h + 9. Let s be f(8). Is i at most s?
True
Suppose -8*t = -27*t + 15*t. Which is smaller: t or 2/19653?
t
Let y = -157 + 37. Let k be (-6)/(-21) + y/28. Let g be ((-45)/(-10))/((-2)/k). Which is bigger: -1 or g?
g
Let u = 556 - 234. Let x = 338 - u. Is x less than -0.1?
False
Let z be (-3 + (-1919)/(-570))/((-3)/(-5)). Do 1 and z have the same value?
False
Let c be 18304/46 + (-8)/(-92). Let g be (-2)/9 - c*(-7)/11970. Is g bigger than -1?
True
Suppose 8*n - 1428034 = 264990. Let k = 5291398/25 - n. Let q = k + -28. Is -1 smaller than q?
True
Let r = 126 - 76. Let f(b) = -15*b**2 + 8*b + 5. Let w be f(-2). Let u = w + r. Does u = -21?
True
Let t be (1 + 1)/((-9)/(-39)). Let q(i) be the third derivative of -i**5/60 + i**4/12 + 17*i**3/6 - 2*i**2 - i. Let r be q(4). Which is smaller: r or t?
t
Let d(r) = 2*r**3 + 2*r**2 + 5*r + 2. Let s(h) = -h**3 + h**2 - 1. Let t(c) = d(c) - s(c). Let v be t(-1). Is -46/11 greater than or equal to v?
False
Let f be (5 - -1)/(1364/22440 + 2/(-20)). Which is smaller: -123 or f?
f
Let x be (7/((-35)/25))/(-5). Suppose -5*r - 2*z - 110 = 0, -3 = -4*z - 23. Let q be 4/(-14) - 10/r. Is q at most as big as x?
True
Let h be -1 + 1 + 8840/94. Suppose 8*a - 12*a = -34*a + 2820. Let d = a - h. Which is bigger: d or 1?
1
Let 