 + 6 = 0. Is b less than q?
False
Suppose 84 - 55 = -4*v + 5*s, s + 14 = -v. Which is bigger: -12 or v?
v
Suppose 2*h - h - 18 = -w, -h = -4*w + 82. Let p be w/5 - 42/9. Which is smaller: -2 or p?
-2
Let f be (-24)/(-112) + (-7098)/196. Let d = -0.3 + 0.4. Which is bigger: d or f?
d
Let r = 29 - 29. Suppose 5*u = -r*u. Which is bigger: 5/4 or u?
5/4
Let s(k) = 27*k - 64. Let a be s(5). Are a and 73 equal?
False
Suppose 0 = -4*d - 4*z - 28, -z = 4*d - 0*z + 25. Let v = d + 6. Let j(b) = b**2 + b - 10. Let x be j(v). Which is smaller: x or -9?
x
Let h = 1761 - 1749. Is 2/19 bigger than h?
False
Let x = 0.24 - 0.2. Let u = 31 - 6. Let o = -25 + u. Are o and x non-equal?
True
Let s = -107501/86 + 1250. Which is bigger: s or 0.1?
0.1
Let c be (-7)/10*(-52)/(-91). Which is bigger: c or -17?
c
Let k = -451.13 - -453. Let v = k + -0.87. Which is smaller: v or -2?
-2
Let u(f) = f**2 + 7*f - 1. Suppose 4*x + 30 = a - 3*a, 31 = -4*x - 3*a. Let i be u(x). Is i equal to 2?
False
Let n = 6 - 3. Suppose -364 = -4*w - n*w. Are w and 53 non-equal?
True
Suppose 0 = -b + 3, -579045 = 4*g + 5*b + 576700. Let f = 3752220/13 + g. Let l = f + 308. Is -1 bigger than l?
False
Let d(o) = 8*o**3 - 4*o**2 - 5*o + 87. Let b be d(7). Is 2599 greater than b?
False
Let k = 6 + -5. Let v be (1695/(-18))/(4/(-13)). Let n = v - 306. Which is bigger: k or n?
k
Let p = -32193/13 + 2473. Let x = 1038/299 + p. Is x <= -1?
False
Let s be ((-74)/(-185))/(88 + 1). Which is bigger: s or 0?
s
Suppose -46*y + 6*y - 240 = 0. Which is greater: -17 or y?
y
Let v(s) = -s**3 - 34*s**2 + 29*s - 147. Let b be v(-35). Is 446/7 <= b?
False
Let q = -19184/9 + 2132. Which is bigger: -65 or q?
q
Let q be ((-1)/(-3))/((-6)/(-333)). Let o = -19 + q. Let s = -41/168 - 1/24. Is s greater than o?
True
Suppose 2*w - 3*t + 50 = -154, -4*t = 0. Let x = w - -109. Which is greater: 9 or x?
9
Suppose -5*s + 2*n + 13 = -21, 0 = -4*s + n + 26. Let p be (54/(-312))/(s/(-16)). Which is smaller: 0 or p?
0
Let h = 21527/7 - 3085. Suppose 5*x = 30*x + 250. Is x >= h?
False
Let z be ((-8696)/(-50))/(18/(-15)). Let q = 145 + z. Is q > 0?
True
Let s = -24.1 + -1.9. Let i = 23 + s. Is i less than or equal to -2/5?
True
Let h = 1441 + -1533.9. Let p = h - -96. Which is greater: p or 2/7?
p
Let r = -376 + 354. Which is greater: 0.01 or r?
0.01
Let n(z) = z**2 + 6*z - 1. Let k be n(-5). Let h be ((-3)/k)/((-4)/(-24)). Let s be -1 + 1/2 - h. Is -5 less than s?
True
Let v = 0.03 + -0.14. Let m = v - -0.06. Which is smaller: m or -3?
-3
Suppose -3*h + 1008 = 25*h. Which is smaller: h or 11?
11
Let r = 31020 + -31013. Suppose 0 = -q - 0 - 5, -q = 2*g - 11. Let y be (-4)/3*2/g. Which is greater: y or r?
r
Let z = -23/25 + 586/175. Let q be (-9)/(522/36 + -19). Which is bigger: q or z?
z
Suppose -6*l + 27 + 3 = 0. Let w(m) = -2*m + 7. Let s be w(l). Is s greater than -1?
False
Suppose -832 = 17*q + 290. Which is smaller: q or 1/5?
q
Let a = -71 + 6596/93. Is 0 not equal to a?
True
Let t = -0.62 - -56.62. Which is smaller: t or 0?
0
Let m be 2/(-7 + 5) - -1*4. Which is bigger: m or -0.46?
m
Let u be -1*1/(196/(-7)). Are u and 0 nonequal?
True
Let z(v) = -v - 8. Let n be z(-12). Let j(r) = r**3 - 3*r**2 - 2*r - 5. Let o be j(n). Suppose 13 = -h - o. Which is greater: h or -17?
h
Suppose d = 3*d. Suppose -6 = -5*i + 3*u, 2*u + 4 = 2*i - d*u. Suppose 3*r = 3*c - 3, -14 + i = -4*c - r. Which is greater: 2 or c?
c
Let s(p) be the second derivative of p**3/6 + 11*p**2/2 + 5*p. Let h be s(-8). Are h and -0.2 unequal?
True
Let u(m) = -m**3 + 10*m**2 + 8*m + 11. Let k be u(11). Let z = 24 + k. Which is bigger: 7/3 or z?
7/3
Let j = -0.48 + 0.9. Let x = -2.63 + 2.63. Is x at most j?
True
Let a = -750 - -749.97. Let u be (8/9 - 1)*1. Which is bigger: a or u?
a
Let f = -2 + -1. Let t be 2/f - (-8)/3. Suppose -o + t = 4. Which is smaller: o or -7/5?
o
Suppose -k = -5, -5*v - k = -1 + 6. Which is smaller: -0.06 or v?
v
Let z = -165 - -136. Let r = 30 + z. Which is bigger: -4/9 or r?
r
Let g = -2/243 - 235/972. Which is smaller: 1 or g?
g
Let q(y) = -y**3 - 2*y**2 + 2*y + 2. Let o be q(2). Let v be (o/(-75))/(6/9)*-13. Which is smaller: v or -2?
v
Let f be -2 - (9701/(-1176) - 0). Let l = -198/49 + f. Let s = -11/6 + l. Which is greater: 1 or s?
1
Suppose 38*x - 3168 = 6*x. Which is smaller: x or 98?
98
Let i(b) = -b**2 + b + 4. Let g be i(3). Let h be 6/((-6)/(1 - 4)). Suppose u = 5*t + 8, 5*u = -t + h - 15. Is g <= t?
True
Let b = -15 + 15. Suppose -4*r + 33 - 53 = b. Suppose -3*p = 4*v + 14 + 5, -5*v - p = 32. Which is bigger: r or v?
r
Suppose 0 = 10*h - 5*h - 25. Suppose h*u + 8*u - 17*u = 0. Which is bigger: 3/11 or u?
3/11
Suppose 4*b + 19 = 4*p - 13, 4*p = -5*b - 22. Let f(m) = -2*m. Let i be f(b). Let n be (-13)/20 - (-3)/i. Which is smaller: n or -2?
-2
Suppose -4*s = 4*j + 4 - 20, 3*s = -5*j + 18. Suppose 4*k = -j*u + 10, 7*u = 5*k + 3*u - 28. Are 6 and k equal?
False
Suppose 0 - 3 = 3*p. Let f = 29 + -25.1. Let h = 3.1 + f. Which is greater: h or p?
h
Let z = 141 + -142. Let j = -239 - -3105/13. Which is smaller: z or j?
z
Suppose 2*x - 19 + 218 = -3*h, 2*h + x = -132. Let j = 82 + h. Do j and 17 have different values?
False
Let d be (1/(-86)*9)/(6/(-12)). Is d smaller than -0.2?
False
Let x = -455 - -463. Which is bigger: -14 or x?
x
Let j = -1 + 8. Suppose -21 = -4*w + 7. Is j greater than or equal to w?
True
Suppose -4*h = -10 + 2, 0 = -3*l - 5*h - 17. Let q = l - -8. Which is smaller: 2/7 or q?
q
Let i(j) = -2*j**2 + j - 8. Let q be i(-2). Which is smaller: q or -20?
-20
Suppose 0 = v - 0*v - 5. Suppose -s - 1 = j - 0, 4*j - 3*s = 24. Suppose 5*z + j*g = g - 112, -3*z - v*g - 71 = 0. Is -22 equal to z?
True
Let i(x) = -x + 3. Let g be i(1). Is g greater than or equal to -0.33?
True
Let z be ((-679)/(-873))/(7/6). Is 28/5 equal to z?
False
Suppose 0 = -5*r - 0*p - 4*p + 26, 3*r + p = 10. Suppose 0 = -x + 4*g - 6 + 2, -r*x - 3*g + 14 = 0. Suppose x*y - 2 = 2. Which is smaller: 10 or y?
y
Suppose -68*t = -30 - 38. Suppose 103 = 3*i - 77. Let k be (-2)/(-4) - 38/i. Which is bigger: t or k?
t
Let b = -43 + -22. Suppose 2*a - 60 = -190. Do b and a have different values?
False
Let v = -740 + 747. Let g(j) = -j - 3. Let i be g(-5). Which is smaller: i or v?
i
Suppose -6 = 31*c - 29*c. Are c and -25/8 unequal?
True
Let y be (12/(-10))/(((-9)/(-555))/3). Is -221 greater than y?
True
Let g = 144 - 145. Is 0.46 smaller than g?
False
Suppose -14*x = -x - 39. Suppose -5*a = -0*a + 5, a = x*b - 64. Let c = 41 - 20. Is c at least b?
True
Let y be (-4)/((-4)/(-4)*-1). Suppose 0*h = h + 4, 2*x + y*h + 8 = 0. Which is bigger: 0 or x?
x
Let a = 629 + -631. Let l = -2 + 3. Let c = a + l. Which is smaller: -16 or c?
-16
Let c = -7.6 + 7.506. Let v = c + 0.046. Which is smaller: v or -1?
-1
Let b(k) = k + 14. Let v be b(-9). Suppose -11 = v*l + 4*f, -l + 0*l - 19 = 5*f. Suppose 2*r - 3 = -l. Which is greater: r or 2/19?
r
Suppose -4*w + 14 = -5*x, 2*x + 4*w = -13 - 15. Let u be (x - (3 - 1)) + -2. Let v = -7 - u. Is v smaller than 3?
False
Let j be (4/5)/(8/720). Let v = 507/7 - j. Is -1 at least as big as v?
False
Let j be ((-6)/8)/((-1026)/(-36)). Is 1 <= j?
False
Suppose -5*k - 505 = 2*r, -2*k - 3*r - 203 = -2*r. Let w be 114/95*500/(-6). Is w <= k?
True
Suppose 9*i - 11*i = -10. Suppose -2*k - 3*w + 17 = 0, 2*k - i*w = -k - 22. Suppose -g = -1 - 2. Which is bigger: g or k?
g
Let x be (-308)/(-198)*(5/(-6))/(-5). Is 1 at most as big as x?
False
Suppose -1 = -2*c + 2*d - 11, 3*d - 12 = 0. Which is smaller: c or 3/991?
c
Let d = -197/513 - -8/19. Is 1 bigger than d?
True
Suppose 2*d = 2*t + 378, -7*t + 8*t + 5*d + 159 = 0. Is -369/2 < t?
True
Let z be (-78)/(-4)*(3 - 5). Let n = -38 - z. Which is smaller: -9 or n?
-9
Let g = 285/13 - 2489/91. Is -4 less than g?
False
Let q be (8/(-12))/(2/(-12)). Suppose 3*d - q = d. Let v be -1 - ((5 - d) + -2). Which is bigger: -4 or v?
v
Let g = -94/3 + 385/12. Suppose 2*t + 4*l - 458 = 0, -830 = -5*t - 2*l + 339. Let w = t - 235. Which is greater: g or w?
g
Let t = -4.0109 + 0.0109. Which is smaller: t or 146?
t
Let i = -7 + 11. Suppose 3 = i*d - 1. Let u = 279 + -11995/43. Is d > u?
True
Suppose -165 = -5*y + 5*b, 3 = -5*b + 2*b. Let i = -18 + y. Let k = 14 - i. Which is smaller: 2/5 or k?
k
Let k = -664 + 6