e -16*u = -12*u + 8. Is u smaller than -5/2?
False
Let a = 1.7 - -0.3. Let f = 2.95 - -0.05. Let z = f - a. Is -0.2 > z?
False
Let x = 4.99 + 0.01. Let p = -5 + x. Which is smaller: 1/2 or p?
p
Let z = 0.07 - -0.83. Let q = z + -4.9. Is -1 >= q?
True
Suppose 0*q - 72 = -2*l + 2*q, -2*l - 3*q = -92. Let b be 3/2 + (-45)/l. Is b at most as big as 1?
True
Suppose 27 + 57 = -4*m. Let x = -11 - m. Let h be 25/x*(-4)/15. Is -1 < h?
True
Suppose -b + 1 = 2. Suppose -4*s = -16, c - 4*c - 3*s = -6. Is b at most as big as c?
False
Suppose -2*j = -2*k + 10, 4*k - k = 5*j + 17. Is j greater than or equal to 2/9?
False
Suppose 0*p = p - 2*f - 11, 5*p = -f + 22. Suppose 2*h - 4*h = -4*y + 10, -p*h = -2*y - 7. Let j be 3/(-35) - y/(-14). Which is bigger: j or 0.3?
0.3
Let p(j) = -2*j + 35. Let b be p(15). Suppose 0 + 5 = b*l, l - 1 = 4*x. Let f be ((1 - 0) + 0)/3. Which is bigger: f or x?
f
Suppose 5*c + 11 = 2*c + 4*n, -5*n + 14 = -4*c. Let o = -4 + 6. Suppose v - 1 = -o. Is v != c?
False
Let x be 2*75/(-20)*4/(-3). Is 11 >= x?
True
Let r = -1 + 6. Suppose 0*p - r = 5*p. Let f be (-2)/8 - 42/(-72). Which is bigger: p or f?
f
Let f be 2/(-10) + (-2)/(-6). Let n(d) be the first derivative of -d**2/2 - 10*d - 6. Let a be n(-10). Which is bigger: a or f?
f
Suppose -4*u + 74 - 26 = 0. Suppose -3*n + 15 = -3*w, u + 7 = 3*n - 4*w. Let b be (-4)/(-9) - 2/3. Is b at most n?
True
Let c be (6/(-32))/((-36)/48). Are 1 and c non-equal?
True
Let b = 32 + -32.01. Is b > 2/3?
False
Let s be (9/6)/((-6)/(-20)). Suppose -g - 3*c + s = 4, 5*g + c = 19. Let y = -4 + g. Is -2 >= y?
False
Let z = 139/2 + -70. Which is smaller: 0 or z?
z
Let z be ((-2)/(-6))/(3/(-18)). Let n be 138/(-36) + z/12. Which is smaller: n or -5/2?
n
Let p = 3664/13 + -282. Are -1 and p equal?
False
Let c = 12 - 9. Suppose 3*r + 16 = -g, 0*r + c*r - 14 = 2*g. Which is greater: g or -9?
-9
Let x = -0.11 - -0.01. Which is smaller: 1/3 or x?
x
Let v = 0.024 + 0.476. Which is smaller: v or 2/3?
v
Let n = 1225/6 - 317/2. Let k = n - 45. Is -1 > k?
False
Let h(i) = -i + 5. Let s be h(5). Suppose -4*z - 11 - 13 = -5*q, s = z - 5*q + 21. Do -3/2 and z have the same value?
False
Let a = 1.5 - 2. Let b = 15.5 + -15. Let m = a + b. Which is greater: -1 or m?
m
Let t = -282 + 284. Suppose 0*j - 3*j - 28 = 5*y, 0 = -5*j + 5*y - 20. Let h(p) = p + 6. Let n be h(j). Is n bigger than t?
False
Let u = -1 - -4. Suppose -u + 8 = q. Suppose -5*k = -20, q*r - 1 + 12 = 4*k. Which is bigger: r or 5/4?
5/4
Let q(i) = i**3 - 3*i**2 - 5*i + 1. Let b be q(4). Is b < -4?
False
Let p be 2/(-7) - 2268/(-49). Which is smaller: 48 or p?
p
Suppose 4*v = -0*v. Let s be (-2 - 0/2) + 5. Suppose -2 = -3*g + q + 3, 2*g = -s*q - 15. Is g less than or equal to v?
True
Suppose 2*f + 3 = 7. Is f <= 7/3?
True
Let t(i) = -i**3 - 4*i**2 + 5*i + 1. Let h be t(-5). Let d = 0 - h. Let s be (1*-3)/((-54)/4). Which is smaller: d or s?
d
Let w = -1924.27 - -1933. Let f = w + -9. Let s = -0.3 - f. Is s greater than 0?
False
Let d be (-5)/2*48/(-40). Suppose -12 = -4*i + d*v, -3*i + 10 - 1 = -5*v. Let y be i/(-1) + 70/22. Which is greater: 1 or y?
1
Let f be 1090/(-70) + 4/7. Is -29/2 less than or equal to f?
False
Suppose -6 = b - z, b - 3*b - 5*z = -2. Let n = -5 - b. Is n != -2/3?
True
Let c = 10 + -11.1. Which is greater: c or -1?
-1
Let d be (-2)/7 - 180/693. Is d at most -2?
False
Suppose 0 = 4*a, 5*a = -3*m - 0*a - 12. Let f be 10/(-70)*14/m. Which is greater: 7/3 or f?
7/3
Let c = -0.01 - 0.99. Suppose -4*i - 3 = 1. Let o be (6/(-15))/(i/5). Is o >= c?
True
Let a = 5 + -2. Suppose -a*u + 16 = -u + 3*z, 0 = 4*u - 2*z. Which is bigger: u or 1?
u
Suppose -4*h + k + 2 = 0, -2*h = k + 4 - 2. Suppose 0*q = 5*w + 3*q, h = 5*w + 4*q. Does 0.1 = w?
False
Suppose -4*q = 5*c + 6 + 10, 8 = -2*q. Is 0.035 at least c?
True
Let p(q) = -3*q - 2. Let a be p(-4). Suppose 0 = -2*y - 6, -2*d + 3*y + y = -a. Let i = d + 3. Is i != 2?
False
Suppose 2*a + 4 = -4*q, -2 = 2*a + 2*q - 0. Let c(o) = -o**2 - 8*o - 8. Let u be c(-7). Is u less than a?
True
Let n = 4 - 7. Let v = -2 - n. Let a be 3 - (-2 - (-5)/v). Which is smaller: a or -1/3?
-1/3
Let v(a) = -a**3 - a**2 + a + 1. Let x be v(-1). Which is smaller: x or -1/21?
-1/21
Let o be (-1)/(-2) + 14/(-20). Let f = 0.23 + 0.67. Let p = 0.1 + f. Which is smaller: p or o?
o
Let f be (-12)/(-5)*15/(-2). Let m be (-6)/27 - (-8)/f. Is -2 smaller than m?
True
Let f(t) = t**2 - 7*t - 7. Suppose 3*z + 4 = 25. Let g be f(z). Are g and -6 non-equal?
True
Let b = 7.2 + -7.17. Are b and 0 equal?
False
Let p = -968 + 2944/3. Let b = p - 14. Is -6 at most b?
True
Let z be 33/6 + (-1)/(-2). Suppose 3*h - z = -2*f, 5*f = -0*f. Is h != 2?
False
Let n = -24 + 22. Which is smaller: n or -2/11?
n
Let g = -9548887/580866 - 3/8801. Let o = -168/11 - g. Which is bigger: 0 or o?
o
Let r = -56 + 59. Do 6 and r have the same value?
False
Let m be -4 + 5 - (-6 + -1). Suppose 6*j - 2*j - m = 0. Suppose 0*a + j*a = 0. Is a < -0.1?
False
Suppose a = -5 + 4. Is a < 1?
True
Let z be 4/10 + (-1224)/1035. Are z and 0 nonequal?
True
Let p = -5 + -1. Let t = -6 - p. Let n = -20/39 + 2/3. Which is smaller: n or t?
t
Let c(a) = -2*a**2 + a. Let y be c(1). Let o = y - -3. Suppose 2*p - 4*t = -5*t - 2, -o*p + 2*t - 2 = 0. Is -1/4 greater than or equal to p?
True
Let p = -0.3 + 1.3. Which is smaller: p or 4?
p
Let m = -0.21 - -0.11. Is m less than or equal to 2/9?
True
Let a(h) = -h**3 + 4*h**2 - h + 3. Let o be a(4). Let z be 6/(-75)*-20*(-10)/4. Is z at least o?
False
Suppose 0 = -5*b - 4*k - 7, 4*b - 4*k + 2 = 6*b. Let i be (1 + -1)/(b/(-3)). Suppose 2*y - 5 = -p, i*y + 4*p = -2*y + 14. Which is bigger: 1/7 or y?
y
Let l(u) = 22*u**2 + 2*u - 4. Let d be l(3). Suppose -5*q + 15 = 0, 3*q + 32 = 3*n + d. Let f = n + 211/4. Is -1 >= f?
False
Let h = 38/15 - 1346/555. Is 0 less than h?
True
Let p = -42 + 29. Let g = p + 16. Are -2 and g equal?
False
Suppose 0*q = i - 3*q, -10 = -3*i + 4*q. Let j be 5/i*27/30. Which is smaller: j or 1?
j
Suppose -2*j + 34 = 3*j - y, 26 = 3*j - 2*y. Which is greater: 9/2 or j?
j
Suppose 3*g = g. Let s be (-39)/(-117) - 1/(-23 + -1). Is g > s?
False
Let f be (2 - 1)/(3 - 2). Which is greater: f or 0?
f
Let j = -17 - -15. Which is bigger: j or 2?
2
Let v = 0.06 + -0.2. Let o = 0.54 + v. Is o > 1?
False
Let l(u) = 365*u**3 - 2*u**2 + 1. Let q be l(1). Let v be 160/q - (-4)/(-14). Which is greater: 0 or v?
v
Let j = -11.5 + 6. Let f = 6 + j. Which is bigger: -2/3 or f?
f
Suppose 2*v = -2*u + 20, 38 = 3*u - 0*u + 5*v. Which is smaller: u or -7?
-7
Let r = -163/3 - -56. Which is smaller: 0.2 or r?
0.2
Let k = -1/44 + -7/44. Suppose c - 4 = 0, -18 = 5*t - 5*c + 7. Is t at least as big as k?
False
Let i(g) = -g**2 - 5*g - 1. Let y be i(-4). Suppose 5*h = y*h + 12. Suppose -h*n = -n. Do -1 and n have the same value?
False
Let m = 5.702 - -0.478. Let i = m - 0.18. Which is smaller: 0.1 or i?
0.1
Let t be -2*(-1)/(5/4). Which is smaller: -1 or t?
-1
Let s = 1.3 + -0.3. Let u = 309 - 317. Which is bigger: s or u?
s
Let p be ((-4)/(-2))/(-2 + 0). Let n be (-6)/(-3)*p/1. Suppose -2 = 3*t + 7. Is t <= n?
True
Let u be (-2)/(-5) - 6/15. Let l be -3*(1 - (-2823)/(-297)). Let b = 76/3 - l. Which is bigger: u or b?
u
Let o = 0 - -8. Suppose -a + o = -7. Suppose 5*i = -0*r + 2*r - 15, 5*i + r + a = 0. Is i at most as big as -2?
True
Let w(u) = u**2 + 5*u + 3. Suppose -3*f = 2*f + 25. Let g be w(f). Suppose 3*l + 5*h = 22, -4*l - g = -2*h + 11. Is -1 bigger than l?
False
Suppose -r - f + 8 = 2*f, -4*r + 4*f + 48 = 0. Which is smaller: 12 or r?
r
Let n = -86 + 256/3. Is 12 <= n?
False
Let s = -14.2 + 14. Is s >= 0?
False
Let g be 0 + 0 + 0 + 0. Let c = 337/55 - 30/11. Let b = c + -3. Do g and b have the same value?
False
Suppose 0 = -4*d + 4*k - 8*k - 20, 0 = -d + 4*k + 15. Suppose 8*j = 5*j + 8*j. Is j smaller than d?
False
Suppose 3*b - 8 = 1. Suppose -g - b = -4*g. Suppose -g = -3*r - 10, -5*r = -3*f + 27. Is f equal to 5?
False
Let z = 5 - -54. Let o = -51252 - -769667/15. Let m = z - o. Which is bigger: m or 1?
1
Let b(w) = 7*w + 2. Let k be b(-1). Let j(x) = -6*x**2 + x. Let c be j(1). Are c and k nonequal?
False
Let z = 0.52 - 0.5. Let c = 5.02 - z. Let x = 4 - c. Which is bigger: -0.07 or x?
-0.07
Let q = 1151/4 + -291. Which is bigger: q or 