= -q - 2, 4*r = q + 1 + 8. Is r greater than or equal to w?
True
Let n be 5 + ((-21597)/4025 - (-4)/14). Is 0.1 at least n?
True
Let r(c) = -1 + 2 - 3 - 5 - c. Let o be r(7). Is o not equal to -13?
True
Let t = 7.451 + 0.389. Let h = -8 + t. Let w = h + 1.16. Which is bigger: -0.1 or w?
w
Let b = 3379/2 - 1690. Is b <= -171?
False
Let g = 401 + -401.6. Is g less than 2/19?
True
Let r be -1*(15/5 - (-267)/3). Is -90 >= r?
True
Let q = -47 - -34. Let h be q/((-1833)/(-280)) - -2. Which is smaller: 1 or h?
h
Let w be 3276/(-655) + ((-8)/(-4) - -3). Is 0 != w?
True
Let v = -5 - -8. Suppose z = v*z - 10. Let o(d) = d**2 - 5*d + 2. Let s be o(z). Is -1/5 bigger than s?
False
Suppose 19*p - 17 = 2*p. Which is bigger: -1/1841 or p?
p
Suppose -22 = -5*l + 18. Which is greater: l or 11?
11
Let j = -2021 - -905. Which is bigger: -1117 or j?
j
Suppose 3*g = 4*a + 5 + 74, 3*a + g = -69. Suppose -170 = -3*i + 4*v + 168, 4*i - 2*v - 444 = 0. Let z be 20/i + (-18)/a. Is -1/6 > z?
False
Let f be (2 - 1)/(5/(-55)). Let h be (-40)/(-220) + 145/f. Let u = 29 + -44. Which is bigger: u or h?
h
Let x = -31 - -24. Let z be ((-1)/x)/(2/(-40)). Which is smaller: -3 or z?
-3
Let i be -1 + (1 - 2) + 2. Let k = 0.3 + -0.8. Let t = 5.5 + k. Which is bigger: t or i?
t
Let a(y) = -y**3 - 6*y**2 + 5*y + 2. Let p be a(-5). Which is bigger: p or 1?
1
Let y be 1*(0/(-3))/(-1). Let o be 4/3 - 10/(-15). Suppose 0 = w - y + o. Is w smaller than -2?
False
Suppose -3*i = 3*p + 2*p - 305, 0 = 3*i + 2*p - 320. Let o be (-4)/6 - i/6. Are o and -19 nonequal?
False
Suppose 0 = -3*y + 2 + 1. Let r = 132 + -3301/25. Do r and y have different values?
True
Let r(b) = -13*b**3 - b**2. Let z be r(1). Let c = 18 + z. Let s be (5/30)/(c/(-30)). Is 0 less than s?
False
Suppose -2*t - q = -6, 9 = 3*t - 4*q - q. Let m be (-3)/((27/(-30))/t). Which is bigger: m or 13?
13
Let n(i) = -i**2 + 4*i - 3. Let h be n(4). Let a be (((-24)/h)/(-2))/(-2). Let b(s) = -s**2 - 6*s - 5. Let c be b(-4). Which is bigger: a or c?
c
Let s(a) = a + 8. Let h be s(-9). Let t = 563/3 + -187. Is h != t?
True
Let d = -370.4 + 371. Which is greater: -0.3 or d?
d
Let a(y) = -44*y + 16. Let g(q) = -9*q + 3. Let i(b) = 3*a(b) - 14*g(b). Let s be i(3). Are -13 and s equal?
False
Let l be (-30)/(-165) - (31/(-11) + 2). Which is bigger: l or 2/625?
l
Suppose 2 = 2*k, 4*k - 8 = 4*m - 32. Is 9 greater than or equal to m?
True
Let d = 134 + -126. Which is smaller: 9 or d?
d
Let r = -8158/3 - -31927/12. Let q = 14327/244 + r. Is -1 not equal to q?
True
Suppose -69 - 51 = -6*r. Suppose -2*z + z + 1 = 0. Is z not equal to r?
True
Suppose l + 61 = -2*d, 4*d - 208 = -2*l + 6*l. Which is smaller: l or -53?
l
Let r = -4.03 + 1.03. Which is smaller: 7 or r?
r
Let n = -28138 + 63338640/2251. Is n <= 1?
True
Suppose 4*d - 3 = 101. Let a be (d/(-6))/((-1)/(-3)). Let o be (-2)/a + 308/26. Is 12 < o?
False
Let n be (39/15 - 2)*65/78. Is 2/519 < n?
True
Let a be (195/(-6) + 0)*(1 + 1). Let f be 28/70 - ((-31)/a - 0). Is f < 0?
True
Suppose -5*q + 15 = k - 4*k, 3 = 3*k + q. Do k and -2/105 have the same value?
False
Let o be 26/(-4) + 322/92. Which is bigger: -90/23 or o?
o
Let w be 330/15 + (-3 - -1). Let k = -21 + w. Which is bigger: k or -4/19?
-4/19
Let w = 39 + -21. Which is smaller: w or 3?
3
Let z(b) = -2*b**2 - 6*b + 30. Let y be z(-10). Let v be 18/36 + y/4. Are v and -29 unequal?
True
Let c = 87 + -87.7. Let t = c + 0.6. Let u = -0.1 + 0.1. Which is smaller: t or u?
t
Let g = -2 - -2. Suppose g = -5*h + v - 7, 5 = -h - 3*h + v. Let d = -1111 - -1108. Which is smaller: d or h?
d
Suppose -35 = -b - 5*y, -3*y + 6*y + 315 = 5*b. Is b less than 59?
False
Let l = 2546 - 2622. Is l != -75?
True
Suppose -5*o - 39 = -8*o. Are 13 and o non-equal?
False
Let o(k) = 19*k. Let m be o(3). Is m greater than or equal to 56?
True
Let z = 2695 + -2695. Suppose -6*q = -q. Let r be q - (-2 - (-176)/86). Is r >= z?
False
Suppose 11*t + 4 = 9*t. Is -23/21 smaller than t?
False
Suppose 3*y - 2*y - 3*u = -15, -4*y = -2*u + 20. Is y at most 33?
True
Let s be (17/(-2))/(3/63*-3). Let o = s + -59. Let x = -4.2 - -4. Is o at least x?
True
Let d(i) be the second derivative of -i**5/20 - i**4/3 + 7*i**3/6 + 3*i**2/2 - i. Let t be d(-5). Let o be 2/6 - 16/3. Which is bigger: t or o?
o
Let c be 101/707*(-4)/2. Which is smaller: c or 91?
c
Let j be (-4)/14 + 82/(-7). Suppose 3*s - 7*d = -8*d - 39, -s = 3*d + 21. Let l = -1 + s. Is j smaller than l?
False
Let z = 1 - -25. Suppose -50 = -3*a + 5*r, 0 = a + r - 3*r - 15. Is a bigger than z?
False
Let m = -62 - 154. Which is smaller: -218 or m?
-218
Let l(y) = -y**2 - 4. Let k be l(-2). Let m(b) = b**2 - 6*b - 4. Let u be m(6). Let j = -13 - u. Which is smaller: j or k?
j
Let u = 14.15 + -14. Let v = u + -0.05. Which is smaller: v or -1?
-1
Let s(u) = -43*u**3 - 5*u**2 + 12*u - 5. Let w be s(1). Which is greater: w or -211/5?
w
Let l(w) = -3*w - 10. Let h be l(10). Let r be (-2)/1 + h/(-21). Which is smaller: -1/3 or r?
-1/3
Let z(q) = q**3 + 20*q**2 - 32*q - 310. Let h be z(-21). Which is smaller: -82 or h?
-82
Let v = 12.5 - 22. Let m = v - -13. Let a = 0.5 - m. Which is greater: a or -2/9?
-2/9
Let g(q) = -q**3 - 6*q**2 - 5*q - 2. Let b be g(-5). Let c be (-3 - -3)*(-2)/b. Which is bigger: -3 or c?
c
Let q = 130 + -130. Let h = 26/5 + -213/40. Is q <= h?
False
Let s(j) = -2*j**2 + 30*j + 5. Let h be s(15). Suppose -4*r + 7 = -17. Is h equal to r?
False
Suppose o = -2*b - 2 + 20, 4*o + 3*b = 52. Let v be (16 - -1) + (5 - o). Which is smaller: v or -1/4?
-1/4
Let b be (-132)/(-24) - 2/4. Suppose 4*p - p = b*q + 52, 5*p - 98 = -3*q. Is p less than or equal to -2?
False
Let d = -31/115 + -3/23. Which is smaller: -62/5 or d?
-62/5
Let p = -315 - -315. Is p > -5/51?
True
Let z be (-2)/(-9) + (-23)/(-18). Suppose 0 = -3*b - 2 + 2. Which is bigger: b or z?
z
Let m(l) = -3*l**2 + 57*l + 4. Let t be m(19). Do t and 0.62 have the same value?
False
Suppose 44*b + 31 = 13*b. Which is smaller: -3/13 or b?
b
Let l be (3360/18)/(-20)*(1 - 13). Is 112 bigger than l?
False
Let y = 1293 + -1207. Which is smaller: y or -0.1?
-0.1
Suppose -25 = -2*a - 2*a - k, 5*a = -2*k + 35. Suppose 2*p + 3*p = a. Do 2/5 and p have different values?
True
Let p = -0.52 + 0.07. Let y = 0.55 + p. Let w be (4/6)/((-4)/27). Which is greater: w or y?
y
Suppose -2*w + u = 223, 5*u = -0*w + 3*w + 317. Let t = -19 - w. Which is bigger: 94 or t?
t
Let z be (-137 + 171)*(-33)/(-2). Which is greater: 0.2 or z?
z
Let d = 51 + -95. Let f = 56 + d. Which is greater: 11 or f?
f
Let p = -26 + 54. Suppose -4*x - 112 - p = 0. Let k = -36 - x. Which is bigger: k or -2/27?
-2/27
Let g = 16 + -10. Let z = 1 - g. Let u = 78 - 84. Are u and z non-equal?
True
Let p be (-10)/315*(9606/95)/(-2). Let z = 2/399 - p. Which is greater: z or -3?
z
Let l = -67 + 135. Suppose -y = 4*v + 29, -3*v - 31 = -22. Let t be 1/2 - y/l. Which is greater: t or 1?
1
Suppose 0 = r + 23 - 8. Let m = r - -15. Which is smaller: -2/39 or m?
-2/39
Let j = 9.25 + -9. Let h = j - 12.25. Let t = 11.8 + h. Is 4 at most t?
False
Let k be (3615/(-33235))/(-1 - -2). Let o = k + -5784643/3589380. Let q = o + -4/135. Is q bigger than -3?
True
Let g be -113*(-2)/690 + 44/(-132). Do g and -1 have different values?
True
Let f = -74 - -75. Suppose b = -f, -2*b + b - 52 = 3*v. Is -16 equal to v?
False
Suppose 3*s + 12550 = 53*s. Which is greater: 2/7 or s?
s
Let x = -94 + 109. Which is smaller: -0.4 or x?
-0.4
Let c = -727 + 737.9. Which is smaller: 0.2 or c?
0.2
Let j = -0.1 - 0.3. Let n be (-6)/21 + 244/(-28). Let w be ((-4)/(-42))/(n/21). Which is greater: j or w?
w
Let w = 491 - 5407/11. Let v = 16 - 16. Suppose v = 7*u - 6*u. Which is bigger: u or w?
u
Suppose -9 = -2*v + 5*v. Suppose -2*q = 3*q + 15. Let c be ((-4)/q)/((-4)/6). Is v equal to c?
False
Suppose -6*n + 3*n + 3*j + 144 = 0, n + 3*j - 36 = 0. Is 3 < n?
True
Let o = -24.03 - 0.97. Let y = o + 24. Which is smaller: 28 or y?
y
Let g = -1212 - -71511/59. Which is greater: g or -1?
g
Let g = -5.1 - -5. Let q = 27/304 - 1/38. Which is smaller: q or g?
g
Let w = 1 + 14. Suppose -w = -x - 4*x. Let h be -2 + x + (-14)/20. Is 1 greater than or equal to h?
True
Let j = 0.083 + -0.079. Is 4 smaller than j?
False
Suppose -4*b = -3*v - 38, b = 4*v + 2 + 1. Is 87/8 !