 Is o != y?
True
Let o(i) = 6*i + 43. Let d be o(-8). Is d <= -0.4?
True
Let d = -0.092 - -2.052. Let t = 0.04 + d. Is t greater than or equal to -1/4?
True
Suppose 0 = 3*x - 38 - 10. Which is smaller: x or 14?
14
Suppose 6 = -0*m + 3*m. Which is smaller: 13/6 or m?
m
Let k be 2/(-1)*1*-1. Which is bigger: 0 or k?
k
Suppose -8*o - 243 = 29. Is o at least -34?
True
Let d = -11 - -5. Let x = d + 2. Is x at most as big as -4?
True
Let n be (21/(-6) + 4)*4. Let o be (1/10)/((-8)/(-10)). Which is bigger: o or n?
n
Let j be 255/(-90) + (-1)/6. Is -2 equal to j?
False
Let d be 9/3 + -8*1. Which is smaller: -3 or d?
d
Suppose b + 8 = 3. Which is greater: -6 or b?
b
Let l = -150.9 + 151. Is -0.01 at most as big as l?
True
Let f be (8/(-54))/((-2)/(-6108)). Let h = f - -452. Which is greater: -1 or h?
h
Suppose -4*n + 8 = -4*s, 2*n - 3*s = -0*n + 5. Let t = 26 + -25. Is t greater than n?
False
Suppose -2*j + 4*b = 18, -2*b + 4 = -3*j - 7. Do j and -5/4 have different values?
True
Suppose -11*n = -12*n. Let k = -44 - -307/7. Which is greater: n or k?
n
Let c be 130/143 + 0/2. Which is smaller: 2 or c?
c
Suppose -2 = -v, p - 10 = -0*v + 3*v. Which is smaller: 17 or p?
p
Let p be (-1397)/(-8778) - (-3)/7. Let x = p - 8/19. Do x and 1 have the same value?
False
Let w(c) = -c - 20. Let l be w(-13). Which is greater: l or -9?
l
Suppose -4*c = c - 225. Let a be 18/c + (-2)/5. Is a bigger than 0?
False
Suppose 5*m - 5*t = 0, 3*m + t = -m. Suppose m*n = 5*n. Which is smaller: 3/8 or n?
n
Let v = 1.6 + -4.7. Let n = 3 + v. Let k be (-3)/(-6) - (-7)/(-2). Which is bigger: n or k?
n
Let m = 17 - 11. Let g(f) = 5*f - 2 + 0 - 4*f - 3. Let r be g(m). Which is smaller: r or 0?
0
Let j be (-3 - -3) + (-2)/26. Are 0 and j unequal?
True
Let d be 24/30*(0 - -10). Let a be (-7)/(-28)*d/(-9). Is -1 equal to a?
False
Let d(p) = p**3 + 3*p**2 - 4*p + 6. Let h be d(-6). Let g = -386/5 - h. Let o(j) = j**2 + j. Let k be o(-1). Which is greater: g or k?
g
Let t be (1 - 1)*(-1 - 0). Let i = -0.62 + 0.02. Which is smaller: i or t?
i
Suppose 10 = 5*p + 30. Let f = 2 - p. Let a be 6/(-3)*f/(-4). Which is bigger: a or 2?
a
Let i = -422/7 - -74265/1232. Is -1 at least i?
False
Let n = -0.42 + 0.02. Which is bigger: n or 0.01?
0.01
Let n be 4*1*(6 - (-81)/(-12)). Do n and -1/2 have the same value?
False
Suppose 0 = -5*m + 3*m - 6. Let d = -2 - m. Do d and 10 have the same value?
False
Let o = 0 + -27. Is o < -24?
True
Let g be (8/(-2))/((-66)/(-30)). Let v = -91/44 - g. Is v >= -2/9?
False
Suppose 6 = -3*x, 0 = -5*r - 0*x + 2*x + 4. Let a be r + 4 - (-24)/(-8). Is a at least as big as 1?
True
Suppose 0 = -2*n + 5 + 3. Suppose 0 = 2*j + 3*i - 13, n*j + 5*i + 12 - 35 = 0. Which is greater: j or 0?
j
Let r = 6 - 12. Which is smaller: r or 2?
r
Let p be (-428)/42 - 2/3. Let j = 11 + p. Which is greater: -1 or j?
j
Let u be 3*-2*(-2)/(-3). Suppose 5*x = -c - 27, 3*x - 5*c - 20 = 5*x. Which is smaller: x or u?
x
Let r = 2.6 + -1.2. Let p = r - 1.2. Which is smaller: -6 or p?
-6
Let h(k) = k**2 - 8*k + 1. Let i be h(8). Do i and -2/35 have the same value?
False
Let x(m) = -m**3 + 13*m**2 - 12*m + 5. Let w be x(12). Is 2 > w?
False
Let n = -3674/17 + 216. Is 0 > n?
True
Suppose -294*t + 291*t = 27. Is -9 > t?
False
Suppose p - 2 = 0, -4*s + 12 = -2*s + 5*p. Is s at least as big as 1?
True
Let h be 2 + 0 + 1 + 4. Let u = h + -6. Is 2 greater than u?
True
Let d = 8 - 6. Let s be (d/(-10))/((-14)/(-5)). Let l = 3 - 3. Is s at most l?
True
Let b(n) = -n**3 - 6*n**2 + 7*n + 2. Let l be b(-7). Suppose -3*f + 11 + 4 = 0. Suppose f*g - 10 + 0 = 0. Is l greater than or equal to g?
True
Let f = -651603 + 11080921/17. Let m = f - 216. Which is smaller: 1 or m?
m
Suppose -93 = 5*j + 32. Are -26 and j unequal?
True
Let d = -3902/13 - -300. Suppose -2*p = 3*p. Which is smaller: p or d?
d
Suppose 21 = -6*a + 3*a. Let n(x) = x**3 + 8*x**2 + 5*x - 10. Let q be n(a). Let i = q + -3. Is -1/5 at least i?
False
Suppose -5*z + 416 = 2*g, z = 6*z + 5*g - 410. Is z at most 85?
True
Suppose -t = -4*t - 4*q + 7, -2*q + 2 = 0. Which is smaller: t or 3/2?
t
Let l be 34/10 + (-4)/10. Let c be -4*(1 - (l - 3)). Suppose 27 = -4*d - d - y, -4 = 2*d - 3*y. Do d and c have the same value?
False
Let f(n) = n**3 - 2*n**2 - 2*n + 3. Suppose 0*u + v = -3*u + 10, 2*u - 4*v = -12. Let j be f(u). Are -2/25 and j nonequal?
True
Let g = 9382755/39771076 + -1/280078. Let f = g + 1/71. Is -1 not equal to f?
True
Suppose 5 = -g + 5*l, g - 4*l + 2*l = 7. Let f = g + -11. Which is smaller: f or 3?
3
Let o be 2/(-7) + (-6)/(-21). Suppose 0*j - j + 2 = o. Let a(t) = 2*t - 3. Let f be a(3). Is f less than or equal to j?
False
Suppose 0 = 3*f - f - 4. Suppose f = 4*s - 4*u - 2, 0 = 3*s - u - 13. Suppose -7*c = -0*c - 28. Which is greater: s or c?
s
Let m = 0.7 + -0.8. Which is greater: -1 or m?
m
Let t(i) = -2*i**2 + 3*i + 2. Let p be t(3). Let j = -8 - p. Let b be (-102)/(-210) + (-4)/14. Is b > j?
True
Let x = -1 - -1. Let p be (1 - x) + (-6)/(-4). Let c = -11/4 + p. Which is greater: c or -2?
c
Let n(t) = 2*t**3 + t**2 + t + 1. Let r be n(-1). Let o = 6 - 7. Is o < r?
False
Let y = -1497/11 + 136. Let u = -8/33 + y. Does u = 3?
False
Suppose -14 - 16 = -3*s. Suppose 0 = 4*y + 6 + s. Suppose -11 = a - 6. Is y != a?
True
Suppose 5*j = t - 0*t, 0 = -j - 2*t. Suppose j = -3*s - 13 + 4. Which is greater: -2 or s?
-2
Let x = -22.3 - -22. Which is smaller: x or 14?
x
Let y(v) = -3 - v + 2*v - 5*v - v**2. Let w be y(-2). Let r be 0 + w/2*-2. Which is smaller: -2 or r?
-2
Let d = -383.98 - -388. Let g = d + -4. Let m = g + -0.12. Is m at least -1/2?
True
Suppose -m + 39 = -4*m. Is -14 not equal to m?
True
Let o be (-2 + (0 - -3))*1. Which is greater: o or -5?
o
Let s = -1/97 + -476/873. Is -1 <= s?
True
Let i = -5799/4 + 2623/2. Let h = 139 + i. Let a(k) = k**2 + 2*k + 2. Let b be a(-2). Which is greater: b or h?
b
Let p = -3 + 2.6. Let j = -0.6 + p. Which is greater: j or -4?
j
Let g = -605/7 - -87. Let o = -9/28 + g. Let p be ((-2)/4)/(36/(-16)). Do p and o have the same value?
False
Let p = -20.06 - -20. Let a = p + -0.34. Which is smaller: -3 or a?
-3
Suppose -9 = 3*g + 18. Let h(c) = -c**2 - 10*c - 12. Let x be h(g). Which is smaller: x or -1?
x
Let a(r) = r + 7. Let m be a(-5). Suppose -5*p + z = -m + 4, 4*z - 8 = -4*p. Which is bigger: 3/7 or p?
3/7
Let i(n) = n**3 + 3*n**2 + 2*n - 2. Let x be i(-2). Let c(g) = g + 2. Let f be c(-4). Is x less than f?
False
Let w be (-1 - -2)*-2 + -1. Let o be 1/1*(2 - w). Let t = 73 + -67. Which is smaller: o or t?
o
Let m = 107/3 + -3965/111. Is m >= 1?
False
Let c = -2 + 4. Let u = -5 + c. Suppose -4*m - 2*a = 18, 5*m + a = -2*a - 24. Is m <= u?
True
Let n be (1/4)/((-1)/2). Let g = 10 + -7. Suppose -t - t - o = 0, g*o = -t + 10. Is n < t?
False
Let j be (-1)/(-1*(-1 + 0)). Let p be j + 3 + -1 + 3. Suppose 5*g = 3*n - 7*n + 16, n - p = 0. Which is smaller: -5/4 or g?
-5/4
Let c = 1 - 1. Suppose -9*p = -9 - 9. Suppose -p*g - 4 + c = 0. Is g not equal to 0.3?
True
Let r = -53/2 + 1021/38. Which is smaller: r or 0?
0
Let x be 2 - (0 - 0/(-1)). Suppose 4*u - 8 = 0, 3*n - 5*u = n + 6. Suppose 0*y + x*y = 5*d + n, -y + 4 = 4*d. Which is bigger: d or 4?
4
Let d be (0 - -18)*22/(-33). Is -11 less than or equal to d?
False
Let i(z) = -z**3 + z**2 - z. Let k be i(0). Suppose -4*c - 5 + 1 = k. Are -3/10 and c equal?
False
Let v be 4/8*(7 - -1). Let y = 24 + -25. Let u = y - v. Is -5 equal to u?
True
Let q be (-6)/15 + 12/5. Let g be (-20)/(-3) - 3/(-9). Suppose 5*b + q*j = g, 2*b + 4*j + 13 = b. Which is smaller: 2 or b?
2
Let x(r) = -r + 4. Let s be x(2). Let y be ((-2 - s) + 4)/(-1). Which is bigger: 5/8 or y?
5/8
Let d = -0.8 - 0.1. Let o = 3.9 + d. Which is bigger: o or -0.1?
o
Suppose c - 5*c = 8. Let q = -3 - -3. Which is smaller: c or q?
c
Let r = -29 - -30. Let f = 4388/855 + -46/9. Which is greater: f or r?
r
Let v be ((-5102)/120)/((-1)/46). Let s = -1956 + v. Let p = -31/390 - s. Is 0 greater than or equal to p?
False
Suppose -4*t = t. Let g = 0 + 3. Let f = g - 2. Is t less than f?
True
Let d = 109 - 130. Is d smaller than -23?
False
Let q be -42*(-4)/8 + -2. Suppose 3 = 4*v - j - 14, -4*v + q = -3*j. Is v > 1?
True
Let m(z) = z**3 + 4*z**2 + 4*z + 3. Let u be m(-2). Suppose u*f = -4*n + 13, -n + f + f