5 = d*i. Which is bigger: -4 or i?
i
Let p = 8 - 13. Let s be (-30)/(-10) + 13/p. Which is smaller: -1 or s?
-1
Let z(g) = -g**2 - 11*g - 10. Suppose -5*b + c = 1 + 50, 0 = -5*b + 5*c - 55. Let w be z(b). Let t be ((-9)/(-6))/(-3)*w. Which is greater: -2/11 or t?
t
Let n = 1.3 + -0.3. Let m = 4 + -5. Which is smaller: m or n?
m
Let h(t) = -t + 13. Let m be h(15). Let p be 2/(2*6/(-10)). Which is bigger: m or p?
p
Let m(z) = -z**3 - 9*z**2 - 7*z + 11. Let l be m(-8). Let c be 4/(-10) + 22/5. Do l and c have the same value?
False
Let l = 14.8 - 15. Which is bigger: l or -5?
l
Let s = -121 - -70. Is -51 <= s?
True
Let x be ((-54)/(-192))/((-3)/(-4)). Let a(g) = -g + 8. Let u be a(7). Is u > x?
True
Let v = -14178/11 - -1288. Let z = 28/55 + v. Suppose -4*a + u = 5, 2*u + 1 = -4*a - u. Which is smaller: a or z?
a
Let v = 9 - 17. Which is smaller: -1/4 or v?
v
Suppose 6*d - 21 = 3*n + 3*d, 15 = -2*n + 3*d. Let w be (-1)/(-2) - n/4. Let o = -1 + w. Is 2 greater than or equal to o?
True
Let a = -6/149 - -287/3427. Which is smaller: 0 or a?
0
Let u = -0.598 - -25.498. Let a = u - 26. Let m = -1 - a. Is m < -2/5?
False
Let a = -152 + 150. Which is smaller: -64 or a?
-64
Let n = -2096/39 - -560/13. Which is smaller: n or -12?
-12
Suppose -21*d - 99 = -12*d. Is -0.04 greater than or equal to d?
True
Let y(g) = -3*g - 7. Let o be y(-3). Suppose 0 = o*r - 3*r. Does r = 2/13?
False
Suppose f - 6 = -2. Let v be (-3)/f*-1*-4. Which is greater: 1 or v?
1
Suppose -2*b + 2 = -4*o, -4*o - 4*b = -7 - 21. Suppose 1 = -3*h + 2*t, 5*t = 2*h + o*t - 1. Suppose 9 = 4*w + 5. Is h greater than w?
False
Suppose 0 = 2*g + 6 - 4. Let k be (2/(-3))/((-2)/15). Let x(t) = -t + 4. Let z be x(k). Are z and g nonequal?
False
Suppose 5*f + 25 = 0, 3*d + f = -d - 21. Let b = 4 + -6. Let s = b - 3. Which is greater: d or s?
d
Let h(r) = r**2 + 2*r + 4. Let b be h(-3). Suppose -2 = 6*c + 40. Let k = c + b. Which is smaller: -1 or k?
-1
Suppose -w + 53 = 43. Which is bigger: w or 6?
w
Let t = 63 + -62. Are -4/13 and t non-equal?
True
Let w be 0 + 4 - 20/3. Let s = -7 - -4. Is s less than w?
True
Let b(r) = -r + 10. Let g be b(6). Let q = 3 - -1. Let v(s) = -s**3 + 4*s**2 + 3. Let p be v(q). Which is greater: p or g?
g
Suppose 17*l - 14*l = -3. Is l greater than or equal to 6?
False
Let c = 0.137 - 16.037. Let y = -16 - c. Which is bigger: -0.04 or y?
-0.04
Let a be 220/26 + (2 - 0). Let q = a - 10. Let t = q + 8/39. Which is smaller: t or 0?
0
Let c(v) = -v**3 - 4*v**2 + 6*v + 7. Let o be c(-5). Let m(x) = -x**2 - x + 2*x**o - 6*x + 5. Let j be m(6). Which is bigger: j or 0?
0
Suppose 10 = -3*x - 23. Is -9 bigger than x?
True
Let y be (-3 - 0)/(-306) - 0/(-6). Which is smaller: -1 or y?
-1
Let a be (-96)/54 + 2/(-9). Let l be ((-6)/(-4))/(6/12). Suppose 0 = -5*j + 2*d + l, 0*d - 5*d - 23 = 3*j. Is j greater than or equal to a?
True
Let b be (2 - 3)/(5/(-15)). Which is smaller: 1 or b?
1
Let m = -53 + 263/5. Let p = -0.1 - -5.1. Which is bigger: m or p?
p
Let p = -3.645 + -0.055. Let w = 0.3 - p. Is 0 bigger than w?
False
Suppose 4*q = 8*h - 4*h - 12, 5*q + 15 = -3*h. Let v be ((-2)/4 - h)*-2. Which is greater: v or 0?
v
Let y(g) be the third derivative of g**4/24 - 4*g**3/3 + 5*g**2. Suppose -4*s + 24 = -s. Let o be y(s). Which is smaller: -1/3 or o?
-1/3
Suppose -5*w = 9 + 16. Which is smaller: -2 or w?
w
Let q = -125 + 124.4. Which is greater: q or -10?
q
Let h(i) = -i + 2. Let z be h(-6). Suppose -3*w = -z - 1. Suppose 0 = -5*l + 2 + w. Which is bigger: -3/7 or l?
l
Suppose 2*r - 3*r + 3 = 0. Suppose 34 = r*i - 20. Which is smaller: i or 17?
17
Let s = 16.9 - 17. Does s = 2?
False
Let t = -772/9 - -86. Which is smaller: t or -11?
-11
Let o = 52 + -18. Is o at least as big as -0.1?
True
Let c be -3 + (-9)/(-1) + -2. Suppose 7*s = 3*s - c. Which is greater: 1/3 or s?
1/3
Let w(c) = c**2 - 4*c + 3. Suppose 5*v - 5 = 0, -4*g + v = -3*v - 12. Let k be w(g). Let i be 16/(-10) + 1 + 1. Which is smaller: k or i?
i
Let w be (3 + -1)*(-4 + 3). Is w bigger than -11/6?
False
Let o(s) = -6*s**2 - s - 1. Let x(t) = -t**2 - t. Let f(v) = -o(v) + 5*x(v). Let a be f(3). Let c = -3 - -2. Is a > c?
False
Let h be -12 + 9 + 186/58. Let b = h - -5/116. Which is bigger: b or 0?
b
Let r = 5 - 8. Let a = 0.025 - -2.975. Let n = a + r. Is n >= 1?
False
Suppose -3*b = -0*b + 6, 4*q = -3*b - 10. Which is smaller: q or 2/19?
q
Let l(n) = 2*n + 33. Let q be l(-15). Is q at least 0?
True
Let d = 63 - 67. Which is greater: -2 or d?
-2
Let d be (2/5)/(6/(-60)). Suppose 5*i = -0*i + 15. Let s be 2/i + (-8)/3. Which is smaller: s or d?
d
Let g(a) = -3*a**2 + 5*a - 2. Let r be g(3). Which is greater: -15 or r?
r
Suppose 0 = 3*l + 5 + 22. Let d be 26/l - 0/(-3). Let a = d - -155/63. Is a at least as big as 1?
False
Let y = 2.1 - 2.2. Let z = 5/14 - 17/28. Which is bigger: z or y?
y
Let w = 7 + -7. Let h be w/3 + 2/24. Which is greater: -1 or h?
h
Let d(n) = 3*n**2 + 3*n + 3. Let y be d(-2). Let r(l) = -l + 17. Let w be r(y). Let p(i) = i - 11. Let v be p(w). Is -4 < v?
True
Let w = 0.8 + -0.5. Let t = -1.4 + 1. Let s = t + w. Is 2/5 at least s?
True
Suppose 18 = -3*a - 0*a. Let c be (-3)/(a/(-2)) + 5. Let v be c/(-6) - (-4)/(-3). Which is bigger: v or -3?
v
Let h = -87.97 - -87. Let k = h - 0.03. Which is greater: -0.7 or k?
-0.7
Let w be 612/27 + 2/(-3). Suppose 2*s + 0*f + 4*f - w = 0, -7 = -2*s - f. Which is smaller: s or -2/45?
-2/45
Let j(n) = 0*n**3 - n**3 + 0*n**2 + 2 + n - 3*n**2 + 3*n. Let v(w) = w**2 + 4*w - 4. Let b be v(-4). Let q be j(b). Which is smaller: q or -1/3?
-1/3
Let i(t) = t**2 + 2*t + 3. Let j be i(0). Let u = j + -2. Are 1 and u equal?
True
Let k be (-7)/(-21)*(-3)/(-31). Is 0 at least k?
False
Let q(t) be the first derivative of -1 + 1/4*t**4 - 4/3*t**3 + 4*t - 1/2*t**2. Let o be q(4). Is -1/4 equal to o?
False
Let d(q) = 3*q**2 + q + 1. Suppose 2 = -0*n - 2*n. Let g be d(n). Suppose -5*y = -g*y - 2. Which is bigger: y or -2/11?
y
Let q = -2 - -7. Suppose 0 = 5*r - 25 + q. Let o be (-41)/(-8) + 6/(-48). Which is smaller: r or o?
r
Let x = -407/5 - -17913/220. Is 1 less than or equal to x?
False
Suppose 9 = 5*h - 3*y + y, h - 3 = y. Which is bigger: 1/9 or h?
h
Let l = -0.3 + -0.7. Is l less than 5?
True
Let m be -4 + (1 - 1) + 3. Suppose -20 = 2*w - 7*w. Suppose -4*r - 5*a + 0*a = -29, 16 = -w*r + 4*a. Is m <= r?
True
Suppose -2*x + 0 = -8. Let l = -11 - -14. Let m be 1*(2 - 0) + l. Are m and x equal?
False
Let c = 29/18 + -5/18. Which is smaller: c or 0?
0
Let x be ((-6)/(-15))/(8/30). Let s(d) = -d**2 - 6*d - 7. Let z be s(-6). Let c = -5 - z. Which is bigger: c or x?
c
Let t be 9/((-3)/(-6) + -2). Is t >= -4?
False
Suppose 2*z + 0*z = 4. Let k = 18 - 16. Does k = z?
True
Let j = 1 + 0. Suppose 5*t - 8 - 7 = 0. Let k be -1 + t - (-2 + 4). Is k greater than or equal to j?
False
Let s be 0*(4/2)/(-2). Let l be 1/30*558/(-189). Let a = -2/45 + l. Which is bigger: a or s?
s
Let l be (-2)/7 - 30/(-56). Let j be (1 + (-34)/36)*3. Let n = -1/3 - j. Which is smaller: l or n?
n
Suppose 2*h - 3*h + 2 = j, -h + 8 = -2*j. Let d be 1/36 - j/9. Let o = -638/5 - -128. Is o > d?
True
Let k be 3/(1 + (-4)/5). Which is smaller: 14 or k?
14
Let y(x) = 4*x - 1. Let q be y(2). Which is bigger: q or -1?
q
Let y(x) = -x**3 - 8*x**2 - 7*x + 1. Let p be y(-7). Let r = -1 - -3. Let n be (6/(-9))/((-8)/r). Which is bigger: n or p?
p
Let f = -1 - -1. Suppose -10 = 5*d - f. Let g = -25/2 + 12. Is d <= g?
True
Let h = -15/22 - -2/11. Do 2/7 and h have the same value?
False
Let w = 55 - 38. Which is bigger: w or 18?
18
Let u = 84 - 171/2. Is u > 1/4?
False
Suppose -4*t - 5*k = -10, -2*t + 5*k - 4*k = 2. Let q be (t - -3) + 40/(-12). Which is greater: q or -0.12?
-0.12
Suppose -5*s - 28 = -12*s. Which is smaller: s or 0?
0
Let r(h) = h - 4. Let m be r(6). Suppose -m*z + 4 = 2*z. Suppose -z = 2*j - 4*d + 1, 0 = 3*d - 12. Which is smaller: 8 or j?
j
Let z = 24 + -21. Which is smaller: z or -2?
-2
Let g(z) = -2*z + 2. Let h be g(-6). Let y be h/8 + 4/16. Suppose r - 5 = y*r. Is -4 > r?
True
Let w(u) = -u**3 + 13*u**2 - 16*u - 2. Let d be w(11). Is d at least 64?
True
Let k be 1/2 + (-2)/(-4) + -5. Suppose -3 = -3*m - 15. Does m = k?
True
Let i be 1*-2 - 440/(-215). Suppose -2*p = 0, -5*p + 4*p = 5*k. Which is smaller: 