 g = 1 - y. Suppose g*s = -6, n = 3*s - 2 + 11. Are -3/16 and n nonequal?
True
Suppose 4 = -9*m - 5. Which is bigger: m or -18/43?
-18/43
Suppose -9*d + 3 = -8*d. Suppose 0 = 4*b - 2*z + 42, -d*b = -b + z + 15. Let u = 12 + -21. Is u equal to b?
True
Let o be 844/(-260) + (-4)/26. Let r = 3 + o. Is r less than or equal to -6?
False
Let i = 8 + -5. Suppose i*j + 3*l - l = -23, 4*j + 40 = -5*l. Let o = 279 - 835/3. Which is smaller: j or o?
j
Suppose p = 4*p + 24. Let z(q) = q**2 + 6*q - 10. Let c be z(p). Let i be (-52)/(-18) - (c - 2). Is -1 greater than i?
True
Let v = -912 - -917. Is v less than or equal to 33?
True
Let d be -4*6/(-18)*-6. Let v(x) = -x**3 + 2*x - 2. Let c be v(2). Which is smaller: c or d?
d
Let y(f) = -f**2 - f. Suppose 3*j + 0*j = 0. Let g be y(j). Let t be -2 - (-52)/24 - g. Which is bigger: t or 1?
1
Suppose -1419*v = -1434*v. Which is smaller: v or -14/397?
-14/397
Suppose -4 = -57*y + 56*y. Suppose -27 = -6*l + 9*l + 5*i, -y*l - 4*i - 36 = 0. Are -11 and l non-equal?
True
Let r be (2 - 4)*(2 - 5). Suppose 3*t + 0*t - 3*g = -r, -1 = -g. Which is smaller: -2/45 or t?
t
Let n be ((-63)/30)/((-3)/(855/(-6))). Let y = 100 + n. Are y and 5 nonequal?
True
Let g(q) = -q + 12. Let n be g(12). Is 1/447 > n?
True
Suppose 0 = -5*s - 4*f - 0*f - 25, -3*s = 3*f + 12. Let t = s - -2. Which is bigger: -54/7 or t?
t
Let y(g) be the first derivative of g**3/3 + 2*g**2 + 10*g - 2. Let s be y(-5). Which is smaller: s or 17?
s
Let j = 1223/972 + -2/243. Is j less than or equal to -11/3?
False
Let g = 19 + -8. Let x = g - 11.1. Does -14 = x?
False
Let x = -1783 - -153335/86. Which is smaller: x or 0.1?
x
Suppose -b = -2*b - 3*b. Which is smaller: b or -4/205?
-4/205
Let q be (-1)/(8/24*2/108). Is -163 at most as big as q?
True
Let r be (-2671)/(-21) - (-24)/(-28). Which is smaller: 127 or r?
r
Suppose 158 = 2*s - 4*u, -5*s + 3*u + 301 = -s. Which is bigger: 71 or s?
s
Let b = -0.008 + 26.008. Let s = b - 14. Let j = s - 10. Is j greater than -0.1?
True
Let j(x) = 4*x - 28. Let p be j(0). Are p and -28 unequal?
False
Suppose -336 = -r + 9*y - 11*y, -5*y + 348 = r. Which is greater: r or 325?
r
Let t(x) = -2*x**3 - 48*x**2 + 48*x - 56. Let u be t(-25). Is -98 != u?
True
Let o(h) = h + 11. Let y be o(-6). Suppose -3*g = 2*t - y*t + 33, 3*t - 35 = g. Is t greater than 13?
False
Suppose 0*r = 5*r - 15. Suppose -3*j + 4 = 2*x - 1, 2*j = -x + r. Let q(p) = -p - 6. Let n be q(-9). Which is smaller: n or j?
j
Let u be 5/25 + 63/(-15). Let a = u + 5. Suppose 0*b - 1 = b. Is b smaller than a?
True
Let s = -0.1061 - -0.0902. Is s less than or equal to -1?
False
Let g(p) = -3*p**3 - p**2 - 2*p - 1. Let s be g(-1). Let o be s/(-1*(-3)/(-9)). Let l be (4/6)/((-4)/o). Is 1 smaller than l?
True
Suppose 14 = -2*a - 2*z, 3*z - 8 + 25 = -a. Let m = a + 0. Let y be 4 + -3 + 0 + m. Which is smaller: y or 1?
y
Let s(r) = -r**3 + 3*r + 3. Let f be s(-2). Let q be (f - 3)*(1 - 3)/(-52). Which is smaller: 0 or q?
0
Let l = -601 - -593. Let s(t) = -2 + t - 2 - 4. Let n be s(l). Which is greater: -14 or n?
-14
Let a(q) = 22*q + 49. Let i be a(-2). Which is smaller: 9/2 or i?
9/2
Let h = -110 + 130. Suppose -h = 6*i + 4. Which is bigger: -3 or i?
-3
Suppose 3 = 2*v + 17. Let y(z) = z**3 + 5*z**2 - 11*z - 15. Let b be y(v). Which is smaller: -35 or b?
b
Let j be (0 + 0)/(10/(-5)). Let t(w) = 2*w - 11 + 8 - 3*w + 0*w. Let c be t(-3). Are j and c equal?
True
Let u = 0.19 - -3.81. Let n = u + 6. Is 0.1 > n?
False
Suppose 0 = -n + 6*y - y + 10, 2*n + 2 = -y. Let m = 21.04 + -21. Let b = m - 6.04. Which is smaller: b or n?
b
Let f(o) = -24*o - 186. Let r be f(-8). Which is smaller: 32 or r?
r
Let c = -40.3 + 40. Let d = c - 1.5. Let f = 1.8 + d. Which is smaller: 20 or f?
f
Suppose 0 = 3*q + 2*q + g + 8, q + 7 = -2*g. Let n be ((-2)/44)/((-9)/12). Which is bigger: q or n?
n
Suppose 256 = -2*k - 5*z, -k + 0*z = -z + 135. Which is smaller: -132 or k?
k
Let l be 30*3/54*9. Is 15 less than or equal to l?
True
Let j = -0.07 + 0.81. Let w = -0.26 - j. Is w > 10?
False
Let x = -88/9 + 98/9. Is 2 equal to x?
False
Let x = -10106 - -4598228/455. Is -1 >= x?
False
Let w = 9 - 9. Let z = 86.8 - 97. Let y = -10 - z. Is y greater than w?
True
Let z = -2 + 3. Let a = 310033323/368 + -842483. Let k = -19/16 - a. Do k and z have the same value?
False
Let o = 241 - 355. Let g = o - -105. Does g = -7?
False
Let z = 0.0214 - -4.0786. Is z bigger than -15?
True
Let a(u) be the first derivative of u**4/4 + 11*u**3/3 + 13*u**2/2 - 11*u + 24. Let j be a(-10). Is -41 greater than or equal to j?
True
Let w = 4.3 - 2.4. Let s = -114 + 114. Which is smaller: w or s?
s
Let d(q) = q**2 + 17*q + 42. Let l be d(-13). Which is bigger: -113/11 or l?
l
Let y be ((-3)/(-9) + -1)*1. Let d(w) = -w**2 + 7*w - 6. Let c be d(6). Suppose -n - 2*n - 18 = c. Is y < n?
False
Let w be (-31976)/(-224)*8/(-6). Which is smaller: -191 or w?
-191
Suppose -21 = 2*i - 23. Suppose c - 6*c = -60. Which is greater: i or c?
c
Suppose -2*h - 3*j + 2 + 5 = 0, 3*j = 5*h + 35. Let x be (-8)/45 - h/10. Let p = 7/22 - 79/110. Is p at least as big as x?
False
Suppose -3*m - 2*h - 5 = 0, 3*m + 13 = -2*h - 2*h. Let v = m + 15. Let w be 126/8 + 8/32. Is v <= w?
True
Let q = -8.1 + 1.1. Let z = q - -7.08. Let l = 0.74 + -0.64. Which is bigger: l or z?
l
Suppose 0*u - 16 = -4*u. Suppose 11 = u*d + 3. Which is bigger: d or 12/7?
d
Let s = 6667 + -353340/53. Which is bigger: s or 1?
1
Let f be (253/63 + -4)/((-12)/(-14)). Let w = -151 - -151. Which is bigger: f or w?
f
Let w = 2837 + -2868. Is w less than -9?
True
Let b = -2/307 - 596/2763. Let q = 101.62 + -100. Let m = 1.56 - q. Do m and b have the same value?
False
Let c = 0.05 - 0.08. Let f = -13 - -14.3. Let d = f + -3.3. Which is bigger: c or d?
c
Let q(r) = -r**3 + 5*r**2 + 10*r - 2. Let w be q(7). Let f = -74 + 44. Do w and f have the same value?
True
Suppose 5*w - 11 = 4*i, -2*i - 4*w = -3*w - 5. Which is greater: 68 or i?
68
Let r = -604 + 578. Is -28 at most as big as r?
True
Suppose 38*o = 37*o + 11. Suppose o = -4*y + 3. Is y bigger than -3?
True
Let z(v) = 2*v + 39. Let u be z(-5). Is 29 at most as big as u?
True
Suppose -2*v - 1 = 3. Let j be (11 + v)/(-3)*(-2)/16. Do j and 1 have the same value?
False
Suppose 4*k + 0*t - 3*t - 12 = 0, t + 15 = 5*k. Suppose -k*l = -6*l + 63. Let q = l + -20. Which is bigger: -0.1 or q?
q
Let b = -0.203 - 117.797. Let o = b - -117.9. Which is smaller: 0.3 or o?
o
Let x = -2/9 + 50/63. Which is bigger: x or 0?
x
Let c(d) = 10*d - 11. Let y be (-1 - 7)*(-3)/4. Let o be c(y). Are 1 and o unequal?
True
Let k = 6.07 + -6. Let x = 66 + 12. Let v be 1 - (x/45 - (-2)/(-5)). Are v and k non-equal?
True
Let a be (-189)/(-175) - -3*2/(-6). Suppose 14 = 2*h + 4*q, q - 5*q = -12. Suppose 0 = -b + c, 6 = -5*c + h. Is b not equal to a?
True
Let s = 8 - 6. Let d be (-6)/3 + s + -1. Let p = 26 + -105/4. Is d equal to p?
False
Suppose 5*l - 7 = 3*y, 8 = 5*y + 5*l + 33. Let q be (y/48)/(4/(-12)). Which is smaller: q or 4?
q
Let p(t) = 2*t + 33. Suppose -13*g - 154 - 145 = 0. Let z be p(g). Let a = -40 - -27. Is a >= z?
True
Let t = 0.5151 + 0.4849. Let h = -2 - -2.014. Which is bigger: h or t?
t
Let y = -455.92 + 456. Is y at most 0?
False
Suppose -3*o + 4*n = 174, o + 13*n = 11*n - 48. Which is smaller: o or -62?
-62
Let i be 24/40 - (1 + (-472)/5). Let w = i - 48. Is w >= 48?
False
Suppose v + 2*v + 414 = 3*l, -3*l - 4*v + 379 = 0. Let q be l/(-2) - (-21)/14. Is q greater than -64?
False
Let h = 1 + 10. Let n = 3 - 8. Let d = n + h. Which is smaller: d or 2?
2
Suppose -6*z = -132 - 54. Let b = z - 18. Let d be (7 - (2 - 1))*2. Which is smaller: b or d?
d
Suppose -5 = k - 6*k. Let n = -84416/83 - -1017. Let m = 727/332 - n. Which is bigger: m or k?
m
Let a = -28408 - -52924102/1863. Let h = a + -3596/121095. Are 0 and h non-equal?
True
Let h = 123 + -128. Let m be (h/(-4))/((-60)/(-30)). Which is smaller: -1 or m?
-1
Suppose -306*q = -315*q + 144. Let p(o) = 4*o**2 - 2*o + 2. Let v be p(2). Which is bigger: v or q?
q
Suppose 50 = -5*d + 45. Which is greater: -2/35 or d?
-2/35
Let f = 155 + -115. Let r = -8.1 - -8. Is f <= r?
False
Let m be 39/13*(-6 - (1 + -1)). Suppose 3*t = -18*t - 336. Which is bigger: t or m?
t
Suppose -5*x = -k - 25, -5*k + 2*k - 5*x + 