Let u = f + l. Which is greater: u or -1?
u
Let m be (-273)/(-52) + 2/8. Suppose 2*b - 17 = -2*j - b, -1 = -b. Does j = m?
False
Let z = 22 + -23. Let n be z + -3 + 1 + (-343)/(-105). Which is greater: n or -1?
n
Let u = -0.2 - 0.2. Let h = 4358 - 4359. Which is smaller: u or h?
h
Let m be 2/(-4)*-2 + 0 + 1. Let r be 0/(0 - (-4 + m)). Is -3/17 greater than r?
False
Let r be (-5 - -2) + 1 - -3. Let q = 10719/110 + -1062/11. Is r >= q?
True
Let i = 9.3 + 1.7. Let p = i + -10.8. Let k = -94 - -286/3. Which is smaller: k or p?
p
Let u = -48 + 51. Suppose -5 = u*m + 2*s, 8*m + 9 = 5*m - 3*s. Let d be (8/(-222))/(6/9). Is d bigger than m?
False
Let l be (-8 - -6)/2*(-1 + 1). Suppose -4 = -w - 3*w. Is w at most l?
False
Suppose -5*q + o - 1 = -2, -5*q + 3*o = 7. Suppose -17*i + 1125 = 1159. Which is greater: i or q?
q
Let k(d) = -d + 14. Let m be k(12). Let t be m*1/(-2) - 0. Suppose 5*o + 5*x = 2*o - 1, 0 = -4*o + 2*x + 16. Which is smaller: t or o?
t
Let a = 429 + -428.9. Which is bigger: 1/97 or a?
a
Suppose 2*d - 4*a = 4, -a - 1 = -2*d - 9. Let n be (-324)/14 + 2 + (-12)/(-84). Let o(s) = s**2 + 21*s - 5. Let h be o(n). Is d at least h?
False
Let m = -1 + -5. Let t be (2 - 1)/(5 + m + 0). Which is smaller: t or 4/47?
t
Suppose -2*g - 40 = -5*t, -13*g + 9*g - 28 = 3*t. Which is smaller: g or -43/4?
-43/4
Let c be 5*8*(-40)/16. Let i = -100 - c. Let k be -1*2/(-8)*1. Is i > k?
False
Let k = 618 + -24104/39. Which is greater: k or -1?
k
Let y = -265/14 + 37/2. Suppose 26*i - 4 + 4 = 0. Is i smaller than y?
False
Let z = -18 + 12. Let g be (-3)/6 - (-3)/z. Let f = 823/30 - 55/2. Which is smaller: g or f?
g
Suppose 15 = 34*w - 33*w. Which is greater: 21 or w?
21
Let o(u) = 3*u + 16. Suppose 6*d + 21 = 3*d. Let i be o(d). Let y be 8/(-5) - i/25. Is 0 at least as big as y?
True
Let z = 187.9 - 188. Which is smaller: -12/23 or z?
-12/23
Let k(n) = 2*n**2 + 42*n + 43. Let o be k(-20). Suppose -j + 6 = j. Are o and j nonequal?
False
Suppose 1086 = 5*f - 504. Let n be (-34)/1362*f/14. Let k = -1/227 + n. Which is smaller: k or 2/3?
k
Let w = 13 - -42. Suppose 3*g = 5*g - 108. Is w less than g?
False
Let q(k) = 2*k**2 - 7*k - 10. Suppose 0*o + 3*o = 18. Let j be q(o). Let i = 20 - j. Which is bigger: -2/19 or i?
i
Let c(n) = -n**3 + 8*n**2 - 5*n - 12. Let g be c(7). Suppose a = g*a - 20. Is 21 >= a?
True
Let m = 0.78 - 0.38. Is -0.07 smaller than m?
True
Suppose 0*c - 4*c - 56 = 0. Let i = 30 + c. Let h = i - 19. Which is bigger: h or -4?
h
Let z = 51 + -763/15. Let i be 60/50 + 12/(-15). Which is smaller: i or z?
z
Let p(q) = q**2 + 4*q + 4. Let i be p(-2). Suppose i*k + 24 = 4*k. Which is bigger: k or 11/2?
k
Let n = 27.3 - -3.7. Let h = n - 31. Which is smaller: h or -18?
-18
Let u = 146.9 - 147. Let n = 4.016 + -4. Which is smaller: u or n?
u
Suppose 0 = -17*x - 5073 - 11791. Which is smaller: -991 or x?
x
Let s(u) = -u**3 - 4*u**2 + u + 4. Let g be s(-4). Let h be g/1*(-2)/4. Let n(i) = i**3 - 2*i**2 + 1. Let j be n(-1). Which is greater: h or j?
h
Let v = -303 - -4547/15. Suppose 5*i + 117 = 112. Is i at least as big as v?
False
Let q = 19 - 20. Let n be (9/(-6) - 0)*-4. Which is smaller: n or q?
q
Let k(o) = 4*o + 58. Let a be k(-14). Suppose 3*d = n - 0*d - a, -5*d = 5*n + 10. Is -5/27 bigger than n?
True
Let p be -2 - (3/(-6))/(5/15). Is -2 at least p?
False
Suppose 4 = u, 2*u = -2*m + 6*u - 16. Let z be m*((-4 - -1) + 2). Is z at least as big as -3?
True
Let u = -149/158 + 66797/69994. Which is smaller: u or 1?
u
Let r be 4/10 - 0/(-1). Let t = 50.1 - 51.5. Do t and r have the same value?
False
Let m be ((-18)/(-75))/(93/465). Let f be -1 + (-10)/(-4)*2. Suppose -f*c - 12 = -2*y, -11 = -3*y + 4*c + 1. Are y and m nonequal?
True
Suppose 0 = 2*g - y - 5, 0 = 4*g - 3*g - y - 3. Suppose -5*p + 10 = n + 49, g*n - 4*p + 22 = 0. Which is smaller: n or -1?
n
Let u = 32545/11998 + 3/1714. Is -0.01 at least u?
False
Let v be 96/(-320) + 3/10. Is v smaller than 2/547?
True
Let x = -84 - -84. Suppose -5*d - 3*m = 20, 3*d - 4*m + 43 - 2 = x. Which is greater: d or -5?
-5
Let v be (3/5 + (-84)/(-60))/7. Let l be (-2)/(-3) - 3616/42. Let q = l + 85. Which is greater: q or v?
v
Let p = -1 - -4. Let f be (-1)/p*-1*3. Let n = -4 + f. Which is bigger: n or 1?
1
Let o = -39.01 - -7.01. Is 7 bigger than o?
True
Let u = 0.9 + 34.1. Let j = 35.5 - u. Are j and 0.03 equal?
False
Let a = 0.08 + -0.18. Let l = -16 + 12. Let z be (-1)/4 + 47/l. Is z not equal to a?
True
Suppose 3*z - 5 = -2*c - 3, 3 = 3*c + 3*z. Is c < -0.82?
False
Suppose 4*b + 47 = 3*k, 3*k - 2*b + 4*b - 17 = 0. Suppose -4*p + 7*p - k = 0. Let i be p/8*(-8)/12. Which is smaller: 0 or i?
i
Let h = -65 + 69.3. Let b = h - -0.7. Let d = 4 - b. Which is smaller: 3 or d?
d
Let n = -3716 - -40915/11. Which is smaller: n or 3?
3
Suppose -2*d = -0*d - 2*y + 6, 9 = -4*d + 3*y. Suppose -v + 0*v - 2*r = d, 2*v = 4*r + 8. Let t be -1 + ((-45)/v)/(-9). Do t and 2 have different values?
True
Let y = 35 + -30. Suppose -4*g = 0, 2*l = 6*l - y*g. Suppose -5*f + 2*u - 35 = l, -22 = 4*f + 5*u + 6. Which is bigger: -9 or f?
f
Let k(n) = -n**2 + 14*n - 37. Let a be k(11). Let t be -5*(-1 - a)*14/6. Are -34 and t nonequal?
True
Let q(a) = a**2 + 4*a - 33. Let b be q(-8). Let h be b/(13/(-55)) + (-42)/14. Which is smaller: h or 2?
h
Let o = -4123 - -7639/2. Which is bigger: -303 or o?
-303
Let a = -70 - -70. Suppose -8*l + 0 + 32 = a. Which is greater: l or 5?
5
Let t be (-13)/(143/20) - (-2)/(-11). Suppose 6 = -2*q - 0. Which is smaller: q or t?
q
Let q = -42 - -42.19. Let z = 0.99 - q. Is z at least as big as 1?
False
Suppose 3*b = 6*b. Let n = -15 - -78/5. Is n at least b?
True
Let s(z) = -z**3 + 4*z**2 - 2*z + 6. Let n be s(4). Suppose -7*v = -10*v + 12. Suppose 5*q - v = 3*j, -3*j - 7 = -4*q + 2*q. Which is smaller: q or n?
n
Suppose -2*g - 2 = 0, -21 = -y - 2*g - 23. Which is bigger: y or -445?
y
Let l(t) = -41*t + 96. Let x be l(4). Is -67 less than x?
False
Let j = 820 - 980. Are -479/3 and j unequal?
True
Let h = -9/10 - -3/20. Let d = -1.27 - -1.321. Let x = d + 0.949. Is x < h?
False
Let c = -625 + 625. Which is bigger: -4/129 or c?
c
Let z = -20176/97881 - -50/237. Which is bigger: z or -6?
z
Let p = 2.53 - 3.5. Let b = 1.03 - p. Do 0.3 and b have different values?
True
Suppose 86 = d + 4*t, 3*d = -0*d + 2*t + 272. Is 88 greater than or equal to d?
False
Let j be 1 - (-1 + 13)/(-3). Let u be (5/(-10))/((-3)/12). Let v be 6 + (-4 + 3)*u. Is j smaller than v?
False
Let w be 786/33 + 8/44. Let u = 46 - w. Suppose 0 = 4*a + u - 10. Which is smaller: 1 or a?
a
Let w = -44/119 + 10/119. Which is smaller: w or -6.95?
-6.95
Let a = 2.5 + -12.5. Let d = -10 - a. Let b = d - -0.4. Which is smaller: 3 or b?
b
Let w = 2 - 1. Let g be -3 + (-5)/(75/(-234)). Let z = -38/3 + g. Is z less than w?
True
Let x = 136.9 - 169.66. Let p = 33 + x. Is p at least as big as 0?
True
Let y = 12 + -6. Let j(c) = -c + 0*c + 6 + y*c**2 + 3*c + c**3. Let u be j(-6). Is u bigger than -7?
True
Let d(a) be the first derivative of 8 + 8*a + 1/2*a**2. Let i be d(-4). Is 2 > i?
False
Suppose -10*u = 21*u + 93. Which is greater: u or 17.2?
17.2
Let z be -3*4/1386*-3. Let p(h) = h**3 + 7*h**2 + 5*h - 7. Let n be p(-6). Which is greater: z or n?
z
Let o = 23/26 - 2819/130. Is o greater than or equal to -22?
True
Let m be ((-37)/15)/(6/18). Suppose -7*b + 3*a = -4*b + 18, 5*a + 2 = b. Which is smaller: b or m?
b
Let s(c) = -c**3 - 23*c**2 + 520*c + 44. Let m be s(-37). Suppose -2*r + 4 = 0, q + 4*r - 9 + 32 = 0. Is m bigger than q?
True
Let y(u) = 4*u**3 + 7*u + 1. Let g(j) = 3*j**3 + 6*j + 1. Let f(i) = -5*g(i) + 4*y(i). Let z be f(-1). Is 0 at most z?
True
Let w = -392/66415 + -2/185. Which is bigger: w or 1?
1
Suppose 2*r = -10 + 8. Which is bigger: r or -4/179?
-4/179
Let z be 4/(-8)*(-4 + 0). Suppose -z*h - 5 = -11. Suppose -9 = -h*f - 3. Is f != 8/7?
True
Suppose 11 = g + c, g + 3*c - 8 = c. Let p = -18 + -7. Let w be (-4)/g + p/35. Is w at most as big as 0?
True
Suppose 10*d + 1700 = 330. Is d greater than -2?
False
Let q(r) = -r**2 - 3*r - 5. Let n be q(-3). Let t be 30/12 + (n + 0 - -2). Which is bigger: 39 or t?
39
Let f = 203 - 163.9. Let r = 41 - f. Let d = r - -0.1. Is 0 > d?
False
Let w(i) = 2*i**2 + 1 + 3 - i**2 - 6*i - 1. Let z be w(6). 