r i?
2/3
Let r be 3/15 - (-12)/(-10). Let o be -2 + ((-33)/(-12) - 2). Is o smaller than r?
True
Let n = -3 + 1. Suppose -3*p - 4*b + 22 = -p, 0 = -5*b + 20. Suppose -3*u - 3*h - 15 = 0, -p*u = u - 5*h - 16. Is u smaller than n?
False
Suppose 2*b = -b - 45. Let f be (b/(-12))/((-2)/(-8)). Suppose x - f*x - 12 = 0. Which is smaller: -2 or x?
x
Let d be 1 + (-1)/(1/(-3)). Suppose 0*m + 32 = d*m. Is 7 greater than or equal to m?
False
Let c(d) = -d**2 + 3*d - 3. Let b be c(2). Let v(z) = -z**2 + 2*z + 1. Let a be v(b). Is a < -3/4?
True
Let o = 1.8 - -0.2. Let w = o + -2.1. Let r = 1 + 0. Which is greater: r or w?
r
Let s = 0.5 - 0.5. Let t = s - 0. Which is smaller: 1 or t?
t
Let g = -29 + 30.2. Which is smaller: -2 or g?
-2
Let u = -16/165 + -10/33. Let k = -69 - -70. Is u greater than or equal to k?
False
Suppose 0 = 3*t + 14 - 5. Let u be 1/t*-3*1. Does u = 1?
True
Let j(q) = -q**3 - 7*q**2 - 7*q - 2. Suppose -2*t - 10 = t - 4*a, -5*t - 36 = 3*a. Let r be j(t). Let c be 6/(-4)*r/(-18). Which is greater: c or -1?
c
Let l be 1 + -1 + 3 + -2. Which is bigger: -1/16 or l?
l
Let k = 0.88 - -0.12. Are k and 1.2 equal?
False
Suppose -4*o - 4*b = -2*b + 46, 5*b = o + 39. Which is smaller: o or -13?
o
Let y be (6/28)/(24/32). Let z = -2.8 - 0.2. Let w = z + 0. Is y bigger than w?
True
Let v = 20 - 9. Suppose -2*s + v = r, -r - s = r - 16. Is 7 less than r?
False
Suppose 0*q - q = -5. Suppose q*i = -3*a + 17, -i + 2 = a - 1. Let o = a - -3. Which is smaller: 0 or o?
0
Suppose -5*i + 55 = -10*i. Let q = -15 - i. Let m(z) = -4*z**2 + z + 1. Let u be m(-1). Is u bigger than q?
False
Let u be 8/12*1/(-2). Suppose z - 6 = -5*s, 3*z + 4*s - 8 = -s. Is z greater than u?
True
Suppose 0*c = c. Suppose 0*w - w = c. Let z be 2/30*21/(-7). Is z less than or equal to w?
True
Suppose -u - 2 = u, 67 = -4*t - 3*u. Let z = t + 0. Let v be ((-6)/8)/((-18)/z). Which is greater: -0.6 or v?
-0.6
Let f be ((-14)/4)/((-2)/(-28)). Let a = f + 195/4. Let s be (-2 - (-3 - -1))/1. Which is greater: a or s?
s
Suppose -5*z = -z + 16. Let u be -2 + (-1 - z)/(-3). Is -3 at least as big as u?
True
Let o = 8.2 - 8. Let n = o - -0.1. Are n and 1 equal?
False
Let f(i) = i - 10. Let y be f(13). Suppose 16 = -m - 3*x, y*x + 8 = -3*m + 2*x. Is -2/7 smaller than m?
False
Let g = 899693/14616 + 1/4872. Let i = g - 236/9. Let o = -35 + i. Which is smaller: -1 or o?
-1
Let k(t) = -4*t**2 - t - 1. Let h be k(1). Let u be 4 + 33/h - -3. Are u and -0.3 non-equal?
True
Let q = 0.109 + 0.091. Which is smaller: 2.9 or q?
q
Let r = -55/568 + -2/71. Let z(q) = -6*q + 1. Let m be z(-1). Let j = -7 + m. Which is smaller: j or r?
r
Suppose -s = -6*s - 5. Let d(h) = -h - 1. Let v be d(s). Suppose -2*i + 5 = m, -14 = m - 4*i - 1. Which is bigger: v or m?
v
Let p = 6 + -6. Suppose p*f + 5*f + 10 = 0. Is 0 not equal to f?
True
Suppose 2*h + f + 1 = 4, -2*f = -4*h - 14. Which is smaller: h or -0.009?
h
Let a(t) = t + 3. Let y be a(-7). Let v be (-1 - -5)/(-16)*y. Are v and -2/13 equal?
False
Let o be ((8/60)/(-1))/(4/(-3)). Is 1 <= o?
False
Let d(o) = -o + 3. Suppose -1 - 10 = -3*a + g, 0 = -a + g + 5. Let w be d(a). Let q = 3 + -3. Do w and q have the same value?
True
Let h = 17 - 16.8. Is 1/7 bigger than h?
False
Let n = 4877/16 + -305. Which is smaller: 0.2 or n?
n
Let j = 7 - 5. Suppose 0 = j*r + 8, 4*d + 1 + 7 = r. Let w(m) = m + 4. Let b be w(d). Which is greater: b or -2/13?
b
Suppose -5*d + m = 3, -d + 5*m - 17 = -2. Let q = 1/2 + d. Are 0 and q unequal?
True
Let l = -0.044 - 0.916. Let k = 2 + -1.96. Let c = k - l. Which is bigger: 2 or c?
2
Let f = 163 + -105. Which is greater: 59 or f?
59
Let h = -16 + 9. Let t = -7 - h. Let q be -1*4/(-22) - 0. Is q bigger than t?
True
Let m be (2 + 54/(-26))/(-1). Suppose 0 = -5*u + 3*y + 17, 0 = -u - 2*u + 3*y + 15. Which is greater: u or m?
u
Let i = -10 - 2. Are 0 and i equal?
False
Let c(a) = -a**3 + 8*a**2 - 6*a - 5. Let r be c(7). Let z = 163/4 + -40. Is r less than or equal to z?
False
Let g = 9 - -1. Let p be 1/g*10/4. Let r be 16/(-72) - (-7)/(-9). Which is smaller: r or p?
r
Let y = -6 + 3. Let s = -5 + 3. Let o be s - -3 - (-4)/y. Which is smaller: -1 or o?
-1
Let b be (7*(-4)/(-28))/(-2). Let q = -11 + 10.2. Is b less than or equal to q?
False
Suppose -3*d + 2*s = -s - 3, -5*d - 1 = -2*s. Let q be ((-22)/275)/(d/10). Is q != 1?
True
Let g = 0 + 0.2. Is g at least -0.02?
True
Let o = -73/2 + 583/16. Which is greater: o or 0?
0
Suppose l + 0*i + 22 = -4*i, 2*l + 5*i = -32. Let v be 1/(-3)*l/8. Is 2/3 less than or equal to v?
False
Let h(u) = -2*u**2 + 2*u - 2. Let f be h(1). Is -1 >= f?
True
Let p(h) = -h**3 + h - 3. Let q be p(0). Let s = -11 + 7. Let l = s - q. Which is greater: 1/4 or l?
1/4
Let z be (-6)/(-24)*(-8)/(-11). Let r = 1589/9 - 176. Let k = 8/9 - r. Which is greater: z or k?
k
Let l be -2 + (-1 + 0)*1. Let t(n) = -2*n - 4. Let x be t(l). Let b be 7 - 6 - (-2)/x. Is 4 greater than or equal to b?
True
Suppose 3*t = -2*d + 4*t + 2, -3*d - 5*t = -16. Which is bigger: -1 or d?
d
Suppose 6*j = 5*j. Is j >= -3/20?
True
Let x = -2/147273 - 4696329/3190915. Let o = -20/13 - x. Is 0 <= o?
False
Let c = -3.25 - -3.3. Is c <= -0.1?
False
Suppose -4*k - 4 = 0, -8*t + 7*t + 5*k = 0. Let q = 2 - 1. Is t > q?
False
Let a = -18 + 17. Is 2/15 != a?
True
Let a be 2/6 - 17/51. Let d = -182 - -265. Let v = -417/5 + d. Which is bigger: v or a?
a
Let x = 0.83 + -0.13. Let h = x - 0.8. Suppose -4*p = 3*u + p - 4, -u + 5*p = 12. Which is smaller: h or u?
u
Let c = 102 + -128. Which is smaller: c or 0.1?
c
Let k(g) = -g**2 - 14*g + 27. Let s be k(-18). Is s >= -44?
False
Let q(i) = -i - 3. Let z(j) = -j**2 - 7*j + 5. Let g be z(-8). Let x be q(g). Which is smaller: x or -3/8?
-3/8
Let o(y) = y**2 - 8*y + 10. Let q be o(7). Suppose h - 3 = -2. Let f = 3 - h. Which is smaller: f or q?
f
Let v = -1 - -1.2. Let x = -0.3 + v. Let d(f) = f**2 - 3*f - 17. Let o be d(6). Is x equal to o?
False
Suppose t = -t + 18. Suppose -2*h + t = h. Which is smaller: 1 or h?
1
Let t be 2/(-6)*(-9)/3. Let r = 4 - t. Let u be 18/(-45) + 1/(-10). Which is bigger: r or u?
r
Let y be 7/35 + 3/((-30)/(-478)). Is 49 less than or equal to y?
False
Suppose -j = -4*s - 1 + 4, -2*s + 3 = j. Let v be -2 - ((-146)/7 - 0). Let n = v - 19. Does n = j?
False
Let n = 205 + -2253/11. Let x be -6 + (-1)/(-1) - -1. Let m be (-9)/12 + 1/x. Do n and m have different values?
True
Let l = 0.093 + -1.093. Let u = 1.5 - -5.5. Is l less than or equal to u?
True
Let w = 0 - 4. Is -2/5 smaller than w?
False
Let t be 13/(-3) - (10 + -15). Which is bigger: -18/17 or t?
t
Let n = -15/1403 - 1025458/12627. Let v = n + 81. Are v and 1 nonequal?
True
Suppose 0 = -2*f - 0*f. Suppose -2*j + u + f*u = 3, -9 = 5*j - 3*u. Which is greater: -3/8 or j?
j
Suppose 88 = 3*k + k. Let f = 32 - k. Let r be 2/5 + f/(-25). Are r and 0 equal?
True
Suppose 10 = -3*y + 3*p + p, -y = 2*p. Which is smaller: y or 4?
y
Suppose -4*i + 28 = -2*i. Let h be 24/14 - (-4)/i. Is 1 at least as big as h?
False
Suppose 2*q + 5*o = 36, 10 = 5*o - 10. Is 7 > q?
False
Suppose -o = -0*o - 7. Is 6 at least as big as o?
False
Let c = -6 + 6.4. Let y = -15.1 - -15. Which is greater: y or c?
c
Let q be ((-4)/6)/(40/105). Is -1 not equal to q?
True
Suppose -7*j + 4*j - 21 = 0. Is -7 at least j?
True
Let g = 7 + -33. Is -26 < g?
False
Suppose 2*c - c = 3. Let m(t) = t**3 + 7*t**2 + 6*t + 6. Let k be m(-6). Suppose -c*o + 3 = -k*o. Is -1/6 smaller than o?
False
Let k = -6 + 9. Let c = 3.1 - k. Which is bigger: c or 2/17?
2/17
Suppose -j + 5 = 4. Let i = -8.3 + 8. Let k = i - -0.1. Which is bigger: j or k?
j
Suppose 5*q + 19 = -2*a, 4*q = -5*a - 41 + 2. Is a less than -6?
True
Let s be 1/((-5)/(-6) + -1). Let a be ((-4)/(-6))/((-4)/s). Is 6/7 >= a?
False
Suppose -5*z + z = -2*q + 8, 0 = 3*z + 6. Let u be ((-3)/(-22))/(3/4). Do q and u have the same value?
False
Suppose -12*d + 3*d = 378. Which is smaller: d or -43?
-43
Suppose -3*w - 4 = 2*p + 2, p + 2*w + 4 = 0. Let a = 37/82 + 2/41. Which is greater: p or a?
a
Let b = 24767/39 - 635. Let k = -138 + 138. Which is greater: k or b?
b
Suppose u - x - 9 = 0, 4*x - 5 + 47 = 5*u. Suppose 0 = u*k - 2*k. Is k greater than -1/3?
True
Let c = 7.1 + -7.2. Which is greater: c or 7/3?
7/3
Let w = 771/9950 + 1/398. Is 0 