*x - 3*u. Which is bigger: -14 or x?
-14
Let z be 4 - 1*(1 - -1). Let m be 4/28*-6*7. Let d be -2*1*15/m. Is d at most as big as z?
False
Let b be (-1857)/(-5679) + 18/(-54). Is 0 not equal to b?
True
Suppose -3*x = -15, -5*x = -0*w - 5*w - 15. Suppose -4 = -u - y, 2*u - w*y = y - 12. Let n be (-16)/(-19) + (u - 1). Is -1 smaller than n?
True
Let p(d) = -3*d**2 - 26*d - 12. Let q be p(-8). Suppose b + q + 1 = -2*x, 4*b - 4*x - 4 = 0. Is 0 greater than or equal to b?
True
Let m = -1572 + 2813. Which is smaller: m or 1242?
m
Suppose 0 = 2*o - 8 + 22. Let x(l) = l**2 + 5*l + 3. Let p be x(o). Which is smaller: p or 18?
p
Let v = 1.41 + -1.6. Let z = 4.1 - 4.1. Is v less than z?
True
Let n = -29.98 - 0.02. Let x = 35.9 + n. Let d = x - 6. Is d >= -4?
True
Let q(c) = c**3 + 9*c**2 - c - 5. Let k be q(-9). Let l be 2*1 - 8/(k + 0). Which is greater: -3/23 or l?
l
Let q = -0.0159 + -8.3641. Let o = q - -0.38. Is 2 not equal to o?
True
Let w(v) = -128*v + 833. Let p be w(16). Do p and -1216 have different values?
True
Suppose -774 = -4*s + 90. Does 1 = s?
False
Let v = 704 - 888. Which is smaller: v or -185?
-185
Let s = -4409/39 - -113. Suppose 5*c - 1 = 4. Is c greater than or equal to s?
True
Let m = 0.15 + -0.04. Let b = m - 1.11. Let l = -17.4 + 25.4. Which is smaller: l or b?
b
Suppose 53 + 2 = 5*f. Let q = 26 - 14. Are q and f non-equal?
True
Let r(v) be the first derivative of v**4/12 - 5*v**3/6 - 4*v**2 + 2*v + 3. Let d(b) be the first derivative of r(b). Let p be d(7). Which is smaller: -1 or p?
-1
Let o = -18 + 24. Suppose -2*b = -2*y + 70, -2*y + b + o = -63. Suppose 49 - y = 3*r. Which is greater: r or 6?
6
Let c be ((-4)/55)/((-4)/10). Suppose -4*h + 3*x + 12 = 0, 6 = h + 5*x + 3. Do c and h have different values?
True
Let h = 591 + -2347/4. Which is greater: h or -0.05?
h
Suppose l + 4 = 7. Let u = l + -2. Let m = 71 - 70. Is m greater than u?
False
Suppose -3*u = -t + 17, 0 = -2*t + 3*t + 4*u + 18. Suppose -4*p - t*a + 20 = -6*a, -4*p = 3*a + 15. Which is smaller: p or 4/19?
p
Let h = 203 + -142. Suppose 0 = -4*n - 5 + h. Which is smaller: 13 or n?
13
Let x(r) = r**2 - 7*r - 4. Let o be x(7). Let v be (-19)/o - 6/(-24). Suppose 0 = -3*n + 9, -v*d = 2*n + 2*n - 2. Is -1 smaller than d?
False
Let m = -3.6 - -2.6. Is m > 374?
False
Suppose -2 = 4*o - 6. Let n be 3/(9/(-30)) + o + -3. Which is smaller: 4 or n?
n
Let x = -28 - -62. Let i = -34.1 + x. Let r = 0.06 - -0.06. Which is bigger: i or r?
r
Suppose a - 1 = 4*q - q, -19 = a + q. Let m be (-1 - (-9)/7)*a/(-6). Which is bigger: m or 1?
1
Let v(o) = o**3 + 14*o**2 + 12*o. Suppose -36 + 10 = 2*h. Let u be v(h). Let y = u + -13. Is y > 1/30?
False
Let i be (1 - (-5)/5) + -3. Which is bigger: 8/33 or i?
8/33
Let x = -0.1753 + 0.2753. Which is smaller: 655 or x?
x
Let t(g) = g**2 - 6*g - 4. Let n be t(6). Let j(s) = 3*s + 4. Let k be j(-4). Let d = k + 4. Is d at least as big as n?
True
Suppose 9*h - 11*h = -6. Let n be (615/(-70))/h + 3. Is 1 at most as big as n?
False
Suppose g + 3*g - 12 = 0. Suppose -9*o = -g*w - 4*o - 12, 3*o - 9 = 0. Let v = -52 - -263/5. Which is smaller: v or w?
v
Let y = -0.5 + 0.4. Let a = -61 + 68. Which is smaller: a or y?
y
Let s = -136/7 + 19. Is -1 less than or equal to s?
True
Suppose 112*d - 130*d = -18. Is 60 bigger than d?
True
Let j be 28/12 + (-6)/(-9). Suppose 0 = j*f + 72 - 12. Let u be (-13)/(-12) - (-15)/f. Which is greater: u or -1?
u
Let l = -700 - -1332. Is l at least 633?
False
Suppose 0 = -2*p + 2*z - 2, 3*p + z = 2*p - 3. Let f be (-2 - -1)*-3*(-528)/(-396). Are p and f nonequal?
True
Let s(h) = h - 6*h**3 + 5*h + 3 - 4 - 5*h**2 + 5*h**3. Let o be s(-6). Is 0.1 > o?
True
Let n be (2/508)/(3/(-6)). Let w be 2 + 16410/(-3429) + 3. Let k = w - n. Is k bigger than 1?
False
Let y = 1 + -1. Let x = -9049/45 - -1799/9. Is y bigger than x?
True
Let s be 354/24 + 4/16. Suppose s*d - 16*d - 20 = 0. Let q be 4/6 + (-130)/6. Which is smaller: d or q?
q
Suppose -g = -2, -3*q - g = 3*g + 7. Let w = -4 + -2. Is w less than q?
True
Let q be (4/2 + -1)*-3. Let o be -2 - (3/q + -1). Let v be 2/3*255/(-136). Is v at least o?
False
Suppose 0*g = -5*g + 10. Let m be (-5656)/(-78) + (-2)/(-6). Let n = -73 + m. Is g at most n?
False
Let y(f) = -2*f**2 + 29*f - 62. Let q be y(22). Is q smaller than -0.1?
True
Let b(u) = u**2 - 4*u - 33. Let z be b(8). Let n = 268/1287 - -2/143. Is z at least n?
False
Suppose 13*w - d = 12*w, -4*w - 3*d - 35 = 0. Is -6 equal to w?
False
Suppose 5*u - 20 = -0*u. Suppose -2*y + 3*k + 17 = 0, -2*y = u*k - 29 - 9. Suppose 2*p = -0*v + 4*v + 14, -4*p = -5*v - y. Is 0.1 > v?
True
Let f = -2675 - -2674.7. Is f >= 268?
False
Suppose 0 = 30*f - 80 + 20. Suppose -4*m = 3*r + 4, -5*m - 6 = 2*r + 6. Which is smaller: f or r?
f
Suppose s - t + 84 = 0, 2*s = 5*s - t + 244. Which is bigger: s or -82?
s
Let d be -13 - (6/14 - (-110)/(-77)). Let u be (-2 + -1)*-1 - (-24)/d. Which is smaller: u or 2/225?
2/225
Let m = 5.2 + 0.53. Let c = m - -0.27. Is c < 1?
False
Let b = -187.88 + 188. Is b greater than -0.2?
True
Let t = -93 - -145. Let s = 88 - 37. Is t equal to s?
False
Suppose 5*v = 4*v - p + 28, -62 = -2*v - 5*p. Which is smaller: v or 25?
25
Let y(g) = -14*g - 12. Let s be y(-7). Suppose -3*v - s = -5. Is -27 at most as big as v?
True
Suppose 101*q = 88*q - 104. Is -138/17 less than or equal to q?
True
Let k = 2216 - 2204. Which is bigger: k or 118/9?
118/9
Let b = -1.72 - -23.72. Which is greater: b or -5?
b
Suppose 13 - 14 = o. Which is smaller: o or 4/169?
o
Let i = 166.3 + -174. Let l = -7.4 - i. Are 0.5 and l non-equal?
True
Let c(s) = s**3 - 7*s**2 + 6*s + 2. Let w be c(6). Suppose -2*l - k - 1 = 16, 0 = -l - 4*k - 26. Let f = l + 10. Which is greater: f or w?
f
Let d = -913 - -2747/3. Let p be 3/6 - (-10)/4. Which is greater: d or p?
p
Suppose -3*p - 120 = -0*p. Let n be 2/9 + -8 + (-897)/27. Is n equal to p?
False
Let h be 1/(-2)*(-139 + -3). Let g = h - 29. Suppose 3*y - 5*y = g. Are -21 and y equal?
True
Suppose -2*y + 42 = -5*y. Let v = 1794 + -1806. Which is smaller: y or v?
y
Let o be (-321)/(-2)*((-336)/(-36) - 10). Is o at most as big as 0.1?
True
Let f be 0*((-25)/10 - -2). Is -2/155 at most f?
True
Let u be 0/(-1 - -4) - 1*24. Let q be 6/(-9) - ((-35)/u - 3). Which is bigger: q or 1?
1
Suppose v + 144 = -3*v. Let m be 0 - 0 - v/6. Let h be m/(-27) - (-94)/18. Is h bigger than 5?
False
Let c = -0.66 - 48.34. Let q = c - -50. Which is smaller: q or -0.22?
-0.22
Let v(h) = 2*h**2 + 30*h - 69. Let m be v(-17). Is 2/5661 equal to m?
False
Let c = -43 - -41. Which is bigger: c or 103?
103
Suppose -200 = -8*w + 4*w. Let j = -27 + w. Which is smaller: j or 22?
22
Suppose 3*x + 15 = 4*z, 3*z + x = -x - 10. Let n(u) = 0 + 7*u**2 - 2 - u**2 - 2*u**2 + u**3. Let d be n(-4). Does z = d?
False
Let c be (-16)/(-7) - 0 - (-66)/(-231). Let w be (c/(-4))/(5/350). Is w > 2?
False
Suppose -k - 27 = -5*g, 3*k + 2*k + 75 = 5*g. Let h = -2 - k. Let c be ((-2)/h)/(8/(-16)). Which is greater: 4 or c?
4
Let v = 2 - 5. Let h be (4 - 8)/(-2) + v. Which is bigger: h or -1/6?
-1/6
Let m = 75 + -45. Let l = 733.1 - 703. Let q = m - l. Is q > 19?
False
Let h = -0.12 + 0.02. Let a = 27 - 27.01. Let z = 0.11 + a. Is h less than z?
True
Let c = -16460/18113 - -54/59. Which is greater: c or 0?
c
Let a(j) = -19*j**3 - j**2. Let t be a(1). Let y = -77 + 59. Which is greater: t or y?
y
Let a = -24.057 - -0.057. Let b = a - -20. Let t(i) = i**3 + 5*i**2 + 4*i - 4. Let d be t(-4). Is d <= b?
True
Let d(c) = -c**2 - 3*c - 2. Let n be d(-2). Suppose n = -5*x + 3*r + 10, -x - 5*r + 2 = -r. Let o be x*(4/(-10))/(-2). Is -1/3 greater than or equal to o?
False
Let a(n) = 2*n**2 + 17*n - 13. Let i(t) = -12 - 9 + 33 - 3*t. Let f be i(7). Let w be a(f). Is w != -3?
True
Suppose 0 = 5*w + u - 133 - 50, -3*w + 2*u = -102. Suppose 3*g = 5 - 14, w = 2*n - 4*g. Let j = 1590 - 1590. Is j at least as big as n?
False
Let r = 1212 - 56962/47. Is r != 2/5?
True
Suppose 620 = 8*q + 860. Is q less than -32?
False
Suppose 2*i + 4 = 2*u, 0*i = 5*i + 3*u + 2. Let a = 27 + -25. Suppose 4*p - g = 3, -a*g = -2*p - 0*g. Is i bigger than p?
False
Let n be -7 + 28*3/12. Is n less than 971?
True
Let v = -0.02 - 0.036. Let w = v + -0.944. Let y = -1393/15 + 93. Are y and w equal?
False
Let n = 1