r: i or b?
b
Let c = -177 + 159. Let l be 4*(-3)/c*1. Let k = -0.5 + -0.5. Are l and k unequal?
True
Suppose -3*m + 2*i - 128 = 0, 0 = 3*m + 4*i + 2 + 120. Let a be (-7)/(m/(-18)) - 118/(-44). Let z = -100 - -99. Is a smaller than z?
False
Let r be 39/2*(-24)/(-36). Suppose 2*v + 17 = 3*m + 7*v, -5*m + 2*v - r = 0. Is m greater than -0.5?
False
Let g be (22/44)/(57/28 - 2). Suppose -c + 17 + g = a, 2*c = -3*a + 90. Are a and 139/5 equal?
False
Let r = -15.866 - -40.866. Which is bigger: r or 270?
270
Let m be -1 + 5 + -2 + 2. Suppose m*j - 50 - 6 = -z, 5*z - 20 = 0. Let v be 6/4 + 14/(-4) - -15. Does v = j?
True
Let v = -2181 + 3105. Suppose -11*x = x + v. Are -76 and x nonequal?
True
Let o be (-45)/12*16/(-40) + 37264/(-24800). Which is bigger: -0.09 or o?
o
Let z = -6810 - -6924. Is 0.7 greater than z?
False
Let j be 3/3 + (4/(-2) - 185). Let u = j - -188. Which is bigger: 54 or u?
54
Let f be 58/14 + 17446/(-5551). Let w be (-2)/4 + 88/240. Is f less than w?
False
Suppose 10*k - 12*k + 16*k = -16688. Is k greater than -1190?
False
Suppose 33*s = 37*s - 120. Let d = 61/2 - s. Which is smaller: -0.08 or d?
-0.08
Let u be 4/(-1)*-1 - (-74 - -74). Suppose z = -z - 5*n + 25, -5*n + 25 = 4*z. Suppose 6 + u = 2*g, z = 5*p + 5*g - 25. Which is bigger: p or -1/24?
p
Let l = -295 - -251.7. Which is bigger: l or 2/5?
2/5
Let x = -1545 - -1636. Suppose 460 = 5*i - 2*t, -3*i + 7*i - 368 = -3*t. Is i smaller than x?
False
Let u = -6 - 4. Let a(g) = -2*g - 15. Let z be a(u). Suppose 92*h - 94*h + 18 = 0. Is h not equal to z?
True
Let r = 8 + -12. Suppose s + 360 = 10*p - 7*p, 2*p - 4*s = 250. Let o be (-14)/8 + (r - p/(-28)). Which is bigger: o or 3/4?
3/4
Let b = -44 + 67. Let v(c) = -c**2 + 22*c - 3. Let u be v(b). Let p(o) = -o**3 - 8*o**2 + 12*o. Let i be p(-9). Do i and u have the same value?
False
Let g(q) = -20*q**2 - 2*q - 1. Let k be g(-1). Let s = k - 34. Let d = s - -31. Which is greater: -23 or d?
d
Let f be 280/6 + (-2)/(-6). Suppose 50894*y - 50821*y = 3431. Is f > y?
False
Suppose -643*h = -638*h - 3*v - 54124, h = 4*v + 10835. Is 0 less than h?
True
Let x(d) = -d**3 + d**2 + 5*d + 6. Let v be x(5). Let k = 8/60285 - 8138491/120570. Which is bigger: k or v?
k
Suppose -61*q + 258 = 80*q + 15486. Are q and -2712/25 equal?
False
Let v(c) be the second derivative of c**6/720 + 3*c**5/40 + c**4/12 - 5*c. Let l(u) be the third derivative of v(u). Let s be l(-9). Which is smaller: s or 7?
s
Let h = 74 - 32. Let d = -41 + h. Suppose -2*a = -n - 16, n - 5*a = -0*a - d. Which is smaller: -24 or n?
n
Let u = -175 + 102. Suppose 5*f + 5*o = -380, 0 = 110*o - 113*o - 6. Which is greater: f or u?
u
Suppose -26 = -10*v + 11*v. Let c be (119/(-182) - 4/v)*12. Let o(u) = 2*u**2 + 14*u + 10. Let q be o(c). Is 0.5 <= q?
False
Let b(x) = x**2 + 16*x - 50. Let d be b(-19). Let g be ((-18)/d)/(3/(-14)). Is g greater than or equal to 168/13?
False
Let u(n) = n**3 - n**2 - n - 1. Let q(v) = 4*v**3 - 5*v**2 - 3*v - 6. Let k(o) = q(o) - 2*u(o). Let l be k(3). Suppose -11*r - 198 = -l*r. Is r < 21?
False
Suppose 1483 - 883 = -25*l. Which is smaller: l or -1/20?
l
Suppose -5*b - 26927 = -4*v, -88*b - 4*v = -85*b + 16137. Do -5383 and b have different values?
False
Let y = -740423/27279 - 1/3897. Is y < -0.3?
True
Let b = -7.01 - -4.02. Let k = b + 3.29. Which is smaller: k or 183?
k
Let m = -20 - -141. Let k = -0.07787 + 0.07787. Which is greater: k or m?
m
Let z(u) = 53 + 2*u - 3*u - 6*u + 12*u. Let d be z(-6). Which is smaller: 20 or d?
20
Suppose 4*w - 121 = -113. Let x be 2 + (4/(-11))/(-1). Is w at least x?
False
Let k be ((-194)/(-4))/(-2 + 72/224*7). Which is smaller: 182 or k?
182
Suppose -3*q = 4*s + 15, -3*s = -5*q - 4*s - 8. Let h be (-1 - 0)/(q + 18/12). Let f be -6 + (-4 + 3)*h. Is 3/2 at most f?
False
Let f(i) = -270*i - 36990. Let x be f(-137). Let c be (3/9)/((-1522)/(-12)). Is x < c?
True
Let p = 76.1 + -2.1. Let y = 5030.9 - 5031. Which is smaller: y or p?
y
Suppose -40 = -5*i + 2*s - 7*s, 0 = s - 2. Suppose 611 = -i*b + 485. Is -3 greater than or equal to b?
True
Let n be (-40)/(-196)*21*(105/(-69))/(-5). Let t(k) = k**3 + 8*k**2 - k - 6. Let s be t(-8). Which is greater: n or s?
s
Let c be (-1)/(-3)*6 - -1. Let y(b) = 17 - 60*b + 59*b - c. Let x be y(14). Are x and 2/67 equal?
False
Let v = -310495/1004 - -1237/4. Is v greater than or equal to -31?
True
Let a be (3 + -2)*(2 - 0)*-8. Let h(y) = y**3 + 16*y**2 + y + 18. Let c be h(a). Let x(o) = o**3 - 3*o**2 + 6*o - 10. Let j be x(c). Is -3/2 >= j?
True
Let d be (3 + -2 - 48/20)*1. Suppose 0 = 4*h - h. Let p be (-2 + 3 - h)*0. Which is bigger: d or p?
p
Let d be 1480/520 - (7 - 4) - 1917/(-39). Is d <= 75?
True
Let w = 166 - 159. Which is smaller: w or -0.105?
-0.105
Let y = 9948 + -9944.013. Let m = -249.987 + 250. Let q = m + y. Are -1 and q non-equal?
True
Suppose 2*f - 27 - 10 = l, 48 = 3*f - 4*l. Suppose -463 = 5*s + 1437. Let v = 398 + s. Which is bigger: v or f?
f
Let o be 10/15*9/200. Let u = 26.57 - 25.57. Is o at most u?
True
Let b be (6*28/(-42))/((-669)/(-12)). Is 1 not equal to b?
True
Suppose 0 = 11*d + 89*d - 12*d. Is d > 13/28?
False
Let q = 7631 + -7631. Is q at least -17/116?
True
Let y be (-10)/(-15) - (5 + 4026090/(-929106)). Which is smaller: -1 or y?
-1
Let t = -6.16 - -6.26. Which is smaller: t or 3322?
t
Let k = 20 + -21.4. Let r = k - -3. Let n = r - 1.4. Do n and 2/7 have the same value?
False
Let g be (-2)/(-6) + (-107)/(-12). Suppose 0 = -2*s + 3*s + 3*r - 69, 4*s - 2*r - 206 = 0. Suppose -18*z - s = -24*z. Which is bigger: z or g?
g
Let v = 184 + -89. Suppose -2*i = 3*a + v, 4*a + 3*i + 0*i + 128 = 0. Let z be a - (-2)/(2/3). Do z and -49/2 have different values?
True
Let m be -8*((-177)/(-48) - 3)*-4. Suppose m*t - 25*t + 69 = 0. Suppose 2*n + 0*n + 17 = 3*j, -2*n - 3*j - t = 0. Is n at most as big as -12?
False
Suppose 2*q + 26 = -3*f, 0 = f + q + 4*q + 26. Let h be -48 + ((-2)/(-6))/(2/f). Suppose u = -5*p - 245, 2*u - 260 = 3*p + 2*p. Which is smaller: p or h?
p
Let b be (-83)/(-27) + (-160)/2160. Let c be (b + 2 + -4)*(-3 + -18). Which is bigger: c or -15?
-15
Let f = -19055/24 + 2383/3. Is f less than -40?
False
Let l = -9185 - -9068. Which is bigger: -121 or l?
l
Let y be -1 + ((-11)/(693/7236) - (-3)/(-21)). Is y equal to -127?
False
Let l be (-6)/21*(-95424)/512. Is l at least 54?
False
Let z = 414.002 - 414. Let c = z + -23.002. Let y = -0.1 + 0.1. Is c > y?
False
Let c = 17460/11 - 1586. Suppose 0 = -l + 2*x + 3*x - 8, 5*l - 4*x = 2. Suppose 5*j = 2*k, -16 = -3*j - 0*k - l*k. Is j greater than c?
True
Let c be (-2)/(-5)*(-2 - -7). Suppose 2*o - o + 21 = s, c*o = -2*s + 30. Let t(f) = f**3 - 5*f + 4. Let m be t(3). Are m and s non-equal?
True
Let s be (-55 + -1)/(-7*(-3)/21). Let j be 1 - ((-316)/s - 6). Which is greater: 1 or j?
j
Let z(j) = -2*j**2 - 19*j - 1. Let p be z(-5). Which is bigger: 566/13 or p?
p
Let k(w) = -3*w**2 + 61*w - 146. Let r be k(18). Does 13 = r?
False
Let v be (0 - 1) + (-1 - 2). Let z = 109 + -77. Suppose z*b - 33*b - 1 = 0. Is b at least v?
True
Let c = -1597/357 - -131/51. Suppose -5*s = 3*r + 24, -817*s + 4*r + 18 = -819*s. Which is greater: c or s?
c
Let x = -46931/19 + 2471. Let m = 40 + -38. Is m >= x?
True
Let j be (6/8 - (0 - -14))*-24. Let n be (-4 - 1)*j/5. Which is greater: -319 or n?
n
Let j = -113242 + 10191563/90. Let z = -78124/45 + 1736. Let t = z + j. Are -4 and t nonequal?
True
Let x = 3791.8 + -3794. Which is greater: x or 113?
113
Suppose -50*f = -9*f + 45387. Which is smaller: -7758/7 or f?
-7758/7
Suppose -3*s + 124 = -u + s, 2*u + 3*s = -281. Let b be 85/u*(-6)/25. Suppose 0 = -0*l + 2*l. Which is smaller: l or b?
l
Let o = -20.648 + 118.648. Which is smaller: -1/12 or o?
-1/12
Suppose -4*j + 75982 - 197422 = -12*u, -4*j - 30333 = -3*u. Which is greater: 10125 or u?
10125
Suppose -3*q + 96 = -112*k + 109*k, 5*q + 164 = -4*k. Which is smaller: k or -37?
-37
Suppose 4*j - 433 = 3*g, -13*j - 132 = -4*g - 1522. Is j at most as big as 425/4?
True
Let a be ((-14)/(-35) + 2/(-10))/((-234)/(-260)). Is -23/99 not equal to a?
True
Let z be 2914/10 + (3 - 36/15). Suppose 4*n + o = 236, 9*n + 2*o - z = 4*n. Let y be 399/(-1035) - 3/(n/(-8)). Which is greater: y or 2/7?
2/7
Let k be (7966/378 + -21)/(-3 - 8/(-3)). Let g 