.09 - o. Is -8 != b?
True
Let p = 76.99 + 17.11. Let q = 94 - p. Let y be 0 + 2 - 48/26. Are q and y equal?
False
Let h be (4 - 3)/((-1)/(-12)). Suppose -4*p - h = -92. Suppose 5*c = k - 4*k + 24, -p = -5*c - 5*k. Is c < 6?
False
Let u be ((-2)/3)/(12/180). Let d = -8 - u. Suppose -d*l + 2*x = 6*x - 18, 4*l - 5*x = -29. Do 1/8 and l have the same value?
False
Let u be (84/18)/((-2)/(-9)). Let a = u + -21. Let g = -14/5 - -3. Do g and a have the same value?
False
Let l = -30.76 - 0.24. Let k = -30.8 - l. Is k smaller than 14?
True
Let k = -83 - -97.4. Let q = k + -14.1. Let c = 0.66 + 0.04. Which is smaller: q or c?
q
Let n be (-42)/4*(-8)/14. Let j be n - 8 - (-20)/9. Suppose 4 = 4*p + 4*r + 28, 4*p + r = -9. Which is greater: j or p?
j
Let p(t) = t**3 + 4*t**2 + 2*t + 1. Let x be p(-3). Suppose -x = 2*v - 2. Let u be 1/23 - (-11 - -11). Is u not equal to v?
True
Let n = 59 - -49. Let w = -435/4 + n. Is w greater than -1?
True
Let f = -0.009 - -96.009. Let a = -96.2 + f. Is -0.08 >= a?
True
Let r be (-2983)/1099 + 5 + 1. Are 6 and r non-equal?
True
Let n be 6/8*(-24)/2. Is -9 less than n?
False
Let f be (-2)/(-9)*33/6. Which is smaller: f or 1?
1
Suppose 24 = 3*y + 3*y. Let h be (-2 - -5) + 8/2. Which is smaller: y or h?
y
Let x = -3693/329 - -588/47. Let k be -1 + 2 - (-2 - -2). Which is bigger: k or x?
x
Let a = 3 - 3.7. Let l = -0.3 + a. Let x = 304/65 - 23/5. Which is smaller: l or x?
l
Suppose 0 = 5*q - 6*a + 2*a + 204, 2*a - 124 = 3*q. Let f be ((-22)/q)/((-6)/4). Which is bigger: f or 0.6?
0.6
Suppose 0*c - 6*c - 96 = 0. Suppose 0 = 4*i - 193 - 111. Suppose 2*z = j + 7, 3*j - 7*j - 4*z = i. Which is smaller: j or c?
c
Let u = -293/151788 + -3/556. Is u < 1?
True
Let g(l) = l**3 - 2*l**2 + l. Let i(u) = -u**3 + u**2 + 1. Let o be i(0). Let j be (-1)/(o*2/(-2)). Let r be g(j). Which is greater: -6/11 or r?
r
Let b = -61 + 367/6. Suppose -w + 36 = 3*w. Suppose 0 = -w*q + 4*q. Which is bigger: q or b?
b
Let c = -121 + 128. Suppose -5*w - c = 48. Which is bigger: -5 or w?
-5
Let i = 2351/7728 - -4/483. Which is smaller: i or -1?
-1
Let f(i) = 2*i**2 + 2 + 3 - 3*i**2 + 3 - 6*i. Let a be -2*(13/2 - 3). Let p be f(a). Is -2/7 < p?
True
Let w = 46 + -63. Let d = w - 0. Are 0.2 and d equal?
False
Suppose 0 = -4*s + 44 - 12. Let c be ((-6)/40)/(((-64)/20)/s). Which is greater: 0.07 or c?
c
Let u be (-4)/(-6)*2*-12. Let t = -12 - u. Suppose -t*w - 4*i - 56 = 0, -2*w + i + 50 = -7*w. Is -2 less than or equal to w?
False
Let s(l) = -l**2 - l + 30. Let y be s(5). Suppose y = g + 3. Which is bigger: -0.2 or g?
-0.2
Suppose 0 = 4*f - 4*n + n - 132, 142 = 5*f + 2*n. Let i be (f/144)/(2/8). Is 1 > i?
True
Let r(o) = -10*o + 38. Let h be r(4). Let j be (-6)/27 + (-11)/(-9). Is j bigger than h?
True
Let f = -214 - -177. Is f <= -38?
False
Let i(q) = -q**3 - 2*q**2 - 2*q + 8. Let b be i(-6). Suppose -2*g = 2*g - 4*f - b, 195 = 5*g - 3*f. Which is smaller: g or 2/7?
2/7
Suppose -68*u = -56*u + 12. Which is smaller: 2/1145 or u?
u
Let i = 44 + -74. Suppose -2*n = 2*w + 52, 4*n - 5*w + 3*w = -134. Which is smaller: n or i?
n
Suppose -3*f - 5*v = 20, -4*f - 2*v = 147 - 139. Let o = -367/42 + 55/6. Which is smaller: o or f?
f
Suppose -4*r = 21 - 85. Let u be r - (12/(-3) - -8). Is u bigger than 9?
True
Let k(m) = -41*m - 236. Let q be k(-7). Is 53 bigger than q?
True
Suppose 10*c + 66 = -44. Is c bigger than -11?
False
Suppose v - 19 - 4 = -2*t, -2*v = -6. Suppose 7*a - 5*a = 2*b - 70, b = 5. Let q be 6/a - (-2)/t. Which is bigger: q or -10?
q
Let w = -827.299 + 1.299. Is w greater than 1/4?
False
Suppose 5*i = p - 165, -4*i + 4*p + 156 = -8*i. Let h = -33 - i. Which is bigger: -2/17 or h?
h
Let z = 2.391 + -2.4. Let f = z + 20.009. Let a = f - 19. Is -10 less than or equal to a?
True
Let n be 324/1512*(1 + -5). Suppose p + l = -2, 3*p - 2*l + 5 + 1 = 0. Is p smaller than n?
True
Let v(y) = y**2 + 11*y - 6. Let o = -31 - -19. Let x be v(o). Suppose u = -3*r + 12, 4*r - 6*r = -x. Which is greater: 0 or u?
u
Let w be (6 + -4)*((-21)/(-2))/3. Let v be (-6)/10 - ((-42)/30)/w. Is 4 at least v?
True
Let z = -0.04 + 0.64. Suppose 0 = 9*k + 20*k + 87. Is z at most as big as k?
False
Let o = 2470.53 - 2479. Which is smaller: o or 0?
o
Let l = 805 + 908. Is l > 1712?
True
Let a be (-4)/(8/(-14)) + -2. Let o = a + -4. Let j = -43 - -46. Which is smaller: o or j?
o
Let f(g) = -g**3 + 5*g**2 - 4*g - 7. Let j be f(6). Let q be 4/8*(-12)/j. Which is smaller: q or 0?
0
Let i(b) = -b**2 + 26*b + 157. Let v be i(32). Is -35 bigger than v?
False
Let o = 1124317/259 + -4341. Which is greater: -1 or o?
o
Let y = 0.59 + -0.8. Let u = y + 1.28. Let g = 1.1 - u. Is g >= 2/9?
False
Suppose -10*u = -6*u - 5*q + 127, -5*q = -3*u - 94. Which is bigger: u or -35?
u
Let q = 88/47 - 59441/31772. Let o = -10825/6084 + q. Which is smaller: -2 or o?
-2
Let y(s) be the third derivative of s**4/12 + 11*s**3/6 - 2*s**2. Let x be y(-5). Is 3 <= x?
False
Let h = 72 - 71. Which is smaller: h or -0.6?
-0.6
Let q = -725/9 + 81. Let d be (48/(-12))/((-6)/9*1). Suppose -g = -7*g - d. Are g and q equal?
False
Let f be (-14306)/(-69) + (-5)/15. Which is bigger: f or 205?
f
Let d be ((-1)/(-2))/((-2)/8). Let h = -2950 + 2957. Which is smaller: d or h?
d
Let r = -0.1 + -0.1. Let p = 39 + -69. Let l = p + 33. Which is smaller: r or l?
r
Suppose -9*h + 4*h = -10. Let q = 1 - h. Let v be (q*(-4)/(-2))/19. Which is smaller: 1 or v?
v
Let u = -1.116 - -0.116. Is 54 greater than u?
True
Let y = 97/6 + -16. Suppose 4*m + 4 = -68. Let g = m + 18. Which is greater: y or g?
y
Let p(f) = -5*f + 19. Let o be p(-17). Is 103 > o?
False
Let x(i) = i**3 - 7*i**2 + 9*i + 3. Let v be x(5). Is v equal to 1?
False
Let b be 4/22 + 459498/(-1001). Let d be (16/(-3))/((-36)/3078). Let f = b + d. Which is bigger: -2 or f?
-2
Let x(y) = -3*y**2 + 105*y + 223. Let g be x(37). Let a(m) = m**3 + 5*m**2 + 3*m - 4. Let o be a(-4). Let l be (-2)/(-2*(1 + o)). Are l and g non-equal?
False
Let o be 6*12*(-3)/(-48)*8. Is 35 at least o?
False
Let g be 4 + 0 - 3 - -4. Suppose -7 = -3*k - c, g*k - 6 - 7 = -2*c. Which is bigger: k or 2/5?
k
Suppose -2*f = -5*f + 3. Let y(l) = l. Suppose 0 = w - 1. Let h be y(w). Does f = h?
True
Let d(b) be the first derivative of b**3/3 - 11*b**2/2 - 13*b - 12. Let j be d(14). Do j and 29 have the same value?
True
Let s(u) = -7*u - 4. Let m(h) = 20*h + 12. Let d(z) = 6*m(z) + 17*s(z). Let f be d(1). Let n be (-11)/(-2) - (-3)/6. Does f = n?
False
Suppose -10 = -5*x - 0. Let y be ((-6)/5)/((-6)/(-20)). Let p be ((-207)/322)/(y/14). Is p >= x?
True
Suppose -4*z = z + 90. Let q be z/(-12)*(-2)/(-5). Let b = 1 + 1. Is b not equal to q?
True
Let c be (-63)/(((-858)/12)/11). Which is smaller: c or 9?
9
Suppose 23*y = 22*y - 5*t + 106, 3*y - 5*t - 278 = 0. Which is bigger: y or 99?
99
Suppose -5*r = -5*l + 5, -3*l - 7 = -6*l + 5*r. Are l and -13/16 unequal?
True
Let g = 786 + -786. Do g and 233 have different values?
True
Let a be 8/(-12) - (69/(-9) + 0). Suppose -21 = 7*d + a. Does d = -8?
False
Let y(o) = -o**2 + 9*o - 12. Let k be 4/12 - (-68)/12. Let n be (19 - k) + (-8)/2. Let c be y(n). Which is smaller: c or -11?
c
Let w = -4146/5 + 832. Is w at least as big as -2?
True
Let m = 12187/4 - 3047. Suppose 6 + 4 = -5*q. Let k be q/4*2 - 6. Is k at most as big as m?
True
Let f be 6/(-16) - (-2779)/(-56). Is f != -49?
True
Suppose 994*u - 991*u = 3. Which is smaller: u or -14/37?
-14/37
Let l be -85*3/162 - (-27)/18. Suppose -5 = -2*s - 3*o, 4*s + s + 2*o - 7 = 0. Let x be s*((3 - 1) + -1). Which is bigger: l or x?
x
Suppose -3 = -3*f - 0*f. Let k be f/1 + (-96)/93. Is -1 less than k?
True
Let m(h) = 262*h + 43. Let j be m(8). Which is smaller: 2138 or j?
2138
Suppose 0 = c - 4*o + 23, 5*o + 1 = 21. Let g = 1 - c. Let z(x) = -3*x**3 + 160*x**2 - 57*x + 219. Let j be z(53). Which is smaller: g or j?
j
Let i be (-45)/5 + 2292/92. Is 16 != i?
True
Let x = 1 + -2.21. Let i = 1.22 + x. Is i at least 0?
True
Let g(x) = 4*x**2 + 8*x - 10*x**2 - 1 - x**3 - 3 - 2*x. Let h = 18 + -25. Let t be g(h). Is 3 < t?
False
Let q(s) = 19*s**3 - 3*s**2 + s - 2. Let o be q(-4). Let c = o - -3778/3. Is -11 at least c?
False
Let t = 0 - 3. Let x = 2285797/7452 - -26/1863. Let z = 305 - x. Which is greater: z or t?
z
Suppose 0 = -18*p + 2