be g(-7). Is d less than or equal to -24?
False
Suppose 49*k + 7 = 54*k - 2*u, 4*k + 5*u + 34 = 0. Which is smaller: k or -1/913?
k
Let c(f) = -f**2 - 18*f - 17. Let t be c(-17). Suppose -2*h - h = -t*h. Which is greater: h or 4/25?
4/25
Suppose -43*h - 40*h - 73*h = -54912. Do 2472/7 and h have the same value?
False
Let g = 2.665 + 1.335. Let j = 3 + -2.8. Let t = -0.3 + j. Is t <= g?
True
Let v = 1054/393 - 2/131. Let r be -2 + 5 - (-1 + 6). Let z be r/3*(-18 - -12). Which is bigger: v or z?
z
Let m = -4639 + 4677. Which is smaller: m or -9.6?
-9.6
Let o(h) = 22*h + 1055. Let s be o(-48). Which is bigger: s or 2/2113?
2/2113
Let j = 122796 + -560318146/4563. Is j at least 0?
True
Let y be (1/(-11))/(1095/(-72300)) + 42/(-7). Which is smaller: y or 1?
y
Suppose 3*x - 27 = 24. Suppose -26 + 98 = 3*u + 3*m, 5*u - 110 = -3*m. Which is smaller: u or x?
x
Let q = -109 - -50. Let h be 4/10*((-13)/26)/((-2)/593). Let g = q + h. Is g > 0?
True
Let d = -2437 - -2383. Is -2 bigger than d?
True
Let h(b) = -4*b - 45. Let r be h(-13). Let f = r + 2. Let u be ((-8)/6)/((-5)/30 + 0). Which is greater: f or u?
f
Let y(h) be the second derivative of h**5/20 + h**4/12 - 11*h**3/6 - 17*h**2/2 + 56*h. Let l be y(-6). Is -131 greater than l?
False
Let o = -0.1247 + 0.3247. Let l be (0 + (-48)/(-20))/1. Which is smaller: o or l?
o
Let y be 7/((-98)/(-528)) + 12/42. Suppose p - 2 + y = 0. Let n be (p/(-15)*5)/134. Is n less than 0?
False
Let l = 19664883/82 + -239819. Is l bigger than -2?
False
Let k = 68.82 + -69.18. Let v = -25.24 + 0.6. Let n = k + v. Which is greater: -2 or n?
-2
Let u be (0 - -5) + -2 - 1. Suppose -j - 4 = 4*h - 0*h, -2*h - u = 3*j. Let z be (-29)/8 - -4 - (-378)/(-672). Which is greater: z or j?
j
Let l = -24.377 - -24.28. Which is smaller: l or 1/3?
l
Let n be 19 - (-7)/((-910630)/2471750). Which is greater: -1 or n?
n
Let k = 165 - 152. Suppose -k*i + 2 = -11. Which is smaller: 0 or i?
0
Let s(f) = -12*f - 36. Let o be s(-3). Let n be (-3 - 0/(-5))/343. Is o greater than n?
True
Let g = 387 + -281. Let m = g - 105.9. Is m >= -0.17?
True
Let v = -75/4 + 19. Let y = 1084 + -1071.1. Which is greater: v or y?
y
Let x be -10 + -14*(-12)/24. Do 8 and x have different values?
True
Let v(i) = -3*i**2 - 5*i - 4. Let z(w) = -4*w**2 - 5*w - 5. Let k(j) = -3*v(j) + 2*z(j). Let y be k(-4). Let n = 2360 - 2362.7. Which is bigger: n or y?
y
Let z be -9 - (-28*6)/7. Let u be (5/z)/((-2)/6). Which is greater: u or 1/760?
1/760
Let m = -85 + 90. Suppose 4*u - 3*t - 2 = -m*t, -4*u = 4*t. Let x be (-5 + 3)*((11 - 3) + u). Which is smaller: -19 or x?
-19
Let y(t) = -t**2 - 11*t - 8. Let s be y(-10). Let c be (((-8)/6)/(-1))/(855/(-81) - -11). Is c != s?
True
Let h = 1445 - 1417. Let g be (-280)/h*(-9)/30. Let k = -1067/5 - -215. Is k bigger than g?
False
Let q = 2732 + -2804. Is q at least as big as -2?
False
Let x = -96/25 - -2734/725. Suppose 0 = 5*g - 5*k - 6 - 19, -5*k = 5*g + 15. Which is smaller: x or g?
x
Let o = -126965942/1359 - -93426. Which is greater: 1 or o?
1
Let k = 9774 + -10231. Is -2284/5 < k?
False
Suppose 0 = -5*j - 40*j + 225. Let l be -10 + 2 + j + 2. Let t be -2 + 2 + (-6)/(-20). Which is smaller: l or t?
l
Let t be (17/(-4) + 4)/(2/(-8)). Let c(m) = 20*m + 17*m - 39*m - m**3 + t + 3*m**2. Let z be c(2). Is 2/19 smaller than z?
True
Let b be 1/((-26)/(-6) - 4). Suppose 12*a = 11*a + b. Suppose a*m - p = p - 8, -3*p + 12 = 5*m. Which is greater: m or 4/37?
4/37
Suppose -82 + 28 = -3*i. Let o be ((-204)/45)/((-33)/i + 2). Let y = o - -1481/55. Which is greater: 1 or y?
1
Let y = 0.08 - 7.08. Let a be 17/(-3)*228/(-76) + -3. Let m be (-2760)/(-1260) + (-12)/a. Is m at most y?
False
Let j = -27.3 - -26. Let m = 1.4 + j. Let g = 10.6 + -9.2. Do m and g have the same value?
False
Suppose 20 = v + 3*v, 2*v = 3*m + 1. Suppose -4*i - 33 = m*b, 5*i = b - 16 - 11. Let y be (-2)/i*3/9. Which is smaller: 0 or y?
0
Suppose 7*z - 3*z + 524 = 0. Let f(r) = -77*r**2 - 14935*r + 451. Let x be f(-194). Is x <= z?
True
Suppose 3*i + 0*r + 8 = -2*r, -5*i + r = -4. Suppose 34*y - 29*y + 125 = i. Which is smaller: y or -24?
y
Suppose 4488 = -63*l - 1812. Do -105 and l have the same value?
False
Suppose -5*i + 25 = 120. Let n(l) = -7 - 3*l**2 - l**2 - 18*l + 3*l**2 - 26. Let p be n(i). Which is bigger: p or -51?
-51
Let x(o) = 7*o**2 - 17*o. Let y(a) = -4*a**2 + 9*a. Suppose 25 = 7*l - 10. Let t(j) = l*y(j) + 3*x(j). Let k be t(6). Which is smaller: k or 2/45?
k
Let s = 301 + -362.1. Let g = -61.2 - s. Is -3.38 greater than or equal to g?
False
Let c = 403 + -312. Suppose 9*t - c = 44. Which is smaller: 17 or t?
t
Let s = 227 + -225. Let t be -28 + 22 + (60/9)/s. Which is smaller: -4/7 or t?
t
Suppose 2*b = -d - 33 - 8, 0 = 4*d + 4. Which is bigger: b or -26?
b
Let c = 234 - 287. Let l be 2/(-10 + 7 - 161/c). Is 56 <= l?
False
Let f = -7626/23 - -23251628/70127. Which is smaller: f or 1?
f
Let d be ((-8)/6 - -1) + (-2304687)/(-113355) + -20. Suppose 0 = n + 2*n - 3. Which is bigger: d or n?
n
Let y(u) = -15*u - 61. Let i be y(-4). Let f be i/((-16)/562) - (-44)/(-352). Is f at most 33?
False
Suppose -4*x - 133 = -f, 77 = -2*x - 3*f - 0*f. Let v be 3358/12 + 6/36. Let l be (v/(-25) - -4)/((-2)/(-10)). Which is smaller: l or x?
l
Let o = 1200 + -75598/63. Suppose 157*f - 159*f + 2 = 0. Which is smaller: f or o?
o
Let i = 0.07441 + 904.92559. Which is smaller: i or -1?
-1
Let d = -55.9 - -56. Let t(k) be the first derivative of k**4/4 + 2*k**3 + k**2 - 9*k + 16. Let r be t(-5). Is r greater than d?
True
Let c be (-1531)/6*(-2 + 15/9). Let r = c + -169/2. Suppose 0 = -3*m - m + 4. Is r greater than or equal to m?
False
Suppose -k + 152 = -4*x - 3*k, 189 = -5*x - 3*k. Let b = x - -86. Suppose 5*n = -3*r + 235, -2*n + 0*r + 2*r + 94 = 0. Is n <= b?
True
Let o = -28010.5 + 27904. Which is smaller: 10 or o?
o
Suppose 2*r - 3*k = 21, 3*r - 3*k + 2*k = 21. Let j be r*(0 + (-8)/(-12)). Let n(w) = w**3 - 5*w**2 - 3*w + 4. Let a be n(j). Is -25 greater than a?
False
Suppose -2*k + 3*s = -19, 3*k + 19 = -9*s + 4*s. Suppose -10 = k*g - 62. Let z = g + -37. Is z at most -13?
False
Let r = 3166393/1019060 + -1/36395. Which is greater: r or 4?
4
Let o be -3 + (252/48)/((-5)/(-120)). Is 15 >= o?
False
Let j = -36318.001 + 36318. Is j at least -41?
True
Suppose 3*d - 27 + 3 = 0. Suppose d = s + 5. Let x be ((-14)/(-21))/(2/s). Which is smaller: x or 2/7?
2/7
Suppose -4*y + 3*r = -158, 2*r + 119 = -223*y + 226*y. Which is smaller: y or 40?
40
Let f be ((-104)/(-18)*3)/((-14)/(-21)). Suppose 6*l - 4*l + f = 0. Let k(n) = n**3 + 13*n**2 + n + 12. Let h be k(l). Which is smaller: h or -2/27?
h
Let l = 9.2 + -6. Let u(n) = n**2 + 103*n + 582. Let w be u(-97). Are w and l non-equal?
True
Let w be 2*(-1 - (-10)/4) - 7. Let a be (w - -12)/(4 + -2). Let c be ((-9)/(-4))/((-27)/(-72)). Are c and a unequal?
True
Suppose -25626 = -73*g + 51097. Which is greater: 1050 or g?
g
Let v be 2/4*(-1 - -1). Suppose 0 = 4*w - h, 4*w + 12 = -v*h - 2*h. Let u = 2863469/111 - 25797. Which is smaller: u or w?
w
Let t be 17/(-102)*48739/(-37). Let w = t + -439/2. Is w smaller than 0?
False
Let q be 2/3 + (-2)/(-6) + 192168/(-504). Which is smaller: -379 or q?
q
Let p = -1316345/81 + 16250. Let a = -15253/324 + p. Is a at most -47?
True
Suppose -5*r + 18 = -3*z + 20, -3*r - 3*z + 18 = 0. Let d = 10/51 - 910/17. Which is smaller: r or d?
d
Suppose -67*c = -45*c + 66308. Which is bigger: c or -3013?
-3013
Let l be (45/3)/(24/(-16)). Suppose 218 = 4*w + 2*f, -w + 0*f = 3*f - 67. Suppose 3*z = -4*u - 14, u = -5*z - w + 6. Is z smaller than l?
False
Let m = 164.2 - 5.2. Let n = m - 167. Which is bigger: n or -0.08?
-0.08
Let q = 0.8 - 1. Let g(a) = -a**3 + 7*a**2 - a - 4. Let t be g(7). Let l(k) = k**3 + 10*k**2 - 9*k + 24. Let u be l(t). Which is bigger: u or q?
u
Let l(x) be the second derivative of -x**3/6 - x**2 - x. Let b be l(-3). Let k be 57/(-21) - (-5 - -2). Which is bigger: k or b?
b
Suppose -27*j + 2562 = -2298. Let n = j - 538/3. Is -24/5 less than n?
True
Suppose -10*b + 3*b + 14 = 0. Suppose -4*a + b*a = -4*m - 4, -5*a = 5*m - 55. Let s be 38/a - 30/6. Which is greater: s or 57?
57
Let q be -7 + 16 + -9*(1 - 0). Is -1/71 > q?
False
Let u be (-17605)/29 + (-80)/16. Let r = u - -612. Which is bigg