uppose 0 = -z*x - 9 + 5. Which is bigger: -5 or x?
x
Let i = -703 - -704. Which is bigger: 23/12 or i?
23/12
Let q(j) = 5*j**2 - 4*j**3 + 4*j**3 + j**3 - 1. Let t be q(-5). Suppose 4*p - 4*k = 12, -2*p + 4*k = -k - 21. Is p < t?
True
Suppose 0 = -6*o - 151 + 163. Is o equal to 3?
False
Let b = 247 + -14. Is b at least 233?
True
Let l = 26 + -28. Let v(q) = -4*q + 14. Let b be v(l). Which is greater: b or 23?
23
Let u(v) = 134*v. Let w be u(-2). Is w greater than or equal to -268?
True
Let u be (23/(-46))/(2/24). Let n(s) = -s**2 + 4*s - 1. Let f be n(5). Let h be (u/(-9))/((-82)/f). Is h equal to -1?
False
Let n = -0.476 - -0.276. Is 255 greater than or equal to n?
True
Let z = 17 + -13. Let o be -6*(2 + (-10)/z). Is o equal to 14/5?
False
Suppose 10*z = 9*z - 23. Let m = 34 + z. Is 5 at most as big as m?
True
Suppose -v = -7*v - 18. Let k be (0/(0 - v) - -2) + -2. Is 2/21 bigger than k?
True
Let a(l) = -4*l + 6. Let u be a(1). Suppose 3*x = 6*x - u*t, -x = 5*t. Is x at most -4/41?
False
Suppose -5*p + 3*p = -5*p. Let f be 22/30 - 1 - 0. Is p at least f?
True
Let a be -3*(1 + (-8)/3). Suppose -a*f - 6 = 4. Let o be 6/f*6/(-45). Which is greater: 0 or o?
o
Suppose 42*s + 172 - 46 = 0. Which is bigger: s or -8?
s
Let z = -0.1 - -0.3. Let x = 271.75 + -271.8. Is x >= z?
False
Let r = 17 - -3. Let a be 0*(-5 - (-4 + 0)). Let x be 21 + (-2 - a/(-1)). Is x greater than or equal to r?
False
Let y be (4/(-6))/(-2) + 294/(-378). Let n = -7 + 7. Is y != n?
True
Let n(i) = -2*i**3 + i**2 + 13*i + 11. Let x be n(-1). Let c = 27514 - 1705779/62. Let z = 3/2 - c. Is z at least x?
False
Let d(n) = n**2 - 11*n. Let a be d(11). Let r be 1*(0 + 0 + a). Is r at least -1/81?
True
Let g = 0.5 - 0.8. Let c = 110.026 - 0.026. Let f = c + -109.7. Is g > f?
False
Let h(u) = 340*u - 387. Let g be h(5). Which is smaller: g or 1312?
1312
Let j = -204/13 - -8911/572. Are j and -1 unequal?
True
Suppose -4*a - 30 = a. Let y = -1 - a. Suppose -l + 6*w - w + 7 = 0, 2*l - 9 = y*w. Is l at most as big as 2?
True
Let d = 2 + -13. Let y be -5*4*(-2)/(-20). Let l = -3 - y. Are d and l unequal?
True
Suppose 3*c = 3*i + 81, 0*c = -5*c - 2*i + 135. Suppose -16*m - 72 + 520 = 0. Which is smaller: c or m?
c
Let j be (-3 - -2)*-117 + (-1 - -1). Let t be ((-216)/j - 4/26) + 20. Is t >= 18?
True
Let v = 407 - 260. Let t be (129/21)/((-2)/(-48)). Let n = t - v. Is n bigger than 0?
True
Let z = 18 + -15. Let y(w) = w**2 - 4*w - 2. Let r be y(z). Let m be (3/10)/(r + 2). Are m and -1 nonequal?
True
Suppose -4*t = -l + 2*l - 22, 3*t + 5*l = 8. Let z be (t/(-4) + -2)*-4. Let k = -7 + z. Is k greater than 1?
True
Let p(m) = 2*m**2 + 10*m + 12. Let l be p(-2). Which is smaller: -1/9 or l?
-1/9
Let k(x) = -x**3 - 19*x**2 - 23*x - 85. Let z be k(-18). Let l be (4 - 3) + 1 + -1. Is l greater than z?
False
Let i = -1.82 - -1.62. Let m = 1.2 + -0.5. Are m and i non-equal?
True
Let x = 16.16 - 0.16. Let w = 13 - x. Let v = 6 + -6.1. Which is greater: v or w?
v
Let s = 1 + -0.9. Let d = 3.051 + 0.049. Let h = -3.2 + d. Are h and s unequal?
True
Suppose g + c = 29, -3*g - 5*c + 34 = -53. Let x be g/(-9) + (-2)/(-9). Let h(p) = -p**2 - p + 1. Let k be h(2). Which is smaller: x or k?
k
Let t be 1054/14 + 6/2. Let h = t - 78. Is 27 not equal to h?
True
Let j be (1*2)/(6/12). Let b = -28 - -18. Let a be ((-12)/b)/((-16)/(-40)). Which is bigger: a or j?
j
Let z = -51 + 55.8. Let c = z - 5. Suppose 0 = 4*x + 2*d + 16, -2*x + 14 = -3*x - 3*d. Is c greater than x?
True
Let h(z) = z**2 + 6*z - 7. Let j be h(-6). Let p be -1 - (j/3 - -1). Let g = -3.095 - -0.095. Which is smaller: g or p?
g
Let i = 0.12 - 31.12. Let a = 0.75 - 31.65. Let k = a - i. Are k and -29 equal?
False
Let n = 1 - 3. Let k be -1 + 1 - -1 - n/3. Which is smaller: k or 0.2?
0.2
Let y(b) = b**3 + 7*b**2 + 3. Let z be (6/18)/(1/9). Suppose -7 = -3*o - 1, v + 1 = -z*o. Let j be y(v). Is 1 <= j?
True
Let c = -2179 + 10929/5. Which is bigger: 7 or c?
7
Let o = 7 + 0. Let m(q) be the first derivative of -q**3/3 + 3*q**2 - 10*q + 3. Let t be m(o). Is t less than -17?
False
Suppose -7 = -2*r - j, 5*r - 37 = 4*j - 0. Let i be 1/r*385/33. Which is smaller: i or 1?
1
Let m(k) = -k**2 + 61*k + 1313. Let j be m(-17). Let i = 14 - 28. Is i less than j?
True
Let z be -14 - (0/(-3) + -2). Let g be (-7)/((-28)/z) - 3. Are g and -9 nonequal?
True
Let r = 0.3 - 1.3. Let k be 4 + (-48)/120*5*4. Is r at most as big as k?
False
Let h = -5549/4 + 1387. Let x = -0.01 + 0.31. Are x and h equal?
False
Let t = 96 + -97. Let x be (-846)/(-24)*(-8)/286. Let k = x - -14/13. Is t greater than k?
False
Suppose 3 = -t + 10*p - 13*p, -4*t + 3*p + 18 = 0. Let m(q) = q**3 - 7*q**2 + 6*q + 3. Let i be m(6). Is t < i?
False
Let u = 161 + -161. Is 0.145 bigger than u?
True
Let b = -38941/15 - -2595. Which is bigger: 0 or b?
0
Suppose 0*x + 3*x = -24. Let q = x - -16. Suppose 65 = -q*y + 3*y. Is y > -14?
True
Let t = -6 + 5.8. Let j = 0.43 + -0.4. Let x = -2.97 - j. Is x smaller than t?
True
Suppose 0 = -x - 2*o - 5 + 4, -4*o = -4*x + 20. Suppose -4*y + y = -x*n + 48, -5*n + 86 = y. Is 18 at most n?
False
Let f = 106 - 106.7. Which is smaller: f or 9/5?
f
Let x be 38/(-2128)*6/9. Let w(j) = j**3 - 2*j**2 + 2*j - 1. Let g be w(1). Are g and x equal?
False
Suppose -4*y + 4 = -2*a, 2*y = 7*y. Suppose -4*p + 9 = 5*g, -162*p = -4*g - 165*p + 7. Is g smaller than a?
False
Suppose -4*t - 8*i + 1835 = -3*i, -2350 = -5*t + 5*i. Is t at most as big as 464?
False
Let v = 204/5 + -6782/165. Which is bigger: v or 1?
1
Let z = -31 - -37. Let r = -5 + z. Which is bigger: -6/17 or r?
r
Let o = -16.6 - -17. Let i = -3.5 - o. Let h = i + 4. Which is smaller: 0.01 or h?
0.01
Suppose -7*l = -3*l + 36. Let m = 5 - 11. Let p = -13 - m. Which is smaller: l or p?
l
Let j be (-1 - (-65)/3) + -25 + 26. Which is greater: 22 or j?
22
Let a be 14/(-70) - (-301)/(-35). Is a < -6?
True
Suppose -3*i - 4*n = 2*i + 13, 0 = -5*n + 15. Suppose -5*s = 3*c + 1 - 10, 4*s = -5*c + 2. Let u be c + 4/(-8) - 1. Which is smaller: u or i?
i
Let m(v) = v**3 + 11*v**2 - 4*v - 8. Let c be m(-11). Let s be c/(-48) + (-23)/(-4). Suppose s = -2*y - 3*y. Are 1/5 and y non-equal?
True
Suppose 0*d = -d - b + 3, -3*d + 5*b = -25. Suppose 24 = -x + d*x. Suppose 3*i - x*i = 0. Is 0 smaller than i?
False
Let u = 459.18 + -459. Let x = 3.4 + -2.88. Let p = u + x. Is -1 <= p?
True
Let c(q) = -7 + 7*q**2 + 0*q**3 - 11*q**2 - q**3 - 3*q. Let z be c(-4). Suppose -2*m - 28 = z*m. Are -5 and m unequal?
True
Let y = -19/2 - -10. Suppose 6*k - 16 = 3*k + f, -5*f = 4*k - 15. Let o = -5 + k. Which is smaller: y or o?
o
Let p = 937 + -962. Let k(l) = 4*l - 6. Let c be k(-5). Which is smaller: c or p?
c
Let y(x) = -2*x**2 - 28*x + 415. Let q be y(9). Which is smaller: q or 2/1101?
2/1101
Let d = -1144 + 515. Is -629 at most as big as d?
True
Let i = 301 - -5. Let p = i + -144. Suppose p = -7*r + 8. Which is bigger: -23 or r?
r
Let x = -1514 - -1514. Which is bigger: 1/41 or x?
1/41
Let o be ((-2)/(-30)*6)/((-3)/90). Suppose 0*z - 2*z + 6 = 0. Suppose 0 = -4*g + 2*v - 42, z*g + 2*v = -v - 36. Which is greater: o or g?
g
Let a be ((-6)/9)/(6/(-9)*-1). Suppose 0 = 5*g + q - 5*q - 32, 2*q = -4*g + 10. Let u be ((-2)/(-4))/((-2)/g). Is u greater than or equal to a?
True
Let d = 40 - 38. Let y = -2.3 + d. Which is greater: y or -0.07?
-0.07
Let z = 48 - 51. Suppose -4*m + 5*j - 11 = 0, 0 = m - 3*j + 2*j + 2. Suppose -5*c + m = -3*x - 10, 4*c - x - 6 = 0. Are c and z unequal?
True
Let z be 5 - 6 - 296*1. Let s be 2/(-6) - 45/z. Let v = 0 + 0.1. Are s and v non-equal?
True
Let r = -2.97 - -3.07. Do r and 117 have different values?
True
Let h be 1/((-1)/(-3)) - 0. Suppose -3 = 3*f + 4*q - 6, h*q + 5 = 5*f. Let r be (f + (-2)/3)*15. Which is bigger: 6 or r?
6
Let q(u) = -2*u**3 + u**2 + 2*u + 3. Let p be q(-2). Suppose 2*d + 3*l = p, 4*d - 17 = -l + 26. Suppose 14 = -x + d. Is -7 greater than x?
False
Suppose -585*i + 581*i + 127 = 51. Let r be 20 - (0/1 + -1). Which is smaller: r or i?
i
Let k = 154 + -154. Let r(v) = 5*v + 6. Let l be r(-9). Let y = 196/5 + l. Do y and k have the same value?
False
Let j(f) = f**3 - 7*f**2 + 2. Let h be j(7). Suppose -i = 4*c + 4*i + 2, h*i = -5*c - 11. Let d be ((-10)/c)/(2/3). Is d < 2?
False
Suppose -c - 1 = 3. Let s b