Let m = 0.02 + d. Let f = -5.1 + m. Which is smaller: f or 4?
f
Let v be (3/2)/((-8)/(-16)). Is v at least 2?
True
Let d = 0.19 + -0.19. Which is bigger: -2/15 or d?
d
Suppose 5*i - g = -4*g - 1, -12 = -4*i + 4*g. Is 5/6 <= i?
True
Suppose -2*h = -5*b + 7 + 4, 2 = -2*b. Let r = 6 + h. Let j be (-88)/70 + 2/5. Which is greater: j or r?
j
Let n(h) = -2*h + 4. Let d be n(-6). Let p be 6/15 + d/10. Let v be 1 - (p + -2 + 4). Is v != -2?
True
Let q = -49 + 48.9. Is -2/9 != q?
True
Let d be -6 + -1 + 5 + -1. Is d greater than -13/3?
True
Let j = 1.1 + -1.1. Let l = 1 + j. Is 0 at most as big as l?
True
Let l = -0.17 + 0.17. Which is smaller: l or 12/11?
l
Suppose 2*r = -3*r. Suppose -3 = 4*z - 3*b, 2*z = 3*z + 3*b - 3. Is z smaller than r?
False
Let f be (4/(-6))/(26/(-117)). Is 0 equal to f?
False
Let f = 759 + -14415/19. Which is smaller: f or -1?
-1
Let w(a) = a**2 - 2*a - 5. Let n be w(5). Suppose -2*o - 3*o = -10, -2*y - n = -4*o. Is -1 <= y?
True
Let n be 1*1/(-5) - 1. Let f(p) = -p**2 + 10*p - 11. Let q be f(8). Suppose -y + 3 = q. Is n at least as big as y?
True
Let s = 25 + -18. Let x = s + -5. Let i be (4/50)/((-1)/(-5)). Which is smaller: i or x?
i
Suppose 2*y = -5*a + 3*y - 24, -3*a - 3*y = 0. Suppose -5*u = -2*g + 5*g - 55, 2*g + 5*u = 30. Suppose 3*v + g = -5*o - 7, v = o. Is a >= v?
True
Let a be (-1)/1*(-6 - 0). Suppose a*d = d. Suppose 0 = -10*f + 6*f. Is f greater than d?
False
Let b = 7 + 0. Let i = -4 + b. Is -2/5 < i?
True
Let r(f) = 2*f - 6. Let m be r(13). Suppose 0 = -6*v + v - m. Which is smaller: v or 1?
v
Let g be (-52)/(-9) - (-84)/(-14). Does g = 2?
False
Let k = 8 - 12. Suppose m + 2 = 12. Let s be (k/(-10))/((-18)/m). Which is smaller: s or -1?
-1
Let k(y) be the third derivative of y**6/120 - y**5/12 + y**4/6 - y**3/2 - y**2. Let d be k(4). Let b = d + 2. Are -2/5 and b equal?
False
Suppose -2*o + 12 - 66 = 0. Which is smaller: -28 or o?
-28
Let k = 547/3 + -185. Let f = -257 + 764/3. Let z = f - k. Is z less than 2?
True
Let j(a) = -a**2 - 21*a + 25. Let m be j(-22). Which is greater: 2 or m?
m
Suppose 4*d - 5*a + a = 52, 3*a + 7 = d. Let i be d/30*(-2)/8. Which is smaller: 1 or i?
i
Let x = -18.7 + 13. Let i = x + 6. Let t = -0.4 + 0.4. Which is smaller: i or t?
t
Let s(y) = y + 10. Let w be s(-8). Suppose 4*b = -w + 22. Which is greater: 4 or b?
b
Let n be (1 + -2)/((-4)/(-76)). Let l = -31 + n. Let h be ((-8)/l)/(4/(-10)). Which is greater: -1 or h?
h
Suppose 0 = 5*a - 0*a + 15. Which is bigger: a or -4?
a
Suppose -5*r - 5*j + 1 = -14, -j + 7 = 3*r. Let k be r/10 + 21/20. Suppose 0 = -4*t + 2*m + 12, 3*t - 7 = -0*m + m. Do t and k have different values?
True
Suppose w + 0*w = 2*v, -v - 3*w - 7 = 0. Is 3/10 greater than or equal to v?
True
Let s = -0.7 + 0.4. Let v = s + -0.7. Let q = -2 + 3. Is v at least q?
False
Suppose -19*s = -16*s + 90. Is -29 < s?
False
Let v = 12 - 11.99. Let p = -0.11 - v. Is p greater than or equal to 0?
False
Let y = 17 - 14. Which is greater: -2/7 or y?
y
Let t(v) = 2*v**2 - 11*v + 6. Let o be t(5). Is -3/31 >= o?
False
Let c be 15/5 + (-4601)/1612. Let b = c + 1/124. Let j be -2 - (-1 + 0/2). Which is smaller: j or b?
j
Suppose -3*i = -1 + 34. Let z = i + 7. Is z <= -3?
True
Suppose 5*j - 35 = -5. Suppose k + 5 = h, h + k + 5 = j. Let q be 2/(-33)*h/(-2). Is -1 > q?
False
Let m be 9/(-12) + 42102/40. Let p = -1043 + m. Let c = p - 474/55. Is c < 0?
False
Let d = 163.9 - 162. Are d and -2/5 non-equal?
True
Let n(v) = -v**2 + 2*v - 7. Let w be n(6). Let i = -337/11 - w. Is i less than or equal to -1?
False
Suppose -5*v - 6 = -3*g, 4*v + 5 + 3 = 4*g. Are 3 and g unequal?
True
Let m(k) = 4 - 3*k - 3*k**2 - k + k**3 + 0*k**2. Let g be m(4). Suppose 2*b - x + g = 3*x, 0 = -4*b + 3*x - 3. Is b < -2/5?
False
Let l = -236/5 + 47. Let k = 38 + -36. Is k less than l?
False
Suppose 4*g - 3*q = -q + 6, -q = -4*g + 1. Let i = 1 - g. Suppose l + 2 = i*l. Which is smaller: l or 1/2?
1/2
Let k = -181802/101 + 1800. Which is bigger: 1 or k?
1
Let n(k) = -k**2 + 6*k - 8. Let w be n(7). Let m be (-17)/w + 5/(-5). Is m greater than -1?
True
Let g(u) = u**2 + 5*u - 6. Let r be g(-10). Suppose -5*c - r = -9*c. Is 12 bigger than c?
True
Let p = -103/195 - -5/39. Is p at least as big as 1?
False
Let m(l) = 8*l**3 - 2*l**2 - 3*l - 2. Let n be m(-1). Which is bigger: -1/3 or n?
-1/3
Let n be (2 - 2 - 38)*4/(-8). Which is smaller: 21 or n?
n
Let f(i) = i**3 + 5*i**2 - 6*i - 11. Let b be f(-6). Are -10 and b unequal?
True
Let f = 174/35 - 32/7. Let n = -1 - -2. Are n and f unequal?
True
Let b = -231/4 + 58. Does b = 14?
False
Let d(m) = m**2 + 2*m - 1. Let x be d(-4). Let j be 2/x - 48/(-28). Are 4 and j non-equal?
True
Let y be (-4)/(-14) - 746/14. Let l = y - -1217/23. Which is smaller: 1 or l?
l
Suppose -t - 5*r - 5 = 0, -2*t + 3*r - 22 = -64. Let f be (-2)/(-7) - (-57)/t. Let a = -19/5 + f. Is -3 at most as big as a?
True
Let i = 178634/73 + -2447. Do -1 and i have the same value?
False
Suppose -45 - 98 = 13*a. Is a at least as big as -1?
False
Let t be 1*(0 + 1) - 1. Suppose -4*c + 1 = -3. Is t less than or equal to c?
True
Let b = -4 + 1. Let v be (-9)/15*(-50)/10. Which is smaller: b or v?
b
Let v = -23 + 24. Do -5/7 and v have the same value?
False
Let t(i) = i**3 + 9*i**2 + 7*i - 3. Let v be t(-8). Suppose 0 = v*y - 25. Is 1 < y?
True
Let g(h) = -h**2 - 8*h + 48. Let v be g(-12). Let q be (-4)/10 + (-2)/(-20). Which is bigger: q or v?
v
Let y = 0.1 + 0. Let j(x) = x**3 - 4*x - 2*x**3 + 2 - 9*x**2 + 0*x**3 + 4*x**2. Let w be j(-4). Which is greater: y or w?
w
Let g(n) = n**2 - 8*n - 3. Let t = 16 - 8. Let u be g(t). Is -1 smaller than u?
False
Let m be (18 - 14) + 71/(-20). Is m equal to 1?
False
Suppose -u = 2*t + 8, -4*u + 20 = -u - 5*t. Let a be (-3)/((-9)/291)*1. Let l = -483/5 + a. Which is smaller: l or u?
u
Let l(t) be the third derivative of t**6/120 - t**3/6 - 2*t**2. Let x be l(-1). Does x = -2?
True
Suppose 0 = -3*z - 9, 72 = -4*t + 13*z - 17*z. Let u be 3/(-12) - (-118)/(-8). Is t >= u?
True
Suppose -3*h - 13 = -2*z, 2*h + 5*z - 14 - 9 = 0. Which is greater: -2/215 or h?
-2/215
Let f be 2 + 3/((-1)/1). Is -1/9 at most f?
False
Let v = 37 - 54. Let p = 31 + v. Suppose 4*d + p = -5*c, 2*c = 3*d + c + 1. Is -1 at least d?
True
Let c = 71.04 - 71. Let g = -0.08 - -0.02. Let o = c - g. Which is bigger: -0.3 or o?
o
Let z be (1 - -1) + 2 - 2. Suppose 3*p + z*m + 2 = -3, -14 = 2*p - 4*m. Which is bigger: p or -2?
-2
Suppose 9 = 3*s - 3. Suppose -s*w = -5*b - 0*b + 4, -2 = 2*w - 4*b. Let l = -2/29 + 39/145. Which is bigger: w or l?
l
Let z be 18/(-4)*(-8)/(-6). Let o be (z/(-10))/(3/15). Does o = 2?
False
Suppose 6 = -5*k - 4*n, -k = 4*k + 5*n + 10. Suppose -3*d = g - 5*d, -k*g + 3*d = 0. Is 0 greater than g?
False
Let t(a) = -a**3 + 3*a**2 + a - 4. Let l be t(3). Let o be 0 + l + (-3)/(-9). Suppose -32 = 4*x + 5*m, 13 + 10 = -5*x - 2*m. Which is smaller: o or x?
x
Suppose 5*y = 2*b + 40, 56 = -4*b - 3*y + y. Let o be 4/(-6) + (-44)/6. Let l be b/(-4)*o/(-20). Are 3 and l unequal?
True
Let m = 0.25 - 0.1. Let i = m + 0.05. Which is greater: -5 or i?
i
Let l be 3/(0 - 2/(-2)). Let n be 0/(-1 - 2 - -1). Let f = n - l. Which is greater: -2 or f?
-2
Let k = -22 + 22.01. Let o = -4.09 - -3.1. Let m = k - o. Do 0 and m have different values?
True
Let g = 0.7 - 0.5. Which is greater: g or -4?
g
Suppose 2*t - 27 = 3*t - 5*i, 2*t - i + 9 = 0. Is -6 bigger than t?
False
Suppose 4 = 2*n + 4*r, 3*n + 0*n = -3*r + 6. Suppose 6 = -2*s + 2*u, -3*s = -0*s - n*u + 12. Is -7 greater than or equal to s?
False
Let g = 3 - 2. Which is bigger: -1/3 or g?
g
Let v = -0.35 - -2.95. Is 1 >= v?
False
Let f be 4*(-4 - (-435)/110). Does 0 = f?
False
Suppose -s + 2*i = 3*i - 6, 5*s - 14 = 3*i. Suppose -3*x = -2*z + 2*x + 15, -5*z = s*x + 12. Let d be -2 + 1 - 6/(-5). Which is smaller: z or d?
z
Let d be (-9)/(-430) - (1 - 1). Let r = d - -12/43. Which is greater: r or 0?
r
Suppose -5*n + 2*q = -0*q - 38, -3*n - 2*q + 26 = 0. Suppose 0 = -3*y + n*y. Let h be y/(-1)*3/(-6). Which is smaller: h or -1?
-1
Suppose 0 = -4*s - 15 - 1. Let d be ((-4)/(-6))/(s/6). Let i be d + (-1)/9*-11. Is -1 at least as big as i?
False
Let d(a) = a**3 + 8*a**2 + 8*a + 8. Let i be d(-7). Which is smaller: 3/4 or i?
3/4
Let p(o) = 4*o - 5*o + 1 - 1 - 