 1. Let y be 2 + -2 + 2 - l. Which is smaller: 0 or y?
0
Let k be -2*(-2 + -1 + 1). Suppose k*z - 39 = 13. Suppose 10 = -3*h + 5*i - 12, -3*i = -2*h - z. Which is smaller: h or 3/5?
3/5
Let y be ((-4728)/(-178))/(-3) + -2. Let f = 110358/623 + y. Let g = f + -166. Is -0.1 > g?
False
Let q(n) = -n**2 + 6*n - 3. Let h be q(6). Let f = h - -4. Let d(m) = m**2 + 2*m - 4. Let v be d(-3). Are f and v nonequal?
True
Let q = -60 - -84. Let b be (-2)/8 - 138/q. Let r be 1*b/75*5. Which is smaller: -1 or r?
-1
Let q be ((-1)/(-2))/(3 - (-5)/(-2)). Is q less than or equal to 2/15?
False
Let p = -0.7 - -1.6. Let f = -1.6 + p. Let m = f - -0.6. Is -0.1 at least m?
True
Let k = -7 + 4. Let v be (38/3)/((-40)/(-60)). Let z = 19 - v. Is k less than or equal to z?
True
Suppose -5 = -r - 3. Suppose -r*i + i = 2. Let w be i/(4/(-6)) + -2. Are 2/5 and w equal?
False
Let y = -3.5 - -1.7. Let k = y - -2. Let r = -0.1 - 0. Is k equal to r?
False
Let i = -1.93 + 0.13. Which is greater: i or -1?
-1
Suppose -13 = 5*f - 3. Let d(l) = l**2 + 2*l + 3. Let s be d(-2). Suppose 2*r = 5*r + s. Which is smaller: r or f?
f
Let f be (6/8)/((-30)/32). Is -2 != f?
True
Suppose 0*y - 4*y + c = -22, 5*y = -2*c + 21. Let m(o) = o + 2. Let g be m(0). Suppose -g - 3 = -y*n. Are -1/6 and n equal?
False
Let o = 16 + 0. Let i be 9/12*o/18. Which is bigger: 2 or i?
2
Let d = 28.14 - 28. Which is greater: d or 2?
2
Let b be (1 - 0)/(1 + 8/(-6)). Is b < 2?
True
Let x be 24/(-47) - ((-2)/(-4))/(-1). Which is smaller: -1 or x?
-1
Let u = -66.1 - -67. Which is smaller: u or 2/19?
2/19
Let m = 49/4 + -433/36. Are m and 0.3 unequal?
True
Let t = -630 - -23312/37. Suppose d = 2*d. Is t greater than d?
True
Let v = -1/109 + 441/545. Which is smaller: 2 or v?
v
Suppose -3*o = -7*o. Suppose o = 3*k - b - 13, 4*k - 2*b - 8 = k. Let t = -8 + k. Is -0.1 smaller than t?
False
Let n = -41/2 + 19. Let r = 6 - 10. Let i = r - -4.1. Which is greater: i or n?
i
Let w = -0.71 + 0.91. Is 3.5 greater than or equal to w?
True
Suppose -3*j + 4*k = -8, 2*j + 2*k = -0*k - 4. Let q = 2 - 3. Let x = j + q. Which is smaller: x or 0.3?
x
Let a = 13/288 + -5/36. Let k = a - -73/96. Let n be (-1)/(-2) + (-3)/(-2). Which is smaller: n or k?
k
Let k = 5 + -7. Let u = k - 1. Which is smaller: u or 0.1?
u
Let x(j) = j**3 + 2*j**2 + j + 4. Let l be x(-2). Do 3 and l have the same value?
False
Let a = -0.737 + -8.843. Let w = -10 - a. Let p = 0.02 + w. Do -1 and p have the same value?
False
Let s = 33 + -48. Which is bigger: s or -16?
s
Let h = -0.01 + 1.01. Is h smaller than 3?
True
Suppose -4*r + 485 = r. Suppose l + 12 = m - 7, 0 = 3*l + 5*m + r. Let s be (-3)/4*l/63. Is s smaller than 1?
True
Let j = 90 - 42. Does j = 49?
False
Let k = 2/21 + -29/84. Let g be 0*(-1)/(-3)*-1. Suppose -4*y + y = g. Which is smaller: y or k?
k
Suppose -2*b - 4*c = 42, 5*c - 45 = 4*b - 0*c. Let n be b/20 - 2/8. Which is bigger: -2/37 or n?
-2/37
Suppose 9 = 3*o - 0. Suppose -75 = -4*d + o*z + 2*z, 5*d - 5*z = 95. Suppose -3*p = h - 5*h + 16, 3*p = 5*h - d. Which is smaller: p or -1?
-1
Let u = 0.996 - -0.004. Which is greater: 1/4 or u?
u
Let s be 11*(1 - 6/3). Let l be 4/(-22) + (-2)/s. Suppose -4*z - 9 = c, -5*z - 27 = -4*c - 0. Is l less than c?
True
Suppose 0*w - w + 3*d + 9 = 0, 3*d = 4*w + 9. Let v = -5 - w. Is 4 less than or equal to v?
False
Let d be 2 + ((-145)/14)/5. Let c = -4/7 - d. Which is smaller: -1 or c?
-1
Let l = 0.8 + 0.2. Let z be 3/6 + (1/10 - 1). Is l <= z?
False
Let i(h) = 5*h**2. Let u be i(-1). Suppose 3*x + 4*l - 19 = 0, -3*l - 2*l + u = 0. Let t be ((-2)/15)/(4/x). Is t less than or equal to 0?
True
Suppose -5*x - 9 = -2*k + 7, -4*x = 16. Suppose 5*m = 4*m + 3. Let q = 1 - m. Is q <= k?
True
Let l(c) = -c**3 + 12*c**2 - 11*c + 9. Let q be l(11). Let p be -6 + 5 + q/12. Suppose -5*z = 20, 4*b - 3*z - 18 + 6 = 0. Are b and p nonequal?
True
Let r(m) = 13*m**3 - 25*m**2 + 8*m - 1. Let y(n) = -3*n**3 + 6*n**2 - 2*n. Let l(p) = 2*r(p) + 9*y(p). Let t be l(3). Is t at least 1?
True
Suppose 0 + 10 = 2*j. Suppose -2*l - 5*l + 35 = 0. Is l greater than or equal to j?
True
Let z = 6 + -4. Let l(m) = 29*m + 1. Let s be l(-1). Let i = -82/3 - s. Which is greater: z or i?
z
Suppose 0*f = -2*f + 6. Suppose 0 = 2*k - 1 - 3. Suppose f*a = k*a - 3. Is a <= -3?
True
Let h(m) = -4*m**2 - 3*m. Let i(b) = b - 10. Let z be i(8). Let n be h(z). Which is bigger: -9 or n?
-9
Let f(x) = x**2 + 4*x + 3. Let z be f(-4). Suppose 4*q + 1 = z*q. Let v = 4162/13 - 320. Which is smaller: v or q?
q
Let t = 9 + -25. Which is smaller: -17 or t?
-17
Let m = -126 - -1136/9. Suppose -a + 1 = -0. Is m >= a?
False
Suppose 0 = -0*d + 18*d - 432. Which is smaller: d or 23?
23
Let b be (4 - 2)/(2/(-4)). Suppose 17 = a + w, -3*a + 73 = a + 5*w. Suppose -4*h = -z + a, 3*z + 3*h + 16 = -8. Is z <= b?
True
Let r = -0.1 + 0.2. Let o = 4.28 + -1.31. Let j = 0.03 + o. Which is smaller: j or r?
r
Suppose -r = 2*r. Suppose l = 4*l - 6. Suppose 3 = l*q + 5. Which is smaller: q or r?
q
Let l = -0.1 + 0. Is l greater than or equal to -0.09?
False
Let a(f) = -2*f**2 - 7*f + 5. Let h be a(-4). Let s(d) = -d + 6. Let j be s(5). Is h less than or equal to j?
True
Suppose 3*a = 7*a. Let n be (-1)/(-4) + 2/(-8). Is a >= n?
True
Let h = -2.06 + 0.06. Let u be (4/36)/((-2)/(-12)). Which is smaller: u or h?
h
Suppose 5*r = 3*x + 2, 4*x = -5*r - 1 + 10. Let i be ((-1)/(-4))/((-9)/2). Which is smaller: i or r?
i
Suppose 7*o - 96 = 4*o. Suppose t + 24 = -o. Let p = 223/4 + t. Which is bigger: 1 or p?
1
Let l be 2/(-8)*10 + 2. Which is smaller: 2/87 or l?
l
Let y = 3 + -5. Let x = y + 2. Which is bigger: -0.2 or x?
x
Let l be (-1)/(-17)*22/11. Which is bigger: 1 or l?
1
Let w be -5 - (2 - (1 - -2)). Let k be 3/12 + 13/w. Is k > -3?
False
Let s = -8 - -10. Suppose 3*w + s*w = 0. Suppose w = -4*n - 4 - 0. Which is smaller: n or 0?
n
Let b = -450/169 + -2/507. Which is smaller: -2 or b?
b
Let r(f) = f**2 - 3*f. Let g be r(3). Do -1/23 and g have different values?
True
Let h = -11 - -3. Let r = -4 - h. Let g be 24/10 - r/10. Which is bigger: 1 or g?
g
Let t(s) = s**2 + 4*s - 2. Suppose 5*x + 10 = -15. Let i be t(x). Suppose 2*q = -i*q. Is q != 1/2?
True
Suppose 3*t - p - 11 = -0*t, -2*p = 4*t + 2. Suppose 0 = -3*h - 1 - t. Do h and -1/3 have the same value?
False
Let p = 6 - 6.3. Let q = p + -0.7. Is -4 bigger than q?
False
Let t be (-5)/1 + (-13)/(-3). Suppose 0 = -2*l - 3*l - 20. Let j = -6 - l. Is j greater than t?
False
Let m be (-4)/(-3)*12/(-28). Which is smaller: -1 or m?
-1
Let u = -2 + 3. Suppose -2*c = -c + u. Let b be (1 - 2 - (-1 + -4))/14. Is b less than c?
False
Let p = -1/2 + 1/6. Let b = 3 - 3.2. Let o = -2.2 - b. Is o at most p?
True
Suppose 2*b = -3*g - 2*g - 10, -2*b + 14 = -g. Let o be g/(-2 - 0 - 0). Suppose -o*s + 4*s = 2. Which is smaller: s or 2/5?
2/5
Let b be (-2)/8 - 3/(-12). Suppose -3*f - f = b. Let q be (4 - f)*(-2)/10. Which is bigger: q or -2?
q
Let u = -0.6 + 1. Let f = -6.2 + 6. Let i = f + u. Is i smaller than 0.1?
False
Let k(z) = z**2 - 14*z - 3. Let a be k(14). Let r = -3 - a. Is -1/4 at most as big as r?
True
Let u = -5.3 + 5. Let k = 0.134 - -0.066. Which is smaller: u or k?
u
Suppose -4*j - 26 = 2*v, 2*v + 38 = -2*v - j. Suppose 7*r = c + 3*r + 28, c = -3*r + 7. Which is smaller: v or c?
v
Let r = 7265/316 - -60/79. Is 24 > r?
True
Let q = 24 - 25. Which is smaller: q or -2?
-2
Suppose 0 = 10*x - 13*x - 30. Let j = 9 + x. Which is bigger: j or 4/9?
4/9
Let j(r) = -3*r - 1. Let x(k) = 3*k + 1. Let q(n) = 4*j(n) + 5*x(n). Let v be q(-2). Let d = v - -4. Is -2 bigger than d?
False
Let t = 22 - 22. Is -4/45 at most as big as t?
True
Let i = 14 - -3. Are 17 and i non-equal?
False
Let t(y) = y**2 + 10*y + 9. Let h be t(8). Let d = 34975/112 + -2553/16. Let g = h - d. Which is greater: g or -2/3?
g
Let i = -6/85 + -104/935. Let z(c) = c**2 + 1. Let h be z(1). Let m = 3 - h. Which is smaller: m or i?
i
Let x be 16/(-144)*-5*6/4. Suppose -h - 10 = -6*h. Is h less than x?
False
Let g = -5 + 5.08. Let p = 1.18 - g. Is -2 greater than p?
False
Let a be 6/(-4) + 458/316. Which is bigger: a or 0?
0
Let n = 11 + -5. Suppose 2*o - 5 = 3*o + 2*v, 0 = -3*v - n. Is -1 at least o?
True
Let f = 863/12040 - -1/301. Is f < 0?
False
Let t be (6/4)/(18/2). Let r = -1/6