(-5)/(16 + 4) - g/(-28). Which is bigger: -2/9 or y?
y
Suppose -668*d - 454848 = 674*d - 1319*d. Which is greater: d or -19777?
d
Let t = -6 + 14. Let j = 4252/777 - 655/111. Are t and j unequal?
True
Let s = 3264.89 + -3265. Which is smaller: s or -90?
-90
Suppose -11937 - 52353 = -61*m + 3237. Which is bigger: m or 1108?
1108
Suppose -2948 + 16452 = 4*n. Let y = n - 97878/29. Is 1 smaller than y?
False
Suppose 3*h - 4 = h. Suppose 2 + h = -d - s, 4*s + 16 = -d. Suppose 7*y - 6*y = d. Is y at least as big as -6/7?
True
Let a(d) = -d**2 + 4*d - 3. Let z be a(2). Let m be (-8 - (-198)/24)*((-64)/(-488))/4. Is m at least as big as z?
False
Suppose 5*t - t - 150 = -5*w, -3*t + 119 = 4*w. Suppose -f - 5 = 3*v - 43, 3*v - 5*f = w. Suppose 4*u - 21 - 35 = 0. Which is smaller: v or u?
v
Let w(a) = 3*a**2 - 13*a + 13. Let x be w(5). Let m = 13033/548 + -9/274. Which is smaller: m or x?
x
Let a = 140 - 142. Let d be 0/a*2*(-1)/8. Which is smaller: 2/17 or d?
d
Let s = 11 + -3. Let y = 49.1 - 41. Let q = s - y. Is q greater than -2.3?
True
Let j = 22/57 - -4/285. Suppose 224 = -17*l + 19*l. Let h be l/(-96)*(-9)/(-2). Is h > j?
False
Let z = -221/5 - -44. Let w = 849 - 848.2. Is z not equal to w?
True
Suppose 0 = 62*r - 52*r + 20. Let n(u) = u - 3. Let d be n(4). Suppose d + 3 = 2*o, 5*v = -2*o + 4. Is v greater than r?
True
Suppose -5*o + 22 + 33 = 0. Let a be (-6)/8 - o*5/(-20). Suppose 4*h - 3 = h. Which is smaller: h or a?
h
Let j = -3.473 - -3.673. Which is smaller: j or 0.59?
j
Let k = -49 + 46.5. Let t = 31.6 - 34. Let p = k - t. Is p != -0.3?
True
Let p = 121 - 220. Let m = -0.031 + -0.069. Which is greater: m or p?
m
Suppose -6*z - 12 + 174 = 0. Suppose 0 = 4*y - 27 + z. Which is smaller: y or -2/255?
-2/255
Let p = -52 + -205. Let o = -163 - p. Let b = o + -94.1. Is 0.1 smaller than b?
False
Suppose 2*k - 49 = -21. Let z be 3/(-126)*-6 + 166/k. Suppose -x - z = -11. Is x bigger than 1/20?
False
Let u = -1192 + 1196. Let a = -8.89 - -9. Which is greater: u or a?
u
Suppose -8*l + 9*l = 1. Let n be -3 + l - 170/(-68). Which is smaller: n or -5?
-5
Suppose 0 = -20*a + 14*a - 42. Let z be 24/(-52) - (-5 - a). Is z > -1?
False
Let c = 15.094 - 14.6. Let j = -0.794 + c. Is -8 at most j?
True
Let t be (-2)/19*1900/(-50). Suppose -l = 3*d - 5*l - 902, 5*d - 3*l - 1518 = 0. Let f be 9/d*t*-1. Which is greater: -1 or f?
f
Let x(v) = -7*v**2 - 96*v - 170. Let h(o) = -4*o**2 - 47*o - 84. Let k(b) = -11*h(b) + 6*x(b). Let a be k(30). Which is smaller: a or -68?
-68
Let h = -3.36 - 32.94. Let t = -36.3 - h. Is t less than or equal to 57/2?
True
Let f = 516 + -333. Let u = 354089 - 353905. Is u at most f?
False
Let l = 1509 + -1510. Which is smaller: 1/1443 or l?
l
Let s(z) = -2*z**2 + 10*z + 14. Let y be s(6). Suppose -y*g + 7 = -5*k + 211, -5*g - 27 = -k. Let b be 10/(-35) + 33/k. Are b and 1 nonequal?
True
Suppose 16*j = 17*j + 15. Let v(r) = -r**2 - 13*r + 14. Let a be v(j). Suppose 2*k = -7 - 15. Are a and k nonequal?
True
Let c be 717/2 + -3 + 2/4. Suppose -17*r = -13*r - c. Let m = -92 + r. Is m equal to -5?
False
Let n = 0 + 1. Let t = -114 - -61. Let h = t + 57. Which is smaller: h or n?
n
Suppose 16 = 3*t + 79. Suppose -27*o + 229 = -14. Let q be (o/2)/(4 - (-102)/(-24)). Is q smaller than t?
False
Let k(s) = -23*s + 16. Let x be 10 + -4 + 6/4*2. Suppose 3*t + 4*j + x = -1, 2*t - 16 = 3*j. Let q be k(t). Is q >= -29?
False
Let n = -4.7266 - 0.2034. Which is smaller: n or -2/7?
n
Let p(b) = -3*b**2 - 3 + 8 - 1 + b**3 + 9*b**2. Let h be p(-6). Suppose h*k - 5*k = -5*g + 25, -2*g = 5*k - 10. Is k at least as big as 5/7?
False
Let f = 3/335911 - 2034507/2132027117. Does -1 = f?
False
Suppose -446*i + 451*i = 2*c + 7, -c - 3*i + 2 = 0. Which is greater: c or -2/35051?
-2/35051
Let s(h) = 2*h**2 - 47*h + 44. Let b be s(31). Let t = 3569/7 - b. Let k be (1 - 6)*(-2)/5. Which is smaller: t or k?
t
Let d(h) = -6*h + 21. Let g be d(4). Let c be (-24)/8 + 75/g. Let a be (0 - 12/c) + (-53)/(-7). Which is smaller: 10 or a?
a
Let o(a) be the second derivative of -a**4/12 + 5*a**3/6 - 3*a**2/2 - a. Let y be o(4). Let c = 77289 - 77298. Are y and c nonequal?
True
Suppose -6*y - 29 = -41. Suppose -4*k = 5*m - 6*k - 16, 2*m = -k + 1. Let d be m - (-1)/3*3. Which is bigger: d or y?
d
Let d(j) = -8010*j**2 + 12*j + 11. Let t be d(-1). Which is smaller: t or -8010?
t
Let u = 14117 + 3506. Is u at least as big as 17624?
False
Suppose -198*j - 26*j + 170016 = 0. Which is greater: 763 or j?
763
Let a(b) = 2*b**3 + 3*b**2 - 23*b + 103. Let u be a(8). Is 1135 > u?
False
Let s(o) = -65*o + 1679. Let g be s(51). Is g < -1635?
True
Let c = 127.5 - 377.5. Which is smaller: 47/3 or c?
c
Suppose -2 + 14 + 59 = 71*j. Is 4/4487 < j?
True
Suppose 2*l = 267 + 69. Let s be -8*(2/72)/(63/l). Which is smaller: -1 or s?
-1
Suppose -6*q - x = -11*q + 26, -5*x = -4*q + 25. Suppose u = -q, 18*f + u + 30 = 19*f. Is 24 at least as big as f?
False
Let q(j) = 30*j + 5. Let x be q(4). Suppose 4*s = -s + x. Suppose 7*b = -g + 17, 2*b = g + 12 - 38. Which is greater: s or g?
s
Let l = 36.77 + -10.89. Let f = l - -0.12. Let c = f + -26. Which is greater: 3 or c?
3
Suppose -191 = 5*l - 4*i, -314*l + 194 = -319*l + i. Is l bigger than -19?
False
Let i(l) = 2*l**2 + 6*l - 4. Let q be i(-5). Let b(h) = -20*h - 106. Let x be b(-5). Let r be ((-28)/(-6))/((x/(-6))/3). Is q equal to r?
False
Let u(v) = v**2 + 2*v**2 + v**3 + 1 - v**2 - 2 - 23*v + 6. Let h be u(4). Suppose 0 = -w + 3*j + 6 + 11, -2*w + 12 = 5*j. Which is bigger: w or h?
w
Let h(g) = 4*g + 77. Let r be h(-20). Let o be (r - (-90)/20)*(-8)/(-3870). Which is greater: 0 or o?
o
Let m be (0 - 0 - (-170)/(-242)) + -187 + 187. Which is bigger: -2 or m?
m
Let n = -30622 + 39406. Does 8786 = n?
False
Let o be (-33)/(-2)*6/(-9). Suppose -5*w + 21 + 39 = -5*r, -w - 3*r - 8 = 0. Suppose -30 = 10*f - w*f. Is o at least as big as f?
False
Let m be (-150)/(-6) + 4686/114. Is m != 66?
True
Suppose -54 = -3*c - 65*o + 62*o, -3*c = -o - 30. Which is smaller: c or 809?
c
Suppose x - 4*x = -a - 39, -5*x - 103 = 3*a. Let b = 149 + -135. Suppose b*q + 386 = -104. Are a and q nonequal?
True
Let r = -437 + 435. Suppose 0 = 3*t + 31 - 1. Let q = 12 + t. Are q and r unequal?
True
Suppose 228*a - 227*a = -3. Let m be (-6)/2*7/a. Are m and 8 unequal?
True
Let l(c) = 17*c - 1. Let y be l(-11). Let g = 438 + y. Which is bigger: 249 or g?
g
Let g = -16242 - -16245. Let o(s) = 5*s**3 + s. Let f be o(1). Suppose -f*h = -5*h, -l = g*h - 47. Which is smaller: -2/3 or l?
-2/3
Let v be 1 - 2/(764/386). Suppose -373 - 424 = 52*p - 745. Is v < p?
False
Let h = 11836 - 11835. Is h not equal to -13/160?
True
Let n = -9174 + 9222. Let w be -1 + 2 + -1 + 46. Which is smaller: w or n?
w
Let a = -322 - -370. Let q = a - 47.5. Is -3/2 < q?
True
Let f be (-8 - -5 - -2) + (2 - 52). Let s be (-2 - f/25)/(4/(-10)). Which is greater: s or 7/2?
7/2
Let k be -46*(-1)/(-7)*(-17 + 20430/(-36)). Which is greater: k or 3840?
k
Let c be 3/1*(-18)/(-27). Suppose 0 = 4*p + v - 236, -c*p = 3*v - 0*v - 108. Let q(j) = 3*j**2 - 36*j + 22. Let r be q(13). Is r equal to p?
False
Let l(h) = h**2 + 3*h - 45. Let i = -66 - -84. Let f be (i/(-9)*(-14)/4)/(-1). Let g be l(f). Is -18 less than g?
True
Suppose 3*f + f - 2*z + 4 = 0, 0 = -2*f + 2*z + 2. Let o(b) be the first derivative of 4*b**3/3 + 3*b**2/2 - 4*b + 3. Let j be o(f). Which is bigger: 43/2 or j?
j
Let n(c) = c**2 + 4*c + 4. Let q be n(-2). Let o be (-3489)/42 + (-3)/6. Let x = o - -6484/77. Is x smaller than q?
False
Suppose -2*l - 18 = 3*p - 5*p, 2*p = -4*l + 18. Let i(g) = 6*g + 44. Let j be i(p). Which is smaller: 99 or j?
j
Let x(s) = -3*s + 63. Let k be x(20). Let a be (-16)/(-6) - 2 - k/(-9). Is 3/178 at least as big as a?
False
Let v be ((-489)/4 + 0)*(-1)/18. Let d = v + -49/8. Which is smaller: d or 0?
0
Let y(d) = -3*d**2 + 6*d + 15. Let c(k) = -4*k**2 + 4*k + 15. Let p(t) = -2*c(t) + 3*y(t). Let u be p(10). Which is bigger: 16 or u?
16
Let s be -2 - ((-3929)/(-1963) - 4). Which is smaller: 1 or s?
s
Let r = -2083 + 1981. Is r less than -70?
True
Let g = 113 - 113. Let h = 2213 - 1580. Let l be (1893/h - (2 - 2)) + -3. Which is smaller: g or l?
l
Suppose -20*b = 482 - 2. Let f be (18/b)/((-30)/(-20)). Which is smaller: f or 26?
f
S