se -11*f + 7*f = -4*i - 4796, -i = 2*f - 2392. Suppose -3*d = -10*d + f. Is 170 bigger than d?
False
Let b = -17827 + 17826.6. Let y = 189 - 581/3. Is b greater than y?
True
Let x = 16 + 3. Let o(h) = 8*h + 138. Let f be ((-3)/2)/((-48)/(-480)). Let l be o(f). Which is greater: x or l?
x
Let v = 1491 - 1057. Let y = v - 347. Which is bigger: -4 or y?
y
Let i be (-4)/(-26) + (-76)/(-13). Suppose 7*o = i*o + 132. Suppose 6*w = -6*w + o. Which is smaller: w or 2?
2
Suppose -10 = -5*v + 3*v, -4*y + 4*v = 12. Let w(j) = -j**3 + 5*j**2 - 2. Let c be w(y). Suppose -c*f = -8*f. Which is smaller: f or 2/25?
f
Let j(o) = -8*o**2 - 3. Let c be j(-5). Let n = c + 174. Is -29 greater than n?
False
Let r = 0 + 0. Let v = -2/1105 + -7291/1105. Let n = v + 37/5. Which is smaller: r or n?
r
Suppose 4*w - 8*w - 5*h + 81 = 0, 62 = 3*w + 4*h. Let n be ((w - 7) + -7)/2. Let y = -10 + 29/3. Is n at most as big as y?
False
Let g = 3352826266/14899 - 225037. Which is smaller: 1 or g?
g
Let k(h) = -h**3 + 10*h**2 - h + 6. Let q be k(10). Let f be (-112)/(-1050) - q/(-30). Are 1 and f equal?
False
Let g = -6 + 2. Let f = -133.6 + 121. Let p = f - -12.64. Is g at most as big as p?
True
Let y(s) = s**2 + 7*s + 8. Let r be y(-9). Suppose n + 22 = 5*k, k - 29 = 142*n - 150*n. Is r greater than or equal to k?
True
Let t = 6 + 72. Let w be 1*4 - (0 - (-270)/t). Which is greater: w or 0?
w
Let m = -6269/3 - -2095. Which is bigger: m or 1.4?
m
Suppose 54507 = 203*y + 35679 - 56688. Is 1864/5 smaller than y?
False
Let g = -3629/17272 + 35/136. Suppose 6*t = t + 5. Which is smaller: g or t?
g
Let l = -2129 + 2166. Let f(v) = 5*v + 8. Let x be f(6). Which is smaller: x or l?
l
Let m be -8*1*(3 - 4). Let f be 34 - (3 + 1) - 2. Suppose f = -6*b - m*b. Does -9/11 = b?
False
Let n = -43581 - -39771. Is -19048/5 smaller than n?
False
Let w(z) = -z**3 - 8*z**2 + z + 36. Let y be w(4). Which is bigger: -151 or y?
-151
Suppose -2192 - 3186 = -5*v - 2*p, -v + 1077 = -p. Which is smaller: v or 1075?
1075
Let z = -342 + 341.692. Let d = z + 0.208. Is d smaller than -63?
False
Let f(r) = -14*r - 285. Let a be f(0). Let q = 8838/31 + a. Which is smaller: q or 1?
q
Let v(o) = o**3 - 20*o**2 + 18*o + 13. Let x be v(19). Let n(u) = u**3 + 10*u**2 + 19*u + 8. Let l be n(x). Suppose -2*t - l = -6. Is t > -2?
False
Let u = -3495 - -3563. Is 54 less than u?
True
Let q(w) be the third derivative of -7*w**5/60 + w**4/2 + 4*w**3/3 - 269*w**2. Let o be q(-5). Is -226 at most o?
False
Let r = 39 + -35.6. Let s = -2.3 + -1.3. Let u = s + r. Which is smaller: u or -10?
-10
Let i(f) = -14*f + 657. Let k be i(47). Which is bigger: k or -12/179?
-12/179
Suppose 5*i + 10 = -3*u + 6*i, 2*u = i - 7. Let l be u*2/4*(-10)/5. Is l at least -4?
True
Let c be (-6 - (-9 - -5)) + (0 - -14). Let u(x) = -x + c - 3 + 9. Let f be u(16). Is f not equal to 11/4?
True
Suppose -2*w + 7 = 1. Suppose -2*h = -5*r + 27, 3*r = -4*h + 2*h + 13. Let p be (6/(w*h))/((-2)/(-28)). Is p <= -28?
True
Let w = 113090/9 - 2618998/207. Is w != -88?
True
Suppose 0*l + 15 = 3*l. Let p(y) = -y + 4. Let d be p(l). Let u be (36 + (-61809)/1716)/3. Are u and d unequal?
True
Let g be -2 - 6*8/(-12). Let d = 114 - 1910/17. Is g < d?
False
Let n = 83 - -113. Suppose 56 - n = -4*x. Which is smaller: 237/7 or x?
237/7
Let y be 389/(-6) + (-2)/12. Let f(r) = -67*r**2 + 2. Suppose -3*b = -15, 5*b = -t - 0*t + 24. Let h be f(t). Is y not equal to h?
False
Suppose -2*y - 126 = 4*y. Let o = 2 - 17. Let a be (5/o)/(y/(-9)). Do -1 and a have the same value?
False
Suppose -342 = -9*y + 3*y. Suppose 0 = -12*w - 15 - y. Which is smaller: -4 or w?
w
Suppose -5*m - 30*r - 2435 = -26*r, 4*m = -5*r - 1948. Let f = m - -486. Do -23/16 and f have different values?
True
Let y(h) = h**3 - 12*h**2 - 16*h - 30. Let a be y(10). Let n(c) = 45*c - 165. Let q be n(-5). Is q >= a?
True
Suppose 5*v + 6*v - 858 = 0. Suppose 8*z - 90 - v = 0. Is z smaller than 22?
True
Let u = -167/4 - -42. Let h = 199/6 - 71/3. Which is smaller: u or h?
u
Let c(l) be the third derivative of l**6/120 + 3*l**5/20 - 11*l**4/12 + 7*l**3 + 17*l**2 + 2*l. Let k be c(-11). Is k < 85/2?
True
Let y = 0.0286 - -1.5014. Let t = y + -1.93. Is 2/3 less than or equal to t?
False
Suppose 201 = -63*l + 4548. Is 74 at least l?
True
Let q be ((-1071)/2268 + 4/18)/((-7)/28). Is q smaller than -15/1207?
False
Let v(j) = -28*j - 421. Let y(z) = 14*z + 210. Let f(a) = -3*v(a) - 7*y(a). Let r be f(-15). Is -0.021 at most r?
True
Suppose 3*u + 5*j - 24 - 143 = 0, -u - 4*j + 58 = 0. Suppose 0 = 3*k - 60 + u. Let b = 15 + k. Does 18 = b?
False
Let p = 123.65 - 117.65. Is -42 bigger than p?
False
Let z = -3705 - 201. Let w be -1 + (3/(-6) - 5831/z). Which is smaller: 0 or w?
w
Let h = 149 - 151.58. Let n = 3.58 + h. Which is smaller: 21/10 or n?
n
Let m be ((-12)/(-10))/((-48)/10 + 5). Let j be (9/m)/(6/4 - 0). Which is greater: 42 or j?
42
Let l(g) = g**3 - 14*g**2 - 2*g - 200. Let q be l(15). Which is greater: -38 or q?
q
Let p = -7.954 + 8. Let k = -1331 + -508. Let n = k - -1839. Is n greater than p?
False
Let l be -4 + 31 - (-12 + 21 + -14). Suppose -2*p + 71 = p - f, 5*p + 3*f = 123. Is p <= l?
True
Let d = 5714717/163668 - -2/13639. Let y = -1292/37 + d. Which is bigger: y or 1?
1
Suppose 28163 = 5*m - 8717. Let k be (4 - 1) + m/(-2448). Which is smaller: k or 1?
k
Let h(c) = -c**3 + 35*c**2 + 67*c + 108. Let g be h(36). Is 1223 not equal to g?
True
Let l(f) = f**2 + 10*f - 86. Let c be l(-15). Let r = 8 - 3. Suppose -65 + 15 = r*q. Which is smaller: q or c?
c
Let n = -147309944/10907 - -13506. Which is smaller: -1 or n?
-1
Suppose -3*l - 178 = 2*w, -20*l + 3*w - 168 = -17*l. Are -56 and l non-equal?
True
Let d be (-35)/14*6/(-5). Suppose 4*p - 21 - 14 = d*w, 5*w + 41 = -2*p. Suppose -5*g + 46 = -4*t, 5*g = -t - t - 8. Is w greater than or equal to t?
True
Let p(h) = -6*h - 14. Let a be p(10). Let m be (29/2)/((-14)/(-252)). Suppose -12*n - m = 627. Is n at most as big as a?
True
Let d(m) = 5*m**3 + 74*m**2 - 578*m - 23. Let j be d(12). Which is smaller: 12336 or j?
12336
Let w = 37.34 + -37.35. Let f = -85/56 - -11/8. Which is smaller: f or w?
f
Suppose -26 = 2*u + u - 2*i, 0 = 4*u - 3*i + 33. Let t(g) = -33*g + 1079. Let d be t(32). Let r = d + u. Are 12 and r nonequal?
True
Let r be 83 + 7 - 5/1. Let y be (328/(-30))/(17/r). Is -54 > y?
True
Let n be (0 + -8 - (-26416)/4403) + 2. Is n bigger than -1?
True
Let i = 18.56 + -84.56. Are i and 8 equal?
False
Let u = 2903.619 - 2904. Is -0.3 at most as big as u?
False
Let t = -9547 + 9547. Which is bigger: -663 or t?
t
Let o(g) = -g**3 - 38*g**2 + 314*g - 61. Let w be o(-49). Is w less than or equal to 0?
False
Let m be (0 - 2) + 115290/45. Suppose m = 8*s - 18*s. Which is greater: 0.1 or s?
0.1
Let l = -915.1 + 989. Let q = 1802 - 1876. Let i = l + q. Is i less than or equal to -1/23?
True
Let f be (10 - 780/18)*(-333)/6. Which is smaller: f or 1851?
f
Suppose 17 = 2*g - 33. Let x be ((-1)/174)/(g/7413). Let n = x - -50/29. Which is smaller: n or 0?
0
Let m(p) = -p**2 + 19. Let g be m(-5). Let d be g*(-6)/(-12) + 121. Is d less than 117?
False
Let p = -4152 + 4153. Which is greater: 3/2089 or p?
p
Let a = 35.1 - 60.1. Let k = -72 - a. Is k >= 1/5?
False
Let n be (-15)/2*-913*(-26)/429. Is -415 bigger than n?
False
Suppose -2*o + 89 = -3*j, 12*o = 2*j + 9*o + 56. Let g(h) = 3*h + 87. Let f be g(j). Which is bigger: -57/11 or f?
-57/11
Let s be (-2)/23 + (-470)/(-115). Suppose -s*h - 19 = -n, -5*n + 112 = -2*h - h. Is n smaller than 22?
False
Suppose 27*f + 17 + 10 = 0. Are f and -0.0603 equal?
False
Suppose 4*x = 2*x - 60. Let f = 3338 + -3318. Let i be 10/f - 13/x. Which is smaller: i or 1?
i
Suppose -4*v = 5*f + 56, -5*f + 4*f - 13 = -v. Let w be ((-3)/5)/(f/40). Which is smaller: w or -37?
-37
Let y = 60789/10 + -6073. Is y < 6?
True
Let w = 847.333 - 848. Let f = w + 0.717. Which is smaller: -31 or f?
-31
Let y = -0.06855 + -1.93145. Let o be 12/(-18) - 1/(-2). Is o greater than y?
True
Let f be (-352)/3 + 220/(-60). Are -60 and f nonequal?
True
Suppose -30*l + 4376 = 32876. Which is bigger: l or -944?
-944
Let o = 22138 - 22137. Is -29/511 greater than o?
False
Let z = -188191/3 + 62153. Is -576 at most z?
False
Let f be -4 + (10/2190)/((-11)/(-9650)). Which 