r: i or -2/43?
-2/43
Let m be 6/(-10) + 0 - 5/(-25). Which is greater: 359 or m?
359
Let z = 9 - 10. Let g be -20*((-3)/(-5))/z. Suppose 0 = 2*r - 4*r - g. Is r <= -5?
True
Let s be ((-2)/4)/((-2)/4). Suppose -36805 = -11*y - 6984. Let k = y - 284657/105. Which is bigger: s or k?
s
Suppose 26*d + 3*c = 31*d + 839, 4*d + 667 = 3*c. Does d = -1.3?
False
Let u be (28/8)/(25 + -28). Let f(l) = -l**2 + 4*l - 1. Let x be f(3). Suppose -4*i + 18 = -n, 4 = -i + x*i. Is n smaller than u?
True
Let v = 73.6 + 25.4. Let y = v + -99.25. Is y less than or equal to 1/6?
True
Suppose -4*h = 2*b - 18766, -h - 15*b + 4660 = -19*b. Is h at least as big as 4690?
False
Suppose 30*z + 4*k = 27*z - 80, 16 = 4*k. Which is smaller: z or -289/9?
-289/9
Let i = -9071/27168 + 5/9056. Is i bigger than 57.23?
False
Let u = 1969 - 1973. Let h(n) = -1. Let z(k) = -k - 3. Let o(m) = 5*h(m) - 3*z(m). Let r be o(u). Is -6 equal to r?
False
Let h = -502 + 503.27. Let c = h - 2.27. Is -0.57 > c?
True
Let x be (-2684)/(-790) + 325/(-125). Which is smaller: 0 or x?
0
Let u = -237 + 237. Suppose -3*c = -u*c - 2*o + 238, 4*c - 4*o + 312 = 0. Which is smaller: c or -81?
c
Suppose 35*u - 3020 = -2215. Suppose y + 5 = -3*g, g - 14 = -5*y - g. Let w(k) = -k**2 + 9*k + 3. Let q be w(y). Are q and u non-equal?
False
Let r(c) = -6*c**2 + 61*c - 129. Let i be r(3). Let k = 44573/112 - 398. Is i != k?
True
Let j be (-1470)/(-105) + (-73106)/5222. Which is smaller: j or -1?
-1
Let m(j) = 6*j**3 - 43*j**2 + 9*j - 13. Let n be m(7). Is n < -3/103?
False
Let y be ((-4)/(-5))/(2/55). Let s = -858604/5 + 171742. Which is greater: y or s?
y
Let r be (8/6)/(1956/230319). Which is greater: 1412/9 or r?
r
Let l = -23.7 - -79.7. Let u = l - 56. Which is bigger: -98 or u?
u
Let a(y) = -4*y**2 + 288*y - 229. Let z be a(82). Is -3510 less than z?
True
Let g(u) = -7*u + 11*u**2 - 41*u**2 + 14*u**2 - 10 + 15*u**2. Let h be g(-4). Suppose 3*q - 7 = q + k, 4*k - h = -2*q. Which is greater: -1 or q?
q
Let f be 0 - ((-4)/(-6))/1*-399. Suppose 379 = 15*u - f. Let r = u + -44. Is -1/59 bigger than r?
True
Let y = -96 - -98. Suppose -y*g - 4540 = -12*g. Is 454 at most g?
True
Let v be 4/(-54) + (-1845299)/5319. Does v = -348?
False
Suppose 4*y = w - 1 + 9, -18 = -2*y - 3*w. Let q = -66 + 74. Suppose -q = -u - 15. Which is smaller: y or u?
u
Suppose -18*k + 5*h = -15*k - 12745, 0 = -3*k + 9*h + 12717. Which is bigger: -1 or k?
k
Let d = -355 + 598. Let m = 242 - d. Which is smaller: 6/13 or m?
m
Suppose -4*u - x = -26, u - 7*x = -4*x. Let v(j) = 2*j**2 - 11*j - 9. Let m be v(u). Are m and -3 nonequal?
False
Let i be (-3)/15 - (-1 + (-12)/10). Suppose -i*l + j - 57 + 1 = 0, 5*j = -l - 6. Is -12 smaller than l?
False
Let a be 6*(60/(-1890))/((-8)/18). Is a smaller than -713?
False
Suppose -1 = 2*q + p, -4*q - 4*p = q + 7. Let m = 100015 - 5200789/52. Which is greater: m or q?
q
Let x = -85171 + 85182. Suppose 0*j - 2*o - 15 = 5*j, -5*o - 23 = -2*j. Is j at least as big as x?
False
Suppose -62 = 7*g - 10*g + 4*j, -5*g = 2*j - 86. Let n be (3/g*-2)/((-6)/1584). Which is smaller: 91 or n?
n
Suppose 156 = 6*a - 252. Let k be -4*(-2)/426*102/a. Which is smaller: k or -1?
-1
Let t = 518 + -514. Suppose 6 = -2*j + 5*j, 3*h = t*j - 1043. Which is smaller: h or -344?
h
Suppose 0 = -9*s + 47*s + 76. Which is greater: -41/7 or s?
s
Let i be (93 + -92)/(1/68). Suppose 0 = -i*n + 43 + 25. Suppose -5*v + 69 = 209. Is v not equal to n?
True
Let d = -5.028 - -4.9. Let t = -0.06 - d. Let m = -4.068 + t. Which is smaller: m or 0.2?
m
Let d = 137 + -135. Suppose 0 = -2*a - d, -2*a = -5*q - 4*a - 2. Are q and 16/77 unequal?
True
Let f(c) = 3*c**2 - 52*c + 5. Let s be f(17). Let u(m) = -m**2 + 7*m - 4. Let d be u(3). Let b be ((-40)/s)/(d/(-12)). Which is bigger: b or -1?
-1
Let q(g) = g - 24. Let s be q(15). Let r be (40/820)/(s/(-1)). Let j = 425/10332 - r. Is j equal to 0?
False
Let t = -363 - -30. Let j = 331 + t. Let p = -32 + 18. Is j greater than p?
True
Let g be 77/(-14) - -3 - -3. Is g at least as big as 125.5?
False
Suppose -3*p - 2*s = -30, -63*s + 60*s + 10 = p. Is p equal to -166?
False
Let o be 64/11 - -5 - 2/(-11). Let u be 7*((-24)/(-14))/1. Is u < o?
False
Let x be -371 + 3 + 2 + 2. Let i = x + 348. Which is smaller: i or -14?
i
Let c(f) = f**3 - 5*f**2 + 7*f - 119. Let i be (27/81)/((-1)/(-24)). Let p be c(i). Are p and 132 equal?
False
Let w = -428011 - -22685801/53. Which is smaller: w or 23?
w
Let o = 109643.9 - 109644. Let j be (-4)/(-18) - (-2355)/(-27). Let h be (-2)/j*-1 + 0. Are h and o unequal?
True
Let i be ((-3 - -15)/36)/(((-1)/1)/1563). Which is greater: i or 2?
2
Suppose 0 = 6*b + 802 - 826. Suppose 1522 = 3*x + 4*h, 502 = 4*x - 3*x - b*h. Is x >= 505?
True
Let t = -3054 - -3053. Is t not equal to 2/639?
True
Let r(o) = -2*o - 114. Let z be r(0). Let j = z - -461/4. Suppose -3*d = 3 - 9. Is d greater than or equal to j?
True
Let h be 88/(-12)*(-9)/(-6). Let g be (-1 - 3)*9/(-12). Suppose 0 = 2*d + g*d + 60. Is d not equal to h?
True
Let z = 15.47 - 17.47. Which is bigger: 560 or z?
560
Let v(z) = z**3 + 8*z**2 + 15*z + 45. Let b be v(-7). Let c = 44 + -32. Suppose 9*i = 10*i + c. Which is bigger: i or b?
b
Suppose 96 = -5*b - b. Let o be -2*18/b + -2. Is 0 > o?
False
Let h be (-165726734)/(-14878) + (-4)/86. Is 11139 <= h?
True
Suppose 2383*t - 2083*t = 6600. Is -278 equal to t?
False
Let c = 25 - 25.036. Let d = 0.051 - -0.113. Let x = d - c. Is x less than 1?
True
Suppose -116*h = -126*h + 290. Suppose 0 = -4*d + 20, d - 6 = -h*v + 28*v. Are v and -6/235 equal?
False
Suppose 533*j - 531*j + 448 = 0. Let q = -315 - j. Is q less than -89?
True
Let z = 282 - 266. Let h be ((-7)/5)/(58/20 + -3). Is h at least as big as z?
False
Let b = -9527/6 + 3175/2. Is 4307 >= b?
True
Suppose -20*g + 28*g + 16*g - 288 = 0. Is g >= 585/46?
False
Suppose -i + 2*i - 2*g + 32 = 0, g = i + 27. Let f be i/(-77)*7*1. Suppose d = -3*k + 7, -2*d = f*k + d - 14. Is 2/5 at most as big as k?
True
Suppose -4 = 2*o, -2*j + 458 = -5*o + 8602. Let k be 942/j + 4 + 272/(-72). Which is smaller: 0 or k?
k
Let i = 10459 - 10395. Is i less than 62?
False
Let p be (-42)/(-63) - (-2124)/(-3213). Which is smaller: 1 or p?
p
Let i = 97.8 - 92.8. Let u = -0.19 + 0.12. Let y = -0.93 + u. Which is greater: y or i?
i
Let v be (0 - 3 - (28 - 25)) + (-1420)/(-16). Is -2/3 at most as big as v?
True
Suppose 0*p + 3 = 3*p. Let f(y) be the third derivative of -y**6/30 - y**5/20 + y**4/8 - y**3/6 - 35*y**2. Let r be f(1). Which is smaller: p or r?
r
Let x(v) = v**3 - 3*v**2 - 9*v - 3. Let u be x(4). Let f = 128 - u. Is 1 bigger than f?
False
Let o = 108281/42 + -2578. Let t = -20 - -20. Is o at least as big as t?
True
Suppose -5*z = -4*b - 10 - 49, 3*z - 6 = b. Let o be ((-4732)/b)/13 - 4/(-6). Which is bigger: o or 19?
19
Suppose 3*w = 5*p - 3287, -660 = 2*p - 3*p - 2*w. Let l be (p/(-161) + 4)*22/(-6). Which is smaller: l or 1?
l
Let g = -2977 + 2760. Is -215 smaller than g?
False
Let c = 114.1 - 258.1. Let f = -7930.96 + 7787. Let k = c - f. Is k < 2?
True
Let z be -6*((-3)/60)/(5/(-10)). Let a be (1 - (-4 + -2)) + 592/(-80). Which is smaller: a or z?
z
Let g = 1481 - 1472. Is g at least 312/31?
False
Let r(b) = -10*b**2 - 7*b - 6. Let l be r(-4). Let w(q) = 3521*q + 24510. Let v be w(-7). Does l = v?
False
Suppose -91*g - 1152 = 229*g + 64*g. Is g at least as big as -31/15?
False
Suppose 0 = -16042*g + 16052*g. Which is smaller: g or 3/424?
g
Let v(b) = -52*b**3 - 4*b**2 - 260*b - 523. Let n be v(-2). Which is smaller: 386 or n?
386
Suppose 50*o - 175*o - 62*o + 187 = 0. Is o greater than or equal to 3/379?
True
Let w = 595 - 565. Suppose -7*j - 3*j - w = 0. Do 8 and j have the same value?
False
Let o = 267 + -261. Let a be (o/(-5))/((-99)/6600). Which is greater: a or 78?
a
Let r = 4 + -7. Let s be ((18/15)/((-48)/(-330)))/((-33)/(-220)). Which is smaller: s or r?
r
Let i = -67.2 + 67.805. Let s = -0.705 + i. Which is smaller: 232 or s?
s
Let m(u) = u**2 - u. Let p(c) = -c**3 + 9*c**2 - 9*c - 2. Let w(k) = 5*m(k) - p(k). Let r be w(7). Let q be -3 - (r/(-54) + 3/9). Which is smaller: -1 or q?
-1
Let t = -2/801 + 269/801. Let k = -0.72 - -0.7. Let y = -0.58 + k. Which is bigger: y or t?
t
Let j be ((-3)/(-21))/(6/(-35)) - 5511/18. Is -306 greater t