)/52 + (1 - 0))/(10/6). Which is smaller: w or -0.079?
w
Let r(w) = -24*w**2 - 151*w + 4. Suppose 0 = -11*u + 17*u + 36. Let i be r(u). Which is bigger: 50 or i?
50
Let b = 5.175 - -54.825. Which is smaller: -16 or b?
-16
Let k = -6106 - -6117. Let m be (-5)/(195/(-474)) + -2. Which is smaller: k or m?
m
Suppose -406*o = -410*o + 604. Suppose o*w - 40 = 143*w. Are 8 and w equal?
False
Let x = 422.5 + -422.6. Is 442 > x?
True
Let b(g) = 70*g**2 - 1. Let o be b(1). Let j = o - 57. Which is smaller: 3 or j?
3
Let w(x) = -x**2 - 10*x + 2. Let b be 175/(-14)*(-18)/(-15). Let j be w(b). Is j smaller than -71?
True
Suppose 39497 = 128*j - 27703. Which is bigger: j or 2626/5?
2626/5
Suppose -3*w = x - 5*w + 479, 0 = 3*x + 4*w + 1417. Let d be 1898/x + 2 - 2/(-1). Which is smaller: d or -1?
-1
Let u = -50 - -58. Suppose 2 + 110 = -u*a. Let m be (-4)/a - -1 - (-20)/(-70). Which is smaller: -2/15 or m?
-2/15
Let v = 325 + -322. Let o be -4 + ((-236)/(-184) + v)/1. Is o equal to 0?
False
Suppose -12 = 3*i, 5*z - 2*z - 10 = -5*i. Suppose 0 = s + z*s - 66. Suppose a - 4*t = s*a + 17, 0 = -a + 4*t + 11. Which is greater: -1/12 or a?
-1/12
Let i = 9/12215 + -46841/96730585. Which is smaller: i or -1?
-1
Let h = 6195 - 7141. Is h > -946?
False
Let t(l) = -6*l + 2108. Let s be t(56). Are s and 7091/4 equal?
False
Let f(d) = d**3 + 2*d - 2. Let r be f(2). Let g = -213 + 220. Let y = g - r. Which is smaller: -2 or y?
y
Let y = -1003/280 - -22991629/6418440. Which is bigger: -1 or y?
y
Suppose -5*g - 114 = 3*q + 91, -q = 3*g + 67. Let c = q + 43. Suppose 4*n = 2*n - 56. Is n less than or equal to c?
True
Let u be ((-4)/(-14) - (-12)/(-42)) + (-1)/3. Which is bigger: u or -65?
u
Let d(f) = -258*f + 1805. Let v be d(7). Which is smaller: -2/795 or v?
v
Suppose 3*d = -370*w + 371*w - 17, 0 = 3*d + 4*w + 7. Let t = 15/16 - 379/80. Is t greater than d?
True
Let r be 1004686/59110 - 17*1. Is r bigger than 0?
False
Suppose 3*q + 104 + 358 = -4*p, 0 = -3*p - 2*q - 348. Is p bigger than -137?
True
Let l = -80 - -70. Let q be (-2)/(-9) - 222/27. Let t be (20 - 0)*q/l. Which is greater: t or 15?
t
Let u(k) be the first derivative of -k**4/4 + 13*k**3/3 - 6*k**2 + 7*k - 12. Let z be u(12). Suppose -z*j + 1 = -6*j. Is -2/7 != j?
True
Let o = 70.0292 + 0.0708. Let k = 69.8 - o. Is k >= 1/129?
False
Let q be -3*(34/(-12) - 42/(-28)). Suppose -6*d = -3*d - 438. Suppose d = q*r + a, 2*a = a - 2. Is 38 > r?
True
Let c = 6590 + -6591. Let y = 10.4 - -1.6. Let u = 39 - y. Which is smaller: c or u?
c
Let n(f) = 7*f - 7*f + 5*f**2 + 2*f + 0*f**3 + f**3. Let j be n(-4). Let i(d) = d**2 - 6*d - 17. Let l be i(j). Is -1 greater than l?
False
Let j be (-6)/(-39) - 4/26 - (-438)/3. Which is greater: 138 or j?
j
Let p = 0.091 - 0.001. Let z = p + -0.109. Let y = -0.032 - z. Which is greater: y or 0?
0
Suppose -4*v + j = 0, 0 = -v - 2*j + 6*j. Suppose 14*z + 2342 = -1662. Let g = 2000/7 + z. Which is smaller: v or g?
g
Let j = 29.05 - 2.75. Let y = j + -26.1. Is 4 at most y?
False
Let w(t) = 5*t - 9. Let o be w(2). Let q = 0 + o. Let n be (4 - 2)/(17/q). Is 0 equal to n?
False
Let t = 6249 + -6244. Which is smaller: t or -277?
-277
Suppose -84*l + 40*l - 748 = -78*l. Suppose -2*h + 7 - 1 = 0. Suppose 3*c + h*k = 30, -4*c + 5*k + 54 = -l. Is c at most as big as 17?
True
Let f(c) = 5*c**2 + 49*c - 28. Let n be f(-11). Suppose 31 = -n*z - 7. Which is greater: -2/187 or z?
-2/187
Let a be (-4)/54 - 12415/(-143910). Which is smaller: a or -1.8?
-1.8
Let l = -24 - -33. Suppose -13*p = -p. Suppose p = l*w + 17 + 1. Is w <= 0.5?
True
Suppose -18 = 10*x - 38. Suppose -z = 3*z + 5*u - 91, -x*u + 46 = 2*z. Let v = 20 + 4. Does v = z?
True
Let w(c) = c**2 - 4*c - 16. Let v be w(-3). Suppose -v*f + 18 = f. Suppose f = 3*m + 6. Which is greater: m or -4/27?
-4/27
Let s(k) = k**3 - 16*k**2 + 18*k - 3. Let r be s(7). Let o be (0 - 2/(-6)) + (-9275)/r. Is 31 != o?
True
Let q = -11696 - -12850. Which is smaller: q or 2?
2
Let b be (-16 + 3357/189)/(4/(-24)). Let y = 6 - 18. Is b <= y?
False
Let f = -0.84 - -1.05. Let p = -0.26 - f. Which is bigger: -1 or p?
p
Let i = 29 - 205/7. Let n be 1/3 - (-10)/6. Suppose -7 = n*v + 5*v. Which is greater: v or i?
i
Suppose -5*h - 8 = -33. Let c(o) = 2*o**3 + 11*o**2 + 1. Let z(j) = -3*j**3 - 11*j**2 - j - 1. Let l(i) = -5*c(i) - 4*z(i). Let a be l(h). Is a < -4?
True
Let k = -3166 + 208. Which is greater: -8875/3 or k?
k
Let x = 656.9936 - -0.0064. Let a = x - 654.07. Let q = a + -2.9. Which is bigger: q or 1?
1
Let g be 18/9 + (-27)/9. Which is bigger: 2/3487 or g?
2/3487
Let b = -49169 + 49168. Is b >= 17/893?
False
Let w = 1675/3 - 559. Is w at least 2860?
False
Let k = -12609 - -12612. Let u = 1/4 - -1/4. Which is smaller: u or k?
u
Let t be 18/8 + -2 + (-1214)/(-200). Which is bigger: t or 6?
t
Let l(n) = 38*n. Let j be l(-7). Let i be 1377584/(-5180) - ((-99)/105 + 1). Are i and j nonequal?
False
Let w be 5/(-2)*(-8 - -4). Let r be (-5)/w + 20/8. Let c be (r/(-2) - -16)/(-24 + 25). Is c less than or equal to 15?
True
Suppose -30 = -2*q - 3*q. Let o = 147 - 138. Suppose -o*c + c = -48. Does c = q?
True
Let s be (-1)/(-4) - 78*(-7)/56. Suppose 20 = -5*c + s*c. Which is smaller: c or 1?
1
Let x(h) = h**2 - h + 5. Let c be x(-6). Let t = c - 142/3. Let i = 587/4 + -147. Is t bigger than i?
False
Let d = 19575523/521 - 37573. Which is bigger: 1 or d?
1
Let a(k) = -211*k**2 - 80*k + 79. Let c be a(1). Which is greater: c or -216?
c
Let c be 5/5*7 + 1 + 6952/(-868). Is c not equal to 6?
True
Let y(t) = -2*t**2 - 19*t + 22. Let u be y(-9). Let i = u - 30. Let v be (-3)/i + (-28)/(-10). Which is smaller: v or 0?
v
Let g(n) = 5*n + 56. Suppose 19*t + 33 = -233. Let j be g(t). Which is smaller: j or -23?
-23
Suppose -3*u = -2*x + 3*x + 128, 3*x + 2*u + 398 = 0. Let n be 2945/124 - 11 - 13. Which is smaller: n or x?
x
Let l be (-4)/32 - ((-51)/24 + 3). Which is greater: -35.8 or l?
l
Let x(p) = 16*p**2 - 4*p - 2. Let u be x(-2). Let k = -66 + u. Suppose 0 = -5*w + k*n + 22, -n + 14 = -w + 3*w. Which is greater: w or 27/4?
27/4
Let k = 406 - 129. Suppose -5*z + 1394 = 4*w, 3*z = -w + 1875 - 1040. Which is bigger: z or k?
z
Let i(f) = 3*f**3 + 3*f**2 - 2*f + 1. Let k be i(1). Suppose 3*q - 2*q = -6. Let d be q/(-4)*k*(-2)/15. Which is greater: d or 2/11?
2/11
Let n = 687 - 687. Suppose n = -11*c + 38 - 27. Which is bigger: 2/269 or c?
c
Let d = 2419 + -2418. Is d smaller than 1/3726?
False
Suppose -2*y + 7 = 4*k - 29, 0 = 3*y. Let d(l) = -5*l + 6. Let o(q) = -1. Let t(u) = d(u) - 3*o(u). Let s be t(k). Is s bigger than -34?
False
Let q = -2 - -1.94. Let g = 415 + -481. Let t = 65.7 + g. Which is bigger: t or q?
q
Let r be (-44 - (-2)/1) + 3. Let g be ((-3)/(-6)*-5)/(3/(-38)). Let c = r + g. Which is greater: -7 or c?
-7
Let i(z) = 224*z + 6. Let j be i(2). Suppose 5*p = j + 136. Let n = p + -66. Do 53 and n have the same value?
False
Let m = -14382 - -11619. Is -2762 equal to m?
False
Let q be ((-5)/((-770)/3383))/(2 + 157). Let a = 2/1113 - q. Which is smaller: 1 or a?
a
Let a = 75633 - 51083. Is 24550 smaller than a?
False
Let t(n) = -n**2 + 36*n + 94. Let o be t(37). Which is bigger: 58 or o?
58
Let u(n) = 4*n**2 + 32*n + 22. Let y be u(-16). Let a = y - 553. Suppose -c + 4*l = -2*c - 21, 5*c + 5*l = -90. Which is smaller: c or a?
a
Let w = -3/5977 - 95563/137471. Let k be (-26)/(-36) - (-2)/(-9). Which is bigger: k or w?
k
Let a be (-2189537)/(-1002)*(13/(-7) - -2). Which is bigger: a or 311?
a
Let m = 750 + -394. Let b = m + -356.51. Which is smaller: 0.4 or b?
b
Let t = -21 + 7. Let s = 22 + t. Let h be 45/63*648/60. Is s smaller than h?
False
Let g = -14340/53 - -190850848/705377. Is g >= 1?
False
Let b = -14020 - -14019. Which is smaller: b or -1971?
-1971
Let d = -1067 + 1151. Suppose 6*q - 2*q + 163 = -3*r, 0 = 2*q + 2*r + d. Suppose -5*b - 3*x - 202 = 0, 2*b + 2*x - x + 80 = 0. Is q < b?
False
Let p = -248 - -159. Let c = p - 30. Which is smaller: c or 2/5?
c
Let i be 20/12 - (-4)/3. Let j be 6 + i + (3 - 3). Suppose -4*v + b + 58 = 0, -4*b = j*v - 4*v - 62. Which is smaller: v or 15?
v
Let j = -39 - -40. Let v = 2.87 - 1.9. Let i = v + -0.81. Which is smaller: i or j?
i
Let n be 8/3*(-41*(-4)/16)/(-7). Are n and -3 equal?
False
Let v = 65518458929/9384 - 6981933.