 = -y + 24. Let o be u(7). Let i(t) = -t + 57. Let w be i(o). Suppose 4*s - 3*h = w, 4*h + 2 = s - 3*s. Which is smaller: 6 or s?
6
Let o be (-1)/(-2)*((-2439)/(-15) - -5). Let y be (-126)/(1 - (-15)/(-6)). Let r = o - y. Are r and -13 equal?
False
Suppose 5 = -3*a - d, 1 = -3*a - 4*d + 8. Suppose s + 84*r = 83*r + 3, s - 27 = 3*r. Which is bigger: a or s?
s
Let w(p) = p**3 - 8*p**2 + 10*p. Let j be w(7). Let i be (2 - 4/3)/(7/j). Let f be (i/4)/(1/(-2)). Which is bigger: f or -1/29?
-1/29
Suppose -4*f + 10*f = -216. Let o be (-5)/4 + 39/f - -3. Which is bigger: o or -0.5?
o
Suppose 0 = -47*j - 395 + 1100. Let v be 582/(-2835) + 3/j. Is 0 at most v?
False
Suppose -15*z + 11*z = -64. Let d be -2*(8 + (-8)/z). Which is bigger: d or -113/7?
d
Suppose 4*x - 20 = -4*q, 4*q + 21*x - 30 = 22*x. Let u(r) = -r**3 + 6*r**2 + 66. Let l be u(q). Does l = 11?
False
Suppose v - 5*b = -3 - 11, -v - 5*b + 26 = 0. Let h be ((-3)/((-27)/(-30)))/(4/v). Let c be (0 + 2)*(0 - h). Is 17/2 >= c?
False
Let w(x) be the first derivative of x**4/4 + 5*x**3/3 - 3*x**2/2 - 15*x - 43. Let f be w(-5). Which is smaller: f or 3/58?
f
Let y = -1003.3 + 1000.3. Let w = 0.05 + -0.062. Which is smaller: w or y?
y
Let j be (-232)/174*552/16. Is j at least -206?
True
Let o(i) = -i**3 + 7*i**2 - i + 9. Let m be 4 - (4 + -1 - 4). Let w be o(m). Let j = -1351/25 + w. Is -1/2 equal to j?
False
Let p = 3432 + -3059. Which is smaller: 0.1 or p?
0.1
Suppose -4 = -5*z + 6. Suppose 0 = -z*s - 2*u + 10, -3*s - 20 = -u - 3*u. Let f = 751/280 - 21/8. Which is smaller: f or s?
s
Suppose -3*h = -107 - 124. Suppose 370 = 5*a + 5*s - 40, 4*a - 332 = -5*s. Let t = h - a. Which is bigger: 5 or t?
5
Let m(l) = 3*l**2 - 10*l. Let v be m(4). Suppose t - v*h + 12*h = -36, 5*t = h - 96. Which is smaller: -21 or t?
-21
Let a be (-2436270)/2842560 - (-24)/28. Is -1 <= a?
True
Let k(x) = 18*x**2 + 66*x - 121. Let r be k(2). Are 67 and r nonequal?
True
Let p be 20/(-66)*-105 - 2/(-11). Suppose -y + d + 4 = p, -5*y - d - 122 = 0. Are -27 and y equal?
False
Let y = -94 - -174. Let k = y - 88. Let f be (3/9)/(2/(-40)). Which is smaller: k or f?
k
Let u = -28 + 31. Suppose 4 = 2*o, -u*c - 56 = -5*o + 95. Let i = -25 - c. Which is smaller: i or 21?
21
Suppose -2*n + w = -18 + 33, 5*n = 5*w - 50. Which is smaller: -39/7 or n?
-39/7
Let l = -17.226 - 0.174. Let z = l - -23.4. Which is bigger: -1.5 or z?
z
Let v(j) = j**3 + 10*j**2 - 2. Let r be -4 + (2 - -2) + -2 + -8. Let l be v(r). Let n be ((-10)/(-15))/(2/9). Is n less than l?
False
Let d(k) = k**3 + k**2 + k - 1. Let i be d(0). Let v be 5 + -4 - ((-21)/(-22))/((-606)/(-707)). Which is greater: v or i?
v
Let p(s) = 8*s**2 - 32. Let q be p(3). Does -51 = q?
False
Let s = -2320 - -2284. Let d be (1/3)/(3/(-9)). Which is greater: s or d?
d
Let k(n) = 8*n**2 + n + 1. Let t be k(-1). Let v = -333 + 347. Let g be (42/6)/v*18. Which is greater: g or t?
g
Let m(w) = -6150*w**3 - 5*w**2 - 3*w + 2. Let l be m(1). Is l less than 0.1?
True
Let s = -1470 - -1469.89. Which is bigger: -1.4 or s?
s
Let r = 4131 - 5054. Is -922 <= r?
False
Let x = -49/29 - 453/58. Let a(m) = -2*m + 3. Let q be a(7). Is q < x?
True
Suppose -2*g - 5*z = 20 + 28, 2*g = 3*z - 32. Let r = -25.704 - 0.096. Let t = 26 + r. Which is bigger: t or g?
t
Let h = 0.92 + 140.08. Let i = h - 140.881. Let l = i - 36.119. Which is bigger: l or -2?
-2
Suppose -108*r = -9*r - 12*r + 87. Which is smaller: 3/1952 or r?
r
Let p = 26519 + -23955. Is p smaller than 1?
False
Suppose -3734*n + 3695*n = 0. Let z = -1662 + 192795/116. Is z greater than or equal to n?
True
Suppose -3*l = -6*l + 33. Suppose -l - 199 = 6*p. Is p smaller than -35?
False
Let r = -516.5 + 416. Let f = -100 - r. Let a(p) = -p**3 - 2*p**2 + 4*p + 3. Let v be a(-3). Is f less than v?
False
Let q = 100.65 + -92. Let d = 123.17 - q. Let r = -115 + d. Which is smaller: 1 or r?
r
Let j = 8663 - 7746. Which is smaller: 931 or j?
j
Let m(j) = -17 + 11*j - 2 - 17*j. Let n be m(-3). Which is smaller: n or -16/33?
n
Let i = 816689 + -6696033121/8199. Is 1 less than or equal to i?
False
Suppose 0 = 4*o + 2 - 18. Let j be o*2/(-24)*-33. Which is smaller: 126/13 or j?
126/13
Let s be 3/12 - (2037/(-28) + 5). Suppose -61*j = -s*j + 7. Is j > -2/791?
True
Let u = 84 + -77. Suppose 13*m - u + 59 = 0. Let f(r) = r**3 - 3*r**2 - 4*r - 5. Let h be f(4). Which is smaller: h or m?
h
Let h be 51/(-1)*(-1)/3. Suppose -3*s = 0, -j + 5080 = 4*j - s. Let i = j - 1000. Which is smaller: i or h?
i
Let q be (118 + -121)/(3/(-7)). Which is bigger: 0.2 or q?
q
Let v = 18 - 11. Let i = -158 + 76. Let y = i - -82. Is y at least as big as v?
False
Let r be (-12)/(-6) - (-445008)/(-88). Let u = r - -5026. Is -30 less than u?
True
Let x(v) = v**3 + 10*v**2 - 12*v - 6. Let u be x(-11). Suppose u*y - 2*w = 2*y - 35, 4*y = 3*w - 48. Is y equal to -9?
True
Let f(u) = -u**3 - 21*u**2 + 2*u - 27. Let m be f(-17). Let v = -8559/7 - m. Which is smaller: -5 or v?
v
Let p = 234 + -228. Suppose -p*x = -479 - 253. Is x bigger than 122?
False
Suppose 3*y + 241 = -77. Let n be y/(-660) + 2/36*-3. Which is greater: 1 or n?
1
Let y = -463 + 458. Is y at least as big as -5/798?
False
Let b(o) = -o**2 + 23*o - 10. Let i be b(19). Suppose 2*q + 2*h - i = -500, q + 2*h = -214. Is 1 at most as big as q?
False
Let i be ((4/6 - -1) + -2)*-12. Suppose 5*l = i*j - 179, -5*l + 3*j = j + 177. Is l greater than -36?
True
Let k = -3 + 26. Suppose 20*s + 47 = -13. Let j be 7/s - 33/(-99). Which is bigger: k or j?
k
Suppose -14539 - 4239 = 38*i + 15156. Which is greater: -898 or i?
i
Let d(k) = 56*k**3 + 3*k + 2. Let g be (-4 - (0 + -3))*(2 - 1). Let o be d(g). Let q = -26 - o. Are q and 31 nonequal?
False
Suppose 0 = -15*x + 430 - 115. Suppose 5*c = 4*b + 525, 24*b - x*b = 5*c - 525. Which is greater: 104 or c?
c
Let m = 9/584827 - -11686012979/8772405. Let a = m + -6678/5. Is a at most as big as -0.1?
True
Let m be 6/(-9)*(-39)/26. Is m equal to -22/51?
False
Let z = 5214 + -5192. Let n be (1 - -1) + 5 + 17. Which is smaller: z or n?
z
Let b = -32 - -55. Suppose -j + 4 = -3*f - 10, -2*j + b = -f. Let m(r) = -12*r**2 - 34*r + 141. Let w be m(-5). Is j at least as big as w?
True
Suppose -93*q + 523184 - 19634 = 57*q. Which is bigger: 3358 or q?
3358
Suppose h = 2*a - 125, 0 = -a - 2*h - 39 + 114. Let s be 39/a + (-34)/(-10). Suppose 5*n = 4*n. Which is smaller: n or s?
n
Suppose 3*w = -0*w + 276. Let m be (-12)/45 - (-187887)/2070. Which is greater: m or w?
w
Suppose -4*l - 2*k - 193 = 2253, 3*k + 15 = 0. Is -609 not equal to l?
False
Let z(l) = -2*l**3 - 7*l**2 + l + 9. Let x be z(-3). Let b be (-1 + x)/8 + 116/136. Which is bigger: b or 0?
b
Let h = -33 + 37. Suppose 2*u + 6 = h*u. Let y(b) = b**3 - b**2 - 2*b + 2. Let o be y(u). Which is smaller: o or -0.1?
-0.1
Let a be ((-10)/12)/((-1)/(-3)). Let o = 3289.3 - 3289.43. Is a less than o?
True
Let t be ((-861)/164)/(2/5 + 69/(-60)). Which is bigger: t or 5.4?
t
Let j be (1*8/(-744))/((-6)/(-45)). Do 1 and j have different values?
True
Let s(r) = -117*r**3 - r**2 + 3*r - 2. Let t be s(1). Let w = t + 104. Are w and -15 equal?
False
Let y = 126992218154/24487375 + 976/202375. Let g = y - 5186. Which is smaller: g or 0?
0
Let s(z) = -z**3 + 8*z**2 + 9*z - 15. Let v be s(9). Let u = -155 + 142. Let l(d) = -d**3 - 11*d**2 + 29*d + 24. Let n be l(u). Is v at most as big as n?
True
Let j(m) = -m**3 - 6*m**2 + 2*m + 8. Suppose -5*s = 2*x + 320, 3*x + 258 + 67 = -5*s. Let o = 56 + s. Let v be j(o). Does v = -4?
True
Suppose 0 = -82*g + 79*g + 36. Suppose 3*v + 12*m - 16*m + 38 = 0, 2*v + 4*m + g = 0. Which is greater: -17 or v?
v
Suppose -n = 3*n + 2*j - 72, 3*n + 3*j - 54 = 0. Suppose 21*s - 15 = n*s. Suppose -s*t = -0*t + 5. Does t = 3/80?
False
Let l = -4608 - -4563.133. Let m = 0.133 - l. Does 1 = m?
False
Let r be -1 + ((-17)/(-3))/((-5)/(-105)). Let h be (-34194)/(-287) + 6/7. Which is smaller: r or h?
r
Let h = 223/154 + -5/14. Let z be 2/(-12)*(-9 + -2 + -1). Which is smaller: z or h?
h
Let a = -402 + 413. Let u(g) = -g**3 + 9*g**2 + 21*g + 12. Let f be u(a). Is f bigger than 7/60?
True
Let z = 0.079 - -272.921. Let h = z - 287. Which is smaller: h or 9?
h
Suppose 6*u + 84 = -4*u + 94. Which is smaller: 30/1043 or u?
30/1043
Let w = -7137 - -9958. Is w > 2