Suppose -7*y - 52 = -4*t - 4*y, 0 = -2*t + 4*y + 36. Which is greater: t or -10/17?
t
Suppose -3*x + 20 = 23. Let z be -2 + (5 - x) + -4. Do -5/9 and z have the same value?
False
Let c = 292 + -292.11. Which is smaller: 2 or c?
c
Let f be 1*-16 - (1350/15)/(-18). Suppose 5*l - 3*q = 8 - 55, -2 = 2*q. Which is smaller: l or f?
f
Let h(i) = i**3 - 12*i**2 + 2*i - 9. Let y be h(12). Suppose -y = 5*r, -18 = -5*d + 4*r - 6. Is d equal to -3?
False
Suppose 2*u = -4*c + 28, 4 = -c + 276*u - 271*u. Which is smaller: c or -2/27?
-2/27
Let s = -1589 + 1602.94. Let v = s - 14. Let f = 1.24 - v. Is -1 bigger than f?
False
Let p = 43.4 - 43.3. Is p smaller than -1.1?
False
Let b = 47 + 84. Suppose 9*n + b = 590. Which is smaller: 52 or n?
n
Let z be (5/(105/14))/(8 - -28). Suppose 9 = -4*h - 5*g, 5*g + 7 = 2. Which is bigger: z or h?
z
Let n be 3/54*-2*(-5)/5. Is n at least as big as 1?
False
Let r be ((-1080)/1170)/(-2 - -4). Which is bigger: r or -1?
r
Let w(g) = -g**3 + 9*g**2 - 7*g - 7. Let c be w(8). Let y be -5 + 3 + c/(-1). Suppose 0 = 4*h + 3*h + 7. Which is bigger: y or h?
h
Suppose -s + 16*s - 345 = 0. Let o(l) = 2*l**2 - 7*l - 7. Let j be o(6). Is j smaller than s?
False
Suppose 25 = -42*x + 47*x. Which is smaller: -24 or x?
-24
Suppose 0 = 11*t - 12*t + 1. Let q be ((-12)/14)/(4/t). Which is bigger: q or 0?
0
Let y(j) = -5*j**3 - 14*j**2 + 7*j**3 + 3*j - 3*j**3. Let w be y(-14). Which is smaller: 0 or w?
w
Let o = 47 + -27. Let p = 26 - o. Let l = p + -5. Which is bigger: l or 15/2?
15/2
Let l = -27 - 51. Let p be (-1 - 2) + -3 + (-471)/l. Which is greater: p or -1?
p
Suppose 0 = -4*z + 2*z + u - 25, -2*u - 20 = z. Let y be z/6 - 2/(-6). Let q be (2 - 3*(-4)/12) + -5. Are q and y equal?
True
Let o(d) = d**3 + 5*d**2 - d. Let v be o(-5). Let k = -76 - -84. Suppose 3 = -v*z + k. Which is greater: 2 or z?
2
Let r = 411.3 + -421. Is r greater than -0.2?
False
Let q be ((-134)/(-6))/(6/9 - 1). Let y = q - -67. Which is smaller: -3 or y?
-3
Let t = -5 - -1. Let k be (2/(-3))/(t/(-18)). Let p be k/1 + 11/11. Is p >= -2?
True
Let r = -2092/5 + 420. Let t(s) = -s**2 + 6*s + 75. Let j be t(12). Which is greater: r or j?
j
Suppose 0*y + 3*t - 17 = -2*y, -3*y - 12 = -3*t. Which is greater: 181 or y?
181
Let z be 4 + 2*-3 - -1949. Let x be (22/z)/(2/(-6)). Is x equal to 0?
False
Let q be -3 - (-3 + -1) - 68721/57. Let d = 1204 + q. Which is bigger: 0.1 or d?
0.1
Suppose r = -2*r. Let v be (3 - 7) + 14/26 - -3. Which is bigger: v or r?
r
Let j = 664 - 663.97. Let q = 7.03 - 7. Does q = j?
True
Suppose -84*y + 44 = -83*y. Let z be 4 + (-1)/(12/y). Which is bigger: z or 7?
7
Let d = 0.32 + -0.51. Let s = -15.81 + d. Is 2 at most as big as s?
False
Let k(o) = -o + 13. Let m be k(8). Suppose 0*l + l + v + 14 = 0, 4*v - 52 = m*l. Which is bigger: l or -6?
-6
Let v(r) = -3*r - 43*r**2 + 0 + 41*r**2 + 0. Let d be v(-3). Is -8 bigger than d?
True
Let v = -111 + 110. Which is smaller: v or -277?
-277
Let a be ((-3)/(-2))/((-6)/(-76)). Suppose 4*z = -109 - a. Let k be 57/(-92) - 24/z. Is 1 smaller than k?
False
Suppose 11 + 9 = -5*f + 4*p, -5*f = -5*p + 25. Let k(v) = -v**3 - v**2 + 10*v + 12. Let y be k(-5). Let t = 249/4 - y. Which is smaller: t or f?
f
Let k(d) = -d**2 - 32*d + 69. Let v be k(-32). Is v at least 70?
False
Let q = -32 - -76. Let f be q/75 - (-2)/(-3). Let b = -302 + 303. Which is greater: b or f?
b
Let j = -0.07 - -29.67. Let a = j - 29. Which is greater: a or -6?
a
Let u = -1524 + 1523. Let t be 2/26*(-2)/10. Is u >= t?
False
Suppose 7*s = -3*m + 4*s - 42, 98 = -5*m + 2*s. Let t = m + 28. Are t and 12 unequal?
True
Let q = -2.9 - -3. Let p = -1.4 + -47.6. Let w = -49 - p. Does w = q?
False
Let p = -550.887 + 550. Let y = -0.113 + p. Is -3/11 at least y?
True
Let r = -927 - -1389. Which is smaller: 464 or r?
r
Let a be 7 - ((-36)/(-6))/2. Suppose 12 = 8*w + a. Which is smaller: w or -3/8?
-3/8
Suppose -9 + 3 = w. Let x be 50/w - 4/(-12). Let j be (x/(-8))/(-1 - 2). Which is smaller: 3 or j?
j
Let a(x) = -3*x + 78. Let h be a(10). Which is smaller: 43 or h?
43
Let v be (-3)/(-6) - (0 - (1 - 2)). Is v > -2/79?
False
Let r be 200/(-80)*(-76)/5. Which is greater: r or 260/7?
r
Suppose 2*u - 390 + 82 = 0. Let k be (-7)/(u/(-48)) + -2. Let a(l) = -54*l + 109. Let t be a(2). Is k not equal to t?
True
Let z(u) = 97*u**2 - 52*u + 7. Let h be z(-3). Is 1036 >= h?
True
Let x = 15887 + -15888. Let b = 0 + -1. Let k = b - 5. Is k less than x?
True
Let r = 0.9 - 0.6. Let c = 243 - 241. Suppose 28 = -2*q + 7*q + d, c*d = q + 1. Is q bigger than r?
True
Suppose s = -2*s + 2*c + 198, -3*c + 9 = 0. Let z be s/6 + (-2)/(-3). Let n be z - ((-1 - 0) + 0). Are 13 and n unequal?
False
Let q = -5545/177362 + -1784299939/1655319546. Let x = q + -2/1037. Which is smaller: x or -2?
-2
Let z = -80 + 305. Let x be (2 - -1)*1*10/z. Which is greater: -0.3 or x?
x
Let l(c) = -c**3 - 10*c**2 - 7*c + 8. Let b be l(-7). Suppose 0 = -n + t - 86, 3*n - 5*t + 175 = -77. Is b at most n?
True
Let d = -886 + 886. Which is smaller: d or 4/105?
d
Let h = -8 + 17. Suppose -18*g + h = -19*g. Which is smaller: g or -7?
g
Let p be -1*(0 - 0*(-3)/9). Suppose -8*d + p*d = -8. Which is smaller: 1/12 or d?
1/12
Let k = -2 - -13. Let x(j) = -j - 6*j - 4*j - 12 + 3*j. Let o be x(-3). Which is bigger: k or o?
o
Let r = 166 + -95. Suppose -5*w - 5*q - 215 = 0, 0*w + 5*q = -2*w - r. Which is smaller: -47 or w?
w
Let v be (-34)/(-14) + (12 - 14). Let x = v - 41/112. Suppose r = -m + 6, 4*r + r - 2*m = -5. Which is smaller: r or x?
x
Let y(t) = -t**2 + 9*t + 1 + 10*t + 2*t**2 - 9*t. Let k be y(-9). Let x(n) = -n**3 - 6*n**2 + 2*n + 2. Let i be x(-6). Is i != k?
True
Let q = -26.3 + 4.3. Let o = -21.6 - q. Is -1 != o?
True
Let t be (-3)/(-7) - (-2612)/(-5964). Is 1 <= t?
False
Suppose 0 = t + 4, w = 5*t - t + 16. Let d be 10/(-212)*9/15. Let h = d + -131/2862. Is h greater than or equal to w?
False
Suppose -5*o = 4*y - 3*o - 2, 3*y + 4*o - 4 = 0. Let r be ((-30)/4)/((-18)/2). Which is greater: y or r?
r
Let z(j) = j**2 - 5*j + 2. Let l be z(2). Let s be (-26)/68 + (-2)/l. Let p be (2/(-2) - -2)*1. Is p less than s?
False
Suppose 25*r = 12*r + 3068. Which is greater: r or 234?
r
Let v = -71974900051/247108 - -291269. Let b = v - -1614109449/1729756. Let s = b - 936. Which is bigger: -2 or s?
-2
Let l be 6/(-8) + (-22752)/(-128). Which is smaller: 179 or l?
l
Let j be (-28 - -12)*(-10)/4. Is j > 40?
False
Let y = 12.1 - 12. Let z be (-5)/25*30/9. Is y <= z?
False
Let a = -13/60 + 1/20. Let y be ((-69)/33 - -2)*(-3 - -5). Let n = y + -7/22. Which is smaller: n or a?
n
Let o(f) = 3*f + 48. Let b be o(-16). Is b > 36/23?
False
Let z(q) = q**3 + 4*q**2 - 7*q - 10. Let d be z(-5). Suppose 3*c = 3*n - 2*n + 2, -c - 3 = d. Which is greater: n or -12?
n
Suppose 3*m = 2*f - 252, 7*m + 420 = 2*m + 3*f. Is m < -83?
True
Let t be 8/6*24/16. Suppose -6*q + t*q = 12. Let g(v) = -v**3 + v**2 - 2. Let a be g(0). Is a not equal to q?
True
Let v(m) be the second derivative of m**4/12 + 4*m**3/3 + m**2/2 + 3*m. Let f be v(-7). Are f and -6 equal?
True
Let w be 8*((-15147)/36)/17. Which is bigger: w or -196?
-196
Let u be ((-9)/(-3))/(((-4)/82)/(-2)). Let z = 102 - u. Which is smaller: 3 or z?
z
Let p(z) = 135*z - 6481. Let l be p(48). Let d be 3/(-2*1*1). Which is smaller: d or l?
d
Let f = 1 + -0.9. Let a = 0.43 - 1.26. Let z = a + -0.17. Which is smaller: z or f?
z
Let k = 129 + -52. Let p = 77 - k. Which is smaller: -5 or p?
-5
Let u be 3/(-2)*(-126)/(-189). Is u less than -2/3201?
True
Let p = 1251/154 + -405/22. Is -9 greater than or equal to p?
True
Let i be ((1 - 2)*-1)/((-12)/(-24)). Suppose -11 = 3*n - 2*f + 39, n + 3*f + i = 0. Is n not equal to -1?
True
Let v = -2330583/418 + 11151/2. Are v and -1 non-equal?
True
Let g(n) = 2*n**2 + n + 2. Let i(p) = 5*p**2 + 4*p + 6. Let r(m) = 7*g(m) - 2*i(m). Let t be r(0). Which is greater: t or -4?
t
Let g be 0 + -1 - (0 - 2). Let x(p) = 0*p + 29*p**3 - p + 5 - 4 - 30*p**3. Let u be x(g). Are -4/5 and u non-equal?
True
Suppose -5*k = 5*h + 220, 2*k = 6 + 2. Are h and -612/13 nonequal?
True
Let l = 180 - -97. Is 280 at most as big as l?
False
Suppose 8 = -0*j + 2*j. Let c(b) = -11*b - b**3 + 4 + 13*b**2 - j - 4 - 7. Let n be c(12). Which is greater: n or 5/4?
5/4
Suppose 5*d