Let g be (1/5)/(z/5). Let p be 1 + 4 + -8 + 2. Is p at most g?
True
Suppose -6*t = 31 + 53. Does t = 23?
False
Let f = -15560 + 15561. Let w = -4553/407 + 123/11. Is w at most f?
True
Let n = 1 + -2. Let v = 55/2 + -28. Let o = v - 1/10. Is n less than o?
True
Let o = -11 - -11. Let n be o/(0/(-3) - 2). Suppose 40 = -4*u - n*u. Which is smaller: 1 or u?
u
Let v = -98 + 98.39. Is -1/2 not equal to v?
True
Let c = 6 - 7. Let z be (6 - 120/28)*42/(-102). Which is greater: z or c?
z
Let x = 85/3 + -28. Let f = 145.6 + -146.2. Which is smaller: f or x?
f
Let q(z) = -2*z**2 + z. Let t be q(-1). Suppose -m = -5*p - 10, 2*m = -p - 3*p - 8. Which is smaller: p or t?
t
Suppose -42 = -3*f - 3*l, 5*f - 54 = -2*l + l. Suppose -x - 12 + f = 0. Which is smaller: 4 or x?
x
Suppose 11*l = -1 - 10. Let y = 21820/17 - 1284. Which is bigger: y or l?
y
Suppose -7*l + 5*l + h + 5 = 0, -3*l - h = 5. Is l <= -9/14?
False
Let r(o) = 2*o - 1 + 6 + 3*o - 4*o. Let h be r(-5). Is h bigger than -0.05?
True
Let h = -1 + 1.2. Let u = -408/11 + 8579/231. Is u smaller than h?
True
Let n(f) = -2*f - 116. Let w be n(-55). Which is bigger: w or 25?
25
Let f(p) = -3*p**3 + 6*p**2 - p + 2. Let u be f(2). Suppose 0 = -2*z - 0*z + 16. Suppose -4*g + 5*g - 3*m = -z, m - 7 = -4*g. Which is smaller: g or u?
u
Let h = 645 + -3871/6. Let g be -2 + 1*(3 - 2). Let z = g + 0. Which is greater: h or z?
h
Let n = -15 + 9. Let b be 54/8 + -3 - 4/(-16). Suppose 3*p + 3*t = -18, t - b*t = 4*p + 25. Which is smaller: p or n?
p
Let m = 44 + -146. Let g be ((-8)/(-12) - 1)/((-2)/m). Do -17 and g have the same value?
True
Let b(p) = -1 + 0 + p + 0*p - 11. Let i be b(0). Let x be (-30)/4 - 6/i. Is -7 equal to x?
True
Suppose -5*f - 4 = -6*f. Let t(y) = -y - 11. Let j be t(-10). Let z be (16/(3 + j))/2. Is z <= f?
True
Let p = -227/206 + 1/515. Let b = -123/130 - p. Which is bigger: b or -1?
b
Let f(c) be the third derivative of -c**5/60 - c**4/12 + c**3/3 + 11*c**2. Let n be f(2). Let a be (-246)/18 - (-2)/n. Which is greater: a or -1?
-1
Let l = -32 + 107. Let h = 76 - l. Which is smaller: 5/8 or h?
5/8
Let k = -317/3 - -106. Is k greater than or equal to 0.069?
True
Suppose 486 = -11*x + 2*x. Which is smaller: x or -53?
x
Suppose -2*j = -2*s - 1 + 7, -2*s + 7 = -j. Which is smaller: 0.073 or j?
0.073
Let q(b) be the second derivative of -b**3/6 + 7*b**2/2 + 3*b. Let c be q(5). Let k be ((-10)/(-6))/(c/(-6)). Is -6 equal to k?
False
Let f(w) = w**3 - w**2 - 6*w + 2. Let i be f(3). Suppose -4*n + 3 = p - i, 5 = -2*p - 3*n. Which is greater: p or -6?
-6
Let m(v) = v**3 - 3*v**2 - 10*v + 12. Let g be m(6). Suppose -17*c + g = -21*c. Which is smaller: c or -18?
-18
Let w(l) = -16*l - 80. Let j be w(-5). Which is smaller: j or -32?
-32
Suppose 2*p = 10 - 4. Suppose -a - p = 4. Which is smaller: a or -6?
a
Let v be -1 - 22/(-20) - 0. Let m = 68 - 9. Let o = m + -59. Is v at least o?
True
Let b be 1/((-9)/(-1379)) - (1 + -3). Let u = b - 155. Suppose -2 = r + r. Are u and r equal?
False
Let o(d) = 10*d. Let f be o(2). Suppose -n - k + 4 = 0, 5*k = -2*n + 3*n + f. Let c = n + 0. Which is smaller: 2/73 or c?
c
Let z = -4.32 - -3.32. Let h = -251 - -253.07. Let d = 2 - h. Does d = z?
False
Let y = 2635 + -2495. Which is smaller: 138 or y?
138
Let w be (1 - 8) + 11 + -12. Let m(g) = -g**2 - 6*g + 16. Let b be m(w). Is b < 1/2?
True
Let a(l) = -l**2 - l - 1. Let p(g) = 3*g**2 + 11*g - 4. Let h(w) = 4*a(w) + p(w). Let t be h(7). Which is bigger: t or -7?
-7
Let j = 0.016 + 32.984. Let v = -33.19 + j. Let n = v - -0.19. Is 5 at least as big as n?
True
Let j = 1 - 3. Let w = 693.8 + -695. Is w > j?
True
Let x = -30.49 + 31. Let m = -273 + 273. Is m <= x?
True
Suppose -20 = -5*g, 5*g - 20 = 6*f - 3*f. Suppose f = 3*s - 2 + 23. Is s at most -6?
True
Let q = 67/4 - 2877/172. Suppose -256*p + 260*p = 5*n - 11, 3*p + 8 = 4*n. Which is greater: q or n?
q
Suppose -2775*f = -2783*f + 136. Let s = 1 + -1. Which is smaller: f or s?
s
Suppose 3*x + 12 = 5*l - 3, 0 = -5*l + 2*x + 20. Which is smaller: l or -4/3?
-4/3
Let o = -238.7 - -265.77. Let j = 39 - 66. Let z = o + j. Which is greater: z or 1/2?
1/2
Let g = 4.5 - 31.5. Let v = -46 - g. Let w = 10 + v. Which is greater: w or 1/2?
1/2
Let n = -6 + 10. Suppose 5*p + 9 = h, 4*h + 2*p = n*p + 18. Let a = -755 + 755. Which is smaller: h or a?
a
Suppose 5*b + 47*f - 52*f - 150 = 0, -5*b = -4*f - 147. Are 27 and b equal?
True
Let r = 24.6 + 88.4. Let q = -132 + r. Which is bigger: q or -2?
-2
Let o be -3*(-3 + 11/3). Suppose q = 2*y - 15, 2*y - 3*q = -5*q. Suppose 5*g + 0*g + y = 0. Is o < g?
True
Let m(p) = p**2 - 8*p + 3. Let w be m(8). Are w and -1/33 equal?
False
Let t = 1625 - 1646. Is 10 bigger than t?
True
Suppose -3*f - 52 = 5*o - 37, 0 = -2*f + 5*o + 15. Does 547 = f?
False
Let f be ((-32)/45)/(-4) - (-186)/(-465). Which is smaller: f or -204?
-204
Let i be ((-336)/40)/((-6)/20). Suppose 8 - i = 4*l. Let q(a) = -a**3 - 7*a**2 + 10*a + 9. Let p be q(-8). Is l >= p?
True
Let x be (-1 + -20)/(3/12). Let d be (-15753)/x - (-4)/(-16). Let r = d - 187. Which is smaller: 0 or r?
0
Let j = -10466.042 + 10492. Let p = 0.042 + j. Let z = 0.009 + -0.109. Is z at least as big as p?
False
Let r = 187.7 + -230. Let p = 41 + r. Is p at most as big as -2/5?
True
Let y be 38/(-22) - (-2 + 12 - 13). Are 1 and y equal?
False
Let s = -20 + 48. Suppose s = 4*u - 20. Is 21/2 not equal to u?
True
Let v(r) = r + 8. Let q be v(-6). Suppose a = -2*g + 1, -2 = -4*a - 5*g + q. Is a less than or equal to 1?
True
Let u = 7796 - 16457355/2111. Which is smaller: u or -1?
-1
Suppose -19*x = -29*x - 1000. Is -103 < x?
True
Suppose -39 = 4*a + b - 0, b = -2*a - 19. Let u = 2 + a. Let w(v) = v**3 + 9*v**2 + 9*v + 12. Let d be w(u). Which is smaller: d or 3?
3
Let p be 33/66*(-25 - 1). Let c(o) = -o**3 - 12*o**2 + 14*o - 1. Let k be c(-13). Which is smaller: p or k?
k
Suppose -4*b + 0*b = 2*h - 274, -2*h = -2*b + 134. Let p = -277/4 + b. Let c be (-1)/(2 - 6/4). Which is greater: p or c?
p
Let q(k) = -3*k + 7. Let y be q(-9). Let v = y - 65/2. Which is smaller: v or -3?
-3
Suppose 3*s + 3 = -3*m, -3*s = -123*m + 118*m - 5. Is m not equal to -2/3749?
True
Let w = -15.3 + 18. Let t = 2.7 - w. Which is bigger: t or 1?
1
Let d(z) = 5*z + 14. Let i be d(-5). Let t be 0 + 2 - 6 - -2. Let w = -7 + t. Which is greater: w or i?
w
Let w be (-181)/3 + 11 + -14. Let u = w - -64. Is u less than or equal to 0?
False
Let i = 0.0931 - -1.9069. Is i < -3?
False
Let v be 12/20 - (-5)/((-4550)/511). Is -1 bigger than v?
False
Let i = 59 - 59.6. Which is bigger: i or -16/5?
i
Suppose 2*w - 6*w + 268 = -4*j, -149 = 2*j + 3*w. Let x = j + 69. Let s be (6/16)/(3/2). Which is greater: x or s?
s
Let j be (-116)/10 + (-4)/10. Suppose -5*m = -3*m - 4*v - 98, -53 = -m - 2*v. Suppose 4*i + m = 3*y, -6*y = -2*i - 2*y - 28. Is i less than j?
False
Let g = 10.212 - 0.212. Is -16 less than g?
True
Let a be 179/(-3) + (24/1)/(-8). Are a and -64 non-equal?
True
Suppose 2*y + 7 = -4*q - 5, 18 = -4*q + y. Which is smaller: -41/8 or q?
-41/8
Let c = 1618 + -1619. Let d be (-4)/2 - (2 - 2). Is c at most d?
False
Let o = 1322 + -1284. Which is bigger: 2/9 or o?
o
Suppose -d = -5*n + 10, 17 = d - 5*d - 3*n. Suppose 5*g - 5 = -45. Do d and g have different values?
True
Let j be -3*2/(0 + 71 + 3). Let q = j + 130/1147. Let a(f) = -f**2 - 6*f - 6. Let m be a(-5). Which is smaller: q or m?
m
Let m = 1648.04 - 1648. Which is greater: 2/11 or m?
2/11
Let s = -9.31 - -9.61. Is -70/9 <= s?
True
Let b = -13 + 26. Let i be (-1)/(-3)*(5 + b). Which is bigger: i or 32/5?
32/5
Let o = -2 + 0. Let h = -277 + 394. Let y = h + -358/3. Which is greater: o or y?
o
Suppose 5*h - 32 = -4*p, 2*h = -p + 4*h - 5. Let k be p + -1 + 32/(-18). Let t = -46 - -46. Which is smaller: k or t?
t
Suppose 0*w - 2*h = -4*w + 6, -w - 6 = -2*h. Suppose -w*v - 4*p + 25 = v, 0 = -2*v - 4*p + 22. Is v <= 1/88?
False
Let r = -1183249/7497567 - -3/26873. Let j = -2/31 + r. Is j bigger than -1?
True
Let t be (5/2 + -3)/((-6)/144). Is 3 greater than or equal to t?
False
Suppose 0 = 3*v + 3*p + 6, -4*v - 5*p - 10 = -2*v. Which is bigger: v or 5?
5
Let h = 21.9 + -19.9. Which is smaller: h or -3/8?
-3/8
Let r be (3 + (-5 - -2))*(2 - 1). Which is greater: r or 2/53?
2/53
Suppose 25*n + 7