+ -3099. Which is bigger: -13/857 or c?
c
Suppose -76*s + 528 = -56*s + 112*s. Which is smaller: s or 295/73?
s
Suppose -52*x = 127*x. Is x less than or equal to 11.854?
True
Let k = -3.5 - -3. Let f(g) = -g**3 - 7*g**2 - 4*g + 4. Let o be f(-7). Let x be ((-3)/(-4))/((-36)/o). Which is bigger: k or x?
k
Let m = -23953 - -24072. Which is smaller: -7/8 or m?
-7/8
Suppose -41 - 10 = -q. Suppose -39 = 4*z - q. Let n be z/(-6)*-8 + (-6)/2. Do n and 69 have different values?
True
Suppose 18426 = 8*o - 9038. Let q = -17049/5 + o. Which is smaller: q or 23?
23
Let o = 4 + -1.2. Let k = o - 2.5. Let s = 1.3 - k. Is 3 greater than or equal to s?
True
Let b = -6996 - -7018. Is 672/29 bigger than b?
True
Let g = 5 + 4. Let z = g + -12. Let t be (-48)/(-54) - (-12)/(-54). Are z and t non-equal?
True
Let u be 6*(2 - (-58)/(-30))*-85. Let p = -40 - u. Let i be 93/(-2) - p/12. Which is smaller: -45 or i?
i
Let r(l) = -2*l**2 + 23*l - 10. Let j be r(11). Let n = -171.03 + 171. Which is bigger: n or j?
j
Suppose 4*r - 8 = 2*c, -2 + 0 = -4*r + 5*c. Suppose 26 = 5*s + 2*z, z - 6*z + r = -3*s. Let h be ((-16)/(-12))/(s/(-2)). Which is bigger: -1 or h?
h
Let i = 4.637 - -0.263. Let y = -2.4 + 7.2. Let o = y - i. Is o greater than or equal to 0.034?
False
Suppose 19*c - 10 = 9. Let t be c*6/(-10) - (-85)/(-25). Which is smaller: t or -13/3?
-13/3
Suppose 14543 = -74*q + 126*q - 23521. Is 5863/8 less than or equal to q?
False
Let j = -97 - -97. Suppose 0*h + 48 = 2*h. Let z = 26 - h. Which is smaller: z or j?
j
Let v be (-95)/1919*(76/35 + -2). Which is smaller: v or 0?
v
Suppose -3 = -p - v, -219*p = -217*p - 4*v + 18. Which is smaller: -1194 or p?
-1194
Let k be (-1)/10*4 + 7. Let t = -1 - -27. Let m = t - 18. Is m equal to k?
False
Suppose q + 4 = -c - 1, 4*c + 2*q + 20 = 0. Suppose 4*k - 2*i + 23 = -i, -4*k - 5*i - 53 = 0. Is k <= c?
True
Let z be (-950)/(-40) - (-6)/(-8). Let d(q) = 2*q**2 - 30*q + 78. Let f be d(z). Let i be (f/1880 + (-3)/12)*-5. Is -1 smaller than i?
True
Let z = -0.7 - -0.99. Let k = z - 22.29. Which is smaller: k or -1?
k
Let b be 6*5/(-15) + -19. Let m(n) = n**3 + 21*n**2 - 9*n + 103. Let r be m(b). Is r at most as big as 292?
True
Suppose -4 + 2 = b, -2*b - 956 = -4*p. Let x = -2144/9 + p. Let k = 4 + -4. Which is smaller: x or k?
x
Let o = 18176 + -18155. Which is greater: 188 or o?
188
Let l = 13746 - 13869. Which is smaller: -134 or l?
-134
Let f(x) = -2*x - 2. Let h be f(2). Suppose -10*i + 3312 = -28*i. Let v = -192 - i. Is v greater than or equal to h?
False
Let g(n) = 3*n - 2. Let a be g(6). Suppose -14*f + a*f - 6 = 0. Suppose 4 + 22 = -4*l - 3*m, -2*l - 4 = -f*m. Which is smaller: l or 2/5?
l
Let i be ((-4)/(-2))/(-2 + 63). Let l = 151 - 150.7. Which is bigger: i or l?
l
Let l = 190 - 188.25. Let j = -0.25 - l. Let i = -0.081 - -33.081. Do j and i have different values?
True
Let y = -5086 + 5087.35. Which is bigger: y or -5?
y
Let n(i) = i + 26. Let y be n(-19). Let w = -7 + y. Let b(g) = -g**3 + g**2 - g - 1. Let r be b(w). Is r > -1/70?
False
Let k be (-1482)/2128 + (-11)/(-88) + 61/112. Suppose 5*l - 23 = -2*s, -2*s + 6*s - 6 = -2*l. Which is smaller: s or k?
s
Let q(y) = 2*y**3 + 3*y**2 - 20*y. Let l(z) = -z**3 - 3*z**2 + 10*z. Let m(h) = -7*l(h) - 4*q(h). Let x = -13 - -23. Let r be m(x). Which is smaller: r or 6/7?
r
Let a = 1018 + -199527/196. Let j be 10/(-40) + 21/84. Is a equal to j?
False
Suppose 0 = n - 4*c + 542, 3*c + 3441 = 17*n - 23*n. Is -565 at least n?
True
Let y be (3/3)/((-22)/(-48)). Suppose -7*g = -9*g + 3*s + 33, -4*s + 4 = 0. Suppose -j = 11*z - 6*z - 12, 0 = 4*z - 2*j - g. Are z and y non-equal?
True
Let j = -10781 - -11271. Which is smaller: 493 or j?
j
Let n be (-99)/(-66) - (2 + 121/(-2)). Is n greater than -10/11?
True
Suppose 2*i - 2 = 0, 3*d - 6*d - i = -4. Let j be (d + -1)/(-3) - 1. Let y = 22578/25 - 903. Is j bigger than y?
False
Suppose 6*t - 11*t + 30 = 0. Suppose -t*g - 219 = -3*g. Which is bigger: -74 or g?
g
Let t = -598267/1177 - -5592/11. Which is smaller: t or 1?
t
Let d(l) = 10*l + 4*l**2 - l + 39 + l**3 - 17*l**2. Let i be d(12). Suppose i*m + 5*f - 3*f + 169 = 0, 2*f = -2*m - 114. Is m less than or equal to -55?
True
Let l = -322 + 322. Let m be 2 + 2/22*(14 + -26). Is l smaller than m?
True
Suppose -6 = y + 3. Let c = y + 20. Suppose 13 = 14*u - 43. Which is bigger: c or u?
c
Let w(r) = r**3 - 19*r**2 - 80*r + 22. Let q be w(18). Is -1735 less than q?
False
Suppose 1013*o - b - 13 = 1016*o, 24 = -5*o - 2*b. Which is greater: -114 or o?
o
Let c = -84 + 103. Suppose 7*a + 408 = c*a. Do a and 34 have the same value?
True
Let r(o) = -507*o + 1700. Let j be r(3). Which is bigger: 180 or j?
180
Let f = 18 + -18. Let d = -169/6 - -55/2. Is f < d?
False
Let w be (48/9)/(-4)*(-15252)/(-8). Let q = 104228/41 + w. Is q less than -1?
False
Let q = -17573/3 - -5942. Let f = -80 + q. Let x(m) = m**3 - m**2 - 2*m + 3. Let c be x(2). Which is smaller: f or c?
c
Suppose 4*y + 45 = 12*j - 9*j, j = -5. Is 358 > y?
True
Let x = -7627 + 7627.1. Which is greater: x or -91.1?
x
Suppose -w - 5*j = 4*w - 210, 132 = 3*w - 3*j. Suppose -n = -6*n - 4*f + w, 3*f + 22 = 4*n. Which is greater: n or -0.06?
n
Let p be 0/(4/(-8)*4). Suppose 3*q - 6 - 99 = p. Suppose -6*i + q + 13 = 0. Are i and 6 nonequal?
True
Let m = -407 - -1525030/3747. Which is greater: 0 or m?
m
Suppose -5*f = 3*c - c + 1, 10 = -2*f + 4*c. Let v(a) = -3*a**2 + 36. Let m be v(6). Let d = -77 - m. Which is smaller: d or f?
d
Let p = 11932/3 + -3944. Let x = 70 - 36. Which is smaller: x or p?
p
Suppose 422*w = 425*w + 15, -3*d = -2*w - 448. Is 289/2 less than d?
True
Let r be (1/(-48)*8)/((-9)/6). Are -97 and r unequal?
True
Suppose -4*n + 36 = -3*v, -2*n = 2*v + 14 + 10. Let f be ((-4)/v)/((-1)/(-2)). Let q = -68918 - -68918. Which is bigger: q or f?
f
Let j(k) = -12*k - 90 - k + 6*k - 16*k. Let n be j(-4). Is n less than -2.3?
False
Let o = -65 + 69. Suppose u + 4*c - 2 = 0, 40 = -5*u + o*c + 122. Let j be (-4 + (-1 - -2))*-5. Do u and j have the same value?
False
Let m = 247.14 - 246.14. Which is smaller: 17.54 or m?
m
Let f be (-2 + -1)*3*18078/1179. Which is smaller: -2616/19 or f?
f
Let s(r) = -r**2 + 56*r + 817. Let k be s(-12). Which is smaller: -4/4031 or k?
-4/4031
Let f = -1736.5 - -1322.05. Let s = -415 - f. Which is smaller: s or 0.2?
s
Let j be 5050/4095 + (-1)/((-9)/(-2)) + -1. Let f(d) = -d**2 - 2*d + 1. Let u be f(-2). Is j less than u?
True
Let k = 6.07 + -6.3. Let j = k - 0.05. Let m = 0.24 + j. Is 0.4 greater than m?
True
Suppose 69*z + 229 + 568 = -583. Let r = -10 - -14. Let m(g) = -2*g**2 + 3*g + 1. Let p be m(r). Is p greater than z?
True
Let c be ((-24)/(-32))/(99/(-56)). Let n = c - -1712/4191. Is n bigger than -2/5?
True
Let a(z) = -9*z - 9. Let v be a(-6). Suppose -4*m = -5*s - 680, -s - 416 = 2*s - 4*m. Let p = s - -177. Is v at least as big as p?
True
Let r be 20/220 + 4/(-44). Which is greater: -739 or r?
r
Let b = 0.3 + -0.8. Let s = b - -1. Let v = -0.3 + s. Which is smaller: 2/19 or v?
2/19
Let y = 1.6 - 4.6. Let w = 5.5 + y. Let l = w - 0.5. Which is greater: 1 or l?
l
Let w(t) = -9*t**2 - 11*t - 10. Let q be w(-4). Let s = q + 111. Which is smaller: 5/83 or s?
5/83
Let a = -18673/4 + 4667. Is a less than 160?
True
Let v = -10294 + 10293. Which is smaller: v or 2/5949?
v
Suppose 1093488 = 368*q + 68*q. Which is smaller: q or 2511?
q
Let l = 4609 + -4596. Is 0.3 >= l?
False
Let l = 35452 - 35449. Let a = 74/39 + 22/39. Which is bigger: a or l?
l
Let d = 0.42 - 40.42. Let j = d + 37.7. Let r = j + 1.3. Which is bigger: 1 or r?
1
Suppose s + 58 = -4*y, y + 16 - 74 = s. Which is greater: -60 or s?
s
Suppose 10*w - w = -1008. Let u be (1/(-7))/(16/w). Which is greater: u or 6/29?
u
Let o = -3 + 2.5. Let m = -26174.89 - -26175. Is m >= o?
True
Let l = 0.107 + 167.893. Let i = l + -168.2. Which is smaller: i or 0.002?
i
Suppose -p + 1 + 3 = 0. Let a be (-4)/(p/(-2)*1). Let i be a/(-7) - (-2)/7. Is i bigger than 2?
False
Suppose -2*h = -14*h - 24. Let r be (-40807)/(3 + (-28)/h). Let t = r + 2399. Is t > -2?
True
Let w = 0.109 - 0.209. Let m = -0.9 - -0.6. Is w equal to m?
False
Let j = -131.572 - 1.728. Let u = 133 + j. Which is smaller: u or -33/7?
-33/7
Let m(g) = -5067*g + 6. Let j be m(-4). Let k = j + -15185