(-18)). Let g be ((-1)/(-36))/(a/8). Which is greater: -1 or g?
g
Suppose 0 = -36*i + 15*i + 13*i. Is 2/181 at least as big as i?
True
Let x be 3 + (-4)/(-4) + (-50)/8. Suppose 0 = 4*h + 3*r - 4, 0*h + 3*h - r = -10. Which is greater: h or x?
h
Let t(p) = 9*p**3 + 9*p**2 - 22*p - 182. Let r be t(-6). Is r at most as big as -1670?
True
Suppose -y - 10 = -3*y. Suppose -y*b - 10*b + 60 = 0. Which is bigger: 9/2 or b?
9/2
Let r = 5.51 + -118.51. Which is smaller: r or -3?
r
Let f be 2/13 + (-2 - 886/13). Which is bigger: f or -71?
f
Suppose 22 = h + h + 2*g, 6 = -2*g. Suppose -4*k = -2*s - 8*k - 4, 4*s + 5*k = -h. Is s <= -7?
False
Let s be ((-2)/(-211))/(4*10/(-25)). Let u = 2763/181460 + s. Which is smaller: 1 or u?
u
Let q = -6 - -2. Suppose 2*y + 3*v + 17 - 62 = 0, 30 = y - v. Suppose -27 = s + 4*s + 4*f, 4*s + 5*f = -y. Which is smaller: q or s?
q
Let r = -206/3 + 68. Let t(y) = -15*y - 4. Let f be t(-4). Suppose -3*h + f = 59. Which is smaller: h or r?
h
Suppose 3*t = -5*s + 40, 50 = -t + 6*t + 5*s. Suppose t*z + 17 = -3*o + 6*o, 2*o = 8. Which is smaller: -2/11 or z?
z
Let i(c) = c**2 + 5*c. Let z be i(-9). Suppose -t = -2*r + t - 18, 4*r + 5*t + z = 0. Is -12 at most r?
True
Suppose 0 = 2*k + 3 + 3. Let z(j) = 3*j**2. Let i be z(-1). Suppose -3*s + 4*x = 22, -4 + 10 = 3*s + i*x. Is s greater than k?
True
Let r be 1/(-2) - (-59026)/(-1100). Let x = r - -54. Which is bigger: x or -0.2?
x
Let g = 1664 - 1349. Is 314 >= g?
False
Let z be -24 - 0/(2 - 1). Let v be -3*1*(-176)/z. Let d = -87/4 - v. Is 14 equal to d?
False
Let c = 11 - 5. Suppose 60 = -2*g + 5*g - 4*n, -5*g + 4*n = -100. Suppose g = 4*p - 4*m, -3*p - p + 36 = 4*m. Is p at least as big as c?
True
Let r = 1700 + -326399/192. Are -1 and r unequal?
True
Suppose 38 + 42 = 4*t. Let q = t - 98/5. Is q <= 6?
True
Suppose 4*c - 740 = 3*q + 2*q, 552 = 3*c - 3*q. Suppose -4*s - s = -c. Let t be s/(-5) + 9/45. Is 0 < t?
False
Let n be 10395/(-22)*(-24)/14. Is 810 greater than or equal to n?
True
Let w = -1244 - -1242. Are -22 and w non-equal?
True
Let g be 108/(-48) - (20/(-16) - -1). Is -19/11 greater than or equal to g?
True
Suppose 27*j - 251 = -89. Is 6 <= j?
True
Let y = -0.8 - -0.5. Let l = 0.3 + y. Let v be (6 - 5 - 0)/(-5). Are l and v equal?
False
Let b be (6/9)/((-65)/15). Let f(q) = q**2 - q + 10*q + 5 - 3*q. Let z be f(-5). Is b less than z?
True
Let k(r) = -r**2 + 11*r - 6. Let x be k(6). Suppose q + 14 = -4*i, 0*i + 4*i + x = 4*q. Let a be (5/(-4))/((-4)/(-16)). Which is bigger: i or a?
i
Suppose -4 = s, -16*g + 2*s + 29 = -13*g. Are g and 3 nonequal?
True
Let w(u) = -51*u + 2. Let p be w(-2). Is p at least as big as 105?
False
Let q be ((-2)/5)/((-55)/2050). Is q less than or equal to 14?
False
Let t = -539 + 16711/31. Suppose 0 = l - 3*l. Which is smaller: l or t?
l
Suppose -2*f + 73 = -29. Which is smaller: 10 or f?
10
Let c be ((-4)/65)/(13044/(-1860) + 7). Which is smaller: 0 or c?
0
Suppose -3*n = 1 - 7. Suppose -u - 21 = 5*l, -4*u + u = -5*l - 37. Suppose 8 = -4*y + 4*w, u*y = 5*w - 5 - 6. Are n and y unequal?
True
Suppose 128 = -4*b + 2*u, -70 = -2*b + 4*b - 4*u. Is -38 < b?
True
Let y = 2.8 - 16.8. Is y at most 14?
True
Let w be ((-56)/(-70))/(2/(-9 + -1)). Let a be (-1)/((-3)/(-54)*3). Let z be (a/(-4))/(1/(-3)). Are w and z nonequal?
True
Let u = -2471/2 - -7765/6. Are u and 59 equal?
False
Let i = -0.217 + -7.833. Let u = 0.05 + i. Let y = 0.9 - 1. Which is smaller: y or u?
u
Let j be 8/(-24) - (-34)/(-66). Is j < 0?
True
Let h(y) = y**3 - 16*y**2 + 5*y - 95. Let n be h(16). Let f be 36/21 - (0 - -2). Is n greater than f?
False
Suppose 4*m - 3*a - 62 = 0, 60 = m + 3*m - 4*a. Let c(w) = w - 18. Let v be c(m). Which is smaller: 2/65 or v?
v
Suppose -556 = 2*r + 238. Let n = -7541/19 - r. Let i(z) = 4*z**2 - 77*z + 19. Let h be i(19). Is h greater than or equal to n?
False
Let z be (-15)/(-30)*2*2/(-2). Let g be (-4)/(-14) - (-252)/(-1225). Which is smaller: z or g?
z
Let i = 31 + -26. Suppose 2*a + 10 = 4*q, i*q - 2*a - 3*a = 0. Which is bigger: q or 4?
q
Let n = -1450/69943 + 35871211609/1678632. Let b = 21391 - n. Let j = 125/6 - b. Are -1 and j non-equal?
True
Suppose -9*k + 2*g = -10*k - 136, 2*k + 5*g = -271. Is -137 less than k?
False
Let k = 42 - 45.9. Let a = 1.1 + k. Let w = 0.8 + a. Which is smaller: w or 6?
w
Let y = 24 - 28. Let v = y - -21. Is 15 at most v?
True
Suppose 4*o = o + 60. Suppose -5*u + u = o, 2*u - 18 = -2*h. Is h < 15?
True
Let r = 56 + -58. Let i(j) = -j**2 + j + 1. Let y be i(r). Does -9 = y?
False
Let l be (-4)/3*24/(-576). Let h(c) = -c**2 - 4*c - 4. Let r be 12/8*(-2)/1. Let d be h(r). Which is bigger: l or d?
l
Let h be (-7)/3 + 3 + -1. Let o = 73.23 + -1.23. Let q = o + -92. Which is bigger: h or q?
h
Let d = -35213/9 + 3908. Which is greater: d or -6?
d
Let h = -9 + -32. Let n = h + 38. Which is smaller: n or -7?
-7
Let k(i) = i**3 + 6*i**2 + i + 5. Let x be k(-6). Suppose -102 = 23*h - 24*h. Let l be (-1 + h/(-45) - -3)/(-2). Which is smaller: x or l?
x
Let j = -95401/68 + 1403. Which is greater: j or -1?
j
Let k be (-477)/(-45) - 4/30*-3. Is 19 at least k?
True
Let t be (-10)/15*3*-1. Suppose -t*d + 5 = -0*d + 3*l, 4*d - 5*l + 1 = 0. Is 2/5 > d?
False
Let d be -7 + 2 - (-1)/1. Let h be (-1*1)/(d/4). Suppose 5 = 11*b - 17. Which is greater: b or h?
b
Let g(q) = -q**3 - q**2 - 2*q - 2. Let a be g(-1). Is -15/26 greater than a?
False
Suppose -187 = -v - i, 0*v + 5*v - 2*i - 928 = 0. Is 0 at most v?
True
Let s = 8.7 - 6.7. Is s at least 188?
False
Let k be (-42)/(-1) - ((0 - 1) + 0). Suppose 0 = 6*a - k - 5. Which is smaller: -7 or a?
-7
Let p = 10.27 - 0.27. Let b = p + -10.1. Do -0.4 and b have different values?
True
Suppose 0 = o - 3 + 5. Let q be 1/o*(-22 + 1 + 1). Does 0 = q?
False
Let d(p) = -p + 13. Let n be d(12). Let z be (0 + n)/((-2)/10). Let g be -12 + 4/(-10)*z. Is -10 less than g?
False
Let f be (7/2 - 4)*-18. Let p = 21 - 18. Suppose -p*a + 12 = -f. Which is bigger: 1 or a?
a
Suppose 15 = 14*s - 11*s. Suppose -s*m + 2*m + 57 = 0. Which is smaller: 18 or m?
18
Let s = -7.71 - -6.71. Let f = -6 - -6.06. Let k = f + 3.94. Is k at most s?
False
Let d be (1*-6)/((-18)/(-12)). Let c be 7/(-28)*3*d. Suppose 0*w + 2 = w. Is c equal to w?
False
Let x = 2636/11 - 495601/2068. Which is smaller: x or 1?
x
Suppose 0 = -3*m + 5*z - 592, -110 = m + 3*z + 92. Which is smaller: -201 or m?
-201
Suppose 350 = -6*a + 11*a. Are 70 and a equal?
True
Let y be (14/3)/(0 + 3/(-9)). Let w be ((-6)/y)/((-3)/2). Is -2/3 <= w?
True
Let r be (-2 - -6) + -2 + -187. Is r greater than or equal to -186?
True
Suppose -10 = -3*a - f, -10 = -a - 0*f + f. Suppose r + a*x = 52, 5*r = -x + 221 - 9. Suppose -18 = 5*l + r. Is l at most 0?
True
Suppose 5*o = -10, -2*x + 6*o - 8*o = -16. Let a(d) be the second derivative of -d**4/12 + 5*d**3/3 - 6*d**2 + d. Let b be a(x). Which is smaller: b or -13?
-13
Let v = -4.9 - 0.1. Let f = 2182 + -8729/4. Does f = v?
False
Suppose 0 = -3*l + 2*l - 5, 4*i + 4*l + 8 = 0. Suppose 2*y = -5*c + 15, 0*y = -i*y. Suppose 0 = -3*d + c - 6. Which is smaller: d or 1?
d
Let o = -55 + 52. Which is smaller: -1 or o?
o
Let g = 0.1 - -0.2. Let b be (12/(-4))/6 - 13/(-2). Which is smaller: b or g?
g
Let m be (-3)/12*(2 - 10). Let h(j) = -j + 2. Let x be h(m). Is -1 <= x?
True
Let v = 62029/13 - 4768. Which is bigger: 2 or v?
v
Suppose -249 = 2*a - 21. Let x be (-18)/a*(2 + -3). Is x at most -1?
False
Suppose -5*f - 3*w - 12 - 8 = 0, -4*f + 5*w = -21. Which is smaller: f or 5/84?
f
Suppose 12 - 96 = -3*z. Does z = 30?
False
Let b = 1.06 - 0.76. Let y = 5.1 + -5. Let x = y - -0.4. Which is bigger: b or x?
x
Let z be 3 - 0 - (-1052)/(-10). Let j be -104 + -3*(4 - 5). Let x = z - j. Is 0 smaller than x?
False
Let u = -22 - -53. Let f = -19 + u. Let a be (-3)/(-10)*10/f. Is 0.03 at most a?
True
Let z be 72/323 + (-2)/17. Let r = 2 + -3. Which is bigger: r or z?
z
Let q = -1100 + 1098. Is q less than or equal to -0.028?
True
Let z = 7 - -8. Suppose -z = 5*s - 3*h, s + 20 = 7*h - 3*h. Which is smaller: 0.9 or s?
s
Suppose -4*t - 184*h + 184 = -187*h, -3*t + 133 = -h. Which is smaller: 38 or t?
38
Let i be -37*(-2 + (2 - 1)). Suppose 5*w - i = 13. Is 9 bigger than w?
False
Let p = -12 + 14. Suppose p*n - 1 = 1. Which is greater: n or -0.01?
n