 19, -n - 8 = 2*t. Which is smaller: -33/20 or t?
t
Suppose -20 + 20 = -7*n. Let d(f) = -4*f + 1. Let u be d(n). Which is smaller: u or -12/25?
-12/25
Let h(i) = -2*i + 153. Let x be h(28). Is x less than 96?
False
Suppose -3*i = -7*i + 3*q - 2, -2*q + 2 = -2*i. Suppose 10*a = 12*a - 72. Let r be a/(-144) - (-2 + 1 + 0). Which is greater: i or r?
i
Suppose -3*g = -2*u + 12, -8 = -2*u + 2*g + 2*g. Let s = u + -29. Let z = 84/5 + s. Is z less than 0?
True
Let f = -5/3 + 1261/753. Are f and 0 non-equal?
True
Let q = 87385/1032 + -254/3. Which is smaller: -1 or q?
-1
Suppose -79*x + 2*w - 696 = -82*x, -3*x + w = -696. Is x greater than 232?
False
Suppose 2*d = -n - 1, -5*n = 2*d + d + 5. Is 3/44 >= d?
True
Let h = 0.0605 + 47.9395. Are h and 0.1 equal?
False
Let j(c) = -c**3 - 16*c**2 - c - 11. Let y be j(-16). Suppose z = -3*t + 4, 0*z + 3*z = -y*t. Let o be (4 - (3 - t)) + -3. Is o equal to -2/47?
False
Let a = -103.09 - -114. Let d = 11 - a. Let z = -0.0253 + 0.0253. Which is smaller: d or z?
z
Suppose -3 = f + 3*z - 0, -2*f + 2 = -2*z. Suppose f = -c + 4*c. Which is smaller: -12 or c?
-12
Let q = 39 - 37. Let j = -6 - q. Is -2 greater than or equal to j?
True
Suppose -89 = a - 114. Are a and 25 equal?
True
Let d be (-2364)/(-20) - (36/(-20) + 2). Which is greater: 117 or d?
d
Let h = -197 + 201. Which is smaller: -18 or h?
-18
Suppose 9*z - 4*z = 100. Let u be ((-6)/9)/(z/108). Is u > -3?
False
Suppose -2*o - 64 = -5*j, -4*j - 2*o = 2*o - 68. Let m = 78 - 66. Are m and j nonequal?
True
Let h(u) = 12*u**2 - u + 1. Let m be h(1). Let g be 1/((-3)/m) + -3. Which is bigger: -34/5 or g?
-34/5
Let u = -27.1 + 26. Let o = u - 0.9. Suppose 0*a - a - 2 = 0. Are a and o equal?
True
Let u = -10/31 + 828/2759. Let o be 1/(3 + (-2)/1). Which is smaller: o or u?
u
Let m = -4303/16 - -269. Suppose j + 2 = 1. Let t be ((0/1)/1)/j. Which is smaller: m or t?
t
Let m(s) = s + 1. Let h be m(0). Suppose -2*u = -5*q + 2, 0*u - 14 = 3*q - 5*u. Let l be 0/q*(0 + 1). Is h >= l?
True
Suppose -25 = -16*l + 11*l. Let r = 0 + l. Let s = -43 + 52. Is r smaller than s?
True
Let s be 6*1 + 8 + 9. Is s at most 9?
False
Suppose -9*a + 8*a = 2*g + 5, 0 = -g + a + 5. Is g >= -2/289?
True
Suppose -2*o + p - 4 + 0 = 0, 0 = 5*o + 2*p + 19. Is -44/15 smaller than o?
False
Suppose 7*i - 10*i = 54. Let u = 18 + i. Is -2/123 at most u?
True
Let i = -67.1 + 30.2. Let c = i - -39. Let w = -2.2 + c. Which is smaller: -3 or w?
-3
Let f = -997 - -998. Which is greater: -13/31 or f?
f
Suppose 4*u = 3*u. Let j = 347 - 348. Is j greater than u?
False
Let a = 283 + -1979/7. Let r(o) be the third derivative of o**4/24 - 2*o**3/3 - 2*o**2. Let m be r(3). Are m and a non-equal?
True
Let l be 1/(-3)*-3 - (3 + -2). Let n be l/(3 + -2) - (-2)/1. Let i = 411/308 + -17/28. Which is greater: i or n?
n
Suppose -3*t = -2*h + 41, -27*h + 3*t = -32*h + 71. Which is greater: h or -2/29?
h
Let l be (5/5 - -2)/(-1) - 319/(-99). Let i be (1/(-1 + 2))/1. Let w = 1 - i. Do l and w have the same value?
False
Let t = -589.94 - -590. Is t not equal to -53?
True
Let b be 2/8 - (-350)/(-1336). Suppose 29*j = -38*j. Is b equal to j?
False
Suppose 18 = -4*l + 2*x, 59 - 19 = -5*l - x. Let j(c) = -2*c + 3*c - 4 - c**2 - 7*c. Let s be j(l). Is -11 smaller than s?
False
Let x = -9 + 8. Let o be (-3580)/(-155)*9/2. Let u = o + -104. Which is greater: u or x?
u
Let l = 497 + -529. Is -29 >= l?
True
Let m = 3.67 + 2.18. Let j = -0.05 + m. Let y = j + -2.8. Is -2 greater than y?
False
Suppose 4*g + 0*g = -112. Let f be (2*6/g)/(4/(-28)). Which is bigger: 15/7 or f?
f
Let w = 78 - 77.43. Let o = w - 0.51. Is o > 15?
False
Let w = 355/3032 + 3/379. Is 2 greater than w?
True
Suppose -3*o - 16 = 3*u - 2*o, -55 = 5*u - 4*o. Let g be (12/(-42))/(1/u*8). Let l = 2 + -3. Which is bigger: l or g?
g
Let v be 130/56 + 1/(2*2). Suppose 5*s = -4 - 1. Let k be (-11)/(-3) - s/3. Is v bigger than k?
False
Let b be (34/4 - 7) + 2/4. Suppose 6*f + 28 = -b. Which is smaller: -56/9 or f?
-56/9
Let q = -1291 - -1290. Is 0.19 < q?
False
Let c = 83 + -78. Let n be 3 - (144/45 + (-1)/c). Is -4/5 equal to n?
False
Let r = 8/3273 + -15766129/36003. Let d = r + 437. Which is greater: -1 or d?
d
Suppose 48 = -3*m + 4*m. Suppose 7*o = o - m. Let q = o + 18. Are q and 9 equal?
False
Let v = -1 - 2. Let b be 16 - v/12*-4. Let c = b + -16. Is -2 not equal to c?
True
Let g be ((-658)/(-28))/(14/4 - 3). Which is smaller: 45 or g?
45
Let z = 17 - 16.93. Let u = z - 0.2. Let t = -0.11 - -0.01. Which is greater: u or t?
t
Let i(v) = -v**2 - 2*v**2 + v**2 + 0*v - v. Let c be i(-1). Let k = 4 + c. Is k greater than 8/5?
True
Let n = -213 - -215. Which is smaller: -0.007 or n?
-0.007
Let l(o) = 2*o**3 - 13*o**2 - 6*o + 2. Let b be l(7). Let v = 16 - b. Suppose -3 + 31 = 4*u. Is v bigger than u?
False
Let p be 4/5*(-10 + 15). Suppose 2*r + m + 8 = -4*m, -r = -p*m + 4. Which is greater: r or 0.4?
0.4
Let v = -0.56 + 0.46. Let n = -0.4 + v. Which is bigger: n or 2/7?
2/7
Suppose u + g = 4*g, -4*g = -2*u. Suppose 5*w = -4*p - 19, u*p - 11 = 3*w + 2*p. Let b be (-2)/9 + 50/(-18). Is w at least b?
True
Let q be ((-12)/(-10))/(2/5). Let u be q + (-3)/(3 + 0). Suppose u*p + 3*a = -2*p - 2, 3*p + 3*a = 0. Which is greater: 1 or p?
1
Let s = 1904 - 2668. Is -765 at least s?
False
Let d = -0.1 + -0.1. Let y = -48.097 - -0.097. Which is greater: y or d?
d
Suppose 415 = 4*a + 5*h, -6*h = -5*a - 5*h + 555. Suppose -51 = 3*r - 2*k, -5*k = 3*r + 2*r + a. Which is bigger: r or -22?
r
Let x = -1/21 + -29/273. Let v = x + -5/52. Is v greater than -50?
True
Let n = 83 - 8. Suppose n = -12*g + 3. Is g less than -7?
False
Let b = 176.99 - 178. Let j = b - -0.01. Let i = -0.053 - -0.453. Which is smaller: i or j?
j
Let g be 3289/121 + 1 - 2. Is 25 bigger than g?
False
Suppose 5*d + 112 = 10*d - 2*y, -2*d + 43 = y. Are 22 and d unequal?
False
Let v(u) = u**3 - 4*u**2 + 2. Let l be v(2). Let k be (-9)/(-27) + (-1)/l*-5. Suppose 4 = c + 2*n, 3*c + c + 2*n = 4. Is k equal to c?
False
Let x(v) = 3*v + 39. Let i be x(-9). Let g = i - 60. Which is bigger: -47 or g?
-47
Let o = 2/3555 - -3551/7110. Is o < -810?
False
Let v = -0.26 + 0.17. Let p = v - 0.11. Let w = 0.1 + p. Are w and -8 equal?
False
Suppose 5*d = q - 19, -3*q - 4 = -4*q. Let y = 0 - 2. Let t = y + 0. Is d < t?
True
Let f be 12 + -14 + (-3485)/(-1837). Let k = f + 2/167. Is k less than or equal to 0.1?
True
Suppose 2*z - 108 = z. Let t be (-6)/(-12)*2 - z/106. Which is bigger: t or -1?
t
Suppose 8*v = 5*v + 4*f + 116, -2*v + 74 = -f. Is v less than 37?
True
Let b = 156 + -120. Is 33 < b?
True
Let v = -19 - -21.5. Let k = -2.8 + v. Which is smaller: -1/4 or k?
k
Let p = 1926110759/984 + -1957430. Let h = p + -1/123. Which is smaller: h or 1?
h
Let m be (-34832)/168 + (-14)/(1*-2). Which is smaller: -199 or m?
m
Let x = -4 + 3.6. Let w = -0.3 - x. Let z be (-42)/8 - (-1 - (-2 + 6)). Is w greater than z?
True
Let d be (2/(-1189))/(-58*(-2)/(-19774)). Let v = -5/841 - d. Is v greater than 0?
False
Let g = 931 + -1098. Is -160 bigger than g?
True
Let b be 6 + ((-16)/4 - 0) - 1. Which is smaller: b or 1/615?
1/615
Suppose -4*n + 2*i + 62 = 0, 36 = 5*n + 3*i - 14. Let k = -15 + n. Let w = -1168/7 + 166. Which is smaller: w or k?
k
Let a be ((-3)/51 - 0)*(-4)/(-2). Which is bigger: 45 or a?
45
Suppose 3*p + 322 = 43. Let f be ((-15)/20)/(p/(-8)). Which is smaller: f or -1?
-1
Let x be (-5)/10 + (-6)/4. Let l(h) = -h**2 + 3*h + 3. Let v be l(x). Let z be 4*(-2 + 1/4). Is z less than v?
False
Let f = -0.08 + -4.92. Let i = f + -2. Let h = i + 7. Which is greater: h or 1?
1
Let c be -7 - (-6 + -5 + 5). Suppose 2*l - 5*y = -29, 2*y + 0*y = l + 12. Let h = 2 + l. Is c greater than h?
False
Let m be 3 + 3 + -1 - 0. Suppose 4*s + 100 = m*q - 54, 4*q = 3*s + 123. Let k be ((-4)/(-10))/(42/q). Are 2 and k unequal?
True
Let y(z) = 4*z - 15. Let v be y(4). Is v bigger than -12?
True
Let o(b) = 5*b**2. Let v be o(1). Suppose v*x - 27 = -3*a, 0*x - 4*x = -4*a + 4. Let i be (0 - 0)*(-2)/a. Which is smaller: i or -3/8?
-3/8
Suppose 72 = -9*j + j. Let i = 3 - j. Which is bigger: i or 13?
13
Let h(a) = -a**3 + 5*a**2 + 7*a - 1. Let r be h(5). Let y = -249 + 255. Suppose 4*d - 13 = l, -4*d + r = -4*l + y. Is -4 > l?
True
Let l(b) = -b**2 - 19*b - 8. Let