t 0?
True
Let r = 2 + -6. Let b = -3 - r. Let m = 749/5 - 149. Which is smaller: m or b?
m
Let h = 4 + -5. Let i = h + 1.3. Are i and -1 nonequal?
True
Let o = -0.4 - -0.43. Let h = -0.43 + o. Let n = 0.3 + h. Is n < 4?
True
Let p be 0/(-1*(-2)/(-1)). Let k(r) = r**2 - r - 1. Let v(d) = 2*d**2 + 5*d. Let f(h) = -k(h) + v(h). Let q be f(-5). Which is smaller: p or q?
q
Let k = 12 - 12.18. Which is smaller: -2/5 or k?
-2/5
Suppose 5*a = -2*n - 24, a = 3*n - 0*a + 53. Let q = n + 17. Does 1 = q?
False
Suppose 5*q + 8 = -12. Let c(r) = -r**3 - 9*r**2 + r + 6. Let l be c(-9). Let h = l - q. Which is smaller: h or -1?
-1
Suppose 4*c = -5*i - 0 - 4, 3*i + 4*c + 4 = 0. Let v be 21/60 - 4/(-10). Do v and i have the same value?
False
Let h be (-3)/(-13) - (-14 + 14). Which is smaller: h or 0?
0
Suppose k + 10*g = 5*g - 16, -2*g - 8 = 0. Let f be (2/4)/((-4)/(-8)). Suppose k*t - 5 = -f. Is 1 <= t?
True
Suppose -4*n = -1 - 3. Let d be n/((-72)/(-15))*-4. Are d and -1 unequal?
True
Let j(x) = -x**3 + 2*x**2 + 2*x + 1. Let b be j(3). Suppose -m = -2*f - 10, -2*m + 0*f - 4*f - 20 = 0. Suppose m = 2*o - 3*o + 1. Which is smaller: b or o?
b
Suppose 9*c + 80 = 5*c. Let k = c - -20. Which is bigger: k or -2/5?
k
Suppose -6*j + 8*j = 2. Suppose -z + 0 = j. Let p be (1 - 0 - 2) + -1. Which is bigger: z or p?
z
Let p = -4 - -6. Let l be (6/(-9))/((-4)/18). Suppose -2*k - y = -3, 4*k - y = l*k + 3. Is p at most k?
True
Let v be (2 - 1)/(-2 + 3). Let h be (0/(-2))/(-1 - v). Which is bigger: 2/17 or h?
2/17
Let o = 11/42 - -1/14. Which is greater: o or -1?
o
Let f(l) = 2*l - 8. Let g be f(6). Let x be (6/g)/(12/16). Suppose 3*d = x*d - 1. Which is smaller: d or -2/5?
d
Let r = 3 - 2. Are r and -1/10 non-equal?
True
Suppose 4*u - 3 = p, -3*p = -4*u + 3*u - 13. Which is smaller: 7/6 or u?
7/6
Let i be 12/(-18)*(-6)/22. Let a(p) = -p**2 + 3*p - 1. Let x be a(2). Which is bigger: x or i?
x
Let k = 8.8 - -0.2. Is -1 < k?
True
Let d = -2.5 - -3.5. Is 1 less than d?
False
Let t(x) = x**2 - 4*x + 6. Let c be t(2). Which is smaller: 10/3 or c?
c
Let n = 7 - 12. Let v be (-64)/6 - 1/3. Let b = v - -7. Which is smaller: b or n?
n
Let z = 7 - 5. Let g be z + -3 - (-14)/8. Does 2 = g?
False
Let v = -0.011 - -20.011. Let y = -19.5 + v. Let g = -0.2 - -0.1. Are y and g non-equal?
True
Let j = -2 + 1. Let t = -99 + 91. Do j and t have different values?
True
Let c = 9 - 6. Suppose -c*r = -k - 8, 6 = -2*r - 3*k - 7. Which is greater: -1/3 or r?
r
Let t be (-4)/(-4) - (-94)/(-6). Is -15 at most as big as t?
True
Let x be 2/((-24)/13 + 2). Which is bigger: 12 or x?
x
Let o = -5 - -5.2. Let h = 0 + o. Do 0.1 and h have the same value?
False
Let u = 12/67 - 1156/469. Suppose 121*b - 1 = 122*b. Is u less than or equal to b?
True
Let z = -60/161 - -2/23. Let s be -2 + (-11)/(-2 + 1). Suppose -q - r = -0*r, 4*r = 5*q + s. Which is bigger: q or z?
z
Let f be -1*2 - (-1)/1. Let k = -59 - -647/11. Which is smaller: k or f?
f
Let b = -4 + 4. Suppose -3*d - 3 = -b. Is d less than or equal to 1/4?
True
Suppose -4*a - 8 = -0*a. Let h be -2 + (2/7 - a). Is 1 < h?
False
Let x(h) = 4*h + 16. Let o be x(-4). Which is smaller: o or 67?
o
Suppose -2*t + 0*j - 6 = 3*j, t + 6 = -3*j. Let g(q) = 3*q**2 - 5*q. Let s be g(5). Let o = s - 253/5. Are t and o non-equal?
True
Let b(i) = i**3 + 3*i**2 - i - 3. Let r be b(-3). Which is smaller: r or 1?
r
Suppose l + 16 = 5*l. Is -2 smaller than l?
True
Suppose 0 = -3*n + 3*s + 26 + 19, -18 = -2*n - 4*s. Which is greater: -1 or n?
n
Suppose 4*v = 2*z + 10, -v + 4*z = -0*v - 13. Suppose 3*h = 6*h - 6. Which is smaller: h or v?
v
Suppose 5*d = g - 15, g - 23 = -12*d + 13*d. Which is smaller: g or 24?
24
Let i(m) = 15 - 3 - 2*m**2 + 0 + 19*m. Let x be i(10). Which is bigger: 3 or x?
3
Let j be (1/(-52))/((-75)/(-1)). Let c = j - 1123189/42900. Let s = -26 - c. Is 0 bigger than s?
False
Suppose -1 = 5*u + 4. Which is smaller: u or 0.3?
u
Let s be (-4)/(-10) + 320/(-50). Is s less than -9?
False
Suppose 261 = -2*d + 3*g - 0*g, -d + 5*g = 134. Let v be d/72 - (-2)/4. Let q = v + 5/8. Is q bigger than -2?
True
Let a = 56 - 277/5. Which is smaller: a or 2?
a
Suppose -s - 5 + 0 = 0. Let z = 7 + s. Is 11/5 greater than or equal to z?
True
Let b = 138 - 142. Is 0 > b?
True
Let g(k) = -k - 11. Let n = -27 + 16. Let o be g(n). Let f(w) = w**2 - 4*w - 3. Let m be f(5). Which is bigger: o or m?
m
Let d(k) = -k**3 - 4*k**2 + 1. Let b be d(-4). Which is smaller: b or -1/4?
-1/4
Let x = 16308/31 + -526. Let s = x - 72/155. Are 1 and s non-equal?
True
Let l(p) = -p + 12. Let g be l(4). Which is greater: g or -1?
g
Let y be (-2 - -1) + -1 - 0. Let l be (2/4)/(y/(-4)). Let a be l*3*2/6. Which is bigger: a or 0?
a
Let x = 0.33 + -0.2. Let w = -0.23 + x. Are w and -1/3 equal?
False
Let o = -694/3 + 219. Let v = 13 + o. Which is smaller: 4 or v?
v
Let t(j) = -2*j**2 + j + 2. Suppose -7*b = -10*b + 6. Let g be t(b). Which is bigger: g or -3/2?
-3/2
Suppose k + j + 4 = -0, 0 = -5*k - 3*j - 20. Let w be 9/(-15) - k/(-10). Let n = -35/4 - -8. Which is greater: w or n?
n
Let u = -1 + 0. Let s(b) = b + 2*b - 2*b. Let c be s(u). Which is greater: -1/2 or c?
-1/2
Suppose 6*n - 20 = 70. Let c be (n + -2)*(-1 - -2). Is 13 smaller than c?
False
Let y(a) = a**3 + 12*a**2 + 18*a - 21. Let q be y(-10). Which is smaller: q or -19?
-19
Suppose 1 = -6*m - 5. Which is bigger: m or 1/13?
1/13
Let b be ((-2)/(-5))/(3/30). Suppose 2*o + 2 = m - 10, 16 = b*m. Let q be o/(-6) - 1/(-12). Which is bigger: 1 or q?
1
Let s be 34/(-9) - 2/9. Let v(k) = k**2 + 6*k - 11. Let m be v(-7). Is s at most m?
True
Let l be 2/3 + 11/(-3). Let t be 6/(-18) - 8/(-36)*-12. Is l smaller than t?
False
Let d = 21 + -17. Which is smaller: 3 or d?
3
Suppose j - 5*y - 10 = -4*j, j + 4*y = -13. Let h be 14/3 + 1/3. Suppose 4*g - 24 = 7*n - 3*n, -g - 6 = h*n. Is j greater than or equal to n?
True
Let s be (-2)/(-6) + 2/3. Let c(b) = -b**3 + b**2 - b. Let d be c(2). Let q be 4/6 + 4/d. Which is smaller: s or q?
q
Suppose 0 = -2*y + 5*r - 1 + 7, 0 = -5*r. Suppose 2*f + 2*b = 8, -y*b = -5*f + 2*b - 20. Let c = 76 + -682/9. Which is bigger: c or f?
c
Let r be 4/(-6)*9/15*1. Suppose -2*o = -o + 3*a - 5, 5*a = -3*o + 23. Suppose 0 = 4*t - n - o, t - n - 5 = -0*n. Is t at most r?
False
Suppose 2*b = 4*d - b - 97, 0 = 4*d - 2*b - 94. Let n be d/(-5)*(-60)/84. Which is smaller: n or 2?
2
Let h(a) = 8*a**2 - 3*a + 1. Let x be h(2). Let u be 112/18 + (-6)/x. Which is smaller: 5 or u?
5
Let l = -1/100 - -211/1100. Let k = -0.6 - 1.4. Let a = -1 - k. Which is smaller: l or a?
l
Let d = 7 - 4. Let w be 0/(-2 - (-3 + d)). Let z = -23/5 + 143/30. Is z < w?
False
Let w(f) = f**2 + f + 10. Let v be w(7). Suppose 4*i - 2*m + 66 = 0, -m = 5*i + 13 + v. Let d be (i/6 - -3) + -1. Which is greater: -0.1 or d?
-0.1
Let n = -13 + 24. Let r = -12 + n. Which is greater: r or 0?
0
Let i = -9 - -24. Suppose -z - 4*y + 9 = -5, 5*y + 20 = 5*z. Let m be 10/i + 2/z. Which is bigger: m or 1/8?
m
Let l(f) = -f**3 + 2*f**2 - 3*f + 3. Let o be l(2). Let i be (o/(-2))/((-63)/(-12)). Which is smaller: -1 or i?
-1
Let l = 80.2 - 74. Let w = l - 6. Let c = 0.2 - 0. Is w greater than c?
False
Suppose -m + 19 - 4 = 0. Does 16 = m?
False
Let m = -8 + 12. Suppose -p = -m + 2. Let q be (p/(-12))/((-3)/(-12)). Which is smaller: q or -3/4?
-3/4
Let m = 1 + 5. Let h be -1*45 + m + -7. Let l = 185/4 + h. Which is smaller: l or -1?
-1
Suppose -3*g + 1 = -4*g. Which is bigger: -3 or g?
g
Suppose 5*h - 14 = -4*u + 3*u, -3*u + 3 = 2*h. Which is smaller: -18 or u?
-18
Let q = -15 + 17. Which is greater: 3 or q?
3
Let c = 6 - 6.4. Let d = c + 3.4. Which is greater: d or 0?
d
Let i be 0/3 - ((-8)/572)/1. Are 0 and i equal?
False
Let u(d) = -d**3 + 4*d**2 + 5*d + 2. Let h be u(5). Suppose h + 0 = g. Suppose 4 - 2 = s, 0 = g*n - 2*s + 4. Which is smaller: n or -0.1?
-0.1
Suppose 9*f = -22 - 158. Which is greater: -18 or f?
-18
Let j(b) = b**3 + b**2 + 140. Let w be j(0). Let k be (-1)/(-4) - w/48. Do -1 and k have the same value?
False
Suppose -4*j = 1 + 7. Let k be j*(-1)/(1 + -2). Let m be k/(-7) - (-44)/42. Which is bigger: m or 2?
2
Let h = 1139/975 + -1/650. Which is smaller: 0.1 or h?
0.1
Let b = 5.07 - 0.07. Let t = -11 + b. Which is bigger: t or 0?
0
Let t(x) = -x**2 + 6*x + 1. Let l