 (((-2)/(-8))/(1/(-4)))/1. Let y = 10576/13 - 814. Is y bigger than g?
True
Let k be (-2)/4 + -4*6/12. Which is bigger: k or -4/3?
-4/3
Let w = 1 - 0.8. Let k = 0.01 + -0.21. Is w bigger than k?
True
Let j be 15/10 - 2/(-4). Suppose c + 9 = -5*g, 2*c + 9 = -3*g - j. Suppose -4*u = 16, -2*x = -u + 4*u + 12. Is g equal to x?
False
Let h(k) = -k**3 + 3*k**2 + 3*k - 4. Let g be h(3). Let q = g + -2. Suppose -1 = -0*b + q*b + u, 0 = b - 5*u + 27. Is b greater than -2?
False
Let g = 14 + -15. Let n be (-63)/15 + g/(-5). Which is smaller: -13/3 or n?
-13/3
Let u = 0.05 - -0.15. Which is greater: u or 1/9?
u
Suppose -4*i = 4*u, -u - 3*i = -4 - 2. Let y = u + 4. Which is greater: -1/11 or y?
y
Let a = -6 + 6.3. Let i = 5.3 - 5. Let q = -0.7 - i. Is q equal to a?
False
Let h = 297 + -3270/11. Which is bigger: h or 1?
1
Let h(v) = -v**3 - 3*v**2 + v - 5. Let j be h(-4). Suppose 3*p + 2*p - 21 = -4*m, -5*m + 5*p + 15 = 0. Suppose -m*n + 13 + j = 0. Are 2 and n non-equal?
True
Suppose -66 = -5*i - 4*b + b, -2*i - 2*b + 28 = 0. Let p be i/(-8)*8/(-66). Which is bigger: p or 3?
3
Suppose 0 = 2*s + 4, -5*w + 5*s = 8 + 27. Let u(k) = k**2 + 5*k - 4. Let d be u(-5). Let h = w - d. Is -6 <= h?
True
Let z(a) = a + 8. Let h be (0 + (-8)/(-6))*-6. Let t be z(h). Let d be 1 + (23/(-7) - -2). Which is smaller: d or t?
d
Let j = 12.8 - -3.2. Let b = j + -16.06. Which is smaller: -1 or b?
-1
Suppose 5*y - 41 = -3*x - x, 0 = -3*x + 5*y + 57. Let t = x + -10. Let w = t + -2. Which is greater: 3/5 or w?
w
Suppose -2*g - 2 = u - 0*g, u + 3*g + 7 = 0. Is u at most 3?
False
Let j = 20.6 - -6.4. Which is bigger: j or 1?
j
Let m = -6 + 11. Let w be ((-2)/m)/((-3)/(-5)). Let f = -24 + 22. Which is bigger: f or w?
w
Suppose -7 = v - 2. Which is smaller: -7 or v?
-7
Let z = 126 + -108.1. Let r = -17 + z. Let j = -0.1 - r. Is j less than or equal to 2?
True
Let n be (-654)/3*2/20. Let x = n + 22. Is 0 at least x?
False
Let h be 1024/(-1518) + (-52)/12 + 5. Which is smaller: -1 or h?
-1
Let z(n) = n**3 - 10*n**2 - n + 10. Let r be z(10). Let o(x) = x**3 - 4*x**2 + 3*x - 3. Let l be o(3). Let t be (2/(-4))/(l/(-2)). Are t and r equal?
False
Suppose 87 - 246 = -3*z. Suppose -4*d - z = 15. Which is greater: -16 or d?
-16
Let l = 92 - 94. Let x(y) = -2*y - 6. Let s be x(-5). Suppose s = h + 7. Are l and h equal?
False
Let c(r) = r + 9. Let u be c(-7). Suppose -3*o + 2*z = 3 + 1, 5 = -u*o - z. Let b = 1 - o. Is 2 at most b?
True
Suppose 3*m = -2*m + 5, -p + m + 4 = 0. Suppose p*x - f = 96, 56 = x + x + 4*f. Let t be -4*2/x - 0. Which is smaller: -2 or t?
-2
Suppose -4*g + g = 0, 4*j + 5*g + 24 = 0. Let k(x) = 3*x + 4. Let r be k(-4). Which is bigger: j or r?
j
Let r be (3 + 3 + -1)*1. Suppose r*f = f. Is f equal to 1?
False
Let d = -0.11 - -0.21. Let c be (-2 - -3) + 10 - 1. Suppose -5*a = y - c + 3, 4*a - 10 = -3*y. Is d < a?
True
Suppose x - 4*x - 27 = 0. Which is bigger: 2 or x?
2
Let w = 1 - -5. Let h = 3 + w. Suppose -3*p = -2*r - 7, 3*p = -p - r - h. Which is smaller: p or 2/9?
p
Let i be (64/1120)/((-4)/(-7)). Let b = -1/55 - -23/55. Is b smaller than i?
False
Let u be 20/(-4) + 1 + 13. Is 29/3 bigger than u?
True
Suppose q - 5*h - 24 = 0, -2*q + 36 = h + 10. Is q at least as big as 1?
True
Suppose 2*x + 16 = -2*x. Let y(l) = -2*l - 1. Let r be y(x). Is r at most as big as 7?
True
Let y = -23 + 25. Let b be (-34)/y + 0/4. Which is bigger: b or -18?
b
Let v = 2 - -14. Let m = 13 - v. Are m and -1/4 equal?
False
Suppose 0 = k - 1. Suppose -5*d - 3*z = 7, 0 = -0*d + d - 5*z - 21. Let l be 2 + 4/(-2)*d. Which is greater: l or k?
k
Suppose 0 = 5*h + 1 - 6. Let k = 1 - h. Is k bigger than 1/4?
False
Let s be 5/(4/6*3/(-4)). Which is smaller: -11 or s?
-11
Let s be 14/(-4 + 2 + 1). Let g(r) = r**2 + 4*r. Let h be g(-2). Let l be h/s + (-32)/14. Are -1 and l non-equal?
True
Suppose 14*r - 9 = -x + 15*r, 5*x - 45 = 2*r. Suppose -4*n = -4*p + 12, 2*p + 7 = p + 3*n. Is x greater than p?
True
Let i be 30/9*(-24)/10. Which is smaller: i or -13/2?
i
Suppose 3*v = -0*v + 6. Are -0.15 and v unequal?
True
Let b(c) = 5*c - 4. Let r(g) = 9*g - 8. Let q(l) = -7*b(l) + 4*r(l). Let p be q(3). Is p equal to -1?
True
Let r = 28983/5 + -5764. Let u = r + -33. Which is bigger: 4 or u?
4
Let i = -6.36 - -0.36. Are i and -1 non-equal?
True
Let u = -26016256/84505 - 10/50703. Let m = -308 - u. Let g(x) = 2*x + 4. Let l be g(-2). Which is smaller: m or l?
m
Let y be 101/(-4) + (-9)/(-36). Let o = 18 + y. Is o smaller than -8?
False
Let g = 0.13 - 8.13. Suppose 2*l + 4 = 2. Is g bigger than l?
False
Let u = 5/163 - 664/5705. Let a = u - 5/7. Is a at least 0?
False
Suppose 3*k + 2*k = -15. Let v be 5/33 + 1/k. Which is bigger: v or 0.2?
0.2
Let i be 2/7 - 12/(-7). Suppose -3*n + 4*u = -i, -5*n - 4*u + 5 = -9. Suppose 0 = n*g + 5*f - 5, -2*g - 3*g + f - 1 = 0. Which is smaller: 2 or g?
g
Let i = 6 - 3. Suppose 2*t = -i*t. Suppose -q = 3*y - t*q - 1, -5*q + 18 = 2*y. Which is smaller: 1/3 or y?
y
Let t be ((-10)/(-35))/((-4)/6). Which is greater: -1 or t?
t
Let j = -3.2 + -5.8. Which is smaller: j or 0.01?
j
Let c = 51/2 + -4033/158. Is 1/3 greater than c?
True
Suppose -4 = t - 0*t. Let a be (12/(-9))/(t/(-6)). Let r = 0.07 + 0.93. Are r and a non-equal?
True
Let w(y) = y**2 + 6*y + 3. Let j be w(-6). Suppose 0 = -4*h - 0*h + j*r, h = -4*r. Which is greater: h or -1/9?
h
Let y be 28/(-98) + (-857)/(-10472). Let r be (1/(-102))/((-4)/(-9)). Let h = r - y. Which is greater: h or 1?
1
Let j be (-69 + -18)*(-1)/3. Suppose 4*w = -m - j, -3*m - 16 = -5*w + 3. Do m and -12 have different values?
True
Let g = 411 + -5339/13. Let y = 40/39 + g. Which is smaller: y or 2?
y
Let w be -2 + ((-12)/(-4) - -2). Suppose -2*g = w*g. Is g != -1/22?
True
Let t = -1 + 2. Let h = 6 - 7. Let j = h - 1. Are t and j unequal?
True
Let l = -0.1 + -0.9. Let v be 711/12 - 0/(-2). Let x = v + -1169/20. Is x > l?
True
Let l be (2 + -2)/(-1*1). Let b = 1 + -0.5. Let u = b - 0.3. Which is smaller: u or l?
l
Let l be 48/(-14) + 6/14. Let a = 3 + l. Does a = -2?
False
Let y = 17 - 12. Let u(l) = 2*l - 5. Let o be u(5). Is y greater than o?
False
Let y = 184 - 180.09. Let p = -0.09 - y. Is -1 at most p?
False
Let z = -210 - -197.3. Let o = -13 - z. Is o > -1/4?
False
Suppose -3*x - 2*x - 5 = 0. Let c = 586/1235 - 24/65. Is x smaller than c?
True
Let b = -3 + 7. Let d be (2 - 2) + b/(-14). Which is greater: d or 1?
1
Let x be (-2)/9 + (-323)/(-1224). Which is smaller: -1 or x?
-1
Let d be -1 + (-18)/(-3) + -2. Let h = d - -5. Which is greater: 7 or h?
h
Let j = -7/12 + -1/6. Is -2 at least as big as j?
False
Suppose 19*m - w - 11 = 23*m, -4*w = -4*m - 16. Is -2 less than m?
False
Let j = -1.24 + 0.14. Which is bigger: j or 1?
1
Let o = -100 + 95. Is 9 < o?
False
Let t(h) = -4*h**2 - 2*h + 4. Let z be t(3). Is -38 > z?
False
Let k = 14 - 72/5. Which is smaller: 1.1 or k?
k
Let o = -18 + 24. Let c be (20/35)/(o/7). Which is smaller: 3 or c?
c
Suppose -2 = 2*i - 0. Let k be (-103)/40 - (-4 - -4). Let y = k - -19/8. Is i < y?
True
Let d = 5/2 + -3. Let m = -2 - -1.7. Let q = 0.7 - m. Is d >= q?
False
Suppose -4*r - 7 = 1. Let t = -2 - r. Suppose -5*a - 3*w - 14 = 0, 2*a + 3*w + 11 = -t*a. Which is bigger: a or 0?
0
Suppose 0 = -2*l + 7*l. Let s = 8/11 - 147/187. Which is smaller: l or s?
s
Let n(r) = -r**2 - 2*r + 1. Let m be n(1). Are -0.7 and m equal?
False
Let u(y) = -3*y**3 - y**2 - y**3 + 2*y**3 - 3*y**3. Let z be (-6)/8 + (-2)/8. Let h be u(z). Are h and 5 non-equal?
True
Let s = -0.1 + 0.3. Let o = s - 0.3. Let m = -0.07 + 0.17. Which is greater: o or m?
m
Suppose 4*h - 7 = 1. Let n be (-20)/(-16)*h/(-10). Suppose 0*y + y = 5*l - 6, -2*y + 6 = -l. Is y at least as big as n?
True
Let n = 49 + -53. Let i be 4/(-14) - (-45)/35. Let u be ((-9)/12)/(i/4). Are u and n equal?
False
Let d = 337/12 + -28. Let k(a) = -a**3 + 3*a**2 + 3*a + 3. Let z be k(4). Which is greater: d or z?
d
Suppose 3*x + 2*q - 32 = 0, 0*q - 44 = -4*x - 3*q. Let n be 3 - 60/x - 1. Is -6 greater than or equal to n?
False
Let s be (-4)/16 - 3/4. Which is greater: s or 2/33?
2/33
Let d be 18/8 + 1/(-4). Let a = 0.5 - -0.2. Let f = 0.7 - a. Is f bigger than d?
False
Let x = -11 + 10. Let i = -6 + x. Which is bigger: i or 0.2?
0.2
Suppose -4*c + j + 167 = -106, -4*j - 264 = -4*c.