 - 0. Let v = -4.9 - -5. Which is bigger: v or u?
v
Suppose -1 = p + 4. Let s = -5 - p. Which is smaller: -1 or s?
-1
Suppose -g = 3*g - 24. Let d be 2/3*g/44. Is 0 > d?
False
Suppose 1 = -3*s - 4*r, 2*s + 0*r + 2*r = 0. Let d = 0 + s. Suppose -2 = u - d. Which is smaller: -1/3 or u?
u
Suppose 4*l + 1 = -3. Let b = 21.1 - 1.1. Let t = 15 - b. Which is smaller: t or l?
t
Suppose -5*g = -22 - 18. Suppose -3*a = 5*c - 8, -a + g = 5*c - 2*c. Let h be 5 - c - 3/2. Which is smaller: h or -2?
-2
Let u = 939 + -105167/112. Let r = -435/1456 - u. Let m = r - -2/91. Which is smaller: m or -3?
-3
Let x = -25 + -70. Let a be 5*((-97)/x - 1). Is a less than -1?
False
Let d(z) = 6*z + 1. Let g be d(2). Let p = g - 13. Does p = -1?
False
Let t = -1/73027 + 279474346/1241459. Let n = t + -225. Is -1 greater than or equal to n?
False
Let t be ((-8)/(-6))/((-4)/(-6)). Let j(r) = r**2 + 6*r + 8. Let y be j(-4). Let l be (y + t/(-8))*-1. Which is smaller: l or 0?
0
Let w be (-6)/(30/(-65)) - 0. Is w at most as big as 13?
True
Let a be (1 - (-2 - -1))*1/15. Which is smaller: a or 2/7?
a
Let a = -21 + 23.1. Let q = -0.5 + a. Let b = q + -2. Which is smaller: 0 or b?
b
Let x be (4/310)/(6/(-30)). Is x > -2?
True
Let a be ((-7)/3)/((-35)/1827). Let s = a - 121. Which is bigger: s or 1?
1
Let w = -115 - -115. Let g be -2 + 0 + 14/6. Is w at most g?
True
Let q be (-4 + 0)*(-3)/(-6). Let u(w) = -w - 4. Suppose -3*y - 8 = 1. Let x be u(y). Is q < x?
True
Let i = 0.01 - -0.29. Let n = i - 0.1. Is n at least as big as 0.3?
False
Let c be -6 + (1 - -1) + 99/22. Is -73 at least c?
False
Let h be 9/(-15) + 0 + 1. Is h equal to 0?
False
Let h = 18/19 - 131/38. Do h and -4 have the same value?
False
Let l(w) = -w**3 + 5*w**2 - w + 4. Let t be l(5). Let j be 1/(-4)*(-2 - t). Is -1 at most j?
True
Let y be 2*(-3 - 2/(-4)). Suppose 3*z - 2*g - 3*g + 35 = 0, -3*z = -3*g + 27. Is z smaller than y?
False
Let g be (-3)/24*7 - -1. Let o be (-165)/18*6/200. Let f = g - o. Is f bigger than 1?
False
Let k = -1.3 + 1.5. Let l = 57 - 31. Let j be 2 - (-1 - l/(-8)). Is k bigger than j?
True
Let x = 167/2 - 82. Suppose 18 = 4*c + r - 0*r, 2*r + 24 = 4*c. Suppose -c*q - 3*d + 14 = d, 4*q - 13 = -5*d. Is x not equal to q?
True
Let v = 1/19 + 15/76. Let z = 12/83 + 3651/581. Let m = z - 391/63. Which is bigger: v or m?
v
Suppose 4*p - 2*a + 8 = -18, -3*a = -3*p - 27. Suppose -5 + 25 = -5*w. Are w and p non-equal?
False
Let g = 12/19 + -160/133. Let d be (-24)/35 - (8 + (-294)/35). Which is smaller: d or g?
g
Let z be 24/9*1*-3. Are z and -8 non-equal?
False
Suppose 2*a = -a - 51. Do -17 and a have different values?
False
Let v(i) be the third derivative of i**5/60 + i**4/3 + 4*i**3/3 - 2*i**2. Let h be v(-7). Which is smaller: -2/7 or h?
-2/7
Let s be (-226)/(-10) + 9/45. Let p = s - 23. Which is smaller: p or 6/7?
p
Suppose 4*k - 12 = 3*o + 2, 4*k = -4*o. Which is bigger: o or -3/4?
-3/4
Let z = -273 + 1359/5. Which is greater: z or 0?
0
Let i be (-4)/22 + (-32)/308. Let n = 0 - 0.1. Let a = n - -1.1. Which is smaller: a or i?
i
Let f(x) = -x**3 - 8*x**2 + 7*x - 8. Let p(s) = s**3 - 6*s**2 - 8*s - 2. Let j be p(7). Let r be f(j). Which is smaller: 9 or r?
9
Let d(y) = y**3 + 11*y**2 + 9*y + 34. Let s be d(-11). Is s bigger than -66?
True
Let m be ((-6)/16)/((-9)/4). Let y be -21 - (-1 - (-2 - -1)). Let s = y - -22. Which is smaller: m or s?
m
Let a be ((-6)/14)/(18/(-444)). Let h = a - 76/7. Is h greater than or equal to 0.4?
False
Let o = -39/31 - -785/279. Is 2 < o?
False
Let k be (-6 - -5) + 2 + -1. Let b(n) = -n + 10. Let q be b(0). Let w be 2 + 3/((-24)/q). Which is greater: k or w?
w
Let v = 0.04 + -0.04. Let x = 0.1 - v. Is -0.1 != x?
True
Let u(v) = 2*v**2 + v. Let l be u(-1). Let r be (l + -4)/((-2)/4). Let d be (3/9)/(9/r). Do d and -1 have the same value?
False
Let p be 4/10 + 18/5. Suppose k + 2 = 3*i - 9, 28 = 2*k + p*i. Let d(l) = 5*l - 12. Let j be d(3). Which is bigger: j or k?
k
Let r = 0.071 + 7.745. Let x = r - 0.116. Let g = 8 - x. Which is smaller: -1 or g?
-1
Let k be (-1)/2*0/(-2). Let t be -9 - -6 - k/(-1). Is t greater than -3?
False
Let i = -1.8 + 2. Let s = -0.8 - i. Let k = -2.8 + 2.7. Which is smaller: k or s?
s
Let i = 6 + -11. Let d be (-1)/((-1)/7 + 0). Suppose 4 = 4*u, 2*r + d + 6 = 5*u. Which is greater: i or r?
r
Let b(j) = 2*j**3 - 11*j**2 - 7*j + 7. Let m be b(6). Let p = -67 - -470/7. Are p and m nonequal?
True
Let l(j) = 141*j**2 + 2*j - 2. Let b be l(-2). Let a = b - 25109/45. Let m = 2/9 - a. Are -1 and m non-equal?
True
Let z be (25/(-5))/5 - -2. Which is smaller: z or -3/17?
-3/17
Let g = 5 + 0. Let d(m) = m**2 - 5*m - 1. Let y be d(g). Which is smaller: 1/11 or y?
y
Suppose -2*z - 7 = w, 4*w - 3*w + 17 = -4*z. Let p be (-3)/12 - w/(-12). Is -2 not equal to p?
True
Let j = 22 + -53. Does -31 = j?
True
Let l be (-10 - -3)*(-6)/(-7). Let r = 13 - 7. Let j be (2/l)/((-4)/r). Is 1/3 greater than or equal to j?
False
Let g = -4.5 - -3.9. Which is greater: g or 3?
3
Let q(b) = b**3 - 5*b**2 + 4*b. Let x be q(3). Suppose -3*i = 4*d + 37, 39 = 5*i - 10*i - d. Is x >= i?
True
Let y = 28 + -40. Is 0 >= y?
True
Let f be (9/(-3) - 0)/(-1). Which is smaller: f or 22/5?
f
Let j(p) = -p**3 + 7*p**2 - 6*p + 1. Let t be j(6). Is t at most 1/8?
False
Suppose -6*h = -h + 10. Let k = -0.1 - 0. Do h and k have the same value?
False
Suppose 0 = 2*g + 1 + 3. Let p be (1 - (5 + g))*-1. Suppose p*n + 2*n - 12 = -2*c, -2*c = -n - 2. Is n greater than 2?
False
Let x = -4.5 - -4. Let m = 0.1 + x. Let i = m + 1.4. Is i greater than -0.1?
True
Let c be 4/(-6) + (-16)/(-15). Suppose 4*a - 7 = n, -3*n + 6 = a + 1. Is a smaller than c?
False
Let m be 18*2/(-12)*-4. Suppose -4*h = 4*g - 0 + m, h - g = -1. Is -1 smaller than h?
False
Let u = 7192 - 36174/5. Let s = u - -43. Let n(j) = -2*j + 21. Let q be n(11). Which is bigger: q or s?
s
Let k be (-2 + 4)/(15 + -7). Is 49 bigger than k?
True
Let p = 4 + -10. Let w = 4 + p. Are -8/5 and w nonequal?
True
Let i = -2 + -3. Let x = 6 + i. Suppose 2*f - 2 = 2. Which is greater: x or f?
f
Let q = -0.084 - 0.916. Let f(c) = c**2 + c - 5. Let t be f(-4). Is t > q?
True
Let q(m) = -m**2 + 5*m - 4. Let c be q(4). Let o = 2 - c. Let k be 3/(-12)*-7 - o. Is 0 bigger than k?
True
Let a = -2 + 7. Suppose -a = 5*d - 0. Is d < 1/21?
True
Suppose -4*o = 5*q - 0*o + 17, -4*q - 1 = -o. Which is greater: q or 2?
2
Suppose i = 4*f + 16, -3*i - 3*f + 3 = -0. Is 7 >= i?
True
Let n be 32/112 + (-2)/(-42). Which is greater: -5 or n?
n
Let a = -3 + 15. Suppose -3*r - 9 = 0, -2*l - 12*r + 17 = -11*r. Is l bigger than a?
False
Let r(d) = -d**3 - 9*d**2 - 6*d + 8. Let t be r(-8). Is -11 less than or equal to t?
True
Let n be 2 - (266/(-3))/(-2). Suppose 2*s + 77 = -7. Let t = s - n. Which is smaller: 0 or t?
0
Let s = 8/9 + -202/207. Is 2 <= s?
False
Let a be 26/(-1)*(4 + (-144)/30). Which is smaller: 21 or a?
a
Suppose 0 = 5*r - 5*n + 3*n - 1, 3*r + 9 = -2*n. Suppose -9*w + 7*w = 2. Let y be 10/(-10)*(-1 + w). Do r and y have different values?
True
Suppose 0 = 3*j - 9*j + 30. Let t be (-3 + 11)/4 + j. Is 7 less than or equal to t?
True
Let z be (1 - (-1)/(-2)) + (-2 - -1). Which is smaller: 0.032 or z?
z
Let r(m) = -m**3 - m**2 - m + 5. Let t be r(0). Let o(y) = y**3 - y**2 + 4. Let k be o(0). Which is smaller: k or t?
k
Let a = 0.2 + -0.4. Let n = -4.11 - -0.11. Let d = -4.1 - n. Do d and a have the same value?
False
Suppose -2*m - m - 12 = 0. Let a be m/(-1)*3 - 2. Let k = -7 + a. Which is greater: k or 2?
k
Let x(z) = z**2 - 8*z + 7. Let o be x(6). Let q be 2/o - (-4)/10. Which is smaller: 2/31 or q?
q
Suppose -4*d - 21 - 2 = -o, 5*d + 10 = -5*o. Suppose 0*a = o*a. Suppose a = -5*t + 6 + 4. Is t > 2?
False
Let x be 3 - (-44)/(-14) - 194/14. Is x bigger than -1/3?
False
Let w = 64 + -60. Let k be ((-2)/(-3))/((-14)/6). Which is smaller: k or w?
k
Let p = 4.2 - 4. Let g = p + -0.2. Which is greater: -4 or g?
g
Suppose 4*k = 2*k. Suppose k = -u - 0*u. Which is bigger: u or 1/15?
1/15
Let q(p) = p - 8. Let f be q(0). Let o be (20/16)/(2/f). Let h be -1 + 1/o*-6. Is h not equal to 0?
True
Let y be (2/10)/(5 + -4). Suppose o - 4 = 0, -4*j + 7 = -5*o + 23. Which is greater: y or j?
j
Let k(h) = -h + 1. Suppose -4*d + d = -15. Let a be k(d). Let m be ((-6)/(-14))/(