). Is 0.2 greater than or equal to n?
False
Suppose -5*y + q + 49 = 0, y + 5*q + 3 = 2*q. Let z = y + -37/4. Let f = 0.08 - 0.18. Which is smaller: f or z?
z
Let a be 8/(-28) + (-33)/7. Let y(v) = v**2 + 5*v + 1. Let u be y(a). Let l = 0.2 - 0.3. Which is smaller: u or l?
l
Suppose 0 = 5*i + 4*z + 5, -3*i - 4*z - 17 = -6. Suppose -4*g - 2 = i*n + 13, -3*n = -2*g - 21. Which is smaller: g or -5?
g
Suppose 2*j - 4 = 2. Suppose -3*u + j*o - 6 = -18, 0 = 2*u - o - 4. Which is smaller: -3/8 or u?
-3/8
Suppose 5*r - 4 = 1. Suppose -3*g - 13 = 14. Which is smaller: r or g?
g
Let a = 185.03 + -185. Suppose -3*l + 4*l = 2. Suppose -l*s - s = 5*y + 17, -3*s = y + 1. Which is bigger: s or a?
s
Let v(k) = k**2 + 1. Let w(m) = 3*m**2. Let r(s) = -2*v(s) + w(s). Let x be r(2). Is x less than 5/9?
False
Let s = -50 + 85. Which is bigger: s or 0?
s
Let x = -1.3 - -0.3. Let h = -1.1 + 0.1. Is x > h?
False
Suppose -3*m = -o + 14 + 48, 3*o - 151 = 2*m. Let w = o - 187/4. Is w smaller than -2?
False
Let g be (-3)/(-990)*3*-4574. Let y be 1 + (-434)/10 + 1. Let k = y - g. Which is bigger: k or 1?
1
Suppose 182 = -4*d + 46. Do -34 and d have the same value?
True
Let b be (-14)/10 - 6/(-15). Let d be (b/2)/(4/(-6)). Is 0 at most d?
True
Let i = -9 - -7. Let q = -98/5 - -19. Do q and i have the same value?
False
Let q be 3/(9/(-4))*(-189)/18. Which is smaller: 3 or q?
3
Let i(p) = p**2 - 6. Let w be i(3). Suppose -c + 4*x = -w*c, 0 = -c + 5*x. Is c < -1/9?
False
Let x = 28.1 + -27. Let n be (-3)/2 + (-12)/(-8). Is n <= x?
True
Let m(r) = -r**2 - 3*r - 1. Let v be m(-3). Let c be (v*3)/(-3) + 3. Suppose 0 = -o + 4*a - 5, 2*o = c*o + 3*a - 1. Is 0 at most as big as o?
False
Let o be 13/2 - (-3)/(-6). Let d = 6 + -4. Suppose -o = -b - d*b. Which is greater: 3/5 or b?
b
Let h = 5 + -2. Suppose -2*j - 2*u = h*j - 20, 3*u = -j + 17. Is -2 bigger than j?
False
Suppose 0 = 3*f + 2*f + 25, -54 = 4*o - 2*f. Suppose -2*v = -3*g - 54, 2*v - 3*v + 83 = -5*g. Is o at most as big as g?
True
Let o be 9/4 + 1/(-4). Let v = 4 - o. Let s = -17 + 18. Is v less than s?
False
Let s = 7.1 + -6. Let v = s - 0.1. Which is smaller: v or 0?
0
Suppose -3*i - i + 36 = 0. Which is smaller: 13 or i?
i
Let d be (3/24)/((-5)/30). Is -1 at least as big as d?
False
Let g be 274/(-90) + (7 - 4). Which is smaller: g or 0?
g
Let i = 208 + -1034/5. Which is smaller: 2/5 or i?
2/5
Let n(i) = -14*i - 6*i**2 - 9 - 2*i**2 + 2*i**2 - i**2. Let m(a) = -6*a**2 - 13*a - 9. Let x(g) = -6*m(g) + 5*n(g). Let u be x(-7). Which is smaller: 1 or u?
1
Let z = -678/5 + 136. Let x = -0.7 + 0.4. Let h = x + 0.5. Is z < h?
False
Suppose -5*u - 9 + 109 = 0. Suppose 0*a = 5*a - u. Which is greater: a or 5?
5
Let q(p) = -p**3 - 16*p**2 + 17*p + 7. Let a be q(-17). Let v be (-1 + 3*-3)/a. Is 0 at most as big as v?
False
Suppose -12 = 4*j + 12. Is -19/3 > j?
False
Let v be (4/(-1))/2 - -26. Let f = 47/2 - v. Let w = -3 + 7/2. Is f smaller than w?
True
Let k be ((-10)/(-30))/((-16)/(-6)). Which is greater: -1 or k?
k
Suppose 2*s = -0 + 4. Suppose -3*p - l + 2 = 0, -s + 10 = 4*p + 4*l. Suppose -3*w + 7*w + 8 = p. Which is smaller: w or -1?
w
Let y be (4/(-3))/((-1)/3). Let f = -4 + 8. Let w be ((-6)/f)/((-3)/6). Which is smaller: w or y?
w
Suppose o + 2 = -0. Let a(s) = -22*s**2 - s. Let x be a(1). Let k be 2 + x/5 - o. Which is smaller: k or -1?
-1
Let i(b) = -b**2 - 8*b + 11. Let q be i(-9). Suppose 2*s - 4 = 4*s - 4*a, q*a = 2. Is -3/4 less than s?
True
Let g = 2.5 - 3.5. Suppose 5 = -3*n + 20. Which is smaller: n or g?
g
Let l = 12 + -24. Let k = l - -10. Is -3/4 greater than or equal to k?
True
Suppose -z = y - 3*z - 2, 5*z = 4*y - 5. Let i be ((-11)/(-55))/(-4*(-1)/(-2)). Is y less than i?
False
Let g = 37.8 - 36. Which is greater: 2 or g?
2
Let r be ((-4)/90)/(72/525). Let k = -2/27 - r. Let z = 931/4 + -233. Which is smaller: z or k?
z
Suppose -5*o + 5 = -t, 0 = -4*o + 5*o + 3*t - 1. Is o less than -2/23?
False
Suppose 3*k + 119 = 11. Is k at most -36?
True
Let h = -227.1 + 227. Let t = -12 - -6. Which is smaller: h or t?
t
Suppose 8 = -3*k - 2*w - 5, 0 = -4*k - 5*w - 22. Which is bigger: k or -6?
k
Let a be 2 - (-1 + (9 - 2)). Let j be 1/7 + a/14. Is -1 at most as big as j?
True
Let b(d) = -2 - 3*d - d**2 - 1 - 5. Let m be b(-8). Let h = -191/4 - m. Which is smaller: 0 or h?
0
Let t = 1.5 - -10.5. Let x = t + -8.9. Let c = x + -3. Which is bigger: -0.1 or c?
c
Let i(n) = n**2 - 10*n + 10. Let f be i(9). Are -3/11 and f unequal?
True
Let m = -2.4 + 2.3. Is m bigger than 1.4?
False
Suppose -h + 3*h = 0. Is 1 at least h?
True
Let z = -0.2 + 0.1. Let s(k) = k**2 - 5*k + 6. Let n be s(5). Let o be 5/(10/n) - -2. Which is smaller: o or z?
z
Suppose 0*t + 2*t = 0. Let y = -2.93 - 0.07. Is t >= y?
True
Suppose 0 = 4*r - 3 - 5. Let l be 9/18*r*2. Let i = l - 3. Which is bigger: i or 1?
1
Let h = 6637/14138 - 12079839325/466554. Let r = h - -25889. Let u = r - -9/11. Which is smaller: 0 or u?
u
Let k = 440 - 1364/3. Which is bigger: k or -14?
-14
Let n = 3.165 - 0.065. Let l = n + -3. Let r = -133 - -137. Is r > l?
True
Let q(a) = -2*a**2 + 5*a - 3. Let k be q(3). Let f(j) = -7*j**2 + j + 1. Let c be f(-1). Which is bigger: c or k?
k
Let x be (-11)/2 - 1/(-2). Is x less than or equal to -2/3?
True
Let x be (3/175)/(6/(-248)). Let y = x + 7/25. Which is smaller: y or -1?
-1
Suppose 2*o - 2*u = 3*o - 2, -3*u = -3*o - 3. Is o at least -8/13?
True
Let c = -1 - 5. Let n be 4/(-6)*12/(-8). Let v be ((-2)/c)/(n/(-3)). Is v at most as big as -5/3?
False
Let h = -2 - -5. Let s = h - 3.9. Let l = s - 0.1. Does l = -3?
False
Let u = -0.026 + -0.974. Let n = -7 + 5. Is u not equal to n?
True
Let u = 476/19 + -25. Is -1 less than u?
True
Suppose 0 = -v - 2*v - 27. Let x be (-2)/v - (-4)/63. Does 1/2 = x?
False
Let k = 7 + -8. Let u(j) = -j**2 + 8*j - 8. Let n be u(7). Is k at least as big as n?
True
Suppose 4*h - 40 = -5*y + y, 4*y + 5*h = 44. Is y smaller than -2/3?
False
Let c = 6 - 11. Let o(l) = -l**2 + 7*l + 4. Let s be o(8). Is s less than or equal to c?
False
Let y(x) = -12*x. Let f(z) = -35*z - 1. Let p(b) = 3*f(b) - 8*y(b). Let i be p(-2). Which is smaller: i or 13?
13
Suppose -z = 3*z + 24. Let x be ((-1)/z)/((-21)/6). Let i = -25/84 - x. Which is greater: i or -2/5?
i
Suppose 2*z = -2*z + 24. Let v(y) be the second derivative of -y**5/20 + 7*y**4/12 - 5*y**3/6 - 5*y**2/2 - 7*y. Let u be v(z). Which is bigger: u or 0?
u
Let t = 22 - 23. Let j be 0 - 7 - (-4 - -2). Which is bigger: t or j?
t
Let k be 9/(-1)*(-1)/3. Let w be -2 + 0 + 0 + k. Let l be (-2 - -5)/(-9)*-3. Do w and l have different values?
False
Let l = 6 - 6.2. Is 8/5 greater than l?
True
Let k = -13/42 + 7/6. Which is bigger: 1 or k?
1
Suppose 3*x = x. Let g(f) = -f**3 + f**2 + f + 237. Let l be g(0). Let p = 4031/17 - l. Which is greater: x or p?
p
Let z = -28 + 14. Let w = -23 - z. Which is smaller: -10 or w?
-10
Suppose -3*y = y. Is y smaller than 1?
True
Let f = 0 - -0.03. Let q = -0.04 + f. Let w = -0.21 - q. Is -0.1 >= w?
True
Suppose -3*c - v - 2 + 5 = 0, 5 = 5*c - 3*v. Let y be (c - 1/2)*2. Let m = 28/19 + -176/171. Do m and y have different values?
True
Let c be ((-11)/22)/(11/(-12)). Suppose 0 = 2*b - 6*b + 4. Are b and c nonequal?
True
Suppose 0 = -3*h + 67 - 313. Let d = -244/3 - h. Is d equal to 2?
False
Let f = -1 + 4. Suppose -5*o - 9 = -g, -o + f*o = -5*g - 9. Is g at most as big as -4/5?
True
Let i(j) = -j - 5. Let m(v) = -1. Let n(y) = i(y) - 6*m(y). Let q be n(4). Are -2 and q nonequal?
True
Let c be (12/(-8))/(1/2). Let x = c - -7. Which is smaller: 5 or x?
x
Let n(s) = -s + 3. Let g be n(4). Is 0.2 < g?
False
Let y be (-168)/(-20) - (-8)/(-20). Let d = 1 + 7. Let l = y - d. Which is greater: l or 1/2?
1/2
Let o = 5 - 9. Let s be ((-2)/5)/(o/(-18)). Is -3 > s?
False
Let k = -0.028 + 4.228. Let v = -2.6 + k. Which is bigger: v or -0.1?
v
Let y = 91 + -124. Is y at most as big as -33?
True
Let r = -43 + -15. Which is greater: r or -59?
r
Let u be ((-6)/(-2))/(0 + 1). Suppose w = -0*w + 3*p, -u*p = 4*w. Which is smaller: w or -2?
-2
Suppose 3*b - 5 = 2*s - 1, 4*b - 10 = -2*s. Let y be (-3 - (-1 - 0)) + s. Which is smaller: y or 2/3?
y
Suppose 4*q - m = -5*m, -q = 4*m - 6. Let f(k) = k**2 + 7*k + 8. Let p be f(-6). Suppose -p*b + 1 = 7. Which is greate