
Let x(b) = 42*b + 3527. Let i be x(-84). Which is greater: i or 9/260?
9/260
Suppose c + 12 = -3*u - 3, 4*u = 5*c - 20. Suppose 2*b - 6 = 5*b, -2*z + 2*b + 14 = c. Suppose 9 = z*f - 21. Is f equal to 6?
True
Let o = -30 + 36. Suppose 4*s = p - 3, -o = -2*p - 0*p - 5*s. Let t = -14.04 + 14. Is t greater than p?
False
Let y be 16 + 27 + 5842/(-69). Let v be (45 + -2)*-1*1. Is y <= v?
False
Let j = -12519 + 12574. Is -104 not equal to j?
True
Let b = -27040 + 432411/16. Is -14 greater than b?
True
Suppose 0 = -2*i + v - 1, 0*i - 4*v - 10 = -i. Let q(u) = -u**3 - 8*u**2 + 28*u + 226. Let d be q(-8). Is d equal to i?
False
Let o = -7 + 104. Suppose -o = 4*n - 97. Is n less than or equal to -17/2?
False
Suppose 9*s - 7*s + 13 = -3*k, 3*k + 15 = -3*s. Let o(d) = d**2 - 5*d - 4. Let z be o(5). Let a be 6/12 - (-10)/z. Is a less than k?
False
Let g be (-40)/(-105)*((-81)/(-6))/9. Let c be (-1)/5 - (-19)/(-5). Let m be (3 - 4 - c)*-1. Which is smaller: m or g?
m
Let o = -27705/7 + 3966. Let g be (-7 - -9)*9/2. Which is greater: o or g?
g
Let c be 130/(-55) + (1 - -3). Let g = -83/44 + c. Let n = 77.07 - 77. Which is smaller: n or g?
g
Let k = -21630 + 21643. Is k greater than -502?
True
Suppose 2*d + 3 = q, -2*d = -5*q + 3*q + 10. Let a = 83 - 78. Suppose -a*p = q*p - 576. Which is smaller: p or 0.1?
0.1
Let y be 787*(1 + 14 + -16). Are -786 and y nonequal?
True
Let n be 0/6 + -7 - -11. Suppose n*j - p + 33 - 4 = 0, 0 = -5*j - 5*p - 55. Which is smaller: j or 11?
j
Suppose -5*s - 47 = -147. Let c = 96 - 170. Let d = c + 72. Which is greater: s or d?
s
Let r = -46 - -51. Suppose 8*b = -r*b + 26. Let i be (b/2 + 2 + 1)/4. Is i less than -4/15?
False
Let r = -4377.36 - -4379.16. Let j = 0 - 7. Is r > j?
True
Let d = -0.6526 + -19.3474. Let s = 57/35 - 10/7. Is s bigger than d?
True
Let y be (-12)/(-24)*0/(-2). Suppose y = -2*s + 16 - 6. Suppose 3*i - 15 = -0*w - 2*w, -i - 12 = -s*w. Are w and 3 unequal?
False
Let m = 4473 - 4470. Is 122/7 > m?
True
Let x = -44 - -52. Suppose 5*o + 3*q = 8*q + 40, 2*q = -x. Suppose -4*n + o*i + 10 = 2*i, 3*i = n - 10. Are n and 0 non-equal?
True
Let m be (-391656)/(-50)*(200/(-105) + 2). Let h = m + -746. Are h and -1 nonequal?
True
Let p = 2/3467 - 578999/17335. Suppose 5*g + 157 = -3. Is g at least as big as p?
True
Let j(v) = 2*v - 2. Let b(q) = 10*q + 79. Let i(z) = b(z) + 5*j(z). Let s be i(-4). Which is greater: s or -158/13?
s
Let z be 1 + 3 + 1 + -2 + -2. Let l = -17146 + 17219.83. Let m = l - -0.17. Which is smaller: z or m?
z
Suppose -1766*d = -1756*d - 1050. Is 1156/11 < d?
False
Suppose -2*a - 4 = 4*o, -14*a + 12*a + 26 = -2*o. Let z be (a/(-2))/(-2)*(-16)/(-32). Are z and -3/197 non-equal?
True
Let x be (-1)/(-3)*(-12)/(-2). Suppose -6*f + 16 = 5*w - 2*f, -w - 4*f = 0. Let z be -3 + w/8*x. Which is bigger: 0.03 or z?
0.03
Let q = 15916 - 15916. Which is bigger: q or -243/4?
q
Let h = -15313 - -5558623/363. Are 0 and h unequal?
True
Let r(y) = -8*y**2 + 1339*y - 500. Let c be r(167). Suppose -4*j - 4*s + 28 = -3*j, -2*s - 184 = -4*j. Let w be (-12)/(-15)*(-2)/j. Is w at least as big as c?
False
Let z = 58.9 - 58. Let y = z - 1.2. Which is bigger: y or 0.3?
0.3
Let v = -107/171 - -14/19. Let g(z) be the second derivative of z**4/12 - 5*z**3/3 + 9*z**2/2 - 9*z. Let x be g(9). Which is greater: v or x?
v
Let r be ((0 - -10)/5)/87. Suppose 0 = 5*v + 32 + 288. Let l = v - -63. Which is smaller: r or l?
l
Suppose 2*v + 116 + 108 = 0. Suppose 1017 = -242*j + 233*j. Which is greater: v or j?
v
Let n(d) = d**3 - 4*d**2 - 4*d + 2. Let p = 4 - 1. Let o be n(p). Let g = 25125 - 25143. Which is smaller: g or o?
o
Let z = 251.888 - -0.112. Is z less than or equal to 17?
False
Let o = -3.338 - -24.602. Let l = -0.264 + o. Which is smaller: l or 7?
7
Suppose 0 = -w + 4*i - 368 + 552, 4*i = 0. Is 194 less than w?
False
Suppose 127*p - 35320 - 45019 + 30555 = 0. Is p at least as big as 400?
False
Let h = -90 + 73.2. Let w = h - -17.1. Is 0 equal to w?
False
Let s = 14.473 + 0.027. Let h = s - 36.5. Is 1/7 <= h?
False
Let p = 0.022 - -40.978. Let f = -338.48 + 297.5. Let q = f + p. Which is bigger: q or -2/11?
q
Let s = -2/31 - -177/3224. Suppose -3*o + 9 = -4*n, o = 3*n + 2*n + 3. Which is smaller: n or s?
s
Let a = 77/498 - -1/83. Suppose o = -4*w + 104, 3*o = 5*w + 4*o - 131. Let x = -26 + w. Which is greater: a or x?
x
Let m = -5898.3 - -5898. Is -117 smaller than m?
True
Let j = 0.012 + 0.015. Let a = -33.93 - -33.93. Is j < a?
False
Let j be 0/(3 + (3 - (1 + 3))). Let d = -309116/117 + 2642. Which is bigger: j or d?
j
Suppose 259 = -2*o + 3*o - 4*b, -4*b = 5*o - 1247. Suppose -o = 2*l - 45. Let m = l - -29. Is m equal to -74?
True
Let i(f) = -f**2 + 6*f + 8. Let s be i(7). Let w = 264182/35 - 7548. Which is smaller: s or w?
w
Let q be (1 - (-303)/(-3)) + 2. Let g be (q/15)/(-2) - 3. Let x = -213 + 212. Is x != g?
True
Let w = 1172 + -1641. Let p = 468.9 + w. Which is smaller: p or 2.74?
p
Let z be (13/117)/(1 + 40/(-45)). Is 2/9153 != z?
True
Suppose 2*c - 2*y - 64 = y, -y = 3*c - 63. Which is smaller: 984/43 or c?
984/43
Let l = -1496 + 1499. Which is greater: 41 or l?
41
Suppose -13*c - 37603 = -32832. Is c smaller than -4762/13?
True
Let g(u) = u**3 - 9*u**2 + 2*u - 13. Suppose -8*q + 16 = -8. Suppose 0*t = q*t - 27. Let r be g(t). Are r and 3 non-equal?
True
Let a be 11/(88/16) - 1/(-2)*-8606. Is -4302 greater than a?
False
Let z = -10 + 44. Let g(p) = p**3 + 50*p - 26*p + 9*p**2 - z*p. Let w be g(-10). Which is greater: -2/29 or w?
w
Let m = 1.56 - 2.34. Let t = 93.22 - m. Is 2/5 not equal to t?
True
Let a be 1 - ((-2)/(-5) + 84/(-35)). Let l(w) = -20*w**2 + 21*w**2 + 2 - a. Let c be l(0). Which is bigger: c or -5/23?
-5/23
Let l = 7055 - 7051. Is 0.1 < l?
True
Let b be (-20)/(-16)*670/25. Let g = -34 + b. Let u = -86 + 85.85. Which is smaller: u or g?
g
Let i = -1 - -2. Let x = 9/2800 - -479/700. Which is smaller: x or i?
x
Let p = 762 - 253. Let q = -499 + p. Let h(k) = 4*k - 6. Let s be h(4). Is s at least as big as q?
True
Let m be (60/825)/((-268)/10). Is 2/13 bigger than m?
True
Let s be 275/10450 - (-838)/(-76) - 12/(-2). Let a = -2/247 - 709/3952. Which is greater: a or s?
a
Suppose -3*z = -200*o + 202*o + 118, -5*z + o = 188. Does 199 = z?
False
Suppose -5*v = -7*v + 2*g + 6, 10 = 4*v - 2*g. Suppose -59 = -t - v*s, -3*s = 2*t - 35 - 78. Is t less than or equal to -2?
False
Let x = 738 - 518. Suppose 7*c = -x + 73. Let d be (-48)/c - (-10)/(-35). Which is greater: -1 or d?
d
Let y(o) = -3*o**3 + 367*o**2 + 246*o + 76. Let a be y(123). Is 0 greater than or equal to a?
False
Suppose 89*q - 95*q + 114 = 0. Suppose -q*r - 195 = 204. Is -1/5 bigger than r?
True
Let k = 1643 + -2576. Which is smaller: -934 or k?
-934
Suppose -91*z + 243 = -118*z. Is z bigger than -184?
True
Let t be (-94)/(-8) - 8/(-32). Suppose -i + 3 = 3*j, j + 2*j + 4*i - t = 0. Suppose j = -3*g + g + 2. Which is greater: 14/9 or g?
14/9
Let d be (-19915)/18777 + (-6)/(-297)*3. Let l be 1/(-4) - (-275)/1084. Which is greater: l or d?
l
Suppose -m + 2*m + 4*j = 19, 2*j = 2*m - 8. Let t be (1 + 34/(-2))/(-1). Suppose 5*d = b - 13 - 21, -b - t = 5*d. Which is greater: m or b?
b
Suppose 9*c - 4*c + 79 = -3*i, 0 = -3*i - 2*c - 64. Is 22 less than i?
False
Let i be (-2 + -5 + 1045)*(11/(-6) + 2). Is 1 < i?
True
Let n = 2922 + -739. Is 2183 bigger than n?
False
Suppose 4*p = 2*t - 6, 2*t - 43 = -2*p - 7. Suppose 1828 = t*l + 359. Which is smaller: l or 114?
l
Suppose 0 = a - i + 1 - 0, 4*a + 2*i = -28. Let d(w) = 16*w + 80. Let r be d(a). Do 4/13 and r have the same value?
False
Let t(w) = 24*w - 75. Let q be t(4). Suppose -4*l - 3*m = q, -4*l = -2*m - 1 + 7. Which is smaller: l or -6?
-6
Let x = -337 - -3369/10. Which is bigger: x or 255?
255
Let a = 1507 - 1508. Which is bigger: a or -701?
a
Let d be (5/(-9))/((-7)/84)*-240. Let c be ((-75)/d)/((-2)/8). Is c <= -1?
False
Let c(l) = -l**3 + 12*l**2 + 9*l - 13. Let f(t) = -t**3 + 13*t**2 + 11*t - 14. Let s(u) = -5*c(u) + 4*f(u). Let g be s(8). Which is smaller: 7/26 or g?
7/26
Let q = 4340/11 - 394. Let m = q + -7/33. Let i(t) = t**2 - 4*t + 4. Let c be i(3). Is c less than or equal to m?
False
Let i = 23141/71641 - 1/2311. Let y = -147 + 147. Is y bigger than i?
False
Let n(w) = -w**3 - 2*w**2 - 8*