 2*t - p, -4*t = -2*v - 2. Is v less than or equal to -4/65?
True
Let b = 24082.03 - 23909. Let l = b + -174. Let u = 0.03 - l. Is u greater than 0.13?
True
Let i = 37 - 57. Let n = i - -21. Let d = -0.025 - -18.025. Which is smaller: d or n?
n
Let n = -251 - -218. Is -34 at most as big as n?
True
Let x = 15 - 12. Let z = x - 3. Which is greater: -2/109 or z?
z
Let w = -231 - -234. Are w and 31 equal?
False
Suppose -164 - 27804 = -4*z. Let g = 27771/4 - z. Let i = g - -49. Is 7/2 greater than or equal to i?
True
Suppose -3*a = g + 12, -14*a - 2*g = -9*a + 19. Suppose 2*m = -2*m. Which is greater: m or a?
m
Suppose 60*i + 223*i = 1766 + 498. Suppose 16 = -2*n + 4*n. Is i greater than or equal to n?
True
Let h = -472 - -1180. Let r be ((-6)/4)/(h/16). Let y = r + 136/531. Which is greater: y or -2?
y
Suppose -4*w - 27 = -c, -c - 5 - 3 = w. Let l = 6 + w. Is l at most as big as 0.08?
True
Let f be (-3*(-1)/(-1))/(-1). Let d = -3 + f. Let b be 28/(-13) - (-2 + d). Is b bigger than 2?
False
Let p = 0.08 + -4.58. Let w = -4 - p. Let j = -0.5 + w. Do -0.3 and j have different values?
True
Let y = -33 + 35. Suppose -3 = g + y*g. Which is greater: g or -2/7?
-2/7
Suppose -3*j + 69 = 60, -4*d - 721 = j. Is d less than or equal to -182?
False
Let s = -1 + 1. Let u = 31 + -27. Let z be ((-1)/u)/(12/8). Does z = s?
False
Suppose 3*f = 8*f - 15, -3*f + 13 = -a. Let x be 2/a + 6/60. Which is greater: x or -2/3?
x
Let w = -226.2 + 226.2. Is w <= -3/7?
False
Let b = 70 - 63. Let i be (-77)/(-22)*b/((-21)/18). Which is bigger: -19 or i?
-19
Let i(c) = -c**2 - 5*c - 2. Let w be i(-5). Which is smaller: w or 5?
w
Suppose -6*y + y = 0. Suppose y = -t + 8 + 3. Suppose 6*u - 9*u = -33. Is u >= t?
True
Let p(c) = -6*c - 17. Let l be p(-15). Let v be l/(-65) + (-8)/(-40). Which is bigger: -1 or v?
v
Let k = -5 - -4. Let g = -1 + k. Let r = -1.539 - -1.139. Which is greater: r or g?
r
Suppose -3 + 23 = 2*j. Suppose -5*f + 0 - 17 = 3*w, 2*f = 2*w - j. Which is smaller: w or 45?
w
Let f(q) = -9*q + 23. Let p be f(8). Let b be (-42)/p*(-28)/(-100). Do 1 and b have different values?
True
Let s = 41 + -42. Let l be ((-6)/100)/(60/25). Which is smaller: s or l?
s
Let v = 44/27 + -1262/675. Let z be 0*1/4*-2. Which is smaller: v or z?
v
Let z = -37 + 75. Suppose 6*o + z = -16. Are o and -9 unequal?
False
Let h = -42 + 41.93. Let s = -0.03 + h. Which is greater: 9/4 or s?
9/4
Let l = 665 - 17951/27. Suppose 0 = t - 2 + 3, 3*k = -5*t - 5. Are l and k nonequal?
True
Let q(l) = 2*l**2 + 14*l + 8. Suppose -4*i - 10 = 14. Let s be q(i). Let m(o) = -o**3 + o**2 - 5. Let h be m(0). Is s >= h?
True
Suppose 0 = -2*t - 8, 2*t + 572 = -26*j + 24*j. Which is smaller: j or -281?
j
Let j be (-4)/6*(-9 - -3). Suppose -3*g - 4 + 2 = j*f, -g = 5*f - 3. Let h = 43/3 + -14. Is f >= h?
True
Let y = 0 - -0.11. Let z = -12 + -2. Let n = -15 - z. Which is greater: n or y?
y
Suppose 20 = 4*w - 0*w. Let u(p) = -5*p + 1. Let b be u(w). Is b < -25?
False
Let m(b) = 4*b - 2. Let i be m(2). Let w = 115.72 - 111.72. Is i bigger than w?
True
Let h = -17 - -25. Let b = -18.25 + 18. Let s = 3.25 + b. Which is smaller: h or s?
s
Let m = -68 - -68. Are m and -24/35 non-equal?
True
Let x = -315 + 314.917. Which is greater: 0.4 or x?
0.4
Suppose -3*k - 6 = 0, w + 4*k - 10 = 7*k. Let s be -1*w/(-4)*9. Are s and 28/3 nonequal?
True
Suppose 11*q - 6*q + 4*x = -35, -q - 18 = 3*x. Let k be (1 + 0)/(q - 11/(-4)). Is k >= -4?
True
Let w = -11 - -5. Let b be -1*(2 + 9/w). Let o(u) = u**2 + 3*u - 4. Let m be o(-4). Is b less than m?
True
Let x(h) = 5*h - 12. Let g(y) = -9*y + 23. Let w(f) = 6*g(f) + 11*x(f). Let p be w(-12). Is -31/5 at most p?
True
Let a be 186/(-8) + (-2)/(-8). Let h be (-24)/(-4)*11/(-3). Which is bigger: a or h?
h
Let x = 135.9337 + 0.0663. Which is bigger: x or -0.02?
x
Let s = -401/5 + 1599/20. Is -125 greater than s?
False
Let t = 2844/7 + -406. Let g = 2 + 1. Suppose 13 = -g*s - 5*z, -s - 6*z = -z + 11. Which is greater: s or t?
t
Let a = -79/6 + 13. Suppose 4*v = f + 3*f - 16, v = 4*f - 10. Suppose -f*q + 4*q + 2 = 0. Is q at most a?
True
Let g = 0.59 - 12.69. Let w = -12 - g. Is w smaller than 6/11?
True
Let y = 944 + -943. Which is smaller: -8/129 or y?
-8/129
Let u = 105 + -77. Let t = -21 + u. Is 2 greater than or equal to t?
False
Let a be 2/(-11) + 334/22. Suppose -3*q + a = -18. Is 11 at most as big as q?
True
Suppose 3 = 14*g + 3. Is 5 less than or equal to g?
False
Let q be (-1)/2 + 18*2/104. Let w = -79 + 161/2. Is q at most as big as w?
True
Let u = -1 - 0. Let r = 267 - 268. Is u not equal to r?
False
Suppose 0 = -2*c - 6, -2*z = 3*c - 342 + 367. Suppose -d - 15 = 2*d. Let i = d - 0. Which is smaller: z or i?
z
Let g = -123159099/152308 - -39/11716. Let j = g + 809. Let k be (-1 + -1)*2/4. Which is greater: k or j?
j
Suppose 3*q + 30 = 45. Let x be -1*(-5 - -3) + 1. Suppose d - 5 = x*d + q*s, -4 = d + s. Is d at most as big as -3?
True
Let t be 32/24*(-3)/34. Let r = t + 40/51. Which is smaller: 3 or r?
r
Suppose 5*z + 25 = 10. Is 0 at least z?
True
Let z(v) = 2*v**3 - 4*v**2 - v + 2. Let w be z(3). Let n be 755/15 + 8/(-6). Suppose 2*q - n = -15. Is w greater than q?
False
Let m = -45.2109 + 0.2109. Which is greater: 0.2 or m?
0.2
Let n(k) = -47*k - 281. Let u be n(-6). Which is smaller: u or 1/664?
1/664
Let t = -534.6 + 535.6. Let w(u) = u - 6. Let a be w(4). Is t smaller than a?
False
Let i be ((1/2)/((-5)/50))/3. Let g = -8 + 7.2. Let o = g - -0.6. Is o greater than or equal to i?
True
Let x = 1066 - 1062. Suppose 2*f + 17 = -2*f + n, 6 = -3*f + 3*n. Let q be (f + -1)*x/(-8). Which is greater: q or 5?
5
Let b = 40 - 38. Suppose i + b = 3*i. Is -1/10 < i?
True
Let k = 4.5 - 5.02. Let m = -1.52 - k. Which is bigger: -16 or m?
m
Let f = 169 - 161. Which is bigger: f or 9?
9
Let a = -507 + 518. Is 11 at least a?
True
Let g be ((-8)/28)/(12/(-21)). Let z be 10/6*(48/(-50))/(-4). Is g at least as big as z?
True
Let f = 335 + -333. Suppose 0 = 3*b - 8*b. Suppose b*y = -4*l + f*y - 42, -5*l = -4*y + 57. Which is greater: -7 or l?
-7
Let u(q) = q**2 + 2*q + 1. Let l be u(-2). Let c be (-2 + 3)*(2 - l). Let h(n) = -n**2 - 21*n + 2. Let w be h(0). Is c <= w?
True
Let g = -6149/4 + 6671669/4340. Which is smaller: g or 1?
g
Let m = -2311 - -2310.848. Which is smaller: m or 2?
m
Let s = -213 - 155. Which is bigger: s or -367?
-367
Let z = -208/176295 + -2/1533. Is 1 equal to z?
False
Let t = -2653 + 522639/197. Is t < 0?
True
Let n = -2659 + 2649. Suppose 4*o - 6 = -3*k, 0*o + 2 = 4*o + 5*k. Suppose -o*v - 36 + 9 = 0. Which is greater: n or v?
v
Let b = -99/3712 + -1/128. Let v = -25/116 + b. Let p be (-6)/(-26)*8/(-6). Is p greater than or equal to v?
False
Suppose -6*p + 186 = -7*p. Is p less than or equal to -186?
True
Let z = 125 - 5001/40. Let x(r) = 7*r**2 + 34*r - 4. Let v be x(-5). Is v bigger than z?
True
Let n be (-1204)/5229 + (-1 - 11/(-9)). Suppose -5*r + 11*a - 7*a - 11 = 0, -5*r = -a - 1. Which is bigger: n or r?
r
Let z = -29/5 + 21/5. Suppose -8*h = -h + 91. Let b = h - -12. Which is smaller: b or z?
z
Let n be 46 - (0 + (-4)/(24/6)). Is n less than 1?
False
Let j = 3.4 + -2.1. Let t = j - 0.3. Suppose 16 = -4*a + 3*k, 3*a = -4*k - 0 - 12. Which is bigger: a or t?
t
Let k = -324 + 211. Which is bigger: k or -114?
k
Let u(y) = 68*y + 272. Let b be u(-4). Which is bigger: 23/21 or b?
23/21
Let h(z) = 6*z**2 + 14*z + 3. Let x be h(-2). Let l(r) = -2*r**2 + 15*r + 82. Let p be l(-4). Which is smaller: p or x?
p
Let w(b) = -b**2 + 6*b - 6. Let m be w(5). Let i = 0.0318 - -0.4482. Is m <= i?
True
Suppose 18*s = 3*s - 2025. Is s smaller than -545/4?
False
Let b be (-3)/(2574/(-12)) - 0. Let r(m) = 2*m - 10. Let p be r(6). Suppose 10*o = 8*o - p. Which is bigger: o or b?
b
Let z(b) = b**3 - 9*b**2 + 16*b - 13. Let k be z(7). Which is smaller: -2/599 or k?
-2/599
Let q be ((-6)/(10 + -4))/(-1). Which is smaller: q or 3/4?
3/4
Suppose -124 = -4*o - 48. Let i = o - 19. Is i bigger than -2/3?
True
Suppose 0 = -3*v + 3*h + 6 + 45, 0 = v - 3*h - 17. Suppose -11*l - 846 = -v*l. Do l and 142 have the same value?
False
Let o = -290 + 255. Is o at most 3?
True
Let m(n) = 1. Let g(z) = z**2 + 9*z + 11. Let r(y) = g(y) + 4*m(y). Let k be r(-7). Is k less than or equal to -4/21?
False
Suppose