, 5*j + 30 = 6*h - h. Let o be (-44)/j + 4/(-12). Which is bigger: o or 6?
o
Let q = -2 - 7. Let o = 7 + q. Let n be (2/(-3))/(3/9). Is o less than or equal to n?
True
Let l be (-6)/(-24) + 94/8. Suppose y - l = 4*y. Is -4 greater than y?
False
Let u be 4/(-6) - 11/(-3). Let k = 3 - u. Let w be ((-9)/63)/((-1)/2). Do w and k have different values?
True
Let t = 0 - 10. Does 0 = t?
False
Suppose -10*b + 565 = 55. Is 49 greater than b?
False
Let b be 1 + (-28)/(-21) + (-1)/3. Are b and -3 unequal?
True
Let u(p) = -p**3 + 17*p**2 - 22. Let j be u(17). Which is bigger: 0.2 or j?
0.2
Let d(y) = 6*y**3 - 10*y + 1. Let q(t) = -t**3 + t**2 + t + 1. Let k(p) = d(p) + 5*q(p). Let h be k(-6). Let v = 2 + -1. Which is bigger: h or v?
v
Suppose -8*r = -5*r - 6. Suppose -r*d - 20 = -6*d. Which is bigger: 2 or d?
d
Let s be 4/1*59/(-6). Let q = -40 - s. Let w = -2048/11 + 186. Which is smaller: w or q?
q
Suppose -6*n + 154 = -92. Is n smaller than 40?
False
Let c be 3/((-4)/(-4)*1) - 2. Suppose -g + 4*h = -16, 0 = -2*g + 2*h + 1 + 1. Let k be g/(-10) - (-19)/(-35). Which is smaller: k or c?
k
Let l = 13 + -18. Let k = 4.9 + l. Let c = 0 - -0.2. Which is bigger: c or k?
c
Let y be 1 + 0 - 76/92. Which is greater: 0 or y?
y
Let m(t) = -t**3 + 6*t**2 + 7*t + 1. Let u be m(7). Let p be (2 + 2 + -1)/u. Suppose -5*q - 2*o = -7*o - 15, -4 = -4*q - 4*o. Which is smaller: q or p?
q
Let m = 2.2 + -3.15. Let j = -0.05 - m. Let c = -0.7 + j. Is c < 0.2?
False
Let z(g) = -5*g**3 - 2. Let q be z(2). Let x be ((-212)/3)/((-5)/(-3)). Let l = x - q. Which is bigger: l or 0.1?
0.1
Let n = 0.88 + -0.58. Let u be (2/(-28))/((-3)/(-12)). Are n and u unequal?
True
Let p = 6/23 + -71/184. Let s = -0.18 - 0.92. Let r = s + 1.2. Which is bigger: p or r?
r
Suppose -z = -4*z + 24. Is -2/5 bigger than z?
False
Let l be 6/(-4) + (-5)/2. Let g be l/30 + 56/195. Is g greater than -1?
True
Suppose -t - 5*f - 1 = 2*t, 6 = -t + 4*f. Let g be (t/(-5))/((-2)/(-30)). Suppose -g*a = -a. Which is greater: -1/3 or a?
a
Let h(u) = -u. Let s be h(3). Let a be (3 + (-2)/2)/(-1). Is a >= s?
True
Suppose 14 = -0*i + 7*i. Is -6 greater than i?
False
Let h(w) = -2*w**2 - 4*w + 3. Let f be h(-4). Let g = f + 13. Which is bigger: g or 2/11?
2/11
Let g be 2/(-9) + 40/18. Suppose -4 = -g*j + 6*j. Which is bigger: j or -2/7?
-2/7
Let v be 2/3*(-3)/(-2). Let n = 4/39 - -128/273. Is n bigger than v?
False
Let d be 6/(-4)*4/(-3). Let g = 56 + -166/3. Is g <= d?
True
Let i be ((-20)/6)/((-2)/(-3)). Let v be (3 + i)/(4/(-10)). Suppose 0 = -c + 3 - v. Which is greater: -5 or c?
c
Let h = 7764557/32923 - 65/2993. Let d = 236 - h. Is d at least 1?
False
Let y be (-33)/738*(-357)/28. Let j = -8/41 + y. Is j bigger than -1?
True
Let n(q) = q**3 + 4*q**2 + q - 3. Let l be n(-3). Suppose -l*a - 2 = -a. Is a greater than 1/4?
False
Let y(r) = r**2 - r - 20. Let u be y(5). Let n = 159288 - 61325832/385. Let i = 2/35 + n. Which is smaller: i or u?
u
Suppose 3*w = 5*w + 24. Which is greater: w or -14?
w
Suppose 2*a - 3*a + 4 = -3*n, -4*n - 3 = a. Let c be 1*((n - 0) + 1). Suppose 3*b - 1 - 2 = c. Which is greater: b or 0.1?
b
Suppose -1 = f - 2, 0 = -3*n - 2*f + 5. Is 2/17 >= n?
False
Suppose -2*o + 8 = 2*o. Suppose 3*f = o*r - r + 17, 0 = 4*f - 3*r - 26. Suppose 5*t = f*g, 2*g + 3*g - 30 = -5*t. Which is smaller: 4 or g?
g
Let k be 0 + (-3 + 2 - -1). Suppose 0 = -k*m + 4*m - 60. Suppose 0 - m = -5*t. Is t at most as big as -1?
False
Let g(h) = -h**2 - 21*h - 27. Let d be g(-20). Which is bigger: -11 or d?
d
Let p be 153/(-63) - 6/(-14). Let v be p*10/8*-2. Suppose n = v*i - 13, 0 = 5*i + n - 8 + 1. Which is bigger: i or 3?
3
Let i be (-2)/(-6) - (-8)/12. Is 3/29 less than i?
True
Let n = 2 - -3. Suppose 0 = -4*r - k - 0 - n, -k + 9 = -3*r. Which is smaller: -3 or r?
-3
Let a = -50 - -60. Is -1 bigger than a?
False
Let f = 20 + -14. Let p = 4 - f. Which is smaller: -2/11 or p?
p
Suppose -2*r - o + 7 = -4*r, 8 = -r - o. Suppose 4*i + 23 = -v + 2*v, -v = 5*i + 40. Which is bigger: i or r?
r
Let k = 1 + -3. Let g = 4.3 + -4. Let p = g - -0.7. Is p <= k?
False
Let y be 4/(-1) + 1 - (1 - 5). Let f = 4 - 7. Which is smaller: y or f?
f
Let n(i) = -i**2 - 4*i + 11. Let o be n(-7). Is -12 > o?
False
Let l(x) = -x**3 - 4*x**2 - 3. Let v be l(-4). Let y = 8/3 + v. Suppose -2*c = 2*c - 4. Which is greater: c or y?
c
Let n = -30 + 11. Which is greater: -1 or n?
-1
Let q(l) = -l**2 - 8*l + 20. Let u be q(-10). Suppose u*d = -3*d - 3. Which is smaller: d or 3/8?
d
Let p(g) = g**3 + 13*g**2 - 2*g - 28. Let v be p(-13). Which is greater: v or -8/9?
-8/9
Suppose -3*n + 10 = 2*n. Suppose -5*k = 2 - 12. Let d be (k - -1) + (-65)/25. Is d at most as big as n?
True
Let m = 28 + -29. Is -2/5 greater than m?
True
Let f = -0.97 - 0.03. Let i = 7.06 - 0.06. Is i at least f?
True
Let f = 0.61 - 0.81. Is f >= -1.9?
True
Let k(i) = -i**2 + 5*i + 1. Let m be (-8 + 3)*2/(-2). Let u be k(m). Suppose -5 + 0 = -5*z - 4*r, -r = -3*z + 3. Is z < u?
False
Let y = 0.03 - 0.07. Let f = y + -1.96. Do f and -1/2 have the same value?
False
Suppose -2*k - 3*k = 50. Let u be (8/k)/((-7)/(-5)). Are u and -1 unequal?
True
Let s(k) = -k - 8. Let p be s(-8). Let c be (-1)/(1 - 1 - 1). Let a = p + c. Do a and 2 have different values?
True
Suppose 3 = 4*l - 5. Let j(v) = -5*v + 5. Let g be j(1). Which is smaller: g or l?
g
Suppose 15 = -y + 3. Let r = y + 12. Let i be (-2)/7 + (-26)/(-42). Which is greater: i or r?
i
Let c(r) = -r. Let b be c(-5). Let h = b + -8. Which is smaller: 2/7 or h?
h
Let i = 4 + -3.65. Let f = -0.05 + i. Let d = 49/164 + -2/41. Is f not equal to d?
True
Let s(l) = -l**3 + 8*l**2 - 6*l - 9. Let d be s(7). Is d < 1?
True
Let a(u) = u. Let h(x) = 5*x + 5. Let z(k) = 6*a(k) - h(k). Let m be z(9). Are 4 and m nonequal?
False
Let c = 0.6 + 6.4. Let m = -10 + c. Suppose 5*f - 4 = -p, -2*p + 3 = -2*f + 7. Which is greater: m or f?
f
Let q = -16/23 - -87/92. Let v = 0.08 + -3.08. Let r = v - -2. Is r at least q?
False
Let i(y) = -y. Let o be i(-1). Is -3/128 smaller than o?
True
Suppose -3*l = -1 - 8, -4*i - 20 = -4*l. Which is smaller: 9 or i?
i
Let z = 13 + -27. Which is smaller: z or -2/7?
z
Let d be (-2)/(-4)*28/2. Suppose 4*n + 5*t = 2*n + 43, 4*n - 61 = -5*t. Let x = d - n. Is -5/3 < x?
False
Suppose -5*j = -178 + 68. Suppose 2*w + j - 10 = 0. Let b(r) = -r**3 - 6*r**2 + 2*r + 9. Let v be b(w). Does v = -5?
False
Suppose q = -5*p - 13, -q - 2*p = -7*p - 7. Let i(s) be the first derivative of s**2/2 + 3*s - 1. Let t be i(q). Is 1/5 > t?
True
Suppose 0*r = 2*r - 2. Let d = 0 + r. Let o be (-10)/200*(-4)/1. Which is smaller: d or o?
o
Let r be (-2)/(-7)*(-7)/(-3). Let z be (1 - (-6)/(-8))*0. Is z greater than r?
False
Let x = -2/199 - -215/1592. Let v = -4 - -5. Is v greater than x?
True
Let a = 14733/22 + -670. Let s = a - 5/22. Suppose -2*y - 5 = 3*q, 2*y - 2 = 2*q + 2*q. Which is greater: s or q?
s
Suppose -h + 4 = -3*h, -z + h - 12 = 0. Is -13 at most z?
False
Let k = -6 + 7. Let b be (-4)/(-8) + k/(-2). Is 4/7 greater than b?
True
Let p be 146/(-6) - (42/9 + -4). Are -25 and p equal?
True
Let c be (-4)/(-1) - (1 + 21). Let o = c - -13. Which is smaller: o or 1?
o
Let c be (-3)/(-3)*-8 - -8. Let u = -328/7 + 12457/266. Which is smaller: u or c?
u
Suppose 4*a + 0 = -5*t + 9, -4*t = -4. Let c = 7.03 - 7. Is a > c?
True
Let h be (-24)/16 - 6/(-4). Is 0 <= h?
True
Let y be ((-6)/(-55))/((-20)/(-50)). Which is smaller: y or 0?
0
Let i be (-40)/(-261) - (-4)/(-18). Let v be (-4)/(-10) - (-376)/435. Let z = i - v. Does z = 0?
False
Let i = -5 - -5.8. Let n = i + -0.1. Let y = n - -0.3. Is 0.1 at most as big as y?
True
Suppose 70 = 4*t + n, n + 74 = 4*t - 0*n. Suppose -3*a = -2*c - 4*a + 7, -4*a = -2*c - t. Which is greater: c or -1/7?
c
Let g be (-8)/(-5)*70/28. Suppose p = -4*p - 10. Let i be 9/4 + p/8. Is i less than g?
True
Let t = -11 - -13. Is 2 greater than or equal to t?
True
Let m = -20 - -19.84. Let h = -1.16 - m. Is h equal to -2?
False
Let v = 111 - 557/5. Let s = 0.01 - 0.11. Let y = s + 0.7. Which is greater: v or y?
y
Let t = -114.9 - -110. Let y = -5 - t. Is -1 smaller than y?
True
Let d = 7.5 + -11. Let t = 3 + d. Let i = -0.2 - t. Is 1/4 at most as big as i?
True
Suppose -u = u - 4. Suppose u = i, 3*i = 5*m + 1 + 5. Suppose -5*z - 2*c =