re z and a non-equal?
True
Suppose -11 = 5*h - 1. Let a = 0 + -2. Are a and h non-equal?
False
Suppose 47*c + 244 = 51*c. Is 61 less than c?
False
Suppose -29 = 3*v + 70. Which is smaller: -31 or v?
v
Let v = -2 - -3. Let f = v + 0. Let a = -12 + 38/3. Which is bigger: f or a?
f
Suppose -5*s - b - 53 + 0 = 0, 3*b = -s - 19. Does s = -2/9?
False
Suppose 0 = 6*i - 10*i. Are i and -1 unequal?
True
Let x(h) = -h + 8. Let d be x(6). Suppose 5*c + 31 = 3*r, -2*r + 18 = 2*r - d*c. Suppose -5*p = -4*o - 2, r = 3*p - o + 5. Which is smaller: p or -1?
p
Let f(p) = -2*p - 4. Let k be f(-3). Let m be k - (0 + 48/21). Let y = -0.4 - 1.6. Is y equal to m?
False
Let f = 93 - 91. Is -14 greater than or equal to f?
False
Let o = -659.7 - -695. Let b = o + -34. Let t = 0.3 - b. Is -1 greater than or equal to t?
True
Let m = 0.01 + -2.01. Is 9 >= m?
True
Let n = -54 + 207/4. Suppose -3*g = b - 6*g + 5, 5*g - 15 = 5*b. Which is smaller: b or n?
n
Let h be (-16)/40 - 1/(-2). Is 0 less than or equal to h?
True
Let b be (12/16)/((-93)/(-8)). Are b and 1 nonequal?
True
Suppose -3*y + 3*i + 42 = 0, 5*i - 58 = -3*y + 8. Is y smaller than 0.1?
False
Let j be (-58)/18 - (-2)/9. Suppose 4*c - 6*c = -5*y - 26, 4*c - 28 = 4*y. Is j equal to y?
False
Let o be 2/(-11) - (-104)/(-154). Is o > 0.4?
False
Let j = -31/65 - -1/13. Is 11 not equal to j?
True
Let g be ((-4)/30)/((-3)/(-9)). Which is smaller: -2/11 or g?
g
Let b(o) = 1 - 2 - 2 - 3*o + 1. Let n be b(-2). Let a = 2 + 1. Which is smaller: a or n?
a
Let x be 69*(1 + 4/15). Let r = x - 87. Let i = -0.02 - 0.08. Which is greater: r or i?
r
Let n = 26.06 + -28. Let z = 5 - 4.94. Let o = n - z. Is 0 at least o?
True
Let z = 3 + -2.8. Suppose -3*g = 156 - 24. Let r be (-1)/3 - g/60. Which is smaller: r or z?
z
Let z = 0.6 - 0.9. Let l = -0.3 + 0.6. Let b = 1.3 - l. Is z > b?
False
Let z(t) = -t + 1. Let p be z(-6). Let r(i) = -i**3 + 8*i**2 - 5*i - 10. Let k be r(p). Let j be -1 + k/((-80)/(-18)). Which is smaller: 0 or j?
j
Suppose -6*a = -a - 45. Let u = -9 + a. Is -1/7 < u?
True
Let x = -1 - 0. Let f = -25 + 9. Let a = f - -16. Which is smaller: x or a?
x
Suppose 0 = 3*z + 3*u + 21, 4*z - 2*z + 5*u + 5 = 0. Is z at most -9?
True
Let r = -0.23 + 0.38. Let u = -0.12 + r. Is 1 less than u?
False
Let p = -35/8 - -617/152. Is 0 < p?
False
Let l = -1035 - -5199/5. Let y = l - 27/5. Let a(i) = -i**2 - 2*i - 1. Let f be a(-2). Which is smaller: y or f?
f
Let p(y) = -4*y**2 - 18*y - 11. Let h(m) = 2*m**2 + 9*m + 5. Let n(t) = -5*h(t) - 2*p(t). Let i be n(7). Let c = -488/3 - i. Are c and 1 unequal?
True
Suppose 0 = -2*q - 1 + 15. Let h(v) = 4*v**2 - 6*v - 4. Let n(r) = 9*r**2 - 12*r - 7. Let w(d) = -7*h(d) + 3*n(d). Let t be w(q). Which is greater: -1 or t?
t
Suppose -p = -0*p + 5*q, -q = -3*p. Let r be (1 + -1)*(-3)/6. Let w be (5 - 4)/(9 - r). Is w less than or equal to p?
False
Let d(v) = -v**3 + 5*v**2 - 3. Let g be d(5). Does -15/8 = g?
False
Let n = 99 - 96. Which is smaller: n or 7/4?
7/4
Let p be 1*4*344/(-16). Let y = -175/2 - p. Let k = 0.4 + -0.2. Which is smaller: y or k?
y
Let b = 167/4 + -42. Is 10 at most b?
False
Let j be (1 + -2)*(-5)/10. Suppose -69 = w - 70. Which is greater: w or j?
w
Let h(n) = -n**3 + n**2 - 1. Let s be h(1). Suppose 4*i + 10 = 2*c, 5*c + 7 = 4*i + 14. Let k be c*(4 - 2)/6. Does k = s?
False
Let c = -9 + 7. Let j be (c + 4)/(-2 - 0). Which is greater: j or -3/2?
j
Let j = 55 - 98. Is j smaller than -43?
False
Let x(f) = f**3 + 7*f**2 + 2. Let q be x(-7). Suppose 0*a = -q*a + 5*k - 4, -a + 5*k = 7. Suppose -3*r + 4*r = o + 2, 2*o = 0. Does a = r?
False
Suppose -65 = 5*o - 5*q, -2*o = -0*o + 3*q + 31. Which is smaller: -16 or o?
-16
Let g(q) = -11*q**3 + q**2. Let k be g(-1). Let z be 3/(-2)*k/(-54). Which is greater: z or -1?
z
Suppose 0 = -3*j - 7*k + 3*k + 13, 3*j = -5*k + 17. Is 6/23 less than j?
False
Let u = -3 - -2. Suppose -3*g = 3*i + 3, 0*g + 8 = -4*g. Which is greater: i or u?
i
Let g = 7 - 4. Let a = g + -10. Which is smaller: a or 0.1?
a
Let f be (-8)/6*(-24)/(-16) + -47. Is f greater than or equal to -48?
False
Let v = -27511/20 + 1376. Which is greater: 0 or v?
v
Let q = 4 + -4. Let d = 2 + q. Suppose 4*f - 3 + 7 = 4*j, 2*f + d = 3*j. Which is greater: 1 or j?
1
Suppose 2*l - 5 = 5*l - 5*i, 0 = 2*l - 2*i + 2. Which is smaller: -1/18 or l?
-1/18
Let n be 6/4 - 386/252. Is -1 at most n?
True
Let j = -0.03 + 0.03. Let r = j + -2. Is r not equal to -2?
False
Let v(s) = -9*s + 2. Let x be v(1). Is -3 < x?
False
Let i = -2 - -2.1. Let y = 13 - 7. Let g = -5 + y. Which is smaller: g or i?
i
Suppose -3*t - 11 = c - 87, 0 = -3*t + 5*c + 70. Which is greater: 24 or t?
t
Let j = 256 + -2051/8. Which is greater: 2 or j?
2
Let n = 2 - 1.8. Let i = 2665/7 + -381. Is n >= i?
True
Let a be (-3)/(3/(-4)) + 9 + -12. Is -5/31 less than a?
True
Suppose -9*p = -15*p. Let w be (-8)/(-10)*(-2)/(-8). Which is greater: w or p?
w
Let o = 179 - 121. Which is smaller: -0.1 or o?
-0.1
Let a = -38 - -22. Is a < 1/2?
True
Let z be (15/(-30))/(10/4). Let c = -1 + 2. Is c > z?
True
Let y = -3 + 2.8. Suppose 0 = -0*b + 5*b. Suppose m - 2 = -b*m. Which is greater: m or y?
m
Let t = 45 + -133/3. Let z = -5 + 8. Suppose z*i + 3*u - 5 = -2*i, -2 = -2*i + 4*u. Is t <= i?
True
Suppose 5*z - 4*z = 16. Let h be (1/(-2))/(2/z). Which is smaller: -3 or h?
h
Let n = -6 + 16. Let i = n + -7. Suppose -2*q = q + i. Is q < -1/2?
True
Let q be (-2)/3 - (-5)/12. Let y be (-1)/((-3 - -2)*1). Suppose 0 = -5*r - 9 - y. Which is bigger: q or r?
q
Let u(b) = b**2 - 8*b - 21. Let n be u(10). Suppose 2*r - 7*r = -5. Let c = r + -1. Is n >= c?
False
Suppose -6*k + 34 = 2*r - k, -4*r + 5*k = -128. Which is greater: 26 or r?
r
Let s = 20 - 19. Which is smaller: s or 1/3?
1/3
Let r = -1 + 3. Suppose 3*l = l + r. Let w(n) = -2*n**3 - n + 1. Let x be w(l). Which is smaller: -3/2 or x?
x
Suppose -4*z + d - 157 - 8 = 0, 117 = -3*z + 3*d. Is -42 less than or equal to z?
True
Suppose -3*c + 6 = 3*r, r - 18 = -c - 4*r. Let f be (10/(-16))/((-1)/(-2)). Is c smaller than f?
True
Let u be 2 - (1 + -2)/((-4)/(-12)). Which is smaller: u or 4?
4
Suppose 3*l = 4*l. Suppose -3*x + l = -12. Suppose -p + x*p = 0. Do 2 and p have the same value?
False
Let z = 76/105 - 2/35. Is -0.5 bigger than z?
False
Let o = 0 + 1. Let c = -13.24 - -0.24. Let s = c - -12.7. Is o not equal to s?
True
Let b = -11 + 18. Let o = b + -7.9. Let z = -0.8 - o. Which is greater: z or 5/2?
5/2
Let y = -5 + 8. Let k be 28/12 + 4/6. Is y at least k?
True
Let h = 1.8 - 4. Let l = 11.1 + -17.9. Let x = h + l. Is x >= -1?
False
Let l(r) = -2*r - 1. Let p be l(-4). Suppose p*q = 3*q. Is q > -3?
True
Let p(t) = 8*t**3. Let r be p(1). Let s be (1/(-6))/(2/r). Let d be 4/(-16) + 2/8. Is s != d?
True
Let v = -5.764 + -0.136. Let b = -6 - v. Do -1/4 and b have the same value?
False
Suppose 182*s = 179*s - 114. Is -38 smaller than s?
False
Let h(v) = v**2 - 5*v. Let f be h(5). Suppose 4*c = 16 - f. Which is bigger: 2 or c?
c
Let u(s) = -6*s**2 - 4*s + 1. Let v be u(-1). Let t = 1 + -1. Suppose -5*y - 21 = 3*c - 2*c, -5*c - 3*y - 17 = t. Is v equal to c?
True
Let m(o) = o**2 - o. Let y be m(-1). Let h = 59.9 - 63. Let r = h - -3. Which is bigger: r or y?
y
Let s = 20/7 - 128/35. Is s < 5?
True
Let f be ((-21)/14)/((-14)/4). Let y = -43/14 - f. Is -3 smaller than y?
False
Let n = 0.6 - 0.8. Let s be 1/6*(-4)/3. Are n and s equal?
False
Let x be (-5)/5 - 0 - 0. Are x and -5 equal?
False
Let s = 7 - 3. Suppose 6 = s*t - 5*r - 6, 26 = -3*t - 5*r. Let d be ((-4)/t)/(-1 + 2). Is 2 greater than d?
False
Suppose -7 - 47 = -9*l. Which is bigger: 5 or l?
l
Let z = 36 - 22. Suppose 5*n - f + 30 = 0, -4*n + 5*f = 59 - z. Is -5 at most n?
True
Let p(h) = -h**3 - 1. Let m be p(1). Let x be 30/(-20)*4/(-3). Let c = x + -5. Which is bigger: m or c?
m
Let w = 20 + -13. Which is smaller: w or -2/3?
-2/3
Let s = 24 + -23. Which is smaller: s or 2/35?
2/35
Suppose -3*c + 5*f = 17 + 17, 5*f - 2 = -c. Does -2 = c?
False
Suppose -24 = -3*t + 27. Let u = t - 19. Let x = 3 + -2. Which is greater: x or u?
x
Let c be (-8)/(-40)*(-1 - 1). Which is smaller: -1 or c?
-1
Let h be -63 + (-4)/(10 + -2)*-4. Which is greater: -60 or h?
-60
Let z = 270581/28 + -9665. Let f = 8/7 + z. Let n = 1 - 1. Which is bigger: f or n?
n
L