(1/(-2))/(7/70). Let q = n + 5. Which is greater: q or -5/4?
q
Suppose -h + 10 = -3*h. Let q = -20 + 14. Let n(r) = r**3 + 7*r**2 + 7*r. Let z be n(q). Are z and h equal?
False
Suppose 3*g + 4*d - 6 = 0, -4 = -2*g + d + d. Let i = 0 - -2. Is i < g?
False
Let p = -1321/73 + 3645949/200604. Let k = 1/229 + p. Suppose -5*u = 3*i - u + 9, -3*i + 18 = -5*u. Is i greater than k?
True
Let x = -1 - -1.22. Which is smaller: x or 1?
x
Suppose 2*n - 366 = -n. Let x be n/24 - (-10)/60. Is 6 >= x?
True
Let c be 3 + (-2 - (-5)/(-4)). Which is smaller: c or 6?
c
Let s = -5/9 - -86/171. Which is smaller: 1 or s?
s
Let u(s) = -s**3 + 7*s**2 - s - 7. Let j(g) = g. Let k be j(-2). Let r(c) = -c**3 - 1. Let x(m) = k*r(m) + u(m). Let o be x(-7). Is o at most 2?
True
Suppose 3*i = w + 7, -2*i = w + 3*i - 9. Let m = -30 - -15. Let v be (-2)/(-8) - m/(-12). Is v less than or equal to w?
True
Let p(h) = 2*h + 3. Let r(n) = n**2 + 7*n - 10. Let a be r(-8). Let u be p(a). Let q be (1/(-3))/(u/3). Which is greater: q or -1/4?
q
Let l(f) = -f**3 - 3*f**2 + 2. Let k be l(-3). Let n be 22 + (3 - k - 2). Let y be (-2)/(-42) - (-6)/n. Is y less than 0.2?
False
Let x = -2 - 60. Let r = x + 249/4. Let o = -0.5 + -0.5. Which is bigger: o or r?
r
Suppose -2*h - 3*h = 300. Let l be 4/10 - (-24)/h. Which is greater: l or -5/6?
l
Suppose -2*a - 7 = -1. Is a at most as big as -1?
True
Let b = -23/5 - -26/5. Let g = 0 + 0. Which is greater: b or g?
b
Let k = 1601 + -152093/95. Let i = k - 293/380. Let q be 2/(-4) - 6/4. Are q and i unequal?
True
Let z be (2 + -5)/(6/(-4)). Let j = -6078/2425 - -150/97. Let a = -21/100 - j. Is a < z?
True
Let x = 4/5427 + -794159/10854. Let n = -73 - x. Which is smaller: n or -1?
-1
Let y = -0.1 - -0.1. Let x = 21.1 - 22. Let j = 0.1 - x. Which is greater: j or y?
j
Let o be (-33)/(-108) - 2/8. Which is smaller: 0 or o?
0
Let g be 61/(-10) - 1/(8 + -18). Let r be (14/4)/(1/(-2)). Is g greater than r?
True
Let m = -0.11 + 0.11. Which is smaller: m or 1?
m
Let x = -3 - -2.94. Let z = x + -0.04. Is -9 at most z?
True
Let q be -3*(1 + -5 - (-10 + 7)). Suppose -u + 24 = 3*l, 3*u - 4*u + 2*l = -14. Suppose 0 = -q*h - k + u, 4*k = -4*h + k + 19. Is 7 greater than h?
False
Suppose -3*s - 9 = 2*q - 30, 5*q + 24 = s. Let a = -6 + s. Let k = 6 - 4. Do k and a have different values?
True
Suppose 0 = -11*h + 13*h + 80. Is -40 less than h?
False
Suppose n = -5*h - 12, -3 = -2*n - 3*h + 2*h. Let b be -5*(3/n)/(-1). Is 5 not equal to b?
False
Let f(i) = -36*i - 479. Let j be f(-13). Suppose -5*r = -4*m + 75, 3*r + 0*r - 2*m = -43. Is r less than or equal to j?
True
Let k = -4 + -1. Let x = k - -9. Let c = 4.1 - x. Is c at most -1?
False
Let o = -0.05 - 0.35. Let c = 0.3 + o. Let a = c - -0.2. Is 0.3 > a?
True
Suppose -28 = -4*u + 2*k, 2*u - 5*k = 7 - 1. Suppose 0 = -2*m - f + 3*f - u, m + 5*f = 20. Suppose 5*v - 5 = -m*v. Is 1/2 smaller than v?
True
Let x = -13 + 7. Let u be x/(-15) - (-16)/(-90). Is 1 >= u?
True
Let f be 50*2/36 - 3. Which is greater: f or 0?
0
Let s = 2903/325 - 113/13. Which is smaller: 1 or s?
s
Suppose -15 = 5*n, -v + 80 = -5*v + 4*n. Let a be (8 + v)*1/(-3). Suppose 0*f + 6 = 3*h - f, -a*f = 2*h - 21. Are h and 1 nonequal?
True
Let v be 2/(-4) + (-175)/(-320). Which is smaller: v or 1?
v
Let d = 6 - 4. Suppose -d*y + 5 = -9. Suppose -f + 14*f = 104. Is y bigger than f?
False
Let g = 51 - 92. Is 0.1 at most g?
False
Let m be 2*(2/(-4) + 0). Which is greater: m or -4/5?
-4/5
Suppose -3*z - 2*v = -0*v - 1, 5*z - v + 20 = 0. Let n(j) = -j**3 - j**2 + 3*j + 1. Let m be n(z). Let u be (-3)/3 - m/(-14). Which is smaller: u or 1?
u
Let x = -227/4 - -57. Let l = -1.99 + -0.01. Does x = l?
False
Let y be (-1 + 5)*1/2. Let a(d) = d**3 - 7*d**2 + 5*d + 6. Let u be a(6). Let q = 1 + u. Is q less than y?
True
Let n be ((-16)/(-24))/(2/42). Let v be 1/(-1 - (-8)/n). Is v >= -2?
False
Let v(d) = d**3 + 7*d**2 - 4*d - 8. Let s be v(-7). Suppose p = 3*p - 10, 4*p = -a + s. Let r(l) = -l**2 - 1. Let j be r(a). Which is greater: j or 2/13?
2/13
Let i = 2 - 1. Let o = -11 + 18. Suppose -o*f - 10 = -2*f. Which is greater: i or f?
i
Let f = 11 + -5. Let r = f + -6.1. Which is smaller: 4 or r?
r
Let c = -733/4 - -180. Let m = -31/12 - c. Which is smaller: 1 or m?
m
Let n = 21 + -19. Is n not equal to 1?
True
Suppose -12 + 2 = -2*u. Suppose -5*m + 35 = w - 6*w, -u*w + 19 = 4*m. Are 6 and m nonequal?
False
Suppose -7*o + 5 = -2*o. Let h = 0.35 - 0.05. Let j = -0.2 + h. Which is smaller: j or o?
j
Let j = -29 - -41. Suppose -3*c = c + j. Suppose 20 = -2*n + 4*q, n - 3*q + 2 = -11. Is c at most n?
False
Let c be (-1)/((77/(-2))/7). Let p = -176/3 + 1964/33. Let y = p - c. Which is smaller: 0.2 or y?
0.2
Let d(n) = -6*n**3 + 4*n**2 + 4. Let m be d(3). Let a be 1 + (-3)/9*m. Let j = 1619/39 - a. Which is smaller: 1 or j?
j
Let v(h) = 2*h - 15. Let c be v(7). Let l = 10933308819/2054 - 5322935. Let k = l - 1/158. Which is bigger: c or k?
k
Let g(v) = 5*v + 3 + 3 - 1 - v**2. Let d be g(5). Suppose 2*i + 4*c = -6, 2 = 5*i - 3*c - 35. Is d at most i?
True
Let x(g) = 5*g. Let i(h) = -h. Let b(n) = -4*i(n) - x(n). Let p be b(4). Let f be (p - -3) + 2*1. Is f smaller than 4/7?
False
Suppose -8 = -2*b, -4*p + 2*p = -2*b + 8. Suppose p*f = -f. Which is smaller: -1 or f?
-1
Let w be (-2)/6 + (-1)/15. Let a = 6/37 - 92/111. Which is smaller: a or w?
a
Let t be -1 + 6/(-3) - -1. Is 1 less than t?
False
Let g = 57 + -287/5. Let d = -14 - -15. Is g <= d?
True
Suppose -2*f - 4 = q - 19, -4*q = -3*f - 27. Let m be (-3)/q - (-17)/(-3). Which is smaller: m or 0?
m
Let n = -6 + 11. Do n and 3 have the same value?
False
Let b = 10 - 4. Suppose -b = -2*l + 5*m, 4 - 1 = l + m. Which is smaller: l or 6?
l
Let y = 8 - 7.7. Let k = -2 + y. Let b = k - -2. Which is greater: b or 1?
1
Let v = 0.23 + -0.13. Let p = -0.1 - v. Which is smaller: -1 or p?
-1
Let y = -18.1 - -4.1. Which is bigger: -1/5 or y?
-1/5
Let g = 5 + -1. Suppose -9 = g*m + 3. Is -3 >= m?
True
Let p(h) = -h**3 - 5*h**2 + 3*h - 6. Let w be p(-5). Let g = -19 - w. Are 3/5 and g equal?
False
Let q be 2019/(-12)*4/110. Let y be (-2 - -4) + (-83)/10. Let w = q - y. Are w and 1 nonequal?
True
Let a = -17 + 12. Which is smaller: a or 2?
a
Suppose b - 16 = 2*z, -5*b + 0*z + 2*z + 40 = 0. Let k = -15 - -14.89. Let x = k - -0.11. Is x not equal to b?
True
Suppose -28 = -3*h + o, -4*h - 3*o + 33 = -0*h. Let d be (1 + -2)/(h/18). Which is bigger: d or -1?
-1
Let q = -18 + 52/3. Let j be (-2)/((0 - 1)/(-1)). Which is smaller: q or j?
j
Let a be (-4)/(-7) + 10520/210 - -1. Which is greater: 53 or a?
53
Let u be 9/(-36) - (-34)/8. Does -3/4 = u?
False
Let x = 0 + 2. Suppose -z + 21 = 4*f, 0*f - x*f + 18 = 2*z. Suppose -z*r = 8 + 2. Is r less than -1?
True
Let n = 3667/870 - 7/145. Is 3 less than n?
True
Let r(m) = -5*m + 0 + 6 - 5. Let t be r(1). Let n(f) = f + 3. Let y be n(t). Do y and 0.1 have different values?
True
Let i = 7.4 - 8. Let v = 0.5 + i. Which is greater: 6 or v?
6
Let p(y) = -y + 11. Let v be p(0). Let o be 42/v + 8/44. Let t = o - 4. Do t and 1/6 have the same value?
False
Let v(c) be the first derivative of -c**4/4 + 4*c**3/3 - 2*c**2 + 6*c + 3. Let d be v(4). Is -10 < d?
False
Let y = 0.04 + -0.04. Let b = -0.06 + y. Is 0.1 smaller than b?
False
Suppose 4*l = -2 - 2. Let f be (2 + (-6)/2)*l. Let o = -2/43 + 100/301. Is f greater than or equal to o?
True
Suppose -160*a + 164*a + 8 = 0. Is -12/13 greater than or equal to a?
True
Let c = -8 - -5. Let p be -2 + 1 + -2 - c. Is 0 <= p?
True
Let k be (-1 - (0 + -2))/(-1). Let n = -86/3 + 29. Which is greater: k or n?
n
Suppose 0 = 4*x - 16 - 16. Let y = -6 + x. Let r = -73 + 73. Which is smaller: r or y?
r
Let j = -52/155 + -2/31. Is j not equal to -1/6?
True
Let t(p) = -p**3 - 5*p**2 - 2*p - 7. Let y be t(-5). Let r be 1/(9/(-12))*y. Which is bigger: -3 or r?
-3
Let j = 0.45 + -0.05. Which is smaller: j or -3/8?
-3/8
Let a = 1.12 - 0.89. Does 2 = a?
False
Suppose u = 2*r + 19, -4*u = -4*r - 10 - 54. Which is smaller: u or 11?
11
Let g be 3*(-2)/54*-3. Let s = 2.94 - -0.06. Let d = s + -3. Which is bigger: g or d?
g
Let j = 0.3 - 0.6. Let g = 0.2 + j. Let i = -0.9 + g. Is -3 bigger than i?
False
Let d = -76 + 75. Which is smaller: -93 or d?
-93
Suppose 4*u - z - 8 = 2*z, 8 = 4*u - 