Let t = 7.1 + -0.1. Let s = t + -9. Which is greater: g or s?
s
Let w be ((-813)/4)/((-15)/40) + 6. Is w at most as big as 548?
True
Let o = -0.9 + 6.9. Let a = -4 - 1. Let n = a + o. Do -5 and n have the same value?
False
Let a = -78 - -26. Let d = -5991 - -5938. Is a equal to d?
False
Let v(s) = 2*s - 14. Let c be v(8). Let y = -376.9 + 378. Is c at most y?
False
Let h = 7 + -7. Let i be 7/(h + -1 - -2). Let f(k) = -k**3 - 3*k**2 - 4*k - 6. Let j be f(-3). Which is smaller: i or j?
j
Let p be (16/(-9) - -2) + (-1056)/702. Is -1 less than p?
False
Let t(z) = 3*z - 20. Suppose 0 = 3*b - 8*g + 4*g - 43, 16 = 4*b + 5*g. Let s be t(b). Suppose i + s = -3*c + 2*i, -5*i - 41 = 4*c. Is -5/2 at least as big as c?
True
Suppose 2*j + 2*x + 32 = 0, 0*j = -j + 5*x - 22. Let y = j - -21. Is y equal to 0?
False
Let q = -9.4 + 20.9. Let a = q + -7.5. Do a and 3/5 have the same value?
False
Let b = 35 + -35.34. Which is smaller: 2/5 or b?
b
Let r(l) = -3*l**2 + 37*l + 19. Let n be r(13). Is -90/11 smaller than n?
True
Let o be 4/(-6)*6/(-4). Let a = -1 + o. Let r(c) = 7*c - 98. Let l be r(14). Is a at most l?
True
Suppose -2*q + 13 = -l, 3*l + q + 4 = -0*q. Let k be 2/l - (-266)/57. Let o(a) = -a**2 + 5*a + 2. Let z be o(k). Is 6 at most as big as z?
True
Let k be (10/5 + 3)*-15. Is -75 at most as big as k?
True
Let p(s) = 2*s - 5*s + 2*s**2 + 2*s + 3 - 4*s. Let i be p(-6). Let z = 529/5 - i. Which is smaller: z or 2?
z
Let h(n) = -n + 4*n**2 + n**3 - 9 - 6*n - 11*n**2 - n**2. Let f be h(9). Let j(t) = -t**2 + 7*t - 2. Let z be j(7). Is f bigger than z?
True
Let u be (-3)/(-3)*(-10)/(0 - -10). Which is greater: -3/217 or u?
-3/217
Let q = -8689/95 + 456/5. Suppose 0 = -17*w + 21 - 4. Which is bigger: q or w?
w
Let t be -9 - -3*4/6. Suppose 4*v + 3*p = 11, 0*p - 4*p = -2*v. Let m = v + t. Which is greater: -4 or m?
-4
Let y = -1904 + 1900. Is 1 greater than or equal to y?
True
Let z = -12 + 34/3. Let u = 57 + -31. Let j = u + -25.8. Is z less than j?
True
Let z = -6 - -7. Let c = 13525257/1846691 + 15/23983. Let y = c + -50/7. Is y bigger than z?
False
Suppose 2 = d - 1. Suppose -d = -5*r + 2. Suppose -5 - 1 = -3*u. Is r > u?
False
Suppose -7*f - 20 = -2*f. Suppose -w + 27 = -5*c + 101, 0 = -5*c - 4*w + 54. Suppose 0 = -4*p - c - 6. Which is smaller: f or p?
p
Suppose -h - 3*l = -0*h + 2, -2*h - 2*l + 4 = 0. Suppose -h*d = -0*d. Is -2/7 at most d?
True
Let r = 4180/9 - 463. Is 1 at least r?
False
Let h be (-8 - -11)/(12/8). Which is smaller: h or -0.12?
-0.12
Let h = 157.1 - 248.1. Is -2/3 != h?
True
Suppose k - 347 = -373. Which is greater: -6 or k?
-6
Suppose -6*z - 315 = -5*z. Let b be (-1)/(-2) - z/(-558). Suppose -2*x - 3 = x. Which is smaller: x or b?
x
Let m(i) = -i - 3. Let t be m(5). Let x = t - -12. Suppose 4*l = x*k - 12, 22 = -4*l + k + k. Which is bigger: 0 or l?
0
Let s(g) = g**2 - 5*g + 9. Let b be s(4). Suppose r - 16 = p, 84 = -b*p + p - r. Is p at least as big as -20?
True
Let k(d) = -2*d**3 + 3*d**2 + 10*d - 27. Let n be k(5). Is -303/2 bigger than n?
True
Let k be -3*(-4)/6*(-9)/108. Is -15 > k?
False
Let n = -792 - -689. Are -105 and n non-equal?
True
Suppose 28 = 3*c + 5*g, -19*g = -5*c - 15*g - 15. Is -2/1429 < c?
True
Let b(o) = 3*o - 4. Let r be (-39)/(-26)*4/6. Let z be b(r). Suppose -1 = -2*t + 3*t. Is z at least as big as t?
True
Suppose -4*a + 21 = f, -2*a + a + 7 = 2*f. Suppose -w = -2*m + 389, 398 = -3*m + a*m + 2*w. Let l be 7/(m/(-120)) - -4. Are l and -10 equal?
False
Let j = -652 - -601. Does j = -51?
True
Let z be -42 + (-1 - (4 - 0)). Let h = 47 + z. Let g = 131 - 779/6. Is h bigger than g?
False
Let v be (4/30)/(4/(-12)). Let x(n) = -n**3 + 7*n**2 - n + 6. Let b(p) = -p**3 - p + 7. Let o be b(0). Let y be x(o). Which is smaller: v or y?
y
Let c = 0.14 + -0.14. Let g = -0.8 + -0.2. Let y = c + g. Which is smaller: 1 or y?
y
Let d(h) be the first derivative of -h**4/4 - 7*h**3/3 + h**2/2 + 9*h + 6. Let p be d(-7). Which is smaller: 3 or p?
p
Let z = -1327 - -1327.1. Suppose -4*y - 5 = 39. Which is smaller: y or z?
y
Let g = 4343687/33 + -131608. Let r = g + -55/3. Suppose -4*x = 2*n - 10 - 4, 1 = -4*x + n. Is x less than or equal to r?
False
Let x be ((-8)/(-6))/(6/27). Let o = -1.02536 + 0.02536. Which is bigger: o or x?
x
Suppose 531 = 46*l + 71. Which is bigger: 9 or l?
l
Suppose -4*w + 22 = 2. Suppose -4*q - 156 = -4*a, -63 = -0*a - 2*a + w*q. Suppose -4*o + a = -2*o. Is o < 21?
False
Let z be ((-8)/10)/(2 - 12). Let g = 1 - -4. Suppose 2 = -g*y + 3*y. Is z smaller than y?
False
Let v be (-57)/(-3) - (5 - 3). Suppose -3*k = -5*k + 4. Let u be (-492)/(-27) + k/(-9). Which is smaller: u or v?
v
Let f = 307 - 304.96. Which is bigger: -1/3 or f?
f
Suppose u + 3*q - 3 = 0, -5*u - 5 = 39*q - 44*q. Which is greater: 8/67 or u?
8/67
Let v = 169 - 140. Suppose 2*n - v = 31. Is 30 at least n?
True
Let q = 27 - 19. Suppose -u + 2 = -q. Let z = 18 + -11. Which is smaller: u or z?
z
Let i = 9.9 - 10.88. Let t = 1.5 + i. Let v = 0.5 - t. Is v not equal to 1?
True
Let i(p) = -p**2 + 17*p + 20. Let x be i(18). Let y(v) be the second derivative of v**5/20 - v**4/2 + 2*v**3/3 + 3*v**2 + 3*v. Let c be y(5). Is c > x?
False
Let r be 2440/(-45) - ((-6)/27 + 0). Which is smaller: r or -53?
r
Let w be (16 + (-7455)/45)/(2/6). Is -449 <= w?
True
Let k = -5128 - -5135. Let j = 2053 + -10226/5. Which is smaller: j or k?
k
Let f(y) = y - 3. Let d be f(6). Suppose g + 2*w = -0*w - d, 11 = -3*g - 5*w. Which is smaller: -5 or g?
g
Let h(b) = b**3 - 26*b**2 - 27*b + 1. Let d be h(27). Let x = -2566/99 - -248/9. Which is smaller: x or d?
d
Suppose 3*t - 4*t - 20 = 0. Let m be (-10)/15 - t/(-6). Does -9/2 = m?
False
Let v = 0.04 - 0.44. Let u = v + 0.31. Which is smaller: u or 2/11?
u
Suppose -2219 = 12*n - 1091. Is 0 greater than n?
True
Let p = -88 + 318. Which is smaller: p or 231?
p
Suppose -27*d + 288 = -603. Which is greater: 129/4 or d?
d
Let x = 15 + -15. Suppose -12 = -x*y - 2*y. Let w = y + -11. Which is greater: w or -3?
-3
Suppose 3*t + w = -t + 349, -3*t - 5*w + 249 = 0. Suppose 0 = c - 5*c - t. Let s = 13 + c. Is -9 at most s?
True
Suppose -2444 = 25*v - 18619. Is 647 greater than v?
False
Let u be (-1)/(-5)*-6 + (-2632)/(-3360). Suppose 1 = -2*k - k + p, -4*k - 5*p + 24 = 0. Which is greater: k or u?
k
Let g(j) = j**3 + 20*j**2 + 48*j - 6. Let z be g(-17). Is -2 at most as big as z?
True
Let r = 83 + -53. Suppose -4*x = -2*o - 8*x + r, 5*o = x + 42. Is 2/5 less than o?
True
Let k = -377 - -379. Is k > 11/15?
True
Let f = -61 + 56.3. Let c = 4.6 + f. Is 24 less than or equal to c?
False
Let o(i) = -i**2 + 8*i - 7. Let w be o(7). Suppose 5 - 1 = 2*m. Let r be 1*(m - (3 + -2)). Which is greater: r or w?
r
Let o be 7494/1068 - 7 - 0. Which is smaller: 1 or o?
o
Suppose 1 = 5*d + 2*y, d - 2*d = 5*y + 9. Let f be 6/(-54)*-1 + (-1)/9. Let p be -4 - 690/(-175) - (f + 0). Which is greater: d or p?
d
Let t be (-14)/91 - ((-366)/(-52))/3. Which is greater: -2 or t?
-2
Let d = -21 - -18. Let f(j) = -j**3 - 7*j**2 - 4*j + 8. Let q be f(-6). Let k = d - q. Which is bigger: k or -6?
k
Let b(a) = a**3 - 19*a**2 + 19*a - 19. Let g = 40 + -22. Let k be b(g). Let f be (k - 21/(-15))*-15. Which is bigger: f or -8?
f
Let o = 25 + -7. Let v = -9 + o. Let z be 2*(-1)/v*-1. Is 1 greater than or equal to z?
True
Let l(q) = q**3 + 0 + 3 + 0 - 4*q**2 + 2*q. Let t be l(3). Which is greater: 2/17 or t?
2/17
Let h = -0.138 - -0.108. Let y = 1.116 - 0.086. Let i = y + h. Which is smaller: i or -2?
-2
Suppose -2*k + 40 = 2*o - 7*o, 5*o = -3*k + 10. Let d be 2/(-5)*(-4)/(16/20). Suppose d*x + 20 = 3*p - p, 0 = p + 3*x - 6. Which is smaller: p or k?
p
Let l be (162/36)/(2/4). Let t = l + 12. Which is bigger: t or 22?
22
Let f(y) = -7*y - 4. Let d be f(-4). Let t be (-27)/(-15) + 4756/205. Are d and t unequal?
True
Let x = 68530/9 - 7634. Is x at most as big as -20?
False
Let f = -3 + 8. Suppose 3*i + 0*i = 9. Let n be i - (1 + f) - 0. Which is smaller: n or -1?
n
Let n = 66 + -16. Let z be (-32)/(-56)*n/(-8). Let u = z - -61/21. Is 1/2 > u?
True
Let a = 1342 + -22816/17. Which is smaller: 1 or a?
a
Let u = 1304 - 1288. Is -12 bigger than u?
False
Let d = 0.1063 - 0.1863. Let w = -0.3 - -0.2. Which is greater: w or d?
d
Let p be (-2)/(-1*(-1 + -1)). Let y(g) = -g**3 