1. Let d(m) = 11*m - 1. Let h(i) = -5*d(i) + 4*y(i). Let p be h(1). Is -6 smaller than p?
False
Suppose 3*t = 4*c - 69, -5*c + 9 + 85 = 4*t. Let u be (-30)/c - 2/(-1). Which is bigger: 0.9 or u?
0.9
Let j(r) = r**2 - 6*r - 14. Let i be j(7). Which is smaller: i or -8?
-8
Suppose 6 + 4 = 2*t. Suppose -h - 2*i + t = 0, 5*i - 1 - 4 = 0. Is 1 at least h?
False
Let o be (-2)/6*5*-3. Suppose -4*w = 5*u - 3, -o*w - 4*u = -2*u - 8. Which is bigger: 5/4 or w?
w
Let u = 104 + -106.95. Let t = u - 0.05. Are -1/2 and t equal?
False
Let t = 64 - 193/3. Which is smaller: t or 4/5?
t
Let s = 2.49 - -0.61. Let w = 3 - s. Let a be (1/3)/(60/(-40)). Which is greater: a or w?
w
Let i = 4.94 - 5. Let m = -0.06 - i. Which is greater: m or 3?
3
Let v be 20 + -1 + 3 + -1. Suppose 3*d + 2*b + v = 0, -4*d - 5*b + 9 = 44. Is d equal to -4?
False
Suppose -5*o - 38 = 7. Let m be (-27)/o + (-35)/11. Which is smaller: m or 1/2?
m
Let h = 1/44 - 14/11. Which is greater: h or 0?
0
Let x(h) = h**2 - 4*h + 12. Let v be x(11). Is v bigger than 89?
False
Let f(s) = -s**3 + 6*s**2 + 8*s - 6. Let z = -11 + 7. Let y be (42/9)/(z/(-6)). Let r be f(y). Which is bigger: r or 0?
r
Let o = 1.4 - 1.3. Is 1 at least o?
True
Suppose 3*s - 5*s = -54. Let z = s + -21. Do z and 5 have different values?
True
Let s = 4270/171 + -220/9. Which is bigger: s or 1?
1
Let h = 20 - 28. Do h and -2/5 have the same value?
False
Let t = 11 + -6. Let a = 5 - t. Are a and 1/2 non-equal?
True
Let y(d) = d. Let n(h) = -7*h + 2. Let q(m) = n(m) + 6*y(m). Let s be q(3). Which is greater: s or -3?
s
Let d be 551/3 - 2/(-6). Let l be d/6 - 6/9. Suppose -3*i + 13 - 39 = -4*r, -5*i = -4*r + l. Which is greater: -1/4 or i?
-1/4
Let v = 8.355 + 0.045. Let m = v - 8. Which is bigger: 2/3 or m?
2/3
Let f be (-65)/(-28) + 3/(-24)*-2. Which is bigger: 4 or f?
4
Let f = 20 - 16. Let u = 4 - f. Is u bigger than -2/45?
True
Let g = -20 - -14. Let i be ((-3)/(-2) + 2)*-2. Is i < g?
True
Let j = 3391 - 13669/4. Is -25 equal to j?
False
Let m be 4/59*(-2)/(-12). Let j = m + -376/1947. Which is bigger: j or -1?
j
Let d be (2/10)/((-18)/30). Are 7 and d non-equal?
True
Suppose 0 = 2*d + 5*h - 4*h - 1, 3*h = -3*d - 6. Suppose d*x + 1 = 2*x. Let r = -9/76 + -5/38. Is r at most x?
False
Let s = 6.92 + -7. Let z = -0.08 + 3. Let w = s - z. Is -2 <= w?
False
Let s = 0.5 + -0.5. Let z = 0.11 + -0.01. Do z and s have the same value?
False
Let x = 50 - 92. Is -43 less than x?
True
Let v = 0 - -0.1. Let b = 0.031 + -4.831. Let t = b + 5. Which is greater: t or v?
t
Let r be -1 - (-5)/(15/6). Let m = 4 - r. Suppose 0 = 4*c + 1 + m. Is -2 smaller than c?
True
Let k = 23 + -30. Are k and -1 nonequal?
True
Suppose n = 2*n. Suppose -3*y = -5 - 4. Suppose y*z = -2*z + 5. Is n greater than or equal to z?
False
Let h(x) = x - 4. Let u = 4 - -1. Let g be h(u). Are g and 2 nonequal?
True
Suppose 0 = 25*q + 5 - 130. Which is smaller: 7 or q?
q
Suppose -t = 2*p - 6, 2*t = -2*p - 2*t + 12. Let v = p + 4. Is 5 greater than or equal to v?
False
Let p(v) = 2*v**2 - 8*v. Let a be p(6). Let c be (-6)/(-21) + a/63. Which is greater: 0.01 or c?
c
Let y(i) = i + 5. Let q be y(-3). Let l(z) = -z**2 + 4*z - 3. Suppose 6*o - 15 = o. Let c be l(o). Which is smaller: q or c?
c
Let o be (-12)/8*2 + 2. Is 8 less than o?
False
Let s = 40 - 24. Suppose 0 = -z + 2, 0 = 2*d - 2*z + 7*z - s. Is -2/5 at most as big as d?
True
Let i = -9/13 - -109/26. Let p = -0.07 + -0.23. Let r = 1.3 + p. Is r equal to i?
False
Let k(s) be the third derivative of s**5/60 + s**4/12 - s**3/6 - 2*s**2. Let w be k(-2). Is 1 > w?
True
Suppose 16 - 6 = -5*m. Which is smaller: m or 4?
m
Let y be 2/15 + (-168)/1035. Is 1/5 at most y?
False
Let f be (12/8)/(-5 + 2). Is f at most as big as -4?
False
Suppose -59*v + 56*v = 0. Which is smaller: -1/102 or v?
-1/102
Suppose -2*s = -4*d - 6, -5*d - 2 = -2*s + 5*s. Which is greater: d or -2?
d
Suppose -25 = -5*y, 5*v = -y - 2*y. Suppose -11 = p + 4*g + 9, 2*p - 3*g = 15. Let t be p/1 + 4/(-2). Is v greater than t?
False
Suppose -26 = -v + 5*g, 0 = 2*v - g - 9 + 2. Let l be (-26)/(-8) + 2/(-8). Is l > v?
True
Let h(p) = p - 1. Let y be h(-5). Which is smaller: -5 or y?
y
Let b(k) be the second derivative of k**3/6 + 8*k**2 + k. Let g be b(-14). Let w = -1 + 2. Which is bigger: g or w?
g
Suppose -3*f = 4 + 2. Let a(t) = -t**2 + t - 9. Let w be a(0). Let c be (-4)/6 - (-21)/w. Is f equal to c?
False
Let o = 5232 - 15508/3. Let p = 62 - o. Is p > 0?
False
Let j = -0.1 + 0.06. Let n = -0.26 + j. Let p = -0.4 - n. Is -2 <= p?
True
Let v(f) = -f**3 - 32*f**2 - 33*f - 60. Let j be v(-31). Does -0.22 = j?
False
Let g(r) = r**3 - 9*r**2 + 6*r + 14. Let c be g(8). Is -2 bigger than c?
False
Let o = 1 - 5. Let p = 1 + o. Let z be -3 - (-1 - (p + 5)). Is -2/9 less than z?
True
Let w be ((-1)/14)/(1/(-4)). Let b be ((-6)/(-18))/((-1)/6) + 1. Is w equal to b?
False
Suppose 4*z - 2*z + 2 = 0. Let j be 8 + -3 + 3/z. Suppose 5*f - 2 = f - 3*t, -3*f - 7 = -j*t. Is f at most as big as 2/13?
True
Let g = -711208/9 - -78926. Let o = 97 + g. Which is smaller: o or 1?
o
Suppose -2*n + 1 = 3. Let x(b) = b**2 + 8*b - 10. Let o be x(7). Let g = o + -667/7. Is g not equal to n?
True
Let y = -8 - -10. Let v be (-1 - y - -15) + -2. Let d = -10 + v. Which is bigger: -5/6 or d?
d
Suppose -6 + 2 = 4*t. Suppose -3*f + 9 = -0. Suppose -a + 5*a + 3*n = -9, 4*n + 12 = f*a. Is a at most as big as t?
False
Let h be (-1)/(((-9)/(-3))/(-9)). Let t be (0 + 2 - h)/1. Is t less than -2?
False
Let f = -16.135 + 0.135. Which is smaller: 2/3 or f?
f
Let p = 2 + -2. Suppose 225 = x + 4*x. Let b be (-4)/(-10)*x/(-9). Which is smaller: p or b?
b
Let a be 0 - (0 - (2 - 4)). Let l be 4/(-2) + 1*a. Which is smaller: -1 or l?
l
Let l = 3 - -2. Let n = l - 6. Let d be (16/(-6) - -2)*3. Which is bigger: d or n?
n
Let i = -2.89 - -2.9. Which is smaller: 1 or i?
i
Let x(b) = 7*b**2 + b - 1. Let l be x(1). Let g(c) = 2*c - 8. Let f be g(7). Is f not equal to l?
True
Let d(i) = i**3 + 6*i**2 + 6*i + 1. Let j be d(-5). Let l = -3 - j. Let p = -63 - -316/5. Do l and p have different values?
True
Suppose 8 + 0 = 4*a. Suppose 4*y = -a*d - y - 4, 5*y + 13 = d. Which is smaller: d or 4?
d
Let m = -3 - -2. Let q be -1 + 2 + 86/(-106). Let i = 64/901 - q. Which is smaller: m or i?
m
Let u = 7343/48 - 153. Is 1 < u?
False
Let u be 27 - (6 - (0 + 4)). Suppose 0*y + 5*y = u. Is 4 < y?
True
Suppose 3*q - 16 = -q - 3*b, -33 = -3*q + 3*b. Suppose -q*z = -3*z. Suppose -d - 3*d + 4 = 0. Is z != d?
True
Let a(h) = -h**2 + 22*h - 37. Let d be a(18). Are 34 and d equal?
False
Let g(u) be the first derivative of u**2/2 + 2*u - 3. Let l be g(5). Suppose 4*k = l - 3. Is k <= 2/3?
False
Suppose -4*k - 5*g + 537 = 0, -g - 3*g + 148 = k. Is k equal to 128?
True
Suppose 7*i + 80 = 24. Does -8 = i?
True
Let l = 1 - 2. Let x(k) = -k + 12. Let u be x(6). Let p be (-3)/u*2/3. Which is greater: p or l?
p
Let f be (-80)/182 + (-4)/(-14). Let l be (-4 + 6)/10 - 2/10. Which is greater: l or f?
l
Let f be (-30)/(-225) + 23/(-195). Which is smaller: -1 or f?
-1
Let y = 1 + 0. Let f = -1 + 5. Suppose f*h = -h. Which is bigger: h or y?
y
Let m = -12238/5 + 2458. Is m smaller than 11?
True
Let r = -3 - 1. Let s = -4/15 + 14/15. Which is smaller: r or s?
r
Let d(z) = -2*z**2 + 2*z - 2. Let b be d(2). Suppose 8*t = 7*t - 6. Is t greater than b?
False
Let w = 25/52 + 1/52. Is w greater than 13?
False
Let w = 1/26 + 43/234. Let x(v) = -v - 8. Let j be x(-7). Is w > j?
True
Let p be (-2)/6 - (-3)/(-9). Let y = -0.2 - -0.3. Which is smaller: p or y?
p
Suppose -24 = -4*p - 3*f + f, -3*p - f + 20 = 0. Suppose 1 = 3*k - p. Let z = k + -2. Is z < 1?
False
Suppose -d - 9 = -5*i + 9, -5*d = -5*i + 10. Let z be (-276)/(-90) - d/5. Which is smaller: z or 0?
0
Suppose -2*r = d - 5, 3*d - 9 = d - 3*r. Suppose -d = 3*x + 9. Which is bigger: x or -13/3?
x
Let h(w) = w**2 + 6*w - 6. Let b be h(-6). Suppose -5*n = -0*n - 60. Let i = n + b. Is 4 <= i?
True
Let k = 45 + -77. Is k greater than or equal to -31?
False
Let f = 9 - 11. Let b be (-4 + 7)/((-3)/f). Suppose -2*l + 4 = b. Which is greater: l or -1?
l
Let h = 8.4 + -8.4. Which is greater: h or 38?
38
Suppose 0 = -11*m + 4*m - 91. Is m != 2/9?
True
Let b = 2 + 4. Suppose -n + 5*u - 3 = 0, -b*n + 4 = -3*n - 2*