3*r = -3*i - h. Is -7/2 at most as big as i?
False
Suppose -m = -2, 4*b = 2*m - 68 + 60. Which is smaller: 4/17 or b?
b
Let p = 0.473 - -0.767. Which is smaller: -2 or p?
-2
Let u be ((-8)/(-90))/(3968/220 - 18). Which is bigger: u or 2?
u
Let z = 1 - 10. Let t(m) = -9*m**2 + 134*m + 8. Let c be t(15). Which is greater: c or z?
c
Let w = 687 + -692. Let t be 3/4 - (-5)/(-10). Is w at most as big as t?
True
Let u(f) = -16*f**3 - f**2 - 9*f - 7. Let k be u(-1). Let b(a) = -a**3 - 9*a**2 + 9*a + 8. Let n be b(-10). Are n and k nonequal?
True
Let b(p) = 24*p + 2. Let s be b(-1). Let z = s + 29. Let u be (-25)/35 - 2/z. Which is smaller: -2/117 or u?
u
Let y = 152 + -153. Is -4 >= y?
False
Let s(o) = o - 7. Let n(q) = q**2 + 2*q - 6. Let v(l) = -3*n(l) + 2*s(l). Let h be v(-3). Which is smaller: -34/3 or h?
-34/3
Suppose 0 = -v - 3*v + 8. Suppose -7 = 5*a - 3*c - 1, a - 4 = -v*c. Suppose a = 3*p + p - 8. Is 2 at least as big as p?
True
Let y(u) = u**3 - 7*u**2 + 8*u - 109. Let z be y(8). Which is greater: z or 91/5?
z
Suppose -5*c - 110 = 2*u, 3*u + 202 = -u - c. Which is bigger: -32 or u?
-32
Let y = 0.9 + -1. Let c(u) = u**2 + 18*u - 3. Let r be c(-13). Let b = r + 64. Which is bigger: y or b?
y
Let n be ((-57)/(-6) - 10)*-214. Which is smaller: n or 110?
n
Let k be (-2)/3 + 10/15. Let x be 4/5 - (-13)/(-10). Is x greater than or equal to k?
False
Let g(p) = 6*p**2 - 35*p - 66. Let v(r) = r**2 - 7*r - 13. Let z(k) = -2*g(k) + 11*v(k). Let q be z(-3). Is 7/5 <= q?
False
Let y = 1475/7 + -214. Which is smaller: y or -2?
y
Let t(h) = 2*h**3 + 11*h**2 + 8*h - 3. Let j be t(-1). Is j != -21/38?
True
Suppose -6*s - 793 + 775 = 0. Which is smaller: -7 or s?
-7
Let s = -191 + 217. Is s equal to 26?
True
Let p be 2/(5/5) + (-15)/(-3). Which is smaller: -20 or p?
-20
Let a be (4905/2457 + -2)*177 + (-2)/(-26). Suppose 2*c = 3*x - 17, 0 = -4*x - 2*c - 0*c + 4. Suppose j + x - 1 = 0. Which is smaller: a or j?
j
Let t = 35799/38 - 942. Suppose -h - 8 = -5*h. Suppose -h*c = 3*c. Which is smaller: t or c?
c
Let j be 2 + (-3 - (5 + -3)). Which is smaller: 0.11 or j?
j
Let n(c) = c**3 + 4*c**2 + 4*c + 3. Let g be n(-2). Let m(a) be the third derivative of -a**6/120 + a**5/15 - a**4/12 + 5*a**2. Let s be m(g). Is 3 at least s?
True
Let p = 442 - 439.015. Let u = -0.015 - p. Which is greater: u or -0.5?
-0.5
Let r = -21 - -30. Let t be 4/r - ((-15)/(-3) - 5). Suppose -4*z = 2 + 2. Is z at most t?
True
Let h = 1594 + -1744. Which is bigger: h or -144?
-144
Let c be (-1)/((3 - 5)*-193). Which is smaller: c or -1?
-1
Let c(m) = -m**3 - 4*m**2 - 3*m - 14. Let u be c(-4). Which is smaller: -1 or u?
u
Let l be (-126)/4 + (-35)/14 + 2. Are l and -33 unequal?
True
Let g = -1929 + 1928.9. Let j be (1/8)/(1/(-2)). Is g less than or equal to j?
False
Let t = 0.45 + 0.34. Let b = t - -0.21. Which is bigger: -14 or b?
b
Suppose 0 = -12*q + 11*q - 24 + 25. Let f = -5 - 1. Let i be ((-4)/(-7))/((-4)/f). Is i less than q?
True
Suppose 5*s - 931 = -0*o - 4*o, o + 562 = 3*s. Does s = 0.3?
False
Let b = 96 + -167. Let o = b + 74. Which is bigger: o or 0.2?
o
Let y = -356 - -347. Which is bigger: y or -30?
y
Let y be 24/(-4)*(-1)/(-2). Let f be 6/4 + y/(-2). Let c be (f/15)/((-4)/(-10)). Are 4 and c unequal?
True
Suppose 0 = -6*c + 4*c + 36. Suppose 0*i - c = 2*i. Let h be i/2 + 4/(-8). Is -4 less than or equal to h?
False
Let c(n) = -n**3 - 13*n**2 + 33. Let h be c(-13). Which is smaller: 1/4 or h?
1/4
Let h = -79 + 80. Is h less than or equal to 0.16?
False
Let z = -102.9 - -70.9. Which is smaller: 0.5 or z?
z
Let w be 5*1*(-78)/(-65). Let l be (-4)/w*(-483)/(-46). Which is smaller: l or -11/2?
l
Let n = 9 - 5. Let k(g) = 7*g - 5 - n*g - g**2 + 6*g. Let i be k(9). Which is smaller: i or -6?
-6
Let f = 217 + -191. Which is bigger: 29 or f?
29
Let d be -7 + 3 + (0 - -7). Suppose -u + 4 = -d*u. Which is smaller: -2/3 or u?
u
Let l be (-14)/(0 + -2) - 2. Suppose l*i + 594 = 2*i. Let s be 352/i + (-4)/18. Is s < -7/3?
False
Suppose n - 3*q - 11 = 0, -2*q - 12 = -n - 0*n. Suppose 3*i = 2*t + 4, 3*i - 3*t - 4 - 2 = 0. Is n greater than or equal to i?
True
Let h = 40/47 - 167/141. Which is greater: h or -71?
h
Let d(t) = -t + 31. Let i be d(15). Suppose -4*w = 3*z + z - i, -2*z - 4*w + 16 = 0. Is -5/14 smaller than z?
True
Let s = -70.4 - -57. Let l = -12 - s. Let c = l + -0.4. Which is smaller: -0.01 or c?
-0.01
Suppose -5*o - 103 = 5*y - 23, 0 = 4*y - 2*o + 58. Let i be 0 - -2 - (-36)/y. Is 23 at least as big as i?
True
Let q = -2 - -3. Let l = -0.7597 - 55.2403. Is l greater than q?
False
Let s = -0.0057 + -13.0343. Let z = s - -13. Let m = z + 1.04. Does -0.2 = m?
False
Let y(n) = n**3 + 10*n**2 + 8*n - 7. Let l be y(-9). Suppose l = z - 3. Let p = z - 7. Is 2 greater than or equal to p?
True
Let v = -251 - -6274/25. Let i = v + -22/75. Is -1 not equal to i?
True
Suppose -4*g = -551 - 269. Suppose 9*s - g = 4*s. Is s at most 79/2?
False
Let v be 223/(-892) - 250/72. Is -5 != v?
True
Suppose 5*l - 128 = 47. Suppose -2*f - 4 + l = -t, -4*f + 65 = -3*t. Are 14 and f equal?
True
Suppose 4939 = 9*n + 1564. Do 374 and n have the same value?
False
Let m = 831 + -831. Is 3/28 smaller than m?
False
Let m be (12/36)/(-2 - 5/(-3)). Let v be -67*6/(-2 + 5). Let l = v + 940/7. Which is bigger: l or m?
l
Suppose 2*m + 2*m - 2*c = 24, 2*c = 5*m - 28. Suppose 2*i + 0*u + m*u = 30, 4*i = -5*u + 45. Which is bigger: 6 or i?
6
Let q(w) = -w**3 + 23*w**2 - 36*w - 27. Let r be q(21). Do 101 and r have the same value?
False
Let v = -1 - -1. Let s = 339 - 3735/11. Which is smaller: v or s?
s
Let t = 2.7 - -66.3. Let c = t - 69.1. Which is bigger: c or 19?
19
Let r(i) = i**3 + 10*i**2 + 8*i - 3. Let s be r(-7). Which is smaller: 87 or s?
87
Let g(o) = 9*o**3 + 2*o**2 - 2*o + 1. Let i be g(1). Suppose -5*x + i - 5 = 0. Suppose z = x + 1. Is 5 < z?
False
Let v = -0.5 - 1.5. Let r = -3 - v. Let n = 3705 - 3701. Which is bigger: r or n?
n
Let j(k) = k**3 - 25*k**2 - 4*k + 58. Let p be j(25). Which is smaller: p or -40?
p
Suppose -159 = -10*a - 559. Which is smaller: a or -43?
-43
Let t be (-2*(-5)/(-10))/6*-9. Is 0.031 smaller than t?
True
Let t = 53 - 62. Let g = 9.2 + t. Which is smaller: 9 or g?
g
Let l = -1 - -4. Suppose 8 + 14 = -3*w + d, w + d + 2 = 0. Let r be 0 - l - w - 3. Which is smaller: 1 or r?
r
Let h be (2 - -1)/((-3)/(-1)). Suppose o - 4 = v + 4*o, -4*v = 2*o - 14. Let d be -2 + 6/v - -1. Is d >= h?
False
Suppose 3*c - 96 = 5*h + 4, 0 = 3*h + 3*c + 60. Let s be (h/(-5) - 4)/(-2). Which is greater: s or -5/11?
s
Let w(g) = g + 2. Let t be w(-2). Let h(l) = 2*l + t + 5 - 2. Let k be h(-2). Are 3 and k equal?
False
Suppose -4*a = -4*c - 6*a + 20, -4*c + 4*a = -8. Suppose 0*g + c = -4*j - 4*g, -j - 2*g - 1 = 0. Let d = 515/9 - 57. Is j at most d?
True
Let d = -32 + 6. Let z = d - -25. Do z and 10 have different values?
True
Let l = -300 + 296. Do l and -12/13 have different values?
True
Let b be (-620)/(-50) - 4/10. Let s be (12/54)/((-4)/b). Which is smaller: -0.05 or s?
s
Suppose p - s - 437 = -4*p, 4*s + 269 = 3*p. Let t = p + -81. Suppose 0 = -6*f + 4*f + 18. Is t at least f?
False
Suppose -2*i = 3*m - 46, 68 = 4*m + 3*i + i. Let f(q) = q**3 + 4*q**2 - 3*q. Let v be f(-4). Is v > m?
False
Let n = -665 + 666. Which is greater: -1/24 or n?
n
Let n = 22963291/84150 + 4468/1683. Let u = -1378/5 + n. Do 1 and u have the same value?
False
Suppose 0*j + 3*j = -6. Let z be j/6*(-23 - -2). Let p(a) = -6*a**3 + 3*a + 3. Let r be p(-1). Is z less than r?
False
Let f = -273 + 255. Which is bigger: f or -21?
f
Let m(v) = 3*v**3 - 16*v**2 + 8*v + 25. Let j be m(6). Which is smaller: 142 or j?
142
Let y = -139702/21 - -6656. Which is bigger: y or 3?
y
Let n(p) = -p**2 + 20*p - 10. Let v be n(19). Suppose -5*w + z = 3, -w - 3*z = w - v. Suppose 0 = a + 5, -2*a - 2 - 2 = 3*o. Which is smaller: w or o?
w
Let f = -6045/19 - -60339/209. Which is smaller: f or -29?
f
Let i be (-4)/(-3)*3/(-2). Let n = -104.7 - -105.5. Are n and i non-equal?
True
Let k = -18 + 19. Suppose 0 = -3*x + 5*g + 25, 0*x + k = x + 2*g. Which is smaller: 3 or x?
3
Suppose -1 = i + 4*y, 3*i + 3*y + 48 = 6*y. Let g = 6 - 3. Let r be 8/g*63/(-12). Which is smaller: i or r?
r
Let y(o) = -o**2 - 4*o - 4. Let k be y(-3). Suppose -31 = 11*j - 31. 