+ 3*k, 3*d + 5*k + 18 = 0. Let b be (14/1666)/((-5)/25 - (-6)/(-20)). Is b >= d?
True
Let s(m) = 8*m**2 + 109*m + 120. Let d be s(-45). Which is bigger: d or 11416?
11416
Let d be (376/(-235))/((-3)/15). Is d > 144?
False
Let r(g) = 31 - 5*g + 3*g + 3*g - 20. Let c be r(-11). Suppose -3*j + 0*j + 12 = c, -2 = 2*y + 3*j. Which is smaller: y or -5?
y
Let c(z) = -z**2 - 55*z - 483. Let g be c(-44). Which is smaller: g or 1/7141?
1/7141
Suppose 102 = -27*f - 222. Let a be (-15)/21 - 6/21. Let t = a + -12. Which is smaller: t or f?
t
Let k = 19956/35 + -2848/5. Suppose n + 1 = 3. Is n at least k?
True
Let h be (((-21714)/(-6 - -20))/(-3))/(2/2). Is 514 greater than h?
False
Let j = -15 - -15. Suppose 3*i + j - 6 = 0. Suppose -i*w = 9*w + 11. Is -1 at least as big as w?
True
Let h(t) = -t**3 + 24*t**2 + 43*t + 1277. Let c be h(27). Which is smaller: c or 239?
239
Let z be (-343273)/(-1454082) - (-2)/(-12). Is 1 equal to z?
False
Let a = -0.2254 - -1.1964. Let t = -0.029 - a. Which is smaller: t or 10?
t
Suppose 72*t = 76*t - 1320. Let p = t + -303. Which is smaller: 2 or p?
2
Let r be 44/3*(-189)/546*-13. Which is smaller: -2 or r?
-2
Suppose -12220 = -31*i + 6380. Let y be (i/175)/((-2)/7). Let n = 5 - 17. Are n and y equal?
True
Suppose -8*o = -13*o + 280. Let v = o + -282/5. Let w = 11/40 + v. Is -1 not equal to w?
True
Let b = 425338/133 - 3198. Which is greater: -1/2 or b?
b
Let p(h) = -2*h - 2. Let n be p(-5). Let t be ((-2)/14 - 15)/((-5)/(105/36)). Which is smaller: t or n?
n
Suppose -7*d + 2*d - 295 = 0. Let f be (-8 + (-26)/(-4))*(-410)/(-15). Let q = f - d. Which is smaller: q or 19?
q
Suppose h + 4*f - 3 = f, 2*f + 6 = 0. Suppose 12*z - h = 15*z. Let a be (-24)/(-99)*6/z. Is 1 greater than a?
True
Suppose -28*r + 45964 = 45992. Which is bigger: r or -2/13173?
-2/13173
Let k(t) = -16*t + 20. Let g be k(-8). Let o be g/7*(-6)/(264/(-1282)). Let u = -616 + o. Which is greater: 1 or u?
1
Let f be 5/(1/(187/55)). Let r = 114/83 - -4939/332. Is r at most as big as f?
True
Suppose 0 = 5*a - 2*s + 17, 0*a + 2 = a + 5*s. Let g be a + 8 + -8 - (-38)/(-2). Is g greater than -25?
True
Suppose p + v = 13, -p + 15*v + 25 = 19*v. Is -462 != p?
True
Suppose 0 = -5*h + 40, -h = -3*y + 51 - 62. Is 1/1987 greater than y?
True
Suppose 1 = z - p - 0, -5 = -z - 3*p. Suppose 7*t - 25 = z*t. Suppose 3*v + 3*n - 13 + 1 = 0, -4 = t*v - n. Is 2/17 bigger than v?
True
Let v be 17 + (4 - 19) - 230. Which is smaller: -6 or v?
v
Let f(n) = -3*n**2 + 9*n - 2. Let o be f(4). Let k = -12 - o. Suppose k = -5*c + 17. Which is smaller: c or 8/3?
8/3
Let j(i) = i**2 + 6*i - 7. Let h be j(-7). Suppose h = 2*q - 5*n - 66, 4*q + 0*q - 104 = 3*n. Is -2 > q?
False
Let j = -197 + 317. Let l = -90 + j. Which is bigger: l or -1?
l
Suppose -9*m + 34 = -7*m + g, -m - 2*g = -23. Suppose -m = -6*a + 69. Suppose -34 + a = 10*t. Is -3 greater than or equal to t?
False
Let d be 200/(-6 + 16) - -141. Which is greater: 152 or d?
d
Let v = 1.9621 - 1.9621. Is v at least as big as 1126?
False
Let c(o) be the third derivative of -o**6/120 - o**5/60 - o**4/6 - o**3/2 + 154*o**2. Let v be (-4)/(12/15) + 2. Let s be c(v). Is s bigger than 28?
False
Let w = -253675885/1616628 - -2/404157. Let z = 157 + w. Let u = -169 - -170. Which is smaller: u or z?
z
Suppose 3*n = -2*n + 30. Let h be 27/(-21) + -1 + 10/35. Let m be ((-276)/(-72)*3/h)/(-1). Which is smaller: n or m?
m
Let j be 142 - (-3)/3*4. Let u = -125 + j. Suppose 0 = 7*b - 0*b - u. Which is smaller: b or 11/3?
b
Let j = -14.463 + -2174.537. Which is greater: j or 0.2?
0.2
Let k = -2.5 + 4.62. Let r = 1.12 - k. Is r less than 47?
True
Let y be (2 + -1)/(0 + 1). Let f be ((-6)/(-18))/(y/(-12)). Let d = -6 - 3. Is f greater than d?
True
Let p(c) = c**2 - 1. Let s(y) = -y**2 - y. Let j(m) = -m**2 - 4*m - 3. Let v(f) = j(f) - 4*s(f). Let n(u) = 11*p(u) - 4*v(u). Let x be n(1). Is 0.3 > x?
True
Let t be (-23)/(-11) - (5 - 30/10). Which is smaller: t or -47?
-47
Suppose -3*m = c + 23, -26 + 1 = 3*m - c. Let q be 63/(-8)*(-24)/(-28)*m. Let t be -44*(-1 + 0 + (-10)/40). Which is smaller: q or t?
q
Let h be (18/7)/((-4)/(-84)). Let o = h + -69. Let j be (95/o - -4) + 4/3. Is j at most -2/41?
True
Let n = 21186600331/1870 + -11329731. Let o = n + 1/374. Is o less than 0.16?
False
Let p = 0.19395 - -30.03905. Let l = -0.367 - p. Is 1 less than or equal to l?
False
Let n = -22663 - -22680. Does 98 = n?
False
Let c = -53 - -54. Let f be (-6)/(-24)*(c + -2). Which is greater: 5 or f?
5
Let f = 9156 + -6669. Which is bigger: 0.1 or f?
f
Let x(a) = 5*a. Let g be x(-3). Let u be (-18)/g*(-5)/(-2). Suppose -u*y - 4*o = -11, -y + 2*o - 7 = -2*o. Which is smaller: y or -14?
-14
Let i = 11044 + -11058.794. Let v = i - -14.8. Let l = 0.606 - v. Which is greater: 7/3 or l?
7/3
Suppose w - 243 = 58. Let c = w - 327. Is c > -26?
False
Let d be 582/(-8) - 2/8. Suppose -3545 - 9100 = 9*k. Let x = 7023/5 + k. Which is bigger: d or x?
x
Let h be (-10)/((-12 - -9)/3). Is h greater than or equal to 73?
False
Suppose -10*b + 14*b = -4. Let o be 36 + b + (-15 - -17). Suppose -o = -2*k + 7. Which is smaller: 23 or k?
k
Let i(l) = -l**3 + 13*l**2 - 18*l - 51. Let q be i(11). Let m = -3 + 2.9. Which is smaller: m or q?
q
Suppose 5*o + w = -1355, 5*o + 92*w = 93*w - 1345. Is o greater than or equal to -282?
True
Let r = -126 + 76. Let l = r + 40. Let x = -10.02 - l. Are x and 2/7 non-equal?
True
Let z = -331 - -10589/32. Suppose 3*y = r + 8 + 1, -9 = 4*r - 3*y. Which is smaller: r or z?
z
Let u(j) = 30*j**2 + 2*j + 4. Let w be 0 + -2 - 3/(-2)*30. Suppose -w = 6*l - 31. Let g be u(l). Is 120 <= g?
True
Let m = -11278 - -11242. Let p = 3.1 + -3. Is m greater than p?
False
Suppose 0 = -524*z - 0 + 5 - 5. Which is bigger: z or 2/126139?
2/126139
Let a be (-7)/28 + 2238/(-8). Let q be a/21*12/2. Let o be (-54)/152 - 20/q. Which is smaller: o or -2/11?
-2/11
Suppose 0 = 2*c + 4*j - 16, -c + 3*j - 10 = -3. Let l be 4*5/(-4)*c. Is -12 bigger than l?
False
Suppose -4*w = -i - 2610, w + 130 = 129. Is i less than or equal to -2614?
True
Let v be 1997 + (32/(-240) - 4/(-30)). Is 2000 at least as big as v?
True
Let y = 955.53 + -1016. Let l = 57 + y. Which is bigger: l or 2?
2
Let x = 6.7 + -7. Let f = -0.0081 + 0.0479. Let m = 19.9602 + f. Does x = m?
False
Let q = -431 + 400. Let z(p) = -p**2 - 37*p - 22. Let r be z(q). Is r smaller than 165?
True
Let l = -18496 - -16997828/919. Is l >= 0?
True
Let h be ((-147)/(-980))/(258/4). Let c(u) = -u**2 - 6*u - 6. Let k be c(-5). Is h at least k?
True
Let a be (425/217)/(22/33). Let o = a + -41/14. Which is greater: -2/3 or o?
o
Suppose 2*u + 8*u - 13197 = 6963. Which is smaller: u or 2015?
2015
Let s = 4310.71 - 4311. Is 0.029 less than s?
False
Let x = 42 - -11. Let k = x - 46. Is -5 bigger than k?
False
Let q(v) = -55*v + 1916. Let k be q(37). Is -122 <= k?
True
Let h(k) = -k**3 + 60*k**2 + 365*k - 2599. Let f be h(65). Let o = 6179/29 + -213. Are o and f unequal?
True
Let j = -11050 + 13514151/1223. Which is bigger: j or 0?
j
Suppose 2*a + 3*v - 33 = 0, -3*v + 54 = 4*a - 27. Suppose 9*z - 11*z + 50 = 0. Let f = z - a. Which is bigger: 1/112 or f?
f
Let o = 15 - 15. Suppose j - 3*j = o. Suppose j = -q, -3*u - 5*q - 145 = 2*u. Is u greater than -30?
True
Let g = 1343 - 1358. Let h(w) = -w**2 - 16*w - 7. Let t be h(-13). Suppose t = -3*c + c. Is g <= c?
False
Suppose 11751 = 27*m + 492. Which is bigger: m or 410?
m
Let t(b) = -b**2 + 4*b - 8. Suppose 20 = -m + 2*z + 7, -5*m = -z + 20. Let j be t(m). Let c = j + 3. Is c equal to -28?
False
Let l(d) = -2*d**2 - 262*d + 2089. Let h be l(-139). Is h != -170?
True
Let c = -1.86 + 1.32. Let d = -0.14 - c. Which is smaller: d or 13?
d
Let a(x) = -30*x**2 + 1. Let l be a(-1). Let d be 6/10*(-44 - l). Which is smaller: -10 or d?
-10
Let n be (10 - 8)*(-33411)/(-42). Is 1590 smaller than n?
True
Let b be 394/(-2) - 11/(-44)*(3 - 7). Is 2 equal to b?
False
Let o be (-40 + 40)/(-3 + 1). Suppose o = 12*t + 139 - 1435. Is t <= 109?
True
Let i(p) = -55*p - 3555. Let j be i(-67). Is 37 >= j?
False
Let u(k) = -k**3 + 4*k**2 - 2*k + 6. Let f be u(4). Suppose 0*w - 2*w = -32. Suppose -30*h = -34*h - w. Is f smaller than h?
False
Let k = 9 - 10. Let v = -38534/9 + 4303. Let u = v - 21. Are k and u non-equal?
Tru