 Which is bigger: 0 or l?
l
Let s(r) = r**2 + 7*r + 6. Let y be s(-5). Let a(o) = -o**2 + 11*o - 2. Let u be a(11). Let w be (27/3 - -1)*1/u. Is w > y?
False
Let d be -2*(-1)/4*-2. Let m be -4 + d*(-1 - 1). Let b = 61/4 + -71/4. Which is smaller: m or b?
b
Let y = -20 + 44. Suppose -4 = 10*g - y. Which is smaller: g or 5?
g
Let x(h) = -2*h**2 - 37*h + 69. Let i be x(-20). Is 103/11 equal to i?
False
Suppose 3 = -0*b + b, -3*m + 2*b = 168. Suppose 60 = -x + 5*w, -288 + 73 = 4*x + 5*w. Which is greater: x or m?
m
Let s be (-20)/(-7) - 4/(-28). Suppose 9*y + s + 6 = 0. Is y at most as big as 36?
True
Suppose 0 = -42*k + 41*k - 3*r - 5, k + 5*r + 5 = 0. Let f be (-14)/8 - (6 + -3). Which is bigger: f or k?
f
Let i be (-87)/(-84) + 4/(-14). Let o = 54.3 - 55. Let b = o - -0.8. Which is greater: b or i?
i
Let d = -265 + 263. Is 0.05 greater than d?
True
Let p = -115 + 253. Suppose 5*y = -4*a - p + 40, 0 = 5*a + 5*y + 120. Is a bigger than -23?
True
Let n = -17.5 - -16.5. Which is smaller: -0.0344 or n?
n
Let y be (6/6 - -4) + -22. Which is greater: -174/11 or y?
-174/11
Let x(p) = p - 5. Let b be x(8). Let h be 4/5*b/6. Let k = -1/27 + 137/54. Is k greater than h?
True
Suppose 0 = -13*v + 1025 - 219. Is v equal to 64?
False
Suppose -4*v + 34*w - 16 = 38*w, -5*v = -4*w - 25. Is -7/65 less than v?
True
Suppose -o + 14 = k, -2*o = -3*k - 3 - 0. Suppose 0 = -3*v + 4*v - 3*w - o, 43 = 2*v - w. Which is greater: 23 or v?
v
Suppose -3*r + 593 = -109. Suppose 0 = 5*k + r + 26. Let v be (-2)/k*2*3. Which is bigger: v or -1?
v
Let x = 24139 - 35218803/1459. Is 1 >= x?
True
Let i be 2*(-1 + 4/8)/(-1). Let a = -1/150 + 2011/150. Let g = a + -203/15. Which is smaller: i or g?
g
Let m be (186771/(-15417) - -12) + 2/18. Which is bigger: m or -1?
m
Let i(j) = j**3 + 10*j**2 + 9*j - 26. Let n be i(-6). Is n < 188/3?
False
Suppose a + 1 = -m + 3*a, -5*a + 16 = 2*m. Suppose -2*v = -m*v. Let u be 116/(-406) + 150/2709*6. Which is bigger: v or u?
u
Let b = -198 - -7. Is -191 < b?
False
Let o = 59 - 70. Let a be ((-560)/(-44))/(-4) + (-2)/o. Is a less than 2/11?
True
Let f = 586 + -7073/12. Is f less than or equal to -4?
False
Let g = 53 - 52.984. Let m = -0.016 + g. Do m and 2.7 have the same value?
False
Let n be (1 + 1)*(-260)/8. Let w = n + 62. Which is greater: w or -18/11?
-18/11
Let k = 175 - 143. Let b = 58 - 25. Is b equal to k?
False
Let g = -0.16 + -14.84. Let l = 16 + g. Let c = 1.73 + -1.8. Which is smaller: c or l?
c
Let v = -453 - -443. Which is smaller: -5 or v?
v
Let w(o) = -o**2 - o - 1. Let n(f) = 5*f**2 + 5*f + 6. Let b(p) = -n(p) - 6*w(p). Let x be b(0). Let l = -1 + 1/4. Is l greater than x?
False
Let l(i) = -2*i - 2. Let g be l(-5). Suppose -4 = 4*p - g. Let s be (2 - (-10)/(-8))/(-3). Which is bigger: s or p?
p
Let g = -13 - -17. Suppose -5*o = -5*d + 26 + 34, g*d = 3*o + 44. Suppose 3*p + p = d. Which is smaller: 12/7 or p?
12/7
Let f(m) = m**3 + 7*m**2 - 9*m - 10. Suppose 0 = -0*w + 5*w - 140. Let h = 20 - w. Let v be f(h). Is -1/5 >= v?
True
Let v(x) = 4*x + 1. Let n be v(-1). Let c = 2897 - 2904. Which is smaller: c or n?
c
Let k be 6/(-33) - (-68)/11. Let o be (k + -3)/3 + 2. Which is greater: o or 4?
4
Let x be -498 - 1/((-3)/9). Let k be 47113/x - 2/(-5). Let w = k + 95. Which is greater: w or 0.5?
0.5
Let g = 3.23 + -0.23. Let f = -10 + 6. Let q = f - -4.1. Is g != q?
True
Let k = 2889/4 + -722. Which is greater: 2/55 or k?
k
Suppose 0 = -2*h - h + 36. Suppose -4 = -5*v + z - 3, -3*z = -h. Let o be (-1)/28 + v/4. Is -1 not equal to o?
True
Let a = -12 - -12. Suppose -10*l + 7*l = a. Let g = -24 - -22. Which is smaller: g or l?
g
Suppose -6 - 6 = -3*n. Suppose n*h = 2*k + 6*h - 4, 0 = 3*h - 6. Let g be 4/42 - (-3 + 8/3). Is g at most k?
False
Suppose 0 = 71*l - 67*l - 328. Which is smaller: 85 or l?
l
Suppose 0 = -2*v - 2*v, 4*v - 88 = -4*j. Is j equal to 22?
True
Let p(a) = -a**3 - 9*a**2 - a - 12. Let u be p(-9). Let b be u/(-3 + 315/(-6)). Which is bigger: 1 or b?
1
Let k = -7.8 + 8. Is k < 6/5?
True
Let a be (-1 - -4)*(6 - (-20)/(-12)). Which is bigger: a or 12?
a
Let q = -871 - -878. Which is bigger: q or 16?
16
Let z = 91 - 75. Let d = z - 18. Which is bigger: d or 0?
0
Let m = -19.18 + -0.82. Is m != -2/7?
True
Let d = 103.8 + -120. Let n = d + 0.2. Let i = n + 25. Which is greater: -1 or i?
i
Let o be (10864/(-280))/((-63)/(-15)). Are o and -8 nonequal?
True
Let l(z) = 2*z + 6. Let u be l(-10). Let b = u - -14. Suppose -o - 3*o = b. Is o <= -1/8?
False
Let s(n) = -12*n**3 + n**2 + n. Let t be s(-1). Let z = -327 + 339. Is z at least t?
True
Let v(r) = r**3 + 22*r**2 + r + 9. Let z be v(-22). Let h(u) = -u**2 - 6*u + 3. Let q be h(-8). Is z > q?
False
Let q(w) = -w**3 - 14*w**2 - 13*w - 9. Let u be q(-13). Let b be (4 - (-22)/(-6))/((-3)/u). Which is greater: b or -1/38?
b
Let w = 24 - 27. Let u be (0 - 1) + 5 + w. Let g be (-3)/(-44) + (-1)/4. Is g < u?
True
Suppose 56 = -5*b + 1. Let x = -11 - b. Which is smaller: x or -2/61?
-2/61
Suppose z = -3*z + 44. Let u be (6/3*(5 - 0))/2. Suppose 0 = u*h - 77 + 27. Which is smaller: h or z?
h
Let b = 480/13 - 5358/143. Suppose 2*l - 20 = 4*f, 5*l - 29 + 4 = 5*f. Does l = b?
False
Let p(d) = -d**3 - 5*d**2 + 1. Let z be p(-5). Which is bigger: z or -3?
z
Let u be (-9)/((-54)/42) + -7 + -50. Which is smaller: u or -534/11?
u
Let l(f) = -3*f**3 + 16*f**2 - 6*f + 14. Let u be l(5). Is 11 < u?
False
Let r be (-1092)/(-8)*(-12)/9. Let d be r/10 - 5/(-25). Let h be (-58)/d + (-8)/36. Which is greater: h or 4?
4
Let k be 2 + (0 + 3 - 0). Suppose -5*r + w + 4 = 0, -4*r - 4 = -3*r - k*w. Which is smaller: r or -2/13?
-2/13
Let j = -52 + 51.9. Let v = j - 0.9. Is 2/5 <= v?
False
Let x = -252 + 252.106. Which is smaller: 0.1 or x?
0.1
Suppose -2*m + 4*v = -14, 0 = 21*m - 23*m + v + 8. Let o be 24*m/27*3*3. Let l = 39 + -16. Which is greater: l or o?
o
Let l(f) = f**2. Let g(a) = a**3 + 11*a**2 + 11*a - 11. Let p(r) = g(r) + 2*l(r). Let b be p(-12). Is b >= 3/11?
True
Let a(k) = k**2 - 8*k + 12. Let c be a(5). Let j be c + (-87)/(-27) + -2. Which is bigger: -2 or j?
j
Let a be ((-2)/3)/((-2)/(-2)). Suppose 0 = -3*n + 3, 2*y - 13*n + 25 = -8*n. Which is smaller: a or y?
y
Let t be ((-32)/(-20))/(2/30). Suppose 5*n - t = -2*h, n - 4 = h + 5. Let g be (-12)/(-9) + 4/n. Which is bigger: 0 or g?
g
Let i(u) = -3*u + 66. Let s be i(21). Is s less than 70/41?
False
Suppose -18 = -0*m - 3*m - 4*l, 2*m = l + 23. Are m and 5 non-equal?
True
Let r be (-2 + 14/8)*-12. Suppose -4*l + 20 = -4*f, -l + 8 + 1 = -r*f. Suppose i + 4 = l*i. Is 2 > i?
False
Let q be (4147/26 - 8)*(-4)/6. Is q >= -103?
True
Let h = 3.51 + -0.01. Let a = h + 0.5. Let w be -4 - -3 - (-4)/6. Which is smaller: a or w?
w
Suppose 744*i - 750*i + 42 = 0. Let j(x) = -2 + 5 - x**2 + 8*x + 3 + 2*x**2. Let y be j(-8). Is y at least as big as i?
False
Let j = 0.17 - 0.07. Which is smaller: 0 or j?
0
Let w be 2 + -4 - -2 - -28. Suppose 60*n - 5*c = 56*n + 112, 0 = -n - 4*c + 28. Is w less than or equal to n?
True
Suppose -m - 4*a = -7*a + 2, 0 = -5*m - 3*a - 10. Let d be -18 + (5 + m - 3). Let p = d + 19. Is 0.06 smaller than p?
True
Let v = -117.7 - -35.7. Which is greater: v or 2/5?
2/5
Suppose 5*n = -5*h + 35, -7*n + 2*n = -3*h + 5. Suppose -4*z + 0*z + 13 = 3*x, h*z = -4*x + 15. Is 5 greater than z?
False
Let k be (0 - 10)/(2/(-14)). Let x = 37 - k. Let r be x/3 - (-2 - 0). Is -9 >= r?
True
Suppose v = -13 + 2. Let l = 909 - 918. Is v at least l?
False
Suppose -4*d + 5*l = 13, 2*d - 5*l + 7 = -12. Suppose k + 4*c - 9 = 0, k - 6*k - 23 = d*c. Which is greater: -29/4 or k?
k
Let m = 11.44 + -11.3. Which is smaller: m or 2/5?
m
Let f(w) = w + 4. Suppose 0 = 4*g + x - 5*x - 20, 5*x + 4 = -2*g. Suppose 0*z = g*z - 18. Let d be f(z). Is 10 at least as big as d?
True
Suppose 0 = 3*s - s - 58. Let r = -283 - -306. Let y = r - s. Which is bigger: 1/2 or y?
1/2
Let v = 37 - 24. Let w(j) = -j**2 - 3*j - 4. Let k be w(-5). Let g = v + k. Which is bigger: 0 or g?
0
Let k = 3.016 + -134.916. Let y = k + 132. Which is smaller: y or 78?
y
Let r(p) = p**2 + p + 14. Let z be r(-3). Let j be 2 + -1 - (z + -20). Which is bigger: j or 2/189?
j
Let c(z) = -27*z**2 + 15*z + 62. Let a be c(-4). Is -430 > a?
False
Let w(o) = -o**3 - 7*o**2 + 4*o + 8. Let y be w(-7). Let 