 = -5*c - 153. Let g = x + -354/5. Which is greater: g or -1?
g
Let r be (4/6)/(16/24). Suppose -2*w = s + 9, 3*w + 1 = -3*s + 4*s. Let f be (w/12)/((-2)/20). Which is smaller: f or r?
r
Let d = 104 - 113. Which is smaller: d or -10?
-10
Let h = -96 + 101. Which is smaller: -3 or h?
-3
Let p(b) = -1 + 2 + 2*b + 5. Let s be p(-4). Suppose -2*u + 2*n - 6 = 0, 3 = -u - 5*n - 0*n. Is u equal to s?
False
Let q(p) be the third derivative of 1/24*p**4 + 1/3*p**3 - p**2 + 1/10*p**5 + 0*p + 0 + 1/120*p**6. Let v be q(-6). Is -3 at most v?
False
Let x = 2 - 1. Let g be (-2)/8 - 130/(-8). Suppose 0*c - 2*k - g = -5*c, -4*k = -5*c + 12. Is c > x?
True
Let a be (5/122)/(2/8). Let x be (-34)/549*120/(-25). Let j = a - x. Which is smaller: -0.1 or j?
j
Let z = -48 - -242/5. Let m = 0.16 - -1.24. Let b = 0.4 - m. Is z less than or equal to b?
False
Let a(c) = c**3 + 6*c**2 + 1. Let z be a(-6). Let s = z - 2. Is 1/9 greater than or equal to s?
True
Let v = -60 - -50. Which is smaller: v or -11?
-11
Let y(v) = -2*v + 3. Let h be y(2). Suppose -23 = -2*d - 25. Is d greater than h?
False
Let s = -3 - -2. Let p(m) = m**3 + 12*m**2 - 12*m + 19. Let v be p(-13). Which is bigger: s or v?
v
Let h be (-4)/9*3/(-2). Which is greater: -1/3 or h?
h
Let t(c) = c - 5. Let y be t(7). Suppose 2*x + 21 = -3*r, -3*x + 3*r = y*x. Is x bigger than 1?
False
Let q be ((-25)/(-15))/(1/3). Suppose -36 = 5*y + 4*h, 0*h = q*y + 2*h + 28. Suppose 2*c = -8, w + 4*c = 5*w. Are w and y non-equal?
False
Suppose -12 = m - 3*m. Let o be m*-2*(-1)/(-2). Let z = o + 6. Is 0 at least as big as z?
True
Let a = -1036 + 44550/43. Are 1 and a non-equal?
True
Suppose 2*j = 5*h - 3, 0 = h - 2*j - 4 - 3. Let v be (1/7)/(h/(-4)). Which is greater: 0 or v?
v
Let q be -4*(-1 - (-1)/2). Let z = -16 + 19. Is z at least as big as q?
True
Let f = 0.173 + 0.067. Are 2 and f equal?
False
Suppose -2*c = 3*c - 5. Let g be (1/2)/((-4)/(-48)). Let j be (2/6)/(2/g). Is c at least j?
True
Let b(i) = 3*i + 1. Let g be b(-3). Let d be 2/g - 7/4. Let c = 1246/5 + -250. Are d and c nonequal?
True
Let z be 1*(1 + (1 - -1)). Let h be 2/z + 6/(-36). Is 0 less than h?
True
Let h = 9 - 15. Let t = 4 + h. Are -0.2 and t equal?
False
Let c = 235/154 + -2/77. Let f = 30 - 18. Suppose 5*x - 8 = 2*j + 2*x, -2*j + 4*x = f. Which is bigger: c or j?
j
Let g = -8.2 + 8. Is -4 at least g?
False
Let b = -20179/54705 - 4/1563. Let v = b - -4/7. Is 1 greater than v?
True
Suppose 3*b - 3 = 5*z, -3*b + 0*z - 3 = -3*z. Which is smaller: -3 or b?
b
Suppose -5*l = -2*l + a - 20, -4*l - 4*a + 16 = 0. Suppose 2*t - 4*h = -2*t + 48, 4*h + 32 = 2*t. Let r = l - t. Is r less than or equal to 0?
True
Let i = 54/13 - 214/39. Which is greater: 2 or i?
2
Let w = -22.4 - 1.6. Do 0 and w have the same value?
False
Suppose -u + 0*u + 4*a = 1, 5*a = -u + 8. Let l be (86/(-30) + u)*-5. Which is greater: 2/7 or l?
2/7
Let f = 7.2 + -6. Let h = f + -1.23. Let a = -5.9 + 6. Are a and h equal?
False
Suppose -5*c = 4*n + 9, -5*c - 3 = 2*n + 4. Let g = 17.3 + -29.27. Let y = 12 + g. Which is smaller: y or c?
c
Let o = 0.05 + -0.13. Let h = 0.05 + o. Let z = 0.33 + h. Which is greater: -2 or z?
z
Let m = 42 + -30. Let i be m/(-9)*3/(-2). Which is greater: 6/7 or i?
i
Let h = -6 - -4. Let a be h*(0 + 3/(-21)). Let p(u) = -u**2 + 7*u + 5. Let f be p(8). Is f at least a?
False
Let y = -2963/21 + 141. Which is greater: 1 or y?
1
Let t = -69 + 71. Which is smaller: -64 or t?
-64
Let w = -2/929 - 1820/17651. Which is bigger: 0 or w?
0
Let j = -46.83 - -47. Is 1 equal to j?
False
Let a(o) = -o**3 - 5*o**2 - 4*o - 5. Let q be a(-4). Let p be (-15)/9*(-2 - q). Let h(b) = -b - 6. Let s be h(p). Which is smaller: s or 0.06?
s
Let o = 0.07 - 3.07. Let c = 3 + o. Let a = 0.3 - 1.3. Which is smaller: a or c?
a
Let j(b) = b**3 + 6*b**2 - 7*b + 3. Let t be j(-7). Suppose 6*y - 4*i + 4 = 2*y, y - 7 = -t*i. Let d be 15/28 - y/4. Which is smaller: d or -0.2?
-0.2
Let m be 0 + 3/(14 - -1). Let y = 14/37 - 93/148. Is y < m?
True
Let m = 0.001 + 0.049. Which is smaller: -1 or m?
-1
Suppose 0 = 5*u - 69 - 46. Let w = u + -47/2. Are w and 0.09 non-equal?
True
Let w = -21722/5 - -4278. Suppose -20*k + 330 = -15*k. Let y = w + k. Is y less than -1?
False
Let k = -4 - -3.8. Let y = -53 - -55. Is y > k?
True
Let l = 51 + -51. Let z(g) = g**3 + 3*g**2 + 4*g + 3. Let p be z(-2). Which is bigger: l or p?
l
Suppose 0 = -3*r + 6 + 6. Suppose -g = -r*p - p + 25, -5 = -5*p - 3*g. Let s be (5 - p)*(-2)/12. Which is greater: 1 or s?
1
Let z be (-6)/(2 + -5) + -4. Suppose 20 = 3*s + 2*s. Let j = s + -6. Is z bigger than j?
False
Let f(u) = -9*u. Let l be f(-1). Which is smaller: l or 10?
l
Suppose -1 = 4*g + 7, -10 = 3*y + 2*g. Let p be (-1 - (-2 + -1)) + 2. Let f be 3/4 - 5/p. Which is greater: y or f?
f
Let l = -10691/37 + 289. Which is smaller: l or -1?
-1
Let b be -5 + 1 + (-3)/(-1). Let z = 222 - 1996/9. Is b < z?
True
Let f(v) = -6*v - 6. Let x be f(-3). Let o be x/14 + 2/(-1). Let d be 2/3*(-3)/2. Is d != o?
True
Let j(f) = f**3 - 6*f**2 + 2. Let m be j(6). Suppose t + 1 = m*t. Let w = 45/2 + -22. Which is bigger: t or w?
t
Suppose 5 = -w, -3*a + a + w = -7. Let i be (-85)/(-60) - (-2)/6. Which is smaller: a or i?
a
Let s(q) = -5 - q - 6 + 2*q. Let z be s(5). Let f be 0/(-2)*3/z. Is 1/2 > f?
True
Let s = 9 - 4. Let u = s - 7. Is 1 at most as big as u?
False
Suppose 3*i = 5*i. Let w be (999/(-21))/(30/6). Let c = w + 68/7. Which is smaller: c or i?
i
Let t be 4/14*14/12. Which is bigger: t or -0.1?
t
Let x = 4 + -5. Is x > -2/65?
False
Suppose -4*i = 5*r - 0 - 4, -r - 1 = -i. Is r not equal to 3/7?
True
Let f be (-2)/((-20)/(-15))*4/14. Let y(n) = -n**2 - 8*n - 6. Let d be y(-7). Is d at least as big as f?
True
Let q be ((-9)/(-4))/((-1)/4). Let n = q + 9. Which is greater: -1/4 or n?
n
Let x(z) = 2*z. Let f be x(-3). Let a = 5 + f. Which is bigger: 4/9 or a?
4/9
Suppose -99 - 21 = 12*h. Which is smaller: h or -11?
-11
Let r be -2 - -2*7/4. Let d(k) = k**2 - 8*k. Let t be d(8). Let q be (-6 - t)/(1*-2). Is r equal to q?
False
Let v(s) = -25*s**2 - 3*s - 3. Let j be v(-1). Is -24 at most as big as j?
False
Let s = 2 - 3. Let q = s - 1. Let k = -2 - q. Does -2 = k?
False
Let y(f) = f**2 - 5*f - 6. Let l be y(5). Let i be ((-2)/3)/(l/27). Suppose 4*a = 12, 0 = 3*x - 2*a + 6*a - i. Which is bigger: x or -2?
-2
Let h = 3 - -3. Let x = 2 + h. Let n = 7.7 - x. Which is bigger: 0.2 or n?
0.2
Let q be -2 + (-3)/(3/(-8)). Let k be q/4*(3 + -1). Let g be -1*-1*k - -2. Is g bigger than 4?
True
Let n be (-3)/(-1) + 1*-1. Suppose 3*l - 10 = -4. Is l > n?
False
Suppose -3*n - 9 = 3. Let d = -4 + 8. Suppose 7 = -d*p - 5. Is p > n?
True
Let j(x) = 5*x. Let s be j(1). Let t = 14 - 8. Is t smaller than s?
False
Suppose -3*w + t + 5 = -8, t + 1 = 0. Suppose -17 = 5*k + 3*f - 1, -w*k + 4*f = 0. Let j = 1 - 2. Which is smaller: k or j?
k
Let o = -1 - 8. Which is bigger: 0.2 or o?
0.2
Let h = 119/6 - 39/2. Are h and 0.012 unequal?
True
Let c be (166/1)/(7/4). Let y = 94 - c. Do -2 and y have the same value?
False
Let i be 2*(1/13)/1. Let m = -0.1 + 1.1. Which is bigger: i or m?
m
Let k = 6 + -9. Let h = 11 + -11. Which is smaller: k or h?
k
Let n = 1.9 + -0.9. Which is smaller: n or 0.5?
0.5
Let y = -36 - -21. Let c be ((-18)/y)/(68/1240). Let k = -22 + c. Which is greater: k or 1?
1
Let v(i) = i**3 - 6*i**2. Let n be v(6). Suppose 4*y - 4*o = 0, -2*o - 1 = 2*y - 3*y. Is y <= n?
True
Let n = -157 - -5027/32. Is 0 > n?
False
Let g be 4/(-7) + (0/(-2))/(-2). Let u be -2*2*(-4)/(-8). Let q = u + 1. Do g and q have the same value?
False
Let t(a) = 3*a**2 - a. Let y be t(-1). Let w(u) = -u**3 - 4*u**2 + 6*u + 9. Let f be w(-5). Does y = f?
True
Let o = 0.024 + 0.076. Is 9 at most o?
False
Let g(f) = 3*f + 30. Let l be g(-10). Which is smaller: l or -4/51?
-4/51
Let z = -8.132 + -0.168. Let o = 8 + z. Let i = -1.07 + 0.07. Is o > i?
True
Let q = 87 + -262/3. Suppose -5*k = 4*d + 11, 5*d - k = 2*k + 14. Which is smaller: d or q?
q
Let w(g) = g**3 - 11*g**2 + 11*g - 4. Let f be w(10). Let h = f + -4. Is h at most as big as 2?
True
Let b = 1.8 + -2. Let p = -1.2 - b. Is 3 <= p?
False
Let d(s) = -s**3 - 6*s**2 + 5*s + 1. Let l be d(-7). Let v = 1 + 1. Suppose 0 = b + 4*c - l, 4*c - 20 = 6*b - v*b. Which is greater: -2 or b