5*k, n + 0 = -3. Let l = -1 + k. Which is smaller: l or 3/32?
l
Suppose 4*y - 9 + 1 = 0, -4*a - 3*y + 938 = 0. Let f = a - 27725/119. Is f bigger than 0?
True
Let q be (-240)/(-235)*(-20)/16. Is 0 at least as big as q?
True
Let z = 16 - -6. Let g = -279/4 - -193/4. Let m = g + z. Which is bigger: m or -0.1?
m
Suppose 3*r + 0*o = -5*o + 53, -5*o = -4*r + 59. Let z(c) = c - r + 6 + 9. Let w be z(1). Which is bigger: w or 3/10?
3/10
Let o = 5 + -17. Let n = 37.6 - 37.6. Is n not equal to o?
True
Suppose -16 + 0 = -4*j. Let p = 188 + -186. Suppose -4*s = -16, -p*y - 3*y - j = 4*s. Is y <= -1?
True
Suppose 4*d + 3*k = 16 + 4, 3*d - 5*k = -14. Let l be (d + -1)/((-187)/(-11)). Let y(m) = m**3 + 2*m**2 - 1. Let u be y(-2). Is l equal to u?
False
Suppose -99 = 6*y + 27. Let l = 51 + y. Is l greater than 28?
True
Suppose 3*o = l + 534, 5*o - 890 = -0*o + 2*l. Which is bigger: o or 180?
180
Let o(v) = -v + 30. Let c be o(30). Which is smaller: c or -1/299?
-1/299
Let g = 420 - 393. Which is smaller: 0.1 or g?
0.1
Let j(o) = o**2 + 5*o - 5. Let u be j(-6). Let n = 3167/3656 + 4/457. Which is bigger: n or u?
u
Let g(x) = 7 + 1 - x - 7 - x**2. Let l be g(-2). Which is bigger: -1/29 or l?
-1/29
Let h(r) = -4*r**3 - r - 1. Let b be h(-1). Let j(l) = -2*l**2 + 9*l - 4. Let u be j(b). Let g be (-2 - u)/(10/20). Which is greater: -2 or g?
-2
Let j be 25 + -2 - 4/2. Suppose 4*t + 20 = 0, 4*d - 2*d - t + 37 = 0. Let l = d + j. Is l greater than or equal to -6?
True
Let q(a) = -a**3 + 2*a**2 + a + 3. Let h be q(3). Let v(o) = -o**2 - 13*o - 10. Let f be v(-19). Let m = -129 - f. Which is greater: m or h?
h
Let j = 15 - 15.02. Let d = 0.1 - -0.02. Let h = d + j. Which is greater: 1/5 or h?
1/5
Let c(l) = -38*l**2 + 33*l - 4. Let h be c(1). Let w be -1 + -3*(1 + 1). Let k be 0 - (0 - w)/1. Is k equal to h?
False
Let s = 1 - 3. Let q be (1 + (-4)/6)*(1 - -2). Let w be (6/4 + q)/(-2). Which is bigger: w or s?
w
Let f = -405 - -404. Which is bigger: -8 or f?
f
Let s be -1 - 21/(-12) - 351/(-12). Is -1 <= s?
True
Suppose -2*w + 1 + 7 = 0. Suppose 19 = -w*k + 3*b, b - 21 = 5*k - 0*b. Let y be 10/k*(0 - 2). Which is smaller: 4 or y?
4
Let b = 7 - 5. Let i = -2.2 - -0.5. Let z = -2.7 - i. Which is greater: b or z?
b
Let t(h) = -2*h + 20. Let j be t(8). Suppose -y - j*y - 5 = -5*z, 3*z - y = -3. Is z bigger than -2?
False
Let y = 8.4 + -56.4. Let o = y + 61. Which is bigger: o or 2/5?
o
Suppose -12 - 9 = s - 4*u, -3*s - 5*u + 22 = 0. Are -29/75 and s equal?
False
Let u be ((-2)/(-5))/(5/(-75)). Let h be (-10)/3 + (-2)/u. Let z be (-56)/(-21)*h/(-2). Do 3 and z have the same value?
False
Let k = -47 + 75. Let j be (-5)/35 + (-479)/k. Let g = -17 - j. Which is bigger: g or 0.4?
0.4
Let a = 0.2 - 0.3. Let l = -1709 + 1687. Is l at least a?
False
Let r = -167 + 166. Does r = 1/125?
False
Let o = -52 - -53.98. Let a = o + 0.02. Which is smaller: -2/13 or a?
-2/13
Suppose 102*w = 92*w + 20. Let i be -1 + ((-6)/(-3) - 1). Which is bigger: w or i?
w
Let h be (12/45)/((-2)/(-10)). Suppose -3*v - 4*f - 8 = 1, 0 = -5*v + 3*f + 14. Suppose 0 = -5*r + 6 - v. Which is smaller: r or h?
r
Let l be (9/18)/(-2*(-1)/4). Which is greater: l or -2/735?
l
Let n(p) = 22*p - 6. Let s be n(2). Is 37 at most as big as s?
True
Let r = 62 + -31. Does 31 = r?
True
Suppose -2*o - 106 = 56. Let b = 80 + o. Which is bigger: b or -3/41?
-3/41
Let n(j) = j**2 + 3*j - 11. Let b be n(-5). Which is smaller: -2/295 or b?
b
Let p = 191 + -128. Let z = p + -63. Which is smaller: 4 or z?
z
Let o(w) = -w**2 - 14*w - 3. Let n(b) = -b + 1. Let i be 2/(-1)*1/(-2). Let h(m) = i*o(m) - 5*n(m). Let u be h(-8). Which is smaller: u or -2?
-2
Let n be 4968/(-56) - (3 - 4/(-2)). Is -95 > n?
False
Suppose -6*u + 1569 = 1575. Let y = -1709 - -196537/115. Is u > y?
False
Let u = 212.638 + -212. Is u equal to 0?
False
Suppose 4*a - 30 + 22 = 0. Suppose a*t + 3*t - 20 = 0. Do t and 7 have different values?
True
Let u(f) = -21*f + 36. Let b be u(-6). Is b < 164?
True
Let s be ((-45)/(-6))/((-2)/(-8)). Suppose 2*q = 5*q + s. Let w be (-8)/q*(-20)/(-24). Is w > 2/5?
True
Let v = 2434 + -2431. Let f = 3.9 + 13.1. Are v and f non-equal?
True
Let r = -0.36 + -0.44. Does -11 = r?
False
Let p(m) = 7*m**2 - 8*m + 12. Let y be p(12). Let w be ((-7)/y)/((-1)/3). Is w less than 0?
False
Suppose q + 8 + 7 = -c, -3*c - 17 = q. Let j be q/(-20)*(-2 + 0/(-5)). Is j at most 1?
True
Let b = 1/2848 - 253479/19936. Which is greater: -13 or b?
b
Let b be ((-4)/56)/((-1)/4). Let q = -529/8 + 517/8. Are q and b equal?
False
Let j = 0 + 4. Let p = 39 - 34. Let q = j - p. Is 0.03 at most q?
False
Suppose -5*u = i - 17, -5*u - 7 = i + 3*i. Let o be (-12)/i*(4 - 2). Let x(k) = k**3 - 2*k**2 - 3*k + 2. Let h be x(3). Is o at most h?
False
Suppose 5*j + 6*d = 5*d - 2, -5*j - 20 = -5*d. Which is greater: j or 14?
14
Let n be ((-4)/(-24))/(3/18). Let t = n + 2. Let w be t*(2 + (-14)/6). Which is greater: 2/19 or w?
2/19
Let l(a) = -2*a + 3. Let t be l(-3). Let s be 3 + -4 - (-4 - 10). Suppose s*k - 39 - 91 = 0. Is k smaller than t?
False
Let v(c) = 3*c - 16. Let u be v(15). Let a = 32 - u. Suppose 11 = -a*k + 14. Is k at most 4/7?
False
Let z = 4654 + -2023. Which is greater: 2632 or z?
2632
Let f be 0 - -3 - (2 + -31). Which is smaller: f or 1/3?
1/3
Let s = -1/2 - 0. Let z be 195/21 - (10 - 1). Is s smaller than z?
True
Let h = 52 + -74. Let p = h + 21.92. Which is smaller: -0.1 or p?
-0.1
Suppose 0 = f - 2*h + 5, 3 + 6 = -f + 3*h. Suppose -3*o - o = -5*k + 30, f*k + 14 = -4*o. Let u(c) = -c**2 - 4*c + 6. Let v be u(o). Is v smaller than 4/9?
False
Let i = 88/7 + -6857/546. Which is bigger: i or 1?
1
Let j = 0.2525 - 0.0225. Is 0.3 smaller than j?
False
Suppose -3*k - 5*p = 4, 4*k + 4*p + p = -2. Suppose 8*v = -k*v. Which is smaller: v or -1/50?
-1/50
Let y = 621 + -1162. Which is smaller: -543 or y?
-543
Let a(q) = -2*q**2 - 5*q. Let l be a(-4). Let g be (-5)/(15/12) + (1 - 11). Which is smaller: l or g?
g
Let u be 6/15 + -8*(-4)/(-80). Which is smaller: 13/40 or u?
u
Let v = -4 + 7. Let k = 1 - v. Let o(h) = -h**2 + 32*h - 134. Let x be o(5). Are x and k nonequal?
True
Let z = 2 + 3. Suppose -z*m = 5*q - 15, -q - 15 = -4*m - 6*q. Is 13 at most as big as m?
False
Let a(r) = -r**3 - 2*r**2 + 3*r - 1. Let c be a(-3). Let i be 6 + (1 - 1) - 3. Suppose -i*f - o + 3*o = -16, -2*f + 14 = -3*o. Which is smaller: c or f?
c
Let c = 0.6 - -2.4. Let k = 4 - c. Suppose 17*b - 118 = -33. Is k less than or equal to b?
True
Suppose 3*o - 27 = -3*y, -23 - 6 = -3*y - 5*o. Let r be 4/18 + 358/9. Let v be (-1)/(-5) - y/r. Which is smaller: v or 6/5?
v
Let v = -5 + 10. Let k be -2 + 52/8 - (-80)/(-20). Do v and k have the same value?
False
Let n(x) = x - 1. Let j(v) = v**2 + 12*v + 5. Let h(q) = -j(q) + 3*n(q). Let w be h(-8). Which is bigger: w or 1/67?
1/67
Let n = -494 + 201. Which is bigger: n or 2/7?
2/7
Let t = 0.6 - -32.4. Let q = t + -32. Which is smaller: q or -2/13?
-2/13
Let w = 25 + -9. Let p(h) = -16*h**2 + 4*h + 3*h**3 + w*h**2 - 3*h. Let g be p(1). Which is greater: g or 5?
5
Let q = -7.11 - -0.11. Let p = q - 5. Let h = -7 - p. Which is smaller: -0.2 or h?
-0.2
Let f be (-2)/8 + 31805/260. Let h = -122 + f. Let j = -16/39 + h. Is 11 at least as big as j?
True
Let h = -4.7 + -0.3. Suppose 0 = l - y + 5*y + 14, 0 = -3*l + 2*y + 28. Let u be 0/l - (-1)/(-3). Is h bigger than u?
False
Let o = -426 - -426. Which is bigger: o or 2?
2
Suppose 4*l + 2*f = f - 36, 0 = -4*f - 16. Suppose -142*z = -z + 1128. Is z < l?
False
Let k = 10 - 67. Let t = -60 - k. Do t and -5 have the same value?
False
Suppose -4*o - 2*w = -6, 2*o + w + 3 = 3*o. Suppose -5*y = -5*g, o*g = -4*y - 6 - 6. Is g < 0?
True
Let b = -17 - -37. Suppose -u = u - b. Let q be (u/(-60))/((-4)/(-6)). Is 6 >= q?
True
Let l be 7/143 - 4/(-22). Let x be (2/(-10))/((-52)/(-5)). Let s = x - l. Is 1 smaller than s?
False
Let k = -518.931 - -519. Is 0.06 greater than k?
False
Let n = -118.4 + 88.4. Is 7 at most n?
False
Let s = -25 - -28. Suppose -d + 46 = -5*p, -2*d + 80 = s*d + 5*p. Which is smaller: d or 17?
17
Let w(p) = p**2 - 12*p - 1. Let a be w(9). Let b be (-238)/a + 3/(-2). Are b and 6 equal?
False
Let y be 4 + -1 + -4 - 0. Suppose -4*r + 5*j + 61 = 0, 2*r - 30 = j - 7. Let w be (-336)/945 + 2/r. Whic