es?
True
Suppose 0 = q - m + 1, q - 5*m - 4 = 5*q. Suppose -k - 4*k = 10. Which is smaller: k or q?
k
Let a = -95 - -95. Which is smaller: 6 or a?
a
Suppose -20 = 4*x, -5*t + 13 = 3*x + 33. Let l = 11 - -1. Let m be (-6)/15 - l/(-55). Which is smaller: m or t?
t
Let l(h) = h**3 - 4*h**2 + h + 3. Let r(p) = -2*p**3 + 9*p**2 - 2*p - 7. Let n(o) = -7*l(o) - 3*r(o). Let g be n(1). Which is smaller: g or 2/7?
g
Let k be 3 + 5*(-15)/(-25). Is k at most 10?
True
Suppose -5*s + 19 = -3*d + 88, -d + 21 = -s. Is d at least 17?
True
Let q = 77/244 - 4/61. Suppose -3*t + 7 = -5. Are q and t equal?
False
Let l be ((-8)/32)/((-2)/334). Let g = 42 - l. Which is smaller: g or 0?
0
Let n be 2/((-1 + 3)*-1). Let c(s) = -4*s**2. Let y be c(n). Which is bigger: -5 or y?
y
Let n be (-1)/3 + 32/6. Suppose 0*i - 5 = n*i. Let t be 5*(2/5)/i. Is t greater than -1?
False
Let c = 72/11 - 997/154. Do -1 and c have the same value?
False
Suppose -5*t - 5*d - 161 = 229, -d = -4*t - 327. Which is greater: t or -80?
-80
Let j(h) = 2*h**2 - 7*h + 6. Let u be j(4). Which is bigger: 9 or u?
u
Let d = 36/17 - 301/102. Is -2 greater than or equal to d?
False
Let n = -55 + 55.5. Is n at least -4?
True
Let r = 0.024 + 0.566. Let t = r - -0.01. Let c = t - 0.5. Which is smaller: -2 or c?
-2
Let v(x) = x**2 + 11*x + 28. Let d be v(-8). Let w(c) = c - 2. Let u be w(2). Which is smaller: d or u?
u
Let d = -0.06 - 6.94. Let n = d + 1. Let w = n + 2. Is w greater than or equal to -0.1?
False
Suppose -3*l = -5*h + 2*h + 9, 0 = -2*l + 3*h - 1. Is l less than -9?
False
Suppose -65 = -77*z + 72*z. Which is smaller: 11 or z?
11
Let l = 14 + -94/7. Is 1 at least as big as l?
True
Let r = -6 - -9. Which is smaller: r or 0.06?
0.06
Let a = -1.2 + 1.1. Let f = 0 + 0. Let z = a - f. Are z and -0.1 non-equal?
False
Let g(h) = -h**3 + 8*h**2 - h + 10. Let c be g(8). Suppose c*v = 2*o - 3*o - 1, 10 = -5*v. Let p be 4 + (-2)/(-1) - 4. Are o and p unequal?
True
Suppose 4*u + u = 2*l - 20, -3*u - 12 = -2*l. Suppose 4*y = -l*y. Is y < 1?
True
Let h be -2 - -1 - 10/(-10). Let c be 1 + h - (-6 - -7). Is 3/2 smaller than c?
False
Let s = -32 + 14. Is s bigger than -18?
False
Suppose 4*n + 48 = -4*k, k + n + n = -10. Let o = k - -9. Let b be -1 + 0 + o/(-7). Which is smaller: -1 or b?
-1
Let b = -0.02 - -2.02. Let h = -1.8 + b. Let z = 55/316 + 6/79. Which is smaller: h or z?
h
Let g be (-9)/27*66/8. Let k = 25/12 + g. Which is greater: -2 or k?
k
Suppose -3*g - g = 0. Let j = 53/196 - 1/49. Which is greater: j or g?
j
Suppose 5 = -3*p - 4*x, 4*x - 30 = 5*p + 21. Which is smaller: p or -9?
-9
Suppose 2*d = -g + 4*d + 2, 3*d + 3 = 3*g. Which is smaller: -10/9 or g?
-10/9
Let s = -23 - -22. Is -21 <= s?
True
Suppose -9 - 11 = -4*m. Suppose -3*u - 11 = -v, -3*u - 20 = -m. Suppose 3*x = z - 1 - 2, 1 = -5*z - x. Which is smaller: z or v?
v
Let k = 7 - 18. Let a = -11.1 - k. Which is bigger: a or 2/5?
2/5
Suppose 0*x = x. Let t be -6 - (-2 + (2 - x)). Let k = 5 + t. Is k > 1/13?
False
Suppose -t + 4*s = -0*t - 7, -5*t = -5*s - 5. Let f = t + 16. Suppose -h = 4*h - f. Is h bigger than 3?
False
Let k be ((-5)/20)/((-10)/24). Which is greater: k or 2?
2
Let c be (-554)/(-262)*(-8)/(-20). Let h = -6/131 + c. Which is bigger: h or 2?
2
Let b = 151 - 27. Let j = -866/7 + b. Is -1 >= j?
False
Let d be (40/8)/((-4)/(-1)). Let y = -21/16 + d. Let s be (-2)/3*12/8. Is y != s?
True
Suppose m = -15 + 2. Let j be (-86)/m*5/(-40). Let c = j - -27/13. Which is smaller: 2 or c?
c
Suppose 13 = 5*w - 2. Suppose 3*i + 0*k - 4*k = 24, 0 = 4*k + 12. Suppose 4*f = 3*o - 12, -w*o - i = f - 4*o. Which is smaller: f or -2/21?
-2/21
Let g = -5 + 10. Let m be ((-4)/g)/(7/35). Let x be 5/m*(-3)/(-30). Which is smaller: x or -1?
-1
Let a = 99/76 + 18/19. Let w be 20/(-70) + (4/14 - -3). Which is smaller: a or w?
a
Let i be 3/24*(-3 + 0). Let y(m) = m - 2. Let u be y(6). Let q = u - 5. Is q < i?
True
Let q be 2/8 - 1/4. Let d(a) = -a - 1. Let c be d(q). Let b be ((-3)/(-6))/(c/4). Which is bigger: -1/2 or b?
-1/2
Let d = -0.2 + 0.2. Let o = 0.1 + -0.1. Let t = 0.1 - o. Are d and t nonequal?
True
Let y be (2/8)/(2/20). Let s(g) = g**2 - 13*g - 11. Let k be s(14). Let a be -1 + 4/4 + k. Which is bigger: a or y?
a
Let h = 5 + -5.05. Let w = h - 0.35. Let z = w + 0.3. Which is smaller: -4 or z?
-4
Let a be 10/45 - 66/54. Which is bigger: 0 or a?
0
Let f(b) = b**3 + b**2 - 1. Let g be f(0). Let i be (g - (5 + -3)) + 1. Is -2 < i?
False
Let b = -26 + 23. Let w be (1 - (-3 - -4))/b. Is w >= 0.1?
False
Suppose x + 64 = 5*x. Are x and 17 non-equal?
True
Let o be (1 + -2 + 0)/1. Let y be (2/(-6) - -1)*-9. Let f be 5/4*y/10. Which is smaller: o or f?
o
Let r be (-1)/2*-1 + (-30)/44. Do 10 and r have different values?
True
Suppose -3*q = -2*p - 4, -2*q - 24 = 4*p - 0*p. Let o be (q*(-2)/34)/1. Which is smaller: 1 or o?
o
Let b = -16/9 - -10/9. Is b >= -1/3?
False
Let c(a) = a + 14. Let s be c(-10). Let r = 3 - s. Is r bigger than -1?
False
Let c = -17 - -26. Let b = 8 - c. Do b and -2/13 have the same value?
False
Let z = 24 + -19. Which is smaller: 4 or z?
4
Suppose -2*a + 51 = 15. Suppose 5*k + 5 = i, k = -i - 0 + 5. Suppose -3*l - a = -3*g, -g = -2*l - i - 4. Are g and 0 non-equal?
True
Let r be (-175)/150*(0 - 6). Let o(v) = 3*v + 2. Let s be o(2). Is s > r?
True
Let z = -33/2 - -17. Which is smaller: z or -0.05?
-0.05
Let p be 114/(-117) + 3/(-9). Let d = -58/65 + p. Which is smaller: d or -1?
d
Let v = 0 + -4. Let n be (3/(-4))/((-7)/v). Suppose j = -0*j. Which is bigger: j or n?
j
Suppose 4 = -2*i + m, -2*m - 3 = -5*i - 6*m. Let x = 0 + 4. Suppose -7 - 1 = x*k. Which is bigger: k or i?
i
Let z(f) = -f**2 + 14*f - 17. Let s be z(12). Let k be (s/126)/(4/(-6)). Is k < 1?
True
Suppose -w = -6*w + 5. Let g be -1*(3/6 - w). Which is greater: 3 or g?
3
Let j = 0.34 + -0.42. Which is bigger: -3 or j?
j
Let l = 11 - 7. Suppose 0*d - l*d - 24 = 0. Are -6 and d equal?
True
Let l = -8 - -3. Let p = l + 5. Is p not equal to 0?
False
Let d = 0.88 - -0.12. Which is bigger: -0.05 or d?
d
Let r be (-20)/(-6)*12/(-10). Let q(v) = 4*v**2 - 1. Let y be q(2). Suppose -4*f = -f + y. Which is smaller: r or f?
f
Let c(w) = 2*w**2 + 2*w + 3. Let h be c(-2). Let s be (-13)/(-2)*h/2. Let v = -23 + s. Which is smaller: v or -0.3?
-0.3
Let i be -1 - 4/5*(-5)/2. Let o = 1/3 + -7/12. Is o smaller than i?
True
Let f be 2*(-5)/16*(-12)/30. Let o = -281/366 - 4/61. Let l = 4/3 + o. Which is smaller: f or l?
f
Let k(h) = 8 - 2 - 6*h + h**2 - 1. Let a be k(4). Which is smaller: a or -5?
-5
Let n(i) = -i + 5. Let q be n(6). Let f be -3 + ((-5)/(-2) - q). Which is smaller: f or 0.2?
0.2
Let u(n) = -n**3 - 3*n**2 - 2*n - 4. Let s be u(-3). Suppose 0 = -s*t - a - 3, -3*a - 16 = -t. Which is smaller: t or 2/17?
2/17
Let t(k) = 11*k**2. Let z be t(1). Let w = z - 7. Suppose -w*u + u = 6. Is -3 at most u?
True
Suppose -x - 6 + 10 = 0. Let k be ((-3)/(-6))/(10/x). Which is smaller: 0 or k?
0
Let p be ((-128)/(-7398))/(2/24). Let s = p - -2/137. Is s at most as big as 1?
True
Let y(j) = -j**3 - 8*j**2 - 7*j + 1. Let l be y(-7). Let m = 4 - l. Is 1 less than or equal to m?
True
Suppose -3*p = -3*t, 0 = 2*p + 3*p - 10. Let g be 1/(t/(8/2)). Do 3/5 and g have the same value?
False
Let k(y) = -y - 5. Let j be k(-4). Let n = -11 + 16. Suppose -3*f + 6 = -5*d, n*d - 4*d + 3*f = 6. Are j and d equal?
False
Let t be (1 - 0/(-3))*15. Suppose 0 = 5*z + t + 15. Let c be (z/(-3))/4*-6. Which is bigger: -2 or c?
-2
Suppose 10*v - 18 = 9*v. Is v at most as big as 19?
True
Suppose -9 = 3*t + 3. Let o be 158/(-18) - t/(-18). Let u = 17 - 26. Is u <= o?
True
Suppose -h - c = 0, -h - 4*c - 35 = -4*h. Suppose 0 = -0*a - h*a. Is -1/9 less than a?
True
Let w(m) = m + 8. Suppose -3*y - 24 = 3*c - 9, c + 2*y = -6. Let j be c*2 - (-3)/3. Let h be w(j). Which is greater: -2/23 or h?
h
Suppose 5*s - 7 = -17. Does -8/5 = s?
False
Let u(t) = -t**3 + 5*t**2 + 5*t + 2. Let z(n) = n**3 - 5*n**2 - n + 4. Let k be z(4). Let m = -10 - k. Let p be u(m). Are p and -4 equal?
True
Let o = 8 + -1. Suppose 2*k = o*k. Let a = 0 + -2. Are a and k equal?
False
Let l be (5/45)/(2/3). Which is smaller: l or 0?
0
Let a be ((-6)/8)/(14/(-8)). Let d = 343.4 - 343. Is d bigger than a?
False
Suppose -3*d = 3*l + 46 + 5, 2*d + 35 = -l. I