most y?
True
Suppose 38 + 36 = -j + 3*a, 139 = -2*j - 3*a. Let o = -24/89 - -25639/356. Let c = o + j. Which is smaller: c or 1?
c
Let x = -12 - -7. Let z = -4 - x. Let c = 3 + -1. Is c smaller than z?
False
Let u = 0.1 - 0.1. Let y = -81 - -51. Let a be (0 + 4)*(-5)/y. Is u less than a?
True
Let v = 3 + -5. Suppose -6*q = -4*q + 22. Let o be 1/3*(v - q). Which is greater: 4 or o?
4
Suppose 5*l = 3*p + 11 + 14, 2*p = -2*l + 10. Let k be -3*(-21)/9*l. Let m = k + -141/4. Which is smaller: m or 1?
m
Let x(q) = -2*q**2 + 2*q + 2. Let u(n) = -n**3 - 12*n**2 - n - 10. Let o be u(-12). Let v be x(o). Is -2 smaller than v?
False
Let f(y) = y + 6. Let h be f(-2). Suppose b + b + h*o + 20 = 0, -o = -3*b - 9. Which is smaller: -14/5 or b?
b
Let b = 6 - 5. Which is smaller: b or 4/13?
4/13
Let d = -0.5 - 0.5. Let t = d - 3. Let c = 0.11 - 0.21. Which is smaller: t or c?
t
Let u be (-102)/(-10) + (-7)/35. Let c be u/(-5) - (-88)/46. Which is smaller: 0 or c?
c
Let g = 4.96 - 5. Let i = g - 9.96. Which is bigger: 1/4 or i?
1/4
Let f(a) = -a**3 + 10*a**2 - 16*a - 14. Let q be f(12). Let z = q - -3467/7. Which is greater: z or 1?
z
Let c = -1 + 3. Suppose -12 = -c*p - 2*p, -5*p - 312 = -3*k. Let v = k - 547/5. Is -1/3 less than v?
False
Suppose -6 = 2*t - 3*f, 5*t + 4 = 2*f - 0*f. Suppose t = -x + 2*x - 3. Suppose 0 = -v + x*v. Does -1/2 = v?
False
Suppose -w = -2*f - 89, -5*f + 0*f + 4*w - 221 = 0. Are -45 and f non-equal?
False
Let i = 1 - 0. Which is smaller: -2/7 or i?
-2/7
Suppose -h + 10 = 4*j, -j + 6 + 6 = 5*h. Let g(u) = 1 - 4 - 4 - u**j + 8*u. Let w be g(7). Which is smaller: w or 3?
w
Let s = 4 + -3. Let t = 7 - s. Let a = t + -2. Is a < 3?
False
Suppose -4*w = 5*p - p - 16, 0 = -w - 5*p - 8. Are w and 9 unequal?
True
Suppose -3 = -q - 1. Let r be (q/3)/((-15)/9). Which is greater: -1 or r?
r
Let u = -133 + 120. Is -13 less than u?
False
Let h(d) = d**2 - 4*d - 6. Let i be h(6). Let u be i*(0 + 3/6). Which is smaller: 2 or u?
2
Suppose -3*o + 1 = -4*o. Which is smaller: -1/74 or o?
o
Let r = 9 + -9. Suppose 0 = d - r*d. Is -2/25 less than or equal to d?
True
Let r be 4 + 2*1/2. Suppose 19 = r*q - 21. Which is smaller: q or 4?
4
Let h(f) = -3*f + 4*f**2 + 1 - f**3 - 2 + 0. Let w be h(3). Let g = -23 - -21. Which is bigger: g or w?
w
Let j be (15 - -7)/(-1 + -1). Let g = j - -12. Let o = -2/55 + 169/110. Which is smaller: o or g?
g
Let t be -2*(10/4 - (-57)/(-19)). Is 2/5 > t?
False
Suppose 0 = -3*s - 0*s + 6. Suppose s*g = -2*c - 14, 6*c - 2*c + 19 = -g. Which is greater: -3 or c?
-3
Let a = 5 - 17. Is -12 bigger than a?
False
Let k be 168/(-416) + (-2)/(-13). Let b = 39/2 + -20. Is k not equal to b?
True
Let o = 14 + -7. Let r = o + -16. Is -8 equal to r?
False
Let c = -2 + 2. Suppose c = 3*o - 130 - 206. Let k = 563/5 - o. Does 2 = k?
False
Let a be 1/(21/(-69)) + 1. Is a smaller than -1?
True
Let z(x) = -x**2 - 11*x + 10. Let p be z(-10). Is p greater than 20?
False
Suppose 3*m = -3 - 3. Let x(w) = -4*w - 2. Let u be x(m). Let p = u - 5. Which is smaller: 1/8 or p?
1/8
Let o(f) = f**2 - 3*f - 2. Let q be o(-1). Suppose q*w = -w - 9. Let y be (-11)/3 + (-2)/6. Is w less than or equal to y?
False
Let o = 4 + -5. Suppose 4*i + i = -210. Let q be o - (-2)/(i/(-15)). Which is smaller: 1 or q?
q
Let p(i) = -7*i + 3*i + 3*i**2 - 2*i**2 - 6. Suppose 20 = 6*m - 2*m. Let h be p(m). Are -1/15 and h unequal?
True
Let n(k) = -k**3 - 10*k**2 + k + 8. Let c be n(-10). Let q = -217123625/798738 + 2/133123. Let y = q - -271. Is c not equal to y?
True
Let l(g) = g + 16. Let p(b) = 3. Let r(h) = -1. Let v(f) = p(f) + 6*r(f). Let n(y) = 2*l(y) + 11*v(y). Let i be n(-4). Do i and -8 have different values?
True
Let f be (2/4)/(13/(-104)). Let l(s) = -2*s**2 + 2*s + 2. Let w(a) = -a - 4. Let b be w(-6). Let v be l(b). Is f < v?
True
Let n be -1 + 4 + (-558)/14. Let v = n + 4400/119. Is 1 < v?
False
Let v be 0 + (24/28)/1 + -1. Is -1 greater than or equal to v?
False
Let u = 28182/31 - 909. Does u = 0?
False
Let f(y) = -y - 7. Let j be f(-6). Let a = -6 - -4. Which is smaller: j or a?
a
Suppose -22*q + 20*q + 6 = 0. Is q at most 3?
True
Let w(n) = n**2 - 7*n + 4. Let c be w(4). Let x = c - -8. Let f = 29/2 + -15. Is x greater than or equal to f?
True
Let l(o) = -o**2 - 12*o - 19. Let r be l(-10). Let p = -263 - -3417/13. Which is bigger: p or r?
r
Let k = -1357 + 12229/9. Is 2/3 equal to k?
False
Let r be ((-2228)/(-18))/(-1) + 0. Let j = r + 124. Suppose 3 = -5*x - 2. Which is smaller: j or x?
x
Let j = -3/106 - -28/53. Is -0.2 != j?
True
Let m = 107.3 + -100. Let c = m + -0.3. Let v = c + -7. Which is smaller: -1 or v?
-1
Let t be 572/(-116) - (-2 + -3). Which is bigger: -0.2 or t?
t
Let j = 286/105 + -11/21. Is j bigger than 1?
True
Suppose 8 - 19 = -11*a. Let k(z) = 14*z**2 + z. Let b be k(-1). Let i be (-1)/(2 + b/(-4)). Which is smaller: i or a?
i
Suppose -3*p = -0*p + 300. Let f = -502/5 - p. Is f greater than -2/9?
False
Let u = 113 - 455/4. Suppose l - 1 = -3*f + 7*f, -4*f = 3*l - 3. Suppose -o - 3 = -l. Which is bigger: o or u?
u
Let b be (-14)/(-20)*15/(-35). Which is bigger: b or 0?
0
Suppose -2*v + 6*v = -4*r, 6 = -r - 4*v. Let p = 4 - 1. Which is smaller: p or r?
r
Let n = -1.1 + 0.3. Let u = -0.2 + n. Do 2 and u have the same value?
False
Let w = 2 + -4. Let r = 1.6 + w. Let c = r - 0.6. Which is bigger: 0.2 or c?
0.2
Let d = -0.08 - 0.22. Let j = -0.2 - d. Which is smaller: 1 or j?
j
Let l = 10 - 9. Let x(o) = -3*o**2 - 1. Let m be x(l). Suppose 0 = -3*s - 6 - 3. Which is smaller: m or s?
m
Suppose 4 + 1 = 5*v. Suppose -3*k + 104 = -22. Let b = k - 125/3. Which is smaller: b or v?
b
Let x = 0 + -0.01. Let d = x + 0.11. Are d and 3 equal?
False
Let q be (-64)/(-12)*(-9)/(-6). Suppose 4*c + 28 = q. Is -5 > c?
False
Let x = 2737/19 + -144. Is 1 less than x?
False
Let u = -32779/6840 + 1/1710. Let d = -14/3 - u. Let c(z) = z**3 - 5*z**2 + 4*z - 1. Let x be c(4). Is x equal to d?
False
Suppose -5*g - 1 + 176 = 0. Suppose -5*z + x = -g, -6*z + 20 = -z + 2*x. Let h be (-2)/7 - z/(-21). Is 2/3 smaller than h?
False
Let r(i) = -9*i. Let u be r(-3). Is u less than 26?
False
Let m = -0.083 - 3.957. Let f = m - -0.04. Let y be 3/2*2/(-12). Which is smaller: f or y?
f
Let b = 78 + -76. Is 1 greater than b?
False
Suppose 3 - 19 = -4*l. Let b(n) = -n**2 + 4*n + 3. Let w be b(l). Is w greater than or equal to 3?
True
Let s = -0.13 + 0.53. Let q = 0.6 - 0. Let r = q + s. Is r bigger than -1?
True
Let g(v) = -v - 16. Let o be g(-8). Let q(u) = -u**3 - 8*u**2 + 3. Let n be q(o). Is 6 at most as big as n?
False
Suppose -5*v + 2*k = 160, 3*v - 6*v - 110 = -4*k. Let u be 2/5 - 18/v. Is u > 2/25?
True
Let y be 12/(-90) + (-2)/(-6). Let f be 3/(-2)*8/(-6). Suppose -25 = -5*c, 25 = 3*l + f*l + 5*c. Is l equal to y?
False
Let u be 1/(-21)*8/4. Let v = 0.1 + -0.2. Do v and u have different values?
True
Suppose 5*o - 5*d = -11 - 4, -4*o = -3*d + 10. Let n be (o - (-13 - -1)) + -3. Let r = -8 + n. Are 0 and r nonequal?
False
Let m be (-163)/(-2 + 1 - -4). Let i(w) = w**2 + 16*w - 16. Let f be i(-13). Let n = f - m. Is -2 <= n?
True
Suppose -5 = -2*x - 1. Let h(b) = b**3 - 2*b**2 + 2*b - 1. Let i be h(1). Which is smaller: i or x?
i
Let m be (-8)/26*1/2. Let v be (-12)/(-9) + (-1)/3. Which is greater: m or v?
v
Suppose k - 2*z = 6, 4*k = 5*k + 4*z + 6. Let t = -18 - -22. Let q be (-2 - -4)*6/t. Which is greater: k or q?
q
Let j = -7 - -8. Let l = 3 - 4. Let k = l + j. Is 0.1 smaller than k?
False
Let z be (5 - 2) + 261/(-54). Which is smaller: z or -2?
-2
Let n be (-3)/(-15) + (-917)/35. Let h = n - -28. Which is greater: 0.3 or h?
h
Let m(y) be the first derivative of -y**2/2 - 6*y + 3. Let v be m(-5). Which is greater: v or -2/19?
-2/19
Suppose 5*n = 2*n - 4*w - 46, 2*w - 10 = 0. Is -22 != n?
False
Let a be ((-1)/4)/((-1)/(-90)). Let m = -139/6 - a. Let g be (-11)/44 + (-14)/8. Which is smaller: m or g?
g
Let g = 27479/71 + -387. Is 0 greater than g?
False
Let u = -33 + 12. Is u bigger than -22?
True
Suppose 3*q = 4*q - 2. Which is bigger: q or -1?
q
Let f(o) = o + 2. Let g be f(2). Suppose -j = g*j - 15. Which is smaller: j or 4?
j
Suppose -5*h = -5*s + 35, s + 2*s - 31 = 5*h. Let m = 41/60 - 1/12. Which is bigger: s or m?
s
Let u be 168/9 - 4/6. Let n be (-2)/(-6)*u/(-21). S