 146/(-210) + 16/24. Suppose 0 = 5*h - 2*f + 4*f - 13, 4*f - 16 = 0. Which is smaller: h or j?
j
Let g be -7 + (0 - 3580/(-512)). Is g greater than 0?
False
Let x(g) = 2*g - 7. Let r(q) = -10*q + 35. Let t(k) = -2*r(k) - 11*x(k). Let d be t(5). Let p be 1 + 5 + d + -1. Is 3 less than or equal to p?
False
Let b = 25 + -18. Let r(x) = -2*x**2 + x**3 - 3*x**2 + 2*x**2 - 6*x**2. Let v be r(9). Is v smaller than b?
True
Let o = -11.95096 + -0.02704. Let b = o - 0.022. Is b smaller than 2/7?
True
Let g(f) be the third derivative of -f**4/12 - 4*f**3/3 + 5*f**2. Let a be g(-5). Suppose -v + a = -5. Is 8 smaller than v?
False
Suppose 3*l - 4*m = -14, -2*l - 2*m = -6*l - 2. Let r = -76 + 82. Which is smaller: r or l?
l
Let c = -228 + 263. Which is greater: c or 30?
c
Let h = -46 + 108. Let s = -371/6 + h. Let p(a) = a**2 + 4*a + 3. Let o be p(-2). Is s at least o?
True
Suppose -2*n - 141 = 161. Let t = n + 150. Which is smaller: t or -2/43?
t
Suppose 2*d + d = 2*c - 13, 3*d + 15 = 0. Suppose -4*p = 16, -7 - 8 = o + 3*p. Let f be (-2 - o)/(((-189)/6)/3). Is c smaller than f?
True
Suppose 3*n - 4 = 5*n. Let v be 1 + 21/(-6)*(-1 - n). Suppose 5*m - 23 = 2*p, 7 = 3*p - p + 5*m. Which is smaller: p or v?
p
Let o = -77/15 - -41/8. Are 1 and o non-equal?
True
Suppose 0 = -21*j + 309*j - 5184. Let w = 0.3 + -0.5. Are w and j equal?
False
Let q(n) be the third derivative of n**5/60 + 11*n**4/24 + 5*n**3/6 + 8*n**2. Let c be q(-11). Suppose 10 = -c*i, 163 = -5*d - 5*i + 33. Is d greater than -25?
True
Suppose -3*v + 280 = 2*v + 4*x, 3*v - x = 151. Suppose 5*k = k + v. Let t(y) = -y**3 - 3*y**2 + y - 30. Let d be t(-5). Which is smaller: d or k?
k
Suppose -2*u - u = 4*c - 21, 0 = -u + 5*c + 26. Suppose -a + 3*w - 2 + u = 0, -12 = 3*a + 4*w. Is a > -3/59?
True
Suppose 57*g - 636 = 53*g. Is 159 greater than or equal to g?
True
Suppose 9*n = 4*n + 60. Let z be 6/4*(-16)/n. Let p be z/5 - 8/(-20). Which is bigger: 4/11 or p?
4/11
Let a(p) = -p**3 - 4 + 0*p - 17*p**2 - 3*p + 3*p. Let k be a(-17). Is -5 <= k?
True
Let h be 418/(-230) - (-1 + 4/10). Is 0 >= h?
True
Let m = -2.966 - -3.066. Is m greater than or equal to -1264?
True
Suppose 0 = -3*p - 3, 0 = y + 3*y - 4*p - 8. Let u = 2 - y. Suppose 51*s = 64*s + 78. Is s >= u?
False
Let n be (-5)/((-30)/(-12)) - -1. Do n and 1/9 have the same value?
False
Let r = -0.033 + 0.833. Let p = -0.6 + r. Which is smaller: -1.5 or p?
-1.5
Let c = 103 + -115. Which is smaller: c or -9?
c
Let s = -2/301 - -624/3311. Is s < 4/17?
True
Let o(b) = 138*b**3 + b. Let j be o(-1). Is -139 < j?
False
Let i = 209279/218 + -960. Which is bigger: i or -5?
i
Let i be -3 + ((-16)/(-14))/(10/35). Which is greater: i or 7/5?
7/5
Let h = 160 + -479/3. Which is greater: -0.22 or h?
h
Let o be (-2637)/(-15) - ((-7)/35 - 0). Is o bigger than 176?
False
Let i be (20/(-39))/((-2)/(-3)). Let v be 25/(-10)*4/5. Which is smaller: i or v?
v
Let g = -15 - -25. Suppose -37 = -3*s - g. Which is smaller: 42/5 or s?
42/5
Suppose -9*z + 245 = 20. Let n = 31 - z. Which is smaller: n or -2/7?
-2/7
Let d(o) = -o + 11. Let l(i) = -7*i - 11. Let b be l(-4). Let z be d(b). Which is smaller: z or -10?
-10
Let l(m) = -m**3 + 3*m**2 - m - 2. Let a be l(2). Is 12/49 equal to a?
False
Let u = -44 - -44.007. Let w = 1.007 - u. Is 1/4 greater than w?
False
Let w(c) = -c + 1. Let y(b) be the third derivative of b**3/6 + 5*b**2. Let v(k) = -2*w(k) + 6*y(k). Let a be v(4). Which is smaller: 11 or a?
11
Suppose -5*y - 5*w = 65, -3*w = 5*y + w + 65. Which is bigger: y or -27/2?
y
Let d = 1505 - 1928. Is d at most as big as -421?
True
Let p(s) = -s**3 - 7*s**2 - 6*s - 3. Let o be p(-6). Let u = 2 - o. Suppose 3*t = u*c + 17, 0 = -t + 2*c + 2*c + 8. Which is smaller: t or 2?
2
Let u be (660/(-8))/(7/(-4) + 1). Suppose 2*f - 123 = 5*j + u, -4*f - 164 = 4*j. Is j not equal to -44?
True
Let h(x) = -x**2 - 187. Let p be h(0). Let j be 7/(-14) - 5198/28. Let m = j - p. Which is smaller: m or 0?
0
Suppose 574 = -2*a + 220. Let q be (a/(-60) - 3)/(4/(-50)). Is 2 <= q?
False
Suppose 462 = -11*p - 308. Let w be -3*2/(12/p). Is 35 at least w?
True
Let n be (-4 + 276/75)*5/(-10). Which is greater: 0 or n?
n
Let k = -265 - -213. Which is smaller: -4 or k?
k
Suppose -5*c + 5*p = 0, -2*c = 2*c - 5*p + 2. Suppose 4*d = c*d + i - 1, 0 = 3*d - i - 1. Suppose d*l + 4 = -0*l. Is l != -3?
True
Let j = 737 + -14007/19. Is 1 at most j?
False
Let t = 0.17 + 0.06. Let l = -0.33 + t. Let k be 2 + 7/(-4) - 1. Which is bigger: l or k?
l
Suppose 6*w = 11*w + 50. Let y be ((-66)/(-24) - 0)*-4. Which is smaller: w or y?
y
Let h(f) = f + 6. Let z be h(-9). Let n be (z/(-18))/(4/(-9)). Suppose -2*m + 2 = -0. Are m and n nonequal?
True
Let r be (-2)/10 + 219/(-30). Let w(t) = 2*t**2 - 4*t. Let x be w(3). Suppose -2*i = -x*i - 36. Is i smaller than r?
True
Suppose -4*l + 2*w - 8 = 0, -6*l - w = -5*l + 2. Suppose 24 = -0*t - 3*t. Is t equal to l?
False
Suppose 0 = -6*j - 5*j - 1023. Let h = -93 - j. Which is bigger: h or 22?
22
Let k = 36 - 37. Let g be ((-24)/(-400))/(9/4). Is k smaller than g?
True
Let q(p) = 3*p + 21. Let r be q(-14). Let t be (-2 - 40/r)*-3. Is t at most 0.09?
False
Let m(a) = -a**3 - 15*a**2 - 72*a - 7. Let y be m(-11). Which is smaller: 599/2 or y?
599/2
Let i = -25 + 25.56. Let p = -0.36 + i. Let c = -1.7 - -3.7. Is c >= p?
True
Suppose 0 = 4*c + 75 + 109. Which is smaller: c or 1?
c
Let s(t) be the first derivative of -2*t**2 - 12*t - 4. Let a be s(-4). Let h be ((-5)/130)/(6/a). Which is smaller: 1 or h?
h
Let z = 4753 + -1844163/388. Which is smaller: -1 or z?
-1
Let h(z) = z + 4. Let s be h(0). Suppose s*x - 100 = -x. Suppose 0 = -8*d + 3*d + x. Is d greater than -2?
True
Let t = -13/100 + -3/25. Suppose 0*s + 5*o + 45 = 5*s, -5*s = -o - 25. Suppose 0 = 3*i - s*i. Is t smaller than i?
True
Let v = 133 + -73. Let z = -40 + v. Which is bigger: -2 or z?
z
Let i be 165/110*68/(-6). Which is smaller: i or -28?
-28
Let j(s) = 7*s + 33. Let p be j(-24). Let g = p + 139. Let x = 10 + -6. Is x >= g?
True
Suppose 5*b - 9 - 241 = 0. Suppose 0 = 4*d + h - b, 3*h + 34 = 3*d + 2*h. Which is smaller: 11 or d?
11
Suppose 5*g - 45 = -5*r, g - 2*g - 3*r + 17 = 0. Let t(s) = s + s - 5 + 1. Let z be t(g). Is z less than or equal to 6?
True
Let g = 1563/14 - -104/7. Let s = g - 127. Which is smaller: 47 or s?
s
Suppose -7 = 5591*b - 5584*b. Is -1/1387 at least as big as b?
True
Let h be 0 + (34/6)/(-1). Let s(c) = -c**2 - 35*c - 310. Let k be s(-19). Which is greater: k or h?
h
Suppose 299 = -14*t + 61. Is -18 != t?
True
Suppose 4*y = -3*j + 467, y - 2*y = -5*j + 763. Which is bigger: 152 or j?
j
Suppose -38*n + 34*n - 4*o = 12, n - 5*o = 15. Which is smaller: -6/277 or n?
-6/277
Let h = -6.99 - 0.01. Let k = h - -7.17. Let q = 0.07 - k. Does -1 = q?
False
Suppose -118 = 22*r - 800. Is r equal to 5?
False
Let j = -31/111 - 2/37. Which is smaller: -100 or j?
-100
Let j(y) = 6*y - 9. Let f be j(12). Let m = f + -64. Is m != 0?
True
Let t = 406 - 408. Let f = 7/33 + -25/429. Which is smaller: t or f?
t
Let z(i) = 60*i**2 + i + 1. Let n be z(1). Let j be -1*(n/(-6) - -3). Which is smaller: j or 8?
j
Suppose -2*h + 152 = 722. Which is greater: -284 or h?
-284
Let t(k) = -3*k - 1. Let a be t(3). Let j = a - -18. Is 23/3 > j?
False
Let f be (-4)/8 - 441/(-2). Let g be f/(-54) - (-6 - -2). Is 1/3 greater than g?
True
Let d(n) = -52*n**2 + 7*n - 4. Let c be d(2). Let g be 8/c + 5*(-4)/(-90). Are g and -1 unequal?
True
Let p = -90 + 98. Let u(f) = -12*f + 94. Let j be u(p). Let y = -109/60 + 5/12. Is y greater than j?
True
Let o = -0.79 - -0.79. Which is bigger: o or -0.4?
o
Let f be 19 - ((0 - 2) + 2). Suppose 4*l + f = -5*t, -2*l + 8 = -4*l - 2*t. Which is bigger: l or 5?
5
Let g = -2326 + 2326.3. Let x = -16 + 23. Let h = x - 5. Is g < h?
True
Let a(k) = 1 - 6 - 5*k - 4 + k**2 + 3. Let g be a(6). Let v be (4/35)/((-2)/5). Which is bigger: g or v?
g
Let a = -1 - 3. Let j be (a/8)/1*-134. Let f = j - 472/7. Which is bigger: f or -0.1?
-0.1
Suppose -4*k - 4*w = 3060, 5*k + 3492 + 313 = -w. Let c be 2/11 + k/(-55). Is c greater than or equal to 72/5?
False
Let o be 6/(-1 + -2) + -1. Suppose -4*s + 5*v = 5 + 35, v = -s - 1. Which is bigger: o or s?
o
Let w = -0.5 - -0.494. Let x = w - 0.194. Is x <= 16/3?
True
Let x