 9 > o?
True
Let w be 1*4/(-6) + 553/105. Let m be ((-8)/12)/((-6)/45). Which is greater: m or w?
m
Let x = 117 - 118. Is 2/569 smaller than x?
False
Let n be 4 + 5/((-5)/(-53)) - -4. Is n greater than or equal to 62?
False
Suppose 0 = 5*i + 3*f, -3*i - 4*f + 3*f + 4 = 0. Is i less than or equal to 18/7?
False
Let h be 18 - -2 - 12/(-3). Let r = 29 - h. Is r >= 7/2?
True
Let u = 103 - 111.3. Which is greater: u or 2/3?
2/3
Let x be 184/12*(-117)/(-6). Let r = x - 162. Let h be -20*(r/(-45) + 3). Which is bigger: 2 or h?
2
Let u = 308 - 324. Which is smaller: u or -110/7?
u
Let d(m) = -m**2 - 8*m - 11. Suppose -4*x = x + 20. Let i be d(x). Suppose 2*c - 1 = -i. Are c and -24/7 unequal?
True
Let q = 2696 - 4040. Let d be (2/(-4))/(4/q). Let c be d/18 - 2/6. Are c and 9 equal?
True
Let y = 903772 + -23445653221/25942. Let k = 15072257/389130 + y. Let r = -118/3 + k. Which is smaller: r or -1/4?
r
Let k be (-740)/260 - (-6)/39. Is -4 greater than or equal to k?
False
Suppose 114 = 4*r + 2*m, -3*r = 6*m - m - 82. Let g be 3*(-80)/(-24) - -19. Are r and g unequal?
False
Suppose -10*u + 6 = -9*u. Suppose -4*n - 3*y - u = -0*n, 0 = 4*n - 5*y - 10. Is 3/26 at least as big as n?
True
Suppose 0 = -167*m + 174*m - 3647. Do m and 521 have different values?
False
Let g = -0.26 - -0.48. Let x = 0.2 - g. Let i = -550 + 552. Which is smaller: x or i?
x
Let r = -46.3 + -8.7. Let n = r + 49. Which is smaller: 1 or n?
n
Suppose -6*s = -3*s + 42. Suppose -3*i - 19 - 17 = 0. Which is smaller: s or i?
s
Let j = -58 - -51. Let c = 3 + j. Is -7 at most c?
True
Let t(z) = -2*z**2 - 21*z - 16. Let d be t(-8). Suppose 4 = -2*b + d. Is 45/4 at least b?
True
Suppose 21 = -4*c + 9. Let h(y) = y + 1. Let d(s) = 7*s + 6. Let f(t) = d(t) - 5*h(t). Let q be f(c). Is q equal to -4?
False
Let c be ((-6)/(-4) - 2)/((-9)/1206). Let l = -121 + c. Is l at most as big as -54?
True
Let o(s) = -s**2 + 5*s + 81. Let q be o(11). Which is bigger: 65/4 or q?
65/4
Let i be -3 + -5 + 1*138. Which is greater: i or -1?
i
Let n be 3/12 + (-669)/180. Let t = n - -14/5. Is t < -2?
False
Suppose 11*j - 45 = 12*j. Let n be -1*((-6)/j + (-1)/(-30)). Which is smaller: n or -0.6?
-0.6
Let a = 245 + -727/3. Which is smaller: a or 2?
2
Let x = 6484/11 - 590. Let s = 8467/9867 + -21/299. Let n = x - s. Which is greater: -2 or n?
n
Let t be (9 - (-2145)/(-9))*(-165)/(-20). Is t <= -1892?
True
Let q(i) = -i + 1. Let g be q(4). Let b be (2 - -784)/g + -2. Let f be (-2)/11 + (-224)/b. Which is greater: 1 or f?
1
Let d = -620 + 20462/33. Suppose 3*a - 3*h = 2*h - 29, 0 = -a - 2*h + 5. Let j = 2 + a. Which is smaller: d or j?
j
Let r = -0.86 - -0.877. Let n = r + -0.217. Which is smaller: -0.18 or n?
n
Let l be 0/4 - 42/(-6). Let v be (-1)/7 - 4*(-2)/l. Is -2/169 < v?
True
Let p be (10 + -1)*(4 + 8/(-3)). Let n be 3*1 + 1 + (-45)/p. Let g = -0.3 - -0.5. Is n at most g?
False
Let w(f) = f - 27. Let h be w(21). Is h > -3?
False
Let x be 1 + 2 + -1 + -5359. Let r = x - -15775/3. Let a = r + 97. Is -1 at least as big as a?
True
Let o = -151/5 + 144/5. Suppose -2*n + 7 = -1. Suppose -n*c + 10 = 18. Is c <= o?
True
Let y(f) = 2*f + 15. Let b be y(-7). Let t be (b + (-15)/5)*1. Is -2 greater than or equal to t?
True
Let x(k) = k**3 - 14*k**2 + 12*k + 12. Let a be x(13). Suppose -5*u - 108 = u. Let r be u/(-8)*(-2)/6. Which is bigger: r or a?
r
Let b = 0.6 - -37.4. Let p = b - 37.5. Is p at least 2?
False
Suppose 32*c + 3 = 35*c. Is 11/31 > c?
False
Let v = -0.0128 - -0.0328. Is v equal to 18?
False
Let p = -13 + 13. Suppose p = y + 3*y. Suppose 5*b - 3*x - 21 = y, 2*b = 6*b - 3*x - 15. Is b smaller than 6?
False
Let a = -7 + -40. Let c = -46 - a. Is -2/11 less than c?
True
Let x be 4/(-8) + (-45)/(-30). Which is bigger: -6 or x?
x
Let m = -1.9 - 1.9. Let g = m + 0.8. Let t = 1.8 - 1.7. Which is greater: g or t?
t
Suppose 0 = -5*w - 4*l + 13, -l = -4*l - 9. Suppose -d = 4*c - 11, -c - 7 = -w*d + 6. Suppose s = d*n + 16, -4*s - n - 24 = -9*s. Are 5 and s equal?
False
Let k = 12.5 + -15.5. Let h = 1.5 + -2. Is k > h?
False
Suppose -a + 8 = 4*y, -y + 0*a = 2*a + 5. Suppose -y*v = -7*v + 4. Is 1 bigger than v?
False
Let c be (-2 + 4)*(-22)/22. Let g(s) = -s**2 + 2*s + 1. Let w be g(3). Let i be (9/(-6))/((-1)/w). Is i > c?
False
Suppose l - 3*f - 1 = 0, 0 = 3*l - 8*l + 2*f + 18. Suppose l*r - 6 = 6. Let v be r/(-27)*-3*-6. Which is bigger: 0 or v?
0
Suppose 0 = i - 5 + 6. Let d be (-537)/54 + 1/1. Let m = d + 9. Is m greater than i?
True
Let r = -13.3 - -0.1. Is r at most -1?
True
Let c(n) = 2*n**2 + 2*n - 1. Suppose 5*b + 0*b = -10. Let m be c(b). Let a be m + 90/(-16) - -3. Which is bigger: -1 or a?
a
Let m be -4 - 5/(-3) - (1 - 0). Let p = m - -29/6. Is 2 greater than p?
True
Let p(r) = 27*r - 2 - 26*r - 1. Let c be p(2). Which is smaller: c or -19?
-19
Let n = 4 + -3.86. Let a be 22 + -27 - 19/(-4). Are n and a unequal?
True
Suppose 0 = 5*p - 3*p - 4*v - 22, 2*v + 14 = 2*p. Suppose 5 = -p*c - 2*c. Which is smaller: c or -3/17?
c
Let a = -61 + 34. Let o be (0 - (a + -1))/9. Is o >= 4?
False
Let x = 130 - 82. Suppose 2*b = -b - x. Let y = 146/9 + b. Are y and 0 non-equal?
True
Suppose -2*w + 3*w - 34 = -c, 0 = -4*w + 16. Suppose 2*q + 99 = 6*q + 3*z, -4*q + 74 = -2*z. Let p = q - c. Which is smaller: 1 or p?
p
Let u be 1/(1*1/11). Let h be (-1)/(-5) - (-56)/20. Suppose -3*l = -4*z - 53, -2*l - z - h = 4*z. Is u at most l?
True
Let j = 2 + -2. Let y = 1.2 - 18.2. Let g = -22 - y. Are j and g equal?
False
Let i be (-50)/(-4) - 3/6. Let w = 13 + -26. Let g = i + w. Which is smaller: -0.08 or g?
g
Suppose -3*i + 1 + 5 = 0. Suppose 5*k = -i*g + 6 + 3, 3*g = -k - 6. Suppose -2*p - 2*l = -l - 6, 0 = -2*p + 2*l - 6. Is k smaller than p?
False
Let h be 15/(-123)*18/5. Let y = h + 267/328. Is y <= 0?
False
Let u(v) = -3*v + 23. Let g be u(7). Suppose 0*p = -f + 4*p - 26, -16 = g*f + p. Let q(z) = z - 6. Let k be q(-6). Which is smaller: k or f?
k
Let x be 2/(-3) + 52/(-315). Let d = -2/63 - x. Let w(b) = 22*b**2 + 306*b - 26. Let h be w(-14). Which is smaller: h or d?
d
Let w be 313/2 - 9/(-6). Let g = -2094541/13140 + 5/2628. Let u = w + g. Do 0 and u have the same value?
False
Let q be -7 - -3 - (-2)/(-153)*-309. Let f be 2/170*470/12. Let y = f + q. Is y bigger than 2/11?
True
Let g = 277 + -278. Does -1 = g?
True
Let q(k) = 3*k**3 + 18*k**2 + 4*k + 27. Let g be q(-6). Let c = 24 + -18. Are g and c non-equal?
True
Let d = 59 - -139. Suppose -4*v - d = -2*m, 4*v + 269 = 3*m + 74. Are v and -51 non-equal?
False
Let w = 4169/96 + -3/32. Which is smaller: w or 44?
w
Let q be 10/(-15)*(-549)/(-690). Let z = 90/13 - 2031/299. Let a = q + z. Which is greater: -2/9 or a?
-2/9
Let n be -7 + (-900)/63 + 2/7. Is -21 greater than or equal to n?
True
Suppose 2*l = 2*p - 61 - 11, -139 = -4*p + 5*l. Is 42 at most p?
False
Suppose 3*n - 3 = 2*f - 5*f, 0 = 2*n + f - 3. Let r = 9 - 2. Suppose -y + r = -n*y. Is -7 > y?
False
Suppose 16*o - 29*o - 13 = 0. Let i = -1333/12 + 111. Is i at least o?
True
Let f = 128 + -127.8. Let u = -0.06 + -4.94. Let k = u - -5.1. Is k at least f?
False
Let w = 81.97 + -82. Which is smaller: -7/4 or w?
-7/4
Let c(o) = -o**2 + o. Let m(r) = -2*r**3 + 5*r**2 - 3*r - 1. Let a(h) = 2*c(h) + m(h). Let k be a(1). Do k and 2/109 have the same value?
False
Let z = -26.4 - -25. Let q = -0.4 - z. Suppose 0 = 6*b - b + 10. Does b = q?
False
Let f(d) = 2*d**3 + 10*d**2 + 14*d + 18. Let n be f(-4). Suppose -m + 4*m = -3. Is m less than or equal to n?
False
Let l(u) = -4 + 2*u + 1 + 20*u + 2. Let z be l(3). Let p = z + -127/2. Which is smaller: p or 2?
p
Let w = -185 - -177. Which is greater: w or -12?
w
Suppose 5*v + 6 - 11 = 0. Let y be 92/20 - v - 4. Suppose 0 = -0*h + h - 1. Is y <= h?
True
Suppose -3*w + 4*w = -2. Let s = w - -2. Let y be (-15 + (-447)/(-30))*2/(-2). Is y < s?
False
Suppose -228 = 3*l - 2*d, 17*l = 22*l - d + 387. Suppose -2*p = -0*p + 158. Is l smaller than p?
False
Let x be 0 + -34 + (2 - 1). Let g = 1115 + -1116. Which is greater: g or x?
g
Suppose -2*d = -d + 1. Let c = -24 + 30. Let y = c + -6. Which is smaller: y or d?
d
Suppose -2*l + 3*x + 123 = 0, -l = 2*x - 7*x - 79. Let a = l + -52. Which is greater: a or -18?
a
Suppose 0 = 2*c - 1 - 1. Let y be 11/c + (-1 - -3). Let m = 12 - y. Which is smal