 be 5/(-2)*(-1 + 1/5). Suppose 25 = -0*b + f*b - 5*u, 2*u + 11 = b. Is 5 at least b?
True
Let b = 472/13689 + -10/169. Let i = -17 + 11. Let k be (i/18)/((-2)/6). Is k equal to b?
False
Let f = 41 - -10. Suppose -2*s + 49 = f. Which is smaller: s or -1/3?
s
Let x = 1.9 - 2. Let k = -0.0151 + 1.8151. Is x at least as big as k?
False
Suppose -3 = -2*x + 3*x. Suppose -5*u = -4*u + 14. Let i be 0/(-1) + 4/u. Which is bigger: x or i?
i
Suppose 0 = -3*c - c. Suppose 3*z + 2*p + 4 = c, 0 = 2*z - p - 2 - 7. Let m be 11/z - (-7)/14. Is m less than or equal to 8?
True
Let m be (-3 - (-54)/6) + (2 - 0). Is 8 less than m?
False
Let v be (-6)/4 + (-10759)/(-106). Is v != 101?
True
Let q(v) = 2*v**3 - v**2 - 9*v + 14. Let p be q(4). Let y be (-1)/6 - 25/p. Which is smaller: 1 or y?
y
Let o be 8/(-16)*((-64)/(-103))/(-4). Is 1 smaller than o?
False
Let g = -21.1 - 140.9. Let m = -161 - g. Which is smaller: m or 12.2?
m
Let r be (-63)/6 - (4 + -3). Let f = -127/10 - r. Is 3 >= f?
True
Suppose -11*p + 12*p = 4. Suppose 0 = 2*n + p*x + 32, n + 13 = -3*x - 7. Which is smaller: -10 or n?
-10
Let m be 64/63 - (4 - 144/42). Which is bigger: 1 or m?
1
Let h = 2/147 + 19/147. Let j be 4/(-30) + 68/60. Suppose x - 2 = -2*y, 3*y + 5*x - 4 = -j. Is y not equal to h?
True
Let j be (4 + -4)/(-2*1). Let t(c) = 7*c + 1. Let v be t(2). Let x be 15/24*9/v. Is j at most x?
True
Let n = 0.064 - 61.064. Let w = 61 + n. Which is bigger: 18 or w?
18
Let b be (-2)/(-26) - (-48356)/(-4004). Let i be ((-2)/(-6))/((-1)/(-6)). Let r = i - 2. Is b <= r?
True
Let i be -3*55/33 - (-13 - 0). Is 48/7 != i?
True
Suppose -267 = 3*u - 0*u. Let n = 89 + u. Is -9/8 at least n?
False
Suppose -31*l + 75 = -26*l. Is 146/9 < l?
False
Suppose -1 + 1 = -33*b. Which is bigger: b or -6/23?
b
Let x(b) = 51 + 0*b**2 - 51 + 2*b**2. Let g be x(1). Is g at least as big as 1/56?
True
Let k = -27 - -38. Let r(w) = w**3 - 11*w**2 + 18. Let y be r(k). Is 18 < y?
False
Suppose 0*z - 110 = z - 2*x, 5*z + 556 = 4*x. Which is smaller: z or -109?
z
Suppose -9*a + 34 - 52 = 0. Is a >= 261?
False
Let k = 66 - 58.5. Let o = k + -7.66. Is o greater than -3?
True
Let v = 0.9 + -0.81. Let n = -122 - -608/5. Which is bigger: v or n?
v
Let c = -638 - -637. Is -1/212 at most as big as c?
False
Suppose 3*u - 1 = 2. Let i be 8 - (2 + -4)/u. Let m be ((-3)/9)/(i/(-15)). Which is greater: 1 or m?
1
Suppose 0 = -5*p - 3*p + 336. Let f = p - 62. Is f greater than or equal to -20?
True
Suppose 48 = 2*m - 4*m. Let t = m + 29. Suppose -30 = -5*p - 5*a, -2*p - t*a + 9 - 3 = 0. Is p greater than or equal to 0.2?
True
Let j = -349786 + 11541965/33. Let n = -2712 + 8225/3. Let s = j + n. Which is greater: s or 0?
s
Let j = 3391 + -3400. Let o(u) be the first derivative of u**2 - 3*u - 1. Let n be o(-3). Do n and j have different values?
False
Suppose -3*t + 2 = -4. Suppose d = 5 - 0. Suppose -t*g = -d*g + 42. Is 15 greater than g?
True
Let k = -186 - -168. Is 0.01 greater than or equal to k?
True
Suppose -18 - 122 = 4*r. Let b = r + 33. Is b at least 26?
False
Let q be (24/108)/((-34)/6). Is 1 less than or equal to q?
False
Suppose 0 = 4*q + 3*n + 93 - 34, -5*q + 4*n = 66. Let x be ((-18)/(-4))/((-7)/q). Let b = x - 8. Which is greater: -3/10 or b?
b
Let g(w) be the second derivative of -w**5/20 - w**4/4 + 3*w**3/2 - 5*w**2/2 - 11*w + 2. Let c be g(-5). Which is greater: -1/21 or c?
c
Let f = 450451/910 - -1467/130. Let g = -504 + f. Which is bigger: g or 1?
g
Let t = 83.05 - 0.05. Let f = t - 84. Let x = 0.3 - 0.1. Which is smaller: f or x?
f
Let v(h) = -h**2 - 62*h - 812. Let d be v(-19). Which is bigger: d or 15?
15
Let k = -23.1 - -23. Is 12 greater than k?
True
Let m be (168/(-35))/(9/30). Let q = 22 + m. Which is smaller: 3/2 or q?
3/2
Suppose -5*a + 8*a = 18. Suppose -6*n + 4*n + 14 = 0. Is a smaller than n?
True
Let t be 1 + -1*(-122358)/(-126758). Let n = t + -2/1039. Is 1 greater than or equal to n?
True
Let l be (4/(-45))/((-1)/33). Which is smaller: 3 or l?
l
Let k = -12.09 + 202.09. Which is bigger: k or -2/5?
k
Let y be (2/(-4))/(658/84 + -8). Is 3 bigger than y?
False
Suppose 48*f = 11*f + 296. Suppose 4*w = -2*d + 15 + 25, 0 = -3*w + 5*d + 30. Is f at least as big as w?
False
Let u be (37378/3399 - 11)/((-4)/(-3)). Which is smaller: 1 or u?
u
Let h = 142 + -87. Let l = h + -30. Is 22 >= l?
False
Suppose -2*n + 7*n + 5 = 0. Are 6/13 and n unequal?
True
Let r = -21/2 - -8. Let z = r + 19/6. Let o be (-4)/6 - (-40)/78. Which is smaller: z or o?
o
Let i = 3 - 1. Suppose -3*r = 3*m - 22 - 11, -i*m = 5*r - 16. Suppose 5*w - 2*z - 1 = 29, -2*w + z = -m. Which is smaller: w or 5?
w
Let c be 268/1206 - (-1 + (-194)/(-198)). Is c at most 0?
False
Suppose -298 = -2*k - 290. Which is smaller: k or 70/17?
k
Let j(d) = 6*d - 144. Let u be j(24). Which is smaller: u or 4/125?
u
Let i = -5 + 4.8. Let l = -39 + 115/3. Which is smaller: i or l?
l
Let x = -35.8 - -36.3. Is x at least -1/2?
True
Let d be 6/36*44 + -7. Is -9/4 equal to d?
False
Let l = -139 + 138.8. Is -44 greater than or equal to l?
False
Let b(o) = o**2 + 7*o - 3. Let h be b(-7). Let n be 3/(h/2) + 10. Let a = n + -11. Which is greater: 0 or a?
0
Suppose -6*q = -11*q - 5*o - 10, q - 13 = 4*o. Is q at least as big as -2/3175?
True
Let y = -3 + 2.94. Let j be (8/6)/((-4)/(-6)). Suppose 0 = 2*z - 1 + 5, j*a = -5*z - 12. Which is smaller: y or a?
a
Let k = -281/1251 + 1/417. Let a = -194 - -182.1. Let z = a - -11.6. Which is greater: z or k?
k
Let a = -31 - -29. Suppose 0 = -5*u + q + 82, 4*u - 62 = q - 2*q. Let y = -20 + u. Are a and y equal?
False
Let y be (-55)/110*((-2 - -1) + 610). Which is bigger: y or 2?
2
Let x(g) = g**2 - 23*g - 19. Let j be x(24). Which is smaller: 8 or j?
j
Suppose 0 = -3*m - 5 + 17. Suppose 5*s + k - 118 = -k, -s = m*k - 20. Which is smaller: s or 121/5?
s
Let i = 50.59 + -50. Let p = 0.69 - i. Which is smaller: p or 129?
p
Let l = 39 + -55. Let i be l/(-2)*(111/26 + -4). Which is bigger: i or 2?
i
Let b be 6/(-18) + (-214)/(-3). Let q be b/(-24) + (-21)/(-7). Is q > 0.1?
False
Let s = -1/295 - 772/33335. Is s >= 1?
False
Let t be (1 - 0)*(-2)/(-2). Let w(j) be the third derivative of -j**5/60 - j**4/6 - j**3/2 - 3*j**2. Let p be w(-2). Do p and t have the same value?
True
Let u = -213 + 572. Is u equal to 359?
True
Let v be 69/(-7) - (-760)/(-665). Is v less than -1/17?
True
Let h be 182/5 + 2/(-5). Suppose -420 = -53*f + 41*f. Which is bigger: h or f?
h
Suppose 3*q = -3*p, 2*q - 20*p - 1 = -23*p. Is 1/226 bigger than q?
True
Let c(d) = d**2 - 5*d - 20. Let y be c(5). Let j be 1/y*3*(-5)/132. Which is smaller: -1 or j?
-1
Let n = 12207 - 476101/39. Is n greater than or equal to -1?
True
Let z be 23*(4 - (-3)/(-1)). Suppose z*j = 21*j + 2. Which is bigger: j or -1/16?
j
Let w = -13.5 - -3.5. Let i = 3.1 + -3.1. Which is smaller: i or w?
w
Suppose -3*f + 540 - 85 = 2*v, 4*f + 4*v = 612. Is f < 150?
True
Let z be (-1449)/294*(-7)/6. Let q = 4 + 1. Which is bigger: z or q?
z
Let d = 6.3 + 0.3. Let s = 7.5 - d. Is 0.5 at most as big as s?
True
Let c = -11/12 - -7/12. Let d = 6.1 + -6. Let g = 2.1 - d. Is g <= c?
False
Let b = 0.024 - -0.526. Let h = b - 7.55. Which is smaller: 2/7 or h?
h
Let l(p) be the first derivative of p**2/2 - 9*p - 2. Let i be ((-3)/(-5))/(8/120). Let y be l(i). Is -4/9 != y?
True
Let i be 16624/(-2324) - 6/(-21). Let m = i - -80800/9711. Let f = 16/13 - m. Which is smaller: f or -1?
-1
Let d = 141 + -707/5. Let z = -99 - -54. Let q = 47 + z. Is d at least q?
False
Suppose 8*x + 5 + 35 = 0. Let q(o) = -6*o + 19. Let n be q(x). Is n at least 50?
False
Let u = -45245/13 + 3482. Let d = -19 + 22. Is d bigger than u?
True
Let v be (-2)/(8/149) + 8/32. Which is bigger: 0.3 or v?
0.3
Let y = -0.0066 - 0.2934. Which is smaller: y or -3/29?
y
Let k(s) = 5*s + 1. Let n be k(0). Is -0.02 less than n?
True
Let v = 49984 - 5348003/107. Let s = -1/321 - v. Is s greater than or equal to -4?
True
Suppose -8*i = 3*y - 11*i + 9, -2*i + 7 = -y. Which is greater: -2/313 or y?
y
Suppose 5*x + 10 = 10*x. Suppose f + 3*f = x*l, 4*l - 10 = -2*f. Let g = -3 + l. Which is bigger: -1/6 or g?
-1/6
Suppose 2 + 2 = -x, -4*x = 2*m + 54. Let t = -17 - 0. Let q be 3 + 0 + t + -6. Which is bigger: q or m?
m
Suppose 5 = -8*v + 29. Let a be -7 - (-196)/21 - v/