 + 5. Let n(t) = -h(t) - 2*z(t). Let o be n(4). Suppose 3 = 4*s - o. Are s and 6 equal?
False
Suppose -72 = -y - 5*y. Let n(b) = 3*b - 18. Let f be n(y). Let h be (-18)/f*(-1)/5. Which is smaller: 0.05 or h?
0.05
Let s = -643 - -14783/23. Let r = -3 - -2. Is r less than s?
True
Suppose 10 - 22 = l. Which is greater: -8 or l?
-8
Let v(h) = 89*h + 13. Let m be v(-1). Which is greater: m or -73?
-73
Let p = 0 + 0. Let r = -0.1 - p. Let a = -1573/9 - -175. Which is greater: a or r?
a
Let v be 3*8356/540 + 8/10. Let u = -25 + 72. Let a = v - u. Which is smaller: a or 1?
a
Let b = -218 - -251. Which is smaller: 32 or b?
32
Let t = 61 + -61.1. Is 24.2 bigger than t?
True
Suppose 4*f + 4*k - 9 = 7, 5*f = 3*k + 52. Let z(w) = 2*w**2 - w. Let y be z(-9). Suppose 27 = f*r + y. Which is smaller: r or -19?
-19
Let j(s) = 4*s + 36. Let z be j(-9). Suppose 5*i - i - 20 = z, 0 = 5*v + 2*i - 15. Is v at most as big as 1?
True
Let f = -2 + 4. Suppose 3*s = f*s. Is s at least -1/30?
True
Let s = -311 - -291. Is -13 != s?
True
Suppose -13 = 5*a - 4*a + 4*c, 0 = 3*a - 5*c - 29. Suppose y - 4 = b - a*y, -2*y = 5*b - 2. Suppose 4*s - 3*p - 3 = b, s - 7 = 5*p - 3*p. Is -0.2 >= s?
True
Let y be 6/(-30)*3 - (1 - 1). Which is greater: y or -6?
y
Let z(k) = 17*k**2 - 51*k - 225. Let w be z(-5). Which is smaller: 456 or w?
w
Suppose -10*n - 131 = -121. Let q be 1/4*(-10)/4. Do q and n have different values?
True
Suppose -6*x + 939 = -345. Which is greater: 213 or x?
x
Let c be (-913)/(-187) - 10/(-85). Is c at least -4.2?
True
Let f(h) be the second derivative of h**4/4 - 23*h**3/6 - 6*h**2 - 25*h. Let j be f(8). Is -32/7 at most as big as j?
True
Suppose 0 = -2*w + w - 5. Let k be (302/(-78) - -3)/(w/15). Which is bigger: 3 or k?
3
Let i = 2939217/16 + -183789. Let k(f) = -2*f**2 + 2*f - 4. Let n be k(7). Let l = n - i. Which is bigger: l or 0?
0
Let h = -317 - -318. Let p = -5 - -3. Let j = p + 2.2. Is h < j?
False
Let j = -1.9 + 2. Let b be (33/(-9) + 3)/(30/135). Which is smaller: b or j?
b
Let y(v) = -17*v - 155. Let u be y(-9). Do 0.2 and u have different values?
True
Let o be 1 + (3 - (-57)/(0 + -1)). Let d = o - -58. Which is bigger: -1 or d?
d
Suppose -2*x + 2*h + 20 = 4*h, 47 = 5*x + 4*h. Let u = x - 16. Let w be 2/u - 3/27. Is -8 bigger than w?
False
Suppose 0 = -0*n + n - 35. Suppose -61*v + 2937 = 924. Which is smaller: n or v?
v
Suppose -3*q + 5*b - 477 = 0, 0 = 2*q - 2*b + 74 + 244. Is q at least -794/5?
False
Let d be 6/((-1440)/462) - -2. Is -1 bigger than d?
False
Let u = 5 + 1. Let v be (u - 6)/(-2 + 0). Is v at most as big as 3/17?
True
Suppose -3*m + 95 = 16*m. Which is smaller: m or 11/3?
11/3
Let b be (-3 + 6 - -3)/(-2) + 7. Suppose -3*q + 4*q - b*s = -13, 0 = 4*s - 16. Which is greater: q or 33/8?
33/8
Suppose -s = -w + 1, 0 = -2*w - 0*w - 5*s + 16. Suppose w*o = -2*o + 15, -o - 57 = 4*u. Let y be 2*(2 + u/6). Is 1 at least y?
True
Let m(c) = -c**2 + 12*c - 13. Let l be m(9). Suppose -6*r - l = 4. Which is smaller: -4 or r?
-4
Let c(t) be the first derivative of 4*t**3/3 + 4*t**2 - 4*t + 20. Let k be c(-2). Which is smaller: k or -2?
k
Let r(i) = i**2 + 4*i + 3. Let l be r(-3). Suppose d + b + 3 = l, -3 = 5*d - 4*d + 5*b. Let c be 559/156 - (-1)/d. Which is smaller: c or 3?
3
Suppose -62*m = -69*m - 7. Which is smaller: m or 84?
m
Let y = -1001 - -1030. Which is greater: 7 or y?
y
Let c = -11.9 - -12. Let t = -44 - -33. Which is smaller: t or c?
t
Suppose -50 = 3*s + 2*x + 98, x = -3*s - 146. Let i be 2 - ((-4)/6)/(s/126). Which is greater: -1.3 or i?
i
Let o = -146 - -142. Let v = 361/492 - 54/41. Let q = -17/24 - v. Which is smaller: o or q?
o
Suppose 13 = -2*c - 5*d, -5*c - 4*d + 15 = -d. Suppose 2*y - 4 = p + c*y, -5*p - 3*y - 20 = 0. Which is bigger: -27/7 or p?
-27/7
Let a be ((-471)/(-12))/(14/(-56)). Let t = -2/76269 - 83514541/533883. Let d = a - t. Which is smaller: -1 or d?
-1
Let r(j) = 7 - 3*j**2 + 6*j + 2 + 9*j**2 - 1 - j**3. Let b be r(7). Let l be 34/(-10) + (b - -2). Which is smaller: -5 or l?
-5
Suppose 6*z - z = -65. Let d = -9 - z. Let c = d + 1. Which is smaller: 6 or c?
c
Let r = -1202 + 1202. Is -2/985 != r?
True
Suppose -9*v + 318 = -231. Is 59 at least v?
False
Let b = -1.2 - -1. Let c(t) = 15*t + 12. Let h be c(-3). Let o be (h/(-44))/(-2 - 5/8). Which is smaller: o or b?
o
Let n = 0.1 + -0.061. Do n and 0 have the same value?
False
Let r be (-2737)/(-679) + -1 - 3. Let b be 2 + 14/(-18) - 2/9. Is b at least r?
True
Let b = 5.977 + -5.93. Is b less than 6?
True
Suppose -4*j + 2*h = j - 356, 0 = -5*j - 3*h + 366. Suppose -4 = -4*y + j. Are 18 and y unequal?
True
Let b = 21 - 21. Suppose -3*q + 0*o - 3*o - 15 = b, 3*q - 5*o = -31. Which is bigger: -6 or q?
-6
Let s = 35 + 20. Suppose 5*i + s = -6*i. Which is smaller: -1 or i?
i
Suppose -20 = -0*a - 5*a. Suppose -3*d - 5*s = -11, -3*d + a*s = -0*s - 56. Let i = 13 - d. Is -1/8 > i?
False
Let n be (-28)/6 + (-4)/(-6). Let v(b) = 2*b**2 - 77*b - 119. Let p be v(40). Let t be n/(-150) + (p - 1). Which is bigger: t or 1?
1
Let a = -26.4 + 44.4. Which is greater: a or -0.08?
a
Let l = 565 - 564. Let v be (-9)/10*(-3)/57. Let c = -1/19 - v. Which is bigger: l or c?
l
Let g = -32 - 19. Let z = 51.06 + g. Let d = 0.4 - 0.2. Is d less than or equal to z?
False
Let u(v) = v**2 + v + 1. Let t(d) = -d**3 - 4*d**2 + 8*d + 15. Let f(y) = -t(y) + u(y). Let c be f(-6). Which is smaller: -13 or c?
-13
Suppose -2*m + 5*d = 55, -2*d = -m - 30 + 4. Suppose 21 = 5*r - 4, 63 = -2*w + r. Let k = m - w. Is k at least as big as 8?
True
Suppose -333 = -2*f + 165. Suppose 0 = 7*w + 53 - f. Is 27 <= w?
True
Suppose -3*g + 225 - 201 = 0. Which is bigger: 11 or g?
11
Suppose p = -2*k + 3, 2*p + 6 = 3*k - 2. Which is bigger: 16/39 or p?
16/39
Let i(u) = 5*u**3 - 16*u**2 - 5*u + 12. Let p(j) = 11*j**3 - 33*j**2 - 10*j + 24. Let b(z) = 13*i(z) - 6*p(z). Let n be b(-9). Let x = -22 - n. Is -3 < x?
True
Let x = 0.6 - 0.54. Let a = x - 0.05. Let k be ((-10)/(-12) + -1)/(30/45). Is k > a?
False
Let x = -19 + 19. Let p = 8 - 7.2. Let l = -0.2 - p. Which is smaller: x or l?
l
Let w be (-12)/8*465/(-290). Let y = 10/29 + w. Which is bigger: y or 4?
4
Let g = 4/91641 + 286072651/91641. Let i = -3192 + g. Let h = i - -71. Is h >= -29?
True
Suppose 0 = -298*z + 301*z + 2952. Is z != -983?
True
Let z = -0.01 + -1.19. Let w = z - -1.1. Is -1.2 smaller than w?
True
Let p be (1042/(-3))/((-8)/3). Let r = -34 - 97. Let h = r + p. Is -1 at most as big as h?
True
Let w = 0.1 + -0.4. Let t = w - -0.2. Let i(q) = 8*q**3 - q**2 - 2*q + 3. Let y be i(1). Are t and y equal?
False
Let u(x) = x**3 + 3*x**2 + 12*x - 44. Let o be u(-7). Which is greater: o or -325?
o
Let l(t) = -2*t**3 + 79*t**2 + 40*t. Let s be l(40). Which is bigger: -2/2265 or s?
s
Suppose -3*a = 2*f + 32, 6*a - 2*a + f = -36. Let u be (-12)/a*16/6. Suppose 0*t + 3*t = -u*d + 83, -t + 35 = 5*d. Which is smaller: 24 or t?
24
Let m = 227.5 - 231.84. Which is greater: 0 or m?
0
Suppose 0 = -2*q + 9 - 1, -3*y = -4*q + 16. Are y and -183 nonequal?
True
Let c = 1075 - 1064. Suppose 60 = 5*o - 0*o. Which is greater: o or c?
o
Suppose 0*j + 5*o = -j - 17, j - 5*o - 13 = 0. Let h be j/(-3) + 123/(-9). Let v = h + 14. Is v < -0.4?
False
Suppose -113 + 118 = -5*l. Is 5/34 less than or equal to l?
False
Let v = -185 - -186. Which is smaller: v or 3/56?
3/56
Let j(m) = 4*m + 98. Let l be j(-22). Is 12 at least l?
True
Let w be 9*1*34/306. Which is smaller: -2/159 or w?
-2/159
Suppose 11*g + 11*g + 22 = 0. Which is smaller: 4/73 or g?
g
Suppose 5*g = -4*p - 37, -55 = 5*g - 7*p + 2*p. Suppose -4*c - 5*h = -29, 6*c - 2*h = 3*c + 16. Suppose -19 - 23 = c*q. Which is smaller: q or g?
g
Let y = -3164 + 3177. Let r(a) = -8*a - 1. Let h be r(-2). Is h not equal to y?
True
Let y = -41 - 27. Which is bigger: y or -471/7?
-471/7
Suppose -515 + 86 = -11*b. Do 118/3 and b have different values?
True
Let t = 0.184 - 0.384. Let h = 3 + -5. Is t bigger than h?
True
Let k be (47 - 2)/((-27)/18). Let s be (-100)/k*(-6)/5. Let d = s + -14. Is -1/2 < d?
False
Let v = -103 + 113. Let d be (3/2)/(v/(-32)). Which is smaller: -6 or d?
-6
Let u be -1 - (49/(-51))/1. Let f(l) = -l**2 - 22*l + 23. Let d(q) = -q**2 - 5*q + 1. Let t be d(3). Let v be f(t). Is u smaller than v?
True
Let m(v) = -v**2 -